Journal of Function Spaces
Volume 2015 (2015), Article ID 182921, 5 pages
http://dx.doi.org/10.1155/2015/182921

Research Article

Two-Weight Extrapolation on Lorentz Spaces

Wenming Li,¹ Tingting Zhang,¹ and Limei Xue²

¹College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang, Hebei 050024, China
²School of Mathematics and Science, Shijiazhuang University of Economics, Shijiazhuang 050031, China

Received 24 October 2014; Accepted 17 December 2014

Academic Editor: Stanislav Hencl

Copyright © 2015 Wenming Li et al. 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 give several two-weight extrapolation theorems on Lorentz spaces which extend the results of Cruz-Uribe and Pérez (2000) and some applications for the singular integral operators, the potential type operators, and commutators.

1. Introduction and Main Results

The classical extrapolation theorem is due to Rubio de Francia [1], who showed that if sublinear operator is bounded on for some , and every , then is bounded on for every and every . Cruz-Uribe et al. [2] and Curbera et al. [3] generalized the extrapolation theorem of Rubio de Francia and got a lot of new extrapolation theorems associated with weights. These theorems have proved to be the key to solving many problems in harmonic analysis.

Cruz-Uribe and Pérez [4] gave several other extrapolation theorems for pairs of weights of the forms and , where is any nonnegative function, , and is the th iteration of the Hardy-Littlewood maximal operator. The purpose of this paper is to extend the extrapolation theorems in [4] and derive some extrapolation results on Lorentz spaces.

Let , be a nonnegative, locally integrable weight function. For a measurable function ,

is the distribution function of with respect to the measure . For , the weighted Lorentz spaces are the collection of all functions , such that , where

For , denote the conjugate exponent of : .

In the case when either and , or , or , is a Banach space. Furthermore, we have the relationship

Our main results are the following.

Theorem 1. Let and be operators (not necessarily linear), and let be a function in a suitable test class for both and . Suppose that there exist positive constants and and a positive integer such that for all weights

Then, for all , , there exists a constant depending only on , and , such that, for all weights ,

where is the largest integer less than or equal to .

Theorem 2. Let and be operators (not necessarily linear), and let be a function in a suitable test class for both and . Suppose that there exist positive constants and and a positive integer such that for all weights

Then, for all , , there exists a constant depending only on , and , such that, for all weights ,

2. Applications

Let be the Hardy-Littlewood maximal operator; Fefferman and Stein [5] showed that, for every , every nonnegative function , and every function ,

Using Theorem 1, we can get the following result.

Proposition 3. For , , there exists a constant , such that, for all weights and function ,

Let be a Calderón-Zygmund operator. Wilson [6] and Pérez [7] showed that if , then, for any weight and every ,

where the exponent is sharp. Using Theorem 1 we can get the following result.

Proposition 4. Let be a Calderón-Zygmund operator, , ; then, for any weight and every ,

For the commutators of singular integral operators with a BMO function , Pérez [8] showed the analogous weighted inequalities as in (10). By Theorem 1, we can give similar results as in Proposition 4; details are omitted.

Lerner [9] establishes

for any Calderón-Zygmund operator and any arbitrary weight . Using Theorems 1 and 2, we can get the following results.

Proposition 5. Let be a Calderón-Zygmund operator, , ; then, for any weight and all ,

Now, we consider the potential type operators and commutators. For a nonnegative, locally integrable function on , assume that satisfies the following weak growth condition: there are constants , with the property that, for all ,

The basic examples are provided by the Riesz potential of order , , defined by the kernel , .

Define the potential type operator and the maximal operator by

where

For the Riesz potential of order , . Pérez [10] studies the two-weight strong type inequalities for , .

Lemma 6 (see [10]). Let be the potential type operator with satisfying (14), let and be bounded functions with compact support, and let ; then, there exist a family of cubes and a family of pairwise disjoint subsets , , with for all , such that

where .

By Lemma 6, we can easily prove the following result.

Lemma 7. Let be the potential type operator with satisfying (14); then, there is a constant such that, for any weight and all ,

Using (18) and Theorems 1 and 2, we can get the following results.

Proposition 8. Let be the potential type operator with satisfying (14), , ; then, for any weight and every ,

For and , the commutators of potential type integral operator with a BMO function are defined by

Li [11] gave the two-weight strong type inequalities for , . We can easily get similar results as in Lemmas 6 and 7 from [11]; by Theorem 1, we can obtain some weighted inequalities for the commutators of potential type integral operators; details are omitted.

3. Proofs of Theorems

We need some notations and facts. Let be a Young function, that is, a continuous, convex, and increasing function with such that as . Given a Young function , we define the -average of a function over a cube by

In particular, for the Young function , the -average of a function over a cube is denoted by . Define the maximal function associated with the Young function as

Pérez [8] obtained that .

Proof of Theorem 1. Fix , , and let . Then, by duality,

The last inequality follows since and are associate spaces. Fixing one of these ’s, we use (4) to continue with

where is an appropriate maximal operator to be chosen soon. To conclude, we just need to show that

or equivalently

where

To do this, we choose pointwise bigger than ; then, we trivially have

Therefore, by Marcinkiewicz’s interpolation theorem for Lorentz spaces in [12], it will be enough to show that for some

which amounts to proving

But this result follows from [13]: it is shown there that, for and ,

We finally choose the appropriate parameters and weight. Let , , and pick the weight

This shows that

We conclude the proof of (5).

Proof of Theorem 2. The proof of this theorem proceeds exactly as that of (5) with minor changes. At inequality (23), fixing one of these ’s, we use (6) to continue with

For and , we have , where is a constant depending only on the dimension and is the unweighted centered Hardy-Littlewood maximal operator:

in which is the ball of radius centered at . Furthermore,

where is the weighted centered maximal operator. Then, for ,

To conclude, we just need to show that

or equivalently

where

We notice that for each . With this, we trivially have

Therefore, by Marcinkiewicz’s interpolation theorem for Lorentz spaces, it will be enough to show that for some

which amounts to proving

Taking and using the well-known fact that is bounded on , , with a constant that depends only on and , we get (43).
This shows that

Taking , we get (7). This ends the proof of Theorem 2.

Conflict of Interests

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

Acknowledgments

The authors would like to express their gratitude to the referee for his very valuable comments and suggestions. This study is supported by the Natural Science Foundation of Hebei Province (A2014205069 and A2015403040) and Postdoctoral Science Foundation of Hebei Province (B2013003007).

References

J. L. Rubio de Francia, “Factorization theory and weights,” American Journal of Mathematics, vol. 106, no. 3, pp. 533–547, 1984.

D. Cruz-Uribe, J. M. Martell, and C. Pérez, “Extrapolation from weights and applications,” Journal of Functional Analysis, vol. 213, no. 2, pp. 412–439, 2004.

G. P. Curbera, J. García-Cuerva, J. M. Martell, and C. Péreza, “Extrapolation with weights, rearrangement-invariant function spaces, modular inequalities and applications to singular integrals,” Advances in Mathematics, vol. 203, no. 1, pp. 256–318, 2006.

D. Cruz-Uribe and C. Pérez, “Two weight extrapolation via the maximal operator,” Journal of Functional Analysis, vol. 174, no. 1, pp. 1–17, 2000.

C. Fefferman and E. M. Stein, “Some maximal inequalities,” The American Journal of Mathematics, vol. 93, pp. 107–115, 1971.

J. M. Wilson, “Weighted norm inequalities for the continuous square function,” Transactions of the American Mathematical Society, vol. 314, no. 2, pp. 661–692, 1989.

C. Pérez, “Weighted norm inequalities for singular integral operators,” Journal of the London Mathematical Society: Second Series, vol. 49, no. 2, pp. 296–308, 1994.

C. Pérez, “Sharp estimates for commutators of singular integrals via iterations of the Hardy-Littlewood maximal function,” Journal of Fourier Analysis and Applications, vol. 3, no. 6, pp. 743–756, 1997.

A. K. Lerner, “Weighted norm inequalities for the local sharp maximal function,” Journal of Fourier Analysis and Applications, vol. 10, no. 5, pp. 465–474, 2004.

C. P{\'e}rez, “Two weighted inequalities for potential and fractional type maximal operators,” Indiana University Mathematics Journal, vol. 43, no. 2, pp. 663–683, 1994.

W. Li, “Two-weight norm inequalities for commutators of potential type integral operators,” Journal of Mathematical Analysis and Applications, vol. 322, no. 2, pp. 1215–1223, 2006.

C. Bennett and R. Sharpley, Interpolation of Operators, Academic Press, New York, NY, USA, 1988.

C. Pérez, “On sufficient conditions for the boundedness of the Hardy-Littlewood maximal operator between weighted -spaces with different weights,” Proceedings of the London Mathematical Society: Third Series, vol. 71, no. 1, pp. 135–157, 1995.