Old Quantum Theory and Bohr-Sommerfeld Quantization

Between 1913 and 1925 physics ran on a theory that should not have worked. Electrons were pictured orbiting nuclei under ordinary Newtonian mechanics — yet only a discrete, hand-picked subset of orbits was declared legal, selected by one strange rule: the phase-space loop integral ∮p dq\oint p\,\mathrm{d}q must be an integer multiple of Planck's constant. No wave equation, no operators, no probability amplitudes. And still this hybrid — the old quantum theory of Bohr, Wilson, Ishiwara and Sommerfeld — nailed the hydrogen spectrum exactly, explained molecular band spectra, and even got hydrogen's relativistic fine structure right to order α4\alpha^4, decades before the Dirac equation confirmed the formula. This page is about why the trick worked, in the only language that makes it transparent: Hamilton-Jacobi theory. The loop integrals of the quantization rule are precisely the action variables of Action-Angle Variables, so the rule does something geometrically clean — it sieves the continuum of invariant tori, keeping only those whose actions are integer multiples of ℏ\hbar. Because actions are adiabatic invariants, the selected integers are robust labels; because ∂H/∂J\partial H/\partial J is the orbital frequency, the correspondence principle emerges automatically at large nn. You are ready for this: everything the old quantum theory needs — separability, action integrals, frequencies from actions — sits in the chapter behind you. What you gain is the classical half of quantum mechanics: the semiclassical toolkit (EBK quantization, Maslov indices) that modern physics still uses on Rydberg atoms, molecules, and quantum dots — and a precise map of where quantization by tori fails, which is exactly where quantum chaos begins.

Key takeaways
  • The old quantum theory computes motion classically, then keeps only orbits obeying the Bohr-Sommerfeld condition ∮pi dqi=nih\oint p_i\,\mathrm{d}q_i = n_i h, applied to each separated degree of freedom of an integrable system.
  • Each loop integral is 2π2\pi times an action variable, so the rule quantizes the invariant tori: only tori with Ji=niℏJ_i = n_i\hbar survive. Quantum numbers are torus labels.
  • The actions are adiabatic invariants (see Adiabatic Invariants), which is why quantum numbers survive slow deformations — Ehrenfest's justification for quantizing JJ and not EE.
  • Inverting E=H(J1,…,Jf)E = H(J_1,\dots,J_f) at Ji=niℏJ_i=n_i\hbar yields spectra: En=−13.6 eV/n2E_n = -13.6\,\mathrm{eV}/n^2 for hydrogen, and — with the Maslov correction — En=(n+12)ℏωE_n=(n+\tfrac12)\hbar\omega for the oscillator.
  • The refined Einstein-Brillouin-Keller (EBK) rule ∮p dq=(n+μ/4)h\oint p\,\mathrm{d}q = (n+\mu/4)h adds a geometric phase count μ\mu (the Maslov index: 2 smooth turning points per libration give the famous 12\tfrac12).
  • The method requires global action variables, so it dies exactly where integrability dies: helium's non-separable three-body dynamics broke the old quantum theory and forced matrix and wave mechanics into existence.
  • Key idea: the classically allowed continuum of orbits is sieved by demanding that each action variable be an integer (or Maslov-corrected) multiple of ℏ\hbar — quantization is quantization of the invariant tori.
The core insight

The classically allowed continuum of orbits is sieved by demanding that each action variable be an integer (or half-integer-corrected) multiple of ℏ\hbar: ∮pi dqi=2πJi=nih\oint p_i\,\mathrm{d}q_i = 2\pi J_i = n_i h. Quantization is quantization of the invariant tori.

Where this lives today

Semiclassical quantization never retired; it moved to the regimes where wavefunctions are hopeless and orbits are excellent. Rydberg atoms at n∼50n\sim50–100100 — the workhorses of today's neutral-atom quantum computers and cavity-QED experiments — are labeled, addressed, and engineered with action-angle reasoning: their μ\mum-scale orbits, n3n^3-scaling lifetimes, and microwave transition frequencies (Example 2) are Bohr-Sommerfeld arithmetic. Molecular spectroscopists still assign vibrational levels by EBK quantization of computed potential-energy surfaces, and "quantum defect theory" is Sommerfeld's radial action with a phase shift. The deeper legacy is what happened to Einstein's 1917 warning. When the classical dynamics is chaotic there are no tori and no actions — so what plays the role of equation (5)? The answer, Gutzwiller's trace formula (1971), rebuilds the density of states from unstable periodic orbits and their Maslov indices, founding the field of quantum chaos: level statistics of Rydberg atoms in strong magnetic fields, resonances in microwave billiards and quantum dots, even the statistics of Riemann-zeta zeros are analyzed with the machinery this page began. The boundary of the old quantum theory's validity turned out to be one of the most productive research frontiers in physics — see Liouville Integrable Systems for exactly where that boundary lies.

The physical picture

Take any one-dimensional bound motion — a pendulum swing, an electron shuttling in a well — and draw its orbit in phase space. It is a closed loop, and the loop encloses an area ∮p dq\oint p\,\mathrm{d}q: the action accumulated in one period. Bohr-Sommerfeld is the statement that nature tiles phase space into cells of area hh and tolerates only loops enclosing a whole number of cells. The nn-th quantum state is the classical orbit wrapping exactly nn Planck cells (plus half a cell, once the Maslov correction is counted). Between two neighboring legal loops there is a no-man's-land of classically fine but quantum-mechanically forbidden orbits.

Figure
Phase space is tiled into Planck cells of area h — only orbits enclosing a whole number of cells (plus the Maslov half-cell) are allowed
q p n = 0 n = 1 n = 2 forbidden orbit (area not quantized) area budget each ring between allowed loops has area exactly h innermost loop holds the Maslov half-cell: area h/2 one state per cell — the semiclassical density of states

With several degrees of freedom the picture lifts onto the invariant tori of Action Integrals over Invariant Tori. A trajectory of an integrable system winds around a doughnut in phase space, and a doughnut has topologically distinct loops — once around the small circle, once around the large one — that cannot be deformed into each other. Each irreducible loop γi\gamma_i carries its own area integral, and each must enclose its own integer number of Planck cells. One integer per independent cycle: that is where multiple quantum numbers (n,l,m)(n, l, m) come from, three generations before anyone wrote a wavefunction.

Figure
On an invariant torus each irreducible loop is quantized separately — one quantum number per homology cycle
loop 1: around the tube area = n1 h (radial motion) loop 2: around the hole area = n2 h (angular motion) actual trajectory: winds around both loops, never closes unless frequencies are commensurate

Why is it legitimate to hang a permanent integer on an orbit? Because the action is an adiabatic invariant. Stretch the potential, ramp a field, slowly deform the Hamiltonian — energies drift, periods drift, but JJ holds (the full proof lives in Adiabatic Invariants and The Classical Adiabatic Theorem). Ehrenfest elevated this to a design principle: only quantities that cannot change under slow reversible deformation may carry quantum numbers. Energy fails that test; action passes. The old quantum theory quantized exactly the right classical object. The last piece of the picture is the half-integer. A semiclassical wave reflecting off a smooth classical turning point picks up a phase deficit of π/2\pi/2 — the turning point is a caustic, a focal point of the family of classical paths. Two turning points per libration cost a total phase π\pi, i.e. half a Planck cell of area. Counting caustic crossings is exactly what the Maslov index μ\mu does, and it converts Bohr's guess into the asymptotically exact EBK rule — the subject of Derivation A and of the sibling WKB Approximation and the Eikonal Connection, where the same 12\tfrac12 drops out of connection formulas.

The quantization rules

The historical starting point is the Bohr-Sommerfeld-Wilson condition. For a separable system, run each coordinate through one full cycle of its motion and demand that the accumulated phase-space area be a whole number of quanta. Applied to hydrogen's azimuthal angle it reproduces Bohr's 1913 postulate L=nℏL=n\hbar in one line; applied to the radial coordinate it produces the ellipses Sommerfeld added in 1916:

∮pi dqi=nih,ni=1,2,3,…(1)\oint p_i\,\mathrm{d}q_i = n_i h,\qquad n_i=1,2,3,\dots \qquad (1)

where: qiq_i — a separated coordinate; pip_i — its conjugate momentum, single-valued in qiq_i once the Hamilton-Jacobi equation separates; ∮\oint — one full libration or rotation of qiq_i; h=6.626×10−34 J sh = 6.626\times10^{-34}\,\mathrm{J\,s}. The condition is one integer per degree of freedom, not one for the system: a 3D atom gets three quantum numbers. The modern reading is sharper. The loop integral divided by 2π2\pi is nothing but the action variable of Action-Angle Variables, so equation (1) is a statement about which invariant tori exist quantum mechanically:

Ji≡12π∮pi dqi=niℏ(2)J_i \equiv \frac{1}{2\pi}\oint p_i\,\mathrm{d}q_i = n_i\hbar \qquad (2)

where: JiJ_i — the ii-th action, a constant of motion labeling the torus; ℏ=h/2π\hbar = h/2\pi. Quantization does not touch the dynamics at all — motion on an allowed torus is perfectly classical. It only culls the continuum of tori down to a discrete lattice, spaced ℏ\hbar apart in each action direction. Why is the loop integral a constant of motion in the first place? Separability. When W=∑iWi(qi;α)W=\sum_i W_i(q_i;\alpha) splits (see Separation of Variables in Hamilton-Jacobi Theory), each momentum pi=∂Wi/∂qip_i=\partial W_i/\partial q_i depends only on its own coordinate and the conserved separation constants α\alpha, so Ji=Ji(α)J_i=J_i(\alpha) inherits constancy from the α\alpha's. No separation, no single-valued pi(qi)p_i(q_i), no well-defined JiJ_i — this is the precise sense in which the old quantum theory requires integrability, and why the pitfall box below is the most important paragraph on this page. Once the actions are frozen at integer values, the entire spectrum follows from expressing the Hamiltonian in actions alone and evaluating on the lattice:

En1⋯nf=H(J1,…,Jf)∣Ji=niℏ(3)E_{n_1\cdots n_f} = H(J_1,\dots,J_f)\Big|_{J_i=n_i\hbar} \qquad (3)

where: H(J)H(J) — the angle-independent Hamiltonian of the integrable system. All the physics of a spectrum — level spacings, degeneracies, response to perturbations — is encoded in the shape of the function H(J)H(J). Degenerate spectra, like hydrogen's, occur when HH depends only on a combination of the JiJ_i (here Jr+JϕJ_r+J_\phi); the deeper story of which tori close into periodic orbits is told in Degeneracy and Commensurate Frequencies. Differentiating H(J)H(J) instead of evaluating it gives the level spacings a classical meaning. Since ωi=∂H/∂Ji\omega_i = \partial H/\partial J_i is the angular frequency of the ii-th angle (see Frequencies from Action-Angle Variables), adjacent levels are separated by

En+1−En  ≈  ∂H∂J ΔJ=ℏ ωcl=h νcl(4)E_{n+1}-E_n \;\approx\; \frac{\partial H}{\partial J}\,\Delta J = \hbar\,\omega_{\mathrm{cl}} = h\,\nu_{\mathrm{cl}} \qquad (4)

where: νcl=ωcl/2π\nu_{\mathrm{cl}}=\omega_{\mathrm{cl}}/2\pi — the classical orbital frequency of the quantized orbit. A photon emitted in a jump between neighboring levels therefore has the frequency of the classical orbit itself: quantum spectra fade smoothly into classical radiation as n→∞n\to\infty. This is Bohr's correspondence principle, not as philosophy but as a derivative. The final refinement replaces the integer by the geometry of caustics. Einstein (1917), Brillouin (1926) and Keller (1958) — EBK — showed the correct semiclassical rule on a torus is

∮γip⋅dq=(ni+μi4)h(5)\oint_{\gamma_i} \mathbf{p}\cdot\mathrm{d}\mathbf{q} = \Big(n_i+\frac{\mu_i}{4}\Big)h \qquad (5)

where: γi\gamma_i — the ii-th irreducible loop of the torus; μi\mu_i — its Maslov index, the count of caustic (turning-point) crossings along the loop. A 1D libration has two smooth turning points, μ=2\mu=2, hence the ubiquitous (n+12)(n+\tfrac12): the oscillator's zero-point energy is a caustic-counting effect. A rotation (no turning points) has μ=0\mu=0, which is why angular momentum stays integer-quantized. Equation (5) is asymptotically exact as n→∞n\to\infty and identically exact for quadratic Hamiltonians — the two facts that explain nearly every success in this article.

you wantusewith
quick spectrum of a separable system(2) then (3)integer nin_i
zero-point energies, WKB-accurate levels(5)Maslov μi\mu_i: 2 per libration, 0 per rotation
classical frequency check / large-nn limit(4)ω=∂H/∂J\omega=\partial H/\partial J
Derivation AHarmonic oscillator levels from the loop area

We are deriving the oscillator spectrum En=(n+12)ℏωE_n=(n+\tfrac12)\hbar\omega from pure phase-space geometry. The strategy: fix an energy EE, recognize the orbit of H=p2/2m+12mω2q2H=p^2/2m+\tfrac12 m\omega^2q^2 as an ellipse, compute the enclosed area by elementary geometry, and impose the EBK condition (5) with Maslov index μ=2\mu=2. Watch two things — how the area turns out proportional to E/ωE/\omega (this ratio being the adiabatic invariant is no accident), and how the naive integer rule (1) would silently miss the zero-point energy.

Step 1. Solve the energy relation for the momentum along the orbit: p(q)=±2m(E−12mω2q2)p(q)=\pm\sqrt{2m\left(E-\tfrac12 m\omega^2q^2\right)}. The motion librates between the smooth turning points q±=±2E/mω2q_\pm=\pm\sqrt{2E/m\omega^2}, where p=0p=0.

Step 2. The orbit p22mE+q22E/mω2=1\frac{p^2}{2mE}+\frac{q^2}{2E/m\omega^2}=1 is an ellipse with semi-axes a=2mEa=\sqrt{2mE} in pp and b=2E/mω2b=\sqrt{2E/m\omega^2} in qq. Its area is

∮p dq=πab=π2mE2Emω2=2πEω\oint p\,\mathrm{d}q=\pi ab=\pi\sqrt{2mE}\sqrt{\frac{2E}{m\omega^2}}=\frac{2\pi E}{\omega}

Why an area formula suffices: the loop integral of p dqp\,\mathrm{d}q around a closed curve is exactly the enclosed area — no dynamics needed once the orbit's shape is known.

Step 3. The libration crosses two smooth turning points per period, so μ=2\mu=2 and the EBK condition reads

2πEω=(n+24)h=(n+12)h\frac{2\pi E}{\omega}=\Big(n+\frac{2}{4}\Big)h=\Big(n+\frac12\Big)h

Step 4. Solve for the energy, using h=2πℏh=2\pi\hbar:

En=(n+12)ℏω,n=0,1,2,…E_n=\Big(n+\frac12\Big)\hbar\omega,\qquad n=0,1,2,\dots

Why this is exact and not just asymptotic: the WKB wavefunction solves the Schrödinger equation exactly when the potential is quadratic, because the third-derivative error terms of the semiclassical expansion vanish identically. Bohr-Sommerfeld with Maslov correction therefore reproduces the full quantum oscillator, zero-point energy included. Verified: the ellipse area 2πE/ω2\pi E/\omega and the spectrum (n+12)ℏω(n+\tfrac12)\hbar\omega match Landau-Lifshitz §49-§50 and the exact quantum result; the integer rule of 1913 would give En=nℏωE_n=n\hbar\omega, off by exactly the zero-point term.

Go deeper · Derivation B · 1 minHydrogen levels from radial and angular actions
Derivation BHydrogen levels from radial and angular actions

We are deriving the Bohr formula En=−13.6 eV/n2E_n=-13.6\,\mathrm{eV}/n^2 by quantizing the Kepler problem with two action integrals, following Sommerfeld's 1916 calculation. The route: separate the planar Coulomb problem in polar coordinates, quantize the trivial angular action, evaluate the radial action by the standard Sommerfeld contour integral, and invert for the energy. The striking feature to watch: the energy collapses onto the single combination nr+nϕn_r+n_\phi — a degeneracy that classical mechanics explains by the closure of Kepler ellipses.

Step 1. For H=12m(pr2+pϕ2r2)−krH=\frac{1}{2m}\left(p_r^2+\frac{p_\phi^2}{r^2}\right)-\frac{k}{r} with k=e2/4πε0k=e^2/4\pi\varepsilon_0, the angle ϕ\phi is cyclic, so pϕ=Lp_\phi=L is constant. Its action integral is trivial:

Jϕ=12π∮pϕ dϕ=pϕ2π∫02πdϕ=pϕ=nϕℏJ_\phi=\frac{1}{2\pi}\oint p_\phi\,\mathrm{d}\phi=\frac{p_\phi}{2\pi}\int_0^{2\pi}\mathrm{d}\phi=p_\phi=n_\phi\hbar

Why rotations carry no Maslov correction: ϕ\phi circulates without turning points (μ=0\mu=0 in equation 5), so angular momentum is quantized in clean integer steps — Bohr's original postulate, recovered rather than assumed.

Step 2. Solve the energy relation for the radial momentum on a bound orbit (E<0E<0):

pr=2mE+2mkr−L2r2p_r=\sqrt{2mE+\frac{2mk}{r}-\frac{L^2}{r^2}}

The radial motion librates between perihelion and aphelion, the two roots of the radicand.

Step 3. Evaluate the radial action by Sommerfeld's contour method (or Born's residue calculation — the integrand has a pole at r=0r=0 and at r=∞r=\infty):

Jr=12π∮pr dr=−L+km−2EJ_r=\frac{1}{2\pi}\oint p_r\,\mathrm{d}r=-L+k\sqrt{\frac{m}{-2E}}

Why the result must have this form: the −L-L term is the residue at r=0r=0 (the centrifugal barrier), the second is the residue at infinity (the Coulomb tail); the radial action measures how much the total action exceeds the purely angular part.

Step 4. Impose Jr=nrℏJ_r=n_r\hbar, L=nϕℏL=n_\phi\hbar and collect:

nrℏ+nϕℏ=km−2E⟹En=−mk22ℏ2n2,n≡nr+nϕn_r\hbar+n_\phi\hbar=k\sqrt{\frac{m}{-2E}}\quad\Longrightarrow\quad E_n=-\frac{mk^2}{2\hbar^2 n^2},\qquad n\equiv n_r+n_\phi

Numerically E1=−mee42(4πε0)2ℏ2=−13.606 eVE_1=-\frac{m_e e^4}{2(4\pi\varepsilon_0)^2\hbar^2}=-13.606\,\mathrm{eV}.

Step 5. The energy depends only on the sum n=nr+nϕn=n_r+n_\phi: orbits of the same nn but different eccentricity (different splits of action between radial and angular motion) are exactly degenerate. Classically this is the closure of all bound Kepler orbits, conserved by the Laplace-Runge-Lenz vector; quantum mechanically it becomes hydrogen's ll-degeneracy and the hidden SO(4)SO(4) symmetry — the full story is in Degeneracy and Commensurate Frequencies. Verified: Jr=−L+km/(−2E)J_r=-L+k\sqrt{m/(-2E)} is the standard Sommerfeld integral (Born, The Mechanics of the Atom; Goldstein §10.8), and the resulting −13.606 eV/n2-13.606\,\mathrm{eV}/n^2 agrees with the exact Schrödinger spectrum and CODATA Rydberg energy.

Why does hanging integers on adiabatic invariants make physical sense? Ehrenfest's argument deserves its own beat: imagine slowly stretching the walls of a box containing a quantum state, or slowly ramping a magnetic field on an orbiting electron. The state cannot jump discontinuously — the deformation is reversible — so whatever integer labels it must not change. The only classical quantities guaranteed constant under such slow deformations are the adiabatic invariants, and for periodic systems that is precisely JJ (proved carefully in The Classical Adiabatic Theorem). Energy, by contrast, drifts freely as parameters change. Quantizing EE directly would produce labels that slow perturbations could shred; quantizing JJ produces labels that survive. The old quantum theory's deepest correct instinct was this choice of variable.

Limiting cases

caseresultmeaning
n→∞n\to\inftyEn+1−En→hνclE_{n+1}-E_n \to h\nu_{\mathrm{cl}}level spacing = classical orbital frequency: quantum radiation blends into classical radiation (correspondence principle, eq. 4)
quadratic HamiltonianEn=(n+12)ℏωE_n=(n+\tfrac12)\hbar\omega exactlyWKB error terms vanish for quadratic potentials — EBK is exact, not asymptotic
Coulomb potentialEn=−13.606 eV/n2E_n=-13.606\,\mathrm{eV}/n^2 exactlyKepler degeneracy conspires: Sommerfeld's answer coincides with Schrödinger's despite the missing wave mechanics
relativistic Coulombfine structure ∝α4\propto\alpha^4, correct to O(α4)O(\alpha^4)Sommerfeld 1916 matches the Dirac equation's fine structure — the old theory's most astonishing hit
ℏ→0\hbar\to 0 at fixed EEallowed tori crowd together, spacing →0\to 0the classical continuum is recovered; quantization becomes invisible at macroscopic action J≫ℏJ\gg\hbar
non-integrable dynamicsno global JiJ_i existnothing to quantize: helium and chaotic systems are outside the theory's domain, not merely hard for it

Worked examples

Example 1 — electron in a 1 nm box (confidence builder). An electron bounces between hard walls separated by L=1.00 nmL=1.00\,\mathrm{nm}. Quantize its motion.

Step 1. At energy EE the momentum has constant magnitude p=2mEp=\sqrt{2mE}; one period is a round trip 2L2L. The loop integral is ∮p dq=p⋅2L\oint p\,\mathrm{d}q = p\cdot 2L.

Step 2. Hard walls are not smooth turning points — the wave reflects with a hard node, not a caustic π/2\pi/2 deficit — so the integer rule applies with n=1,2,3,…n=1,2,3,\dots: 2pL=nh2pL=nh, giving pn=nh/2Lp_n=nh/2L.

Step 3. The spectrum is En=pn22m=n2h28mL2E_n=\dfrac{p_n^2}{2m}=\dfrac{n^2h^2}{8mL^2}. Numerically: h28meL2=(6.626×10−34)28(9.109×10−31)(1.00×10−9)2=6.02×10−20 J\dfrac{h^2}{8m_eL^2}=\dfrac{(6.626\times10^{-34})^2}{8(9.109\times10^{-31})(1.00\times10^{-9})^2}=6.02\times10^{-20}\,\mathrm{J}.

Step 4. Converting, E1=6.02×10−20/1.602×10−19E_1=6.02\times10^{-20}/1.602\times10^{-19} eV: E1=0.376 eVE_1 = 0.376\,\mathrm{eV}, E2=1.50 eVE_2=1.50\,\mathrm{eV}, E3=3.39 eVE_3=3.39\,\mathrm{eV} — exactly the particle-in-a-box spectrum of elementary quantum mechanics, obtained without solving any differential equation.

Example 2 — Rydberg atom at n = 100: testing correspondence (exam level). For hydrogen in the circular state n=100n=100, compare the photon energy of the n=100→101n=100\to101 transition against hh times the classical orbital frequency.

Step 1. Quantum side. En=−13.606/n2E_n=-13.606/n^2 eV, so

ΔE=13.606(11002−11012)=13.606×1012−10021002×1012=13.606×2011.0201×108 eV\Delta E = 13.606\left(\frac{1}{100^2}-\frac{1}{101^2}\right)=13.606\times\frac{101^2-100^2}{100^2\times101^2}=13.606\times\frac{201}{1.0201\times10^{8}}\,\mathrm{eV}

which evaluates to ΔE=2.681×10−5 eV\Delta E = 2.681\times10^{-5}\,\mathrm{eV}.

Step 2. Classical side. With J=nℏJ=n\hbar and E(J)=−mk2/2J2E(J)=-mk^2/2J^2, the orbital angular frequency is ωcl=∂E/∂J=mk2/J3\omega_{\mathrm{cl}}=\partial E/\partial J = mk^2/J^3, so hνcl=ℏ ωcl=mk2ℏ2n3=2×13.606n3 eV=27.212106 eV=2.721×10−5 eVh\nu_{\mathrm{cl}}=\hbar\,\omega_{\mathrm{cl}}=\dfrac{mk^2}{\hbar^2 n^3}=\dfrac{2\times13.606}{n^3}\,\mathrm{eV}=\dfrac{27.212}{10^{6}}\,\mathrm{eV}=2.721\times10^{-5}\,\mathrm{eV}.

Step 3. The ratio is 2.681/2.721=0.9852.681/2.721 = 0.985: the quantum jump frequency agrees with the classical orbital frequency to 1.5 % at n=100n=100 (the residual is the 32n\tfrac{3}{2n} correction from the discreteness of the jump). The orbit itself is huge — radius a0n2=0.0529 nm×104≈0.53 μma_0n^2=0.0529\,\mathrm{nm}\times10^4\approx0.53\,\mathrm{\mu m} — a micron-sized atom obeying nearly classical mechanics.

Step 4. This is equation (4) in action: Rydberg-state spectroscopy is correspondence-principle physics, and it is precisely how semiclassical quantization is still used to label and manipulate n∼100n\sim100 states in modern cold-atom experiments.

Origins · 1 minArnold Sommerfeld and how this was discovered
AS
Arnold Sommerfeld
1868–1951 · Munich theoretician who generalized Bohr's model into a quantization scheme for all separable systems

Sommerfeld ran the Munich school that trained an astonishing fraction of quantum mechanics' founders — Heisenberg, Pauli, Debye, Bethe among them. His 1916 masterstroke replaced Bohr's circles with the full family of Kepler ellipses by quantizing radial and angular actions separately, and adding special relativity produced a fine-structure formula in α4\alpha^4 that the Dirac equation would vindicate a decade later. He introduced the fine-structure constant α\alpha into physics, and his Atomic Structure and Spectral Lines was the working bible of the old quantum theory. Nominated for the Nobel Prize a record 84 times, he never won — but his students collected several.

History
1913
— Bohr quantizes circular hydrogen orbits by fiat: L=nℏL=n\hbar reproduces the Balmer series
1915
— Wilson and Ishiwara independently propose the general rule ∮p dq=nh\oint p\,\mathrm{d}q=nh
1916
— Sommerfeld quantizes Kepler ellipses, derives fine structure with α\alpha; Ehrenfest ties quantization to adiabatic invariants
1917
— Einstein reformulates the rule on invariant tori and warns it has no meaning when no tori exist — quantum chaos foreseen forty years early
1923
— Systematic failure on helium: Kramers' and Born's best orbits give the wrong ground-state energy
1926
— Wave mechanics arrives; Brillouin and later Keller (1958) rebuild Bohr-Sommerfeld as the exact leading order of WKB, with the Maslov index supplying the half-integer

Going further

References. Goldstein, Poole & Safko, Classical Mechanics, 3rd ed., §10.8 (action-angle variables and the Kepler problem) · Landau & Lifshitz, Mechanics, 3rd ed., §49–52 (adiabatic invariants and actions) · Born, The Mechanics of the Atom (1927) — the canonical exposition of the old quantum theory · Sommerfeld, Atomic Structure and Spectral Lines (1919) · Gutzwiller, Chaos in Classical and Quantum Mechanics (1990), ch. 10–14 (EBK and the trace formula) · Einstein, Verh. Dtsch. Phys. Ges. 19, 82 (1917)

Provenance. Equations and numbers are standard. A verifier should recompute: (1) the oscillator ellipse area 2πE/ω2\pi E/\omega giving E=(n+12)ℏωE=(n+\tfrac12)\hbar\omega (Landau-Lifshitz §49); (2) the Sommerfeld radial integral Jr=−L+km/(−2E)J_r=-L+k\sqrt{m/(-2E)} yielding En=−13.606 eV/n2E_n=-13.606\,\mathrm{eV}/n^2 (Born, Mechanics of the Atom; Goldstein §10.8); (3) the fine-structure scale α4\alpha^4 with α≈1/137\alpha\approx1/137 (Sommerfeld 1916). The numeric examples (particle-in-box E1=0.376 eVE_1=0.376\,\mathrm{eV} at L=1L=1 nm; Rydberg n=100n=100 comparison ΔE=2.681×10−5 eV\Delta E=2.681\times10^{-5}\,\mathrm{eV} vs ℏωcl=2.721×10−5 eV\hbar\omega_{\mathrm{cl}}=2.721\times10^{-5}\,\mathrm{eV}, ratio 0.985; orbit radius a0n2≈0.53 μma_0n^2\approx0.53\,\mathrm{\mu m}) were computed for this article from CODATA constants and are hand-verifiable.

Builds on: Hamilton-Jacobi Equation · Action-Angle Variables · Separation of Variables in Hamilton-Jacobi Theory · Hamilton's Characteristic Function Leads to: Action Integrals over Invariant Tori · Frequencies from Action-Angle Variables · Liouville-Arnold Theorem

If the electron moves classically between quantized orbits, what happens during a quantum jump — does the old theory say?

No — and the founders knew it. The old quantum theory is silent about the transition itself: it supplies stationary orbits and their energies, then grafts on Bohr's frequency condition hν=Ei−Efh\nu=E_i-E_f as a separate postulate. It cannot compute how long a jump takes, what the electron "does" en route, or — most damningly — the intensity of a spectral line beyond correspondence-principle estimates at large nn. That silence is not a small gap: transition amplitudes are exactly what Heisenberg's 1925 matrix mechanics chose as its basic objects, replacing orbits entirely. The lesson is that the old theory quantizes the kinematics of bound motion beautifully and says nothing about dynamics between states.

Is the integer rule ever right, or does everything need the Maslov half?

Both appear, and the Maslov index tells you which. The correction per irreducible loop is μ/4\mu/4 where μ\mu counts caustic crossings. A libration between two smooth turning points has μ=2\mu=2: half-integers (oscillator, molecular vibrations, radial motions). A pure rotation has no turning points, μ=0\mu=0: clean integers (angular momentum, equation 7's cyclic quantization). Hard-wall reflections are different again — each wall contributes μ=2\mu=2 (a node, phase π\pi), so a 1D box has μ=4\mu=4 and the rule becomes ∮p dq=(n+1)h\oint p\,\mathrm{d}q=(n+1)h with n=0,1,…n=0,1,\dots — identical to the integer rule starting at 1, which is why Example 1 works. When in doubt, count caustics; guessing costs you exactly the zero-point energy.

How could Sommerfeld possibly get the fine structure right without spin or the Dirac equation?

By an extraordinary compensation of errors. Sommerfeld's relativistic Kepler calculation quantizes orbits with no spin and no spin-orbit coupling; Dirac's equation has both. The two effects — the missing spin-orbit interaction and the different quantization of angular momentum (nϕn_\phi vs j+12j+\tfrac12) — cancel exactly at order α4\alpha^4, so the 1916 formula ΔE∼−mc2α42n3(1nϕ−34n)\Delta E\sim-\frac{mc^2\alpha^4}{2n^3}\left(\frac{1}{n_\phi}-\frac{3}{4n}\right) maps term-for-term onto Dirac's with nϕ→j+12n_\phi\to j+\tfrac12. It is one of the most discussed "lucky" results in physics — though some of the luck is structural: both calculations respect the same relativistic Kepler symmetry. Either way, it kept the old quantum theory credible for a decade.

Does Bohr-Sommerfeld say phase space is literally divided into cells of area h?

As a counting device, yes — and the count survives into full quantum mechanics. Each allowed 1D orbit adds area hh (the ring between consecutive quantized loops in the hero figure), so the number of states below energy EE is N(E)≈1h×(phase-space area with H<E)N(E)\approx\frac{1}{h}\times(\text{phase-space area with }H<E), and in ff degrees of freedom N(E)≈Vol/hfN(E)\approx\mathrm{Vol}/h^f. This Weyl estimate is the leading term of the exact quantum density of states and the starting point of statistical mechanics' phase-space measure dq dp/hf\mathrm{d}q\,\mathrm{d}p/h^f. What quantum mechanics removes is the picture of sharp cell boundaries: states are not literally tiles, and the sub-leading corrections to the count oscillate with the periodic orbits (Gutzwiller). The area-hh granularity, though, is exact bookkeeping.

Why did helium fail when hydrogen worked so perfectly?

Hydrogen is integrable — its two effective degrees of freedom carry two independent conserved quantities in involution, so all bound motion lives on invariant tori with well-defined actions. Helium's two electrons interact, making a genuine three-body problem: no third global constant exists, large parts of the classical phase space are chaotic, and no tori means no actions means no rule. Kramers' best 1923 orbit gave a ground state near −77.5-77.5 eV against the measured −79.0-79.0 eV — and worse, the scheme offered no systematic way to improve. The failure is structural, not numerical: it marks the exact boundary drawn in Liouville Integrable Systems. (Modern epilogue: in 1991 Wintgen and collaborators quantized helium semiclassically after all — using Gutzwiller's chaotic periodic-orbit theory, the tool Einstein's 1917 objection demanded.)

Equation 2 says allowed tori are spaced one hbar apart in action. For a macroscopic pendulum, which n am I on?

Estimate the action: a 11 kg pendulum bob swinging with E∼0.1E\sim0.1 J at ω∼3 rad/s\omega\sim3\,\mathrm{rad/s} has J≈E/ω≈0.03 J sJ\approx E/\omega\approx0.03\,\mathrm{J\,s}, so n=J/ℏ≈3×1031n=J/\hbar\approx3\times10^{31}. Neighboring levels differ fractionally by 1/n∼10−321/n\sim10^{-32} — immeasurably fine — and thermal jostling smears the system over ∼kBT/ℏω≈1019\sim k_BT/\hbar\omega\approx10^{19} levels at room temperature. That is the correspondence principle in practice: quantization is always there, but at macroscopic action the lattice of tori is so dense it is operationally a continuum. The classical limit is not ℏ→0\hbar\to0 so much as J/ℏ→∞J/\hbar\to\infty — the message of the ℏ→0\hbar\to0 row of the limiting-cases table.

Are the quantum numbers of the old theory the same n and l I use in the Schrödinger hydrogen atom?

Almost — with two systematic shifts. Sommerfeld's principal number n=nr+nϕn=n_r+n_\phi matches Schrödinger's nn exactly, and radial nodes correspond as nr↔n_r\leftrightarrow node count. But the azimuthal story needed repair: the old theory used nϕ=1,2,…,nn_\phi=1,2,\dots,n (it excluded nϕ=0n_\phi=0 to avoid orbits through the nucleus), while quantum mechanics uses l=0,1,…,n−1l=0,1,\dots,n-1 — including the ss-states the old theory forbade, and with L2=l(l+1)ℏ2L^2=l(l+1)\hbar^2 rather than nϕ2ℏ2n_\phi^2\hbar^2. EBK explains the mismatch: the correct semiclassical angular action is l+12l+\tfrac12 (a Langer/Maslov correction on the polar angle), so the old integer nϕn_\phi was a half-unit off. The bookkeeping nϕ↔l+12n_\phi\leftrightarrow l+\tfrac12 converts most old-quantum-theory results into their modern counterparts.

What exactly did Einstein point out in 1917, and why is it considered so prophetic?

Einstein reformulated Bohr-Sommerfeld covariantly: the quantization conditions should read ∮γip⋅dq=nih\oint_{\gamma_i}\mathbf{p}\cdot\mathrm{d}\mathbf{q}=n_ih over the independent closed loops γi\gamma_i of the invariant torus — a statement about phase-space topology, independent of coordinate choices (the modern EBK form, equation 5, minus the Maslov index). Then he added the fatal observation: this only makes sense if the trajectory actually lies on a torus, and for generic systems — he cited Poincaré's three-body results — it does not. In 1917 nobody could do anything with the remark; there was no framework for "quantizing chaos." Forty years later KAM theory mapped which tori survive perturbation, and fifty years later Gutzwiller answered Einstein's implicit question with the trace formula. One paragraph, two research fields.

Before this

Where this leads