Math 2.0

Mechanics of particles and systems Particle systems and celestial mechanics Theorem

Bertrand's theorem

Builds on Central forceAngular momentumKepler problemHarmonic oscillatorPeriodic orbit

Statement

Let U ⁣:(0,∞)→ℝU \colon (0, \infty) \to \R be a smooth function. Consider a particle of unit mass in ℝ3∖{0}\R^3 \setminus \set{0} that moves in the central force field with potential U(∥x∥)U(\norm{x}), that is, x′′=−U′(∥x∥) x/∥x∥x'' = - U'(\norm{x}) \, x / \norm{x}. Assume that some motion that is defined for all t∈ℝt \in \R stays in a bounded set, stays away from 00, and is not a circle. Assume also that every motion that is defined for all t∈ℝt \in \R, stays in a bounded set and stays away from 00 is periodic. Then there are constants c∈ℝc \in \R and k>0k > 0 such that either U(r)=−kr+cU(r) = - \frac{k}{r} + c for all r>0r > 0, or U(r)=kr2+cU(r) = k r^2 + c for all r>0r > 0.

Remarks

Both cases occur: for the Kepler problem the bounded orbits are ellipses with a focus at 00, and for the isotropic harmonic oscillator they are ellipses centred at 00. Idea of the proof: by conservation of angular momentum the motion is planar, and the radius oscillates in the effective potential U(r)+ℓ22r2U(r) + \frac{\ell^2}{2 r^2}, where ℓ\ell is the angular momentum. The orbit closes exactly when the angle swept between two successive pericentres is a rational multiple of 2π2 \pi. For orbits close to a stable circular orbit of radius ρ\rho, this angle is 2π/3+ρ U′′(ρ)/U′(ρ)2 \pi / \sqrt{3 + \rho \, U''(\rho) / U'(\rho)}. By continuity it must be the same rational multiple of 2π2 \pi for all such ρ\rho. This forces U′(r)U'(r) to be a power rβ2−3r^{\beta^2 - 3} times a constant, and a study of orbits with large amplitude leaves only β=1\beta = 1 and β=2\beta = 2.

The assumption that bounded orbits exist that are not circles is necessary. For example, take the repulsive potential U(r)=1/rU(r) = 1/r. The second derivative of ∥x∥2\norm{x}^2 in time is 2∥x′∥2+2/∥x∥2 \norm{x'}^2 + 2 / \norm{x}. Along a motion with ∥x∥≤R\norm{x} \le R it would stay above 2/R2/R, which is impossible for all t∈ℝt \in \R, so no motion is bounded. So the second assumption holds, but UU is not of the two forms with k>0k > 0.

Going deeper

For a student

For any other central force, a typical bounded orbit is a rosette whose pericentre turns a little at each revolution and never closes. So closed planetary orbits are a strong test of the inverse-square law. The small observed precession of the orbit of Mercury shows that the Newtonian force of the Sun is perturbed, by the other planets and by general relativity. In the Kepler problem the closedness of orbits is explained by the conservation of the Laplace–Runge–Lenz vector, and in the oscillator by the separation into two oscillations with equal frequency.

Reading path

To understand this page from the ground up, read these 44 pages in order. The foundations come first.

  1. Complex numbers object
  2. Conic section concept
  3. Cross product concept
  4. Derivative concept
  5. Differential equation concept
  6. Ellipse concept
  7. Euclidean space object
  8. Euclidean vector concept
  9. First integral concept
  10. Focus of a conic concept
  11. Function concept
  12. Interval concept
  13. Ordinary differential equation concept
  14. Periodic orbit concept
  15. Euler's formula statement
  16. Velocity concept
  17. Kepler problem example
  18. Total derivative concept
  19. Ordinary differential equation definition
  20. Function of several variables concept
  21. Vector-valued function concept
  22. Classical mechanics concept
  23. Differentiable function of several variables concept
  24. Momentum concept
  25. Order of a differential equation definition
  26. Partial derivative concept
  27. Vector field concept
  28. Angular momentum concept
  29. Gradient concept
  30. Linear differential equation of order n definition
  31. Scalar potential concept
  32. Homogeneous linear equation definition
  33. Linear equation with constant coefficients definition
  34. Superposition principle statement
  35. Conservative vector field concept
  36. Characteristic equation definition
  37. Central force concept
  38. Solution space of a homogeneous linear equation has dimension n statement
  39. Fundamental system of solutions definition
  40. Solutions for distinct real roots statement
  41. Solutions for repeated roots statement
  42. Solutions for complex conjugate roots statement
  43. Harmonic oscillator example
  44. Bertrand's theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Bertrand%27s_theorem
About this page
TagTF4XRDB5NK
URIm2://TF4XRDB5NK
Kindstatement, theorem
WritingW0 stub
MSC70F05, 70K42, 70H12
StatusThis copy of the site has no build data. Run m2 status TF4XRDB5NK.
AboutCentral force
UsesCentral force, Angular momentum, Kepler problem, Harmonic oscillator, Periodic orbit
Same as
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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.