Abstract
A topological existence proof for certain solutions of the Newtonian three-body problem is based on the construction of isolating blocks for the flow on an integral manifold. An isolating block is a submanifold whose boundary satisfies a convexity condition with respect to the three-body flow. Verifying this convexity condition can be reduced to the problem of checking the sign of a very complicated function of one variable. This can be done numerically, but the goal of this paper is to show that Sturm's algorithm can be used to provide rigorous verification in some cases.
Original language | English (US) |
---|---|
Pages (from-to) | 1242-1255 |
Number of pages | 14 |
Journal | Journal of Symbolic Computation |
Volume | 40 |
Issue number | 4-5 SPEC. ISS. |
DOIs | |
State | Published - Oct 2005 |
Keywords
- Celestial mechanics
- Symbolic computation
- Three-body problem