Research Article | Open Access

# Boundedness of Weighted Hardy Operator and Its Adjoint on Triebel-Lizorkin-Type Spaces

**Academic Editor:**Hans Triebel

#### Abstract

Let , , , and such that and , let be the weighted Hardy operator and its adjoint operator with respect to the weight function . In this paper, the authors establish a sufficient and necessary condition on weight function to ensure the boundedness of and on the Triebel-Lizorkin-type spaces and their predual spaces, Triebel-Lizorkin-Hausdorff spaces, which unify and generalize the known results on -type spaces.

#### 1. Introduction

This paper focuses on the boundedness of the weighted Hardy operator and its adjoint operator on Triebel-Lizorkin-type spaces and their predual spaces. Recall that, for a fixed function , the weighted Hardy operator is defined by see Carton-Lebrun and Fosset [1]. Accordingly, the adjoint operator of , named by the weighted Cesàro average operator, is defined by

This paper is motivated by the following facts. On one hand, is related to the Hardy-Littlewood maximal operators in harmonic analysis. If and , then goes back to the classical Hardy-Littlewood average : Its adjoint operator is the classical Cesàro average operator:

Xiao in [2] obtained the boundedness of on , the boundedness of on , and their corresponding operator norms. Recall that can be viewed as a generalization of (cf. [3]). Recently Tang and Zhai in [4] obtained the boundedness and norm of on . They even work to more general spaces . The boundedness of and on and its dual space are worked out. Recall that spaces ( spaces) were originally defined by Aulaskari et al. [5] in 1995 as spaces of holomorphic functions on the unit disk, which are geometric in the sense that they transform naturally under conformal mappings, and later, in 2000, were extended to the -dimensional Euclidean spaces by Essén et al. By [3, Theorem 2.3], is always a subspace of . As a generation of spaces, the spaces when and were first introduced by Cui and Yang [6] and later extended to , , and in [7]. We also refer to [4, 8–11] for more studies on these spaces.

On the other hand, it is well known that Besov spaces and Triebel-Lizorkin spaces allow a unified approach to various types of function spaces, such as Hölder-Zygmund spaces, Soblev spaces, Hardy spaces, BMO, and Bessel-potential spaces. Over hundreds of papers and books are focused on these spaces and their applications. Very recently, Yang and Yuan [7, 12] introduced the scales of homogeneous Besov-Triebel-Lizorkin-type spaces and for all , , and . These spaces unify and generalize the homogeneous Besov spaces , Triebel-Lizorkin spaces , and the spaces simultaneously. The following equivalent definition of the spaces were given in [7, Section 3].

*Definition 1.1. *Let , , , and . The space is defined to be the space of all measurable functions on such that
where the supremum is taken over all cubes with the edges parallel to the coordinate axes in .

Motivated by the above facts, a natural question is following: under what condition on the weighted Hardy operator and its adjoint are bounded on Triebel-Lizorkin-type spaces ? The main purpose of this paper is to give the sufficient and necessary condition on such that the operators and are bounded on Triebel-Lizorkin-type spaces . We have the following main results.

Theorem 1.2. *Let be a function, and let , , , and such that and . Then exists as a bounded operator if
**
Moreover, when (1.6) holds, the norm of on is given by
*

We give the proof of Theorem 1.2 in Section 2.

Finally, we make some conventions on notations. Throughout the paper, denotes the -dimensional Euclidean space, with Euclidean norm , and Lebesgue measure . A cube will always mean a cube in with the edges parallel to the coordinate axes with sidelength and volume . The dilated cube , , is the cube with the same center as and sidelength . For all , denotes the adjoint index of , namely, . will often be used to denote a positive constant, but it may vary from line to line.

#### 2. Proof of Main Results

We begin with the proof of Theorem 1.2.

*Proof of Theorem 1.2. *Suppose (1.6) holds. If , then for any cube , applying Minkowski's inequality, we have
Notice that
Then, by (1.6), we have
Thus, the operator is bounded on with operator norm no more than

Conversely, if is bounded on , then we can choose the function
where and denote, respectively, the left and right halves of , separated by the hyperplane ( is the first coordinate of ).

We now show that . Notice that the assumption on implies that . For any cube in , we consider two cases.*Case 1. *If , then . Since , then , and hence
which together with Hölder's inequality, , yields that
*Case 2. * If , then . Using Minkowski's inequality, similar to the computation of Case 1, we also obtain
Combining Cases 1 and 2 yields that
namely, and .

Since
we then have
which completes the proof of Theorem 1.2.

*Remark 2.1. * In fact, if we choose and , then
Therefore, Theorem 1.2 is consistent with [4, Theorem 4.1] since .

The weighted Hardy operator and the weighted Cesàro average operator are adjoint mutually, namely, Recall that then we have where

Similar to the proof of Theorem 1.2, we have next theorem.

Theorem 2.2. *Let be a function, and let , , , and such that and . Then exists as a bounded operator if
**Moreover, when (2.17) holds, the norm of on is given by
*

Recall that the Triebel-Lizorkin-Hausdorff spaces were originally introduced in [7, 12] and proved therein to be the predual spaces of Triebel-Lizorkin-type spaces . Triebel-Lizorkin-Hausdorff spaces unify and generalize Triebel-Lizorkin spaces (see, e.g., [13]) and Hardy-Hausdorff spaces in [14]. These spaces were further studied in [15].

By dual argument, we have the following theorems.

Theorem 2.3. *Let be a function, and let , , , and such that and . Then exists as a bounded operator if
**
Moreover, when (2.19) holds, the norm of on is given by
*

Theorem 2.4. *Let be a function, and let , , , and such that and . Then exists as a bounded operator if
**
Moreover, when (2.21) holds, the norm of on is given by
*

*Remark 2.5. * When and , then
and Theorem 2.4 is consistent with [4, Theorem 5.8] since is predual space of .

Our Theorems actually induce the following results:

In particular,

#### Acknowledgments

The authors cordially thank Professor D. C. Yang and Dr. W. Yuan for their valuable comments. This work was supported by the Fundamental Research Funds for the Central Universities (2011QN058) and (2011QN150).

#### References

- C. Carton-Lebrun and M. Fosset, “Moyennes et quotients de Taylor dans BMO,”
*Bulletin de la Société Royale des Sciences de Liège*, vol. 53, no. 2, pp. 85–87, 1984. View at: Google Scholar | Zentralblatt MATH - J. Xiao, “${L}^{p}$ and BMO bounds of weighted Hardy-Littlewood averages,”
*Journal of Mathematical Analysis and Applications*, vol. 262, no. 2, pp. 660–666, 2001. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M. Essén, S. Janson, L. Peng, and J. Xiao, “
*Q*spaces of several real variables,”*Indiana University Mathematics Journal*, vol. 49, no. 2, pp. 575–615, 2000. View at: Publisher Site | Google Scholar | Zentralblatt MATH - C. Tang and Z. Zhai, “Generalized Poincaré embeddings and weighted Hardy operator on ${Q}_{p}^{\alpha ,q}$ spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 371, no. 2, pp. 665–676, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH - R. Aulaskari, J. Xiao, and R. H. Zhao, “On subspaces and subsets of BMO
_{A}and UBC,”*Analysis*, vol. 15, no. 2, pp. 101–121, 1995. View at: Google Scholar | Zentralblatt MATH - L. Cui and Q. Yang, “On generalized Morrey spaces,”
*Siberian Mathematical Journal*, vol. 46, pp. 133–141, 2005. View at: Google Scholar - D. Yang and W. Yuan, “A new class of function spaces connecting Triebel-Lizorkin spaces and
*Q*spaces,”*Journal of Functional Analysis*, vol. 255, no. 10, pp. 2760–2809, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - L. Peng and Q. Yang, “Predual spaces for
*Q*spaces,”*Acta Mathematica Scientia B*, vol. 29, no. 2, pp. 243–250, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH - P. Li and Z. Zhai, “Well-posedness and regularity of generalized Navier-Stokes equations in some critical
*Q*-spaces,”*Journal of Functional Analysis*, vol. 259, no. 10, pp. 2457–2519, 2010. View at: Publisher Site | Google Scholar - P. Li and Z. Zhai, “Riesz transforms on
*Q*-type spaces with application to quasi-geostrophic equation,” In press, http://arxiv.org/abs/0907.0856. View at: Google Scholar - Z. Zhai, “Well-posedness for fractional Navier-Stokes equations in critical spaces close to ${\dot{B}}_{\infty ,\infty}^{-(2\beta -1)}({\mathbb{R}}^{n})$,”
*Dynamics of Partial Differential Equations*, vol. 7, no. 1, pp. 25–44, 2010. View at: Google Scholar - D. Yang and W. Yuan, “New Besov-type spaces and Triebel-Lizorkin-type spaces including
*Q*spaces,”*Mathematische Zeitschrift*, vol. 265, no. 2, pp. 451–480, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH - H. Triebel,
*Theory of Function Spaces*, Birkhäuser, Basel, Switzerland, 1983. - G. Dafni and J. Xiao, “Some new tent spaces and duality theorems for fractional Carleson measures and ${Q}_{\alpha}({\mathbb{R}}^{n})$,”
*Journal of Functional Analysis*, vol. 208, no. 2, pp. 377–422, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH - W. Yuan, Y. Sawano, and D. Yang, “Decompositions of Besov-Hausdorff and Triebel-Lizorkin-Hausdorff spaces and their applications,”
*Journal of Mathematical Analysis and Applications*, vol. 369, no. 2, pp. 736–757, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH

#### Copyright

Copyright © 2012 Canqin Tang and Ruohong Zhou. 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.