Let a 3-connected graph G be embedded in an orientable surface of genus g in such a way that the connected components of its complement in the surface are topological discs. We denote by vk(G) the number of k-valent vertices of G and by pk(G) the number of k-gonal faces of the map defined by the embedded graph. For the numbers vk(G) and pk(G), it follows from Euler's formula that

The properties of the solution of the differential equation governing the evolution of localised line-centred disturbances to a marginally unstable plane parallel flow were described by Hocking and Stewartson (1972). A corresponding study of the properties when the initial disturbance is point-centred is presented here. A localised burst at a finite time can be produced, for certain values of the coefficients which can be determined analytically. When the equation permits solutions with circular symmetry, two kinds of bursting solutions, as well as solutions which remain finite, are possible, but the boundary between bursting and finite solutions could not be determined analytically.

The theory of the rotational motion of slender particles subjected to Brownian couples is examined on the basis of two different sets of assumptions. The first set, which models the stochastic couples by a smooth diffusive type of expression, is well established in practice. The second set, which uses the theory of Wiener processes, is equally well established in principle. For the problem used for illustration, the two sets of assumptions are shown to yield the same results in an asymptotic sense as the inertia of the particle becomes progressively of relatively less importance.

The following theorem has been proved by Bambah, Rogers and Zassenhaus [1],

Theorem A. Let K be a closed convex domain with a centre. Let

be points such that:

(i) the polygon A0 A1 … An is a Jordan polygon bounding a closed domain π of area a(π);

(ii) for each r, 0 ≤ r ≤ n, there is a point common to K + An-1 and K + Ar;

(iii) the points An+1, …. An+m are in the interior of π;

(iv) for each point X of π, there exists an Ar, 1 ≤ r ≤ n + m, such that X ∈ K + Ar and the line segment XAr is in π. Then

where t(K) is the area of the largest triangle contained in K.

A one parameter solution of th equation

was given by Ryley in 1825. Others were found by Richmond and myself. In the Landau memorial volume [1] recently published, there appears a joint paper, with the above title, of Davenport and Landau dating from 1935. They prove that if n is a positive integer, then positive rational solutions of (1) exist with denominators of order of magnitude O(n2). Their proof depended upon a two parameter solution of (1) due to Richmond and is very complicated.

Maxwell's equations within a dielectric and/or a magnetic medium were first developed macroscopically and must be complemented by constitutive relations to obtain solutions. These relations connect D with E (and with B in optically active material) and H with B (and again with E in optically active material). The atomic and molecular theories of quantum mechanics allow a microscopic approach to derive these constitutive relations where the macroscopic electric and magnetic fields are averages of the microscopic fields e and b. In classical electromagnetic theory Lorentz [1] originally showed how to derive the Maxwell's macroscopic equations from electron theory using microscopic fields obeying the Maxwell's equations in vacuo but coupled to electronic and ionic sources. There are two distinct steps in this procedure. The first introduces microscopic polarization fields, both electric amd magnetic, p and m from which microscopic electric displacement vector field d and auxiliary magnetic field h are simply constructed. The resulting equations for the microscopic fields e, b, d, and h are called the atomic field equations. The second step is the statistical one where the macroscopic fields E, B, D, and H are defined as averages of the microscopic fields and these macroscopic fields are then shown to obey the phenomenological macroscopic Maxwell's equations. A historical appraisal may be found in the recent book by de Groot [2].

Let x1, …, xn be linear forms in u1, …, un with real coefficients, and (for simplicity) determinant 1. Given a form (that is, a homogeneous polynomial) F(x1, …, xn), we can ask the following question: do there exist, for arbitrary real α1, …, αn, integers ul, …, un such that

where C is a suitable number independent of α1, …, αn and of the particular linear forms x1 …, xn? In two well-known cases this is true: namely when

and when

where 1 ≤ r ≤ n − 1.

A section of the non-negative orthant by an affine subspace is a polyhedral set. A technique, analogous to that of Gale diagrams, is described which enables one to determine the facial structure of such a polyhedral set.

Let P be a simplicial d-polytope, and, for – 1 ≤ j < d, let fj(P) denote the number of j-faces of P (with f_1 (P) = 1). For k = 0, ..., [½d] – 1, we define

and conjecture that

gk(d + 1)(P) ≥ 0,

with equality in the k-th relation if and only if P can be subdivided into a simplicial complex, all of whose simplices of dimension at most d – k – 1 are faces of P. This conjecture is compared with the usual lower-bound conjecture, evidence in support of the conjecture is given, and it is proved that any linear inequality satisfied by the numbers fj(P) is a consequence of the linear inequalities given above.

In this note we shall be mainly concerned with convex bodies of constant width in En that are invariant under the group of congruences that leave invariant a regular simplex with its centre of gravity at the origin. We first show that there are many such convex bodies. This follows, by showing that any set S ot diameter 1 that is invariant under a group of congruences about the origin, is contained in a convex body of constant width 1 that is invariant under the group.

If L is a set of disjoint closed line segments in En, let E(L) denote the end set of L, i.e. the set of end points of members of L.

In [1, 2] V. L. Klee and M. Martin proved the following lemma:

IfLis a disjoint set of closed line segments in E2 such that E(L) is compact, then E(L) has zero 2-measure.

Let D denote the unit disc in the complex plane. If p and q are two complex numbers, let x(p, q) denote the chordal distance between p and q on the Riemann sphere. In particular, we have the formula

and

The following problem was posed by Paul Gauthier: if f(z) and g(z) are meromorphic functions in D such that Clunie [4] has answered this problem in the negative by constructing different meromorphic functions f(z) and g(z) with the desired property. However, the functions constructed by Clunie both have an infinity of poles in D. It is the purpose of this note to give an example of two analytic functions―which thus have no poles―which also give a negative answer to the problem of Gauthier.

If ω, ω′ are two points in the extended complex plane then the distance between their stereographic projections on the Riemann sphere is

with an obvious interpretation if ω or ω′ is ∞. is called the distance between ω and ω′ in the spherical or in the chordal metric.

Let ˜ be an equivalence relation on a topological space X. A point x ε X i s stable with respect to ˜ if it is in the interior of an equivalence class. We may also add, if ambiguity arises, that x is stable under perturbations in X. Let E be a Banach space, and let L(E) be the Banach space of continuous linear endomorphisms of E, with norm given by |T| = sup{ |T(x) | : |x| = 1}. In this paper we discuss stability of elements of L(E) with respect to some natural equivalence relations.

This note examines one particular feature of the motion produced by an infinitely long insulating circular cylinder moving parallel to its axis in a conducting fluid permeated by a uniform transverse magnetic field. The particular aspect examined is that of determining, for large values of the Hartmann number, the flow in the neighbourhood of those points on the cylinder where the applied field is tangential.

The problem of determining the fields in these regions is very similar to that of calculating the acoustic potential in the neighbourhood of glancing incidence for a plane wave normally incident on a sound soft circular cylinder. An elegant method of treating this latter problem has been given by Jones [1] and the purpose of this note is to indicate the way in which Jones' method has to be modified to treat the magnetohydrodynamic problem. The basis of the approach is to determine a solution which satisfies the boundary conditions in the tangential regions and this can be achieved by conventional integral representation methods.

Both S. Bergman [1] and I. N. Vekua [13] have constructed integral operators which map ordered pairs of analytic functions of one complex variable onto solutions of fourth order elliptic equations in two independent variables. Such operators play an important role in the investigation of the analytic properties of solutions to higher order elliptic equations and in the approximation of solutions to boundary value problems associated with these equations. Unfortunately, little progress has been made in developing an analogous theory for elliptic equations in more than two independent variables. Recently, however, Colton and Gilbert [7] constructed integral operators for a class of fourth order elliptic equations with spherically symmetric coefficients in p + 2 (p ≥ 0) independent variables, and at present Dean Kukral [11], a student of R. P. Gilbert, is in the process of trying to extend some recent results of Colton [3, 4, 5] for second order equations in three independent variables to the fourth order case.

This note is concerned with those linear viscoelastic materials which are known to be compatible with thermodynamics in a sense to be denned below. It is proved that equality of its instantaneous and equilibrium elastic moduli is a necessary and sufficient condition for such a material to be elastic.

Plummer (see [2; p. 69]) conjectured that the square of every block is hamiltonian, and this has just been proved by Fleischner [1]. It was shown by Karaganis [3] that the cube of every connected graph, and hence the cube of every tree, is hamiltonian. Our present object is to characterize those trees whose square is hamiltonian in three equivalent ways.

We follow the terminology and notation of the book [2]. In particular, the following concepts are used in stating our main result. A graph is hamiltonian if it has a cycle containing all its points. The graph with the same points as G, in which two points are adjacent if their distance in G is at most 2, is denoted by G2 and is called the square of G. The subdivision graph S(G) is formed (Figure 1) by inserting a point of degree two on each line of G.