To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Two spheres of different radii are approaching each other with equal and opposite velocities, the fluid flow around them being at low Reynolds number. The forces on the spheres can be calculated when they are very close by applying an asymptotic analysis — usually called lubrication theory — to the flow in the gap between the spheres. If the non-dimensional gap width is ε, the force is calculated here correct to O(ε In ε) for all ratios of the two spheres' radii. The analysis can be combined with earlier numerical calculations to find all the constants in the asymptotic expansion correct to O(ε).
For a convex polytope P, let s(P) and σ(P) denote, respectively, the largest t such that P has a t-dimensional face (section) which is a simplex. Using Gale diagrams, lower bounds are obtained for these numbers and formulae are developed for the behaviour of s and σ over Cartesian and other products.
§1. An initial and boundary value problem. In this article we study the solution of an initial and boundary value problem of dynamic linear thermoelasticity in which both inertia and the coupling between mechanical and thermal effects are retained.
Let K be a convex body (compact convex set with interior points) in d-dimensional euclidean space Ed, let D(K) denote its diameter, Δ(K) its minimal width, and
the number of lattice points (points of Ed with integer coordinates) in the interior of K. If G0(K) = 0, we call K lattice-point-free; in what follows, K will always be a lattice-point-free convex body.
Let (X, ℱ, μ) be a topological measure space with X a completely regular Hausdorff space and ℱ the σ-algebra of all μ-measurable sets, containing all the Baire sets of X. Consider the following two conditions on (X, ℱ, μ).
Since my article McMullen [1980] has appeared, Professors S. S. Ryškov and B. B. Venkov have drawn my attention to two previously published papers. B. A. Venkov [1954] proves my main Theorem 1 (and its corollary Theorem 2) by methods apparently very similar to mine (1 have not checked all the details), while A. D. Aleksandrov [1954] generalizes Venkov's result to tilings of spaces of constant curvature by polytopes (not necessarily convex) congruent to ones in some finite collection. I am happy to acknowledge their priority.
Two basic approaches have been used to develop explicit formulae for the number of classes in a genus of binary quadratic lattices over an algebraic number field. Analytic machinery in the form of the Minkowski-Siegel Mass Formula or the Tamagawa number of an algebraic group was employed by Pfeuffer [13] and Shyr [17] to obtain such a formula for maximal positive definite lattices over totally real number fields. On the other hand, Peters [10] observed that a formula applicable to maximal lattices over any number field can be deduced by algebraic methods from the theory of quadratic field extensions. Using group-theoretic techniques set up by the present authors [3] along with the calculation of certain local unit indices, Korner [6] derived the corresponding formula for non-maximal lattices.
Let h1(x1, …, xn), …, hs(x1, …, xn) be polynomials with integer coefficients. We give conditions on these polynomials which guarantee the existence, for all sufficiently large primes p, of small solutions to the system of congruences
Previous investigations of this problem include those of Mordell [10], Chalk and Williams [5], and Smith [14]. Smith's main result, which encompasses the other results, can be stated as follows.
A metric space (X, ρ) is called precompact, if, for every ε > 0, there is a finite ε-cover (a covering by sets of diameter ≤ ε). The space (X, ρ) is separable if for every e there is a countable ε-cover. There should be some in-between condition. We say that (X, ρ) has fine covers, if, for every ε > 0, there exists a countable ε-cover (U1, U2, …), such that the diameter ∂(Ui) tends to zero as i → ∞. In fact, Goodey [1] has related this property to Hausdorff dimension. We show that a space with fine covers need not be σ-precompact and that on any complete metrizable non-σ-compact space X there is a metric ρ* such that (X, ρ*) has no fine cover.
New classes of pairs e, p are presented for which the Gauss sums corresponding to characters of order e over finite fields of characteristic p are pure, i.e., have a real power. Certain pure Gauss sums are explicitly evaluated.
We consider a body which occupies the open, bounded, regular region B, whose boundary is ∂B and whose closure is . We denote by da the element of surface area, by dυ the element of volume, and by n the outward unit normal. We suppose the behaviour of the body to be described by the equations of the quasi-static theory of homogeneous and isotropic thermoelasticity. These equations, which are obtained from the equations of the dynamical theory (see, for example, Carlson [1], Chadwick [2] or Boley and Weiner [3]) by omitting the inertial term pű from the right-hand side of the equation of motion (4), are:
Unless stated otherwise all quadratic forms have rational integer coefficients and all representations are integral representations. For positive binary quadratic forms of the same discriminant it is known that two such forms are equivalent provided they represent the same integers. See, for instance, [Ki2], and for a sharper extension [W2]. On the other hand, in the quaternary case these value-sets are far from characterizing the forms even within a genus. It is therefore natural to ask for positive ternary forms the corresponding question, whose answer appears to be unknown.
Existence and uniqueness of classical solutions are established for the dissipative quasigeostrophic equations of geophysical fluid dynamics, using a priori estimates and a Schauder fixed point theorem. The flow is periodic in both horizontal directions and is bounded above and below by rigid flat surfaces. The Reynolds analogy of unit turbulent Prandtl number is assumed. Existence is proved for an arbitrary finite time, if it is further assumed that the surface temperatures vanish. Without this additional assumption existence is guaranteed only for a certain finite time, which is inversely proportional to the norms of the sources and initial conditions.
We calculate the minimum numbers of k-dimensional flats and cells of any Euclidean d-arrangement of n hyperplanes. The bounds are obtained by calculating lower bounds for the values of the doubly indexed Whitney numbers of a basepointed geometric lattice of rank r with n points. Additional geometric results concern the minimum number of cells of a Euclidean or projective arrangement met by a subspace in general position and the minimum number of non-Radon partitions of a Euclidean point set. We include remarks on the relationship between Euclidean arrangements and basepointed geometric lattices and on the minimum numbers of cells of arrangements with a bounded region.
Let Mn be a smooth, compact and strictly convex, embedded hypersurface of Rn + 1 (n ≥ 1), an ovaloid for short. By “strictly convex” we mean that the Gauss-Kronecker curvature where ki are the principal curvatures with respect to the inner unit normal field, is everywhere positive. It is well knpwn [5, p. 41] that, for such a hypersurface, the spherical-image mapping is a diffeomorphism onto the unit hypersphere. Furthermore, Mn is the boundary of an open bounded convex body, which we shall call the interior of Mn.
We write e(x) for e2πix and let ‖x‖ denote the distance of x from the nearest integer. The notation A ≪ B will mean |A| ≤ C|B| where C is a positive constant depending at most on an arbitrary positive number ε, and on an integer k. The letter p always denotes a prime number. The main results of the present paper are as follows.
This volume contains the nine invited lectures given at the Eighth British Combinatorial Conference held in the Mathematics Building, University College, Swansea July 2Oth-24th 1981. Authors of contributed papers are making their own arrangements about publication but a booklet of abstracts was available at the Conference and those needing further information should write direct to the authors.
The volume is dedicated to the memory of Dr. Derek Waller, Lecturer in Pure Mathematics at Swansea, who would have been the Conference Organiser. In his short career he had already made significant contributions to graph theory.
We survey results about graphs with a prescribed abstract group of automorphisms. A graph X is said to represent a group G if Aut * X ≅ G. A class c of graphs is (f)-universal if its (finite) members represent all (finite) groups. Universality results prove independence of the group structure of Aut X and of combinatorial properties of X whereas non-universality results establish links between them. We briefly survey universality results and techniques and discuss some nonuniversality results in detail. Further topics include the minimum order of graphs representing a given group (upper vs. lower bounds, the same dilemma), vertex transitive and regular representation, endomorphis monoids. Attention is given to certain particular classes of graphs (subcontraction closed classes, trivalent graphs, strongly regular graphs) as well as to other combinatorial structures (Steiner triple systems, lattices). Other areas related to graph automorphisms are briefly mentioned. Numerous unsolved problems and conjectures are proposed.
O. AUTOMORPHISM GROUPS – A BRIEF SURVEY
In two of his papers in I878, Cayley introduced what has since become familiar under the name “Cayley diagrams”: a graphic representation of groups. Combined with a symmetrical embedding of the diagram on a suitable surface, this representation has turned out to be a powerful tool in the search for generators and relators for several classes of finite and finitely generated groups. This approach is extensively used in the classic book of Coxeter and Moser [CM 57] where a very accurate account of early and more recent references is also given.