About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis

Volume 2014 (2014), Article ID 393147, 8 pages

http://dx.doi.org/10.1155/2014/393147
Research Article

Bounds for the Commutators of Oscillatory Singular Integrals with Rough Kernels

Department of Applied Mathematics, University of Science and Technology Beijing, Beijing 100083, China

Received 27 May 2014; Accepted 18 July 2014; Published 5 August 2014

Academic Editor: Abdelghani Bellouquid

Copyright © 2014 Yanping Chen and Kai Zhu. 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.

Abstract

We establish the boundedness for some commutators of oscillatory singular integrals with the kernel condition which was introduced by Grafakos and Stefanov. Our theorems contain various conditions on the phase function.

1. Introduction

The homogeneous singular integral operator is defined by where satisfies the following conditions.(a) is homogeneous function of degree zero on ; that is, for any and .(b) has mean zero on , the unit sphere in ; that is,

The oscillatory singular integral we will consider here is defined by If , the operator becomes the singular integral operator .

When is a real polynomial, the boundedness of was first studied by Ricci and Stein [1] with , and Hu and Pan [2] obtained the weighted boundedness of . When , , Lu and Zhang proved the boundedness [3] and this was extended to the case of by Ojanen [4] and the case of by Fan and Pan [5].

Grafakos and Stefanov [6] introduced a class of kernel functions which contains all satisfying (3) and where is a fixed constant. This kernel condition has been considered by many authors [713].

The singular integral along surfaces which is defined by was also studied by many authors [1418]. Under the condition , Pan et al. [16] established the following Theorem.

Theorem A (see [16]). Let , , and is a convex increasing function for , for some ; then, is bounded on for .

Later, Cheng and Pan [14] improved the result for by removing the condition .

Theorem B (see [14]). Let , , and is a convex increasing function for , for some ; then, is bounded on for .

It has been proved that the boundedness of on can be obtained from the boundedness of (see [5]).

For a function , let be a linear operator on some measurable function space; the commutator between and is defined by .

It has been proved by Hu [19] that is a sufficient condition for the commutator to be bounded on , which is defined by Recently, Chen and Ding [20] established the boundedness of the commutator of singular integrals with the kernel condition .

It is natural to ask whether the similar result holds for the commutators of oscillatory singular integrals, which is defined by In this paper, we will give a positive answer to the above question by imposing some conditions on .

We first prove the boundedness of the commutator of singular integral along surfaces, which is defined by

Theorem 1. Let be a function in satisfying (2) and (3), , radial function with , and is a convex increasing function. If for some , then is bounded on .

Theorem 2. Let be a function in satisfying (2) and (3), , radial function . If for some , then is bounded on for .

Remark 3. However, for , we can not prove the boundedness of by our method using Lemma 11, since the conditions imposed on in Theorem 1 conflict with Lemma 11. Only when by removing the condition in Theorem 1 can we eliminate the conflict, and is a feasible function. Also, by another method, it is hard to give the boundedness of the maximal operator defined by

Then we give the boundedness of the commutators of oscillatory singular integral .

Let , , , and we have the following result.

Theorem 4. If is bounded on with bound , then is bounded on with bound .

Combining Theorem 4 with Theorems 1 and 2, respectively, we can get the following two theorems immediately.

Theorem 5. Let be a function in satisfying (2) and (3), , radial function with , and is a convex increasing function. If for some , then is bounded on .

Theorem 6. Let be a function in satisfying (2) and (3), , radial function . If for some , then is bounded on for .

In above theorems, the phase functions are radial. But when Ricci and Stein first studied the oscillatory singular integral , they take , apparently nonradial. In Theorem 7, we will take , and this condition was mentioned in [21].

Theorem 7. Let be a function in satisfying (2) and (3), . If is an odd kernel for some , is an even phase; then, extends to a bounded operator from into itself for .

2. Lemmas

We give some lemmas which will be used in the proof of Theorems 1 and 2.

Lemma 8. Let be a family of multipliers such that , , and for some constants , and Let be the multiplier operator defined by , . For , denote by the commutator of . Then for any , there exists a positive constant such that

Proof. We assume that . Let and let be a radial function such that , and for . Set and for positive integer . Let the inverse Fourier transform of . Split as

Let be the convolution operator whose kernel is ; that is, . Recall that . Trivial computation shows that . This via the Young inequality says that Note that . Thus On the other hand, by the Yong inequality, we have Then, using the same argument of the proof of Lemma 2 in [22] we can prove Lemma 8.

Let the measure on be defined by for all . Define the maximal operator in by .

Lemma 9 (see [18]). Suppose is bounded on for all . Then, for arbitrary functions , the following vector valued inequality: holds with any .

The maximal function in is defined by We know that the boundedness of is deduced from the boundedness of by method of rotations, and if is as in Theorem 1 or Theorem 2, is a bounded operator on for all (see [23, 24]).

Let be a radial function satisfying with its support in the unit ball and for . The function satisfies for . For , denote by and the convolution operators whose symbols are and , respectively.

Lemma 10 (see [20]). For the multiplier , , and any fixed , we have where is independent of and .

Let and let be a radial function such that , , and , . Define the multiplier operator by .

Lemma 11. For any , define the operator by , and is monotonic and satisfies condition or :(1) ;(2) , for , and , if , , if . Let , and denote by the commutator of . Suppose satisfying (2). Then for any fixed , ,

Proof. We prove it by using arguments which are essentially the same as those in the proof of Lemma 3.7 in [20]. Two things must be modified:(i)instead of Lemma 3.6 in [20], we use Lemma 9;(ii)In [20], , and is the paraproduct of Bony [25] between two functions and . In the estimate of , we will use the following formulas: by Lemma 10, If satisfies condition (1), we have Thus If satisfies condition (2), we have Thus if , and if ,

3. The Proof of Theorems 1 and 2

Proof of Theorem 1. Let and let be a radial function such that , , and Define the multiplier operator by Let the measure on be defined by for all . Since we get Define the operator , where and the multiplier From the above notation, it is easy to see that where Then by the Minkowski inequality, we get For , we recall By Lemma 2.3 of [16], we have Denote by the before components truncation of ; that is, Since we get Set , . Recall that by . Straightforward computations lead to Since we get Let be the operator defined by . Denote by and . Similarly, denote by and . Thus via the Plancherel theorem and Lemma 8 it is stated that for any fixed , , Dilation-invariance says that By the proof of Theorem 1 in [20], we can get So, we have For , by Lemma 2.3 of [16], if satisfies the hypotheses in Theorem 1, we have When , if , we also have the above estimates (see [14]). Set , . Recall by . Straightforward computations lead to Let be the operator defined by . Denote by and . Similarly, denote by and . Thus via the Plancherel theorem and Lemma 8 it is stated that for any fixed , , Dilation-invariance says that By the proof of Theorem 1 in [20], we can get So take , and we have Then, by (50) and (56) we obtain Theorem 1.

Proof of Theorem 2. By (36), we have For , recall ; then, . , and applying Lemma 11, we get for Interpolating between (49) and (58) with , as the proof of Theorem 1 in [20], we can get For , , and applying Lemma 11, we get for any fixed , , Take ; then, we get For , (55) can be established only when , so interpolating between (55) and (61) with , as the proof of Theorem 1 in [20], we get Then, by (59) and (62) we obtain Theorem 2.

4. The proof of Theorems 4 and 7

We begin with a lemma, which plays an important role in proving Theorem 4.

Lemma 12. Let , , and ; then, and .

Proof. We know where and is the square in whose edges are parallel to the axis. So where is the square in whose edges are parallel to the axis. Consider where is the projection on of and is the side length of . Then

Proof of Theorem 4. By Lemma 12, . Using the method in [5], for and , let . Then by mean value theorem of integrals and Lemma 12, we have Dividing both sides by and letting , we obtain Thus, we obtain Theorem 4.

Proof of Theorem 7. Theorem 7 can be proved by using arguments which are essentially the same as the proof of Theorem 1 in [20]. Only the following two things must be modified.(i)Instead of and , we use (ii)Since is odd and is even with respect to , we get is odd and . So we use the estimates in [21]: Consider

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The research was supported by NCET of China (Grant: NCET-11-0574), the Fundamental Re-search Funds for the Central Universities (FRF-TP-12-006B), NSF of China (Grant: 10901017), and CSC Funding of China.

References

  1. F. Ricci and E. M. Stein, “Harmonic analysis on nilpotent groups and singular integrals. I. Oscillatory integrals,” Journal of Functional Analysis, vol. 73, no. 1, pp. 179–194, 1987. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  2. Y. Hu and Y. Pan, “Boundedness of oscillatory singular integrals on Hardy spaces,” Arkiv för Matematik, vol. 30, no. 2, pp. 311–320, 1992. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  3. S. Lu and Y. Zhang, “Criterion on Lp-boundedness for a class of oscillatory singular integrals with rough kernels,” Revista Matemática Iberoamericana, vol. 8, pp. 201–218, 1992.
  4. H. Ojanen, “Weighted estimates for rough oscillatory singular integrals,” Journal of Fourier Analysis and Applications, vol. 6, no. 4, pp. 427–436, 2000. View at Publisher · View at Google Scholar · View at MathSciNet
  5. D. Fan and Y. Pan, “Singular integral operators with rough kernels supported by subvarieties,” American Journal of Mathematics, vol. 119, no. 4, pp. 799–839, 1997. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. L. Grafakos and A. Stefanov, “Lp bounds for singular integrals and maximal singular integrals with rough kernels,” Indiana University Mathematics Journal, vol. 47, no. 2, pp. 455–469, 1998. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. H. Al-Qassem and A. Al-Salman, “Rough Marcinkiewicz integral operators,” International Journal of Mathematics and Mathematical Sciences, vol. 27, no. 8, pp. 495–503, 2001. View at Publisher · View at Google Scholar · View at MathSciNet
  8. A. Al-Salman and Y. Pan, “Singular integrals with rough kernels,” Canadian Mathematical Bulletin, vol. 47, no. 1, pp. 3–11, 2004. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. J. Chen, D. Fan, and Y. Pan, “A note on a Marcinkiewicz integral operator,” Mathematische Nachrichten, vol. 227, pp. 33–42, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  10. D. X. Chen and S. Z. Lu, “Lp boundedness of parabolic Littlewood-Paley operator with rough kernel belonging to F(Sn-1),” Acta Mathematica Scientia, vol. 31, pp. 343–350, 2011.
  11. J. Chen and C. Zhang, “Boundedness of rough singular integral operators on the Triebel—Lizorkin spaces,” Journal of Mathematical Analysis and Applications, vol. 337, no. 2, pp. 1048–1052, 2008. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  12. D. Fan, K. Guo, and Y. Pan, “A note of a rough singular integral operator,” Mathematical Inequalities and Applications, vol. 2, no. 1, pp. 73–81, 1999. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. L. Grafakos, P. Honzik, and D. Ryabogin, “On the p-independence boundedness property of Calderón-Zygmund theory,” Journal für die Reine und Angewandte Mathematik, vol. 602, pp. 227–234, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  14. L. C. Cheng and Y. Pan, “Lp bounds for singular integrals associated to surfaces of revolution,” Journal of Mathematical Analysis and Applications, vol. 265, no. 1, pp. 163–169, 2002. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  15. D. Fan and S. Sato, “A note on singular integrals associated with a variable surface of revolution,” Mathematical Inequalities and Applications, vol. 12, no. 2, pp. 441–454, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  16. Y. Pan, L. Tang, and D. Yang, “Boundedness of rough singular integrals associated with surfaces of revolution,” Advances in Mathematics, vol. 32, no. 6, pp. 677–682, 2003 (Chinese). View at MathSciNet
  17. H. Wu, “Lp bounds for Marcinkiewicz integrals associated to surfaces of revolution,” Journal of Mathematical Analysis and Applications, vol. 321, no. 2, pp. 811–827, 2006. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  18. Y. Zhang, J. Chen, and C. Zhang, “Boundedness of singular integrals along surfaces on Lebesgue spaces,” Applied Mathematics-A Journal of Chinese Universities, vol. 25, no. 2, pp. 192–198, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. G. Hu, “Lp(Rn) boundedness for the commutator of a homogeneous singular integral operator,” Studia Mathematica, vol. 154, no. 1, pp. 13–27, 2003. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. Y. Chen and Y. Ding, “Lp bounds for the commutators of singular integrals and Maximal singular integrals with rough kernels,” Transactions of the American Mathematical Society, 2014. View at Publisher · View at Google Scholar
  21. C. Zhang and Y. Zhang, “Boundedness of oscillatory singular integral with rough kernels on Triebel-Lizorkin spaces,” Applied Mathematics, vol. 28, no. 1, pp. 90–100, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. G. Hu, “L2(Rn) boundedness for the commutators of convolution operators,” Nagoya Mathematical Journal, vol. 163, pp. 55–70, 2001. View at MathSciNet · View at Scopus
  23. W. Kim, S. Wainger, J. Wright, and S. Ziesler, “Singular integrals and maximal functions associated to surfaces of revolution,” Bulletin of the London Mathematical Society, vol. 28, no. 3, pp. 291–296, 1996. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. J. Duoandikoetxea and J. L. Rubio de Francia, “Maximal and singular integral operators via Fourier transform estimates,” Inventiones Mathematicae, vol. 84, no. 3, pp. 541–561, 1986. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  25. J. Bony, “Calcul symbolique et propagation des singularities pour les equations aux derivees partielles non lineaires,” Annales Scientifiques de l'École Normale Supérieure, vol. 14, no. 2, pp. 209–246, 1981. View at MathSciNet