Skip to content

Hydrogen Atom as a Schrödinger Operator

The hydrogen Hamiltonian has both bound and scattering sectors. Its familiar discrete energy levels describe only the bound-state spectral subspace. To state the model precisely, one must also specify the operator domain and the origin condition inherited by the radial problem. Hydrogen Atom develops the separation-of-variables solution and wavefunctions; this page explains their operator-theoretic setting.

Required background. Coulomb Hamiltonian proves the full-space self-adjointness and lower bound. Spectral Types distinguishes eigenvalues from continuous spectrum.

The full-space Hamiltonian fixes the radial realization

Section titled “The full-space Hamiltonian fixes the radial realization”

Consider the spinless, nonrelativistic relative-coordinate Hamiltonian for two point particles,

H=−αΔ−κr,α=ℏ22μ>0,κ>0,H=-\alpha\Delta-\frac{\kappa}{r},\qquad \alpha=\frac{\hbar^2}{2\mu}>0,\qquad \kappa>0,

on H=L2(R3,d3x)\mathcal H=L^2(\mathbb R^3,d^3x). Here μ\mu is the reduced mass. The operator is self-adjoint on H2(R3)H^2(\mathbb R^3), with form domain H1(R3)H^1(\mathbb R^3). These statements refer to the ordinary Coulomb model, without an additional contact interaction at the origin.

Using orthonormal spherical harmonics, write

ψ(r,Ω)=∑ℓ=0∞∑m=−ℓℓuℓm(r)rYℓm(Ω).\psi(r,\Omega)=\sum_{\ell=0}^{\infty} \sum_{m=-\ell}^{\ell}\frac{u_{\ell m}(r)}{r}Y_{\ell m}(\Omega).

The norm identity

∥ψ∥2=∑ℓ,m∫0∞∣uℓm(r)∣2 dr\|\psi\|^2=\sum_{\ell,m}\int_0^\infty|u_{\ell m}(r)|^2\,dr

defines a unitary map onto the Hilbert direct sum of radial L2(0,∞;dr)L^2(0,\infty;dr) spaces. The factor rr has absorbed the original volume measure. Under this map, HH decomposes into copies of

hℓ=−αd2dr2+αℓ(ℓ+1)r2−κr.h_\ell=-\alpha\frac{d^2}{dr^2} +\frac{\alpha\ell(\ell+1)}{r^2}-\frac{\kappa}{r}.

This equality includes domains. Each hℓh_\ell is the Friedrichs realization of the radial expression, and the direct-sum operator domain additionally requires ∑ℓ,m∥hℓuℓm∥2<∞\sum_{\ell,m}\|h_\ell u_{\ell m}\|^2<\infty. Choosing unrelated radial extensions would change the full-space Hamiltonian.

Square integrability at the origin is not the complete condition

Section titled “Square integrability at the origin is not the complete condition”

For solutions of the radial eigenvalue equation, the two leading behaviors for ℓ≥1\ell\geq1 are rℓ+1r^{\ell+1} and r−ℓr^{-\ell}. The latter is not square-integrable in drdr near zero. This is the limit-point case: the singular endpoint supplies no free self-adjoint boundary parameter in these channels.

For ℓ=0\ell=0, both independent local solutions are square-integrable in drdr. One vanishes linearly; the other has a nonzero constant leading term with Coulomb-induced rlog⁡rr\log r corrections. This is the limit-circle case, so square integrability alone does not choose a self-adjoint realization.

The full-space energy form selects the vanishing trace,

u00(0)=0.u_{00}(0)=0.

For radial eigenfunctions it gives the usual regular behavior u00(r)∼Cru_{00}(r)\sim Cr. A nonzero limiting value would give ψ∼C/r\psi\sim C/r, which lies locally in L2(R3)L^2(\mathbb R^3) but not in H1H^1. The other radial extensions describe modified short-distance physics; they are not extra boundary choices left unspecified by the full-space H2H^2 Coulomb operator.

The ordinary radial boundary discussion is developed in Boundary Conditions for Radial Wavefunctions. The extension-theoretic distinction explains why normalizability by itself can admit unphysical solutions for this model.

The bound-state basis spans a spectral subspace

Section titled “The bound-state basis spans a spectral subspace”

The exact Coulomb spectral theorem gives

En=−μκ22ℏ2n2,n=1,2,…,E_n=-\frac{\mu\kappa^2}{2\hbar^2n^2},\qquad n=1,2,\ldots,

with multiplicity n2n^2 before spin is included. These isolated eigenvalues accumulate only at the continuum threshold zero. The continuous spectrum is [0,∞)[0,\infty) and is absolutely continuous; zero is not an eigenvalue, and there is no singular-continuous spectrum. These are properties of the specified Coulomb realization, not consequences of writing down the negative-energy solutions alone.

Let PnP_n project onto the eigenspace at EnE_n. The spectral decomposition gives the strong operator identity

I=Pb+Pac,Pb=∑n=1∞Pn.I=P_{\mathrm b}+P_{\mathrm{ac}},\qquad P_{\mathrm b}=\sum_{n=1}^{\infty}P_n.

Thus the hydrogen orbitals form an orthonormal basis of PbHP_{\mathrm b}\mathcal H, not of all L2(R3)L^2(\mathbb R^3). A normalized state orthogonal to all bound eigenvectors is possible: it has unit spectral weight in the scattering sector.

Time evolution preserves these sectors. A generic packet is therefore a sum of bound-state evolution and an energy integral over the continuum. The generalized functions in the latter require a spectral normalization; they cannot be added to the bound basis as normalized Hilbert vectors. See Coulomb Continuum States for the physical continuum solutions.

Exercise: a normalizable radial function with the wrong origin behavior

Section titled “Exercise: a normalizable radial function with the wrong origin behavior”

Let u(r)=Ce−r/au(r)=Ce^{-r/a}, with a>0a>0 and CC chosen so ∥u∥L2(dr)=1\|u\|_{L^2(dr)}=1. Is ψ(r,Ω)=u(r)Y00(Ω)/r\psi(r,\Omega)=u(r)Y_{00}(\Omega)/r in the standard hydrogen form domain?

Solution

It is a normalized Hilbert vector by the radial norm identity. Near zero, however, ψ\psi behaves as CY00/rC Y_{00}/r, so its radial derivative behaves as −CY00/r2-C Y_{00}/r^2. Its kinetic form integral contains ∫0εr2r−4dr\int_0^\varepsilon r^2r^{-4}dr, which diverges. Hence ψ∉H1(R3)\psi\notin H^1(\mathbb R^3) and cannot belong to D(H)D(H) either. It remains a legitimate initial Hilbert vector for the unitary group, but it is not an admissible finite-form-energy radial eigenfunction of this realization.

  • Hall, Brian C., Quantum Theory for Mathematicians, Graduate Texts in Mathematics 267, Springer, 2013, doi:10.1007/978-1-4614-7116-5 — angular decomposition and the hydrogen spectrum.
  • Teschl, Gerald, Mathematical Methods in Quantum Mechanics, 2nd ed., Graduate Studies in Mathematics 157, American Mathematical Society, 2014, author’s text, Chapters 9–10 — singular radial operators and the Coulomb spectral problem.