arxiv: v1 [math.ca] 24 Mar 2008

Transcription

1 HIGHER ORDER RIESZ TRANSFORMS FOR LAGUERRE EXPANSIONS JORGE J. BETANCOR, JUAN C. FARIÑA, LOURDES RODRÍGUEZ-MESA, AND ALEJANDRO SANABRIA-GARCÍA arxiv:83.339v [math.ca] 4 Mar 8 Abstract. In this paper we investigate L p -boundedness properties for the higher order Riesz transforms associated with Laguerre operators. Also we prove that the k-th Riesz transform is a principal value singular integral operator modulus a constant times of the function when k is even. To establish our results we exploit a new identity connecting Riesz transforms in the Hermite and Laguerre settings.. Introduction The aim of this paper is to investigate higher order Riesz transforms associated with Laguerre function expansions. To achieve our goal we use a procedure that will be described below and that was developed for the first time by the authors and Torrea in [4]. Our results complete and improve in some senses the ones obtained by Graczyk, Loeb, López, Nowak and Urbina [] about higher order Riesz transforms for Laguerre expansions. For every > we consider the Laguerre differential operator L This operator can be factorized as follows d dx + x + x, x,. 4. L D D + +, where D f + / + x + d x dx adjoint of D in L,,dx. f x + d dx x f + xf, and D denotes the formal Date: March 4, 8. Mathematics Subject Classification. 4C5 primary, 4C5 secondary. This paper is partially supported by MTM7/659. Third and fourth authors are also partially supported by grant PI44/67.

2 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA The heat semigroup {W t } t> generated by the Laguerre operator L admits the integral representation. W t fx W t x,yfydy, x,, f L,,dx, where the heat kernel Wt x,y, t,x,y,, is defined in.4. The factorization. for L suggests to define formally, for every k N, the k-th Riesz transform R k associated with L by R k D k L k. Here L β, β >, denotes the β power of the operator L see.5. In the main result of this paper Theorem.3 we prove that the space C c, of C functions on, having compact support on, is contained in the domain of R k that R k on C c, is a principal value integral operator. Moreover we establish that R k can be extended as a principal value integral and bounded operator on certain weighted L p -spaces. Theorem.3. Let > and k N. For every φ C c where R k φx w k φx + lim ε + R k x,y Γ k, x y >ε, it has that R k x, yφydy, t k D k W t x,ydt, x,, x,y,, and and w k, when k is odd and w k k, when k is even. The operator R k can be extended, defining it by R k fx w kfx + lim ε +, x y >ε R k x,yfydy, a.e. x,, as a bounded operator from L p,,x δ dx into itself, for < p < and a + 3 p < δ < + 3 p, when k is odd; b + p < δ < + 3 p, when k is even; and as a bounded operator from L,,x δ dx into L,,,x δ dx when c 5 δ +, when k is odd; d 3 δ +, for, and < δ, for, when k is even.

3 Also we get the corresponding property in the Hermite context see Proposition. which completes in the one dimensional case the results in [3] about the higher order Riesz transform associated with the Hermite operator. For every n N, we have that L ϕ n n + + ϕ n, where, Γn + ϕ nx e x x + L Γn + + n x, x,, and L n denotes the n-th Laguerre polynomial of type [3, p. ] and [3, p. 7]. For every n N, ϕ n is usually called the n-th Laguerre function of type. The system {ϕ n } n N is an orthonormal basis for L,,dx. The heat semigroup {Wt } t> generated by the operator L is defined by Wt f e n++ c nfϕ n, f L,,dx, where c n f n ϕ n xfxdx, n N. For every t > the operator W t Mehler formula [3, p. 8], for every t,x,y,,.4 W t x,y n admits the integral representation. where, by the e n++ ϕ n xϕ n y e e xye e I xye e e x +y +e e. Here I represents the modified Bessel function of the first kind and order. According to the ideas presented by Stein [7] the fundamental operators of the harmonic analysis fractional integrals, Riesz transforms, g-functions,... can be considered in the context of the Laguerre operator L. It is convenient to mention that this way to describe harmonic operators in the Laguerre context was initiated by Muckenhoupt [9] and []. If β > the negative power L β of L is defined by L β f c nf n + + β ϕ n, f L,,dx. n It is not hard to see that L β the following integral.5 L β fx Γβ can be expressed, for every f L,,dx, by means of t β W t fxdt, a.e. x,. 3

4 4 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA L β is also called β-th fractional integral associated with L. This kind of fractional integrals has been investigated by several authors [6], [], [], [7] and [8]. First order Riesz transforms in the L -setting were studied in [4] for and in [] for >. Also, the procedure developed in [5] can be used to investigate strong, weak and restricted weak type with respect to the measure x δ dx on, for the Riesz transforms R. As it was mentioned, in this paper we establish boundedness properties for R k in L p,,x δ dx. In the Laguerre-polynomial context, Graczyk, Loeb, López, Nowak and Urbina [] investigated the corresponding higher order Riesz transform R k, k N. They used methods that impose substancial restrictions to the admisible values of the index. Their proofs are based in a connection between n-dimensional Hermite functions and Laguerre functions of order n. This fact forces to consider only half-integer values for see [, Section 4]. This connection between n-dimensional Hermite and Laguerre functions was exploited earlier by Gutiérrez, Incognito and Torrea [] and Harboure, Torrea and Viviani [6], amongst others. As it is emphatized in [], the extension of the results of L p -boundedness for R k to all values of > is not an easy problem and it requires a more subtle approach than the one followed in []. Our procedure here is completely different from the one used in []. In a first step we split the operators R k into two parts, namely: a local operator and a global one. These operators are integral operators defined by kernels supported close to and far from the diagonal, respectively. The global operator is upper bounded by Hardy type operators. The novelty of our method is the way followed to study the local part. We establish a pointwise identity connecting the kernel of R k with the one corresponding to the k-th Riesz transform associated with the Hermite operator in one dimension, for every > see Proposition 3.. By using this identity we transfer boundedness and convergence results from k-th Riesz transform for Hermite operator in one dimension to k-th Riesz transform in the L -setting. In the literature see, for instance [5] and [8] we can find other systems of Laguerre functions different from {ϕ n} n N. In particular, from the Laguerre polynomials {L n} n N we can derive also the systems {L n} n N and {l n} n N, where, for every n N, L nx Γn + e x x L Γn + + n x, x,,

5 5 and l nx Γn + e x L Γn + + n x, x,. {L n} n N is an orthonormal basis in L,,dx and {l n} n N is an orthonormal basis in L,,x dx. As it is shown in [], harmonic analysis operators associated with {L n } n N and {l n } n N is closely connected with the corresponding operators related to the family {ϕ n } n N. The connection is given by a multiplication operator defined by M β f x β f, for certain β R. From the strong type results for R k established in Theorem.3, the corresponding results for the k-th Riesz transform in the {L n } n N and {l n } n N settings can be deduced. Moreover the weak type results for the k-th Riesz transform associated with {L n} n N and {l n} n N can be obtained by proceeding as in the {ϕ n} n N case of Theorem.3. The organization of the paper is the following. Section contains some basic facts needed in the sequel. Section 3 is devoted to prove the main result of this paper Theorem.3 where we establish that the higher order Riesz transforms are principal value singular integral operators modulus a constant times of the function, when k is even and we show L p,,x δ dx- boundedness properties for them. Throughout this paper C c I denotes the space of functions in C I having compact support on I. By C and c we always represent positive constants that can change from one line to the other one, and E[r], r R, stands for the integer part of r. The authors would like to express their gratitude to Prof. José Luis Torrea for its valuable and helpful comments which have certainly led to the improvement of the paper.. Preliminaries In this section we recall some definitions and properties that will be useful in the sequel. By H we denote the Hermite differential operator. H d dx + x [ ] d d d d 4 dx + x dx x + dx x dx + x Note that d dx + x and d dx + x are formal adjoint operators in L R,dx. Moreover, if n N, H n represents the n-th Hermite polynomial [3, p. 4] and h n is the Hermite function given.

6 6 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA by h n x π n n! e x H n x, x R, then it has that Hh n n + h n, n N. Moreover, the system {h n } n N is an orthonormal basis in L R,dx. The investigations of harmonic analysis in the Hermite setting were begun by Muckenhoupt [9]. This author considered Hermite polynomial expansions instead of Hermite function expansions. In the last decades several authors have studied harmonic analysis operators in the Hermite polynomial or function context see, for instance, [7], [8], [9], [3], [4], [5], [6], [9], [3] and [33]. The heat semigroup {W t } t> generated by the operator H is defined by W t f e n+ t c n fh n, f L R,dx and t >, where c n f + n h n xfxdx, n N and f L R,dx. For every t >, the operator W t can be described by the integral W t fx + W t x,yfydy, x R and f L R,dx, where, according to the Mehler formula [3, p. ], we have that, for each x,y R and t >, W t x,y e n+ t h n xh n y e e π e x +y +e xye e + e. n The negative power H β, β >, of H is given by H β c n f f β h n, f L R,dx. n n + It can be seen that, for every f L R,dx, and that, when φ C c R, Here, for every γ >, H β fx Γβ H β φx K γ x,y Γ γ + t β W t fxdt, a.e. x R, + K β x,yφydy, x R. t γ W t x,ydt, x,y R.

7 The factorization in. suggests to define the Riesz transform R associated with H by Rf d dx + x H f n n n + The operator R admits the integral representation where Rfx + Rx,yfydy, Rx,y π t c n fh n, f L R,dx. x R \ supp f and f L R,dx, d dx + x W t x,ydt, x,y R. L p -boundedness properties of the Riesz transform R even in the n-dimensional case were established in [9]. In [3] higher order Riesz transforms in the Hermite function setting on R n were investigated. For every k N the k-th Riesz transforms on R, R k, is defined by R k f d dx + x kh k f nk k nn...n k + n + c k n fh n k, f C c R. L p -boundedness properties of the Riesz transform R k were established in [3, Theorem.3] by invoking Calderón-Zygmund singular integral theory. For every k N, R k can be extended to L p R,dx as a bounded operator from L p R,dx into itself, when < p <, and from L R,dx into L, R,dx. It is remarkable to note that the L p -mapping properties for the higher order Riesz transform in the Hermite polynomial setting are essentially different to the corresponding ones in the Hermite function context [8] and [9]. We shall not use the Calderón-Zygmund singular integral theory to investigate the higher order Riesz transforms associated with the Laguerre operator. As it was mentioned we shall exploit a connection between higher order Riesz transforms in the Hermite and Laguerre settings. The following new property that will be established in Section 3 is needed in the proof of Theorem.3. It states that the higher order Riesz transform for the Hermite operator is actually a principal value integral operator. Proposition.. Let k N. Then, for every f Cc R, p <,.3 R k fx w k fx + lim ε + R k x,yfydy, a.e. x R, x y >ε 7

8 8 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA where R k x,y Γ k t k d k dx + x W t x,ydt, x,y R, and w k, when k is odd, and w k k, when k is even. Since R k x,y, x,y R, is a Calderón-Zygmund kernel [3] by using standard density arguments from Proposition. we deduce that the operator R k can be extended by.3 to L p R,dx, p <, as a bounded operator from L p R,dx into itself, < p <, and from L R,dx into L, R,dx. As it was indicated the modified Bessel function I of the first kind and order appears in the kernel of the heat semigroup generated by the Laguerre operator L. The following properties of the function I will be repeteadly used in the sequel see [8] and [34]: P I z z, z. P n zi z ez π r r [,r]z r + Oz n, n,,,..., where [,] and [,r] r r, r,,.... Γr + P3 d dz z I z z I + z, z,. On the other hand, in our study for the global part of the operators we consider the Hardy type operators defined by and x H η fx x η y η fydy, H fx η x η y η fydy, x x,, x,, where η >. L p -boundedness properties of the operators H η and Hη were established by Muckenhoupt [] and Andersen and Muckenhoupt []. In particular, mappings properties for H η and Hη on L p,,x δ dx can be encountered in [5, Lemmas 3. and 3.]. The following formula established in [, Lemma 4.3, 4.6] will be frequently used in the sequel. For every N N, and a sufficiently smooth function g :, R, it has that.4 d N E[ N ] d dx N [gx ] E N,l x N l N l dx N lg x l

9 where E N,l N l N! [ N ] l!n l!, l E. We finish this section establishing the following technical lemma that is needed in the proof of Proposition 3.. Lemma.5. Let > and j N, j. For every m,,...,e[ j ], we have.6 m n ln j j l+n l El,n Proof. For every s,...,j we denote by A j,s the values where we take the convention. A j,s [ + l n,m n]. l n j j l l s, l In [3, 43] it was established that, for every j N, j,.7 A j,s, s,,,j. On the other hand, since m n m A j,j ja j,j, j N, j and so A j,j j j!, j N. n l m n, for m n, by using.7 we obtain that Fix j N, j and consider m,,...,e[ j ] and n,,...,m. We can write j j n j l El,n l l n [ + l n,m n] j s Es+n,n s + n s [ + s + n,m n] ln s j! j n s [ + s + n,m n] n! s!j n s! s j n j! j n s n!j n! s s 9 [ + s + n,m n]. We observe that [ + s + n,m n] is a polynomial in s which has degree m n. Besides, if j is odd, m n j n. Hence.7 allows us to conclude.6 in this case. Assume now that j is even. Then m n j n and.7 leads to when m,,..., j. m n ln j j l+n l El,n l n[ + l n,m n],

10 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA For m j and again by.7 we can write m n ln j j l+n l El,n l n[ + l n,m n] j n n j n j! n!j n! s s j n s s j n j n! j! j n n!j n! j n!a j n,j n j! j! n Thus.6 is established. j j n. n n 3. Higher order Riesz transforms associated with Laguerre expansions In this section we prove our main result Theorem.3 concerning to higher order Riesz transforms associated with the sequence {ϕ n} n N of Laguerre functions. As it was mentioned, our procedure is based on certain connection between higher order Riesz transforms in the Laguerre and Hermite settings. We start proving the following results about the differentiability of H k, k N. For each k N and l,,...,k, let us consider R k,l x,y Γ k t k d lwt dx + x x,ydt, x,y R. Note that R k,k x,y R k x,y, x,y R. Proposition 3.. Let φ Cc R and k N. We have that d lh + dx + x k φx R k,l x,yφydy, for every x R, when l,...,k and for every x R \ supp φ, when l k. Proof. As it was mentioned, we can write + H k φx K k x,yφydy, x R. So, in order to establish our result we must analyze the integral t k d lwt dx + x x,y dt, x,y R. A calculation shows that we can write, for every l N, d l 3. dx + x c l ρ,σx ρ dσ dx σ, ρ+σ l

11 where c l ρ,σ R, ρ,σ N, ρ + σ l and c l,l. By making the change of variable t log +s s, we obtain, for every s, and x,y R, d lwt dx + x x,y s c l π 4s ρ,σx ρ dσ dx σ e 4 sx+y + s x y, l N. ρ+σ l Moreover, according to [3, p. 5], d σ dx σ e 4 sx+y + s x y is a linear combination of terms of the form where b,b N and b + b σ. s + b e 4 sx+y + s x y sx + y + b, s s x y Assume that l,ρ,σ,b,b N, l k, ρ + σ l and b + b σ. Let us consider I b,b l,ρ,σ x,y xρ log + s k s s s s + s b e 4 sx+y + s x y sx + y + s x y b sds, x,y R. We have that I b,b l,ρ,σ x,y C s k 3 b b ρ x y c e s ds + log s k ds s C s k l 3 x y c e s ds +. Hence, according to [3, Lemma.], I b,b l,ρ,σ x,y C, l k, x y, l k, x y, l k,, x,y R, which allows us to conclude the result. We now complete the above result proving that, for every φ Cc R and k N, H k φ is k-times differentiable on R and that d kh dx + x k φx is given by a principal value integral, for every x R.

12 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA Proposition 3.3. Let φ C c R and k N. Then 3.4 d kh dx + x k φx wk φx + lim R k x,yφydy, x R, ε + x y >ε where w k, if k is odd, and w k k, when k is even. k Proof. We first observe that by Proposition 3. and since d dx + x ρ+σ k c ρ,σx ρ dσ ρ,σ N dx, σ for certain c ρ,σ R, ρ,σ N, ρ + σ k, it is sufficient to prove that 3.5 d k dx k H k φx w k φx + lim ε + x y >ε φy Γ k t k dk dx k W tx,ydtdy, x R, where w k, if k is odd, and w k k, when k is even. By making the change of variable t log + s and by using.4, we can write, for every s s, and x,y R, d k dx k W log +s x,y s s 4πs j s 4πs d k dx k [ e 4 sx+y + s x y ] k d j j dx j e s x+y d k j 4 dx k j e x y 4s s e s x+y dk 4 4πs dx k e x y 4s s + 4πs E[ k j ] m j E[ k j ] E j,l x + y j l s j 4 l E k j,m x y k j m 4s j le s 4 x+y k j me 4s x y. 3.6 On the other hand, by proceeding as in the proof of Proposition 3. it follows that C log + s k d k s dx k W log +s x,y s s ds log s k ds C, x,y R. s

13 ] [ ] We define, for every j,...,k, l E[ j and m E k j, 3 F j l,m x,y x + yj l x y k j m log + s k e 4 sx+y + s x y ds, x,y R. s s k j+l m+ s Since log +s s s, as s +, and j, it follows that F j l,m x,y C x + y j l x y k j m Hence, C s j 3 x y c e s ds C s k 3 +j l+m e 4 sx+y + s x y ds s ds C, x,y R. 3.7 [ d k dx k W log +s x,y s s 4πs log + s k s s ds C, x,y R. e s x+y dk 4 dx k e x y] 4s We now observe that mean value theorem leads to e s 4 x+y log + s k s s k s [ + e s 4 x+y + s C s k + + for every s, and x,y R. e s 4 x+y ] log + s s log + s s k s k k s e s 4 x+y + x + y s log + s k, s

14 4 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA 3.8 Then, since log +s s s, as s +, by using again.4 we get s e s 4 log + s x+y 4πs s C s k s + x + y d k dx k C E[ k ] n x y k n C + x + y, x,y R. k e x y 4s s s k πs ds s k +n s + x + y e x y 4s ds d k dx k e x y 4s ds In view of properties 3.6, 3.7 and 3.8, to establish the desired property 3.5 it is sufficient to prove that d k dx k + φy Γ k w k φx + lim ε + s k πs e 4s x y dsdy x y >ε φy Γ k s k πs where w k, if k is odd, and w k k, when k is even. As earlier we can see that, for each φ C c R, d k dx k e x y 4s dsdy, x R, d k dx k + φy s k πs e 4s x y dsdy + Let us represent by Φ the following function Φx Γ k φy s k πs s k πs d k dx k e x y 4s dsdy, x R. d k dx k e x 4s ds, x R. By proceeding as above we can see that Φ L R. Indeed,.4 leads to Φx E[ k ] Γ k k l E k,l x k l l s k k le x 4s ds, x R. πs 4s

15 5 and then, according to [3, Lemma.], 3.9 Φx C E[ k ] l x k l s k +l e x 4s ds Ce x 4 Hence Φ L R. Moreover Φ C R \ {}. Also, when k is even, we can see that x c e s s ds C e x 4, x R. x 3. lim ε Φε k. In effect, if k is even we can write k Φε Γ k l ε k l E k,l π l 3k l e ε 4s s k + Hence, the duplication formula [8,..3] allows us to write k lim Φε ε k Γ k π lim l E k,l ε k l k k Γ k l E k,l Γ π k! k Γ k l and 3. is thus established. For every x R, we can write d dx + ε l e u u k 3 l du k! k Γ k k l t k k! Γk dt Γ k Γ k Γ k+ k φyφx ydy d dx lim ε + [ lim ε + lim ε + [ y >ε + d φx yφydy dy lds, ε R. l k l, k l + d φx yφydy φx yφydy dy φx y d Φydy φx + εφ ε + φx εφε y >ε dy φy x y >ε ] d dy Φ x ydy + φx εφε φx + εφ ε. ]

16 6 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA Suppose now that k is odd. Then Φ is an even function and from 3.9 we obtain, for every x R, φx εφε φx + εφ ε Cε Φε, as ε +. On the other hand, assuming that k is even, 3. leads to lim φx εφε φx + εφ ε lim ε + ε +φx + ε + φx εφε k φx, for every x R. Hence, d dx + φyφx ydy w k φx + lim φy d Φx ydy, x R, ε + x y >ε dx where w k, if k is odd, and w k k, when k is even. Thus the proof is finished. The following relation between the kernels R k x,y and R k x,y, x,y,, is the key of our procedure in order to establish that the k-order Riesz transform associated with the Laguerre operator is a principal value integral operator. Proposition 3.. Let > and k N. We have that i R k x,y C y+ x +3 ii R k x,y C x+ iii y +3, < y < x. R k x,y R k x,y C x, y > x and k even, and R k + x x y x,y C x+ 3 y +5, x < y < x., y > x and k odd. Proof. We first establish the following formula that will be used later. For every j N, and t,x,y, we have that [ d j xye ] xye dx j e I e 3. E[ j ] n E j,n x j n j n ye e j n xye +n j xye I n+j e e.

17 7 Indeed, let j N. By using.4 and since d dx gx [ d j xye ] xye dx j e I e E[ j ] n E[ j ] n j n dj n E j,n x dz j n u zye zye I e d du [gu ] u x we can write e zx x j n d j n xye xye E j,n j n x dx e I e, t,x,y,. Thus, 3. can be easily deduced from property P3. Let us now prove i and ii. Since d dx + x e x d dx e x we can write D k W t x,y e x d k x+ dx k e x x Wt x,y e xye e e [ dk xye xye dx k e I e + e x y +e e ] e x e e, t,x,y,. By taking into account formulas.4 and 3. we get [ d k xye ] xye e x dx k e I e e e j [ k d j xye xye ] ] d k j e x I [e j dx j e e dx k j e e x e e E[ j ] j n E[ k j ] m k Ej,n E k j,m ye j n e k j m j j n e e x k m n xye e j+n I+j n xye e, t,x,y,.

18 8 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA Hence we obtain that e D k W t x,y xye + e e e x +y +e e 3.3 E[ j ] j n E[ k j ] m k Ej,n E k j,m ye j n e k j m j j n e e By using property P it follows that t k D k W, xye e x k m n xye e j+n I+j n xye e, t,x,y,. t x,ydt Cxy+ k t e x +y +e, xye e Cxy + E[ j ] j n E[ k j ] m e e x k m n y j n t k j+n+m e c x +y t dt + e cx +y E[ j ] j n E[ k j ] m e ++j+k n m dt Hence by taking into account [3, Lemma.] we conclude that x k m n y j n t k e +t dt 3.4 t k D k, xye e W t x,ydt C E[ j ] j n E[ k j ] m C xy+ x + y + C xy + x k m n y j n x + y k +++j n m y + x +3 x + y +3, < y < x,, y > x >. Note that if k is odd we can improve the estimate when y > x > as follows 3.5 t k D k W, xye e t x,ydt C xy+ x x + y +3 x+3. y +5

19 9 Assume now that xye e. From 3.3 and property P we get D k W t x,y C We also observe that E[ j ] j n E[ k j ] m e x +y +e xye e + e x k m n y j n e k m n+j+ e, t,x,y,. x + y + e xye + e e x ye + y xe e. Thus, if < y < x, we can write D k W t x,y C E[ j ] j n E[ k j ] m Ce c x e e e e Hence, if < <, [3, Lemma.] leads to, xye e t For > k D k W t x,ydt C we can proceed as follows., xye e t Cxy + k D k W x c e t t x 8 e x k m n+j n k +, t,. x c e t t 3 t x,ydt Cxy+ + dt + e cx In a similar way, if < x < y, we can write e e k m n+j+ dt + e cx C x C y+, < y < x. C xy+ x + t k e c x e t k D k, xye e W t x,ydt Cxy+3 t k e c y c Cxy +3 e t dt + e cy C xy+3 t+3 y +4 x +3 e e C y+, < y < x x +3. y e C x+ 3. y +5 e e k ++ dt k ++ dt

20 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA These estimations allow us to get 3.6, xye e t k D k W t x,ydt C y + x +3 x +3 y +5, < y < x,, y > x >. Hence, by 3.4, 3.5 and 3.6, i and ii are proved. Next we establish statement iii. Observe first that, since d dx + x e x d dx e x, d k[x D k Wt x,y x + dx + x W t x,y] πx + d dx + x k xye + π e xye + π e [ e x e xye j j j j ye j l l e l [ k d j j dx j xye e xye e e I xye xye e k d k j j dx + x Wt x,y j l e xye e e ] W t x,y I xye e ] d dx + x k j Wt x,y d l xye xye dx l e I e, t,x,y,. Hence, by using formula 3. we obtain that, for every t,x,y,, 3.7 D k W t x,y πe xye e E[ j ] n ln j j l l El,n l n k d k j ye j j j dx + x Wt x,y e j xye n xye e e I n+l xye e.

21 Let us consider now x,y,t, such that xye e. By taking into account property P and 3.7 we can write d kwt D k Wt x,y dx + x x,y + O + j e xye k d k j ye j j E[ j dx + x j ] Wt x,y e E[ j ] + r r [ + l n,r] r d dx + x kwt x,y + E[ j ] E[ j j ] j l+r l n ln r k j j j n ln e r xye + O e xye j j j l l E[ j ]+ El,n l n k d k j ye j j j dx + x Wt x,y e El,n [ + l n,r] l n r e xye n+r d k j ye j E[ j dx + x ] Wt x,yo e. x E[ j ]+ e xye n Lemma.5 allows us to see that, for every j N, j,...,k, E[ j ] E[ j j ] j l+r l n ln r + E[ j ] j n ln E[ j ] m E[ j ]+n mn El,n [ + l n,r] l n r l+m n j l e m m E[ j ] me[ j ]+ 4xye e 4xye n ln e xye n+r El,n [ + l n,m n] l n m n j j l+m n l m E[ j ] O e E[ j ]+ xye. nm E[ j ] ln El,n e xye l n[ + l n,m n] j j l+m n l El,n m l n[ + l n,m n]

22 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA Hence, it follows that d kwt D k Wt x,y dx + x x,y + Assume that < x k d k j ye j j E[ j j dx + x ] Wt x,yo e. x E[ j ]+ j < y < x. In order to establish iii we now proceed as in the proof of Proposition 3.. First note that by formula 3. d kwt Dk W t x,y dx + x x,y C j ρ+σ k j x ρ d σ dx σ W tx,y ye e j E[ j ] x E[ j ]+. Assume that j,ρ,σ,b,b N, j k, ρ + σ k j and b + b σ. According to [3, p. 5] and by making the change of variable t log +s s, we must analyze the following integral. I b,b ρ,σ,j x,y x ρ y j xy +E[ j ] s + s, s xy s log + s k s b e 4 sx+y + s x y J b,b ρ,σ,j x,y + Hb,b ρ,σ,j x,y, s s j E[ j ] sx + y + s x y b x,y,, ds s where J and H are defined as I but replacing the integral over, by the integral over and,, respectively. Since log +s s s, as s +, it follows that ρ,σ,j x,y C x ρ y j xy +E[ j ] J b,b, s xy s y j C xy +E[ j ] s k j+e[ j ] b e 4 sx+y + x y, s xy s s s k j b b ρ+e[ j ] j e x y sx + y + s x y c s ds b ds,

23 3 y j C xy +E[ j ] By taking into account that < x J b,b ρ,σ,j, s xy s j xj E[ ] 3 x,y C x C x s E[ j ] j e x y c s ds. < y < x and using [3, Lemma.] we get x y c e s s 5 4, s xy s ds C x s E[ j ] j e x y c s x. x y On the other hand, since that log +s s log s, as s, we have that ρ,σ,j x,y C x ρ y j xy +E[ j ] H b,b, s xy s log s k s j E[ j ] 3 e csx+y ds Ce cx+y log s k s j ds Ce cx+y, x,y,. Hence we conclude that, if < x < y < x, 3.8 t k d kwt D k W, xye e t x,y dx + x x,y dt C x Also, by using again.4 we obtain, for each t,x,y,, d kwt dx + x x,y e x d k [ ] dx k e x W t x,y W t x,y E[ j ] j l Hence it follows that, when < x < y < x, d kwt dx + x x,ydt 3.9 C t k, xye e E[ k ] l x k l t k 3 +l x c e ds x. x y k E j,l x j l ye k j e j l. j e e t dt + e cx t k e dt t C x. The estimations 3.4, 3.8 and 3.9 allow us to finish the proof of iii. By proceeding as above and having in mind Proposition 3. we can see that, for every k N and φ C c,, the function L k φ is k -times differentiable on, and k-times

24 4 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA differentiable on, \ supp φ. Moreover, 3. D l L k φx Γ k φy t k D l W t x, ydtdy, for every x,, when l,,...,k, and for every x, \ supp φ, when l k. We now prove that, for every φ Cc, and k N, L k φ is k-times differentiable on, and that D k L k φ is a principal value integral operator modulus a constant times of the function when k is even. Proposition 3.. Let >, k N and φ C c,. Then D k k L φx w k φx + lim ε +, x y >ε where w k, when k is odd and w k k, when k is even. R k x,yφydy, x,, Proof. For every x,, Proposition 3. implies that lim ε + lim ε +, x y >ε R k, x y >ε R k x, yφydy D k K,kx,y x,y R k x,yφydy + lim ε +, x y >ε d kkk dx + x x,y φydy + lim ε + ] d [ d k D k dx K,kx,y dx + x Kk x,y + x + D k x K,kx,yφydy x + lim R k x,yφydy. ε +, x y >ε φydy R k x,yφydy, x y >ε R k x,yφydy d dx + x k Kk x,yφydy By taking into account Propositions 3. and 3.3 and 3. we can conclude that lim ε +, x y >ε R k x, yφydy d [ dx + x + x D k K,kx,y d ] k dx + x Kk x,y φydy D k K,k x,yφydy w k φx

25 5 + d dx d k dx + x Kk x,yφydy D k k L φx w k φx, x,, where w k, for k odd, and w k k, when k is even. Thus the proof is finished. We now prove the main result of the paper. Proof of Theorem.3. We consider the maximal operator associated with R k defined by R, fx k sup R k x, yfydy, f C c,,x,. ε>, x y >ε According to Proposition 3. we get R k, fx CH + f x + H + +δ k f x + R k loc, fx + Nfx, where δ k, when k is odd, δ k, when k is even, x R k d kkk loc, fx sup dx + x x,yfydy, and δ < ε> Nfx x x x, x y >ε fy y + x x y dy. By [5, Lemma 3.] H + is of strong type p,p with respect to x δ dx, when < p < and + 3 p, and of weak type, when δ +. Also from [5, Lemma 3.] the operator H + +δ k is of strong type p,p for x δ dx, when < p < and + and of weak type, with respect to x δ dx when 5 p < δ, δ, if k is odd; and, in the case that k is even, when δ 3, and and when δ > and. On the other hand, by using Jensen inequality we can see that the operator N is bounded from L p,,x δ dx into itself, for every p < and δ R. In [3] it was established that the kernel R k x,y, x,y R, is a Calderón-Zygmund kernel. Then, according to [3, Theorem 4.3], the operator R k loc, is of strong type p,p, < p <, and of weak type, with respect to x δ dx, for every δ R. Then we conclude that R, k defines an operator of strong type p,p for x δ dx when < p < and + + δ k p < δ < + 3 p. We have also that R k is of weak type, for x δ dx when 5 δ +, if k is odd. When k is even the maximal operator Rk, is of

26 6 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA weak type, with respect to x δ dx, for 3 δ + and, and for < δ, when. By using Proposition 3. and density arguments we can conclude the proof of this theorem in a standard way. References [] I. Abu-Falahah, R. Macías, C. Segovia and J.L. Torrea, Transferring strong boundedness among Laguerre orthogonal systems, preprint 7. [] K.F. Andersen and B. Muckenhoupt, Weighted weak type Hardy inequalities with applications to Hilbert transforms and maximal functions, Studia Math. 7 98, 9 6. [3] J.J. Betancor, J.C. Fariña, T. Martínez and L. Rodríguez-Mesa, Higher order Riesz transforms associated with Bessel operators, to appear in Arkiv för Matematik. [4] J.J. Betancor, J.C. Fariña, L. Rodríguez-Mesa, A. Sanabria-García and J.L. Torrea, Transference between Laguerre and Hermite settings, J. Funct. Anal. 54 8, [5] A. Chicco Ruiz and E. Harboure, Weighted norm inequalities for the heat-diffusion Laguerre s semigroups, Math. Z. 57 7, [6] A. Chicco Ruiz and E. Harboure, Boundedness with weights for fractional integrals associated with Laguerre expansions, preprint. [7] E. Fabes, C. Gutiérrez and R. Scotto, Weak-type estimates for the Riesz transforms associated with the Gaussian measure, Rev. Mat. Iberoamericana 994, 9 8. [8] L. Forzani and R. Scotto, The higher order Riesz transform for Gaussian measure need not be of weak type,, Studia Math , 5 4. [9] J. García-Cuerva, G. Mauceri, P. Sjögren and J.L Torrea, Higher-order Riesz operators for the Ornstein- Uhlenbeck semigroup, Potential Anal. 999, [] G. Gasper, K. Stempak and W. Trebels, Fractional integration for Laguerre expansions, Methods Appl. Anal. 995, [] P. Graczyk, J.-L. Loeb, I.A. López, A. Nowak and W. Urbina, Higher order Riesz transforms, fractional derivatives and Sobolev spaces for Laguerre expansions, J. Math. Pures Appl , [] C. Gutiérrez, A. Incognito and J.L. Torrea, Riesz tranforms, g-functions and multipliers for the Laguerre semigroup, Houston J. Math. 7, [3] C. Gutiérrez, C. Segovia and J.L. Torrea, On higher Riesz transforms for Gaussian measures, J. Fourier Anal. Appl. 996, [4] E. Harboure, L. de Rosa, C. Segovia and J.L. Torrea, L p - dimension free boundedness for Riesz transforms associated to Hermite functions, Math. Ann. 38 4,

27 7 [5] E. Harboure, C. Segovia, J.L. Torrea and B. Viviani, Power weighted L p -inequalities for Laguerre-Riesz transforms, to appear in Arkiv för Matematik. [6] E. Harboure, J.L. Torrea and Viviani, Riesz transforms for Laguerre expansions, Indiana Univ. Math. J. 55 6, [7] Y. Kanjin and E. Sato, The Hardy-Littlewood theorem on fractional integration for Laguerre series, Proc. Amer. Math. Soc , [8] N.N. Lebedev, Special functions and their applications, Dover Publications, Inc., New York, 97. [9] B. Muckenhoupt, Poisson integrals for Hermite and Laguerre expansions, Trans. Amer. Math. Soc , 3 4. [] B. Muckenhoupt, Hermite conjugate expansions, Trans. Amer. Math. Soc , [] B. Muckenhoupt, Conjugate functions for Laguerre expansions, Trans. Amer. Math. Soc , [] B. Muckenhoupt, Hardy s inequality with weights, Studia Math , [3] A. Nowak and K. Stempak, Weighted estimates for the Hankel transform transplantation operator, Tohoku Math. J. 58 6, [4] A. Nowak and K. Stempak, Riesz transforms and conjugacy for Laguerre function expansions of Hermite type, J. Funct. Anal. 44 7, [5] S. Pérez and F. Soria, Operators associated with the Ornstein-Uhlenbeck semigroup, J. London Math. Soc. 6, [6] P. Sjögren, On the maximal function for the Mehler kernel, Lecture Notes in Math. 99, Springer, Berlin, 983. [7] E. M. Stein, Topics in Harmonic Analysis related to the Littlewood-Paley theory, Ann. of Math. Studies 63, Princenton Univ. Press, Princenton, 97. [8] K. Stempak, Heat-diffusion and Poisson integrals for Laguerre expansions, Tohoku Math. J , [9] K. Stempak and J.L. Torrea, Poisson integrals and Riesz transforms for Hermite function expansions with weights, J. Functional Anal. 3, [3] K. Stempak and J.L. Torrea, Higher Riesz transforms and imaginary powers associated to the harmonic oscillator, Acta Math. Hungar. 6, [3] G. Szegö, Orthogonal polynomials, Colloquium Publications, Vol. XXIII, American Math. Soc., Providence, R.I., 975. [3] S. Thangavelu, Lectures on Hermite and Laguerre expansions, Mathematical Notes, 4, Princenton University Press, Princenton, 993. [33] W. Urbina, On singular integrals with respect to the Gaussian measure, Ann. Scuola Norm. Sup. Pisa Cl. Sci , [34] G. N. Watson, A treatise on the theory of Bessel functions, Cambridge Univ. Press, Cambridge, 995.

28 8 J. BETANCOR, J.C. FARIÑA, L. RODRÍGUEZ-MESA, AND A. SANABRIA-GARCÍA Departamento de Análisis Matemático, Universidad de la Laguna, Campus de Anchieta, Avda. Astrofísico Francisco Sánchez, s/n, 387 La Laguna Sta. Cruz de Tenerife, Spain address: