If K is a set in n-dimensional Euclidean space En, n ≥ 2, with non-empty interior, then a point p of En is called a pseudo-centre of K provided tha each two dimensional flat through p intersects K in a section, which is either empt or centrally symmetric about some point, not necessarily coinciding with p. A pseudo centre p is called a false centre of K, if K is not centrally symmetric about p. A dee result of Aitchison, Petty and Rogers [1] asserts that, if K is a convex body in E and p is a false centre of K, with p in the interior, int K, of K, then K is an ellipsoid Recently J. Höbinger [2] extended this theorem to any smooth convex body K witl a false centre p anywhere in En. At a recent meeting in Oberwolfach, he asked if the condition of smoothness can be omitted and the purpose of this note is to prove sucl a result.

We consider the spectral function, ρα(μ), for –∞<μ<∞ associated with the Sturm-Liouville equation

and the boundary condition

We suppose that q is a real-valued member of L1[0, ∞) and λ is a real parameter.

A Borel isomorphism that, together with its inverse, maps ℱσ-sets to ℱσ-sets will be said to be a Borel isomorphism at the first level. Such a Borel isomorphism will be called a first level isomorphism, for short. We study such first level isomorphisms between Polish spaces and between their Borel and analytic subsets.

In this paper I show that complex-valued multiplicative functions g which satisfy |g(n)|≤1 for all positive integers n, are generally well distributed in residue classes to small moduli.

How many digraphs are isomorphic with their own converses? Our object is to derive a formula for the counting polynomial dp′(x) which has as the coefficient of xq, the number of “self-converse” digraphs with p points and q lines. Such a digraph D has the property that its converse digraph D′ (obtained from D by reversing the orientation of all lines) is isomorphic to D. The derivation uses the classical enumeration theorem of Pólya [9[ as applied to a restriction of the power group [6] wherein the permutations act only on 1–1 functions.

An origin-symmetric convex body K in ℝn is called an intersection body if its radial function ρK is the spherical Radon transform of a non-negative measure µ on the unit sphere Sn−1. When µ is a positive continuous function, K is called the intersection body of a star body. The notion of intersection body was introduced by Lutwak [L]. It played a key role in the solution of the Busemann-Petty problem, see [G1], [G2], [L], [Z1] and [Z2]. Koldobsky [K] showed that the cross-polytope is an intersection body. This indicates that the statement in [Z3] that no origin-symmetric convex polytope in ℝn (n > 3) is an intersection body is not correct. This paper will prove the weaker statement that no origin-symmetric convex polytope in ℝn (n > 3) is the intersection body of a star body.

I discuss various necessary and sufficient conditions for a K-analytic space to be Souslin. In particular, I show that if the continuum hypothesis is true, then there is a non-Souslin K-analytic space in which every compact set is metrizable; while if Martin's Axiom is true and the continuum hypothesis is false, this is impossible.

§5. Some C(K) spaces that are not σ-fragmented. In [16] we remarked that the space (l∞, weak) is not σ-fragmented. Rosenthal [19] gives a number of conditions that ensure that a C(K) space contains an isomorphic copy of l∞. A Banach space is said to be injective if it is complemented in every Banach space containing it isomorphically. Rosenthal proves that every infinite dimensional injective Banach space contains a subspace isomorphic to l∞. It is known (see, for example, Day [2]) that C(K) is injective if K is extremally disconnected. Thus C(K) is not σ-fragmented when K is an infinite compact Hausdorff space that is extremally disconnected.

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.

In earlier treatments of the title problem it was found that it is impossible, in general, to obtain solutions of Stokes's equations of slow viscous flow in which the fluid velocity vanishes at infinity. It is shown here that the paradox can be resolved by the introduction of a resultant force on the cylinders. This enables the solution to be matched to an outer solution of the full Navier-Stokes equations.

It has been known since Vinogradov that, for irrational $\unicode[STIX]{x1D6FC}$, the sequence of fractional parts $\{\unicode[STIX]{x1D6FC}p\}$ is equidistributed in $\mathbb{R}/\mathbb{Z}$ as $p$ ranges over primes. There is a natural second-order equidistribution property, a pair correlation of such fractional parts, which has recently received renewed interest, in particular regarding its relation to additive combinatorics. In this paper we show that the primes do not enjoy this stronger equidistribution property.

Let K be an arbitrary compact space and C(K) the space of continuous functions on K endowed with its natural supremum norm. We show that for any subset B of the unit sphere of C(K)* on which every function of C(K) attains its norm, a bounded subset A of C(K) is weakly compact if, and only if, it is compact for the topology tp(B) of pointwise convergence on B. It is also shown that this result can be extended to a large class of Banach spaces, which contains, for instance, all uniform algebras. Moreover we prove that the space (C(K), tp(B)) is an angelic space in the sense of D. H. Fremlin.

Given an integral lattice L and a hyperbolic decomposition of some quotient L/pL, there is a simple technique for obtaining other lattices of the same dimension and discriminant as L⊥ … ⊥L. When applied to the D4 and E8 root lattices, for example, this yields a new sphere packing in ℝ32, which is denser than those known up to now, and an extremal type II lattice in ℝ64.

Minkowski [1] first proved that the surface of a convex body in E3 can be approximated by a level surface of a convex analytic function. His proof is strikingly simple. His proof is also presented for En by Bonnesen-Fenchel [2, pp. 10–12[. We here prove that the same kind of result is achieved using level surfaces of convex non-negative polynomials. We give two types of approximation, one based on finite sums as Minkowski did, and the other using integration. Since these approximations may be used for other applications we also extend them and give special formulae when the surface is centrally symmetric.

We use the Buchstab-Rosser sieve to derive an asymptotic formula for the distribution of those integers n for which the r numbers n + l1, n + l2,…, n + lr are all square-free. Our error estimate sharpens a similar result of Hall and is uniform in both r and maxl 1≤i≤r|li|.

It is proved that for a symmetric convex body K in ℝn, if for some τ >0, |K ⋂ (x + τK) depends on ‖x‖K only, then K is an ellipsoid. As a part of the proof, smoothness properties of convolution bodies are studied.

Montgomery and Vaughan [12] have shown that the exceptional set in Goldbach's problem

satisfies

for some Δ>0. Li [10,11] has shown that we may take Δ = 0·079 and Δ = 0·086. If the Riemann Hypothesis is true for all Dirichlet L-functions then (1) holds for any Δ<½. This is a classical result due to Hardy and Littlewood [7].

The purpose of this work is to investigate the relationship between Radon transforms and centrally symmetric convex bodies. Because of the injectivity properties of the Radon transform it is natural to consider transforms on the sphere separately from those on the higher order Grassmannians. Here we shall concentrate on the latter, whilst the former will be the subject of another article presently in preparation, Goodey and Weil [1991].

In [3], D. H. Lehmer has analysed the incomplete Gaussian sum

where N and q are positive integers with N < q and e(x) is an abbreviation for e2πix. The crucial observation is that, for almost all values of N, Gq(N) is in the vicinity of the point ¼(1 + i)q1/2. This leads to sharp estimates of the shape Gq(N) = O(q½).

Problems about partitions of cartesian products are common in mathematics. For example, in finite and infinite combinatorics, they keep emerging in Ramsay theory, where one seeks to show that, if a product is partitioned into finitely many parts, one part at least must contain a subset of a certain specified kind. In the transition from finite to infinite products, one usually imposes restrictions of a topological nature on the partition, in order to obtain theorems analogous to those which are valid in the finite case. (See, e.g., [G-P], [Si], [E].)