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.

150 3.8. Équations <strong>de</strong> structureforme un groupe continu à r paramètres, qui contient la transformationi<strong>de</strong>ntité, <strong>et</strong> dont <strong>le</strong>s transformations peuvent être ordonnées par pairesinverses l’une <strong>de</strong> l’autre.Si <strong>le</strong>s équations x ′ i = f i (x 1 , . . .,x n , a 1 , . . .,a r ) représentent unefamil<strong>le</strong> <strong>de</strong> ∞ r transformations <strong>et</strong> si en outre, el<strong>le</strong>s satisfont <strong>de</strong>s équationsdifférentiel<strong>le</strong>s <strong>de</strong> la forme spécifique :∂x ′ i∂a k=r∑ψ kj (a 1 , . . .,a r ) · ξ ji (x ′ 1, . . .,x ′ n)j=1(i = 1 ···n; k = 1 ··· r),alors comme nous <strong>le</strong> savons, <strong>le</strong>s r transformations infinitésima<strong>le</strong>s :n∑X k (f) = ξ ki (x 1 , . . ., x n ) ∂f(k = 1 ···r)∂x ii=1sont linéairement indépendantes <strong>et</strong> <strong>de</strong> plus, d’après <strong>le</strong> Théorème 21p. 136, el<strong>le</strong>s sont reliées entre el<strong>le</strong>s par <strong>de</strong>s relations <strong>de</strong> la forme :(X k Xj (f) ) (− X j Xk (f) ) r∑= [X k , X j ] = c kjs · X s (f).s=1Ainsi, la famil<strong>le</strong> <strong>de</strong>s ∞ r−1 groupes à un paramètre :λ 1 X 1 (f) + · · · + λ r X r (f)forme un groupe à r paramètres contenant la transformation i<strong>de</strong>ntité.Par conséquent, nous pouvons ré-énoncer comme suit <strong>le</strong> Théorème 9p. 133.Théorème 25. ([40], p. 160) Si une famil<strong>le</strong> <strong>de</strong> ∞ r transformations :x ′ i = f i(x 1 , . . .,x n , a 1 , . . .,a r ) (i =1··· n)satisfait certaines équations différentiel<strong>le</strong>s <strong>de</strong> la forme :∂x ′ r∑i= ψ kj (a 1 , . . .,a r ) · ξ ji (x ′ 1∂a , . . .,x′ n )kj=1<strong>et</strong> si <strong>le</strong> déterminant :∑±ψ11 (a) · · ·ψ rr (a)(i = 1 ···n ; k = 1 ··· r),ne s’annu<strong>le</strong> pas, alors toute transformation x ′ i = f i (x, a) dont <strong>le</strong>s paramètresa 1 , . . .,a r se trouvent dans un p<strong>et</strong>it voisinage d’un paramètrequelconque fixé a 0 1 , . . ., a0 r peut être obtenue en exécutant en premier

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

Saved successfully!

Ooh no, something went wrong!