6.8 The Schrödinger equation

This lesson is a small detour outside acoustics, included because the Schrödinger equation is a striking example of how the same PDE machinery — separation of variables, eigenvalue problems, orthogonal mode expansions — underwrites a field of physics that looks superficially very different. The clamped-string analysis of 6.3 is, almost line for line, the analysis of a quantum particle confined in a box. Recognising that parallel is one of the simpler ways to grasp the structural unity of linear-PDE physics.

We will not develop quantum mechanics; this is a one-lesson tour of the wave-function-as-PDE picture, the time-independent equation that emerges from separation of variables, and the canonical worked example that every quantum textbook starts with. A reader who wants more should pick up Griffiths’ Introduction to Quantum Mechanics or Shankar’s Principles of Quantum Mechanics — this lesson is meant to make the first few chapters of either feel familiar.

The time-dependent Schrödinger equation

In non-relativistic quantum mechanics, the state of a single particle of mass mm moving in a potential V(r)V(\mathbf{r}) is described by a complex-valued wavefunction Ψ(r,t)\Psi(\mathbf{r}, t) that obeys the time-dependent Schrödinger equation

iΨt  =  22m2Ψ  +  V(r)Ψ.i \hbar\, \frac{\partial \Psi}{\partial t} \;=\; -\frac{\hbar^2}{2 m}\, \nabla^2 \Psi \;+\; V(\mathbf{r})\, \Psi.

Here =h/(2π)1.055×1034Js\hbar = h / (2 \pi) \approx 1.055 \times 10^{-34}\,\mathrm{J \cdot s} is the reduced Planck constant and VV is the same classical potential energy the particle would feel. The wavefunction itself has no direct physical interpretation, but its squared magnitude Ψ(r,t)2|\Psi(\mathbf{r}, t)|^2 is the probability density for finding the particle at r\mathbf{r} at time tt, with Ψ2dV=1\int |\Psi|^2 dV = 1 for a normalised state.

Three structural facts about the equation are worth noting before any solving:

The combination of first order in time (one initial function: Ψ(r,0)\Psi(\mathbf{r}, 0)) and second order in space (boundary conditions on Ψ\Psi at the edges of the domain) is the order-counting from 6.1, exactly as it was for the heat equation.

Separation of variables

The standard first move on the time-dependent Schrödinger equation is to look for product solutions Ψ(r,t)=ψ(r)ϕ(t)\Psi(\mathbf{r}, t) = \psi(\mathbf{r})\, \phi(t). The separation procedure proceeds line by line as before, with one twist: the separation constant is an energy rather than a frequency.

Worked example: separating time from space, every step

Starting point. Substitute the product ansatz Ψ(r,t)=ψ(r)ϕ(t)\Psi(\mathbf{r}, t) = \psi(\mathbf{r})\, \phi(t) into

itΨ  =  22m2Ψ  +  V(r)Ψ.i \hbar\, \partial_t \Psi \;=\; -\frac{\hbar^2}{2 m}\, \nabla^2 \Psi \;+\; V(\mathbf{r})\, \Psi.

Step 1 — Substitute and compute the derivatives.

tΨ  =  ψ(r)ϕ(t),2Ψ  =  ϕ(t)2ψ(r).\partial_t \Psi \;=\; \psi(\mathbf{r})\, \phi'(t), \qquad \nabla^2 \Psi \;=\; \phi(t)\, \nabla^2 \psi(\mathbf{r}).

The equation becomes

iψ(r)ϕ(t)  =  22mϕ(t)2ψ(r)  +  V(r)ψ(r)ϕ(t).i \hbar\, \psi(\mathbf{r})\, \phi'(t) \;=\; -\frac{\hbar^2}{2 m}\, \phi(t)\, \nabla^2 \psi(\mathbf{r}) \;+\; V(\mathbf{r})\, \psi(\mathbf{r})\, \phi(t).

Step 2 — Divide both sides by ψ(r)ϕ(t)\psi(\mathbf{r})\, \phi(t).

iϕ(t)ϕ(t)  =  1ψ(r)[22m2ψ(r)  +  V(r)ψ(r)].i \hbar\, \frac{\phi'(t)}{\phi(t)} \;=\; \frac{1}{\psi(\mathbf{r})} \left[ -\frac{\hbar^2}{2 m}\, \nabla^2 \psi(\mathbf{r}) \;+\; V(\mathbf{r})\, \psi(\mathbf{r}) \right].

The left side depends only on tt; the right depends only on r\mathbf{r}. Two functions of independent variables can be equal at all values only if both equal the same constant. Call that constant EE (the choice of letter anticipates that it will turn out to be the energy):

iϕ(t)ϕ(t)  =  E,1ψ(r)[22m2ψ(r)  +  V(r)ψ(r)]  =  E.i \hbar\, \frac{\phi'(t)}{\phi(t)} \;=\; E, \qquad \frac{1}{\psi(\mathbf{r})} \left[ -\frac{\hbar^2}{2 m}\, \nabla^2 \psi(\mathbf{r}) \;+\; V(\mathbf{r})\, \psi(\mathbf{r}) \right] \;=\; E.

Step 3 — Solve the time ODE. Multiply through:

iϕ(t)  =  Eϕ(t).i \hbar\, \phi'(t) \;=\; E\, \phi(t).

A first-order linear ODE with constant coefficients; solve as in 5.2. The solution is

ϕ(t)  =  ϕ(0)eiEt/.\phi(t) \;=\; \phi(0)\, e^{-i E t / \hbar}.

Note the minus sign — it comes from the ii on the left and the convention of writing the time dependence as eiEt/e^{-i E t / \hbar}. Compared with the wave equation, where each mode oscillates as cos(ωt)\cos(\omega t) at a real frequency, here each mode picks up a pure phase of magnitude 1. The magnitude ϕ(t)2=ϕ(0)2|\phi(t)|^2 = |\phi(0)|^2 is constant in time — the time evolution is unitary, preserving normalisation.

Step 4 — The remaining spatial equation. Multiply through by ψ\psi:

22m2ψ(r)  +  V(r)ψ(r)  =  Eψ(r).-\frac{\hbar^2}{2 m}\, \nabla^2 \psi(\mathbf{r}) \;+\; V(\mathbf{r})\, \psi(\mathbf{r}) \;=\; E\, \psi(\mathbf{r}).

This is the time-independent Schrödinger equation. It is an eigenvalue problem (refresher →): the linear differential operator on the left,

H^    22m2  +  V(r),\hat{H} \;\equiv\; -\frac{\hbar^2}{2 m}\, \nabla^2 \;+\; V(\mathbf{r}),

called the Hamiltonian, acts on the spatial wavefunction ψ\psi and yields a constant multiple EψE\, \psi. The number EE is the energy eigenvalue; the function ψ\psi is the energy eigenstate (or “stationary state”). The solvable problem has been reduced from a partial differential equation in r\mathbf{r} and tt to an eigenvalue problem in r\mathbf{r} alone.

Step 5 — Reassemble. Each pair (En,ψn)(E_n, \psi_n) produces one stationary solution of the full time-dependent equation:

Ψn(r,t)  =  ψn(r)eiEnt/.\Psi_n(\mathbf{r}, t) \;=\; \psi_n(\mathbf{r})\, e^{-i E_n t / \hbar}.

The general solution is a superposition over all allowed eigenstates:

Ψ(r,t)  =  ncnψn(r)eiEnt/,\Psi(\mathbf{r}, t) \;=\; \sum_n c_n\, \psi_n(\mathbf{r})\, e^{-i E_n t / \hbar},

with coefficients cnc_n set by the initial wavefunction via Fourier projection onto the eigenstate basis,

cn  =  ψn(r)Ψ(r,0)dV.c_n \;=\; \int \psi_n^*(\mathbf{r})\, \Psi(\mathbf{r}, 0)\, dV.

This is exactly the modes-and-mode-sums structure of 6.5, with the eigenfunctions ψn\psi_n of H^\hat H playing the role the eigenfunctions XnX_n of x2-\partial_x^2 played there. Orthogonality, completeness, projection — all carry over.

Worked example: the infinite square well

Solving the time-independent Schrödinger equation for a particular potential V(r)V(\mathbf{r}) requires the eigenvalues and eigenfunctions of H^\hat H on that potential. The simplest non-trivial case is a particle confined to a 1-D box.

The problem. A particle of mass mm moves in one dimension, free inside the interval 0<x<L0 < x < L but unable to escape because the potential is infinite outside:

V(x)  =  {0,0<x<L,,otherwise.V(x) \;=\; \begin{cases} 0, & 0 < x < L, \\ \infty, & \text{otherwise.} \end{cases}

Outside the well the wavefunction must be zero (the particle cannot be where the energy is infinite); inside the well the time-independent Schrödinger equation reduces to

22mψ(x)  =  Eψ(x),-\frac{\hbar^2}{2 m}\, \psi''(x) \;=\; E\, \psi(x),

with boundary conditions ψ(0)=ψ(L)=0\psi(0) = \psi(L) = 0 (continuity of ψ\psi across the wall).

The recipe. Rearrange the equation:

ψ(x)  +  k2ψ(x)  =  0,k2    2mE2.\psi''(x) \;+\; k^2\, \psi(x) \;=\; 0, \qquad k^2 \;\equiv\; \frac{2 m E}{\hbar^2}.

This is exactly the clamped-string equation from 6.3. The boundary conditions are exactly the clamped-string boundary conditions. The allowed wavenumbers are exactly the clamped-string wavenumbers:

kn  =  nπL,n=1,2,3,k_n \;=\; \frac{n \pi}{L}, \qquad n = 1, 2, 3, \ldots

with eigenfunctions ψn(x)=2/Lsin(nπx/L)\psi_n(x) = \sqrt{2/L}\, \sin(n \pi x / L), normalised so that 0Lψn2dx=1\int_0^L |\psi_n|^2\, dx = 1. Solving kn2=2mEn/2k_n^2 = 2 m E_n / \hbar^2 for the energy:

  En  =  n2π222mL2.  \boxed{\;E_n \;=\; \frac{n^2 \pi^2 \hbar^2}{2 m L^2}.\;}

The energies are quantised — only the discrete values EnE_n are allowed — and they go as n2n^2, so the spacing between levels grows with nn. The lowest level E1E_1 is non-zero (the particle cannot have zero kinetic energy, by Heisenberg’s uncertainty principle: confinement to a box of width LL forces a momentum uncertainty of order /L\hbar / L, hence a kinetic energy of order 2/(mL2)\hbar^2 / (m L^2)).

ψₙ(x) — wavefunction|ψₙ(x)|² — probability densityx / L (well boundaries: 0 → 1)x / LEnergy ladder Eₙ = n² π² ℏ² / (2 m L²)n = 1: 0.38 eVn = 2: 1.50 eVn = 3: 3.38 eVn = 4: 6.02 eVn = 5: 9.40 eVn = 6: 13.54 eV

The wavefunction ψₙ(x) = √(2/L) sin(n π x / L) has n half-wavelengths inside the well, exactly like the clamped-string mode of the same n. The probability density |ψₙ|² has n peaks; the particle is found preferentially at the antinodes of ψₙ and never at the nodes. The energy levels scale as Eₙ ∝ n²: doubling the index quadruples the energy, an unequal spacing characteristic of confinement. (Quoted energies use the electron mass and a 1 nm well.)

The wavefunction ψn(x)\psi_n(x) has nn half-wavelengths inside the well, just like the nn-th mode of the clamped string. The probability density ψn(x)2|\psi_n(x)|^2 has nn peaks; the particle is found preferentially at the antinodes of ψn\psi_n and never at the nodes — an interference-pattern character that has no classical analogue. The energy ladder Enn2E_n \propto n^2 rises faster than linearly: doubling the index quadruples the energy.

The quoted energies use the electron mass and a 1 nm well, giving electronvolt-scale energies. Same equation, same eigenstates, but the energy scale changes radically with the mass and the box size:

The same equation answers questions across forty orders of magnitude in energy by simply changing the inputs.

The parallel with acoustics

This is the structural unity worth pausing on. The infinite-square-well eigenfunctions sin(nπx/L)\sin(n \pi x / L) are the same functions as the clamped-string modes from 6.3 — not merely similar in spirit, literally the same sines. The boundary conditions (ψ=0\psi = 0 at the walls vs u=0u = 0 at the fixed ends) are the same Dirichlet condition. The orthogonality and completeness theorems carry over verbatim. The Fourier-projection step that pulls out the coefficients is identical.

What differs is the physical interpretation of those functions and the time evolution attached to each:

FeatureClamped stringParticle in a box
Spatial mode shapesin(nπx/L)\sin(n\pi x / L)sin(nπx/L)\sin(n\pi x / L)
Eigenvalueωn2=(ckn)2\omega_n^2 = (c k_n)^2En=2kn2/(2m)E_n = \hbar^2 k_n^2 / (2m)
Time evolution of each modecos(ωnt)\cos(\omega_n t)eiEnt/e^{-i E_n t / \hbar}
Physical meaning of XnX_ndisplacement at time t=0t = 0probability amplitude at any tt
What $X_n^2$ means

Two equations from different centuries, different fields, with different physical interpretations, share an eigenvalue problem. The unifying feature is that both Hamiltonians (spatial wave operator c2x2-c^2 \partial_x^2 for the wave equation, 2x2/(2m)+V-\hbar^2 \partial_x^2 / (2m) + V for Schrödinger) are self-adjoint linear operators on a function space, and the spectral theorem guarantees both have a complete orthogonal eigenbasis. Once you have that theorem, every linear PDE on a bounded domain becomes the same problem.

This is one of the central facts of mathematical physics. The fact that the same mathematical structure controls vibrating strings, electromagnetic cavities, electron states in atoms, and the energy levels of molecules is what makes a single course in linear-PDE methods so useful: learn separation of variables once, apply it across most of physics.

The history — Schrödinger 1926, and the two quantum mechanicses

Quantum mechanics was discovered twice in the same year. Werner Heisenberg’s 1925 paper introduced matrix mechanics: physical observables were represented by infinite matrices and the dynamics by matrix multiplication. The mathematics was unfamiliar to physicists — Born and Jordan had to teach Heisenberg what a matrix was — but it correctly predicted the spectral lines of the hydrogen atom and the spectra of more complicated atoms.

Erwin Schrödinger, working independently in early 1926, was guided by de Broglie’s 1924 hypothesis that matter has wave-like character. He wrote down the wave equation itΨ=H^Ψi\hbar\, \partial_t \Psi = \hat H \Psi and showed that its eigenvalues for the hydrogen-atom potential gave the Bohr energy levels exactly. The mathematics was the separation-of-variables technique already familiar from acoustics — which is precisely the parallel this lesson develops.

The two formulations looked utterly different. Heisenberg’s was algebraic and discrete; Schrödinger’s was differential and continuous. Within months of publication (1926), Schrödinger himself proved that the two were mathematically equivalent — different representations of the same theory. Paul Dirac’s 1930 textbook The Principles of Quantum Mechanics and John von Neumann’s 1932 Mathematische Grundlagen der Quantenmechanik gave the unified abstract formulation in terms of operators on Hilbert space, which is the formulation modern physics uses. The same Hilbert space, complete with self-adjoint operators and the spectral theorem, that runs through the rest of Foundations 6.

Beyond the infinite well

A few standard generalisations, mentioned without development:

The full development of any of these is a textbook chapter on its own. What this lesson supplies is the structural understanding that they are all PDE-eigenvalue problems of the kind we built in this chapter.

Concluding the chapter

That closes Foundations 6. The chapter started with a question — what is a PDE? — and ended with quantum mechanics. The unifying thread is that linear PDEs on bounded domains are eigenvalue problems for self-adjoint operators, and their solutions are sums over orthogonal eigenmodes. The wave equation, the heat equation, Laplace’s equation, the Helmholtz equation, and the Schrödinger equation are all instances of that single structure — different physics, identical mathematics.

The next two chapters develop the continuum version of the eigenmode picture: Foundations 7 — Fourier series and the Fourier transform shows what happens to mode catalogues when the domain becomes unbounded and the discrete ladder {kn}\{k_n\} becomes a continuous variable kk.