Throughout this paper we assume that k is a given positive integer. As usual, B(x, r) denotes the closed ball with centre at x∈ℝk and radius r > 0. Let μ be a Radon measure on ℝk, that is, μ is locally finite and Borel regular. For s ≥ 0, the lower and upper s–dimensional densities of μ at x are denned respectively by

and

Let be a sequence of mutually disjoint open balls, with centres xj and corresponding radii aj, each contained in the closed unit ball in d-dimensional euclidean space, ℝd. Further we suppose, for simplicity, that the balls Bj are indexed so that aj≥aj+1. The set

obtained by removing, from the balls {Bj} is called the residual set. We say that the balls {Bj} constitute a packing of provided that λ(ℛ)=0, where λ denotes the d-dimensional Lebesgue measure. Thus it follows that henceforth denoted by c(d), whilst the packing restraint ensures that Larman [11] has noted that, under these circumstances, one also has .

We determine all continuous translation invariant simple valuations on the space of convex bodies in d-dimensional Euclidean space.

Let K be a number field of degree nK = r1 + 2r2, a fixed integral ideal and the group of fractional ideals of K whose prime decomposition contains no prime factors of . Let

and be an arbitrary Groessencharaktere mod f as defined in [15]. Then and, for

where {λi} forms a basis for the torsion–free characters on whose value on any depends only on the that exists such that a = (α). Note that because of the choice in such an α we have that 1 for all units ε in K satisfying (mod ), ε>0. Also, x is a narrow ideal class character mod , that is, a character on

Recently Bombieri and Sperber have jointly created a new construction for estimating exponential sums on quasiprojective varieties over finite fields. In this paper we apply their construction to estimate hybrid exponential sums on quasiprojective varieties over finite fields. In doing this we utilize a result of Aldolphson and Sperber concerning the degree of the L-function associated with a certain exponential sum.

The distribution of squarefree binomial coefficients. For many years, Paul Erdős has asked intriguing questions concerning the prime divisors of binomial coefficients, and the powers to which they appear. It is evident that, if k is not too small, then must be highly composite in that it contains many prime factors and often to high powers. It is therefore of interest to enquire as to how infrequently is squarefree. One well-known conjecture, due to Erdős, is that is not squarefree once n > 4. Sarközy [Sz] proved this for sufficiently large n but here we return to and solve the original question.

In the first part of the paper we show that the L2-discrepancy with respect to squares is of the same order of magnitude as the usual L2- discrepancy for point distributions in the K-dimensional torus. In the second part we adapt this method to obtain a generalization of Roth's [7] lower bound (log N)(k-1)/2 (for the usual discrepancy) to the discrepancy with respect to homothetic simple convex poly topes.

Let R be a real closed field and a variety of real dimension k′ which is the zero set of a polynomial Q∈R[X1,…, Xk] of degree at most d. Given a family of s polynomials = {P1,…, Ps}⊂R[X1,…,Xk] where each polynomial in has degree at most d, we prove that the number of cells defined by over is (O(d))k Note that the combinatorial part of the bound depends on the dimension of the variety rather than on the dimension of the ambient space.

This paper studies higher dimensional analogues of the Tamari lattice on triangulations of a convex n-gon, by placing a partial order on the triangulations of a cyclic d-polytope. Our principal results are that in dimension d≤3, these posets are lattices whose intervals have the homotopy type of a sphere or ball, and in dimension d≤5, all triangulations of a cyclic d-polytope are connected by bistellar operations.

Let Δn = {(x, y): x, y are integers 1 ≤ x, y ≤ n} be the n x n square array of integer lattice points in the plane.

This paper depends on results of Baranovskii [1], [2]. The covering radius R(L) of an n-dimensional lattice L is the radius of smallest balls with centres at points of L which cover the whole space spanned by L. R(L) is closely related to minimal vectors of classes of the quotient . The convex hull of all minimal vectors of a class Q is a Delaunay polytope P(Q) of dimension ≤, dimension of L. Let be a maximal squared radius of P(Q) of dimension n (of dimension less than n, respectively). If , then . This is the case in the well-known Barnes-Wall and Leech lattices. Otherwise, . This is a refinement of a result of Norton ([3], Ch. 22).

The following question of V. Stakhovskii was passed to us by N. Dolbilin [4]. Take the barycentric subdivision of a triangle to obtain six triangles, then take the barycentric subdivision of each of these six triangles and so on; is it true that the resulting collection of triangles is dense (up to similarities) in the space of all triangles? We shall show that it is, but that, nevertheless, the process leads almost surely to a flat triangle (that is, a triangle whose vertices are collinear).

We present a new characterization of σ-fragmentability and illustrate its usefulness by proving some results relating analyticity and crfragmentability. We show, for instance, that a Banach space with the weak topology is σ-fragmented if, and only if, it is almost Čech-analytic and that an almost Čech-analytic topological space is σ-fragmented by a lower-semicontinuous metric if, and only if, each compact subset of the space is fragmented by the metric.

In this paper time-harmonic surface wave motion for progressive waves incident normally on and scattered by a partially immersed fixed vertical barrier in water of infinite depth is considered in the presence of surface tension. The problem for the velocity potential is solved, as others have been previously, by first supposing that the free-surface slopes at the barrier are prescribed and the formal solution in terms of these is obtained explicitly by complex-variable methods. To simplify the calculation the known solution corresponding to zero free-surface slopes at the barrier is subtracted out first and emphasis is placed on determining the residual potential. Finally, an appropriate dynamical edge condition is imposed on the formal solution to determine the required values of the edge-slope constants and hence fully solve the transmission problem. The problem was first examined some time ago using a complex-variable reduction procedure before the advent of this condition, although an explicit formal solution was not obtained, that earlier work forms a basis for the present investigation. It is noted in conclusion how the solution of the problem for waves generated by a partially immersed non-uniform heaving vertical plate may easily be obtained in a similar manner, since the formal solution required is just the residual potential determined in our main problem.

An asymptotic theory is developed for a class of fourth-order differential equations. Under a general conditions on the coefficients of the differential equation we obtained the forms of the asymptotic solutions such that the solutions have different orders of magnitude for large x.

We consider the differential equation

where w(x) = xα for α > -1, q is a real-valued member of (0, ∞) and λ is a complex number with