Sturm¿s algorithm and isolating blocks

• Autores: Richard Moeckel
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 40, Nº 4, 2005, págs. 1242-1255
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

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