Every real number α admits many rational approximations in the sense that for every natural number q,

for some integer p. Perhaps surprisingly, numbers α which have k distinct rational approximations with given denominators q1,…,qk,

for a fixed ε > 0, are quite sparse; their measure in U = [0,1) is at most C(ε)/k.

In two previous notes I have given the various types of non-singular surfaces with sectional genera 4 and 5. In this paper the methods previously adopted are applied to the non-singular surfaces of sectional genus 6. For purposes of classification these may be divided into the four classes:

(1) Regular, non-rational.

(2) Rational.

(3) Irregular, non-referable.

(4) Referable.

The object of this paper is to give a method of finding the units of a set of algebraical numbers that shall be convenient practically. Little attention is given to theoretical considerations. The case of numbers composed with the cube root of an integer is treated in § 2, and a few theoretical remarks are added in § 3. In § 4 we show how to test whether the unit found is a fundamental one or not. In § 5 the method is extended to other cases.

In this paper we obtain results on equicontinuity and apply them to certain recursive properties of topological transformation groups (X, T, π) with uniform phase space X. For example, in the special case that each transition πt is uniformly continuous we consider the transformation group (X,Ψ,ρ), where Ψ is the closure of {πt|t∈T} in the space of all unimorphisms of X onto X with the topology of uniform convergence (space index topology) and p(x, φ) = φ(x) for (x, φ)∈ X × Ψ. (See (1), page 94, 11·18.) If π is a mapping on X × T we usually write ‘xt’ for ‘π(x, t)’ and ‘AT’ for ‘π(A × T)’ where A ⊂ X. In this case we obtain the following results:

I. If (X, T, π) is almost periodic [regularly almost periodic] and πxis equicontinuous, then (X,Φ,ρ) is almost periodic [regularly almost periodic]

II. Let A be a compact subset of X such that. If the left and right uniformities of T are equal and (X, T, π) is almost periodic [regularly almost periodic], then (X, T, π) is almost periodic [regularly almost periodic].

In a previous paper it has been shown that the corrosion of zinc, cadmium, iron and lead is connected with electric currents set up through unequal distribution of oxygen; the currents have been measured and compared with the weight of metal corroded away. The “unaerated” areas are anodic, and thus the attack tends to become concentrated upon the points relatively inaccessible to oxygen. When a drop of salt water is placed on an iron sheet, the central part of the drop suffers anodic corrosion, giving rise to ferrous salts, whilst the marginal ring over which oxygen has ready access to the metal becomes cathodic, alkali being produced there. Where the ferrous salt and alkali come into contact, ferrous hydroxide is precipitated, which oxidises to ferric hydroxide; after a few hours we get a membrane of brown ferric hydroxide extending right over the drop, but surrounded by a ring of clear alkaline liquid. All the actual corrosion of the metal is confined to the area within the membrane; the metal below the external ring of clear liquid, to which oxygen has access, suffers no attack.

In various communications published in the Journal of the Chemical Society the author has discussed the effect of different nuclei on the absorption spectra of various compounds. The problem has been further investigated with a number of substances derived from aniline, o-and m-cresols, and α-and β-naphthylamines, and this communication is to give an account of the results. A condensed Cd-spark was used as the source of radiant energy, and alcoholic solutions of the substances were examined in the usual way.

§ 1. The groundwork of the present paper is a general transformation of Maxwell's equations. As relativist speculation had its origin in a simple transformation, it was to be expected that something more would result when the general transformation was explored: the determining influence has proved stronger than I had anticipated.

1. Introduction. Let G be a Fuchsian group which acts on the unit disc Δ. A fundamental region D for G acting in Δ is a subset of Δ such that D is open and connected and each point of Δ is G-equivalent to exactly one point in D or at least one point in D̅ (the closure of D in Δ). Throughout this paper we consider only fundamental regions which are (hyperbolically) convex. Beardon has shown (2) that it is possible for a convex fundamental region to have certain undesirable properties. It can happen that a convex region is not locally finite, i.e. there exist points of Δ where infinitely many G images of D accumulate. For a domain D we denote by F the set of such points.

The first two papers of Reifenberg ((4), (5)) under the general heading ‘Parametric Surfaces’ contain a detailed and profound study of the tangential properties of these surfaces. Since their publication one of the fundamental problems in the subject, that of obtaining a convenient representation for the surface, has been solved by Cesari (1). In this paper we obtain direct proofs of Reifenberg's results from Cesari's theorem. Whereas Reifenberg had to contend with both topological and real-variable problems combined the effect of Cesari's theorem is to remove the topological difficulties and to leave a straightforward real variable problem. The definition of approximate tangential plane used here is not the same as either of the two employed by Reifenberg, but the differences between it and one of Reifenberg's definitions ((5), definition 2) are not very important.

In this work we generalise the main result of [1] to the family of hyperelliptic curves with potentially good reduction over a p-adic field which have genus $g=({p-1})/{2}$ and the largest possible image of inertia under the $\ell$ -adic Galois representation associated to its Jacobian. We will prove that this Galois representation factors as the tensor product of an unramified character and an irreducible representation of a finite group, which can be either equal to the inertia image (in which case the representation is easily determined) or a $C_2$ -extension of it. In this second case, there are two suitable representations and we will describe the Galois action explicitly in order to determine the correct one.

1. Polarisation measurements are described on the Hg lines λ 4358, 5461, 5770, 5791 emitted from a low-pressure electron-maintained arc to which a longitudinal field of up to 3000 gauss may be applied.

2. Two types of polarisation effect have been found. The first is typified by the line λ 5461. It is a polarisation of the light with the electric vector perpendicular to the lines of force. Its maximum value is 9% but it decreases to zero (a) with decreasing field strength and (b) with decreasing current in the tube. It is suggested that this effect is due to a self-reversal of λ 5461 owing to the metastability of the 2 3p2 state and that the polarisation may be caused through a slight non-uniformity of the magnetic field.

The second type of effect is found for λ5770 and 5791. The polarisation is in a plane parallel to the discharge, and is found in a zero magnetic field. This effect is further discussed elsewhere. The line λ 4358 is unpolarised under all conditions tried.

3. Neither of these effects implies a polarisation of the total light emitted directly from atoms in the Transverse Zeeman Effect when the atoms are excited under isotropic conditions and the experiments give definite evidence against the existence of such a polarisation effect.

1. Introduction. It is known (6) that the connectivity conditions on the manifolds in Irwin's embedding theorem (7) can be replaced by a connectivity condition on the map. This has led to the suggestion that in Hudson's analogue of Irwin's theorem for bounded manifolds (5), (6), the connectivity conditions on the manifolds modulo boundary can be replaced by the corresponding connectivity condition on the map modulo boundary. The main purpose of the present note is to show that this is in fact false, as is the formal analogue of Irwin's and Hudson's theorems for manifold triads. Its other purpose is to announce a related embedding theorem for manifolds with boundary which appeared in (3).

In the last few years it has been found useful to apply known theorems in the theory of functions of several complex variables to solve problems arising in the quantum theory of fields (11). In particular, in order to derive the dispersion relations of quantum field theory from the general postulates of that theory it appears useful to apply known theorems on holomorphic continuation for functions of several complex variables ((2), (10)). The most important theorems are those which enable a determination to be made of the largest domain to which every function which is holomorphic in a domain D may be continued. This domain is called the envelope of holomorphy of D, and denoted by E(D). If D = E(D) then D is termed a domain of holomorphy. E(D) may be defined as the smallest domain of holomorphy containing D. Only in the special cases that D is a tube, semi-tube, Hartogs, or circular domain has it been possible to determine the envelope of holomorphy E(D) ((3), (7)). An iterative method for the computation of envelopes of holomorphy has recently been given by Bremmerman(4). It is also possible to use the continuity theorem (1) in a direct manner, though in most cases this is exceedingly difficult.

Let p be a prime and let f(x) be a quartic polynomial with integral coefficients. I consider the problem of estimating the least non-negative non-residue k of f(x) (modp) (I omit the mod p hereafter), for large primes p, so f(x) ≡ r has a solution for

but not for r = k. The same problem for cubics has been considered by Mordell ((1)), who showed that

as p → ∞, where the constant implied in the O-symbol is independent of the coefficients of the cubic. In fact a more detailed examination of Mordell's proof gives the better estimate

It is the purpose of this paper to show that this same estimate also holds for quartic polynomials.

The Statistical Mechanics which has been developed in accordance with the requirements of the new Quantum Theory is concerned with distribution laws over energy values only—over, that is, the characteristics of Schrödinger's equation. To obtain a space distribution law, even for the Classical limit, some use must be made of the characteristic functions. A formula has been suggested by Fowler, but it has not been shown that this formula gives the Classical law for gases at ordinary temperatures and pressures. In this paper we shall show that this is so, but before doing so we shall sketch the analogous method of obtaining the law, on the Classical theory.

In Ewald's theory of crystal optics, based on classical principles, an optical wave through a crystal lattice of polarizable atoms (idealized as isotropic oscillators) is a self-sustaining system of vibrations so constituted that, on the one hand, the electric moment of each atom is caused to oscillate by the electromagnetic field and, on the other hand, the electromagnetic field is itself the resultant field due to the superposition of the dipole waves produced by the lattice atoms. Born extended the theory to the case of movable lattice ions and showed that in an optical wave the electromagnetic field is so coupled to the lattice vibrations that each lattice ion vibrates in phase with the local field which, as in Ewald's case, is itself produced by the vibrating ions. In Born's original theory, the motion of the lattice particles had to be treated by classical mechanics. It is shown that the results of the quantum-mechanical treatment of the lattice motion agrees exactly with the classical theory. Not only is the induced current at each lattice point in phase with the local field, but the magnitude of the current is also identical with the classical value, completely independent of whichever vibrational state the crystal might be in.

A study is made of a problem in acoustic radiation, with the object of developing a rigorous theory of short-wave asymptotic solutions of the Helmholtz wave equation. The particular example under consideration is that of the radiation of sound waves by a smooth convex cylinder pulsating with prescribed normal velocity V(s) exp (−iωt), where s denotes arc length of the curve C bounding the cylinder cross-section, and ω is the radian frequency.

The word “freedom” is used in this paper with the same meaning as “Konstantenzahl"—the number of free constants—and corresponds very roughly to the term “degrees of freedom” as used in elementary mechanics. “Freedom of a manifold” is used as a convenient abbreviation for “freedom of the class of manifolds of the same specification as the given one”. At the outset the idea is rather vague; in the background there is an intuitive notion of a definite number associated with any given manifold—the number of conditions that manifolds of the same specification can be made to satisfy. This paper is intented to give some precision to this idea, and to formulate rules which will enable the freedom of a given manifold to be calculated.

The Feynman integral is evaluated for classical waves using a Hamiltonian approach to the summation over histories.