Abstract
For the discrete Laguerre operators we compute explicitly the corresponding heat kernels by expressing them with the help of Jacobi polynomials. This enables us to show that the heat semigroup is ultracontractive and to compute the corresponding norms. On the one hand, this helps us to answer basic questions (recurrence, stochastic completeness) regarding the associated Markovian semigroup. On the other hand, we prove the analogs of the Cwiekel–Lieb–Rosenblum and the Bargmann estimates for perturbations of the Laguerre operators, as well as the optimal Hardy inequality.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Our main objects of study are the discrete Laguerre operators
acting in \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\). Explicitly, \(H_\alpha = \big (h^{(\alpha )}_{n,m}\big )_{n,m\ge 0}\) with \(h^{(\alpha )}_{n,m}=0\) if \(|n-m|>1\) and
It is a special case of a self-adjoint Jacobi operator whose generalized eigenfunctions are precisely the Laguerre polynomials \(L_n^{(\alpha )}\), explaining the name for (1.1).
The operator \(H_\alpha \) features prominently in the study of nonlinear waves in \((2+1)\)-dimensional noncommutative scalar field theory [1, 2, 12]. The coefficient \(\alpha \) in (1.1) can be seen as a measure of the delocalization of the field configuration and it is related to the planar angular momentum [2]. In particular, \(\alpha =0\) corresponds to spherically symmetric waves and it has attracted further interest in [4, 21,22,23], where \(H_0\) appears as the linear part in the nonlinear Schrödinger equation [21,22,23]. Thus dispersive estimates for the unitary evolution play a crucial role in the understanding of stability of soliton manifolds appearing in these models. It turned out (see [19, 20]) that the unitary evolution \(\mathrm {e}^{\mathrm {i}t H_\alpha }\) can be expressed by means of Jacobi polynomials (see Appendix A for definitions and basic facts) and this also connects dispersive estimates with uniform weighted estimates of Jacobi polynomials on the orthogonality interval (the so-called Bernstein-type inequalities).
In the present article we focus on the study of the heat semigroup \((\mathrm {e}^{-t H_\alpha })_{t>0}\). Usually (sharp) dispersive estimates (for \(\mathrm {e}^{\mathrm {i}t H_\alpha }\) these are obtained in [19, 20]) do not imply (sharp) heat kernel estimates as the example of the free Hamiltonian shows. Namely, let \(J_0\) be defined in \(\ell ^2({{\mathbb {Z}}})\) by
\(J_0\) is a bounded self-adjoint operator, whose spectrum is purely absolutely continuous and coincides with the interval [0, 4]. The corresponding heat semigroup and the unitary evolution are given by
for all \(n,m\in {{\mathbb {Z}}}\). Here
is the modified Bessel function of the first kind [25, (10.25.2)] (we use the convention \(1/\Gamma (m) =0\) if \(m\in {{\mathbb {Z}}}_{\le 0}\)). This leads to the following bounds
as \(t\rightarrow \infty \), however,
It is not at all surprising that the heat kernel of \(\mathrm {e}^{-t H_\alpha }\) is expressed by means of Jacobi polynomials (Theorem 4.1). However, now one is led to the study of Jacobi polynomials outside of the orthogonality interval. Let us next briefly outline the structure of the paper and the main results.
Section 2 is of preliminary character, where we recall the definition of \(H_\alpha \) and its basic spectral properties.
In Sect. 3 we investigate the quadratic form \({\mathfrak {t}}_\alpha \) associated with \(H_\alpha \). Using a convenient factorization of the matrix (1.1) (which connects \(H_\alpha \) with the spectral theory of Krein strings, see Remark 3.2), we are able to perform a rather detailed study of \({\mathfrak {t}}_\alpha \) (Lemma 3.1). Using the Beurling–Deny criteria, this helps us to conclude that the heat semigroup \(\mathrm {e}^{-tH_\alpha }\) is positivity preserving. Moreover, it is Markovian if \(\alpha =0\) (that is, \(\mathrm {e}^{-t H_0}\) is also \(\ell ^\infty \) contractive). The string factorization also shows that a very simple similarity transformation (3.10) connects \(H_\alpha \) with the difference operator \({\widetilde{H}}_\alpha \), which is Markovian, however, acts in a weighted \(\ell ^2\) space.
We investigate heat semigroups \(\mathrm {e}^{-tH_\alpha }\) and \(\mathrm {e}^{-t{\widetilde{H}}_\alpha }\) in Sect. 4. First, we compute explicitly the corresponding heat kernels (Theorem 4.1). On the one hand, the connection with Jacobi polynomials enables us to obtain the on-diagonal estimates for the heat kernels (Theorem 4.6). On the other hand, this allows us to show that the continuous time random walk on \({{\mathbb {Z}}}_{\ge 0}\) generated by \({\widetilde{H}}_\alpha \) is recurrent exactly when \(\alpha >0\). Moreover, it is stochastically complete for all \(\alpha >-1\). It is interesting to mention that the latter is a consequence of the formula for the generating function of Meixner polynomials (see Remark 4.4 and Lemma 4.8). Let us stress in this connection that orthogonality relations for Meixner polynomials are equivalent to the unitarity of \(\mathrm {e}^{-\mathrm {i}tH_\alpha }\) (see [19, Remark 3.2]).
In the final Sect. 5 we study the negative spectrum of perturbations \(H_{\alpha ,V}\) of \(H_\alpha \). Rank one perturbations of \(H_\alpha \) enjoy a very detailed treatment (Lemma 5.1). This has several consequences. First of all, for \(\alpha \in (-1,0]\) this immediately implies that no matter how small the attractive perturbation V is, it always produces a non-empty negative spectrum (i. e., the presence of a zero energy resonance for \(\alpha \in (-1,0]\), cf. (2.18), which can also be seen as another instance of recurrence). For \(\alpha >0\), we can show that for sufficiently small attractive perturbations V, the negative spectrum of \(H_{\alpha ,V}\) remains empty. The qualitative measure of “smallness” is demonstrated by the optimal Hardy inequality (Theorem 5.8) as well as by two estimates (5.9) and (5.13). The latter is the analog of the Bargmann bound for 1D Schrödinger operators. The former is the analog of the Cwikel–Lieb–Rosenblum bound and it actually follows from the ultracontractivity estimate (4.18) (indeed, by theorem of Varopoulos, (4.18) is equivalent to the Sobolev-type inequality (5.10), which is known to be further equivalent to a CLR-type bound, [9, 24]). Let us stress that the optimal constant \(C(\alpha )\) in (5.9) remains an open problem. In conclusion let us mention that all the above results resemble a strong similarity between discrete Laguerre operators and 1D radial Schrödinger operators (for instance, one may interpret (5.9) as a discrete analog of the Glaser–Grösse–Martin–Thirring bound [26, Theorem XIII.9(c)]).
1.1 Notation
\({{\mathbb {R}}}\) and \({{\mathbb {C}}}\) have the usual meaning; \({{\mathbb {R}}}_{>0} := (0,\infty )\), \({{\mathbb {R}}}_{\ge 0} := [0,\infty )\), and \({{\mathbb {Z}}}_{\ge a} := {{\mathbb {Z}}}\cap [a,\infty )\) for any \(a\in {{\mathbb {R}}}\).
By \(\Gamma \) is denoted the classical gamma function [25, (5.2.1)]. For \(x\in {{\mathbb {C}}}\) and \(n\in {{\mathbb {Z}}}_{\ge 0}\)
denote the Pochhammer symbol [25, (5.2.4)] and the binomial coefficient, respectively. Notice that for \(-x\notin {{\mathbb {Z}}}_{\ge 0}\)
Moreover, the above formulas allow to define the Pochhammer symbol and the binomial coefficient for noninteger x, \(n>0\). Finally, for \(-c \notin {{\mathbb {Z}}}_{\ge 0}\) the Gauss hypergeometric function [25, (15.2.1)] is defined by
For a sequence of positive reals \(\sigma =( \sigma _n)_{n\ge 0} \subset {{\mathbb {R}}}_{>0}\) and \(p\in [1,\infty )\), we denote by \(\ell ^p(\sigma ) = \ell ^p({{\mathbb {Z}}}_{\ge 0};\sigma )\) the usual weighted Banach space of sequences \(u = (u_n)_{n\ge 0}\subset {{\mathbb {C}}}\) such that
If \(p=\infty \), then the corresponding norm is given by
We shall simply write \(\ell ^p = \ell ^p({{\mathbb {Z}}}_{\ge 0})\) if \(\sigma = {\mathbb {1}}\). Finally, \(\delta _n = (\delta _{n,k})_{k\ge 0}\), \(n\in {{\mathbb {Z}}}_{\ge 0}\), is the standard orthonormal basis in \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\), where \(\delta _{n,k}\) is Kronecker’s delta.
2 The discrete Laguerre operator
We start with a precise definition of the operator \(H_\alpha \). For a sequence \(u=(u_n)_{n\ge 0}\) we define the difference expression \(\tau _\alpha :u\mapsto \tau _\alpha u\) by setting
for all \(n\in {{\mathbb {Z}}}_{\ge 0}\), where \(u_{-1}:=0\) for notational simplicity. Then the operator \(H_\alpha \) associated with the Jacobi matrix (1.1) is defined by
where
Notice that \({\mathcal {D}}_{\max }\) does not depend on \(\alpha \), however, seems, a closed description of \({\mathcal {D}}_{\max }\) is a rather complicated task.
Spectral properties of \(H_\alpha \) are well known. Let us briefly describe them. First of all, the Carleman test (see, e.g., [3, p. 24]) implies that \(H_\alpha \) is self-adjoint. Moreover, the polynomials of the first kind for (2.1) are given by (see [29, (5.1.10)])
where
and \(L_n^{(\alpha )}\) are the Laguerre polynomials [29, Section 5.1]:
Orthogonality relations for \(P_{\alpha ,n}\) are given by (see [29, (5.1.1)])
Therefore, the probability measure
is the spectral measure of \(H_\alpha \), that is, \(H_\alpha \) is unitarily equivalent to a multiplication operator in \(L^2({{\mathbb {R}}}_{>0};\rho _\alpha )\). Indeed, the map \({{\mathcal {F}}}_\alpha :\ell ^2({{\mathbb {Z}}}_{\ge 0})\rightarrow L^2({{\mathbb {R}}}_{>0};\rho _\alpha )\) defined by
for all \(f\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\), extends to an isometric isomorphism. Its inverse is given by
for every \(F\in L^2_c({{\mathbb {R}}}_{>0};\rho _\alpha )\). Then
where \(M_\alpha \) is the multiplication operator
acting in the Hilbert space \(L^2({{\mathbb {R}}}_{>0};\rho _\alpha )\). This in particular implies that \(H_\alpha \) is a positive operator and its spectrum \(\sigma (H_\alpha )\) coincides with \([0,\infty )\). Moreover, \(\sigma (H_\alpha )\) is purely absolutely continuous of multiplicity 1.
The Stieltjes transform of \(\rho _\alpha \), which is usually called the Weyl function (or m-function) of \(H_\alpha \), is given by
where
denotes the principal value of the generalized exponential integral [25, (8.19.2)] and \(\Gamma (s,z)\) is the incomplete Gamma function [25, (8.2.2)]. Note that
Next, let us define the polynomials of the second kind (see [3]):
where \(Q_{\alpha ,0}(z)\equiv 0\) and \(Q_{\alpha ,1}(z)\equiv \frac{1}{\sqrt{\alpha +1}}\). Then \(u:= (Q_{\alpha ,n}(z))_{n{\ge 0}}\) satisfies \((\tau _\alpha u)_n = zu_n\) for all \(n\ge 1\). Notice that for all \(z\in {{\mathbb {C}}}\setminus {{\mathbb {R}}}_{\ge 0}\) the linear combination
also known as the Weyl solution in the Jacobi operators context, satisfies
for all \(z\in {{\mathbb {C}}}\setminus {{\mathbb {R}}}_{\ge 0}\). In particular, this provides us with the explicit expression of the resolvent of \(H_\alpha \) (actually, with its Green’s function)
Lemma 2.1
For \(n,m\in {{\mathbb {Z}}}_{\ge 0}\),
Proof
Since \(H_\alpha \) is self-adjoint, \(G_\alpha (x;n,m) = G_\alpha (x;m,n)\) for any \(x<0\), so suppose \(n\le m\). By (2.17),
and hence (2.13) implies (2.18) for \(\alpha \in (-1,0]\). If \(\alpha >0\), we get by using (2.14),
Here in the second line we used [25, (18.18.37)] and then orthogonality of the Laguerre polynomials (2.7). It remains to plug the last expression into (2.19). \(\square \)
3 The quadratic form
Let us consider the quadratic form corresponding to the operator \(H_\alpha \):
This form is positive since so is \(H_\alpha \). Since \(H_\alpha \) is self-adjoint, \({\mathfrak {t}}_\alpha ^0\) is closable and its closure \({\mathfrak {t}}_\alpha \) is explicitly given by
where \(\sqrt{H_\alpha }\) denotes the positive self-adjoint square root of \(H_\alpha \).
Lemma 3.1
The domain \(\mathrm {dom}({\mathfrak {t}}_\alpha )\) of \({\mathfrak {t}}_\alpha \) does not depend on \(\alpha \) and consists of those \(u\in \ell ^2({{\mathbb {Z}}}_{\ge 0})\) for which the series
is finite. Moreover, for every \(u\in \mathrm {dom}({\mathfrak {t}}_\alpha )\) the form \({\mathfrak {t}}_\alpha \) admits the representation
Proof
Observe that the matrix (1.1) admits “the string factorization” (see, e.g., [3, Appendix], [14, § 13], [6, §3]):
where \(\frac{1}{\omega _{\alpha }(-1)}:=0\) and
Therefore, the Jacobi matrix (1.1) can be (at least formally) written as
where \({{\mathcal {W}}}_\alpha \) and \({{\mathcal {L}}}_\alpha \) are the multiplication operators
\({{\mathcal {S}}}\) is the shift operator \({{\mathcal {S}}}:(u_n)_{n\ge 0} \mapsto (u_{n-1})_{n\ge 0}\) with the standard convention \(u_{-1}:=0\), and \({{\mathcal {S}}}^*\) is the backward shift, \({{\mathcal {S}}}^*:(u_n)_{n\ge 0} \mapsto (u_{n+1})_{n\ge 0}\). The representation (3.8) immediately implies
for every \(u\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\).
Consider now the maximally defined form \({\mathfrak {t}}_\alpha \), i.e., \({\mathfrak {t}}_\alpha \) is defined by the RHS in (3.4) on sequences \(u\in \ell ^2({{\mathbb {Z}}}_{\ge 0})\) for which the RHS in (3.4) is finite. It is standard to show that this form is positive and closed in \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\). However, \({\mathfrak {t}}_\alpha \) is clearly an extension of the pre-minimal form \({\mathfrak {t}}^0_\alpha \). However, the maximally defined operator \(H_\alpha \) is self-adjoint and hence \({\mathfrak {t}}^0_\alpha \) admits a unique closed extension. Thus \({\mathfrak {t}}_\alpha = \overline{{\mathfrak {t}}_\alpha ^0}\).
Finally, to show that \(\mathrm {dom}({\mathfrak {t}}_\alpha ) = \mathrm {dom}({\mathfrak {t}}_0)\) for all \(\alpha >-1\) it suffices to notice that
for all \(n\ge 0\) and \(\alpha >-1\). \(\square \)
Remark 3.2
It was observed by Mark Krein [14, §13] that spectral theory of Jacobi matrices admitting factorization (3.5) can be included into the spectral theory of Krein strings. Indeed, setting
and introducing a measure \(\omega _\alpha \) on \([0,\infty )\) by
the difference equation \(\tau _\alpha u = z u\) describes small oscillations of a string of infinite length which carries only point masses \(\omega _\alpha (n)\) at \(x_n\). Moreover, \(\tau _\alpha u = z u\) can be turned into the string spectral problem (the so-called Krein–Stieltjes string)
Corollary 3.3
The operator \(H_\alpha \) generates a positivity preserving semigroup \(\mathrm {e}^{-tH_\alpha }\), \(t>0\). Moreover, for \(\alpha =0\), the corresponding semigroup is Markovian.
Proof
By the first Beurling–Deny criterion (see [26, Theorem XIII.50]), it suffices to notice that
in view of (3.4). Here \(|u|: = (|u_n|)_{n\ge 0}\).
If \(\alpha =0\), then by Lemma 3.1
for all \(u\in \mathrm {dom}({\mathfrak {t}}_0)\). Suppose additionally that \(u\ge 0\), that is, \(u_n\ge 0\) for all \(n\ge 0\). It is straightforward to check that \(\min (u,{\mathbb {1}})\) also belongs to \(\mathrm {dom}({\mathfrak {t}}_0)\) and, moreover,
By the second Beurling–Deny criterion (see [26, Theorem XIII.51]), \(\mathrm {e}^{-t H_0}\), \(t>0\) extends to a contraction on \(\ell ^p\) for each \(p\in [1,\infty ]\). This implies that it is Markovian and the corresponding quadratic form \({\mathfrak {t}}_0\) is a Dirichlet form [10, §1.4]. \(\square \)
Remark 3.4
For \(\alpha \ne 0\) the form \({\mathfrak {t}}_\alpha \) is not a Dirichlet form. Indeed, by Lemma 3.1, for each \(0\le u\in \mathrm {dom}({\mathfrak {t}}_\alpha ) = \mathrm {dom}({\mathfrak {t}}_0)\), we get \(\min (u,{\mathbb {1}}) \in \mathrm {dom}({\mathfrak {t}}_0) = \mathrm {dom}({\mathfrak {t}}_\alpha )\). However, one can construct a positive \(u\in \mathrm {dom}({\mathfrak {t}}_\alpha )\) such that \({\mathfrak {t}}_\alpha [\min (u,{\mathbb {1}})] > {\mathfrak {t}}_\alpha [u]\). Therefore, the semigroup \(\mathrm {e}^{-t H_\alpha }\), \(t>0\) is not Markovian if \(\alpha \ne 0\).
In fact, the form \({\mathfrak {t}}_\alpha \) is closely connected with the Dirichlet form and this form would be important in our analysis. Consider the weighted space \(\ell ^2({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\). The multiplication operator \({{\mathcal {L}}}_\alpha \) given by (3.9) defines an isometric isomorphism from \(\ell ^2({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\) onto \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\). Consider the operator \({\widetilde{H}}_\alpha \) defined on \(\ell ^2({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\) by
The corresponding difference expression is given by
Then it is easy to check that the quadratic form \({\widetilde{{\mathfrak {t}}}}_\alpha \) is simply given by
for every \(u\in \ell ^2_c\). The closure of this form is a regular Dirichlet form in \(\ell ^2({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\).
Corollary 3.5
Let \(\alpha >-1\) and \({\widetilde{H}}_\alpha \) be the operator (3.10) acting in \(\ell ^2({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\). Then \({\widetilde{H}}_\alpha \) is Markovian, that is, the corresponding semigroup
is positivity preserving and \(\ell ^\infty \) contractive.
Remark 3.6
The first line in (3.11) shows that \({\widetilde{H}}_\alpha \) generates a birth-and-death process on \({{\mathbb {Z}}}_{\ge 0}\) (see [8, Chapter 17.5]), however, the second line connects \({\widetilde{H}}_\alpha \) with a continuous-time random walk (a simple Markov chain) on \({{\mathbb {Z}}}_{\ge 0}\) (see [10, 16]). The latter is not at all surprising since their connections with the Stieltjes moment problem and Krein–Stieltjes strings is widely known (see, e.g., [13]).
As a by-product of the factorization (3.5) we arrive at the following continued fraction representation of the exponential integral (2.12) and the incomplete gamma function \(\Gamma (s,z)\). We do not need this formula for our future purposes, however, it is so beautiful that we decided to include it together with a short proof.
Corollary 3.7
Let \(\alpha >-1\). Then
which converges for all \(z\in {{\mathbb {C}}}\setminus (-\infty ,0]\).
Proof
The string factorization (3.5) implies the following Stieltjes continued fraction representation of the Weyl function \(m_\alpha \) (see, e.g., [14, §13], [28, 6, § 3]):
which converges locally uniformly in \({{\mathbb {C}}}\setminus {{\mathbb {R}}}_{\ge 0}\) (this follows from the self-adjointness of \(H_\alpha \), see, e.g., [3, 6, §3]). Taking into account (3.6) and (3.7) and noting that
for all \(n>0\), we arrive at (3.14). \(\square \)
Remark 3.8
The continued fraction expansion (3.14) of the exponential integral is by no means new and the case \(\alpha =0\) can already be found in the work of Stieltjes [28, Chapter IX] (see also [25, (8.9.2)], [25, (8.19.17)], [11, §6.7.1] and [5, (14.1.6)]).
4 The heat semigroup
In this section we look at the one-dimensional discrete heat equation
associated with the Laguerre operator \(H_\alpha \), as well as at the closely related heat equation
associated with the operator \({\widetilde{H}}_\alpha \) defined in the previous section. We set
and
Notice that (4.4) does not coincide with the matrix representation of \( \mathrm {e}^{- t{\widetilde{H}}_\alpha }\) in an orthonormal basis (if \(\alpha \ne 0\)) and we defined it this way in order to write the heat kernel of \({\widetilde{H}}_\alpha \) in the form familiar in the continuous context, that is, in the form
4.1 Connection with Jacobi polynomials
We begin by establishing a connection between the discrete Laguerre operators and Jacobi polynomials, which follows from the fact that the Laplace transform of a product of two Laguerre polynomials is expressed by means of a terminating hypergeometric series.
Theorem 4.1
Let \(\alpha >-1\). The kernel of the heat semigroup \(\mathrm {e}^{- tH_\alpha }\) is given by
for all n, \(m\in {{\mathbb {Z}}}_{\ge 0}\).
Proof
Taking into account (2.10), (2.9) and then (2.4), we get
for \(n,m\in {{\mathbb {Z}}}_{\ge 0}\). Thus, every element of the kernel of the operator \(\mathrm {e}^{- tH_\alpha }\) is the Laplace transform of a product of two Laguerre polynomials and hence we get (see [7, (4.11.35)] and [25, (15.8.7)]):
By Euler’s transformation [25, (15.8.1)],
Hence by (A.1) and (A.2), (4.7) implies (4.6) \(\square \)
Remark 4.2
Formula (4.6) can be derived from [19, Theorem 3.1] by analytic continuation. Namely, in [19], it was shown that the kernel of the unitary evolution \(\mathrm {e}^{-\mathrm {i}tH_\alpha }\) is given by
for all n, \(m\in {{\mathbb {Z}}}_{\ge 0}\). Replacing \(\mathrm {i}t\) by t in (4.8), we end up with (4.6).
We collect some special cases explicitly for later use.
Corollary 4.3
-
(i)
In the case \(n=0\) we have
$$\begin{aligned} \mathrm {e}^{- tH_\alpha }(0,m) = \frac{ \sigma _\alpha (m)}{(1+ t)^{1+\alpha }}\left( \frac{t}{t+1}\right) ^m,\quad m\in {{\mathbb {Z}}}_{\ge 0}. \end{aligned}$$(4.9) -
(ii)
In the case \(n=1\) we have for \(m\in {{\mathbb {Z}}}_{\ge 1}\)
$$\begin{aligned} \mathrm {e}^{- tH_\alpha }(1,m)= \frac{1}{(1+ t)^{1+\alpha }}\left( \frac{ t}{t+1}\right) ^{m-1} \frac{(1+\alpha )t^2+ m}{(t+1)^2}\,\frac{\sigma _\alpha (m)}{\sigma _\alpha (1)}. \end{aligned}$$(4.10) -
(iii)
In the case \(n=m\) we have
$$\begin{aligned} \mathrm {e}^{- tH_\alpha }(m,m) = \frac{1}{(1+ t)^{1+\alpha }}\left( \frac{t-1}{t+1}\right) ^m P_m^{(\alpha ,0)}\left( \frac{t^2+1}{t^2-1}\right) , \quad m\in {{\mathbb {Z}}}_{\ge 0}.\qquad \end{aligned}$$(4.11)
Proof
Just observe that
\(\square \)
Taking into account (3.13), one also easily derives the explicit expression for the heat kernel of (4.2). Since \(H_\alpha \) and \({\widetilde{H}}_\alpha \) are unitarily equivalent, the matrix of \(\mathrm {e}^{-t{\widetilde{H}}_\alpha }\) in the orthonormal basis \(({{\mathcal {L}}}_\alpha ^{-1}\delta _n)_{n\ge 0}\) coincides with that of \(\mathrm {e}^{-t H_\alpha }\). However, our definition of (4.4) is slightly different and in fact (4.3)–(4.4) gives
Remark 4.4
The heat kernel can be expressed in terms of Meixner polynomials [25, (18.20.7)]:
Thus (4.7) reads
4.2 Heat semigroup estimates
Our next aim is to obtain uniform estimates on the elements of the heat kernel. First observe the following simple bounds.
Lemma 4.5
Let \(\alpha >-1\) and \(n,m \ge 0\). Then
as \(t\rightarrow \infty \), and
as \(t\rightarrow +0\).
Proof
Immediately follows from (A.1) and (A.6) (see also (4.7)). \(\square \)
The latter indicates that one can hope for the following uniform estimate
for all positive \(t>0\), where \(C=C(\alpha )>0\) may depend on \(\alpha \). The next statement confirms the desired bound for \(\alpha \ge 0\).
Theorem 4.6
If \(\alpha \ge 0\), then
If \(\alpha \in (-1,0)\), then
Proof
By definition, for \(t>0\) we get
Using (4.9), we get
for all \(\alpha >-1\) and \(t>0\). Thus, it remains to show that
when \(\alpha \ge 0\). By Corollary 3.5, \(\mathrm {e}^{-t {\widetilde{H}}_\alpha }\) is positivity preserving and \(\ell ^\infty \) contractive and hence
for all \(n\ge 0\) and \(t>0\). Therefore,
which immediately implies
Thus, (4.11) implies that it suffices to prove the inequality
for all \(n\ge 0\) and \(t>0\). First, using the Rodrigues formula (A.3), we get
Since
for all \(t>0\) and \(n\in {{\mathbb {Z}}}_{\ge 1}\), it suffices to show that
for all \(n,k \in {{\mathbb {Z}}}_{\ge 0}\) with \(k<n\). Using (1.7), it is easy to observe that (4.20) is equivalent to the following inequality
However, the latter holds exactly when
Since \(k< n\) and \(\alpha \ge 0\), this inequality clearly holds and hence we arrive at the desired inequality, which finishes the proof of (4.18). \(\square \)
Let us also state explicitly the following result.
Corollary 4.7
If \(\alpha \ge 0\), then
If \(\alpha \in (-1,0)\), then
4.3 Transience and stochastic completeness
The operator \({\widetilde{H}}_\alpha \) generates a random walk on \({{\mathbb {Z}}}_{\ge 0}\) (see Remark 3.6). Explicit form of the heat kernel enables us to characterize basic properties of the corresponding random walk.
Lemma 4.8
The Markovian semigroup \((\mathrm {e}^{-t{\widetilde{H}}_\alpha })_{t>0}\) is transient if and only if \(\alpha >0\). Moreover, it is stochastically complete (conservative) for all \(\alpha >-1\).
Proof
The first claim can be deduced either from Lemma 2.1 or Lemma 4.5 (see [10, Lemma 1.5.1]).
Recall that \((\mathrm {e}^{-t{\widetilde{H}}_\alpha })_{t>0}\) is called stochastically complete (conservative) if
for some (and hence for all) \(t>0\). Taking into account Remark 4.4, (4.23) follows from [25, (18.23.3)]. Indeed, the generating function for Meixner polynomials is given by
where \(x\in {{\mathbb {Z}}}_{\ge 0}\) and \(|z|<1\). However, by (4.5) and (4.14), we get
\(\square \)
Remark 4.9
A few remarks are in order.
-
(i)
For large classes of graphs there are rather transparent geometric criteria for stochastic completeness (e.g., via volume growth). In particular, applying [15, Theorem 5] (see also [16, Chapter 9]) to (3.11), we get
$$\begin{aligned} \sum _{n\ge 0}\sigma _\alpha (n)^2 \omega _\alpha (n) = \sum _{n\ge 0}\frac{1}{n+\alpha +1} = \infty , \end{aligned}$$which implies stochastic completeness. Taking into account (4.23) this provides another derivation of the generating function for Meixner polynomials.
-
(ii)
Notice that according to the Khas’minskii-type theorem, stochastic completeness implies uniqueness of the Cauchy problem for (4.2) in \(\ell ^\infty \) (respectively, for (4.1) in \(\ell ^\infty (\sigma _\alpha )\)). We do not plan to discuss this issue here and only refer for further details to, e.g., [10, 15, 16, Chapter 7].
5 Eigenvalue estimates
Consider the perturbed operator
where V is a multiplication operator on \(\ell ^2({{\mathbb {Z}}})\) given by
We shall always assume that \((v_n)_{n\ge 0}\) is a real sequence. If V is unbounded (i.e., \((v_n)_{n\ge 0}\) is unbounded), we define the operator \(H_{\alpha ,V}\) as the maximal operator (analogous to \(H_{\alpha }\)) and this operator is self-adjoint according to the Carleman test (see, e.g., [3]). We shall denote the total multiplicity of the negative spectrum of \(H_{\alpha ,V}\) by \(\kappa _-(H_{\alpha ,V})\). Notice that the spectrum of a semi-infinite Jacobi matrix is always simple and hence \(\kappa _-(H_{\alpha ,V})\) is the number of negative eigenvalues of \(H_{\alpha ,V}\) if the negative spectrum of \(H_{\alpha ,V}\) is discrete.
For a real sequence \(v = (v_n)_{n\ge 0}\subset {{\mathbb {R}}}\), denote \(v^{\pm }:= (|v|\pm v)/2\). Let also \(V^\pm \) be the corresponding multiplication operators. Since \(V=V^+ - V^-\), the min-max principle implies the following standard estimate
5.1 Rank one perturbations
We begin with the simplest possible case, which however demonstrates several important features. Let us consider the operator
Thus, \(H_\alpha (v_n)\) is a rank one perturbation of the operator \(H_\alpha \) (the corresponding matrix coincides with (1.1) except the coefficient \(h^{(\alpha )}_{n,n}\) replaced by \(h^{(\alpha )}_{n,n} - v_n\)).
Lemma 5.1
Let \(v_n>0\). If \(\alpha \in (-1,0]\), then
If \(\alpha >0\), then
Proof
Since \(H_\alpha \) is a positive operator, \(\kappa _-(H_\alpha (v_n)) \le 1\). Suppose that \(E<0\) is an eigenvalue of \(H_\alpha (v_n)\), that is, there exists \(f\in \ell ^2({{\mathbb {Z}}}_{\ge 0})\) such that
Therefore, we get
which shows that
Hence by (2.17)
Since \(H_\alpha \) is positive, \(G_\alpha (\cdot ;n,n)\) is increasing on \((-\infty ,0)\). Moreover, \(G_\alpha (E;n,n) \rightarrow 0\) as \(E\rightarrow -\infty \). Therefore, by 2.1\(G_\alpha (\cdot ;n,n)\) maps \((-\infty ,0)\) onto \({{\mathbb {R}}}_{>0}\) if \(\alpha \in (-1,0]\) and onto \((0,\alpha ^{-1})\) if \(\alpha >0\), which implies that (5.7) has a solution exactly when
This immediately proves the desired claim.
Remark 5.2
Notice that in the case \(n=0\) the corresponding eigenvalue \(\lambda (v_0)\) is explicitly given by
where \(m_\alpha \) is the Weyl function (2.11). The case \(\alpha = 0\) has been addressed in [22].
5.2 CLR and Bargmann-type bounds
We begin with the following extension of Lemma 5.1.
Lemma 5.3
Let \(\alpha \in (-1,0]\). If \(v=v^+\not \equiv 0\), then \(\kappa _-(H_{\alpha ,V})\ge 1\).
Proof
The proof is immediate from Lemma 5.1 and the min-max principle. \(\square \)
Our main aim is to extend the second claim in Lemma 5.1 to more general potentials. We begin with the following result, which may be seen as the analog of the famous Cwikel–Lieb–Rozenblum bound (see [9, 24, 26, Theorem XIII.12]).
Theorem 5.4
Let \(\alpha >0\) and \(v_+\in \ell ^{1+\alpha }({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\). Then the operator \(H_{\alpha ,V}\) is bounded from below, its negative spectrum is discrete and, moreover, there is a constant \(C=C(\alpha )>0\) (independent of v) such that
Proof
By (5.3), we can assume that \(V= V^+\), that is, \(v_n=v_n^+ \ge 0\) for all \(n\ge 0\). Taking into account that the operator \({\widetilde{H}}_\alpha \) is Markovian, by Varopoulos’s theorem (see [30, Theorem II.5.2]), (4.21) is equivalent to the validity of the following Sobolev-type inequality
for all \(u \in \mathrm {dom}({\widetilde{{\mathfrak {t}}}}_\alpha )\) and the constant \(C_1(\alpha )\) depends only on \(\alpha \). By Theorem 1.2 from [24], the latter implies that for each v with \(v_+\in \ell ^{1+\alpha }({{\mathbb {Z}}}_{\ge 0};\sigma _\alpha ^2)\) the operator \({\widetilde{H}}_{\alpha ,V} = {\widetilde{H}}_\alpha - V\) is bounded from below, its negative spectrum is discrete and, moreover, there is a constant \(C=C(\alpha )>0\) such that
It remains to notice that the operators \({\widetilde{H}}_{\alpha ,V}\) and \(H_{\alpha ,V}\) are unitarily equivalent since V commutes with \({{\mathcal {L}}}_\alpha \) and thus
\(\square \)
Remark 5.5
Taking into account (4.21), \(C_1(\alpha ) \ge \frac{1}{1+\alpha }\) (see [9, Remark 2.1]). Moreover, the constants \(C(\alpha )\) and \(C_1(\alpha )\) satisfy (see [9, Theorem 2.1])
The optimal constants in (5.9) and (5.10) remain an open problem.
We finish this section with another estimate, which can be seen as the analog of the Bargmann bound (see, e.g., [26, Theorem XIII.9(a)].
Theorem 5.6
If \(\alpha >0\), then
Proof
Again, by (5.3) it suffices to prove (5.13) for \(V=V^+\). Let \(\varepsilon >0\). It is the standard Birman–Schwinger argument (see [27]) that \(-E<0\) is an eigenvalue of \(H_{\alpha , \varepsilon V}\) if and only if \(\varepsilon ^{-1}\) is the eigenvalue of \(V^{1/2} (H_{\alpha } + E)^{-1} V^{1/2}\). Therefore, if the operator \(V^{1/2} H_{\alpha }^{-1} V^{1/2}\) extends to a bounded operator on \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\) (notice that \(H_{\alpha }^{-1}\) is densely defined on \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\) since 0 is not an eigenvalue of \(H_\alpha \)), then the number of negative eigenvalues of \(H_{\alpha ,V}\) equals the number of eigenvalues of \(V^{1/2} H_{\alpha }^{-1} V^{1/2}\) which are greater than 1. And hence
Taking into account (3.8), we (at least formally) get (however, see Remark 5.7 below)
and hence the trace of this operator is given explicitly by
Thus we get
Now take into account that by [25, (15.4.20)]
Combining the latter with (5.14), we arrive at the desired estimate. \(\square \)
Remark 5.7
A few remarks are in order.
-
(i)
Using the string factorization (3.8), it follows from [14, §13] that the operator \(V^{1/2} H_\alpha ^{-1} V^{1/2} \) with \(\alpha >0\) is compact exactly when
$$\begin{aligned} \sum _{k=0}^n v_k l_\alpha (k) \sum _{k>n} \omega _\alpha (k) = \sum _{k=0}^n v_k \frac{(\alpha +1)_k}{k!} \sum _{k >n} \frac{k!}{(\alpha +1)_{k+1}} = o(1) \end{aligned}$$as \(n\rightarrow \infty \). In particular, the inclusion \(v\in \ell ^1({{\mathbb {Z}}}_{\ge 0})\) would imply compactness of \(V^{1/2} H_{\alpha }^{-1} V^{1/2}\) if \(\alpha >0\).
-
(ii)
Clearly, \(\ell ^1(\sigma _\alpha ^2)\) is contained in \(\ell ^{1+\alpha }(\sigma _\alpha ^2)\) if \(\alpha >0\) and hence (5.9) applies to a wider class of potentials than (5.13). However, this embedding is not continuous. Moreover, we do not know the optimal \(C(\alpha )\) in (5.9).
-
(iii)
The case \(\alpha \in (-1,0]\) requires different considerations and it will be considered elsewhere. However, let us mention that using the Birman–Schwinger principle and applying the commutation to the string factorization, one can show that for \(\alpha \in (-1,0]\),
$$\begin{aligned} \kappa _-(H_{\alpha ,V}) \le 1+ \sum _{n\ge 0} \frac{n!}{(\alpha +1)_{n+1}} \sum _{k\ge n} v_n^+\, \frac{(\alpha +1)_k}{k!}, \end{aligned}$$(5.15)where the second summand on the RHS in (5.15) is dual to the RHS (5.14).
-
(iv)
The study of spectral types (ac-spectrum, sc-spectrum etc.) of a positive spectrum of \(H_{\alpha ,V}\) is beyond the scope of the present paper, however, see the recent preprint [31].
5.3 Hardy inequality
Our final goal is to provide the optimal Hardy inequality for the operator \(H_\alpha \) (the optimality is understood in the sense of [17, §1.2]). For each \(\alpha >0\), define the following weights \(v_\alpha = (v_\alpha (n))_{n\ge 0}\),
where \(q_\alpha = (q_\alpha (n))_{n\ge 0}\) is a positive sequence given by
Theorem 5.8
Let \(\alpha >0\). The weight \(v_\alpha \) is the optimal Hardy weight for \(H_\alpha \), that is, the following assertions hold true:
-
(i)
The operator \(H_\alpha - V_\alpha \) is nonnegative and the Hardy-type inequality
$$\begin{aligned} \sum _{n\ge 0} \big | \sqrt{n+\alpha +1} u_n - \sqrt{n+1} u_{n+1}\big |^2 \ge \sum _{n\ge 0} v_\alpha (n) |u_n|^2 \end{aligned}$$(5.18)holds true for all \(u\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\).
-
(ii)
For any positive \(v = (v_n)_{n\ge 0}\) such that \(V\ne V_\alpha \) and \(V\ge V_\alpha \) the operator \(H_\alpha - V\) in no longer nonnegative in \(\ell ^2({{\mathbb {Z}}}_{\ge 0})\).
-
(iii)
For any \(\lambda >0\) and any finite subset \(X\subset {{\mathbb {Z}}}_{\ge 0}\), \(H_\alpha - V_\alpha \ge \lambda V_\alpha \) fails to hold on \(\ell ^2_c({{\mathbb {Z}}}_{\ge 0}\setminus X)\) (the inequality is understood in the form sense).
Remark 5.9
Before proving the above result let us briefly comment on the asymptotic behavior of \(v_\alpha \) for large n. Clearly,
as \(n\rightarrow \infty \). On the other hand, using the Taylor series expansion
we immediately get
for all \(n\ge 0\). Combining (5.20) with (5.19), we arrive at the estimate
as \(n\rightarrow \infty \). The latter together with (5.18) implies the following Hardy inequality
which holds true for all \(0\ne u\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\).
Proof of Theorem 5.8
Taking into account that (5.18) is noting but
then using the operator \({{\mathcal {L}}}_\alpha \) given by (3.9) as well as the equality (3.10), the above inequality is equivalent to
By (3.12), the latter reads
The proof of this inequality is based on [17, Theorem 1.1]. Consider the sequences \(f=(f_n)_{n\ge 0}\) and \(g=(g_n)_{n\ge 0}\) given by
for all \(n\ge 0\). It is straightforward to verify that \(({\widetilde{\tau }}_\alpha f)_n = 0\) for all \(n\ge 0\) and \(({\widetilde{\tau }}_\alpha g)_n = 0\) for all \(n\ge 1\), where \({\widetilde{\tau }}_\alpha \) is given by (3.11) (on the other hand, notice that \(f = {{\mathcal {L}}}_\alpha ^{-1} P_\alpha (0)\) and \(g = \alpha {{\mathcal {L}}}_\alpha ^{-1}\Psi _\alpha (0)\), where \(P_\alpha (0) = (P_{\alpha ,n}(0))_{n\ge 0}\) and \(\Psi _\alpha (0) = (\Psi _{\alpha ,n}(0))_{n\ge 0} = (Q_{\alpha ,n}(0) + m_\alpha (0) P_{\alpha ,n}(0))_{n\ge 0}\)). Taking into account that \(g_n\) is strictly decreasing as \(n\rightarrow \infty \) (since \(\alpha >0\)), f and g satisfy the assumptions of [17, Theorem 1.1] and hence the weight \({\widetilde{V}}_\alpha = ({\widetilde{v}}_\alpha (n))_{n\ge 0}\) given by
is the optimal Hardy weight for \({\widetilde{H}}_\alpha \) (in the sense of [17]). This in particular implies the validity of the inequality
for all \(u\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\). It remains to notice that
for all \( n\ge 1\). This immediately implies that (5.23) is the optimal Hardy inequality for \({\widetilde{H}}_\alpha \), which completes the proof. \(\square \)
Remark 5.10
A few concluding remarks are in order.
-
(i)
The classical Hardy inequality (after a simple change of variables \(u_n\mapsto nu_n\)) states that the inequalityFootnote 1
$$\begin{aligned} \sum _{n\ge 0}|(n+1)u_{n+1} - nu_n |^2 \ge \frac{1}{4}\sum _{n\ge 1} |u_n|^2 \end{aligned}$$(5.24)holds true for all \(u\in \ell ^2({{\mathbb {Z}}}_{\ge 0})\). Setting \(\alpha =1\) in (5.22) and changing variables \(u_n\mapsto \frac{1}{\sqrt{n+1}}u_n\) (cf. (5.23) with \(\alpha =1\)), we get the inequality
$$\begin{aligned} \sum _{n\ge 0} (n+1)(n+2)\big | u_{n+1} - u_n \big |^2 \ge \frac{1}{4}\sum _{n\ge 0}|u_n|^2, \end{aligned}$$(5.25)which looks in a certain sense similar to the classical one.
-
(ii)
CLR and Bargmann-type bounds can be seen as “integral” conditions which guarantee the positivity of the perturbed operator \(H_{\alpha ,V}\) (if the RHS in (5.9) or (5.13) is less than 1, then clearly the corresponding LHS is zero). Hardy-type inequalities allow to obtain “pointwise” positivity conditions. Namely, applying the standard minmax principle, (5.18) implies that
$$\begin{aligned} \kappa _-(H_{\alpha ,V}) = 0 \end{aligned}$$(5.26)whenever \(v_n^+ \le v_\alpha (n)\) for all \(n\ge 0\). In particular, using (5.22) we conclude that (5.26) holds true whenever
$$\begin{aligned} v_n^+ \le \frac{\alpha ^2}{2(2n+\alpha +1)},\qquad \text {for all}\ n\ge 0. \end{aligned}$$ -
(iii)
The Hardy inequality implies the following Kneser-type result: if
$$\begin{aligned} \limsup _{n\ge 0} nv_n^+ < \frac{\alpha ^2}{4}, \end{aligned}$$(5.27)then \(\kappa _-(H_{\alpha ,V}) <\infty \). Conversely, if there is \(\varepsilon >0\) such that \(v_n \ge \frac{\alpha ^2+\varepsilon }{n}\) for all large enough n, then \(\kappa _-(H_{\alpha ,V}) = \infty \).
-
(iv)
If \(\alpha \in (-1,0]\), then Lemma 5.3 implies that for each \(v=v_+\not \equiv 0\) there is \(u\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\) such that
$$\begin{aligned} \sum _{n\ge 0} \big | \sqrt{n+\alpha +1} u_n - \sqrt{n+1} u_{n+1}\big |^2 < \sum _{n\ge 1} v_n |u_n|^2. \end{aligned}$$In the terminology of [17, 18] the latter means that \(H_\alpha \) is critical for all \(\alpha \in (-1,0]\). However, choosing \(g = g_\alpha = (g_\alpha (n))_{n\ge 0}\) as
$$\begin{aligned} g_\alpha (0)&= 0,&g_\alpha (n)&= \sum _{k=1}^n \omega _\alpha (k),\ n\ge 1, \end{aligned}$$it is straightforward to check that for all \(\alpha \in (-1,0]\), \(g_\alpha \) satisfies the assumptions of Theorem 1.1 from [17]. Therefore, by [17, Theorem 1.1], the weight
$$\begin{aligned} {\widetilde{v}}_\alpha (n) = \frac{1}{\sqrt{g_\alpha (n)}}\sum _{k\ge 0:|k-n|=1} \frac{\sqrt{g_\alpha (n)} - \sqrt{g_\alpha (k)}}{\omega _\alpha (\min (n,k))},\qquad n\ge 1, \end{aligned}$$(5.28)is the optimal Hardy weight and the following optimal Hardy inequality (cf. (5.23)) holds true
$$\begin{aligned} \sum _{n\ge 0} \frac{(\alpha +1)_{n+1}}{n!}|u_n-u_{n+1}|^2 \ge \sum _{n\ge 1} {\widetilde{v}}_\alpha (n) |u_n|^2, \end{aligned}$$(5.29)however, for all \(u\in \ell ^2_c({{\mathbb {Z}}}_{\ge 0})\) with \(u_0=0\). In particular, for \(\alpha =0\), \(g_0(n) = \sum _{k=1}^n \frac{1}{k} = \mathrm{h}_n\) are the harmonic numbers and the corresponding inequality is
$$\begin{aligned} \sum _{n\ge 0}(n+1)|u_n-u_{n+1}|^2 \ge \sum _{n\ge 1} v_0(n) |u_n|^2,\quad u_0=0, \end{aligned}$$where
$$\begin{aligned} v_0(n)&= q_0(n) + q_0(n+1),&q_0(n)&= n - \sqrt{n^2 - n\mathrm{h}_n} ,\ \ n\ge 1. \end{aligned}$$
Change history
13 May 2021
The original version of this chapter was revised: the funding note was missing.
References
Acatrinei, C.: Noncommutative radial waves. J. Phys. A Math. Theor. 41, 215401 (2008)
Acatrinei, C.: Discrete nonlocal waves. JHEP 2, 57 (2013)
Akhiezer, N.I.: The Classical Moment Problem and Some Related Questions in Analysis. Oliver and Boyd Ltd., Edinburgh (1965)
Chen, T., Fröhlich, J., Walcher, J.: The decay of unstable noncommutative solitons. Commun. Math. Phys. 237, 243–269 (2003)
Cuyt, A., Petersen, V.B., Verdonk, B., Waadeland, H., Jones, W.B.: Handbook of Continued Fractions for Special Functions. Springer, New York (2008)
Eckhardt, J., Kostenko, A.: The classical moment problem and generalized indefinite strings. Integr. Equ. Oper. Theory 90(2), 1–30 (2018)
Erdélyi, A., et al.: Tables of Integral Transforms, vol. 1. McGraw-Hill, New York (1954)
Feller, W.: An Introduction to Probability Theory and Its Applications, 3rd edn. Wiley, New Jersey (1970)
Frank, R., Lieb, E., Seiringer, R.: Equivalence of Sobolev inequalities and Lieb–Thirring inequalities, XVIIth International Congress on Mathematical Physics. World Scientific Publishing, pp.523–535 (2010)
Fukushima, M., Oshima, Y., Takeda, M.: Dirichlet Forms and Symmetric Markov Processes, 2nd edn. De Gruyter, Berlin (2010)
Gil, A., Segura, J., Temme, N.M.: Numerical Methods for Special Functions. SIAM, Philadelphia (2007)
Gopakumar, R., Minwalla, S., Strominger, A.: Noncommutative solitons. JHEP 5, 20 (2000)
Kac, I.S.: Pathological birth-and-death processes and the spectral theory of strings. Funct. Anal. Appl. 39(2), 144–147 (2005)
Kac, I.S., Krein, M.G.: On the spectral functions of the string. Am. Math. Soc. Transl. Ser. 2(103), 19–102 (1974)
Keller, M., Lenz, D., Wojciechowski, R.K.: Volume growth, spectrum and stochastic completeness of infinite graphs. Math. Z. 274(3–4), 905–932 (2013)
Keller, M., Lenz, D., Wojciechowski, R.K.: Graphs and Discrete Dirichlet Spaces, monograph, in preparation, (2021)
Keller, M., Pinchover, Y., Pogorzelski, F.: Optimal Hardy inequalities for Schrödinger operators on graphs. Commun. Math. Phys. 358, 767–790 (2018)
Keller, M., Pinchover, Y., Pogorzelski, F.: Criticality theory for Schrödinger operators on graphs. J. Spectrosc. Theory 10(1), 73–114 (2020)
Koornwinder, T.H., Kostenko, A., Teschl, G.: Jacobi polynomials, Bernstein-type inequalities and dispersion estimates for the discrete Laguerre operator. Adv. Math. 333, 796–821 (2018)
Kostenko, A., Teschl, G.: Dispersion estimates for the discrete Laguerre operator. Lett. Math. Phys. 106(4), 545–555 (2016)
Krueger, A.J., Soffer, A.: Structure of noncommutative solitons: existence and spectral theory. Lett. Math. Phys. 105, 1377–1398 (2015)
Krueger, A.J., Soffer, A.: Dynamics of noncommutative solitons I: spectral theory and dispersive estimates. Ann. Henri Poincaré 17, 1181–1208 (2016)
Krueger, A.J., Soffer, A.: Dynamics of noncommutative solitons II: spectral theory, dispersive estimates and stability, preprint, arXiv:1411.5859 (2014)
Levin, D., Solomyak, M.: The Rozenblum-Lieb-Cwikel inequality for Markov generators. J. Anal. Math. 71, 173–193 (1997)
Olver, F.W.J. et al.: NIST Handbook of Mathematical Functions, Cambridge University Press, Cambridge (2010). http://dlmf.nist.gov (2010)
Reed, M., Simon, B.: Modern Methods of Mathematical Physics IV: Analysis of Operators. Academic Press, Cambridge (1978)
Simon, B.: Trace Ideals and Their Applications, 2nd edn., Mathematical Surveys and Monographs 120, American Mathematical Society (2005)
Stieltjes, T.-J.: Recherches sur les fractions continues. Ann. Fac. Sci. Toulouse Sci. Math. Sci. Phys. 8(4), 1–122 (1894)
Szegö, G.: Orthogonal Polynomials, 4th edn. American Mathematical Society, Providence (1975)
Varopoulos, N.T., Saloff-Coste, L., Coulhon, T.: Analysis and Geometry on Groups. Cambridge University Press, Cambridge (1992)
Yafaev, D.R.: Scattering theory for Laguerre operators, preprint, arXiv:2007.08418 (2020)
Acknowledgements
I am grateful to Matthias Keller and Noema Nicolussi for numerous useful discussions. I am also indebted to the referee for the careful reading of the manuscript and remarks.
Funding
Open access funding provided by Austrian Science Fund (FWF).
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.
Research supported by the Slovenian Research Agency (ARRS) under Grant No. N1-0137 and the Austrian Science Fund (FWF) under Grant No. P28807.
Appendix A. Jacobi polynomials
Appendix A. Jacobi polynomials
For \(\alpha \), \(\beta >-1\), let \(w^{(\alpha ,\beta )}(x)= (1-x)^\alpha (1+x)^\beta \) for \(x\in (-1,1)\) be a Jacobi weight. The corresponding orthogonal polynomials \(P_n^{(\alpha ,\beta )}\), normalized by
for all \(n\ge 0\) (see (1.7) for notation of Pochhammer symbols and binomial coefficients), are called the Jacobi polynomials. They are expressed as (terminating) Gauss hypergeometric series (1.8) by [29, (4.21.2)]
They also satisfy Rodrigues’ formula [29, (4.3.1), (4.3.2)]
This formula immediately implies
and hence
Jacobi polynomials include the Chebyshev polynomials, the ultraspherical (Gegenbauer) polynomials, and the Legendre polynomials (see [25, 29] for further details).
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
Kostenko, A. Heat kernels of the discrete Laguerre operators. Lett Math Phys 111, 32 (2021). https://doi.org/10.1007/s11005-021-01372-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-021-01372-7