For a typical convex body in Ed a typical shadow boundary under parallel illumination has infinite (d - 2)-dimensional Hausdorff measurewhile having Hausdorff dimension d 2.

The incidence matrices for the finite projective planes, for the so-called λ-planes (where two lines meet in λ points instead of the usual 1) and for some other configurations, including those of Pappus and Desargues, are all cases of what are defined below as (v, k, t, λ)-matrices. These are shown here to possess arithmetical properties which reduce, in the case of cyclic projective planes, to properties remarked on by Marshall Hall [3]. And if a certain group hypothesis (which suggests itself in a natural way) is satisfied by a matrix of this type, the matrix is shown to be equivalent (by rearranging the rows and columns) to a direct sum of incidence matrices for λ-planes, each of which satisfies the same group hypothesis.

An old theorem of Pólya and Carlson [2] states that, if the power series has rational integer coefficients, positive radius of convergence, and can be continued analytically to a region that contains points outside the closed unit disc, then the function that the power series represents is rational. This result has been extended in a number of ways (cf. e.g. Petersson [4]). The present note gives a new extension based on a recent theorem of Güting [3]. My thanks to Professors Henry Helson and Raphael Robinson for introducing me to this subject.

In a recent book, L. H. Loomis has obtained the “Bohr compactification” of a topological group, in terms of almost periodic functions, by applying the representation theory of commutative B-algebras. It is simpler, and perhaps more natural, to consider this matter from the point of view of comparative topology; we can then obtain a more general result, in that the discussion is no longer restricted to the case of numerically valued (or even vector-valued) functions.

In all that follows, E denotes a separated locally convex space, E' its topological dual, and <x, x−> the bilinear form expressing the duality. We consider the differentiation of a function f:t → f(t) of a real variable t which takes its value in E; the domain of f will be an open interval which, without loss of generality, may be taken to be the entire real axis. There are various senses in which the derivative may or may not exist, and it is proposed to consider some relations between these senses.

We study the variance of the fluctuations in the number of lattice points in a ball and in a thin spherical shell of large radius centred at a Diophantine point.

We estimate the number of solutions to $|y^{2}-x^{3}|\leqslant X$ with $N\leqslant y\leqslant 2N$, in terms of both $N$ and $X$.

A solution is obtained of the problem of diffusion from an elevated point source into a turbulent atmospheric flow over a horizontal ground z = 0. The mechanism of the turbulence is the one considered by D. R. Davies [1[ when he obtained a solution of the same problem in the case when the source is at ground level, the specifications for the mean wind velocity V, and for the across-wind diffusivity Ky, and for the vertical diffusivity Kz, being V αzm, Ky αzm, Kz αz1−m, where m is a constant. Predictions of the solution are that the maximum concentration at ground level of the diffusing matter varies inversely as h1·8 in adiabatic conditions, where h is source height, and that the distance downwind from the source to the point where this maximum concentration is attained varies, in these conditions, as h1·3.

The problem dealt with in this paper was suggested by Dr. E. C. Dade and communicated to me, at Stockholm in August 1962, by Dr. Taussky Todd. It may be stated as follows. Consider the equation

where f is a form (i.e., a homogeneous polynomial) with coefficients in some ring R of algebraic integers. An obviously necessary condition for the solubility of (1) with the xi in R is that the coefficients of f should have no common factor, except for units of R. Now let S be a ring which is an algebraic extension of R, and let us try to solve (1) with the xi in S. The condition just mentioned remains necessary; and Dade has proved in [1] that for some S (depending on R and f) it is sufficient. His theorem is valid for forms of any degree but is merely an existence theorem as far as S is concerned. The problem is to do better for the special case in which f is of degree 2 and R the ring of rational integers; and more precisely, to show if possible that S can be taken to be a quadratic extension R(√q) of R, with an integer q which could be estimated in terms of the coefficients of f.

A PV-number is defined to be an algebraic integer θ, of modulus greater than one, all of whose conjugates (excluding θ itself) lie inside the unit circle. Salem [1] has shown that the set S of PV-numbers forms a closed subset of the real line.

In [5] we have developed part of a theory of K- analytic sets that forms a common generalization of the theory of Lindelöf K- analytic sets developed by Choquet, Sion and Frolik and the theory of metric analytic sets developed by Stone and Hansell. As we explain in [5], this theory parallels the recently developed theory of Frolík and Holický, but has certain advantages. In this paper we take the theory rather further, and, in particular, we prove a number of variants of Lusin's first separation theorem and give some of their applications. We make free use of the definitions, notation and conventions introduced in [5].

An (r,r+1)-factor of a graph G is a spanning subgraph H such that dH(v)∈{r,r+1} for all vertices v∈𝒱(G). If G is expressed as the union of edge-disjoint (r,r+1)-factors, then this expression is an (r,r+1)-factorization of G. Let μ(r) be the smallest integer with the property that if G is a regular loopless multigraph of degree d with d≥μ(r), then G has an (r,r+1)-factorization. It is shown that if r is even. The proof employs a novel list-coloring approach. Together with known results, this shows that μ(r)=r2+1 if r is odd and if r is even.

The temporal evolution of nonlinear, incompressible ensembles is examined first for the one-dimensional Burgers' equation and then for the incompressible, unsteady Navier-Stokes equations. It is shown that local closure of the averaged problem can be obtained for finite ensembles of Burgers' equation in the limit as the number of moments tends to infinity. This limit behaviour is verified via direct numerical computations for the onedimensional inviscid and viscous Burgers' equation. Closure is found to occur at reasonably low order. It is shown that this technique can be extended to obtain a local closure of the convective terms of the Navier-Stokes Reynoldsaveraged equations.

A major result of D. B. McAlister is that every inverse semigroup is an idempotent separating morphic image of an E-unitary inverse semigroup. The result has been generalized by various authors (including Szendrei, Takizawa, Trotter, Fountain, Almeida, Pin, Weil) to any semigroup of the following types: orthodox, regular, ii-dense with commuting idempotents, E-dense with idempotents forming a subsemigroup, and is-dense. In each case, a semigroup is a morphic image of a semigroup in which the weakly self conjugate core is unitary and separated by the homomorphism. In the present paper, for any variety H of groups and any E-dense semigroup S, the concept of an “H-verbal subsemigroup” of S is introduced which is intimately connected with the least H-congruence on S. What is more, this construction provides a short and easy access to covering results of the aforementioned kind. Moreover, the results are generalized, in that covers over arbitrary group varieties are constructed for any E-dense semigroup. If the given semigroup enjoys a “regularity condition” such as being eventually regular, group bound, or regular, then so does the cover.

Recently the notion of elementary symmetrization attracted new attention in the field of convex sets (see [L; W]), and it was proved that Minkowski's “Quermassintegrale” are decreased by elementary symmetrization. On the other hand, the concept of Schwarz symmetrization for Borel functions gained new interest from its possible applications in the field of elliptic partial differential equations (see [S1, S2, HI, T1, T2, HY1, HY2, GL1, GL2]).

For a metric space <Ω, ρ> and a ‘measure function’ h, the Hausdorff measure mh on Ω is denned by applying Method II to the premeasure defined by τ(E) = h(d(E)), E ⊆ Ω, where

with d(Φ) = 0, is the diameter of E. The set function mh is then a metric outer measure. There are many variations on this definition producing measures also associated with the name Hausdorff. Here we are concerned with those measures which arise when there is a restriction on the sets E for which τ is defined. Such measures arise, for example, as net measures, Rogers [1]. Also we might find it useful to have τ defined only on disks, or only on squares, or only on rectangles with a given relation between vertical and horizontal sides.

Littlewood [5, Problem 4.19, originally 4] conjectured that there is an absolute constant C > 0 such that, for every sequence of distinct integers n1, n2, n3, …, if

then

Cohen [2] showed

for some absolute constant C, with b = 1/8. Davenport [3] gave a more explicit version of Cohen's proof and improved the estimate to b = 1/4. Pichorides [6] added another refinement to obtain b = ½, and has, more recently, obtained ‖fN‖1>C(log N)1/2. This seems to be the best estimate so far without restriction on the sequences. We shall show that the methods of Davenport and Pichorides may be extended to obtain better results for certain classes of sequences. Specifically, we prove the following theorems.

The even dimensional C∞ manifold M2n is said to be symplectic, if there exists a 2-form Ω, defined everywhere on M such that

(i)Ω is closed, that is dΩ, = 0, and

(ii)Ωn ≠ 0.

Hyperplane mean values of non-negative subharmonic functions have been studied in many papers, of which [2] and [3] are examples. Recently, Armitage [1] began a study of hyperplane means of non-negative superharmonic functions. One of his results [1, Theorem 2] shows that, if w is a positive superharmonic function on

and n/(n + 1) p < 1, then

as t → ∞, while another [1, Theorem 1] shows that, if 0 < p ≤ n/(n + l), then the integral in (1) is always infinite. However, he did not present a complete analogue of the result of Flett and Brawn [2, 3], which states that, if Ф: [0, ∞ [ → [0, ∞ [ is a non-decreasing convex function such that Ф(u)/u → 0 as u → 0 +, and w is a nonnegative subharmonic function on Rn × ]0, ∞ [, then under certain conditions on the size of w, the integral mean

tends to zero as t → ∞. In this note we present an analogue for superharmonic functions of the above result, in which the mean M(Ф(w); t) is shown to tend to infinity with t, provided that Ф(u)/u → ∞ as u → 0 +, and which therefore generalizes (1). It might be expected that, in dealing with the superharmonic case, the function Ф would have to be concave, so that Ф(w) would also be superharmonic. It turns out that this condition is unnecessary.