Geodesic
Computational complexity of the initial value problem for the three-body problem
Zapiski Nauchnykh Seminarov POMI, Representation theory, dynamical systems, combinatorial methods. Part XXVII, Tome 448 (2016), pp. 80-95 
N. N. Vasiliev; D. A. Pavlov. Computational complexity of the initial value problem for the three-body problem. Zapiski Nauchnykh Seminarov POMI, Representation theory, dynamical systems, combinatorial methods. Part XXVII, Tome 448 (2016), pp. 80-95. http://geodesic.mathdoc.fr/item/ZNSL_2016_448_a4/
@article{ZNSL_2016_448_a4,
     author = {N. N. Vasiliev and D. A. Pavlov},
     title = {Computational complexity of the initial value problem for the three-body problem},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {80--95},
     year = {2016},
     volume = {448},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_2016_448_a4/}
}
TY  - JOUR
AU  - N. N. Vasiliev
AU  - D. A. Pavlov
TI  - Computational complexity of the initial value problem for the three-body problem
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 2016
SP  - 80
EP  - 95
VL  - 448
UR  - http://geodesic.mathdoc.fr/item/ZNSL_2016_448_a4/
LA  - ru
ID  - ZNSL_2016_448_a4
ER  - 
%0 Journal Article
%A N. N. Vasiliev
%A D. A. Pavlov
%T Computational complexity of the initial value problem for the three-body problem
%J Zapiski Nauchnykh Seminarov POMI
%D 2016
%P 80-95
%V 448
%U http://geodesic.mathdoc.fr/item/ZNSL_2016_448_a4/
%G ru
%F ZNSL_2016_448_a4

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

The paper deals with the computational complexity of the initial value problem (IVP) for a system of ordinary dynamical equations. A formal statement of the problem 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 oscillatory solutions for the Sitnikov problem that have complex dynamical behavior. These solutions prevent the existence of an algorithm that solves the IVP in polynomial time.

[1] A. Kawamura, H. Ota, C. Rösnick, M. Ziegler, “Computational complexity of smooth differential equations”, Lect. Notes Comput. Sci., 7464, eds. B. Rovan, V. Sassone, P. Widmayer, Springer-Verlag, 2012, 578–589 | DOI | MR | Zbl

[2] J. H. Reif, S. R. Tate, “The complexity of $N$-body simulation”, Proceedings of the 20th International Colloquium on Automata, Languages and Programming (ICALP'93), Springer-Verlag, London, 1993, 162–176 | MR

[3] V. M. Alekseev, “Finalnye dvizheniya v zadache trëkh tel i simvolicheskaya dinamika”, Uspekhi mat. nauk, 36:4 (1981), 161–176 | MR | Zbl

[4] J. V. Burke, Ordinary Differential Equations. Existence and Uniqueness Theory, Math 555 Course Notes (Linear Analysis) , University of Washington, 2015 www.math.washington.edu/~burke/crs/555/555_notes/exist.pdf

[5] P. Collins, D. S. Graça, “Effective computability of solutions of ordinary differential equations. The Thousand Monkeys Approach”, Electron. Notes Theoret. Comput. Sci., 221:25 (2008), 103–114 | DOI | MR | Zbl

[6] S. Matculevich, P. Neittaanmäki, S. Repin, “Guaranteed error bounds for a class of Picard–Lindelöf iteration methods”, Numerical Methods for Differential Equations, Optimization, and Technological Problems, Computational Methods in Applied Sciences, 27, eds. S. Repin, T. Tiihonen, T. Tuovinen, Springer Netherlands, 2013, 175–189 | DOI | MR | Zbl

[7] K. I. Babenko, Osnovy chislennogo analiza, Regulyarnaya i khaoticheskaya dinamika, Moskva–Izhevsk, 2002

[8] K. V. Kholshevnikov, V. B. Titov, Zadacha dvukh tel, Uchebnoe posobie, S.-Peterburgskii gosudarstvennyi universitet, 2007 www.astro.spbu.ru/sites/default/files/TwoBody.pdf

[9] M. D. Beloriszky, “Application pratique des méthodes de M. Sundman à un cas particulier du problème des trois corps”, Bull. Astron., 6:2 (1930), 417–434

[10] G. A. Merman, “O predstavlenii obschego resheniya zadachi trekh tel skhodyaschimisya ryadami”, Byulleten Instituta teoreticheskoi astronomii AN SSSR, 6:10(83) (1958), 713 | MR

[11] V. Tikhomirov, Zhizn matematika. Slovo o druge – Vladimire Mikhailoviche Alekseeve, MTsNMO, Moskva, 2012

[12] K. A. Sitnikov, “Suschestvovanie ostsilliruyuschikh dvizhenii v zadache trëkh tel”, Dokl. AN SSSR, 133:2 (1960), 303–306 | Zbl

[13] J. Moser, Stable and Random Motions in Dynamical Systems with Special Emphasis on Celestial Mechanics, Princeton Univ. Press, 1973 | MR | Zbl

[14] A. I. Bufetov, N. B. Goncharuk, Yu. S. Ilyashenko, Vvedenie v teoriyu Shturma–Liuvillya, , 2015 http://www.dyn-sys.org/public/ODE-notes/shturm.pdf

[15] H. Poincaré, Les méthodes nouvelles de la mécanique céleste, v. 2, Gauthier-Villars, Paris, 1892