Calcul formel pour les méthodes de Lie en mécanique hamiltonienne - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1993

Exact computations for Lie methods en hamiltonian mechanics

Calcul formel pour les méthodes de Lie en mécanique hamiltonienne

Résumé

Our first goal in this report is the comparison of the two Lie perturbation methods used in hamiltonian mechanics. The Deprit as well as the Dragt-Finn method are based on the use of canonical formal transformations. We particularly study the relations between these two transformations and conclude that they produce the same objects, for instance the normal form and formal first integrals. Therefore, we give methods to built such invariants and show that the Dragt-Finn method is less expansive, regards to the computational cost. The knowledge of the first terms of these series may provide results for the stability of hamiltonian systems near an elliptic equilibrium point. We give some estimates for the Dragt-Finn method, like it has been given for the Deprit transform. In order to study the relations between several canonical transform, we work in a free Lie algebra and study exponential identities. We give also general methods to compute these relations (including the Baker-Campbell-Hausdorff formula) using the Lyndon basis. These explicit identities and their methods of computation allow us to obtain symplectic integrators. We list all the integrators of low order and prove that the several methods of investigation are totally equivalent. The algorithms have been implemented using Axiom and some examples are given at the appendix.
Le but premier de cette thèse est de comparer les deux méthodes de Lie utilisées en théorie des perturbations en mécanique hamiltonienne~: la méthode de Deprit et la méthode de Dragt-Finn. Toutes deux reposent sur l'utilisation de transformations canoniques (symplectiques) formelles. On étudie en particulier les liens entre ces deux approches pour conclure qu'elles conduisent, dans les cas non-résonants, \`a la construction des mêmes objets (forme normale et intégrales premières formelles). On propose, par la suite, des méthodes de construction de tels objets et on observe que la méthode de Dragt-Finn est moins coûteuse. La connaissance des premiers termes de ces séries de Lie peut fournir des informations sur la stabilité de systèmes hamiltoniens, au voisinage de points d'équilibre elliptiques. On propose, à l'instar de ce qui a été fait avec la transformation de Lie, des estimations pour celle de Dragt-Finn. Pour étudier les relations entre les différentes transformations canoniques, on se place dans une algèbre de Lie libre pour étudier des identittés exponentielles. On donne alors des méthodes générales pour l'obtention de telles formules (dont la formule de Baker-Campbell-Hausdorff), en utilisant des propriétés de la base de Lyndon. Ces identités explicites et leur méthode de calcul permettent alors d'obtenir des intégrateurs symplectiques. On retrouve alors les intégrateurs connus et on en donne une liste exhaustive pour les petits ordres, montrant que les différentes méthodes de recherches sont complètement équivalentes. On décrit l'implantation de ces algorithmes dans le système de Calcul Formel Axiom et des exemples de calcul sont donnés en appendice.
Fichier principal
Vignette du fichier
these.pdf (1.53 Mo) Télécharger le fichier

Dates et versions

tel-01435140 , version 1 (30-01-2017)

Identifiants

  • HAL Id : tel-01435140 , version 1

Citer

Pierre-Vincent Koseleff. Calcul formel pour les méthodes de Lie en mécanique hamiltonienne. Systèmes dynamiques [math.DS]. Ecole Polytechnique, 1993. Français. ⟨NNT : ⟩. ⟨tel-01435140⟩
393 Consultations
198 Téléchargements

Partager

Gmail Facebook X LinkedIn More