In a recent paper, J. L. Synge gives an interesting derivation of the conservation equations Tij,j = 0 satisfied by the energy tensor Tij of a continuous medium. Previous to the appearance of this paper, these equations were generally obtained by assuming the classical equations of motion and continuity, after which it was necessary to appeal to the Principle of Equivalence. It then follows that the path of a free particle is a geodesic. Synge however starts with the hypothesis that the path of a particle between collisions is a geodesic and that the proper mass is constant. The conservation equations are then deduced exactly from the law of conservation of momentum for collisions.

The use of geodesic polar coordinates in the intrinsic geometry of a surface leads to the concept of a geodesic circle, i.e. the locus of points at a constant distance from the pole 0 along the geodesics through 0. A geodesic hypersphere is the obvious generalisation of this for a Riemannian Vn. We propose to consider more general central quadric hypersurfaces of Vn, which we define as follows. Let xi (i = 1, 2, …, n) be a system of coordinates in Vn, whose metric is gijdxidxj, and let aij be the components in the x's of a symmetric covariant tensor of the second order, evaluated at the point 0, which is taken as pole.

In a recent paper J. M. Whittaker considered the problem of resolving a linear differential system into a product of two or more systems of lower order. This note is a contribution to this problem and furnishes the necessary and sufficient conditions for the resolution of the system into two equivalent systems of lower order of the type considered by Whittaker.

In classical mechanics Gauss' Theorem for a gravitational field states that, if S is a closed surface and N the component of gravitational force along the outward normal, then

where β is the Newtonian constant of gravitation and M is the total mass inside S. This result has recently been extended to general relativity by E. T. Whittaker,1 who, however, considered only the case of a statical gravitational field, the line-element of which is given by2

where the coefficients U and αμν are independent of t. It is not immediately clear from his work whether the results are extensible to more general space-times.

In a former paper published in these Proceedings it was shown that an integral function of order less than 1 cannot have any asymptotic periods, and it was suggested that a function of order 1 can have at most a set Kω(k=±1, ±2, …). This was subsequently found to be the case. Meromorphic functions for which K, the exponent of convergence of the poles, is less than ρ, the order, behave in many ways like integral functions, so we should expect that (i) if 0≦κ<ρ1 there should be no asymptotic periods, (ii) 0≦κ<ρ1 either none or else a single sequence kω(k = ±1, ±2, …). It will be shown that this is so.

With any twisted curve of order six is associated a system of planes, usually finite in number, which touch the curve at three distinct points. The curve with its system of tritangent planes possesses properties which recall the properties of a plane quartic curve and its system of bitangent lines; and this is specially true of the sextic which is the intersection of a cubic and a quadric surface. But whereas the properties of the plane curve were discovered by geometrical methods, such methods have only recently been applied with success to the space-curve; the earliest properties were obtained by Clebsch from his Theory of Abelian Functions. In the absence of any one place to which reference can conveniently be made, an account of these properties in their geometrical aspect will be useful.

Let ρA + σB =[ραμν + σbμν] be a pencil of type m × m′, i.e. with m rows and m′ columns, where A and B are matrices with constant elements which are not mere scalar multiples of each other; and ρ and σ are homogeneous parameters.

A few definite integrals involving more than two Legendre functions in the integrand have been considered by Ferrers, Adams, Dougall, Nicholson and Bailey. We take for example the following integrals.

§ 1. The theory of symmetric polynomials abounds in dual identities and symmetries of various kinds. It has been investigated from the determinantal standpoint largely by means of quotients of alternants, such as,

the denominator being the difference product of a, b, c, …, a simple alternant.

The object of this note is to derive a form of Poisson's equation from general relativistic mechanics, without assuming the field to be either static or “weak”. The problem is essentially a “local” problem, all observations being made by one observer; this observer determines the apparent gravitational field in his vicinity by observing the motions of free (isolated) particles. Defining gravitational mass by means of Poisson's equation, we find the relation between the densities of gravitational and inertial mass relative to any observer. We also find what may be called the non-rotating frame of reference belonging to any observer.

The problem of statistical “selection” is concerned with the alteration induced in a frequency distribution in several variables by an alteration of the parameters in a subsection of the distribution. It may be illustrated by a simple trivariate case, as follows:

From a population characterised by variables x, y, z, correlated and normally distributed, with means 0, 0, 0, variances and product variances r12σ1σ2, r13σ1σ3, r23σ2σ3, a sub-population is extracted by selection in x alone, in such a way that after selection x is still normally distributed, but with mean h and variance s2 . It is required to determine the new values, in the selected population, of the means and variances of y and z, and of the product variances.

In the paper, “Sul sistema di tre forme ternarie quadratiche,” Ciamberlini has derived the complete irreducible system of concomitants for three ternary quadratics and has given a short treatment of their geometrical interpretations. Among the concomitants is the invariant (abc)2 which is symmetrical and linear in the coefficients of each quadratic. The purpose of this note is to give a geometrical interpretation of the invariant, and to extend the result for symmetrical invariants of forms in higher dimensions.

The study of the topological properties of algebraic surfaces, considered as continua of four real dimensions, has thrown much light on the theory of the birational invariants of such loci. The results obtained for surfaces have been generalised to varieties of higher dimension by Hodge, and, particularly, by Lefschetz. Apart from this, little seems to be known about the general topological properties of algebraic loci of three (or more) dimensions, the detailed study of which seems to present considerable difficulty. In particular, apart from the general theorems of Lefschetz, nothing seems to be known about the cycles of three dimensions of an algebraic V3. The object of the present paper is to study these cycles on certain quite special V3, in the hope that some insight may be gained into the general theory.

The following is a direct proof of a theorem by Zia-ud-Din.

Let {ν} ≡ {ν1, ν2, …, νp)} be any S-function of weight r + s such that

in the alternant denoted in the theorem by A(αβγ….). Let {μ} be an S-function of weight s, equal to and let {λ} be an S-function of weight r, such that {λ}δ(x1, …,xp) is obtained with coefficient gλμν by diminishing the indices in the alternant {ν}δ(x1, …,xp) according to the theorem.

1. The question, “How, from a given function which is self-reciprocal for a transform of a particular order, can we construct other functions which are self-reciprocal for transforms of different orders?” was first raised by Hardy and Titchmarsh who gave some rules for constructing such functions. Following their method, I have shown, in a recent paper, that there are certain general theorems of the following type:—

If f (x) is its own Jμtransform, g (x) is its own Jv transform. In this note I add a few more such theorems, the interest lying mainly in the results themselves and not in a rigorous proof thereof; and hence only the formal procedure is given here.