A slow steady motion of incompressible viscous liquid in the space between two fixed concentric spherical boundaries is considered. The motion arises from two point-sources of strengths ±2m at arbitrary points A, B on the outer sphere r = a. The velocity is calculated as the vector sum of the velocities in two simpler motions in each of which there is an axis of symmetry so that a stream function can be used. The force exerted by the liquid on the inner boundary r = b is similarly the resultant of two forces, each passing through the common centre of the spheres; it can be simply expressed in terms of a, b, m and the vector .

In a series of papers we have analysed the embedding of certain groups H as normal subgroups of absolutely irreducible skew linear groups G, see [7], [8], [9] and [10]. Here we drop the absolutely irreducibility assumption on G. If H is locally finite we derive relatively strong conditions on G, although not as strong as when G is absolutely irreducible. If H is abelian, very much in contrast to the absolutely irreducible case, we show that nothing can be said. The phrase “bounded by an integer-valued function of n only” we abbreviate to “n-bounded”.

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.

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.

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.

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.

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 .

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.

The equation

where ℱ is a certain complex-valued function of the given real periodic function λ, is studied analytically and numerically. The equation is motivated physically by a boundary-layer stability problem in which λ represents the skin-friction of the undisturbed basic flow profile. It is proved that no periodic neutral solutions exist for any attached basic flow and the implications of this result for certain vortex-wave interactions are discussed.

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

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.

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.

Abstract. We show that the set of T-numbers in Mahler's classification of transcendental numbers supports a measure whose Fourier transform vanishes at infinity. A similar argument shows that U-numbers also support such a measure.

In our paper [12[ we made extensive use of the details of the proofs given in our earlier paper [11], and, in particular, we claimed that Lemma 3 of [11] holds, not just when Y is a metric space, but also when Y is a Hausdorff space, provided X × Y is a Fréchet space. In a corrigendum to [11], we give a corrected version of this Lemma 3, but it seems to depend, in an essential way, on the assumption that Y is a metric space, or at least a perfectly normal space. In this note we show that a modified version of this Lemma 3 enables us to justify all the theorems in [12] by use of a modified method of selection.

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.

In this paper we discuss some dimension results for triangle sets of compact sets in $\mathbb{R}^{2}$. In particular we prove that for any compact set $F$ in $\mathbb{R}^{2}$, the triangle set $\unicode[STIX]{x1D6E5}(F)$ satisfies

$$\begin{eqnarray}\dim _{\text{A}}\unicode[STIX]{x1D6E5}(F)\geqslant {\textstyle \frac{3}{2}}\dim _{\text{A}}F.\end{eqnarray}$$

$\dim _{\text{A}}F>1$

$$\begin{eqnarray}\dim _{\text{A}}\unicode[STIX]{x1D6E5}(F)\geqslant 1+\dim _{\text{A}}F.\end{eqnarray}$$

$\dim _{\text{A}}F>4/3$

$$\begin{eqnarray}\dim _{\text{A}}\unicode[STIX]{x1D6E5}(F)\geqslant \min \{{\textstyle \frac{5}{2}}\dim _{\text{A}}F-1,3\}.\end{eqnarray}$$

$F$

$$\begin{eqnarray}\text{}\underline{\dim _{\text{B}}}F\geqslant {\textstyle \frac{3}{2}}\text{}\underline{\dim _{\text{B}}}\unicode[STIX]{x1D6E5}(F)\quad \text{and}\quad \overline{\dim _{\text{B}}}F\geqslant {\textstyle \frac{3}{2}}\overline{\dim _{\text{B}}}\unicode[STIX]{x1D6E5}(F).\end{eqnarray}$$

Let $C\in \mathbb{Z}[x_{1},\ldots ,x_{n}]$ be a cubic form. Assume that $C$ splits into four forms. Then $C(x_{1},\ldots ,x_{n})=0$ has a non-trivial integer solution provided that $n\geqslant 10$.

Extending the notion of regularity introduced by Dickson in 1939, a positive definite ternary integral quadratic form is said to be spinor regular if it represents all the positive integers represented by its spinor genus (that is, all positive integers represented by any form in its spinor genus). Jagy conducted an extensive computer search for primitive ternary quadratic forms that are spinor regular, but not regular, resulting in a list of 29 such forms. In this paper, we will prove that there are no additional forms with this property.

In this paper, we prove that if $X$ is an infinite-dimensional real Hilbert space and $J: X\rightarrow \mathbb{R} $ is a sequentially weakly lower semicontinuous ${C}^{1} $ functional whose Gâteaux derivative is non-expansive, then there exists a closed ball $B$ in $X$ such that $(\mathrm{id} + {J}^{\prime } )(B)$ intersects every convex and dense subset of $X$.