This note is a continuation of the articles [6] and [2]. In [1], trees with a given partition α = (a1; a2, …), where ai is the number of vertices (points) of valency (degree) i were enumerated. After the determination of the number of plane trees in [2], the number of planted plane trees with a given partition α was found explicitly in [6]. In the present note, the number of plane trees with a given partition is expressed as a function of the number of planted trees with a given partition. The method, which is not new, consists of an application of the enumeration techniques of Otter [3] and Pólya [4]; it was used in [1] and also by Riordan [5].

We say that a system ∑ of equal spheres S1S2, … covers a proportion θ of n-dimensional space, if the limit, as the side of the cube C tends to infinity, of the ratio

of the volume of C covered by the spheres to the volume of C, exists and has the value θ. We say that such a system ∑ has density δ, if the corresponding ratio

has the limit δ as the side of the cube C tends to infinity. We confine our attention to systems ∑ for which both limits exist. It is clear that δ = θ, if no two spheres of the system overlap, i.e. if we have a. packing; and that, in general, the difference δ-θ is a measure of the amount of overlapping.

The n-th roots of unity 1, ω, …, ωn-1, where ω = exp (2πi\n), are linearly dependent in the field Q of rationals since, for instance, their sum vanishes. We are here concerned with the linearrelations between them with integral coefficients. Let U denote the vector space of elements u = (u0, …, un−1) over Q and let N be the subspace of elements u defined by the relation u0+u1ω+…+un−1ωn−1=0. (1)

This paper is concerned with diffusion into a turbulent atmosphere from an infinite ground level line source at right angles to the direction of the mean wind velocity. A solution is obtained for a mechanism which takes into account diffusion in the direction of the velocity, and the predictions of the solution are found to be in good agreement with experimental data in adiabatic atmospheric conditions.

In engineering practice an important class of problems concerns the evaluation of the thermal stresses set up in a heated elastic solid containing cracks. The calculation of the thermal stresses in an infinite space, in which an axially symmetric heat flux across the faces of a penny-shaped crack is prescribed, was first carried out by Olesiak and Sneddon [1], using integral transform techniques. Their solution of the statical equations of thermoelasticity is appropriate to the case of a crack whose faces are stress free and gives zero shear stress on the plane containing the crack. Williams [2] has subsequently shown that the displacement vector in [1 ] can be written in terms of two harmonic functions, one of which is directly related to the temperature field, and has indicated how the analysis of [1] can be reduced to certain simple potential boundary value problems.

Criteria for 2 to be an e-th power residue of a prime

p ≡ 1 (mod e = ef+1,

have been obtained in various forms for e = 2, 3, 5. Euler proved the well known result that 2 is a quadratic residue of a prime p ≡ ± l (mod 8). Dickson [1] showed that 2 is a cubic residue of p ≡ 1 (mod 3) if and only if p = L2+27M2 is soluble in integers L, M.

Throughout this paper, E will denote a finite-dimensional vector space over an ordered field . The real number field will be denoted by ℜ and its rational subfield by . Many of the basic notions in the theory of convexity (convex set, extreme point, hyperplane, etc.) can be defined in the general case just as they are when , but their behaviour may be different from that in the real case. By way of example, we consider the following theorem (due essentially to Minkowski), which is of fundamental importance both for geometric investigations and for the applications of convexity in analysis:

(1) Suppose . If K is a convex subset of E which is linearly closed and linearly bounded, then. K = con ex K; that is, K is the convex hull of its set of extreme points.

The problem considered here is that of a torsional impulsive body force within a semi-infinite elastic solid. The surface of the solid is assumed to be either stress-free or rigidly clamped. The basic solution is found to be essentially the same as that for the surface loading of a half space previously considered by Eason [1]. The displacement is determined in terms of elementary functions for one particular type of body force, although using the results in [1] the solution can be obtained for other types of force. Some numerical results for the surface displacement of the stress-free solid are presented in graphical form.

Let K be any convex body in En, and K any given class of convex sets in En. Then we shall say that K is approximable by the class K if there exists a sequence of sets {Ki}, such that, as i→∞, Ki→K in a suitable metric (for example, the Hausdorff metric), where each set Ki is a vector sum of (a finite number of) sets of the class K An approximation problem is to determine necessary and sufficient conditions for K to be approximable by a given class K.

A slow steady motion of incompressible viscous liquid, bounded by an infinite rigid plane, which is generated when a rigid sphere of radius a moves steadily without rotation in a direction parallel to, and at a distance d from, the plane is considered. Use is made of bispherical coordinates, which were employed some years ago by G. B. Jeffery [1] and Stimson and Jeffery [2] in solving the axi-symmetrical problems in which the sphere is fixed and rotates about a diameter perpendicular to the plane, or when two spheres move without rotation along their line of centres in infinite liquid. The coordinate system has been used recently by Dean and O'Neill [3] in solving the problem in which the sphere is fixed and rotates about a diameter parallel to the plane.

Wave propagation in an elastic medium rotating with a constant angular velocity Ω about an axis is studied by the method of Lighthill [1]. The waves are created by a concentrated periodic force of fixed frequency ω at the origin. The changes in the wave pattern and the decay of amplitude are discussed when 2Ω. increases from zero to a value greater than ω.

Professor C. L. Siegel has pointed out that the statement following equation (9) on page 98 of [1] is false, but can be made correct by adding to the conditions (7) of [1] the further condition:

When Souslin and Lusin initiated and developed the theories of the Souslin operation, of projective sets and of analytic sets, they attached great importance to the constructive nature of their definitions (see [1], [2] and [3]). When Choquet (see [4], [5] and [6]) made his very successful extension of these theories to an arbitrary Hausdorff space Ω, he defined an analytic set in Ω to be a continuous image in Ω of a Kσδ-set in an unspecified compact Hausdorff space X. Thus, a priori, the construction of the analytic sets in Ω requires the preliminary construction of all compact Hausdorff spaces X.

In the theory of the interaction between simple electrically neutral systems with dipole moments, the interaction energy between two such systems when they are identical, one in an excited state and the other in the ground state, is of current interest. It is well-known that, within the Coulomb force approximation for the electron-electron interaction, the energy varies as

where q(r) is the electric dipole moment of the system r = 1, 2, and R is the vector displacement of system 2 from system 1. This is the so called resonance attraction between the systems. On the other hand it has been known since 1948 (see [1]) that for two systems both in their ground states the potential of interaction falls off at large separation faster than the London formula for the energy, namely

predicts. In equation (2) α(r) is the polarization of the system r, in terms of the dipole moments (here induced)

where E is the energy separation between the two states considered, i.e., the ground state and the excited state reached from the ground state by electric dipole transitions. In fact the asymptotic form of the potential energy at separation was given by Casimir and Polder as

Let K be a finite algebraic extension of the rational number field Q, and let R denote the ring of algebraic integers in K. The algebraic integers in a finite extension field of K form a ring which may be considered as a module over R. The structure of these modules has been entirely determined in Fröhlich [2], where, in particular, necessary and sufficient conditions have been established deciding when such a module will be a free R-module.

In the present note we show that the elements of GF(q2) (q = 2n) can be represented in “polar form” in such a way that GF(q2) acts like an “Argand diagram” over its “real subfield” GF(q). From this polar representation it is easy to develop a trigonometry of the plane GF(q2), including definitions of circles and orthogonality. As an application of these ideas we show, in §4, that the circles and lines orthogonal to a given circle yield a new model satisfying Graves' axioms for finite homogeneous hyperbolic planes.

In 1956 Cassels proved the following result, which generalized a theorem of Marshall Hall on continued fractions. Let λ1 …, λr be any real numbers. Then there exists a real number α such that

for all integers u > 0 and for q = 1,…,r, where C = C(r) > 0. Thus all the numbers α+ λ1, …, α+ λr are badly approximable by rational numbers, which is equivalent to saying that the partial quotients in their continued fractions are bounded. In a previous paper I extended Cassels's result to simultaneous approximation. In the simplest case—that of simultaneous approximation to pairs of numbers—I proved that for any real λ1, …, λr and μ1, …, μr there exist α, β such that

for all integers u > 0 and for q=1,…, r, where again C = C(r) > 0. Both the construction of Cassels and my extension of it to more dimensions allow one to introduce an infinity of arbitrary choices, and consequently the set of α for (1) and the set of α, β for (2) may be made to have the cardinal of the continuum.

Solutions of the boundary-layer equations governing the radial laminar flow of a mixture of two different gases forming a wall jet are obtained. Attention is concentrated on flow in which the concentration of one gas in the mixture is small. The stream function is expanded in terms of a parameter whose magnitude depends upon the concentration of this gas in the mixture.

In a recent paper on a divisor problem the author showed incidentally that there is a certain regularity in the distribution of the roots of the congruence

for variable k, where D is a fixed integer that is not a perfect square. In fact, to be more precise, it was shown that the ratios v/k, when arranged in the obvious way, are uniformly distributed in the sense of Weyl. In this paper we shall prove that a similar result is true when the special quadratic congruence above is replaced by the general polynomial congruence

where f(u) is any irreducible primitive polynomial of degree greater than one. An entirely different procedure is adopted, since the method used in the former paper is only applicable to quadratic congruences.