WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS OF ONE-SDED OPERATORS ON ONE-SDED TREBEL-LZORKN SPACES arxiv:206.0383v [math.fa] 2 Jun 202 ZUN WE FU, QNG YAN WU, GUANG LAN WANG Abstract. Using the etrapolation of one-sided weights, we establish the boundedness of commutators generated by weighted Lipschitz functions and one-sided singular integral operators from weighted Lebesgue spaces to weighted one-sided Triebel-Lizorkin spaces. The corresponding results for commutators of one-sided discrete square functions are also obtained.. ntroduction The study of one-sided operators was motivated not only as the generalization of the theory of both-sided ones but also by the requirement in ergodic theory. n [22], Sawyer studied the weighted theory of one-sided maimal Hardy-Littlewood operators in depth for the first time. Since then, numerous papers have appeared, among which we choose to refer to [2], [3], [5], [3], [5], [6] about one-sided operators, [], [4], [7], [2] about one-sided spaces and so on. nterestingly, lots of results show that for a class of smaller operators one-sided operators) and a class of wider weights one-sided weights), many famous results in harmonic analysis still hold. Recently, Lorente and Riveros introduced the commutators of one-sided operators. n [0], they investigated the weighted boundedness for commutators generated by several one-sided operators one-sided discrete square functions, one-sided fractional operators, one-sided maimal operators of a certain type) and BMO functions. Recall that a locally integrable function f is said to belong to BMOR) if f BMO = sup f f <, fy)dy. n [], [2], they obtained the weighted inequalities for commutators of a certain kind of one-sided operators one-sided singular integrals and other one-sided operators appeared in [0]) and the weighted BMO functions. Very recently, Fu and Lu [4] introduced a class of one-sided Triebel-Lizorkin spaces and studied the boundedness for commutators with symbol b Lip α ) of where denotes any bounded interval and f = 200 Mathematics Subject Classification. 42B20, 42B25. Key words and phrases. one-sided weight, weighted Lipschitz function, one-sided Triebel- Lizorkin space, one-sided singular integral, one-sided discrete square function. Corresponding author. This work was partially supported by NSF of China Grant Nos. 090076, 7345 and 26203), NSF of Shandong Province Grant Nos. ZR200AL006).
2 ZUN WE FU, QNG YAN WU, GUANG LAN WANG one-sided Calerón-Zygmund singular integral operators and one-sided fractional integral operators. A function b Lip α, 0 < α <, if it satisfies b Lipα = And it has the following equivalent form [8]: f Lipα sup b+h) b) sup,h R, h 0 h α <. +α f f sup ) α f f q q, where q <. Obviously, if α = 0, then f BMO. n fact, BMO and Lip α are the special cases of Campanato spaces cf. [9]). t should be noted that just like functions in BMO may be unbounded, such as log. The functions in Lip α are not necessarily bounded either, for eample α Lip α. Therefore, it is also meaningful to investigate the commutators generated by operators and Lipschitz functions cf. [7], [9], [8]). nspired by the above results, we concentrate on the boundedness for commutators with symbol b belonging to weighted Lipschitz spaces) of one-sided singular operators as well as one-sided discrete square functions from weighted Lebesgue spaces to weighted one-sided Triebel-Lizorkin spaces. n [8], Paluszyński introduced a kind of Triebel-Lizorkin spaces F p α,. Fu and Lu [4] gave their one-sided versions. Definition.. [4] For 0 < α < and < p <, one-sided Triebel-Lizorkin spaces F α, p,+ and F α, p, are defined by f Ḟα, p,+ sup +h h +α f f [,+h] <, where f [,+h] = h f Ḟα, p, h>0 sup h>0 +h fy)dy. Remark.. t is clear that F α, p h +α h F α, p,+, L p f f [ h,] <, L p Fp α, F α, p, F α, p,+ F α, p, = Fp α,. Furthermore, the weighted one-sided Triebel-Lizorkin spaces have been defined in [4]. Definition.2. For 0 < α <, < p < and an appropriate weight ω, the weighted one-sided Triebel-Lizorkin spaces F α, p,+ and F α, p, are defined by f Ḟα, p,+ ω) sup +h h +α f f [,+h] <, and h>0 L p ω) f Ḟα, p, ω) sup h>0 h +α f f [ h,] <. h L p ω) One of the main objects of our study is the one-sided singular integral operators. Assume that K L R \{0}), K is said to be a Calderón-Zygmund kernel if the
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS 3 following properties are satisfied: a) There eists a positive constant B such that K)d ε< <N B, for all ε and N with 0 < ε < N, and the limit lim ε 0 + b) There eists a positive constant B 2 such that K) B 2, for all 0. c) There eists a positive constant B 3 such that K y) K) B 3 y 2, ε< < K)d eists. for any and y with > 2 y. The singular integral with Calderón-Zygmund kernel K is defined by Tf) = p.v. K y)fy)dy. R Definition.3. [2] A one-sided singular integral T + is a singular integral associated to a Calderón-Zygmund kernel K with support in,0): T + f) = lim ε 0 + +ε Similarly, when the support of K is in 0,+ ), T f) = lim ε 0 + ε K y)fy)dy. K y)fy)dy. The other main object in this paper is the one-sided discrete square function. As is known, discrete square function is of interest in ergodic theory and has been etensively studied cf. [8]). Definition.4. The one-sided discrete square function S + is defined by ) 2 S + f) = A n f) A n f) 2. n Z for locally integrable f, where A n f) = +2 n 2 fy)dy. n t is easy to see that S + f) = U + f) l 2, where U + is the sequence valued operator.) U + f) = H y)fy)dy, here see [24]). H) = R { 2 nχ 2 n,0)) } 2 n χ 2 n,0)). n Z
4 ZUN WE FU, QNG YAN WU, GUANG LAN WANG Definition.5. The one-sided Hardy-Littlewood maimal operators M + and M are defined by M + +h f) = sup fy) dy, h>0 h and M f) = sup fy) dy, h>0 h h for locally integrable f. The good weights for these operators are one-sided weights. Sawyer [22] introduced the one-sided A p classes A + p, A p, which are defined by the following conditions: A + p : A + p w) := sup a<b<c c a) p A p : A p w) := sup a<b<c c a) p when < p < ; also, for p =, b a c b c p w) d w) d) p <, b b w) d A + : M w) Cw), a.e., A : M+ w) Cw), a.e.. a w) p d) p <, Let s recall the definition of weighted Lipschitz spaces given in [7]. Definition.6. For f L loc R), µ A, p, 0 < β <, we say that f belongs to the weighted Lipschitz space Lip p β,µ if [ ] f Lip p = sup β,µ µ) β f) f p µ) p p d <, µ) where denotes any bounded interval and f = f. The weighted Lipschitz space Lip p β,µ is a Banach space modulo constants). Set Lip β,µ = Lip β,µ, By [6], when µ A, then the spaces Lip p β,µ coincide, and the norms Lip p are equivalent for different p with p, thus β,µ Lip p β,µ Lipβ,µ for any p. t is clearthat for µ, the spacelip β,µ is the classical Lipschitz space Lip β. Therefore, weighted Lipschitz spaces are generalizations of the classical Lipschitz spaces. Definition.7. [0] For appropriate b, the commutators of T + and S + are defined by T + b f) = b) by))k y)fy)dy, and respectively. S + b f) = R b) by))h y)fy)dy Now, we formulate our main results as follows. l 2,
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS 5 Theorem.. Assume that < p <, v A p and w A + p are such that µ +α = v w ) p for some 0 < α < and µ A. Then, for b Lip β,µ, there eists C > 0 such that T + b f Ḟ α, p,+ w) C f L p v), for all bounded f with compact support. Theorem.2. Assume that < p <, v A p and w A + p are such that µ +α = v w ) p for some 0 < α < +εw,v) and µ A. Then, for b Lip β,µ, there eists C > 0 such that S + b f Ḟ α, p,+ w) C f L p v), for all bounded f with compact support. Remark.2. n Theorem.2, εw,v) is a positive number depending only on w,v. Since the condition that is satisfied by H in.) is weaker than that of Calderón- Zygmund kernel K see [24]). Naturally, the requirement of α in Theorem.2 should be stronger. We remark that although like [], [2], we will continue to use the one-sided maimal functions to control the commutators of the two operators in this paper. The difference is that, by definition of one-sided Tiebel-Lizorkin spaces, the proof in this paper goes without using of one-sided sharp maimal operators. n Section 2, we will give some necessary lemmas. Then we will prove Theorem. in Section 3. n the last section, we will give the proof of Theorem.2. Throughout this paper the letter C will be used to denote various constants, and the various uses of the letter do not, however, denote the same constant. 2. Preliminaries n order to prove our results, we will firstly introduce some necessary lemmas. Lemma 2.. [4] Suppose that ω A, then there eists ε > 0 such that for all < r +ε, w r A. The primary tool in our proofs is an etrapolation theorem appeared in [2]. Lemma 2.2. [2] Let ν be a weight and T a sublinear operator defined in C c R) and satisfying τtf C σf, for all τ and σ such that σ = ντ, τ A and σ A. Then for < p <, Tf L p w) C f L p v), holds whenever w A + p and v = ν p w A p. Based on Lemma 2.3 in [2], we get the following estimate which is essential to the proofs of Theorem. and.2. Lemma 2.3. Let 0 < α <, µ A and b Lip α,µ. Assume that τ and σ = µ +α τ are such that τ A and σ A. Then there eists ε 2 > 0 such that for all < r < +ε 2, α where = [,+h]. by) b r σ r dy) /r C b Lipα,µτ ), a.e. R.
6 ZUN WE FU, QNG YAN WU, GUANG LAN WANG Proof. Since τ A, by Lemma 2., there eists ε > 0 such that for all < r +ε, τ r A. By the fact that µ A, we have α α α ) /r by) b r σ r y)dy sup J y J J J sup J y J { C b Lipα,µ α { C b Lipα,µ C b Lipα,µ τ ), r bt) b J dt) σ r y)dy ) +α)r µj) J αr J µj) +α } /r αr µy) +α)r σ r y)dy τ r y)dy } /r J /r r bt) b J dt) σ r y)dy /r for almost all R. Lemma 2.4. Assume that b Lip α,µ, µ A, R and h > 0. For each j Z +, let j = [,+2 j h], j 3. Then 2 4α 2 j 2)α ) h α b j+ b 3 C b Lipα,µ 2 α µ) +α. Proof. Since µ A, we have Therefore, h α b m b m+ h α m C2 m+)α µm+ ) m+ bt) b m+ dt m ) +α b Lipα,µ C2 m+)α b Lipα,µµ) +α. The lemma is proved. h α b j+ b 3 = j b m b m+ m=3 C b Lipα,µµ) +α j m=3 2 m+)α 2 4α 2 j 2)α ) C b Lipα,µ 2 α µ) +α. Using some notations of [0], [] and [2], we will prove Theorem. and Theorem.2, respectively.
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS 7 3. Weighted estimates for commutators of one-sided singular integrals Proof of Theorem.. Let λ be an arbitrary constant. Then T + b f) = T+ λ b)f))+b) λ)t + f). Let R, h > 0, J = [,+8h]. Write f = f +f 2, where f = fχ J, set λ = b J. Then h +α 2 h +α 2 +2h +2h +2h h +α +2h + 2 h +α + 2 h +α +2h T + b fy) T+ b f) [,+2h] dy T + b fy) T+ b b J )f 2 )+2h) dy T + b b J )f )y) dy T + b b J )f 2 )y) T + b b J )f 2 )+2h) dy by) b J T + fy) dy = 2)+)+)). By definition of Calderón-Zygmund kernel, we have ) C h +α +2h +8h +2h y t +2h)) 2 bt) b J ft) dtdy. Consider the following three sublinear operators defined on C c : 3.) M + M + 2 M + 3 f) = sup h>0 h +α f) = sup h>0 g) = sup h>0 h +α h +α +2h +2h +2h T + b b J )fχ J )y) dy, +8h +2h y t +2h)) 2 bt) b J ft) dtdy, by) b [,+8h] gy) dy. The above inequalities imply that 3.2) h +α +2h T + b fy) T+ b f) [,+2h] dy C M + f)+m+ 2 f)+m+ 3 T+ f)) ). Now, let s discuss the boundedness of these three operators. For M +. Assume that τ and σ = µ +α τ are such that τ A and σ A. Let < r < +ε 2, where ε 2 is as in Lemma 2.3. By Hölder s inequality, Lemma 2.3 and the fact that
8 ZUN WE FU, QNG YAN WU, GUANG LAN WANG T + is bounded from L r R) to L r R) [2], we get h +α +2h C h α h C h α h T + b b J )fχ J )y) dy +2h +8h C fσ h α h T + b b J )fχ J )y) r dy by) b J )fy) r dy +8h C b Lipα,µ fσ τ ). ) /r ) /r by) b J r σ r y)dy ) /r Therefore, τm + f C fσ. Then by Lemma 2.2, for w A + p and v = µ +α)p w A p, we have 3.3) M + f L p w) C f L p v). For M + 2, let j = [,+2 j h], j Z +. Then 3.4) h +α +2h C h α +2h +2h y t +2h)) 2 bt) b J ft) dtdy +8h +2 j+ h j=3 C 2 j 2) 2 h +α j=3 2 j+ C 2 j 2) 2 = C j=3 + 2 j+ h +α j=3 +2 j h +2 j+ h bt) b J t +2h)) 2 ft) dtdy +2 j h 2 j+ h +α j+ b j+ b J ft) dt 2 j )+ 2 ) ). bt) b J ft) dt bt) b j+ ft) dt j+ ) By Hölder s inequality and Lemma 2.3, we have
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS 9 3.5) ) = 2 j+ h +α bt) b j+ ft) dt j+ ) /r h α 2 j+ bt) b j+ r f r dt h j+ fσ h α 2 j+ bt) b j+ r σ r dt h j+ C2 j+)α b Lipα,µ fσ τ ). ) /r Since σ A, then by Lemma 2.4, 2 ) = 2 j+ h +α b j+ b J ft) dt j+ h α b j+ b J fσ σ dt j+ 3.6) j+ 2 4α 2 j 2)α ) C b Lipα,µ 2 α µ) +α fσ σ ) = C b Lipα,µ Then 3.4)-3.6) indicate that 3.7) +2h 2 4α 2 j 2)α ) 2 α fσ τ ). +2h y h +α +8h t +2h)) 2 bt) b J ft) dtdy C b Lipα,µ fσ τ ) 2 j C b Lipα,µ fσ τ ), j=3 2 j+)α + 24α 2 j 2)α ) 2 α where the last inequality is due to the fact that 0 < α <. Consequently, τm + 2 f C fσ. Then by Lemma 2.2, for w A + p and v = µ +α)p w A p, we have 3.8) M + 2 f L p w) C f L p v). For M 3 +. By Hölder s inequality and Lemma 2.4, we get h +α +2h C h α h by) b J gy) dy +2h C gσ h α h by) b J r gy) r dy +8h = C b Lipα,µ gσ τ ). ) /r by) b J r σ r y)dy ) /r )
0 ZUN WE FU, QNG YAN WU, GUANG LAN WANG Thus, From Lemma 2.2, we get τm + 3 g C gσ. 3.9) M + 3 g L p w) C g L p v), where w A + p and v = µ +α)p w A p. Since T + is bounded from L p v) to L p v) [2], it follows that 3.0) M + 3 T+ f) Lp w) C T + f Lp v) C f Lp v). Consequently, by 3.2), 3.3), 3.8) and 3.0), we obtain T + b f Ḟ α, p,+ ω) sup +h h +α T + b f T+ b f) [,+h] h>0 Lp ω) C f Lp v). This completes the proof of Theorem.. 4. Weighted estimates for commutators of one-sided discrete square functions Proof of Theorem.2. The procedure of this proof is analogous to that of Theorem.. Let λ be an arbitrary constant. Then S + b f) = b) by))h y)fy)dy R l 2 b) λ) H y)fy)dy + H y)by) λ)fy)dy l 2 R = b) λ S + f)+s + b λ)f)). Let R, h > 0 and let j Z be such that 2 j h < 2 j+. Set J = [,+2 j+3 ]. Write f = f +f 2, where f = fχ J, set λ = b J. Then h +α 2 h +α 2 +2h +2h +2h h +α +2h + 2 h +α + 2 h +α By definition, we have LL) h +α +2h S + b fy) S+ b f) [,+2h] dy S + b fy) S+ b b J )f 2 )) dy S + b b J )f )y) dy S + b b J )f 2 )y) S + b b J )f 2 )) dy by) b J S + fy) dy = 2L)+LL)+LLL)). h +α +2 j+2 +2 j+2 U + b b J )f 2 )y) U + b b J )f 2 )) l 2 R +2 j+3 bt) b J )ft) Hy t) H t) l 2dtdy. l 2
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS M + 4 M + 5 Define sublinear operators: +2 j+2 f) = sup S + b b j Z 2 j+α) J )fχ J )y) dy, f) = sup j Z 2 j+α) t follows that 4.) h +α +2 j+2 +2h +2 j+3 bt) b J )ft) Hy t) H t) l 2dtdy. S + b fy) S+ b f) [,+2h] dy C M + 4 f)+m+ 5 f)+m+ 3 S+ f)) ), where M + 3 is defined in 3.). t follows from 3.0) that By Theorem A in [24], we have Therefore, M + 3 S+ f) Lp w) C S + f Lp v). S + f L p v) C f L p v). 4.2) M + 3 S+ f) L p w) C f L p v) holds for w A + p and v = µ+α)p w A p. Net we shall prove that M 4 +, M+ 5 are all bounded from Lp v) to L p w). For M 4 +. Assume that τ and σ = µ+α τ are such that τ A and σ A. By Hölder s inequality, Lemma 2.3 and the fact that S + is bounded from L r R) to L r R) [24], we get Therefore, 2 j+α) C 2 jα C 2 jα +2 j+2 2 j 2 j +2 j+2 +2 j+3 C fσ 2 jα S + b b J )fχ J )y) dy 2 j S + b b J )fχ J )y) r dy by) b J )fy) r dy +2 j+3 = C b Lipα,µ fσ τ ). Then by Lemma 2.2, the inequality τm + 4 f C fσ. ) /r ) /r by) b J r σ r y)dy 4.3) M + 4 f L p w) C f L p v) holds for w A + p and v = µ +α)p w A p. ) /r
2 ZUN WE FU, QNG YAN WU, GUANG LAN WANG For M + 5, let j = [,+2 j ], j Z. Then 4.4) bt) b J )ft) Hy t) H t) l 2dt +2 j+3 +2 k+ bt) b k+ )ft) Hy t) H t) l 2dt +2 k + b k+ b J = LL )+LL 2 ). +2 k+ +2 k ft) Hy t) H t) l 2dt Since τ and σ = µ +α τ = v w ) p τ are such that τ A and σ A A, by Lemma 2., there eists ε > 0 such that when < r < + ε, τ r A and σ r A. Since α < +ε, we can choose r > such that α < r, then by Hölder s inequality and Lemma 2.3, LL ) C ) r bt) b k+ r ft) r dt k+ ) +2 k+ Hy t) H t) r l 2dt +2 k By Theorem.6 in [24], for all y [,+2 j+3 ], the kernel H satisfies r. 4.5) ) +2 k+ r Hy t) H t) r l 2dt C 2 j r +2 2 k. k Therefore 4.6) LL ) C fσ 2 j r 2 k C fσ b Lipα,µτ ) C fσ b Lipα,µτ ) k+ bt) b k+ r σ r t)dt C2 jα b Lipα,µ fσ τ ). 2 j r 2 k k+ α+ r 2 j r 2 k 2k+)α+ r ) ) r By the same proof as in Lemma 2.4 we can get that k b k+ b J = b m+ b m C2 jα +2 kα ) b Lipα,µµ +α ) m=j+3
WEGHTED LPSCHTZ ESTMATE FOR COMMUTATORS 3 Then by 4.5), Hölder s inequality and the fact that σ r A, α < r, we have LL 2 ) C b Lipα,µµ +α 2 j ) r ) 2 jα +2 kα r ) 2 k ft) r dt k+ 4.7) C b Lipα,µ fσ µ +α ) 2 j r 2 jα +2 kα ) 2 k σ r t)dt k+ C2 jα b Lipα,µ fσ τ ). Following from 4.4), 4.6) and 4.7), we get bt) b J )ft) Hy t) H t) l 2dt C2 jα b Lipα,µ fσ τ ). +2 j+3 Consequently, 2 j+α) +2 j+2 bt) b J )ft) Hy t) H t) l 2dtdy +2 j+3 C b Lipα,µ fσ τ ). Therefore, τm 5 + f C fσ. Then by Lemma 2.2, the inequality 4.8) M + 5 f L p w) C f L p v) holds for w A + p and v = µ+α)p w. Then Theorem.2 follows form 4.)-4.3) and 4.8). Remark 4.. t should be noted that by the well-known etrapolation theorem appeared in [23] and the similar estimate of Lemma 2.3, we can also obtain the corresponding boundedness for commutators generated by both-sided singular integrals and weighted Lipschitz functions from weighted Lebesgue spaces to weighted both-sided Trieble-Lizorkin spaces. n brief, we leave the completion of the proof to the interested readers. ) r References. H. Aimar and R. Crescimbeni, On one-sided BMO and Lipschitz functions, Ann. Sc. Norm. Sup. Pisa, 27998), 437-456. 2. H. Aimar, L. Forzani and F. J. Martín-Reyes, On weighted inequalities for singular integrals, Proc. Amer. Math. Soc., 25997), 2057-2064. 3. K. F. Andersen and E. T. Sawyer, Weighted norm inequalities for the Riemann-Liouville and Weyl fractional integral operators, Trans. Amer. Math. Soc., 308988), 547-558. 4. Z. W. Fu and S. Z. Lu, One-sided Triebel-Lizorkin space and its applicationsin Chinese), Sci. Sin. Math., 420), 43-52. 5. Z. W. Fu, S. Z. Lu, S. Sato and S. G. Shi, On weighted weak type norm inequalities for one-sided oscillatory singular integrals, Studia Math., 20720), 37-5. 6. J. García-Cuerva, Weighted H p spaces, Dissert. Mathematicae 62, Warszana, 979. 7. B. Hu and J. J. Gu, Necessary and sufficient conditions for boundedness of some commutators with weighted Lipschitz functions, J. Math. Anal. Appl., 3402008), 598-605. 8. R. Jones, R. Kaufman, J. M. Gosenblatt and M. Wierld, Oscillation in ergodic theory, Ergo. Th. Dynam. Sys., 8998), 889-935.
4 ZUN WE FU, QNG YAN WU, GUANG LAN WANG 9. Y. Lin, Z. G. Liu and G. X. Pan, Weighted lipschitz estimates for commutators of fractional integrals with homogeneous kernels, Taiwanese J. Math., 520), 2689-2700. 0. M. Lorente and M. S. Riveros, Two weighted inequalities for commutators of one-sided singular integrals and the discrete square function, J. Aust. Math. Soc., 792005), 77-94.. M. Lorente and M. S. Riveros, Weights for commutators of the one-sided discrete square function, the weyl fractional integral and other one-sided operators, Proc. Royal Soc. EdinburghSect. A), 352005), 845-862. 2. M. Lorente and M. S. Riveros, Two etrapolation theorems for related weights and applications, Math. nequal. Appl., 02007), 643-660. 3. F. J. Martín-Reyes, P. Ortega and A. de la Torre, Weighted inequalities for one-sided maimal functions, Trans. Amer. Math. Soc., 39990), 57-534. 4. F. J. Martín-Reyes, L. Pick and A. de la Torre, A + condition, Canad. J. Math., 45993), 23-244. 5. R. Macías and M. S. Riveros, One-sided etrapolation at infinity and singular integrals, Proc. Roy. Soc. EdinburghSect. A), 302000), 08-02. 6. F. J. Martín-Reyes and A. de la Torre, Two weighted inequalities for fractional one-sided maimal operators, Proc. Amer. Math. Soc., 7993), 483-489. 7. F. J. Martín-Reyes and A. de la Torre, One-sided BMO spaces, J. London Math. Soc., 9994), 529-542. 8. M. Paluszyński, Characterization of the Besov spaces via the commutator operator of Coifman, Rochberg and Weiss, ndiana Univ. Math. J., 44995), -7. 9. J. Peetre, On the theory of L p,λ spaces, J. Funct. Anal., 4969), 7-87. 20. C. Pérez, Sharp estimates for commutators of singular integrals via iterations of the Hardy- Littlewood maimal function, J. Fourier Anal. Appl., 6997), 743-756. 2. L. de Rosa and C. Segovia, Equivalence of norms in one-sided spaces, Collect. Math., 2002), -20. 22. E. Sawyer, Weighted inequalities for the one-sided Hardy-Littlewood maimal functions, Trans. Amer. Math. Soc., 297986), 53-6. 23. C. Segovia and J.L. Torrea, Weighted inequalities for commutators of fractional and singular integrals, Publ. Mat., 3599), 209-235. 24. A. de la Torre and J. L. Torrea, One-sided discrete square function, Studia Math., 562003), 243-260. School of Sciences, Linyi University, Linyi, 276005, P.R. China E-mail address: lyfzw@tom.com, wuqingyan@lyu.edu.cn, wangguanglan@lyu.edu.cn