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

We study the asymptotic properties of blow-up solutions u = u(x, t) ≥ 0 of the quasilinear heat equation,where k(u) is a smooth non-negative function, with a given blowing up regime on the boundary u(0, t) = ψ(t) > 0 for t ∈ (0, 1), where ψ(t) → ∞ as t → 1−, and bounded initial data u(x, 0) ≥ 0. We classify the asymptotic properties of the solutions near the blow-up time, t → 1−, in terms of the heat conductivity coefficient k(u) and of boundary data ψ(t); both are assumed to be monotone. We describe a domain, denoted by , of minimal asymptotics corresponding to the data ψ(t) with a slow growth as t → 1− and a class of nonlinear coefficients k(u).

We prove that for any problem in S11−, such a blow-up singularity is asymptotically structurally equivalent to a singularity of the heat equation ut = uxx described by its self-similar solution of the form u*(x, t) = −ln(1 − t) + g(ξ), ξ = x/(1 − t)1/2, where g solves a linear ordinary differential equation. This particular self-similar solution is structurally stable upon perturbations of the boundary function and also upon nonlinear perturbations of the heat equation with the basin of attraction .

This paper outlines the theoretical background of a new approach towards an accurate and well-conditioned perturbative calculation of Dirichlet-Neumann operators (DNOs) on domains that are perturbations of simple geometries. Previous work on the analyticity of DNOs has produced formulae that, as we have found, are very ill-conditioned. We show how a simple change of variables can lead to recursions that satisfy analyticity estimates without relying on subtle cancellation properties at the heart of previous formulae.

By a recent result, the number of common tangent lines to four unit balls in ℝ3 is bounded by 12 unless the four centres are collinear. In the present paper, this result is complemented by showing that indeed every number of tangents k ∈ {0, …, 12} can be established in real space. The constructions combine geometric and algebraic aspects of the tangent problem.

We consider asymptotic problems for coupled equations modelling interactions between particles and a viscous fluid. The particles are driven by a Vlasov-like equation, involving the velocity of the fluid. We obtain, as certain parameters tend to 0, hydrodynamic equations for the macroscopic density and the velocity.

Let A be a self-adjoint operator on a Hilbert space. It is well known that A admits a unique decomposition into a direct sum of three self-adjoint operators Ap, Aac and Asc such that there exists an orthonormal basis of eigenvectors for the operator Ap, the operator Aac has purely absolutely continuous spectrum and the operator Asc has purely singular continuous spectrum. We show the existence of a natural further decomposition of the singular continuous component Asc into a direct sum of two self-adjoint operators and . The corresponding subspaces and spectra are called decaying and purely non-decaying singular subspaces and spectra. Similar decompositions are also shown for unitary operators and for general normal operators.

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.

It is shown that, for any lattice polytope P⊂ℝd the set int (P)∩lℤd (provided that it is non-empty) contains a point whose coefficient of asymmetry with respect to P is at most 8d · (8l+7)22d+1. If, moreover, P is a simplex, then this bound can be improved to 8 · (8l+7 )2d+1. As an application, new upper bounds on the volume of a lattice polytope are deduced, given its dimension and the number of sublattice points in its interior.

This paper is concerned with convex bodies in n-dimensional lp, spaces, where each body is accessible only by a weak separation or optimization oracle. It studies the asymptotic relative accuracy, as n→∞, of polynomial-time approximation algorithms for the diameter, width, circumradius, and inradius of a body K, and also for the maximum of the norm over K.

A partition of the positive integer n into distinct parts is a decreasing sequence of positive integers whose sum is n, and the number of such partitions is denoted by Q(n). If we adopt the convention that Q(0) = 1, then we have the generating function

Improved upper and lower bounds of the counting functions of the conceivable additive decomposition sets of the set of primes are established. Suppose that where, ℝ′ differs from the set of primes in finitely many elements only and .

It is shown that the counting functions A(x) of ℐ and B(x) of ℬ for sufficiently large x, satisfy

The centroid body. Recall that the support function of a compact convex set K is denned to be hK(u) = maxxΣk: {<u, x>}. The support function hK is positive homogeneous and convex, and any function with these properties is the support function of some compact convex set (see the illuminating paper of Berger [2], or the classic [5] by Bonnesen and Fenchel).

The purpose of this paper is to show how a sieve method which has had many applications to problems involving rational primes can be modified to derive new results on Gaussian primes (or, more generally, prime ideals in algebraic number fields). One consequence of our main theorem (Theorem 2 below) is the following result on rational primes.

A tiling of a convex m-gon by a finite number r of convex n-gons is said to be of type <m, n, r>. The Main Theorem of this paper gives necessary and sufficient conditions on m, n and r for a tiling of type <m, n, r> to exist.

Let (bn) be a sequence of integers, obtained by traversing the rows of Pascal's triangle, as follows: start from the element at the top of the triangle, and at each stage continue from the current element to one of the elements at the next row, either the one immediately to the left of the current element or the one immediately to its right. Consider the distribution of the sequence (bnα) modulo 1 for an irrational α. The main results show that this sequence “often” fails to be uniformly distributed modulo 1, and provide answers to some questions raised by Adams and Petersen.

In this paper we deal with a linear integral transform, defined on a vectorial L2-space, whose kernel arises from a one-dimensional system of Dirac operators. Unlike the regular Sturm–Liouville transform, which is associated with a regular Sturm–Liouville problem, the range of this transform is a whole Paley–Wiener space. As a consequence, some results for the Paley–Wiener space are derived; in particular, the sampling formula associated with a regular Dirac operator. Finally, we obtain an inversion formula by means of a continuous measure for suitable Sobolev spaces in the initial L2-space.

A subsemigroup S of a semigroup Q is an order in Q if, for every q ∈ Q, there exist a, b, c, d ∈ S such that q = a−1b = cd−1 where a and d are contained in (maximal) subgroups of Q and a−1 and d−1 are their inverses in these subgroups. A semigroup which is a union of its subgroups is completely regular.