In previous papers [1, 2], the authors have solved the Stokes flow problem for certain axially symmetric bodies, with the velocity at infinity uniform and parallel to the axis of symmetry. Each of the bodies considered possessed the property that the meridional section intercepted a segment of the axis of symmetry. In the present paper this assumption is removed; in addition, we shall consider the particular case of the Stokes flow about a torus.

Let Κ be a finite number field and let ο be the ring of algebraic integers in Κ. The algebraic integers in a finite extension field Λ of Κ form a ring . We shall be concerned here with the structure of such rings , viewed as modules over ο. It will be useful to begin with a brief discussion of a new concept of the discriminant of Λ/Κ, introduced in a preceding paper [1], which will be our principal tool (see also [2]).

Let Λ′ be a lattice in three dimensional space. Let G be any point and denote by Λ the “displaced lattice”, consisting of all points X + G where X ε Λ′. Suppose that a sphere of radius 1 is centred at each point of Λ and a sphere of radius R−l, where 1 < R ≤ 2, is centred at each point of Λ′. If the lattice Λ′ and the point G are such that no two spheres of the system overlap we shall call Λ a mixed packing lattice, and shall denote its determinant by d(Λ) = d(Λ′). Let Δ be the lower bound of d(Λ) taken over all mixed packing lattices Λ. It can easily be proved that this is an attained lower bound, and any mixed packing lattice Λ, having d(Λ) = Δ, will be called a critical mixed packing lattice. We prove that

and shall describe, in Lemmas 1–3, the critical mixed packing lattices.

The stability of a non-rotating column of liquid was discussed by Rayleigh [1] who showed that axisymmetric disturbances of wave-lengths greater than the circumference of the column decreased the surface area and the consequent release of surface energy enabled the disturbance to grow. Rayleigh [2] also considered the effect of viscosity on the same problem and found that for high viscosity the range of stability was unaltered. For disturbances which are the same in all planes perpendicular to the axis of the column, it is clear that any disturbance increases the length of the boundary of a plane section of the column and hence increases the surface energy. Thus the column is stable for these disturbances.

The membrane theory for calculating stresses in symmetrically loaded elastic shells of revolution was introduced in 1828 by Lamé and Clapeyron [1] who assumed that a thin shell is incapable of resisting bending. In 1892 Love [2] gave the general equations of equilibrium for an element of an elastic shell taking bending into consideration and obtained expressions for the strains in terms of the displacements as well as the stress-strain relations. Since then the problem of the elastic shell has been the subject of numerous researches. The spherical shell has, however, drawn the attention of many investigators due to its importance in structural and mechanical engineering, e.g. roof and boiler constructions.

An ordered triangle in the plane S2 is defined as a sextuple (PlP2, P3; l1, l2, l3) consisting of three points Pi and three lines lj restricted by the relations of incidence Pi Ì lj (i ¹ j) If we map unrestricted sextuples by the points of a V12—Segre product of six planes—we obtain an image-manifold Ω6 for ordered triangles as the appropriate subvariety of V12. The variety Ω6 possesses an ordinary double threefold ɸ3 whose points map the totally degenerate triangles (i.e. those for which P1 ═ P2 ═ P3 and l1 ═ l2 ═ l3); Ω6 is therefore unsuitable as a basis for the construction of an enumerative calculus for triangles, for equivalence theory is as yet developed satisfactorily only on non-singular varieties.

In the preceding paper of the same title (cf. [1]) I defined the notion of the principal genus GK of a finite number field K as the least ideal group, which contains the group IK of totally positive principal ideals and is characterized rationally. The quotient group of the group AK of ideals in K modulo GK is the genus group, its order (Ak: GK) = gK is the genus number, which is thus a factor of the class number hK (in the narrow sense). Associated with the genus group is the genus-field, of K, which is defined as the maximal non-ramified extension of K composed of K and of some absolutely Abelian field.

The Čech compactification of the set of integers is known [6] to have the remarkable property that it has no closed subsets of cardinal ℵ0 or c, every infinite closed subset of it having 2c points. The main object of the present paper is to investigate whether similar gaps in the cardinals of closed subsets can occur in metric spaces. We shall see that the situation there is rather different; if the generalized continuum hypothesis is assumed, there are no gaps, and in any case the missing cardinals, if any, must be big rather than small. The main results are obtained in §3; in particular, we completely determine the cardinals of the closed subsets of complete metric spaces, and also how many closed subsets of each cardinal there are. The methods depend on a study of the discrete subsets of metric spaces, which is carried out in §2, and which may be of independent interest. In conclusion, we briefly consider some fragmentary results for non-metric spaces, in §4. Throughout, we assume the axiom of choice but not the continuum hypothesis.

In the present paper we consider a one-dimensional local ring Q with maximal ideal tn and residue field K = Q/m. It will be assumed that not every element of mis a zero-divisor but no other restricting hypothesis will be made. In particular Q and K may have unequal characteristics and K may be finite.

In a recent paper Segedin [1] has derived a solution of the problem in which a perfectly rigid punch in the form of a solid of revolution of prescribed shape with axis along the z-axis bears normally on the boundary z = 0 of the semi-infinite elastic body z ≥ 0, so that the area of contact is a circle whose radius is a. Segedin solves the problem by building up the solution in a direct way which avoids both the use of dual integral equations and the introduction of an awkward system of curvilinear coordinates. By introducing a kernel function K(ξ), Segedin derives new potentials of the form

where U(r, z, a) is the solution of the simplest punch problem (namely that of a flat-ended punch) satisfying the mixed boundary conditions

on the boundary z = 0. It can then be easily shown that, under wide conditions on K, the function Φ (r, z, a) satisfies the boundary conditions

provided that K(ξ) is chosen so that

The receptance function is defined and constructions for it are given both for the general case when ω, the frequency of excitation, is not a natural frequency and for the special case when it is.

Green and Zerna [1] have given a method of determining the electrostatic potential due to a circular disc maintained at a given axisymmetric potential, their method depending on the solution of a Volterra integral equation of the first kind and being a generalization of a method given by Love [2] for the determination of the electrostatic potential due to two equal co-axial circular discs maintained at constant potentials. In a recent paper [3], henceforth referred to as Part I, the author applied this method to the corresponding problem for a hollow spherical cap and also to the determination of the Stokes' stream-functions for perfect fluid flows past a cap and a disc. The method consists of expressing the potential as the real part of a complex integral of a real variable t, the integrand involving an unknown function g(t). The boundary condition on the disc or cap gives a Volterra integral equation of the first kind for g(t), it being possible to solve this equation and hence determine the potential by integration.

In a recent paper Northcott [3] introduced the notion of the reduction number of a one-dimensional local ring, and demonstrated its importance in the theory of abstract dilatations. In the present paper we define the reduction number of an ideal which is primary for the maximal ideal of a one-dimensional local ring, and show that under certain necessary and sufficient conditions the reduction numbers can take only a finite number of values.

The two centred expansion of the Coulomb Green's function arises naturally in discussing the static interaction energy of two charge distributions ρ1, and ρ2. This is given by the well-known expression

In a recent paper Rogers [13] has discussed packings of equal spheres in n-dimensional space and has shown that the density of such a packing cannot exceed a certain ratio σn. In this paper, we discuss coverings of space with equal spheres and, by using a method which is in some respects dual to that used by Rogers, we show that the density of such a covering must always be at least

A triangle, in the sense of Schubert [1], is an entity in the plane S2 consisting of

(a) an ordered triad of points (P1, P2, P3);

(b) an ordered triad of lines (l1, l2, l3) connected with the points Pi by the incidence relations Pi ⊂ lj (i ≠ j); and

(c) a three base-point net Φof conies with the Pi as base-points.

A polygon, with all sides and all diagonals of rational length, will be called a rational polygon.

Prof. I. Schoenberg has set a problem whether rational polygons are everywhere dense in the class of all polygons, that is, given an arbitrary polygon whether there exists a rational polygon whose sides and diagonals are of length arbitrarily near to those of the given one. Once set, the problem becomes very interesting both for its simplicity and for its fundamental nature. For obvious reasons the likely answer to the problem is in the negative. In this note I consider two problems simply related to the above problem.