The boundary-layer spots involved here come from large-time theory and related computations on the Euler equations to cover the majority of the global properties of the spot disturbances, which are nonlinear, three-dimensional, and transitional rather than turbulent. The amplitude levels investigated are higher than those examined in detail previously and produce a new near-wall momentum contribution in the mean flow, initially close to the wingtips of the spot. This enables the amplitude levels in the analysis to be raised successively, a process which gradually causes the wing-tip region to spread inwards. The process is accompanied by subtle increases in the induced phase variations. Among other things the work finds the details of how nonlinear effects grow from the wing-tips to eventually alter the entire trailing edge, and then the centre of the spot, in a strongly nonlinear fashion. Comparisons with earlier suggestions and with experiments are described at the end.

In recent papers the present authors considered the effects of small cross-flow on the evolution of two unequal oblique waves. In these studies the relative size of the crossflow meant that a diffusion (or buffer) layer was required around the critical layer to smooth out the algebraic growth in the mean-flow distortion generated by the nonlinear critical-layer interactions. The present analysis increases the cross-flow to an order of magnitude such that the buffer and critical layers coalesce. In this instance the nonlinear critical layer contains viscous as well as nonequilibrium effects. The resulting amplitude equations are solved for perturbations initiated at a fixed station in the flow.

We prove that in every finite dimensional normed space, for “most” pairs (x, y) of points in the unit ball, ║x − y║ is more than √2(1 − ε). As a consequence, we obtain a result proved by Bourgain, using QS-decomposition, that guarantees an exponentially large number of points in the unit ball any two of which are separated by more than √2(1 − ε).

The spectral function ρα(μ) (−∞<μ<∞) associated with the Sturm–Liouville equation

and a boundary condition

is a non-decreasing function of μ which is defined in terms of the Titchmarsh–Weyl function mα(λ) for (1.1) and (1.2). Thus, taking into account a standardization of the sign attached to mα(λ), we have

[4, Chapter 9, Theorem 3.1; 9, Section 2.3; 21, Sections 3.3 and 6.7].

If K is a convex body in d and 1≤k≤d − 1, we define Pk(K) to be the Minkowski sum or Minkowski average of all the projections of K onto k-dimensional subspaces of d. The operator Pd − 1, was first introduced by Schneider, who showed that, if Pd − 1(K) = cK, then K is a ball. More recently, Spriestersbach showed that, if Pd − 1(K) = cK then K = M. In addition, she gave stability versions of this result and Schneider's. We will describe further injectivity results for the operators Pk. In particular, we will show that Pk is injective if k≤d/2 and that P2 is injective in all dimensions except d = 14, where it is not injective.

In the present paper we show that a non-zero, continuous, locally finite Borel measure on R cannot be b-concentrated for any 1 <b≤2.

We study dual isoperimetric deficits of star bodies. We introduce the dual Steiner ball of a star body, and use it to establish an inequality for the Lp distance, p = 2 and p = ∞, between the radial functions of two convex bodies. By applying this inequality, we find dual Bonnesen-type inequalities for convex bodies. Finally, we use a general form of Grüss's inequality to derive dual Favard-type inequalities for star and convex bodies. The results contribute to the dual Brunn–Minkowski theory initiated by E. Lutwak, and continue the attempt to understand the relation between this and the classical Brunn–Minkowski theory.

The relationship between the topological dimension of a separable metric space and the Hausdorff dimensions of its homeomorphic images has been known for some time. In this note we consider topological and packing dimensions, and show that if X is a separable metric space, then

where and denote the topological and packing dimensions of X, respectively.

The paper deals with the problem of estimating the distance, in radial or Hausdorff metrics, between two centred star bodies of Rd, d≤3, in terms of the distance between the corresponding intersection bodies.

Let m and n be integers with 0<m<n and let μ be a Radon measure on ℝn with compact support. For the Hausdorff dimension, dimH, of sections of measures we have the following equality: for almost all (n − m)-dimensional linear subspaces V

provided that dimH μ > m. Here μv,a is the sliced measure and V⊥ is the orthogonal complement of V. If the (m + d)-energy of the measure μ is finite for some d>0, then for almost all (n − m)-dimensional linear subspaces V we have

Let C be a convex cone in ℛd with non-empty interior and a compact basis K. If H1 and H2 are any two parallel hyperplanes tangent to K, whose slices with C are two other compact basis K1 and K2, let D, D1 and D2 be the truncated subcones of C generated by K, K1 and K2. We prove that K is an ellipsoid if, and only if, vol (D)2 = vol (D1) vol (D2) for every such pair of hyperplanes H1, and H2.

In this note we give an answer to the following problem of Todorcevic: Find out the combinatorial essence behind the fact that the family ℋ of the ground-model infinite sets of integers in a Perfect-set forcing extension has the property that for any Borel f: [ℕ]ω → {0, 1} there exists an A ∈ ℋ such that f is constant on [A]ω (see [7], [13]). In other words, one needs to capture the combinatorial properties of the family ℋ of ground-model subsets of ℕ which assure that it diagonalizes all Borel partitions. It turns out that the notion which results from our analysis of this problem is a bit more optimal than the older notion of a “happy family” (or selective coideal) introduced by A.R.D. Mathias [16] long ago in order to extend the well-known theorems of Galvin–Prikry [6] and Silver [25] (see Theorems 3.1 and 4.1 below). We should remark that these Mathias-style extensions can indeed be as useful in the applications as the original partition theorems.

Let K be an arbitrary compact space and C(K) the space of continuous functions on K endowed with its natural supremum norm. We show that for any subset B of the unit sphere of C(K)* on which every function of C(K) attains its norm, a bounded subset A of C(K) is weakly compact if, and only if, it is compact for the topology tp(B) of pointwise convergence on B. It is also shown that this result can be extended to a large class of Banach spaces, which contains, for instance, all uniform algebras. Moreover we prove that the space (C(K), tp(B)) is an angelic space in the sense of D. H. Fremlin.

Recent advances in the theory of exponential sums (see, for example, [6], [7], [8], [12]) have contributed to corresponding progress in our understanding of the solubility of systems of simultaneous additive equations (see, in particular, [1], [2], [3], [4]). In a previous memoir [11] we developed a version of Vaughan's iterative method (see Vaughan [8]) suitable for the analysis of simultaneous additive equations of differing degrees, discussing in detail the solubility of simultaneous cubic and quadratic equations. The mean value estimates derived in [11] are, unfortunately, weaker than might be hoped, owing to the presence of undesirable singular solutions in certain auxiliary systems of congruences. The methods of [12] provide a flexible alternative to Vaughan's iterative method, and, as was apparent even at the time of their initial development at the opening of the present decade, such ideas provide a means of avoiding altogether the aforementioned problematic singular solutions. The systematic development of such an approach having been described recently in [15], in this paper we apply such methods to investigate the solubility of pairs of additive equations, one cubic and one quadratic, thereby improving the main conclusion of [11].

Let X be a Hausdorff topological space and let ρ be a metric on it, not necessarily related to the topology. The space X is said to be fragmented by the metric ρ if each nonempty set in X has nonempty relatively open subsets of arbitrary small ρ-diameter. This concept was introduced by Jayne and Rogers (see [2]) while they studied the existence of Borel selections for upper semicontinuous set-valued maps.

It is known that a system of r additive equations of degree k with greater than 2rk variables has a non-trivial p-adic solution for all p > k2r + 2. In this paper we consider the same system with more than crk variables, c > 2, and show the existence of a non-trivial solution for all p > r2k2+(2/(c − 2)) if r ≠ 1 and p > k2+(2/(c − 1)) if r = 1.

The question as to which “natural” sequences contain infinitely many primes is of considerable fascination to the number-theorist. One such “natura” sequence is [nc[ where [·] denotes integer part. Piatetski-Shapiro [10] showed that there are infinitely many primes in this sequence for 1 < c < 12/11, obtaining the expected asymptotic formula for the number of such primes. The exponent 12/11 has been increased gradually by a number of authors to the present record 45/38 held by Kumchev [9]. It is expected that there are infinitely many primes of the form [nc[ for all cεε[1, ∞)/ℤ. Deshouillers [3] showed that this is almost always true, in the sense of Lebesgue measure on [1, ∞). Balog [2] improved and generalized this result to show that, for almost all c > 1,

where

Let f be a complex valued function from the open upper halfplane E of the complex plane. We study the set of all z∈∂E such that there exist two Stoltz angles V1, V2 in E with vertices in z (i.e., Vi is a closed angle with vertex at z and Vi\{z} ⊂ E, i = 1, 2) such that the function f has different cluster sets with respect to these angles at z. E. P. Dolzhenko showed that this set of singular points is G∂σ and σ-porous for every f. He posed the question of whether each G∂σ σ-porous set is a set of such singular points for some f. We answer this question negatively. Namely, we construct a G∂ porous set, which is a set of such singular points for no function f.

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 consider Riemannian orbifolds with Ricci curvature nonnegative outside a compact set and prove that the number of ends is finite. We also show that if that compact set is small then the Riemannian orbifolds have only two ends. A version of splitting theorem for orbifolds also follows as an easy consequence.