This paper deals with diophantine equations and inequalities in three variables x, y, z. Write

Given an algebraic number field K of degree n and an element ξ of K, denote the conjugates of ξ by ξ(1) = ξ, ξ(2), …, ξ(n), and its norm ξ(1) … ξ(n) by N(ξ). Recent results [3] in diophantine approximations enable us to prove the following theorems.

Let p be a prime number, Qp the field of p-adic numbers and Ωp the completion of the algebraic closure of Qp with its valuation normed by setting |p| = 1/p. We shall designate by log the p-adic logarithm defined by the usual series

A steady two-dimensional motion of viscous liquid resulting from a maintained tangential velocity on a part of the bounding surface is considered. It is assumed that the liquid is contained in a long circular cylinder of radius a, and that a constant tangential velocity V is maintained over an arcual length 2b of the boundary. It should be possible to approximate to these conditions experimentally.

In many physical problems it is necessary to express a solution of Laplace's equation relative to one set of coordinates in terms of harmonics relative to another set. We term such a relationship an addition or shift formula. Well-known examples are the formulae for spherical harmonics [Hobson 1, p. 139] and cylindrical harmonics [Watson 2, p. 360]. In this paper we shall consider the problem for oblate spheroidal coordinate systems and obtain some addition theorems for the corresponding harmonics. These addition theorems are used to write down “two-centred” expansions of the Coulomb Green's function, and by a limiting process a new form of the “one-centred” expansion is obtained in a non-orthogonal coordinate system, closely related to oblate spheroidal coordinates. This expansion is applied to the evaluation of the Coulomb (or gravitational) energy of spheroidal distributions of charge (or mass) in which the surfaces of constant density are concentric similar spheroids, a situation which occurs in both nuclear physics and cosmology [Carlson 3]

Let Pn (n ≥ 0) be an n-polytope, that is, a convex polytope in n-dimensional euclidean space (Grünbaum [5], 3.1), and for 0 ≤ j ≤ n − 1 let be its j-faces. If Pn itself and Ø (the empty set) are also allowed to be faces of Pn, of dimensions n and − 1 respectively, then the set of faces of Pn forms a lattice partially ordered by inclusion ([5], 3.2). Two polytopes P1n and P2n are said to be combinatorially isomorphic, or of the same combinatorial type if their respective lattices of faces are isomorphic; that is, if there is a one–to–one correspondence between the set of faces of P1n and the set of faces of P2n which preserves the relation of inclusion ([5], 3.2). Similarly, any permutation of the set of faces of Pn which preserves inclusion will be called a (combinatorial) automorphism; it is clear that the set of automorphisms of Pn forms a group Γ(Pn), called the automorphism group of Pn.

There are many convenient ways in which a plane triangle can be defined and given projective coordinates. It can most simply be treated as an ordered triad of points (A, B, C) or dually as an ordered triad of lines (a, b, c), but it may seem more natural to regard it as a triad of points and an associated triad of lines which together satisfy the familiar incidence conditions. Again, the triangle for which Schubert [1] developed a calculus was a septuple, but Semple [2] has shown the advantages of a calculus for a triangle defined as an octuple.

Let A be a subset of a compact metric space Ω, and suppose that A has non-σ-finite h-measure, where h is some Hausdorff function. The following problem was suggested to me by Professor C. A. Rogers:

If A is analytic, is it possible to construct 2ℵodisjoint closed subsets of A which also have non-σ-finite h-measure?

At this level of generality the problem, like others which involve selection of subsets, appears to offer some difficulty. Here we prove two results which were motivated by it.

Let be the class of normalised polynomials of the form:

of degree n which are univalent in |z| < 1, and let be the class of “polynomials” of the form

of degree n which are univalent in 0 < |z| < 1. In this note we discuss the coefficients of polynomials in (k = 2, 3, 4) and (k = 2, 3).

In the author's paper [1] in which an exact solution is given to the Stokes equations for the steady motion without rotation of a rigid sphere through a viscous fluid in a direction parallel to and at an arbitrary distance d from a fixed plane, expressions were obtained for the forces and couples which are exerted on the sphere and the plane by the fluid. The forces were shown to be equal and opposite. The couple acting on the sphere was found to have Cartesian components (0, Gy, 0), when moments of the surface stress are taken about the centre of the sphere, where

and the couple acting on the plane was found to be (0, Gy′, 0) where

The notation of (1) and (2) follows that as explained in [1] but a misplaced minus sign is corrected.

Let θ1, …, θk be k real numbers. Suppose ψ(t) is a positive decreasing function of the positive variable t. Define λ(N), for all positive integers N, to be the number of solutions in integers p1 …, pk, q of the inequalities

and

Estimates involving polynomials can often naturally be given in terms of the discriminants of these polynomials or of the resultants of pairs of polynomials. Since the discriminant of a polynomial with multiple zeros vanishes as does the resultant of two polynomials with common zeros these results become trivial when applied to such polynomials or pairs of polynomials. Therefore it is often necessary to exclude polynomials with multiple zeros from a given investigation. In theoretical studies of a measure-theoretical nature this often does not affect the results; however for the purpose of constructing polynomials with specified properties it can be an advantage if it is not necessary to restrict the attention to polynomials without multiple zeros.

The vertex-connectivity and the edge-connectivity of a graph involve minimum sets of vertices and edges, respectively, whose removal results in a disconnected graph. However, the mixed case of separating sets consisting of both vertices and edges appears to have been overlooked. Such considerations might apply to vulnerability problems, such as that of disrupting a railway network with both tracks and depots being destroyed. Depending on the relative costs, a particular combination of tracks and depots might be optimal for the purpose.

In 1933, K. Borsuk [1] established the well-known result that if n closed sets cover Sn−1 then at least one set contains antipodal points, where Sn−1 is the surface of the ball Tn of centre O and unit diameter in Rn. This result prompted H. Hadwiger [2] to make a still unresolved conjecture which, in the spirit of B. Griinbaum's survey [3], we state as follows: Let r be the largest integer such that whenever r closed sets cover Sn−1 at least one set realizes all distances between 0 and 1. Then r = n.

Let Λ be a lattice in 3-dimensional space which provides a double covering for spheres of unit radius. By this we mean that if X is any point of space, there are at least two distinct lattice points P, Q such that XP ≤ 1, XQ ≤ 1. Let d(Λ) be the determinant of Λ. We shall prove that

where

Truesdell and Noll [1; sections 22, 27, 34] have discussed the concepts of material uniformity and homogeneity in continuum mechanics. A body is said to be materially uniform if, roughly speaking, all the particles composing the body are of the same material and homogeneous if there exists a global reference configuration which can be taken as a natural state for the whole body. To make the ideas precise for elastic materials, consider a small neighbourhood of each particle X and suppose that a reference configuration κ is chosen for each . Then during the motion, the deformation gradients may be calculated at each point X relative to the local reference configurations k. The stress at X is a function of these deformation gradients and if the stress relation does not depend explicitly on X the body is said to be materially uniform. If each local reference configuration κ can be taken as the configuration of its associated set of particles in some global reference configuration for the whole body, the body is said to be homogeneous. In general, however, the configurations κ need not fit together to form a global reference configuration. The body is then said to contain a distribution of dislocations.

In the present paper the researches initiated in the two earlier papers of this series are continued, and, by suitable generalizations of the techniques employed therein, solutions are obtained to some further well known problems from the theory of transcendental numbers. It will be proved, for example, that a non-vanishing linear form, with algebraic coefficients, in the logarithms of algebraic numbers, cannot be algebraic. This implies, in particular, that π + log α is transcendental for any algebraic number α ≠ 0, and also eα π+ß is transcendental for all algebraic numbers α, β with β ≠ 0.

It has been pointed out to us by Professor L. Schoenfeld that there is a fallacy in the proof of Theorem 3 of our paper “The values of a trigonometrical polynomial at well spaced points” [ Mathematika, 13 (1966), 91–96]. The fallacy occurs in the appeal to Theorem 1 at the end of the proof. If this is to be made explicitly, we must not only put n = dn′ but also put q = dq′ but then the sum over m goes from 1 to q instead of from 1 to q′, and if one allows for this the final result becomes much weakened.