Seconde forme fondamentale

En géométrie différentielle, la seconde forme fondamentale, notée II, est une forme quadratique sur l'espace tangent de l'hypersurface d'une variété riemannienne.

Cas d'une surface dans ℝ³

Soit une surface Σ paramétrée par X(u, v). En un point P donné, le plan tangent (lorsqu'il est défini) est généré par les vecteurs tangents ${\frac {\partial X}{\partial u}}$ et ${\frac {\partial X}{\partial v}}$ , notés respectivement X_u et X_v. Le vecteur normal est défini comme étant le vecteur unitaire n colinéaire à X_u ∧ X_v. Dans le repère (P, X_u, X_v, n), si la surface est localement lisse, on peut faire un développement limité de Σ sous la forme

z=\mathrm {L} {\frac {x^{2}}{2}}+\mathrm {M} xy+\mathrm {N} {\frac {y^{2}}{2}}+\varepsilon

et définir la forme quadratique

{\mathsf {II}}=L\mathrm {d} x^{2}+2M\mathrm {d} x\mathrm {d} y+N\mathrm {d} y^{2}

avec

\mathrm {L} ={\frac {\partial ^{2}\mathrm {X} }{\partial u^{2}}}\cdot \mathbf {n}

\mathrm {M} ={\frac {\partial ^{2}\mathrm {X} }{\partial u\partial v}}\cdot \mathbf {n}

\mathrm {N} ={\frac {\partial ^{2}\mathrm {X} }{\partial v^{2}}}\cdot \mathbf {n}

Cette forme quadratique II est appelée seconde forme fondamentale. Elle peut aussi être représentée par la matrice

\mathrm {II} ={\begin{pmatrix}\mathrm {L} &\mathrm {M} \\\mathrm {M} &\mathrm {N} \end{pmatrix}}

Les vecteurs tangents (X_u, X_v) constituent une base du plan vectoriel tangent à Σ en P ; tout vecteur tangent peut s'écrire comme combinaison linéaire de X_u et X_v. La seconde forme fondamentale appliquée à deux vecteurs w₁ = aX_u + bX_v et w₂ = cX_u + dX_v s'écrit

II(w₁, w₂) = Lac + M(ad + bc) + Nbd

et pour un seul vecteur

II(w₁, w₁) = La² + 2Mab + Nb²

La seconde forme fondamentale s'exprime également à partir de l'opérateur de forme S et du produit scalaire :

II(w₁, w₂) = S(w₁)⋅w₂.

La courbure de Gauss K peut être calculée à partir des première et seconde formes fondamentales :

\mathrm {K} ={\frac {\det \mathrm {II} }{\det \mathrm {I} }}={\frac {\mathrm {L} \mathrm {N} -\mathrm {M} ^{2}}{\mathrm {E} \mathrm {G} -\mathrm {F} ^{2}}}

.

Les courbures principales sont les valeurs propres de la matrice symétrique

\mathrm {II} _{uv}={\begin{pmatrix}\mathrm {II} (\mathrm {X} _{u},\mathrm {X} _{u})&\mathrm {II} (\mathrm {X} _{u},\mathrm {X} _{v})\\\mathrm {II} (\mathrm {X} _{v},\mathrm {X} _{u})&\mathrm {II} (\mathrm {X} _{v},\mathrm {X} _{v})\end{pmatrix}}

Cas d'une hypersurface

On considère une hypersurface d'une variété riemannienne, toutes deux étant orientées. On peut considérer le champ de vecteurs normaux unitaires n associé à l'hypersurface (c'est la généralisation de l'application de Gauss) à ces deux variétés. Il existe aussi une notion de dérivation (dérivée covariante) des vecteurs naturellement associée à la métrique de la variété ambiante : c'est la connexion de Levi-Civita notée $\nabla$ .

Pour deux vecteurs v et w tangents à l'hypersurface, on pose

\mathrm {I} \!\mathrm {I} (v,w)=\langle n,\nabla _{V}W\rangle

,

en notant V et W des champs de vecteurs prolongeant v et w. On vérifie que l'expression obtenue ne dépend pas du prolongement effectué[1]. Le signe de la seconde forme fondamentale dépend du choix de la direction de n (la co-orientation de l'hypersurface).

Définition générale

On peut généraliser le concept de seconde forme fondamentale aux espaces de codimension arbitraire. Dans ce cas, c'est une forme quadratique sur l'espace tangent, à valeurs dans le fibré normal :

\mathrm {I} \!\mathrm {I} (v,w)=(\nabla _{v}w)^{\bot },

avec $(\nabla _{v}w)^{\bot }$ la projection orthogonale de la dérivée covariante $\nabla _{v}w$ sur le fibré normal.

Lien avec la courbure

Dans les espaces euclidiens, le tenseur de courbure d'une sous-variété peut être décrit par l'équation de Gauss :

\langle R(u,v)w,z\rangle =\langle \mathrm {I} \!\mathrm {I} (u,z),\mathrm {I} \!\mathrm {I} (v,w)\rangle -\langle \mathrm {I} \!\mathrm {I} (u,w),\mathrm {I} \!\mathrm {I} (v,z)\rangle .

Pour une variété riemannienne quelconque, on doit ajouter la courbure de l'espace ambiant. Si N est une variété incluse dans une variété riemannienne (M,g), alors le tenseur de courbure $R_{N}$ de N avec métrique induite peut être exprimé à partir de la seconde forme fondamentale et de $R_{M}$ , le tenseur de courbure de M :

\langle R_{N}(u,v)w,z\rangle =\langle R_{M}(u,v)w,z\rangle +\langle \mathrm {I} \!\mathrm {I} (u,z),\mathrm {I} \!\mathrm {I} (v,w)\rangle -\langle \mathrm {I} \!\mathrm {I} (u,w),\mathrm {I} \!\mathrm {I} (v,z)\rangle .

Extension aux immersions

Les première et seconde formes fondamentales sont introduites dans l'étude des sous-variétés, munies de la métrique induite. On peut généraliser ces notions à toute immersion d'une variété riemannienne dans une autre, avec a priori deux tenseurs métriques à prendre en compte, sur la variété source et le but. En se plaçant sur un domaine d'injectivité de $Φ$ , on peut transporter les champs de vecteurs de $M$ par image directe (et les prolonger si besoin). On montre alors que l'expression suivante a un sens, et donne, en chaque point, une forme bilinéaire sur l'espace tangent à $M$ à valeurs dans l'espace tangent à $N$ [2]

\mathrm {I} \!\mathrm {I} (X,Y)=\nabla _{\phi _{\ast }X}^{h}(\phi _{\ast }Y)-\phi _{\ast }(\nabla _{X}^{g}Y)

Les applications totalement géodésiques (c'est-à-dire celles pour lesquelles l'image de toute géodésique est une géodésique) peuvent être vues de façon naturelle comme celles pour lesquelles la seconde forme fondamentale est constamment nulle.

Les applications pour lesquelles la trace de la seconde forme fondamentale est nulle sont dites harmoniques.

Notamment, dans le cas où l'application est une immersion isométrique de $M$ dans $N$ (qui englobe le cas de l'injection canonique pour les sous-variétés riemanniennes de $N$ ), la notion d'application harmonique coïncide avec le fait que $Φ(M)$ est une variété minimale dans $N$ )[3].

Voir aussi

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Second fundamental form » (voir la liste des auteurs).

(en) Sylvestre Gallot, Dominique Hulin et Jacques Lafontaine, Riemannian Geometry [détail de l’édition], p. 185
Aubin, Thierry. Some nonlinear problems in Riemannian geometry. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 1998. xviii+395 pp. (ISBN 3-540-60752-8), p. 349
(en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, 2002 [détail des éditions], p. 394

Portail de la géométrie

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] (en) Sylvestre Gallot, Dominique Hulin et Jacques Lafontaine, Riemannian Geometry [détail de l’édition], p. 185

[2] Aubin, Thierry. Some nonlinear problems in Riemannian geometry. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 1998. xviii+395 pp. (ISBN 3-540-60752-8), p. 349

[3] (en) Jürgen Jost, Riemannian Geometry and Geometric Analysis, 2002 [détail des éditions], p. 394