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.     

A class of Orlicz-Sobolev spaces with applications to variational problems involving nonlinear Hill's equations

Necessary and sufficient conditions are proved for a $\text{b}$⁽²⁾-Young function G (with independent variable t) to be convex (resp. concave) in t² in terms of inequalities between the second derivative of G and the first derivative of its Legendre transform G? (with independent variable s). It is then proven that a Young function G is convex (resp. concave) in t² if and only if G? is concave (resp. convex) in s². These results, along with another set of inequalities for functions G convex (resp. concave) in t², allow the proof of the uniform convexity and thereby of the reflexivity with respect to Luxemburg's norm $\text{∥f∥}{}_{\mathrm{G}}\text{=}\text{inf}\text{{k > 0: ∝}{}_{\mathrm{\Omega }}\text{dξ G(f}\text{(ξ)}\text{k}\text{) ? 1}}$ of the Orlicz space $\text{L}{}_{\mathrm{G}}\text{(Ω)}$ over an open domain Ω ?$\text{R}$_N with Lebesgue measure dξ. When applied to $\text{G(t) =}\text{¦t¦}{}^{\mathrm{p}}\text{p}$ and $\text{G}\text{?}\text{(s) =}\text{¦s¦}{}^{\mathrm{p\prime }}\text{p′}$ with p^?1 + (p′)^?1 = 1, the preceding results lead to the shortest proof to date of two Clarkson's inequalities and of the reflexivity of L^p-spaces for 1 < p < +∞. Finally, some of these results are used to solve by direct methods variational problems associated with the existence question of periodic orbits for a class of nonlinear Hill's equations; these variational problems are formulated on suitable Orlicz-Sobolev spaces $\text{W}{}^{\mathrm{m}}\text{L}{}_{\mathrm{G}}\text{(Ω)}$ and thereby allow for nonlinear terms which may grow faster than any power of the variable.     

On a valence problem in extremal graph theory

Let L ≠ Kinp be a p-chromatic graph and e be an edge of L such that L ? e is (p?1)-chromatic If Gⁿ is a graph of n vertices without containing L but containing K_p, then the minimum valence of Gⁿ is

$\text{?n}\text{1?}\text{1}\text{p?}\text{3}\text{2}\text{+}\text{O}\text{(1).}$

     

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).     

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.     

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.     

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).     

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}}$.     

Invariant subspaces and cocycles in nonselfadjoint crossed products

Let G be a compact abelian group with the archimedean totally ordered dual Γ and let $\text{L}$ be the von Neumann algebra crossed product determined by a finite von Neumann algebra M and a one-parameter group {α_γ}_γ?Γ of trace preserving 1-automorphisms of M. In this paper, we investigate the structure of invariant subspaces and cocycles for the subalgebra $\text{L}$₊ of $\text{L}$ consisting of those operators whose spectrum with respect to the dual automorphism group {β_g}_g?G on $\text{L}$ is nonnegative. Our main result asserts that if M is a factor, then $\text{L}$₊ is maximal among the σ-weakly closed subalgebras of $\text{L}$.     

Lattice paths in regions with the catalan property

If α = {α₀, α₁,…, α_n} and β = {β₀, β₁,…, β_n} are two non-decreasing sets of integers such that α₀ = 0 < β₀, α_n < β_n = n, and α_i < i < β_i for 1 ? i ? n ? 1, let L denote the set of lattice points (p, q) such that 0 ? p ? n and α_p ? q ? β_p. We determine all such regions L with the property that the number of lattice paths from (0, 0) to (p, p) in L is the Catalan number$\text{(p + 2)}{}^{\mathrm{?1}}\text{(}\text{2p+2}\text{p+1}\text{)}$ for 0 ? p ? n.     

The spherical Bochner theorem on semisimple Lie groups

Let G be a connected semisimple Lie group with finite center and K a maximal compact subgroup. Denote (i) Harish-Chandra's Schwartz spaces by $\text{C}$^p(G)(0<p?2), (ii) the K-biinvariant elements in $\text{C}$^p(G) by $\text{I}$^p(G), (iii) the positive definite (zonal) spherical functions by $\text{P}$, and (iv) the spherical transform on $\text{C}$^p(G) by ? → $\text{}\text{?}$gj. For T a positive definite distribution on G it is established that (i) T extends uniquely onto $\text{C}$^l(G), (ii) there exists a unique measure μ of polynomial growth on $\text{P}$ such that T[ψ]=∫pψdμ for all ψ?I¹(G) (iii) all measures μ of polynomial growth on $\text{P}$ are obtained in this way, and (iv) T may be extended to a particular $\text{I}$^p(G) space (1 ? p ? 2) if and only if the support of μ lies in a certain easily defined subset of $\text{P}$. These results generalize a well-known theorem of Godement, and the proofs rely heavily on the recent harmonic analysis results of Trombi and Varadarajan.     

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.     

Contractive Korovkin approximations

Our results are related to $\text{L}$¹-shadows in L_p-spaces. For p = 1 we will complete the characterization of $\text{L}$¹-shadows and $\text{L}$^1,1-shadows. For 1 < p < ∞ S. J. Bernau has shown that the $\text{L}$¹-shadow of a set in L_p is the range of a contractive projection. We will show that the corresponding theorem is not true for all reflexive spaces, but is true for locally uniformly convex reflexive spaces.     

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.     

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)}$.     

On complementary graphs with no isolated vertices

Let $\text{G}$ denote the complement of a graph G, and x(G), β₁(G), β₄(G), α₀(G), α₁(G) denote respectively the chromatic number, line-independence number, point-independence number, point-covering number, line-covering number of G, Nordhaus and Gaddum showed that for any graph G of order $\text{p}\text{, {2√p} ? x(G) + x(}\text{G}\text{) ? p + 1}\text{and p}\text{? x(G)·x(}\text{G}\text{) ? [(}\text{1}\text{2}\text{(p + 1))}{}^2\text{]}$. Recently Chartrand and Schuster have given the corresponding inequalities for the independence numbers of any graph G. However, combining their result with Gallai's well known formula β₁(G) + α₁(G) = ?, one is not deduce the analogous bounds for the line-covering numbers of $\text{G}\text{and}\text{G}$, since Gallai's formula holds only if G contains no isolated vertex. The purpose of this note is to improve the results of Chartland and Schuster for line-independence numbers for graphs where both $\text{G}\text{and}\text{G}$ contain no isolated vertices and thereby allowing us to use Gallai's formula to get the corresponding bounds for the line-covering numbers of G.     

The Poisson transform and representations of a free group

Let G be a free group with r generators, 1 < r < ∞. All the eigenfunctions of an operator on G which plays the same role of the Laplace Beltrami operator on semisimple Lie groups are characterized. Furthermore, an analytic family of representations π_z of G on functions on the boundary Ω is considered, defined by $\text{π}{}_{\mathrm{z}}\text{(x)?(ω) = p}{}^{\mathrm{z}}\text{(x, ω)?(x}{}^{\mathrm{?1}}\text{ω)}$, where p(x, ω) is the Poisson kernel relative to the action of G on Ω. It is proved that, for 0 < s = Re z < 1, π_z is uniformly bounded on an appropriate Hilbert space $\text{H}{}_{\mathrm{s}}\text{(Ω)}$. Finally the uniform boundedness of other special representations of G, obtained by considering the free group either as a subgroup of the group of all isometries of a tree or as a subgroup of GL(2, Q_p) is proved.     

Unique continuation for Schrodinger operators with unbounded potentials

We consider unique continuation theorems for solution of inequalities $\text{¦Δu(x)¦ ? W(x) ¦u(x)¦}$ with W allowed to be unbounded. We obtain two kinds of results. One allows W ? L^p_loc($\text{R}$ⁿ) with $\text{p ? n ? 2}\text{for}\text{n > 5, p >}\text{1}\text{3}\text{(2n ? 1)}\text{for}\text{n ? 5}$. The other requires fW² to be ?Δ-form bounded for all f ? C₀^∞.     

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.     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.