Évolution dynamique primordiale des petits corps du Système Solaire
L'étude des ceintures de petits corps, en particulier la ceinture de Kuiper, est un excellent moyen de
comprendre la formation du Système Solaire. Au cours de la dernière décennie notre groupe a
réalisé plusieurs grands relevés de la ceinture de Kuiper, nous permettant pour la première fois de
mesurer la structure dynamique fine de la ceinture de Kuiper classique, avec ses 2 populations
froides (faible inclinaison) confinées en demi-grand axe (le noyau et la partie agitée), et sa
population chaude qui s'étend au-delà des limites de détection. Nous avons aussi pu quantifier
l'importance des résonances et leurs populations relatives, et le nombre d'objets actuellement en
interaction forte avec Neptune. Nous avons aussi mis en évidence des populations d'objets
insoupçonnés, tel que le premier TransNeptunien rétrograde, 2008 KV42, et un précurseur probable
d 'une comète type Halley, 2009 MS9.
Aucun des modèles proposés à ce jour pour expliquer la formation de la ceinture de Kuiper ne
reproduit correctement les différentes populations dynamiques que nous avons décrites. Le modèle
dit de Nice (Levison et al, AJ, 2011) est intéressant et semble reproduire plusieurs observables.
Cependant il produit une ceinture de Kuiper de trop faible inclinaison, bien que avec une approche
très similaire, Gomes (Icarus, 2003) obtient une inclinaison suffisante.Enfin, la structure interne des
populations résonantes et leurs importances relatives ne sont pas bien reproduites.
Le modèle du Grand Tack suppose la migration des planètes géantes Jupiter et Saturne pour
reproduire la structure du Système Solaire interne, en particulier la faible masse de Mars (Walsch et
al. 2011, Narure, 475). Comprendre l'origine des petits corps, et déméler leurs propriétés physiques
et chimiques pour porter des contraintes sur les modèles de formation nécessite d'étudier le destin
des astéroïdes et des comètes, et leur mélange le cas échéant, dans ce nouveau cadre.
Pour répondre à chacune des questions clés présentées ci-dessus, il faut des simulations N-corps
massives, avec ou sans interaction avec un environnement gazeux, sur des temps allant de quelques
millions à plus d'un milliard d'années. Récemment, Rein & Liu (2012, A&A, 537) et Rein &
Spiegel (2015, MNRAS, 446) ont proposé un nouveau logiciel libre, REBOUND, pour intégrer le
problème à N-corps – collisionel si nécessaire – avec un intégrateur d'ordre élevé très rapide, ainsi
que des intégrateurs symplectiques plus conventionnels. Le code est écrit pour permettre un portage
simple sur des machines MPI (pour des intégrations d'assez court terme avec un très grand nombre
de particules – grande quantité de calcul par processus, peu de communications), ou vers des GPU,
processeurs Hybrides ou des machines multicoeur en utilisant le paradigme OpenCL (plus faible
charge de calcul par processus, plus grand taux de communication).
D'une part nous modéliserons l'évolution de millions de particules sous l'influence des planètes
géantes dans une nébuleuse en évolution auto-cohérente pour 105 à 106 orbites, des calculs intensifs
sur un grand nombre de coeurs en utilisant MPI ainsi qu'une discrétisation spatiale et un arbre de
communication optimisés. D'autre part, nous étudierons l'évolution purement gravitationnelle de
plusieurs 105 particules en interaction avec les planètes géantes pour 107 à 109 ans. Les particules
sont massives et agissent sur la dynamique des planètes géantes, pilotant leur migration dans le
modèle de Nice. Cette seconde partie nécessitera l'utilisation d'OpenCL sur un grand nombre de
coeurs / processeurs hybrides. Un grand nombre de particule est recquis dans chacun des deux
volets car l'efficacité de formation des ceintures de petits corps est de 1 % à 0.1 % au maximum.