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.

Groupes <strong>de</strong> R 3 pour <strong>le</strong>squels <strong>de</strong>ux points ont un seul invariant. 203<strong>de</strong> tel<strong>le</strong> sorte que L doit être nul, tandis que M ne peut naturel<strong>le</strong>ment pass’annu<strong>le</strong>r, sinon q <strong>et</strong> xq auraient <strong>le</strong>s mêmes courbes intégra<strong>le</strong>s. En introduisant1 z comme nouvel<strong>le</strong> variab<strong>le</strong> z, on peut faire que la constanteMM soit simp<strong>le</strong>ment éga<strong>le</strong> à 1.Enfin, formons <strong>le</strong>s croch<strong>et</strong>s :[p, x 2 p + xyq + ϕ 5 r ] = 2xp + yq + ∂ϕ 5∂x r[q, x 2 p + xyq + ϕ 5 r ] = xq + ∂ϕ 5∂y r[xq + yr, x 2 p + xyq + ϕ 5 r ] =(x ∂ϕ )5∂y − xy r[2xp + yq, x 2 p + xyq + ϕ 5 r ] = 2(x 2 p + xyq) +(2x ∂ϕ 5∂x + y ∂ϕ )5r,∂yà partir <strong>de</strong>squels nous trouvons :∂ϕ 5∂x = c, ∂ϕ 5∂y = y2x ∂ϕ 5∂x + y ∂ϕ 5∂y = 2cx + y2 = 2 ϕ 5 + K,où cependant la constante K peut être simp<strong>le</strong>ment réduite à zéro. Ainsi,nous sommes parvenus au groupe :{p, q, r, 2xp + yq, xq + yr(51)x 2 p + xyq + ( 1 2 y2 + cx) r.Puisque <strong>le</strong>s transformations infinitésima<strong>le</strong>s p, q, r sont présentes,<strong>le</strong> point x = y = z = 0 est à nouveau un point en position généra<strong>le</strong>. Lestransformations infinitésima<strong>le</strong>s du groupe (51) qui laissent invariant cepoint sont :2xp + yq, xq + yr, x 2 p + xyq + ( 1 2 y2 + cx) r,<strong>et</strong> <strong>le</strong> déterminant correspondant :2x y 00 x y∣ x 2 1xy2 y2 + cx ∣a la va<strong>le</strong>ur :x 2 y 2 + 2cx 3 − 2x 2 y 2 + x 2 y 2 = 2cx 3 ,qui ne s’annu<strong>le</strong> donc i<strong>de</strong>ntiquement que lorsque la constante c a la va<strong>le</strong>urzéro, tandis que <strong>le</strong>s sous-déterminants d’ordre <strong>de</strong>ux ne s’annu<strong>le</strong>nt

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

Saved successfully!

Ooh no, something went wrong!