1 Introduction

The Laguerre polynomials \(L_{n}^{\alpha }\) are defined by means of its corresponding Rodrigues’ type formula (see [19, Eq. 5.1.5])

$$\begin{aligned} x^{\alpha }e^{-x}L_{n}^{\alpha }(x)=\frac{1}{\Gamma (n+1)}\frac{d^{n}}{dx^{n}}\left( x^{\alpha +n}e^{-x}\right) , \qquad n\in {\mathbb {N}}=\{0,1,2,\ldots \}, \end{aligned}$$

where the order \(\alpha \) is restricted to \(\alpha >-1\) for integrability purposes. They are orthogonal on \((0,\infty )\) with respect to the measure

$$\begin{aligned} d\mu _{\alpha }(x)=x^{\alpha }e^{-x}\,dx. \end{aligned}$$

Let us consider the family of functions \(\{{\mathcal {L}}_{n}^{\alpha }(x)\}_{n\ge 0}\) defined by

$$\begin{aligned} {\mathcal {L}}_{n}^{\alpha }(x)=\omega _{n}^{\alpha }x^{\alpha /2}e^{-x/2}L_{n}^{\alpha }(x), \qquad x\in (0,\infty ), \end{aligned}$$
(1)

with \(\omega _{n}^{\alpha }\) the normalization factor

$$\begin{aligned} \omega _{n}^{\alpha }=\left( \frac{\Gamma (n+1)}{\Gamma (n+\alpha +1)}\right) ^{1/2}. \end{aligned}$$

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

$$\begin{aligned} {\mathcal {F}}_{\alpha }f(x)=\sum _{n=0}^{\infty }f(n){\mathcal {L}}_{n}^{\alpha }(x) \end{aligned}$$

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

$$\begin{aligned} c_{n}^{\alpha }(F)=\int _{0}^{\infty }F(x){\mathcal {L}}_{n}^{\alpha }(x)\,dx, \qquad F\in L^{2}(0,\infty ), \end{aligned}$$

is the usual n-th Fourier–Laguerre coefficient. Furthermore, the Parseval’s type identity

$$\begin{aligned} \int _{0}^{\infty }|{\mathcal {F}}_{\alpha }f(x)|^{2}\,dx=\sum _{n=0}^{\infty }|f(n)|^{2} \end{aligned}$$

holds, as well as

$$\begin{aligned} \int _{0}^{\infty }{\mathcal {F}}_\alpha f_{1}(x){\mathcal {F}}_\alpha f_{2}(x)\,dx=\sum _{n=0}^{\infty }f_{1}(n)f_{2}(n), \qquad f_{1},f_{2}\in \ell ^{2}({\mathbb {N}}). \end{aligned}$$
(2)

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

$$\begin{aligned} {\mathcal {F}}_{\alpha }^{-1}F(n)=c_{n}^{\alpha }(F), \end{aligned}$$

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

$$\begin{aligned} T_{\alpha }^{\beta }f={\mathcal {F}}_{\beta }^{-1}({\mathcal {F}}_{\alpha }f), \qquad f\in \ell ^{2}({\mathbb {N}}), \end{aligned}$$

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

$$\begin{aligned} \ell ^{p}({\mathbb {N}},w)=\left\{ f=\{f(n)\}_{n\ge 0} : \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}:=\left( \sum _{n=0}^{\infty }|f(n)|^{p}w(n)\right) ^{\frac{1}{p}}<\infty \right\} \end{aligned}$$

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\):

$$\begin{aligned}{}[w]_{H_{p}}^{\alpha }:=\sup _{M\ge 0} \left( \sum _{m=M}^{\infty }w(m) w_{-p(\alpha /2+1)}(m) \right) ^{1/p} \left( \sum _{m=0}^{M}w(m)^{-q/p} w_{q\alpha /2}(m) \right) ^{1/q}<\infty {,} \end{aligned}$$
(A1)
$$\begin{aligned}{}[w]_{H_{p}^{*}}^{\beta }:=\sup _{M\ge 0} \left( \sum _{m=M}^{\infty }w(m)^{-q/p} w_{-q(\beta /2+1)}(m) \right) ^{1/q} \left( \sum _{m=0}^{M}w(m) w_{p\beta /2}(m) \right) ^{1/p}<\infty {,} \end{aligned}$$
(A2)
$$\begin{aligned}{}[w]_{A_{p}^{\text {loc}}}:= \sup _{0\le m\le n\le 2(m+1)}\frac{1}{n-m+1} \left( \sum _{k=m}^{n}w(k)\right) ^{1/p}\left( \sum _{k=m}^{n}w(k)^{-q/p}\right) ^{1/q}<\infty {.} \end{aligned}$$
(A3)

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

$$\begin{aligned}{}[w_a]_{H_p}^\alpha<\infty \Longleftrightarrow \frac{a+1}{p}<\frac{\alpha }{2}+1 \end{aligned}$$
(3)

and

$$\begin{aligned}{}[w_a]_{H_p^*}^\beta<\infty \Longleftrightarrow -\frac{\beta }{2}<\frac{a+1}{p}. \end{aligned}$$
(4)

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,

$$\begin{aligned} \Vert T_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}, \qquad f\in \ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w). \end{aligned}$$
(5)

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

$$\begin{aligned} \frac{1}{C} \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)} \le \Vert T_{\alpha }^{\beta } f\Vert _{\ell ^{p}({\mathbb {N}},w)} \le C \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)},\qquad f\in {\ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w)}. \end{aligned}$$

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,

$$\begin{aligned} \Vert T_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}, \qquad {f\in \ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w_a),} \end{aligned}$$

provided

$$\begin{aligned} -\frac{\gamma }{2}<\frac{a+1}{p}<\frac{\gamma }{2}+1. \end{aligned}$$

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\}\),

$$\begin{aligned} \Vert T_{\alpha }^{\alpha +2k}f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})} \Longleftrightarrow \frac{a+1}{p}<\frac{\alpha }{2}+1 \end{aligned}$$
(6)

and

$$\begin{aligned} \Vert T_{\beta +2k}^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})} \Longleftrightarrow -\frac{\beta }{2}<\frac{a+1}{p}. \end{aligned}$$
(7)

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

$$\begin{aligned} \Vert F\Vert _{L_\delta ^1(0,\infty )}:=\int _{0}^{\infty } |F(x)|x^\delta \, dx \end{aligned}$$

is finite. It is known (see [6]) that

$$\begin{aligned} W^{\alpha }_tF(x)=\sum _{n=0}^\infty e^{-t\left( n+\frac{\alpha +1}{2}\right) } c_n^{\alpha }(F){\mathcal {L}}_n^{\alpha }(x)\xrightarrow [t\rightarrow 0^{+}]{} F(x) \quad \text {a.e.} \end{aligned}$$

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

$$\begin{aligned} c_m^{\beta }(F)=\lim _{t\rightarrow 0^+}\int _{0}^{\infty } W_t^{\alpha }F(x){\mathcal {L}}_m^{\beta }(x)\, dx. \end{aligned}$$

In this way, using (8) as follows:

$$\begin{aligned} c_m^{\beta }(F)=\lim _{t\rightarrow 0^+}\sum _{n=0}^{\infty } e^{-t\left( n+\frac{\alpha +1}{2}\right) } c_n^{\alpha }(F)\int _{0}^{\infty }{\mathcal {L}}_n^{\alpha }(x){\mathcal {L}}_m^{\beta }(x)\, dx= T_{\alpha }^{\beta }f(m), \end{aligned}$$

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

$$\begin{aligned} U=\{(\alpha ,0): \alpha \ge 0\}\cup \{(0,\beta ):\beta \ge 0\} \quad \text {and}\quad V=\{(\alpha ,\beta ):\alpha ,\beta >-1\}\setminus U. \end{aligned}$$

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

$$\begin{aligned} \frac{1}{C}\Vert c_n^{\alpha }(F)\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\le \Vert c_n^\beta (F)\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\le C \Vert c_n^{\alpha }(F)\Vert _{\ell ^{p}({\mathbb {N}},w_{a})},\qquad F\in L^1_\delta (0,\infty ), \end{aligned}$$

provided

$$\begin{aligned} -\frac{\gamma }{2}<\frac{a+1}{p}<\frac{\gamma }{2}+1. \end{aligned}$$

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

$$\begin{aligned} T_{\alpha }^{\beta }f(m)=\sum _{n=0}^{\infty }f(n)K_{\alpha }^{\beta }(n,m), \end{aligned}$$
(8)

where

$$\begin{aligned} K_{\alpha }^{\beta }(n,m)=\int _{0}^{\infty }{\mathcal {L}}_{n}^{\alpha }(x){\mathcal {L}}_{m}^{\beta }(x)\,dx \end{aligned}$$

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

$$\begin{aligned} K_{\alpha }^{\beta }(n,m)=\sum _{k=0}^{\infty }K_{\alpha }^{\delta }(n,k)K_{\delta }^{\beta }(k,m), \end{aligned}$$

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

$$\begin{aligned} Hf(m)=\frac{1}{m+1}\sum _{n=0}^{m}f(n) \quad \text {and}\quad H^{*}f(m)=\sum _{n=m}^{\infty }\frac{f(n)}{n+1}, \end{aligned}$$

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

$$\begin{aligned} \Vert w_{-\alpha /2}H(w_{\alpha /2}f)\Vert _{\ell ^{p}({\mathbb {N}},w)} \lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}, \end{aligned}$$
(9)

whereas (A2) is necessary and sufficient for

$$\begin{aligned} \Vert w_{\beta /2}H^{*}(w_{-\beta /2}f)\Vert _{\ell ^{p}({\mathbb {N}},w)} \lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}. \end{aligned}$$
(10)

Therefore, for \(1<p<\infty \), using (3) and (4), we have the following characterization:

$$\begin{aligned} \Vert w_{-\alpha /2}H(w_{\alpha /2}f)\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})} \Longleftrightarrow \frac{a+1}{p}<\frac{\alpha }{2}+1 \end{aligned}$$
(11)

and

$$\begin{aligned} \Vert w_{\beta /2}H^{*}(w_{-\beta /2}f)\Vert _{\ell ^{p}({\mathbb {N}},w_{a})}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w_{a})} \Longleftrightarrow -\frac{\beta }{2}<\frac{a+1}{p}. \end{aligned}$$
(12)

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

$$\begin{aligned} K:({\mathbb {N}}\times {\mathbb {N}})\setminus \Delta \longrightarrow {\mathbb {R}}, \end{aligned}$$

where \(\Delta =\{(n,n):m\in {\mathbb {N}}\}\), is supported in the set

$$\begin{aligned} D=\{(n,m): m_0\le n \le m_0^*\}. \end{aligned}$$

Moreover, let us suppose that the following conditions hold:

  1. (a)

    the size condition

    $$\begin{aligned} |K(n,m)|\lesssim \frac{1}{|n-m|}, \end{aligned}$$
  2. (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(nm) 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,

$$\begin{aligned} T f(m)=\sum _{\begin{array}{c} n\in {\mathbb {N}} \\ m_{0}\le n\le m_{0}^{*} \end{array}}f(n)K(n,m), \end{aligned}$$

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

$$\begin{aligned} \sum _{n\in {\mathbb {N}}\setminus 2I}\chi _{W_m}(n)|K(n,m)-K(n,l)||f(n)|\le C {\mathcal {M}}(|f|)(m), \quad m, l\in I, \end{aligned}$$
(13)

and

$$\begin{aligned} \sum _{m\in {\mathbb {N}}\setminus 2I}\chi _{W_n}(m)|K(n,m)-K(s,m)||f(n)|\le C {\mathcal {M}}(|f|)(n), \quad n, s\in I, \end{aligned}$$
(14)

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,

$$\begin{aligned} K_{\alpha }^{\alpha +2}(n,m)&=(\alpha +1)\frac{\omega _{m}^{\alpha +2}}{\omega _{n}^{\alpha }}, \qquad \text {for }0\le n \le m, \\ K_{\alpha }^{\alpha +2}(m+1,m)&=-\left( \frac{m+1}{m+\alpha +2}\right) ^{1/2}, \end{aligned}$$

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

$$\begin{aligned} T_{\alpha }^{\alpha +2}f(m) =(\alpha +1)\omega _{m}^{\alpha +2}\sum _{n=0}^{m}\frac{{f(n)}}{\omega _{n}^{\alpha }} -\left( \frac{m+1}{m+\alpha +2}\right) ^{1/2}f(m+1). \end{aligned}$$
(15)

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

$$\begin{aligned} \Vert T_{\alpha }^{\alpha +2k}f\Vert _{\ell ^{p}({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}, \qquad {f\in \ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w),} \end{aligned}$$
(16)

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

$$\begin{aligned} \left( \sum _{m=0}^{\infty }|f(m+1)|^{p}w(m)\right) ^{1/p}\simeq \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}. \end{aligned}$$

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

$$\begin{aligned} \Vert w_{-\alpha /2}H(w_{\alpha /2}f)\Vert _{\ell ^{p}({\mathbb {N}},w)} \lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)} \end{aligned}$$

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

$$\begin{aligned} T_{\alpha }^{\alpha +2k}=T_{\alpha +2(k-1)}^{\alpha +2k}\circ \cdots \circ T_{\alpha }^{\alpha +2}. \end{aligned}$$

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

$$\begin{aligned} T_{\beta +2}^{\beta }f(m) =-\left( \frac{m}{m+\beta +1}\right) ^{1/2}f(m-1)+\frac{\beta +1}{\omega _{m}^{\beta }} \sum _{n=m}^{\infty }f(n)\omega _{n}^{\beta +2}. \end{aligned}$$

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

$$\begin{aligned} \Vert T_{\beta +2k}^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}, \qquad {f\in \ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w),} \end{aligned}$$

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

$$\begin{aligned} \Vert T_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}, \qquad {f\in \ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w).} \end{aligned}$$

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

$$\begin{aligned} \Vert T_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}, \qquad {f\in \ell ^{2}({\mathbb {N}})\cap \ell ^{p}({\mathbb {N}},w).} \end{aligned}$$

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)]),

$$\begin{aligned} \Vert T_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)}&=\sup _{{\begin{matrix}g\in {c_{00}} \\ \Vert g\Vert _{\ell ^q({\mathbb {N}},w)}=1\end{matrix}}} \left| \sum _{m=0}^{\infty }g(m)T_{\alpha }^{\beta }f(m)w(m) \right| \\&=\sup _{{\begin{matrix}g\in {c_{00}} \\ \Vert g\Vert _{\ell ^q({\mathbb {N}},w)}=1\end{matrix}}} \left| \sum _{m=0}^{\infty }T_{\beta }^{\alpha }(wg)(m)f(m) \right| \\&\le \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)}\sup _{{\begin{matrix}g\in {c_{00}} \\ \Vert g\Vert _{\ell ^q({\mathbb {N}},w)}=1\end{matrix}}}\Vert T_{\beta }^{\alpha }(wg)\Vert _{\ell ^{q}({\mathbb {N}},w^{-q/p})}. \end{aligned}$$

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

$$\begin{aligned} \Vert T_{\beta }^{\alpha }(wg)\Vert _{\ell ^{q}({\mathbb {N}},w^{-q/p})}\lesssim \Vert wg\Vert _{\ell ^{q}({\mathbb {N}},w^{-q/p})}=\Vert g\Vert _{\ell ^{q}({\mathbb {N}},w)} \end{aligned}$$

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.

  1. (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.

  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.

  3. (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.

  4. (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

$$\begin{aligned} {\mathcal {K}}_\alpha ^{\beta }(n,m)=\int _{0}^{\infty }{\mathcal {L}}_{n}^{\alpha }(x){\mathcal {L}}_{m}^{\beta }(x)\frac{dx}{x}. \end{aligned}$$

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,

$$\begin{aligned} K_{\alpha }^{\beta }(n,m)=\frac{\beta ^{2}-\alpha ^{2}}{\nu _{m}^{\beta }-\nu _{n}^{\alpha }} {\mathcal {K}}_\alpha ^{\beta }(n,m). \end{aligned}$$

From this lemma, it is clear that

$$\begin{aligned} T_{\alpha }^{\beta }f(m)=(\beta ^{2}-\alpha ^{2})\sum _{{\begin{matrix}n=0\\ n\not = m\end{matrix}}}^{\infty }\frac{f(n)}{\nu _{m}^{\beta }-\nu _{n}^{\alpha }} {\mathcal {K}}_\alpha ^{\beta }(n,m)+f(m)K_{\alpha }^\beta (m,m). \end{aligned}$$

Splitting the transplantation operator into four different operators according to the aforementioned regions, we obtain

$$\begin{aligned} T_{\alpha }^{\beta }f(m)=O_{\alpha }^{\beta }f(m)+Q_{\alpha }^{\beta }f(m)+(O^{*})_{\alpha }^{\beta }f(m)+P_{\alpha }^{\beta }f(m), \end{aligned}$$

where last operators are given explicitly by

$$\begin{aligned} O_{\alpha }^{\beta }f(m)= & {} (\beta ^{2}-\alpha ^{2}) \sum _{\begin{array}{c} n\in {\mathbb {N}} \\ n<m_{0} \end{array}} \frac{f(n)}{\nu _{m}^{\beta }-\nu _{n}^{\alpha }} {\mathcal {K}}_\alpha ^{\beta }(n,m), \\ (O^{*})_{\alpha }^{\beta }f(m)= & {} (\beta ^{2}-\alpha ^{2}) \sum _{\begin{array}{c} n\in {\mathbb {N}} \\ n>m_{0}^{*} \end{array}} \frac{f(n)}{\nu _{m}^{\beta }-\nu _{n}^{\alpha }} {\mathcal {K}}_\alpha ^{\beta }(n,m), \\ Q_{\alpha }^{\beta }f(m)= & {} (\beta ^{2}-\alpha ^{2}) \sum _{\begin{array}{c} n\in {\mathbb {N}}, n\not = m \\ m_{0}\le n\le m_{0}^{*} \end{array}} \frac{f(n)}{\nu _{m}^{\beta }-\nu _{n}^{\alpha }} {\mathcal {K}}_\alpha ^{\beta }(n,m), \end{aligned}$$

and

$$\begin{aligned} P_{\alpha }^\beta f(m)=f(m)K_{\alpha }^\beta (m,m). \end{aligned}$$

By applying Cauchy–Schwarz’s inequality, it is immediate that \(|K_{\alpha }^\beta (m,m)|\le 1\) and then

$$\begin{aligned} \Vert P_\alpha ^\beta f\Vert _{\ell ^p({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^p({\mathbb {N}},w)}. \end{aligned}$$
(17)

To estimate the remaining operators in the decomposition of \(T_\alpha ^\beta \), we will use frequently, without an explicit mention to it, the equivalence

$$\begin{aligned} |\nu _{m}^{\beta }-\nu _{n}^{\alpha }|\simeq {\left\{ \begin{array}{ll} m+1, &{} 0\le n<m_{0}, \\ |m-n|, &{} m_{0}\le n \le m_{0}^{*},\ n\ne m, \\ n+1, &{} m_{0}^{*}<n. \end{array}\right. } \end{aligned}$$

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,

$$\begin{aligned} {\mathcal {K}}_\alpha ^\beta (n,m) \lesssim \left( \frac{n+1}{m+1}\right) ^{\alpha /2}, \qquad 0\le n\le m, \end{aligned}$$
(18)

and

$$\begin{aligned} {\mathcal {K}}_\alpha ^\beta (n,m) \lesssim \left( \frac{m+1}{n+1}\right) ^{\beta /2}, \qquad m\le n<\infty . \end{aligned}$$
(19)

Moreover,

$$\begin{aligned} {\mathcal {K}}_\alpha ^\beta (n,m) \lesssim 1, \qquad m_0\le n\le m_0^*. \end{aligned}$$
(20)

Now, regarding the operator \(O_{\alpha }^{\beta }\), by (18), it is clear the estimate

$$\begin{aligned} |O_{\alpha }^{\beta }f(m)| \lesssim w_{-(\alpha /2+1)}(m) \sum _{\begin{array}{c} n\in {\mathbb {N}} \\ n<m_{0} \end{array}}w_{\alpha /2}(n){|f(n)|} \lesssim w_{-\alpha /2}(m)H(w_{\alpha /2}{|f|})(m). \end{aligned}$$

Therefore, \(O_{\alpha }^{\beta }\) is bounded by a Hardy operator and then, for \(1<p<\infty \), the weighted norm inequality

$$\begin{aligned} \Vert O_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)} \lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)} \end{aligned}$$
(21)

holds provided (A1). On its behalf, the treatment of the operator \((O^{*})_{\alpha }^{\beta }\) is analogous. Indeed, using now (19), we have

$$\begin{aligned} |(O^{*})_{\alpha }^{\beta }f(m)|\lesssim w_{\beta /2}(m)H^{*}(w_{-\beta /2}{|f|})(m). \end{aligned}$$

Then, \((O^{*})_{\alpha }^{\beta }\) is bounded by the adjoint of the Hardy operator and, for \(1<p<\infty \), the weighted norm inequality

$$\begin{aligned} \Vert (O^{*})_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)} \lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)} \end{aligned}$$
(22)

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,

$$\begin{aligned} |K_{\alpha }^{\beta }(n,m)|\lesssim \frac{1}{|n-m|}. \end{aligned}$$

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,

$$\begin{aligned} \int _{0}^{\infty }{\mathcal {L}}_{n}^{\alpha +1}(x){\mathcal {L}}_{m}^{\beta }(x)\frac{dx}{x^{1/2}} \lesssim \frac{(n+1)^{1/2}}{m+1-n}\left( \frac{n+1}{m+1}\right) ^{\alpha /2}, \qquad 0\le n\le m, \end{aligned}$$

and

$$\begin{aligned} \int _{0}^{\infty }{\mathcal {L}}_{n}^{\alpha +1}(x){\mathcal {L}}_{m}^{\beta }(x)\frac{dx}{x^{1/2}} \lesssim \frac{(n+1)^{1/2}}{n+1-m}\left( \frac{m+1}{n+1}\right) ^{\beta /2}, \qquad 0\le m\le n. \end{aligned}$$

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,

$$\begin{aligned} |K_{\alpha }^{\beta }(n,m)-K_{\alpha }^{\beta }(n+1,m)|\lesssim \frac{1}{|m-n|^{2}} \end{aligned}$$
(23)

and

$$\begin{aligned} |K_{\alpha }^{\beta }(n,m)-K_{\alpha }^{\beta }(n,m+1)|\lesssim \frac{1}{|m-n|^{2}}. \end{aligned}$$
(24)

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

$$\begin{aligned} |K_{\alpha }^{\beta }(n,m)-K_{\alpha }^{\beta }(l,m)| \lesssim \sum _{j=0}^{l-n-1}|K_{\alpha }^{\beta }(n+j,m)-K_{\alpha }^{\beta }(n+1+j,m)|. \end{aligned}$$

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

$$\begin{aligned} |K_{\alpha }^{\beta }(n,m)\!-\!K_{\alpha }^{\beta }(n+1,m)| \!=\!\frac{\beta ^{2}-\alpha ^{2}}{|\nu _{m}^{\beta }-\nu _{n}^{\alpha }| |\nu _{m}^{\beta }\!-\!\nu _{n+1}^{\alpha }|} \left| S_{1}^{\alpha ,\beta }(n,m)\!+\!S_{2}^{\alpha ,\beta }(n,m)\right| , \end{aligned}$$

where we have denote

$$\begin{aligned} S_{1}^{\alpha ,\beta }(n,m)=(\nu _{n}^{\alpha }-\nu _{n+1}^{\alpha }) {\mathcal {K}}_\alpha ^\beta (n,m) \end{aligned}$$

and

$$\begin{aligned} S_{2}^{\alpha ,\beta }(n,m)=(\nu _{m}^{\beta }-\nu _{n}^{\alpha }) \int _{0}^{\infty }\left( {\mathcal {L}}_{n}^{\alpha }(x)-{\mathcal {L}}_{n+1}^{\alpha }(x)\right) {\mathcal {L}}_{m}^{\beta }(x)\frac{dx}{x}. \end{aligned}$$

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

$$\begin{aligned} \left| S_{1}^{\alpha ,\beta }(n,m)+S_{2}^{\alpha ,\beta }(n,m)\right| \lesssim 1 \end{aligned}$$
(25)

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

$$\begin{aligned} |K_{\alpha }^{\beta }(n,n+1)-K_{\alpha }^{\beta }(n+1,n+1)|\lesssim 1, \end{aligned}$$

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

$$\begin{aligned} |S_{1}^{\alpha ,\beta }(n,m)| \lesssim {\mathcal {K}}_\alpha ^\beta (n,m) \lesssim 1 \end{aligned}$$

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

$$\begin{aligned} S_{2}^{\alpha ,\beta }(n,m)=I_{1}^{\alpha ,\beta }(n,m)+I_{2}^{\alpha ,\beta }(n,m), \end{aligned}$$

with

$$\begin{aligned} I_{1}^{\alpha ,\beta }(n,m)= & {} (\nu _{m}^{\beta }-\nu _{n}^{\alpha })w_{n}^{\alpha +1}\sqrt{n+\alpha +1} \\&\times \int _{0}^{\infty }\left( L_{n}^{\alpha }(x)-L_{n+1}^{\alpha }(x)\right) {\mathcal {L}}_{m}^{\beta }(x)x^{\alpha /2-1}e^{-x/2}\,dx \end{aligned}$$

and

$$\begin{aligned} I_{2}^{\alpha ,\beta }(n,m)&=\frac{\nu _{m}^{\beta }-\nu _{n}^{\alpha }}{\sqrt{n+1}}(\sqrt{n+\alpha +1}-\sqrt{n+1}) {\mathcal {K}}_\alpha ^\beta (n,m) \\&=\frac{\alpha (\nu _{m}^{\beta }-\nu _{n}^{\alpha })}{\sqrt{n+1}(\sqrt{n+\alpha +1}+\sqrt{n+1})} {\mathcal {K}}_\alpha ^\beta (n,m). \end{aligned}$$

Last expression can be bounded using the estimates in Lemma  4.2. Indeed,

$$\begin{aligned} |I_{2}^{\alpha ,\beta }(n,m)|\lesssim \frac{|m-n|}{n+1}\lesssim 1. \end{aligned}$$

Regarding \(I_{1}^{\alpha ,\beta }(n,m)\), we use the identity [15, Eq. 18.9.14]

$$\begin{aligned} L_{n}^{\alpha }(x)-L_{n+1}^{\alpha }(x)=\frac{x}{n+1}L_{n}^{\alpha +1}(x)-\frac{\alpha }{n+1}L_{n}^{\alpha }(x). \end{aligned}$$

By means of it, we obtain the decomposition

$$\begin{aligned} |I_{1}^{\alpha ,\beta }(n,m)|=|I_{1,1}^{\alpha ,\beta }(n,m)-I_{1,2}^{\alpha ,\beta }(n,m)|, \end{aligned}$$

where

$$\begin{aligned} I_{1,1}^{\alpha ,\beta }(n,m)=(\nu _{m}^{\beta }-\nu _{n}^{\alpha })\frac{\sqrt{n+\alpha +1}}{n+1} \int _{0}^{\infty }{\mathcal {L}}_{n}^{\alpha +1}(x){\mathcal {L}}_{m}^{\beta }(x)\frac{dx}{x^{1/2}} \end{aligned}$$

and

$$\begin{aligned} I_{1,2}^{\alpha ,\beta }(n,m)=(\nu _{m}^{\beta }-\nu _{n}^{\alpha })\frac{\alpha }{n+1} {\mathcal {K}}_\alpha ^\beta (n,m). \end{aligned}$$

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

$$\begin{aligned} |I_{1,1}^{\alpha ,\beta }(n,m)|\lesssim {\left\{ \begin{array}{ll} \dfrac{m-n}{m+1-n}\left( \dfrac{n+1}{m+1}\right) ^{\alpha /2}, &{} m_{0}\le n\le m-2, \\ begin{eqnarray*}10pt] \dfrac{n-m}{n+1-m}\left( \dfrac{m+1}{n+1}\right) ^{\beta /2}, &{} m+1\le n\le m_{0}^{*}, \end{array}\right. } \end{aligned}$$

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

$$\begin{aligned} Q_{\alpha }^{\beta }f(m)=T_{\alpha }^{\beta }f(m)-O_{\alpha }^{\beta }f(m)-(O^{*})_{\alpha }^{\beta }f(m)-P_\alpha ^\beta f(m), \end{aligned}$$

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

$$\begin{aligned} \Vert Q_{\alpha }^{\beta }f\Vert _{\ell ^{p}({\mathbb {N}},w)}\lesssim \Vert f\Vert _{\ell ^{p}({\mathbb {N}},w)} \end{aligned}$$

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

$$\begin{aligned} L_{n}^{\alpha }(x)=\sum _{j=0}^{n}\frac{(\alpha -\beta )_{n-j}}{(n-j)!}L_{j}^{\beta }(x), \end{aligned}$$

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

$$\begin{aligned} (z)_{\ell }= {\left\{ \begin{array}{ll} 1, &{} \text {if }\ell =0,\\ z(z+1)\cdots (z+\ell -1), &{} \text {if }\ell >0. \end{array}\right. } \end{aligned}$$

Proof of Lemma 3.1

For the case \(\beta =\alpha +2\), the kernel is given by

$$\begin{aligned} K_{\alpha }^{\alpha +2}(n,m)=\omega _{n}^{\alpha }\omega _{m}^{\alpha +2} \int _{0}^{\infty }L_{n}^{\alpha }(x)L_{m}^{\alpha +2}(x)x^{\alpha +1}e^{-x}\,dx. \end{aligned}$$

Note that in these particular cases, we have the well-known identities

$$\begin{aligned} L_n^{\alpha }(x)=L^{\alpha +1}_n(x)-L_{n-1}^{\alpha +1}(x), \qquad n\ge 1, \end{aligned}$$

and

$$\begin{aligned} L_m^{\alpha +2}(x)=\sum _{j=0}^{m}L_j^{\alpha +1}(x), \end{aligned}$$

which can be deduced easily from the connection formula. Therefore, due to the orthogonality, the kernel is given by

$$\begin{aligned} K_{\alpha }^{\alpha +2}(n,m)=\omega _{n}^{\alpha }\omega _{m}^{\alpha +2} \sum _{j=0}^{m}\left( \delta _{j,n}\left( \omega _{j}^{\alpha +1}\right) ^{-2}-\delta _{j,n-1}\left( \omega _{j}^{\alpha +1}\right) ^{-2}\right) , \qquad n\ge 1, \end{aligned}$$

and, using that \(L_0^\alpha (x)=L_0^{\alpha +1}(x)=1\),

$$\begin{aligned} K_{\alpha }^{\alpha +2}(0,m)=(\alpha +1)\frac{\omega _{m}^{\alpha +2}}{{\omega _0^{\alpha }}}. \end{aligned}$$

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

$$\begin{aligned} K_{\alpha }^{\beta }(n,m)=2\omega _{n}^{\alpha }\omega _{m}^{\beta }\int _{0}^{\infty }\varphi _{n}^{\alpha }(x)\varphi _{m}^{\beta }(x)\,dx. \end{aligned}$$

The functions \(\varphi _{n}^{\alpha }\) are eigenfunctions of a second order differential operator

$$\begin{aligned} {\mathfrak {L}}^{\alpha }\varphi _{n}^{\alpha }(x)=-\nu _{n}^{\alpha }\varphi _{n}^{\alpha }(x), \qquad {\mathfrak {L}}^{\alpha }=\frac{d^2}{dx^{2}}+\frac{1/4-\alpha ^2}{x^{2}}-x^2, \end{aligned}$$

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

$$\begin{aligned} \int _{0}^{\infty }{\mathfrak {L}}^{\alpha }\varphi _{n}^{\alpha }(x)\varphi _{m}^{\beta }(x)\,dx= & {} \int _{0}^{\infty }\varphi _{n}^{\alpha }(x){\mathfrak {L}}^{\beta }\varphi _{m}^{\beta }(x)\,dx \nonumber \\&+(\beta ^2-\alpha ^2)\int _{0}^{\infty }\varphi _{n}^{\alpha }(x)\varphi _{m}^{\beta }(x)\frac{dx}{x^{2}}. \end{aligned}$$

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

$$\begin{aligned} L_{n}^{\alpha }(x)=\sum _{j=0}^{n}\frac{(\alpha /2-\beta /2+1)_{n-j}}{(n-j)!}L_{j}^{\alpha /2+\beta /2-1}(x) \end{aligned}$$

and, similarly,

$$\begin{aligned} L_{m}^{\beta }(x)=\sum _{k=0}^{m}\frac{(\beta /2-\alpha /2+1)_{m-k}}{(m-k)!}L_{k}^{\alpha /2+\beta /2-1}(x). \end{aligned}$$

Therefore, due to the orthogonality,

$$\begin{aligned} {\mathcal {K}}_{\alpha }^{\beta }(n,m)= & {} \sum _{j=0}^{\min \{n,m\}}\frac{(\alpha /2-\beta /2+1)_{n-j}}{(n-j)!}\frac{(\beta /2-\alpha /2+1)_{m-j}}{(m-j)!}\nonumber \\&\frac{\omega _{n}^{\alpha }\omega _{m}^{\beta }}{(\omega _{j}^{\alpha /2+\beta /2-1})^{2}}. \end{aligned}$$
(26)

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

$$\begin{aligned} \frac{(\alpha /2-\beta /2+1)_{n-j}}{(n-j)!}=\frac{\Gamma (n-j+\alpha /2-\beta /2+1)}{\Gamma (n-j+1)\Gamma (\alpha /2-\beta /2+1)} \simeq (n+1-j)^{\alpha /2-\beta /2} \end{aligned}$$

and the analogous for

$$\begin{aligned} \frac{(\beta /2\!-\!\alpha /2\!+\!1)_{m-j}}{(m-j)!}=\frac{\Gamma (m-j\!+\!\beta /2-\alpha /2+1)}{\Gamma (m-j+1)\Gamma (\beta /2-\alpha /2+1)} \simeq (m+1-j)^{\beta /2-\alpha /2}. \end{aligned}$$

Therefore, having in mind the equivalence \(\omega _{n}^{\alpha }\simeq (n+1)^{-\alpha /2}\) we obtain that

$$\begin{aligned} {\mathcal {K}}_{\alpha }^{\beta }(n,m)\lesssim (n+1)^{-\alpha /2}(m+1)^{-\beta /2}R_\alpha ^\beta (n,m), \end{aligned}$$
(27)

with

$$\begin{aligned} R_\alpha ^\beta (n,m)=\sum _{j=0}^{\min \{n,m\}}(n+1-j)^{\alpha /2-\beta /2}(m+1-j)^{\beta /2-\alpha /2}(j+1)^{\alpha /2+\beta /2-1}. \end{aligned}$$

For \(0\le n\le m\), we have

$$\begin{aligned} R_\alpha ^\beta (n,m)&\lesssim (m+1)^{\beta /2-\alpha /2}\sum _{j=0}^{n}(n+1-j)^{\alpha /2-\beta /2}(j+1)^{\alpha /2+\beta /2-1}\\ {}&\simeq (m+1)^{\beta /2-\alpha /2}(n+1)^{\alpha }. \end{aligned}$$

Then, by (27),

$$\begin{aligned} {\mathcal {K}}_{\alpha }^{\beta }(n,m)\lesssim \left( \frac{n+1}{m+1}\right) ^{\alpha /2}, \qquad 0\le n\le m, \end{aligned}$$

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

$$\begin{aligned} R_\alpha ^\beta (n,m)&\lesssim (m+1)^{\beta /2-\alpha /2}(n+1)^{\alpha /2-\beta /2}\sum _{j=0}^{[m/2]}(j+1)^{\alpha /2+\beta /2-1} \\&\quad +(m+1)^{\beta -1}\sum _{j=[m/2]+1}^m (n+1-j)^{\alpha /2-\beta /2}\\ {}&\lesssim (m+1)^{\beta }(n+1)^{\alpha /2-\beta /2} +(m+1)^{\beta -1}\sum _{j=0}^n (n+1-j)^{\alpha /2-\beta /2}\\ {}&\lesssim (m+1)^{\beta }(n+1)^{\alpha /2-\beta /2}+(m+1)^{\beta -1}(n+1)^{\alpha /2-\beta /2+1}\\ {}&\lesssim (m+1)^\beta (n+1)^{\alpha /2-\beta /2}, \end{aligned}$$

where in the last step, we have used that \(n\simeq m\) in this case. Now, for \(m_0^*<n\), we have

$$\begin{aligned} R_\alpha ^\beta (n,m)&\lesssim (m+1)^{\beta /2-\alpha /2}(n+1-m)^{\alpha /2-\beta /2}\sum _{j=0}^{m}{(j+1)}^{\alpha /2+\beta /2-1}\\ {}&\lesssim (m+1)^\beta (n+1)^{\alpha /2-\beta /2}. \end{aligned}$$

Then, using (27),

$$\begin{aligned} {\mathcal {K}}_{\alpha }^{\beta }(n,m)\lesssim \left( \frac{m+1}{n+1}\right) ^{\beta /2} \end{aligned}$$

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

$$\begin{aligned} J_{\alpha }^{\beta }(n,m):=\omega _{n}^{\alpha +1}\omega _{m}^{\beta } \int _{0}^{\infty }L_{n}^{\alpha +1}(x)L_{m}^{\beta }(x)x^{\alpha /2+\beta /2}e^{-x}\,dx. \end{aligned}$$

By means of the connection formula, we have

$$\begin{aligned} L_{n}^{\alpha +1}(x)=\sum _{j=0}^{n}\frac{(\alpha /2-\beta /2+1)_{n-j}}{(n-j)!}L_{j}^{\alpha /2+\beta /2}(x) \end{aligned}$$

and

$$\begin{aligned} L_{m}^{\beta }(x)=\sum _{j=0}^{m}\frac{(\beta /2-\alpha /2)_{m-j}}{(m-j)!}L_{j}^{\alpha /2+\beta /2}(x). \end{aligned}$$

Therefore, proceeding in the same way as in the proof of Lemma 4.2, we obtain the estimate

$$\begin{aligned} J_{\alpha }^{\beta }(n,m)\simeq (n+1)^{-\alpha /2-1/2}(m+1)^{-\beta /2}S_{\alpha }^{\beta }(n,m), \end{aligned}$$

where

$$\begin{aligned} S_{\alpha }^{\beta }(n,m)=\sum _{j=0}^{\min \{n,m\}}(n+1-j)^{\alpha /2-\beta /2}(m+1-j)^{\beta /2-\alpha /2-1}(j+1)^{\alpha /2+\beta /2}. \end{aligned}$$

In case that \(n\le m\), we have (see proof of Lemma 4.2)

$$\begin{aligned} S_{\alpha }^{\beta }(n,m)&\lesssim \frac{n+1}{m+1-n}\sum _{j=0}^{n}(n+1-j)^{\alpha /2-\beta /2}(m+1-j)^{\beta /2-\alpha /2}(j+1)^{\alpha /2+\beta /2-1} \\&\lesssim \frac{(n+1)^{\alpha +1}(m+1)^{\beta /2-\alpha /2}}{m+1-n}, \end{aligned}$$

whereas, if \(m\le n\),

$$\begin{aligned} S_{\alpha }^{\beta }(n,m)&\lesssim (n+1-m)^{\alpha /2-\beta /2}\sum _{j=0}^{m}(m+1-j)^{\beta /2-\alpha /2-1}(j+1)^{\alpha /2+\beta /2} \\&\lesssim (n+1-m)^{\alpha /2-\beta /2}(m+1)^{\alpha /2+\beta /2}\sum _{j=0}^{m}(m+1-j)^{\beta /2-\alpha /2-1} \\&\lesssim (n+1-m)^{\alpha /2-\beta /2}(m+1)^{\beta }\lesssim \frac{(n+1)^{\alpha /2-\beta /2+1}(m+1)^\beta }{n+1-m}. \end{aligned}$$

From these two estimates, the lemma follows immediately. \(\square \)