# Endpoint Estimates for a Class of Littlewood-Paley Operators with Nondoubling Measures

- Qingying Xue
^{1}Email author and - Juyang Zhang
^{1}

**2009**:175230

https://doi.org/10.1155/2009/175230

© Q. Xue and J. Zhang. 2009

**Received: **18 April 2009

**Accepted: **18 August 2009

**Published: **28 September 2009

## Abstract

Let be a positive Radon measure on which may be nondoubling. The only condition that satisfies is for all , , and some fixed constant . In this paper, we introduce the operator related to such a measure and assume it is bounded on . We then establish its boundedness, respectively, from the Lebesgue space to the weak Lebesgue space , from the Hardy space to and from the Lesesgue space to the space . As a corollary, we obtain the boundedness of in the Lebesgue space with .

## Keywords

## 1. Introduction

for all , where is some fixed number with . For example, In 2001, Tolsa in [1, 2] investigated the weak (1,1) inequality for singular integrals, the Littlewood-Paley theory and the theorem with nondoubling measures. In 2002, García-Cuerva and Gatto [3] investigated the boundedness properties of fractional integral operators associated to nondoubling measures. In 2005, Hu et al. [4] studied the multilinear commutators of singular integrals with nondoubling measures. Since 2007, Hu et al. [5] have proved some boundedness results of Marcinkiewicz integrals with nondoubling measures on some function spaces.

On the other hand, let be a function on such that there exist positive constants , , , and satisfying

Note that if we replace by in the above definition and when is the Poisson kernel, we obtain classical -function defined and studied by Stein [6] and later by Fefferman [7], where the weak (1,1) with and weak with boundedness of function were obtained. In the same paper, Fefferman [7] also established the bounds of for and . For the more generalized -function defined by (1.1), the boundedness is also well known (see, e.g., [8, pages 309–318]). On the other hand, inspired by the works of Sakamoto and Yabuta in 1999, the first author in this paper studied parametric -function systematically in his PhD thesis [9]. Later, in 2008, Lin and Meng [10] gave some results on parametric -function with nondoubling measures. But their result only valid for , one cannot obtain the results for classical operators even for or in the classical case studied by Stein in 1961 [6].

In this paper, we will study the properties of operator with nondoubling measures on some function spaces under the conditions (a)–(c).

First, before stating our main results, we give some notation and definitions, let be a closed cube with sides parallel to the axes. Denote its side length by and its center by . Given and , we say is -doubling if , where is the cube concentric with with side length . If are not specified, by a doubling cube we mean a -doubling cube. For any cube , we denote by the smallest doubling cube which contains and has the same center as .

with , where is the first integer such that .

In the article of [1, page 95], we know that with constants that may depend on and . The following atomic Hardy space was introduced by Tolsa in [11].

Definition 1.1.

For a fixed , a function is called an atomic block if

(1)there exists some cube such that ;

where the infimum is taken over all the possible decompositions of in atomic blocks.

It was shown by Tolsa that the space was proved to be the Hardy space in [11] with equivalent norms. We will denote the space and the norm , respectively, by and for convenience. He also proved that the dual space of is the following space .

Definition 1.2.

where denotes the mean value of over cube . The minimal constant above is defined to be the norm of in the space and denoted by .

Tolsa in [11] proved that the definition of the space and are independent of the choice of . The following space was introduced in [12]. It is easy to see that .

Definition 1.3.

The minimal constant as above is defined to be the norm of in the space , we denote it by .

In this paper, we always assume that and are considered as they are defined at the beginning of this paper. Our main results are as follows.

Theorem 1.4.

Let be a function on , satisfying (a)–(c), , . If is bounded on , then it is also bounded from to .

Theorem 1.5.

Let be a function on , satisfying (a)–(c), , . If is bounded on , then it is also bounded from to .

Theorem 1.6.

Corollary 1.7.

Let be a function on , satisfying (a)–(c), , . If is bounded on , then it is also bounded on for any .

Remark 1.8.

It is natural to consider the similar problems with more general rough kernels. However, even in the doubling measure case, if we take in (1.1) (in this case, is defined and studied by [13]), from the results in [8], we know that it is impossible to give similar results as above for Littlewood-Paley function even for . In fact, by the counter example in [13], even the boundedness does not hold. In this sense, the condition we assumed on is necessary and reasonable. On the other hand, in 2008, Lin and Meng [10] gave some results on parametric -function with nondoubling measures. In fact the results in [10] are only valid for . By the same reason as above, one cannot obtain the result when which in this case, the operator coincides with the classical operator studied by Torchinsky and Wang in [13] and it is a generalization of the classical operators studied by Stein and Fefferman.

Remark 1.9.

Even in the classical case, the index is sharp for weak boundedness; see [6] for detail.

We arrange our paper as follows, in Section 2, we give and prove some key lemmas. The proof of our main theorems will be given in Section 3. Throughout this paper, the letter will denote a positive constant that may vary at each occurrence but is independent of the essential variables. will always denote that there exists a constant , such that .

## 2. Main Lemmas

We need two lemmas given by Tolsa.

Lemma 2.1 (see [11]).

Lemma 2.2 (see [11]).

For any and any then we have one has the following:

(a)there exists a family of almost disjoint cubes (that means , depends only on ) such that

(b)for each , let be the smallest ( )-doubling cube of the form , , with that , and let , then there exists a family of functions with and with constant sign satisfying

(b.2) , where is some constant;

To prove our theorems, we prepare another two key lemmas.

Lemma 2.3.

Lemma 2.4.

Proof of Lemma 2.3.

Note that and , then , . These two inequalities will always be used in the following proof, so we will not mention them every time.

The proof of Lemma 2.3 is finished.

Proof of Lemma 2.4.

## 3. Proof of Theorems

Proof of Theorem 1.4.

To prove Theorem 1.4, we will choose and .

Let and . Applying Lemma 2.2 to and , we obtain a family of almost disjoint cubes . With the notation , , the same as in Lemma 2.2, we can decompose , with that and . And can be decomposed as . By (a.1) of Lemma 2.2, we have .

Since and , we only need to show that both and satisfy the inequality (2.4).

then we finish the proof of Theorem 1.4.

Choose small enough such that , and .

and by Lemma 2.2, we conclude that .

Therefore we finish the proof of Theorem 1.4.

Proof of Theorem 1.5.

Combining (3.27) and (3.37), we finish the proof of Theorem 1.5.

Proof of Theorem 1.6.

The method to prove (3.43) is quite similar as to prove (2.4) in the proof of Theorem 1.4 and we omit it.

This can be obtained from the same idea used before, see also the main step in [14], here we omit the proof of it.

provided that is a -doubling cube.

which completes the proof of Theorem 1.6.

Using Theorems 1.4 and 1.5 and [4, Theorem 3.1], Corollary 1.7 is obvious.

## Declarations

### Acknowledgment

The first author was supported partly by NSFC (Grant: 10701010), NSFC (Key program Grant: 10931001), CPDRFSFP (Grant: 200902070) and SRF for ROCS, SEM.

## Authors’ Affiliations

## References

- Tolsa X:
**A proof of the weak****inequality for singular integrals with non doubling measures based on a Calderón-Zygmund decomposition.***Publicacions Matemàtiques*2001,**45**(1):163–174.MathSciNetView ArticleMATHGoogle Scholar - Tolsa X:
**Littlewood-Paley theory and the****theorem with non-doubling measures.***Advances in Mathematics*2001,**164**(1):57–116. 10.1006/aima.2001.2011MathSciNetView ArticleMATHGoogle Scholar - García-Cuerva J, Gatto AE:
**Boundedness properties of fractional integral operators associated to non-doubling measures.***Publicacions Matemàtiques*2002,**46**(2):405–434.MATHGoogle Scholar - Hu G, Meng Y, Yang D:
**Multilinear commutators of singular integrals with non doubling measures.***Integral Equations and Operator Theory*2005,**51**(2):235–255. 10.1007/s00020-003-1251-yMathSciNetView ArticleMATHGoogle Scholar - Hu G, Lin H, Yang D:
**Marcinkiewicz integrals with non-doubling measures.***Integral Equations and Operator Theory*2007,**58**(2):205–238. 10.1007/s00020-007-1481-5MathSciNetView ArticleMATHGoogle Scholar - Stein EM:
**On some funcions of Littlewood-Paley and Zygmund.***Bulletin of the American Mathematical Society*1961,**67:**99–101. 10.1090/S0002-9904-1961-10515-6MathSciNetView ArticleMATHGoogle Scholar - Fefferman C:
**Inequalities for strongly singular convolution operators.***Acta Mathematica*1970,**124:**9–36. 10.1007/BF02394567MathSciNetView ArticleMATHGoogle Scholar - Torchinsky A:
*Real-Variable Methods in Harmonic Analysis, Pure and Applied Mathematics*.*Volume 123*. Academic Press, Orlando, Fla, USA; 1986:xii+462.Google Scholar - Xue Q:
*Parametric Littlewood-Paley operators, Ph.D. thesis*. Beijing Normal University; 2004.Google Scholar - Lin H, Meng Y:
**Boundedness of parametrized Littlewood-Paley operators with nondoubling measures.***Journal of Inequalities and Applications*2008,**2008:**-25.Google Scholar - Tolsa X:
**BMO**, ,**and Calderón-Zygmund operators for non doubling measures.***Mathematische Annalen*2001,**319**(1):89–149. 10.1007/PL00004432MathSciNetView ArticleMATHGoogle Scholar - Jiang Y:
**Spaces of type BLO for non-doubling measures.***Proceedings of the American Mathematical Society*2005,**133**(7):2101–2107. 10.1090/S0002-9939-05-07795-6MathSciNetView ArticleMATHGoogle Scholar - Torchinsky A, Wang SL:
**A note on the Marcinkiewicz integral.***Colloquium Mathematicum*1990,**60–61**(1):235–243.MathSciNetMATHGoogle Scholar - Xue Q, Ding Y:
**Weighted estimates for the multilinear commutators of the Littlewood-Paley operators.***Science in China. Series A*2009,**52**(9):1849–1868. 10.1007/s11425-009-0049-zMathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.