Let the real constants qij (i, j = 0, 1, 2, …) satisfy the conditions

Let X be a compact metric space. By an invariant measure on X we shall mean a finitely additive non-negative real-valued function μ. on the Borel σ-algebra in X, such that μ(X) = 1 and Borel subsets of X have equal measure if there exists an isometry from one onto the other (not necessarily extendable to the whole of X). We note in passing that an isometric copy of a Borel set is necessarily itself Borel, by a well-known theorem of Souslin (see [3], §39. V). In Problem 2 of the Scottish Book (17. VII. 1935; see [2]), Banach and Ulam asked whether every non-empty compact metric space admits an invariant measure. This problem remains open; we give a positive answer in a veryspecial case.

It is shown that Lipschitz quotient mappings between finite dimensional spaces behave nicely (e.g., are bijective in the case of equal dimensions) if the Lipschitz and co-Lipschitz constants are close to each other. For Lipschitz quotient mappings of the plane, a bound for the cardinality of the pre-image of a point in terms of the ratio of the constants is obtained.

In this paper two expansions are obtained by contour integration methods for the velocity potential describing two-dimensional time-harmonic surface waves due to a free-surface wave source on water of infinite depth in the presence of surface tension. First the series expansion at r = 0 is found and then the asymptotic expansion as Kr®¥, where K is the wave number for progressive waves and r the radial distance from the source. The corresponding expansions for the more important submerged wave source in terms of the radial distance from the image source in the free surface may then easily be deduced. The latter are required in a number of surface wave problems, particularly those of a short-wave asymptotic nature, and are also relevant in obtaining expansions for finite constant depth.

Suppose we have a set of n points P1, …, Pn in a unit square. Let

and let Sn be the upper bound of d1+…dn taken over all positions of P1, …, Pn in the square. We prove that

We prove a generalization of a theorem of Ryshkov relating the Voronoï vectors of lattices to the defining conditions for the Minkowski fundamental domain . This is then used to prove that a Minkowski reduced basis of a lattice of dimension n < 7 consists of strict Voronoï vectors.

We apply Newton’s method to stochastic functional evolution equations in Hilbert spaces using semigroup methods. The first-order convergence is based on our generalization of the Gronwall-type inequality. We also establish a second-order convergence in a probabilistic sense.

A monic polynomial in ${\mathbf{F} }_{q} [t] $ of degree $n$ over a finite field ${\mathbf{F} }_{q} $ of odd characteristic can be written as the sum of two irreducible monic elements in ${\mathbf{F} }_{q} [t] $ of degrees $n$ and $n- 1$ if $q$ is larger than a bound depending only on $n$. The main tool is a sufficient condition for simultaneous primality of two polynomials in one variable $x$ with coefficients in ${\mathbf{F} }_{q} [t] $.

In the paper [2] Hsia noted that the forms x2+xy+y2+9z2 and x2+3y2+3yz+3z2 constitute a genus and that both forms are regular; he asked whether there exist any other genera containing two or more regular forms. In this note it is proved that the forms

are regular. They constitute a genus with discriminant 27 (in the normalization used by Brandt and Intrau in [1]). It is noteworthy that Hsia's genus has the same discriminant.

Let J = (s1, s2, … ) be a collection of relatively prime integers, and suppose that π(n) = |J∩{1,2,…, n}| is a regularly varying function with index a satisfying 0 < α < l. We investigate the “stationary random sieve” generated by J, proving that the number of integers less than k which escape the action of the sieve has a probability mass function with approximate order k-α/2 in the limit as k → ∞. This result may be used to deduce certain asymptotic properties of the set of integers which are divisible by no s є J, in that it gives new information about the usual deterministic (that is, non-random) sieve. This work extends previous results valid when si=pi2, the square of the ith prime.

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.

We prove a dimension-free strong uniformity theorem, and apply it in the configuration space of a large system of non-interacting particles, to describe the fast approach to equilibrium starting from off-equilibrium, and its long-term stability.

Consider a uniform body whose behaviour is described by the linear field equations of quasi-static, coupled thermoelasticity†:

For a natural number n, let λ(n) denote the order of the largest cyclic subgroup of (ℤ/nℤ)*. For a given integer a, let Na(x) denote the number of n ≤ x coprime to a for which a has order λ(n) in (ℤ/nℤ)*. Let R(n) denote the number of elements of (ℤ/nℤ)* with order λ(n). It is natural to compare Na(x) with ∑n≤xR(n)/n. In this paper we show that the average of Na(x) for 1 ≤ a ≤ y is indeed asymptotic to this sum, provided y ≥ exp((2 + ε)(log x log log x)1/2), thus improving a theorem of the first author who had this for y ≥ exp((log x)3/4;). The result is to be compared with a similar theorem of Stephens who considered the case of prime numbers n.

The problem of finding necessary and sufficient condi-tions for the existence of trapped modes in waveguides has been known since 1943. [10]. The problem is the following: consider an infinite strip M in ℝ2(or an infinite cylinder with the smooth boundary in ℝn). The spectrum of the(positive) Laplacian, with either Dirichlet or Neumann boundary conditions, acting on this strip is easily computable via the separation of variables; the spectrum is absolutely continuous and equals [v0,+∞). Here, v0 is the first threshold, i.e., eigenvalue of the cross-section of the cylinder (so v0 = 0 in the case of Neumann conditions). Let us now consider the domain (the waveguide) which is a smooth compact perturbation of M (for example, weinsert an obstacle inside M). The essential spectrum of the Laplacian acting on still equals [v0, +ℝ), but there may be additional eigenvalues, which are often called trapped modes; the number of these trapped modes can be quite large, see examples in [11] and [8].

Let L/K be an extension of number fields and let be the subgroup of the unit group consisting of the elements that are roots of units of . Denote by (L/K, B) the number of points in with relative height in the sense of Bergé-Martinet at most B. Here ℙ1(L) stands for the one-dimensional projective space over L. In this paper is proved the formula (L/K, B) = CB2 + O(B2−1/[L:Q]), where C is a constant given in terms of invariants of L/K such as the regulators, class number and discriminant.

As usual in Waring's problem, we let G(k) be the least number s such that all sufficiently large natural numbers can be written as the sum of s or fewer k-th powers of positive integers. Hardy and Littlewood gave the first general upper bound, G(k)≤(k − 2)2k − 1 + 5. Later [4], they reduced this to order k2 by first constructing an auxiliary set of natural numbers below x which are sums of sk-th powers, of cardinality with for large k. The argument, which is brief and elementary (see [15, Chapter 6]), is now referred to by R. C. Vaughan's term “diminishing ranges”, since the k-th powers are taken from intervals of decreasing lengths. This idea of choosing the variables from restricted ranges was refined by Vinogradov, whose application to exponential sum estimates gave for large k (see [18]). The recent iterative method of Vaughan and Wooley [16, 19, 21], which halves Vinogradov's bound, may be viewed as an evolved diminishing ranges argument, producing an auxiliary set with .

A Fourier restriction estimate is obtained for a broad class of conic surfaces by adding a weight to the usual underlying measure. The new restriction estimate exhibits a certain affine-invariance and implies the sharp ${L}^{p} - {L}^{q} $ restriction theorem for compact subsets of a type $k$ conical surface, up to an endpoint. Furthermore, the chosen weight is shown to be, in some quantitative sense, optimal. Appended is a discussion of type $k$ conical restriction theorems which addresses some anomalies present in the existing literature.

Let S be a compact set in some euclidean space, such that every homo-thetic copy λS of S, with 0 < λ < 1, can be expressed as the intersection of some family of translates of S. It is shown that S has this property precisely when it is star-shaped, and is such that every point in the complement of S is visible from some point (necessarily on the boundary) of the kernel of S. Alternatively, S can be characterized as a compact star-shaped set, whose maximal convex subsets are cap-bodies of its kernel.

Oler's lattice-point theorem gives a sharp upper bound for the lattice-point enumerator GΛ of a certain class of lattices in the plane. We give a sharp lower bound for GΛ of the corresponding class of lattices in all dimensions. This result is closely related to the Blichfeldt-van der Corputgeneralization of Minkowski's fundamental lattice-point theorem.