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

Yanping Chen and Kai Zhu

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.

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.

S. Lu and Y. Zhang, “Criterion on -boundedness for a class of oscillatory singular integrals with rough kernels,” Revista Matemática Iberoamericana, vol. 8, pp. 201–218, 1992.

H. Ojanen, “Weighted estimates for rough oscillatory singular integrals,” Journal of Fourier Analysis and Applications, vol. 6, no. 4, pp. 427–436, 2000.

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.

L. Grafakos and A. Stefanov, “ bounds for singular integrals and maximal singular integrals with rough kernels,” Indiana University Mathematics Journal, vol. 47, no. 2, pp. 455–469, 1998.

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.

A. Al-Salman and Y. Pan, “Singular integrals with rough kernels,” Canadian Mathematical Bulletin, vol. 47, no. 1, pp. 3–11, 2004.

J. Chen, D. Fan, and Y. Pan, “A note on a Marcinkiewicz integral operator,” Mathematische Nachrichten, vol. 227, pp. 33–42, 2001.

D. X. Chen and S. Z. Lu, “ boundedness of parabolic Littlewood-Paley operator with rough kernel belonging to ,” Acta Mathematica Scientia, vol. 31, pp. 343–350, 2011.

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.

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.

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.

L. C. Cheng and Y. Pan, “ bounds for singular integrals associated to surfaces of revolution,” Journal of Mathematical Analysis and Applications, vol. 265, no. 1, pp. 163–169, 2002.

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.

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).

H. Wu, “ bounds for Marcinkiewicz integrals associated to surfaces of revolution,” Journal of Mathematical Analysis and Applications, vol. 321, no. 2, pp. 811–827, 2006.

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.

G. Hu, “ boundedness for the commutator of a homogeneous singular integral operator,” Studia Mathematica, vol. 154, no. 1, pp. 13–27, 2003.

Y. Chen and Y. Ding, “ bounds for the commutators of singular integrals and Maximal singular integrals with rough kernels,” Transactions of the American Mathematical Society, 2014.

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.

G. Hu, “ boundedness for the commutators of convolution operators,” Nagoya Mathematical Journal, vol. 163, pp. 55–70, 2001.

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.

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.

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.