- Research
- Open access
- Published:
The boundedness of multilinear operators on generalized Morrey spaces over the quasi-metric space of non-homogeneous type
Journal of Inequalities and Applications volume 2013, Article number: 330 (2013)
Abstract
In this paper we study the multilinear fractional integral operators, the multilinear Calderón-Zygmund operators and the multi-sublinear maximal operators defined on the quasi-metric space with non-doubling measure. We obtain the boundedness of these operators on the generalized Morrey spaces over the quasi-metric space of non-homogeneous type.
MSC:42B20, 42B25, 42B35.
1 Introduction and main results
The boundedness of fractional integral operators on the classical Morrey spaces was studied by Adams [1], Chiarenza and Frasca et al. [2]. In [2], by establishing a pointwise estimate of fractional integrals in terms of the Hardy-Littlewood maximal function, they showed the boundedness of fractional integral operators on the Morrey spaces. In 2005, Sawano and Tanaka [3] gave a natural definition of Morrey spaces for Radon measures which might be non-doubling but satisfied the growth condition, and they investigated the boundedness in these spaces of some classical operators in harmonic analysis. Later on, Sawano [4] defined the generalized Morrey spaces on for non-doubling measure and showed the properties of maximal operators, fractional integral operators and singular operators in this space.
Simultaneously, in 1999, Kenig and Stein [5] gave the boundedness for multilinear fractional integrals on Lebesgue spaces. In 2002, Grafakos and Torres [6] obtained the boundedness for multilinear Calderón-Zygmund operators on Lebesgue spaces. From then on, the theory on multilinear integral operators has attracted much attention as a rapidly developing field in harmonic analysis. Recently, the authors have studied the boundedness of multilinear fractional integrals on Herz-Morrey spaces in [7–10] and the boundedness of multilinear Calderón-Zygmund operators on the Morrey-type spaces in [11–14]. Particularly, the authors [7, 11, 13, 15] established the boundedness for the multilinear operators on Morrey spaces over with non-doubling measures. In this paper, we focus on the multilinear operators on generalized Morrey spaces over quasi-metric space of non-homogeneous type and extend the works in [3–7, 11, 16].
Let be a quasi-metric space with the quasi-metric function satisfying the conditions:
-
(1)
for all , and for all .
-
(2)
There exists a constant such that for all .
-
(3)
There exists a constant such that
(1.1)
for all .
Here we point out that there is no notion of dyadic cubes on the quasi-metric space and so the method for used in [15] does not work on . Recently, Hytönen [17] introduced the notion of geometrically doubling space.
Definition 1.1 The quasi-metric space is called geometrically doubling if there exists some such that any ball , where with the center x and the radius r, can be covered by at most balls with .
Remark 1.2 Similarly as Hytönen showed in Lemma 2.3 in [17], one can deduce that if the quasi-metric space is geometrically doubling, then, for any , any ball can be covered by at most balls with , where .
Given a Borel measure μ on the quasi-metric space such that μ is finite on bounded sets, and let be geometrically doubling, then continuous, boundedly supported functions are dense in for . See Proposition 3.4 in [17] for details.
The above triple will be called a quasi-metric space of non-homogeneous type if the measure μ satisfies the following growth condition,
with the constant independent of the ball . The set of all balls satisfying is denoted by . We know that the analysis on non-homogeneous spaces plays important roles in solving the Painlevé problem as well as the Vitushkin conjecture [18, 19]. For motives of developing analysis on non-homogeneous spaces and more examples, one could see [20].
Now we give the definition of the generalized Morrey space over , which is a generalization of the classical Morrey space. Here we remark that Morrey spaces play important roles in the study of partial differential equations.
Definition 1.3 Let and a function be such that is non-decreasing. The generalized Morrey space over X, where , is defined as
with the norm given by
where kB is the ball with the same center and k times radius of the ball B.
In case , , the space becomes the classical Morrey space over X. Particularly, .
Remark 1.4 It is worth to point out that if , then and coincide as a set and their norms are mutually equivalent. This can be observed by the same arguments used in [4]. For the sake of convenience, we provide the detail. Let . Then the inclusion is obvious by that fact that is non-decreasing. To see the reverse inclusion, let and be fixed. It is sufficient to estimate
The geometrically doubling condition shows that the ball can be covered by at most balls with for any . Moreover, by the quasi-triangle inequality (1.1), we can see that if we choose . Thus,
which implies that for any . With this fact in mind, we sometimes omit parameter k in , i.e., write it by .
In this article, we consider the multilinear fractional integral operator, the multilinear Calderón-Zygmund operator and the multi-sublinear maximal operator. The multilinear fractional integral is defined by
where . When , we denote by .
Let be a multilinear operator initially defined on the m-fold product of Schwartz spaces and taking values into the space of tempered distributions. Following [6], we say that
is an m-linear Calderón-Zygmund operator if it extends to a bounded multilinear operator from to for some and , and if there exists a kernel function
, the so-called multilinear Calderón-Zygmund kernel, defined away from the diagonal in , satisfying
for all , where ’s are smooth functions with compact support; and the kernel function satisfies the size condition
and some smoothness conditions; see [6, 16] for details. In fact, as for the m-linear Calderón-Zygmund operator , we assume that, by a similar argument as that in [6, 16] for the case , if , then the m-linear Calderón-Zygmund operator
satisfies
for any .
We will also consider the multi-sublinear maximal operator , for , defined by
In case , we denote it by .
The main result of this paper can be stated as follows.
Theorem 1.5 Let and , and let . For each , let satisfy
and
with positive constants and independent of . Then there exists a constant C independent of any admissible such that
where .
If we take and , then satisfies conditions (1.4) and (1.5). We remark that if condition (1.4) is replaced by
with the constant , then the theorem is also valid. This can be seen from the proof of the theorem in the next section. Theorem 1.5 yields the following corollary.
Corollary 1.6 Let and , and let . Let and . Then there exists a constant C independent of such that
Theorem 1.7 Let and . If the functions satisfy condition (1.4) or (1.6), and satisfy
with the constant independent of , then there exists a constant C independent of any admissible such that
where .
Here we point out that if each , then the multilinear Calderón-Zygmund operator is well defined, and we will prove estimate (1.8) with the absolute constant C independent of these admissible functions. More remarks on the admissibility for will be given in Remark 3.1 in Section 3.
Observe that , for any , satisfies the conditions in the theorem, thus the corollary follows.
Corollary 1.8 Let and . Let and . Then there exists a constant C independent of such that
Theorem 1.9 Assume that is a multi-sublinear maximal operator. Let , , and satisfy condition (1.6). Then there exists a constant C independent of any admissible such that
where .
We notice that the results above are new even for the case of Euclidean spaces. Throughout this paper, the letter C always denotes a positive constant that may vary at each occurrence but is independent of the essential variable.
2 Proof of Theorem 1.5
Let us first give some requisite theorems and lemmas.
Theorem 2.1 [21]
Let , and , then the operator is bounded from into if and only if , where the constant C is independent of x and r.
Lemma 2.2 [13]
Suppose that μ is a Borel measure on X with the growth condition (1.2). Let with and . Then
-
(a)
if each ,
-
(b)
if for some j,
Proof This lemma can follow the same argument that, for the classical setting, was given by Kenig and Stein [5]. We may assume that all . One can find such that . Set , since , , , and
It follows that
Then, by the Hölder inequality and Theorem 2.1, we obtain the lemma. In fact, one could also get the lemma from [13] (or Remark 1.3, p.290 in [13]). □
Now we give the proof of Theorem 1.5.
Proof of Theorem 1.5 Let be the ball in , with center and radius , and let . For , we split it as , where for . Using this decomposition, we get
where each term in ∑′ contains at least one .
Then it suffices to show
for some and for each .
Let us first estimate for the case . From the definition of we have
From this and by the boundedness of , Lemma 2.2, we have
which implies that in the case all , inequality (2.1) holds.
To estimate (2.1) for the case , let , then
Note, for and , we get by (1.1) that
hence . This and condition (1.2) of the measure μ imply that
and so
Hence we can derive that
Using the Hölder inequality and the inequality similar to (2.2), we can see that the inequality above can be controlled by
where, in the second inequality, we have utilized the non-decreasing of function and the fact . Recall conditions (1.4) (or (1.6)) and (1.5) for the function , one sees that
Hence we obtain the pointwise estimate
for , which follows from inequality (2.1) for the case all .
It is left to consider the case for some and . For this case, we can write for that
To estimate , we use the Hölder inequality to give that, for any ,
Estimating , by the same idea used for the case all above, we get for any that
Noting and using condition (1.5), we have
Therefore, for , we have
Hence we obtain the desired inequality (2.1) for any cases. The proof of the theorem is complete. □
3 Proof of Theorems 1.7 and 1.9
In this section we first investigate the boundedness of the m-linear Calderón-Zygmund operator on the product of spaces for .
Proof of Theorem 1.7 We also let be the ball in , with center and radius , and let . For the admissible , without loss of generality, we may initially assume that are all smooth boundedly supported functions, which are dense in , and let , then is a well-defined function belonging to . If we split each as , where for , and utilize the multi-linearity of , we have the following decomposition,
where each term in ∑′ contains at least one .
Noting that is bounded from , we have
For the case , we note that for and , one can deduce from the properties of the quasi-metric ρ that
Thus we can observe that
This, together with the Fubini theorem, we have, for ,
Noting and applying the Hölder inequality, we see that the inequality above is bounded by
which, by using the non-decreasing of function , is controlled by
Therefore, we get for that
It is left to consider the case that there is and such that if , and if . For , we can write that
With the same argument as we have
Using a similar argument as that for the estimate of , we can deduce that
Hence we obtain that
Therefore, combining inequalities (3.1), (3.2) and (3.3), we have
which completes the proof of Theorem 1.7. □
Remark 3.1 We have actually proved Theorem 1.7 in the case . Here we need give some remarks about the definition and boundedness of with for . Fix any and , and use the same notations if , and if . Using a similar argument as (3.2) and (3.3), we have, if some ,
with the constant C independent of R, for all , , and .
In view of this fact, and if , then we can extend the definition of for by
By the definition, it is easy to see that the following properties hold.
-
(1)
If , then the terms in the brackets on the right-hand side of the equation above do not depend on R as long as .
-
(2)
Suppose that , and if , then the definitions of for and for coincide.
-
(3)
Theorem 1.7 holds for any admissible , .
Finally, we consider the multi-sublinear maximal function , which is strictly smaller than the m-fold produce of the maximal function . Hence we have the following lemma.
Lemma 3.2 If and , and , then there exists a constant C independent of such that
Proof of Theorem 1.9 With the same notions, we decompose each according to the ball as , where λ is a large positive constant that will be determined later. We have
where each term in ∑′ contains at least one .
It follows from Lemma 3.2 that for any and ,
It is left to study the case and for some . Hence for we have
Let be the radius of the ball D and be the center of D. We note that on the right-hand side of the inequality above, the balls D in the integrals must satisfy that and some , which implies
Further, a simple calculus yields
as long as we take λ big enough, because of . Thus,
If let , then , and we can get from the Hölder inequality and condition (1.6) on that
The theorem is proved. □
References
Adams DR: A note on Riesz potentials. Duke Math. J. 1975, 42(4):765–778. 10.1215/S0012-7094-75-04265-9
Chiarenza F, Frasca M: Morrey spaces and Hardy-Littlewood maximal function. Rend. Semin. Mat. Univ. Padova 1987, 7(3–4):273–279.
Sawano Y, Tanaka H: Morrey spaces for non-doubling measures. Acta Math. Sin. Engl. Ser. 2005, 21(6):1535–1544. 10.1007/s10114-005-0660-z
Sawano Y: Generalized Morrey spaces for non-doubling measures. Nonlinear Differ. Equ. Appl. 2008, 15(4):413–425.
Kenig CE, Stein EM: Multilinear estimates and fractional integration. Math. Res. Lett. 1999, 6(1):1–15.
Grafakos L, Torres H: Multilinear Calderón-Zygmund theory. Adv. Math. 2002, 165(1):124–164. 10.1006/aima.2001.2028
Tao X-X, Shi Y-L, Zheng T-T: Multilinear Riesz potential on Morrey-Herz spaces with non-doubling measures. J. Inequal. Appl. 2010., 2010: Article ID 731016
Tao X-X, Shi Y-L, Zhang S-Y: Boundedness of multilinear Riesz potential operators on product of Morrey spaces and Herz-Morrey spaces. Acta Math. Sin. 2009, 52(3):535–548.
Tao X-X, Shi Y-L: Boundedness for multilinear fractional integral operators on Herz type spaces. Appl. Math. J. Chin. Univ. Ser. B 2008, 23(4):437–446. 10.1007/s11766-008-1995-x
Tao X-X, Shi Y-L: Multilinear Riesz potential operators on Herz-type spaces and generalized Morrey spaces. Hokkaido Math. J. 2009, 38(3):635–662.
Shi Y-L, Tao X-X: Some multilinear operators on generalized Morrey spaces with non-doubling measures. J. Korean Math. Soc. 2012, 49(4):907–925.
Tao X-X, Zhang H-H: On the boundedness of multilinear operators on weighted Herz-Morrey spaces. Taiwan. J. Math. 2011, 15(4):1527–1543.
Tao X-X, Zheng T-T: Multilinear commutators of fractional integrals over Morrey spaces with non-doubling measures. Nonlinear Differ. Equ. Appl. 2011, 18(3):287–308. 10.1007/s00030-010-0096-8
Tao X-X, Shi Y-L: Multilinear commutators of Calderón-Zygmund operator on λ -central Morrey spaces. Adv. Math. (China) 2011, 40(1):47–59.
Iida T, Sato E, Sawano Y, Tanaka H: Multilinear fractional integrals on Morrey spaces. Acta Math. Sin. Engl. Ser. 2012, 28(7):1375–1384. 10.1007/s10114-012-0617-y
Xu J-S: Boundedness of multilinear singular integrals for non-doubling measures. J. Math. Anal. Appl. 2007, 327(1):471–480. 10.1016/j.jmaa.2006.04.049
Hytönen T: A framework for non-homogeneous analysis on metric spaces, and the RBMO space of Tosa. Publ. Mat. 2010, 54(2):485–504.
Nazarov, F, Treil, S, Volberg, S: The Tb-theorem on non-homogeneous spaces that proves a conjecture of Vitushkin. Preprint No. 519, Center de Recerca Matemàtica, Barcelona (2002)
Tolsa X: Painlevé’s problem and the semiadditivity of analytic capacity. Acta Math. 2003, 190(1):105–149. 10.1007/BF02393237
Verdera J: The fall of the doubling condition in Calderón-Zygmund theory. Publ. Mat. 2002, 46(Extra):275–292.
Edmunds DE, Kokilashvili V, Meskhi A: Bounded and Compact Integral Operators. Kluwer Academic, Dordrecht; 2002.
Acknowledgements
The authors thank the anonymous referee for reading the paper carefully and giving several useful suggestions. The research was partially supported by the National Nature Science Foundation of China under grants #11171306 and #11071065, and it was partially sponsored by the Scientific Project of Zhejiang Provincial Science Technology Department under grant #2011C33012 and the Nature Science Foundation of Zhejiang Province under grant #LY12A01024.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
XT finished the proof and the revised writing work. SH gave XT the first version of the manuscript. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Tao, X., He, S. The boundedness of multilinear operators on generalized Morrey spaces over the quasi-metric space of non-homogeneous type. J Inequal Appl 2013, 330 (2013). https://doi.org/10.1186/1029-242X-2013-330
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-330