Abstract
This paper presents the spectral analysis of 1-dimensional Schrödinger operator on the half-line whose potential is a linear combination of the Coulomb term 1/r and the centrifugal term\(1/r^2\). The coupling constants are allowed to be complex, and all possible boundary conditions at 0 are considered. The resulting closed operators are organized in three holomorphic families. These operators are closely related to the Whittaker equation. Solutions of this equation are thoroughly studied in a large appendix to this paper. Various special cases of this equation are analyzed, namely the degenerate, the Laguerre and the doubly degenerate cases. A new solution to the Whittaker equation in the doubly degenerate case is also introduced.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper is devoted to 1-dimensional Schrödinger operators with Coulomb and centrifugal potentials. These operators are given by the differential expressions
The parameters \(\alpha \) and \(\beta \) are allowed to be complex valued. We shall study realizations of \(L_{\beta ,\alpha }\) as closed operators on \(L^2({\mathbb{ R}}_+)\), and consider general boundary conditions.
The operator given in (1.1) is one of the most famous and useful exactly solvable models of Quantum Mechanics. It describes the radial part of the Hydrogen Hamiltonian. In the mathematical literature, this operator goes back to Whittaker, who studied its eigenvalue equation in [32]. For this reason, we call (1.1) the Whittaker operator.
This paper is a continuation of a series of papers [2, 6, 7] devoted to an analysis of exactly solvable 1-dimensional Schrödinger operators. We follow the same philosophy as in [6]. We start from a formal differential expression depending on complex parameters. Then we look for closed realizations of this operator on \(L^2({\mathbb{ R}}_+)\). We do not restrict ourselves to self-adjoint realizations—we look for realizations that are well-posed, that is, possess non-empty resolvent sets. This implies that they satisfy an appropriate boundary condition at 0, depending on an additional complex parameter. We organize those operators in holomorphic families.
Before describing the holomorphic families introduced in this paper, let us recall the main constructions from the previous papers of this series. In [2, 6] we considered the operator
As is known, it is useful to set \(\alpha =m^2\). In [2] the following holomorphic family of closed realizations of (1.2) was introduced:
It was proved that for \({\mathrm {Re}}(m)\ge 1\) the operator \(H_m\) is the only closed realization of \(L_{m^2}\). In the region \(-1<{\mathrm {Re}}(m)<1\) there exist realizations of \(L_{m^2}\) with mixed boundary conditions. As described in [6], it is natural to organize them into two holomorphic families:
and
Note that related investigations about these operators have also been performed in [30, 31].
In [7] and in the present paper we study closed realizations of the differential operator (1.1) on \(L^2({\mathbb{ R}}_+)\). Again, it is useful to set \(\alpha =m^2\). In [7] we introduced the family
It was noted in this reference that this family is holomorphic except for a singularity at \((\beta ,m)=\big (0,-\frac{1}{2}\big )\), which corresponds to the Neumann Laplacian.
For \({\mathrm {Re}}(m)\ge 1\) the operator \(H_{\beta ,m}\) is also the only closed realization of \(L_{\beta ,m^2}\). In the region \(-1<{\mathrm {Re}}(m)<1\) there exist other closed realizations of \(L_{\beta ,m^2}\). The boundary conditions corresponding to \(H_{\beta ,m}\) are distinguished—we will call them pure. The goal of the present paper is to describe the most general well-posed realizations of \(L_{\beta ,m^2}\), with all possible boundary conditions, including the mixed ones.
We shall show that it is natural to organize all well-posed realizations of \(L_{\beta ,m^2}\) for \(-1<{\mathrm {Re}}(m)<1\) in three holomorphic families: The generic family
the family for \(m=0\)
and the family for \(m=\frac{1}{2}\)
The above holomorphic families include all possible well-posed realizations of \(L_{\beta ,m^2}\) in the region \(|{\mathrm {Re}}(m)|<1\) with one exception: the special case \((\beta ,m,\kappa )=\big (0,-\frac{1}{2},0\big )\) which corresponds to the Neumann Laplacian \(H_{-\frac{1}{2}}=H_{-\frac{1}{2},0}=H_{\frac{1}{2},\infty }\), and which is already covered by the families \(H_m\) and \(H_{m,\kappa }\).
After having introduced these families and describing a few general results, we provide the spectral analysis of these operators and give the formulas for their resolvents. We also describe the eigenprojections onto eigenfunctions of these operators. They can be organized into a single family of bounded 1-dimensional projections \(P_{\beta ,m} (\lambda )\) such that \(L_{\beta ,m}^{\mathrm {max}}P_{\beta ,m}(\lambda )=\lambda P_{\beta ,m}(\lambda )\). Here \(L_{\beta ,m}^{\mathrm {max}}\) denotes the maximal operator which is introduced in Sect. 2.3.
There exists a vast literature devoted to Schrödinger operators with Coulomb potentials, including various boundary conditions. Let us mention, for instance, an interesting dispute in Journal of Physics A [10, 21, 22] about self-adjoint extensions of the 1-dimensional Schrödinger operator on the real line with a Coulomb potential (without the centrifugal term). Papers [11, 20, 23] discuss generalized Nevanlinna functions naturally appearing in the context of such operators, especially in the range of parameters \(|{\mathrm {Re}}(m)|\ge 1\). See also [4, 9, 12,13,14,15,16,17,18, 24,25,26,27,28] and references therein. However, essentially all these references are devoted to real parameters \(\beta ,m\) and self-adjoint realizations of Whittaker operators. The philosophy of using holomorphic families of closed operators, which we believe should be one of the standard approaches to the study of special functions, seems to be confined to the series of paper [2, 6, 7], which we discussed above.
The main reason why we are able to analyze the operator (1.1) so precisely is the fact that it is closely related to an exactly solvable equation, the so-called Whittaker equation
Its solutions are called Whittaker functions, which can be expressed in terms of Kummer’s confluent functions. The theory of the Whittaker equation is the second subject of the paper. It is extensively developed in a large appendix to this paper. It can be viewed as an extension of the theory of Bessel and Whittaker equation presented in [6, 7]. We discuss in detail various special cases: the degenerate, the Laguerre and the doubly degenerate cases. Besides the well-known Whittaker functions \({\mathcal {I}}_{\beta ,m}\) and \({\mathcal {K}}_{\beta ,m}\), described for example in [7], we introduce a new kind of Whittaker functions, denoted \({\mathcal {X}}_{\beta ,m}\). It is needed to fully describe the doubly degenerate case.
The Whittaker equation and its close cousin, the confluent equation, are discussed in many standard monographs, including [1, 3, 29]. Nevertheless, it seems that our treatment contains a number of facts about the Whittaker equation, which could not be found in the literature. For example, we have never seen a satisfactory detailed treatment of the doubly degenerate case. The function \({\mathcal {X}}_{\beta ,m}\) seems to be our invention. Without this function it would be difficult to analyze the doubly degenerate case. Figures 1 and 2, which illustrate the intricate structure of the degenerate, Laguerre and doubly degenerate cases, apparently appear for the first time in the literature. Another result that seems to be new is a set of explicit formulas for integrals involving products of solutions of the Whittaker equation. These formulas are related to the eigenprojections of the Whittaker operator.
2 The Whittaker operator
In this section we define the main objects of our paper: the Whittaker operators \(H_{\beta ,m,\kappa }\), \(H_{\beta ,\frac{1}{2}}^\nu \) and \(H_{\beta ,0}^\nu \) on the Hilbert space \(L^2\big (]0,\infty [\big )\).
2.1 Notations
We shall use the notations \({\mathbb{ R}}_+=]0,\infty [\), \({\mathbb{ N}}=\{0,1,2,\dots \}\) and \({\mathbb{ N}}^\times = \{ 1 , 2 , \dots \}\). Likewise, we set \({\mathbb{ C}}^\times = {\mathbb{ C}}\setminus \{ 0 \}\) and \({\mathbb{ R}}^\times = {\mathbb{ R}}\setminus \{ 0 \}\). We will often consider functions on the Riemann sphere \({\mathbb{ C}}\cup \{\infty \}\) with the convention \(\frac{1}{0}=\infty \), \(\frac{1}{\infty }=0\). Besides, \(\alpha \;\!\infty =\infty \) for any \(\alpha \in {\mathbb{ C}}\setminus \{0\}\) and \(\infty + \tau = \infty \).
The Hilbert space \(L^2({\mathbb{ R}}_+)\) is endowed with the scalar product
We will also use the bilinear form defined by
The Hermitian conjugate of an operator A is denoted by \(A^*\). Its transpose is denoted by \(A^\#\). If A is bounded, then \(A^*\) and \(A^\#\) are defined by the relations
The definition of \(A^*\) has the well-known generalization to the unbounded case. The definition of \(A^\#\) in the unbounded case is analogous.
The following holomorphic functions are understood as their principal branches, that is, their domain is \({\mathbb{ C}}\setminus ]-\infty ,0]\) and on \(]0,\infty [\) they coincide with their usual definitions from real analysis: \(\ln (z)\), \(\sqrt{z}\), \(z^\lambda \). We set \(\arg (z):={\mathrm {Im}}\big (\ln (z)\big )\). Sometimes it will be convenient to include in the domain of our functions two copies of \(]-\infty ,0[\), describing the limits from the upper and lower half-plane. They correspond to the limiting cases \(\arg (z)=\pm \pi \).
The Wronskian of two continuously differentiable functions f and g on \({\mathbb{ R}}_+\) is denoted by \({\mathscr{W}}(f,g;\cdot )\) and is defined for \(x\in {\mathbb{ R}}_+\) by
2.2 Zero-energy eigenfunctions of the Whittaker operator
In order to study the realizations of the Whittaker operator \(L_{\beta ,\alpha }\) one first needs to find out what are the possible boundary conditions at zero. The general theory of 1-dimensional Schrödinger operators says that there are two possibilities:
-
(i)
there is a 1-parameter family of boundary conditions at zero,
-
(ii)
there is no need to fix a boundary condition at zero.
One can show that (i)\(\Leftrightarrow \)(i\('\)) and (ii)\(\Leftrightarrow \)(ii\('\)), where
-
(i′)
for any \(\lambda \in {\mathbb{ C}}\) the space of solutions of \((L_{\beta ,\alpha }-\lambda )f=0\) which are square integrable around zero is 2-dimensional,
-
(ii′)
for any \(\lambda \in {\mathbb{ C}}\) the space of solutions of \((L_{\beta ,\alpha }-\lambda )f=0\) which are square integrable around zero is at most 1-dimensional.
We refer to [5] and references therein for more details.
In the above criterion one can choose a convenient \(\lambda \). In our case the simplest choice corresponds to \(\lambda =0\). Therefore, we first discuss solutions of the zero eigenvalue Whittaker equation
for m and \(\beta \) in \({\mathbb{ C}}\). As analyzed in more details in Sect. B.7, solutions of (2.2) can be constructed from solutions of the Bessel equation. More precisely, for \(\beta \ne 0\), let us define the following function for \(x\in {\mathbb{ R}}_+\) :
where \({\mathcal {J}}_m\) is defined in Sect. B.6. For \(\beta =0\) we set
Then, the equation (2.2) is solved by the functions \(j_{\beta ,m}\), see [7, Sec. 2.8] and Sect. B.7. For \(2m\not \in {\mathbb{ Z}}\), \(j_{\beta ,m}\) and \(j_{\beta ,-m}\) span the space of solutions of (2.2). They are square integrable around zero if and only if \(|{\mathrm {Re}}(m)|<1\).
We still need to consider the special cases \(m\in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\). In fact, we shall not consider separately \(m=-\frac{1}{2}\) because Eq. (2.2) with \(m=-\frac{1}{2}\) coincides with the case \(m=\frac{1}{2}\). As companions to \(j_{\beta ,0}\) and \(j_{\beta ,\frac{1}{2}}\) for \(\beta \ne 0\) we introduce
where \(\gamma \) is Euler’s constant and \({\mathcal {Y}}_m\) is defined in Sect. B.6. For \(\beta =0\) we set
Then \(j_{\beta ,0}, y_{\beta ,0}\) and \(j_{\beta ,\frac{1}{2}}, y_{\beta ,\frac{1}{2}}\) span the space of solutions of (2.2) for \(m=0\) and for \(m=\frac{1}{2}\) respectively. Indeed, a short computation leads to
Since the solutions \(j_{\beta ,0}, y_{\beta ,0}\) and \(j_{\beta ,\frac{1}{2}}, y_{\beta ,\frac{1}{2}}\) are also square integrable around zero, for any \(m\in {\mathbb{ C}}\) with \(|{\mathrm {Re}}(m)|<1\) the space of solutions of \(L_{\beta ,\alpha }f=0\) is 2-dimensional.
Let us describe the asymptotics of these solutions near zero. The following results can be computed based on the expressions provided in the appendix of [6]. For any \(m\in {\mathbb{ C}}\) with \(-2m\not \in {\mathbb{ N}}^\times \) one has
In the exceptional cases one has
together with
2.3 Maximal and minimal operators
For any \(\alpha \) and \(\beta \in {\mathbb{ C}}\) we consider the differential expression
acting on distributions on \({\mathbb {R}}_+\). The corresponding maximal and minimal operators in \(L^2({\mathbb{ R}}_+)\) are denoted by \(L_{\beta ,\alpha }^{\mathrm {max}}\) and \(L_{\beta ,\alpha }^{\mathrm {min}}\), see [7, Sec. 3.2] for the details. The domain of \(L_{\beta ,\alpha }^{\mathrm {max}}\) is given by
while \(L_{\beta ,\alpha }^{\mathrm {min}}\) is the closure of the restriction of \(L_{\beta ,\alpha }\) to \(C_{{\mathrm{c}}}^\infty \big (]0,\infty [\big )\), the set of smooth functions with compact supports in \({\mathbb{ R}}_+\). The operators \(L_{\beta ,\alpha }^{{\mathrm {min}}}\) and \(L_{\beta ,\alpha }^{{\mathrm {max}}}\) are closed and we have
We say that \(f\in {\mathcal{D}}(L_{\beta ,\alpha }^{{\mathrm {min}}})\) around 0, (or, by an abuse of notation, \(f(x)\in {\mathcal{D}}(L_{\beta ,\alpha }^{{\mathrm {min}}})\) around 0) if there exists \(\zeta \in C_{\mathrm{c}}^\infty \big ([0,\infty [\big )\) with \(\zeta =1\) around 0 such that \(f\zeta \in {\mathcal{ D}}(L_{\beta ,\alpha }^{\mathrm {min}})\). The following result follows from the theory of one-dimensional Schrödinger operators.
Proposition 2.1
Let\(\alpha , \beta , m \in {\mathbb{ C}}\).
-
(i)
If\(f\in {\mathcal {D}}(L_{\beta ,\alpha }^{\mathrm {max}})\), then f and \(f'\) are continuous functions on\({\mathbb{ R}}_+\) and converge to 0 at infinity.
-
(ii)
If\(f\in {\mathcal{ D}}(L_{\beta ,\alpha }^{\mathrm {min}})\), then near 0 one has:
-
(a)
\(f(x) = o\big (x^{\frac{3}{2}}|\ln (x)|\big )\) and\(f'(x)=o\big (x^{\frac{1}{2}}|\ln (x)|\big )\) if\(\alpha =0\),
-
(b)
\(f(x)=o\big (x^{\frac{3}{2}}\big )\) and\(f'(x)=o\big (x^{\frac{1}{2}}\big )\) if\(\alpha \ne 0\).
-
(a)
-
(iii.a)
If\(|{\mathrm {Re}}(m)|<1\) with\(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\), then for any\(f\in {\mathcal{ D}}(L_{\beta ,m^2 }^{{\mathrm {max}}})\) there exists a unique pair\(a,b\in {\mathbb{ C}}\) such that
$$\begin{aligned} f -a\;\!j_{\beta ,m} - b\;\!j_{\beta ,-m} \in {\mathcal {D}}(L_{\beta ,m^2 }^{\mathrm {min}})\hbox { around }0. \end{aligned}$$ -
(iii.b)
If\(f\in {\mathcal{ D}}(L_{\beta ,0 }^{\mathrm {max}})\), then there exists a unique pair\(a,b\in {\mathbb{ C}}\) such that
$$\begin{aligned} f -a\;\!j_{\beta ,0} - b\;\!y_{\beta ,0} \in {\mathcal{ D}}(L_{\beta ,0 }^{\mathrm {min}})\hbox { around }0. \end{aligned}$$ -
(iii.c)
If\(f\in {\mathcal{ D}}(L_{\beta ,\frac{1}{4} }^{\mathrm {max}})\), then there exists a unique pair\(a,b\in {\mathbb{ C}}\) such that
$$\begin{aligned} f -a\;\!j_{\beta ,\frac{1}{2}} - b\;\!y_{\beta ,\frac{1}{2}} \in {\mathcal{ D}}(L_{\beta ,\frac{1}{4} }^{\mathrm {min}})\hbox { around }0. \end{aligned}$$ -
(iv)
If\(|{\mathrm {Re}}(m)| < 1\), then
$$\begin{aligned} {\mathcal {D}}( L^{{\mathrm {min}}}_{\beta ,m^2} )&= \left\{ f \in {\mathcal {D}}( L^{{\mathrm {max}}}_{\beta ,m^2} ) \mid {\mathscr {W}}( f , g ; 0 ) = 0 \text { for all } g \in {\mathcal {D}}( L^{\mathrm {max}}_{\beta ,m^2} ) \right\} \\&= \left\{ f \in {\mathcal {D}}( L^{\mathrm {max}}_{\beta ,m^2} ) \mid f(x) = o\big ( x^{\frac{1}{2}+|{\mathrm {Re}}(m)|} \big ) \text { near } 0 \right\} . \end{aligned}$$ -
(v)
If\(|{\mathrm {Re}}(m)|\geqslant 1\), then\({\mathcal{ D}}(L_{\beta ,m^2 }^{\mathrm {min}})={\mathcal{ D}}(L_{\beta ,m^2 }^{\mathrm {max}})\).
Proof
The statements (i)–(iii) and (v) are a reformulation of [7, Prop. 3.1] with the current notations. Only (iv) requires elaboration. The first equality in (iv) follows from [5, Thm. 3.4], given that \({\mathscr {W}}( f , g ; \infty ) = 0\) for all \(f,g \in {\mathcal{ D}}( L^{{\mathrm {max}}}_{\beta ,m^2} )\) by (i).
The inclusion \({\mathcal{ D}}( L^{\mathrm {min}}_{\beta ,m^2} ) \subset \big \{ f \in {\mathcal{ D}}( L^{\mathrm {max}}_{\beta ,m^2} ) \mid f(x) = o\big ( x^{\frac{1}{2}+|{\mathrm {Re}}(m)|} \big ) \text { near } 0 \big \}\) is a consequence of (ii). To prove the converse inclusion, let \(f \in {\mathcal{ D}}( L^{\mathrm {max}}_{\beta ,m^2} )\). Assuming for instance that \(m \notin \big \{ -\frac{1}{2} , 0 , \frac{1}{2}\big \}\) and applying (iii.a), one can write
for some \(\zeta \in C_{\mathrm{c}}^\infty \big ([0,\infty [\big )\) such that \(\zeta =1\) around 0, \(a, b \in {\mathbb{ C}}\) and \(f_{\mathrm {min}} \in {\mathcal D}( L^{\mathrm {min}}_{\beta ,m^2} )\). From (2.3) and (ii), we deduce that if \(f(x) = o\big ( x^{\frac{1}{2}+|{\mathrm {Re}}(m)|}\big )\) near 0 then, necessarily, \(a=b=0\). Hence we have proved that \(\big \{ f \in {\mathcal D}( L^{\mathrm {max}}_{\beta ,m^2} ) \mid f(x) = o\big ( x^{\frac{1}{2}+|{\mathrm {Re}}(m)|}\big ) \text { near } 0 \big \} \subset {\mathcal {D}}( L^{\mathrm {min}}_{\beta ,m^2} ) \) in the case where \(m \notin \big \{ -\frac{1}{2} , 0 , \frac{1}{2} \big \}\). The same argument applies if \(m=\pm \frac{1}{2}\) or \(m=0\), using (iii.b) or (iii.c) instead of (iii.a). \(\square \)
2.4 Families of Whittaker operators
We can now provide the definition of three families of Whittaker operators. The first family covers the generic case. The Whittaker operator \(H_{\beta , m,\kappa }\) is defined for any \(\beta \in {\mathbb{ C}}\), for any \(m\in {\mathbb{ C}}\) with \(|{\mathrm {Re}}(m)|<1\) and \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\), and for any \(\kappa \in {\mathbb{ C}}\cup \{\infty \}\):
The second family corresponds to \(m=0\):
Finally, in the special case \(m=\frac{1}{2}\) we have the third family:
Remark 2.2
Observe that the above boundary conditions could be described with the help of simpler functions. For example, in the above definitions we can replace
Note that this can be seen directly, without passing through Bessel functions. We describe this approach below, and refer to [5] for the general theory.
The idea is to look for elements of \({\mathcal D}(L_{\beta ,m^2}^{\mathrm {max}})\) with a nontrivial behavior near 0. First we consider the general case and observe that
Clearly, the function in the r.h.s. of (2.4) is in \(L^2\) near 0 for \({\mathrm {Re}}(m)>0\) but not for \({\mathrm {Re}}(m)\le 0\). On the other hand, the r.h.s. of (2.5) is in \(L^2\) near 0 for \({\mathrm {Re}}(m)>-1\). Thus, for \(m\ne \pm \frac{1}{2}\), we obtain two elements of the boundary space \({\mathcal {D}}(L_{\beta ,m^2}^{\mathrm {max}})/{\mathcal{ D}}(L_{\beta ,m^2}^{\mathrm {min}})\). For \(m\ne 0\) these elements are linearly independent since
It remains to find a second element of \({\mathcal {D}}(L_{\beta ,m^2}^{\mathrm {max}})\) when \(m=0\) or when \(m=\frac{1}{2}\) (as already mentioned we disregard \(m=-\frac{1}{2}\)). Firstly, we try to find the simplest possible elements of \({\mathcal{ D}}(L_{\beta ,0}^{\mathrm {max}})\) with a logarithmic behavior near 0. We add more and more terms:
For \(\beta \ne 0\), the r.h.s. of (2.6) and of (2.7) are not in \(L^2\) near 0. However the r.h.s. of (2.8) is in \(L^2\) near 0. We have thus obtained two elements of \({\mathcal {D}}(L_{\beta ,0}^{\mathrm {max}})/{\mathcal{ D}}(L_{\beta ,0}^{\mathrm {min}})\) which are linearly independent since
Finally, let us look for the simplest possible elements of \({\mathcal {D}}(L_{\beta ,\frac{1}{4}}^{\mathrm {max}})\) with a logarithmic behavior near 0:
For \(\beta \ne 0\), the r.h.s. of (2.9) is not in \(L^2\) near 0, but the r.h.s. of (2.10) is in \(L^2\) near 0. We have thus obtained two elements of \({\mathcal {D}}(L_{\beta ,\frac{1}{4}}^{\mathrm {max}})/{\mathcal {D}}(L_{\beta ,\frac{1}{4}}^{\mathrm {min}})\) which are linearly independent since
The three families \(H_{\beta ,m,\kappa }\), \(H_{\beta ,\frac{1}{2}}^\nu \) and \(H_{\beta ,0}^\nu \) cover all possible well-posed extensions of \(L_{\beta ,m^2}\) with \(|{\mathrm {Re}}(m)|<1\). As already mentioned, we do not introduce a special family for \(m=-\frac{1}{2}\), since it is covered by the family corresponding to \(m=\frac{1}{2}\). For convenience, we also extend the definition of the first family to the exceptional cases by setting for \(\beta \in {\mathbb{ C}}\) and any \(\kappa \in {\mathbb{ C}}\cup \{\infty \}\)
An invariance property follows directly from the definition:
Proposition 2.3
For any\(\beta \in {\mathbb{ C}}\), \(|{\mathrm {Re}}(m)|<1\) and\(\kappa \in {\mathbb{ C}}\cup \{\infty \}\) the following relation holds
It is also convenient to introduce another two-parameter family of operators, which cover only special boundary conditions, which we call pure:
With this notation, for any \(\beta \in {\mathbb{ C}}\), one has
Remark 2.4
The family \(H_{\beta ,m}\) is essentially identical to the family denoted by the same symbol introduced and studied in [7]. The only difference with that reference is that the operator corresponding to \((\beta ,m)=\big (0,-\frac{1}{2}\big )\) was left undefined in [7]. This point corresponds to a singularity, nevertheless in the current paper we have decided to set \(H_{0,-\frac{1}{2}}:=H_{0,\frac{1}{2}}\).
Here is a comparison of the above families with the families \(H_{m,\kappa }\), \(H_0^\nu \) introduced in [6] when \(\beta =0\). In the first column we put one of the newly introduced family, in the second column we put the families from [6, 7].
For completeness, let us also mention two special operators which are included in these families (for clarity, the indices are emphasized). The Dirichlet Laplacian on \({\mathbb{ R}}_+\) is given by
while the Neumann Laplacian is given by
Note that the former operator was also described in [6] by \(H_{m=\frac{1}{2}}\) while the latter operator was described by \(H_{m=-\frac{1}{2}}\).
We now gather some easy properties of the operators \(H_{\beta ,m,\kappa }\).
Proposition 2.5
For \(m\in {\mathbb{ C}}\) with \(|{\mathrm {Re}}(m)|<1\) one has
Proof
Let us prove the first statement, the other ones can be obtained similarly. Recall from Proposition 2.1 (see also [2, Prop. A.2]) that for any \(f\in {\mathcal{ D}}(L_{\beta ,m^2}^{\mathrm {max}})\) and \(g\in {\mathcal{ D}}(L_{{\bar{\beta }},\bar{m}^2}^{\mathrm {max}})\), the functions \(f,f',g,g'\) are continuous on \({\mathbb{ R}}_+\). In addition, the Wronskian of \({\bar{f}}\) and g, as introduced in (2.1), possesses a limit at zero, and we have the equality
In particular, if \(f\in {\mathcal{ D}}(H_{\beta ,m,\kappa })\) one infers that
Thus, \(g\in {\mathcal {D}}\big ((H_{\beta ,m,\kappa })^*\big )\) if and only if \({\mathscr {W}}({\bar{f}},g;0)=0\), and then \((H_{\beta ,m,\kappa })^*g=L_{\bar{\beta },{\bar{m}}^2}^{\mathrm {max}}g\). By taking into account the explicit description of \({\mathcal {D}}(H_{\beta ,m,\kappa })\), straightforward computations show that \({\mathscr {W}}({\bar{f}},g;0)=0\) if and only if \(g\in {\mathcal{ D}}(H_{{\bar{\beta }},{\bar{m}},{\bar{\kappa }}})\). One then deduces that \((H_{\beta ,m,\kappa })^*= H_{{\bar{\beta }},{\bar{m}},{\bar{\kappa }}}\). The property for the transpose of \(H_{\beta ,m,\kappa }\) can be proved similarly. \(\square \)
By combining Propositions 2.3 and 2.5 one easily deduces the following characterization of self-adjoint operators contained in our families:
Corollary 2.6
The operator\(H_{\beta ,m,\kappa }\) is self-adjoint if and only if one of the following sets of conditions is satisfied:
-
(i)
\(\beta \in {\mathbb{ R}}\), \(m\in ]-1,1[\) and\(\kappa \in {\mathbb{ R}}\cup \{\infty \}\),
-
(ii)
\(\beta \in {\mathbb{ R}}\), \(m\in {\mathrm {i}}{\mathbb{ R}}^\times \) and\(|\kappa |=1\).
The operators\(H_{\beta ,0}^\nu \) and\(H_{\beta ,\frac{1}{2}}^\nu \) are self-adjoint if and only if\(\beta \in {\mathbb{ R}}\) and\(\nu \in {\mathbb{ R}}\cup \{\infty \}\).
Let us finally mention some equalities about the action of the dilation group. For that purpose, we recall that the unitary group \(\{U_\tau \}_{\tau \in {\mathbb{ R}}}\) of dilations acts on \(f\in L^2({\mathbb{ R}}_+)\) as \(\big (U_\tau f\big )(x) = {\mathrm {e}}^{\tau /2}f({\mathrm {e}}^\tau x)\). The proof of the following lemma consists in an easy computation.
Proposition 2.7
For\(m\in {\mathbb{ C}}\) with\(|{\mathrm {Re}}(m)|<1\) one has
with the conventions\(\alpha \;\!\infty =\infty \) for any\(\alpha \in {\mathbb{ C}}\setminus \{0\}\) and\(\infty + \tau = \infty \).
3 Spectral theory
In this section we investigate the spectral properties of the Whittaker operators.
3.1 Point spectrum
The point spectrum is obtained by looking at general solutions of the equation
for \(k\in {\mathbb{ C}}\) with \({\mathrm {Re}}(k)\ge 0\), and by considering only the solutions which are in the domain of the operators \(H_{\beta ,m,\kappa }\), \(H^\nu _{\beta ,\frac{1}{2}}\), or \(H^\nu _{\beta ,0}\).
In the following statement, \(\varGamma \) stands for the usual gamma function, \(\psi \) is the digamma function defined by \(\psi (z) = \varGamma '(z) / \varGamma ( z )\) and \(\gamma = - \psi ( 1 )\). Since the special case \(\beta =0\) has already been considered in [6], we assume that \(\beta \ne 0\) in the following statement, and recall in Theorem 3.4 the results obtained for \(\beta =0\). It is also useful to note that the condition \(\beta \not \in [0,\infty [\) guarantees that either \(+{\mathrm {Im}}(\sqrt{\beta })>0\) or \(-{\mathrm {Im}}(\sqrt{\beta })>0\), due to our definition of the square root.
Theorem 3.1
-
1.
Let\(\beta \in {\mathbb{ C}}^\times \), \(|{\mathrm {Re}}(m)|<1\) with\(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\), and let\(\kappa \in {\mathbb{ C}}\cup \{\infty \}\). Then the operator\(H_{\beta ,m,\kappa }\) possesses an eigenvalue\(\lambda \in {\mathbb{ C}}\) in the following cases:
-
(i)
\(\lambda =-k^2\), \({\mathrm {Re}}(k)>0\), \(\frac{\beta }{2k} + m - \frac{1}{2} \notin {\mathbb{ N}}\) and
$$\begin{aligned} \kappa = (2k)^{-2m}\frac{\varGamma (2m)}{\varGamma (-2m)} \frac{\varGamma \big (\frac{1}{2}-m - \frac{\beta }{2k}\big )}{\varGamma \big (\frac{1}{2}+m- \frac{\beta }{2k}\big )}, \end{aligned}$$(3.1) -
(ii)
\(\lambda =\mu ^2\), \(0<\mu <\pm {\mathrm {Im}}(\beta )\) and
$$\begin{aligned} \kappa = {\mathrm {e}}^{\pm {\mathrm {i}}\pi m} (2\mu )^{-2m}\frac{\varGamma (2m)}{\varGamma (-2m)} \frac{\varGamma \big (\frac{1}{2}-m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}{\varGamma \big (\frac{1}{2}+m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}, \end{aligned}$$ -
(iii)
\(\lambda =0\), \(\beta \not \in [0,\infty [\), and
$$\begin{aligned} \kappa = \frac{\varGamma (2m)}{\varGamma (-2m)\;\!(-\beta )^{2m}}. \end{aligned}$$
-
(i)
-
2.
Let\(\beta \in {\mathbb{ C}}^\times \) and\(\nu \in {\mathbb{ C}}\cup \{\infty \}\). Then\(H_{\beta ,\frac{1}{2}}^\nu \) possesses an eigenvalue\(\lambda \) in the following cases:
-
(i)
\(\lambda =-k^2\), \({\mathrm {Re}}(k)>0\), \(\frac{\beta }{2k} \notin {\mathbb{ N}}\) and
$$\begin{aligned} \nu =-\beta \left( \frac{1}{2}\psi \left( 1-\frac{\beta }{2k} \right) +\frac{1}{2}\psi \left( -\frac{\beta }{2k} \right) +2\gamma -1+\ln (2k) \right) , \end{aligned}$$ -
(ii)
\(\lambda =\mu ^2\), \(0<\mu <\pm {\mathrm {Im}}(\beta )\), and
$$\begin{aligned} \nu =-\beta \left( \frac{1}{2}\psi \left( 1\mp {\mathrm {i}}\frac{\beta }{2\mu } \right) + \frac{1}{2}\psi \left( \mp {\mathrm {i}}\frac{\beta }{2\mu } \right) +2\gamma -1 +\ln (2\mu ) \mp {\mathrm {i}}\frac{\pi }{2} \right) , \end{aligned}$$ -
(iii)
\(\lambda =0\), \(\pm {\mathrm {Im}}(\sqrt{\beta })>0\), and
$$\begin{aligned} \nu = - \beta \big (\ln ( \beta ) + 2\gamma - 1 \mp {\mathrm {i}}\pi \big ). \end{aligned}$$
-
(i)
-
3.
Let\(\beta \in {\mathbb{ C}}^\times \) and\(\nu \in {\mathbb{ C}}\cup \{\infty \}\). Then\(H_{\beta ,0}^\nu \) possesses an eigenvalue\(\lambda \) in the following cases:
-
(i)
\(\lambda =-k^2\), \({\mathrm {Re}}(k)>0\), \(\frac{\beta }{2k} - \frac{1}{2} \notin {\mathbb{ N}}\) and
$$\begin{aligned} \nu =\psi \left( \frac{1}{2}-\frac{\beta }{2k} \right) +2\gamma +\ln (2k), \end{aligned}$$ -
(ii)
\(\lambda =\mu ^2\), \(0<\mu <\pm {\mathrm {Im}}(\beta )\), and
$$\begin{aligned} \nu =\psi \left( \frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\mu } \right) \mp {\mathrm {i}}\frac{\pi }{2}+2\gamma + \ln (2\mu ), \end{aligned}$$ -
(iii)
\(\lambda =0\), \(\pm {\mathrm {Im}}(\sqrt{\beta })>0\), and
$$\begin{aligned} \nu = \ln ( \beta ) + 2\gamma + 2\ln (2) \mp {\mathrm {i}}\pi . \end{aligned}$$
-
(i)
Proof
We start with the special case \(\lambda =-k^2 = 0\). The two solutions of the equation \(L_{\beta ,m^2}f=0\) are provided by the functions
with \({\mathcal{ H}}^\pm _m\) the Hankel function for dimension 1, see [6, App. A.5]. We then infer from [6, App. A.5] that for any z with \(-\pi <\arg (z)\le \pi \), one has as \(z\rightarrow 0\)
For \(|{\mathrm {Re}}(m)|<1\), this implies that the two functions \( h_{\beta ,m}^\pm \) belong to \(L^2({\mathbb{ R}}_+)\) near 0. On the other hand, for large z and \(|\arg (\mp {\mathrm {i}}z)|<\pi -\varepsilon \), \(\varepsilon >0\), one has
Since \(| \arg ( 2\sqrt{\beta x} ) | \le \pi / 2\), it follows that
Hence if \({\mathrm {Im}}(\sqrt{\beta })=0\), then \(h_{\beta ,m}^\pm \) do not belong to \(L^2\) near infinity, while if \(\pm {\mathrm {Im}}(\sqrt{\beta })>0\), then \(h^\pm _{\beta ,m}\) belongs to \(L^2\) near infinity, and \(h^\mp _{\beta ,m}\) does not. For \(\pm {\mathrm {Im}}(\sqrt{\beta })>0\), we thus have that \(h_{\beta ,m}^\pm \in L^2( {\mathbb{ R}}_+ )\) and hence, since in addition \(L_{\beta ,m^2} h_{\beta ,m}^\pm =0\), we deduce that \(h_{\beta ,m}^\pm \in {\mathcal{ D}}(L_{\beta ,m^2 }^{{\mathrm {max}}})\). It only remains to check in which domain of the operators \(H_{\beta ,m,\kappa }\), \(H^\nu _{\beta ,\frac{1}{2}}\), or \(H^\nu _{\beta ,0}\) does \(h_{\beta ,m}^\pm \) belong to. By Proposition 2.1, it suffices to determine the asymptotic expansion near 0 of \(h_{\beta ,m}^\pm \) up to remainder terms of order \(o(x^{\frac{1}{2}+|{\mathrm {Re}}(m)]})\). This can easily be obtained from the expansion provided above, and yields to the statements 1.(iii), 2.(iii) and 3.(iii).
Let us now prove the statements 1.(ii), 2.(ii) and 3.(ii). We consider the equation \(L_{\beta ,m^2}f=\mu ^2 f\) for some \(\mu >0\). Two linearly independent solutions are provided by the functions \(x\mapsto {\mathcal {H}}^\pm _{\frac{\beta }{2\mu }, m}(2\mu x)\) introduced in [7, Sec. 2.7], see also (A.29). From the asymptotic expansion near infinity given by
one infers that at most one of these functions is in \(L^2\) near infinity, depending on the sign of \({\mathrm {Im}}(\beta )\). More precisely, for \({\mathrm {Im}}(\beta )>0\), the map \(x\mapsto {\mathcal {H}}^+_{\frac{\beta }{2\mu },m}(2\mu x)\) belongs to \(L^2\) near infinity if \(\mu <{\mathrm {Im}}(\beta )\) and does not belong to \(L^2\) near infinity otherwise. Under the same condition \({\mathrm {Im}}(\beta )>0\), the map \(x\mapsto {\mathcal {H}}^-_{\frac{\beta }{2\mu },m}(2\mu x)\) never belongs to \(L^2\) near infinity. Conversely, for \({\mathrm {Im}}(\beta )<0\), the map \(x\mapsto {\mathcal {H}}^-_{\frac{\beta }{2\mu },m}(2\mu x)\) belongs to \(L^2\) near infinity if \(\mu <-{\mathrm {Im}}(\beta )\) and does not belong to \(L^2\) near infinity otherwise. Under the same condition \({\mathrm {Im}}(\beta )<0\), the map \(x\mapsto {\mathcal {H}}^+_{\frac{\beta }{2\mu },m}(2\mu x)\) never belongs to \(L^2\) near infinity. Finally, for \({\mathrm {Im}}(\beta )=0\), none of these functions belongs to \(L^2\) near infinity.
For the asymptotic expansion near 0, the information on \({\mathcal {H}}^\pm _{\delta ,m}\) provided in [7, Eq. (2.31)] is not sufficient. However, the appendix of the current paper contains all the necessary information on these special functions. By taking into account the Taylor expansion of \({\mathcal {I}}_{\delta ,m}\) near 0 provided in (A.3) and the equality \(\varGamma (\alpha )\varGamma (1-\alpha )=\frac{\pi }{\sin (\pi \alpha )}\) one infers that for \(|{\mathrm {Re}}(m)|<1\) and \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) one has
and
For \(2m \in {\mathbb{ Z}}\) one has to consider the expression for \({\mathcal {K}}_{\delta ,\frac{1}{2}}\) and \({\mathcal {K}}_{\delta ,0}\) provided in (A.18) and (A.19) respectively. Then, by considering the Taylor expansion near 0 of these functions one gets
From Equation (A.29) one finally deduces the relations
To show 1.(ii) we consider the function \(x\mapsto {\mathcal {H}}_{\frac{\beta }{2\mu },m}^+(2\mu x)\) if \({\mathrm {Im}}(\beta )>0\) and \(x\mapsto {\mathcal {H}}_{\frac{\beta }{2\mu },m}^-(2\mu x)\) if \({\mathrm {Im}}(\beta )<0\), and check for which \(\kappa \) these functions belong to \({\mathcal {D}}(H_{\beta ,m \kappa })\). For \(|{\mathrm {Re}}(m)|<1\) and \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) one has
with \(c:= {\mathrm {e}}^{\mp {\mathrm {i}}\pi m} \frac{\varGamma (-2m)}{\varGamma (\frac{1}{2}-m\mp {\mathrm {i}}\frac{\beta }{2\mu })} (2\mu )^{\frac{1}{2}+m}\) and
Note that the conditions \(\pm {\mathrm {Im}}(\beta )>0\), \(|{\mathrm {Re}}(m)|<1\), and \(\mu <\pm {\mathrm {Im}}(\beta )\) imply that \(\pm {\mathrm {i}}\frac{\beta }{2\mu }+m-\frac{1}{2}\not \in {\mathbb{ N}}\).
The proof of 2.(ii) and 3.(ii) can be obtained similarly once the following expressions are taken into account:
We shall now turn to the generic case (statements 1.(i), 2.(i) and 3.(i)), namely the equation \(L_{\beta ,m^2}f=-k^2 f\) for some \(k\in {\mathbb{ C}}\) with \({\mathrm {Re}}(k)>0\). In the non-degenerate case, solutions of this equation are provided by the functions
We refer again to the appendix for an introduction to these functions. The behavior for large z of the function \({\mathcal {K}}_{\delta ,m}(z)\) has been provided in (A.7), from which one infers that the first function in (3.7) is always in \(L^2\) near infinity. On the other hand, since for \(|\arg (z)|<\frac{\pi }{2}\) one has
it follows that the remaining two functions in (3.7) do not belong to \(L^2\) near infinity as long as \(\frac{\beta }{2k} \mp m -\frac{1}{2}\not \in {\mathbb{ N}}\). Still in the non-degenerate case and when the condition \(\frac{\beta }{2k} + m -\frac{1}{2} \in {\mathbb{ N}}\) holds, it follows from relation (A.8) that the functions \({\mathcal {K}}_{\frac{\beta }{2k},m}(2k\cdot )\) and \({\mathcal {I}}_{\frac{\beta }{2k},-m}(2k\cdot )\) are linearly dependent, but still \({\mathcal {I}}_{\frac{\beta }{2k},m}(2k\cdot )\) does not belong to \(L^2\) near infinity. Similarly, when \(\frac{\beta }{2k} - m -\frac{1}{2} \in {\mathbb{ N}}\) it is the function \({\mathcal {I}}_{\frac{\beta }{2k},-m}(2k\cdot )\) which does not belong to \(L^2\) near infinity.
Let us now turn to the degenerate case, when \(m\in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\). In this situation the two functions \({\mathcal {I}}_{\delta , m}\) and \({\mathcal {I}}_{\delta ,-m}\) are no longer independent, as a consequence of (A.4). In the non-doubly degenerate case (see the appendix for more details), which means for \(\big (\frac{\beta }{2k},m\big )\not \in \big ({\mathbb{ Z}},\pm \frac{1}{2}\big )\) or for \(\big (\frac{\beta }{2k},m\big )\not \in \big ({\mathbb{ Z}}+\frac{1}{2},0\big )\), the above arguments can be mimicked, and one gets that only the function \({\mathcal {K}}_{\frac{\beta }{2k},m}(2k\cdot )\) belongs to \(L^2\) near infinity. In the doubly degenerate case, the function \({\mathcal {X}}_{\delta ,m}\), introduced in (A.9), has to be used. This function is independent of the function \({\mathcal {K}}_{\delta ,m}\), as shown in (A.24). However, this function explodes exponentially near infinity, which means that \({\mathcal {X}}_{\frac{\beta }{2k},m}(2k\cdot )\) does not belong to \(L^2\) near infinity. Once again, only the function \({\mathcal {K}}_{\frac{\beta }{2k},m}(2k\cdot )\) plays a role.
As a consequence of these observations, it will be sufficient to concentrate on the function \({\mathcal {K}}_{\frac{\beta }{2k},m}(2k\cdot )\) and to check for which \(\kappa \) or \(\nu \) does this function belong to the domain of the operators \(H_{\beta ,m,\kappa }\), \(H^\nu _{\beta ,\frac{1}{2}}\), or \(H^\nu _{\beta ,0}\) respectively. For the behavior of this function near 0 one infers from (A.6) and (3.4) that for \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\)
Similarly, it follows from (A.18) and (A.19) that
The statements 1.(i), 2.(i), and 3.(i) follow then straightforwardly. \(\square \)
Remark 3.2
A special feature of positive eigenvalues described in Theorem 3.1 is that the corresponding eigenfunctions have an inverse polynomial decay at infinity, and not an exponential decay at infinity, as it is often expected. This property can be directly inferred from the asymptotic expansion provided in (3.3).
Remark 3.3
Self-adjoint operators that are included in the families \(H_{\beta ,m,\kappa }\), \(H_{\beta ,\frac{1}{2}}^\nu \) and \(H_{\beta ,0}^\nu \) do not have eigenvalues in \(]0,\infty [\). Indeed, in Theorem 3.1 a necessary condition for the existence of strictly positive eigenvalues is that \({\mathrm {Im}}(\beta )\ne 0\). This automatically prevents these operators to be self-adjoint, as a consequence of Corollary 2.6.
For completeness let us recall the results already obtained in [6, Sec. 5] for \(\beta =0\).
Theorem 3.4
-
(i)
If\(|{\mathrm {Re}}(m)|<1\), \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) and\(\kappa \in {\mathbb{ C}}\cup \{\infty \}\), the eigenvalues of the operator\(H_{0,m,\kappa }\) are of the form\(-k^2\) with\({\mathrm {Re}}(k)>0\), where
$$\begin{aligned} \kappa = \left( \frac{k}{2} \right) ^{-2m}\frac{\varGamma (m)}{\varGamma (-m)}, \end{aligned}$$ -
(ii)
If\(\nu \in {\mathbb{ C}}\cup \{\infty \}\), the eigenvalues of the operator\(H_{0,\frac{1}{2}}^\nu \) are of the form\(-k^2\) with\({\mathrm {Re}}(k)>0\), where\(\nu =-k\),
-
(iii)
If\(\nu \in {\mathbb{ C}}\cup \{\infty \}\), the eigenvalues of the operator\(H_{0,0}^\nu \) are of the form\(-k^2\) with\({\mathrm {Re}}(k)>0\), where
$$\begin{aligned} \nu =\gamma +\ln \left( \frac{k}{2} \right) . \end{aligned}$$
Remark 3.5
Note that Theorem 3.4 can be derived from Theorem 3.1. Indeed, for \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) we infer from the Legendre duplication formula
that
For \(m=\frac{1}{2}\), we first note that \(\varGamma \big (\frac{1}{2}\big )=\sqrt{\pi }\) and \(\varGamma \big (-\frac{1}{2}\big )=-2\sqrt{\pi }\). Then we use the relations \(\psi (1+z)=\psi (z)+\frac{1}{z}\) and \(\psi (1)=-\gamma \), and infer that
Finally for \(m=0\), from the equality \(\psi \big (\frac{1}{2}\big )=-2\ln (2)-\gamma \) one gets
As a consequence of the expressions provided in Theorem 3.1, the discreteness of the spectra of all operators can be inferred in \({\mathbb{ C}}\setminus [0,\infty [\).
3.2 Green’s functions
Let us now turn our attention to the continuous spectrum. We shall first look for an expression for Green’s function. We will use the well-known theory of 1-dimensional Schrödinger operators, as presented for example in the appendix of [2] or in [5]. We begin by recalling a result on which we shall rely.
Let \(AC({\mathbb{ R}}_+)\) denote the set of absolutely continuous functions from \({\mathbb{ R}}_+\) to \({\mathbb{ C}}\), that is functions whose distributional derivative belongs to \(L^1_{\mathrm {loc}}({\mathbb{ R}}_+)\). Let also \(AC^1({\mathbb{ R}}_+)\) be the set of functions from \({\mathbb{ R}}_+\) to \({\mathbb{ C}}\) whose distributional derivatives belong to \(AC({\mathbb{ R}}_+)\). If \(V \in L^1_{\mathrm {loc}}({\mathbb{ R}}_+)\), it is not difficult to check that the operator \(-\partial _x^2 + V\) can be interpreted as a linear map from \(AC^1({\mathbb{ R}}_+)\) to \(L^1_{\mathrm {loc}}({\mathbb{ R}}_+)\). The maximal operator associated to \(-\partial _x^2 + V\) is then defined as
The minimal operator \(L^{\mathrm {min}}\) is the closure of \(L^{\mathrm {max}}\) restricted to compactly supported functions. Note that \(L^{\mathrm {max}}=(L^{\mathrm {min}})^\#\).
As before, we say that a function \(f : {\mathbb{ R}}_+ \rightarrow {\mathbb{ C}}\) belongs to \(L^2\) around 0 (respectively around \(\infty \)) if there exists \(\zeta \in C_{\mathrm{c}}^\infty \big ([0,\infty [\big )\) with \(\zeta = 1\) around 0 such that \(f \zeta \in L^2({\mathbb{ R}}_+)\) (respectively \(f(1-\zeta ) \in L^2({\mathbb{ R}}_+)\)).
The following statement contains several results proved in [5].
Proposition 3.6
Let\(V\in L_{\mathrm {loc}}^1({\mathbb{ R}}_+)\). Let\(k \in {\mathbb{ C}}\) and suppose that\(u(k,\cdot ),v(k,\cdot )\in AC^1({\mathbb{ R}}_+)\) solve
Assume that\(u( k , \cdot )\), \(v( k , \cdot )\)are linearly independent and that \(u( k , \cdot ) \in L^2\)around 0,\(v ( k , \cdot ) \in L^2\)around\(\infty \). Let\({\mathscr {W}}(k):={\mathscr {W}}\big (u(k,\cdot ),v(k,\cdot ) ; x\big )\)be the Wronskian of these two solutions. Set
and assume that \(R(-k^2 ; x ,y)\)is the integral kernel of a bounded operator\(R(-k^2)\). Then there exists a unique closed realizationH of \(-\partial _x^2+V\)with the boundary condition at 0 given by\(u(k,\cdot )\)and at\(\infty \)given by\(v(k,\cdot )\)in the sense that
Moreover \(- k^2\)belongs to the resolvent set ofHand\(R(-k^2)=(H+k^2)^{-1}\).
By using such a statement, it has been proved in [7] that, for \(k \in {\mathbb{ C}}\) such that \({\mathrm {Re}}( k ) > 0\) and \(\frac{\beta }{2k} - \frac{1}{2} - m \notin {\mathbb{ N}}\), we have that \(- k^2 \notin \sigma ( H_{\beta ,m} )\) and \(R_{\beta ,m}(-k^2):=(k^2+H_{\beta ,m})^{-1}\) has the integral kernel
Let us now describe the integral kernel of the resolvent of all operators under investigation. We recall that our parameters are \(\beta \in {\mathbb{ C}}\), \(\kappa \in {\mathbb{ C}}\cup \{\infty \}\), \(\nu \in {\mathbb{ C}}\cup \{\infty \}\), and \(m\in {\mathbb{ C}}\) satisfying \(-1<{\mathrm {Re}}(m)<1\).
Theorem 3.7
Let\(k \in {\mathbb{ C}}\) with\({\mathrm {Re}}( k ) > 0\). We have the following properties.
-
(i)
For\(\kappa \ne \infty \) and\(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) set
$$\begin{aligned} \gamma _{\beta ,m}(k)&:=\frac{(2k)^{-m}}{\varGamma \big (\frac{1}{2}+m-\frac{\beta }{2k}\big )\varGamma (1-2m)},\nonumber \\ \omega _{\beta ,m,\kappa }(k)&:= \frac{\gamma _{\beta ,m}(k)+\kappa \gamma _{\beta , -m}(k)}{\kappa \gamma _{\beta ,-m}(k)} \frac{\pi }{\sin (2\pi m)}. \end{aligned}$$(3.10)If\(\gamma _{\beta ,m}(k)+\kappa \gamma _{\beta , -m}(k)\ne 0\), then\(-k^2\not \in \sigma (H_{\beta ,m,\kappa })\) and the integral kernel of\(R_{\beta ,m,\kappa }( - k^2 ) := ( H_{\beta ,m,\kappa } + k^2 )^{-1}\) is given by
$$\begin{aligned}&R_{\beta ,m,\kappa }(-k^2 ; x,y) \nonumber \\&\quad =\frac{1}{\gamma _{\beta ,m}(k)+\kappa \gamma _{\beta , -m}(k)} \left( \gamma _{\beta ,m}(k)R_{\beta ,m}(-k^2 ; x,y) +\kappa \gamma _{\beta ,-m}(k)R_{\beta ,-m}(-k^2 ; x,y) \right) \nonumber \\&\quad = R_{\beta ,m}(-k^2;x,y) + \frac{\varGamma \big (\frac{1}{2}+m-\frac{\beta }{2k}\big )\varGamma \big (\frac{1}{2}-m-\frac{\beta }{2k}\big )}{2k\;\!\omega _{\beta ,m,\kappa }(k)} {\mathcal {K}}_{\frac{\beta }{2k},m}(2k y) {\mathcal {K}}_{\frac{\beta }{2k},m}(2k x). \end{aligned}$$(3.11)If\(\kappa = \infty \) and\(\frac{\beta }{2k}+m-\frac{1}{2}\not \in {\mathbb{ N}}\), then\(-k^2\not \in \sigma (H_{\beta ,m,\infty })\) and\(R_{\beta ,m,\infty }(-k^2)=R_{\beta ,-m}(-k^2)\).
-
(ii)
For\(\nu \ne \infty \), \(m = \frac{1}{2}\) and\(\frac{\beta }{2k}\not \in {\mathbb{ N}}^\times \) set
$$\begin{aligned} \omega _{\beta ,\frac{1}{2}}^\nu (k):= -\frac{1}{2}\psi \left( 1- \frac{\beta }{2k} \right) - \frac{1}{2}\psi \left( - \frac{\beta }{2k} \right) -2\gamma - \ln (2k) + 1-\frac{\nu }{\beta }. \end{aligned}$$If\(\omega _{\beta ,\frac{1}{2}}^\nu ( k ) \ne 0\), then\(-k^2\not \in \sigma (H_{\beta ,\frac{1}{2}}^\nu )\) and the integral kernel of\(R_{\beta ,\frac{1}{2}}^\nu (-k^2) := ( H_{\beta ,\frac{1}{2}}^\nu + k^2 )^{-1}\) is given by
$$\begin{aligned}&R_{\beta ,\frac{1}{2}}^\nu (-k^2;x,y) \nonumber \\&\quad = R_{ \beta , \frac{1}{2} }( -k^2 ; x , y ) + \frac{\varGamma \big (-\frac{\beta }{2k}\big ) \varGamma \big (1-\frac{\beta }{2k}\big )}{2k\;\!\omega _{\beta ,\frac{1}{2}}^\nu (k)} {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2kx) {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2ky) . \end{aligned}$$(3.12)If\(\nu = \infty \) and\(\frac{\beta }{2k}\not \in {\mathbb{ N}}^\times \), then\(-k^2\not \in \sigma (H_{\beta ,\frac{1}{2}}^\infty )\) and\(R_{\beta ,\frac{1}{2}}^\infty (-k^2)=R_{\beta ,\frac{1}{2}}(-k^2)\).
-
(iii)
For\(\nu \ne \infty \), \(m = 0\)and\(\frac{\beta }{2k}-\frac{1}{2}\not \in {\mathbb{ N}}\)set
$$\begin{aligned} \omega _{\beta ,0}^\nu (k):=\psi \left( \frac{1}{2}-\frac{\beta }{2k} \right) +2\gamma +\ln (2k)-\nu .\end{aligned}$$If\(\omega _{\beta ,0}^\nu (k) \ne 0\), then \(-k^2\not \in \sigma (H_{\beta ,0}^\nu )\)and the integral kernel of\(R_{\beta ,0}^\nu ( - k^2 ) :={ ( H_{\beta ,0}^\nu + k^2 )^{-1}}\)is given by
$$\begin{aligned}&R_{\beta ,0}^\nu ( - k^2 ; x , y ) \nonumber \\&\quad = R_{\beta ,0}(-k^2;x,y) +\frac{\varGamma \big (\frac{1}{2}-\frac{\beta }{2k}\big )^2}{2k\;\! \omega _{\beta ,0}^\nu ( k ) } {\mathcal {K}}_{\frac{\beta }{2k},0}(2k x) {\mathcal {K}}_{\frac{\beta }{2k},0}(2k y). \end{aligned}$$(3.13)If \(\nu = \infty \)and\(\frac{\beta }{2k}-\frac{1}{2}\not \in {\mathbb{ N}}\), then\(-k^2\notin \sigma (H_{\beta ,0}^\infty )\)and\(R_{\beta ,0}^\infty (-k^2)=R_{\beta ,0}(-k^2)\).
For the proof of this theorem, we shall mainly rely on a similar statement which was proved in [7, Sec. 3.4]. The context was less general, but some of the estimates turn out to be still useful.
Proof of Theorem 3.7
The proof consists in checking that all conditions of Proposition 3.6 are satisfied.
For (i) we need to show that the integral kernel \(R_{\beta ,m,\kappa }(-k^2; x , y)\) defines a bounded operator on \(L^2({\mathbb{ R}}_+)\). This follows from (3.11), because all numerical factors are harmless and because by [7, Thm. 3.5] \(R_{\beta ,m} ( - k^2 ; x , y )\) and \(R_{\beta ,-m} ( - k^2 ; x , y )\) are the kernels defining bounded operators.
Moreover, we can write
Since \({\mathcal {K}}_{\frac{\beta }{2k},m}(2k \cdot )\) belongs to \(L^2({\mathbb{ R}}_+)\), this solution is \(L^2\) around \(\infty \). For the other solution, one verifies by (3.4) that
Therefore, this function belongs to \(L^2\) around 0 and satisfies the same boundary condition at 0 as \(j_{\beta ,m,} + \kappa j_{\beta ,-m}\). By Proposition 3.6, this proves (i) when \(\kappa \ne \infty \). Note that in the special case \(\kappa = \infty \), it is enough to observe that \(H_{\beta ,m,\infty } =H_{\beta ,-m,0}\) and to apply the previous result.
To prove (ii), consider first \(\nu \ne \infty \) and \(\frac{\beta }{2k}\not \in {\mathbb{ N}}^\times \). It has been proved in [7, Thm. 3.5] that the first kernel of (3.12) defines a bounded operator. The second kernel corresponds to a constant multiplied by a rank one operator defined by the function \({\mathcal {K}}_{\frac{\beta }{2k},m}(2k \cdot )\in L^2({\mathbb{ R}}_+)\) and therefore this operator is also bounded. Next we write
We deduce from (3.4) and (3.8) that
which belongs to \(L^2\) around 0 and corresponds to the boundary condition defining \(H_{\beta ,\frac{1}{2}}^\nu \).
The proof of (iii) is analogous. We use first (3.13) for the boundedness. Then we rewrite Green’s function as
We check that
by (3.4) and (3.9), see also (A.19). \(\square \)
Strictly speaking, the formulas of Theorem 3.7 are not valid in doubly degenerate points, when the functions \({\mathcal {K}}_{\beta ,m}\) and \({\mathcal {I}}_{\beta ,m}\) are proportional to one another, and the operator \(H_{\beta ,m}\) has an eigenvalue. To obtain well defined formulas one needs to use the function \({\mathcal {X}}_{\beta ,m}\) defined in (A.9), as described in the following proposition:
Proposition 3.8
Let\(k \in {\mathbb{ C}}\) with\({\mathrm {Re}}( k ) > 0\). We have the following properties.
-
(ii′)
For\(m = \frac{1}{2}\), \(\nu \ne \infty \) and\(\frac{\beta }{2k} \in {\mathbb{ N}}^\times \), set
$$\begin{aligned} \xi _{\beta ,\frac{1}{2}}^\nu (k):= \frac{1}{2} \psi \left( 1 + \frac{ \beta }{ 2 k } \right) + \frac{1}{2} \psi \left( \frac{ \beta }{ 2 k } \right) + 2\gamma + \ln (2k) - 1 + \frac{ \nu }{\beta }. \end{aligned}$$Then\(-k^2\not \in \sigma (H_{\beta ,\frac{1}{2}}^\nu )\) and the integral kernel of\(R_{\beta ,\frac{1}{2}}^\nu ( - k^2 )\) is given by
$$\begin{aligned}&R_{\beta ,\frac{1}{2}}^\nu (-k^2;x,y)\\&\quad = \frac{1}{2k} {\left\{ \begin{array}{ll} \left( (-1)^{\frac{\beta }{2k}}{\mathcal {X}}_{\frac{\beta }{2k},\frac{1}{2}}(2kx) + \frac{\xi _{\beta ,\frac{1}{2}}^\nu (k) }{\varGamma (\frac{\beta }{2k})\varGamma (1+\frac{\beta }{2k})}{\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2kx) \right) {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2ky), &{} \text{ for } 0<x<y,\\ \left( (-1)^{\frac{\beta }{2k}}{\mathcal {X}}_{\frac{\beta }{2k},\frac{1}{2}}(2ky) + \frac{\xi _{\beta ,\frac{1}{2}}^\nu (k)}{\varGamma (\frac{\beta }{2k})\varGamma (1+\frac{\beta }{2k})} {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2ky) \right) {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2kx), &{} \text{ for } 0<y<x. \end{array}\right. } \end{aligned}$$ -
(iii′)
For\(m = 0\), \(\nu \ne \infty \), and\(\frac{\beta }{2k}-\frac{1}{2} \in {\mathbb{ N}}\), set
$$\begin{aligned} \xi _{\beta ,0}^\nu (k):= -\psi \left( \frac{1}{2} + \frac{ \beta }{ 2 k } \right) - 2\gamma - \ln ( 2 k ) + \nu . \end{aligned}$$Then\(-k^2\not \in \sigma (H_{\beta ,0}^\nu )\) and the integral kernel of\(R_{\beta ,0}^\nu ( - k^2 )\) is given by
$$\begin{aligned}&R_{\beta ,0}^\nu (-k^2;x,y)\\&\quad = \frac{1}{2k} {\left\{ \begin{array}{ll} \left( (-1)^{\frac{\beta }{2k}+\frac{1}{2}}{\mathcal {X}}_{\frac{\beta }{2k},0}(2kx) + \frac{\xi _{\beta ,0}^\nu (k) }{\varGamma (\frac{1}{2}+\frac{\beta }{2k})^2}{\mathcal {K}}_{\frac{\beta }{2k},0}(2kx) \right) {\mathcal {K}}_{\frac{\beta }{2k},0}(2ky), &{} \text{ for } 0<x<y,\\ \left( (-1)^{\frac{\beta }{2k}+\frac{1}{2}}{\mathcal {X}}_{\frac{\beta }{2k},0}(2ky) + \frac{\xi _{\beta ,0}^\nu (k)}{\varGamma (\frac{1}{2}+\frac{\beta }{2k})^2} {\mathcal {K}}_{\frac{\beta }{2k},0}(2ky) \right) {\mathcal {K}}_{\frac{\beta }{2k},0}(2kx), &{} \text{ for } 0<y<x. \end{array}\right. } \end{aligned}$$
Proof
(ii\('\)) is proved similarly as (ii) of Theorem 3.7, by using for \(m = \frac{1}{2}\), \(\nu \ne \infty \) and \(\frac{\beta }{2k} \in {\mathbb{ N}}^\times \) that
This follows from (A.24), (A.20), and (3.5).
(iii\('\)) is proved similarly as (iii) of Theorem 3.7. In particular, using (A.24), (A.21), and (3.6) one verifies that
\(\square \)
3.3 Holomorphic families of closed operators
In this section we show that the families of operators introduced before are holomorphic for suitable values of the parameters. A general definition of a holomorphic family of closed operators can be found in [19], see also [8]. Actually, we will not need its most general definition. For us it is enough to recall this concept in the special case where the operators possess a nonempty resolvent set.
Let \({\mathcal {H}}\) be a complex Banach space. Let \(\{ H( {\mathsf{z}}) \}_{ {\mathsf{z}}\in \varTheta}\) be a family of closed operators on \({\mathcal{ H}}\) with nonempty resolvent set, where \(\varTheta \) is an open subset of \({\mathbb{ C}}^d\). \(\{ H( {\mathsf {z}}) \}_{ {\mathsf {z}}\in \varTheta }\) is called holomorphic on \(\varTheta \) if for any \({\mathsf {z}}_0 \in \varTheta \), there exist \(\lambda \in {\mathbb{ C}}\) and a neighborhood \(\varTheta _0 \subset \varTheta \) of \({\mathsf {z}}_0\) such that, for all \({\mathsf {z}}\in \varTheta _0\), \(\lambda \) belongs to the resolvent set of \(H( {\mathsf {z}})\) and the map \(\varTheta _0 \ni {\mathsf {z}}\mapsto ( H( {\mathsf {z}}) - \lambda )^{-1} \in {\mathcal {B}}( {\mathcal {H}})\) is holomorphic on \(\varTheta _0\). Note that if \(\varTheta _0 \ni {\mathsf {z}}\mapsto ( H( {\mathsf {z}}) - \lambda )^{-1} \in {\mathcal {B}}( {\mathcal{ H}})\) is locally bounded on \(\varTheta _0\) and if there exists a dense subset \({\mathcal {D}}\subset {\mathcal {H}}\) such that, for all \(f , g \in {\mathcal {D}}\), the map \(\varTheta _0 \ni {\mathsf {z}}\mapsto ( f | ( H( {\mathsf{ z}}) - \lambda )^{-1} g )\) is holomorphic on \(\varTheta _0\), then \(\varTheta _0 \ni {\mathsf {z}}\mapsto ( H( {\mathsf {z}}) - \lambda )^{-1} \in {\mathcal {B}}( {\mathcal {H}})\) is holomorphic on \(\varTheta _0\). Besides, by Hartog’s theorem, \({\mathsf {z}}\mapsto ( f | ( H( {\mathsf {z}}) - \lambda )^{-1} g )\) is holomorphic if and only if it is separately analytic in each variable.
This definition naturally generalizes to families of operators defined on \(( {\mathbb{ C}}\cup \{\infty \} )^d\) instead of \({\mathbb{ C}}^d\), recalling that a map \(\varphi : {\mathbb{ C}}\cup \{\infty \} \rightarrow {\mathbb{ C}}\) is called holomorphic in a neighborhood of \(\infty \) if the map \(\psi : {\mathbb{ C}}\rightarrow {\mathbb{ C}}\), defined by \(\psi ( z ) = \phi ( 1 / z )\) if \(z \ne 0\) and \(\psi ( 0 ) = \phi ( \infty )\), is holomorphic in a neighborhood of 0.
Recall that the family \(H_{\beta ,m}\) has been defined on \({\mathbb{ C}}\times \{m \in {\mathbb{ C}}\mid {\mathrm {Re}}(m)>-1\}\) in [7], see also (2.11). However, it is not holomorphic on the whole domain. The following has been proved in [7].
Theorem 3.9
The family of closed operators\((\beta ,m)\mapsto H_{\beta ,m}\) is holomorphic on
However, it cannot be extended by continuity to include the point\(\big (0,-\frac{1}{2}\big )\).
Let us sketch what happens at \(\big (0,-\frac{1}{2}\big )\). Recall that in [2, 6] a holomorphic family \(\big \{m \in {\mathbb{ C}}\mid {\mathrm {Re}}(m)>-1\big \}\ni m\mapsto H_m\) has been introduced, and satisfies \(H_m=H_{0,m}\) for \(m\ne -\frac{1}{2} \). Note also that for any \(\beta \) we have \(H_{\beta ,-\frac{1}{2}}=H_{\beta ,\frac{1}{2}}\). It then turns out that
where these limits have to be understood as weak resolvent limits. Note that in the sequel and in particular in (3.19), (3.20), and (3.21), the limits should be understood in such a sense.
Let us consider now the families of operators involving mixed boundary conditions. To this end, it will be convenient to introduce the notation
Recall that \((\beta ,m,\kappa )\mapsto \{H_{\beta ,m,\kappa }\}\) has been defined on \({\mathbb{ C}}\times \varPi \times ({\mathbb{ C}}\cup \{\infty \})\). However, it is not holomorphic on this whole set:
Theorem 3.10
-
(i)
The family of closed operators \(\{H_{\beta ,m,\kappa }\}\) is holomorphic on \({\mathbb{ C}}\times \varPi \times \big ({\mathbb{ C}}\cup \{\infty \}\big )\) except for
$$\begin{aligned} \big (0,-\tfrac{1}{2}\big ){\times }\big ({\mathbb{ C}}\cup \{\infty \}\big )\,\cup \, \big (0,\tfrac{1}{2}\big ){\times }\big ({\mathbb{ C}}\cup \{\infty \}\big )\,\cup \, {\mathbb{ C}}\times (0,-1). \end{aligned}$$(3.17) -
(ii)
The family of closed operators\(\{H_{\beta ,0}^\nu \}\) is holomorphic on\({\mathbb{ C}}\times \big ({\mathbb{ C}}\cup \{\infty \}\big )\).
-
(iii)
The family of closed operators\(\big \{H_{\beta ,\frac{1}{2}}^\nu \big \}\) is holomorphic on\({\mathbb{ C}}\times \big ({\mathbb{ C}}\cup \{\infty \}\big )\).
Proof
For shortness, let us set
This expression appears in the numerator of (3.10) and plays an important role in the expression (3.14) for the resolvent of \(H_{\beta ,m,\kappa }\).
(i) Let \((\beta _0,m_0,\kappa _0)\) belong to the domain \({\mathbb{ C}}\times \varPi \times \big ({\mathbb{ C}}\cup \{\infty \}\big )\). First assume that \(m_0 \notin \big \{ -\frac{1}{2} , 0 , \frac{1}{2} \big \}\) and that \(\kappa _0 \in {\mathbb{ C}}\). Let \(k \in {\mathbb{ C}}\) with \({\mathrm {Re}}( k ) > 0\) such that \(\eta _{\beta _0,m_0,\kappa _0}(k)\ne 0\), where \(\eta _{\beta ,m,\kappa }(k)\) is defined in (3.18). By continuity of the map \(( \beta , m , \kappa ) \mapsto \eta _{\beta ,m,\kappa }(k)\), there exists a neighborhood \({\mathcal {0}}U_0\) of \(( \beta _0 , m_0 , \kappa _0 )\) such that for all \(( \beta , m , \kappa )\) in this neighborhood, we have \(\eta _{\beta ,m,\kappa }( k ) \ne 0\). Hence, by Theorem 3.7, we infer that \(-k^2 \notin \sigma ( H_{\beta ,m,\kappa } )\), and the resolvent \(( H_{\beta ,m,\kappa } + k^2 )^{-1} \in {\mathcal {B}}\big ( L^2 ( {\mathbb{ R}}_+ ) \big )\) is the operator whose kernel is given by (3.14). It then easily follows from the analyticity properties of the maps \(( \beta , m , \kappa ) \mapsto {\mathcal {I}}_{\frac{\beta }{2k},\pm m}( 2kx )\) and \(( \beta , m , \kappa ) \mapsto {\mathcal {K}}_{\frac{\beta }{2k},m}( 2kx )\) (for fixed \(x > 0\) and k) that, for all \(f , g \in L^2({\mathbb{ R}}_+)\), the map \(( \beta , m , \kappa ) \mapsto ( f | ( H_{\beta ,m,\kappa } + k^2 )^{-1} g )\) is holomorphic on \({\mathcal {U}}_0\). Hence \(\{H_{\beta ,m,\kappa }\}\) is holomorphic on \({\mathcal{ U}}_0\).
If \(m_0 \notin \big \{ -\frac{1}{2} , 0 , \frac{1}{2} \big \}\) and \(\kappa _0 = \infty \), the statement directly follows from the equality \(H_{\beta ,m,\infty } = H_{\beta ,-m,0}\).
Suppose now that \(m_0 = 0\) and that \(\kappa _0 \in {\mathbb{ C}}\setminus \{ - 1 \}\). We extend by continuity the definition of \(\eta _{\beta ,m,\kappa }(k)\) in (3.18) for \(m=0\) by setting
We also choose \(k \in {\mathbb{ C}}\) with \({\mathrm {Re}}( k ) > 0\) such that \(\frac{\beta _0}{2k} -\frac{1}{2} \not \in {\mathbb{ N}}\). This latter requirement implies that \(\eta _{\beta _0,m_0,\kappa _0}( k ) \ne 0\), and by continuity of the map \(( \beta , m , \kappa ) \mapsto \eta _{\beta ,m,\kappa }( k ) \), there exists a neighborhood \({\mathcal {U}}_0\) of \(( \beta _0 , 0 , \kappa _0 )\) such that for all \(( \beta , m , \kappa )\) in this neighborhood, \(\eta _{\beta ,m,\kappa }( k ) \ne 0\). In particular, by Theorem 3.7, one verifies that, for all \(f , g \in L^2({\mathbb{ R}}_+)\), the map \(( \beta , m , \kappa ) \mapsto ( f | ( H_{\beta ,m,\kappa } + k^2 )^{-1} g )\) is well-defined and holomorphic on \({\mathcal {U}}_0\) provided that (3.14) is extended to \({\mathcal {U}}_0 \cap \{ (\beta ,0,\kappa ) \mid \beta \in {\mathbb{ C}}, \kappa \in {\mathbb{ C}}\}\) by
Note that this corresponds to the integral kernel of \((H_{\beta ,0,0} + k^2 )^{-1} = (H_{\beta ,0}^\infty +k^2)^{-1}\). This shows that \(\{H_{\beta ,m,\kappa }\}\) is holomorphic on \({\mathcal {U}}_0\) (provided that \({\mathcal {U}}_0\) is chosen small enough so that \((\beta ,0,-1)\not \in {\mathcal {U}}_0\)).
If \(m_0 = 0\) and \(\kappa _0 = \infty \), the argument is similar once it is observed that
It remains to consider the cases \(m_0 = \pm \frac{1}{2}\) and \(\beta _0 \ne 0\). Assume for instance that \(m_0 = - \frac{1}{2}\), \(\beta _0 \ne 0\), and \(\kappa _0 \in {\mathbb{ C}}\). We extend by continuity the definition of \(\eta _{\beta ,m,\kappa }(k)\) in (3.18) for \(m=-\frac{1}{2}\) by setting
We also choose \(k \in {\mathbb{ C}}\) with \({\mathrm {Re}}( k ) > 0\) such that \(\frac{\beta _0}{2k} \notin {\mathbb{ N}}\). Then we have \(\eta _{\beta _0, -\frac{1}{2} , \kappa _0 } (k) \ne 0\), and by continuity of \(( \beta , m , \kappa ) \mapsto \eta _{\beta ,m,\kappa }( k ) \) there exists a neighborhood \({\mathcal {U}}_0\) of \(( \beta _0 , -\frac{1}{2} , \kappa _0 )\) such that \(\eta _{\beta ,m,\kappa }(k) \ne 0\) for all \(( \beta , m , \kappa )\) in \({\mathcal {U}}_0\). By Theorem 3.7, one then verifies that for all \(f , g \in L^2({\mathbb{ R}}_+)\), the map \(( \beta , m , \kappa ) \mapsto ( f | ( H_{\beta ,m,\kappa } + k^2 )^{-1} g )\) is well-defined and holomorphic on \({\mathcal {U}}_0\) provided that (3.14) is extended to \({\mathcal {U}}_0 \cap \big \{\big (\beta ,-\frac{1}{2},\kappa \big ) \mid \beta \in {\mathbb{ C}}, \kappa \in {\mathbb{ C}}\big \}\) by
Note that this corresponds to the integral kernel of \(\big (H_{\beta ,\frac{1}{2},0} + k^2 \big )^{-1}=\big (H_{\beta ,\frac{1}{2}}^\infty +k^2\big )^{-1}\). This shows that \(\{H_{\beta ,m,\kappa }\}\) is holomorphic on \({\mathcal {U}}_0\). The argument easily adapts to the case \(m_0 = \frac{1}{2}\) and \(\beta _0 \ne 0\).
As before, if \(m_0=\pm \frac{1}{2}\), \(\beta _0 \ne 0\), and \(\kappa _0 = \infty \), the statement follows from the equalities
The second part of the statement (i) follows directly from [7, Thm. 3.5]. To prove (ii) and (iii), the argument is analogous and simpler: it suffices to use the formulas (3.15) to prove (ii) and (3.16) to prove (iii). \(\square \)
The following statement shows that the domains of holomorphy obtained in Theorem 3.10 are maximal for \(m\in \varPi \). In particular, we will prove that (3.17) are sets of non-removable singularities of the family \((\beta ,m,\kappa )\mapsto \{H_{\beta ,m,\kappa }\}\).
Proposition 3.11
-
(i)
For any fixed\(\kappa \in {\mathbb{ C}}^\times \), the family of closed operators\((\beta ,m)\mapsto H_{\beta ,m,\kappa }\) defined on\({\mathbb{ C}}\times \varPi \setminus \{ (0,-\frac{1}{2} ) , (0,\frac{1}{2}) \}\) cannot be extended by continuity at\(( 0 , -\frac{1}{2} )\) and\(( 0 , \frac{1}{2} )\). If\(\kappa = 0\), the family\((\beta ,m)\mapsto H_{\beta ,m,0}\) defined on\({\mathbb{ C}}\times \varPi \setminus \{ (0,-\frac{1}{2} ) \}\) cannot be extended by continuity at\(( 0 , -\frac{1}{2} )\), and for\(\kappa = \infty \) the family\((\beta ,m)\mapsto H_{\beta ,m,\infty }\) defined on\({\mathbb{ C}}\times \varPi \setminus \{ (0,\frac{1}{2} ) \}\) cannot be extended by continuity at\(( 0 , \frac{1}{2} )\).
-
(ii)
For any fixed\(\beta \in {\mathbb{ C}}\), the family\((m,\kappa )\mapsto H_{\beta ,m,\kappa }\) defined on\(\varPi \times \big ({\mathbb{ C}}\cup \{\infty \}\big ) \setminus \{ (0,-1 ) \}\) cannot be extended by continuity at\(( 0 , -1 )\).
Proof
(i) Let us first consider \(\beta =0\). Recall that in [6] the family of closed operators \(\varPi \times ({\mathbb{ C}}\cup \{\infty \})\ni (m,\kappa )\mapsto H_{m,\kappa }\) has been introduced, and that this family is holomorphic on \(\varPi \times ({\mathbb{ C}}\cup \{\infty \})\setminus \{0\}\times ({\mathbb{ C}}\cup \{\infty \})\). Here is its relationship to the families from the present article:
Let us now focus on \(m=-\frac{1}{2}\) and on \(m=\frac{1}{2}\). We have for any \(\kappa \in {\mathbb{ C}}\cup \{\infty \}\)
Therefore, for \(\kappa \ne 0\),
Similarly, for \(\kappa \ne \infty \),
This proves (i) when \(\kappa \not \in \{0,\infty \}\). The proof in these special cases is similar.
(ii) Let us first consider a fixed parameter \(\beta \in {\mathbb{ C}}\) and \(m=0\). By definition we have
independently of \(\kappa \in {\mathbb{ C}}\cup \{\infty \}\). We now consider a fixed parameter \(\beta \in {\mathbb{ C}}\) and \(\kappa =-1\). Choosing \(k \in {\mathbb{ C}}\) with \({\mathrm {Re}}( k ) > 0\) such that \(\frac{\beta }{2k}-\frac{1}{2}\not \in {\mathbb{ N}}\), it follows from (3.14) that for any \(m\ne 0\) in a complex neighborhood of 0, the integral kernel of the resolvent of \(H_{\beta ,m,-1}\) is given by
where \(\eta _{\beta ,m,-1}(k)\) is defined in (3.18). One then infers that
By using this expression, one can verify that the map \(m\mapsto g_{\beta ,k,x}(m)\), defined in a punctured complex neighborhood of 0, can be analytically extended at 0 with
Thus, the family of operators \(\{{\tilde{H}}_{\beta ,m,-1}\}\) defined by
is holomorphic for \(m\in \varPi \). It thus follows that
which concludes the proof. \(\square \)
3.4 Blowing up the singularities at \(m=0\) and at \(m=\pm \frac{1}{2}\)
As presented above, the boundary conditions for \(m=0\) and \(m=\pm \frac{1}{2}\) are described by separate holomorphic families of operators \(H_{\beta ,0}^\nu \) and \(H_{\beta ,\frac{1}{2}}^\nu \). One can however view these exceptional families as limiting cases of the generic family \(H_{\beta ,m,\kappa }\). What is more, after an appropriate change of parameters near the points \(m=0\) and \(m=\pm \frac{1}{2}\) one can holomorphically pass from the generic family to the exceptional families. Such a procedure is referred to as blowing up a singularity.
More precisely, let us define two new families of operators:
Thus \(H_{\beta ,m}^{(0),\nu }\) includes both \(H_{\beta ,0}^{\nu }\) and \( H_{\beta ,m,\kappa }\), and \(H_{\beta ,m}^{(\frac{1}{2}),\nu }\) includes both \(H_{\beta ,\frac{1}{2}}^{\nu }\) and \( H_{\beta ,m,\kappa }\).
Theorem 3.12
-
(i)
The family \(\{H_{\beta ,m}^{(0),\nu }\}\) is holomorphic on \({\mathbb{ C}}\times \varPi \times \big ({\mathbb{ C}}\cup \{\infty \}\big )\) except for
$$\begin{aligned} \big (0,-\tfrac{1}{2}\big ){\times }\big ({\mathbb{ C}}\cup \{\infty \}\big )\,\cup \, \big (0,\tfrac{1}{2}\big ){\times }\big ({\mathbb{ C}}\cup \{\infty \}\big ). \end{aligned}$$ -
(ii)
The family \(\{H_{\beta ,m}^{(\frac{1}{2}),\nu }\}\) is holomorphic on \({\mathbb{ C}}\times \varPi \times \big ({\mathbb{ C}}\cup \{\infty \}\big )\) except for
$$\begin{aligned} \big (0,-\tfrac{1}{2}\big ){\times }\big ({\mathbb{ C}}\cup \{\infty \}\big )\,\cup \, \{(\beta ,0,-1-\beta )\ \mid \ \beta \in {\mathbb{ C}}\}. \end{aligned}$$
Proof
For any fixed \(m\in \varPi \), Theorem 3.10 shows that \((\beta ,\nu ) \mapsto H_{\beta ,m}^{(0),\nu }\) is holomorphic on \({\mathbb{ C}}\times ({\mathbb{ C}}\cup \{\infty \})\) if \(m\ne \pm \frac{1}{2}\) and on \(({\mathbb{ C}}\setminus \{0\}) \times ({\mathbb{ C}}\cup \{\infty \})\) if \(m=\pm \frac{1}{2}\). Likewise, \((\beta ,\nu ) \mapsto H_{\beta ,m}^{(\frac{1}{2}),\nu }\) is holomorphic in \({\mathbb{ C}}\times ({\mathbb{ C}}\cup \{\infty \})\) if \(m\not \in \big \{-\frac{1}{2},0\big \}\), on \({\mathbb{ C}}\times ({\mathbb{ C}}\cup \{\infty \}) \setminus \{ \beta , 1 - \beta \, | \, \beta \in {\mathbb{ C}}\}\) if \(m=0\), and on \(({\mathbb{ C}}\setminus \{0\}) \times ({\mathbb{ C}}\cup \{\infty \})\) if \(m=-\frac{1}{2}\). It remains to study holomorphy in m for fixed \((\beta ,\nu )\).
Recall that in Theorem 3.7 we introduced the functions \(\omega _{\beta ,m,\kappa }(k)\), \(\omega _{\beta ,0}^\nu (k)\), and \(\omega _{\beta ,\frac{1}{2}}^\nu (k)\). Let us now define two more functions
Clearly, by Theorem 3.7 one has
and
Let us show that, for fixed \((\beta ,\nu )\) such that \(\frac{\beta }{2k}-\frac{1}{2}\not \in {\mathbb{ N}}\), the map
is holomorphic for m near 0. It is clearly holomorphic in a punctured neighborhood of 0. Hence it suffices to show that it is continuous at \(m=0\). Recall from (3.10) that
Then, by inserting \(\kappa =\kappa ^{(0)}(m,\nu )\) for \(m\ne 0\) into (3.25) we obtain
Thus (3.24) is holomorphic for m near 0.
Similarly, let us show that, for fixed \((\beta ,\nu )\) such that \(\frac{\beta }{2k}\not \in {\mathbb{ N}}\), the map
is holomorphic for m near \(\frac{1}{2}\). By inserting \(\kappa =\kappa ^{(\frac{1}{2})}(\beta ,m,\nu )\) for \(m\ne \frac{1}{2}\) into (3.25) we obtain
which proves that (3.26) is holomorphic for m near \(\frac{1}{2}\).
The remaining restrictions on the domain of holomorphy are inferred directly from Theorem 3.10. \(\square \)
3.5 Eigenprojections
Let us now describe a family of projections \(\{P_{\beta ,m}(\lambda )\}\) which is closely related to the Whittaker operator. We will define it by specifying its integral kernel.
We first introduce a holomorphic function for \(m\not \in \{-\frac{1}{2},0,\frac{1}{2}\}\) by
One easily observes that \(\zeta _{\beta ,m}(k)= \zeta _{\beta ,-m}(k)\). We can extend this function continuously to \(m\in \{-\frac{1}{2},0,\frac{1}{2}\}\) by
We now consider \(\lambda \in {\mathbb{ C}}\backslash [0,\infty [\), and as usual we write \(\lambda =-k^2\) with \({\mathrm {Re}}(k)>0\). We then define the integral kernel \(P_{\beta ,m}(\lambda ;x,y)\):
The definition (3.27) naturally extends to \(\lambda \in ]0,\infty [\), where we distinguish between points coming from the upper and lower half-plane by writing \(\lambda \pm {\mathrm {i}}0=-(\mp {\mathrm {i}}\mu )^2\) with \(\mu >0\). Thus, let us set \(k=\mp {\mathrm {i}}\mu \) and
which can be naturally extended to \(m\in \{-\frac{1}{2},0,\frac{1}{2}\}\) by
For \(k=\mp {\mathrm {i}}\mu \) we can then rewrite (3.27) as
Finally, to handle \(\lambda =0\) we shall use the function \(\frac{ \sin (2\pi m)}{m(4m^2-1) }\) extended to \(\{-\frac{1}{2},0,\frac{1}{2}\}\) by
We set, for \(\pm {\mathrm {Im}}(\sqrt{\beta } ) > 0\),
The integral kernel \(P_{\beta ,m}(-k^2;x,y)\) defines an operator-valued map \((\beta ,m,k)\mapsto P_{\beta ,m}(-k^2)\) described in the following proposition.
Proposition 3.13
On the set
the function\((\beta ,m,k)\mapsto P_{\beta ,m}(-k^2)\) has values in bounded projections. Moreover, it is continuous on
and holomorphic on\({\mathbb{ C}}\times \varPi \times \{{\mathrm {Re}}(k)>0\}\). It satisfies
for all\((\beta ,m,k)\)in the set (3.28).
Proof
The fact that \(P_{\beta ,m}(-k^2)\) are rank-one projections follows directly from their expressions together with Corollaries A.3 and A.5 and Proposition B.5. Continuity on the domain (3.29) and holomorphy on \({\mathbb{ C}}\times \varPi \times \{{\mathrm {Re}}(k)>0\}\), as well as the relations (3.30)–(3.32), follow again from the expressions involved in the definitions of \(P_{\beta ,m}(-k^2)\). \(\square \)
We recall from Proposition 2.5 that the operators \(H_{\beta ,m,\kappa }\), \(H_{\beta ,0}^\nu \) and \(H_{\beta ,\frac{1}{2}}^\nu \) are self-transposed. Moreover, it follows from Theorem 3.1 and its proof that all eigenvalues of these operators are simple. If \(\lambda \) is a simple eigenvalue of a self-transposed operator H associated to an eigenvector u such that \(\langle u | u \rangle = 1\), we define the self-transposed eigenprojection associated to \(\lambda \) as
In the case where \(\lambda \) is in addition an isolated point of the spectrum, it is then easy to see that the self-transposed eigenprojection P coincides with the usual Riesz projection corresponding to \(\lambda \).
Theorem 3.14
Let\(\beta \in {\mathbb{ C}}\), \(m\in \varPi \setminus \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\), \(\kappa \in {\mathbb{ C}}\cup \{ \infty \}\) and\(\nu \in {\mathbb{ C}}\cup \{ \infty \}\). Let\(\lambda \in {\mathbb{ C}}\) be an eigenvalue of\(H_{\beta ,m,\kappa }\), \(H_{\beta ,0}^\nu \) or\(H_{\beta ,\frac{1}{2}}^\nu \) respectively. Then the self-transposed eigenprojection is\(P_{\beta ,m}(\lambda )\) for the corresponding value ofm.
Proof
We prove the theorem in the case where \(\lambda = -k^2\) with \({\mathrm {Re}}(k)>0\) and \(m \notin \big \{ -\frac{1}{2} , 0 , \frac{1}{2} \big \}\). The other cases are similar.
From the proof of Theorem 3.1, we know that if \(\lambda \) is an eigenvalue of \(H_{\beta ,m,\kappa }\), then a corresponding eigenstate is given by \(x \mapsto {\mathcal {K}}_{\frac{\beta }{2k},m}(2kx)\). Corollary A.3 shows that
This proves that \(P_{\beta ,m}(-k^2)\) is the self-transposed eigenprojection corresponding to \(\lambda \), as claimed. \(\square \)
The point \(k=0\) is rather special for the family \(P_{\beta ,m}( - k^2 )\), as shown in next proposition.
Proposition 3.15
Let\(m \in \varPi \) and\(\beta \in {\mathbb{ C}}\) such that\(\pm {\mathrm {Im}}( \sqrt{\beta } ) > 0\). Then the map\(k \mapsto P_{\beta ,m}( - k^2 )\) is not continuous at\(k=0\).
Proof
We consider the case where \(m \notin \{ -\frac{1}{2} , 0 , \frac{1}{2} \}\). The other cases are similar.
First, we claim that for all continuous and compactly supported function f,
where \(k\in {\mathbb{ C}}\) is chosen such that \({\mathrm {Re}}(k)>0\) and \(\pm \big (\arg (\beta )-\arg (k)\big )\in ]\varepsilon , \pi -\varepsilon [\) with \(\varepsilon > 0\). To shorten the expressions below, we set in this proof
and
We show that \(g_{\beta ,m,k}\) is uniformly bounded, for k satisfying the conditions above, by a locally integrable function. From the definition (A.3) of \({\mathcal {I}}_{\beta ,m}\) and proceeding as in the proof of Proposition B.2, we obtain that, for \(k\in {\mathbb{ C}}\) such that \({\mathrm {Re}}(k)>0\), \(|k|<1\), and \(\pm \big (\arg (\beta )-\arg (k)\big )\in ]\varepsilon , \pi -\varepsilon [\) with \(\varepsilon > 0\),
for some constant \(c>0\) depending on \(\beta \) and m but independent of k and x. Using that
together with Lemma B.3, one then deduces that
for some positive constants \(c_1\), \(c_2\) independent of k and x.
The previous bound together with the dominated convergence theorem and Proposition B.2 show that
for all continuous and compactly supported function f, and for k satisfying the conditions exhibited above. We then have that
where we used Lemma B.7 in the third equality.
Now, we claim that \(P_{\beta ,m}(-k^2)\) is not continuous at \(k=0\) for the strong operator topology. Indeed, using that \(P_{\beta ,m}(-k^2)\) is a self-transposed projection, we infer that, for f continuous and compactly supported,
A similar computation as above gives
since \(\lim \limits _{k\rightarrow 0}\langle g_{\beta ,m,k} | g_{\beta ,m,0} \rangle =0\) by Remark B.6, while the other terms converge. Therefore,
for suitably chosen compactly supported functions f. This proves that \(P_{\beta ,m}(-k^2)\) is not continuous at \(k=0\). \(\square \)
References
Abramowitz, M., Stegun, I.: Handbook of mathematical functions with formulas, graphs, and mathematical tables, National Bureau of Standards Applied Mathematics Series, vol. 55, Washington D.C. (1964)
Bruneau, L., Dereziński, J., Georgescu, V.: Homogeneous Schrödinger operators on half-line. Ann. Henri Poincaré 12(3), 547–590 (2011)
Buchholz, H.: The Confluent Hypergeometric Function with Special Emphasis on its Applications, Springer Tracts in Natural Philosophy, vol. 15. Springer, New York (1969)
Bulla, W., Gesztesy, F.: Deficiency indices and singular boundary conditions in quantum mechanics. J. Math. Phys. 26(10), 2520–2528 (1985)
Dereziński, J., Georgescu, V.: One-dimensional Schrödinger operators with complex potentials. Ann. Henri Poincaré 21, 1947–2008 (2020)
Dereziński, J., Richard, S.: On Schrödinger operators with inverse square potentials on the half-line. Ann. Henri Poincaré 18(3), 869–928 (2017)
Dereziński, J., Richard, S.: On radial Schroedinger operators with a Coulomb potential. Ann. Henri Poincaré 19, 2869–2917 (2018)
Dereziński, J., Wrochna, M.: Continuous and holomorphic functions with values in closed operators. J. Math. Phys. 55, 083512 (2014)
Dollard, J.D.: Asymptotic convergence and the Coulomb interaction. J. Math. Phys. 5, 729–738 (1964)
Fischer, W., Leschke, H., Müller, P.: Comment on ‘On the Coulomb potential in one dimension’ by P Kurasov. J. Phys. A Math. Gen. 30, 5579–5581 (1997)
Fulton, C., Langer, H.: Sturm–Liouville operators with singularities and generalized Nevanlinna functions. Complex Anal. Oper. Theory 14, 179–243 (2010)
Gaspard, D.: Connection formulas between Coulomb wave functions. J. Math. Phys. 59, 112104 (2018)
Gesztesy, F.: On the one-dimensional Coulomb Hamiltonian. J. Phys. A 13(3), 867–875 (1980)
Gesztesy, F., Plessas, W., Thaller, B.: On the high-energy behaviour of scattering phase shifts for Coulomb-like potentials. J. Phys. A 13(8), 2659–2671 (1980)
Gitman, D.M., Tyutin, I.V., Voronov, B.L.: Self-adjoint extensions in quantum mechanics. General theory and applications to Schrödinger and Dirac equations with singular potentials, Progress in Mathematical Physics, vol. 62. Birkhäuser/Springer, New York (2012)
Guillot, J.C.: Perturbation of the Laplacian by Coulomb like potentials. Indiana Univ. Math. J. 25(12), 1105–1126 (1976)
Herbst, I.W.: On the connectedness structure of the Coulomb S-matrix. Commun. Math. Phys. 35, 181–191 (1974)
Humblet, J.: Analytical structure and properties of Coulomb wave functions for real and complex energies. Ann. Phys. 155(2), 461–493 (1984)
Kato, T.: Perturbation Theory for Linear Operators, Classics in Mathematics. Springer, Berlin (1995)
Kostenko, A., Teschl, G.: On the singular Weyl–Titchmarsh function of perturbed spherical Schrödinger operators. J. Differ. Equ. 250, 3701–3739 (2011)
Kurasov, P.: On the Coulomb potential in one dimension. J. Phys. A Math. Gen. 29, 1767–1771 (1996)
Kurasov, P.: Response to “Comment on ‘On the Coulomb potential in one dimension”’ by W. Fischer, H. Leschke and P. Müller. J. Phys. A Math. Gen. 30, 5583–5589 (1997)
Kurasov, P., Luger, A.M.: An operator theoretic interpretation of the generalized Titchmarsh–Weyl coefficient for a singular Sturm–Liouville problem. Math. Phys. Anal. Geom. 14, 115–151 (2011)
Marchesin, D., O’Carroll, M.L.: Time-dependent and time-independent potential scattering for asymptotically Coulomb potentials. J. Math. Phys. 13, 982–990 (1972)
Michel, N.: Direct demonstration of the completeness of the eigenstates of the Schrödinger equation with local and nonlocal potentials bearing a Coulomb tail. J. Math. Phys. 49(2), 022109 (2008)
Mukunda, N.: Completeness of the Coulomb wave functions in quantum mechanics. Am. J. Phys. 46, 910–913 (1978)
Mulherin, D., Zinnes, I.I.: Coulomb scattering. I. Single channel. J. Math. Phys. 11, 1402–1408 (1970)
Seaton, M.J.: Coulomb functions for attractive and repulsive potentials and for positive and negative energies. Comput. Phys. Commun. 146(2), 225–249 (2002)
Slater, L.J.: Confluent Hypergeometric Function. Cambridge University Press, Cambridge (1960)
Smirnov, A.G.: Eigenfunction expansions for the Schrödinger equation with inverse-square potential. Theor. Math. Phys. 187(2), 762–781 (2016)
Smirnov, A.G.: Coupling constant dependence for the Schrödinger equation with an inverse-square potential (preprint). arXiv:2001.06128
Whittaker, E.T.: An expression of certain known functions as generalized hypergeometric functions. Bull. Am. Math. Soc. 10, 125–134 (1903)
Website: http://functions.wolfram.com/Bessel-TypeFunctions/BesselK/21/02/02/
Acknowledgements
S. R. was supported by the grant Topological invariants through scattering theory and noncommutative geometry from Nagoya University, and by JSPS Grant-in-Aid for scientific research (C) no 18K03328.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Julio Rossi.
This paper is dedicated to Prof. Franciszek Hugon Szafraniec.
Serge Richard: leave of absence from Univ. Lyon, Université Claude Bernard Lyon 1, CNRS UMR 5208, Institut Camille Jordan, 43 blvd. du 11 novembre 1918, F-69622 Villeurbanne cedex, France.
Appendices
A The Whittaker equation
1.1 A.1 General theory
In this section we collect basic information about the Whittaker equation. This should be considered as a supplement to [7, Sec. 2].
The Whittaker equation is represented by the equation
We observe that the equation does not change when we replace m with \(-m\). It has also another symmetry:
Solutions of (A.1) are provided by the functions \(z \mapsto {\mathcal {I}}_{\beta ,\pm m}(z)\) which are defined by
where \((a)_k:=a(a+1)\cdots (a+k-1)\) and \((a)_0=1\) are the usual Pochhammer’s symbols and \({}_1F_1\) is Kummer’s confluent hypergeometric function. For \({\mathrm {Re}}(m)>-\frac{1}{2}\) and \({\mathrm {Re}}\big (m\mp \beta +\frac{1}{2}\big )>0\) the function \({\mathcal {I}}_{\beta ,m}\) has also an integral representation given by
Based on (A.3) one easily gets
as well as the following identity
Another solution of (A.1) is provided by the function \(z \mapsto {\mathcal{ K}}_{\beta ,m}(z)\). For \(m\not \in \frac{1}{2}{\mathbb{ Z}}\) it can be defined by the following relation:
For the remaining m we can extend the definition of \({\mathcal{ K}}_{\beta ,m}\) by continuity, see Sect. A.3. Note that \({\mathcal {K}}_{\beta ,-m}={\mathcal {K}}_{\beta ,m}\), and that the function \({\mathcal {K}}_{\beta ,m}\) can also be expressed in terms of the function \({}_2F_0\), namely:
An alternative definition of \({\mathcal {K}}_{\beta ,m}\) can be provided by an integral representation valid for \({\mathrm {Re}}\big (-\beta \mp m+\frac{1}{2}\big )>0\) and \({\mathrm {Re}}(z)>0\):
Note that the function \({\mathcal{ K}}_{\beta ,m}\) decays exponentially for large \({\mathrm {Re}}(z)\), more precisely, if \(\varepsilon >0\) and \({\left| \arg (z) \right| }<\frac{3}{2}\pi -\varepsilon \), then one has
By using the relation (A.6) one also obtains that
We would like to treat \({\mathcal {I}}_{\beta ,m}\), \({\mathcal {I}}_{\beta ,-m}\) and \({\mathcal {K}}_{\beta , m}\) as the principal solutions of the Whittaker equation (A.1). There are however cases for which this is not sufficient. Therefore, we introduce below a fourth solution, which we denote by \({\mathcal {X}}_{\beta ,m}\). To the best of our knowledge, this function has never appeared elsewhere in the literature.
The function \({\mathcal {K}}_{\beta ,m}\) is distinguished by the fact that it decays exponentially, while the solutions \({\mathcal {I}}_{\beta ,\pm m}(z)\) explode exponentially, see [7, Eq. (2.14) and (2.22)]. This is also the case for the analytic continuations of \({\mathcal {K}}_{-\beta ,m}\) by the angles \(\pm \pi \), which by the symmetry (A.2) are also solutions of (A.1). It will be convenient to introduce a name for a solution constructed from these two analytic continuations. There is some arbitrariness for this choice, but we have decided on:
As a consequence of this definition and of (A.5) one gets the relations
and
In addition, by using the equalities
one infers from (A.6) and (A.10) that
which finally leads to the relation
By taking formulas (A.6), (A.10), and (A.11) into account, one infers that the Wronskian is provided by
Hence for \(m+\beta \in {\mathbb{ Z}}\) the solutions \({\mathcal {K}}_{\beta ,m}\) and \({\mathcal {X}}_{\beta ,m}\) are proportional to one another. In fact, for such \(\beta ,m\), we have
Note that this corresponds to the lines \(m+\beta =n\in {\mathbb{ Z}}\). However in our applications, we need \({\mathcal {X}}_{\beta ,m}\) on the lines \(m+\beta -\frac{1}{2}=n\in {\mathbb{ Z}}\), where \({\mathcal {K}}_{\beta ,m}\) and \({\mathcal {X}}_{\beta ,m}\) are linearly independent.
1.2 A.2 The Laguerre cases
Let us now consider two special cases, namely when \(- \frac{1}{2}-m+\beta : = n\in {\mathbb{ N}}\) and when \(- \frac{1}{2}-m-\beta : = n\in {\mathbb{ N}}\). In the former case, observe that the Wronskian of \({\mathcal {I}}_{\beta ,m}\) and \({\mathcal {K}}_{\beta ,m}\) vanishes, see (A.8). It means that in such a case these two functions are proportional to one another. In order to deal with this situation we define, for \(p\in {\mathbb{ C}}\) and \(n\in {\mathbb{ N}}\), the Laguerre polynomials by the formulas
Then, by setting \(2m=p\), we get
Note that this solution can also be expressed in terms of the \({\mathcal {K}}_{\beta ,m}\) function, namely
We shall call this situation the decaying Laguerre case. In this case the relation (A.12) reduces to
and more generally for \(\ell \in {\mathbb{ Z}}\) one has
In the special case \(- \frac{1}{2}-m-\beta : = n\in {\mathbb{ N}}\) a similar analysis with \(p=2m\) leads to
and to
We shall call this situation the exploding Laguerre case. In this case the relation (A.12) reduces to
and more generally for \(\ell \in {\mathbb{ Z}}\) one has
1.3 A.3 The degenerate case
In this section we consider the special case \(m\in \frac{1}{2}{\mathbb{ Z}}\), which will be called the degenerate case, see Fig. 1. In this situation the Wronskian of \({\mathcal {I}}_{\beta ,m}\) and \({\mathcal {I}}_{\beta ,-m}\) vanishes, see (A.4). More precisely, for any \(p\in {\mathbb{ N}}\) one has the identity
or equivalently,
Based on this equality and by a limiting procedure, one can provide an expression for the functions \({\mathcal {K}}_{\beta ,\frac{p}{2}}\) (see [7, Thm. 2.2]), namely
where \(\psi \) is the digamma function defined by \(\psi (z)=\frac{\varGamma '(z)}{\varGamma (z)}\). Note that the equality (or definition) \((a)_j=\frac{\varGamma (a+j)}{\varGamma (a)}\) has also been used for arbitrary \(j\in {\mathbb{ Z}}\). For our applications the most important functions correspond to \(m=\frac{1}{2}\) and \(m=0\):
Let us still provide the expression for the function \({\mathcal {X}}_{\beta , \frac{p}{2}}\). Starting from its definition in (A.9) and by using the expansion (A.17) as well as the identity provided in (A.5) one gets
In particular, the expansions for \(m=\frac{1}{2}\) and \(m=0\) will be useful:
Note also that the following identity holds:
as a consequence of (A.9).
1.4 A.4 The doubly degenerate case
We shall now consider the region
In other words, we consider \(m\in {\mathbb{ Z}}\), \(\beta \in {\mathbb{ Z}}+ \frac{1}{2}\), or \(m\in {\mathbb{ Z}}+\frac{1}{2}\), \(\beta \in {\mathbb{ Z}}\). This situation will be called the doubly degenerate case. We will again set \(m=\frac{p}{2}\) with \(p\in {\mathbb{ Z}}\). Note that for \((m,\beta )\) in (A.22) we have the identity
which is a special case of (A.12). In this case we also have
Hence \({\mathcal {K}}_{\beta ,m}\) and \({\mathcal {X}}_{\beta ,m}\) always span the space of solutions in the doubly degenerate case.
In order to analyze the doubly degenerate case more precisely, let us divide (A.22) into 4 distinct regions (see Fig. 2).
Region \({\mathrm {I}}_-\). \(\beta +m\in -\big ({\mathbb{ N}}+\frac{1}{2}\big ),\quad -\beta +m\in -\big ({\mathbb{ N}}+\frac{1}{2}\big ).\)
We have
which follows for example from (A.23). By setting \(n_1:=\beta -m-\frac{1}{2}\in {\mathbb{ N}}\) and \(n_2=-\beta -m-\frac{1}{2}\in {\mathbb{ N}}\), then \({\mathcal {K}}_{\beta ,m}={\mathcal {K}}_{\frac{1+p}{2}+n_1,\frac{p}{2}}\) is the decaying Laguerre solution, see (A.13), and \({\mathcal {X}}_{\beta ,m}={\mathcal {X}}_{-\frac{1+p}{2}-n_2,\frac{p}{2}}\) is the exploding Laguerre solution, see (A.15).
Region \({\mathrm {I}}_+\). \(\beta +m\in {\mathbb{ N}}+\frac{1}{2},\quad -\beta +m\in {\mathbb{ N}}+\frac{1}{2}.\)
First note that \((m,\beta )\in {\mathrm {I}}_-\) if and only if \((-m,\beta )\in {\mathrm {I}}_+\). By setting \(n_1:=\beta +m-\frac{1}{2}\in {\mathbb{ N}}\) and \(n_2:=-\beta +m-\frac{1}{2}\in {\mathbb{ N}}\), one has \(\beta =\frac{n_1-n_2}{2}\), \(m=\frac{n_1+n_2+1}{2}\), and the equality (A.23) can be rewritten as
Note then that \({\mathcal {K}}_{\beta ,m}={\mathcal {K}}_{\frac{1-p}{2}+n_1,\frac{p}{2}}={\mathcal {K}}_{\frac{1-p}{2}+n_1,\frac{-p}{2}}\) corresponds to the decaying Laguerre solution, while \({\mathcal {X}}_{\beta ,m}={\mathcal {X}}_{-\frac{1-p}{2}-n_2,\frac{p}{2}} =(-1)^p{\mathcal {X}}_{-\frac{1-p}{2}-n_2,-\frac{p}{2}} =(-1)^p{\mathcal {X}}_{-\frac{1-p}{2}-n_2,\frac{-p}{2}}\) corresponds to the exploding Laguerre solution. In this region, the space of solutions can also be spanned by the pair \({\mathcal {K}}_{\beta ,m}\) and \({\mathcal {I}}_{\beta ,m}\), or by the pair \({\mathcal {I}}_{\beta ,m}\) and \({\mathcal {X}}_{\beta ,m}\).
Region \({\mathrm {II}}_-\). \(\beta +m\in -\big ( {{\mathbb{ N}}}+\frac{1}{2}\big ),\quad -\beta +m\in {{\mathbb{ N}}}+\frac{1}{2}.\)
By setting \(n:=-\beta -m-\frac{1}{2}\in {\mathbb{ N}}\), then the equality (A.16) reduces to
Thus \({\mathcal {I}}_{\beta ,m}\) is proportional to \({\mathcal {X}}_{\beta ,m}\) and corresponds to the exploding Laguerre case. The second solution is \({\mathcal {K}}_{\beta ,m}\). It decays exponentially and has a logarithmic singularity at zero, therefore we call this function the decaying logarithmic solution.
Region \({\mathrm {II}}_+\). \(\beta +m\in {\mathbb{ N}}+\frac{1}{2},\quad -\beta +m\in -\big ({\mathbb{ N}}+\frac{1}{2}\big ).\)
By setting \(n:=\beta -m-\frac{1}{2}\in {\mathbb{ N}}\), then the equality (A.14) reduces to
Thus \({\mathcal {I}}_{\beta ,m}\) is proportional to \({\mathcal {K}}_{\beta ,m}\) and corresponds to the decaying Laguerre case. The second solution is \({\mathcal {X}}_{\beta ,m}\). It explodes exponentially and has a logarithmic singularity at zero, therefore we call this function the exploding logarithmic solution.
The results of this section are summarized in Fig. 2.
1.5 A.5 Recurrence relations
Solutions of the Whittaker equation satisfy interesting recurrence relations. These relations can be checked by using the series provided in (A.3). The computations are straightforward, but rather lengthy. These relations read
By using the relation between the functions \({\mathcal {K}}_{\beta ,m}\) and the functions \({\mathcal {I}}_{\beta ,m}\) provided in (A.6), one infers from the above relations the following ones:
1.6 A.6 Integral identities
Let us start with a general fact about 1-dimensional Schrödinger operators, see for example [5, Eq. (3.24)].
Lemma A.1
For\(i\in \{1,2\}\), suppose that\(v_i\in {\mathcal {D}}(L_{\beta ,\alpha }^{\mathrm {max}})\) satisfies\(L_{\beta ,\alpha } v_i=\lambda _i v_i\) for some\(\lambda _i\in {\mathbb{ C}}\). Then, for all\(a,b \in ]0,\infty [\),
where\({\mathscr {W}}\) is the Wronskian introduced in (2.1).
As a consequence of this lemma one has:
Proposition A.2
Let\(k,p\in {\mathbb{ C}}\) with\({\mathrm {Re}}(k)>0\) and\({\mathrm {Re}}(p)>0\).
-
(i)
If\(-1<{\mathrm {Re}}(m)<1\), \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\), then
$$\begin{aligned}&(k^2-p^2)\int _0^\infty {\mathcal {K}}_{\frac{\beta }{2k},m}(2kx) {\mathcal {K}}_{\frac{\beta }{2p},m}(2px){\mathrm {dx}}\\&\quad =\frac{\pi }{\sin (2\pi m)}\sqrt{4kp} \left( \frac{k^{m}p^{-m}}{\varGamma \big (\frac{1}{2}+m-\frac{\beta }{2p}\big )\varGamma \big (\frac{1}{2}-m-\frac{\beta }{2k}\big )} -\frac{p^{m}k^{-m}}{\varGamma \big (\frac{1}{2}+m-\frac{\beta }{2k}\big ) \varGamma \big (\frac{1}{2}-m-\frac{\beta }{2p}\big )} \right) . \end{aligned}$$ -
(ii)
If\(m=0\), then
$$\begin{aligned}&(k^2-p^2)\int _0^\infty {\mathcal {K}}_{\frac{\beta }{2k},0}(2kx) {\mathcal {K}}_{\frac{\beta }{2p},0}(2px){\mathrm {dx}}\\&\quad = \sqrt{4kp}\;\! \frac{\psi \big (\frac{1}{2}-\frac{\beta }{2k}\big )-\psi \big (\frac{1}{2}-\frac{\beta }{2p}\big ) + \ln (k)-\ln (p)}{ \varGamma \big (\frac{1}{2}-\frac{\beta }{2p}\big )\varGamma \big (\frac{1}{2}-\frac{\beta }{2k}\big )}. \end{aligned}$$ -
(iii)
If\(m=\pm \frac{1}{2}\), then
$$\begin{aligned}&(k^2-p^2)\int _0^\infty {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2kx) {\mathcal {K}}_{\frac{\beta }{2p},\frac{1}{2}}(2px){\mathrm {dx}}\\&\quad = \beta \;\!\frac{\frac{1}{2}\psi \big (1-\frac{\beta }{2k}\big ) + \frac{1}{2}\psi \big (-\frac{\beta }{2k}\big )-\frac{1}{2} \psi \big (1-\frac{\beta }{2p}\big ) - \frac{1}{2} \psi \big (-\frac{\beta }{2p}\big ) + \ln (k)-\ln (p)}{ \varGamma \big (1-\frac{\beta }{2p}\big )\varGamma \big (1-\frac{\beta }{2k}\big )}. \end{aligned}$$
Proof
The proof consists in an application of Lemma A.1. Consider \(k,p\in {\mathbb{ C}}\) with \({\mathrm {Re}}(k)>0\), \({\mathrm {Re}}(p)>0\) and set \(\lambda _1=-k^2\) and \(\lambda _2=-p^2\). As shown in the proof of Theorem 3.1 the functions \(v_i\) defined by
belong to \({\mathcal{ D}}(L_{\beta ,m^2}^{\mathrm {max}})\) and are eigenfunctions of \(L_{\beta ,m^2}\) associated with the eigenvalues \(\lambda _i\). Let us then set \({\mathscr {W}}(v_1,v_2;0):= \lim \limits _{x\searrow 0}{\mathscr {W}}(v_1,v_2;x)\) and observe that \( \lim \limits _{x\rightarrow +\infty }{\mathscr {W}}(v_1,v_2;x)=0\), as a consequence of Proposition 2.1. This yields directly
Let us now set
Then, the identity (A.6) leads to
and with the expansion provided in A.3 one directly infers that
As a consequence of these equalities one gets
This proves (i). The equalities (ii) and (iii) can be proved similarly by using (A.18) and (A.19). \(\square \)
By using the L’Hospital’s rule one directly obtains:
Corollary A.3
Let\({\mathrm {Re}}(k)>0\).
-
(i)
For\(-1<{\mathrm {Re}}(m)<1\), \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) one has
$$\begin{aligned} \int _0^\infty {\mathcal {K}}_{\frac{\beta }{2k},m}(2kx)^2{\mathrm {dx}}= \frac{\pi }{\sin (2\pi m)} \frac{2m+\frac{\beta }{2k}\psi \big (\frac{1}{2}+m-\frac{\beta }{2k}\big )-\frac{\beta }{2k}\psi \big (\frac{1}{2}-m-\frac{\beta }{2k}\big )}{k\varGamma \big (\frac{1}{2}+m-\frac{\beta }{2k}\big ) \varGamma \big (\frac{1}{2}-m-\frac{\beta }{2k}\big )}. \end{aligned}$$ -
(ii)
For\(m=0\),
$$\begin{aligned} \int _0^\infty {\mathcal {K}}_{\frac{\beta }{2k},0}(2kx)^2{\mathrm {dx}}= \frac{1+\frac{\beta }{2k}\psi '\big (\frac{1}{2}-\frac{\beta }{2k}\big )}{k\varGamma \big (\frac{1}{2}-\frac{\beta }{2k}\big )^2}. \end{aligned}$$ -
(iii)
For\(m=\frac{1}{2}\),
$$\begin{aligned} \int _0^\infty {\mathcal {K}}_{\frac{\beta }{2k},\frac{1}{2}}(2kx)^2{\mathrm {dx}}= -\frac{1+\frac{\beta }{4k}\psi '\big (-\frac{\beta }{2k}\big )+\frac{\beta }{4k}\psi '\big (1-\frac{\beta }{2k}\big )}{k\varGamma \big (-\frac{\beta }{2k}\big )\varGamma \big (1-\frac{\beta }{2k}\big )}. \end{aligned}$$
1.7 A.7 The trigonometric type Whittaker equation
Along with the standard Whittaker equation (A.1), sometimes called hyperbolic type, it is natural to consider the trigonometric type Whittaker equation
In [7, Sec. 2.6 and 2.7] we introduced the functions
and
which solve (A.27). Note that the function \({\mathcal {H}}^\pm _{\beta , m}\) has been used in the proof of Theorem 3.1 when dealing with positive eigenvalues of the Whittaker operators.
1.8 A.8 Integral identities in the trigonometric case
Here are the analogues of Proposition A.2 and Corollary A.3 in the trigonometric case. The approach can be mimicked from Sect. A.6 because of the identity
valid for any \(\mu >0\).
Proposition A.4
Let\(\mu ,\eta >0\) with\(\mu <\pm {\mathrm {Im}}\big (\beta )\) and\(\eta < \pm {\mathrm {Im}}\big (\beta )\).
-
(i)
If\(-1<{\mathrm {Re}}(m)<1\), \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\), then
$$\begin{aligned}&(\mu ^2-\eta ^2)\int _0^\infty {\mathcal {H}}_{\frac{\beta }{2\mu },m}^\pm (2\mu x){\mathcal {H}}_{\frac{\beta }{2\eta },m}^\pm (2\eta x){\mathrm {dx}}\\&\quad =\frac{\pi {\mathrm {e}}^{\mp {\mathrm {i}}\pi m}}{\sin (2\pi m)}\sqrt{4\mu \eta } \left( \frac{\mu ^{m}\eta ^{-m}}{\varGamma \big (\frac{1}{2}+m\mp {\mathrm {i}}\frac{\beta }{2\eta }\big )\varGamma \big (\frac{1}{2}-m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}\right. \\&\quad \left. - \frac{\eta ^{m}\mu ^{-m}}{\varGamma \big (\frac{1}{2}+m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big ) \varGamma \big (\frac{1}{2}-m\mp {\mathrm {i}}\frac{\beta }{2\eta }\big )} \right) . \end{aligned}$$ -
(ii)
If\(m=0\), then
$$\begin{aligned}&(\mu ^2-\eta ^2)\int _0^\infty {\mathcal {H}}^\pm _{\frac{\beta }{2\mu },0}(2\mu x) {\mathcal {H}}^\pm _{\frac{\beta }{2\eta },0}(2\eta x){\mathrm {dx}}\\&\quad = \sqrt{4\mu \eta } \;\!\frac{\psi \big (\frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )-\psi \big (\frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\eta }\big )+\ln (\mu )-\ln (\eta )}{ \varGamma \big (\frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )\varGamma \big (\frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\eta }\big )}. \end{aligned}$$ -
(iii)
If\(m=\frac{1}{2}\), then
$$\begin{aligned}&(\mu ^2-\eta ^2)\int _0^\infty {\mathcal {H}}^\pm _{\frac{\beta }{2\mu },\frac{1}{2}}(2\mu x) {\mathcal {H}}^\pm _{\frac{\beta }{2\eta },\frac{1}{2}}(2\eta x){\mathrm {dx}}\\&\quad = \beta \frac{\frac{1}{2} \psi \big (1\mp {\mathrm {i}}\frac{\beta }{2\mu }\big ) + \frac{1}{2} \psi \big (\mp {\mathrm {i}}\frac{\beta }{2\mu }\big ) -\frac{1}{2}\psi \big (1\mp {\mathrm {i}}\frac{\beta }{2\eta }\big ) - \frac{1}{2}\psi \big (\mp {\mathrm {i}}\frac{\beta }{2\eta }\big ) +\ln (\mu )-\ln (\eta )}{ \varGamma \big (1\mp {\mathrm {i}}\frac{\beta }{2\eta }\big )\varGamma \big (1\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}. \end{aligned}$$
Corollary A.5
Let\(0<\mu <\pm {\mathrm {Im}}(\beta )\).
-
(i)
For\(-1<{\mathrm {Re}}(m)<1\), \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) one has
$$\begin{aligned} \int _0^\infty {\mathcal {H}}_{\frac{\beta }{2\mu },m}^\pm (2\mu x)^2{\mathrm {dx}}= \frac{\pi {\mathrm {e}}^{\mp {\mathrm {i}}\pi m}}{\sin (2\pi m)} \left( \frac{2m\pm {\mathrm {i}}\frac{\beta }{2\mu }\psi \big (\frac{1}{2}+m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )\mp {\mathrm {i}}\frac{\beta }{2k}\psi \big (\frac{1}{2}-m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}{\mu \varGamma \big (\frac{1}{2}+m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big ) \varGamma \big (\frac{1}{2}-m\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )} \right) . \end{aligned}$$ -
(ii)
For\(m=0\),
$$\begin{aligned} \int _0^\infty {\mathcal {H}}_{\frac{\beta }{2\mu },0}^\pm (2\mu x)^2{\mathrm {dx}}= \frac{1\pm {\mathrm {i}}\frac{\beta }{2\mu }\psi '\big (\frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}{\mu \varGamma \big (\frac{1}{2}\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )^2}. \end{aligned}$$ -
(iii)
For\(m=\frac{1}{2}\),
$$\begin{aligned} \int _0^\infty {\mathcal {H}}_{\frac{\beta }{2\mu },\frac{1}{2}}^\pm (2\mu x)^2{\mathrm {dx}}= \frac{\pm {\mathrm {i}}-\frac{\beta }{4\mu }\psi '\big (\mp {\mathrm {i}}\frac{\beta }{2\mu }\big ) - \frac{\beta }{4\mu }\psi '\big (1\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}{\mu \varGamma \big (\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )\varGamma \big (1\mp {\mathrm {i}}\frac{\beta }{2\mu }\big )}. \end{aligned}$$
B The Bessel equation
1.1 B.1 The modified Bessel equation
The modified (or hyperbolic type) Bessel equation for dimension 1
is up to a trivial rescaling, a special case of the Whittaker equation with \(\beta =0\). Its theory was discussed at length in [6, App. A]. Nevertheless, we briefly discuss some of its elements here, explaining the parallel elements to the theory of the Whittaker equation, as well as the differences.
Let the modified Bessel function for dimension 1 be
The Eq. (B.1) is invariant with respect to \(m\rightarrow -m\). At the level of the function (B.2) this property is reflected by
For the Wronskian we have
The function \({\mathcal {K}}_m\) can be introduced for \(m\not \in {\mathbb{ Z}}\) by
For \(m\in {\mathbb{ Z}}\) the definition is extended by continuity. Note that the relation \({\mathcal {K}}_m(z)={\mathcal {K}}_{-m}(z)\) holds, and that
To make our presentation of the hyperbolic Bessel equation as much parallel to that of the Whittaker equation as possible, we introduce the function
Then the following relations hold:
The precise relations between the Whittaker functions for \(\beta =0\) and Bessel-type functions are of the form
1.2 B.2 Recurrence relations
For the functions \({\mathcal {I}}_m\) and \({\mathcal {K}}_m\), the following recurrence relations hold:
1.3 B.3 Integral identities
It is proved for example in [6, Sec. A.8] that for \(|{\mathrm {Re}}(m)|<1\), \(m\ne 0\) and for \({\mathrm {Re}}(a+b)>0\) one has
Observe that the r.h.s. of (B.5) can be extended by continuity to \(a=b\) and \(m=0\) since
We shall need another integral identity:
Proposition B.1
For\(|{\mathrm {Re}}(m)|<1\) and\({\mathrm {Re}}(a+b)>0\) one has
In addition, the following limiting cases hold:
Proof
Assume first that \(-1<{\mathrm {Re}}(m)<0\). By using twice the recurrence relations of Sect. B.2 one gets
and
Then, we infer that
where we have used (B.5) with \(m+1\) instead of m, and the fact that \(\partial _a (a^{-\frac{1}{2}-m})= -\frac{m+\frac{1}{2}}{a}a^{-\frac{1}{2}-m}\). Clearly, a similar relation holds for a replaced by b. By computing the derivatives, one gets the expressions provided in the statement. This proves (B.6) for \(-1<{\mathrm {Re}}(m)<0\). We then extend the equality to \(|{\mathrm {Re}}(m)|<1\) by analytic continuation. Finally, the limiting cases are obtained by taking the limit \(m\rightarrow 0\) in the first case, the limit \(b\rightarrow a\) in the second case, and from this result the limit \(m\rightarrow 0\). Note that the same result is obtained if we take the limits in the reverse order. \(\square \)
1.4 B.4 The degenerate case
For \(m\in {\mathbb{ Z}}\) the following relation holds:
Assuming that \(m\in {\mathbb{ N}}\), we also have
and
1.5 B.5 The half-integer case
The half-integer case of the hyperbolic Bessel equation is a special case of the doubly degenerate case of the Whittaker equation. However, it is worthwhile to discuss it separately. In particular, for \(n\in{ {\mathbb{ N}}}\) the function \({\mathcal {I}}_{-\frac{1}{2}-n}\) is not proportional to the function \({\mathcal {I}}_{0,-\frac{1}{2}-n}\), which is identically 0 by (B.4).
By analogy of the presentation of Sect. A.4 we can divide the half-integer case into two regions, namely Region \({\mathrm {I}}_-\) with \(m\in -\frac{1}{2}-{\mathbb{ N}}\), and Region \({\mathrm {I}}_+\) with \(m\in \frac{1}{2}+{\mathbb{ N}}\). The following schematic diagram (Fig. 3) of various special cases for the Bessel equation is an analog of Fig. 2.
Note that unlike for the Whittaker equation, in both regions \({\mathrm {I}}_-\) and \({\mathrm {I}}_+\) the functions \({\mathcal {I}}_m\), \({\mathcal {I}}_{-m}\) and \({\mathcal {K}}_m\) are well defined and distinct, and any two of them form a basis of solutions of (B.1). In this case all solutions are elementary functions: For \(n\in {\mathbb{ N}}\) and \(m=\pm (\frac{1}{2}+n)\) one has
Note also that (B.7) and (B.8) are special cases of (B.3), namely
1.6 B.6 The standard Bessel equation
The standard (or trigonometric-type) Bessel equation for dimension 1
is up to a trivial rescaling, a special case of the trigonometric-type Whittaker equation with \(\beta =0\). One can introduce the following functions which solve this equation (see [6, App. A] for more information) :
and
1.7 B.7 The zero eigenvalue Whittaker equation
The zero eigenvalue Whittaker equation is provided by the equation
It is easy to see that if v solves the trigonometric Bessel equation of dimension 1 (B.1) with parameter 2m, then the function f defined by \(f(x):= (\beta x)^{\frac{1}{4}}v(2\sqrt{\beta x})\) solves the equation (B.10).
One can also obtain solutions of (B.10) by rescaling solutions of the hyperbolic-type or trigonometric-type Whittaker equation:
Proposition B.2
For any fixed\(x\in {\mathbb{ R}}_+\), \(m \in \varPi \) and\(\beta \in {\mathbb{ C}}^{\times }\), one has
For any fixed\(x\in {\mathbb{ R}}_+\), any\(m \in \varPi \)and\(\beta \in {\mathbb{ C}}^\times \), one has
where the first limit is taken such that\(\pm \big (\arg (\beta )-\arg (k)\big )\in ]\varepsilon , \pi -\varepsilon [\) with\(\varepsilon > 0\), and the second limit is taken with\(\mu >0\) and is valid if\({\mathrm {Re}}(\beta )>0\).
Proof
Using the definition of Pochhammer’s symbol recalled in Sect. A.1, one infers that
In addition, for all \(k \in {\mathbb{ C}}\) with \(|k|<1\), one has
for some constant c independent of k and j. Hence, by an application of the version of the Lebesgue dominated convergence theorem for series, one gets
which leads directly to the equality (B.11). The equality (B.12) can then be deduced from (B.11) by using the relation (A.28) between the functions \({\mathcal {I}}_{\beta ,m}\) and \({\mathcal {J}}_{\beta ,m}\).
For (B.13), by using successively (A.6), (B.15), (B.11), and [6, App. A.5] one gets
where we have used that \(\pm \arg \big (\frac{\beta }{2k}\big ) \in ]0,\pi ]\) and that \(\big |\arg \big (-\frac{\beta }{2k}\big )\big |<\pi -\varepsilon \) for \(\varepsilon >0\). The equality (B.14) can then be deduced from (B.13) by using the relation (A.29) between the functions \({\mathcal {K}}_{\beta ,m}\) and \({\mathcal {H}}_{\beta ,m}^\pm \). \(\square \)
The following lemma plays a key role in the above proof.
Lemma B.3
Let\(a,b \in {\mathbb{ C}}\). For\(|z|\rightarrow \infty \) with\(|\arg (z)|<\pi -\varepsilon \) and\(\varepsilon >0\) one has
Proof
Recall first the logarithmic version of Stirling formula [1, Eq. 6.1.41] :
This readily implies that
After exponentiation it leads to the statement. \(\square \)
1.8 B.8 Integrals for zero eigenvalue solutions of the Whittaker equation
Based on the results of the previous sections and on Lemma A.1, one easily gets:
Proposition B.4
Let\(k\in {\mathbb{ C}}\) with\({\mathrm {Re}}(k)>0\) and let\(\beta \in {\mathbb{ C}}\) with\(\pm {\mathrm {Im}}(\sqrt{\beta })>0\). If\(m\in {\mathbb{ C}}\) with\(|{\mathrm {Re}}(m)|<1\), one has
Observe that the r.h.s. of (B.16) can be extended by continuity to\(m\in \big \{0,\frac{1}{2}\big \}\) with
In the next proposition, we consider the integral of \(\big ((\beta x)^{\frac{1}{4}}{\mathcal {H}}_{2m}^{\pm }(2\sqrt{\beta x})\big )^2\) which cannot be computed by the same means.
Proposition B.5
Let\(\beta \in {\mathbb{ C}}\) with\(\pm {\mathrm {Im}}(\sqrt{\beta })>0\). For all\(-1< {\mathrm {Re}}( m ) < 1\), one has
Proof
Let us consider for \(|{\mathrm {Re}}(m)|<2\) the integral \(\int _0^\infty y^2{\mathcal {K}}_{2m}(y)^2{\mathrm {d}}y\). After a change of variable and by taking into account the relation between the MacDonald function for dimension 1 and the usual MacDonald function one infers from [33] that
Note that this result can also be obtained by an analytic continuation of the result obtained in (B.6). By a contour integration with a vanishing contribution at infinity, one gets that for \(\pm {\mathrm {Im}}(\sqrt{\beta })>0\),
This leads to the statement of the proposition. \(\square \)
Remark B.6
Curiously, a naive computation suggests incorrectly that
Indeed, for \(m\not \in \big \{-\frac{1}{2},0,\frac{1}{2}\big \}\) and \(k\in {\mathbb{ C}}\) with \({\mathrm {Re}}(k)>0\), and such that \(\pm \big (\arg (\beta )-\arg (k)\big )\in ]\varepsilon , \pi -\varepsilon [\) with \(\varepsilon > 0\), one has
By taking a limit as \(k\rightarrow 0\), one obtains from Lemma B.3 that
Although by (B.13) the term in the square bracket of (B.19) converges pointwise to \((\beta x)^{\frac{1}{4}}{\mathcal {H}}_{2m}^\pm (2\sqrt{\beta x})\), a limit \(\lim _{k\rightarrow 0}\) and the integral in (B.19) can certainly not be exchanged, since otherwise it would lead to a contradiction.
To conclude, we give a lemma which was used in the proof of Proposition 3.15.
Lemma B.7
For \(|z|\rightarrow \infty \) with \(|\arg (z)|<\pi -\varepsilon \) and \(\varepsilon >0\) one has
Proof
The asymptotic expansion of the \(\psi \) function is provided in [1, Eq. 6.3.18] and reads as \(|z|\rightarrow \infty \) with \(|\arg (z)|<\pi -\varepsilon \) and \(\varepsilon >0\) :
Hence
which leads directly to the statement. \(\square \)
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
Dereziński, J., Faupin, J., Nguyen, Q.N. et al. On radial Schrödinger operators with a Coulomb potential: general boundary conditions. Adv. Oper. Theory 5, 1132–1192 (2020). https://doi.org/10.1007/s43036-020-00082-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s43036-020-00082-6