Abstract
We study massless one-dimensional Dirac–Coulomb Hamiltonians, that is, operators on the half-line of the form \(D_{\omega ,\lambda }:=\begin{bmatrix} -\frac{\lambda +\omega }{x} &{} - \partial _x \\ \partial _x &{} -\frac{\lambda -\omega }{x} \end{bmatrix}\). We describe their closed realizations in the sense of the Hilbert space \(L^2(\mathbb {R}_+,\mathbb {C}^2)\), allowing for complex values of the parameters \(\lambda ,\omega \). In physical situations, \(\lambda \) is proportional to the electric charge and \(\omega \) is related to the angular momentum. We focus on realizations of \(D_{\omega ,\lambda }\) homogeneous of degree \(-1\). They can be organized in a single holomorphic family of closed operators parametrized by a certain two-dimensional complex manifold. We describe the spectrum and the numerical range of these realizations. We give an explicit formula for the integral kernel of their resolvent in terms of Whittaker functions. We also describe their stationary scattering theory, providing formulas for a natural pair of diagonalizing operators and for the scattering operator. We describe the point spectrum of their nonhomogeneous realizations. It is well-known that \(D_{\omega ,\lambda }\) arise after separation of variables of the Dirac–Coulomb operator in dimension 3. We give a simple argument why this is still true in any dimension. Furthermore, we explain the relationship of spherically symmetric Dirac operators with the Dirac operator on the sphere and its eigenproblem. Our work is mainly motivated by a large literature devoted to distinguished self-adjoint realizations of Dirac–Coulomb Hamiltonians. We show that these realizations arise naturally if the holomorphy is taken as the guiding principle. Furthermore, they are infrared attractive fixed points of the scaling action. Beside applications in relativistic quantum mechanics, Dirac–Coulomb Hamiltonians are argued to provide a natural setting for the study of Whittaker (or, equivalently, confluent hypergeometric) functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The main topic of this paper is the one-dimensional massless Dirac Hamiltonian with a two-parameter perturbation proportional to the Coulomb potential
We allow the parameters \(\omega ,\lambda \) to be complex. We will describe realizations of (1.1) as closed operators on \(L^2(\mathbb {R}_+,\mathbb {C}^2).\) We will call (1.1) the one-dimensional Dirac–Coulomb Hamiltonian or operator (omitting usually the adjective one-dimensional, or shortening it to 1d).
The formal operator \( D_{\omega , \lambda } \) is homogeneous of degree \(-1\). Among its various closed realizations we will be especially interested in homogeneous ones, i.e., those whose domain is invariant with respect to scaling transformations.
Our main motivation to study \(D_{\omega , \lambda }\) comes from the 3d Dirac–Coulomb Hamiltonian
acting on four component spinor functions on \(\mathbb {R}^3\). Here \(m \in \mathbb {R}\) is the mass parameter, \(\lambda \in \mathbb {R}\) is related to the charge of nucleus and \(p_j:=-\text {i}\partial _{x^j}\). As is well known, after separation of variables in (1.2) with \(m=0\) one obtains (1.1). Possible values of \(\omega \) are \(\pm 1, \pm 2,\dots \). They are related to the angular momentum. Similar separation is possible also in other dimensions, albeit leading to different values of \(\omega \). We remark that the mass term is bounded and hence does not change the domain. Therefore, the analysis of the \(m=0\) case yields the description of closed realizations of the massive Dirac–Coulomb operator.
The second source of interest in \(D_{\omega , \lambda }\) is the expectation that models with scaling symmetry describe the behavior of much more complicated systems in certain limiting cases.
There exists another important motivation for the study of Dirac–Coulomb Hamiltonians. Objects related to (1.1), such as its eigenfunctions and Green’s kernels can be expressed in terms of Whittaker functions (or, equivalently, confluent functions). Whittaker functions are eigenfunctions of the Whittaker operator
The Dirac–Coulomb Hamiltonian may be viewed as a good way to organize our knowledge about Whittaker functions, one of the most important families of special functions in mathematics. Curiously, it seem more suitable for this goal than the Whittaker operator itself. Indeed, the homogeneity of the Dirac–Coulomb operator leads to several identities which have no counterparts in the case of the Whittaker operator (e.g., the scattering theory described in Sect. 6 with [13] and [10]).
Let us briefly describe the content of our paper. The most obvious closed realizations of \( D_{\omega , \lambda } \) are the minimal and maximal realizations, denoted \( D_{\omega , \lambda }^{\min } \) and \( D_{\omega , \lambda }^{\max } \). Both are homogeneous of degree \(-1\). They depend holomorphically on parameters \(\omega ,\lambda \), except for \(|\text {Re}\sqrt{\omega ^2-\lambda ^2}|=\frac{1}{2}\), where a kind of a “phase transition” occurs. One of the signs of this phase transition is the following: For \(|\text {Re}\sqrt{\omega ^2-\lambda ^2}| \ge \frac{1}{2}\), we have \( D_{\omega , \lambda }^{\min } = D_{\omega , \lambda }^{\max }\), so that in this parameter range there is only one closed realization of \( D_{\omega , \lambda } \). However, for \(|\text {Re}\sqrt{\omega ^2-\lambda ^2}|<\frac{1}{2}\), the domain of \( D_{\omega , \lambda }^{\min } \) has codimension 2 as a subspace of the domain of \( D_{\omega , \lambda }^{\max }\). This means that for fixed \((\omega , \lambda )\) in this region there exists a one-parameter family of closed realizations of \(D_{\omega , \lambda } \) strictly between the minimal and maximal realization.
In operator theory (and other domains of mathematics) it is useful to organize objects in holomorphic families [14, 29]. Therefore, we ask whether \( D_{\omega , \lambda }^{\min }= D_{\omega , \lambda }^{\max }\) can be analytically continued beyond the region \(|\text {Re}\sqrt{\omega ^2-\lambda ^2}|>\frac{1}{2}\). The answer is positive, but the domain of this continuation is a complex manifold which is not simply an open subset of the “\((\omega ,\lambda )\)-plane” \(\mathbb {C}^2\). To define this manifold we start with the following subset of \(\mathbb {C}^3\):
Then we “blow up” the singularity \((\omega ,\lambda ,\mu )=(0,0,0)\). The resulting complex two-dimensional manifold is denoted \(\mathcal {M}_{-\frac{1}{2}}\). There exists a natural projection \(\mathcal {M}_{- \frac{1}{2}} \rightarrow \mathbb {C}^2\). The preimage of \((\omega , \lambda ) \in \mathbb {C}^2\) has one element if \(|\text {Re}\sqrt{\omega ^2 - \lambda ^2}| \ge \frac{1}{2}\), two elements if \(|\text {Re}\sqrt{\omega ^2 - \lambda ^2}| < \frac{1}{2}\), and \((\omega , \lambda ) \ne (0,0)\) and infinitely many elements if \(\omega = \lambda =0\). This last preimage, called the zero fiber, is isomorphic to the Riemann sphere \(\mathbb {C}\mathbb {P}^1\), for which we use homogeneous coordinates [a : b]. Away from the zero fiber, points of \(\mathcal {M}_{- \frac{1}{2}}\) may be labeled by triples \((\omega , \lambda , \mu )\).
The main result of our paper is the construction of a holomorphic family of closed operators \(\mathcal {M}_{-\frac{1}{2}}\ni p\mapsto D_p\) consisting of homogeneous Dirac–Coulomb Hamiltonians. If \(p\in \mathcal {M}_{-\frac{1}{2}}\) lies over \((\omega ,\lambda )\), then we have inclusions
If \(|\text {Re}\sqrt{\omega ^2 - \lambda ^2}| \ge \frac{1}{2}\), both inclusions in (1.5) are equalities. On the other hand, for \(|\text {Re}\sqrt{\omega ^2 - \lambda ^2}| < \frac{1}{2}\) both inclusions are proper and elements of the domain of \( \text {Dom}(D_p)\) are distinguished by the following behavior near zero:
Note that the two functions in (1.6), when both well defined, are proportional to one another.
We describe various properties of \(D_p\): we find its point spectrum, essential spectrum, numerical range, discuss conditions for (maximal) dissipativity. We construct explicitly the resolvent. Some spectral properties, including their point spectra, of nonhomogeneous realizations of \(D_{\omega ,\lambda }\) are also discussed.
Whenever \(D_p\) is self-adjoint, its spectrum is absolutely continuous, simple and coincides with \(\mathbb {R}\). In non-self-adjoint cases, the essential spectrum is still \(\mathbb {R}\), but on certain exceptional subsets of the parameter space there is also point spectrum \(\{\text {Im}(k) > 0\}\) or \(\{\text {Im}(k) < 0\}\). Away from exceptional sets \(D_p\) possesses non-square-integrable eigenfunctions, which can be called distorted waves. They can be normalized in two ways: as incoming and outgoing distorted waves. They define the integral kernels of a pair of operators \(\mathcal {U}^\pm \) that, at least formally, diagonalize \(D_p\). More precisely, on a dense domain \(\mathcal {U}^\pm \) intertwine \(D_p\) with the operator of the multiplication by the independent variable \(k\in \mathbb {R}\). Up to a trivial factor, \(\mathcal {U}^\pm \) can be interpreted as the wave (Møller) operators. The operators \(\mathcal {U}^+\) and \(\mathcal {U}^-\) are related to one another by the identity \(S \mathcal {U}^-:= \mathcal {U}^+\), which defines the scattering operator S. Thus, we are able to describe rather completely the stationary scattering theory of homogeneous Dirac–Coulomb Hamiltonians.
For self-adjoint \(D_p\), the operators \(\mathcal {U}^\pm \) are unitary. If \(\lambda \) is real, they are still bounded and invertible, even if \(D_p\) are not self-adjoint. We show that \(\mathcal {U}^\pm \) can be written (up to a trivial factor) as \(\Xi ^\pm (\text {sgn}(k),A)\), where A is the dilation generator and \(\text {sgn}(k)\) is the sign of the spectral parameter. We express \(\Xi ^\pm \) in terms of the hypergeometric function. We prove that they behave as \(s^{|\text {Im}(\lambda )|}\) for \(s\rightarrow \infty \). In particular, this shows that \(\mathcal {U}^\pm \) are bounded only for real \(\lambda \).
The Coulomb potential is long-range. Therefore, we cannot use the standard formalism of scattering theory. In our paper we restrict ourselves to the stationary formalism, where the long-range character of the perturbation is taken into account by using appropriately modified plane waves.
Operators \(D_p\) with p in the zero fiber can be fully analyzed by elementary means. All operators strictly between \(D_{0,0}^{\min }\) and \(D_{0,0}^{\max }\) are homogeneous and are specified by boundary conditions at zero of the form \(f(0) \in \mathbb {C}\begin{bmatrix} a \\ b \end{bmatrix}\) for \([a{:}b]\in \mathbb {C}\mathbb {P}^1\). Operator corresponding to boundary condition [a : b] will be denoted \(D_{[a:b]}\). Other cases in which operators \(D_p\) are particularly simple are discussed in “Appendix A”.
Phase diagram of operators \(D_{\omega , \lambda }\) for \((\omega ,\lambda )\in \mathbb {R}^2\). It is partitioned into five subsets corresponding to five possible behaviors, see Propositions 1 and 2 and Fig. 3. We label regions as follows. Color green and letter A refer to \(\omega ^2 - \lambda ^2 \ge \frac{1}{4}\) (we do not give a separate name to the boundary of this region, although it is also somewhat special). Color blue and letter B refer to the subset \(0< \omega ^2 - \lambda ^2 < \frac{1}{4}\). Black lines and letter C refer to the lines \(\omega = \pm \lambda \), except for the special point \((\omega , \lambda )=(0,0)\), which is marked with a fat red dot and letter D. Yellow color and letter E are used for the region \(\omega ^2 - \lambda ^2 < 0\). In addition we present lines corresponding to the lowest angular momentum values for dimensions \(d=0\), \(d=1\), \(d=2\) and \(d=3\). Here we disregard the possible sign of \(\omega \), which is irrelevant due to symmetry \(\omega \mapsto - \omega \)
Parameter space of homogeneous self-adjoint Dirac–Coulomb Hamiltonians projected onto axes \(\omega , \lambda , \mu \). Regions colored yellow, blue and red are described by inequalities \(\mu > \frac{1}{2}\), \(0< \mu < \frac{1}{2}\) and \(- \frac{1}{2}< \mu < 0\), respectively. The fat dot at the origin represents a circle contained in the zero fiber \(\mathcal {Z}\), so the whole parameter space is topologically a cylinder
The operator \(D_{\omega , \lambda }^{\min }\) is Hermitian (symmetric with respect to the scalar product \((\cdot |\cdot )\)) if and only if \(\omega , \lambda \in {\mathbb {R}}\). Below we state our main results about self-adjoint realizations of \( D_{\omega , \lambda } \) in the form of two propositions. They are immediate consequences of the results of Sects. 4, 5. We present also the phase diagram of operators \(D_{\omega , \lambda }\) on Fig. 1 and the parameter space of homogeneous self-adjoint Dirac–Coulomb Hamiltonians on Fig. 2.
Let \(H^1(\mathbb {R}_+)\) be the first Sobolev space on \(\mathbb {R}_+\) and \(H_0^1(\mathbb {R}_+)\) be the closure of \(C_\mathrm {c}^{\infty }\) in \(H^1(\mathbb {R}_+)\).
Proposition 1
Let \(\omega , \lambda \in {\mathbb {R}}\). The Hermitian operator \(D_{\omega , \lambda }^{\min }\) has the following properties.
-
1.
If \(\frac{1}{4}\le \omega ^2 - \lambda ^2\), it is self-adjoint and \(D_{\omega , \lambda }^{\min }=D_{\omega , \lambda ,\sqrt{\omega ^2-\lambda ^2}}\)
-
2.
If \(\omega ^2 - \lambda ^2<\frac{1}{4}\), it has deficiency indices (1, 1). Hence, there exists a circle of self-adjoint extensions.
Proposition 2
-
1a.
If \(\frac{1}{4}<\omega ^2 - \lambda ^2\), we have \(\text {Dom}(D_{\omega , \lambda }^{\min }) = H_0^1(\mathbb {R}_+,\mathbb {C}^2)\).
-
1b.
If \(\frac{1}{4}=\omega ^2 - \lambda ^2\), we have \(H_0^1(\mathbb {R}_+,\mathbb {C}^2) \subsetneq \text {Dom}(D_{\omega , \lambda }^{\min }) \).
-
2a.
If \(0<\omega ^2 - \lambda ^2<\frac{1}{4}\), exactly two self-adjoint extensions of \(D_{\omega , \lambda }^{\min }\) are homogeneous, namely \(D_{\omega , \lambda , \sqrt{\omega ^2 - \lambda ^2}}\) and \(D_{\omega , \lambda , -\sqrt{\omega ^2 - \lambda ^2}}\). The former is distinguished among all self-adjoint extensions by
$$\begin{aligned} \int _{0}^{\infty } \left( \frac{|f(x)|^2}{x} + |f(x)| |f'(x)| \right) \text {d}x < \infty \text { for }f \in \text {Dom}(D_{\omega , \lambda , \sqrt{\omega ^2 - \lambda ^2}}),\end{aligned}$$(1.7)i.e., elements of its domain have finite expectation values of kinetic and potential energy.
-
2b.
If \(| \lambda | = |\omega | \ne 0\), exactly one self-adjoint extension of \(D_{\omega , \lambda }^{\min }\) is homogeneous, namely \(D_{\omega , \lambda , 0}\). It has the property \(H_0^1(\mathbb {R}_+, \mathbb {C}^2) \subsetneq \text {Dom}(D_{\omega , \lambda , 0}) \subsetneq H^{1}(\mathbb {R}_+,\mathbb {C}^2)\).
-
2c.
If \(\lambda = \omega =0\), all self-adjoint extensions of \(D_{\omega , \lambda }^{\min }\) are homogeneous. They have the form \(D_{[a:b]}\) with \([a:b] \in \mathbb {R}\mathbb {P}^1\).
-
2d.
If \(|\lambda | > |\omega |\), none of self-adjoint extensions of \(D_{\omega , \lambda }^{\min }\) is homogeneous.
Now let \(\omega , \lambda \) be real and suppose that \(\omega ^2 - \lambda ^2 < \frac{1}{4}\). Let \(\tau \mapsto U_\tau \) denote the scaling transformation. The parameter space of self-adjoint extensions is a circle. It admits an action of the scaling group given by
The fixed points of this action are the homogeneous self-adjoint extensions. Main properties of this action are illustrated by Fig. 3.
Visualization of the action of the scaling group on self-adjoint extensions of \(D_{\omega , \lambda }^{\min }\) in four regions covering the set of \(\omega , \lambda \) satisfying \(\omega ^2 - \lambda ^2 < \frac{1}{4}\). Fat dots are the fixed points, while arrowheads indicate the direction of the flow as \(\tau \) increases, see (1.8). In the first region there are two fixed points, attractive and repulsive, corresponding to a positive and negative \(\mu \), respectively. As \(\omega ^2 - \lambda ^2\) decreases to zero, the two fixed points merge to one degenerate fixed point, except for the point \(\omega = \lambda =0\) at which the scaling action becomes trivial. As \(\omega ^2 - \lambda ^2\) decreases below zero, the scaling action becomes periodic with period \(\frac{\pi }{\sqrt{\lambda ^2 - \omega ^2}}\)
As we present in “Appendix B”, d-dimensional Dirac–Coulomb Hamiltonians can be reduced to the radial operator (1.1). Combined with the analysis presented above, one obtains rather complete information about self-adjointness and homogeneity properties of these operators. Here we point out only a few facts concerning these extensions on the lowest angular momentum sector.
-
dimension 1 There exist no homogeneous self-adjoint realizations for any \(\lambda \ne 0\).
-
dimension 2 The operator defined on smooth spinor-valued functions with compact support not containing zero is not essentially self-adjoint for any \(\lambda \ne 0\). For \(|\lambda |< 1\) there exist homogeneous self-adjoint extensions of \(D_{\omega , \lambda }^{\min }\). These homogeneous extensions can be organized into two continuous families. The (more physical) family is defined on \([-1,1]\). At the endpoints \(\lambda =\pm 1\) it meets the other family, which is defined on \([-1,0[\cup ]0,1]\).
-
dimension \(d \ge 3\): The operator defined as above is essentially self-adjoint if \(\lambda ^2 \le \frac{d(d-2)}{4}\). If \(\frac{d(d-2)}{4} < \lambda ^2\) it is not essentially self-adjoint. However, for \(\lambda ^2\le \frac{(d-1)^2}{4}\) there exists homogeneous self-adjoint extensions of \(D_{\omega , \lambda }^{\min }\). They can be organized into two families depending continuously on \(\lambda \). The more physical family is defined on \([- \frac{(d-1)^2}{4}, \frac{(d-1)^2}{4}]\). The second family meets the first at the endpoints and is defined on \([- \frac{(d-1)^2}{4}, -\frac{d(d-2)}{4}[\,\cup \, ]\frac{d(d-2)}{4}, \frac{(d-1)^2}{4}]. \)
In all cases in which there exist no homogeneous self-adjoint extensions, the defect indices are nevertheless equal and hence there exist nonhomogeneous self-adjoint extensions.
Analysis of self-adjoint realizations of the three-dimensional Dirac–Coulomb Hamiltonian has a long and rich history in the mathematical literature. There even exists a recent review paper devoted to this subject [21]. Let us explain the main points of this history, referring the reader to [21] for more details.
A direct application of the Kato-Rellich theorem yields the essential self-adjointness of the (massive, 3d) Dirac–Coulomb Hamiltonian only for \(|\lambda |<\frac{1}{2}\). This proof is due to Kato [28, 29]. The essential self-adjointness up to the boundary of the “regular region” \(|\lambda |<\frac{\sqrt{3}}{2}\) was proven independently by Gustaffson-Rejtö [26, 34] and Schmincke [36]. They needed to use slightly more refined arguments going beyond to the basic Kato-Rellich theorem. The “distinguished self-adjoint extension” in the region \(\frac{\sqrt{3}}{2}<|\lambda |<1\) was described in several equivalent ways, mostly involving the characterization of the domain, by Schmincke, Wüst, Klaus, Nenciu and others [5, 6, 22, 31, 33, 37, 42, 43]. The characterization of distinguished self-adjoint extensions based on holomorphic families of operators was first proposed by Kato in [30]. Esteban and Loss [18] characterized the distinguished self-adjoint realization at the boundary of the “transitory region”, that is for \(|\lambda |=1\), by using the so-called Hardy-Dirac inequalities. Self-adjoint realizations in the “supercritical region” \(|\lambda |>1\) were first studied by Hogreve in [27], and then (with some corrections) in [22]. The authors of [22] analyze also the second distinguished branch of self-adjoint extensions in the critical region, which they call “mirror distinguished”. [5, 6] include in their analysis a term proportional to \(\frac{1}{r^2}\beta \alpha _ix_i\), which they call “anomalous magnetic”.
Our treatment of Dirac–Coulomb Hamiltonians is quite different from the above references. We use exact solvability to describe rather completely their resolvent, domain and (stationary) scattering theory. We do not add the mass term, which helps with exact solvability and makes possible to use the homogeneity as a good criterion for distinguished realizations. Another concept which we use is that of a holomorphic family of operators, which we view as an important criterion for distinguishing a realization. The mass term is bounded, so it does not affect the basic picture of distinguished realizations. Our analysis includes realizations which are not necessarily self-adjoint, but turn out to be self-transposed with respect to a natural complex bilinear form. Our description of various closed realizations of Dirac–Coulomb Hamiltonians is quite straightforward and involves only elementary functions. We use neither the von Neumann nor the Krein–Vishik theory of self-adjoint extensions, which lead to a rather complicated description of the domains of closed description involving Whittaker functions, see [22, 23].
Our analysis of Dirac–Coulomb Hamiltonians can be viewed as a continuation of a series of papers about holomorphic families of certain one-dimensional Hamiltonians: Bessel operators [3, 12] and Whittaker operators [10, 13].
Let us mention some more papers, where Dirac–Coulomb operators play an important role.
First, there exist a number of papers [7, 16, 24, 39] devoted to the time dependent approach to scattering theory for self-adjoint Dirac Hamiltonians on \(\mathbb {R}^3\) with long range potentials.
There also exists a large and interesting literature devoted to eigenvalues inside a spectral gap of a self-adjoint operator, with massive Dirac–Coulomb Hamiltonians as prime examples [18, 19, 23, 35]. Massless Dirac–Coulomb Hamiltonians do not have a gap, and eigenvalues are possible only in non-self-adjoint nonhomogeneous cases. Nevertheless, we believe that methods of our paper are relevant for the eigenvalue problem in the massive self-adjoint case.
For a study of one-dimensional Dirac operators with locally integrable complex potentials, see [2].
Finally, let us mention another interesting related topic, where the question of distinguished self-adjoint realizations arises: 2-body Dirac–Coulomb Hamiltonians. Their mathematical study was undertaken in [8]. Even though the physical significance of these Hamiltonians is not very clear, they are widely used in quantum chemistry.
Let us briefly describe the organization of our paper. Its main part, that is Sects. 2–8 describes realizations of 1d Dirac–Coulomb Hamiltonians on \(L^2(\mathbb {R}_+,\mathbb {C}^2)\) focusing on the homogeneous ones. Besides, our paper contains four appendices, which can be read independently.
“Appendix A” first discusses some general concepts related to 1d Dirac operators. Then two special classes of 1d Dirac–Coulomb Hamiltonians are analyzed in detail.
Essentially all papers that we mentioned in our bibliographical sketch treat the three-dimensional case. It was pointed out in [25] that a general d-dimensional spherically symmetric Dirac Hamiltonian can be reduced to a one-dimensional one. We describe this reduction in detail in “Appendix B”. We also analyze its various group-theoretical and differential-geometric aspects, including the relation to Dirac operators on spheres and the famous Lichnerowicz formula. Spectra of the latter are computed in two independent ways and a construction of eigenvectors is presented.
The short “Appendix C” is devoted to the Mellin transformation.
Finally, in “Appendix D” we collect properties of various special functions, mostly, Whittaker functions, which are used in our paper. We mostly follow the conventions of [10, 13].
1.1 Remarks About Notation
Symbol \(( \cdot | \cdot )\) is used for standard scalar products on \(L^2\) spaces, linear in the second argument, while \(\langle \cdot | \cdot \rangle \) is used for the analogous bilinear forms in which complex conjugation is omitted:
Transpose (denoted by the superscript \(\scriptstyle \text {T}\)) of a densely defined operator is defined in terms of \(\langle \cdot | \cdot \rangle \) in the same way as the adjoint (denoted by \(*\)) is defined in terms of the scalar product. We use superscript \(\text {perp}\) for orthogonal complement with respect to \(\langle \cdot | \cdot \rangle \) and \(\perp \) for orthogonal complement with respect to \(( \cdot | \cdot )\). Overline always denotes complex conjugation; for example, we have \(X^\perp = \overline{X^\text {perp}}\) for a subspace X.
We will write \(\mathbb {R}_+ = ]0, \infty [\), \(\mathbb {C}_{\pm } = \{ z \in \mathbb {C}\, | \, \pm \text {Im}(z) >0 \}\), \(\mathbb {N}=\{0,1,\dots \}\). Omission of zero will be denoted by \(\times \), e.g., \(\mathbb {R}^\times =\mathbb {R}\backslash \{ 0 \}\). Indicator function of a subset \(S \subset \mathbb {R}\) will be denoted by \(\mathbbm {1}_S\). We label elements of the Riemann sphere \(\mathbb {C}\mathbb {P}^1\) using homogeneous coordinates, i.e., \([a:b] \in \mathbb {C}\mathbb {P}^1\) is the complex line spanned by \((a,b) \in \mathbb {C}^2 \backslash \{ 0 \}\).
Operators of multiplication of a function in \(L^2(\mathbb {R}_+, \mathbb {C}^n)\) and \(L^2(\mathbb {R}, \mathbb {C}^n)\) by its argument will be denoted by X and K, respectively. Dilation group action on \(L^2(\mathbb {R}_+,\mathbb {C}^n)\) is defined by \(U_{\tau } f (x) = \text {e}^{\frac{\tau }{2}} f(\text {e}^{\tau } x)\). We denote its self-adjoint generator by A, so that \(U_{\tau } = \text {e}^{\text {i}\tau A}\). Operator O is said to be homogeneous of degree \(\nu \) if \(U_{\tau } O U_{\tau }^{-1} = \text {e}^{\nu \tau } O\). Inversion operator J is defined by \((Jf)(x) = \frac{1}{x} f \left( \frac{1}{x} \right) \). It is unitary and satisfies \(J^2=1\), \(JAJ^{-1}=-A\).
Complex power functions \(z \mapsto z^a\) are holomorphic and defined on \(\mathbb {C}\backslash ] - \infty , 0 ]\). Domains of holomorphy of special functions used in the text are specified in “Appendix D”.
In our paper we will often use the concept of a holomorphic map with values in closed operators, which we now briefly recall [14, 29]. We will give two equivalent definitions of this concept: the first is “more elegant”, the second “more practical”. To formulate the first definition note that the Grassmannian (the set of closed subspaces) \(\mathrm {Grass}(X)\) of a Hilbert space X carries the structure of a complex Banach manifold [17].
Consider Hilbert spaces \(X_2, X_3\) be Hilbert spaces and a complex manifold \(\mathcal {M}\). We say that a function \(\mathcal {M}\ni p\mapsto T_p\) of closed operators \(X_2 \rightarrow X_3\) is holomorphic if and only if \(p \mapsto \mathrm {graph}(T_p) \in \mathrm {Grass}(X_2 \times X_3)\) is a holomorphic map.
Equivalently, \(\mathcal {M}\ni p\mapsto T_p\) is holomorphic if for every \(p_0 \in \mathcal {M}\) there exists a neighborhood \(\mathcal {M}_0\) of \(p_0\) in \(\mathcal {M}\), a Hilbert space \(X_1\) and a holomorphic family \(\mathcal {M}_0\ni p\mapsto S_p\) of bounded injective operators \(S_p : X_1 \rightarrow X_2\) such that \(\text {Ran}(S_p)= \text {Dom}(T_p)\) and \(T_p S_p\) form a holomorphic family of bounded operators.
2 Blown-Up Quadric
Formal Dirac–Coulomb Hamiltonians depend on parameters \((\omega ,\lambda )\in \mathbb {C}^2\). In order to specify their realizations as closed homogeneous operators, it is necessary to choose a square root of \(\omega ^2-\lambda ^2\). For this reason homogeneous Dirac–Coulomb Hamiltonians are parametrized by points of a certain complex manifold. This section is devoted to its definition and basic properties.
Let us first introduce a certain null quadric in \(\mathbb {C}^3\):
By the holomorphic implicit function theorem, \(\mathcal {M}^{\text {pre}}\) is a complex two-dimensional submanifold of \(\mathbb {C}^3\) away from the singular point (0, 0, 0) (also denoted 0 for brevity).
We consider also the so-called blowup of \(\mathcal {M}^\text {pre}\) at the singular point, defined by
Fibers of the projection map \(\mathcal {M}\rightarrow \mathbb {C}\mathbb {P}^1\) are described by triples \((\omega , \lambda , \mu ) \in \mathbb {C}^3\) subject to two linearly independent linear equations, whose coefficients are holomorphic functions on local coordinate patches of \(\mathbb {C}\mathbb {P}^1\). Therefore, \(\mathcal {M}\) is a holomorphic line bundle over \(\mathbb {C}\mathbb {P}^1\), embedded in the trivial bundle \(\mathbb {C}^3 \times \mathbb {C}\mathbb {P}^1\). In particular it is a two-dimensional complex manifold.
Equation \(\begin{bmatrix} \omega + \lambda &{} \mu \\ \mu &{} \omega - \lambda \end{bmatrix} \begin{bmatrix} a \\ b \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \end{bmatrix}\) has a solution different than \((a,b) = (0,0)\) if and only if the quadratic equation defining \(\mathcal {M}^{\text {pre}}\) is satisfied. Thus, there is a projection map \(\mathcal {M}\rightarrow \mathcal {M}^{\text {pre}}\). Its restriction to the preimage of \(\mathcal {M}^\text {pre}\backslash \{ 0 \}\) is an isomorphism and will be treated as an identification. The preimage of zero, called the zero fiber and denoted \(\mathcal {Z}\), is an isomorphic copy of \(\mathbb {C}\mathbb {P}^1\).
We will often use the short notation \(p=(\omega , \lambda ,\mu ,[a:b])\) for elements of \(\mathcal {M}\). If \(p \notin \mathcal {Z}\), then [a : b] is uniquely determined by \((\omega , \lambda , \mu )\) and we abbreviate \(p = (\omega , \lambda , \mu )\). In turn for p in the zero fiber we write \(p = [a:b]\).
We will now describe useful coordinate systems on \(\mathcal {M}\). The coordinates
are valid on \(\{ b \ne 0 \}\) – the open subset of \(\mathcal {M}\) which is the complement of
More precisely, the following map is an isomorphism of complex manifolds:
We note that
whenever the denominators are nonzero.
Analogously, on \(\{ a \ne 0 \}\), the complement of
we use the coordinates \(z^{-1}\) and \(\omega - \lambda \).
Sets \(\{ a \ne 0 \}\), \(\{ b \ne 0 \}\) cover the whole \(\mathcal {M}\). On their intersection we have
We note that the locus \(\{ \lambda = 0 \}\) is the union of three Riemann surfaces:
It is singular at the intersection points:
On the other hand, the level sets \(\{ \lambda = \lambda _0 \}\) with \(\lambda _0 \ne 0\) are nonsingular. Similarly, we have
Remark 3
Consider the tautological line bundle \(\mathcal {N}\rightarrow \mathbb {C}\mathbb {P}^1\), i.e., the space of pairs \({\big ((a',b'),[a:b]\big ) \in \mathbb {C}^2 \times \mathbb {C}\mathbb {P}^1}\) such that \((a',b') \in [a:b] \). Setting \(z:=\frac{a'}{b'}\), we obtain two charts \((b',z)\) and \((a',z^{-1})\), which cover \(\mathcal {N}\). The clutching formula for \(\mathcal {N}\) is \(a'=b' z\), which can be compared with the clutching formula (2.8) for \(\mathcal {M}\). Thus, we see that as a holomorphic vector bundle \(\mathcal {M}\) is isomorphic to the tensor square of \(\mathcal {N}\).
Later we will encounter the meromorphic functions on \(\mathcal {M}\)
We define the exceptional sets as their zero loci:
Away from \(\mathcal {Z}\), the condition \(p\in \mathcal {E}_0^\pm \) is equivalent to \(\mu {\mp } \text {i}\lambda =0\). Thus, for \(p \notin \mathcal {Z}\) we have \(p \in \mathcal {E}^{\pm }\) if and only if \(\mu {\mp } \text {i}\lambda \in - {\mathbb {N}}\). Moreover,
In particular \(\mathcal {Z}\cap \mathcal {E}^+\cap \mathcal {E}^- = \emptyset \). Clearly, the sets \(\mathcal {E}_n^\pm \), \(n=0,1,2,\dots \), are connected components of \(\mathcal {E}^\pm \). Each \(\mathcal {E}_n^\pm \) is isomorphic to \(\mathbb {C}\). Indeed, \(\mathcal {E}_0^\pm \) is a fiber of \(\mathcal {M}\rightarrow \mathbb {C}\mathbb {P}^1\) and \(\mathcal {E}_n^\pm \) with \(n \ge 1\) is globally parametrized by \(\omega \).
Lemma 4
\(\mathcal {E}^+ \cap \mathcal {E}^-\) is a countably infinite discrete subset of \(\mathcal {M}\) on which \(2 \mu + 1 \in - {\mathbb {N}}\). In particular \(\mu \le - \frac{1}{2}\).
Proof
Suppose that \(p \in \mathcal {M}\) is such that \(\mu + \text {i}\lambda = -n\), \(\mu - \text {i}\lambda = -m\) with \(n,m \in {\mathbb {N}}\). Then
from which the discreteness and countability of \(\mathcal {E}^+ \cap \mathcal {E}^-\) is clear. If both n, m are zero, then \(\mu = \lambda =0\) and hence also \(\omega = 0\). In this case we have \(p \in \mathcal {Z}\cap \mathcal {E}^+ \cap \mathcal {E}^- = \emptyset \)—contradiction. Thus, at least one of n, m is nonzero, and we have \(2 \mu + 1 = 1 - n - m \in - {\mathbb {N}}\). Conversely, if \((n,m) \in {\mathbb {N}}^2\) is different than (0, 0), then (2.15) defines one or two (if \(nm \ne 0\)) points of \(\mathcal {E}^+ \cap \mathcal {E}^-\), so this set is infinite. \(\square \)
We define the principal scattering amplitude as the ratio
It satisfies \(\overline{S_{{\overline{p}}}} = S_p^{-1}\); hence, it has a unit modulus for \(p = {\overline{p}}\). Furthermore,
We introduce an involution on \(\mathcal {M}\) by
3 Eigenfunctions and Green’s Kernels
3.1 Zero Energy
The 1d Dirac–Coulomb Hamiltonian with parameters \(\omega ,\lambda \in \mathbb {C}\) is given by the expression
When we consider (3.1) as acting on distributions on \(\mathbb {R}_+\), we will call it the formal operator. In what follows we will define various realizations of this operator, with domain and range contained in \(L^2(\mathbb {R}_+,\mathbb {C}^2)\), preferably closed. They will have additional indices.
First consider its eigenequation for eigenvalue zero
The space of distributions on \(\mathbb {R}_+\) solving (3.2) will be denoted \(\text {Ker}(D_{\omega ,\lambda })\). The following lemma shows that \(\text {Ker}(D_{\omega ,\lambda })\) consists of smooth solutions.
Lemma 5
Let f be a distributional solution on \(\mathbb {R}_+\) of the equation \(f'(x) = M(x)f(x)\) for some \(M \in C^{\infty }(\mathbb {R}_+, \mathrm {End}(\mathbb {C}^n))\). Then f is a smooth function.
Proof
Fix \(x_0 \in \mathbb {R}_+\) and \(\epsilon \in \left] 0 , \frac{x_0}{2} \right[\). We choose \(\chi _2 \in C_c^{\infty }(\mathbb {R}_+)\) equal to 1 on \([x_0 - 2 \epsilon , x_0 + 2\epsilon ]\) and \(\chi _1 \in C_c^{\infty }(\mathbb {R}_+)\) supported in \([x_0 - 2 \epsilon , x_0 + 2\epsilon ]\) and equal to 1 on \([x_0 - \epsilon , x_0 + \epsilon ]\). Clearly \(\chi _2 \chi _1 = \chi _1\) and \(\chi _2 \chi _1' = \chi _1'\). Put \(f_j = \chi _j f\) for \(j=1,2\). Since \(f_2\) is compactly supported, it belongs to \(H^s(\mathbb {R}_+,\mathbb {C}^n)\) for some \(s \in \mathbb {R}\). We have \(f_1 = \chi _1 f_2\), so also \(f_1 \in H^s(\mathbb {R}_+,\mathbb {C}^n)\). Now evaluate
Since \(\chi _1' + \chi _1 M \in C_c^{\infty }(\mathbb {R}_+)\), this implies that \(f_1 \in H^{s+1}(\mathbb {R}_+,\mathbb {C}^n)\). Next we may repeat this argument with \(\frac{\epsilon }{2}\) playing the role of new \(\epsilon \), \(\chi _1\) as the new \(\chi _2\) and arbitrarily chosen new \(\chi _1\). Then the new \(f_1\) is in \(H^{s+2}(\mathbb {R}_+, \mathbb {C}^n)\). Proceeding like this inductively we conclude that for every \(s \in \mathbb {R}\) there exists \(\chi \in C_c^{\infty }(\mathbb {R}_+)\) equal to 1 on a neighborhood of \(x_0\) such that \(\chi \, f\) belongs to \(H^s({\mathbb {R}}_+,\mathbb {C}^n)\). Taking \(s> \frac{1}{2}+k\) we conclude from Sobolev embeddings that f is of class \(C^k\) on a neighborhood of \(x_0\), perhaps after modifying it on a set of measure zero. Since this is true for every \(k \in {\mathbb {N}}\) and every \(x_0 \in \mathbb {R}_+\), f is smooth. \(\square \)
For \(p\in \mathcal {M}_{} \), we introduce two types of solutions of (3.2):
They are nowhere vanishing meromorphic functions of p for every x:
On \(\{ a \ne 0 \} \cap \{ b \ne 0 \}\) we have \(\eta _p^{\downarrow } = z^{-1} \eta _p^{\uparrow }\).
There exist also exceptional solutions, defined only for \(\mu =0\):
The nullspace of \(D_{\omega ,\lambda }\), that is, \(\text {Ker}(D_{\omega ,\lambda })\) has the following bases:
The canonical bisolution of \(D_{\omega ,\lambda }\) (A.5) at \(k=0\) takes the form
3.2 Nonzero Energy
Now consider the eigenequation for the eigenvalue \(k \in \mathbb {C}^\times \):
Acting on (3.7) with \( D_{\omega , - \lambda }+k\) we obtain
At first we focus on the case \(\mu ^2=\omega ^2 - \lambda ^2 \ne 0\), in which \(\begin{bmatrix}0 &{}\omega - \lambda \\ \omega + \lambda &{}0 \end{bmatrix}\) is a diagonalizable matrix. Decomposing f(x) in its eigenbasis
we find that functions \(f_{\pm } (x)\) satisfy the Whittaker equations
This second-order differential equation is satisfied by the Whittaker functions (D.15) and (D.18):
For generic values of parameters, the four functions appearing in (3.11) are linearly independent and thus (3.11) is the general solution of (3.8). Inspection of its expansion for \(x \rightarrow 0\) reveals that (again, for generic parameters) it is annihilated by \( D_{\omega , \lambda } -k\) if and only if
Remark 6
Equation (3.7) simplifies for \(\mu =0\), but instead of treating it separately we will construct solutions valid on the whole \(\mathcal {M}\) by analytic continuation. For similar reasons we disregard non-generic cases mentioned above Equation (3.12).
Let us introduce a family of solutions of the eigenequation (3.7) defined for \(k \in \mathbb {C}\backslash [0, \text {i}\infty [\):
As an alternative to the presented derivation, one may check directly that they satisfy (3.7) using recursion relations from “Appendix D.4”.
The second family, defined for \(k \in \mathbb {C}\backslash [0, - \text {i}\infty [\), is obtained by reflection:
Explicit expressions in terms of Whittaker functions take the form
Lemma 7
Let us fix k, x. \(\xi ^{+}_p(k,x)\) and \(\xi ^{-}_p(k,x)\) are meromorphic functions of \(p \in \mathcal {M}\), nonsingular away from \(\mathcal {E}^+\) and \(\mathcal {E}^-\), respectively. \(\zeta _p^+(k,x)\) and \(\zeta _p^-(k,x)\) are holomorphic functions on the whole \(\mathcal {M}\). Furthermore, \(\zeta _p^\pm (\cdot )\) satisfy \(\zeta _p^\pm = \zeta _{\tau (p)}^\pm \), where \(\tau \) was defined in (2.18), and are nonzero functions for every \(p \in \mathcal {M}\).
Proof
It is sufficient to prove the claim for the family with superscript minus. Meromorphic dependence on p is clear. Definitions of \(\xi _p^-\) and \(\zeta _p^-\) can be manipulated to the form
Functions \(\mu \mapsto \frac{\mathcal {I}_{- \text {i}\lambda , \mu - \frac{1}{2}}(2 \text {i}k x) - \text {i}\lambda \, \mathcal {I}_{- \text {i}\lambda ,\mu + \frac{1}{2}}(2 \text {i}k x)}{\mu }\) and \(\mu \mapsto \frac{\mathcal {K}_{- \text {i}\lambda , \mu - \frac{1}{2}}(2 \text {i}k x) - \mathcal {K}_{- \text {i}\lambda , \mu + \frac{1}{2}}(2 \text {i}k x) }{\mu }\) have removable singularities at \(\mu = 0\), as seen from identities (D.17), (D.19a). Therefore, \(\zeta _p^-(k,x)\) is regular for \(z \ne \infty \). If in addition \(p \notin \mathcal {E}^-\), then also \((N_p^-)^{-1}\) and hence \(\xi _p^-\) is nonsingular.
Next write \((\omega +\lambda ) (z+ \text {i}) \begin{bmatrix} z \\ 1 \end{bmatrix} = (\omega - \lambda ) (1+ \text {i}z^{-1}) \begin{bmatrix} 1 \\ z^{-1} \end{bmatrix}\) in (3.16a). Then it is clear that \(\zeta _p^-(k,x)\) is nonsingular for \(z=\infty \).
Moreover, \(\frac{z}{ N_p^-} = \Gamma (1 + \mu + \text {i}\lambda )(1- \text {i}z^{-1})^{-1}\) is nonsingular for \(z=\infty \) if \(p\not \in \mathcal {E}_0^-\). Hence, \(\xi _{p}^-(k,x) \) is nonsingular for \(z=\infty \) if \(p \notin \mathcal {E}^-\).
The statement about the symmetry \(\mu \rightarrow -\mu \) follows from the comparison of (3.16a) and (3.16c). The last claim follows from (3.19) below. \(\square \)
Remark 8
Proof of Lemma 7 shows that functions \(\frac{\xi _p^{\pm }(k,x)}{\Gamma (1+ \mu {\mp } \text {i}\lambda )}\) are singular on subsets of \(\mathcal {M}\) smaller than \(\mathcal {E}^{\pm }\), namely on \(\mathcal {E}_0^\pm \). Moreover, \(\frac{(\omega - \lambda {\mp } \text {i}\mu ) \xi _p^{\pm }(k,x)}{\Gamma (1+ \mu {\mp } \text {i}\lambda )}\) is holomorphic everywhere on \(\mathcal {M}\); however, it vanishes on \(\mathcal {Z}\cup \{ a = 0 \}\).
Near the origin, \(\xi _p^\pm \) has the leading term proportional to \((kx)^\mu \), except for \(2 \mu +1 \in - {\mathbb {N}}\):
If \(k \in \mathbb {C}_\pm \), it grows exponentially at infinity:
Under the same assumption, \(\zeta _p^\pm \) is exponentially decaying:
Behavior of this function near the origin is much more complicated, see (D.24). Here we note only that for \(\text {Re}(\mu ) >0\) one has
For \(k \in \mathbb {C}\backslash \text {i}\mathbb {R}\) both families of solutions are defined. The following lemma provides relations between them. It is convenient to introduce \(\varepsilon _k = \text {sgn}(\text {Re}(k))\), which distinguishes connected components of \(\mathbb {C}\backslash \text {i}\mathbb {R}\).
Lemma 9
For every \(k \in \mathbb {C}\backslash \text {i}\mathbb {R}\) we have
Proof
Equation (3.21a) follows immediately from (D.16a). To derive (3.21b), we express \(\xi _p^\pm \) and \(\zeta _p^\pm \) in terms of trigonometric Whittaker functions and use the connection formula (D.33). Then (3.21c) is obtained by reflection or by combining with (3.21a). Equation (3.21d) is obtained from (3.21b) and (3.21c) by inverting and multiplying \(2 \times 2\) matrices. \(\square \)
Lemma 10
\(\xi _p^{\pm }\) and \(\xi _{\tau (p)}^\pm \), two eigenvectors of the monodromy, can be used to express \(\zeta _p^{\pm }\):
The analytic continuation of \(\zeta _p^\pm \) along a loop winding around the origin counterclockwise gives
Proof
Relation (3.22) may be derived from (D.18). Then (3.23) follows immediately. \(\square \)
Lemma 11
The following relations hold:
In particular, \(\xi _p^\pm (k, \cdot ), \zeta _p^\pm (k, \cdot )\) form a basis of solutions of (3.7) for \(p \notin \mathcal {E}^\pm \) and \(k \notin [0, {\mp } \text {i}\infty [\), while \(\zeta _p^+(k, \cdot )\) and \(\zeta _p^-(k, \cdot )\) form a basis whenever \(k \notin \text {i}\mathbb {R}\).
Proof
Equation (3.7) may be rewritten in the form \(f'(x) = M(x) f(x)\), where M(x) is a traceless matrix. Therefore, for any two solutions f, g the determinant \(\det \begin{bmatrix} f(x)&g(x) \end{bmatrix}\) is independent of x. To calculate it for \(f = \xi _{p}^\pm (k,\cdot )\), \(g = \zeta _{p}^\pm (k, \cdot )\), we use their asymptotic forms for \(x \rightarrow 0\). By holomorphy, it is sufficient to carry out the computation for \(\text {Re}(\mu ) > 0\). Then we may use (3.17) and (3.20). To obtain (3.24b), we combine (3.21b) with (3.24a). \(\square \)
We remark that restrictions on k in Lemma 11 may be omitted if the functions \(\xi _p^\pm \) and \(\zeta _p^\pm \) are analytically continued in suitable way.
Lemma 12
The following relation holds for \(p \in \mathcal {E}^{\pm }\):
In particular \((S_p)^{{\mp } 1} \xi ^{\pm }_p(k,x)\) is nonsingular on \(\mathcal {E}^{\pm }\).
Proof
It is sufficient to consider the lower sign. If \(p \in \mathcal {E}^-\), then either \(1 + \mu + \text {i}\lambda \in - {\mathbb {N}}\) or \(z=\text {i}\) (and hence \(\mu + \text {i}\lambda =0\)). In the former case we use (D.21) for both terms in (3.13b). In the latter case (D.21) may be used only for the second term, but the first term in both (3.13a) and (3.13b) vanishes. This establishes (3.25). \(\square \)
The following function will be called the two-sided Green’s kernel. It is defined if \(k \in \mathbb {C}_\pm \) and \(p \notin \mathcal {E}^{\pm }\):
It is a holomorphic function of \(p \in \mathcal {M}\backslash \mathcal {E}^{\pm }\) satisfying
Later on, with some restrictions on parameters, it will be interpreted as the resolvent of certain closed realizations of \(D_p\).
4 Minimal and Maximal Operators
We consider the operator
on distributions on \(\mathbb {R}_{+} = ]0,\infty [\) valued in \(\mathbb {C}^2\). We will construct out of it several densely defined operators on \(L^2(\mathbb {R}_+,\mathbb {C}^2)\).
Firstly, we let \(D_{\omega , \lambda }^\mathrm {pre}\) be the restriction of \( D_{\omega , \lambda }\) to \(C_c^{\infty }=C_c^{\infty }(\mathbb {R}_+, \mathbb {C}^2)\), called the preminimal realization of \(D_{\omega ,\lambda }\). We have \(D_{ \overline{\omega }, {\overline{\lambda }}}^\mathrm {pre} \subset D_{\omega , \lambda }^{\mathrm {pre}*}\), so \(D_{\omega , \lambda }^{\mathrm {pre}*}\) is densely defined. Thus, \(D_{\omega , \lambda }^\mathrm {pre}\) is closable. Its closure will be denoted by \(D_{\omega , \lambda }^{\min }\). Next, \(D_{\omega , \lambda }^{\max }\) is defined as the restriction of \( D_{\omega , \lambda }\) to \(\text {Dom}(D_{\omega , \lambda }^{\max }) = \{ f \in L^2(\mathbb {R}_+,\mathbb {C}^2) \, | \, D_{\omega , \lambda } f \in L^2(\mathbb {R}_+,\mathbb {C}^2) \}\). It is easy to check that \(D_{\omega , \lambda }^{\min } \subset D_{\omega ,\lambda }^{\max } = D_{ \overline{\omega }, \overline{\lambda }}^{\mathrm {pre}*}\). Furthermore, \(\overline{D_{\omega , \lambda }^\mathrm {pre}} = D_{ \overline{\omega }, {\overline{\lambda }}}^\mathrm {pre}\) and analogously for \(D_{\omega , \lambda }^{\min }\) and \(D_{\omega , \lambda }^{\max }\). As a consequence,
Operators \(D_{\omega , \lambda }^\text {pre}, D_{\omega , \lambda }^{\min }\) and \(D_{\omega , \lambda }^{\max }\) are all homogeneous of order \(-1\).
We choose \(\mu \in \mathbb {C}\) satisfying \(\mu ^2 = \omega ^2 - \lambda ^2\). Note that in general \(\mu \) is not uniquely determined by \(\omega , \lambda \). For the moment it does not matter which one we take.
Theorem 13
-
1.
If \(|\text {Re}(\mu )|\ge \frac{1}{2}\), then
$$\begin{aligned} \text {Dom}(D_{\omega , \lambda }^{\max })=\text {Dom}(D_{\omega , \lambda }^{\min }). \end{aligned}$$(4.3) -
2.
If \(|\text {Re}(\mu )|<\frac{1}{2}\), then
$$\begin{aligned} \dim \text {Dom}(D_{\omega , \lambda }^{\max })/\text {Dom}(D_{\omega , \lambda }^{\min })=2. \end{aligned}$$(4.4)Besides, if \(\chi \in C_\mathrm {c}^\infty ([0,\infty [)\) equals 1 near 0, then
$$\begin{aligned} \text {Dom}(D_{\omega , \lambda }^{\max })=\text {Dom}( D_{\omega , \lambda }^{\min })+ \{f\chi \, | \, f\in \text {Ker}(D_{\omega , \lambda })\} .\end{aligned}$$(4.5)
We will prove the above theorem in the next section. Now we would like to discuss its consequences. If \(|\text {Re}(\mu )| < \frac{1}{2}\), we are especially interested in operators \(D_{\omega , \lambda }^\bullet \) satisfying
By the above theorem, they are in \(1-1\) correspondence with rays in \(\text {Ker}(D_{\omega , \lambda })\).
More precisely, let \(f\in \text {Ker}(D_{\omega , \lambda })\), \(f\ne 0\). Define \(D_{\omega , \lambda }^f\) as the restriction of \(D_{\omega , \lambda }^{\max }\) to
Then \(D_{\omega , \lambda }^f\) is independent of the choice of \(\chi \) and satisfies
Every \(D_{\omega , \lambda }^{\bullet }\) satisfying (4.6) is of the form \(D_{\omega , \lambda }^f\) for some f and we have \(D_{\omega , \lambda }^f = D_{\omega , \lambda }^g\) if and only if f and g are proportional to each other.
We will now investigate the domain of the minimal operator. Note that if we know the domain of \(D_{\omega , \lambda }^{\min }\), then the domain of \(D_{\omega , \lambda }^{\max }\) is also known from Theorem 13. From now on we do not use this result until its proof is presented.
The following two facts are well-known:
Lemma 14
Hardy’s inequality: If \( f \in H_0^1(\mathbb {R}_+)\), then
Lemma 15
If R, S are closed operators such that R has bounded inverse, then RS is closed.
The above two lemmas are used in the following characterization of the minimal domain:
Proposition 16
\(H_0^1(\mathbb {R}_+, \mathbb {C}^2) \subset \text {Dom}(D_{\omega , \lambda }^{\min })\), with an equality if \(|\text {Re}(\mu )| \ne \frac{1}{2}\).
Proof
The inclusion follows from Hardy’s inequality. To prove the second part of the statement, we use Lemma 15. Consider \(R = A -M_{\omega , \lambda }\), \(S = \frac{\sigma _2}{x}\), where \(M_{\omega , \lambda } = \begin{bmatrix} \frac{\text {i}}{2} &{} - \text {i}\lambda -\text {i}\omega \\ \text {i}\lambda - \text {i}\omega &{} \frac{\text {i}}{2} \end{bmatrix}\). R is a bounded perturbation of A, so \(\text {Dom}(R)= \text {Dom}(A)\) and R is closed, while S is self-adjoint on the domain \(\text {Dom}(S) = \left\{ f \in L^2(\mathbb {R}_+,\mathbb {C}^2) \, | \, \frac{1}{x} f(x) \in L^2(\mathbb {R}_+,\mathbb {C}^2) \right\} \). One checks that \(RS = \left. D_{\omega , \lambda } \right| _{\text {Dom}(RS)}\). Next we show that \(\text {Dom}(RS) = H_0^1(\mathbb {R}_+,\mathbb {C}^2)\).
If \(f \in \text {Dom}(RS)\), then \(x \mapsto \frac{f(x)}{x}\) belongs to \( \text {Dom}(A)\). Since \(x \partial _x \frac{f(x)}{x} = f'(x) - \frac{f(x)}{x}\), this entails that \(f' \in L^2\). Thus, \(f \in H^1(\mathbb {R}_+, \mathbb {C}^2) \cap \text {Dom}(S) = H_0^1(\mathbb {R}_+,\mathbb {C}^2)\). Conversely, if \(f \in H_0^1(\mathbb {R}_+,\mathbb {C}^2)\), then \(f \in \text {Dom}(S)\) by Hardy’s inequality, while the last computation implies that \(Sf \in \text {Dom}(A)\). Thus, \(f \in \text {Dom}(RS)\).
We have shown that \(\text {Dom}(RS) = H_0^1(\mathbb {R}_+,\mathbb {C}^2)\), which is dense in \(\text {Dom}(D_{\omega , \lambda }^{\min })\) with the graph topology. Thus, \(D_{\omega , \lambda }^{\min }\) is the closure of RS. We have to check that R has bounded inverse.
If \(\mu \ne 0\), then \(M_{\omega , \lambda }\) is a diagonalizable matrix with eigenvalues \(c_{\pm }=\frac{\text {i}}{2} \pm \text {i}\mu \), which have nonzero imaginary part if \(|\text {Re}(\mu )| \ne \frac{1}{2}\). Therefore, the operator \(A- M_{\omega , \lambda }\) is similar to \(A - \begin{bmatrix} c_+ &{} 0 \\ 0 &{} c_- \end{bmatrix}\), which clearly is boundedly invertible. If \(\mu =0\), then \(N_{\omega ,\lambda }=M_{\omega , \lambda } - \frac{\text {i}}{2}\) is a nilpotent matrix, \(N_{\omega , \lambda }^2=0\). Therefore, \((A- M_{\omega , \lambda })^{-1} = (A - \frac{\text {i}}{2})^{-1} + (A - \frac{\text {i}}{2})^{-1} N_{\omega , \lambda } (A - \frac{\text {i}}{2})^{-1}\). \(\square \)
Corollary 17
\(D_{\omega , \lambda }^{\min }\) and \(D_{\omega , \lambda }^{\max }\) are holomorphic families of closed operators for \(|\text {Re}(\mu )| \ne \frac{1}{2}\).
Proof
Away from the set \(|\text {Re}(\mu )| = \frac{1}{2}\), the operators \(D_{\omega , \lambda }^{\min }\) have a constant domain. By Hardy’s inequality, \(D_{\omega , \lambda } f\) is a holomorphic family of elements of \(L^2(\mathbb {R}_+,\mathbb {C}^2)\) for any \(f \in H_0^1(\mathbb {R}_+,\mathbb {C}^2)\). Hence, \(D_{\omega , \lambda }^{\min }\) form a holomorphic family of bounded operators \(H_0^1(\mathbb {R}_+,\mathbb {C}^2) \rightarrow L^2(\mathbb {R}_+,\mathbb {C}^2)\). The claim for \(D_{\omega , \lambda }^{\max }\) follows by taking adjoints (see, e.g., Theorem 3.42 in [14]). \(\square \)
We denote by \(\sigma _\text {p}(B)\) the point spectrum of an operator B, that is
If \(\dim (\text {Ker}(B-k))=1\), we say that k is a nondegenerate eigenvalue.
In the following proposition we give a complete description of the point spectrum of the maximal and minimal operator. With no loss of generality, we assume that \(\text {Re}(\mu ) > - \frac{1}{2}\). Note that the definition of \(\mathcal {E}^\pm \) is not symmetric with respect to \(\mu \mapsto - \mu \)!
Proposition 18
One of the following mutually exclusive statements is true:
-
1.
\(\text {Re}(\mu ) \ge \frac{1}{2}\) and \((\omega ,\lambda ,\mu )\in \mathcal {E}^\pm \). Then
$$\begin{aligned}\sigma _\text {p}(D_{\omega ,\lambda }^{\max })=\sigma _\text {p}(D_{\omega ,\lambda }^{\min })=\mathbb {C}_\pm .\end{aligned}$$ -
2.
\(\text {Re}(\mu ) \ge \frac{1}{2}\) and \((\omega ,\lambda ,\mu )\not \in \mathcal {E}^+\cup \mathcal {E}^-\). Then
$$\begin{aligned}\sigma _\text {p}(D_{\omega ,\lambda }^{\max })=\sigma _\text {p}(D_{\omega ,\lambda }^{\min })=\emptyset .\end{aligned}$$ -
3.
\(\text {Re}(\mu ) < \frac{1}{2}\) and \(|\text {Im}(\lambda )| \le \frac{1}{2}\). Then
$$\begin{aligned}\sigma _\text {p}(D_{\omega ,\lambda }^{\max })=\mathbb {C}\backslash \mathbb {R},\qquad \sigma _\text {p}(D_{\omega ,\lambda }^{\min })=\emptyset .\end{aligned}$$ -
4.
\(\text {Re}(\mu ) < \frac{1}{2}\) and \(|\text {Im}(\lambda )| > \frac{1}{2}\). Then
$$\begin{aligned}\sigma _\text {p}(D_{\omega ,\lambda }^{\max })=\mathbb {C}^\times ,\qquad \sigma _\text {p}(D_{\omega ,\lambda }^{\min })=\emptyset .\end{aligned}$$
Besides, all eigenvalues of \(D_{\omega ,\lambda }^{\max }\) and \(D_{\omega ,\lambda }^{\min }\) are nondegenerate.
Proof
The four possibilities listed above are clearly mutually exclusive and cover all cases. Indeed, case \(p \in \mathcal {E}^+ \cap \mathcal {E}^-\) is ruled out by Lemma 4.
By Lemma 5, every \(f \in \text {Ker}(D_{\omega , \lambda }^{\max } -k)\) is a smooth function satisfying the differential equation \(( D_{\omega , \lambda }-k) f =0\), in which derivatives may be understood in the classical sense. Space of solutions of this equation is two-dimensional.
By discussion in Sect. 3, there exist no nonzero solutions in \(L^2(\mathbb {R}_+,\mathbb {C}^2)\) for \(k=0\). In the remainder of the proof we restrict attention to \(k \ne 0\).
First suppose that \(\text {Re}(\mu )\ge \frac{1}{2}\). If \(p \notin \mathcal {E}^+ \cup \mathcal {E}^-\), then \(\xi _p^+\) (as well as \(\xi _p^-\)) is the unique up to scalars solution square integrable in a neighborhood of zero, since other solutions have leading term proportional to \(x^{- \mu }\). It is not in \(L^2(\mathbb {R}_+,\mathbb {C}^2)\). Now let \(p \in \mathcal {E}^{\pm }\). If \(\pm \text {Im}(k) \le 0\), we can argue in the same way using function \(\xi _p^{\mp }\). In the case \(k \in \mathbb {C}_\pm \) solution \(\zeta _p^{\pm }\) is square integrable, whereas solutions not proportional to it grow exponentially at infinity. If \(\text {Re}(\mu ) > \frac{1}{2}\), then we have also \(\zeta _p^\pm \in H_0^1(\mathbb {R}_+,\mathbb {C}^2) \subset \text {Dom}(D_{\omega , \lambda }^{\min })\).
If \(\text {Re}(\mu ) = \frac{1}{2}\), then \(\zeta _p^{\pm } \notin H_0^1(\mathbb {R}_+,\mathbb {C}^2)\). We will now show that nevertheless \(\zeta _p^{\pm } \in \text {Dom}(D_{\omega , \lambda }^{\min })\). We define \(\zeta _{p,\epsilon }^\pm (k,x) = \min \{ x^{\epsilon } ,1 \} \zeta _p^\pm (k,x)\) for \(\epsilon >0\). Then \(\zeta _{p,\epsilon }^\pm \in H_0^1(\mathbb {R}_+,\mathbb {C}^2) \subset \text {Dom}(D_{\omega , \lambda }^{\min })\). We will show that \(\zeta _{p,\epsilon }^\pm \) converges to \(\zeta _p^\pm \) in the graph topology of \(\text {Dom}(D_{\omega , \lambda }^{\max })\) as \(\epsilon \rightarrow 0\). Indeed, convergence in \(L^2(\mathbb {R}_+,\mathbb {C}^2)\) is clear. Furthermore,
where \(\mathbbm {1}_{[0,1]}\) is the characteristic function of [0, 1]. The first term converges to \(k \zeta _p^\pm = D_{\omega , \lambda }^{\max } \zeta _p^\pm \). We show that the second term converges to zero by estimating
Now suppose that \(|\text {Re}(\mu ) |< \frac{1}{2}\). Then all solutions are square integrable in a neighborhood of the origin, but they do not belong to \(H_0^1(\mathbb {R}_+,C^2) = \text {Dom}(D_{\omega , \lambda }^{\min })\). If \(k \in \mathbb {C}_\pm \), then \(\zeta _p^\pm \) is square integrable and solutions not proportional to it grow at infinity.
It only remains to consider the case of nonzero \(k \in \mathbb {R}\). There exist solutions with leading terms for \(x \rightarrow \infty \) proportional to \(\text {e}^{- \text {i}k x} (kx)^{- \text {i}\lambda }\) and \(\text {e}^{\text {i}k x} (kx)^{ \text {i}\lambda }\). If \(|\text {Im}(\lambda )| > \frac{1}{2}\), then one of these two is square integrable. \(\square \)
We note that Proposition 18 partially describes also ranges of \(D_{\omega ,\lambda }^{\min }\) and \(D_{\omega ,\lambda }^{\max }\), since
Corollary 19
Operators \(D_{\omega , \lambda }^{\begin{array}{c} \min \end{array}}\) and \(D_{\omega , \lambda }^{\begin{array}{c} \max \end{array}}\) have empty resolvent sets if \(|\text {Re}(\mu )| < \frac{1}{2}\).
5 Homogeneous Realizations and the Resolvent
5.1 Definition and Basic Properties
We consider the following open subset of \(\mathcal {M}\):
As before, choose \(\chi \in C_\mathrm {c}^\infty (\mathbb {R}_+)\) equal to 1 near 0. If \(p = (\omega , \lambda , \mu ,[a:b]) \in \mathcal {M}_{- \frac{1}{2}}\), we define \(D_p\) to be the restriction of \(D_{\omega ,\lambda }^{\max }\) to
This definition is correct because \(x^{\mu } \begin{bmatrix} a \\ b \end{bmatrix}\chi \) is an element of \(\text {Dom}(D_{\omega , \lambda }^{\max })\) for \(\text {Re}(\mu ) > - \frac{1}{2}\). If \(\text {Re}(\mu ) \ge \frac{1}{2}\), then it belongs to \(\text {Dom}(D_{\omega , \lambda }^{\min })\), so we have \(D_p = D_{\omega , \lambda }^{\min }\).
Theorem 20
Let \(p\in \mathcal {M}_{{}-\frac{1}{2}}\). Then the operator \(D_p\) does not depend on the choice of \(\chi \), is closed, self-transposed and
If \(\pm \text {Im}(k) >0\) and \(p\not \in \mathcal {E}^{\pm }\), then the integral kernel \(G_p^{\bowtie }(k;x,y)\) introduced in (3.26) defines a bounded operator \(G_p^{\bowtie }(k)\) and
For \(k\in \mathbb {C}_\pm \), the map \(\mathcal {M}_{{}-\frac{1}{2}} \backslash \mathcal {E}^\pm \ni p\mapsto (D_p-k)^{-1}\) is a holomorphic family of bounded operators.
Therefore, \(\mathcal {M}_{{}-\frac{1}{2}} \ni p\mapsto D_p\) is a holomorphic family of closed operators.
Proof
It is sufficient to consider the case \(\text {Im}(k)<0\). Let \(p \notin \mathcal {E}^-\). We prove the boundedness separately for the integral operators with kernels \(G^{\bowtie }_{p}(k)\) restricted to four regions forming a partition of \(\mathbb {R}_+ \times \mathbb {R}_+\) (up to an inconsequential overlap on a set of measure zero). Throughout the proof we use notation \(x_< = \min \{ x, y \}\), \(x_> = \max \{ x, y \}\). Symbols \(c_{p}, c_{p}'\) will be used for positive constants which are locally bounded functions of p.
First we consider the region \(x,y \le |k|^{-1}\). Inspecting the asymptotics of Whittaker functions for small argument we conclude that \(|G^{\bowtie }_{p}(k;x,y)| \le c_{p} (|k|x_<)^{\text {Re}(\mu )} (|k| x_>)^{-|\text {Re}(\mu )|}\). Using this inequality and elementary integrals, we estimate
Therefore, the Hilbert–Schmidt norm of the corresponding operator is bounded by \(\frac{c_p'}{|k|}\).
Next, in the region \(y \le |k|^{-1} \le x\) we have \(|G^{\bowtie }_{p}(k)| \le c_{p} (|k| y)^{\text {Re}(\mu )} (|k|x)^{\text {Im}(\lambda )} \text {e}^{-|\text {Im}(k)| x} \). Thus,
which is a convergent integral depending continuously on \(\lambda , \mu \). Again, the corresponding operator is Hilbert–Schmidt with locally bounded norm. By the symmetry property (3.27) the same is true for the region \(x \le |k|^{-1} \le y\).
Finally for \(x, y \ge |k|^{-1}\) we have \(|G^{\bowtie }_{p}(k;x,y)| \le c_{p} \text {e}^{-|\text {Im}(k)| (x_> - x_<)} \frac{x_>^{\text {Im}(\lambda )}}{x_<^{\text {Im}(\lambda )}}\). Hence,
If \(\text {Im}(\lambda ) \le 0\), then \( \frac{y^{{\mp } \text {Im}(\lambda )}}{x^{{\mp } \text {Im}(\lambda )}} \le 1\) under these integrals, so elementary calculation gives
Next we consider the case \(\text {Im}(\lambda ) >0\). Integration by parts in the first term of (5.7) gives
The integrand of this integral is maximized at one of the two endpoints, so
Optimizing with respect to x we conclude that
In the second integral in (5.7), we integrate by parts \(n \ge \text {Im}(\lambda )\) times:
where \(c_j:=\text {Im}(\lambda ) (\text {Im}(\lambda )-1)\cdots (\text {Im}(\lambda )-j+1)\). Next we estimate \(y^{\text {Im}(\lambda )-n} \le x^{\text {Im}(\lambda )-n}\) and \(x^{-j} \le |k|^j\) under the remaining integral. Then simple calculation gives
The same estimates are true for \(\int _{|k|^{-1}}^{\infty } |G^{\bowtie }_{p}(k;x,y)|\text {d}x\). The claim follows by Schur’s criterion. This proves the boundedness of \(G^{\bowtie }_p(k)\).
Equation (3.27) implies that (whenever \(G^{\bowtie }_{p}(k)\) is defined) we have \(\langle f|G^{\bowtie }_{p}(k)g\rangle = \langle G^{\bowtie }_{p}(k) f|g\rangle \) for \(f,g \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\). By continuity, the same is true for all \(f,g \in L^2(\mathbb {R}_+,\mathbb {C}^2)\). Thus, \(G^{\bowtie }_{p}(k)\) is self-transposed.
Next we check that \(\langle f|D_p g\rangle = \langle D_p f|g\rangle \) for \(f,g \in \text {Dom}(D_p)\). To this end, we evaluate
If either f or g is in \(C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\), the right-hand side is zero. By continuity with respect to the graph norm, the same is true for all \(f,g \in \text {Dom}(D_{\omega , \lambda }^{\min })\). Since \(\sigma _2\) is a skew-symmetric matrix, the right-hand side vanishes also for f, g proportional to \(\chi x^{\mu } \begin{bmatrix} a \\ b \end{bmatrix}\). Thus, \(D_p\) is self-transposed.
Let \(f \in L^2(\mathbb {R}_+,\mathbb {C}^2)\). We pick a sequence \(f_i \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) such that \(f_i \rightarrow f\). Then \(G^{\bowtie }_{p}(k) f_i \rightarrow G^{\bowtie }_{p}(k) f\) and
Since \(D_{p}\) is closed, this implies that \(f \in \text {Dom}(D_{p})\) and \(D_{p}G^{\bowtie }_{p}(k) f = f + k G^{\bowtie }_{p}(k) f\). Therefore, we have \(\text {Ran}(G^{\bowtie }_{p}(k)) \subset \text {Dom}(D_p)\) and \((D_{p}-k)G^{\bowtie }_{p}(k)=1\).
For any \(f \in L^2(\mathbb {R}_+,\mathbb {C}^2)\) and \(g \in \text {Dom}(D_{p})\) we have
Since f was arbitrary, \(G^{\bowtie }_{p}(k) (D_{p}-k) g = g\). Thus, \(k \notin \sigma (D_p)\) and \(G^{\bowtie }_{p}(k)=(D_{p}-k)^{-1}\).
To show that \((D_p-k)^{-1}\) is unbounded for \(k \in {\mathbb {R}}^\times \), we fix \(\epsilon >0\) and consider the function
Then \(f_{\epsilon } \in \text {Dom}(D_{p})\) and \(|(D_{p}-k) f_{\epsilon } (x)|= \epsilon |f_{\epsilon } (x)|\), so \(\frac{\Vert (D_{p}-k) f_{\epsilon } \Vert }{\Vert f_{\epsilon } \Vert } = \epsilon \). Hence, \(k \in \sigma (D_p)\). Since \(\sigma (D_p)\) is closed, \(\mathbb {R}\subset \sigma (D_p)\).
Finally, let \(p \in \mathcal {E}^\pm \), \(k \in \mathbb {C}_\pm \). Then \(\zeta _p^\pm (k, \cdot )\) belongs to \(\text {Ker}(D_p - k)\). \(\square \)
Corollary 21
We have \(D_p^* = D_{{\overline{p}}}\). In particular \(D_p\) is self-adjoint if \(p = {\overline{p}}\).
We are now ready to prove Theorem 13.
Proof of Theorem 13
We choose some k in the resolvent set of \(D_p\).
If \(|\text {Re}(\mu )| \ge \frac{1}{2}\), then \(D_{\omega , \lambda }^{\min } =D_p\), so it suffices to show that \(D_p = D_{\omega , \lambda }^{\max }\). Indeed, \(D_p - k\) is surjective, so the ranges of \(D_p-k\) and \(D_{\omega ,\lambda }^{\max }-k\) coincide. By Proposition 18 also kernels are equal.
Next we consider the case \(|\text {Re}(\mu )| < \frac{1}{2}\).
We easily check that \(\chi x^{\mu } \begin{bmatrix} a \\ b \end{bmatrix} \notin H_0^1(\mathbb {R}_+,\mathbb {C}^2)\), which by Proposition 16 for \(|\text {Re}(\mu )| < \frac{1}{2}\) coincides with \(\text {Dom}(D_{\omega , \lambda }^{\min })\). Hence, \(\text {Dom}(D_{\omega , \lambda }^{\min })\) is a codimension one subspace of \(\text {Dom}(D_p)\).
Next, \(D_{p}-k\) and \(D_{\omega , \lambda }^{\max }-k\) have the same range–the whole Hilbert space. Besides, \(\dim \text {Ker}(D_{\omega , \lambda }^{\max }-k)=1\) by Proposition 18. Hence, \(\text {Dom}(D_p)\) is a codimension one subspace of \(\text {Dom}(D_{\omega , \lambda }^{\max })\). \(\square \)
Proposition 22
Family \(D_p\) has the following symmetries
where \(\sigma _j\) are the Pauli matrices.
Proof
Matrix multiplication gives
Using (5.2) one checks that the domains of operators on the left and right-hand side of (22) agree. \(\square \)
5.2 Essential Spectrum
Proposition 23
Let \(p,p' \in \mathcal {M}_{{}-\frac{1}{2}}\) and \(k\not \in \sigma (D_p)\cup \sigma (D_{p'})\). Then \(G^{\bowtie }_{p}(k)-G^{\bowtie }_{p'}(k)\) is a Hilbert–Schmidt operator.
Proof
The proof of Theorem 20 shows that it suffices to show that the integral operator with kernel \(G^{\bowtie }_{p}(k) - G^{\bowtie }_{p'}(k)\) restricted to the region \(x,y \ge |k|^{-1}\) is Hilbert–Schmidt. Furthermore, we may assume that \(\text {Im}(k)<0\). Using formulas (3.18) and (3.19), we obtain the following asymptotic expansion for \(x, y \rightarrow \infty \):
It follows that we have
with some constant c independent of x, y. Therefore,
Next we change variables to y, t with \(x = t y \). This gives
where we have computed an elementary integral over y. The remaining integrand is bounded for \(t \rightarrow 1\) and decays exponentially for \(t \rightarrow \infty \). Therefore, the integral converges. \(\square \)
Resolvents of operators \(D_p\) for distinct \(p\in \mathcal {M}_{-\frac{1}{2}}\) are close to each other in the sense specified by Proposition 23. Therefore, it is useful to know that for some p their integral kernels are particularly simple. These are provided in the “Appendix A.3”.
By the essential spectrum (resp. essential spectrum of index zero) of a closed operator R, we mean the set \(\sigma _{\text {ess}}(R)\) (resp. \(\sigma _{\text {ess},0}(R)\)) of all \(k \in {\mathbb {C}}\) such that \(R-k\) is not a Fredholm operator (resp. Fredholm operator of index zero). Clearly \(\sigma _{\text {ess}}(R) \subset \sigma _{\text {ess},0}(R)\).
Lemma 24
Let R, S be closed operators such that there exists \(k_0\) in the intersection of resolvent sets of R and S such that \((R-k_0)^{-1}-(S-k_0)^{-1}\) is a compact operator. Then \(\sigma _{\text {ess}}(R) = \sigma _{\text {ess}}(S)\) and \(\sigma _{\text {ess},0}(R) = \sigma _{\text {ess},0}(S)\).
Proof
By assumption, \((S-k_0)^{-1}\) and \((R-k_0)^{-1}\) have the same essential spectra. The spectral mapping theorem proven in [4] gives
The same argument works also for \(\sigma _{\text {ess},0}\). \(\square \)
Corollary 25
For any \(p\in \mathcal M_{{}-\frac{1}{2}}\) we have \(\sigma _{\text {ess}}(D_p)=\sigma _{\text {ess},0}(D_p) = {\mathbb {R}}\).
Proof
There exists p such that \(\sigma (D_p)=\mathbb {R}\). By Lemma 24, it is sufficient to prove our statement for such p. Clearly, \(\sigma _{\text {ess}}(D_p) \subset \sigma _{\text {ess},0}(D_p) \subset \sigma (D_p) = {\mathbb {R}}\). If \(k \in \mathbb {R}\), then \(D_p -k\) is injective and its range is dense, hence not closed, for otherwise \((D_p-k)^{-1}\) would be bounded. \(\square \)
Corollary 26
Let \(\omega , \lambda \) be such that \(|\text {Re}\sqrt{\omega ^2 - \lambda ^2}| < \frac{1}{2}\). Then \(\sigma _{\text {ess}}(D_{\omega ,\lambda }^{\min }) = \sigma _{\text {ess}}(D_{\omega ,\lambda }^{\max }) = \mathbb {R}\). If \(k \in \mathbb {C}{\setminus } \mathbb {R}\), then \(D_{\omega ,\lambda }^{\min } - k\) and \(D_{\omega ,\lambda }^{\max } - k\) are Fredholm operators with indices \(-1\) and \(+1\), respectively. If D is an operator satisfying \(D_{\omega ,\lambda }^{\min } \subsetneq D \subsetneq D_{\omega ,\lambda }^{\max }\), then \(\sigma _{\text {ess}}(D) = \sigma _{\text {ess},0}(D)=\mathbb {R}\).
Proof
Follows from Theorem 13 and Corollary 25. \(\square \)
5.3 Limiting Absorption Principle
Let \(s\in \mathbb {R}\). The Hilbert space \(L^2_s(\mathbb {R}_+,\mathbb {C}^2)\) is defined as the completion of \(C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) with respect to the norm induced by the scalar product \(( f | g )_s = \int _0^{\infty } (1+x^2)^{s} \overline{f(x)} g(x) \text {d}x\). For any \(t \in {\mathbb {R}}\) we have a unitary operator \(\langle X \rangle ^t : L^2_s(\mathbb {R}_+,\mathbb {C}^2) \rightarrow L^2_{s-t}(\mathbb {R}_+,\mathbb {C}^2)\) given by \((\langle X \rangle ^t f)(x) = (1+x^2)^{\frac{t}{2}} f(x)\), alternatively regarded as an (unbounded for \(t>0\)) positive operator on \(L^2(\mathbb {R}_+,\mathbb {C}^2)\).
Proposition 27
Let \(p \in \mathcal {M}_{- \frac{1}{2}} \backslash \mathcal {E}^{\pm }\), \(k \in \mathbb {R}^\times \). The limit \(G^{\bowtie }_{p}(k \pm \text {i}0) \!:= \!\lim \limits _{\epsilon \downarrow 0} G^{\bowtie }_{p}( k \pm \text {i}\epsilon )\) exists as a compact operator \(L^2_s(\mathbb {R}_+,\mathbb {C}^2) \rightarrow L^2_{-s}(\mathbb {R}_+,\mathbb {C}^2)\) for any \(s > |\mathrm {Im}(\lambda )| + \frac{1}{2}\) and depends continuously on p, k.
If \(\text {Re}(\mu ) >0\), then \(\mathbb {R}^\times \) may be replaced by \(\mathbb {R}\) in the above statement and \(G_p^{\bowtie }(\pm \text {i}0)\) has the kernel
If \(\text {Re}(\mu ) \le 0\), then \(\Vert G_p^{\bowtie }(k) \Vert _{B(L^2_s,L^2_{-s})} = O(|k|^{2 \text {Re}(\mu )})\) for \(k \rightarrow 0\).
Therefore, in both cases we have \(\Vert G_p^{\bowtie }(\cdot \pm \text {i}0) \Vert _{B(L^2_s, L^2_{-s})} \in L^1_{\mathrm {loc}}(\mathbb {R})\).
Proof
It is sufficient to cover the case of k approaching the real axis from below. Asymptotics of \(G^{\bowtie }(k;x,y)\) are such that \((1+x^2)^{- \frac{s}{2}} (1+y ^2)^{- \frac{s}{2}} G^{\bowtie }_{p}(k;x,y )\) is an \(L^2({\mathbb {R}}_+^2 , \mathrm {End}(\mathbb {C}^2))\) function. Dominated convergence theorem implies that it depends continuously (in the \(L^2\) sense) on p, k, including the boundary set \(\text {Im}(k)=0\). Therefore, \(\langle X \rangle ^{-s} G^{\bowtie }_{p}(k) \langle X \rangle ^{-s}\) is a continuous family of Hilbert–Schmidt (and hence compact) operators on \(L^2(\mathbb {R}_+,\mathbb {C}^2)\), so \(G^{\bowtie }_{p}(k)\) defines an operator \(L^2_s(\mathbb {R}_+,\mathbb {C}^2) \rightarrow L^2_{-s}(\mathbb {R}_+,\mathbb {C}^2)\) which may be written as a composition of two unitaries and a compact operator.
The second part follows from the asymptotics of \(\xi ^{\pm }_p\) and \(\zeta ^{\pm }_p\) functions for small arguments and the dominated convergence theorem. \(\square \)
5.4 Generalized Eigenvectors
Point spectrum of \(D_p\), when present, possesses quite counter-intuitive properties. Note that in this subsection an important role is played by the bilinear product \(\langle \cdot |\cdot \rangle \).
Proposition 28
Let \(n,m\in \mathbb {N}\). If \(f \in \text {Ker}((D_p-k)^n)\), \(g \in \text {Ker}((D_p-k')^m)\), then \(\langle f | g \rangle =0\).
Proof
Assume at first that \(k' \ne k\). We induct on m. If \(m=1\), then
Cancelling \((k'-k)^n\) we obtain the induction base. Assume that the claim is true for m and let \(g \in \text {Ker}((D_p-k')^{m+1})\). By a similar calculation
where the last equality follows from \((D_p-k')^j g \in \text {Ker}((D_p-k')^m)\) for \(j \ge 1\) and the induction hypothesis. This completes the proof for \(k \ne k'\).
So far we used only the self-transposedness of \(D_p\). Next we will also use its homogeneity.
Let \(k'=k\). Then for any \(\tau \in \mathbb {R}^{\times }\) we have \(U_{\tau } g \in \text {Ker}((D_p-k'')^m)\) for some \(k'' \ne k\). Hence, \(\langle f | U_{\tau } g \rangle =0\). Now take \(\tau \rightarrow 0\). \(\square \)
Proposition 29
If \(p \in \mathcal {E}^\pm \) and \(k \in \mathbb {C}_\pm \), then for every \(n \in {\mathbb {N}}\) we have \(\dim (\text {Ker}((D_p-k)^n)) = n\).
Proof
We proceed by induction on n. Case \(n=0\) is trivial and \(n=1\) is already established. By the inductive hypothesis, there exists \(f \in \text {Ker}((D_p-k)^n) \backslash \text {Ker}((D_p-k)^{n-1})\), unique up to elements of \(\text {Ker}((D_p-k)^{n-1})\) and multiplication by nonzero scalars. Then \(f \in \text {Ker}(D_p -k)^{\text {perp}}\) by Proposition 28. On the other hand, \(\text {Ker}(D_p-k)^{\text {perp}} = \left( \text {Ran}(D_p-k)^{\text {perp}} \right) ^{\text {perp}} = \text {Ran}(D_p - k)\). Here the last equality holds because \(D_p -k\) has closed range, see Corollary 25. Thus, there exists \(g \in \text {Dom}(D_p -k)\), unique up to elements of \(\text {Ker}(D_p - k )\), such that \((D_p-k) g =f\). Clearly, \(g \in \text {Ker}((D_p-k)^{n+1}) \backslash \text {Ker}((D_p-k)^n)\) and we have a vector space decomposition \(\text {Ker}((D_p-k)^{n+1}) = \mathbb {C}g \oplus \text {Ker}((D_p-k)^{n})\) . \(\square \)
Question 1
Let \(p \in \mathcal {E}^\pm \), \(k \in \mathbb {C}_{\pm }\). We denote the \(L^2\) closure of \(\bigcup \limits _{n=0}^{\infty } \text {Ker}((D_p - k)^n)\) by \({\mathcal {N}}_p(k)\). By Lemma 28 we have \({\mathcal {N}}_p(k) \subset {\mathcal {N}}_p(k)^\text {perp}\). In “Appendix A.3” we have verified that in the case \(\omega =0\) subspace \({\mathcal {N}}_p(k)\) does not depend on the choice of \(k \in \mathbb {C}_\pm \) and \({\mathcal {N}}_p(k) = {\mathcal {N}}_p(k)^\text {perp}\) (equivalently, \({\mathcal {N}}_p(k) \oplus \overline{{\mathcal {N}}_p(k)} = L^2(\mathbb {R}_+,\mathbb {C}^2)\)). We leave open the question whether these assertions remain true for \(\omega \ne 0\).
6 Diagonalization
Let \(k \in \mathbb {R}^\times \). Recall that \(\varepsilon _k = \text {sgn}(\text {Re}(k))\). On the real line, it is convenient to rewrite the formulas for \(\xi ^\pm \) and \(\zeta ^\pm \) (3.13, 3.15) in terms of trigonometric Whittaker functions (D.28, D.31):
For \(\mu \) near 0 it is convenient instead of (6.1a) to use a version of (3.16a):
The leading terms of \(\xi _p^{\pm }\) and \(\zeta _p^\pm \) for large kx are
Because of the long-range nature of the perturbation and of the presence of spin degrees of freedom, it is not obvious what should be chosen as the definition of the outgoing and incoming waves. Let us call \(\text {i}\zeta ^+(k,x)\) the outgoing wave and \(-\text {i}\zeta ^-(k,x)\) the incoming wave. Then the ratio of the outgoing wave and the incoming wave in \(\xi ^+(k,x)\) is \(\text {e}^{- \text {i}\varepsilon _k \mu } S_p\) and can be called the (full) scattering amplitude at energy k.
Proposition 30
Let \(p \in \mathcal {M}_{- \frac{1}{2}} \backslash (\mathcal {E}^+ \cup \mathcal {E}^-)\), \(k \in \mathbb {R}^\times \), \(s > |\text {Im}(\lambda )| + \frac{1}{2}\). Then the spectral density
is well defined as a compact operator \( L^2_s(\mathbb {R}_+,\mathbb {C}^2) \rightarrow L^2_{-s}(\mathbb {R}_+,\mathbb {C}^2)\) and has the integral kernel
As \(k \rightarrow 0\), it admits the expansion
where the remainder is estimated in the \(B(L^2_s,L^2_{-s})\) norm and \(\Pi _p^0\) has the integral kernel
Proof
The first statement follows from Proposition 27. By (3.27), it is sufficient to prove (6.5) for \(x < y \). Plugging (3.21a) into (3.26), we find
Plugging in (3.21b) we obtain (6.5).
The last part of the statement follows from asymptotics of \(\xi \) functions for small arguments and the dominated convergence theorem. \(\square \)
We refer to “Appendix C” for definitions used in the lemma below. Note also the identity \(\xi _p^\pm (k,x)=\xi _p^\pm (\varepsilon _k,|k|x)\), which allows us to restrict our attention to \(\xi _p^\pm (\varepsilon _k,x)\). The following fact follows immediately from Lemma 73 and (6.2).
Lemma 31
\( \xi _p^{\pm }(\varepsilon _k, x)\), \(p \notin \mathcal {E}^\pm \), is a tempered distribution in \(x \in \mathbb {R}_+\), in the sense explained in “Appendix C”. Its Mellin transform is
is analytic in s and bounded by \(c_p^{\pm } (1+s^2)^{\frac{1}{2} |\text {Im}(\lambda )|}\) locally uniformly in p.
We define \(\mathcal {U}_p^{\pm , \text {pre}}\), \(p \in \mathcal {M}\backslash \mathcal {E}^{\pm }\), as the integral operator \(C_\mathrm {c}^{\infty }(\mathbb {R}_+, \mathbb {C}^2) \rightarrow C^{\infty }(\mathbb {R}) \) with the kernel
By construction, the kernel of the spectral density operator factors as
We note also the relations
and the intertwining property
Recall from Sect. 1.1 that J is the inversion and A is the generator of dilations, and K is the multiplication operator on \(L^2(\mathbb {R})\) by the variable \(k\in \mathbb {R}\).
Below we will consider level sets \(\{ \lambda = \lambda _0 \} \subset \mathcal {M}_\frac{1}{2}\). Recall from the discussion around equation (2.9) that it is a submanifold for \(\lambda _0 \ne 0\), but for \(\lambda _0 =0\) it is the union of three submanifolds singular along the intersection. We will say that a function on the locus \(\{ \lambda =0 \}\) is holomorphic if its restriction to each of the three components is holomorphic.
Proposition 32
\(\mathcal {U}_p^{\pm , \text {pre}}\) are densely defined closable operators \(L^2(\mathbb {R}_+, \mathbb {C}^2) \rightarrow L^2(\mathbb {R})\) with the closures given by
Hence, \(\mathcal {U}^\pm _p (1+A^2)^{- \frac{1}{2} |\text {Im}(\lambda )|}\) is bounded. In particular \(\mathcal {U}^\pm _p\) are bounded if \(\lambda \in \mathbb {R}\). If \(\lambda _0 \in \mathbb {R}\), they form a holomorphic family of operators on the level set \(\{ \lambda = \lambda _0 \} \backslash \mathcal {E}^{\pm }\).
Furthermore, \(\mathcal {U}_p^{\pm *} = \mathcal {U}_{{\overline{p}}}^{{\mp } \text {T}}\).
Proof
The first part follows from Lemma 31 and discussion in “Appendix C”. Now fix \(\lambda _0 \in \mathbb {R}\) and consider p in a component S of the level set \(\{ \lambda = \lambda _0 \} \backslash \mathcal {E}^{\pm }\). If \(f \in C_c^{\infty }(\mathbb {R})\), \(g \in C_c^{\infty }(\mathbb {R}_+, \mathbb {C}^2)\), then \(( f | \mathcal {U}_{p}^{\pm } g )\) is a holomorphic function of \(p \in S\). Since \(C_c^{\infty }\) spaces are dense in \(L^2\) and \(\mathcal {U}_p^{\pm }\) are bounded locally uniformly in p, \(\mathcal {U}_p^{\pm }\) is a holomorphic operator-valued function. The last claim follows from the formula (6.12). \(\square \)
In a sense, operators \(\mathcal {U}^\pm _p\) diagonalize \(D_p\) for \(p \in \mathcal {M}_{- \frac{1}{2}} \backslash \mathcal {E}^\pm \). If \(p = {\overline{p}}\), then \(D_p\) are self-adjoint and \(\mathcal {U}_p^\pm \) are unitary. If we assume only that \(\lambda \) is real, then \(\mathcal {U}_p^\pm \) are still bounded with bounded inverses, so they are almost as good as in the self-adjoint case. This will be made precise below.
Proposition 33
If \(p = {\overline{p}}\), then for any bounded interval \([a,b] \subset {\mathbb {R}}\) and \(f,g \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\)
Besides, \(\mathcal {U}_{p}^\pm \) is a unitary operator and
Proof
Since the point spectrum of \(D_{p}\) is trivial for \(p={\overline{p}}\), Stone’s formula gives
It follows from the asymptotics of functions \(\xi _p^{\pm }\) and \(\zeta _p\) that on \([a,b] \times \text {supp}(f) \times \text {supp}(g)\) we have \(|G_{p}^{\bowtie }( k \pm \text {i}\epsilon ;x,y )| \le c |k|^{ \text {Re}(\mu )-|\text {Re}(\mu )|}\) with c independent of k. This function is integrable, because \( \text {Re}(\mu )-|\text {Re}(\mu )| > -1\). Therefore, by the dominated convergence theorem, the limit \(\epsilon \downarrow 0\) may be taken under the integral. This proves (6.15).
Let us prove the unitarity of \(\mathcal {U}_p^\pm \). Let \(f \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) and let [a, b] be a bounded interval. Then
where in the first step we used the definition of \(\mathcal {U}_{p}^\pm \), conjugation formula (6.12) and the factorization (6.11). The order of integrals is immaterial, because the integrand is compactly supported and its only possible singularity (at \(k=0\), if \(0 \in [a,b]\)) is integrable. In the second step we used Proposition 33. Taking the limit \(b \rightarrow \infty \), \(a \rightarrow - \infty \) we find
Hence, \(\mathcal {U}_{p}^{\pm }\) is an isometry. Equation (6.18) implies that
It remains to show that \(\mathcal {U}_p^{\pm }\mathcal {U}_p^{\pm *}=1\). The proof of this fact follows closely the proof of (3.37) of Theorem 3.16 in [13]. \(\square \)
Proposition 34
If \(p \in \mathcal {M}_{- \frac{1}{2}} \backslash (\mathcal {E}^+ \cup \mathcal {E}^-)\) is such that \(\lambda \in \mathbb {R}\), then \((\mathcal {U}_p^\pm )^{-1}=\mathcal {U}^{{\mp }\text {T}}\) and
In particular \(D_p\) is similar to a self-adjoint operator.
Proof
We fix \(\lambda _0 \in \mathbb {R}\). Then \(\mathcal {U}_p^{\pm } \mathcal {U}_p^{{\mp } \text {T}}-1\) and \(\mathcal {U}_p^{\pm \text {T}} \mathcal {U}_p^{{\mp }}-1\) form holomorphic families of bounded operators on (one-dimensional) \(\{ \lambda = \lambda _0 \} \backslash (\mathcal {E}^+ \cup \mathcal {E}^-)\). They vanish on the set of real points, which has an accumulation point in each component of the domain. Thus, they vanish everywhere.
Now take \(k \in \mathbb {C}\backslash \mathbb {R}\). Arguing as in the previous paragraph, we obtain
from which (6.21a) follows immediately. \(\square \)
Question 2
If \(\lambda \in \mathbb {R}\), then \(D_p\) is similar to a self-adjoint operator. Hence, it enjoys a very good functional calculus–for any bounded Borel function f the operator \(f(D_p)\) is well defined and bounded.
If \(\lambda \notin \mathbb {R}\) this is probably no longer true, because the diagonalizing operators \(\mathcal {U}_p^\pm \) are unbounded. However, they are unbounded in a controlled manner: they are continuous on the domain of some power of the dilation operator. One may hope that this is sufficient to allow for a rich functional calculus for Dirac–Coulomb Hamiltonians. We pose an open problem: for a given \(\text {Im}(\lambda )\), characterize functions that allow for a functional calculus for \(D_p\). In particular, one could ask when \(\text {i}D_p\) generates a \(C^0\) semigroup of bounded operators.
7 Numerical Range and Dissipative Properties
In this section we give a complete analysis of the numerical range of various realizations of 1d Dirac–Coulomb Hamiltonians studied in this paper.
Proposition 35
One of the following mutually exclusive statements is true:
-
1.
\(\omega \) and \(\lambda \) are real. Then \(\text {Num}(D_{\omega , \lambda }^\text {pre}) = \mathbb {R}\).
-
2.
\(|\text {Im}(\omega )| < |\text {Im}(\lambda )|\). Then \(\text {Num}(D_{\omega , \lambda }^\text {pre}) = \mathbb {C}_{- \text {sgn}(\text {Im}(\lambda ))}\).
-
3.
\(|\text {Im}(\omega )| = |\text {Im}(\lambda )| \ne 0\). Then \(\text {Num}(D_{\omega , \lambda }^\text {pre}) = \mathbb {C}_{- \text {sgn}(\text {Im}(\lambda ))} \cup \{ 0 \}\).
-
4.
\(|\text {Im}(\omega )| > |\text {Im}(\lambda )|\). Then \(\text {Num}(D_{\omega , \lambda }^\text {pre}) = \mathbb {C}\).
The same is true with \(D_{\omega , \lambda }^\text {pre}\) replaced by \(D_{\omega , \lambda }^{\min }\) throughout.
Proof
Integrating by parts we find that for \(f = \begin{bmatrix} f_1 \\ f_2 \end{bmatrix} \in C_\mathrm {c}^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) we have
In the four cases listed in the proposition we have: both terms are zero in Case 1., both terms are nonzero (except for \(f=0\)) and have the same sign as \(- \text {Im}(\lambda )\) in Case 2., one term is zero and the other has the same sign as \(- \text {Im}(\lambda )\) in Case 3. and the two terms have opposite signs in the last case. Therefore, inclusions of numerical ranges in the specified sets are clear, except for the third case. Then in order for \(\text {Im}( f| D_{\omega , \lambda } f )\) to vanish, one of the two \(f_j\) has to be zero. It is easy to check that this implies \(( f| D_{\omega , \lambda } f ) =0\) (but not \(f =0\)).
We have to show that the obtained inclusions are saturated. The homogeneity of \(D_{\omega , \lambda }^\text {pre}\) implies that \(\text {Num}(D_{\omega , \lambda }^\text {pre})\) is a convex cone. Thus, to establish the result in Case 1. it is sufficient to show that both signs of \(( f | D_{\omega , \lambda } f )\) are possible. We choose a nonzero \(\varphi \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) with \(\Vert \varphi \Vert _{H_0^1}=1\) and put \(f_{\pm , t}(x) = \begin{bmatrix} \varphi (x-t) \\ \pm \varphi '(x-t) \end{bmatrix}\) for \(t \ge 0\). Then \(\Vert f_{\pm , t} \Vert _{L^2}=1\) and
The first term is nonzero, has sign ± and does not depend on t, while the other converges to zero for \(t \rightarrow \infty \). Therefore, \(\pm ( f_{\pm , t} |D_{\omega , \lambda } f_{\pm , t} ) \ge c_{\pm } >0\) for large enough t.
Next we suppose that \(|\text {Im}(\omega )| \le |\text {Im}(\lambda )| \ne 0\). It is sufficient to show that \(\mathbb {C}_-\) is included in the numerical range for \(\text {Im}(\lambda )<0\). Arguing as below (7.2), we deduce that there exist constants \(t_0 > 0\) and \(c_{\pm } >0\) such that \(\pm \text {Re}\, ( f_{\pm , t} | D_{\omega ,\lambda } f_{\pm , t} ) \ge c_{\pm }\) for \(t \ge t_0\). Let \(\delta = \text {Im}\, (f_{ \pm , t_0} |D_{\omega ,\lambda } f_{ \pm , t_0} )\). Then \(\delta >0 \). The function \(t \mapsto \text {Im}\, ( f_{\pm , t} | D_{\omega ,\lambda } f_{\pm , t} )\) is continuous and converges to zero for \(t \rightarrow \infty \), so for every \(\epsilon \in ]0, \delta ]\) there exists \(t \ge t_0\) such that \(\text {Im}\, ( f_{\pm , t} | D_{\omega ,\lambda } f_{\pm , t} ) = \epsilon \). By convexity of numerical ranges this implies \([-c_- + \text {i}\epsilon , c_+ + \text {i}\epsilon ] \subset \text {Num}(D_{\omega ,\lambda })\). Homogeneity implies that for every \(s>0\) we have \(\left[ -\frac{c_- s}{\epsilon } + \text {i}s, \frac{c_+ s}{\epsilon } + \text {i}s \right] \subset \text {Num}(D_{\omega , \lambda })\). Every k with \(\text {Im}(k)=s\) is in this interval for small enough \(\epsilon \).
Similar argument shows that in Case 4. there exist \(c_{\pm } >0\) and \(\delta >0\) such that for every \(\epsilon \in ] 0 , \delta ]\) there exist \(g_{\pm ,\epsilon } \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) with \(\Vert g_{\pm ,\epsilon } \Vert _{L^2}=1\), \(\pm \text {Re}( g_{\pm ,\epsilon }|D_{\omega , \lambda } g_{\pm ,\epsilon } ) \ge c_{\pm }\) and \(\left| \text {Im}( g_{\pm ,\epsilon }| D_{\omega , \lambda } g_{\pm ,\epsilon } )\right| \le \epsilon \). On the other hand for nonzero \(f \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) with \(f_1=0\) or \(f_2=0\), we have that \(( f| D_{\omega , \lambda } f )\) is proportional to \(\omega -\lambda \) or \(- \omega - \lambda \), respectively, with a positive proportionality constant. Using homogeneity we can even construct functions f with the proportionality constant equal to 1 and \(\Vert f \Vert =1\). Next we observe that if \(\epsilon \) is taken to be sufficiently small, the convex hull of \(( g_{+, \epsilon } | D_{\omega , \lambda } g_{+, \epsilon } )\), \(( g_{-, \epsilon } | D_{\omega , \lambda } g_{-, \epsilon } )\), \(\omega - \lambda \) and \(- \omega - \lambda \) contains zero in its interior. Therefore, the smallest convex cone containing it is the whole \(\mathbb {C}\).
To prove the last statement, first note that \(\text {Num}(D_{\omega , \lambda }^{\min })\) is contained in the closure of \(\text {Num}(D_{\omega , \lambda }^\text {pre})\). Therefore, in Cases 1. and 4. there is nothing to prove. We consider Case 2. We have to show that if \(g \in \text {Dom}(D_{\omega , \lambda }^{\min })\) is such that \(\text {Im}( g| D_{\omega , \lambda } g ) =0\), then \(g=0\). We choose \(\epsilon >0\) and \(f \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2)\) such that \(\Vert f - g \Vert _{\text {Dom}(D_{\omega , \lambda }^{\min })} < \epsilon \). Then
so \(|\text {Im}( f| D_{\omega , \lambda } f )| \le 2 \epsilon \Vert g \Vert _{\text {Dom}(D_{\omega , \lambda }^{\min })} + \epsilon ^2\). On the other hand for any \(t >0\), we have
Comparing the two derived inequalities and taking \(\epsilon \rightarrow 0\) we find that
Since t was arbitrary, \(g=0\). Case 3. may be handled analogously. \(\square \)
It is convenient to describe the numerical ranges of operators \(D_p\) in terms of [a : b] . It can be related to parameters \(\omega , \lambda , \mu \) by recalling that \([a:b] = [- \mu : \omega + \lambda ]\) if \(\omega +\lambda \ne 0\) and \([a:b] = [\omega - \lambda : - \mu ]\) if \(\omega - \lambda \ne 0\). No such expression exists on the zero fiber. We will also choose a representative \((a,b) \in [a:b]\). We note that the condition \(\text {Im}({\overline{b}} a) =0\) is equivalent to the existence of a real representative (a, b), which is also equivalent to the statement that [a : b] belongs to the real projective line \(\mathbb {R}\mathbb {P}^1\). If \([a:b] \notin \mathbb {R}\mathbb {P}^1\), then \(\text {sgn}(\text {Im}({\overline{b}} a)) = \text {sgn}\left( \text {Im}\left( \frac{a}{b} \right) \right) \).
Proposition 36
The numerical range of \(D_p\) may be characterized as follows.
-
1.
If \(\omega , \lambda \in \mathbb {R}\) and \([a:b] \notin \mathbb {R}\mathbb {P}^1\), then \(\text {Num}(D_p) = \mathbb {R}\cup \mathbb {C}_{- \text {Im}\left( {\overline{b}} a \right) }\).
-
2.
If \(\text {Re}(\mu )=0\) and \(\text {Im}({\overline{b}} a) \text {Im}(\lambda )<0\), then \(\text {Num}(D_p) = \mathbb {C}\).
-
3.
If \(\text {Re}(\mu )<0\) and \([a:b] \notin \mathbb {R}\mathbb {P}^1\), then \(\text {Num}(D_p) = \mathbb {C}\).
-
4.
In every other case \(\text {Num}(D_p) = \text {Num}(D_{\omega , \lambda }^{\min })\).
Proof
If \(p = {\overline{p}}\), then \(D_p\) is self-adjoint, so \(\text {Num}(D_p) \subset \mathbb {R}= \text {Num}(D_{\omega , \lambda }^{\min }) \subset \text {Num}(D_p)\). If \(|\text {Im}(\omega )| > |\text {Im}(\lambda )|\), then \(\mathbb {C}= \text {Num}(D_{\omega , \lambda }^{\min }) \subset \text {Num}(D_{p})\).
Let \(\eta (x) = x^{\mu } \begin{bmatrix} a \\ b \end{bmatrix}\) and consider \(f = \begin{bmatrix} f_1 \\ f_2 \end{bmatrix} \in C_c^{\infty }(\mathbb {R}_+,\mathbb {C}^2) + \mathrm {span} \{ \chi \eta \}\). Then
By construction, there exist \(x_0 >0\) and \(c \in \mathbb {C}\) such that for \(x < x_0\) we have \(f(x) = c \, \eta (x)\), and hence, \(\overline{f_2(x)} f_1(x) = \text {Im}({\overline{b}} a) x^{2 \text {Re}(\mu )}\). If \(\text {Re}(\mu )>0\) or \(\text {Im}({\overline{b}} a)=0\) (which is equivalent to \([a:b] \in \mathbb {R}\mathbb {P}^1 \subset \mathbb {C}\mathbb {P}^1\)), then \(\overline{f_2(x)} f_1(x)\) vanishes for x sufficiently large and for \(x \rightarrow 0\). Therefore, \(\int _{0}^{\infty } \frac{\text {d}}{\text {d}x} \left( \overline{f_2(x)} f_1(x) \right) \text {d}x =0\) and the proof goes as for Proposition 35.
We consider the case \(\text {Re}(\mu ) = 0\) and \(\text {Im}({\overline{b}} a) \ne 0\). Then
If \(\omega , \lambda \in \mathbb {R}\), then \(\text {Im}( f | D_p f ) = - |c|^2 \text {Im}({\overline{b}} a)\) and we have \(\mathbb {R}= \text {Num}(D_{\omega , \lambda }^{\min }) \subset \text {Num}(D_p)\), so \(\text {Num}(D_p) = \{ k \in \mathbb {C}\, | \, \text {Im}({\overline{b}} a) \text {Im}(k) \le 0 \}\). In the case \(|\text {Im}(\omega )| \le |\text {Im}(\lambda )| \ne 0\) there are two possibilities. If \(\text {Im}({\overline{b}} a) \text {Im}(\lambda )>0\), then all terms in (7.7) have the same sign and one has \(\text {Num}(D_p) = \text {Num}(D_{\omega , \lambda }^{\min })\). Otherwise \(\text {Num}(D_p) = \mathbb {C}\). Indeed, consider \(f = \frac{\chi \eta }{\Vert \chi \eta \Vert }\) with shrinking support of \(\chi \ge 0\). A simple calculation shows that for these functions the integrand in (7.7) vanishes, while the first term grows without bound.
Next, we suppose that \(\text {Re}(\mu ) <0\), \(\text {Im}({\overline{b}} a) \ne 0\). Put \(f = \varphi \eta \) with \(\varphi \in C^{\infty }([0 ,\infty [, \mathbb {R})\) vanishing exponentially at infinity. Then \(f \in \text {Dom}(D_p)\) and \((D_p f)(x) = \varphi '(x) \begin{bmatrix} 0 &{} -1 \\ 1 &{} 0 \end{bmatrix} \eta (x)\). Thus,
If \(\varphi \ne 0\) vanishes at zero, the integral is positive, as can be seen by integrating by parts:
On the other hand, for \(\varphi (x) = \text {e}^{- \frac{x}{2}}\) the integral is negative:
By Proposition 35 and the fact that \(\text {Num}(D_p)\) is a convex cone, we have \(\text {Num}(D_p) = \mathbb {C}\). \(\square \)
We adopt the convention saying that operators with the numerical range contained in the closed upper half-plane are called dissipative. Dissipative operators which are not properly contained in another dissipative operator are said to be maximally dissipative. This condition is equivalent to the inclusion of the spectrum in the closed upper half plane. Maximally dissipative operators may also be characterized as operators D such that \(\text {i}D\) is the generator of a semigroup of contractions.
Corollary 37
\(\pm D_p\) is a dissipative operator if and only if one of the following (mutually exclusive) statements holds:
-
\(\omega , \lambda \in \mathbb {R}\) and \({\mp }\text {Im}({\overline{b}} a) \ge 0\).
-
\(\pm \text {Im}(\lambda )<0\), \(|\text {Im}(\omega )| \le |\text {Im}(\lambda )|\) and \(\text {Re}(\mu ) >0\).
-
\(\pm \text {Im}(\lambda )<0\), \(|\text {Im}(\omega )| \le |\text {Im}(\lambda )|\), \(\text {Re}(\mu ) =0\) and \(\pm \text {Im}({\overline{b}} a) \le 0\).
-
\(\pm \text {Im}(\lambda )<0\), \(|\text {Im}(\omega )| \le |\text {Im}(\lambda )|\), \(\text {Re}(\mu )<0\) and \(\text {Im}({\overline{b}} a) =0\).
Furthermore, if these conditions are satisfied then \(\pm D_p\) is maximally dissipative.
Corollary 38
Let \(\omega , \lambda \) be such that \(\pm D_{\omega , \lambda }^{\min }\) is dissipative, i.e., \(|\text {Im}(\omega )| \!\le \! |\text {Im}(\lambda )|\), \(\pm \text {Im}(\lambda ) \le 0\). There exists \(p \in \mathcal {M}_{- \frac{1}{2}}\) such that \(D_{\omega , \lambda }^{\min } \subset D_p\) and \(\pm D_p\) is maximally dissipative. In particular \(\pm D_{\omega , \lambda }^{\min }\) admits a maximally dissipative extension which is homogeneous and contained in \(\pm D_{\omega , \lambda }^{\max }\).
Proof
We present the proof for the upper sign. The other part of the statement then follows by taking complex conjugates. If \(\omega , \lambda \in \mathbb {R}\), it is possible to choose p with \({\mp } \text {Im}({\overline{b}} a) \ge 0\). Now let \(\text {Im}(\lambda ) <0\), \(|\text {Im}(\omega )| \le |\text {Im}(\lambda )|\). If \(\omega ^2 - \lambda ^2 \notin ] - \infty , 0 ]\), we can choose \(\mu \) with \(\text {Re}(\mu ) >0\).
Next suppose that \(\omega ^2 - \lambda ^2 \le 0\). If the inequality is strict, then there exist two possible choices of \(\mu \) differing by a sign, so the condition \(\text {Im}({\overline{b}} a) \le 0\) is satisfied for at least one choice. If \(\omega ^2 - \lambda ^2 =0\), then either \(\omega + \lambda \) or \(\omega - \lambda \) vanishes. We may assume that it is not true that both vanish, because this is covered by the case \(\omega , \lambda \in \mathbb {R}\). Then \([a:b]=[0:1]\) or \([a:b]=[1:0]\). \(\square \)
8 Mixed Boundary Conditions
In this section we discuss operators \(D_{\omega ,\lambda }^f\) introduced around equation (4.8). Hence, \(\omega ,\lambda \) are restricted to the region \(| \text {Re}\sqrt{\omega ^2 - \lambda ^2}| < \frac{1}{2}\).
Proposition 39
\(D_{\omega ,\lambda }^f\) is closed, self-transposed and \(\sigma _{\text {ess}}(D_{\omega ,\lambda }^f) = \sigma _{\text {ess},0}(D_{\omega ,\lambda }^f) = \mathbb {R}\).
Proof
The self-transposedness follows from [11, Proposition 3.21]. The statement about the essential spectrum follows from Corollary 26. \(\square \)
Operators \(D_{\omega ,\lambda }^f\) can be organized in a holomorphic family as follows. Let
We define \(D^\text {mix}_{\omega ,\lambda ,[a:b]}\) to be \(D_{\omega ,\lambda }^{f_{\omega ,\lambda ,[a:b]}}\), where \(f_{\omega ,\lambda ,[a:b]}\) is a (unique up to a multiplicative constant) solution of \(D_{\omega ,\lambda } f_{\omega ,\lambda ,[a:b]} =0\) whose value at \(x=1\) belongs to the ray [a : b] in \(\mathbb {C}^2\).
Proposition 40
\(D_{\omega ,\lambda ,[a:b]}^\text {mix}\) form a holomorphic family of operators on \(\mathcal {M}^\text {mix}\). One has \(\overline{D_{\omega ,\lambda ,[a:b]}^\text {mix}} = D_{\overline{\omega },{\overline{\lambda }},[\overline{a}:\overline{b}]}^\text {mix}\), so \(D_{\omega ,\lambda ,[a:b]}^\text {mix}\) is self-adjoint if and only if \(\omega ,\lambda \in \mathbb {R}\), \([a:b] \in \mathbb {R}\mathbb {P}^1\).
Proof
Only the holomorphy of \(D_{\omega ,\lambda ,[a:b]}^\text {mix}\) requires some justification. Define
where \(\chi \in C_c^\infty ([\mathbb {R}_+,\infty [)\) is equal to 1 near 0. It is easy to check that \(T_{\omega ,\lambda ,[a:b]}\) form a holomorphic family of bounded injective operators with \(\text {Ran}(T_{\omega ,\lambda ,[a:b]}) = \text {Dom}(D_{\omega ,\lambda ,[a:b]}^{\text {mix}})\) such that \(D_{\omega ,\lambda ,[a:b]}^{\text {mix}} T_{\omega ,\lambda ,[a:b]}\) form a holomorphic family of bounded operators. \(\square \)
Next we describe the point spectra of nonhomogeneous operators \(D_{\omega ,\lambda }^f\). For this purpose it is not very convenient to use the parametrization by points of \(\mathcal {M}^\text {mix}\).
Below we treat the logarithm, denoted \(\mathrm {Ln}\), as a set-valued function, more precisely,
Proposition 41
Consider the point spectrum of \(D_{\omega ,\lambda }^f\) for various \(\omega ,\lambda , f\). All eigenvalues are non-degenerate and zero is never an eigenvalue. For \(k \ne 0\), we split the discussion into several cases. We say that a pair \((k,\pm )\) is admissible if either \(k \in \mathbb {R}^\times \), \(|\text {Im}(\lambda )| > \frac{1}{2}\) and \(\pm = \text {sgn}(\text {Im}(\lambda ))\) or \(k \in \mathbb {C}{\setminus } \mathbb {R}\) and \(\pm = \text {sgn}(\text {Im}(k))\).
-
1.
Case \(\mu \ne 0\). We select select a square root \(\mu = \sqrt{\omega ^2 - \lambda ^2}\), or equivalently, we fix \(p \in \mathcal {M}_{-\frac{1}{2}}\) lying over \(\omega ,\lambda \). All nonhomogeneous realizations of \(D_{\omega ,\lambda }\) correspond to
$$\begin{aligned} f(x) = \begin{bmatrix} \omega - \lambda \\ - \mu \end{bmatrix} x^\mu + \kappa \begin{bmatrix} \omega - \lambda \\ \mu \end{bmatrix} x^{- \mu }\end{aligned}$$(8.4)with \(\kappa \in \mathbb {C}^\times \). Let
$$\begin{aligned} c_{p,\pm } = \frac{\omega }{\lambda {\mp } \text {i}\mu } \frac{\Gamma (2 \mu +1)}{\Gamma (-2 \mu +1)} \frac{\Gamma (1 - \mu {\mp } \text {i}\lambda )}{\Gamma (1 + \mu {\mp } \text {i}\lambda )} \end{aligned}$$(8.5)Away from \(\mu =0\), \(c_{p,\pm }\) is a holomorphic function of \(\omega ,\lambda , \mu \) valued in \(\mathbb {C}\cup \{ \infty \}\). k is an eigenvalue if and only if \(\kappa ({\mp } 2 \text {i}k)^{2 \mu } = c_{p, \pm }\) and \((k, \pm )\) is admissible. \(D_{\omega ,\lambda }^f\) has no eigenvalues in \(\mathbb {C}_\pm \) if \(c_{p, \pm } \in \{ 0 ,\infty \}\). Away from these loci, eigenvalues in \(\mathbb {C}_\pm \) vary continuously with parameters, possibly (dis)appearing on the real axis. They form a discrete subset of a half-line if \(\mu \in \text {i}\mathbb {R}\), of a circle if \(\mu \in \mathbb {R}\) and of a logarithmic spiral otherwise. If \(\mu \not \in \text {i}\mathbb {R}\), the set of eigenvalues is finite. More precisely, it is given by the union of the following two sets:
$$\begin{aligned} \left\{ k=\pm \frac{\text {i}}{2}\text {e}^w\ |\ w\in \frac{1}{2\mu }\mathrm {Ln}(c_{p,\pm }),\quad -\frac{\pi }{2}<\mathrm {Im} (w)< \frac{\pi }{2} \right\} ,&\quad |\text {Im}(\lambda )|\le \frac{1}{2}, \end{aligned}$$(8.6)$$\begin{aligned} \left\{ k=\pm \frac{\text {i}}{2}\text {e}^w\ |\ w\in \frac{1}{2\mu }\mathrm {Ln}(c_{p,\pm }),\quad -\frac{\pi }{2}\le \mathrm {Im}(w)\le \frac{\pi }{2} \right\} ,&\quad |\text {Im}(\lambda )|>\frac{1}{2}. \end{aligned}$$(8.7) -
2.
Case \(\mu =0\), \((\omega ,\lambda )\ne (0,0)\). All nonhomogeneous realizations of \(D_{\omega ,\lambda }\) are parametrized by \(\nu \in \mathbb {C}\) and
$$\begin{aligned} f(x) = \begin{bmatrix} 1 \\ 0 \end{bmatrix} -2 \lambda ( \ln (\text {e}^{2\gamma } x) + \nu ) \begin{bmatrix} 0 \\ 1 \end{bmatrix}&\quad \text {for}\quad \omega =\lambda \ne 0, \end{aligned}$$(8.8)$$\begin{aligned} f(x) = \begin{bmatrix} 0 \\ 1 \end{bmatrix} + 2 \lambda ( \ln (\text {e}^{2 \gamma } x) + \nu ) \begin{bmatrix} 1 \\ 0 \end{bmatrix}&\quad \text {for}\quad \omega = - \lambda \ne 0.\end{aligned}$$(8.9)In both cases k is an eigenvalue if and only if \(\ln ({\mp } 2 \text {i}k) + \psi (1 {\mp } \text {i}\lambda ) {\mp } \frac{\text {i}}{2 \lambda } = \nu \) and \((k,\pm )\) is admissible. There is at most one eigenvalue in \(\mathbb {C}_+\) and at most one eigenvalue in \(\mathbb {C}_-\). The eigenvalue in \(\mathbb {C}_\pm \) exists if and only if \(\pm \text {i}\lambda \not \in \mathbb {N}\) and \(\text {Re}\left( \exp \left( \nu - \psi (1 {\mp } \text {i}\lambda ) {\mp } \frac{\text {i}}{2 \lambda } \right) \right) >0 \).
-
3.
Case \(\omega = \lambda =0\), \(f(x) = \begin{bmatrix} 1 \\ \kappa \end{bmatrix}\). k is an eigenvalue if and only if \(k \not \in \mathbb {R}\) and \(\kappa = \text {i}\, \text {sgn}(\text {Im}(k))\).
Proof
An eigenvector of \(D_{\omega ,\lambda }\) square integrable away from the origin is necessarily of the form \(\zeta _p^\pm (k,\cdot )\) with an admissible \((k , \pm )\). It belongs to the domain of \(D_{\omega ,\lambda }^f\) if its asymptotic form for \(x \rightarrow 0\), obtained from (D.24), is proportional to f. This yields conditions described in 1.-3.
Function \(c_{p,\pm }\) is meromorphic. In the region \(|\text {Re}(\mu )| < \frac{1}{2}\) functions \(\frac{\omega }{\Gamma (1+\mu {\mp } \text {i}\lambda )}\) and \(\frac{\lambda {\mp } \text {i}\mu }{\Gamma (1 - \mu {\mp } \text {i}\lambda )}\) do not simultaneously vanish anywhere, while \(\frac{\Gamma (2 \mu +1)}{\Gamma (-2 \mu +1)}\) is holomorphic and nowhere vanishing. Hence, \(c_{p, \pm }\) is not of the indeterminate form \(\frac{0}{0}\) anywhere. \(\square \)
Let us note that eigenfunctions corresponding to real eigenvalues (which exist only for \(|\text {Im}(\lambda )| > \frac{1}{2}\)) decay at infinity only as fast as \(x^{- |\text {Im}(\lambda )|}\), not exponentially.
Consider a homogeneous operator \(D_p\) with \(p \in \mathcal {E}^\pm \) and its deformations \(D_{\omega ,\lambda }^f\), with f parametrized by \(\kappa \) so that \(D_{\omega ,\lambda }^f=D_p\) for \(\kappa =0\). Then for \(\kappa =0\) the point spectrum of \(D_{\omega ,\lambda }^f\) is \(\mathbb {C}_\pm \), but for every \(\kappa \ne 0\) it is disjoint from \(\mathbb {C}_\pm \).
References
Axler, S., Bourdon, P., Ramey, W.: Harmonic Function Theory. Springer (2001)
Brown, B.M., Klaus, M., Malamud, M., Mogilevskii, V., Wood, I.: Weyl solutions and \(j\)-selfadjointness for Dirac operators. J. Math. Anal. Appl. 480, 123344 (2019)
Bruneau, L., Dereziński, J., Georgescu, V.: Homogeneous Schrödinger operators on half-line. Ann. Henri Poincaré 1(2), 547–590 (2011)
Buoni, J.J.: An essential spectra mapping theorem. J. Math. Anal. Appl. 5(6), 55–60 (1976)
Cassano, B., Pizzichillo, F.: Self-adjoint extensions for the Dirac operator with Coulomb-type spherically symmetric potentials. Lett. Math. Phys. 108, 2635–2667 (2018)
Cassano, B., Pizzichillo, F.: Boundary triples for the Dirac operator with Coulomb- type spherically symmetric perturbations. J. Math. Phys. 60, 041502 (2019)
Daudé, T.: Propagation estimates for Dirac operators and application to scattering theory. Ann. de l’Institut Fourier 5(4), 2021–2083 (2004)
Deckert, D., Oelker, M.: Distinguished self-adjoint extension of the two-body Dirac operator with Coulomb interaction. Ann. Henri Poincaré 2, 2407–2445 (2019)
Dereziński, J.: Group-theoretical origin of symmetries of hypergeometric class equations and functions. In: Filipuk, G., Lastra, A., Michalik, S., Takei, Y., Żoła̧dek, H. (eds.) Complex Differential and Difference Equations. Proceedings of the School and Conference Held at Bedlewo, Poland, September 2–15, 2018. De Gruyter Proceedings of Mathematics, Berlin (2020)
Dereziński, J., Faupin, J., Nguyen, Q.N., Richard, S.: On radial Schrödinger operators with a Coulomb potential: general boundary conditions. Adv. Oper. Theory 5, 1132–1192 (2020)
Dereziński, J., Georgescu, V.: \(1\)-Dimensional Schrödinger operators with complex potentials. Ann. Henri Poincaré 2(1), 1947–2008 (2020)
Dereziński, J., Richard, S.: On Schrödinger operators with inverse square potentials on the half-line. Ann. Henri Poincaré 1(8), 869–928 (2017)
Dereziński, J., Richard, S.: On radial Schrödinger operators with a Coulomb potential. Ann. Henri Poincaré 1(9), 2869–2917 (2018)
Dereziński, J., Wrochna, M.: Continuous and holomorphic functions with values in closed operators. J. Math. Phys. 55, 083512 (2014)
Dirac, P.A.M.: The Principles of Quantum Mechanics. Oxford University Press (1958)
Dollard, J., Velo, G.: Asymptotic behaviour of a Dirac particle in a Coulomb field. Il Nuovo Cimento A 4(5), 801–812 (1966)
Douady, A.: Le problème des modules pour les sous-espaces analytiques compacts d’un espace analytique donné. Ann. Inst. Fourier 16, 1 (1966)
Esteban, M., Loss, L.: Self-adjointness for Dirac operators via Hardy–Dirac inequalities. J. Math. Phys. 48, 112107 (2007)
Esteban, M. J., Lewin, M., Séré, E.: Dirac–Coulomb operators with general charge distribution. I. Distinguished extension and min-max formulas, preprint arXiv:2003.04004 (2020)
Fulton, W., Harris, J.: Representation Theory: A First Course. Springer-Verlag, New York (2004)
Gallone, M.: Self-adjoint extensions of Dirac operator with Coulomb potential. In: Michelangeli, A., Dell’Antonio, G. (eds.) Advances in Quantum Mechanics, Springer INdAM Series, vol. 18, pp. 169–185. Springer (2017)
Gallone, M., Michelangeli, A.: Discrete spectra for critical Dirac–Coulomb Hamiltonians. J. Math. Phys. 59, 062108 (2018)
Gallone, M., Michelangeli, A.: Self-adjoint realisations of the Dirac–Coulomb Hamiltonian for heavy nuclei. A. Anal. Math. Phys. 9, 585–616 (2019)
Gâtel, Y., Yafaev, D.: Scattering theory for the Dirac operator with a long-range electromagnetic potential. J. Funct. Anal. 184, 136–176 (2001)
Gu, X.-Y., Ma, Z.-Q., Dong, S.-H.: Exact solutions to the Dirac equation for a Coulomb potential in \(D+1\) dimensions. Int. J. Mod. Phys. E 1(1), 335–346 (2002)
Gustafson, K.E., Rejtö, P.A.: Some essentially self-adjoint Dirac operators with spherically symmetric potentials. Isr. J. Math. 1(4), 63–75 (1973)
Hogreve, G.: The overcritical Dirac–Coulomb operator. J. Phys. A Math. Theor. 46, 025301 (2013)
Kato, T.: Fundamental properties of Hamiltonian operators of Schrödinger type. Trans. Am. Math. Soc. 7, 195–211 (1951)
Kato, T.: Perturbation Theory for Linear Operators. Springer (1966)
Kato, T.: Holomorphic families of Dirac operators. Math. Z. 183, 399–406 (1983)
Klaus, M., Wüst, R.: Characterization and uniqueness of distinguished self-adjoint extensions of Dirac operators. Commun. Math. Phys. 6(4), 171–176 (1979)
Lawson, H.B., Michelsohn, M.-L.: Spin Geometry. Princeton University Press (1989)
Nenciu, G.: Self-adjointness and invariance of the essential spectrum for Dirac operators defined as quadratic forms. Commun. Math. Phys. 4(8), 235–247 (1976)
Rejtö, P.A.: Some essentially self-adjoint one-electron Dirac operators. Isr. J. Math. 9, 144–171 (1971)
Schimmer, L., Solovej, J.P., Tokus, S.: Friedrichs extension and Min–Max principle for operators with a gap. Ann. Henri Poincaré 2(1), 327–357 (2020)
Schmincke, U.W.: Essential selfadjointness of Dirac operators with a strongly singular potential. Math. Z. 126, 71–81 (1972)
Schmincke, U.W.: Distinguished self-adjoint extensions of Dirac operators. Math. Z. 129, 335–349 (1972)
Szegö, G.: Orthogonal polynomials. Laguerre and Hermite polynomials, American Mathematical Society, Chap. V (1975)
Thaller, B., Enss, V.: Asymptotic observables and Coulomb scattering for the Dirac equation. Ann. Inst. Henri Poincaré 4(5), 147–171 (1986)
Trautman, A.: The Dirac operator on hypersurfaces. Acta Physica Polonica B 2(6), 1283–1310 (1995)
Trautman, A.: Connections and the Dirac operator on spinor bundles. J. Geom. Phys. 5(8), 238–252 (2008)
Wüst, R.: Distinguished self-adjoint extensions of Dirac operators constructed by means of cut-off potentials. Math. Z. 141, 93–98 (1975)
Wüst, R.: Dirac operations with strongly singular potentials-distinguished self-adjoint extensions constructed with a spectral gap theorem and cut-off potentials. Math. Z. 152, 259–271 (1977)
Acknowledgements
The work of J.D. was supported by National Science Center (Poland) under the Grant UMO-2019/35/B/ST1/01651.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Antti Kupiainen.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Dedicated to the memory of Krzysztof Gawȩdzki.
Appendices
A One-Dimensional Dirac Operators
1.1 A.1 General Formalism
By a 1d Dirac operator on the halfline we will mean a differential operator of the form
where a, b are smooth functions on \(\mathbb {R}_{+} = ]0,\infty [\). In this subsection we treat it as a formal operator acting, say, on the space of distributions on \(\mathbb {R}_{+} \) valued in \(\mathbb {C}^2\). We first describe a few integral kernels closely related to D.
Let \(k\in \mathbb {C}\) and
be a pair of linearly independent solutions of the Dirac equation:
Let
Then d(k, x) does not depend on x, so that one can write d(k) instead. We define
Note that \(G^\leftrightarrow (k,x,y)\) is uniquely defined by
We will call it the canonical bisolution.
We also have the forward and backward Green’s operators given by the kernels
They are uniquely defined by
Note that \(G^\leftrightarrow , G^\leftarrow , G^\rightarrow \) do not depend on the choice of \(\xi ,\zeta \).
Using the eigensolutions \(\xi ,\zeta \), we can introduce yet another important integral kernel:
It is also Green’s kernel, because it satisfies
\( G^{\bowtie }(k;x,y)\) depends on the choice of the pair of one-dimensional subspaces \(\mathbb {C}\xi (k, \cdot )\), \(\mathbb {C}\zeta (k, \cdot )\) of \(\text {Ker}(D-k)\). The resolvents of various closed realizations of D are often of this form.
Two classes of 1d Dirac operators have special properties. The case \(a(x)=b(x)\) can be fully diagonalized:
We will analyze 1d Dirac–Coulomb operators of this form in Sect. 8.
The case \(a(x)=-b(x)\) can be brought to an antidiagonal form, used in supersymmetry:
We will analyze 1d Dirac–Coulomb operators of this form in Sect. 8.
1.2 A.2 Homogeneous First-Order Scalar Operators
Let \(\alpha \in \mathbb {C}\). In this subsection we discuss the differential operator
acting on scalar functions. It will be a building block of some special 1d Dirac–Coulomb operators considered in subsections 8 and 8.
Let us briefly recall basic results about realizations of \(A_\alpha \) as a closed operator in \(L^2(\mathbb {R}_+)\) following [3]. Proofs of all statements stated in this subsection without justification can be found therein. (In [3] a different convention was used: \(A_{\alpha } = -\text {i}\partial _x +\frac{\text {i}\alpha }{x}\). Thus, \(A_\alpha ^{\mathrm{new}}=\text {i}A_\alpha ^{\mathrm{old}}\).)
We let \(A_{\alpha }^{\min }\) be the closure (in the sense of operators on \(L^2(\mathbb {R}_+)\)) of the restriction of \(A_{\alpha }\) to \(C_c^{\infty }(\mathbb {R}_+)\) and \(A_{\alpha }^{\max }\) the restriction of \(A_{\alpha }\) to \(\text {Dom}(A_{\alpha }^{\max }) = \{ f \in L^2(\mathbb {R}_+) \, | \, A_{\alpha } f \in L^2(\mathbb {R}) \}\). Operators \(A_{\alpha }^{\min }\) and \(-A_{ -\overline{\alpha }}^{\max }\) are adjoint to each other.
Proposition 42
We have \(A_{\alpha }^{\min } = A_{\alpha }^{\max }\) if and only if \(|\text {Re}(\alpha )| \ge \frac{1}{2}\). If \(|\text {Re}(\alpha )| < \frac{1}{2}\), then \(\text {Dom}(A_{\alpha }^{\max }) = \text {Dom}(A_{\alpha }^{\min }) + \mathbb {C}\chi x^{\alpha }\), where \(\chi \in C_\mathrm {c}^\infty (\mathbb {R}_+)\) and \(\chi =1\) near 0. If \(\text {Re}(\alpha ) \ne \frac{1}{2}\), then \(\text {Dom}(A_{\alpha }^{\min })= H_0^1(\mathbb {R}_+)\).
Closed realizations of \(A_\alpha \) are of two types, described in the following pair of propositions.
Proposition 43
Let \(\text {Re}(\alpha ) > - \frac{1}{2}\),
-
1.
\(\sigma (-\text {i}A_{\alpha }^{\max }) = \mathbb {R}\cup \mathbb {C}_+\) and one has
$$\begin{aligned} (A^{\max }_{\alpha } - \text {i}k)^{-1}f (x) = - \int _{x}^{\infty } \text {e}^{\text {i}k(x-y)} \left( \frac{x}{y} \right) ^{\alpha } f(y) \text {d}y, \qquad \text {Im}(k) < 0 . \end{aligned}$$(A.14) -
2.
If \(k \in \mathbb {C}_+\) and \(n \ge 1\), then \(\text {Ker}\left( ( A_{\alpha }^{\max } - \text {i}k)^n \right) \) is the space of functions of the form \(x^{\alpha } \text {e}^{\text {i}k x} q(x)\) with q polynomial of degree at most \(n-1\). In particular \(\bigcup \limits _{n=0}^{\infty } \text {Ker}\left( ( A_{\alpha }^{\max } - \text {i}k)^n \right) \) is dense in \(L^2(\mathbb {R}_+)\).
-
3.
If \(k \in \mathbb {C}_+\), then \(A_{\alpha }^{\max } - \text {i}k\) is a Fredholm operator of index 1.
Proposition 44
Let \(\text {Re}(\alpha ) < \frac{1}{2}\).
-
1.
\(\sigma (-\text {i}A_{\alpha }^{\min }) = \mathbb {R}\cup \mathbb {C}_-\) and one has
$$\begin{aligned} (A^{\min }_{\alpha } - \text {i}k)^{-1}f (x) = \int _{0}^{x} \text {e}^{\text {i}k(x-y)} \left( \frac{x}{y} \right) ^{\alpha } f(y) \text {d}y, \qquad \text {Im}(k) > 0 . \end{aligned}$$(A.15) -
2.
\(A_{\alpha }^{\min }\) has no eigenvectors.
-
3.
If \(k \in \mathbb {C}_-\), then \(A_{\alpha }^{\min } - \text {i}k\) is a Fredholm operator of index \(-1\).
Proof of Propositions 43 and 44. Statements 1. are proven in [3].
2. requires justification only for the first part in the first proposition. We factorize
Functions in the parenthesis form a dense set, because for any real numbers \(c >0\), \(\beta > - 1\) functions \(e^{- \frac{c x}{2} } x^{\frac{\beta }{2}} L_n^{(\beta )}(cx)\), with \(L_n^{(\beta )}\) Laguerre polynomials, form an orthogonal basis (see, e.g., [38]). Clearly density is unaffected by the prefactor, which amounts to the action of a certain unitary operator on \(L^2\).
Let us show 3. We consider first the case \(|\text {Re}(\alpha )| < \frac{1}{2}\). Then we have explicit inverses modulo rank one operators.
If \(\text {Im}(k)>0\), then \(A^{\min }_{\alpha } - \text {i}k\) is invertible and its inverse is a right inverse for \(A_{\alpha }^{\max } - \text {i}k\). Thus, \(A_{\alpha }^{\max } - \text {i}k\) is surjective. We already know that its kernel is one-dimensional.
If \(\text {Im}(k)<0\), then \((A_{\alpha }^{\max } - \text {i}k)^{-1} : L^2(\mathbb {R}_+) \rightarrow \text {Dom}(A_{\alpha }^{\max })\) is continuous. The range of \(A_{\alpha }^{\min } - \text {i}k\) is the preimage of \(\text {Dom}(A_{\alpha }^{\min })\), which is a closed subspace of \(\text {Dom}(A_{\alpha }^{\max })\) of codimension one. Hence, \(\text {Ran}(A_{\alpha }^{\min } - \text {i}k)\) is a closed subspace of \(L^2(\mathbb {R}_+)\) of codimension one.
To extended the result beyond the strip \(|\text {Re}(\alpha )|< \frac{1}{2} \), note that \((A_{\alpha }^{\min } - \text {i}k)^{-1} - (A_{\beta }^{\min } - \text {i}k)^{-1}\) (resp. \((A_{\alpha }^{\max } - \text {i}k)^{-1} - (A_{\beta }^{\max } - \text {i}k)^{-1}\)) has a square-integrable integral kernel for \(\text {Re}(\alpha ), \, \text {Re}(\beta ) \!<\! \frac{1}{2}\) and \(k \!\in \! \mathbb {C}_+\) (resp. \(\text {Re}(\alpha ), \, \text {Re}(\beta ) > - \frac{1}{2}\) and \(k \in \mathbb {C}_-\)). Therefore, it is a Hilbert–Schmidt operator, in particular compact. By Corollary 25, the essential spectrum of \(A_{\alpha }^{\min }\) and \(A_{\alpha }^{\max }\) does not depend on \(\alpha \). From the case \(|\text {Re}(\alpha )| < \frac{1}{2}\) we know that it is \(\mathbb {R}\). The statement about the value of the index is clear. \(\square \)
Proposition 45
\( A_{\alpha }^{\max }\) is the generator of a \(C^0\)-semigroup if and only if \(\text {Re}(\alpha ) \ge 0\). If this condition is satisfied, it generates the semigroup of contractions
\(- A_{\alpha }^{\min }\) is the generator of a \(C^0\)-semigroup if and only if \(\text {Re}(\alpha ) \le 0\). If this condition is satisfied, it generated a semigroup of contractions
Here we put \(f(x-t)=0\) if \(x-t<0\).
If \(|\text {Re}(\alpha )| < \frac{1}{2}\), the operators \(- A_{\alpha }^{\max }\) and \(A_{\alpha }^{\min }\) are not generators of \(C^0\)-semigroups.
Proof
We present a proof of the statements concerning \(A_{\alpha }^{\max }\). The others can be proven analogously. It is elementary to check that for \(\text {Re}(\alpha ) \ge 0\) the right-hand side of (A.17) defines a \(C^0\)-semigroup of contractions with the generator \(A_{\max }^{\alpha }\). If \(\text {Re}(\alpha ) < 0\), we consider the same expression for \(f \in C_c^{\infty }(]1, \infty [)\). Then for \(t \le 1\) it is the unique solution of the Cauchy problem \( \frac{\text {d}}{\text {d}t} f_t = A_{\alpha }^{\max } f_t\), \(f_0 = f\). However, there exists no constant c such that \(\Vert f_t \Vert \le c \Vert f \Vert \) for every \(t \in [0,1]\) and f. Thus, \( A_{\alpha }^{\max }\) is not a generator. If \(|\text {Re}(\alpha )| < \frac{1}{2}\), then \(\sigma ( - A_{\alpha }^{\max })\) is the right closed complex half-plane, so \(- A_{\alpha }^{\max }\) is not a generator. \(\square \)
1.3 A.3 Dirac–Coulomb Hamiltonians with \(\omega =0\)
Dirac–Coulomb Hamiltonians with \(\omega =0\) can be reduced to operators \(A_\alpha \) studied in Sect. 8. Therefore, they can be analyzed using elementary functions only.
Let us set \(W:=\frac{1}{\sqrt{2}} \begin{bmatrix} 1 &{} \text {i}\\ \text {i}&{} 1 \end{bmatrix} \). Using (A.11) we obtain for all \(\lambda \)
Consider now the homogeneous holomorphic family. Note first that \(\omega =0\) implies \(\mu =\pm \text {i}\lambda \). We set \(D_{\lambda }^{\pm }:=D_{0, \lambda , \pm \text {i}\lambda , [{\mp } \text {i}: 1]}\). Note that \((0, \lambda , \pm \text {i}\lambda , [{\mp } \text {i}: 1])\in \mathcal {E}^{\pm }\). We have:
Below \(\sigma _2\) is the Pauli matrix \(\begin{bmatrix} 0 &{} -\text {i}\\ \text {i}&{} 0 \end{bmatrix}\). Matrices \(\frac{1 \pm \sigma _2}{2}\) are its spectral projections.
Proposition 46
We have \(\sigma (D_{\lambda }^+) = \mathbb {R}\cup \mathbb {C}_+\) and
whereas \(\sigma (D_{\lambda }^-) = \mathbb {R}\cup \mathbb {C}_-\) and
Proof
Follows from identities (A.20b) and Proposition 43, 44. \(\square \)
Proposition 47
\(D_{\lambda }^{\pm } - k \) with \(k \in \mathbb {C}_{\pm }\) are Fredholm of index 0.
Proof
Indeed, by Propositions 43 and 44 they are direct sums of two Fredholm operators with indices 1 and \(-1\). \(\square \)
Proposition 48
Let \(k \in \mathbb {C}_\pm \). Then \(\bigcup \limits _{n=0}^{\infty } \text {Ker}( (D_{\lambda }^\pm - k)^n)\) is a dense subspace of \(L^2(\mathbb {R}_+) \begin{bmatrix} {\mp } \text {i}\\ 1 \end{bmatrix}\).
Proposition 49
\( \text {i}D_{\lambda }^+\) is the generator of a \(C^0\)-semigroup if and only if \(\text {Im}(\lambda ) \le 0\). Then it generates the semigroup of contractions
\(- \text {i}D_{\lambda }^-\) is the generator of a \(C^0\)-semigroup if and only if \(\text {Im}(\lambda ) \ge 0\). Then it generates the semigroup of contractions
Operators \(- \text {i}D_{\lambda }^+\) and \(\text {i}D_{\lambda }^-\) are not generators of \(C^0\)-semigroups.
1.4 A.4 Hankel Transformation
The following proposition is proven, e.g., in [3].
Proposition 50
Let \(\text {Re}(m) \ge -1\). We define
where \(J_m\) is the Bessel function. Then \({\mathcal {F}}_m^{\text {pre}}\) extends to a bounded operator \({\mathcal {F}}_m\) on \(L^2(\mathbb {R}_+)\), known as the Hankel transformation. \({\mathcal {F}}_m\) is a self-transposed involution, unitary if m is real.
Recall from Sect. 1.1 that the operator X is defined by
Proposition 51
If \(\text {Re}(\alpha ) > - \frac{1}{2}\), one has
Proof
Using the identity
one checks that
for \(f \in C_c^{\infty }(\mathbb {R}_+)\). If \(|\text {Re}(\alpha )| < \frac{1}{2}\), (A.28) may be checked to hold also for \(f(x) = \chi (x) x^{\alpha }\). Taking closures we obtain \({\mathcal {F}}_{\alpha + \frac{1}{2}} A_{\alpha }^{\max } \subset - X {\mathcal {F}}_{\alpha - \frac{1}{2}}\), so \({\mathcal {F}}_{\alpha + \frac{1}{2}} A_{\alpha }^{\max } {\mathcal {F}}_{\alpha - \frac{1}{2}} \subset - X\). Since \({\mathcal {F}}_{\alpha + \frac{1}{2}} A_{\alpha }^{\max } {\mathcal {F}}_{\alpha - \frac{1}{2}}\) is a closed operator and \(C_c^{\infty }(\mathbb {R}_+)\) is a dense subspace of \(\text {Dom}(X)\) with respect to the graph topology, the opposite inclusion will be established by demonstrating that \(C_c^{\infty }(\mathbb {R}_+) \subset \text {Dom}({\mathcal {F}}_{\alpha + \frac{1}{2}} A_{\alpha }^{\max } {\mathcal {F}}_{\alpha - \frac{1}{2}})\). Let \(f \in C_c^{\infty }(\mathbb {R}_+)\). It is clear that \({\mathcal {F}}_{\alpha - \frac{1}{2}} f\) is a smooth function. Using the identity \(\left( x \frac{\text {d}}{\text {d}x} - y \frac{\text {d}}{\text {d}y} \right) \sqrt{xy} J_m(xy) =0\), we find
Since \(\frac{\text {d}}{\text {d}y} \frac{f(y)}{y}\) is in \(L^2(\mathbb {R}_+)\), we get that \(\frac{\text {d}}{\text {d}x} ({\mathcal {F}}_{\alpha - \frac{1}{2}} f)(x)\) is square-integrable over \([1 , \infty [\). Next we use the series expansion of \(J_m\) to find that for small x
Hence, \({\mathcal {F}}_{\alpha - \frac{1}{2}} f \in \text {Dom}(A_{\alpha }^{\max })\), so \(f \in \text {Dom}(A_{\alpha }^{\max } {\mathcal {F}}_{\alpha - \frac{1}{2}}) = \text {Dom}({\mathcal {F}}_{\alpha + \frac{1}{2}} A_{\alpha }^{\max } {\mathcal {F}}_{\alpha - \frac{1}{2}})\). We proved the first equality in (A.26). The other one may be obtained by taking the transpose. \(\square \)
Following [12] (see also [3]), we consider the formal differential operator
We let \(L_{m^2}^{\min }\) be the closure of its restriction to \(C_\mathrm {c}^{\infty }(\mathbb {R}_+)\) and \(L_{m^2}^{\max }\) be the restriction to \(\text {Dom}(L_{m^2}^{\max }) = \{ f \in L^2(\mathbb {R}_+) \, | \, L_{m^2} f \in L^2(\mathbb {R}_+) \}\). If \(\text {Re}(m) > -1\), operator \(H_m\) is defined as the restriction of \(L_{m^2}\) to \(\text {Dom}(L_{m^2}^{\min }) + \mathbb {C}\chi x^{m+ \frac{1}{2}}\), where \(\chi \) is a smooth function equal to one in a neighborhood of zero. We remark that \(H_{\frac{1}{2}}\) and \(H_{-\frac{1}{2}}\) are the Dirichlet Laplacian and the Neumann Laplacian, respectively. Furthermore, \(H_m\) can be diagonalized as follows:
1.5 A.5 Dirac–Coulomb Hamiltonians with \(\lambda =0\)
Dirac–Coulomb Hamiltonians with \(\lambda =0\) can be analyzed without Whittaker functions, just with Bessel functions.
Let us set \(U := \frac{1}{\sqrt{2}} \begin{bmatrix} 1 &{} -1 \\ 1 &{} 1 \end{bmatrix}\). Using (A.12) we obtain for all \(\omega \)
Using Proposition 42 we rewrite the operators \(D'^{\pm }_{\omega } := D_{\omega , 0 , \pm \omega , [ {\mp } 1 : 1 ]}\) as
Proposition 52
Introduce
Then \( \mathcal {W}_\omega '^{\pm }\) are involutions and we have the following diagonalizations
Proof
Then we use
\(\square \)
Corollary 53
We have
Remark 54
At least formally, operators \(D_{\omega }'^{\pm }\), \(X \sigma _2 \) (declared to be odd) and \((D_{\omega }'^{\pm })^2\), \(X^2\), A (declared to be even) furnish a representation of the Lie superalgebra \(\mathfrak {osp}(1|2)\). We leave a detailed description of this representation for a future study.
B Dirac Hamiltonian in d Dimensions
Separation of variables of a spherically symmetric Dirac Hamiltonian in dimension 3 is described in many texts and belongs to the standard curriculum of relativistic quantum mechanics [15, p. 267]. Of course, it is even more straightforward to solve a rotationally symmetric Dirac Hamiltonian in dimension 2. However, to our knowledge, the first treatment in any dimension is due to Gu, Ma and Dong [25].
In this appendix we show that a spherically symmetric Dirac Hamiltonian in an arbitrary dimension can be reduced to 1 dimension. Unlike in [25], we arrive at the radial Dirac equation by relatively simple algebraic computations which do not involve a detailed analysis of representations of the Lie algebra \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\).
The main role in this separation is played by a certain operator \(\kappa \) that commutes with the Dirac operator. This operator in dimension 3 goes back to Dirac himself. It seems that for the first time it has been generalized to other dimensions in [25]. We analyze this operator in detail.
Recall that operators belonging to the center of the enveloping algebra of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\) are called Casimir operators of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\). One of them, built in a standard way as a bilinear form in the generators, will be called the square of angular momentum or simply the quadratic Casimir (even though it is not the only Casimir bilinear in generators: these form a vector space generically of dimension 1, and of dimension 2 if \(d=4\)). \(\kappa \) does not coincide with the quadratic Casimir. One can ask whether \(\kappa \) is also a Casimir operator. We will analyze this question in detail. It turns out that the answer is positive in even, and negative in odd dimensions.
1.1 B.1 Laplacian in d Dimensions
Spherical coordinates can be interpreted as a map
It induces a unitary map
We also have the obvious map
The product of (B.3) and (B.2) will be denoted
The momentum is defined as
We also introduce the radial momentum
Here is the radial momentum and its square in spherical coordinates:
After applying U we obtain
In the standard way we introduce the angular momentum and its square:
They furnish the standard representation of the Lie algebra \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\) on \({\mathbb {S}}^{d-1}\):
The angular momentum squared \(L^2\) is the quadratic Casimir operator of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\).
The representation (B.7a) is decomposed into subspaces of spherical harmonics of the order \(\ell \). The representation of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\) of this type will be called spherical of degree \(\ell \). On this representation we have
The Laplacian on \(\mathbb {R}^d\) in the spherical coordinates is
Sandwiching it with U we obtain
Remark 55
Discussion above is valid even for \(d=1\), with \({\mathbb {S}}^0 := \{ \pm 1 \}\). This case is peculiar in that the only allowed values of \(\ell \) are 0 and 1, corresponding to even and odd functions. \(d=2\) is also special: \(\ell \) takes arbitrary integer values, while for \(d \ge 3\) one has \(\ell \ge 0\).
1.2 B.2 Dirac Operator in d Dimensions
Let \(\alpha _i\), \(i=1, \ldots ,d\) and \(\beta \) be the Clifford matrices acting irreducibly in a finite-dimensional space \(\mathcal {K}\). They satisfy the Clifford relations
We recall that \(\dim (\mathcal {K}) = 2^{\lfloor \frac{d+1}{2} \rfloor }\) and that for even d one has \(\beta = \pm \text {i}^{\frac{d}{2}}\prod \nolimits _{i=1}^d \alpha _i\). The two sign choices give non-isomorphic representations of the Clifford algebra. By averaging arguments, \(\mathcal {K}\) admits a positive definite Hermitian form such that \(\beta \) and \(\alpha _i\) are unitary and hence Hermitian. This form is unique up to positive scalars; we fix one once and for all.
Using the Einstein summation convention unless there is a summation sign, we introduce the following operators on \(L^2(\mathbb {R}^d)\otimes \mathcal {K}\):
Proposition 56
We have
Proof
Let us prove the first identity of (B.14d). We have
Using
we obtain
Moreover,
Now the sum of \(\frac{\text {i}}{6}\)(B.17) and \(\frac{\text {i}}{2}\)(B.18) is \((d-1)\alpha _ip_i\). \(\square \)
1.3 B.3 Decomposition into Incoming and Outgoing Dirac Waves
Let
be the spectral projections of S onto \(\pm 1\). Define
For an operator B on \(L^2({\mathbb {R}}^d)\otimes \mathcal {K}\) let us write
Clearly,
D commutes with the self-adjoint operator \(\kappa \). We can therefore reduce ourselves to the eigenspace of \(\kappa \) with eigenvalue \(\omega \in \mathbb {R}\), denoted \(\mathcal {H}_\omega \) (see Sect. 8 for a description of these eigenspaces). We can write
Using spherical coordinates, we can identify \(L^2(\mathbb {R}^d)\otimes \mathcal {K}\) with \( L^2(\mathbb {R}_+,r^{d-1})\otimes L^2({\mathbb {S}}^{d-1})\otimes \mathcal {K}\). Applying (B.3) and treating \(\beta _{\pm {\mp }}\) as identifications, we can rewrite the above equation as
The d-dimensional Dirac Hamiltonian can be reduced to 1 dimension (with \(2 \times 2\) matrix structure) if it is perturbed by four kinds of radial terms: the electric potential V(r), the mass m(r) (called also the Lorentz scalar), the radial vector potential A(r) and the anomalous (Pauli) coupling to the electric field E(r). The reduction (B.23) leads to
We prefer another form, related by a similarity transformation:
For \(m=A=E=0\) and \(V=-\frac{\lambda }{r}\), this is the one-dimensional Dirac operator studied in our paper.
We remark that the radial electromagnetic potential A(r) is necessarily pure gauge. Indeed, it enters the Dirac operator only in the combination \(\partial _r + \text {i}A(r)\), which may be written as \(\text {e}^{- \text {i}\phi (r)} \partial _r \text {e}^{i \phi (r)}\) for a function \(\phi (r)\) such that \(\phi '(r) = A(r)\). Coupling E(r) arises if the Dirac Lagrangian is extended by the Pauli term, proportional to \(\overline{\psi }\frac{\text {i}}{2} \gamma ^\mu \gamma ^\nu F_{\mu \nu } \psi \) with a purely electric and radial field strength tensor F.
1.4 B.4 Composite Angular Momentum
Introduce the spin operators
\(\frac{1}{2}\sigma _{ij}\) yield a representation of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\) on the spin space \(\mathcal {K}\):
Irreducible representations of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\) contained in \(\mathcal {K}\) will be called spinor representations. Their quadratic Casimir is given by
If d is even, then there are two inequivalent spinor representations. They correspond to the eigenspaces of \(\beta \) with eigenvalues \(\pm 1\).
If d is odd, then \(\mathcal {K}\) is also a direct sum of two spinor representations; however, they are equivalent to one another. The decomposition of \(\mathcal {K}\) into irreducible components exists but is clearly non-unique. One possible choice corresponds to the eigenvalues \(\pm 1\) of \(\beta \).
We also have the composite representation of \({{\mathfrak {s}}}{{\mathfrak {o}}}(d)\) given by
Clearly,
The quadratic Casimir of this representation, also called the square of the total angular momentum, is
Proposition 57
We have the following relation:
Proof
Directly from the definition we have
To simplify the last term, we write
A simple expression for the first term is given by (B.27b). The second one is
in which \([ \cdots ]\) denotes skew-symmetrization of the enclosed indices. In order to prove this formula, first note that both sides are skew-symmetric with respect to the transposition of i and j or k and l, so we may assume that \(i \ne j\) and \(k \ne l\). We have three cases. If sets \(A = \{ i , j \}\) and \(B=\{ k , l \}\) are disjoint, then all \(\alpha \) matrices involved anticommute and hence both sides are equal to \(- \alpha _i \alpha _j \alpha _k \alpha _l\). If \(A \cap B\) has one element, one checks that both sides vanish. Finally, if \(A=B\) then both sides are equal to \(\pm 1\), the sign depending on the order of indices.
Now plug (B.34) and (B.34) into (B.33). The term with \(\alpha _{[ i} \alpha _j \alpha _k \alpha _{l]}\) drops out after summing over indices because \(L_{[ij} L_{kl]}=0\). In the term with (B.27b) we can replace \(L_{ij} L_{kl}\) by \(\frac{1}{2} [L_{ij},L_{kl}]\), by skew-symmetry with respect to \(ij \leftrightarrow kl\). After simplifications with (B.28) and (B.31a) we obtain the claim. \(\square \)
Recall that on \(\mathcal {H}_\omega \) the operator \(\kappa \) acts as multiplication by \(\omega \). We will now characterize \(\mathcal {H}_\omega \) more closely.
Proposition 58
Let \(\omega \) be such that \(\mathcal {H}_\omega \ne \{ 0 \}\). Then there exist \(\ell \) and subspaces \(\mathcal {W}_\ell ,\mathcal {W}_{\ell -1}\subset L^2(\mathbb {R}^d)\) spherical of degree \(\ell \) resp. \(\ell -1\) such that
Proof
Exceptional cases \(d=1,2\) are easy to analyze separately: one has \(\kappa =0\) in the former case and \(\kappa = \pm L_{12} + \frac{1}{2} \beta \) (with the sign depending on the choice of Clifford matrices) in the latter. From now on we assume that \(d \ge 3\). We note that (B.32) and \(J^2 \ge 0\) imply that \(\omega \ne 0\).
\(\kappa \) commutes with \(\beta \), hence also with \(L\sigma \). Therefore, we can decompose \(\mathcal {H}_\omega \) with respect to the eigenvalues of \(L\sigma \). From (B.13b) we obtain
which has on \(\mathcal {H}_\omega \) two distinct eigenvalues
Both sings are realized because D anticommutes with \(\beta \) and preserves \(\mathcal {H}_{\omega }\).
Clearly \(L^2=J^2-L\sigma -\frac{\sigma ^2}{4}\) has on \(\mathcal {H}_\omega \) two distinct eigenvalues corresponding to (B.38). As seen from (B.9), the representation of orbital angular momentum is uniquely determined by \(L^2\). Therefore, for some \(\ell _+,\ell _-\in \mathbb {N}\), \(\ell _+ > \ell _-\),
Comparing the identities
we obtain the equation
whose solutions take the form \( \ell _+ + \frac{d-3}{2} \in \{ |\omega |, -|\omega | - 1 \}\), \(\ell _- + \frac{d-3}{2} \in \{ |\omega |-1, -|\omega | \}\). In both cases the second solution has to be discarded because \(\ell _\pm + \frac{d-3}{2} \ge 0\). Hence, (B.36b) holds and \(\ell _- = \ell _+ - 1\). Then (B.36c) is obtain by feeding (B.36b) into (B.32).
We remark that the sign of \(\omega \) cannot be obtained from the above calculation. Indeed, the spectrum of \(\kappa \) on \(L^2(\mathbb {R}^d)\otimes \mathcal {K}\) is always invariant with respect to \(\omega \mapsto -\omega \). If d is odd, then \(\prod \nolimits _{j=1}^d \alpha _j\) commutes with L and \(\alpha _i\), but anticommutes with \(\beta \) and hence with \(\kappa \). If d is even, then \(\kappa \) anticommutes with the parity operator
However, this operation does not preserve the type of angular momentum representation. Indeed, it anticommutes with \(\beta \) and hence exchanges the two spinor representations.
1.5 B.5 Analysis in Various Dimensions
Let us review the lowest dimensions.
\(\mathbf{d}=1\). There is no angular momentum and one has \(\omega =0\).
\(\mathbf{d}=2\). Unitary irreducible representations of \({{\mathfrak {s}}}{{\mathfrak {o}}}(2)\) are enumerated by spin values \(m\in \mathbb {R}\). The corresponding quadratic Casimir is equal to \(m^2\). There are two types \(\mathcal {K}_{\pm \frac{1}{2}}\) of spinor representations, corresponding to \(m=\pm \frac{1}{2}\). Spherical representations correspond to \(\ell \in \mathbb {Z}\).
One convenient choice of Clifford representation is given by Pauli matrices: \(\alpha _1 = \sigma _1\), \(\alpha _2 = \sigma _2 \), \(\beta =\pm \sigma _3\). Then \(\kappa = \pm J\) and hence
with \(\omega = \pm (\ell - \frac{1}{2}) \in \mathbb {Z}+ \frac{1}{2}\). Sign in the relation between \(\omega \) and total angular momentum depends on the choice of sign in \(\beta \), but after fixing Clifford matrices it is one-to-one.
\(\mathbf{d}=3\). Unitary irreducible representations of \({{\mathfrak {s}}}{{\mathfrak {o}}}(3)\) are parametrized by spin \(j \in \frac{1}{2}{\mathbb {N}}\) or the quadratic Casimir \(j(j+1)\). All spinor representations have the spin \(\frac{1}{2}\). The representation on \(\mathcal {H}_\omega \) has spin \(\ell -\frac{1}{2}\). We have \(\omega =\pm \ell \in \{ \pm 1 , \pm 2 , \dots \}\), i.e., two distinct values of \(\omega \) correspond to the same total spin.
\(\mathbf{d}=4\). We have \({{\mathfrak {s}}}{{\mathfrak {o}}}(4)\simeq {{\mathfrak {s}}}{{\mathfrak {o}}}(3)\oplus {{\mathfrak {s}}}{{\mathfrak {o}}}(3)\). More explicitly,
span two algebras isomorphic to \({{\mathfrak {s}}}{{\mathfrak {o}}}(3)\) and commuting with one another. Let \((J^\pm )^2\) be the corresponding quadratic Casimirs. We have
Thus, irreducible representations of \({{\mathfrak {s}}}{{\mathfrak {o}}}(4)\) are parametrized by pairs of spins \((j^+,j^-)\in (\frac{1}{2}\mathbb {N})^2\) with the quadratic Casimir \(2j^+(j^++1)+2j^-(j^-+1)\). We have also the obvious analogs of (B.45) and (B.46) for \(L_{ij}\) and \(\frac{1}{2}\sigma _{ij}\).
Representations of \({{\mathfrak {s}}}{{\mathfrak {o}}}(4)\) on spherical harmonics satisfy
Therefore, \((L^+)^2=(L^-)^2\). Hence, a spherical representation of degree \(\ell \) corresponds to the pair of spins \((\frac{\ell }{2},\frac{\ell }{2})\) with the quadratic Casimir \(\ell (\ell +2)=2\frac{\ell }{2}\Big (\frac{\ell }{2}+1\Big )+2\frac{\ell }{2}\Big (\frac{\ell }{2}+1\Big )\). Spinor representations of \({{\mathfrak {s}}}{{\mathfrak {o}}}(4)\) are of types \((\frac{1}{2},0)\) and \((0,\frac{1}{2})\), distinguished by the eigenvalue of \( \alpha _1 \alpha _2 \alpha _3 \alpha _4\). They satisfy
Furthermore, we have \(\beta = \pm \alpha _1 \alpha _2 \alpha _3 \alpha _4\), with the sign in this relation distinguishing Clifford representation. Using these relations we derive
From spherical representations and spinor representation it is possible to build total angular momentum representations of two types: \((\frac{\ell }{2},\frac{\ell -1}{2})\) and \((\frac{\ell -1}{2},\frac{\ell }{2})\). They have the same quadratic Casimir
but can be distinguished by \(\omega \):
The inclusion (B.36a) may now be stated more precisely:
As in dimension 2, the relation between the total angular momentum representation and \(\omega \), taking valued in \(\{ \pm \frac{3}{2}, \pm \frac{5}{2}, \dots \}\), is one-to-one after fixing Clifford matrices.
For general dimensions we label irreducible representations as in [20, Section 19].
\(\mathbf{d}=2n+1, \, n \ge 2\). Irreducible representations are in \(1-1\) correspondence with labels \((a_1,\dots ,a_n)\in {\mathbb {N}}^n\). Spherical harmonics of degree \(\ell \) have type \((\ell ,0,\dots )\), while spinor representations have type \((0,\dots ,1)\). Their tensor product decomposes as
Thus, the only possible types of \(\mathcal {H}_{\omega }\) are \(( \ell -1, \dots , 1)\). This representation occurs as a subrepresentation only in two tensor products:
We have \(|\omega |=\ell +n -1\); thus, \(\omega \) takes values \(\{ \pm n ,\pm ( n+1), \dots \}\), with opposite \(\omega \) corresponding to the same total angular momentum. In particular it is not possible to express \(\kappa \) as a polynomial in \(J_{ij}\).
\(\mathbf{d}=2n, \, n \ge 3\). Types of irreducible representations are parametrized by \((a_1,\dots ,a_n)\in {\mathbb {N}}^n\). \(\ell \)th degree spherical harmonics are of type \((\ell ,0,\dots )\). Spinor representations are of two types: \((0,\dots ,1,0)\). and \((0,\dots ,0,1)\). We have tensor products decompositions (\(\ell \ge 1\)):
It follows that \(\mathcal {H}_{\omega }\) must be of the type \((\ell -1, \dots ,0,1)\) or \((\ell -1,\dots ,1,0)\). These two representations have the same quadratic Casimir; however, they are exchanged by the parity operator (B.43). Hence, they can be distinguished by the sign of the following Casimir element, defined as the nth wedge power of the 2-form J:
Here \(\epsilon \) is the Levi–Civita symbol.
We will show that (B.56) is actually proportional to \(\kappa \). Using the fact that skew-symmetrization of the product of two or more \(L_{ij}\) vanishes and Clifford relations, we derive
A Clifford representation is determined up to isomorphism by specifying the sign in the relation \(\beta = \pm (-\text {i})^n \alpha _1 \cdots \alpha _{2n}\). Then we have
As in lower even dimensions, for fixed Clifford matrices angular momentum types are in one-to-one correspondence with the values \(\omega \in \{ \pm \left( n - \frac{1}{2} \right) , \pm \left( n + \frac{1}{2} \right) , \dots \}\).
1.6 B.6 Dirac Operators on Manifolds
The operator \(\kappa \), which is central to the separation of variables of the radially symmetric Dirac equation, is closely related to the Dirac equation on the sphere. We would like to give a short discussion of this topic.
Before we discuss the case of a sphere, in this subsection we give a short introduction to Dirac operators on Riemannian manifolds. We take Clifford module bundles as central objects. A popular alternative is based on the concept of a spin structure. Spinor bundles are then constructed by the associated bundle construction, see [32, p. 7–44, 77–135] for an exposition. A comparison between the two approaches is presented in [41].
Given a Euclidean vector space E with the scalar product of \(u,v\in E\) denoted \(u\cdot v\), we let \(\text {Cl}(E)\) be the corresponding Clifford algebra, that is the quotient of the tensor algebra of E by the ideal generated by elements of the form \(u \otimes u - u \cdot u\). Then \(\mathbb {R}\) and E are naturally embedded in \(\text {Cl}(E)\) (in concrete matrix realizations of \(\text {Cl}(E)\) the latter embedding is realized by contraction of vectors with \(\alpha \) matrices such as (B.12)). In this subsection we identify elements of E with their images in \(\text {Cl}(E)\).
The automorphism \(\alpha \) of \(\text {Cl}(E)\) characterized by the equation \(\alpha (u) = -u\) for \(u \in E\) is called the main automorphism or the parity. Elements of \(\text {Cl}(E)\) fixed (negated) by \(\alpha \) are said to be even (odd). The transposition is the anti-automorphism of \(\text {Cl}(E)\) characterized by \((u_1 \dots u_n)^\text {T}= u_n \dots u_1\) for \(u_1, \dots , u_n \in E\).
The spin group \(\text {Spin}(E)\) is the group of even invertible elements \(g \in \text {Cl}(E)\) such that
If \(g \in \text {Spin}(E)\), then the endomorphism \(u \mapsto gug^{-1}\) of E belongs to the special orthogonal group \(\text {SO}(E)\). Thus, we have a homomorphism \(\text {Spin}(E) \rightarrow \text {SO}(E)\). This homomorphism is surjective with kernel \(\{ \pm 1 \}\). Since this is a central subgroup of \(\text {Cl}(E)\), the adjoint action of \(\text {Spin}(E)\) on \(\text {Cl}(E)\) descends to an action of \(\text {SO}(E)\) on \(\text {Cl}(E)\). The Lie algebra \(\mathfrak {spin}(E)\) of \(\text {Spin}(E)\) is the subspace of \(\text {Cl}(E)\) spanned by elements of the form \([u_1, u_2]\) with \(u_1, u_2 \in E\). We have an isomorphism \(\mathfrak {spin}(E) \cong {{\mathfrak {s}}}{{\mathfrak {o}}}(E)\), which takes \([u_1,u_2]\) to the endomorphism
Therefore, \(A\in {{\mathfrak {s}}}{{\mathfrak {o}}}(E)\) is mapped to
where \(e_i\) form an orthonormal basis of E.
Every \(\text {Cl}(E)\)-module \(\mathcal {V}\) is a direct sum of irreducible modules. Let \(\mathcal {V}\) be an irreducible complex representation. The even subalgebra of \(\text {Cl}(E)\) (and in particular the spin group \(\text {Spin}(E)\)) is represented faithfully on \(\mathcal {V}\). There exists a positive-definite Hermitian form \(( \cdot | \cdot )\) on M, called a spinor scalar product, such that \(( \psi _1 | c \psi _2 ) =( c^\text {T}\psi _1 | \psi _2 )\) for \(c \in \text {Cl}(E)\) and \(\psi _1, \psi _2 \in \mathcal {V}\). It is unique up to positive scalars. Furthermore, there exists an antilinear operator \(\Theta \) on \(\mathcal {V}\), called a spinor conjugation, such that
\(\Theta \) is unique up to a phase factor.
Now let M be a Riemannian manifold with tangent bundle TM and the Levi–Civita connection \(\nabla \). For every \(x \in M\) consider the Clifford algebra \(\text {Cl}(T_x M)\). Together these Clifford algebras form a bundle \(\text {Cl}(TM)\) of Clifford algebras over M. If M is oriented, we can locally choose positively oriented orthonormal framings \(\{ e_i \}_{i=1}^d\) and put
The right-hand side does not depend on the choice of framing; hence, it defines a global section of \(\text {Cl}(TM)\).
The Levi–Civita connection extends uniquely to a connection on \(\text {Cl}(TM)\) satisfying the Leibniz rule:
for sections \(c_1, c_2\) of \(\text {Cl}(TM)\). This connection commutes with the main automorphism and the transposition. If defined, \(\text {vol}_M\) is covariantly constant.
A vector bundle \(\Sigma \) whose fiber \(\Sigma _x\) is a representation of \(\text {Cl}(T_x M)\) (with the module structure smoothly varying with x) is called a Clifford module bundle. A connection \(\nabla \) on \(\Sigma \) will be called Clifford covariant if it satisfies
If in addition for every \(x \in M\) and every null-homotopic loop \(\gamma \) based at x the holonomy endomorphism \(\mathrm {hol}_{\Sigma , \gamma } \in \mathrm {GL}(\Sigma _x)\) is an element of \(\text {Spin}(T_x M)\), we call \(\nabla \) a locally spin connection. If this is true for all loops, we say that \(\nabla \) is a spin connection. A Clifford module bundle equipped with a spin connection will be called a spinor bundle.
Lemma 59
If \(\nabla \) is a spin connection, then the holonomy endomorphism \(\mathrm {hol}_{\Sigma , \gamma } \in \text {Spin}(T_xM)\) lifts the holonomy \(\mathrm {hol}_{TM, \gamma } \in \text {SO}(T_xM)\) of the Levi–Civita connection.
Proof
By the Clifford covariance (B.65), for any \(c\in \text {Cl}(T_xM)\) we have
Thus,
As c we can choose \(u\in T_xM\subset \text {Cl}(T_xM)\) and rewrite (B.67) as
\(\square \)
From now on we assume that M is orientable. As a consequence, the holonomies of the Levi–Civita connection are always contained in \(SO(T_xM)\). (On non-orientable manifolds they may be contained in \(O(T_xM)\))
The following lemma allows us to conveniently check whether a given connection is spin [41].
Lemma 60
Let \(\Sigma \) be a bundle of irreducible Clifford modules with a Clifford covariant connection \(\nabla \). Then \(\nabla \) is a spin connection if and only if there exist a spinor scalar product \((\cdot | \cdot )\) and a spinor conjugation \(\Theta \) on \(\Sigma \) such that
Proof
\(\Rightarrow \). We focus on one connected component \(M_0\) of M and choose a point x therein. Then we choose a spinor scalar product \((\cdot | \cdot )\) and a spinor conjugation \(\Theta \) in \(\Sigma _x\). By assumption, they are invariant under \(\text {hol}_{\Sigma , \gamma }\) for every loop based at x. Now parallel transport \(( \cdot | \cdot )\) and \(\Theta \) to all other fibers over \(M_0\). Invariance under holonomies implies that the result is independent of the choice of paths, smooth and covariantly constant, hence satisfies (B.68).
\(\Leftarrow \). Let \(\gamma \) be a loop based at x and let \(c \in \text {Cl}(T_xM)\). Let \(g \in \text {Spin}(T_xM)\) be a lift of \(\text {hol}_{T M , \gamma } \in \text {SO}(T_xM)\). Arguing as in the proof of Lemma 59, we see that \(\text {hol}_{\Sigma , \gamma } c \, \text {hol}_{\Sigma , \gamma }^{-1} = g c g^{-1}\). By irreducibility of \(\Sigma _x\), this implies that \(\text {hol}_{\Sigma , \gamma } = z g\) for some \(z \in \mathbb {C}\). Since both \(\text {hol}_{\Sigma , \gamma }\) and g preserve the scalar product, \(|z|=1\). Since both commute with \(\Theta \), \(z \in \mathbb {R}\). Thus, \(\text {hol}_{\Sigma , \gamma }\) coincides with g or \(-g\) and hence belongs to \(\text {Spin}(T_xM)\). \(\square \)
Lemma 61
Every spinor bundle is a direct sum of spinor bundles whose fibers are irreducible Clifford modules.
Proof
Analogous to the proof of \(\Rightarrow \) in Lemma 60. \(\square \)
Recall that for a vector bundle \(\Sigma \) with a connection \(\nabla \), the expression
defines an \(\mathrm {End}(\Sigma )\)-valued 2-form, called the curvature of \(\nabla \). Here \([ \cdot , \cdot ]_{\mathrm {Lie}}\) is the Lie bracket of vector fields \({\mathbf {U}}, {\mathbf {V}}\). If \(\Sigma = TM\) and \(\nabla \) is the Levi–Civita connection, then \(\Omega \) is denoted by R and called the Riemann tensor. One checks that \(\left. R({\mathbf {U}}, {\mathbf {V}}) \right| _x\) is an element of \({{\mathfrak {s}}}{{\mathfrak {o}}}(T_xM)\).
Lemma 62
If \(\nabla \) is a spin connection, then its curvature takes the form
A partial converse holds: every Clifford covariant connection with curvature given by the formula above is a locally spin connection.
Proof
The curvature may be extracted from holonomies along infinitesimal parallelograms. Therefore, by Lemma 59, the curvature of \(\nabla \) at x is an element of \(\mathfrak {spin}(T_xM)\), coinciding with \(R({\mathbf {U}}, {\mathbf {V}})\) taken in the representation (B.61).
Now we prove the converse. If \(\gamma \) is any path from y to x and \(\text {hol}_{\Sigma , \gamma } \in \mathrm {Hom}(\Sigma _x, \Sigma _y)\) is the corresponding parallel transport, then by the Clifford covariance
Let \(\gamma _s\) be a family of loops \([0,1] \rightarrow M\) based at x. For \(t \in [0,1]\) let \(\gamma _s^t := \left. \gamma _s \right| _{[0,t]}\). Then
It follows that for a null-homotopic loop \(\gamma \) based at x we have that \(\text {hol}_{\Sigma , \gamma } \in \text {Spin}(T_x M)\). \(\square \)
Next we define the Dirac operator on sections of a spinor bundle \(\Sigma \). Let us choose a locally defined orthonormal framing \(\{ e_i \}\) of TM. Now put
Here the multiplication by \(e_i\) is the Clifford multiplication (\(e_i\) being regarded as a section of \(\text {Cl}(TM)\)). It is not difficult to check that \( D \psi \) does not depend on the choice of framing, so local expressions on the right-hand side of (B.73) can be glued to obtain a globally defined differential operator.
If \(\Sigma \) is a spinor bundle over an oriented Riemannian manifold M, there exist two distinguished second-order differential operators acting on sections of \(\Sigma \): the square of the Dirac operator \( D^2\) and the Bochner Laplacian. To describe the latter, let \((\cdot |\cdot )\) be a spinor scalar product. It yields a scalar product on \(T^* M \otimes \Sigma \). Now the Bochner Laplacian, at least formally, is (minus) the operator associated to the quadratic form
Equivalently, the Bochner Laplacian can be defined without invoking the scalar product by
Note that the Bochner Laplacian uses the covariant Hessian
which is bilinear over \(C^\infty (M)\) and satisfies
(B.77) follows from the torsion-freeness of the Levi–Civita connection, that is
In the following proposition we recall the celebrated Lichnerowicz formula:
Proposition 63
The square of the Dirac operator and the Bochner Laplacian are related by
where \(\mathrm {Sc}\) is the scalar curvature.
Proof
Let \(\mathrm {Hess}^{\mathrm s}\) be the symmetric part of the Hessian. We choose an orthonormal framing \(\{e_i\}\). Then
Below we will show that the last two terms in the third line cancel. The last term in the fourth line may be shown to be equal to \(- \frac{1}{4} \mathrm {Sc} = - \frac{1}{4} \sum _{ij}e_i\cdot R(e_i,e_j)e_j\) using Clifford relations and symmetries of the Riemann tensor.
Connection coefficients are defined by the formula
\(\nabla _{e_i}(e_j \cdot e_k)=0\) and metric compatibility of the connection give \(c_{ijk} + c_{ikj}=0\). We have
Now switch the roles of j, k in the second term to see that (B.82) vanishes. \(\square \)
Now suppose that N is an orientable submanifold of M of codimension 1. We will now describe spinor bundles on in the spirit of [40]. Then there exists a smooth field of unit normal vectors \(\nu \). We have the following relation between the Levi-Civita connection on M and on N:
where \({\mathbf {U}}, {\mathbf {V}}\) are tangent to N. That is, \(\nabla ^N_{{\mathbf {U}}} {\mathbf {V}}\) is the projection of \(\nabla ^M_{{\mathbf {U}}} {\mathbf {V}}\) onto TN.
(B.83) can be rewritten as follows:
where now \({\mathbf {V}},\) \(\nu \) and \(\nabla _{{\mathbf {U}}}^M\nu \) are treated as sections of the Clifford bundle \(\text {Cl}(TM)\). This is immediately generalized to general Clifford fields
Now assume that \(\Sigma ^M\) is a Clifford module bundle over M with a Clifford covariant connection \(\nabla ^M\). The restriction of \(\Sigma ^M\) to N, denoted \(\Sigma ^N\), is a bundle of Clifford modules. (B.84) motivates defining the following connection on \(\Sigma ^N\):
By construction, \(\nabla ^N\) is Clifford covariant.
Lemma 64
If \(\Sigma ^M\) is a spinor bundle, so is \(\Sigma ^N\).
Proof
By Lemma 61 we may assume that \(\Sigma ^M\) is a bundle of irreducible Clifford modules. If \(d := \dim (M)\) is even, then \(\Sigma ^N\) splits into eigenbundles of \(\text {vol}_N\), which are bundles of irreducible Clifford modules. If d is odd, \(\Sigma ^N\) is irreducible.
Now choose a spinor scalar product \(( \cdot | \cdot )\) and a spinor conjugation \(\Theta ^M\) on \(\Sigma ^M\). Let \( \Theta ^N = \Theta ^M\) if \(d \in \{ 1 , 2 \}\) mod 4 and \( \Theta ^N = \nu \Theta ^M\) if \(d \in \{ 0, 3 \}\) mod 4, in both cases restricted to \(\Sigma ^N\). The restriction of \(( \cdot | \cdot )\) to \(\Sigma ^N\) and \(\Theta ^N\) are a spinor scalar product and a spinor conjugation satisfying (B.68). If d is even, this is still true if we further restrict to eigenbundles of \(\text {vol}_N\). The result follows from Lemma 60. \(\square \)
Assume now that we have a covariantly constant section \(\beta \) of \(\mathrm {End}(\Sigma )\) satisfying \(\beta ^2=1\) and anticommuting with \(T M\subset \text {Cl}(TM)\). Let us consider the operator \(\Gamma = -\text {i}\beta \nu \) acting on sections of \(\Sigma ^N\). It satisfies \(\Gamma ^2=1\) and commutes with all sections of \(\text {Cl}(T N)\). Hence, its eigenbundles \(\Sigma _\pm ^N\) for eigenvalues \(\pm 1\) are also Clifford module bundles over N. Using (B.85) one checks that \(\Gamma \) commutes also with the covariant differentiation, so \(\Sigma _\pm ^N\) inherit the spin connection.
Operator \(\text {vol}_M\) commutes with covariant differentiation and anticommutes with \(\Gamma \); hence, it takes sections of \(\Sigma _\pm ^N\) to sections of \(\Sigma _{\mp }^N\). If d is odd, \(\text {vol}_M\) commutes with Clifford fields and hence defines an isomorphism of spinor bundles \(\Sigma _+^N \cong \Sigma _-^N\). If d is even, \(\Sigma _+^N\) and \(\Sigma _-^N\) are non-isomorphic as Clifford module bundles. In this case, we can take \(\beta :=\pm \text {i}^{\frac{d}{2}}\mathrm {vol}_M\) and \(\Gamma \) coincides up to phase with the \(\text {Cl}(T N)\) section \(\text {vol}_N\).
If \(\Sigma \) is irreducible for \(\text {Cl}(TM)\) and \(\beta \), by dimensional consideration, \(\Sigma _\pm ^N\) are bundles of irreducible Clifford modules.
1.7 B.7 Dirac Operators on Spheres
Now let us consider the sphere \({\mathbb {S}}^{d-1}\) of radius 1 (thus we put \(|x|=1\) below). We will apply the formalism of the previous section with \(M:=\mathbb {R}^d\) and \(N:={\mathbb {S}}^{d-1}\). For brevity, we will write \({\mathbb {S}}\) for \({\mathbb {S}}^{d-1}\). We will use the notation of Sects. 8 and 8, such as S, R, T and \(\kappa \).
The normal vector \(\nu \) is identified with S. The Levi–Civita connection on \({\mathbb {S}}\) is
for vector fields \({\mathbf {U}}, {\mathbf {V}}\) tangent to the sphere. Here \(\partial _{{\mathbf {U}}} = \sum \limits _{i=1}^d {\mathbf {U}}_i \partial _i\). Consider the vector space \(\mathcal {K}\) from previous subsections. \({\mathbb {S}}\times \mathcal {K}\) is a Clifford module bundle with connection
Proposition 65
The connection (B.87) is a spin connection with curvature
If \(d=2\), the holonomy of \(\nabla \) along \({\mathbb {S}}^1\) is equal to \(-1\).
Proof
All but the last statement follow from Lemma 64. (B.88) may also be obtained from a simple direct computation. Now let \(d =2\). We parametrize \({\mathbb {S}}^1\) as \(x = ( \cos (\alpha ), \sin (\alpha ))\). Then (B.87) takes the form
It follows that solutions of the parallel transport equation \(\nabla _{\frac{\partial }{\partial \alpha }} \psi =0\) satisfy \(\psi (2 \pi ) = - \psi (0)\). \(\square \)
Eigenbundles \(\mathcal {K}_\pm \subset {\mathbb {S}}\times \mathcal {K}\) of \(\Gamma = -\text {i}\beta S\) to eigenvalues \(\pm 1\) are irreducible spinor bundles, isomorphic if d is odd and non-isomorphic otherwise.
Choose a local orthonormal framing \(\{ e_i \}_{i=1}^{d-1}\) of \(T {\mathbb {S}}\). Denote the Dirac operator on \({\mathbb {S}}\) by \(D_{{\mathbb {S}}}\) and on \(\mathbb {R}^d\) by D. Using (B.87) we manipulate its definition to the form
Next let \(\{ e_i \}_{i=1}^d\) be the canonical basis of \(\mathbb {R}^d\). Multiplying the above by S from the left we find
Hence, we have
Let us note that this is exactly the off-diagonal term of D with respect to decomposition into eigenspaces of S. Next observe that
It follows that on sections of \(\mathcal {K}_\pm \), operator \(\kappa \) acts as \(\pm D_{{\mathbb {S}}}\).
We also remark that if \(\psi \) is a \(\mathcal {K}\)-valued polynomial homogeneous of degree \(\ell \) annihillated by D, then \((S {\mp } \text {i})\psi \) is an eigenvector of \(D_{{\mathbb {S}}}\) to eigenvalue \(\pm (\ell + \frac{d-1}{2})\). Indeed,
which implies
By the relation between \(D_{{\mathbb {S}}}\) and \(\kappa \), this calculation reproduces the spectrum of \(\kappa \) found in Proposition 58.
We claim that a complete set of eigenfunctions of \( D_{\mathbb {S}}\) is obtained by the construction above, similarly as spherical harmonics are obtained by restricting scalar-valued homogeneous harmonic polynomials, e.g., [1, p. 73–81]. This may be seen from the Stone-Weierstrass theorem and the following lemma. Besides this application, the lemma elucidates the decomposition of spaces of spinor-valued polynomials into irreducible representations of \(\text {Spin}(\mathbb {R}^d)\) and relates eigenvectors of \(D_{{\mathbb {S}}}\) (and hence also of \(\kappa \)) to harmonic polynomials.
Consistently with our notation, in the following lemma x denotes the element of the Clifford algebra \(x=\sum _i x_i e_i\), whereas \(x_i\) are real numbers. \(x^j\) is the j-th power of x.
Lemma 66
Let \(\mathcal {K}_\ell \) be the space of \(\mathcal {K}\)-valued polynomials homogeneous of degree \(\ell \) and let \(\mathcal {K}_{\ell }^0\) be the kernel of D acting in \(\mathcal {K}_\ell \). Then
In particular we have a vector space decomposition
Moreover, \(\dim (\mathcal {K}_\ell ^0) \!= \!\left( {\begin{array}{c}d+\ell -2\\ \ell \end{array}}\right) \dim (\mathcal {K})\), and (clearly) \(\dim (\mathcal {K}_\ell ) \!=\! \left( {\begin{array}{c}d+\ell -1\\ \ell \end{array}}\right) \dim (\mathcal {K})\).
Let \(\mathcal {H}_\ell \) be the space of scalar-valued harmonic polynomials homogeneous of degree \(\ell \). Then
is a surjection with kernel \(\mathcal {K}^0_\ell \). In particular there is an exact sequence
Proof
Let \(\{ e_i \}_{i=1}^d\) be an orthonormal basis of \(\mathbb {R}^d\). A general element of \(\mathcal {K}_\ell \) has the form
with coefficients \(\psi _{i_1 \dots i_\ell }\) fully symmetric. Acting with D we find that \(D \psi =0\) if and only if
It is easy to see that this system of equation may be uniquely solved once \(\psi _{i_1 \dots i_\ell }\) is fixed for all indices \(i_1, \dots , i_\ell \) different than 1. The formula for \(\dim (\mathcal {K}^0_\ell )\) follows.
Using the above result it is easy to check that
Hence, (B.96) will follow once we establish that \(\mathcal {K}_\ell ^0 \cap x \cdot \mathcal {K}_{\ell -1} = \{ 0 \}\).
We proceed by induction. There is nothing to prove for \(\ell =0\). Suppose that (B.96) holds for \(\ell \le \ell '\). Then also (B.97) holds for \(\ell \le \ell '\). Let us put \(\ell = \ell '+1\) and let \(\psi \in \mathcal {K}_\ell ^0 \cap x \cdot \mathcal {K}_{\ell -1}\). By the induction hypothesis we have
with \(\psi _j \in \mathcal {K}_{\ell - j}\). Now let us observe that
Thus, since \(\psi \) is annihilated by D and \(\sum _i x_i \partial _i \psi _j = (\ell -j) \psi _j\), we obtain
By induction hypothesis, \(x^{j-1} \psi _j\) and \(x^{j'-1} \psi _{j'}\) belong to subspaces of \(\mathcal {K}_{\ell -1}\) with trivial intersection if \(j \ne j'\). Therefore, each term in the above sum has to vanish separately. Since operators \(x^{j-1}\) are injective, all \(\psi _j\) vanish. Thus, \(\psi = 0\).
For the last part, note that \(\mathcal {H}_\ell \otimes \mathcal {K}\) is the space of harmonic \(\mathcal {K}\)-valued polynomials homogeneous of degree \(\ell \). It is annihilated by \(D^2\), so D maps it into \(\mathcal {K}_{\ell -1}^0\). Statement about the kernel is obvious. Then \( \dim (\mathcal {H}_\ell \otimes \mathcal {K})=\dim (\mathcal {K}_\ell ^0)+\dim (\mathcal {K}_{\ell -1}^0)\) follows from the well-known formula
This implies the surjectivity. \(\square \)
As for any oriented Riemannian manifold, two natural second-order operators act on sections of spinor bundles: the square of the Dirac operator \(D^2_{{\mathbb {S}}}\) and the Bochner Laplacian \(\Delta _{{\mathbb {S}}}\). In the case of spheres we have an additional natural second-order operator: the square of the total angular momentum \(J^2\). It turns out that for \(d\ge 3\) the operator \(J^2\) is distinct from both \( D_{{\mathbb {S}}}^2\) and \(-\Delta _{{\mathbb {S}}}\). More precisely, we have
(B.107) is the Lichnerowicz formula for the spheres (indeed, the scalar curvature of \({\mathbb {S}}\) is \({(d-1)(d-2)}\)). Moreover, \( D^2_{{\mathbb {S}}}=\kappa ^2\). Hence, (B.108) is essentially the formula (B.32). Thus, as we were surprised to find out, (B.32) is distinct from the Lichnerowicz formula.
C Mellin Transformation
For a Schwartz function b on \(\mathbb {R}\) we define its Fourier transform by
It is extended to the space of Schwartz distributions in the usual way. Restriction of \(\frac{1}{\sqrt{2 \pi }}{\mathfrak {F}}\) to \(L^2(\mathbb {R})\) is a unitary operator.
An isomorphism \(\iota : C_c^{\infty }(\mathbb {R}) \rightarrow C_c^{\infty }(\mathbb {R}_+)\) is defined by \((\iota f)(x)=x^{- \frac{1}{2}} f(\ln (x))\). Dualizing, we extend it to an isomorphism between spaces of distributions on \(\mathbb {R}\) and on \(\mathbb {R}_+\). Restriction of \(\iota \) to \(L^2(\mathbb {R})\) is a unitary operator onto \(L^2(\mathbb {R}_+)\). By Schwartz class functions and tempered distributions on \(\mathbb {R}_+\) we shall mean smooth functions (respectively distributions) on \(\mathbb {R}_+\) which correspond through \(\iota \) to Schwartz class functions (respectively tempered distributions) on \(\mathbb {R}\).
Mellin transform is defined as the composition \({\mathfrak {M}} = {\mathfrak {F}} \iota ^{-1}\). It is an isomorphism between spaces of tempered distributions on \(\mathbb {R}_+\) and on \(\mathbb {R}\). If \(f \in C_c^{\infty }(\mathbb {R}_+)\), then
Recall that A, J and K are defined in Sect. 1.1. We note the following identities:
The following lemma will be used in Proposition 73. The Mellin transformation plays here a secondary role.
Lemma 67
Suppose that \(f_{\epsilon }\) is a family of tempered distributions on \(\mathbb {R}_+\) with parameter \(\epsilon \in ]0,1]\) satisfying the following conditions:
-
\({\mathfrak {M}} f_{\epsilon } \in L^1_{\text {loc}}(\mathbb {R})\),
-
there exists \(g \in L^1_{\text {loc}}(\mathbb {R})\) such that \({\mathfrak {M}} f_{\epsilon } \rightarrow g\) pointwise for \(\epsilon \rightarrow 0\),
-
there exist \(c, N \ge 0\) independent of \(\epsilon \) such that \(|{\mathfrak {M}} f_{\epsilon }(k)| \le c (1+k^2)^N\) for almost every k.
Then there exists a tempered distribution \(f_0\) on \(\mathbb {R}_+\) such that \(f_\epsilon \rightarrow f_0\) for \(\epsilon \rightarrow 0\) in the sense of tempered distributions. Moreover, \({\mathfrak {M}} f_0 = g\).
Lemma 68
Let b be a tempered distribution whose Mellin transform is a Borel function. Put
Then \(B^{\text {pre}}f\) is in \(L^2(\mathbb {R}_+)\) and \(B^{\text {pre}}\) is a closable operator on \(L^2(\mathbb {R}_+)\) with closure
D Whittaker Functions
In this appendix we review some properties of special functions used in this paper. In particular, we discuss Whittaker functions, which play the central role in our paper. We follow the conventions of [13] and [10].
1.1 D.1 Confluent Equation
Before discussing the Whittaker equation and its solutions, let us say a few words about the closely related confluent equation and the hypergeometric equation.
The confluent equation has the form
Let us list three of its standard solutions:
We note that the function \({}_1{\mathbf {F}}_1(a;c;z)= \frac{1}{\Gamma (c)} {}_1 F_{1}(a;c;z)\) is holomorphic in all variables. The other two solutions are defined for \(z \notin ] - \infty , 0 ]\); thus, \({}_2 F_0(a,b;-;z)\) is defined on \(\mathbb {C}\backslash [0 , \infty [\).
We will also need the hypergeometric equation
Among its 6 standard solutions, members of the famous Kummer’s table, let us list three:
\({}_2 F_1(a,b;c;z)\) may be defined by a power series convergent for z in the unit disc. It admits analytic continuation along any path in \(\mathbb {C}\backslash \{ 1 \}\). To make it a single-valued function, it is customary to restrict its domain to \(z \in \mathbb {C}\backslash [1, \infty [\). Then \({}_2{\mathbf {F}}_1(a,b;c;z) = \frac{1}{\Gamma (c)} {}_2 F_1(a,b;c;z)\) is holomorphic in all variables. It satisfies
We have the following identities valid for \(z\not \in ]-\infty ,0]\):
(D.6) can be taken as an alternative definition of \({}_2 F_0\).
Lemma 69
Let \(\epsilon >0\), \(\text {Re}(z) < \frac{1}{2}\). Then
Proof
Assumption about \(\arg (\lambda )\) guarantees that for \(|\lambda |\) sufficiently large \(c + \lambda \notin - {\mathbb {N}}\), so the left-hand side of (D.8) is finite. We apply the Pfaff transformation:
The claim follows from the standard series defining \({}_2 F_1\), because \(\left| \frac{z}{z-1} \right| < 1\).
\(\square \)
Lemma 70
The following asymptotic expansion holds for \(\text {Re}(z) < \frac{1}{2}\), \(z \notin ] - \infty , 0 ]\), \(s \rightarrow \pm \infty \):
locally uniformly in a, b, c, z.
Proof
Using (D.7) we get
Then (D.8) gives for large |s|:
Using \(\sin \left( \pi (a+b-c+1 - \text {i}s) \right) \sim \frac{1}{2 \text {i}} \text {e}^{\pi |s| + \text {i}\pi \, \text {sgn}(s) (a+b-c+1)}\) and Stirling’s formula
yields, after algebraic manipulations, formula (D.10). \(\square \)
1.2 D.2 Hyperbolic-Type Whittaker Equation
The standard form of the Whittaker equation is
In this section we briefly describe solutions of the Whittaker equation, following mostly [10, 13].
We will sometimes call (D.14) the hyperbolic-type Whittaker equation, to distinguish it from the trigonometric-type Whittaker equation, which differs by the sign in front of \(\frac{1}{4}\).
There are two kinds of standard solutions to the Whittaker equation.
The function \({\mathcal {I}}_{\beta ,m}\) is defined by
The standard domain of \(\mathcal {I}_{\beta , m}\) is \(\mathbb {C}\backslash ]- \infty , 0 ]\). We have
The case \(2m\in {\mathbb {Z}}\) is called degenerate, and then
The function \({\mathcal {K}}_{\beta ,m}\) is defined by
It satisfies
The Wronskian of \(\mathcal {I}_{\beta ,m}(\cdot )\) and \(\mathcal {K}_{\beta ,m}(\cdot )\) takes the form
If \(\frac{1}{2} + m - \beta \in - {\mathbb {N}}\), then the Wronskian vanishes and we have
In this case functions in (D.21) essentially coincide with Laguerre polynomials
Asymptotics of \({\mathcal {I}}_{\beta ,m}\) for small arguments are of the form
The function \({\mathcal {K}}_{\beta ,m}\) satisfies, for \(z \rightarrow 0\),
Here \(\gamma \) denotes Euler’s constant and \(\psi \) is the digamma function.
Asymptotics for \(|z| \rightarrow \infty \) are given by (\(\epsilon > 0\)):
The analytic continuations of \(\mathcal {K}\), and more precisely the functions \(z \mapsto \mathcal {K}_{-\beta ,m}(\text {e}^{\pm \text {i}\pi }z)\), are also solutions of the Whittaker Equation (D.14). One can define \(\mathcal {K}_{- \beta , m}(\text {e}^{\pm i \pi } z )\) as the unique holomorphic function of \(z \in \mathbb {C}\backslash ]- \infty , 0]\) which coincides with \(\mathcal {K}_{-\beta ,m}(-z)\) on \(\mathbb {C}_{\mp }\). Then
\(\big ( \mathcal {K}_{\beta ,m}(z), \mathcal {K}_{- \beta ,m}(\text {e}^{\pm \text {i}\pi } z) \big )\) are linearly independent pairs of functions. In particular, \( \mathcal {I}_{\beta ,m}(z) \) can be expressed in terms of these functions:
1.3 D.3 Trigonometric-Type Whittaker Functions
It is convenient, in parallel to (D.14), to consider the trigonometric-type Whittaker equation
It can be easily reduced to the hyperbolic-type Whittaker equation.
The function \(\mathcal {J}_{\beta ,m}\) is defined by the formula
It may also be described without invoking analytic continuations beyond the principal branch:
The two expressions agree for \(|\mathrm {arg}(z)|< \frac{\pi }{2}\), by (D.16a). Combined with (D.16b) this implies
We also have a pair of functions \(\mathcal {H}_{\beta ,m}^\pm \) defined by
initially for \(\text {Re}(z) >0\) and extended analytically to \(z \in \mathbb {C}\backslash ] - \infty , 0 ]\). By (D.19b), they satisfy
The following connection formula holds:
For the behavior around \(\infty \), we have for \(x>0\), \(x\rightarrow \infty \)
1.4 D.4 Recurrence Relations
Whittaker functions satisfy several recurrence relations. There are 6 basic ones, which we quote after Appendix A5 of [10].
They have an interesting algebraic interpretation—they correspond to the roots of the Lie algebra of generalized symmetries of the heat equation in 2 dimensions, see [9] (where they are presented using confluent functions, which as we know are equivalent to Whittaker functions).
These recurrence relations involve first-order differentiation, so it is tempting to expect that they are closely related to the Dirac–Coulomb Hamiltonian. It turns out, however, that the relationship is not direct. By easy algebraic manipulations involving (D.35a)–(D.35d) and (D.36a)–(D.36d), we derive an additional pair of recurrence relations described in the following proposition. In some sense, (D.35) and (D.36) are “lower order” than (71) and (71). In fact, in (D.35) and (D.36) the parameters \(\mu ,\beta \) appear only in zeroth-order terms, whereas in (71) and (71) the differential operator is multiplied by \(\mu \).
Proposition 71
Proof
We first rewrite (D.35a)–(D.35d) and (D.36a)–(D.36d) as follows:
Then we compute
\(\square \)
Equations (71) and (71) are closely related to the Dirac–Coulomb Hamiltonian. To see this relation let us introduce \(\omega \) satisfying \(\omega ^2=\mu ^2-\beta ^2\). Then (71) and (71) can be rewritten in the following form:
The eigenvalue equations for \(\xi _p^\pm \) and \(\zeta _p^\pm \) follow directly from these identities.
1.5 D.5 Integral Transforms
Let us compute a useful integral transform of the confluent function:
Lemma 72
Assuming \(\text {Re}(b) >0\) and \(|\text {Re}(w)| < \text {Re}(z)\), one has
Furthermore, if \(\text {Re}(b) >0\), \(\text {Re}(b+1-c)>0\), \(\text {Re}(z)>0\), \(w, z^{-1}w \notin ] - \infty , 0]\), then
Proof
We expand the confluent function in a power series and integrate term by term:
This proves the first identity under additional assumption \(|w|<\text {Re}(z)\). The integrand can be majorized by an integrable function for \(|\text {Re}(w)|<\text {Re}(z)\). Therefore, we can extend the identity by analytic continuation to this domain, yielding (D.49).
Equations (D.49), (D.6) and (D.7) and analytic continuation imply (D.50).
\(\square \)
The following identity, valid for \(v >0\), \(\text {Re}(\epsilon ) > 0\), \(\text {Re}(m+1 - \text {i}s)>0\), follows from (D.49):
Proposition 73
Let \(v>0\), \(\text {Re}(m) > -1\). Then \(x\mapsto \text {e}^{-0x}\mathcal {J}_{\beta ,m}(vx):= \lim \limits _{\epsilon \downarrow 0}\text {e}^{-\epsilon x}\mathcal {J}_{\beta ,m}(vx)\) is a tempered distribution on \(\mathbb {R}_+\) with the Mellin transform
which is bounded by \(c_{\beta ,m} \left( \text {e}^{- \frac{\pi }{2} (|s|+s)} |s|^{\text {Im}(\beta )} + \text {e}^{- \frac{\pi }{2} (|s|-s)} |s|^{- \text {Im}(\beta )} \right) \), with \(c_{\beta ,m}\) a locally bounded function of \(\beta ,m\).
Similarly, for any \(\mu \) (including \(\mu =0\)), \(x\mapsto \text {e}^{-0x}\frac{1}{\mu }\big (\mathcal {J}_{\beta ,\mu -\frac{1}{2}}(vx)+ \beta \mathcal {J}_{\beta ,\mu +\frac{1}{2}}(vx)\big ) \) is a tempered distribution on \(\mathbb {R}_+\), whose Mellin transform can be computed from (D.53) and is bounded by \(c_{\beta , \mu } \left( \text {e}^{- \frac{\pi }{2} (|s|+s)} |s|^{\text {Im}(\beta )}\right. \left. + \text {e}^{- \frac{\pi }{2} (|s|-s)} |s|^{- \text {Im}(\beta )} \right) \), with \(c_{\beta ,\mu }\) a locally bounded function of \(\beta ,\mu \).
Proof
We use the criterion from Lemma 67. Let \(f_{\epsilon }(x)=\text {e}^{-\epsilon x}\mathcal {J}_{\beta ,m}(vx) \). Then \(t \mapsto \text {e}^{\frac{t}{2}} f_{\epsilon }(\text {e}^t)\) is smooth and vanishes exponentially for \(t \rightarrow - \infty \) and superexponentially for \(t \rightarrow \infty \). In particular \(f_{\epsilon }\) is a tempered distribution on \(\mathbb {R}_+\). Its Mellin transform is given by the absolutely convergent integral (D.52). It is a smooth function with smooth pointwise limit \(\epsilon \rightarrow 0\). Required bounds follow from (D.10). This completes the proof of the first part.
Next, we compute
Expression in the last line is nonsingular for \(\mu \rightarrow 0\) on the account of (D.5). Bounds on the growth at infinity are derived as in the first case. \(\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., Ruba, B. Holomorphic Family of Dirac–Coulomb Hamiltonians in Arbitrary Dimension. Ann. Henri Poincaré 25, 347–424 (2024). https://doi.org/10.1007/s00023-022-01221-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-022-01221-w