Chapter 2

Simple Model Systems: Solving the Schrödinger Equation

2.1Introduction

Chapter 1 set out the postulates. This chapter applies them to the smallest set of problems that can be solved exactly, in one dimension, and it is worth being explicit about why these particular problems and no others.

Each one is a permanent tool rather than an exercise:

All five reappear. The three-dimensional atoms of Chapters 4 and 5 reduce, after separating the angles, to a one-dimensional radial equation of exactly the form solved here.

2.2Stationary States

The time-dependent Schrödinger equation (TDSE) of Chapter 1 is

\begin{equation} \label{eq:MS-TDSE} i\hbar\,\frac{\partial}{\partial t}\ket{\Psi(t)}=\hat H\ket{\Psi(t)} . \end{equation}
Theorem 2.2.1 - Separation of the TDSE

If \(\hat H\) does not depend on time, then Eq. (2.1) admits solutions of the form

\begin{equation} \label{eq:MS-stationary} \ket{\Psi(t)}=e^{-iEt/\hbar}\ket{\psi}, \end{equation}

where \(\ket{\psi}\) satisfies the time-independent Schrödinger equation (TISE)

\begin{equation} \label{eq:MS-TISE} \hat H\ket{\psi}=E\ket{\psi} . \end{equation}

Try \(\ket{\Psi(t)}=f(t)\ket{\psi}\) with \(\ket{\psi}\) time-independent. Substituting into Eq. (2.1),

\[ i\hbar\,\dot f(t)\ket{\psi}=f(t)\hat H\ket{\psi} . \]

Taking the inner product with \(\bra{\psi}\) and dividing by \(f\braket{\psi}{\psi}\),

\[ i\hbar\frac{\dot f}{f}=\frac{\bra{\psi}\hat H\ket{\psi}}{\braket{\psi}{\psi}} \equiv E , \]

a constant, since the left side depends only on \(t\) and the right side not at all. Integrating gives \(f=e^{-iEt/\hbar}\), and substituting back gives Eq. (2.3).

Remark 2.2.1 - Why “stationary”

The state (2.2) does change in time — its phase rotates — but the phase cancels in every probability:

\[ |\Psi(x,t)|^{2}=\left|e^{-iEt/\hbar}\right|^{2}|\psi(x)|^{2}=|\psi(x)|^{2}, \]

and likewise for the expectation value of any time-independent operator. Nothing observable evolves. Motion requires a superposition of stationary states with different energies, whose relative phases advance at different rates — the mechanism behind wave packets (Sec. 2.3.1) and quantum beats (Chapter 11).

In one dimension, with \(\hat H=\hat p^{2}/2m+V(x)\) and \(\hat p=-i\hbar\,d/dx\), Eq. (2.3) reads

\begin{equation} \label{eq:MS-TISE-1D} \boxed{\; -\frac{\hbar^{2}}{2m}\frac{d^{2}\psi}{dx^{2}}+V(x)\psi(x)=E\,\psi(x)\;} \end{equation}

This is the equation solved five times below. Two general facts about it save work every time.

Theorem 2.2.2 - Continuity conditions

Wherever \(V(x)\) is finite, \(\psi\) and \(d\psi/dx\) are both continuous. Where \(V\) has an infinite jump, \(\psi\) remains continuous but \(d\psi/dx\) need not.

Rearranging Eq. (2.4), \(\psi''=\tfrac{2m}{\hbar^{2}}(V-E)\psi\). If \(V\) is finite then \(\psi''\) is finite, so \(\psi'\) is continuous, and hence \(\psi\) is too. If \(V\) is infinite the argument fails for \(\psi'\), but \(\psi\) must still be continuous for \(\psi''\) to be integrable.

Theorem 2.2.3 - Node counting

The bound states of Eq. (2.4) in one dimension are non-degenerate, can be chosen real, and may be ordered so that the \(n\)-th state (\(n=1,2,3,\dots\)) has exactly \(n-1\) nodes.

Theorem 2.2.3 is quoted rather than proved, but it is used constantly: it is how you confirm a numerical solution has not skipped a level, and it reappears as the rule \(n-l-1\) for hydrogen in Chapter 4.

2.3The Free Particle

Take \(V(x)=0\) everywhere. Equation (2.4) becomes

\begin{equation} \label{eq:MS-free-eq} \frac{d^{2}\psi}{dx^{2}}=-k^{2}\psi, \qquad k=\frac{\sqrt{2mE}}{\hbar}, \end{equation}

with general solution

\begin{equation} \label{eq:MS-free-solution} \psi_k(x)=A e^{ikx}+Be^{-ikx} . \end{equation}

Taking the two terms separately, \(e^{ikx}\) moves to the right and \(e^{-ikx}\) to the left, each with

\begin{equation} \label{eq:MS-free-energy} E=\frac{\hbar^{2}k^{2}}{2m}, \qquad p=\hbar k . \end{equation}

There is no boundary condition and hence no quantization: every \(E>0\) is allowed. This is the continuum, and it is the first appearance of the object that Chapters 9 to 11 depend on.

Remark 2.3.1 - Normalization of continuum states

A plane wave is not square-integrable: \(\int_{-\infty}^{\infty}|e^{ikx}|^{2}dx=\int dx\) diverges. Two standard repairs exist. One is to confine the particle to a large box of length \(L\) and normalize to \(1/\sqrt{L}\), taking \(L\to\infty\) at the end. The other, used throughout the research literature and adopted in Chapter 10, is to normalize to a Dirac delta,

\begin{equation} \label{eq:MS-delta-norm} \braket{k}{k'}=\delta(k-k') \qquad\text{or}\qquad \braket{\varepsilon}{\varepsilon'}=\delta(\varepsilon-\varepsilon') , \end{equation}

the second being energy normalization. Which convention is in use changes factors of \(2\pi\) and densities of states in every formula, so it must always be stated.

2.3.1Wave Packets and Group Velocity

A single plane wave is spread over all space and describes nothing localised. A particle is built as a superposition:

\begin{equation} \label{eq:MS-packet} \Psi(x,t)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} A(k)\,e^{i(kx-\omega(k)t)}\,dk , \qquad \omega(k)=\frac{E(k)}{\hbar}=\frac{\hbar k^{2}}{2m} . \end{equation}

Expanding \(\omega(k)\) about the central wavenumber \(k_0\), \(\omega\simeq\omega_0+(k-k_0)\,d\omega/dk\), the packet moves without changing shape at the group velocity

\begin{equation} \label{eq:MS-group-velocity} v_g=\left.\frac{d\omega}{dk}\right|_{k_0} =\frac{\hbar k_0}{m}=\frac{p_0}{m} , \end{equation}

which is the classical velocity — a first instance of the correspondence principle. Keeping the next term in the expansion makes the packet spread, because different \(k\) components travel at different speeds.

2.4The Infinite Square Well

Let

\begin{equation} \label{eq:MS-infinite-well-V} V(x)= \begin{cases} 0, & 0<x<a,\\ \infty, & \text{otherwise.} \end{cases} \end{equation}

Since \(V=\infty\) outside, \(\psi\) must vanish there, and by Theorem 2.2.2 \(\psi\) is continuous, so

\begin{equation} \label{eq:MS-well-BC} \psi(0)=\psi(a)=0 . \end{equation}

Inside, Eq. (2.4) is Eq. (2.5) again, with general solution most conveniently written

\begin{equation} \label{eq:MS-well-general} \psi(x)=A\sin kx+B\cos kx . \end{equation}

Apply the boundary conditions in turn. At \(x=0\), \(\psi(0)=B=0\), leaving \(\psi=A\sin kx\). At \(x=a\),

\begin{equation} \label{eq:MS-well-quantization} A\sin ka=0 \qquad\Longrightarrow\qquad ka=n\pi, \qquad n=1,2,3,\dots \end{equation}

(\(n=0\) gives \(\psi\equiv0\), which is not a state; negative \(n\) merely changes the sign.) Hence \(k_n=n\pi/a\) and, from Eq. (2.5),

\begin{equation} \label{eq:MS-well-energies} \boxed{\;E_n=\frac{\hbar^{2}k_n^{2}}{2m} =\frac{n^{2}\pi^{2}\hbar^{2}}{2ma^{2}}, \qquad n=1,2,3,\dots\;} \end{equation}

Normalization fixes \(A\):

\begin{equation} \label{eq:MS-well-normalization} 1=\int_0^{a}|A|^{2}\sin^{2}\!\left(\frac{n\pi x}{a}\right)dx =|A|^{2}\frac{a}{2} \qquad\Longrightarrow\qquad A=\sqrt{\frac{2}{a}} , \end{equation}

using \(\int_0^{a}\sin^{2}(n\pi x/a)\,dx=a/2\). Therefore

\begin{equation} \label{eq:MS-well-states} \boxed{\;\psi_n(x)=\sqrt{\frac{2}{a}} \sin\!\left(\frac{n\pi x}{a}\right), \qquad 0<x<a\;} \end{equation}

These are orthonormal, \(\int_0^a\psi_m\psi_n\,dx=\delta_{mn}\), as Chapter 1's general theorem for Hermitian operators requires.

Remark 2.4.1 - Three lessons

First, confinement quantizes: the discrete spectrum came entirely from the two boundary conditions, not from any postulate. Second, the ground-state energy is not zero, \(E_1=\pi^{2}\hbar^{2}/2ma^{2}\); a confined particle cannot be at rest, which is the uncertainty principle in energy form. Third, \(\psi_n\) has \(n-1\) nodes inside the well, confirming Theorem 2.2.3.

Example 2.4.1 - Numbers for an electron and for a molecule

Evaluate \(E_1\) for an electron confined to \(a=0.1\) nm (an atom) and for a nitrogen molecule confined to \(a=1\) cm (a laboratory box).

Solution.

Use \(E_1=\pi^{2}\hbar^{2}/2ma^{2}\). For the electron, with \(\hbar=1.055\times10^{-34}\) J s and \(m=9.11\times10^{-31}\) kg,

\[ E_1=\frac{\pi^{2}(1.055\times10^{-34})^{2}} {2(9.11\times10^{-31})(1.0\times10^{-10})^{2}} =6.0\times10^{-18}~\mathrm{J}=38~\mathrm{eV}. \]

Comparable to atomic binding energies — so quantization matters at this scale, as it must.

For N\(_2\), \(m=4.65\times10^{-26}\) kg and \(a=10^{-2}\) m:

\[ E_1=\frac{\pi^{2}(1.055\times10^{-34})^{2}} {2(4.65\times10^{-26})(10^{-2})^{2}} =1.2\times10^{-38}~\mathrm{J}=7.5\times10^{-20}~\mathrm{eV}. \]

Compare \(k_BT\approx0.025\) eV at room temperature: the level spacing is smaller by eighteen orders of magnitude, so the levels are utterly unresolvable and the motion is classical. The same formula covers both cases; only \(ma^{2}\) differs.

2.5The Finite Square Well

Let

\begin{equation} \label{eq:MS-finite-well-V} V(x)= \begin{cases} -V_0, & |x|<a,\\ 0, & |x|>a, \end{cases} \qquad V_0>0 , \end{equation}

and seek bound states, \(-V_0<E<0\). Define

\begin{equation} \label{eq:MS-finite-k-kappa} k=\frac{\sqrt{2m(E+V_0)}}{\hbar} \quad\text{(inside)}, \qquad \kappa=\frac{\sqrt{-2mE}}{\hbar} \quad\text{(outside)} , \end{equation}

both real and positive.

The solutions are oscillatory inside and exponential outside. Because \(V(-x)=V(x)\), the Hamiltonian commutes with parity, so the eigenstates can be chosen even or odd — which halves the work.

Even solutions

Take

\begin{equation} \label{eq:MS-even-form} \psi(x)= \begin{cases} C\cos kx, & |x|<a,\\ De^{-\kappa|x|}, & |x|>a . \end{cases} \end{equation}

Matching \(\psi\) and \(\psi'\) at \(x=a\) (Theorem 2.2.2):

\begin{equation} \label{eq:MS-even-matching} C\cos ka=De^{-\kappa a}, \qquad -Ck\sin ka=-D\kappa e^{-\kappa a} . \end{equation}

Dividing the second by the first eliminates both constants:

\begin{equation} \label{eq:MS-even-condition} \boxed{\;k\tan ka=\kappa\;} \end{equation}

Odd solutions

Take \(\psi=C\sin kx\) inside and \(\psi=\pm De^{-\kappa|x|}\) outside. The same division gives

\begin{equation} \label{eq:MS-odd-condition} \boxed{\;-k\cot ka=\kappa\;} \end{equation}

Solving the conditions

Equations (2.22) and (2.23) are transcendental: they have no closed-form solution. The standard route is graphical. Introduce the dimensionless variables

\begin{equation} \label{eq:MS-z-z0} z=ka, \qquad z_0=\frac{a\sqrt{2mV_0}}{\hbar} , \end{equation}

and note from Eq. (2.19) that \(k^{2}+\kappa^{2}=2mV_0/\hbar^{2}\), so \(\kappa a=\sqrt{z_0^{2}-z^{2}}\). The conditions become

\begin{equation} \label{eq:MS-graphical} \tan z=\frac{\sqrt{z_0^{2}-z^{2}}}{z} \quad\text{(even)}, \qquad -\cot z=\frac{\sqrt{z_0^{2}-z^{2}}}{z} \quad\text{(odd)} , \end{equation}

to be solved for \(0<z<z_0\). Plotting both sides against \(z\) and reading off the intersections gives the bound-state energies.

Theorem 2.5.1 - Number of bound states

The finite well of Eq. (2.18) has

\begin{equation} \label{eq:MS-count} N=\left\lceil\frac{2z_0}{\pi}\right\rceil \end{equation}

bound states, alternating even, odd, even, . In particular \(N\ge1\): a one-dimensional well always binds at least one state, however shallow.

The last statement is worth remembering, and it is special to one dimension — in three dimensions a shallow well may bind nothing at all.

Remark 2.5.1 - Penetration into the forbidden region

Outside the well \(E<V\), which is classically forbidden, yet Eq. (2.20) gives \(\psi\propto e^{-\kappa|x|}\), nonzero for all finite \(x\). The particle has a nonzero probability of being found where a classical particle could never be, over a characteristic depth \(1/\kappa\). This is the same exponential tail that becomes tunnelling in the next section, and — in Chapter 4 — the reason a low-\(l\) electron can reach a nucleus that a centrifugal barrier appears to exclude it from.

2.6The Potential Barrier and Tunnelling

Now invert the well. Let

\begin{equation} \label{eq:MS-barrier-V} V(x)= \begin{cases} V_0, & 0<x<L,\\ 0, & \text{otherwise,} \end{cases} \end{equation}

and send a particle in from the left with \(0<E<V_0\) — classically unable to pass.

Write the solution in three regions:

\begin{equation} \label{eq:MS-barrier-regions} \psi(x)= \begin{cases} Ae^{ikx}+Be^{-ikx}, & x<0,\\ Fe^{\kappa x}+Ge^{-\kappa x}, & 0<x<L,\\ Ce^{ikx}, & x>L, \end{cases} \end{equation}

with \(k=\sqrt{2mE}/\hbar\) and \(\kappa=\sqrt{2m(V_0-E)}/\hbar\). The absence of a left-moving wave for \(x>L\) encodes the physical setup: nothing comes back from the far side.

Matching \(\psi\) and \(\psi'\) at \(x=0\) and at \(x=L\) gives four linear equations in \(A,B,F,G,C\); eliminating \(B\), \(F\) and \(G\) leaves the ratio \(C/A\), and the transmission coefficient \(T=|C/A|^{2}\) is

\begin{equation} \label{eq:MS-transmission} \boxed{\; T=\left[1+\frac{V_0^{2}\sinh^{2}(\kappa L)}{4E(V_0-E)}\right]^{-1}\;} \end{equation}

For a thick or high barrier, \(\kappa L\gg1\), we may use \(\sinh x\simeq\tfrac12e^{x}\), giving the form that is actually used:

\begin{equation} \label{eq:MS-transmission-thick} \boxed{\; T\simeq\frac{16E(V_0-E)}{V_0^{2}}\,e^{-2\kappa L}\;} \end{equation}
Remark 2.6.1 - Exponential sensitivity

The dominant factor is \(e^{-2\kappa L}\): the transmission falls exponentially with barrier width and with the square root of the barrier height. That extreme sensitivity is what makes tunnelling both a precise tool and a violent process. It underlies the scanning tunnelling microscope, radioactive \(\alpha\) decay, and — the case relevant to this course — strong-field ionization, in which a laser field bends the atomic potential into a barrier of finite width so that the bound electron can escape without absorbing a photon.

Example 2.6.1 - Tunnelling through a thin barrier

An electron of energy \(E=1\) eV meets a barrier of height \(V_0=2\) eV and width \(L=0.5\) nm. Find \(T\), and then find it again for \(L=1.0\) nm.

Solution.

First \(\kappa\). With \(V_0-E=1\) eV \(=1.602\times10^{-19}\) J,

\[ \kappa=\frac{\sqrt{2(9.11\times10^{-31})(1.602\times10^{-19})}} {1.055\times10^{-34}} =5.12\times10^{9}~\mathrm{m^{-1}} . \]

For \(L=0.5\) nm, \(\kappa L=2.56\), so \(e^{-2\kappa L}=e^{-5.12}=6.0\times10^{-3}\). The prefactor is \(16E(V_0-E)/V_0^{2}=16(1)(1)/4=4\), so

\[ T\simeq4\times6.0\times10^{-3}=2.4\times10^{-2} . \]

About one electron in forty gets through.

Doubling the width to \(1.0\) nm gives \(\kappa L=5.12\) and \(e^{-2\kappa L}=e^{-10.24}=3.6\times10^{-5}\), so

\[ T\simeq1.4\times10^{-4} . \]

Doubling the width cut the transmission by a factor of \(170\). That is Remark 2.6.1 in numbers, and it is why a tunnelling current measures distance to a fraction of an atomic diameter.

2.7The Harmonic Oscillator

Let

\begin{equation} \label{eq:MS-HO-V} V(x)=\tfrac12m\omega^{2}x^{2}, \qquad\text{so}\qquad \hat H=\frac{\hat p^{2}}{2m}+\frac12m\omega^{2}\hat x^{2} . \end{equation}

This system earns its place three times over: it is exactly solvable; any smooth potential near a stable minimum is approximately harmonic, which is why it describes every molecular vibration in Chapter 7; and its solution introduces the ladder-operator method that Chapter 3 reuses for angular momentum.

2.7.1Ladder Operators

Definition 2.7.1 - Annihilation and creation operators
\begin{equation} \label{eq:MS-ladder-def} \hat a=\sqrt{\frac{m\omega}{2\hbar}} \left(\hat x+\frac{i}{m\omega}\hat p\right), \qquad \hat a^{\dagger}=\sqrt{\frac{m\omega}{2\hbar}} \left(\hat x-\frac{i}{m\omega}\hat p\right). \end{equation}
Theorem 2.7.1 - Commutator and Hamiltonian
\begin{equation} \label{eq:MS-a-comm} [\hat a,\hat a^{\dagger}]=1 , \end{equation}

and

\begin{equation} \label{eq:MS-H-ladder} \hat H=\hbar\omega\left(\hat a^{\dagger}\hat a+\tfrac12\right) =\hbar\omega\left(\hat N+\tfrac12\right), \qquad \hat N\equiv\hat a^{\dagger}\hat a . \end{equation}

For the commutator, expand using \([\hat x,\hat p]=i\hbar\):

\[ [\hat a,\hat a^{\dagger}] =\frac{m\omega}{2\hbar} \left[\hat x+\frac{i\hat p}{m\omega},\;\hat x-\frac{i\hat p}{m\omega}\right] =\frac{m\omega}{2\hbar} \left(-\frac{i}{m\omega}[\hat x,\hat p]+\frac{i}{m\omega}[\hat p,\hat x]\right). \]

Both terms equal \(\hbar/m\omega\), so the bracket is \(2\hbar/m\omega\) and the whole expression is \(1\).

For the Hamiltonian, multiply out:

\[ \hat a^{\dagger}\hat a =\frac{m\omega}{2\hbar} \left(\hat x^{2}+\frac{\hat p^{2}}{m^{2}\omega^{2}} +\frac{i}{m\omega}[\hat x,\hat p]\right) =\frac{m\omega\hat x^{2}}{2\hbar}+\frac{\hat p^{2}}{2\hbar m\omega} -\frac12 . \]

Multiplying by \(\hbar\omega\),

\[ \hbar\omega\,\hat a^{\dagger}\hat a =\frac{m\omega^{2}\hat x^{2}}{2}+\frac{\hat p^{2}}{2m} -\frac{\hbar\omega}{2} =\hat H-\frac{\hbar\omega}{2}, \]

which rearranges to Eq. (2.34).

2.7.2The Spectrum

Let \(\ket{n}\) be an eigenket of \(\hat N\) with \(\hat N\ket{n}=n\ket{n}\). From Eq. (2.33),

\begin{equation} \label{eq:MS-N-comm} [\hat N,\hat a]=-\hat a, \qquad [\hat N,\hat a^{\dagger}]=+\hat a^{\dagger} , \end{equation}

so \(\hat a\ket{n}\) has eigenvalue \(n-1\) and \(\hat a^{\dagger}\ket{n}\) has \(n+1\): the operators step down and up the ladder.

The ladder must have a bottom, because

\begin{equation} \label{eq:MS-positivity} n=\bra{n}\hat a^{\dagger}\hat a\ket{n} =\bigl\|\hat a\ket{n}\bigr\|^{2}\ge0 . \end{equation}

If \(n\) were not a non-negative integer, repeated application of \(\hat a\) would eventually produce a state with negative eigenvalue, contradicting Eq. (2.36). The only escape is that the chain terminates on a state with \(\hat a\ket{0}=0\), whence \(n=0,1,2,\dots\)

Theorem 2.7.2 - Harmonic oscillator spectrum
\begin{equation} \label{eq:MS-HO-energies} \boxed{\;E_n=\hbar\omega\left(n+\tfrac12\right), \qquad n=0,1,2,\dots\;} \end{equation}

with

\begin{equation} \label{eq:MS-ladder-action} \hat a\ket{n}=\sqrt{n}\,\ket{n-1}, \qquad \hat a^{\dagger}\ket{n}=\sqrt{n+1}\,\ket{n+1}, \qquad \ket{n}=\frac{(\hat a^{\dagger})^{n}}{\sqrt{n!}}\ket{0} . \end{equation}

The normalization constants follow from Eq. (2.36): \(\|\hat a\ket{n}\|^{2}=n\) gives \(\sqrt{n}\), and \(\|\hat a^{\dagger}\ket{n}\|^{2}=\bra{n}\hat a\hat a^{\dagger}\ket{n} =\bra{n}(\hat N+1)\ket{n}=n+1\) gives \(\sqrt{n+1}\).

Remark 2.7.1 - Two features to carry forward

The levels are equally spaced by \(\hbar\omega\) — unique among the systems in this chapter, and the reason a vibrational spectrum shows one dominant line rather than a converging series (Chapter 8). And the ground-state energy is \(\tfrac12\hbar\omega\), not zero: the zero-point energy. A chemical bond is never still, even at absolute zero.

2.7.3Position Representation

To obtain the wave functions, write \(\hat a\ket{0}=0\) in position space. With \(\hat p=-i\hbar\,d/dx\), Def. 2.7.1 gives

\begin{equation} \label{eq:MS-ground-ODE} \left(x+\frac{\hbar}{m\omega}\frac{d}{dx}\right)\psi_0(x)=0 \qquad\Longrightarrow\qquad \frac{d\psi_0}{\psi_0}=-\frac{m\omega}{\hbar}x\,dx , \end{equation}

which integrates to a Gaussian. Introducing the natural length scale and the dimensionless coordinate

\begin{equation} \label{eq:MS-xi} \xi=x\sqrt{\frac{m\omega}{\hbar}} , \end{equation}

and normalizing with \(\int e^{-\xi^{2}}d\xi=\sqrt{\pi}\),

\begin{equation} \label{eq:MS-ground-state} \psi_0(x)=\left(\frac{m\omega}{\pi\hbar}\right)^{1/4}e^{-\xi^{2}/2} . \end{equation}

Applying \(\hat a^{\dagger}\) repeatedly, as in Eq. (2.38), generates the rest. The result is

\begin{equation} \label{eq:MS-HO-states} \boxed{\; \psi_n(x)=\left(\frac{m\omega}{\pi\hbar}\right)^{1/4} \frac{1}{\sqrt{2^{n}n!}}\;H_n(\xi)\,e^{-\xi^{2}/2}\;} \end{equation}

where \(H_n\) are the Hermite polynomials, given by

\begin{equation} \label{eq:MS-hermite} H_n(\xi)=(-1)^{n}e^{\xi^{2}} \left(\frac{d}{d\xi}\right)^{n}e^{-\xi^{2}} , \end{equation}

the first few being

\begin{equation} \label{eq:MS-hermite-table} H_0=1, \qquad H_1=2\xi, \qquad H_2=4\xi^{2}-2, \qquad H_3=8\xi^{3}-12\xi, \qquad H_4=16\xi^{4}-48\xi^{2}+12 . \end{equation}

\(H_n\) has \(n\) real zeros, so \(\psi_n\) has \(n\) nodes — consistent with Theorem 2.2.3 once the counting is shifted for the label starting at \(n=0\). The parity is \((-1)^{n}\), since \(H_n\) contains only even or only odd powers.

Example 2.7.1 - Zero-point energy of a real bond

The H\(_2\) molecule has a vibrational wavenumber \(\tilde\nu=4401\) cm\(^{-1}\). Find \(\hbar\omega\) in eV and the zero-point energy, and compare with the bond dissociation energy of \(4.48\) eV.

Solution.

Convert using \(1\) cm\(^{-1}=1.2398\times10^{-4}\) eV:

\[ \hbar\omega=4401\times1.2398\times10^{-4}=0.546~\mathrm{eV}, \]

so the zero-point energy is

\[ E_0=\tfrac12\hbar\omega=0.273~\mathrm{eV}. \]

This is \(6\%\) of the dissociation energy — small but not negligible, and it must be included whenever bond strengths are compared. It also explains why the measured dissociation energy of H\(_2\) differs from that of D\(_2\): the heavier isotope has smaller \(\omega=\sqrt{k/\mu}\) and hence a lower zero-point energy, so it sits deeper in the same potential well and is harder to break. The potential curve is identical; only the nuclear mass differs.

2.8Summary

2.9Exercises

  1. The infinite well, start to finish. Derive Eqs. (2.15) and (2.17) yourself, applying both boundary conditions and carrying out the normalization integral. Then verify \(\int_0^a\psi_1\psi_2\,dx=0\) explicitly.

  2. Matching at a step. Derive Eq. (2.22) from Eq. (2.21), and Eq. (2.23) by the same route for the odd solutions. Explain why dividing the two matching equations is legitimate and what it accomplishes.

  3. Counting bound states. A well has \(V_0=5\) eV and half-width \(a=0.2\) nm, for an electron.

    1. Compute \(z_0\) from Eq. (2.24).

    2. Use Theorem 2.5.1 to predict the number of bound states, and say which are even and which odd.

    3. Solve Eq. (2.25) graphically or numerically for the lowest \(z\), and convert it to an energy in eV.

  4. Tunnelling. Repeat Example 2.6.1 for a proton instead of an electron, at the same energy, height and width \(L=0.5\) nm. By what factor does \(T\) change, and which quantity in \(\kappa\) is responsible? Comment on why tunnelling is an electronic phenomenon far more often than a nuclear one.

  5. Oscillator algebra.

    1. Reproduce the proof of Theorem 2.7.1.

    2. Derive Eq. (2.35) from Eq. (2.33).

    3. Using Eq. (2.38), compute \(\bra{n}\hat x^{2}\ket{n}\) by writing \(\hat x\) in terms of \(\hat a\) and \(\hat a^{\dagger}\), and hence verify \(\expval{V}=\tfrac12E_n\) — the virial theorem for a quadratic potential.

  6. Hermite polynomials. Use Eq. (2.43) to generate \(H_1\) and \(H_2\) and check them against Eq. (2.44). Then verify that \(\psi_1\) from Eq. (2.42) is normalized, using \(\int\xi^{2}e^{-\xi^{2}}d\xi=\sqrt{\pi}/2\).

2.10Project: Solving One-Dimensional Problems Numerically

The problem. Build a general numerical solver for Eq. (2.4) and validate it against every exact result in this chapter. This solver is reused in Chapters 3, 4, 5 and 7, so build it to be trusted.

Work in atomic units (\(\hbar=m=1\)), where Eq. (2.4) is \(-\tfrac12\psi''+V\psi=E\psi\).

  1. On paper. Discretise on a uniform grid \(x_i=x_0+ih\) using \(\psi''(x_i)\simeq(\psi_{i+1}-2\psi_i+\psi_{i-1})/h^{2}\). Write down the matrix \(\mathbf{H}\) explicitly, giving its diagonal and off-diagonal entries.

  2. On the computer. Validate against the infinite well: take \(V=0\) on \((0,a)\) with \(\psi=0\) at both ends, and compare the lowest five eigenvalues with Eq. (2.15). Report the relative error and how it scales when you halve \(h\) — you should see it fall by about four, since the finite difference is second-order accurate.

  3. On the computer. Validate against the harmonic oscillator: take \(V=\tfrac12x^{2}\) on a domain wide enough that \(\psi\) has decayed, and confirm \(E_n=n+\tfrac12\) for \(n=0\dots5\). Plot your \(\psi_0\) and \(\psi_2\) against Eqs. (2.42) and (2.44).

  4. On the computer. Now the finite well. Take \(V=-V_0\) on \(|x|<a\) and zero outside, choose \(V_0\) and \(a\) giving \(z_0\approx5\), and find all bound states. Check the count against Theorem 2.5.1, check the parity alternation, and compare each energy with a numerical solution of Eq. (2.25).

  5. On the computer. Plot one bound state on a logarithmic vertical axis and confirm that the tail outside the well is a straight line of slope \(-\kappa\), with \(\kappa\) from Eq. (2.19). This is Remark 2.5.1 made quantitative.

  6. On the computer. Tunnelling. Rather than eigenvalues, compute \(T(E)\) from Eq. (2.29) for a barrier of your choice and plot it against \(E\) from \(0\) to \(2V_0\) on a logarithmic scale. Mark \(E=V_0\). Comment on what happens above the barrier, where classically \(T\) would be exactly \(1\).

  7. What has to move. One animation: a Gaussian wave packet built as in Eq. (2.9) approaching your barrier, with \(|\Psi(x,t)|^{2}\) shown as it splits into a reflected and a transmitted part. Caption it with the fraction that got through, and compare that fraction with Eq. (2.29) evaluated at the packet's central energy.

The check. Part (b) is the one that certifies the solver. If the error does not fall by a factor of four when \(h\) is halved, the discretisation is wrong — most often a missing factor of \(\tfrac12\) or \(h^{2}\) in the matrix. Fix it before going further; every later chapter depends on this code.

Be ready to answer. In part (f), transmission above the barrier is not \(1\), and oscillates. Explain the oscillation physically — what is interfering with what — and identify the energies at which \(T\) returns exactly to \(1\).