Abstract and Applied Analysis

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

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

## 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 [7–13].

The singular integral along surfaces which is defined by was also studied by many authors [14–18]. 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

- 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 - 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 - S. Lu and Y. Zhang, “Criterion on ${L}^{p}$-boundedness for a class of oscillatory singular integrals with rough kernels,”
*Revista Matemática Iberoamericana*, vol. 8, pp. 201–218, 1992. View at Google Scholar - 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 - 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 - L. Grafakos and A. Stefanov, “${L}^{p}$ 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 - 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 - 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 - 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 - D. X. Chen and S. Z. Lu, “${L}^{p}$ boundedness of parabolic Littlewood-Paley operator with rough kernel belonging to $F({S}^{n-1})$,”
*Acta Mathematica Scientia*, vol. 31, pp. 343–350, 2011. View at Google Scholar - 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 - 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 - 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 - L. C. Cheng and Y. Pan, “${L}^{p}$ 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 - 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 - 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 Google Scholar · View at MathSciNet - H. Wu, “${L}^{p}$ 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 - 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 - G. Hu, “${L}^{p}$$({R}^{n})$ 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 - Y. Chen and Y. Ding, “${L}^{p}$ 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 - 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 - G. Hu, “${L}^{\text{2}}({R}^{n})$ boundedness for the commutators of convolution operators,”
*Nagoya Mathematical Journal*, vol. 163, pp. 55–70, 2001. View at Google Scholar · View at MathSciNet · View at Scopus - 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 - 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 - 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 Google Scholar · View at MathSciNet