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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Chapitre 3. Théorèmes fondamentaux sur <strong>le</strong>s groupes <strong>de</strong> transformations 135dans A 1 . Ainsi par sa définition même, ce flot intègre <strong>le</strong>s équationsdifférentiel<strong>le</strong>s ordinaires :dh ir∑dt = λ j ξ ji (h 1 , . . .,h n ) (i =1 ···n)j=1avec la condition initia<strong>le</strong> h ( x; 0, λ ) = x.D’un troisième côté, rappelons que l’on peut résoudre <strong>le</strong>s ξ ji dans<strong>le</strong>s équations différentiel<strong>le</strong>s fondamenta<strong>le</strong>s (2) en inversant la matrice˜ψ :ξ ji (f 1 , . . .,f n ) =r∑k=1˜ψ jk (a) ∂f i∂a k(i =1··· n ; j =1··· r).À i <strong>et</strong> à j fixés, multiplions ensuite par λ j <strong>le</strong>s <strong>de</strong>ux membres <strong>de</strong> c<strong>et</strong>te<strong>de</strong>rnière équation, sommons pour j allant <strong>de</strong> 1 jusqu’à r <strong>et</strong> reconnaissonsda k, que nous pouvons donc faire apparaître :dtr∑r∑ ∂f ir∑λ j ξ ji (f 1 , . . .,f n ) = λ j ˜ψjk (a)∂aj=1kk=1 j=1r∑ ∂f i da k=∂a k dtk=1= d [ ( )]fi x; a(t, λ) (i =1··· n).dt( )Donc(<strong>le</strong>s f i x;) a(t, λ) satisfont <strong>le</strong>s mêmes équations différentiel<strong>le</strong>s que<strong>le</strong>s h i x; t, λ , <strong>et</strong> en outre, si nous assignons à x la va<strong>le</strong>ur f(x; a 0 ), <strong>le</strong>s<strong>de</strong>ux col<strong>le</strong>ctions <strong>de</strong> solutions auront <strong>de</strong> surcroît la même condition initia<strong>le</strong>pour t = 0, à savoir : f(x; a 0 ). En conclusion, c<strong>et</strong>te observationque <strong>le</strong>s f i <strong>et</strong> <strong>le</strong>s h i satisfont <strong>le</strong>s mêmes équations jointe à la propriétéfondamenta<strong>le</strong> d’unicité pour <strong>le</strong>s solutions d’un système d’équations différentiel<strong>le</strong>sordinaires fournit l’i<strong>de</strong>ntité <strong>de</strong> coïnci<strong>de</strong>nce :f ( x; a(t, λ) ) ≡ exp ( )(t 1 λ 1 X 1 + · · · + tλ r X r f(x; a 0 ) )qui exprime que chaque transformation x ′ = f(x; a) pour a dans unvoisinage <strong>de</strong> a 0 s’avère être la composition <strong>de</strong> la transformation fixéex = f(x; a 0 ), suivi <strong>de</strong> la transformation du groupe à un paramètreexp ( )tλ 1 X 1 +· · ·+tλ r X r (x) : c’est ce que l’on voulait démontrer. □Premier moment : Constantes <strong>de</strong> structure. En produisant par différentiationun système d’équations soumis à la condition <strong>de</strong> C<strong>le</strong>bsch-<strong>Lie</strong>-Frobenius, la démonstration remarquab<strong>le</strong> qui suit <strong>et</strong> qui semb<strong>le</strong> ne

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

Saved successfully!

Ooh no, something went wrong!