Research Article | Open Access
Songbai Wang, Yinsheng Jiang, "Estimates for Multilinear Commutators of Marcinkiewicz Integrals with Nondoubling Measures", Journal of Function Spaces, vol. 2013, Article ID 394732, 8 pages, 2013. https://doi.org/10.1155/2013/394732
Estimates for Multilinear Commutators of Marcinkiewicz Integrals with Nondoubling Measures
Let be a nonnegative Radon measure on satisfying for all , and some fixed and The authors obtain some estimates for the multilinear commutators generated by Marcinkiewicz integral and functions on certain Hardy-type spaces, where space was introduced by Tolsa in (Mathematische Annalen, 2001).
We will work on the -dimensional Euclidean space with a nonnegative Radon measure which only satisfies the following growth condition that there exists a consist such that where is the open ball centered at some point and having radius . The measure in (1) is not assumed to satisfy the doubling condition which is a key assumption in the analysis on spaces of homogeneous type. In recent years, considerable attention has been paid to the study of function spaces and the boundedness of Calderón-Zygmund operators with nondoubling measures and many classical results have been proved still valid if the underlying measure is substituted by a nondoubling Radon measure as in (1); see [1–7] and their references. It is worth pointing out that the analysis with nondoubling measures plays an essential role in solving the long-standing Painlevé open problem; see .
By a cube we mean a closed cube whose sides are paralleled to the axes and we denote its side length by and its center by . Let and be positive constants such that and ; for a cube , we say that is -doubling if , where denotes the cube concentric with , having side length . In what follows, for definiteness, if and are not specified, by a doubling cube we mean a -doubling cube. Especially, for any give cube , we denote by the smallest doubling cube in the family . For two cubes , set where is the first positive integer such that .
Definition 1. Let be some fixed constant, we say that a function belongs to the space if there is a constant such that
and if are doubling cubes,
where the supremum is taken over all cubes concentered at some point of and is the mean value of on ; namely,
The minimal constant in (3) and (4) is defined to be norm of and is defined by .
In  Tolsa introduced the space and showed that the definition of is independent of the choice of numbers . In the sequel we will choose .
To state our results, we need to recall some necessary notation and definitions. Let be a locally integrable function on . Assume that there exists a constant such that for with , and for any , , and , with , for any . The Marcinkiewicz integral associated with the above kernel and the measure as in (1) is defined by In what follows, we will always assume that is bounded on . For and , , we formally define the multilinear commutator by where not only satisfies the size condition (6) but also satisfies a strong Hömander type condition: for all and For , , we denote by .
Remark 2. With the assumption that is bounded on , Hu et al.  established that the integral as in (8) with kernel satisfying (6) and (7) is bounded from to , from to , and from to , respectively, where the function space is the subset of function space . At the same time, the authors obtain the boundedness of the commutator , respectively, from to itself for and from the space to , where the kernel satisfies (6) and (10). Such type of multilinear commutators when is a nondoubling measure was introduced by Zhang  and its -boundedness has been established.
In this sequel, for , we denote by the family of all finite subsets of with different elements. For any , the complementary sequence is given by . Let be a finite family of locally integrable functions. For all and , we define where and are cubes in and , . With this notation, we write If , we simply write
In this paper, we will deal with the multilinear commutators for Marcinkiewicz integrals on the Hardy-type spaces with nondoubling measures. Now we recall the definition of the atomic block Hardy spaces.
Definition 3. Let , , . Suppose for . A function is called a -atomic block if (a)there exists some cube such that ;(b) for all and ;(c)for , there is function supported on cubes and numbers such that and
Then, we denote
We say that , if there exist -atomic blocks such that
with . The norm of is defined by
where the infimum is taken over all the possible decomposition of in -atomic blocks.
From the definition, we have the following properties that for any , and with , and for any and , and for any , and , For some more details about this Hardy-type space, see  and its references. It is valuable to point out that, if , the space is just the Hardy space introduced by Tolsa in  with equivalent norm, which was proved by the authors in .
Let us state our main results as follows.
Throughout this paper, denotes a constant that is independent of the main parameters involved but whose value may differ from line to line. We use the constant with subscripts to indicate its dependence on the parameters in the subscripts.
2. Proof of Theorems
To prove our Theorems, we need the following lemma; see .
Lemma 7. Let and , for , and . Then there exists a constant such that for any cube ,
Proof of Theorem 4. For each fixed , one has the decomposition
where are -atomic blocks as in Definition 3, such that
Let be a cube such that ; for each fixed , decompose as
where for and
is supported on some cube such that and it satisfies the following condition:
With the aid of the formulate that for ,
we can write
With weak -boundedness of , Hölder’s inequality, Lemma 7, and (26), it states that
where we have used the face derived from ,
Now we turn to estimate the term . Write
To estimate , further decompose Choose ; the Hölder inequality, -boundedness of (see ), Lemma 7, (26), and (30) yield that On the other hand, , and ; it is easy to get that is equivalent to and . By (6), the Hölder inequality, the Minkowski inequality, Lemma 7, (26) and (30), one has where we have used the fact that for ,
Now we turn to estimate :
Note that for ,
By (6), the Minkowski inequality, Lemma 7, the Hölder inequality, (26), and (37), we obtain that For , by the generalization of the Hölder inequality, John-Nirenberg’s inequality, (10), and a similar statement in [4, pages 12-13], we have Then, we can get the estimate of : Combining the estimates for and then yields the desired estimate for , which together with the estimate for indicates that
This finishes the proof of Theorem 4.
Proof of Theorem 5. By a standard argument, we only need to verify that for any -atomic block as in Definition 3 with ,
where is a constant independent of . Let all the notation be the same as in Definition 3. By our choices, , now they satisfy satisfies the following condition:
Write To estimate , we further decompose The Hölder inequality, -boundedness of (see ), and (43) tell us From (6), the Hölder inequality, Lemma 7, and (43), it follows that Now we turn to estimate . Involving the vanishing moment of , we can write An argument similar to estimate together with the Hölder inequality, Lemma 7, and (43) tell us that
The estimates for and lead to (42). The proof of Theorem 5 is completed.
Then, we can get the following corollaries directly.
As a special example of Theorem 3.4 in , we conclude that the commutator version for Marcinkiewicz integral are bounded from to using a different method.
Theorem HL (see ). Let , and , and let T be a sublinear operator that is bounded from to weak and is bounded from to weak ; then there is a positive constant such that for any , measurable function with ,
From the above Theorem HL and Theorem 4, one has the following corollary.
Conflict of Interests
The authors declare that they have no conflict of interests.
- X. Tolsa, “BMO, , and Calderón-Zygmund operators for non doubling measures,” Mathematische Annalen, vol. 319, no. 1, pp. 89–149, 2001.
- X. Tolsa, “A proof of the weak inequality for singular integrals with non doubling measures based on a Calderón-Zygmund decomposition,” Publicacions Matemàtiques, vol. 45, no. 1, pp. 163–174, 2001.
- X. Tolsa, “The space for nondoubling measures in terms of a grand maximal operator,” Transactions of the American Mathematical Society, vol. 355, no. 1, pp. 315–348, 2003.
- G. E. Hu, Y. Meng, and D. C. Yang, “Boundedness of some maximal commutators in Hardy-type spaces with non-doubling measures,” Acta Mathematica Sinica (English Series), vol. 23, no. 6, pp. 1129–1148, 2007.
- Y. Jiang, “Spaces of type BLO for non-doubling measures,” Proceedings of the American Mathematical Society, vol. 133, no. 7, pp. 2101–2107, 2005.
- F. Nazarov, S. Treil, and A. Volberg, “Cauchy integral and Calderón-Zygmund operators on nonhomogeneous spaces,” International Mathematics Research Notices, no. 15, pp. 703–726, 1997.
- F. Nazarov, S. Treil, and A. Volberg, “Weak type estimates and Cotlar inequalities for Calderón-Zygmund operators on nonhomogeneous spaces,” International Mathematics Research Notices, no. 9, pp. 463–487, 1998.
- G. Hu, H. Lin, and D. Yang, “Marcinkiewicz integrals with non-doubling measures,” Integral Equations and Operator Theory, vol. 58, no. 2, pp. 205–238, 2007.
- J. Zhang, Boundedness of Marcinkiewicz integrals wtih Non-doubling measures [M.S. thesis], Xinjiang University, 2009.
- G. Hu, Y. Meng, and D. Yang, “New atomic characterization of space with non-doubling measures and its applications,” Mathematical Proceedings of the Cambridge Philosophical Society, vol. 138, no. 1, pp. 151–171, 2005.
- Y. Ding, S. Lu, and Q. Xue, “Boundedness of commutators for the Marcinkiewicz integrals on Hardy spaces,” Mathematical Sciences Research Hot-Line, vol. 5, no. 9, pp. 47–58, 2001.
- G. Hu and S. Liang, “Another characterization of the Hardy space with non doubling measures,” Mathematische Nachrichten, vol. 279, no. 16, pp. 1797–1807, 2006.
Copyright © 2013 Songbai Wang and Yinsheng Jiang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.