Is zero a hydrogen eigenvalue? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T22:47:18Z http://mathoverflow.net/feeds/question/94517 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94517/is-zero-a-hydrogen-eigenvalue Is zero a hydrogen eigenvalue? Emilio Pisanty 2012-04-19T11:45:28Z 2012-10-02T15:52:21Z <p>This question has been bugging me for some time.</p> <p>Take the hamiltonian for the hydrogen atom: $$\hat{H}=-\frac{1}{2}\nabla^2-\frac{1}{r},$$ acting on (a domain contained in) $L^2(\mathbb{R}^3)$. It is standard fact that this is an unbounded operator which has a countable infinity of eigenvalues, all of which are negative and which accumulate around 0, and has a continuous spectrum on the whole of $(0,\infty)$. Physically, the former are bound states which correspond to elliptic Keplerian orbits in the classical problem, and the latter are unbound states and correspond to hyperbolic orbits. I also know that the spectrum of all unbounded operators is a closed set, so that 0 is definitely in $\sigma\left(\hat{H}\right)$.</p> <p>My question is then: to what part of the spectrum does 0 belong to (i.e. point, continuous, residual)? What are the corresponding eigenfunctions? What kind of degeneracy does it have? (I would expect it to admit a common eigenvector with any $l,m$ angular momentum numbers, but I'm far from sure.) How do the eigenfunctions correspond to the nearby bound and unbound states?</p> http://mathoverflow.net/questions/94517/is-zero-a-hydrogen-eigenvalue/94526#94526 Answer by Anatoly Kochubei for Is zero a hydrogen eigenvalue? Anatoly Kochubei 2012-04-19T13:22:15Z 2012-04-19T13:29:08Z <p>First of all, the Hamiltonian in question is defined on $L^2(\mathbb R^3)$, not on $L^2(\mathbb R)$. This is important because in the one-dimensional case the potential would have a non-integrable singularity which complicates things seriously. On $L^2(\mathbb R^3)$, the operator, defined as a closure from $C_0^\infty$, is selfadjoint. This is proved, for example, in the book by</p> <p>T. Kato, Perturbation theory for linear operators, Springer, 1966. </p> <p>Thus the residual spectrum is impossible. A rigorous calculation of eigenvalues and eigenfunctions can be found in the books</p> <p>L. D. Faddeev and O. A. Yakubovskii, Lectures on quantum mechanics for mathematics students. American Mathematical Society, 2009;</p> <p>L. A. Takhtajan, Quantum mechanics for Mathematicians, American Mathematical Society, 2008.</p> <p>The point 0 is an accumulation point of negative eigenvalues and the limit point of continuous spectrum, thus it belongs to the essential spectrum.</p> http://mathoverflow.net/questions/94517/is-zero-a-hydrogen-eigenvalue/108647#108647 Answer by Emilio Pisanty for Is zero a hydrogen eigenvalue? Emilio Pisanty 2012-10-02T15:52:21Z 2012-10-02T15:52:21Z <p>I looked in Anatoly's references and Quantum mechanics for Mathematicians by Leon A. Takhtajan does have the calculation of the continuum wavefunctions though it does not do the $k=0$ case.</p> <p>The eigenfunction $f_l$ at energy $E=\frac{1}{2}k^2$ and angular momentum $l$ must satisfy the eigenvalue equation $$f_l''+\left(\frac{2}{r}-\frac{l(l+1)}{r^2}+k^2\right)f_l=0.$$ After the obligatory asymptotics factorization of $f_l(r)=r^{l+1}e^{ikr}F_l(r)$, this equation reads $$F_l''+\left(\frac{2(l+1)}{r}-2ik\right)F_l'+\left(\frac{2}{r}-\frac{2ik(l+1)}{r}\right)F_l=0,$$ and Takhtajan gives the solution as a confluent hypergeometric function, $F_l(r)={}_1F_1\left(l+1+\frac{i}{k};2(l+1);2ikr\right)$, under $F_l(0)=1$.</p> <p>From this the $k=0$ case can be recovered as a limit in the same spirit as the $_2F1\rightarrow_1F_1$ confluence by letting the length $\lambda=\frac{1}{k}$ go to infinity. Thus at zero energy, $$F_l(r) =\lim_{\lambda\rightarrow\infty} {}_1F_1\left(l+1+i\lambda;2(l+1);\frac{-2r}{i\lambda}\right) =_0F_1\left(;2(l+1);-2r\right) =\frac{(2l+1)!}{2^\frac{2l+1}{2}}r^{-\frac{2l+1}{2}}J_{2l+1}(\sqrt{8r}).$$ (This still obeys $F_l(0)=1$). Alternatively, the Bessel function solution can be obtained directly by the appropriate transformations or by plugging the $k=0$ equation into Mathematica.</p> <p>In the asymptotic regime, $r\gg 2l+1$, one then gets $$f_l(r) =\frac{(2l+1)!}{2^l\sqrt{2\pi \sqrt{2}}}r^{\frac{1}{4}} \cos\left(\sqrt{8r}-(2l+1)\frac{\pi}{2}-\frac{\pi}{4}\right)$$ if my maths is right. However, in real cases this can only happen if $2l+1\ll r\ll \lambda$.</p>