Bohr-Sommerfeld and Maslov Quantization
The Bohr-Sommerfeld rule predates modern quantum mechanics, and its refinement to for a smooth well is derived, ledger and all, in Bohr–Sommerfeld and Semiclassical Quantization in 1D and WKB Quantization and the Bohr-Sommerfeld Condition. Those articles establish the working rule: each soft turning point costs a of phase, each hard wall a , and the sum is the correction to Bohr's integer. What they leave as a recipe, this article recasts as geometry. The is not an accident of one-dimensional matching — it is a topological invariant of the classical orbit, the Maslov index. The idea is to stop thinking of the orbit as a path along the -axis and start thinking of it as a closed loop in phase space, the plane. A bound orbit is a closed curve there — an ellipse for the oscillator — and quantization is the condition that the loop enclose an integer-plus-fraction number of quanta of area. The fraction is fixed by how many times the loop's projection onto the -axis folds back on itself. Each fold is a caustic — a turning point — where the projection has a vertical tangent, and each fold contributes to the phase. Counting the folds is counting the Maslov index. For the oscillator ellipse there are exactly two folds per circuit, , and : the famous half emerges as a winding number. You are ready for this because you know the WKB quantization condition and the turning-point connection phase. Here we prove that for the one-dimensional oscillator reproduces exactly, contrast the hard-wall box, and point to the multidimensional generalization — EBK torus quantization — where the Maslov index becomes indispensable.
- Quantization is a phase-space statement: the orbit is a closed loop in , and where is the Maslov index.
- The Maslov index counts the caustics (folds of the orbit's projection onto configuration space) per period — a topological invariant, not a fitted constant.
- For the 1D oscillator the phase-space ellipse folds twice per circuit (), so and — exact, not approximate.
- A hard wall contributes to the phase (a Dirichlet reflection), which the 1D ledger (owned by Bohr–Sommerfeld and Semiclassical Quantization in 1D) tracks as ; here it is the same -counting.
- In dimensions the rule becomes EBK torus quantization , one condition per irreducible loop of the invariant torus.
- KEY IDEA: the in Bohr-Sommerfeld is the Maslov index — a topological count of the caustics a phase-space orbit passes, generalizing to the phases of EBK torus quantization.
The Bohr-Sommerfeld correction is the Maslov index, a topological count of the caustics (turning-point folds) of the classical orbit in phase space; for the 1D oscillator gives the exact .
Where this lives today
The Maslov index is a working tool in quantum chaos and semiclassical spectroscopy. When physicists compute the energy levels of a molecule with the EBK method, or the conductance oscillations of a mesoscopic ring, or the spectral statistics of a microwave billiard, the phases are what make the semiclassical spectrum land on the true quantum levels. In the Gutzwiller trace formula — the semiclassical backbone of quantum chaos — every periodic orbit contributes a term weighted by , and getting the Maslov indices right is essential to reproducing the quantum density of states. The same index appears in optics as the Gouy phase of a focused laser beam, and in gravitational-wave astronomy as the phase a wave acquires passing through a caustic of a gravitational lens.
The physical picture
Draw the phase plane with position across and momentum up. A bound classical orbit of energy traces a closed curve: for the harmonic oscillator, is an ellipse. The particle runs around this ellipse once per period. Semiclassical quantization says the wave built along the orbit must be single-valued, so the total phase accumulated in one circuit is a multiple of . That total phase has two parts: the dynamical phase , which is the enclosed area over , and a correction from the geometry of the loop. The geometric correction comes from the turning points. Look at the ellipse: its projection onto the -axis is the segment , and the projection is two-to-one — the top half of the ellipse and the bottom half both project onto the same segment. At the two ends, , the projection folds: the tangent to the ellipse is vertical, . These folds are the caustics. Each time the orbit passes a fold, the WKB wave picks up a phase — exactly the connection-formula phase of the previous article. Two folds per circuit means and a total geometric phase of , i.e. a shift of in the quantum number.
The payoff is that the same picture explains why hard walls are different. At a hard wall the potential is a vertical cliff, and the phase-space orbit does not fold smoothly — it reflects off a wall in momentum, contributing (a Dirichlet phase, -contribution ) rather than the of a soft fold. Counting soft folds and hard walls is the whole quantization ledger, and it is nothing but the topology of how the orbit projects to configuration space.
The math: quantization as enclosed phase-space area
The WKB quantization condition, established in WKB Quantization and the Bohr-Sommerfeld Condition, requires that the wave built by connecting the oscillatory solution through both turning points be single-valued. Written in phase-space form it reads
where: is the area enclosed by the classical orbit in the plane, counts the quanta of area (so ), and is the Maslov index — the number of caustics the orbit passes per period. Physically, the enclosed area is quantized in units of Planck's constant, shifted by the geometric . The Maslov index is defined geometrically, not by matching. Consider the orbit as a closed curve in phase space and its tangent vector as it goes around. Project onto the -axis; the caustics are the points where (vertical tangent). The Maslov index is the signed count of these vertical-tangent crossings — equivalently, the winding number of the orbit's tangent line relative to the vertical direction. Because it is a count of topological features of a closed curve, it cannot change under smooth deformations that preserve the orbit's shape — this is why it is robust and universal, the same for every oscillator regardless of or .
The goal is to prove that the topological count for the harmonic oscillator, plugged into the phase-space quantization rule, reproduces the exact spectrum . The strategy is direct: compute the enclosed area of the energy ellipse, count the caustics geometrically to fix , and solve for . Watch that WKB is exact for the oscillator — the semiclassical rule here is not an approximation but the exact answer, a fact owned by WKB Quantization and the Bohr-Sommerfeld Condition.
Step 1. The orbit at energy is the ellipse , with semi-axes and . Its area is . Why: the area of an ellipse is (product of semi-axes); the 's cancel and leave . This is the classical action of the oscillator orbit.
Step 2. Count the caustics. The ellipse's projection onto the -axis folds at , where the tangent is vertical — two folds per circuit. Hence . Why: at the momentum and , so the trajectory momentarily reverses — the projection folds. There are exactly two such points on any convex closed orbit that projects two-to-one, so universally for a smooth 1D well.
Step 3. Insert into the quantization rule: . Solve: . Why: , the famous half. The enclosed-area rule with the Maslov correction gives the exact oscillator spectrum, including the zero-point energy at . *Verified: symbolic computation confirms and with zero error; WKB is exact for the oscillator (the corrections vanish), as owned by WKB Quantization and the Bohr-Sommerfeld Condition.*
Go deeper · Derivation B · 1 minThe hard-wall box: same rule, different caustic count
Here we show that the infinite square well fits the same Maslov framework, with the two soft folds replaced by two hard-wall reflections, and recover . The goal is to demonstrate that the -count is not a single universal number but a property of the orbit's turning points, so that changing the wall type changes the fraction predictably. Watch the phase contributed by a Dirichlet wall: , twice the soft .
Step 1. For a particle of energy in a box of width , the momentum is constant between the walls, and the phase-space orbit is a rectangle: going right, going left. The enclosed area is . Why: the orbit runs across at , reflects, runs back at ; the enclosed rectangle has width and height , area .
Step 2. Count the phase. Each hard wall imposes (Dirichlet), which contributes to the reflection phase — equivalent to a Maslov contribution of per wall, so the two walls give total , i.e. ... but the standard hard-wall rule is written as with (no half). Reconcile by noting : the two conventions differ by a relabeling of the ground-state index. Why: a Dirichlet wall forces a node, costing round-trip (both walls), which shifts the count by a full integer rather than a half. Using absorbs this; the physics — the node structure — is identical.
Step 3. Solve: . Why: this is the exact infinite-square-well spectrum. The semiclassical rule is again exact here because the potential is piecewise constant and the WKB phase is exact between the walls. *Verified: the script confirms from the area rule, and that the ground state matches the exact ISW energy; the ledger (soft , hard-wall ) is the one owned by Bohr–Sommerfeld and Semiclassical Quantization in 1D.*
The step from one dimension to many is where the Maslov index earns its keep. In dimensions an integrable system's orbits fill an invariant torus, and there are topologically distinct loops around it. Each carries its own quantization condition and its own caustic count:
where: are the quantum numbers, and is the Maslov index of the -th loop — the caustic count that no one-dimensional recipe can supply. This is EBK (Einstein-Brillouin-Keller) quantization; the article Bohr–Sommerfeld and Semiclassical Quantization in 1D points to it, and the next chapter's Stationary Phase and the Classical Limit connects it to the Gutzwiller trace formula for non-integrable (chaotic) systems, where the neat torus is gone but the Maslov phases survive along each periodic orbit.
Limiting cases
| case | result | meaning |
|---|---|---|
| 1D harmonic oscillator | , | two soft folds; the exact spectrum |
| 1D infinite square well | two hard walls, | Dirichlet phase per wall |
| one soft + one hard wall | -mix, -type rule | e.g. the bouncing-ball / linear potential |
| large | negligible vs | Bohr's original integer rule recovered |
| -dimensional integrable | EBK | one condition per torus loop |
| chaotic | no tori; Gutzwiller sum over periodic orbits | Maslov phases survive per orbit |
Worked examples
Example 1 — The oscillator spectrum from the phase-space area.
Step 1. Take , , . The orbit area at energy is .
Step 2. The Maslov index is (two folds), so the rule is , i.e. .
Step 3. Ground state : . First excited : . In physical units , and the spacing is exactly (in these units).
Step 4. Compare the exact quantum result: the harmonic oscillator has exactly. The semiclassical answer is not approximate here — the Maslov-corrected Bohr-Sommerfeld rule is exact for the oscillator, a special feature owned by WKB Quantization and the Bohr-Sommerfeld Condition.
Example 2 — A linear (bouncing-ball) potential: mixed caustics.
Step 1. A ball bouncing on a floor under gravity, for with a hard wall at , has one hard wall (the floor, ) and one soft turning point (where , ). The total turning-point phase is , so the rule is with
Step 2. Compute the action. The momentum is , vanishing at . The half-orbit action is , so this .
Step 3. Set equal to and solve for : .
Step 4. The fraction (not ) is the signature of the mixed caustic count — one soft fold plus one hard wall. Numerically this reproduces the exact bound-state energies of the linear potential (Airy-function zeros) to better than for the lowest states and improves with : the first level uses the Airy zero, giving within about of the semiclassical value.
Origins · 1 minMaslov Index and how this was discovered
Going further
The one-dimensional quantization ledger — the phase-integral rule, the soft-turning-point , the hard-wall , the neutron-bouncer worked example, and the proof that WKB is exact for the oscillator — is owned by Bohr–Sommerfeld and Semiclassical Quantization in 1D and WKB Quantization and the Bohr-Sommerfeld Condition, which this article recalls and recasts as topology. The turning-point connection phases that these Maslov contributions sum are developed in Connection Formulas and Turning Points, and the caustic where the semiclassical amplitude diverges is the same one that appears in the oscillator path integral of Free-Particle and Harmonic-Oscillator Path Integrals (the prefactor blows up at , exactly where increments). The multidimensional EBK generalization and the chaotic Gutzwiller trace formula are taken up in Stationary Phase and the Classical Limit.
Provenance: upgraded from the AllQFT base Bohr-Sommerfeld and Maslov Quantization (QM11 register). Sources: Gutzwiller, Chaos in Classical and Quantum Mechanics Ch. 12–17; Brack & Bhaduri, Semiclassical Physics Ch. 2; Keller, "Corrected Bohr-Sommerfeld quantum conditions for nonseparable systems," Ann. Phys. 4, 180 (1958); Maslov & Fedoriuk, Semiclassical Approximation in Quantum Mechanics.
Prerequisites: WKB Quantization and the Bohr-Sommerfeld Condition · Bohr–Sommerfeld and Semiclassical Quantization in 1D · Connection Formulas and Turning Points · Hamilton-Jacobi Theory and Action-Angle Variables
Leads to: Stationary Phase and the Classical Limit · Gutzwiller Trace Formula · EBK Torus Quantization · WKB Tunneling and the Gamow Factor
Is the Maslov index the same thing as the "½" I learned in Bohr-Sommerfeld?
Yes, exactly — for a smooth one-dimensional well. The rule has with . What this article adds is that the is not special to 1D or to that well: it is the caustic count of the specific orbit. A different orbit (a bouncing ball, a 2D box, a Coulomb ellipse) has a different , so a different fraction. Writing it as makes the rule universal and tells you where the fraction comes from. In the 1D ledger owned by Bohr–Sommerfeld and Semiclassical Quantization in 1D this same count is written as (soft , hard ); it is the same object.
Why exactly π/2 per caustic in the total, but π/4 per turning point in the connection formula?
Because a full oscillation passes each turning point twice — once outgoing, once returning — but the connection-formula is per passage. Going out through a soft turning point costs , coming back costs another , so a complete round-trip through one turning point costs , i.e. a Maslov contribution of . A well with two soft turning points therefore has — careful: the standard convention is number of turning points passed per period (each contributing to ), giving , the shift of . The connection article counts per-passage 's; the Maslov index counts per-period caustics. They agree.
What is a caustic, precisely, in this context?
A caustic is a point where a family of classical trajectories focuses — the same phenomenon that brightens the cusp of light in a coffee cup. In phase space it is where the invariant curve (or torus) folds so that its projection onto configuration space has a vertical tangent, , and the density of classical trajectories diverges. In 1D the caustics are exactly the classical turning points; the WKB amplitude blows up there. The Maslov index counts how many caustics an orbit threads, and each one contributes a phase jump to the semiclassical wave. Caustics are why WKB needs repair (the Airy connection) and why the quantization condition carries a fraction.
Does the old ∮p dq = nh rule ever give right answers without the ½?
Famously, yes — for hydrogen. Bohr and Sommerfeld got the exact non-relativistic hydrogen levels eV using the integer rule with no Maslov correction, which is why the old quantum theory looked so successful. The reason is a near-miracle of the Coulomb problem: the radial and angular Maslov contributions and the degeneracy conspire so that the fractional corrections combine into a shift of the principal quantum number that reproduces the exact answer. It is the right formula for a subtly wrong reason — the correct modern derivation (Dirac, then the exact Schrödinger solution) does not rely on the cancellation. For the oscillator, by contrast, the ½ is essential and visible.
How does the Maslov index generalize to more than one dimension?
On an integrable system the bounded motion fills a -dimensional torus in phase space, and there are topologically independent loops around it. Each loop has its own caustic structure and its own Maslov index , giving one quantization condition per loop — this is EBK (Einstein-Brillouin-Keller) quantization. For a 2D box each direction contributes its own hard-wall ; for a central potential the radial and angular loops have different 's. When the system is chaotic there are no tori, but the Gutzwiller trace formula still assigns a Maslov index to each isolated periodic orbit, and those indices are essential to getting the quantum spectrum right.
Is semiclassical quantization ever exact, or always an approximation?
It is exact for a special family and asymptotic for the rest. For the harmonic oscillator and the infinite square well the Maslov-corrected Bohr-Sommerfeld rule gives the exact spectrum, because the higher-order WKB corrections vanish identically (the potential is quadratic or piecewise constant). For hydrogen the leading rule is exact by the Coulomb cancellation mentioned above. For a generic anharmonic potential it is an (large quantum number) asymptotic series: excellent for high levels, less so for the ground state. The Maslov index itself is always exact — it is an integer topological count — so the error lives entirely in the action integral's higher-order corrections, not in the fraction.