Almost seventy years ago Jeffery [1] showed that a finite velocity can result at infinity when the biharmonic equation is solved for the titled problem. Here, we extend his calculations to show that finite vorticity is the more general conclusion, and then indicate a resolution of the apparent paradox.

We prove an exact formula for the second moment of Rankin–Selberg $L$-functions $L(\frac{1}{2},f\times g)$ twisted by $\unicode[STIX]{x1D706}_{f}(p)$, where $g$ is a fixed holomorphic cusp form and $f$ is summed over automorphic forms of a given level $q$. The formula is a reciprocity relation that exchanges the twist parameter $p$ and the level $q$. The method involves the Bruggeman–Kuznetsov trace formula on both ends; finally the reciprocity relation is established by an identity of sums of Kloosterman sums.

We generalize to higher dimensions the Bavard–Ghys construction of the hyperbolic metric on the space of polygons with fixed directions of edges. The space of convex $d$-dimensional polyhedra with fixed directions of facet normals has a decomposition into type cones that correspond to different combinatorial types of polyhedra. This decomposition is a subfan of the secondary fan of a vector configuration and can be analyzed with the help of Gale diagrams. We construct a family of quadratic forms on each of the type cones using the theory of mixed volumes. The Alexandrov–Fenchel inequalities ensure that these forms have exactly one positive eigenvalue. This introduces a piecewise hyperbolic structure on the space of similarity classes of polyhedra with fixed directions of facet normals. We show that some of the dihedral angles on the boundary of the resulting cone-manifold are equal to $\unicode[STIX]{x1D70B}/2$.

We prove an inverse theorem for the Gowers $U^{2}$-norm for maps $G\rightarrow {\mathcal{M}}$ from a countable, discrete, amenable group $G$ into a von Neumann algebra ${\mathcal{M}}$ equipped with an ultraweakly lower semi-continuous, unitarily invariant (semi-)norm $\Vert \cdot \Vert$. We use this result to prove a stability result for unitary-valued $\unicode[STIX]{x1D700}$-representations $G\rightarrow {\mathcal{U}}({\mathcal{M}})$ with respect to $\Vert \cdot \Vert$.

In a previous paper (Grimshaw, 1990a) we showed that the resonant, or critical, flow of a rotating fluid past an axisymmetric obstacle placed on the axis of a cylindrical tube is described by a forced Korteweg-de Vries equation for the amplitude of the dominant resonant mode. Here we show that in the anomalous but important case when the oncoming flow is uniform with uniform angular velocity a different theory is required which leads to an evolution equation describing finite-amplitude waves. Some numerical solutions of this equation are described.

In this paper we investigate the solutions in integers x, y, z, X, Y, Z of the system

where P is a real number that may be taken to be arbitrarily large, and the (fixed) integer exponent h satisfies h≥4. The system has 6P3 + O(P2) “trivial” solutions in which x, y, z are a permutation of X, Y, Z. Our result implies that the number of non-trivial solutions is at most o(P3), so that the total number of solutions is asymptotic to 6P3.

Variations and generalizations of several classical theorems concerning characterizations of ellipsoids are developed. In particular, these lead to a short and comprehensible proof of the false centre theorem.

Suppose X and Y are spaces of analytic functions in the open unit disk D in the complex plane C. A sequence {λ} is called a coefficient multiplier from X to Y if the function belongs to Y whenever the function belongs to X.

The existence of global solutions to the discrete coagulation equations is investigated for a class of coagulation rates of the form ai, j = rirj + αi, j with αi, j≤Krirj. In particular, global solutions are shown to exist when the sequence (ri) increases linearly or superlinearly with respect to i. In this case also, the failure of density conservation (indicating the occurrence of the gelation phenomenon) is studied.

For any (real or complex) transcendental number ξ and any integer n > 0 let ϑn(ξ) be the least upper bound of the set of all positive numbers σ for which there exist infinitely many polynomials p1(x), p2(x), … of degree n, with integer coefficients, satisfying

where ‖pi‖ denotes the “height” of pi(x), i.e. the maximum modulus of the coefficients. Plainly ϑn(ξ) serves as a measure of how well (or how badly) the number zero can be approximated by values of nth degree integral polynomials at the point ξ. It can be shown by means of the “Schubfachprinzip” that, at worst,

if the transcendental number ξ is real, and

if it is complex, i.e.ϑn(ξ) is never smaller than these bounds. Furthermore, a conjecture of K. Mahler may be interpreted as stating that for almost all real and for almost all complex numbers the equations (2) and (3), respectively, are actually true; in other words, almost all transcendental numbers have the worst possible approximation property for any degree n.

In [1], [2] Besicovitch showed that it is possible to translate each straight line in the plane so that the union of all the translates has zero plane measure. More recently Besicovitch and Rado [3] and independently Kinney [12] showed that the same can be done with arcs of circles instead of straight lines (see also Davies [6]). Allowing rotations as well as translations, Ward [18] showed that all plane polygonal curves can be “packed” thus (allowing overlapping) into zero plane measure, and then Davies [7], making use of Besicovitch's construction, showed translations alone to be sufficient, although these papers in fact contained stronger results concerning Hausdorff measure; the results were further generalized in [16]. The question has naturally been asked whether the class of all plane rectifiable curves can be packed by isometries (translations and rotations) into zero plane measure, but a special case of the main theorem of the present paper shows that this is impossible. The corresponding question remains open for the much smaller class of algebraic curves, or even conies.

We state some definitions belonging to the two halves of the title, going far enough to state our main results.

Fourier transforms. Let μ be a finite, complex-valued measure on R and its Fourier-Stieltjes transform. We define ℛ to be the set of μ with When μ ∈ ℛ and φ is of class (continuously differentiable of compact support), the identity shows that θ · μ ∈ ℛ.

Let θ1, …, θk be k real numbers. Suppose ψ(t) is a positive decreasing function of the positive variable t. Define λ(N), for all positive integers N, to be the number of solutions in integers p1 …, pk, q of the inequalities

and

Let $P$ and $Q$ be non-zero integers. The generalized Fibonacci sequence $\{ {U}_{n} \} $ and Lucas sequence $\{ {V}_{n} \} $ are defined by ${U}_{0} = 0$, ${U}_{1} = 1$ and ${U}_{n+ 1} = P{U}_{n} + Q{U}_{n- 1} $ for $n\geq 1$ and ${V}_{0} = 2, {V}_{1} = P$ and ${V}_{n+ 1} = P{V}_{n} + Q{V}_{n- 1} $ for $n\geq 1$, respectively. In this paper, we assume that $Q= 1$. Firstly, we determine indices $n$ such that ${V}_{n} = k{x}^{2} $ when $k\vert P$ and $P$ is odd. Then, when $P$ is odd, we show that there are no solutions of the equation ${V}_{n} = 3\square $ for $n\gt 2$. Moreover, we show that the equation ${V}_{n} = 6\square $ has no solution when $P$ is odd. Lastly, we consider the equations ${V}_{n} = 3{V}_{m} \square $ and ${V}_{n} = 6{V}_{m} \square $. It has been shown that the equation ${V}_{n} = 3{V}_{m} \square $ has a solution when $n= 3, m= 1$, and $P$ is odd. It has also been shown that the equation ${V}_{n} = 6{V}_{m} \square $ has a solution only when $n= 6$. We also solve the equations ${V}_{n} = 3\square $ and ${V}_{n} = 3{V}_{m} \square $ under some assumptions when $P$ is even.

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.

Let . denote the modular curve associated with the normalizer of a non-split Cartan group of level N., where N. is an arbitrary integer. The curve is denned over Q and the corresponding scheme over ℤ[1/N] is smooth [1]. If N. is a prime, the genus formula for . is given in [5,6]. The curve . has genus 0 if N < 11 and has genus 1. Ligozat [5] has shown that the group of Q-rational points on has rank 1. If the genus g(N). is greater than 1, very little is known about the Q-rational points of . Since under simple conditions imaginary quadratic fields with class number 1 give an integral point on these curves, Serre and others have asked whether all integral points are obtained in this way [8].

A centrally symmetric d-polytope (d-dimensional convex polytope) P in Euclidean space Ed is called k-neighbourly provided every subset of k vertices of P, which does not contain two opposite vertices of P, is the set of vertices of a (k − 1)-simplex which is a face of P. Contrasting the situation of neighbourly polytopes without the symmetry assumption (see, e.g., Griinbaum [1; chap. 7]), it appears that the possible neighbourliness properties of centrally symmetric polytopes are rather restricted. For d ≥ 2 and n ≥ 1, let k(d, n) denote the greatest integer k, such that there exists a k-neighbourly, centrally symmetric d-polytope with 2(d + n) vertices. McMullen and Shephard [4] have shown that , and for n ≥ 3. They conjectured that

Let q(x1; …, xn) be a positive definite quadratic form in n variables with real coefficients. Minkowski defined the successive minima of q as follows. Let S1 denote the least value assumed by q for integers x1 …, xn, not all zero, and let be a point at which this value is attained. Let S2 denote the least value assumed by q at integral points which are not multiples of x(1), and let x(2) be such a point at which this value is attained. Let S3 be the least value of q at integral points which are not linearly dependent on x(1) and x(2), and so on. We have

and it is easy to see that these numbers are uniquely defined, even though there may be several choices for the points x(1), …, x(n). The determinant N of the coordinates of the points x(1), …, x(n) is a non-zero integer. We denote by N (q) the least value of this integer (taken positively) for all permissible choices of the n minimal points, and by N′(q) its greatest value. Plainly N(q) and N′(q) are arithmetical invariants of q, that is, they are the same for two forms which are equivalent under a linear substitution with integral coefficients and determinant ±1.

In the preceding paper of the same title (cf. [1]) I defined the notion of the principal genus GK of a finite number field K as the least ideal group, which contains the group IK of totally positive principal ideals and is characterized rationally. The quotient group of the group AK of ideals in K modulo GK is the genus group, its order (Ak: GK) = gK is the genus number, which is thus a factor of the class number hK (in the narrow sense). Associated with the genus group is the genus-field, of K, which is defined as the maximal non-ramified extension of K composed of K and of some absolutely Abelian field.

It is natural to say that a set S in a metric space has infinite generalized Hausdorff dimension if there is no Hausdorff measure Λh with Λh(S) = 0. In this note we study such sets. We first need some definitions.

We say that h(x) is a Hausdorff measure function if it satisfies the conditions: