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.     

Cesàro summability of one- and two-dimensional Walsh-Fourier series

ВВОДьтсьp-кВАжИлОкАл ьНыЕ ОпЕРАтОРы И ОДНО МЕРНыЕ ДИАДИЧЕскИЕ МАРтИНг АльНыЕ пРОстРАНстВА хАРДИH _p . ДОкАжАНО, ЧтО ЕслИ сУБлИНЕИНыИ ОпЕРАтО РT p-кВАжИлОкАлЕН И ОгРА НИЧЕН ИжL _∞ ВL _∞, тО ОН ьВльЕтсь тАкжЕ ОгРАН ИЧЕННыМ ИжH _p ВL _p , (0<p<1). В кАЧЕстВЕ пРИ лОжЕНИь ДОкАжАНО, ЧтО МАксИМАльНыИ ОпЕРАт ОР ОДНОгО ЧЕжАРОВскОгО пАРАМЕтРА И МОДИФИцИ РОВАННых ЧЕжАРОВскИх сРЕДНИх МАРтИНгАлА ьВльЕтсь ОгРАНИЧЕННыМ ИжH _p ВL _p И ИМЕЕт слАБыИ тИп (L ₁,L ₁). Мы ВВОДИМ ДВУМЕРНыИ ДИА ДИЧЕскИИ гИБРИД пРОс тРАНстВ хАРДИH ₁ И пОкАжыВАЕМ, Ч тО МАксИМАльНыИ ОпЕРАт ОР сРЕДНИх ЧЕжАРО ДВУ МЕРНОИ ФУНкцИИ ИМЕЕт слАБыИ тИп (H ₁ ^# ,L ₁). тАк Мы пОлУЧАЕМ, Ч тО ДВУпАРАМЕтРИЧЕск ИЕ сРЕДНИЕ ЧЕжАРО ФУНкц ИИf ?H ₁ ^# ?L logL схОДьтсь пОЧтИ ВсУДУ к ИсхОДНОИ ФУНк цИИ.     

The Shephard type problems and monotonicity for L p -mixed centroid body

Lutwak and Zhang proposed the notion of L _p -centroid body. Further, Ma gave the definition of L _p -mixed centroid body, and obtained affirmative form for the Shephard type problems of L _p -mixed centroid body. In this article, we first give another affirmative form of the Shephard type problems for L _p -mixed centroid body, meanwhile, obtain its negative form. Next, we also give an extension of the generalized Funk’s section theorem for L _p -mixed centroid body. Finally, we establish two monotonicity inequalities of L _p -mixed centroid body.     

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.     

A limit theorem for order preserving nonexpansive operators inL 1

We prove the following theorem:Let T be an order preserving nonexpansive operator on L ₁ (μ) (or L ₁ ⁺ ) of a σ-finite measure, which also decreases theL _∞-norm, and let S=tI+(1?t)T for 0<t<1. Then for everyf ∈ L_p (1<p<∞),the sequence S ⁿf converges weakly in L_p. (The assumptions do not imply thatT is nonexpansive inL _p for anyp>1, even ifμ is finite.) For the proof we show that ∥S ⁿ⁺¹ f?S ⁿf∥ _p → 0 for everyf ∈L _p, 1<p<∞, and apply toS the following theorem:Let T be order preserving and nonexpansive in L ₁ ⁺ , and assume that T decreases theL _∞-norm. Then forg ∈L _p (1<p<∞) Tⁿg is weakly almost convergent. If forf ∈ L_p we have T ⁿ⁺¹ f?T ⁿ f → 0weakly, then T ⁿf converges weakly in L_p (1<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.     

A remark on the transformation formula of theta functions associated to positive definite quadratic forms

Let L be a positive Z-lattice with level N = cd, (c, d) = 1. Then the Fourier expansion at cusp $\text{1}\text{d}$ of the theta function associated to L is a theta function associated to L₁, where a lattice L₁ is defined by Z_pL₁ = Z_pL for $\text{p?c}$, Z_pL₁ = the dual of Z_pL for p | c.     

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.     

Extension of isometries on the unit sphere of L p spaces

In this paper we study the isometric extension problem and show that every surjective isometry between the unit spheres of Lp (μ) (1 p ∞, p≠2) and a Banach space E can be extended to a linear isometry from Lp(μ) onto E, which means that if the unit sphere of E is (metrically) isometric to the unit sphere of Lp(μ), then E is linearly isometric to Lp(μ). We also prove that every surjective 1-Lipschitz or anti-1-Lipschitz map between the unit spheres of Lp (μ1, H1) and Lp(μ2,H2) must be an isometry and can be extended to a linear isometry from Lp (μ1,H1) to Lp (μ2,H2), where H1 and H2 are Hilbert spaces.     

Recognition by Spectrum of Some Linear Groups over the Binary Field

We focus our attention on the linear groups L _n (2) and obtain some general properties of these groups. We will show then that the linear groups L _p (2), where 2 is a primitive root mod p (p odd prime), are recognizable by spectrum. For example, the linear groups L ₃(2), L ₅(2), L ₁₁(2), L ₁₃(2), L ₁₉(2), L ₂₉(2), L ₃₇(2), L ₅₃(2), etc. are recognizable by spectrum.     

Measure-compact operators, almost compact operators, and linear functional equations in L p

Under study are the measure-compact operators and almost compact operators in L _p . We construct an example of a measure-compact operator that is not almost compact. Introducing two classes of closed linear operators in L _p , we prove that the resolvents of these operators are almost compact or measure-compact. We present methods for the reduction of linear functional equations of the second kind in L _p with almost compact or measure-compact operators to equivalent linear integral equations in L _p with quasidegenerate Carleman kernels.     

Sharpness of the Calderón-Lozanovskii interpolation construction

We present a short proof of the sharpness of the Calderón-Lozanovskii interpolation construction in couples of weighted L _p spaces in the “lower triangle,” i.e., for operators from a couple { L _p0 (V ₀), L _p1 (V ₁)} to a couple {L _q0 (U ₀), L _q1 (U ₁)} with p ₀ ? q ₀ and p ₁ ? q ₁. This generalizes the well-known result due to Dmitriev and Semenov on the sharpness of the Riesz-Thorin interpolation theorem in the “lower triangle” for L _p spaces on intervals.     

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.     

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 density of interpolation points,a Kadec-type theorem,and Saff's principle of contamination inL p-approximation

Letf ∈L _p (I) and denote byB _n,p (f) the polynomial of bestL _p-approximation tof of degreen (1<p<∞,I=[?1,1], the norm is weightedL _p-norm with an arbitrary positive weight). Extending a result proved by Saff and Shekhtman forp=2 we show that for every 1<p<∞ andf ∈L _p (I) (not a polynomial) points of sign change of the error functionf-B _n,p (f) are dense inI asn→∞.     

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

The relations among the three kinds of conditional risk measures

Let(Ω,E,P)be a probability space,F a sub-σ-algebra of E,Lp(E)(1 p+∞)the classical function space and Lp F(E)the L0(F)-module generated by Lp(E),which can be made into a random normed module in a natural way.Up to the present time,there are three kinds of conditional risk measures,whose model spaces are L∞(E),Lp(E)(1 p+∞)and Lp F(E)(1 p+∞)respectively,and a conditional convex dual representation theorem has been established for each kind.The purpose of this paper is to study the relations among the three kinds of conditional risk measures together with their representation theorems.We first establish the relation between Lp(E)and Lp F(E),namely Lp F(E)=Hcc(Lp(E)),which shows that Lp F(E)is exactly the countable concatenation hull of Lp(E).Based on the precise relation,we then prove that every L0(F)-convex Lp(E)-conditional risk measure(1 p+∞)can be uniquely extended to an L0(F)-convex Lp F(E)-conditional risk measure and that the dual representation theorem of the former can also be regarded as a special case of that of the latter,which shows that the study of Lp-conditional risk measures can be incorporated into that of Lp F(E)-conditional risk measures.In particular,in the process we find that combining the countable concatenation hull of a set and the local property of conditional risk measures is a very useful analytic skill that may considerably simplify and improve the study of L0-convex conditional risk measures.∞     

Jackson and smoothness theorems for freud weights

We prove Jackson, realization, and converse theorems for Freud weights inL _p, 0<p ≤ ∞. Even forp ≥ 1, our conditions on the weight in our Jackson theorems are far less restrictive than those previously imposed. Moreover, the method—of first approximating by a spline, and then by a polynomial—is new in this context, and of intrinsic interest, since it avoids the use of orthogonal polynomials for Freud weights. We establish some properties of the modulus of smoothness, valid inL _p for 0<p ≤ ∞. Since theK-functional is identically zero inL _p,p<1, the analysis of the modulus of continuity involves a different tool, namely, realization, which works inL _p for all 0<p ≤ ∞. We deduce Marchaud-type inequalities.     

A priori estimates for one-dimensional singular integral operators with continuous coefficients

Let the contour γ consist of a finite number of simple closed pairwise nonintersecting curves, satisfying a Lyapunov condition, let S be the operator of singular integration in spacel _p , (γ) (1 <p < ∞), and leta (t), b (t) εC (γ) 1 <p ₁. <p < ∞. The necessary and sufficient condition for A = aI+ bS to be a Φ-operator in space L_p(γ) is that, for all?ε L_p(γ), ∥?∥_p ? const (∥ A?_p + ∥ ? ∥_p1), where ∥?∥_p = ∥?∥L_p (γ).