Recent work on the mechanics of interacting continua has led to the formulation of linearized theories governing thermo-mechanical disturbances of small amplitude in mixtures of an elastic solid and a viscous fluid and of two elastic solids. These theories are well posed in the crude sense that the number of field and constitutive equations equals the number of field quantities to be determined, but the proper posing of initial and initial-boundary-value problems has not been studied. In this paper we prove, for both types of mixtures, the uniqueness of sufficiently smooth solutions of the field and constitutive equations subject to initial and boundary data which include conditions of direct physical significance. Sufficient conditions for uniqueness are given in the form of inequalities on the material constants appearing in the constitutive equations. These restrictions fall into two categories, one arising from the application of the entropy-production inequality, and therefore intrinsic to the theory, and the other representing constraints on the Helmholtz free energy of the mixture. Our results include as special cases uniqueness theorems for unsteady linearized compressible flow of a heat-conducting viscous fluid and for the linear theory of thermoelasticity.

Throughout this note X will denote a completely regular Hausdorff space and ℬ the σ-algebra of Borel sets in X (see §2 for terminology). For x in X we may define the atomic Borel measure δx to be the unit mass placed at the point x. Observe, however, that the example of Dieudonné [3; §52, example 10] shows that not all atomic measures need have this form. The problem investigated in this note is the existence of finite Borel measures other than the atomic measures. In §3 we show that such a measure necessarily exists on a compact space without isolated points, though we are not able to add to the very meagre supply of examples which are known at the moment. A converse to our result has been given by Rudin [7] and, for completeness, we include a new proof of his result.

In 1953 Erdős† proved in a characteristically ingenious manner that an irreducible‡; integral polynomial f(n) of degree r ≥ 3 represents (r – 1)-free integers (that is to say integers not divisible by an (r – 1)th power other than 1) infinitely often, provided that the obvious necessary condition be given that f(n) have no fixed (r – 1)th power divisors other than 1. His method did not, however, give a means for determining an asymptotic formula for N(x), the number of positive integers n not exceeding x for which f(n) is (r – 1)-free, nor did it even show that the positive integers n for which f(n) is (r – 1)-free had a positive lower density.

1. The purpose of this paper is to give simple proofs for some recent versions of Linnik's large sieve, and some applications.

The first theme of the large sieve is that an arbitrary set of Z integers in an interval of length N must be well distributed among most of the residue classes modulo p, for most small primes p, unless Z is small compared with N. Following improvements on Linnik's original result [1] by Rényi [2] and by Roth [3], Bombieri [4] recently proved the following inequality: Denote by Z(a, p) the number of integers in the set which are congruent to a modulo p.

A well-known theorem of Schauder asserts that a continuous self-map T of a closed convex subset K of a normed linear space X, such that the closure of T(K) is compact, has at least one fixed point. No general method is known for a computation of the fixed point(s) of T.

It was proved in a recent paper† that if au α1, …, αn denote non-zero algebraic numbers and if‡ logαn, …, log αn and and 2πi are linearly independent over the rationals then log α1, …, log αn are linearly independent over the field of all algebraic numbers. Further it was shown that if α1 …, αn are positive real algebraic numbers other than 1 and if β1, …, βn denote real algebraic numbers with 1, β1 …, βn linearly independent over the rationals then is transcendental.

The velocity potential near the boundary of the disturbance is determined for steady supersonic flow past a simple body-and-wing model. It is found that the disturbance decays exponentially as it spreads round the body; the alteration caused by changing the radius of curvature is discussed. A universal formula for the potential away from the fuselage is also derived.

How many digraphs are isomorphic with their own converses? Our object is to derive a formula for the counting polynomial dp′(x) which has as the coefficient of xq, the number of “self-converse” digraphs with p points and q lines. Such a digraph D has the property that its converse digraph D′ (obtained from D by reversing the orientation of all lines) is isomorphic to D. The derivation uses the classical enumeration theorem of Pólya [9[ as applied to a restriction of the power group [6] wherein the permutations act only on 1–1 functions.

In this paper is derived Lagrange's expansion with remainder for a weak function whose argument satisfies an implicit relation. A necessary and sufficient condition is given for the associated infinite series expansion.

Let C be a compact convex set in En, not necessarily containing interior points. The Steiner point of K has been defined (see Shephard [6]) as

Although the theory of supersonic inviscid flow past thin wings and slender bodies has received an enormous amount of attention in recent years, comparatively little attention has been paid to the interaction between wings and finite bodies. The principal reason stems from the extensive numerical work that has to be done in order to form a detailed picture of the flow properties—even with the present generation of highspeed computers the student of this problem is faced with a formidable task. The main effort in this interaction problem has been put into the special case when the body is a circular cylinder symmetrically disposed towards the oncoming flow, and here Nielsen (1951) and Stewartson (1951, unpublished) have shown that a formal solution can be obtained in a simple way in terms of Laplace transforms. Interpretation of these formulae however was still a formidable task, but has been greatly facilitated by the publication of an extensive set of tables of the basic functions (Nielsen 1957). Using these tables a number of workers (Randall 1965, Chan and Sheppard 1965, Treadgold, unpublished, and others) have successfully computed pressure distributions on the wing and the body, except for the neighbourhoods of the lines separating the interaction regions from the remainder of the wing and body. The aim of this paper is to provide formulae for the pressure distributions in these neighbourhoods in order to enable the solutions already obtained to be completed.

A famous conjecture of Hardy and Littlewood [4] stated that all sufficiently large integers n could be represented in the form

where p is a rational prime and x, y are integers. G. K. Stanley [9] showed that this result held for “almost all” integers n if one assumed a hypothesis concerning the zeros of L-functions similar to, though weaker than, the extended Riemann hypothesis.

In a complete separable metric space the Souslin sets coincide with the analytic sets and the projection properties of the Souslin sets follow from those of the analytic sets. The projection properties of Souslin sets do not seem to have been discussed in more general circumstances when this equivalence to the analytic sets breaks down. The object of this note is to contribute the following result, that applies in these circumstances, and which will be used by Willmott in forthcoming work on the theory of uniformization.

The problem of a penny-shaped crack which is totally embedded in an isotropic material is treated by the theory of linear elasticity. It is shown that for a prescribed crack surface displacement due to compressive stresses on the surface, stress singularities of order higher than the usual inverse square root are possible. It is also demonstrated that for all physically admissible crack surface stresses the singularity can only be of the inverse square root order and that the shape of the crack tip must be elliptical.

It was conjectured by Mordell [6] that the Hasse principle holds for cubic surfaces in 3-dimensional projective space other than cones†: i.e., that such a surface defined over the rational field 0 has a rational point whenever it has points defined over every p-adic field Qp. This conjecture was verified for singular cubic surfaces by Skolem [11” and for surfaces

with

by Selmer [9]: but it was disproved for cubic surfaces in general by Swinnerton-Dyer [12] (see also Mordell [7]). It therefore becomes of interest to specify fairly wide classes of cubic surfaces for which the Hasse principle does hold. It was shown independently by F. Châtєlet and by Swinnerton-Dyer (both, apparently, unpublished) that this is the case when it contains a set of either 3 or 6 mutually skew lines which are rational as a whole (and trivially true when there is a rational pair of lines, since then there are always rational points). Selmer [9] conjectures on the basis of numerical evidence that the Hasse principle is also true for all surfaces of the type (1). It is the object of this note to disprove this by showing that the Hasse principle fails for

In 1934 Gelfond [2] and Schneider [6] proved, independently, that the logarithm of an algebraic number to an algebraic base, other than 0 or 1, is either rational or transcendental and thereby solved the famous seventh problem of Hilbert. Among the many subsequent developments (cf. [4, 7, 8]), Gelfond [3] obtained, by means of a refinement of the method of proof, a positive lower bound for the absolute value of β1 log α1+β2 log α2, where β1, β2 denote algebraic numbers, not both 0, and α1,α1, denote algebraic numbers not 0 or 1, with log α1/log α2 irrational. Of particular interest is the special case in which β1,β2 denote integers. In this case it is easy to obtain a trivial positive lower bound (cf. [1; Lemma 2]), and the existence of a non-trivial bound follows from the Thue–Siegel–Roth theorem (see [4; Ch. I]). But Gelfond's result improves substantially on the former, and, unlike the latter, it is derived by an effective method of proof. Gelfond [4; p. 177] remarked that an analogous theorem for linear forms in arbitrarily many logarithms of algebraic numbers would be of great value for the solution of some apparently very difficult problems of number theory. It is the object of this paper to establish such a result.

A study is made of the solutions of the differential equation f′″ + ff″ = 1 subject to the initial conditions f(0) = f′(0) = 0.