Abstract
We present a transplantation theorem for Laguerre coefficients in weighted spaces by means of a discrete local Calderón–Zygmund theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Laguerre polynomials \(L_{n}^{\alpha }\) are defined by means of its corresponding Rodrigues’ type formula (see [19, Eq. 5.1.5])
where the order \(\alpha \) is restricted to \(\alpha >-1\) for integrability purposes. They are orthogonal on \((0,\infty )\) with respect to the measure
Let us consider the family of functions \(\{{\mathcal {L}}_{n}^{\alpha }(x)\}_{n\ge 0}\) defined by
with \(\omega _{n}^{\alpha }\) the normalization factor
This family, sometimes known as Laguerre functions, is a complete orthonormal system in the space \(L^{2}(0,\infty )\), the set of all measurable and square integrable functions on \((0,\infty )\) with respect to the Lebesgue measure.
Let us define the discrete Fourier–Laguerre transform
for each f in the space of square summable sequences \(\ell ^{2}({\mathbb {N}})\). It turns out that under this assumption \({\mathcal {F}}_{\alpha }f\) is a function in \(L^{2}(0,\infty )\) and the identity \(f(n)=c_{n}^{\alpha }({\mathcal {F}}_{\alpha }f)\) holds, where
is the usual n-th Fourier–Laguerre coefficient. Furthermore, the Parseval’s type identity
holds, as well as
Put in other words, \({\mathcal {F}}_{\alpha }\) is an isometric bijection from \(\ell ^{2}({\mathbb {N}})\) onto \(L^{2}(0,\infty )\) whose inverse is given by
which implies that it is possible to recover the original sequence by means of it, that is, \(f={\mathcal {F}}_{\alpha }^{-1}({\mathcal {F}}_{\alpha }f)\).
In view of the above, we define the transplantation operator
for any \(\alpha ,\beta >-1\), which of course becomes the identity operator when \(\alpha =\beta \). The mapping properties of this operator in \(\ell ^p({\mathbb {N}})\) have been already studied in the special case \(\beta =\alpha +2\) by R. Askey in [3, Theorem 3]. To be precise, he stated that the size of the coefficients \(c_{n}^{\alpha }\) and \(c_{n}^{\alpha +2}\), measured in the power \(\ell ^{p}({\mathbb {N}})\) norm, remain equivalent.
In the aforementioned paper [3], Askey proved the same result for Jacobi coefficients, extending a previous one regarding ultraspherical polynomials in [4] by himself and S. Wainger. The latter was generalized in [5] by J. J. Betancor et al. considering general weights with some additional restrictions. Recently, that work, as well as Askey’s work on Jacobi coefficients, has been improved in [2] by the authors, where fairly general weights were considered. Finally, it is worth to mention the study [16] by K. Stempak on Fourier–Bessel coefficients.
It turns out that the dual problem in the continuous setting has considerably much more fruitful results, since the celebrated paper [11] by D. L. Guy regarding the Hankel transform on the positive half-line. That is why we only give here a brief state of the art regarding Laguerre expansions, but the interested reader in transplantation theorems for other expansions is urged to consult the excellent survey [17] and the references therein. Historically, the first transplantation result considering Laguerre expansions in terms of the functions given in (1) is due to Y. Kanjin in [12], which was enhanced in a weighted setting by K. Stempak and W. Trebels in [18]. The latter was refined in a power weight setting by G. Garrigós et al. in [9], given a sharp result for that weights. Other transplantation theorems for Laguerre expansions defined in terms of different functions that (1), such as the so-called Laguerre functions of Hermite type, could be looked up in the monograph [20] by S. Thangavelu.
Our aim in the present work is to prove the boundedness of the transplantation operator \(T_{\alpha }^{\beta }\) with some weights and, as a corollary, improve Askey’s result for a natural range of the parameters.
Before formulating our results, we need some previous definitions. A weight sequence in \({\mathbb {N}}\) will be a strictly positive sequence \(w=\{w(n)\}_{n\ge 0}\). We consider the weighted space of p-summable sequences
for \(1\le p<\infty \). We simply write \(\ell ^{p}({\mathbb {N}})\) when \(w(n)=1\) for all \(n\in {\mathbb {N}}\).
Given \(\alpha ,\beta >-1\) fixed and power weights \(w_a(m)=(m+1)^a\), with \(a\in {\mathbb {R}}\), for a weight sequence w, we consider the following set of conditions when \(1<p<\infty \) and \(1/p+1/q=1\):
The usual maximum interpretation could be considered in the case \(p=1\), but we will skip it in this paper.
The values \([w]_{H_{p}}^{\alpha }\), \([w]_{H_{p}^{*}}^{\beta }\), and \([w]_{A_{p}^{\text {loc}}}\) are called the constants of the weight w. First two conditions are adjoint in the sense that \([w]_{H_p}^\alpha <\infty \) if and only if \([w^{-q/p}]_{H_{q}^{*}}^{\alpha }<\infty \). Moreover, note that for any non-negative value \(\delta \ge 0\), the inequalities \([w]_{H_{p}}^{\alpha }\ge [w]_{H_{p}}^{\alpha +\delta }\) and \([w]_{H_{p}^{*}}^{\beta }\ge [w]_{H_{p}^{*}}^{\beta +\delta }\) hold. Weights satisfying (A3) are known as local \(A_p({\mathbb {N}})\) weights and, as usual, \([w]_{A_p^{\text {loc}}}<\infty \) if and only if \([w^{-q/p}]_{A_q^{\text {loc}}}<\infty \). Finally, we remark that
and
Moreover, \([w_a]_{A_p^{\text {loc}}}<\infty \) for any \(a\in {\mathbb {R}}\).
Throughout the paper, we will use \(a\lesssim b\) to denote that two positive quantities a and b fulfil the relation \(a\le C b\) for a constant C independent of significative quantities. On its behalf, we will use \(a\simeq b\) if there are two constants \(C_{1}\) and \(C_{2}\) independent of significative quantities such that \(C_{1}b\le a\le C_{2}b\).
The main theorem of this paper is the following one.
Theorem 1.1
Let \(\alpha ,\beta >-1\) with \(\alpha \ne \beta \), \(1<p<\infty \), and w be a weight sequence that satisfies: \(w(m)\simeq w(m+1)\) and condition (A1) if \(\beta =\alpha +2k\) for some \(k\in {\mathbb {N}}\); \(w(m)\simeq w(m+1)\) and condition (A2) if \(\alpha =\beta +2k\) for some \(k\in {\mathbb {N}}\); and conditions (A1), (A2), and (A3) if \(|\beta -\alpha |\ne 2k\) for every \(k\in {\mathbb {N}}\). Then,
Consequently, the operator \(T_{\alpha }^{\beta }\) extends uniquely to a bounded linear operator from \(\ell ^{p}({\mathbb {N}},w)\) into itself.
The reason to split in three different cases the hypotheses of the theorem according to \(\alpha =\beta +2k\), \(\beta =\alpha +2k\) and \(|\beta -\alpha |\ne 2k\) is because in the first and second cases the transplantation operator is essentially equivalent to the discrete Hardy operator and its adjoint. This phenomenon is not strange and, for example, it is the same as the one occurring in [13] for the Hankel transform. On its behalf, in the last case \(|\beta -\alpha |\ne 2k\), the transplantation operator is bounded again by the discrete Hardy operator and its adjoint in the global part, whereas it is bounded by a Calderón–Zygmund operator in the local part (see next section for details).
We have to observe that the condition \(w(m)\simeq w(m+1)\), that we consider in the cases in which \(|\beta -\alpha |=2k\) only, is required to have the boundedness in Theorem 1.1 because an extra factor appears when we write the transplantation operator in terms of the Hardy operator and its adjoint. When \(|\beta -\alpha |\not =2k\) the condition (A3) is required for the weight w to deduce (5) and, proceeding as in [2, Lemma 2.2], it is possible to prove that (A3) implies \(w(m)\simeq w(m+1)\), then this condition does not appear explicitly in this case.
An immediate consequence of Theorem 1.1 is the following result.
Corollary 1.2
Let \(\alpha ,\beta >-1\) with \(\alpha \ne \beta \), \(1<p<\infty \), and w be a weight sequence that satisfies conditions (A1), (A2), and (A3). Then, there exists a positive constant C independent of f such that
Next theorem also follows from the main theorem when power weights \(w_{a}\) are considered.
Theorem 1.3
Let \(\alpha ,\beta >-1\) with \(\alpha \ne \beta \), \(\gamma =\min \{\alpha ,\beta \}\), \(1<p<\infty \), and \(w_{a}\) be a power weight sequence with \(a\in {\mathbb {R}}\). Then,
provided
Previous theorem is the discrete counterpart of the sufficiency part of [9, Theorem 1.4]. The necessity of the condition \(-\gamma /2<(a+1)/p<\gamma /2+1\) is conjectured to be true for all possible values of the parameters \(\alpha \) and \(\beta \), but unfortunately we are not in position to prove it. However, there are two special situations in which the characterization is obtained. Indeed, for \(\alpha ,\beta >-1\) and \(k\in {\mathbb {N}}\setminus \{0\}\),
and
Theorem 1.3 is, in fact, a transplantation theorem with powers weights and it extends [3, Theorem 3] for functions \(F\in L_\delta ^1(0,\infty )\), which is defined as the set of measurable functions on \((0,\infty )\) such that
is finite. It is known (see [6]) that
for functions in \(L^1_\delta (0,\infty )\) when \(-\frac{\alpha }{2}\le \delta +1 \le \frac{\alpha }{2}+1\) for \(\alpha \not =0\) and \(0<\delta +1\le 1\) for \(\alpha =0\) (the upper bounds ensure that \(W_t^\alpha \) is finite for each function in \(L_\delta ^1(0,\infty )\) and the lower ones are necessary and sufficient to deduce the boundedness of the corresponding maximal operator from \(L_\delta ^1(0,\infty )\) into \(L_\delta ^{1,\infty }(0,\infty )\)). Then, using the procedure given in [4] in the case of the ultraspherical expansions, from that convergence we deduce that
In this way, using (8) as follows:
with \(f(n)=c_n^{\alpha }(F)\). The previous argument proves the following corollary, for which we will need to define the sets U and V given by
They are motivated by the aforementioned conditions for the convergence of the operator \(W_{t}^{\alpha }\).
Corollary 1.4
Let \(n\in {\mathbb {N}}\), \(\alpha ,\beta >-1\) with \(\alpha \ne \beta \), \(\gamma =\min \{\alpha ,\beta \}\), \(1<p<\infty \), \(w_{a}\) be a power weight sequence with \(a\in {\mathbb {R}}\), and \(\delta \in {\mathbb {R}}\) such that \(-\frac{\gamma }{2}\le \delta +1\le \frac{\gamma }{2}+1\) if \((\alpha ,\beta )\in V\) and \(0<\delta +1\le 1\) if \((\alpha ,\beta ) \in U\). Then, there exists a positive constant C independent of F such that
provided
On the other hand, it is possible to repeat the showed procedure for functions in \(L^{p}_{\delta }(0,\infty )\) having in mind the corresponding modifications in the convergence of the operator \(W_{t}^{\alpha }\), which are also treated in [6].
The structure of the paper is the following: in Section 2 some preliminary results related to Hardy operators and basic aspects of a discrete local Calderón–Zygmund theory are showed. Section 3 is devoted to the proofs of Theorems 1.1 and 1.3. In last two sections, the proofs of an auxiliary proposition and several lemmas are given.
2 Preliminary Results
First, we note that the transplantation operator \(T_{\alpha }^{\beta }\) can be expressed for sequences \(f\in \ell ^2({\mathbb {N}})\) by the series
where
is the kernel of the operator. Note that the trivial identity \(K_{\alpha }^{\beta }(n,m)=K_{\beta }^{\alpha }(m,n)\) holds. In addition, the kernel satisfies the Markovian property
which is a consequence of the decomposition \(T_{\alpha }^{\beta }f(m)=T_{\delta }^{\beta }\circ T_{\alpha }^{\delta }f(m)\), obtained directly from the definition of the operator \(T_{\alpha }^{\beta }\).
To prove Theorem 1.1, we will study separately the transplantation operator \(T_{\alpha }^{\beta }\) according to the three different regions \(0\le n<m_{0}:=2m/3\), \(m_{0}\le n\le m_{0}^{*}:=3m/2\), and \(m_{0}^{*}<n<\infty \). The operator restricted to the second region is usually known as the local part, whereas when it is restricted to the union of the remaining ones is denominated as global part. From now on, we will use this denomination.
In the global part, a fundamental tool to prove our results is the boundedness with weights of the discrete Hardy operator and its adjoint, which are given by
respectively. It is well-known (cf. [14] for instance) that, for a weight sequence w and \(1<p<\infty \), condition (A1) is necessary and sufficient for the weighted inequality
whereas (A2) is necessary and sufficient for
Therefore, for \(1<p<\infty \), using (3) and (4), we have the following characterization:
and
On its behalf, in the local part the proof relies on a discrete local version of the Calderón–Zygmund theory analogue of the one developed by A. Nowak and K. Stempak in [13].
Let us suppose that
where \(\Delta =\{(n,n):m\in {\mathbb {N}}\}\), is supported in the set
Moreover, let us suppose that the following conditions hold:
-
(a)
the size condition
$$\begin{aligned} |K(n,m)|\lesssim \frac{1}{|n-m|}, \end{aligned}$$ -
(b)
the regularity properties
$$\begin{aligned} |K(n,m)-K(n,l)|\lesssim \frac{|m-l|}{|m-n|^{2}}, \quad |n-m|>2|m-l|, \end{aligned}$$(b1)$$\begin{aligned} |K(n,m)-K(l,m)|\lesssim \frac{|n-l|}{|m-n|^{2}}, \quad |n-m|>2|n-l|. \end{aligned}$$(b2)
A kernel K(n, m) satisfying conditions (a) and (b) is called a discrete local standard kernel. By a discrete local Calderón–Zygmund operator, we mean a linear and bounded operator T from \(\ell ^{r}({\mathbb {N}})\) into \(\ell ^{r}({\mathbb {N}})\) for some \(1<r<\infty \), and such that there exists a discrete local standard kernel K so that, for every sequence \(f\in c_{00}\), the space of sequences having a finite number of non-null terms,
for every \(m\in {\mathbb {N}}\) such that \(f(m)=0\).
Theorem 2.1
Assume that T is a discrete local Calderón–Zygmund operator. Let \(1<p<\infty \) and w be a weight sequence that satisfies condition (A3). Then, the operator T can be extended from \(\ell ^{r}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w)\) to \(\ell ^{p}({\mathbb {N}},w)\) as a bounded operator from \(\ell ^{p}({\mathbb {N}},w)\) into itself.
As usual, previous theorem can be extended to the case \(p=1\) with a weak type inequality and weights satisfying a proper version of condition (A3), but as it has already been mentioned, we do not focus on this question in this paper.
Some comments about the proof of Theorem 2.1 are in order. Following the ideas in [13, Proposition 4.1] (see [5] for the details in the discrete case in a more general setting), from the conditions (a) and (b) for the kernel K, it is possible to prove some Hörmander type estimates. Indeed, if \(I=[a,b]\cap {\mathbb {N}}\), \(2I=[a-(b-a)/2,{b+(b-a)/2}]\cap {\mathbb {N}}\), and \(W_m=\{j\in {\mathbb {N}}: m_0\le j \le m_0^*\}\), it is verified that
and
where \({\mathcal {M}}\) denotes the non-centered discrete Hardy-Littlewood maximal function. Then, using some general results for operators satisfying estimates as (13) and (14) with \(f(n)=1\) in homogeneous spaces (see [10]), the result without weights is deduced. The extension including weights in the discrete \(A_p({\mathbb {N}})\) follows the standard procedure. It is described in [7, Chapter 7] and involve (13) and (14). Finally, following [13, Theorem 4.3] with appropriate adjustments, it is possible to pass from weights in \(A_p({\mathbb {N}})\) to local \(A_p({\mathbb {N}})\) weights satisfying (A3). This last step uses ideas coming from [1].
3 Proofs of Theorems 1.1 and 1.3
The proof of Theorem 1.1 will be based on particular cases of the transplantation operator. First one is Askey’s case \(\beta =\alpha +2\), \(\alpha >-1\), for which the expression of the kernel is closed.
Lemma 3.1
Let \(n,m\in {\mathbb {N}}\) and \(\alpha >-1\). Then,
and \(K_{\alpha }^{\alpha +2}(n,m)=0\) for \(0\le m <n-1\).
Previous lemma, whose proof will be given in the last section, actually shows how the transplantation operator \(T_{\alpha }^{\alpha +2}\) is decomposed in the difference
Last identity, in conjunction with the characterization involved in (9), is the crucial point to prove the following proposition.
Proposition 3.2
Let \(\alpha >-1\), \(k\in {\mathbb {N}}\), and \(1<p<\infty \). Let w be a weight sequence that satisfies \(w(m)\simeq w(m+1)\). Then, the weighted inequality
holds for \(k\ge 1\) if and only if w satisfies (A1).
Proof
We start with the case \(k=1\). First, we note that the condition \(w(m)\simeq w(m+1)\) implies the equivalence
Then, from (15) and using the equivalence \(\omega _n^{a}\simeq (n+1)^{-a/2}\), it is clear that (16) with \(k=1\) is equivalent to
and, in this way, the result follows in this case from (9) because w satisfies (A1).
Now, to finish the proof we only have to prove that (16) holds, for all \(k>1\), when w satisfies (A1). In this situation, the transplantation operator can be written as the composition
Since condition (A1) holds by hypothesis, it also verified that the constants \([w]_{H_{p}}^{\alpha +2\ell }\), where \(\ell =1,\ldots ,k-1\), are finite (remind that \([w]_{H_{p}}^{\alpha +\delta }\le [w]_{H_{p}}^{\alpha }\) for any \(\delta \ge 0\)). Then, every operator \(T_{\alpha +\ell }^{\alpha +2(\ell +1)}\), with \(\ell =0,1,\ldots ,k-1\), is bounded with the weight sequence w. \(\square \)
The transplantation operator \(T_{\beta +2}^{\beta }\) is closely related to Askey’s case. Since \(K_{\beta +2}^{\beta }(n,m)=K_{\beta }^{\beta +2}(m,n)\), by Lemma 3.1, we have
Proposition 3.3
Let \(\beta >-1\), \(k\in {\mathbb {N}}\), and \(1<p<\infty \). Let w be a weight sequence that satisfies \(w(m)\simeq w(m+1)\). Then, the weighted inequality
holds for \(k\ge 1\) if and only if w satisfies (A2).
The proof is analogue to the one for Proposition 3.2 but using the characterization (10), so we omit it.
Note that (6) and (7) can be deduced from the previous propositions using (3) and (4).
Next particular case in which we will base the proof of Theorem 1.1 corresponds with the restrictions \(\alpha ,\beta >-1\), \(\alpha +\beta >0\), and \(\alpha<\beta <\alpha +2\).
Proposition 3.4
Let \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(\alpha<\beta <\alpha +2\), and \(1<p<\infty \). If w is a weight sequence that satisfies (A1), (A2), and (A3), then
This proposition is the central point to prove Theorem 1.1. Its proof is quite technical and we postpone it to next section. However, from Proposition 3.4 we can deduce the boundedness of the transplantation operator for \(\beta<\alpha <\beta +2\).
Proposition 3.5
Let \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(\beta<\alpha <\beta +2\), and \(1<p<\infty \). If w is a weight sequence that satisfies (A1), (A2), and (A3), then
Proof
This result follows from Proposition 3.4 by applying a duality argument. Indeed, by the converse Hölder’s inequality (see [8, (6.14)]),
Here, \(c_{00}\) denotes the space of all sequences which have only finitely many nonzero elements and, again, q is the conjugate of p. Then, using the identities \([w^{-q/p}]_{H_q}^\beta =[w]_{H_p^*}^\beta \), \([w^{-q/p}]_{H^*_q}^\alpha =[w]_{H_p}^\alpha \), and \([w^{-q/p}]_{A_q^{\text {loc}}}=[w]_{A_p^{\text {loc}}}\), and the conditions (A1), (A2), and (A3), by Proposition 3.4, we have
and the proof is finished. \(\square \)
Let us give now the proof of Theorem 1.1.
Proof of Theorem 1.1
Let us prove the cases not covered by Propositions 3.2, 3.3, 3.4, and 3.5.
-
(i)
Case \(\alpha >-1\) and \(\alpha +2k<\beta <\alpha +2(k+1)\) for \(k\in \{1,2,\ldots \}\). This time the transplantation operator can be written as the composition
$$\begin{aligned} T_{\alpha }^{\beta }=T_{\alpha +2k}^{\beta }\circ T_{\alpha }^{\alpha +2k}. \end{aligned}$$Then, in this case, the result follows from Propositions 3.4 and 3.2.
-
(ii)
Case \(\beta >-1\) and \(\beta +2k<\alpha <\beta +2(k+1)\) for \(k\in \{1,2,\ldots \}\). This case can be deduced from (i) by a duality argument as we did to prove Proposition 3.5 from Proposition 3.4, so we omit the details.
-
(iii)
Case \(-1<\alpha \le 0\), \(-1<\beta \le 1\), \(\alpha +\beta \le 0\), and \(\alpha <\beta \). Here, we put the transplantation operator as the composition
$$\begin{aligned} T_{\alpha }^{\beta }=T_{\alpha +2}^{\beta }\circ T_{\alpha }^{\alpha +2}. \end{aligned}$$The operators involved in this case can be controlled applying Propositions 3.5 and 3.2.
-
(iv)
Case \(-1<\alpha \le 1\), \(-1<\beta \le 0\), \(\alpha +\beta \le 0\), and \(\beta <\alpha \). In this last case, we can use duality and again we omit the details. \(\square \)
Let us prove now Theorem 1.3 to finish the present section. Before that, we note that clearly \(w_{a}(m)\simeq w_{a}(m+1)\) for any \(a\in {\mathbb {R}}\).
Proof of Theorem 1.3
Under the hypothesis \(-\gamma /2<(a+1)/p<\gamma /2+1\), the weight \(w_a\) satisfies the conditions (A1), (A2), and (A3). Then, the boundedness of the transplantation operator with the weight \(w_a\) is an immediate consequence of Theorem 1.1. \(\square \)
4 Proof of Proposition 3.4
The proofs of Lemmas 4.1, 4.2, and 4.4 that we will use in the proof of Proposition 3.4 are quite technical and they are postponed to the last section.
From now on, we will profusely use the notation \(\nu _{j}^{a}=4j+2a+2\) and
Note that the last integral is convergent if \(\alpha +\beta >0\) and positive at least under the extra assumption \(\alpha<\beta <\alpha +2\) (see Eq. (26) in next section).
In the following result, we deduce a proper expression for the kernel of the transplantation operator.
Lemma 4.1
Let \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(|\beta -\alpha |\not = 2k\) for every \(k\in {\mathbb {N}}\), and \(n,m\in {\mathbb {N}}\). Then,
From this lemma, it is clear that
Splitting the transplantation operator into four different operators according to the aforementioned regions, we obtain
where last operators are given explicitly by
and
By applying Cauchy–Schwarz’s inequality, it is immediate that \(|K_{\alpha }^\beta (m,m)|\le 1\) and then
To estimate the remaining operators in the decomposition of \(T_\alpha ^\beta \), we will use frequently, without an explicit mention to it, the equivalence
It holds for \(\alpha ,\beta >-1\) such that \(\alpha<\beta <\alpha +2\) and its proof is elementary.
Now, let us focus on \(O_{\alpha }^{\beta }\) and \((O^{*})_{\alpha }^{\beta }\), which are defined in the global part. Following estimation will play a key role.
Lemma 4.2
Let \(n,m\in {\mathbb {N}}\) and \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(\alpha<\beta <\alpha +2\). Then,
and
Moreover,
Now, regarding the operator \(O_{\alpha }^{\beta }\), by (18), it is clear the estimate
Therefore, \(O_{\alpha }^{\beta }\) is bounded by a Hardy operator and then, for \(1<p<\infty \), the weighted norm inequality
holds provided (A1). On its behalf, the treatment of the operator \((O^{*})_{\alpha }^{\beta }\) is analogous. Indeed, using now (19), we have
Then, \((O^{*})_{\alpha }^{\beta }\) is bounded by the adjoint of the Hardy operator and, for \(1<p<\infty \), the weighted norm inequality
holds provided condition (A2).
To study the local part \(Q_{\alpha }^{\beta }\), we use Theorem 2.1. First, we have to prove that the kernel \(K_{\alpha }^{\beta }(n,m)\) satisfies properties (a) and (b), so it is a local standard kernel and we can apply the local Calderón–Zygmund theory. The size condition (a) for the kernel is contained in the next proposition.
Proposition 4.3
Let \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(\alpha<\beta <\alpha +2\). Let \(n,m\in {\mathbb {N}}\) such that \(n\ne m\) and \(m_{0}\le n\le m_{0}^{*}\). Then,
Proof
The proof is immediate by means of Lemma 4.1 and the estimate (20) given in Lemma 4.2. \(\square \)
To deduce the regularity properties (b), we will need an extra lemma.
Lemma 4.4
Let \(n,m\in {\mathbb {N}}\), and \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(\alpha<\beta <\alpha +2\). Then,
and
With the help of this lemma, we can prove the following result.
Proposition 4.5
Let \(\alpha ,\beta >-1\) such that \(\alpha +\beta >0\) and \(\alpha<\beta <\alpha +2\). Let \(n,m\in {\mathbb {N}}\) so that \(n\ne m\) and \(m_{0}\le n\le m_{0}^{*}\). Then,
and
Note that the estimates (23) and (24) ensure the regularity properties (b2) and (b1) for the kernel \(K_{\alpha }^{\beta }(n,m)\). Let us see for instance that (23) implies (b2) (the proof for (24) implies (b1) is analogous). Let us suppose that \(n<l\). By the triangle inequality
If \(n>m\), we apply (23) to get the desired estimate. When \(n<m\), we apply again (23) and then use the fact \(|n-m|>2|n-l|\), so the result follows. The case \(n>l\) is similar and we omit the details.
Proof of Proposition 4.5
We focus on the proof for the bound (23). The one corresponding to (24) can be deduced in a similar way.
The key point in the proof is an appropriate decomposition of the difference of the involved kernels. By Lemma 4.1, we rewrite that difference by the expression
where we have denote
and
Since \(|\nu _{m}^{\beta }-\nu _{n}^{\alpha }|\simeq |\nu _{m}^{\beta }-\nu _{n+1}^{\alpha }|\simeq |m-n|\), provided \(n\ne m\) and \(n\ne m-1\), we have to check the uniform bound
for \(m_{0}\le n\le m-2\) with \(m\ge {6}\), and \(m+1\le n\le m_{0}^{*}\) with \(m\ge 2\).
In the special case \(n=m-1\), we can obtain (23) by showing that
but this is immediate by Cauchy-Schwarz’s inequality and the orthonormality of the Laguerre functions.
Let us prove (25). On the one hand, it is easy to obtain the uniform bound
using the estimate (20). However, \(S_{2}^{\alpha ,\beta }(n,m)\) is more difficult to deal with and we have to split it in two parts, namely
with
and
Last expression can be bounded using the estimates in Lemma 4.2. Indeed,
Regarding \(I_{1}^{\alpha ,\beta }(n,m)\), we use the identity [15, Eq. 18.9.14]
By means of it, we obtain the decomposition
where
and
One more time, by (20), we obtain \(|I_{1,2}^{\alpha ,\beta }(n,m)|\lesssim 1\).
Finally, by Lemma 4.4, it is easy to obtain
so \(|I_{1,1}^{\alpha ,\beta }(n,m)|\lesssim 1\), which concludes the proof. \(\square \)
On the other hand, by taking \(p=2\) and \(w(n)=1\) for all \(n\in {\mathbb {N}}\) in the inequalities (17), (21), and (22), it follows that \(P_{\alpha }^{\beta }\) and both global operators \(O_{\alpha }^{\beta }\) and \((O^{*})_{\alpha }^{\beta }\) are bounded in \(\ell ^{2}({\mathbb {N}})\). Since
then the operator \(Q_{\alpha }^{\beta }\) is also bounded on \(\ell ^{2}({\mathbb {N}})\). (Note that \(T_\alpha ^\beta \) is obviously a bounded operator from \(\ell ^2({\mathbb {N}})\) into itself.)
Therefore, under the assumptions of Proposition 3.4, \(K_{\alpha }^{\beta }(n,m)\) is a local standard kernel and the operator \(Q_{\alpha }^{\beta }\) is a local Calderón–Zygmund operator. Therefore, by Theorem 2.1, for \(1<p<\infty \) the weighted norm inequality
holds provided w satisfies (A3). This fact finishes the proof of Proposition 3.4.
5 Proofs of Auxiliary Results
Most proofs showed in the present section are based on the connection formula for Laguerre polynomials [15, Eq. 18.18.18] given by
which allow us to express a Laguerre polynomial of degree n and order \(\alpha \) as a linear combination of other Laguerre polynomials of order \(\beta \) and degrees less or equal than n. Here, \((z)_{\ell }\) denotes the usual Pochhammer symbol [15, section 5.2(iii)] defined by
Proof of Lemma 3.1
For the case \(\beta =\alpha +2\), the kernel is given by
Note that in these particular cases, we have the well-known identities
and
which can be deduced easily from the connection formula. Therefore, due to the orthogonality, the kernel is given by
and, using that \(L_0^\alpha (x)=L_0^{\alpha +1}(x)=1\),
From these identities, the statement of the lemma is obtained in a straightforward way by checking the cases \(m+1<n\), \(n=m+1\), and \(1\le n\le m\). \(\square \)
Proof of Lemma 4.1
The proof relies on the direct application of the integration by parts formula over the kernel \(K_{\alpha }^{\beta }(n,m)\), but it is more straightforward if the Laguerre functions of Hermite type \(\varphi _{n}^{\alpha }(x)=\sqrt{x}{\mathcal {L}}_{n}^{\alpha }(x^2)/\omega _{n}^{\alpha }\) are considered. By means of them, the kernel can be rewritten as
The functions \(\varphi _{n}^{\alpha }\) are eigenfunctions of a second order differential operator
with its respective eigenvalue \(\nu _{n}^{\alpha }=4n+2\alpha +2\). Then, since \(|\beta -\alpha |\ne 2k\) for every \(k\in {\mathbb {N}}\) implies \(\nu _{m}^{\beta }\ne \nu _{n}^{\alpha }\), the statement is obtained directly from the identity
Note that the assumption \(\alpha +\beta >0\) is crucial to get previous identity by means of the integration by parts formula since the integrated term is \(x^{\alpha +\beta }e^{-x^2}\) times a polynomial expression. Then, the mentioned condition ensures that this term vanishes at the origin (whereas it vanishes at infinity due to the exponential function). \(\square \)
Proof of Lemma 4.2
In the spirit of the proof of Lemma 3.1, we use the connection formula to obtain
and, similarly,
Therefore, due to the orthogonality,
Then, we have to estimate previous sum. We can put the Pochhammer symbols in terms of the Gamma function and by [15, Eq. 5.11.12], we get the estimate
and the analogous for
Therefore, having in mind the equivalence \(\omega _{n}^{\alpha }\simeq (n+1)^{-\alpha /2}\) we obtain that
with
For \(0\le n\le m\), we have
Then, by (27),
and the proof of (18) is completed.
To prove (19), we estimate \(R_\alpha ^\beta (n,m)\) distinguishing the cases \(m\le n\le m_0^{*}\) and \(m_0^*<n\). When \(m\le n\le m_0^{*}\), we have
where in the last step, we have used that \(n\simeq m\) in this case. Now, for \(m_0^*<n\), we have
Then, using (27),
and we finish the proof of (19).
Obviously, (20) is an immediate consequence of (18), (19) and the restriction \(m_0\le n \le m_0^*\). \(\square \)
Proof of Lemma 4.4
Let us denote
By means of the connection formula, we have
and
Therefore, proceeding in the same way as in the proof of Lemma 4.2, we obtain the estimate
where
In case that \(n\le m\), we have (see proof of Lemma 4.2)
whereas, if \(m\le n\),
From these two estimates, the lemma follows immediately. \(\square \)
References
Andersen, K.F., Muckenhoupt, B.: Weighted weak type Hardy inequalities with applications to Hilbert transforms and maximal functions. Studia Math. 72, 9–26 (1982)
Arenas, A., Ciaurri, Ó., Labarga, E.: A weighted transplantation theorem for Jacobi coefficients. J. Approx. Theory 248, 105297 (2019). (16 pp)
Askey, R.: A transplantation theorem for Jacobi coefficients. Pacific J. Math. 21, 393–404 (1967)
Askey, R., Wainger, S.: A transplantation theorem for ultraspherical coefficients. Pacific J. Math. 16, 393–405 (1966)
Betancor, J.J., Castro, A.J., Fariña, J.C., Rodríguez-Mesa, L.: Discrete harmonic analysis associated with ultraspherical expansions. Potential Anal. 53, 523–563 (2020)
ChiccoRuiz, A., Harboure, E.: Weighted norm inequalities for heat-diffusion Laguerre’s semigroups. Math. Z. 257, 329–354 (2007)
Duoandikoetxea, J.: Fourier analysis, Graduate Studies in Mathematics, 29. American Mathematical Society, Providence, RI (2001)
Folland, G.B.: Real analysis, Pure and Applied Mathematics. Wiley, New York (1984)
Garrigós, G., Harboure, E., Signes, T., Torrea, J.L., Viviani, B.: A sharp weighted transplantation theorem for Laguerre function expansions. J. Funct. Anal. 244, 247–276 (2007)
Grafakos, L., Liu, L., Yang, D.: Vector-valued singular integrals and maximal functions on spaces of homogeneous type. Math. Scand. 104, 296–310 (2009)
Guy, D.L.: Hankel multiplier transformations and weighted \(p\)-norms. Trans. Amer. Math. Soc. 95, 137–189 (1960)
Kanjin, Y.: A transplantation theorem for Laguerre series. Tohoku Math. J. 43, 537–555 (1991)
Nowak, A., Stempak, K.: Weighted estimates for the Hankel transform transplantation operator. Tohoku Math. J. 58, 277–301 (2006)
Okpoti, C. A., Persson, L.-E., Wedestig, A.: Weight characterizations for the discrete Hardy inequality with kernel, J. Inequal. Appl. (2006), Art. ID 18030, 14pp
Olver, F. W. J.: (editor-in-chief), NIST Handbook of Mathematical Functions, Cambridge University Press, New York, 2010
Stempak, K.: A transplantation theorem for Fourier-Bessel coefficients. Anal. Math. 24, 311–318 (1998)
Stempak, K.: Transplantation theorems - A survey. J. Fourier Anal. Appl. 17, 408–430 (2011)
Stempak, K., Trebels, W.: On weighted transplantation and multipliers for Laguerre expansions. Math. Ann. 300, 203–219 (1994)
Szegő, G.: Orthogonal polynomials. American Mathematical Society, Providence, Rhode Island (1975)
Thangavelu, S.: Lectures on Hermite and Laguerre expansions, Mathematical Notes, 42. Princeton University Press, Princeton (1993)
Acknowledgements
The authors would like to thank the anonymous reviewers for their helpful and constructive comments that greatly contributed to improve the final version of the paper.
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The first-named author was supported by a predoctoral research grant of the Government of Comunidad Autónoma de La Rioja. The second-named author was supported by grant PGC2018-096504-B-C32MINECO/FEDER, UE, Agencia Estatal de Investigación (ES) from Spanish Government. The third-named author was supported by a predoctoral research grant of the University of La Rioja.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Arenas, A., Ciaurri, Ó. & Labarga, E. Weighted Transplantation for Laguerre Coefficients. Mediterr. J. Math. 19, 52 (2022). https://doi.org/10.1007/s00009-021-01951-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-021-01951-x
Keywords
- Transplantation
- Laguerre coefficients
- Laguerre polynomials
- local Calderón–Zygmund theory
- weighted norm inequalities