- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 281562, 10 pages
Weighted Endpoint Estimates for Commutators of Riesz Transforms Associated with Schrödinger Operators
School of Mathematics and Physics, University of Science and Technology Beijing, Beijing 100083, China
Received 14 May 2013; Accepted 1 October 2013
Academic Editor: Baoxiang Wang
Copyright © 2013 Yu Liu et al. 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.
Let be a Schrödinger operator, where is the laplacian on and the nonnegative potential belongs to the reverse Hölder class for some . Assume that . Denote by the weighted Hardy space related to the Schrödinger operator . Let be the commutator generated by a function and the Riesz transform . Firstly, we show that the operator is bounded from into . Secondly, we obtain the endpoint estimates for the commutator . Namely, it is bounded from the weighted Hardy space into .
Let be a Schrödinger operator, where is the laplacian on and the nonnegative potential belongs to the reverse Holder class for some and . In this paper, we consider the Riesz transform associated with the Schrödinger operator as follows:
Let be a locally integrable function on and let be a linear operator. For a suitable function , the commutator is defined by . It is well known that when is a Calderón-Zygmund operator, Coifman et al.  proved that is a bounded operator on for if and only if .
Recently, some scholars have investigated the boundedness of the commutators generated by a function and Riesz transforms associated with the Schrödinger operator (cf. [2–8]). It follows from  that Riesz transform associated with the Schrödinger operator is not a Calderón-Zygmund operator if the potential . Their results imply that the boundedness of the commutators of Riesz transform associated with the Schrödinger operator depends on the nonnegative potential . In , the authors have obtained the weighted , , and weak the estimates for the commutator . In this paper we are interested in the weighted Hardy space estimates for , which are also the weighted endpoint estimates. It is noted that our main results generalize Theorem 2.7 and Theorem 4.1 in  to the weighted case and the function that we consider belongs to a larger class than the classical space.
Note that a nonnegative locally integrable function on is said to belong to if there exists such that the reverse Hölder inequality holds for every ball in . Obviously, if . But it is important that the class has a property of “self- improvement”; that is, if , then for some .
Assume for some . Then the auxiliary function introduced by Shen in  is defined as follows:
In , the authors define the class of locally integrable function such that
for all and , where and . A norm for , denoted by , is given by the infimum of the constants satisfying (4), after identifying functions that differ upon a constant. If we let in (4), then is exactly the John-Nirenberg space . Denote . It is easy to see that for . Hence, .
Throughout this paper, we set for any subset . Assume that the nonnegative function . We say that for if there is a constant such that for all balls in , where .
We say that , if there exists a positive constant , such that where is a Hardy-Littlewood operator.
Given a weight function for , as usual we denote by the space of all measurable functions satisfying When , will be taken to mean and . Moreover, denote by the space of all measurable functions satisfying
In the rest of this paper, we always assume that .
Because and , the Schrödinger operator generates a contraction semigroup . The maximal function associated with is defined by .
The Hardy space associated with the Schrödinger operator is defined in terms of the maximal function mentioned above (cf. ). Recently, the weighted Hardy space has been established by Liu et al.  and it is defined as follows.
Definition 1. A function is said to be in if the maximal function belongs to . The norm of such a function is defined by .
Definition 2. Let . A function is called an -atom if and the following conditions hold:(i),(ii),(iii)if , then .
In , Liu et al. gave the following atomic decomposition for the space .
Proposition 3. Assume for some . Let . Then if and only if can be written as , where are -atoms, , and the sum converges in the quasinorm. Moreover, where the infimum is taken over all atomic decompositions of into -atoms.
Following the above definition of atoms and the above atomic decomposition, we know that the weighted Hardy space is not the special case of Hardy spaces established by Yang and Zhou in .
Now we are in a position to give the main results in this paper.
Theorem 4. Let . Suppose for . Then,
Theorem 5. Let . Then, for any ,
where . Namely, the commutator is bounded from into .
This paper is organized as follows. In Section 2, we recall some basic facts to prove main results in this paper. Section 3 gives the proof of weighted estimates of Riesz transform associated with the Schrödinger operator. In Section 4, we prove Theorem 5.
Throughout this paper, the letter stands for a constant and is not necessarily the same at each occurrence. By , we mean that there exists a constant such that . Moreover, for the ball , we denote the ball by , where is a positive constant.
Firstly, we recall some lemmas of the auxiliary function which have been proved by Shen in . Throughout this section we always assume for some .
Lemma 6. The measure satisfies the doubling condition; that is, there exists such that
holds for all balls in .
Lemma 7. For ,
Lemma 8. If , then
Lemma 9. There exists such that, for any and in ,
In particular, if .
Lemma 10. There exists such that
Proposition 11. There exists a sequence of points in , such that the family of critical balls , , satisfies the following (i).(ii)There exists such that, for every , card .
Secondly, we recall the estimates of the fundamental solution of the operator and give the estimates of kernels of Riesz transform . Let denote the fundamental solution for the operator , where . Clearly, .
Lemma 12. Let be an integer.(1)Suppose for . Then there exists such that, for , (2)Suppose for . Then there exists such that, for ,
By the functional calculus, we may write
Let . From , it follows that where
And the adjoint operator of is given by where
Lemma 13. Suppose for some . Then there exists , for any integer , and ,
Thirdly, we recall some important and useful properties of weights (cf. Chapter V in ).
Proposition 14. (i) Let , . Then there exist a constant and depending only on and the constant of , such that
for any ball .
(ii) Let . If , then .
At last, we review some basic facts about the space , which have been proved in .
Proposition 15. Let and let . If , then
for all , with and , where and is the constant appearing in Lemma 9.
Lemma 16. Let , let , and let ; then
for all , with as in (27).
3. Weighted Estimates of Riesz Transforms Associated with the Schrödinger Operators
In this section, we need to prove the weighted estimates of the Riesz transform associated with the Schrödinger operator, which will be used in the proof of Theorem 5.
Theorem 17. Let . Suppose for some . Then, for ,
where and .
Proof. By the improvement of “”, for . It follows from the proof of Theorem 0.5 in  that
where and is the kernel for the operator .
Since , then it follows from Proposition 7.2 in  that for any .
By [13, Theorem 1, page 201] and [13, Corollary 2, page 205]
Since , then
By duality, we have the following.
Corollary 18. Let . Suppose for some . Then, for ,where .
In order to prove Theorem 4, we need the following lemmas.
Lemma 20. Let . Then there exists a constant , such thatwhere is the kernel of the operator .
Now we give the proof of Theorem 4.
Proof of Theorem 4. We show Theorem 4 by a method similar to the one used in the proof of Theorem 2 in . By the Calderón-Zygmund decomposition in the proof of Theorem 3.5 on page 413 in , given and , we have , with , such that the following hold.(1), for a.e. .(2)Each is supported in a ball ,
Because , by Corollary 18, we know that is bounded on ; it is clear that
Let and . Then
We only need to consider for . If , then for any . By Lemma 19, we get
If , then for any . Since is a Calderón-Zygmund kernel, by Lemma 19, Lemma 20, and [16, Lemma 3.3, page 413], we obtain
Theorem 4 is proved by combination of (39), (40), and (44).
4. Proof of Theorem 5
For we can write , where each is a atom and . Suppose that with . Write
When we consider the term , we note that as following:
Note that and
Similarly, for and , using Hölder inequality, Proposition 14, and the boundedness of the fractional integral , we obtain, for any , where we have chosen large enough and we have used Lemma 10 in the sixth inequality above.
Therefore, where we have used the fact that .
Thus, if , then
Similarly, for and , using Hölder inequality, Proposition 14, and the boundedness of the fractional integral , we obtain, for any , where we have chosen large enough.
Secondly, for any , where we have also chosen large enough.
Therefore, if , then
Thus, we have Note that, for , where .
By Theorem 4, we get Therefore,
This completes the proof of Theorem 5.
- R. R. Coifman, R. Rochberg, and G. Weiss, “Factorization theorems for Hardy spaces in several variables,” Annals of Mathematics, vol. 103, no. 3, pp. 611–635, 1976.
- Z. Guo, P. Li, and L. Peng, “ boundedness of commutators of Riesz transforms associated to Schrödinger operator,” Journal of Mathematical Analysis and Applications, vol. 341, no. 1, pp. 421–432, 2008.
- P. Li and L. Peng, “Endpoint estimates for commutators of Riesz transforms associated with Schrödinger operators,” Bulletin of the Australian Mathematical Society, vol. 82, no. 3, pp. 367–389, 2010.
- B. Bongioanni, E. Harboure, and O. Salinas, “Commutators of Riesz transforms related to Schrödinger operators,” The Journal of Fourier Analysis and Applications, vol. 17, no. 1, pp. 115–134, 2011.
- B. Bongioanni, E. Harboure, and O. Salinas, “Weighted inequalities for commutators of Schrödinger-Riesz transforms,” Journal of Mathematical Analysis and Applications, vol. 392, no. 1, pp. 6–22, 2012.
- Y. Liu, “Commutators of BMO functions and degenerate Schrödinger operators with certain nonnegative potentials,” Monatshefte für Mathematik, vol. 165, no. 1, pp. 41–56, 2012.
- Y. Liu, J. Z. Huang, and J. F. Dong, “Commutators of higher order Riesz transform associated with Schrödinger operators,” Journal of Function Spaces and Applications, vol. 2013, Article ID 842375, 15 pages, 2013.
- Y. Liu, J. Z. Huang, and J. F. Dong, “Commutators of Calderón-Zygmund operators related to admissible functions on spaces of homogeneous type and applications to Schrödinger operators,” Science China Mathematics, vol. 56, no. 9, pp. 1895–1913, 2013.
- Z. W. Shen, “ estimates for Schrödinger operators with certain potentials,” Annales de l'Institut Fourier, vol. 45, no. 2, pp. 513–546, 1995.
- J. Dziubański and J. Zienkiewicz, “Hardy space associated to Schrödinger operator with potential satisfying reverse Hölder inequality,” Revista Matemática Iberoamericana, vol. 15, no. 2, pp. 279–296, 1999.
- H. Liu, L. Tang, and H. Zhu, “Weighted Hardy spaces and BMO spaces associated with Schrödinger operators,” Mathematische Nachrichten, vol. 285, no. 17-18, pp. 2173–2207, 2012.
- D. Yang and Y. Zhou, “Localized Hardy spaces related to admissible functions on RD-spaces and applications to Schrödinger operators,” Transactions of the American Mathematical Society, vol. 363, no. 3, pp. 1197–1239, 2011.
- E. M. Stein, Real-Variable Methods, Orthogonality, and Oscillatory Integrals, vol. 43 of Princeton Mathematical Series, Princeton University Press, Princeton, NJ, USA, 1993.
- J. Duoandikoetxea, Fourier Analysis, vol. 29 of Graduate Studies in Mathematics, American Mathematical Society, Providence, RI, USA, 2001.
- C. C. Lin, H. P. Liu, and Y. Liu, “Hardy spaces associated with Schrödinger operators on the Heisenberg group,” http://arxiv.org/abs/1106.4960.
- J. García-Cuerva and J. L. Rubio de Francia, Weighted Norm Inequalities and Related Topics, vol. 116 of North-Holland Mathematics Studies, North-Holland, Amsterdam, The Netherlands, 1985.