The Computational Complexity of the Initial Value Problem for the Three Body Problem


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

The paper is concerned with the computational complexity of the initial value problem (IVP) for a system of ordinary dynamical equations. A formal problem statement is given, containing a Turing machine with an oracle for getting the initial values as real numbers. It is proven that the computational complexity of the IVP for the three-body problem is not bounded by a polynomial. The proof is based on the analysis of oscillatory solutions of the Sitnikov problem, which have a complex dynamical behavior. These solutions contradict the existence of an algorithm that solves the IVP in polynomial time. Bibliography: 12 titles.

About the authors

N. N. Vasiliev

St.Petersburg Department of Steklov Institute of Mathematics, St.Petersburg Electrotechnical University

Author for correspondence.
Email: vasiliev@pdmi.ras.ru
Russian Federation, St.Petersburg

D. A. Pavlov

Institute of Applied Astronomy of the Russian Academy of Sciences

Email: vasiliev@pdmi.ras.ru
Russian Federation, St.Petersburg


Copyright (c) 2017 Springer Science+Business Media New York

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies