Lemme 1Surfaces
Symboles de Christoffel
Soit une surface paramétrée régulière. En chaque point, est une base de , et les dérivées secondes s'y décomposent : par définition de , , (Application de Gauss), Les fonctions sont les symboles de Christoffel ; on pose .
Énoncé(i) Les produits scalaires des dérivées secondes avec et ne dépendent que de la première forme : et
(ii) Les symboles de Christoffel sont les solutions des systèmes où , , . Ce sont des fonctions de classe , qui ne dépendent que de , , et de leurs dérivées premières : deux surfaces isométriques ont les mêmes.
(iii) Coordonnées orthogonales. Si ,
Démonstration
(i) En dérivant , et , et en utilisant (Schwarz, (i)) : et Les deux dernières, avec les précédentes, donnent et .
(ii) On prend le produit scalaire de chaque décomposition avec et , orthogonaux à . La matrice est inversible (Première forme, (i)), et son inverse est de classe ; les seconds membres sont donnés par (i).
(iii) La matrice est diagonale, et l'on divise par ou par les seconds membres de (i), où .
□RemarquePour le plan paramétré par et pour le cylindre , , et sont constants, et tous les symboles sont nuls. Pour la sphère paramétrée par la latitude et la longitude, , , , et les seuls symboles non nuls sont et .
RemarqueLa partie tangente de , 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.