12.07.2015 Views

Sophus Lie, Friedrich Engel et le problème de Riemann ... - DMA - Ens

Sophus Lie, Friedrich Engel et le problème de Riemann ... - DMA - Ens

Sophus Lie, Friedrich Engel et le problème de Riemann ... - DMA - Ens

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapitre 3. Théorèmes fondamentaux sur <strong>le</strong>s groupes <strong>de</strong> transformations 107avec la condition initia<strong>le</strong> x i (0) = x i , la va<strong>le</strong>ur au temps t <strong>de</strong> la solutionétant justement exp(tX)(x). Or <strong>le</strong> flot est un groupe à un paramètre <strong>de</strong>difféomorphismes locaux :exp(t 2 X) ( exp(t 1 X)(x) ) = exp ( (t 1 + t 2 )(X) ) (x),l’i<strong>de</strong>ntité correspondant au paramètre t = 0 <strong>et</strong> l’inverse <strong>de</strong> x ↦→exp(tX)(x) étant tout simp<strong>le</strong>ment x ↦→ exp(−tX)(x).Soit donc maintenant x ′ i = f i(x; a) un groupe continu <strong>de</strong> transformations(au sens <strong>de</strong> <strong>Lie</strong>) à un seul paramètre a ∈ C (ou bien a ∈ R)pour <strong>le</strong>quel la transformation i<strong>de</strong>ntique correspond au paramètre a = 0.Les équations différentiel<strong>le</strong>s fondamenta<strong>le</strong>s (5) ci-<strong>de</strong>ssus :dx ′ ida = ψ(a) · ξ i(x ′ 1, . . .,x ′ n)(i = 1 ···n)consistent alors en un système d’équations différentiel<strong>le</strong>s ordinairesdu premier ordre paramétrées par a. Mais en introduisant <strong>le</strong> nouveau« paramètre-temps » défini par :t = t(a) :=∫ a0ψ(ã) dã,on peut transférer immédiatement ces équations différentiel<strong>le</strong>s fondamenta<strong>le</strong>svers un système <strong>de</strong> n équations différentiel<strong>le</strong>s ordinaires donttous <strong>le</strong>s seconds membres <strong>de</strong>viennent indépendants du temps :dx ′ i(1)dt = ξ i(x ′ 1, . . ., x ′ n) (i = 1 ··· n).L’intégration revient par conséquent à calcu<strong>le</strong>r <strong>le</strong> flot du champ <strong>de</strong> vecteurs:n∑X ′ := ξ i (x ′ ) ∂ ,∂x ′ ii=1vu dans l’espace <strong>de</strong>s (x ′ 1 , . . .,x′ n ). Avec <strong>le</strong>s mêmes l<strong>et</strong>tres f i, nous écrironsf i (x; t) à la place <strong>de</strong> f i (x; a(t)) en supposant que ce changement<strong>de</strong> paramètre a déjà été exécuté. Alors en fait, l’unique solution dusystème (1) avec la condition initia<strong>le</strong> x ′ i (x; 0) = x i n’est autre quex ′ i = f i (x; t) : <strong>le</strong> flot était donné <strong>et</strong> connu <strong>de</strong>puis <strong>le</strong> début. De plus,l’unicité du flot <strong>et</strong> <strong>le</strong> fait que <strong>le</strong>s coefficients ξ i sont indépendants <strong>de</strong> timpliquent tous <strong>de</strong>ux que la loi <strong>de</strong> composition <strong>de</strong> groupe correspondalors juste à l’addition <strong>de</strong>s paramètres « temporels » :(2) f i(f(x; t1 ); t 2 ) ≡ f i (x; t 1 + t 2 ) (i =1··· n).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!