Voir la source de Problème à N corps

{{titre mis en forme|Problème à ''N'' corps}}
{{article général|Théorie du chaos}}
{{Confusion|texte=Pour le livre de [[Liu Cixin]], consultez l'article ''[[Le Problème à trois corps]]''.}}
[[Fichier:N-body problem (3).gif|thumb|Modélisation du mouvement de trois particules, montrant le caractère chaotique de leurs trajectoires.]] 
Le '''problème à ''N'' corps''' est un problème de [[mécanique céleste]] consistant à déterminer les [[trajectoire]]s d'un ensemble de ''N'' corps s'attirant mutuellement ; plus précisément, il s'agit de résoudre les [[mécanique newtonienne|équations du mouvement]] de [[Isaac Newton|Newton]] pour ''N'' corps interagissant [[gravitation]]nellement, connaissant leurs masses ainsi que leurs positions et vitesses initiales. Le cas {{nobr|''N'' {{=}} 2}} ([[problème à deux corps]]) a été résolu par Newton, mais dès {{nobr|''N'' {{=}} 3}} (problème à trois corps) apparaissent des solutions essentiellement impossibles à expliciter, car [[théorie du chaos|sensibles aux conditions initiales]]. 

Il s'agit d'un problème mathématique fondamental pour l'[[astronomie]] classique, c’est-à-dire dans le cas où les effets de la [[relativité générale]] peuvent être négligés : vitesses des corps petites devant la [[vitesse de la lumière]] dans le vide, et champs de gravitation faibles, ce qui est essentiellement le cas dans le [[Système solaire]]. 

Par extension cette appellation a été conservée dans le cas où l'on s'intéresse à un ensemble de particules liées par un [[Potentiel d'un champ vectoriel|potentiel]] quelconque ; le problème à ''N'' corps se pose également dans le cadre de la relativité générale, mais son étude y est encore plus difficile que dans le cadre newtonien.

== Formulation mathématique ==
{{Section à sourcer|date=juin 2023}}
Le problème à ''N'' corps est modélisé par une [[équation différentielle]]. Étant donné les valeurs initiales des positions {{nobr|''q&thinsp;<sub>j</sub>''&thinsp;(0)}} et des vitesses <math>\dot{q}_j(0)</math> des ''N'' particules {{nobr|(''j'' {{=}} 1, 2, …, ''N'')}} avec {{nobr|''q&thinsp;<sub>j</sub>''&thinsp;(0) ≠ ''q&thinsp;<sub>k</sub>''&thinsp;(0)}} pour tout ''j'' et ''k'' distincts, il s'agit de trouver une solution du système du second ordre
:<math> \forall j\in\{1,\ldots,N\}, m_j\ddot{\vec{q_j}} = -G\sum_{k\in\{1,\ldots,\rm{N}\}\backslash\{j\}}\frac{m_j m_k\left(\vec{q_j} - \vec{q_k}\right)}{\|\vec{q_j} - \vec{q_k}\|^3}
</math>

où ''G'' est la [[constante gravitationnelle]], {{nobr|''m''<sub>1</sub>, ''m''<sub>2</sub>, …, ''m<sub>N</sub>''}} sont des constantes<ref group="note">Strictement positives.</ref> représentant les masses des ''N'' particules, et {{nobr|''q''<sub>1</sub>, ''q''<sub>2</sub>, …, ''q<sub>N</sub>''}} sont leurs vecteurs position (à trois dimensions) dépendant du temps ''t''.

Cette équation est simplement la [[Lois du mouvement de Newton#Deuxième loi de Newton ou principe fondamental de la dynamique|seconde loi du mouvement de Newton]] ; le terme de gauche est le produit de la masse de la particule et de son accélération, tandis que le terme de droite est la somme des forces gravitationnelles qui s'exercent sur la particule. Ces forces sont proportionnelles aux masses concernées et varient proportionnellement à l'inverse du carré de la distance de ces masses. Puisqu'il faut tenir compte de la direction de ces forces (pour les mesurer par un [[produit scalaire]] avec un des vecteurs unitaires du repère spatial dans lequel on mesure aussi les accélérations subies par chaque particule), il faut insérer un {{nobr|''q<sub>&thinsp;j</sub>'' &minus; ''q<sub>&thinsp;k</sub>''}} au numérateur et le compenser par un cube au dénominateur (et non plus un simple carré).

La formule est valide si on suppose que l'espace est cartésien et orthogonal au temps (de même que sa norme pour mesurer les distances), ce qui n'est vrai qu'en [[mécanique classique]] (pour des vitesses pas trop importantes par rapport à la limite maximale de la vitesse de la lumière dans un vide absolu, et pour des masses pas trop importantes non plus). Mais elle n'est qu'une approximation locale en mécanique relativiste.

La formule suppose aussi que seule la [[gravitation]] est prise en compte (on suppose par exemple que les particules sont non chargées pour ne pas subir d'[[interaction électromagnétique]] et sont suffisamment éloignées pour que ni l'[[interaction forte]] ni l'[[interaction faible]] ne puissent avoir d'effet significatif), que l'espace entre les particules n'est constitué que du vide absolu n'interagissant donc pas directement lui-même sur les particules (il n'y a pas de masse noire ni d'énergie noire), que la totalité de la masse de chaque particule peut être concentrée en un seul point de l'espace, que l'espace et le temps sont continus (non quantifiés) et isotropes dans toutes les directions, et que la masse individuelle des particules se conserve avec leurs vitesses et accélérations relatives, de même que la [[quantité de mouvement]] totale des particules relative à l'observateur.

== Problème à deux corps ou mouvement képlérien ==
{{Article connexe|Mouvement képlérien}} 
Dans la mécanique de Newton, le [[problème à deux corps]] est entièrement résoluble analytiquement. Toutefois, dans les cadres de la relativité générale et dans celui de la [[relativité restreinte]], le problème à deux corps n'admet pas de solution analytique exacte.

== Problème à ''N'' corps ==
{{Article détaillé|Simulation d'un système à N-corps}}
En dehors de quelques cas rarissimes où une solution exacte est connue, il faut en général recourir à des méthodes de résolution ''approchées''. Deux approches sont utilisées :
* la [[théorie des perturbations]], qui permet de faire des calculs analytiques approchés sous la forme de développements en [[série (mathématiques)|série]] ;
* l'[[analyse numérique]] ; en [[programmation]], le problème de la [[Simulation d'un système à N-corps|simulation de ''N'' corps]] devrait être théoriquement d'ordre ''N''<sup>2</sup>, car toutes les interactions de corps deux à deux devraient être considérées a priori ; des considérations de découpage spatial récursif (voir : [[Simulation de Barnes-Hut]]) permettent cependant d'arriver à de très correctes approximations en un temps de l'ordre de ''N''⋅ln(''N'') seulement. Voir aussi [[raffinement de maillage adaptatif]].

Depuis les travaux de [[Henri Poincaré]] (en particulier [[théorème de récurrence de Poincaré|le théorème]] qu'il a publié en 1890 dans l'article ''Sur le problème des trois corps et les équations de la dynamique''<ref>{{Article|prénom=Henri|nom=Poincaré|lien auteur=Henri Poincaré|titre=Sur le problème des trois corps et les équations de la dynamique|lien périodique=Acta Mathematica|revue=Acta Mathematica|vol=13|année=1890|p.=1-270}}.</ref>), on sait par ailleurs que dès le problème à trois corps apparaissent des solutions [[théorie du chaos|sensibles aux conditions initiales]], et pour lesquelles une solution analytique efficiente, même approchée, est illusoire ; les méthodes statistiques de la [[théorie ergodique]] sont utilisées dans ce cas.

== Configurations particulières ==
=== Remarque sur le problème à trois corps ===

Contrairement à une idée répandue, le problème à trois corps possède une solution analytique exacte, découverte par [[Karl Sundman]] en 1909<ref>Malte Henkel, ''Sur la solution de Sundman du problème des trois corps'', ''Philosophia Scientiae'' 5 (2) (2001), 161-184. Texte complet disponible sur l'ArXiv : [[arxiv:physics/0203001|physics/0203001]].</ref>. Le problème est non résoluble avec une méthode algébrique, utilisée pour résoudre le [[problème à deux corps]], car il manque des [[intégrale première|intégrales premières]]. La solution formulée par Sundman se présente sous la forme d'une [[série (mathématiques)|série]] infinie qui converge très lentement, ce qui la rend en pratique inefficiente et ''in fine'' moins fiable que d’autres approches numériques, comme la méthode perturbative<ref name=":0">{{Article |prénom1=Malte |nom1=Henkel |titre=Sur la solution de Sundman du probleme des trois corps |périodique=arXiv:physics/0203001 |date=2002-03-01 |lire en ligne=http://arxiv.org/abs/physics/0203001 |consulté le=2021-02-17 }}.</ref>.

Entre 1918 et 1932, [[Jean Chazy]] confirme dans le cas le plus général la solution de Sundman et réalise une classification des sept sortes de mouvement<ref>{{pdf}} [http://www.numdam.org/issue/THESE_1931__127__1_0.pdf Sur le problème plan et symétrique des trois corps], Christos Caratzénis, 1931. {{pdf}}</ref>.

Le mathématicien {{lien|Qiudong Wang}} généralise en 1991 le développement de Sundman en construisant une solution exacte du problème à ''N'' corps<ref name=":0" />.

En 2000, le problème à trois corps a trouvé un renouveau par la solution périodique en huit, trouvée par [[Alain Chenciner]] et Richard Mongomery<ref>{{Article |langue=en |auteur1=Alain Chenciner |titre=Three body problem |périodique=[[Scholarpedia]] |volume=2 |numéro=10 |date=03-10-2007 |pages=2111 |issn=1941-6016 |lire en ligne=http://www.scholarpedia.org/article/Three_body_problem |consulté le=20-04-2023 |doi=10.4249/scholarpedia.2111}}.</ref>.

L'article sur les [[Point de Lagrange|points de Lagrange]] en décrit une solution pour un cas particulier.

=== Singularités ===
{{article détaillé|Conjecture de Painlevé}}
Il a été montré en 1992 qu'il est possible à partir de cinq corps de construire un système tel qu'il existe une durée pour laquelle au moins deux corps peuvent se trouver arbitrairement loin de leur point de départ avant l'écoulement de cette durée ; autrement dit, il est théoriquement possible d'aller infiniment loin en un temps fini<ref>{{Article|langue = anglais|auteur = [[Zhihong Xia]]|année = 1992|périodique = [[Annals of Mathematics]]|titre = The Existence of Noncollision Singularities in Newtonian Systems|lire en ligne = https://www.jstor.org/stable/2946572|volume = 135|numéro = 3}}.</ref>{{,}}<ref>{{Article|langue = anglais|auteur1 = [[Donald Gene Saari]]|auteur2 = [[Zhihong Xia]]|année = 1995|périodique = [[Notices of the American Mathematical Society]]|titre = Off to infinity in finite time|lire en ligne = https://www.ams.org/notices/199505/saari-2.pdf|volume = 42|numéro = 5}}.</ref>. Cependant, cette construction ne peut se réaliser en pratique, car à des vitesses proches de [[Vitesse de la lumière|celle de la lumière]], la [[relativité restreinte]] s'applique et non la mécanique newtonienne.

== Dans la culture ==
Le problème à trois corps est évoqué dans le roman de science-fiction ''[[Le Problème à trois corps]],'' et aussi dans la série Netflix ''[[Le Problème à trois corps (série télévisée, 2023)|Le problème à trois Corps]]'', adaptée de ce dernier.

== Notes et références ==
=== Notes ===
<references group=note/>

=== Références ===
<references/>

== Voir aussi ==

=== Articles connexes ===
* [[Simulation d'un système à N-corps]]
* [[Mécanique céleste]]
* [[Problème à deux corps]]
* [[Hiérarchie BBGKY]]
* [[Théorie des perturbations]]
* [[Théorie du chaos]]
* [[Méthode multipolaire rapide]]
* [[Théorème de récurrence de Poincaré]]
* [[Conjecture de Painlevé]]

=== Bibliographie ===
==== Initiation ====
Accessibles à partir du premier cycle universitaire.
* {{en}} Florin Diacu et Philip Holmes, ''Celestial Encounters - The Origin of Chaos'', Princeton University Press (1996), {{ISBN|0-691-00545-1}}. L'origine du « chaos » moderne se trouve dans les travaux pionniers d'Henri Poincaré réalisés à la fin du {{s-|XIX|e}} à propos d'un vieux problème de mécanique Newtonienne : le problème à N corps. Les auteurs du présent ouvrage, mathématiciens spécialistes du domaine, retracent élégamment l'histoire de ce problème et de ses développements de Poincaré à nos jours
* {{en}} Forest R. Moulton, ''An introduction to celestial mechanics'', Dover (1970) {{ISBN|0-486-64687-4}}. Réédition de la seconde édition publiée originellement en 1914 ; un ouvrage d'introduction très clair
* {{en}} Bill Casselman, [http://www.ams.org/featurecolumn/archive/orbits1.html ''The three body problem''], Société Américaine de Mathématiques. Quelques solutions exactes du problème à trois corps, des plus anciennes (Euler, Lagrange, Hill) à la plus récente : la chorégraphie en forme de 8 d'Alain Chenciner ''et al.'' (2000)
* {{en}} Sverre J. Aarseth, [http://www.sverre.com ''www.sverre.com'']. Le site personnel d'un professeur d'astronomie à l'université de Cambridge spécialiste de l'intégration numérique des équations différentielles du problème à N corps. On peut d'ailleurs télécharger ses codes de calcul sur le [ftp://ftp.ast.cam.ac.uk/pub/sverre/ serveur ftp] de l'université de Cambridge, ou encore à partir de [http://www.ast.cam.ac.uk/~sverre/web/pages/nbody.htm cette page web]
* {{article| titre=Le problème des trois corps rebondit| auteur=Richard Montgomery| périodique=[[Pour la science]]| date=février 2020| numéro=508| pages=26-35}}

==== Textes plus techniques ====
===== Les modernes =====
* Malte Henkel, ''Sur la solution de Sundman du probleme des trois corps'', Philosophia Scientiae 5 (2) (2001), 161-184. Texte complet disponible sur l'ArXiv : [https://arxiv.org/abs/physics/0203001 physics/0203001].
* {{en}} Douglas C. Heggie, ''The Classical Gravitational N-Body Problem'', Encyclopaedia of Mathematical Physics, Elsevier (A paraître : 2006). Texte complet disponible sur l'ArXiv : [http://fr.arxiv.org/abs/astro-ph/0503600 astro-ph/0503600].
* {{en}} [[Vladimir Arnold]], V.V. Kozlov & A.I. Neishtadt ; ''Mathematical Aspects of Classical and Celestial Mechanics'', Encyclopaedia of Mathematical Sciences, Springer-Verlag ({{2e}} édition-1993).
* {{en}} [[Vladimir Arnold]], ''Mathematical Methods of Classical Mechanics'', Springer-Verlag ({{2e}} édition-1989) {{ISBN|0-387-96890-3}}. Une synthèse de l'état de l'art en mécanique analytique (formalismes Lagrangien & Hamiltonien) avec l'accent mis sur l'interprétation géométrique de ces formalismes, par l'un des plus brillants mathématiciens du domaine. À partir du second cycle universitaire.
* {{en}} Christian Marchal, ''The three-body problem'', Elsevier , 1990;{{ISBN|0-444-41813-X}} : livre avec beaucoup de détails très précieux pour un élève de dynamique des systèmes gravitationnels. Évidemment, il ne peut intégrer les travaux de Chenciner, Simo, Saari.
* {{en}} [[Carl Siegel|Carl L. Siegel]] et [[Jürgen Moser]], ''Lectures on celestial mechanics'', Classics in Mathematics, Springer-Verlag (1995). Quelques résultats mathématiques sur le problème à trois corps. Niveau second cycle universitaire minimum.
* {{Ouvrage|lang=en|prénom=June|nom=Barrow-Green|lien auteur=June Barrow-Green|titre=Poincaré and the Three Body Problem|collection=History of Mathematics|numéro dans collection=11|éditeur=[[American Mathematical Society|AMS]] & [[London Mathematical Society|LMS]]|année=1997|url=https://books.google.fr/books?id=j7i_MrqWzaIC}}
* {{en}} Donald G. Saari, ''Collisions, Rings, and Other Newtonian N-Body Problems'', CBMS Regional Conference Series in Mathematics 104, American Mathematical Society (2005), {{ISBN|0-8218-3250-6}}.
* {{en}} Kenneth R. Meyer et Glen R. Hall, ''Introduction to Hamiltonian Dynamical Systems and the N-Body Problem'', Applied Mathematical Sciences 90, Springer-Verlag (1991), {{ISBN|0-387-97637-X}}.
* {{en}} [[Vladimir Arnold]] et André Avez, ''Ergodic Problems of Classical Mechanics'', Advanced Book Classics, Pearson Addison Wesley ({{date-|mai 1989}}) ASIN : 0201094061. Il existe aussi en français! Problèmes ergodiques de la mécanique classique ; ed Gauthier-villars , 1967.

===== Les classiques =====
* [[Pierre-Simon Laplace]], ''Traité de mécanique céleste'', [[Éditions Jacques Gabay]], 1990. Réédition d'un ouvrage classique de la fin du {{s-|XIX|e}}, en 4 volumes.{{Commentaire biblio SRL|Niveau second cycle universitaire.}}
* [[François-Félix Tisserand]], ''Traité de mécanique céleste'', Éditions Jacques Gabay, 1990. Réédition d'un ouvrage classique de la fin du {{s-|XIX|e}}, en 4 volumes.{{Commentaire biblio SRL|Niveau second cycle universitaire.}}
* [[Henri Poincaré]], ''Leçons de mécanique céleste'', 3 tomes, 1905-1910, réédité par Jacques Gabay, Paris, 2003.{{Commentaire biblio SRL|Une somme de référence, par le grand mathématicien qui a tant contribué au sujet. Niveau second cycle universitaire.}}

==== Analyse numérique ====
* {{en}} Sverre J. Aarseth, ''Gravitational N-body Simulations: Tools and Algorithms'', Cambridge Monographs on Mathematical Physics, Cambridge University Press (2003), {{ISBN|0-521-43272-3}}.
* {{en}} Piet Hut and Jun Makino, ''The Art of Computational Science'' [http://www.artcompsci.org/]
* {{en}} A. Marciniak, ''Numerical Solutions of the N-Body Problem'', Mathematics and its Applications, Springer-Verlag (1989), {{ISBN|90-277-2058-4}}.

==== Quelques travaux récents ====
* {{en}} Alain Chenciner et Richard Montgomery, ''A remarkable periodic solution of the three-body problem in the case of equal masses'', [[Annals of Mathematics]] (2) 152 (2000), no. 3, 881--901 ([http://fr.arxiv.org/abs/math.DS/0011268 lire en ligne], sur [[ArXiv]]).
* {{en}} Cristopher Moore et Michael Nauenberg, ''New Periodic Orbits for the n-Body Problem'', 2005 ([http://fr.arxiv.org/abs/math.DS/0511219 lire en ligne], sur ArXiv).
* {{en}} C. Duval, G. Gibbons & P. Horvathy ; ''Celestial Mechanics, Conformal Structures, and Gravitational Waves'', Physical Review D 43 (1991), 3907 ([https://arxiv.org/abs/hep-th/0512188 lire en ligne], sur ArXiv).

=== Liens externes ===
* [https://www.franceculture.fr/emissions/la-methode-scientifique/la-methode-scientifique-emission-du-mardi-23-juin-2020 «Problème des trois corps : le casse-tête céleste»], ''La Méthode scientifique'', [[France Culture]], {{date-|23 juin 2020}}.
* [https://www.euler-math-toolbox.de/Programs/Examples/Three-Body%20Problem.html Exemples de trajectoires]

{{Palette|Orbites|Relativité}}
{{Portail|Astronomie|Physique|Analyse}}

{{DEFAULTSORT:Probleme a N corps}}
[[Catégorie:Équation différentielle]]
[[Catégorie:Système dynamique remarquable]]
[[Catégorie:Mécanique céleste]]
[[Catégorie:Physique théorique]]
[[Catégorie:Henri Poincaré]]