The Banach–Saks index of rearrangement invariant spaces on [0,1]

The set of all rearrangement invariant function spaces on [0,1] having the p-Banach–Saks property has a unique maximal element for all p∈(1,2]. For p=2 this is L₂, for p∈(1,2) this is L_p,∞⁰. We compute the Banach–Saks index for the families of Lorentz spaces $\text{L}{}_{\mathrm{p,q}}\text{,}\text{1<p<∞}$, 1?q?∞, and Lorentz–Zygmund spaces L(p,α), $\text{1?p<∞,}\text{α∈}\text{R}$, extending the classical results of Banach–Saks and Kadec–Pelczynski for L_p-spaces. Our results show that the set of rearrangement invariant spaces with Banach–Saks index p∈(1,2] is not stable with respect to the real and complex interpoltaion methods. To cite this article: E.M. Semenov, F.A. Sukochev, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Translation-invariant linear forms on C0(G), C(G), Lp(G) for noncompact groups

Suppose G is a locally compact noncompact group. For abelian such G's, it is shown in this paper that L¹(G), C(G), and L^∞(G) always have discontinuous translation-invariant linear forms(TILF's) while C₀(G) and L^p(G) for 1 < p < ∞ have such forms if and only if $\text{G}\text{H}$ is a torsion group for some open σ-compact subgroup H of $\text{G}$. For σ-compact amenable G's, all the above spaces have discontinuous left TILF's.     

Compactness in translation invariant Banach spaces of distributions and compact multipliers

It is shown that for a comprehensive family of translation invariant Banach spaces (B, ∥ ∥_B) of (classes of) measurable functions or distributions on a locally compact group (including most of the spaces of interest in harmonic analysis) the following compactness criterion generalizing the well-known results due to Kolmogorov-Riesz-Weil concerning compact sets in L^p(G), 1 ? p < ∞, holds true: A closed subset M ? B is compact in B if and only if it satisfies the following conditions: (a) sup_{? ? M} ∥?∥_B < ∞; (b) $\text{? ? > 0 ?k ∈ K(G):∥k1???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$; (c) $\text{?? > 0 ?h∈K(G):∥h???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$. Among various applications a characterization of the space of all compact multipliers between suitable pairs of such spaces can be derived.     

Smoothness and duality in Lp(E, μ)

Let (T, Σ, μ) be a measure space, E a Banach space, and L_p(E, μ) the Lebesque-Bochner function spaces for 1 < p < ∞. It is shown that L_p(E, μ) is smooth if and only if E is smooth. From this result a Radon-Nikodym theorem for conjugates of smooth Banach spaces is established, and thus a general geometric condition on E sufficient to ensure that $\text{L}{}_{\mathrm{p}}\text{(E, μ)}{}^1\text{? L}{}_{\mathrm{q}}\text{(E}{}^1\text{, μ)}$ for all p, 1 < p < ∞. Alternate proofs of certain known results concerning the duals of L_p(E, μ) spaces are provided.     

nth order Stieltjes differential boundary operators and Stieltjes differential boundary systems

This article discusses linear differential boundary systems, which include nth-order differential boundary relations as a special case, in $\text{L}$_n^p[0,1] × $\text{L}$_n^p[0,1], 1 ? p < ∞. The adjoint relation in $\text{L}$_n^q[0,1] × $\text{L}$_n^q[0,1], $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1}$, is derived. Green's formula is also found. Self-adjoint relations are found in $\text{L}$_n²[0,1] × $\text{L}$_n²[0,1], and their connection with Coddington's extensions of symmetric operators on subspaces of $\text{L}$_n^p[0,1] × $\text{L}$_n²[0,1] is established.     

Isomorphisms between Lp-function spaces when p < 1

We prove a number of results concerning isomorphisms between spaces of the type L_p(X), where X is a separable p-Banach space and 0 < p < 1. Our results imply that the quotient of L_p([0, 1] × [0, 1]) by the subspace of functions depending only on the first variable is not isomorphic to L_p, answering a question of N. T. Peck. More generally if $\text{B}$₀ is a sub-σ-algebra of the Borel sets of [0, 1], then $\text{L}{}_{\mathrm{p}}\text{([0, 1])}\text{L}{}_{\mathrm{p}}\text{([0, 1]}$, $\text{B}$₀) is isomorphic to L_p if and only if L_p([0, 1], B₀) is complemented. We also show that L_p has, up to isomorphism, at most one complemented subspace non-isomorphic to L_p and classify completely those spaces X for which $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$. In particular if $\text{L(L}{}_{\mathrm{p}}\text{, X) = {0}}\text{and}\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}$ then $\text{X ? l}{}_{\mathrm{p}}$ or is finite-dimensional. If X has trivial dual and $\text{L}{}_{\mathrm{p}}\text{(X) ? L}{}_{\mathrm{p}}\text{then}\text{X ? L}{}_{\mathrm{p}}$.     

Reflexive algebras with finite width lattices: Tensor products,cohomology, compact perturbations

Reflexive algebras play a central role in the study of general operator algebras. For a reflexive algebra the associated invariant subspace lattice has structural importance analogous to that of the algebraic commutant in the study of ¹-algebras. Tomita's tensor product commutation theorem can be restated in the form Alg($\text{L}$₁ ? $\text{L}$₂) = Alg $\text{L}$₁ ? Alg $\text{L}$₂, where each $\text{L}$_i is a reflexive ortho-lattice. This same formula is proved (for n-fold tensor products) in the setting when each $\text{L}$_i is a nest. Thus, in particular, a tensor product of nest algebras is again a reflexive algebra. Lance has shown that the Hochschild cohomology of nest algebras vanishes; modifications of his arguments show that cohomology vanishes for arbitrary CSL algebras whose lattices are generated by finitely many independent nests. This appears to be the strongest possible result in this direction. The class of irreducible tridiagonal algebras with finite-width commutative lattices is investigated and it is shown that these algebras have nontrivial first cohomology. Finally, it is shown that if $\text{L}$ is a finite-width commutative subspace lattice and $\text{K}$ is the set of compact operators then the quasitriangular algebra Alg $\text{L}$ + $\text{K}$ is closed in the norm topology. This extends to arbitrary finite-width CSL algebras a result obtained for nest algebras by Fall, Arveson, and Muhly.     

Multipliers of Sobolev spaces

Let W^m,p denote the Sobolev space of functions on $\text{R}$ⁿ whose distributional derivatives of order up to m lie in L^p($\text{R}$ⁿ) for 1 ? p ? ∞. When 1 < p < ∞, it is known that the multipliers on W^m,p are the same as those on L^p. This result is true for p = 1 only if n = 1. For, we prove that the integrable distributions of order ?1 whose first order derivatives are also integrable of order ?1, belong to the class of multipliers on W^m,1 and there are such distributions which are not bounded measures. These distributions are also multipliers on L^p, for 1 < p < ∞. Moreover, they form exactly the multiplier space of a certain Segal algebra. We have also proved that the multipliers on W^m,l are necessarily integrable distributions of order ?1 or ?2 accordingly as m is odd or even. We have obtained the multipliers from L¹($\text{R}$ⁿ) into W^m,p, 1 ? p ? ∞, and the multiplier space of W^m,1 is realised as a dual space of certain continuous functions on $\text{R}$ⁿ which vanish at infinity.     

Normkonvergenz von Fourierreihen in rearrangement invarianten Banachräumen

This paper studies rearrangement invariant Banach spaces of 2π-periodic functions with respect to norm convergence of Fourier series. The main result is that norm convergence takes place if and only if the space is an interpolation space of $\text{(}\text{L}{}^{\mathrm{p\prime }}\text{(T),}\text{L}{}^{\mathrm{p}}\text{(T)), 1 < p < 2,}\text{1}\text{p′}\text{+}\text{1}\text{p}\text{= 1}$, and L^p′(T) is dense in it (compare Satz 2.8). Since norm convergence and continuity of the conjugation operator are closely connected (compare Satz 2.2), this is achieved by a careful examination of this operator similar to that of D. W. Boyd for the Hilbert transform on the whole real axis. Finally, there are applications to Orlicz and Lorentz spaces.     

On the asymmetry of norms of convolution operators. I

Let G be a compact group and π be a monomial representation of G which is irreducible. For a certain class of π-representative functions we obtain the exact bound of the function as a left-convolution operator on L_p(G) for 1 ? p ? 2 and good estimates when p > 2. This information is sufficient to conclude that for every noncommutative finite group, the L_p and L_p′-convolution norms are not the same when $\text{1 < p < 2,}\text{1}\text{p}\text{+}\text{1}\text{p′}\text{= 1}$.     

Banach ideals of operators with applications

We present some results concerning the general theory of Banach ideals of operators and give several applications to Banach space theory. We give, in Section 3, new proofs of several recent results, as well as new operator characterizations of the $\text{L}$_p-spaces of Lindenstrauss and Pelczynski. In Section 4 we prove that the space of absolutely summing operators from E to F is reflexive if both E and F are reflexive and E has the approximation property. Section 5 concerns Hilbert spaces. In particular, we compute the relative projection constant of Hilbert spaces in L_p(μ)-spaces.     

The functions operating on multiplier algebras

Let 1 < p < ∞ with p ≠ 2. Let G denote one of the groups $\text{T}$ⁿ, $\text{R}$ⁿ, or $\text{Z}$ⁿ. We show that only entire functions operate in certain algebras of multipliers on L_p(G).     

Le théorème ergodique pour les opérateurs positifs sur les espaces Lp (1<p<∞) revisitéErgodic theorem for positive operators on Lp-spaces Lp (1<p<∞) revisited

We consider positive linear operators on L_p-spaces (1<p<∞), (A(L_p⁺)?L_p⁺), satisfying the inequality A^m+n<A^m+Aⁿ for all $\text{m,n∈}\text{N}\text{.}$ We describe the structure of these operators (Theorem 1). As a consequence we obtain for all f∈L^p,Aⁿf converges a.e. The last statement contains the theorem of a.e. convergence of Cesaro averages for positive mean bounded operators. To cite this article: A. Brunel, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 205–207.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Brownian motion,Lp properties of Schrödinger operators and the localization of binding

We use Brownian motion ideas to study Schrödinger operators $\text{H =}\text{built?1}\text{2}\text{Δ + V}\text{on}\text{L}{}^{\mathrm{p}}\text{(R}{}^{\mathrm{v}}\text{)}$. In particular: (a) We prove that lim_t→∞t^?1In ∥ e^?tH ∥_p,p is p-independent for a very large class of V's where ∥ A ∥_p,p = norm of A as an operator from L^pto L^p. (b) For v ? 3 and $\text{V ? L}{}^{\mathrm{<mtext>v</mtext><mtext>2\; ?\; ?</mtext>}}\text{∩ L}{}^{\mathrm{<mtext>v</mtext><mtext>2\; +\; ?</mtext>}}$, we show that sup ∥ e^?tH ∥_∞,∞ < ∞ if and only if H has no negative eigenvalues or zero energy resonances. (c) We relate the “localization of binding” recently noted by Sigal to Brownian hitting probabilities.     

Multipliers from L1(G) to a Lipschitz space

Let G be a metric locally compact Abelian group. We prove that the spaces (L₁, Lip(α, p)), (L₁, lip(α, p)), Lip(α, p) and lip(α, p)^~ are isometrically isomorphic, where Lip(α, p) and lip(α, p) denote the Lipschitz spaces defined on G, (L₁, A) is the space of multipliers from L₁ to A, and lip(α, p)^~ denotes the relative completion of lip(α, p). We also show that $\text{L}{}_1\text{1}\text{Lip}\text{(α, p) =}\text{lip}\text{(α, p) = L}{}_1\text{1}\text{lip}\text{(α, p)}$.     

Universal bounds for global solutions of a forced porous medium equation

We show that in a smooth bounded domain $\text{Ω⊂}\text{R}{}^{\mathrm{n}}$, n⩾2, all global nonnegative solutions of u_t−Δu^m=u^p with zero boundary data are uniformly bounded in $\text{Ω×(τ,∞)}$ by a constant depending on $\text{Ω,p}$ and τ but not on u₀, provided that 1<m<p<[(n+1)/(n−1)]m. Furthermore, we prove an a priori bound in $\text{L}{}^{\mathrm{\infty }}\text{(Ω×(0,∞))}$ depending on $\text{||u}{}_0\text{||}{}_{\mathrm{L\infty (\Omega )}}$ under the optimal condition 1<m<p<[(n+2)/(n−2)]m.     

Group structure and the pointwise ergodic theorem for connected amenable groups

Let G be a connected amenable group (thus, an extension of a connected normal solvable subgroup R by a connected compact group $\text{K =}\text{G}\text{R}$). We show how to explicitly construct sequences {U_n} of compacta in G in terms of the structural features of G which have the following property: For any “reasonable” action G × L^p(X, μ) ↓ L^p(X, μ) on an L^p space, 1 <p < ∞, and any f ∈ L^p(X, μ), the averages

$\text{A}{}_{\mathrm{n}}\text{f=}\text{1}\text{|U}{}_{\mathrm{n}}\text{|}\text{∫}\text{U}{}_{\mathrm{n}}\text{T}{}_{\mathrm{g}}{}^{\mathrm{?1f}}\text{dg (|E|=}\text{left Haar measure in}\text{G)}$

converge in L^p norm, and pointwise μ-a.e. on X, to G-invariant functions $\text{f1}$ in L^p(X, μ). A single sequence {U_n} in G works for all L^p actions of G. This result applies to many nonunimodular groups, which are not handled by previous attempts to produce noncommutative generalizations of the pointwise ergodic theorem.