The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-rigidity in von Neumann algebras

We introduce the notion of L ²-rigidity for von Neumann algebras, a generalization of property (T) which can be viewed as an analogue for the vanishing of 1-cohomology into the left regular representation of a group. We show that L ²-rigidity passes to normalizers and is satisfied by nonamenable II₁ factors which are non-prime, have property Γ, or are weakly rigid. As a consequence we obtain that if M is a free product of diffuse von Neumann algebras, or if M=LΓ where Γ is a finitely generated group with β₁ ⁽²⁾(Γ)>0, then any nonamenable regular subfactor of M is prime and does not have properties Γ or (T). In particular this gives a new approach for showing solidity for a free group factor thus recovering a well known recent result of N. Ozawa.     

A weighted estimate for the square function on the unit ball in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We show that the Luzin area integral or the square function on the unit ball of ℂ ⁿ , regarded as an operator in the weighted space L ²(w) has a linear bound in terms of the invariant A ₂ characteristic of the weight. We show a dimension-free estimate for the “area-integral” associated with the weighted L ²(w) norm of the square function. We prove the equivalence of the classical and the invariant A ₂ classes.     

Optimal Domains for <Emphasis Type="Italic">L</Emphasis><Superscript>0</Superscript>-valued Operators Via Stochastic Measures

We study extension of operators T: E→ L⁰([0, 1]), where E is an F–function space and L⁰([0, 1]) the space of measurable functions with the topology of convergence in measure, to domains larger than E, and we study the properties of such domains. The main tool is the integration of scalar functions with respect to stochastic measures and the corresponding spaces of integrable functions. Partially supported by D.G.I. #MTM2006-13000-C03-01 (Spain).     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-conjecture for locally compact groups

Let G be a locally compact group, ω be a weight function on G and 1 < p < ∞. Here, we give a sufficient condition for that the weighted L ^p -space L ^p (G, ω) is a Banach algebra. Also, we get some necessary conditions on G and the weight function ω for L ^p (G, ω) to be a Banach algebra. As a consequence, we show that if G is abelian and L ^p (G, ω) is a Banach algebra, then G is σ-compact.     

Eigensystem of an <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-perturbed harmonic oscillator is an unconditional basis

For any complex valued L ^p -function b(x), 2 ≤ p < ∞, or L ^∞-function with the norm ‖b↾L ^∞‖ < 1, the spectrum of a perturbed harmonic oscillator operator L = −d ²/dx ² + x ² + b(x) in L ²(ℝ¹) is discrete and eventually simple. Its SEAF (system of eigen- and associated functions) is an unconditional basis in L ²(ℝ).     

On the <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-conjecture for locally compact groups

Let G be a locally compact group. For 1 < p < ∞, it is well-known that f * g exists and belongs to L^p(G) for all f, g L^p (G) if and only if G is compact. Here, for 2 < p < ∞, we show that f * g exists for all f, g L^p(G) if and only if G is compact. We also show that this result does not remain true for 1 < p ≤ 2. Received: 23 April 2006     

On noncommutative weighted local ergodic theorems on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace τ, and {α _t }, a strongly continuous extension to L ^p (M, τ) of a semigroup of absolute contractions on L ¹(M, τ). By means of a non-commutative Banach Principle we prove for a Besicovitch function b and x ∊ L ^p (M, τ), that the averages 1/T ∫₀ ^T b(t)α _t (x)dt converge bilateral almost uniformly in L ^p (M, τ) as T → 0. Communicated by Dénes Petz     

The Gradient Flow of <Emphasis Type="Italic">∫</Emphasis><Subscript><Emphasis Type="Italic">M</Emphasis></Subscript>|Rm|<Superscript>2</Superscript>

We study the gradient flow of the Riemannian functional ℱ(g):=∫ _M |Rm|². This flow corresponds to a fourth-order degenerate parabolic equation for a Riemannian metric. We prove that the degeneracies may be accounted for entirely by diffeomorphism flow, and hence we show short-time existence using the DeTurck method. We prove L ² derivative estimates of Bernstein-Bando-Shi type and use these to give a basic obstruction to long time existence and prove a compactness theorem.      

Quasi-<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> norm orthogonal Galerkin expansions in sums of Jacobi polynomials

In the study of differential equations on [ − 1,1] subject to linear homogeneous boundary conditions of finite order, it is often expedient to represent the solution in a Galerkin expansion, that is, as a sum of basis functions, each of which satisfies the given boundary conditions. In order that the functions be maximally distinct, one can use the Gram-Schmidt method to generate a set orthogonal with respect to a particular weight function. Here we consider all such sets associated with the Jacobi weight function, w(x) = (1 − x) ^α (1 + x) ^β . However, this procedure is not only cumbersome for sets of large degree, but does not provide any intrinsic means to characterize the functions that result. We show here that each basis function can be written as the sum of a small number of Jacobi polynomials, whose coefficients are found by imposing the boundary conditions and orthogonality to the first few basis functions only. That orthogonality of the entire set follows—a property we term “auto-orthogonality”—is remarkable. Additionally, these basis functions are shown to behave asymptotically like individual Jacobi polynomials and share many of the latter’s useful properties. Of particular note is that these basis sets retain the exponential convergence characteristic of Jacobi expansions for expansion of an arbitrary function satisfying the boundary conditions imposed. Further, the associated error is asymptotically minimized in an L ^p(α) norm given the appropriate choice of α = β. The rich algebraic structure underlying these properties remains partially obscured by the rather difficult form of the non-standard weighted integrals of Jacobi polynomials upon which our analysis rests. Nevertheless, we are able to prove most of these results in specific cases and certain of the results in the general case. However a proof that such expansions can satisfy linear boundary conditions of arbitrary order and form appears extremely difficult.     

Isometries on the Quasi-Banach Spaces Lp （0〈p〈1）

We study the extension of isometries between the unit spheres of quasi-Banach spaces Lp for 0〈p〈1. We give some sufficient conditions such that an isometric mapping from the the unit sphere of Lp（μ） into that of another LP（ν） can be extended to be a linear isometry defined on the whole space.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-Invariants of finite aspherical CW-complexes

Let X be a finite aspherical CW-complex whose fundamental group π ₁(X) possesses a subnormal series with a non-trivial elementary amenable group G ₀. We investigate the L ²-invariants of the universal covering of such a CW-complex X. The main result is the proof of the vanishing of the L ²-torsion under the condition that π ₁(X) has semi-integral determinant. We further show that the Novikov–Shubin invariants are positive.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Bounds for the Commutator of Parabolic Singular Integral with Rough Kernels

In this paper, the authors give the L ^p (1 < p < ∞ ) boundedness of the k-th order commutator of parabolic singular integral with the kernel function Ω ∈ L(log⁺ L) ^k + 1(S ^n − 1). The result in this paper is an extension of some known results. The research was supported by NSF of China (Grant: 10571015) and SRFDP of China (Grant: 20050027025).     

Atomic hardy-type spaces between <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript> on metric spaces with non-doubling measures

Let ( Y,d,dl )\left( {\mathcal{Y},d,d\lambda } \right) be (ℝ ⁿ , |·|, μ), where |·| is the Euclidean distance, μ is a nonnegative Radon measure on ℝ ⁿ satisfying the polynomial growth condition, or the Gauss measure metric space (ℝ ⁿ , |·|, d _λ ), or the space (S, d, ρ), where S ≡ ℝ ⁿ ⋉ ℝ⁺ is the (ax + b)-group, d is the left-invariant Riemannian metric and ρ is the right Haar measure on S with exponential growth. In this paper, the authors introduce and establish some properties of the atomic Hardy-type spaces { X_s ( Y ) }_{0 < s \leqslant ￥}\left\{ {X_s \left( \mathcal{Y} \right)} \right\}_{0 < s \leqslant \infty } and the BMO-type spaces { BMO( Y, s ) }_{0 < s \leqslant ￥}\left\{ {BMO\left( {\mathcal{Y}, s} \right)} \right\}_{0 < s \leqslant \infty }. Let H ¹ ( Y )\left( \mathcal{Y} \right) be the known atomic Hardy space and L ₀¹ ( Y )\left( \mathcal{Y} \right) the subspace of f ∈ L ¹ ( Y )\left( \mathcal{Y} \right) with integral 0. The authors prove that the dual space of X _s ( Y )\left( \mathcal{Y} \right) is BMO( Y,s )BMO\left( {\mathcal{Y},s} \right) when s ∈ (0,∞), X _s ( Y )\left( \mathcal{Y} \right) = H ¹ ( Y )\left( \mathcal{Y} \right) when s ∈ (0, 1], and X _∞ ( Y )\left( \mathcal{Y} \right) = L ₀¹ ( Y )\left( \mathcal{Y} \right) (or L ¹ ( Y )\left( \mathcal{Y} \right)). As applications, the authors show that if T is a linear operator bounded from H ¹ ( Y )\left( \mathcal{Y} \right) to L ¹ ( Y )\left( \mathcal{Y} \right) and from L ¹ ( Y )\left( \mathcal{Y} \right) to L ^1,∞ ( Y )\left( \mathcal{Y} \right), then for all r ∈ (1,∞) and s ∈ (r,∞], T is bounded from X _r ( Y )\left( \mathcal{Y} \right) to the Lorentz space L ^1,s ( Y )\left( \mathcal{Y} \right), which applies to the Calderón-Zygmund operator on (ℝ ⁿ , |·|, μ), the imaginary powers of the Ornstein-Uhlenbeck operator on (ℝ ⁿ , |·|, d _γ ) and the spectral operator associated with the spectral multiplier on (S, d, ρ). All these results generalize the corresponding results of Sweezy, Abu-Shammala and Torchinsky on Euclidean spaces.     

Some remarks on the Hardy-Littlewood maximal function on variable <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> spaces

We show that any pointwise multiplier for BMO(ℝⁿ) generates a function p from the class (ℝⁿ) of those functions for which the Hardy-Littlewood maximal operator is bounded on the variable L^p space. In particular, this gives a positive answer to Diening's conjecture saying that there are discontinuous functions which nevertheless belong to (ℝⁿ).     

The isometric extension problem in the unit spheres of l<Superscript>p</Superscript>(Г) (<Emphasis Type="Italic">p</Emphasis> >1) type spaces

In this paper, we first derive the representation theorem of onto isometric mappings in the unit spheres of l ^p (Г) (@#@(p >) 1,p ≠ 2 type spaces, and then we conclude that such mappings can be extended to the whole space as real linear isometries by using the previous result of the author.     

On a characterization of orthogonality with respect to particular sequences of random variables in <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>

This note deals with the orthogonality between sequences of random variables. The main idea of the note is to apply the results on equidistant systems of points in a Hilbert space to the case of the space L ²(Ω, F, ℙ) of real square integrable random variables. The main result gives a necessary and sufficient condition for a particular sequence of random variables (elements of which are taken from sets of equidistant elements of L ²(Ω, F, ℙ) to be orthogonal to some other sequence in L ²(Ω, F, ℙ). The result obtained is interesting from the point of view of the time series analysis, since it can be applied to a class of sequences random variables that exhibit a monotonically increasing variance. An application to ergodic theorem is also provided.     

Countably generated prime ideals in <Emphasis Type="Italic">H</Emphasis><Superscript>∞</Superscript>

We confirm a twenty year old conjecture by showing that a nonzero prime ideal P in the algebra H^∞ of bounded analytic functions in the open unit disk is countably generated if and only if it is either a principal ideal generated by the polynomial z−z₀, |z₀|<1, or if P is generated by the n-th roots of an atomic inner function. The case of the algebra H^∞+C is also dealt with. Dedicated to the 70th birthday of Joseph Cima Research supported by the RIP-program Oberwolfach 2004.