We denote by F the field R of real numbers, the field C of complex numbers, or the skew-field H of real quaternions, and by Fn an n-dimensional left vector space over F. If A is a matrix with elements in F, we denote by A* its conjugate transpose. In all three cases of F, an n × n matrix A is said to be Hermitian if A = A* and unitary if AA* = In, where In is the n × n identity matrix. An n × n Hermitian matrix A is said to be positive definite (postive semi-definite resp.) if uAu* > 0(uAu* ≥ 0 resp.) for all u (╪ 0) in Fn. Here and in what follows we regard u as a 1 × n matrix and identify a 1 × 1 matrix with its single element. In the following we shall always use A and B to denote two n×n Hermitian matrices with elements in F, and we say that A and B can be diagonalized simultaneously if there exists an n×n non-singular matrix V with elements in F such that VAV* and VBV* are diagonal matrices. We shall use diag {A1, A2} to denote a diagonal block matrix with the square matrices A1 and A2 lying on its diagonal.

1. Introduction: In all that follows, by a manifold we shall mean a paracompact, Hausdorff, locally Euclidean topological space. By means of the universal covering construction, the classification problem for connected manifolds splits into two parts, namely (i) classification of simply connected manifolds, (ii) classification of covering actions of groups on simply connected manifolds.

Let X be a finite CW-complex, and ξ: Eξ → X a complex line-bundle on X. This bundle determines an element c1(ξ) in H2(X:Z) and a class ; let m(ξ), a(ξ) be the orders (possibly infinite) of these elements in their respective groups. How are m(ξ) and a(ξ) related? The answer is contained in the following three propositions.

It is proved that every locally convex space is linearly homeomorphic to a subspace of a space which admits no non-trivial continuous linear functionals.

In this paper we shall establish some forms of the closed graph theorem for locally convex spaces, using the approach of Pták(17). Our interest is in classifying pairs of locally convex spaces (E, F) which have the property that every closed graph linear mapping T: E → F is continuous; if (E, F) has this property then we shall say that (E, F) is in the class ℒ if is a particular class of locally convex spaces then ℒ() is the class of all E such that (E, F)∈ℒ for all F ∈ .

Throughout this paper a0, a1, a2, l1, l2 denote fixed integers with l1 ≥ 2, l2 ≥ 2. We let l = max(l1, l2) and let P be the set of primes Mordell (4) has shown that for any sufficiently large prime p the congruence

is soluble. Thus there are at most a finite number of such p for which (1·1) is insoluble. If there is at least one prime p ∈ P for which (1·1) is insoluble, we let p0 denote the largest of such p, so that (1·1) is soluble for all p ∈ P with p > p0 but not for p = p0. Otherwise (1·1) is soluble for p ∈ P and we let p0 = 1. From the work of Mordell (4) we have

For p ∈ P with p > p0 (1·1) is thus always soluble and any such solution (x1, x2) can be taken to satisfy

Chalk(2) has posed the problem of estimating a ‘small’ solution of (1·1), at least for p sufficiently large; that is a solution for which p in the inequality (1·3) can be replaced by something less than p. Smith(5) has shown that for p sufficiently large there is always a solution satisfying 1 ≤ xi ≪ p¾log p (i = 1, 2). It is the purpose of this paper to prove the following sharper and more precise result.

Let {sn} be the sequence of partial sums of the series and let

If , we say that the series is summable (l) to s, and if , the series is said to be summable (l2) to s. It is clear that .

1. We suppose that f(t) is integrable L and periodic with period 2π and we denote the Fourier series of f(t) at the point t = x by

We denote the nth partial sum of the Fourier series by sn. We will prove here a general result (i.e Theorem 1) and some interesting results in connexion with associated series of a Fourier series of the type

We write

The object of the present paper is to prove the following theorems. (In all the following cases k is any constant > π if nothing else is mentioned.)

Wald(4) proved that under rather weak conditions, maximum-likelihood estimators are consistent. In an earlier paper (3) he had promised to publish conditions under which they are uniformly consistent but he did not do so. As the uniformity of consistence of maximum-likelihood estimators is important in studying the asymptotic power of certain tests, particularly when the true value of the parameter lies on the boundary of the parameter space, the purpose of the present note is to fill this gap. The method of proof follows that of Wald(4) very closely.

The origin of the present paper is the desire to study the asymptotic behaviour of certain tests of significance which can be based on maximum-likelihood estimators. The standard theory of such problems (e.g. Wald(4)) assumes, sometimes tacitly, that the parameter point corresponding to the null hypothesis lies inside an open set in the parameter space. Here we wish to study what happens when the true parameter point, in estimation problems, lies on the boundary of the parameter space.

In this note a brief description is given of a method for reducing a type of singular integro-differential equation to both an integral equation with a quasi-regular kernel and an integral equation with a regular kernel. A particular integro-differential arising in aerofoil theory is used as illustration.

The solution of problems involving the propagation of discontinuities and other singularities for hyperbolic partial differential equations by means of progressing wave expansions is discussed in the book by Courant(l). He also refers to the work of Hadamard, Friedlander, Ludwig and others on this subject. More recently, Ludwig (2), Lewis(3) and others have considered 'uniform' progressing wave expansions for various problems. These expansions are valid in regions where the standard expansions are not suitable and they can be re-expanded in the standard form outside these regions. Examples of such regions are given by envelopes of bicharacteristic curves or, equivalently, caustics and by shadow boundaries such as occur in diffraction problems. In each of these regions, which we term 'transition regions' different types of uniform expansions are required.

The problem of the steady motion of a heavy cylinder, of infinite length, over the surface of an elastic half-space has been examined by Craggs and Roberts(1), Clements(2) and Roberts (3). In papers (1) and (2) the surfaces of both the cylinder and the half-space are assumed to be smooth so that the shear stress over the region of contact is zero. With this assumption Craggs and Roberts analysed the motion for an isotropic half-space while Clements considered the case of an anisotropic half-space. In the paper by Roberts (3) various problems concerning the rolling of rigid and non-rigid cylinders over an isotropic elastic half-space are discussed. In this paper we consider a similar class of rolling cylinder problems for an anisotropic half-space. We begin, in section 2, by deriving the relevant basic equations for the stress and displacement while in section 3 some properties of certain constants occurring in the equations of section 2 are derived for use in later sections. The problem of the steady motion of an inflated tyre is discussed in section 4 under the assumptions that the tyre exerts a constant pressure over the contact region which is instantaneously at rest. The solution shows that, with these assumptions, the shear stress is infinite near the ends of the region of contact. This indicates that there will be slipping of the tyre over the half-space at both ends of the contact region. If these zones of slip are large compared with the total contact area then the assumption of a contact region which is instantaneously at rest is invalidated so that the solution may only be regarded as being applicable when the zones of slip are small. An expression to determine the width of the zones of slip is derived and this expression is used, together with the numerical results of section 5, to obtain information about the influence of anisotropy on the width of the zones of slip. In section 6 the problem of the inflated tyre is discussed with allowance made for a zone of slip at both ends of the region of contact. The results of this section could be expected, particularly when the zones of slipping are wide, to more accurately predict the response of the anisotropic half-space to the rolling tyre than the results of section 4. Unfortunately, in order to satisfactorily complete the analysis, it is necessary to restrict the class of anisotropic materials for which the results are applicable. As a consequence, the work of section 4 is in many ways preferable to that of section 6 in indicating the influence which elastic anisotropy has upon the results.

Representations of the four-dimensional unitary group U4 were considered long ago by Wigner(1)as a model for nuclear isobaric multiplets. However, the Hamiltonian did not include the components of isospin which together with the spin coordinates are known to label the nuclear states. In this paper we shall find representations characterized by the eigenvalues of angular momentum J, isospin T and parity π, and will find mass relations which give good agreement with the experimental energy levels of Li6 and Be8 labelled by the same quantum numbers. The representations found by Wigner give good results for the ground state energies, or masses, of all the nuclei up to a mass number of A = 110(2), and we shall derive Wigner's representations as a special case. In fact, unless these are satisfied it is impossible for particle-like representations of U4 to exist!