On the Lp-Theory of C0-Semigroups Associated with Second-Order Elliptic Operators, I

We study L_p-theory of second-order elliptic divergence-type operators with measurable coefficients. To this end, we introduce a new method of constructing positive C₀-semigroups on L_p associated with sesquilinear (not necessarily sectorial) forms in L₂. A precise condition ensuring that the elliptic operator is associated with a quasi-contractive C₀-semigroup on L_p is established.     

Lp-Brunn-Minkowski inequality

We introduce the notion of L_p-mixed intersection body (p < 1) and extend the classical notion dual mixed volume to an L_p setting. Further, we establish the Brunn-Minkowski inequality for the q-dual mixed volumes of star duals of L_p-mixed intersection bodies.     

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

On the Lp-Theory of C0-Semigroups Associated with Second-Order Elliptic Operators, II

We study positive C₀-semigroups on L_p associated with second-order uniformly elliptic divergence-type operators with singular lower-order terms, subject to a wide class of boundary conditions. We obtain an interval (p_min, p_max) in the L_p-scale where these semigroups can be defined, including the case 2∉(p_min, p_max). We present an example showing that the result is optimal. We also show that the semigroups are analytic with angles of analyticity and spectra of the generators independent of p, for the whole range of p where the semigroups are defined.     

Interpolation orbits in couples of Lp spacesOrbites d'interpolation pour les couples d'espaces Lp

We consider linear operators T mapping a couple of weighted L_p spaces {L_p0(U₀), L_p1(U₁)} into {L_q0(V₀),L_q1(V₁)} for any 1?p₀, p₁, q₀, q₁?∞, and describe the interpolation orbit of any a∈L_p0(U₀)+L_p1(U₁) that is we describe a space of all {Ta}, where T runs over all linear bounded mappings from {L_p0(U₀),L_p1(U₁)} into {L_q0(V₀),L_q1(V₁)}. We show that interpolation orbit is obtained by the Lions–Peetre method of means with functional parameter as well as by the K-method with a weighted Orlicz space as a parameter. To cite this article: V.I. Ovchinnikov, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 881–884.     

A note on Samelson products and mod p cohomology of classifying spaces of the exceptional Lie groups

Let G be an exceptional Lie group G₂, F₄, E₆, E₇ or E₈, and also set p is the corresponding prime 7, 13, 13, 19 or 31 respectively. If we localize spaces at p, G can be decomposed into a product of spheres. Using this decomposition, we take some elements in the homotopy groups of p-localized G, and we offer some non-zero 3-fold Samelson products of them. This implies that the nilpotency class of the localized self-homotopy group of G is greater than or equal to 3.The key lemma for these results is about a calculation on the cohomology operator P¹ in the cohomology of BG, where G and p are as above. During this calculation, we use some original ideas, which are also used in Kishimoto and Kaji (in press) [7] recently.     

Uniqueness of norm on L(G) and C(G) when G is a compact group

Let G be a compact group. If the trivial representation of G is not weakly contained in the left regular representation of G on L₀²(G) and X is either L^p(G) for 1<p?∞ or C(G), then we show that every complete norm |·| on X that makes translations from (X,|·|) into itself continuous is equivalent to ||·||_p or ||·||_∞ respectively. If 1<p?∞ and every left invariant linear functional on L^p(G) is a constant multiple of the Haar integral, then we show that every complete norm |·| on L^p(G) that makes translations from (L^p(G),|·|) into itself continuous and that makes the map t?L_t from G into bounded is equivalent to ||·||_p.     

A sharp nonasymptotic bound and phase diagram of L 1/2 regularization

We derive a sharp nonasymptotic bound of parameter estimation of the L1/2 regularization.The bound shows that the solutions of the L1/2 regularization can achieve a loss within logarithmic factor of an ideal mean squared error and therefore underlies the feasibility and effectiveness of the L1/2regularization.Interestingly,when applied to compressive sensing,the L1/2 regularization scheme has exhibited a very promising capability of completed recovery from a much less sampling information.As compared with the Lp(0 p 1) penalty,it is appeared that the L1/2 penalty can always yield the most sparse solution among all the Lp penalty when 1/2 ≤ p 1,and when 0 p 1/2,the Lp penalty exhibits the similar properties as the L1/2 penalty.This suggests that the L1/2 regularization scheme can be accepted as the best and therefore the representative of all the Lp(0 p 1) regularization schemes.     

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.     

Nonlinear integration on Lp-spaces

For a Banach space E and for 1 ? p < ∞ let ?p<∞ let L_E^p(μ) = L_E^p(S,B,μ) denote all Bochner p-integrable E-valued functions on a measure space (S,B,μ). Under study are convergence theorems for integrals of functions in L_E^p(μ) with respect to Nemytskii measures. Weak integrals are then denoted to Hammerstein operators, and a study of topologies generated by vector measures leads to a characterization of compact Hammerstein operators.     

Nonlinear diffusions, hypercontractivity and the optimal L-Euclidean logarithmic Sobolev inequality

The equation u_t=Δ_p(u^1/(p−1)) for p>1 is a nonlinear generalization of the heat equation which is also homogeneous, of degree 1. For large time asymptotics, its links with the optimal L^p-Euclidean logarithmic Sobolev inequality have recently been investigated. Here we focus on the existence and the uniqueness of the solutions to the Cauchy problem and on the regularization properties (hypercontractivity and ultracontractivity) of the equation using the L^p-Euclidean logarithmic Sobolev inequality. A large deviation result based on a Hamilton-Jacobi equation and also related to the L^p-Euclidean logarithmic Sobolev inequality is then stated.     

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

Non-repetitive words: Ages and essences

This paper introduces the notions of age and essence of an infinite wordw. Using these notions, the author studies the setL of infinite non-repetitive words over {1,2,3}, and its proper subsetsL ₁₂₁,L _121,323,L _121,212, where words ofL ₁₂₁ (L _121,323;L _121,212) do not contain 121 (121,323;121,212) as subwords. Motivated by the question ‘How many essentially different nonrepetitive words over {1,2,3} exist?’ the author counts the equivalence classes ofL,L ₁₂₁,L _121,323,L _121,212 under agreement in a final segment, agreement in age, and in essence.     

On the uniqueness of generalized monosplines of least Lp-norm

The uniqueness of monosplines and perfect splines of leastL _p-norm is treated in the framework of generalized monosplines and total positivity. The analysis is based on the invariance properties of the degree of a certain mapping and on a new composition result for totally positive kernels. For theL _p-case 1<p<∞, uniqueness is shown under the same extra conditions as were previously shown to be needed in theL _p-case. The uniqueness in theL _∞-case is obtained without any restrictions.     

On the L p -dual mixed volumes

We establish the cyclic inequality for i-th L p-dual mixed volume and Lp-dual Urysohn inequality between p-mean width and Lp-dual quermassintegral. Moreover, the dual isoperimetric inequality for Lp-dual mixed volume is proved, which is an extension of the classical dual isoperimetric inequality.     

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.     

The failure of the Hardy inequality and interpolation of intersections

The main idea of this paper is to clarify why it is sometimes incorrect to interpolate inequalities in a “formal” way. For this we consider two Hardy type inequalities, which are true for each parameter α≠0 but which fail for the “critical” point α=0. This means that we cannot interpolate these inequalities between the noncritical points α=1 and α=?1 and conclude that it is also true at the critical point α=0. Why? An accurate analysis shows that this problem is connected with the investigation of the interpolation of intersections (N∩L _p(w₀), N∩L_p(w₁)), whereN is the linear space which consists of all functions with the integral equal to 0. We calculate theK-functional for the couple (N∩L _p(w₀),N∩L _p (w₁)), which turns out to be essentially different from theK-functional for (L _p(w₀), L_p(w₁)), even for the case whenN∩L _p(w_i) is dense inL _p(w_i) (i=0,1). This essential difference is the reason why the “naive” interpolation above gives an incorrect result.     

Lp-bounds on curvature,elliptic estimates and rectifiability of singular setsBornes Lp sur la courbure,estimées elliptiques et rectifiabilité d'ensembles singuliers

We announce results on rectifiability of singular sets of pointed metric spaces which are pointed Gromov–Hausdorff limits on sequences of Riemannian manifolds, satisfying uniform lower bounds on Ricci curvature and volume, and uniform L_p-bounds on curvature. The rectifiability theorems depend on estimates for |Hess_h|_L2p, (|?Hess_h·|Hess_h|^p?2)_L2, where Δh=c, for some constant c. We also observe that (absent any integral bound on curvature) in the Kähler case, given a uniform 2-sided bound on Ricci curvature, the singular set has complex codimension 2. To cite this article: J. Cheeger, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 195–198.     

INEQUALITIES FOR Lp-MIXED CURVATURE IMAGES

Lutwak, Yang, and Zhang posed the notion of Lp-curvature images and established several Lp analogs of the affne isoperimetric inequality. In this article, the notion of Lp-mixed curvature images is introduced, Lp-curvature images being a special case. The properties and Lp analogs of the affne isoperimetric inequality are established for Lp-mixed curvature images.     

On Samelson products in p-localized unitary groups

The unitary group U(n) has elements εi∈π2i+1(U(n)) (0?i?n−1) of its homotopy groups in the stable range. In this paper we show that certain multi Samelson products of type 〈εi,〈εj,εk〉〉 are non-trivial. This leads us to the result that the nilpotency class of the group of the self homotopy set [SU(n),SU(n)] is no less than 3, if 4?n. Also by the power of generalized Samelson products, we can see the further result that, for a prime p and an integer n=pk, nil[SU(n),SU(n)]_(p)?3, if (1) p?7 or (2) p=5 and n≡0 or 1mod4.