ATLAS Ouvrir dans l'atlas →

Lemme 1Surfaces

Symboles de Christoffel

Soit x:U→ℝ3x : U \to {\mathbb R^3} une surface paramétrée régulière. En chaque point, (xu,xv,N)(x_u, x_v, N) est une base de ℝ3\mathbb R^3, et les dérivées secondes s'y décomposent : par définition de ee, ff, gg (Application de Gauss), xuu=Γ111 xu+Γ112 xv+e N,xuv=Γ121 xu+Γ122 xv+f N,xvv=Γ221 xu+Γ222 xv+g N.\begin{aligned} x_{uu} &= \Gamma^1_{11}\,x_u + \Gamma^2_{11}\,x_v + e\,N, \\ x_{uv} &= \Gamma^1_{12}\,x_u + \Gamma^2_{12}\,x_v + f\,N, \\ x_{vv} &= \Gamma^1_{22}\,x_u + \Gamma^2_{22}\,x_v + g\,N. \end{aligned} Les fonctions Γijk\Gamma^k_{ij} sont les symboles de Christoffel ; on pose Γ21k=Γ12k\Gamma^k_{21} = \Gamma^k_{12}.

Énoncé

(i) Les produits scalaires des dérivées secondes avec xux_u et xvx_v ne dépendent que de la première forme : ⟨xuu,xu⟩=12Eu,⟨xuv,xu⟩=12Ev,⟨xvv,xu⟩=Fv−12Gu,\begin{aligned} \langle x_{uu}, x_u \rangle &= \tfrac12 E_u, \\ \langle x_{uv}, x_u \rangle &= \tfrac12 E_v, \\ \langle x_{vv}, x_u \rangle &= F_v - \tfrac12 G_u, \end{aligned} et ⟨xuu,xv⟩=Fu−12Ev,⟨xuv,xv⟩=12Gu,⟨xvv,xv⟩=12Gv.\begin{aligned} \langle x_{uu}, x_v \rangle &= F_u - \tfrac12 E_v, \\ \langle x_{uv}, x_v \rangle &= \tfrac12 G_u, \\ \langle x_{vv}, x_v \rangle &= \tfrac12 G_v. \end{aligned}

(ii) Les symboles de Christoffel sont les solutions des systèmes (EFFG)(Γij1Γij2)=(⟨xij,xu⟩⟨xij,xv⟩),\begin{pmatrix} E & F \\ F & G \end{pmatrix}\begin{pmatrix} \Gamma^1_{ij} \\ \Gamma^2_{ij} \end{pmatrix} = \begin{pmatrix} \langle x_{ij}, x_u \rangle \\ \langle x_{ij}, x_v \rangle \end{pmatrix}, où x11=xuux_{11} = x_{uu}, x12=xuvx_{12} = x_{uv}, x22=xvvx_{22} = x_{vv}. Ce sont des fonctions de classe C∞C^\infty, qui ne dépendent que de EE, FF, GG et de leurs dérivées premières : deux surfaces isométriques ont les mêmes.

(iii) Coordonnées orthogonales. Si F=0F = 0, Γ111=Eu2E,Γ112=−Ev2G,Γ121=Ev2E,Γ122=Gu2G,Γ221=−Gu2E,Γ222=Gv2G.\begin{aligned} \Gamma^1_{11} &= \frac{E_u}{2E}, & \Gamma^2_{11} &= -\frac{E_v}{2G}, & \Gamma^1_{12} &= \frac{E_v}{2E}, \\ \Gamma^2_{12} &= \frac{G_u}{2G}, & \Gamma^1_{22} &= -\frac{G_u}{2E}, & \Gamma^2_{22} &= \frac{G_v}{2G}. \end{aligned}

Démonstration

(i) En dérivant E=⟨xu,xu⟩E = \langle x_u, x_u \rangle, G=⟨xv,xv⟩G = \langle x_v, x_v \rangle et F=⟨xu,xv⟩F = \langle x_u, x_v \rangle, et en utilisant xuv=xvux_{uv} = x_{vu} (Schwarz, (i)) : Eu=2⟨xuu,xu⟩,Ev=2⟨xuv,xu⟩,Gu=2⟨xuv,xv⟩,Gv=2⟨xvv,xv⟩,\begin{aligned} E_u &= 2\langle x_{uu}, x_u \rangle, & E_v &= 2\langle x_{uv}, x_u \rangle, \\ G_u &= 2\langle x_{uv}, x_v \rangle, & G_v &= 2\langle x_{vv}, x_v \rangle, \end{aligned} et Fu=⟨xuu,xv⟩+⟨xu,xuv⟩,Fv=⟨xuv,xv⟩+⟨xu,xvv⟩.\begin{aligned} F_u &= \langle x_{uu}, x_v \rangle + \langle x_u, x_{uv} \rangle, \\ F_v &= \langle x_{uv}, x_v \rangle + \langle x_u, x_{vv} \rangle. \end{aligned} Les deux dernières, avec les précédentes, donnent ⟨xuu,xv⟩\langle x_{uu}, x_v \rangle et ⟨xvv,xu⟩\langle x_{vv}, x_u \rangle.

(ii) On prend le produit scalaire de chaque décomposition avec xux_u et xvx_v, orthogonaux à NN. La matrice (EFFG)\begin{pmatrix} E & F \\ F & G \end{pmatrix} est inversible (Première forme, (i)), et son inverse 1EG−F2(G−F−FE)\frac{1}{EG - F^2}\begin{pmatrix} G & -F \\ -F & E \end{pmatrix} est de classe C∞C^\infty ; les seconds membres sont donnés par (i).

(iii) La matrice est diagonale, et l'on divise par EE ou par GG les seconds membres de (i), où Fu=Fv=0F_u = F_v = 0.

□
Remarque

Pour le plan paramétré par (u,v)↦(u,v,0)(u, v) \mapsto (u, v, 0) et pour le cylindre (cos⁡u,sin⁡u,v)(\cos u, \sin u, v), EE, FF et GG sont constants, et tous les symboles sont nuls. Pour la sphère paramétrée par la latitude et la longitude, E=R2E = R^2, F=0F = 0, G=R2cos⁡2uG = R^2\cos^2 u, et les seuls symboles non nuls sont Γ221=sin⁡ucos⁡u\Gamma^1_{22} = \sin u\cos u et Γ122=−sin⁡ucos⁡u\Gamma^2_{12} = -\frac{\sin u}{\cos u}.

Remarque

La partie tangente de xuux_{uu}, qu'on vient de calculer sans connaître la surface, est l'accélération qu'un habitant de la surface mesurerait. C'est ce qui rend possibles le Theorema egregium (Theorema egregium) et l'équation des géodésiques (Géodésiques), qui ne font intervenir que ces symboles.

Ouvrir dans l'atlas interactif →