Mechanics of particles and systems Particle systems and celestial mechanics Problem
Stability of the Solar System
Builds on n-body problemKolmogorov–Arnold–Moser theoremChaos theory
Problem
Model the Sun and the planets as point masses that move by Newton's law of gravitation. Their motion is then a solution of the n-body problem. Does the present Solar System stay bounded for all future time, with no collisions and no escape of a planet? Do the orbits of the planets stay close to their present shapes?
Remarks
In the queries of the Opticks Newton suggested that the mutual perturbations of the planets might grow until the system needs a reformation. Laplace and Lagrange showed that, to first order in the masses, the semi-major axes of the planets have no secular drift. The Kolmogorov–Arnold–Moser theorem shows that, for small enough masses, many initial conditions lead to quasi-periodic motions that last forever. But the real masses are far too large for the known estimates. Laskar showed in 1989, by integrating averaged equations over 200 million years, that the motion of the inner planets is chaotic in the sense of chaos theory. So the positions of the planets cannot be predicted more than some tens of millions of years ahead. Laskar and Gastineau computed 2501 orbits with very close initial conditions over 5 billion years. In about one percent of them the eccentricity of Mercury grew enough to allow a collision with Venus or the Sun. The question in its mathematical form is open.
Reading path
To understand this page from the ground up, read these 72 pages in order. The foundations come first.
- Action-angle coordinates concept
- Chaos theory concept
- Element definition
- First integral concept
- Hamiltonian system concept
- Integrable system concept
- Ordinary differential equation concept
- Proposition concept
- Real numbers object
- Set definition
- n-body problem problem
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Set-builder notation concept
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Universal set definition
- Topological space definition
- Reflexive relation definition
- Symmetric relation definition
- Transitive relation definition
- Complement definition
- Function definition
- Basis of a topology definition
- Subspace topology definition
- Equivalence relation definition
- Product topology definition
- Preimage of a set definition
- Codomain definition
- Function composition definition
- Injective function definition
- Metric space definition
- Equivalence class definition
- Surjective function definition
- Open ball definition
- Quotient set definition
- Bijective function definition
- Metric topology definition
- Inverse function definition
- Quotient topology definition
- Open set definition
- Continuous map of topological spaces definition
- Hausdorff space definition
- Open cover definition
- Closed set definition
- Homeomorphism definition
- Universal property of the quotient topology statement
- Compact space definition
- Complement of an open set is closed statement
- Continuity via closed sets statement
- Compact set definition
- Compactness via open covers statement
- Continuous image of a compact set is compact statement
- Compact subsets of a Hausdorff space are closed statement
- Closed subsets of compact sets are compact statement
- Continuous bijection from a compact space to a Hausdorff space is a homeomorphism statement
- Circle as a quotient of the real line example
- Torus example
- Kolmogorov–Arnold–Moser theorem statement
- Stability of the Solar System problem
Further reading
About this page
| Tag | 5ZTKJTQSTK |
|---|---|
| URI | m2://5ZTKJTQSTK |
| Kind | problem |
| Writing | W0 stub |
| MSC | 70F15, 70F10, 37N05 |
| Status | This copy of the site has no build data. Run m2 status 5ZTKJTQSTK. |
| About | n-body problem |
| Uses | n-body problem, Kolmogorov–Arnold–Moser theorem, Chaos theory |
| Same as | |
| 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.