Chapter 4

The Hydrogen Atom

4.1Introduction

The hydrogen atom is the only atom whose Schrödinger equation can be solved exactly in closed form. That makes this chapter the analytical centre of the whole course: every atom and molecule that follows is described by saying how it differs from this solution.

We will carry the calculation out completely. The two-body problem is reduced to one body, the Laplacian is written in spherical coordinates, the variables are separated, both resulting ordinary differential equations are solved, and the quantization of the energy is obtained from the requirement that the radial solution remain finite. The complete normalized wave functions and the energy spectrum are collected in Sec. 4.7.

4.2The Two-Body Problem and the Reduced Mass

A hydrogen atom is an electron of mass \(m_e\) and charge \(-e\) at position \(\vec r_e\), and a proton of mass \(m_p\) and charge \(+e\) at \(\vec r_p\). The Hamiltonian is

\begin{equation} \label{eq:H-two-body} \hat H=-\frac{\hbar^{2}}{2m_e}\nabla_e^{2} -\frac{\hbar^{2}}{2m_p}\nabla_p^{2} -\frac{e^{2}}{4\pi\epsilon_0|\vec r_e-\vec r_p|} . \end{equation}

Introduce centre-of-mass and relative coordinates,

\begin{equation} \label{eq:H-coords} \vec R=\frac{m_e\vec r_e+m_p\vec r_p}{m_e+m_p}, \qquad \vec r=\vec r_e-\vec r_p , \end{equation}

and define the total and reduced masses

\begin{equation} \label{eq:H-masses} M=m_e+m_p, \qquad \boxed{\;\mu=\frac{m_em_p}{m_e+m_p}\;} \end{equation}

In these coordinates the kinetic energy separates exactly,

\begin{equation} \label{eq:H-separated-kinetic} -\frac{\hbar^{2}}{2m_e}\nabla_e^{2}-\frac{\hbar^{2}}{2m_p}\nabla_p^{2} =-\frac{\hbar^{2}}{2M}\nabla_R^{2}-\frac{\hbar^{2}}{2\mu}\nabla_r^{2}, \end{equation}

and the potential depends on \(\vec r\) alone. Writing \(\Psi=\Phi(\vec R)\psi(\vec r)\) therefore separates the problem: \(\Phi\) is a free particle of mass \(M\) (the atom as a whole drifting through space, which we discard) and \(\psi\) obeys a one-body equation.

\begin{equation} \label{eq:H-hamiltonian-SI} \boxed{\; \hat H=-\frac{\hbar^{2}}{2\mu}\nabla^{2}+V(r), \qquad V(r)=-\frac{Ze^{2}}{4\pi\epsilon_0 r}\;} \end{equation}

where we have allowed a nuclear charge \(Ze\) so that the result covers He\(^{+}\), Li\(^{2+}\) and so on; for hydrogen \(Z=1\).

Numerically, \(m_p/m_e=1836.15\), so

\begin{equation} \label{eq:H-mu-number} \mu=\frac{m_e}{1+m_e/m_p}=m_e\left(1-\frac{1}{1837.15}\right) =0.999456\,m_e . \end{equation}

The correction is \(5.4\times10^{-4}\) — small, but large enough to be measured, and it is the origin of the isotope shift between hydrogen and deuterium.

4.3The Time-Independent Schrödinger Equation

We solve \(\hat H\psi=E\psi\), that is

\begin{equation} \label{eq:H-TISE} \left[-\frac{\hbar^{2}}{2\mu}\nabla^{2} -\frac{Ze^{2}}{4\pi\epsilon_0 r}\right]\psi(r,\theta,\varphi) =E\,\psi(r,\theta,\varphi). \end{equation}

Because \(V\) depends only on \(r\), spherical coordinates are the natural choice. The Laplacian in spherical coordinates is

\begin{equation} \label{eq:H-laplacian} \nabla^{2} =\frac{1}{r^{2}}\frac{\partial}{\partial r} \!\left(r^{2}\frac{\partial}{\partial r}\right) +\frac{1}{r^{2}\sin\theta}\frac{\partial}{\partial\theta} \!\left(\sin\theta\frac{\partial}{\partial\theta}\right) +\frac{1}{r^{2}\sin^{2}\theta}\frac{\partial^{2}}{\partial\varphi^{2}} . \end{equation}

Substituting Eq. (4.8) into Eq. (4.7) gives the equation in full:

\begin{equation} \label{eq:H-TISE-full} \begin{aligned} -\frac{\hbar^{2}}{2\mu} \Biggl[ &\frac{1}{r^{2}}\frac{\partial}{\partial r} \!\left(r^{2}\frac{\partial\psi}{\partial r}\right) +\frac{1}{r^{2}\sin\theta}\frac{\partial}{\partial\theta} \!\left(\sin\theta\frac{\partial\psi}{\partial\theta}\right)\\ &+\frac{1}{r^{2}\sin^{2}\theta} \frac{\partial^{2}\psi}{\partial\varphi^{2}} \Biggr] -\frac{Ze^{2}}{4\pi\epsilon_0 r}\,\psi=E\,\psi . \end{aligned} \end{equation}

Comparing Eq. (4.8) with the operator \(\hat L^{2}\) of Chapter 3, Eq. (3.31), the two angular terms are precisely \(-\hat L^{2}/\hbar^{2}r^{2}\). So Eq. (4.8) can be written compactly as

\begin{equation} \label{eq:H-laplacian-L2} \nabla^{2}=\frac{1}{r^{2}}\frac{\partial}{\partial r} \!\left(r^{2}\frac{\partial}{\partial r}\right) -\frac{\hat L^{2}}{\hbar^{2}r^{2}} , \end{equation}

which is the form that makes the separation transparent.

4.4Separation of Variables

Assume a product solution,

\begin{equation} \label{eq:H-product} \psi(r,\theta,\varphi)=R(r)\,Y(\theta,\varphi). \end{equation}

Substitute Eq. (4.11) into Eq. (4.9). The radial derivative acts only on \(R\) and the angular derivatives only on \(Y\), so

\begin{equation} \label{eq:H-sep-step1} -\frac{\hbar^{2}}{2\mu} \left[ \frac{Y}{r^{2}}\frac{d}{dr}\!\left(r^{2}\frac{dR}{dr}\right) +\frac{R}{r^{2}}\,\Lambda Y \right] -\frac{Ze^{2}}{4\pi\epsilon_0 r}RY=E\,RY , \end{equation}

where for brevity

\begin{equation} \label{eq:H-angular-operator} \Lambda Y\equiv \frac{1}{\sin\theta}\frac{\partial}{\partial\theta} \!\left(\sin\theta\frac{\partial Y}{\partial\theta}\right) +\frac{1}{\sin^{2}\theta}\frac{\partial^{2}Y}{\partial\varphi^{2}} . \end{equation}

Now multiply Eq. (4.12) through by \(-\dfrac{2\mu r^{2}}{\hbar^{2}RY}\) and rearrange so that all \(r\) dependence is on the left and all angular dependence on the right:

\begin{equation} \label{eq:H-sep-step2} \underbrace{ \frac{1}{R}\frac{d}{dr}\!\left(r^{2}\frac{dR}{dr}\right) +\frac{2\mu r^{2}}{\hbar^{2}} \left[E+\frac{Ze^{2}}{4\pi\epsilon_0 r}\right] }_{\text{function of } r \text{ only}} = \underbrace{ -\frac{\Lambda Y}{Y} }_{\text{function of } \theta,\varphi \text{ only}} . \end{equation}

A function of \(r\) can equal a function of \((\theta,\varphi)\) for all values of all three variables only if both are the same constant. Call that separation constant \(l(l+1)\) — a choice of name, justified in Sec. 4.5 when the constant turns out to be forced into exactly that form. Equation (4.14) then splits into two ordinary differential equations.

The angular equation

\begin{equation} \label{eq:H-angular-eq} \frac{1}{\sin\theta}\frac{\partial}{\partial\theta} \!\left(\sin\theta\frac{\partial Y}{\partial\theta}\right) +\frac{1}{\sin^{2}\theta}\frac{\partial^{2}Y}{\partial\varphi^{2}} +l(l+1)\,Y=0 . \end{equation}

The radial equation

\begin{equation} \label{eq:H-radial-eq} \frac{1}{r^{2}}\frac{d}{dr}\!\left(r^{2}\frac{dR}{dr}\right) +\left[\frac{2\mu}{\hbar^{2}}\bigl(E-V(r)\bigr) -\frac{l(l+1)}{r^{2}}\right]R=0 . \end{equation}

Notice what the separation has achieved: the potential appears only in the radial equation. Equation (4.15) contains no reference to \(V\), so its solutions are the same for every central potential. They are solved once, in Sec. 4.5, and reused for every atom in this book.

4.4.3Reduction to One-Dimensional Form

The radial equation (4.16) has a first-derivative term, which is inconvenient. It is removed by the substitution

\begin{equation} \label{eq:H-u-def} \boxed{\;U(r)=r\,R(r)\;} \end{equation}

Let us verify this explicitly, since the manipulation recurs throughout the book. From \(R=U/r\),

\begin{equation} \label{eq:H-u-step1} \frac{dR}{dr}=\frac{1}{r}\frac{dU}{dr}-\frac{U}{r^{2}}, \qquad\text{so}\qquad r^{2}\frac{dR}{dr}=r\frac{dU}{dr}-U . \end{equation}

Differentiating again,

\begin{equation} \label{eq:H-u-step2} \frac{d}{dr}\!\left(r^{2}\frac{dR}{dr}\right) =\frac{dU}{dr}+r\frac{d^{2}U}{dr^{2}}-\frac{dU}{dr} =r\frac{d^{2}U}{dr^{2}} . \end{equation}

Substituting Eq. (4.19) into Eq. (4.16) and multiplying by \(r\) gives the result:

\begin{equation} \label{eq:H-radial-1D} \boxed{\; -\frac{\hbar^{2}}{2\mu}\frac{d^{2}U}{dr^{2}} +\left[V(r)+\frac{\hbar^{2}l(l+1)}{2\mu r^{2}}\right]U =E\,U \;} \end{equation}

This has exactly the form of the one-dimensional Schrödinger equation of Chapter 2, on the half-line \(0<r<\infty\), with an effective potential

\begin{equation} \label{eq:H-Veff} V_{\mathrm{eff}}(r)=V(r)+\frac{\hbar^{2}l(l+1)}{2\mu r^{2}} . \end{equation}

The added term is the centrifugal barrier: repulsive, and divergent as \(r\to0\) for every \(l>0\).

The boundary condition is \(U(0)=0\), which follows from requiring \(R=U/r\) to remain finite at the origin.

4.5Solving the Angular Equation

Equation (4.15) separates once more. Write

\begin{equation} \label{eq:H-Y-product} Y(\theta,\varphi)=\Theta(\theta)\,\Phi(\varphi), \end{equation}

substitute, and multiply by \(\sin^{2}\theta/\Theta\Phi\):

\begin{equation} \label{eq:H-theta-phi-sep} \underbrace{ \frac{\sin\theta}{\Theta}\frac{d}{d\theta} \!\left(\sin\theta\frac{d\Theta}{d\theta}\right) +l(l+1)\sin^{2}\theta }_{\theta \text{ only}} = \underbrace{ -\frac{1}{\Phi}\frac{d^{2}\Phi}{d\varphi^{2}} }_{\varphi \text{ only}} \equiv m^{2} , \end{equation}

introducing a second separation constant, written \(m^{2}\) in anticipation.

The azimuthal equation

\begin{equation} \label{eq:H-phi-eq} \frac{d^{2}\Phi}{d\varphi^{2}}=-m^{2}\Phi \qquad\Longrightarrow\qquad \Phi(\varphi)=\frac{1}{\sqrt{2\pi}}e^{im\varphi} . \end{equation}

The physical requirement is that \(\Phi\) be single-valued: rotating by \(2\pi\) returns to the same point in space, so \(\Phi(\varphi+2\pi)=\Phi(\varphi)\). This requires \(e^{2\pi im}=1\), hence

\begin{equation} \label{eq:H-m-integer} m=0,\pm1,\pm2,\dots \end{equation}

This is where quantization first enters, and it comes from a boundary condition, not from any postulate.

The polar equation

With \(x=\cos\theta\), Eq. (4.23) becomes the associated Legendre equation

\begin{equation} \label{eq:H-legendre} \frac{d}{dx}\!\left[(1-x^{2})\frac{d\Theta}{dx}\right] +\left[l(l+1)-\frac{m^{2}}{1-x^{2}}\right]\Theta=0 . \end{equation}

Solving this by power series — the same technique applied to the radial equation in Sec. 4.6 — gives solutions that remain finite at \(x=\pm1\) (that is, at the poles \(\theta=0,\pi\)) only if

\begin{equation} \label{eq:H-l-m-values} l=0,1,2,\dots \qquad\text{and}\qquad |m|\le l . \end{equation}

This is why the separation constant was written \(l(l+1)\): the condition for a finite solution forces it into that form with integer \(l\). The solutions are the associated Legendre polynomials \(P_l^{m}(x)\), given by

\begin{equation} \label{eq:H-legendre-poly} P_l^{m}(x)=(1-x^{2})^{|m|/2} \left(\frac{d}{dx}\right)^{|m|}P_l(x), \qquad P_l(x)=\frac{1}{2^{l}l!}\left(\frac{d}{dx}\right)^{l}(x^{2}-1)^{l}, \end{equation}

the second expression being Rodrigues' formula for the ordinary Legendre polynomials.

The spherical harmonics

Combining and normalising on the unit sphere gives the standard result.

\begin{equation} \label{eq:H-Ylm} \boxed{\; Y_l^{m}(\theta,\varphi) =\sqrt{\frac{(2l+1)}{4\pi}\frac{(l-|m|)!}{(l+|m|)!}}\; P_l^{m}(\cos\theta)\,e^{im\varphi}\;} \end{equation}

orthonormal in the sense

\begin{equation} \label{eq:H-Ylm-ortho} \int_{0}^{2\pi}\!\!\int_{0}^{\pi} Y_{l'}^{m'*}\,Y_{l}^{m}\,\sin\theta\,d\theta\,d\varphi =\delta_{ll'}\delta_{mm'} . \end{equation}

The lowest few, written out:

\begin{equation} \label{eq:H-Ylm-table} \begin{aligned} Y_0^{0}&=\frac{1}{\sqrt{4\pi}}, & Y_1^{0}&=\sqrt{\frac{3}{4\pi}}\cos\theta, & Y_1^{\pm1}&=\mp\sqrt{\frac{3}{8\pi}}\sin\theta\,e^{\pm i\varphi},\\[4pt] Y_2^{0}&=\sqrt{\frac{5}{16\pi}}(3\cos^{2}\theta-1), & Y_2^{\pm1}&=\mp\sqrt{\frac{15}{8\pi}}\sin\theta\cos\theta\,e^{\pm i\varphi}, & Y_2^{\pm2}&=\sqrt{\frac{15}{32\pi}}\sin^{2}\theta\,e^{\pm2i\varphi}. \end{aligned} \end{equation}

Comparing Eq. (4.15) with Eq. (3.31) of Chapter 3 identifies what has been solved: the angular equation is the eigenvalue equation for \(\hat L^{2}\), and Eq. (4.27) is the spectrum obtained there by algebra alone. The two routes agree, as they must.

4.6Solving the Radial Equation

Now put the Coulomb potential into Eq. (4.20):

\begin{equation} \label{eq:H-radial-coulomb} -\frac{\hbar^{2}}{2\mu}\frac{d^{2}U}{dr^{2}} +\left[-\frac{Ze^{2}}{4\pi\epsilon_0 r} +\frac{\hbar^{2}l(l+1)}{2\mu r^{2}}\right]U=E\,U . \end{equation}

We seek bound states, \(E<0\). Define

\begin{equation} \label{eq:H-kappa} \kappa=\frac{\sqrt{-2\mu E}}{\hbar} \qquad\text{(real and positive for } E<0), \end{equation}

and the dimensionless variable and parameter

\begin{equation} \label{eq:H-rho} \rho=\kappa r, \qquad \rho_0=\frac{\mu Ze^{2}}{2\pi\epsilon_0\hbar^{2}\kappa} . \end{equation}

Dividing Eq. (4.32) by \(E\) and rewriting in terms of \(\rho\) gives the equation in its cleanest form:

\begin{equation} \label{eq:H-radial-dimensionless} \frac{d^{2}U}{d\rho^{2}} =\left[1-\frac{\rho_0}{\rho}+\frac{l(l+1)}{\rho^{2}}\right]U . \end{equation}

Step 1: the asymptotic behaviour

As \(\rho\to\infty\) the bracket tends to \(1\), so \(d^{2}U/d\rho^{2}\to U\), giving \(U\sim e^{\pm\rho}\). The growing solution is not normalizable, so

\begin{equation} \label{eq:H-asymptotic-large} U\longrightarrow e^{-\rho} \qquad (\rho\to\infty). \end{equation}

As \(\rho\to0\) the \(l(l+1)/\rho^{2}\) term dominates, so \(d^{2}U/d\rho^{2}\simeq l(l+1)U/\rho^{2}\), whose solutions are \(U\sim\rho^{l+1}\) and \(U\sim\rho^{-l}\). The second violates \(U(0)=0\), so

\begin{equation} \label{eq:H-asymptotic-small} U\longrightarrow \rho^{l+1} \qquad (\rho\to0). \end{equation}

Step 2: strip out both limits

Write

\begin{equation} \label{eq:H-v-def} U(\rho)=\rho^{l+1}e^{-\rho}\,v(\rho), \end{equation}

which builds in both asymptotic forms and leaves \(v\) to be found. Substituting into Eq. (4.35) and simplifying gives

\begin{equation} \label{eq:H-v-equation} \rho\frac{d^{2}v}{d\rho^{2}} +2(l+1-\rho)\frac{dv}{d\rho} +\bigl[\rho_0-2(l+1)\bigr]v=0 . \end{equation}

Step 3: power series and the recursion relation

Expand

\begin{equation} \label{eq:H-v-series} v(\rho)=\sum_{j=0}^{\infty}c_j\rho^{j} . \end{equation}

Substituting into Eq. (4.39) and collecting the coefficient of \(\rho^{j}\) gives the recursion relation

\begin{equation} \label{eq:H-recursion} \boxed{\; c_{j+1}=\frac{2(j+l+1)-\rho_0}{(j+1)(j+2l+2)}\,c_j \;} \end{equation}

Step 4: the series must terminate

For large \(j\), Eq. (4.41) behaves as \(c_{j+1}\simeq(2/j)c_j\), which sums to \(v\sim e^{2\rho}\) and hence \(U\sim e^{+\rho}\) — the divergent solution we rejected. The only escape is for the series to stop: there must be a largest power \(j_{\max}\) with \(c_{j_{\max}}\neq0\) and \(c_{j_{\max}+1}=0\). From Eq. (4.41) that requires

\begin{equation} \label{eq:H-termination} \rho_0=2(j_{\max}+l+1). \end{equation}

Define the principal quantum number

\begin{equation} \label{eq:H-n-def} n\equiv j_{\max}+l+1 , \qquad\text{so}\qquad \rho_0=2n . \end{equation}

Since \(j_{\max}\ge0\) and \(l\ge0\) are integers, \(n\) is a positive integer, and

\begin{equation} \label{eq:H-l-range} \boxed{\;n=1,2,3,\dots \qquad\text{and}\qquad l=0,1,\dots,n-1\;} \end{equation}

The restriction \(l\le n-1\) is not imposed — it is forced by \(j_{\max}=n-l-1\ge0\).

Step 5: the energy

Combining \(\rho_0=2n\) with the definitions in Eqs. (4.33) and (4.34),

\begin{equation} \label{eq:H-kappa-solve} \frac{\mu Ze^{2}}{2\pi\epsilon_0\hbar^{2}\kappa}=2n \qquad\Longrightarrow\qquad \kappa=\frac{\mu Ze^{2}}{4\pi\epsilon_0\hbar^{2}n} =\frac{Z}{n}\cdot\frac{\mu}{m_e}\cdot\frac{1}{a_0}, \end{equation}

where the Bohr radius is

\begin{equation} \label{eq:H-bohr} \boxed{\;a_0\equiv\frac{4\pi\epsilon_0\hbar^{2}}{m_e e^{2}} =0.529\,177~\text{\AA}\;} \end{equation}
Remark 4.6.1 - \(m_e\) or \(\mu\)?

The length appearing naturally in the derivation above is \(4\pi\epsilon_0\hbar^{2}/\mu e^{2}\), with the reduced mass. The Bohr radius \(a_0\) is defined by convention with \(m_e\), as in Eq. (4.46), and \(0.529\,177\) Å is that value. The two differ by

\[ \frac{4\pi\epsilon_0\hbar^{2}/\mu e^{2}}{a_0}=\frac{m_e}{\mu}=1.000545 , \]

using Eq. (4.6) — five parts in ten thousand. We write \(a_0\) throughout and carry \(\mu\) explicitly where it matters, which is exactly the isotope shift noted in Sec. 4.2. Be aware that many texts silently set \(\mu=m_e\) from the outset; the distinction only becomes visible in high-precision spectroscopy.

Then from \(E=-\hbar^{2}\kappa^{2}/2\mu\),

\begin{equation} \label{eq:H-energies-SI} \boxed{\; E_n=-\frac{\mu Z^{2}e^{4}}{2(4\pi\epsilon_0)^{2}\hbar^{2}} \,\frac{1}{n^{2}} =-\frac{\mu}{m_e}\,\frac{\hbar^{2}Z^{2}}{2m_ea_0^{2}n^{2}} \;} \end{equation}

Setting \(\mu\to m_e\) — the limit of infinite nuclear mass — and \(Z=1\) gives the familiar

\begin{equation} \label{eq:H-energies-eV} \boxed{\;E_n=-\frac{\mathcal{E}_{\mathrm{Ryd}}}{n^{2}}, \qquad \mathcal{E}_{\mathrm{Ryd}}=13.6057~\mathrm{eV}\;} \end{equation}

\(\mathcal{E}_{\mathrm{Ryd}}\) is the Rydberg energy, and it is an infinite-mass quantity: for real hydrogen the factor \(\mu/m_e=0.999456\) of Eq. (4.6) reduces it to \(13.598\) eV, which is the measured ionization energy. The two agree to four significant figures, and we use \(13.606\) eV throughout except where the difference is the point. The levels crowd towards \(E=0\) as \(n\to\infty\).

Step 6: the radial functions

The terminating series \(v(\rho)\) of Eq. (4.40) is, up to normalization, an associated Laguerre polynomial \(L_{n-l-1}^{2l+1}(2\rho)\), defined by

\begin{equation} \label{eq:H-laguerre} L_{q}^{p}(x)=\frac{e^{x}x^{-p}}{q!} \left(\frac{d}{dx}\right)^{q}\!\left(e^{-x}x^{p+q}\right). \end{equation}

Carrying out the normalization \(\int_0^\infty|R_{nl}|^{2}r^{2}dr=1\) gives the complete result:

\begin{equation} \label{eq:H-Rnl} \boxed{\; R_{nl}(r)= \sqrt{\left(\frac{2Z}{na_0}\right)^{3} \frac{(n-l-1)!}{2n\,(n+l)!}}\; e^{-Zr/na_0} \left(\frac{2Zr}{na_0}\right)^{l} L_{n-l-1}^{2l+1}\!\left(\frac{2Zr}{na_0}\right)\;} \end{equation}

For \(Z=1\) the lowest few, written out explicitly, are

\begin{equation} \label{eq:H-Rnl-table} \begin{aligned} R_{10}&=\frac{2}{a_0^{3/2}}\,e^{-r/a_0},\\[4pt] R_{20}&=\frac{1}{2\sqrt{2}\,a_0^{3/2}} \left(2-\frac{r}{a_0}\right)e^{-r/2a_0}, &\quad R_{21}&=\frac{1}{2\sqrt{6}\,a_0^{3/2}} \frac{r}{a_0}\,e^{-r/2a_0},\\[4pt] R_{30}&=\frac{2}{81\sqrt{3}\,a_0^{3/2}} \left(27-\frac{18r}{a_0}+\frac{2r^{2}}{a_0^{2}}\right)e^{-r/3a_0}, &\quad R_{31}&=\frac{4}{81\sqrt{6}\,a_0^{3/2}} \left(\frac{6r}{a_0}-\frac{r^{2}}{a_0^{2}}\right)e^{-r/3a_0},\\[4pt] R_{32}&=\frac{4}{81\sqrt{30}\,a_0^{3/2}} \frac{r^{2}}{a_0^{2}}\,e^{-r/3a_0}. & & \end{aligned} \end{equation}

The polynomial factor in \(R_{nl}\) has degree \(n-l-1\), so \(R_{nl}\) has

\begin{equation} \label{eq:H-nodes} n-l-1 \quad\text{radial nodes}, \end{equation}

and the total number of nodes, radial plus angular, is \(n-1\).

4.7The Complete Solution

Collecting Eqs. (4.29) and (4.50), the normalized eigenfunctions of the hydrogen atom are

\begin{equation} \label{eq:H-psi-nlm} \boxed{\;\psi_{nlm}(r,\theta,\varphi)=R_{nl}(r)\,Y_l^{m}(\theta,\varphi)\;} \end{equation}

or, written out in full,

\begin{equation} \label{eq:H-psi-explicit} \begin{aligned} \psi_{nlm}(r,\theta,\varphi) =\;&\sqrt{\left(\frac{2Z}{na_0}\right)^{3} \frac{(n-l-1)!}{2n(n+l)!}}\; e^{-Zr/na_0} \left(\frac{2Zr}{na_0}\right)^{l} L_{n-l-1}^{2l+1}\!\left(\frac{2Zr}{na_0}\right)\\ &\times \sqrt{\frac{(2l+1)}{4\pi}\frac{(l-|m|)!}{(l+|m|)!}}\; P_l^{m}(\cos\theta)\,e^{im\varphi}, \end{aligned} \end{equation}

with energies given by Eq. (4.47) and quantum numbers

\begin{equation} \label{eq:H-quantum-numbers} n=1,2,3,\dots; \qquad l=0,1,\dots,n-1; \qquad m=-l,-l+1,\dots,l-1,l . \end{equation}

The three quantum numbers came from three separate places, and it is worth recording which:

NumberArises fromPhysical meaning
\(m\)single-valuedness in \(\varphi\)\(L_z=m\hbar\)
\(l\)finiteness of \(\Theta\) at the poles\(L^{2}=l(l+1)\hbar^{2}\)
\(n\)termination of the radial seriesenergy \(E_n\)

Each is a boundary condition, not a postulate. Quantization in quantum mechanics is always of this kind.

4.7.1Degeneracy

The energy in Eq. (4.47) depends on \(n\) alone. Counting the states that share it, using Eq. (4.55),

\begin{equation} \label{eq:H-degeneracy} \sum_{l=0}^{n-1}(2l+1) =2\cdot\frac{(n-1)n}{2}+n =n^{2}-n+n =n^{2} , \end{equation}

so level \(n\) is \(n^{2}\)-fold degenerate, or \(2n^{2}\) counting the two spin states of Chapter 3.

The \(m\)-degeneracy is expected: it follows from rotational symmetry, and any central potential has it. The \(l\)-degeneracy is not. Chapter 3 showed that different \(l\) means a different centrifugal barrier and hence a physically different radial equation — Eq. (4.20) literally changes — yet the energies coincide. This is special to the exact \(1/r\) potential. It is called the accidental degeneracy, and Chapter 5 shows it breaking as soon as a second electron is present.

4.7.2Expectation Values and the Size of an Orbital

The probability of finding the electron between \(r\) and \(r+dr\), integrated over all angles, is

\begin{equation} \label{eq:H-radial-density} P(r)\,dr=|R_{nl}(r)|^{2}r^{2}dr=|U_{nl}(r)|^{2}dr , \end{equation}

which is why \(U=rR\) is the natural object: \(|U|^{2}\) is the radial probability density directly.

Example 4.7.1 - The most probable radius of the ground state

Find where the \(1s\) electron is most likely to be found, and compare with \(\expval{r}\).

Solution.

From Eqs. (4.51) and (4.57) with \(Z=1\),

\[ P(r)=\frac{4}{a_0^{3}}r^{2}e^{-2r/a_0}. \]

Differentiate and set to zero:

\[ \frac{dP}{dr}=\frac{4}{a_0^{3}} \left(2r-\frac{2r^{2}}{a_0}\right)e^{-2r/a_0}=0 \qquad\Longrightarrow\qquad r=a_0 . \]

So the most probable radius is exactly the Bohr radius — the quantum-mechanical solution reproduces the radius of Bohr's circular orbit, though as the peak of a distribution rather than a trajectory.

The mean radius is different. Using \(\int_0^\infty r^{n}e^{-\alpha r}dr=n!/\alpha^{n+1}\),

\[ \expval{r}=\int_0^\infty rP(r)\,dr =\frac{4}{a_0^{3}}\int_0^\infty r^{3}e^{-2r/a_0}dr =\frac{4}{a_0^{3}}\cdot\frac{3!}{(2/a_0)^{4}} =\frac{4}{a_0^{3}}\cdot\frac{6a_0^{4}}{16} =\frac{3a_0}{2}. \]

The mean exceeds the mode because the distribution has a long tail to large \(r\). Both numbers are useful, and they are not the same number — a distinction worth keeping straight whenever an “atomic size” is quoted.

The general results, quoted, are

\begin{equation} \label{eq:H-expectation-values} \expval{r}_{nl}=\frac{a_0}{2Z}\bigl[3n^{2}-l(l+1)\bigr], \qquad \expval{\frac{1}{r}}_{nl}=\frac{Z}{n^{2}a_0}, \qquad \expval{r^{2}}_{nl}=\frac{n^{2}a_0^{2}}{2Z^{2}} \bigl[5n^{2}+1-3l(l+1)\bigr]. \end{equation}

The middle one is worth noting: \(\expval{1/r}\) depends only on \(n\), which combined with \(\expval{V}=-Ze^{2}\expval{1/r}/4\pi\epsilon_0=2E_n\) is the quantum version of the virial theorem for a \(1/r\) potential.

Orbitals therefore grow as \(n^{2}\): \(1.5\,a_0\) for the ground state, about \(150\,a_0\approx8\) nm at \(n=10\), and larger than many molecules by \(n=30\).

4.8Atomic Units

The constants in Eqs. (4.47) and (4.50) are cumbersome, and research papers eliminate them by a choice of units. They state this once, usually in a single parenthetical sentence, and everything after it is unreadable if the sentence is skipped.

Definition 4.8.1 - Atomic units

Atomic units are defined by setting

\begin{equation} \label{eq:H-au-def} \hbar=m_e=e=\frac{1}{4\pi\epsilon_0}=1 . \end{equation}

Every other unit follows. From Eq. (4.46), the unit of length is \(a_0\); from Eq. (4.47), the unit of energy is \(\mu e^{4}/(4\pi\epsilon_0)^{2}\hbar^{2}\), called the hartree:

QuantityUnitExpressionValue
Lengthbohr\(a_0=4\pi\epsilon_0\hbar^{2}/m_ee^{2}\)\(0.529\,177\) Å
Energyhartree\(E_h=m_ee^{4}/(4\pi\epsilon_0)^{2}\hbar^{2}\)\(27.2114\) eV
Energyrydberg\(\tfrac12E_h\)\(13.6057\) eV
Time\(\hbar/E_h\)\(24.19\) as
Velocity\(\alpha c\)\(2.19\times10^{6}\) m/s
Field\(E_h/ea_0\)\(5.14\times10^{11}\) V/m

In these units Eqs. (4.5), (4.20) and (4.47) become simply

\begin{equation} \label{eq:H-au-forms} \hat H=-\frac{1}{2}\nabla^{2}-\frac{Z}{r}, \qquad -\frac{1}{2}\frac{d^{2}U}{dr^{2}} +\left[-\frac{Z}{r}+\frac{l(l+1)}{2r^{2}}\right]U=EU, \qquad E_n=-\frac{Z^{2}}{2n^{2}} . \end{equation}

Two entries in the table carry physics rather than convenience. The atomic unit of time is \(24\) attoseconds — the natural timescale of electronic motion, and the reason attosecond pulses are the tool of choice for watching electrons. And the atomic unit of field, \(5.14\times10^{11}\) V/m, is the field the electron feels in the ground state; a laser reaching an appreciable fraction of it competes with the binding of the atom itself, which is what the phrase “strong field” means.

Example 4.8.1 - Converting a laser specification

A laser has wavelength \(800\) nm and peak intensity \(1\times10^{13}\) W/cm\(^{2}\). Express the photon energy, the optical period and the field amplitude in atomic units.

Solution.

Photon energy. \(E=hc/\lambda\), and with \(hc=1239.8\) eV nm,

\[ E=\frac{1239.8}{800}=1.550~\mathrm{eV} =\frac{1.550}{27.2114}=0.0570~\text{a.u.} \]

Period. \(T=2\pi/\omega\) with \(\omega=E\) in atomic units, so

\[ T=\frac{2\pi}{0.0570}=110.2~\text{a.u.} =110.2\times24.19~\mathrm{as}=2.67~\mathrm{fs}, \]

which is the correct optical period for \(800\) nm light.

Field. From \(I=\tfrac12\epsilon_0cE_0^{2}\) with \(I=1\times10^{17}\) W/m\(^{2}\),

\[ E_0=\sqrt{\frac{2I}{\epsilon_0c}} =\sqrt{\frac{2\times10^{17}}{8.854\times10^{-12}\times3\times10^{8}}} =8.68\times10^{9}~\mathrm{V/m}, \]

so in atomic units

\[ E_0=\frac{8.68\times10^{9}}{5.14\times10^{11}}=0.0169~\text{a.u.} \]

This is about \(1.7\%\) of the field binding the ground state — a genuine perturbation for hydrogen, but note that a Rydberg state at \(n=10\) is bound by \(1/n^{2}=1\%\) of the ground-state energy and feels an internal field smaller by \(n^{4}\), so the same laser is overwhelmingly strong for it. “Strong” is always relative to the state.

4.9Rydberg States

Definition 4.9.1 - Rydberg state

A Rydberg state is a state of high principal quantum number, in which the electron is far from the nucleus and weakly bound.

Four scalings follow directly from the results above, and all four are used later in this book.

Binding energy \(\propto n^{-2}\). From Eq. (4.48), the electron is bound by only \(13.606/n^{2}\) eV: at \(n=10\), that is \(0.136\) eV, less than an infrared photon.

Size \(\propto n^{2}\). From Eq. (4.58).

Level spacing \(\propto n^{-3}\). Differentiating Eq. (4.47),

\begin{equation} \label{eq:H-spacing} \Delta E=E_{n+1}-E_n\simeq\frac{dE_n}{dn} =\frac{\mathcal{E}_{\mathrm{Ryd}}\cdot2}{n^{3}} =\frac{27.21}{n^{3}}~\mathrm{eV} , \end{equation}

so levels crowd towards the ionization threshold and the density of states per unit energy grows as \(n^{3}\).

Probability density near the nucleus \(\propto n^{-3}\). This is the important one. The wave function is normalized over a region of size \(n^{2}\), so its amplitude in any fixed small region near the origin must shrink. Explicitly, for \(l=0\) and \(r\ll a_0n^{2}\), the exponential and polynomial factors in Eq. (4.50) are both of order unity, and the normalization prefactor \((2Z/na_0)^{3/2}\sqrt{(n-l-1)!/2n(n+l)!}\) supplies the entire \(n\) dependence, giving

\begin{equation} \label{eq:H-amplitude-scaling} \boxed{\;|U_{nl}(r)|^{2}\propto n^{-3} \qquad\text{for fixed small } r\;} \end{equation}

Equation (4.62) deserves to be stated as a principle:

Any process requiring the electron to be near the nucleus runs at a rate proportional to \(n^{-3}\).

A quantity linear in the wave function rather than quadratic — a dipole matrix element, for instance — carries the square root, \(n^{-3/2}\). These two exponents govern the Rydberg physics of Chapters 5, 9 and 10.

Example 4.9.1 - How classical is a Rydberg state?

Estimate the orbital period of an \(n=20\) electron in hydrogen and compare it with the beat period between adjacent levels.

Solution.

For a circular Bohr orbit of radius \(r_n=n^{2}a_0\), the classical period in atomic units is \(T=2\pi n^{3}\). For \(n=20\),

\[ T=2\pi(8000)=5.03\times10^{4}~\text{a.u.} =5.03\times10^{4}\times24.19~\mathrm{as}=1.22~\mathrm{ps}. \]

The spacing to the neighbouring level, from Eq. (4.61), is \(\Delta E=1/n^{3}\) a.u. \(=1.25\times10^{-4}\) a.u. \(=3.4\) meV, and a superposition of two levels beats at

\[ T_{\mathrm{beat}}=\frac{2\pi}{\Delta E}=2\pi n^{3}, \]

which is the same number.

This is the correspondence principle made quantitative: a superposition of a few neighbouring Rydberg levels forms a localised packet that orbits the nucleus on the classical Kepler period and stays recognisable for many orbits. It is also the mechanism behind the quantum beats measured in Chapter 11 — there, between molecular Rydberg states, and on a timescale of tens of femtoseconds rather than a picosecond.

4.10Summary

4.11Exercises

  1. The substitution, verified. Carry out the steps of Eqs. (4.18)(4.19) yourself, and confirm that Eq. (4.16) becomes Eq. (4.20). State where the boundary condition \(U(0)=0\) comes from.

  2. Checking a wave function. Take \(R_{10}=2a_0^{-3/2}e^{-r/a_0}\) from Eq. (4.51), with \(Z=1\).

    1. Verify that \(U_{10}=rR_{10}\) satisfies Eq. (4.20) with \(l=0\) and \(E=-13.606\) eV, by direct substitution.

    2. Verify the normalization \(\int_0^\infty|R_{10}|^{2}r^{2}dr=1\).

    3. Repeat the normalization check for \(R_{21}\).

  3. The recursion relation. Substitute the series (4.40) into Eq. (4.39) and derive the recursion (4.41). Then, for \(n=2\) and \(l=0\), use it to find \(c_1/c_0\) and confirm that \(c_2=0\), so the polynomial is \(1-\rho/2\) — which reproduces the \((2-r/a_0)\) factor of \(R_{20}\) in Eq. (4.51) up to normalization.

  4. Degeneracy and expectation values.

    1. Prove Eq. (4.56) step by step.

    2. Using Eq. (4.58), compute \(\expval{r}\) for the \(3s\), \(3p\) and \(3d\) states of hydrogen in units of \(a_0\). They have the same energy: explain in one sentence how they can have different mean radii.

    3. Verify \(\expval{V}=2E_n\) for the ground state using \(\expval{1/r}=Z/n^{2}a_0\).

  5. Atomic units. Redo Example 4.8.1 for an XUV pulse of photon energy \(17.6\) eV: give the energy in atomic units, the wavelength in nm, and the optical period in attoseconds. Then confirm the claim in Sec. 4.8 that the dipole approximation is safe by comparing the wavelength with \(\expval{r}\) for the ground state.

4.12Project: Hydrogen, Numerically and Exactly

The problem. Solve Eq. (4.20) on a computer and confirm every analytic result of this chapter. The same solver, with the potential changed, handles the screened atoms of Chapter 5 and the molecular vibrations of Chapter 7, so build it carefully.

Work in atomic units, where the equation is the middle expression of Eq. (4.60).

  1. On paper. Discretise the equation. On a uniform grid \(r_i=ih\), the second derivative is \(U''(r_i)\simeq(U_{i+1}-2U_i+U_{i-1})/h^{2}\). Write down the resulting matrix eigenvalue problem \(\mathbf{H}\vec U=E\vec U\), giving the diagonal and off-diagonal entries explicitly in terms of \(h\), \(r_i\) and \(l\).

  2. On the computer. Diagonalise it for \(l=0\) and report the four lowest eigenvalues. Compare with \(-1/2n^{2}\). State the \(r_{\max}\) and \(h\) you needed for four-figure agreement, and explain why too small an \(r_{\max}\) fails while too small an \(h\) merely costs time.

  3. On the computer. Repeat for \(l=1\) and \(l=2\). Confirm the accidental degeneracy: the lowest \(l=1\) level should equal the second \(l=0\) level to your numerical accuracy. Report the actual discrepancy.

  4. On the computer. Plot \(|U_{nl}(r)|^{2}\) for \((n,l)=(1,0),(2,0),(2,1),(3,0),(3,2)\), overlaying the analytic forms from Eq. (4.51). Count the nodes and check Eq. (4.52).

  5. On the computer. Compute \(\expval{r}\) numerically for each state in (d) and compare with Eq. (4.58). Also locate the maximum of \(|U_{10}|^{2}\) and confirm it sits at \(r=a_0\), as Example 4.7.1 predicts.

  6. On the computer. Test Eq. (4.62). For \(l=0\) and \(n=1\) to \(8\), compute \(\int_0^{a_0}|U_{n0}|^{2}dr\) and plot it against \(n\) on log–log axes. Measure the slope; you should find \(-3\).

  7. What has to move. One animation: \(|U_{n0}(r)|^{2}\) as \(n\) steps from \(1\) to \(8\), on axes wide enough to show the state spreading out, with the region \(r<a_0\) shaded so the shrinking amplitude inside it is visible. That shrinkage is the \(n^{-3}\) law.

The check. Part (f) is the one that matters and the one most likely to go wrong. A slope of \(-2\) instead of \(-3\) almost always means the wave functions were normalized on a grid too short to hold the larger states, so their normalization is wrong. Fix the grid, not the exponent.

Be ready to answer. Your part (c) energies came out independent of \(l\), as Eq. (4.47) says. But the equation you actually diagonalised, Eq. (4.20), is visibly different for each \(l\) — the centrifugal term changes the matrix. How can three different matrices share eigenvalues, and what single change to the potential in your code would destroy the coincidence?