- 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 431692, 11 pages

http://dx.doi.org/10.1155/2013/431692

## Boundedness for a Class of Generalized Commutators of Fractional Hardy Operators with a Rough Kernel

^{1}Department of Mathematics, Shangrao Normal University, Shangrao 334001, China^{2}School of Mathematical Science, Beijing Normal University, Beijing 100875, China

Received 7 July 2013; Accepted 1 October 2013

Academic Editor: Csaba Varga

Copyright © 2013 Xiao Yu and Shanzhen Lu. 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

The authors consider the generalized commutator of fractional Hardy operator with a rough kernel as follows: where , , and with . The authors prove that is bounded on Herz type space and -Central Morrey space with , which is an open problem for .

#### 1. Introduction

It is well known that the C-Z singular integrals and their commutators have been studied a lot by many mathematicians; please see [1] or [2] for more details. For the generalizations of the commutators of singular integrals, Cohen [3] studied the following generalized commutator which is defined by
where is homogeneous of degree zero and satisfies the moment condition
with . Cohen [3] proved that if and , then is bounded on with . Later, Cohen and Gosselin [4] considered another type of generalized commutator as follows:
where is defined by , the *m*th remainder of Taylor series of the function at about , and satisfies the following moment condition:
with . Obviously, if we choose , becomes , the commutator of generalized by and . Furthermore, becomes if we choose .

Cohen and Gosselin proved that if , and the function has derivatives of order in BMO(), then the operator is bounded on for . Later, was studied by many mathematicians; please see [5, 6] or [7] for more details. Recently, Wang and Zhang [8] gave a new proof of Wu’s theorem in [9] by using the estimate for the elliptic equation of divergence form with partially BMO coefficients and the boundedness of the Cohen-Gosselin type generalized commutators proved by Yan in [6]. Furthermore, the method used in [8] is much simpler than that in [9]. Recently, Yu and Tao [7] proved that is bounded on -Central Morrey space.

Let be a nonnegative integral on : then the Hardy operator is defined by In 1920, Hardy [10] proved the following inequality: where and the constant is the best possible.

In 2007, Fu et al. [11] introduced the -dimensional fractional type Hardy operator as follows: where and is a locally integrable function on .

Obviously, when , is just the -dimensional Hardy operator which was proposed by Christ and Grafakos in [12].

In [11], the authors gave the characterization of the by the boundedness of the commutator of the fractional type Hardy operator on Herz type spaces. Here the space is defined by the following.

*Definition 1 (see [13]). *Let . A function is said to belong to the homogeneous Central BMO space if
where .

From [14], we know that for .

The space can be regarded as the space of bounded mean oscillation, a local version of BMO() at the origin. But the famous John-Nirenberg inequality no longer holds in .

Now we are interested in the following generalized commutator of Hardy operator: where and .

In 2010, Lu and Zhao [15] proved that when , is bounded on Herz type space and Morrey-Herz type space. Later, Gao and Yu [16] proved that is bounded on -Central Morrey spaces. However, we would like to point out that the method used in [15, 16] cannot apply to the case when . An interesting question is whether the boundedness of on Herz type space or -Central Morrey space still holds with . In this paper, we will use a different method to answer this question. Furthermore, we will consider the generalized commutator of fractional Hardy operator with a rough kernel as follows: where , , and .

In [17], we prove that is bounded from to with . Furthermore, we study the endpoint estimates of on spaces with in [17]. In this paper, we will prove that is bounded on Herz type space and -Central Morrey space when .

#### 2. Boundedness of on Herz Type Spaces

In this section, we will give the boundedness of on Herz type spaces. First we introduce some notations that will be used throughout this paper.

Let , , and for : here is the characteristic function of the set .

*Definition 2 (see [18]). *Let . Then the homogeneous Herz type space is defined by
where is defined as
with the usual modifications made when or .

Now we show our main results in this section.

Theorem 3. *Suppose , with , and has derivatives of order in with . Let with . If , and satisfies the following condition:
**
then there exists a constant , such that
*

For , is just the commutator of Hardy operator; that is, . We have the following theorem of on Herz type space.

Theorem 4. *Suppose with and . Let with . If , , and satisfies (13), then there exists a constant , such that
*

*Remark 5. *Comparing Theorems 3 and 4, we find that the restrictions on and are more rigid in Theorem 4 than in Theorem 3, which indicates that with has better properties than the commutators.

In order to prove Theorems 3 and 4, we need the following lemmas.

Lemma 6 (see [19]). *Let , and . If with , then there exists a constant independent of , such that
**
where is defined by
**
By checking [19] carefully, one can draw the conclusion that if one replaces by , then (16) still holds.*

Lemma 7. *Let and . If has derivatives of order in with and , then one has
**
where the constant is independent of and .*

*Proof. *From [20, p. 241], we have the following estimates:
where and is the Hardy-Littlewood maximal function of .

Thus we obtain
By the above estimates, we can get

For the term , let ; then by the Hölder inequality, Lemma 6, and the boundedness of Hardy-Littlewood maximal function on spaces, we obtain

For the term , let ; then by the Hölder inequality and Lemma 6, we have
Combining the estimates of and , we finish the proof of Lemma 7.

Lemma 8 (see [4]). *Let be a function on with th order derivatives in for some . Then
**
where is the cube centered at having diameter .*

Lemma 9 (see [5]). *Suppose that , , and ; then
*

*Proof of Theorem 3. *To prove Theorem 3, first we split each as
then we have

For the term , we denote ; then it is easy to check . By the fact that , with , we have . As , then by Lemmas 8 and 9, we obtain
As and , then by the Hölder inequality, we have
As
we obtain the following estimates:

For the term , we choose satisfying supp as well as in and we set . Let and . Then it is easy to see that for and with . Thus we get
Thus by Lemma 7, we have
From [5, p.80], we have the following estimates:
where is dependent on . Thus we get
As , we obtain the following estimates:
For the term , we have
When , by condition (13), we get
When , by the Hölder inequality and condition (13), we have
For the term , we have the following estimates:
Combining the estimates of and , we finish the proof of Theorem 3.

*Proof of Theorem 4. *The proof of Theorem 4 is quite similar and much easier than Theorem 3 and we omit the details here.

#### 3. Boundedness of on -Central Morrey Spaces

In [21], Wiener gave a way to describe the behavior of a function at the infinity. Later, Beurling [22] extended Weiner’s idea and introduced a pair of dual Banach spaces, and , with . In [23], Feichtinger proved that can be described as where is the characterization of the unit ball and is defined as in Section 2.

Now by duality, the space , which is called the Beurling algebra, can be described by

Later, Chen and Lau [24] as well as García-Cuerva [25] introduced atomic spaces associated with the Buerling algebra and the dual space of can be described by here the can be regarded as the inhomogeneous central BMO spaces.

In 2000, Alvarez et al. [26] introduced the -Central bounded mean oscillation space and -Central Morrey space, respectively.

*Definition 10 (see [26]). *Given , then a function is said to belong to the -Central bounded mean oscillation space if

*Definition 11 (see [26]). *Let and . Then the -Central Morrey space is defined by

From [27], we know that if , we obtain for and for . Furthermore, when , reduces to and reduces to the space of constant functions. When , coincides with modulo constant and .

In 2011, Fu et al. [19] proved the boundedness of the commutator of fractional Hardy operator with a rough kernel on -Central Morrey space. Later, Fu et al. [28] proved the boundness of the weighted Hardy operator and its commutator on -Central Morrey space. In this paper, we will give the boundedness of on -Central Morrey space with .

Our results can be stated as follows.

Theorem 12. *Suppose , , with and . Let with , and has derivatives of order in . If , , and , then one has
**
where the constant is independent of and .*

For the case , we have the following theorem.

Theorem 13. *Suppose , with and . Let with and . If , and , then one has
**
where the constant is independent of and .*

In order to prove Theorems 12 and 13, by a standard argument, we have the following lemma.

Lemma 14 (see [16]). *Suppose , , , and ; then
*

*Proof of Theorem 12. *For any , we denote by and by for any . Thus we have the following estimates:

For the term , let . Then it is easy to see . As , then by Lemmas 8 and 9, we have
where is the cube centered at and having diameter .

As and with , we have and .

Thus by the Hölder inequality and the condition , we have
Note the following fact:
where the last inequality follows from Lemma 14 and the fact . Thus by the condition and , we have

To estimate the term , we adopt some basic ideas from the estimates of the term in Theorem 3. First, we denote for and with , where with . Here and is defined as in Section 2.

As with , by Lemma 7, we get
where is defined by .

For , as , then by Lemmas 8 and 14, we have the following estimates:
Thus we have
By the above estimates, we obtain
Combining the estimates of and and by the definition of , we finish the proof of Theorem 12.

*Proof of Theorem 13. *The proof of Theorem 13 is quite similar but much simpler than Theorem 12 and we omit the details here.

#### Acknowledgments

This work was supported by the National Natural Science Foundation of China under Grant nos. 10931001, 11226104, and 11271175, the Natural Science Foundation of Jiangxi Province under Grant no. 20114BAB211007, and the Science Foundation of Jiangxi Education Department under Grant no. GJJ13703. This work was also supported by the Key Laboratory of Mathematics and Complex System (Beijing Normal University), Ministry of Education, China.

#### References

- A. P. Calderón and A. Zygmund, “On singular integrals,”
*American Journal of Mathematics*, vol. 78, pp. 289–309, 1956. View at Google Scholar · View at MathSciNet - 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. View at Google Scholar · View at MathSciNet - J. Cohen, “A sharp estimate for a multilinear singular integral in ${\mathbb{R}}^{n}$,”
*Indiana University Mathematics Journal*, vol. 30, no. 5, pp. 693–702, 1981. View at Publisher · View at Google Scholar · View at MathSciNet - J. Cohen and J. Gosselin, “A BMO estimate for multilinear singular integrals,”
*Illinois Journal of Mathematics*, vol. 30, no. 3, pp. 445–464, 1986. View at Google Scholar · View at MathSciNet - S. Lu and Q. Wu, “CBMO estimates for commutators and multilinear singular integrals,”
*Mathematische Nachrichten*, vol. 276, pp. 75–88, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - D. Y. Yan,
*Some problems on multilinear singular integral operators and multilinear oscillatory singular integral operators [Ph.D. thesis]*, Beijing Normal University, Beijing, China, 2001. - X. Yu and X. X. Tao, “Boundedness for a class of generalized commutators on
*λ*-central Morrey space,”*Acta Mathematica Sinica. English Series*, vol. 29, no. 10, pp. 1917–1926, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - C. Wang and Z. Zhang, “A new proof of Wu's theorem on vortex sheets,”
*Science China*, vol. 55, no. 7, pp. 1449–1462, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - S. Wu, “Mathematical analysis of vortex sheets,”
*Communications on Pure and Applied Mathematics*, vol. 59, no. 8, pp. 1065–1206, 2006. View at Publisher · View at Google Scholar · View at MathSciNet - G. H. Hardy, “Note on a theorem of Hilbert,”
*Mathematische Zeitschrift*, vol. 6, no. 3-4, pp. 314–317, 1920. View at Publisher · View at Google Scholar · View at MathSciNet - Z.-W. Fu, Z.-G. Liu, S.-Z. Lu, and H.-B. Wang, “Characterization for commutators of
*n*-dimensional fractional Hardy operators,”*Science in China A*, vol. 50, no. 10, pp. 1418–1426, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - M. Christ and L. Grafakos, “Best constants for two nonconvolution inequalities,”
*Proceedings of the American Mathematical Society*, vol. 123, no. 6, pp. 1687–1693, 1995. View at Publisher · View at Google Scholar · View at MathSciNet - S. Lu and D. Yang, “The central BMO spaces and Littlewood-Paley operators,”
*Approximation Theory and its Applications*, vol. 11, no. 3, pp. 72–94, 1995. View at Google Scholar · View at MathSciNet - Y. Komori, “Notes on singular integrals on some inhomogeneous Herz spaces,”
*Taiwanese Journal of Mathematics*, vol. 8, no. 3, pp. 547–556, 2004. View at Google Scholar · View at MathSciNet - S. Z. Lu and F. Y. Zhao, “CBMO estimates for multilinear Hardy operators,”
*Acta Mathematica Sinica. English Series*, vol. 26, no. 7, pp. 1245–1254, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - G. L. Gao and X. Yu, “Some estimates for the generalized Hardy operators on some function spaces,”
*Acta Mathematica Sinica. Chinese Series*, vol. 55, no. 6, pp. 1101–1110, 2012. View at Google Scholar · View at MathSciNet - X. Yu and S. Lu, “Endpoint estimates for generalized commutators of Hardy operators on ${H}^{1}$ space,”
*Journal of Function Spaces and Applications*, vol. 2013, Article ID 410305, 11 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - S. Z. Lu and D. C. Yang, “The decomposition of weighted Herz space and its applications,”
*Science in China A*, vol. 38, no. 2, pp. 147–158, 1995. View at Google Scholar · View at MathSciNet - Z. Fu, S. Lu, and F. Zhao, “Commutators of
*n*-dimensional rough Hardy operators,”*Science China*, vol. 54, no. 1, pp. 95–104, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - Y. Ding, “A note on multilinear fractional integrals with rough kernel,”
*Advances in Mathematics*, vol. 30, no. 3, pp. 238–246, 2001. View at Google Scholar · View at MathSciNet - N. Wiener, “Generalized harmonic analysis,”
*Acta Mathematica*, vol. 55, no. 1, pp. 117–258, 1930. View at Publisher · View at Google Scholar · View at MathSciNet - A. Beurling, “Construction and analysis of some convolution algebras,”
*Annales de l'Institut Fourier*, vol. 14, pp. 1–32, 1964. View at Google Scholar · View at MathSciNet - H. Feichtinger, “An elementary approach to Wiener's third Tauberian theorem on Euclidean n-space,” in
*Proceedings, Conference at Cortona 1984*, vol. 29 of*Symposia Mathematica*, pp. 267–301, Academic Press, New York, NY, USA, 1987. View at Google Scholar - Y. Z. Chen and K.-S. Lau, “Some new classes of Hardy spaces,”
*Journal of Functional Analysis*, vol. 84, no. 2, pp. 255–278, 1989. View at Publisher · View at Google Scholar · View at MathSciNet - J. García-Cuerva, “Hardy spaces and Beurling algebras,”
*Journal of the London Mathematical Society*, vol. 39, no. 3, pp. 499–513, 1989. View at Publisher · View at Google Scholar · View at MathSciNet - J. Alvarez, J. Lakey, and M. Guzmán-Partida, “Spaces of bounded
*λ*-central mean oscillation, Morrey spaces, and*λ*-central Carleson measures,”*Collectanea Mathematica*, vol. 51, no. 1, pp. 1–47, 2000. View at Google Scholar · View at MathSciNet - Z. W. Fu, Y. Lin, and S. Z. Lu, “
*λ*-central BMO estimates for commutators of singular integral operators with rough kernels,”*Acta Mathematica Sinica. English Series*, vol. 24, no. 3, pp. 373–386, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - Z. W. Fu, S. Z. Lu, and W. Yuan, “A weighted variant of Riemann-Liouville fractional integrals on ${R}^{\mathrm{n}}$,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 780132, 18 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet