DOCSLIB.ORG

Notes on Lorentz Spaces and Interpolation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Notes on Lorentz Spaces and Interpolation LORENTZ SPACES AND REAL INTERPOLATION THE KEEL-TAO APPROACH GUILLERMO REY 1. Introduction If an operator T is bounded on two Lebesgue spaces, the theory of complex interpolation allows us to deduce the boundedness of T \between" the two spaces. Real interpolation (of Lp spaces) provides, in a way, a refinement of complex interpolation, this will be shown as we progress. We will follow Tao's notes [6]: in particular, we claim no originality over any argument here. Consider the (centered) Hardy-Littlewood maximal operator: Z (1) Mf(x) = sup jf(y)j dy; r>0 Br (x) 1 p defined for f 2 Lloc. We would like to obtain L boundedness of this operator for 1 ≤ p ≤ 1, but alas, this is not the case: although it is trivially bounded from L1 onto itself, it is not bounded on L1: Proposition 1.1. If f 2 L1(Rd) and f is not identically 0 then C Mf(x) ≥ d jxjd 1 d for some constant Cd dependent on f and the dimension, in particular f2 = L (R ). Proof. Since f is not identically 0, there exists an R > 0 such that Z jfj ≥ δ > 0: BR(0) Now, if jxj > R, BR(0) ⊆ B(x; 2jxj), so 1 Z δ Mf(x) ≥ jfj ≥ Cd d : jB(x; 2jxj)j BR(0) jxj Thus M is indeed unbounded as an operator from L1 onto itself. However, We do have the following weaker form of L1 boundedness; proved by Hardy-Littlewood in [1] for d = 1 and by Wiener in [7] for d > 1: Theorem 1.2. There exists a constant C > 0 such that for all f 2 L1 kfk 1 m(fx 2 d : Mf(x) > λg) ≤ C L ; R λ where m is the Lebesgue measure on Rd. 1 2 GUILLERMO REY Observe that, by Chebychev's inequality, we would have had this bound if M had been bounded on L1, so it is indeed a weaker statement. This leads us to study the space of functions satisfying Chebychev's inequality: p kfk p (2) µ(fx 2 X : jf(x)j > λg) ≤ L (X,µ) : λp More precisely, define the weak-Lp space Lp;1(X; µ) to be the set of all measurable functions f for which its Lp;1 quasi-norm 1=p (3) kfkLp;1 = sup λµ(fx : jf(x)j > λg) λ>0 is finite. To abbreviate we will use the notation df (λ) = µ(fx 2 X : jf(x)j > λg) when there is no confusion as to what measure we are using. Also, we define by convention L1;1 to be L1. The following lemma is a simple application of the monotone convergence lemma: Lemma 1.3. Let ffngn2N be a sequence of measurable functions such that jfn(x)j ≤ jfn+1(x)j µ-almost everywhere and for all n 2 N. If we have jfnj ! f µ-almost everywhere for some function f then dfn (λ) % df (λ) when n ! 1 for all λ > 0. As we have seen, Chebychev's inequality gives us the inclusion Lp ,! Lp;1 for p > 0. This inclusion is proper as the following example shows: − d Example 1.4. If f(x) = jxj p then Z Z jf(x)jp dx = jxj−d dx = 1; d d R R however 1=p 1=p sup λdf (λ) = νd < 1; λ>0 d where νd is the measure of the unit ball in R . As we have noted, k · kLp;1 is not a priori a norm, but only a quasi-norm: Proposition 1.5. We can easily see that df+g(λ) ≤ df (λ/2) + dg(λ/2); which is just the fact that when two terms sum more than λ, at least one of them has to be greater than λ/2. Using this fact we have: 1=p kf + gkLp;1 = sup λdf+g(λ) λ>0 1=p ≤ sup λ (df (λ/2) + dg(λ/2)) λ>0 ≤ 2Cp (kfkLp;1 + kgkLp;1 ) : We will generalize the weak-Lp spaces a bit further, bit first we need the following well-known identity: LORENTZ SPACES AND REAL INTERPOLATION THE KEEL-TAO APPROACH 3 Proposition 1.6. Let 0 < p < 1 and f be a measurable function, then Z 1=p 1=p p dλ kfkLp = p λ df (λ) : + λ R Proof. Z p p kfkLp(X,µ) = jf(x)j dµ(x) X Z Z jf(x)j p dλ = pλ λ dµ(x) X 0 Z Z p1 dλ = p λ fs: s<jf(x)jg λ dµ(x) X + Z R Z p 1 dλ = p λ fy:jf(y)j>λg dµ(x) λ (Fubini) + X ZR p dλ = p λ df (λ) λ : + R So we have: 1=p kfkLp;1 = kλdf (λ) k 1 + dλ L (R ; λ ) and 1=p 1=p kfkLp = p kλdf (λ) k p + dλ : L (R ; λ ) From this, we could tentatively define the Definition 1.7 (Lorentz quasi-norm). Let (X; µ) be a measure space and let 0 < p < 1 and 0 < q ≤ 1, we define the Lorentz space quasi-norm k · kLp;q (X,µ) as 1=q 1=p kfkLp;q (X,µ) = p kλdf (λ) k q + dλ : L (R ; λ ) Observe that, with this definition, Lp;p (isometrically) coincides with Lp. We have the following useful lemma, which is a kind of Monotone Convergence Theorem. Lemma 1.8. Let ffngn2N be a sequence of measurable functions such that jfnj % jfj µ-almost everywhere, then kfkLp;q = lim kfnkLp;q n!1 Proof. We can obviously assume f to be positive so, by definition, we only have to verify that 1=p 1=p lim kλdfn (λ) kLq ( +; dλ ) = kλdf (λ) kLq ( +; dλ ): n≥1 R λ R λ Note that, since fn is non-decreasing, dfn (·) is also increasing (in n), so in particular by Lemma 1.3 df (λ) = sup dfn (λ) n≥1 for all fixed λ > 0. If q = 1 then the problem is reduced to the easier one of showing that 1=p 1=p sup kλd (λ) k 1 + = k sup λd (λ) k 1 + ; fn Lλ (R ) fn Lλ (R ) n≥1 n≥1 which is easily seen to hold true in the more general case sup kgnkL1 = k sup gnkL1 : n≥1 n≥1 4 GUILLERMO REY Suppose now that q < 1, then Z 1 1=q 1=p q q=p dλ sup kλdfn (λ) k q + dλ = sup λ dfn (λ) ; L (R ; λ ) λ n≥1 n≥1 0 q q=p q q=p and since, as we noted before, we have λ dfn (λ) % λ df (λ) for all fixed λ > 0, we can dλ apply the monotone convergence theorem with the measure λ and the desired identity. The following Fatou-like lemma shows that the Lorentz space quasi-norm is lower semi- continuous. Lemma 1.9. Let ffngn2N be any sequence of measurable functions, then k lim inf fnkLp;q ≤ lim inf kfnkLp;q n n Proof. Let f = lim infn fn, then, by definition, we have to check that 1=p 1=p kλdf (λ) k q + dλ ≤ lim inf kλdfn (λ) k q + dλ ; L (R ; λ ) n L (R ; λ ) which would follow from the lower-semicontinuity of the usual Lq spaces provided that we have df (λ) ≤ lim inf df (λ): n n This is equivalent to showing µ(fx : lim inf jfn(x)j > λg) ≤ lim inf µ(fx : jfn(x)j > λg); n n which follows from Fatou's lemma. Finally, we can prove that the Lp;q spaces are quasi-Banach spaces; which follows the steps of the classical proof in the Lp case. Theorem 1.10. Let (X; µ) be a measure space and let 0 < p < 1, 0 < q ≤ 1, then Lp;q(X; µ) is a quasi-Banach space, that is, it is complete and it satisfies the quasi-triangle inequality. Proof. We have already proven that Lp;1 satisfies the quasi-triangle inequality in Proposition 1.5, the proof for Lp;q when q 6= 1 is almost identical so we will omit it. We are left to prove that it is complete. To this end first note that the Lp;q norm always controls the Lp;1 norm: Z 1 1=q 1=p q q=p dλ kλdf (λ) k q + dλ = λ df (λ) L (R ; λ ) λ 0 Z s 1=q q q=p dλ ≥ λ df (λ) λ 0 Z s 1=q 1=p q dλ ≥ df (s) λ λ 0 1=p −1=q = sdf (s) q ; for any s > 0. Thus, taking the supremum on s, we obtain: kfkLp;1 .p;q kfkLp;q : In particular we have the following generalization of Chebychev's inequality: p kfk p;q (4) d (λ) L : f .p;q λp p;q Now let ffng be a Cauchy sequence in the L quasi-norm. Estimate (4) allows us to deduce that ffng is Cauchy in measure, and hence that there exists a µ-almost everywhere convergent LORENTZ SPACES AND REAL INTERPOLATION THE KEEL-TAO APPROACH 5 subsequence ff'(k)gk. Call f the µ-almost everywhere defined limit of f'(k) when k ! 1, we p;q will show that fn ! f in the L quasi-norm. Let C be the constant in the quasi-triangle inequality for the k · kLp;q quasi-norm and refine the subsequence ff'(k)g so that we have −k kf'(k) − f'(k−1)kLp;q ≤ (2C) p;q using that fn is an L -Cauchy sequence and defining f'(0) = 0.
Load more

Recommended publications
  • Duality for Outer $ L^ P \Mu (\Ell^ R) $ Spaces and Relation to Tent Spaces
    p r DUALITY FOR OUTER Lµpℓ q SPACES AND RELATION TO TENT SPACES MARCO FRACCAROLI p r Abstract. We prove that the outer Lµpℓ q spaces, introduced by Do and Thiele, are isomorphic to Banach spaces, and we show the expected duality properties between them for 1 ă p ď8, 1 ď r ă8 or p “ r P t1, 8u uniformly in the finite setting. In the case p “ 1, 1 ă r ď8, we exhibit a counterexample to uniformity. We show that in the upper half space setting these properties hold true in the full range 1 ď p,r ď8. These results are obtained via greedy p r decompositions of functions in Lµpℓ q. As a consequence, we establish the p p r equivalence between the classical tent spaces Tr and the outer Lµpℓ q spaces in the upper half space. Finally, we give a full classification of weak and strong type estimates for a class of embedding maps to the upper half space with a fractional scale factor for functions on Rd. 1. Introduction The Lp theory for outer measure spaces discussed in [13] generalizes the classical product, or iteration, of weighted Lp quasi-norms. Since we are mainly interested in positive objects, we assume every function to be nonnegative unless explicitly stated. We first focus on the finite setting. On the Cartesian product X of two finite sets equipped with strictly positive weights pY,µq, pZ,νq, we can define the classical product, or iterated, L8Lr,LpLr spaces for 0 ă p, r ă8 by the quasi-norms 1 r r kfkL8ppY,µq,LrpZ,νqq “ supp νpzqfpy,zq q yPY zÿPZ ´1 r 1 “ suppµpyq ωpy,zqfpy,zq q r , yPY zÿPZ p 1 r r p kfkLpppY,µq,LrpZ,νqq “ p µpyqp νpzqfpy,zq q q , arXiv:2001.05903v1 [math.CA] 16 Jan 2020 yÿPY zÿPZ where we denote by ω “ µ b ν the induced weight on X.
    [Show full text]
  • ON SEQUENCE SPACES DEFINED by the DOMAIN of TRIBONACCI MATRIX in C0 and C Taja Yaying and Merve ˙Ilkhan Kara 1. Introduction Th
    Korean J. Math. 29 (2021), No. 1, pp. 25{40 http://dx.doi.org/10.11568/kjm.2021.29.1.25 ON SEQUENCE SPACES DEFINED BY THE DOMAIN OF TRIBONACCI MATRIX IN c0 AND c Taja Yaying∗;y and Merve Ilkhan_ Kara Abstract. In this article we introduce tribonacci sequence spaces c0(T ) and c(T ) derived by the domain of a newly defined regular tribonacci matrix T: We give some topological properties, inclusion relations, obtain the Schauder basis and determine α−; β− and γ− duals of the spaces c0(T ) and c(T ): We characterize certain matrix classes (c0(T );Y ) and (c(T );Y ); where Y is any of the spaces c0; c or `1: Finally, using Hausdorff measure of non-compactness we characterize certain class of compact operators on the space c0(T ): 1. Introduction Throughout the paper N = f0; 1; 2; 3;:::g and w is the space of all real valued sequences. By `1; c0 and c; we mean the spaces all bounded, null and convergent sequences, respectively. Also by `p; cs; cs0 and bs; we mean the spaces of absolutely p-summable, convergent, null and bounded series, respectively, where 1 ≤ p < 1: We write φ for the space of all sequences that terminate in zero. Moreover, we denote the space of all sequences of bounded variation by bv: A Banach space X is said to be a BK-space if it has continuous coordinates. The spaces `1; c0 and c are BK- spaces with norm kxk = sup jx j : Here and henceforth, for simplicity in notation, `1 k k the summation without limit runs from 0 to 1: Also, we shall use the notation e = (1; 1; 1;:::) and e(k) to be the sequence whose only non-zero term is 1 in the kth place for each k 2 N: Let X and Y be two sequence spaces and let A = (ank) be an infinite matrix of real th entries.
    [Show full text]
  • The Semi-M Property for Normed Riesz Spaces Compositio Mathematica, Tome 34, No 2 (1977), P
    COMPOSITIO MATHEMATICA EP DE JONGE The semi-M property for normed Riesz spaces Compositio Mathematica, tome 34, no 2 (1977), p. 147-172 <http://www.numdam.org/item?id=CM_1977__34_2_147_0> © Foundation Compositio Mathematica, 1977, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infrac- tion pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ COMPOSITIO MATHEMATICA, Vol. 34, Fasc. 2, 1977, pag. 147-172 Noordhoff International Publishing Printed in the Netherlands THE SEMI-M PROPERTY FOR NORMED RIESZ SPACES Ep de Jonge 1. Introduction It is well-known that if (0394, F, IL) is a u-finite measure space and if 1 ~ p 00, then the Banach dual L *p of the Banach space Lp = Lp(0394, IL) can be identified with Lq = Lq(L1, 03BC), where p-1 + q-1 = 1. For p =00 the situation is different; the space Li is a linear subspace of L*, and only in a very trivial situation (the finite-dimensional case) we have Li = Lfi. Restricting ourselves to the real case, the Banach dual L *~ is a (real) Riesz space, i.e., a vector lattice, and Li is now a band in L*. The disjoint complement (i.e., the set of all elements in L* disjoint to all elements in LI) is also a band in L*, called the band of singular linear functionals on Loo.
    [Show full text]
  • Chapter 4 the Lebesgue Spaces
    Chapter 4 The Lebesgue Spaces In this chapter we study Lp-integrable functions as a function space. Knowledge on functional analysis required for our study is briefly reviewed in the first two sections. In Section 1 the notions of normed and inner product spaces and their properties such as completeness, separability, the Heine-Borel property and espe- cially the so-called projection property are discussed. Section 2 is concerned with bounded linear functionals and the dual space of a normed space. The Lp-space is introduced in Section 3, where its completeness and various density assertions by simple or continuous functions are covered. The dual space of the Lp-space is determined in Section 4 where the key notion of uniform convexity is introduced and established for the Lp-spaces. Finally, we study strong and weak conver- gence of Lp-sequences respectively in Sections 5 and 6. Both are important for applications. 4.1 Normed Spaces In this and the next section we review essential elements of functional analysis that are relevant to our study of the Lp-spaces. You may look up any book on functional analysis or my notes on this subject attached in this webpage. Let X be a vector space over R. A norm on X is a map from X ! [0; 1) satisfying the following three \axioms": For 8x; y; z 2 X, (i) kxk ≥ 0 and is equal to 0 if and only if x = 0; (ii) kαxk = jαj kxk, 8α 2 R; and (iii) kx + yk ≤ kxk + kyk. The pair (X; k·k) is called a normed vector space or normed space for short.
    [Show full text]
  • Burkholder's Inequalities in Noncommutative Lorentz
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 7, July 2010, Pages 2431–2441 S 0002-9939(10)10267-6 Article electronically published on March 24, 2010 BURKHOLDER’S INEQUALITIES IN NONCOMMUTATIVE LORENTZ SPACES YONG JIAO (Communicated by Marius Junge) Abstract. We prove Burkholder’s inequalities in noncommutative Lorentz spaces Lp,q(M), 1 <p<∞, 1 ≤ q<∞, associated with a von Neumann algebra M equipped with a faithful normal tracial state. These estimates generalize the classical inequalities in the commutative case. 1. Introduction Martingale inequalities and sums of independent random variables are important tools in classical harmonic analysis. A fundamental result due to Burkholder [1, 2] can be stated as follows. Given a probability space (Ω, F ,P), let {Fn}n≥1 be a nondecreasing sequence of σ-fields of F such that F = ∨Fn and let En be the conditional expectation operator relative to Fn. Given 2 ≤ p<∞ and an p L -bounded martingale f =(fn)n≥1, we have ∞ ∞ 1/2 1/p 2 p (1.1) fLp ≈ Ek−1(|df k| ) + |df k| . Lp Lp k=1 k=1 The first term on the right is called the conditioned square function of f, while the second is called the p-variation of f. Rosenthal’s inequalities [14] can be regarded as the particular case where the sequence df =(df 1,df2, ...) is a family of independent mean-zero random variables df k = ak. In this case it is easy to reduce Rosenthal’s inequalities to ∞ ∞ ∞ 1/2 1/p ≈ 2 p (1.2) ak Lp ak 2 + ak p .
    [Show full text]
  • Functional Analysis Lecture Notes Chapter 3. Banach
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 3. BANACH SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples Notation 1.1. Throughout, F will denote either the real line R or the complex plane C. All vector spaces are assumed to be over the field F. Definition 1.2. Let X be a vector space over the field F. Then a semi-norm on X is a function k · k: X ! R such that (a) kxk ≥ 0 for all x 2 X, (b) kαxk = jαj kxk for all x 2 X and α 2 F, (c) Triangle Inequality: kx + yk ≤ kxk + kyk for all x, y 2 X. A norm on X is a semi-norm which also satisfies: (d) kxk = 0 =) x = 0. A vector space X together with a norm k · k is called a normed linear space, a normed vector space, or simply a normed space. Definition 1.3. Let I be a finite or countable index set (for example, I = f1; : : : ; Ng if finite, or I = N or Z if infinite). Let w : I ! [0; 1). Given a sequence of scalars x = (xi)i2I , set 1=p jx jp w(i)p ; 0 < p < 1; 8 i kxkp;w = > Xi2I <> sup jxij w(i); p = 1; i2I > where these quantities could be infinite.:> Then we set p `w(I) = x = (xi)i2I : kxkp < 1 : n o p p p We call `w(I) a weighted ` space, and often denote it just by `w (especially if I = N). If p p w(i) = 1 for all i, then we simply call this space ` (I) or ` and write k · kp instead of k · kp;w.
    [Show full text]
  • LEBESGUE MEASURE and L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L2 Space 4 Acknowledgments 9 References
    LEBESGUE MEASURE AND L2 SPACE. ANNIE WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue integral are then developed. Finally, we prove the completeness of the L2(µ) space and show that it is a metric space, and a Hilbert space. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L2 Space 4 Acknowledgments 9 References 9 1. Measure Spaces Definition 1.1. Suppose X is a set. Then X is said to be a measure space if there exists a σ-ring M (that is, M is a nonempty family of subsets of X closed under countable unions and under complements)of subsets of X and a non-negative countably additive set function µ (called a measure) defined on M . If X 2 M, then X is said to be a measurable space. For example, let X = Rp, M the collection of Lebesgue-measurable subsets of Rp, and µ the Lebesgue measure. Another measure space can be found by taking X to be the set of all positive integers, M the collection of all subsets of X, and µ(E) the number of elements of E. We will be interested only in a special case of the measure, the Lebesgue measure. The Lebesgue measure allows us to extend the notions of length and volume to more complicated sets. Definition 1.2. Let Rp be a p-dimensional Euclidean space . We denote an interval p of R by the set of points x = (x1; :::; xp) such that (1.3) ai ≤ xi ≤ bi (i = 1; : : : ; p) Definition 1.4.
    [Show full text]
  • Linear Spaces
    Chapter 2 Linear Spaces Contents FieldofScalars ........................................ ............. 2.2 VectorSpaces ........................................ .............. 2.3 Subspaces .......................................... .............. 2.5 Sumofsubsets........................................ .............. 2.5 Linearcombinations..................................... .............. 2.6 Linearindependence................................... ................ 2.7 BasisandDimension ..................................... ............. 2.7 Convexity ............................................ ............ 2.8 Normedlinearspaces ................................... ............... 2.9 The `p and Lp spaces ............................................. 2.10 Topologicalconcepts ................................... ............... 2.12 Opensets ............................................ ............ 2.13 Closedsets........................................... ............. 2.14 Boundedsets......................................... .............. 2.15 Convergence of sequences . ................... 2.16 Series .............................................. ............ 2.17 Cauchysequences .................................... ................ 2.18 Banachspaces....................................... ............... 2.19 Completesubsets ....................................... ............. 2.19 Transformations ...................................... ............... 2.21 Lineartransformations.................................. ................ 2.21
    [Show full text]
  • Arxiv:1712.01188V2 [Math.AP]
    GREEN’S FUNCTION FOR SECOND ORDER ELLIPTIC EQUATIONS WITH SINGULAR LOWER ORDER COEFFICIENTS SEICK KIM AND GEORGIOS SAKELLARIS Abstract. We construct Green’s function for second order elliptic operators of the form Lu = −∇ · (A∇u + bu) + c · ∇u + du in a domain and obtain pointwise bounds, as well as Lorentz space bounds. We assume that the matrix of principal coefficients A is uniformly elliptic and bounded and the lower order coefficients b, c, and d belong to certain Lebesgue classes and satisfy the condition d −∇· b ≥ 0. In particular, we allow the lower order coefficients to be singular. We also obtain the global pointwise bounds for the gradient of Green’s function in the case when the mean oscillations of the coefficients A and b satisfy the Dini conditions and the domain is C1,Dini. 1. Introduction Let Ω be a domain (i.e., an open connected set) in Rn with n ≥ 3. We consider second order elliptic operators in divergence form n n ij i i Lu = − Di(a (x)Dju + b (x)u) + c (x)Diu + d(x)u, iX,j=1 Xi=1 which hereafter shall be abbreviated as Lu = − div(A∇u + bu) + c · ∇u + du. We assume that the principal coefficients A = (aij) are measurable n × n matrices that are bounded and uniformly elliptic; i.e. there is a constant λ> 0 such that n λ|ξ|2 ≤ A(x)ξ · ξ = aij(x)ξiξj, ∀x ∈ Ω, ∀ξ ∈ Rn. (1.1) iX,j=1 We also assume that the lower order coefficients b = (b1,..., bn), c = (c1,..., cn), and d are such that b ∈ Lq(Ω), c ∈ Lr(Ω), d ∈ Ls(Ω) for some q, r ≥ n, s ≥ n/2.
    [Show full text]
  • Fourier Analysis in Function Space Theory
    Course No. 401-4463-62L Fourier Analysis in Function Space Theory Dozent: Tristan Rivi`ere Assistant: Alessandro Pigati Contents 1 The Fourier transform of tempered distributions 1 1.1 The Fourier transforms of L1 functions . 1 1.2 The Schwartz Space S(Rn)........................... 4 1.3 Frechet Spaces . 6 1.4 The space of tempered distributions S0(Rn).................. 12 1.5 Convolutions in S0(Rn)............................. 21 2 The Hardy-Littlewood Maximal Function 26 2.1 Definition and elementary properties. 26 2.2 Hardy-Littlewood Lp−theorem for the Maximal Function. 27 2.3 The limiting case p =1. ............................ 30 3 Quasi-normed vector spaces 32 3.1 The Metrizability of quasi-normed vector spaces . 32 3.2 The Lorentz spaces Lp;1 ............................ 36 3.3 Decreasing rearrangement . 37 3.4 The Lorentz spaces Lp;q ............................ 39 3.5 Functional inequalities for Lorentz spaces . 44 3.6 Dyadic characterization of some Lorentz spaces and another proof of Lorentz{ Sobolev embedding (optional) . 49 4 The Lp−theory of Calder´on-Zygmund convolution operators. 52 4.1 Calder´on-Zygmund decompositions. 52 4.2 An application of Calder´on-Zygmund decomposition . 54 4.3 The Marcinkiewicz Interpolation Theorem - The Lp case . 56 4.4 Calderon Zygmund Convolution Operators over Lp ............. 58 4.4.1 A \primitive" formulation . 60 4.4.2 A singular integral type formulation . 64 4.4.3 The case of homogeneous kernels . 69 4.4.4 A multiplier type formulation . 71 4.4.5 Applications: The Lp theory of the Riesz Transform and the Laplace and Bessel Operators . 74 4.4.6 The limiting case p =1........................
    [Show full text]
  • Weak-Type Weights and Normable Lorentz Spaces 1
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 3, March 1996 WEAK-TYPE WEIGHTS AND NORMABLE LORENTZ SPACES MAR´IA J. CARRO, ALEJANDRO GARC´IA DEL AMO, AND JAVIER SORIA (Communicated by J. Marshall Ash) Abstract. We show that the Lorentz space Λ1(w) is a Banach space if and only if the Hardy-Littlewood maximal operator M satisfies a certain weak-type estimate. We also consider the case of general measures. Finally, we study some properties of several indices associated to these spaces. 1. Introduction We are going to study weighted Lorentz spaces of functions defined in Rn as follows (for standard notation we refer to [BS] and [GR]): If u is a weight in Rn, + w is a weight in R , fu∗ denotes the decreasing rearrangement of f with respect to the measure u(x) dx and 0 <p< , we define ∞ 1/p ∞ p p p Λu(w)= f; f Λu(w) = fu∗(t) w(t)dt < . k k 0 ∞ Z If u 1, we will only write Λp(w). Classical examples are obtained by choosing ≡ (p/q) 1 p q,p w(t)=t − .InthiscaseΛ(w)=L . A classical result of G.G. Lorentz (see [Lo]) shows that Λ1(w) is a norm, if and only if, w is a decreasing function. The problem of findingk·k conditions on w so that Λp(w) is a Banach space (that is, there exists a norm equivalent to Λp(w)) was solved, for p>1, by E. Sawyer ([Sa]). This condition is that the Hardy-Littlewoodk·k maximal operator is bounded on Λp(w).
    [Show full text]
  • Multiplication and Composition Operators on Weak Lp Spaces
    Multiplication and Composition Operators on Weak Lp spaces Ren´eErlin Castillo1, Fabio Andr´esVallejo Narvaez2 and Julio C. Ramos Fern´andez3 Abstract In a self-contained presentation, we discuss the Weak Lp spaces. Invertible and compact multiplication operators on Weak Lp are char- acterized. Boundedness of the composition operator on Weak Lp is also characterized. Keywords: Compact operator, multiplication and composition oper- ator, distribution function, Weak Lp spaces. Contents 1 Introduction 2 2 Weak Lp spaces 2 3 Convergence in measure 7 4 An interpolation result 13 5 Normability of Weak Lp for p > 1 25 6 Multiplication Operators 39 7 Composition Operator 49 A Appendix 52 02010 Mathematics subjects classification primary 47B33, 47B38; secondary 46E30 1 1 Introduction One of the real attraction of Weak Lp space is that the subject is sufficiently concrete and yet the spaces have fine structure of importance for applications. WeakLp spaces are function spaces which are closely related to Lp spaces. We do not know the exact origin of Weak Lp spaces, which is a apparently part of the folklore. The Book by Colin Benett and Robert Sharpley[4] contains a good presentation of Weak Lp but from the point of view of rearrangement function. In the present paper we study the Weak Lp space from the point of view of distribution function. This circumstance motivated us to undertake a preparation of the present paper containing a detailed exposition of these function spaces. In section 6 of the present paper we first prove a charac- terization of the boundedness of Mu in terms of u, and show that the set of multiplication operators on Weak Lp is a maximal abelian subalgebra of B WeakLp , the Banach algebra of all bounded linear operators on WeakLp.
    [Show full text]