Quantum theory Solvable models and approximation methods Theorem
Bohr–Sommerfeld quantization condition
Builds on Schrödinger operatorDiscrete spectrumWKB approximation
Statement
Let be smooth, let , and for let on . Let be such that , and, for every , the set is a closed interval with . For let be the area enclosed by the classical orbit in the phase plane. Then, for small , the eigenvalues of in are simple. They can be labelled , with running over some integers , so that The bound is uniform in .
Remarks
In the old quantum theory of Bohr and Sommerfeld the rule was a postulate, written with , without the term . The modern form follows from the WKB approximation. The WKB solutions decaying on each side are glued across the two turning points. Each turning point contributes a phase of , the Maslov correction, and this gives the .
Example: for the harmonic oscillator the orbit at energy is an ellipse of area . The condition gives , which is the exact spectrum.
The hypothesis that is not a critical value of is needed. Near the top of a barrier or at the bottom of a degenerate well, the turning points merge and the rule must be corrected.
Going deeper
For a student
The rule is the simplest bridge between classical and quantum mechanics: it computes the discrete spectrum of a one-dimensional Schrödinger operator from the classical action alone. It also shows that the number of eigenvalues below is about , a one-dimensional case of Weyl's law. In several degrees of freedom it generalises, for integrable systems, to the Einstein–Brillouin–Keller conditions on invariant tori.
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Asymptotic analysis concept
- Discrete spectrum concept
- Ordinary differential equation concept
- Schrödinger operator concept
- WKB approximation definition
- Bohr–Sommerfeld quantization condition statement
Further reading
About this page
| Tag | 6MX64VZHYF |
|---|---|
| URI | m2://6MX64VZHYF |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 81Q20, 35P20 |
| Status | This copy of the site has no build data. Run m2 status 6MX64VZHYF. |
| About | Schrödinger operator |
| Uses | Schrödinger operator, Discrete spectrum, WKB approximation |
| Changed | 3 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.