Uniformly converging random variables for weakly converging laws

 Let {P _n , n ?ℕ} be a sequence of Borel probability measures on a compact and connected metric space X. We show that in case the measures P _n converge weakly to a fully supported limit measure P, there exist uniformly converging random variables X _n , n ?ℕ with these given laws. Connectivity and compactness are necessary conditions for our theorem to hold. We also present a decent generalization. We prove our theorem by means of a comparison of the Prokhorov and the so-called minimal L ^∞ metric. Then we only need to use the Strassen-Dudley theorem and Kellerer's measure extension theorem for decomposable families. Received: 2 November 2000 / Revised version: 5 January 2002/ Published online: 1 July 2002     

Reproducing kernel Hilbert spaces associated with kernels on topological spaces

We analyze reproducing kernel Hilbert spaces of positive definite kernels on a topological space X being either first countable or locally compact. The results include versions of Mercer’s theorem and theorems on the embedding of these spaces into spaces of continuous and square integrable functions.     

On Integrable roots in split Lie triple systems

We focus on the notion of an integrable root in the framework of split Lie triple systems T with a coherent 0-root space. As a main result, it is shown that if T has all its nonzero roots integrable, then its standard embedding is a split Lie algebra having all its nonzero roots integrable. As a consequence, a local finiteness theorem for split Lie triple systems, saying that whenever all nonzero roots of T are integrable then T is locally finite, is stated. Finally, a classification theorem for split simple Lie triple systems having all its nonzero roots integrable is given.     

An off-diagonal Marcinkiewicz interpolation theorem on Lorentz spaces

Let (X, μ) be a measure space. In this paper, using some ideas from Grafakos and Kalton, the authors establish an off-diagonal Marcinkiewicz interpolation theorem for a quasilinear operator T in Lorentz spaces L ^p,q (X) with p, q ∈ (0,∞], which is a corrected version of Theorem 1.4.19 in [Grafakos, L.: Classical Fourier Analysis, Second Edition, Graduate Texts in Math., No. 249, Springer, New York, 2008] and which, in the case that T is linear or nonnegative sublinear, p ∈ [1,∞) and q ∈ [1,∞), was obtained by Stein and Weiss [Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, Princeton, N.J., 1971].     

Cesaro Summability with Respect to Two-Parameter Walsh Systems

 The one- and two-parameter Walsh system will be considered in the Paley as well as in the Kaczmarz rearrangement. We show that in the two-dimensional case the restricted maximal operator of the Walsh–Kaczmarz (C, 1)-means is bounded from the diagonal Hardy space H ^p to L ^p for every . To this end we consider the maximal operator T of a sequence of summations and show that the p-quasi-locality of T implies the same statement for its two-dimensional version T _α. Moreover, we prove that the assumption is essential. Applying known results on interpolation we get the boundedness of T _α as mapping from some Hardy–Lorentz spaces to Lorentz spaces. Furthermore, by standard arguments it will be shown that the usual two-parameter maximal operators of the (C, 1)-means are bounded from L ^p spaces to L ^p if . As a consequence, the a.e. convergence of the (C, 1)-means will be obtained for functions such that their hybrid maximal function is integrable. Of course, our theorems from the two-dimensional case can be extended to higher dimension in a simple way. (Received 20 April 2000; in revised form 25 September 2000)     

Two examples of local ergodic divergence

This note contains the first example of a 1-parameter semigroup {T _pt≧0} of linear contractions inL _p (1<p<∞) for which the assertion of the local ergodic theorem (t ¹∝₀′T _sfds conv. a.e. ast → 0+0 for allf ∈L _p) fails to be true. The first example is a continuous semigroup of unitary operators inL ₂, the second a power-bounded continuous semigroup of positive operators inL ₁. This answers problems of Kubokawa, Fong and Sucheston. In memory of our friend and colleague Shlomo Horowitz     

Time Regularity for Random Walks on Locally Compact Groups

Let G be a compactly generated, locally compact group, and let T be the operator of convolution with a probability measure μ on G. Our main results give sufficient conditions on μ for the operator T to be analytic in L ^p (G), 1 < p < ∞, where analyticity means that one has an estimate of form for all n = 1, 2, ... in L ^p operator norm. Counterexamples show that analyticity may not hold if some of the conditions are not satisfied.     

Approximation of infinite matrices by matricial Haar polynomials

The main goal of this paper is to extend the approximation theorem of contiuous functions by Haar polynomials (see Theorem A) to infinite matrices (see Theorem C). The extension to the matricial framework will be based on the one hand on the remark that periodic functions which belong toL ^∞ (T) may be one-to-one identified with Toeplitz matrices fromB(l ₂) (see Theorem 0) and on the other hand on some notions given in the paper. We mention for instance:ms—a unital commutative subalgebra ofl ^∞,C(l ₂) the matricial analogue of the space of all continuous periodic functionsC(T), the matricial Haar polynomials, etc. In Section 1 we present some results concerning the spacems—a concept important for this generalization, the proof of the main theorem being given in the second section. Partially supported by EUROMMAT ICA1-CT-2000-70022. Partially supported by V-Stabi-RUM/1022123. Partially supported by EUROMMAT ICA1-CT-2000-70022 and V-Stabi-RUM/1022123.     

The Markov chain associated to a Pick function

To each function ϕ˜(ω) mapping the upper complex half plane ?⁺ into itself such that the coefficient of ω in the Nevanlinna integral representation is one, we associate the kernel p(y, dx) of a Markov chain on ℝ by

Sharp metastability threshold for two-dimensional bootstrap percolation

 In the bootstrap percolation model, sites in an L by L square are initially independently declared active with probability p. At each time step, an inactive site becomes active if at least two of its four neighbours are active. We study the behaviour as p→0 and L→∞ simultaneously of the probability I(L,p) that the entire square is eventually active. We prove that I(L,p)→1 if , and I(L,p)→0 if , where λ=π²/18. We prove the same behaviour, with the same threshold λ, for the probability J(L,p) that a site is active by time L in the process on the infinite lattice. The same results hold for the so-called modified bootstrap percolation model, but with threshold λ^′=π²/6. The existence of the thresholds λ,λ^′ settles a conjecture of Aizenman and Lebowitz [3], while the determination of their values corrects numerical predictions of Adler, Stauffer and Aharony [2]. Received: 12 May 2002 / Revised version: 12 August 2002 / Published online: 14 November 2002 Research funded in part by NSF Grant DMS-0072398 Mathematics Subject Classification (2000): Primary 60K35; Secondary 82B43 Key words or phrases: Bootstrap percolation – Cellular automaton – Metastability – Finite-size scaling     

Controlled convergence theorems for Henstock-Kurzweil-Pettis integral on m-dimensional compact intervals

In this paper we use a generalized version of absolute continuity defined by J. Kurzweil, J. Jarník, Equiintegrability and controlled convergence of Perron-type integrable functions, Real Anal. Exch. 17 (1992), 110–139. By applying uniformly this generalized version of absolute continuity to the primitives of the Henstock-Kurzweil-Pettis integrable functions, we obtain controlled convergence theorems for the Henstock-Kurzweil-Pettis integral. First, we present a controlled convergence theorem for Henstock-Kurzweil-Pettis integral of functions defined on m-dimensional compact intervals of ℝ ^m and taking values in a Banach space. Then, we extend this theorem to complete locally convex topological vector spaces.     

Norm optimization problem for linear operators in classical Banach spaces

The main result of the paper shows that, for 1 < p < ∞ and 1 ≤ q < ∞, a linear operator T: ℓ _p → ℓ _q attains its norm if, and only if, there exists a not weakly null maximizing sequence for T (counterexamples can be easily constructed when p = 1). For 1 < p ≠ q < ∞, as a consequence of the previous result we show that any not weakly null maximizing sequence for a norm attaining operator T: ℓ _p → ℓ _q has a norm-convergent subsequence (and this result is sharp in the sense that it is not valid if p = q). We also investigate lineability of the sets of norm-attaining and non-norm attaining operators.     

An asymmetric Ellis theorem

In 1957 Robert Ellis proved that a group with a locally compact Hausdorff topology T making all translations continuous also has jointly continuous multiplication and continuous inversion, and is thus a topological group. The theorem does not apply to locally compact asymmetric spaces such as the reals with addition and the topology of upper open rays. We first show a bitopological Ellis theorem, and then introduce a generalization of locally compact Hausdorff, called locally skew compact, and a topological dual, Tk, to obtain the following asymmetric Ellis theorem which applies to the example above:Whenever (X,⋅,T) is a group with a locally skew compact topology making all translations continuous, then multiplication is jointly continuous in both (X,⋅,T) and (X,⋅,Tk), and inversion is a homeomorphism between (X,T) and (X,Tk).This generalizes the classical Ellis theorem, because T=Tk when (X,T) is locally compact Hausdorff.     

An operator onL pwithout best compact approximation

We construct, for 1<p<∞,p ≠ 2, an operator onL ^pwhose distance to the space of compact operators onL ^pis not attained. We also show that the identity operator onL ^p,p ≠ 1,2, ∞ has a unique best compact approximation. Research partially supported by NSF grant DMS-8201635.     

A canonical structure theorem for finite joining-rank maps

A numerical isomorphism invariant,joining-rank, was introduced in [1] as a quantitative generalization of Rudolph’s property of minimal selfjoinings. Therein, a structure theory was developed for those transformationsT whose joining-rank, jr (T), is finite. Here, we sharpen the theorem and show it to be canonical: If jr (T)<∞ then there is a unique triple 〈e, p, S〉 wheree andp are natural numbers andS is a map with minimal self-joinings, such thatT is ane-point extension ofS ^P. Furthermore, the producte·p equals the joining-rank ofT. This theorem applies to any finite-rank mixing map, since for such maps the rank dominates the joining-rank. Another corollary is that any rank-1 transformation which is partial-mixing has minimal self-joinings. This partially answers a question of [3]. Partially supported by a National Science Foundation Postdoctoral Research Fellowship.     

On some properties of solutions of second-order linear functional differential equations

The properties of solutions of the equationu″(t) =p ₁(t)u(τ₁(t)) +p ₂(t)u′(τ₂(t)) are investigated wherep _i :a, + ∞[→R (i=1,2) are locally summable functions τ₁ :a, + ∞[→R is a measurable function, and τ₂ :a, + ∞[→R is a nondecreasing locally absolutely continuous function. Moreover, τ _i (t) ≥t (i = 1,2),p ₁(t)≥0,p ₂ ² (t) ≤ (4 - ɛ)τ ₂ ^′ (t)p ₁(t), ɛ =const > 0 and . In particular, it is proved that solutions whose derivatives are square integrable on [α,+∞] form a one-dimensional linear space and for any such solution to vanish at infinity it is necessary and sufficient that .     

Convolution Operators on Banach Lattices with Shift-Invariant Norms

Let G be a locally compact abelian group and let μ be a complex valued regular Borel measure on G. In this paper we consider a generalisation of a class of Banach lattices introduced in Johansson (Syst Control Lett 57:105–111, 2008). We use Laplace transform methods to show that the norm of a convolution operator with symbol μ on such a space is bounded below by the L ^∞ norm of the Fourier–Stieltjes transform of μ. We also show that for any Banach lattice of locally integrable functions on G with a shift-invariant norm, the norm of a convolution operator with symbol μ is bounded above by the total variation of μ.     

Triviality of the peripheral point spectrum

If T_t = e^Zt is a positive one-parameter contraction semigroup acting on l^p(X) where X is a countable set and 1 ≤ p < ∞, then the peripheral point spectrum P of Z cannot contain any non-zero elements. The same holds for Feller semigroups acting on L^p(X) if X is locally compact.     

Smooth roots of hyperbolic polynomials with definable coefficients

We prove that the roots of a definable C ^∞ curve of monic hyperbolic polynomials admit a definable C ^∞ parameterization, where ‘definable’ refers to any fixed o-minimal structure on (ℝ,+, ·). Moreover, we provide sufficient conditions, in terms of the differentiability of the coefficients and the order of contact of the roots, for the existence of C ^p (for p ∈ ℕ) arrangements of the roots in both the definable and the non-definable case. These conditions are sharp in the definable and, under an additional assumption, also in the non-definable case. In particular, we obtain a simple proof of Bronshtein’s theorem in the definable setting. We prove that the roots of definable C ^∞ curves of complex polynomials can be desingularized by means of local power substitutions t ↦ ±t ^N . For a definable continuous curve of complex polynomials we show that any continuous choice of roots is actually locally absolutely continuous.