Let N be a large positive integer and let n1, …, nN be any N distinct integers. Let

Hardy and Littlewood proposed the problem: to find a lower bound for

in terms of N, this lower bound to be a function of N which tends to infinity with N. It is easily seen, on examining the case when n1, …, nN art in arithmetic progression, that a lower bound of higher order than log N is impossible.

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.

In this note new proofs will be given for two inequalities on polynomials due to N. I. Feldman [1] and A. 0. Gelfond [2], respectively; these inequalities are of importance in the theory of transcendental numbers. While the original proofs by the two authors are quite unconnected, we shall deduce both results from the same source, viz. from Jensen's integral formula in the theory of analytic functions.

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.

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]).

An exact expression in finite terms is found for the small deflexion at any point of an infinitely large plate clamped along an inner curvilinear edge, with outer edge free, and loaded by a concentrated force at an arbitrary point of the plate. The plate can be mapped on the area outside the unit circle by a rational mapping function involving two parameters. By varying these parameters holes having various shapes and several axes of symmetry are obtained. Infinite plates with holes in the forms of regular and approximately rectilinear polygons are included as special cases.

The purpose of this note is to settlo a question that was left incompletely solved in the author's paper [1].

Let E be a compact Hausdorff space, and C(E) the class of all continuous real-valued functions on E. A subset F of C(E) is called an upper semi-lattice (or, more briefly, is said to admit ں) if ƒ ں g ε F whenever ƒ, g ε F. A subset F of C(E) is said to be upper semi-equicontinuous (u.s.e.c.) if for every ε > 0 and s ε E there exists a neighbourhood U of s such that

We say that F is locally u.s.e.c. if every uniformly bounded subset of F is u.s.e.c.

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.

The main object of this paper is to show that an indefinite nonsingular quadratic form which is incommensurable (that is, is not a constant multiple of a form with integral coefficients) takes infinitely many distinct small values, for a suitable interpretation of the word small. This proves a conjecture made by Dr. Chalk in conversation with the writer. I believe that the theorems proved are new and of interest, though they are easy deductions from known results.

Let G1,… Gn be groups, let *Gi be their free product, and let ´ Gi be their direct product. A homomorphism may be defined by requiring it to be trivial on Gj and the identity on Gi for i ¹ j. Let [G1 … Gn] = Çker pj. P. J. Hilton [2] proves that [G1, …, Gn] is a free group, and, if HiÌGi, i = 1, …, n, that [H1,… Hn] is a free factor of [G1 … Gn]. He asks whether, if Hλi Ì Gi, λ = 1, …, k, i = 1, …, n, and Hλ = [Hλ1, …, Hλn] the group generated by the Hλ is a free factor of [G1, …, Gn].

Let K = {K1, K2, …, Kp} be a system of p bounded closed convex sets in affine space An of n dimensions. If λ1, λ2,…, λp are any p real numbers, we use λ1K1+λ2K2+…λpKp to denote the bounded closed convex set consisting of all the points

The n-dimensional content or volume of this set is a homogeneous polynomial of degree n in the parameters λi, that is

where the summation is over all sets of suffixes 1 £ij, £p, for 1 £j £ n. Further the coefficients may be chosen to be positive and symmetric in their arguments These coefficients, which are in number, are called the mixed volumes of the convex sets.

The incidence matrices for the finite projective planes, for the so-called λ-planes (where two lines meet in λ points instead of the usual 1) and for some other configurations, including those of Pappus and Desargues, are all cases of what are defined below as (v, k, t, λ)-matrices. These are shown here to possess arithmetical properties which reduce, in the case of cyclic projective planes, to properties remarked on by Marshall Hall [3]. And if a certain group hypothesis (which suggests itself in a natural way) is satisfied by a matrix of this type, the matrix is shown to be equivalent (by rearranging the rows and columns) to a direct sum of incidence matrices for λ-planes, each of which satisfies the same group hypothesis.

In trying to extend some theorems of diophantine approximation to number fields or function fields, one meets certain difficulties associated with the presence of units. By using a very simple trick, one overcomes these difficulties. In this paper I limit myself to one example.

A Room square is an arrangement of the k(2k−1) unordered pairs (ar, as), with r≠s, formed from 2k symbols a0, a1 …, a2k−1 in a square of 2k−1 rows and columns such that in each row and column there appear k pairs (and k−1 blanks) which among them contain all 2k symbols.

1. Let f = f(x1, …, xn) be an indefinite quadratic form in n variables with discriminant d = d(f) ¹ 0; and let ξ1, …, ξn be real numbers. We consider how closely the inhomogeneous quadratic polynomial

can be made to approximate to a given real number α by choice of suitable integral values of the variables xi. The best that is known seems to be that the inequalities

can always be satisfied if the implied constant is given a suitable value depending only on n. For α ≥ 0 this is a restatement of a result proved by Dr. D. M. E. Foster.

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.

A metric is defined for a plane affine geometry with coordinates in GF(2n) and is applied to the geometry of a triangle.

In [1] and [2] the flow of a conducting fluid past a magnetized sphere was considered. The magnetic distribution was an arbitrary axially symmetric one. The magnetic field, velocity, vorticity and drag were evaluated for the particular case of a dipole field when the dipole was in the free stream flow direction. Astronomically the more interesting case is that in which the dipole is perpendicular to the free stream flow. The axially symmetric nature of the problem is thereby lost.

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.

In recent papers [1, 2] I have given expressions for the stresses and displacement due to elastic distributions in an infinite isotropic elastic solid bounded internally by a spherical hollow, the boundary of which is either stress or displacement free. This paper gives corresponding results for a semi-infinite elastic solid together with expressions for the stresses and displacement due to thermoelastic distributions in such a solid, the boundary of which is maintained at a constant temperature and is either stress or displacement free.