Let K be a number field of degree k > 1. We would like to know if a positive integer N can be represented as the sum, or the difference, of two norms of integral ideals of K. Suppose K/ℚ is abelian of conductor Δ. Then from the class field theory (Artin's reciprocity law) the norms are fully characterized by the residue classes modulo Δ. Precisely, a prime number p ∤ Δ (unramified in K) is a norm (splits completely in K), if, and only if,

where k is a subgroup of (ℤ/Δℤ)* of index k. Accordingly we may ask N to be represented as the sum

or the difference

of positive integers a, b each of which splits completely in K. For N to be represented in these ways the following congruences

must be solvable in α β є k, respectively. Moreover the condition

must hold. Presumably the above local conditions are sufficient for (−) to have infinitely many solutions and for (+) to have arbitrarily many solutions, provided N is sufficiently large in the latter case.

Various methods have been developed for solutions of boundary value problems involving discs of finite radius and spherical caps. A recent account of this work is described in the book by Sneddon [1]. In the present paper a simple method is presented for the solutions of potential problems for the electrified disc and spherical cap by reducing the axially symmetric boundary value problems to a corresponding problems for the two-dimensional Laplace equation. The essence of the method is to employ integral operators which map two-dimensional harmonic functions into axially symmetric potentials and are closely related to the integral transformations given in [3]. In particular it is shown how the mixed boundary value problems for the disc and spherical cap are mapped into Dirichlet problems for the two-dimensional Laplace equation in the half plane and interior of the unit circle respectively. In both cases a standard Green's function approach is applied to determine the solution of the two-dimensional problem. Williams [2] demonstrated how the potential problem for the lens can be found using a similar method. It is noted that Rostovtsev [5] Mossakovskii [4] and Heins [7] have used techniques similar to that presented in this paper.

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 .

We shall prove the following

THEOREM 1. Let α1, …, αn be any positive algebraic numbers and let u1…, un, ν be positive integers, relatively prime in pairs, such that ν ≥ 2 and ui > v for at least one i (1 ≤ i ≤ n). Then for every ε > 0 there are only a finite number of positive integers v such that the inequality

is satisfied, where for real α we understand by ‖α‖ the distance of α from the nearest integer.

Assuming the abc-conjecture, it is shown that there are only finitely many powerful binomial coefficients with 3≤k≤n/2 in fact, if q2 divides , then . Unconditionally, it is shown that there are N1/2+σ(1) powerful binomial coefficients in the top N rows of Pascal's Triangle.

We consider an elliptic self-adjoint first-order differential operator $L$ acting on pairs (2-columns) of complex-valued half-densities over a connected compact three-dimensional manifold without boundary. The principal symbol of the operator $L$ is assumed to be trace-free and the subprincipal symbol is assumed to be zero. Given a positive scalar weight function, we study the weighted eigenvalue problem for the operator $L$ . The corresponding counting function (number of eigenvalues between zero and a positive $\unicode[STIX]{x1D706}$ ) is known to admit, under appropriate assumptions on periodic trajectories, a two-term asymptotic expansion as $\unicode[STIX]{x1D706}\rightarrow +\infty$ and we have recently derived an explicit formula for the second asymptotic coefficient. The purpose of this paper is to establish the geometric meaning of the second asymptotic coefficient. To this end, we identify the geometric objects encoded within our eigenvalue problem—metric, non-vanishing spinor field and topological charge—and express our asymptotic coefficients in terms of these geometric objects. We prove that the second asymptotic coefficient of the counting function has the geometric meaning of the massless Dirac action.

In this paper we generalize and extend work by Languasco, Perreli and Zaccagnini on the Montgomery–Hooley theorem in short intervals. We are thus able to obtain asymptotic formulae for the mean-square error in the distribution of general sequences in arithmetic progressions in short intervals. As applications we consider lower and upper bound approximations to the characteristic function of the primes in a short interval and an average over short intervals for the von Mangoldt function.

In this paper I prove the following result:

Theorem. Let f(d) be a multiplicative function such that |f(d)| ≤ 1 and ∑{ l/p : p ε P} = ∞, where P denotes the set of primes p for which f{p) = −1, and let v(n) denote the number of distinct prime factors ofn. Then for almost all n,

where A is an arbitrary constant > 3/e.

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].

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.

It is shown here that given a discrete (and infinite) set of points in the plane, it is possible to arrange them on a polygonal path so that every angle on the polygonal path is at least 9∘. This has been known to hold for finite sets (with 20∘). The main result holds for discrete sets in higher dimensions as well, with a smaller bound on the angle.

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.

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.

The two centred expansion of the Coulomb Green's function arises naturally in discussing the static interaction energy of two charge distributions ρ1, and ρ2. This is given by the well-known expression

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.

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.

In the so-called Bernoulli model of the kinetic theory of gases, where (1) the particles are dimensionless points, (2) they are contained in a cube container, (3) no attractive or exterior force is acting on them, (4) there is no collision between the particles, (5) the collisions against the walls of the container are according to the law of elastic collision, we deduce from Newtonian mechanics two basic probabilistic limit laws about particle-counting. The first one is a global central limit theorem, and the second one is a local Poisson law. The key fact is that we can prove the “realistic limit”: first the time interval is fixed and the number of particles tends to infinity (where the density particle/volume remains a fixed constant), and then, in the second step, the time tends to infinity.

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.

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.