Courbure de Gauss

De gauche à droite : une surface de courbure de Gauss négative (un hyperboloïde), une surface de courbure nulle (un cylindre), et une surface de courbure positive (une sphère).
Certains points du tore sont de courbure positive (points elliptiques) et d'autres de courbure négative (points hyperboliques)

La courbure de Gauss, parfois aussi appelée courbure totale[1], d'une surface paramétrée X en X(P) est le produit des courbures principales. De manière équivalente, la courbure de Gauss est le déterminant de l'endomorphisme de Weingarten.

En mécanique, les surfaces matérielles dont la courbure de Gauss est non nulle sont plus rigides que celles dont la courbure de Gauss est nulle, toutes choses égales par ailleurs. En termes courants, les coques sont plus rigides que les plaques. En effet, une déformation d'une coque implique une modification de sa métrique, ce qui n'est pas le cas (au premier ordre) pour une plaque ou plus généralement pour une surface sans courbure de Gauss.

Classification

On classifie les points d'une surface en fonction de la courbure de Gauss de la surface en ce point[1].

  • Un point où la courbure de Gauss est strictement positive est dit elliptique. Tels sont les points d'un ellipsoïde, d'un hyperboloïde à deux nappes ou d'un paraboloïde elliptique. Les deux courbures principales y sont de même signe. Si, de plus, elles sont égales, le point est un ombilic. Tels sont les points d'une sphère, ou les deux sommets d'un ellipsoïde de révolution.
  • Un point où la courbure de Gauss est nulle est dit parabolique. L'une au moins des courbures principales y est nulle. C'est le cas des points d'un cylindre ou d'un cône, car la courbure le long d'une génératrice du cylindre passant par le point est nulle. C'est également le cas de toute surface développable. Si les deux courbures principales sont nulles, le point est un méplat. Dans le plan, tous les points sont des méplats.
  • Un point où la courbure de Gauss est strictement négative est dit hyperbolique. En un tel point, les deux courbures principales sont de signe contraire. C'est le cas de tous les points d'un hyperboloïde à une nappe ou d'un paraboloïde hyperbolique.

Calcul de la courbure de Gauss

Le calcul de la courbure de Gauss peut se révéler ardu[2],[3]. Il se simplifie en fonction de la méthode utilisée.

Utilisation d'un paramétrage

Supposons que la surface soit donnée par une équation z = f(x,y), où f est une fonction de classe C 2 {\displaystyle {\mathcal {C}}^{2}} . Notons en indice les variables par rapport auxquelles les dérivées sont calculées. Alors, la courbure de Gauss au point de paramètre (x,y) vaut[4] :

K = f x x f y y f x y 2 ( 1 + f x 2 + f y 2 ) 2 {\displaystyle K={\frac {f_{xx}''f_{yy}''-f_{xy}''^{2}}{(1+f_{x}'^{2}+f_{y}'^{2})^{2}}}}
Démonstration

Soit ( x , y ) M ( x , y , z ) = ( x y f ( x , y ) ) {\displaystyle (x,y)\to M(x,y,z)={\begin{pmatrix}x\\y\\f(x,y)\end{pmatrix}}} le paramétrage de la surface, supposée régulière. Une base du plan tangent est donnée par les deux vecteurs M x = ( 1 0 f x ) {\displaystyle {\frac {\partial M}{\partial x}}={\begin{pmatrix}1\\0\\f_{x}'\end{pmatrix}}} et M y = ( 0 1 f y ) {\displaystyle {\frac {\partial M}{\partial y}}={\begin{pmatrix}0\\1\\f_{y}'\end{pmatrix}}} . Un vecteur normal à la surface est donné par le vecteur unitaire n {\displaystyle {\vec {n}}} colinéaire à M x M y {\displaystyle {\frac {\partial M}{\partial x}}\wedge {\frac {\partial M}{\partial y}}} , à savoir :

n = 1 1 + f x 2 + f y 2 ( f x f y 1 ) {\displaystyle {\vec {n}}={\frac {1}{\sqrt {1+f_{x}'^{2}+f_{y}'^{2}}}}{\begin{pmatrix}-f_{x}'\\-f_{y}'\\1\end{pmatrix}}} .

Pour calculer la courbure, on utilise le fait qu'elle est égale au déterminant de l'endomorphisme de Weingarten, et que cet endomorphisme est celui qui envoie M x {\displaystyle {\frac {\partial M}{\partial x}}} sur n x {\displaystyle -{\frac {\partial {\vec {n}}}{\partial x}}} , et M y {\displaystyle {\frac {\partial M}{\partial y}}} sur n y {\displaystyle -{\frac {\partial {\vec {n}}}{\partial y}}} . On vérifiera alors que :

n x = 1 ( 1 + f x 2 + f y 2 ) 3 / 2 ( ( f x x + f y 2 f x x f x f y f x y ) M x + ( f x y + f x 2 f x y f x f y f x x ) M y ) {\displaystyle -{\frac {\partial {\vec {n}}}{\partial x}}={\frac {1}{(1+f_{x}'^{2}+f_{y}'^{2})^{3/2}}}\left((f_{xx}''+f_{y}'^{2}f_{xx}''-f_{x}'f_{y}'f_{xy}''){\frac {\partial M}{\partial x}}+(f_{xy}''+f_{x}'^{2}f_{xy}''-f_{x}'f_{y}'f_{xx}''){\frac {\partial M}{\partial y}}\right)}

On obtient un résultat comparable pour n y {\displaystyle -{\frac {\partial {\vec {n}}}{\partial y}}} en permutant les indices x et y.

L'endomorphisme de Weingarten a donc pour matrice, dans la base ( M x , M y ) {\displaystyle \left(-{\frac {\partial M}{\partial x}},-{\frac {\partial M}{\partial y}}\right)} :

1 ( 1 + f x 2 + f y 2 ) 3 / 2 ( f x x + f y 2 f x x f x f y f x y f x y + f y 2 f x y f y f x f y y f x y + f x 2 f x y f x f y f x x f y y + f x 2 f y y f x f y f x y ) {\displaystyle {\frac {1}{(1+f_{x}'^{2}+f_{y}'^{2})^{3/2}}}{\begin{pmatrix}f_{xx}''+f_{y}'^{2}f_{xx}''-f_{x}'f_{y}'f_{xy}''&f_{xy}''+f_{y}'^{2}f_{xy}''-f_{y}'f_{x}'f_{yy}''\\f_{xy}''+f_{x}'^{2}f_{xy}''-f_{x}'f_{y}'f_{xx}''&f_{yy}''+f_{x}'^{2}f_{yy}''-f_{x}'f_{y}'f_{xy}''\end{pmatrix}}}

Le déterminant de cette matrice, après simplification, donne la formule annoncée.

Utilisation des formes fondamentales

Soit une surface paramétrée au moyen de deux paramètres u et v, et soit I = E du2 + 2F dudv + G dv2 la première forme fondamentale, II = L du2 + 2M dudv + N dv2 la seconde forme fondamentale. Alors la courbure de Gauss vaut[5] :

K = L N M 2 E G F 2 {\displaystyle K={\frac {LN-M^{2}}{EG-F^{2}}}}
Démonstration

Soit ( u , v ) M ( u , v ) {\displaystyle (u,v)\to M(u,v)} un paramétrage de la surface, supposée régulière. Une base du plan tangent est donnée par M d u {\displaystyle {\frac {\partial M}{du}}} et M d v {\displaystyle {\frac {\partial M}{dv}}} . Soient x {\displaystyle {\vec {x}}} et y {\displaystyle {\vec {y}}} deux vecteurs du plan tangent en un point de la surface, et soit X et Y les composantes de ces deux vecteurs dans la base précédente. La première forme fondamentale donne l'expression dans cette base du produit scalaire des deux vecteurs :

x , y = t X ( E F F G ) Y {\displaystyle \langle {\vec {x}},{\vec {y}}\rangle ={}^{t}X{\begin{pmatrix}E&F\\F&G\end{pmatrix}}Y}

La deuxième forme fondamentale est la forme quadratique associée à l'endomorphisme symétrique de Weingarten W, dont les deux valeurs propres sont les courbures principales de la surface au point considéré.

x , W ( y ) = t X ( L M M N ) Y {\displaystyle \langle {\vec {x}},W({\vec {y}})\rangle ={}^{t}X{\begin{pmatrix}L&M\\M&N\end{pmatrix}}Y}

Par conséquent, si y {\displaystyle {\vec {y}}} est un vecteur propre de l'endomorphisme de Weingarten, de valeur propre λ, on, a, pour tout x {\displaystyle {\vec {x}}}  :

x , W ( y ) = t X ( L M M N ) Y = λ x , y = λ t X ( E F F G ) Y {\displaystyle \langle {\vec {x}},W({\vec {y}})\rangle ={}^{t}X{\begin{pmatrix}L&M\\M&N\end{pmatrix}}Y=\lambda \langle {\vec {x}},{\vec {y}}\rangle =\lambda {}^{t}X{\begin{pmatrix}E&F\\F&G\end{pmatrix}}Y}

Cette relation étant vraie pour tout x {\displaystyle {\vec {x}}} , on a donc :

( L M M N ) Y = λ ( E F F G ) Y {\displaystyle {\begin{pmatrix}L&M\\M&N\end{pmatrix}}Y=\lambda {\begin{pmatrix}E&F\\F&G\end{pmatrix}}Y}

et donc, la matrice ( L M M N ) λ ( E F F G ) = ( L λ E M λ F M λ F N λ G ) {\displaystyle {\begin{pmatrix}L&M\\M&N\end{pmatrix}}-\lambda {\begin{pmatrix}E&F\\F&G\end{pmatrix}}={\begin{pmatrix}L-\lambda E&M-\lambda F\\M-\lambda F&N-\lambda G\end{pmatrix}}} est non inversible, puisqu'elle admet la colonne Y non nulle comme élément de son noyau. Son déterminant donne l'équation vérifiée par les courbures principales, à savoir :

( E G F 2 ) λ 2 ( E N + G L 2 M F ) λ + L N M 2 = 0 {\displaystyle (EG-F^{2})\lambda ^{2}-(EN+GL-2MF)\lambda +LN-M^{2}=0}

On en tire le produit des deux racines L N M 2 E G F 2 {\displaystyle {\frac {LN-M^{2}}{EG-F^{2}}}} qui n'est autre que la courbure de Gauss cherchée.

Calcul intrinsèque de la courbure

Les formules précédentes utilisent le fait que la surface est incluse dans l'espace de dimension 3. Cependant, la courbure de Gauss est une propriété intrinsèque de la surface, et ne dépend que de la métrique locale de la surface (autrement dit de la première forme fondamentale). Ce résultat est connu sous le nom de Theorema egregium, et est par exemple illustré par la formule de Gauss-Bonnet. Il est donc possible de déterminer la courbure uniquement à partir de la métrique locale, ouvrant ainsi la voie à un calcul de courbure plus général sur les variétés riemanniennes.

Coordonnées normales de Riemann

Nous utilisons, à l'endroit où nous sommes sur Terre, les coordonnées cartésiennes. Ailleurs nous devons utiliser des coordonnées ayant subi une rotation fonction de la latitude et de la longitude. C'est pourquoi les coordonnées de Riemann sont qualifiées de locales. Les coordonnées de Riemann sont pratiquement des coordonnées cartésiennes dans le plan tangent à la Terre et, plus généralement à une surface ou un espace courbe.

En coordonnées de Gauss (sont traditionnellement utilisés μ et ν au lieu de x et y), la métrique s'écrit :

d s 2 = g x x d x 2 + 2 g x y d x d y + g y y d y 2 {\displaystyle \mathrm {d} s^{2}=g_{xx}\,\mathrm {d} x^{2}+2g_{xy}\,\mathrm {d} x\mathrm {d} y+g_{yy}\mathrm {d} y^{2}}

Pour passer en coordonnées de Riemann, on doit diagonaliser la matrice représentative de la métrique puis changer les échelles des axes de coordonnées pour obtenir une métrique euclidienne :

d s 2 = d x 2 + d y 2 {\displaystyle \mathrm {d} s^{2}=\mathrm {d} x^{2}+\mathrm {d} y^{2}\,}

La courbure de Gauss étant le produit des courbures principales kx et ky et la courbure d'une courbe plane étant la dérivée seconde de l'ordonnée z par rapport à l'abscisse x ou y, on a :

K = k x k y = 2 z x 2 2 z y 2 {\displaystyle K=k_{x}k_{y}={\frac {\partial ^{2}z}{\partial x^{2}}}{\frac {\partial ^{2}z}{\partial y^{2}}}}

Courbure de Gauss en coordonnées de Riemann

Considérons une surface en un point O, origine des coordonnées, et le plan tangent à la surface en O. Les axes sont choisis de façon que Oz soit perpendiculaire au plan tangent, et les axes Ox et Oy dans le plan tangent coïncident avec les directions principales de la surface. Au voisinage de O, les coordonnées x et y dans le plan tangent sont très voisines des coordonnées de Gauss u et v sur la surface courbe de sorte que nous n’utiliserons que les coordonnées cartésiennes x et y dans le plan tangent et z, cote par rapport au plan tangent. Considérons une surface courbe d’équation z = z(x,y) et supposons que la métrique locale s'écrive :

d s 2 = g x x d x 2 + g y y d y 2 {\displaystyle \mathrm {d} s^{2}=g_{xx}\,\mathrm {d} x^{2}+g_{yy}\mathrm {d} y^{2}}

Alors la courbure de Gauss s'exprime en fonction des dérivées seconde des coefficients de cette métrique sous la forme :

K = 1 2 ( 2 g x x y 2 + 2 g y y x 2 ) = 1 2 ( g x x , y y + g y y , x x ) {\displaystyle K=-{\frac {1}{2}}\left({\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}+{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}\right)=-{\frac {1}{2}}\left(g_{xx,yy}+g_{yy,xx}\right)}

où la virgule indique une dérivation partielle, ce qui permet de rendre les équations plus lisibles. La courbure de Gauss, qui a pour dimension l’inverse du carré d’une longueur, devient très simple en coordonnées normales de Riemann, en approximant la surface par un paraboloïde dont les axes de symétrie coïncident avec les directions principales de la métrique. Elle est alors égale au tenseur de Riemann Rxyxy de la surface.

Démonstration

La différentielle de la fonction z est :

d z = z x d x + z y d y {\displaystyle dz={\frac {\partial z}{\partial x}}dx+{\frac {\partial z}{\partial y}}dy}

La métrique de l’espace euclidien à trois dimensions est

d s 2 = d x 2 + d y 2   + d z 2 {\displaystyle \mathrm {d} s^{2}=\mathrm {d} x^{2}+\mathrm {d} y^{2}\ +\mathrm {d} z^{2}\,}

En y remplaçant dz par son expression ci-dessus, la métrique devient

d s 2 = [ 1 + ( z x ) 2 ] d x 2 + 2 z x z y d x d y + [ 1 + ( z y ) 2 ] d y 2 {\displaystyle \mathrm {d} s^{2}=\left[1+\left({\frac {\partial z}{\partial x}}\right)^{2}\right]\,\mathrm {d} x^{2}+2{\frac {\partial z}{\partial x}}{\frac {\partial z}{\partial y}}\mathrm {d} x\,\mathrm {d} y+\left[1+\left({\frac {\partial z}{\partial y}}\right)^{2}\right]\,\mathrm {d} y^{2}}

La formule générique de la métrique d’une surface est :

d s 2 = g x x d x 2 + 2 g x y d x d y + g y y d y 2 {\displaystyle \mathrm {d} s^{2}=g_{xx}\,\mathrm {d} x^{2}+2g_{xy}\,\mathrm {d} x\mathrm {d} y+g_{yy}\mathrm {d} y^{2}}

où les coefficients gij de la métrique sont des nombres sans dimension. De plus, dans le cas présent, gxy = 0. On calcule les dérivées secondes de gxx et gyy, respectivement par rapport à y et à x :

1 2 2 g x x y 2 = 1 2 2 y 2 ( z x ) 2 = ( 2 z x y ) 2 + z x 3 z x y 2 {\displaystyle {\frac {1}{2}}{\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}={\frac {1}{2}}{\frac {\partial ^{2}}{\partial y^{2}}}\left({\frac {\partial z}{\partial x}}\right)^{2}=\left({\frac {\partial ^{2}z}{\partial x\partial y}}\right)^{2}+{\frac {\partial z}{\partial x}}{\frac {\partial ^{3}z}{\partial x\partial y^{2}}}}
1 2 2 g y y x 2 = 1 2 2 x 2 ( z y ) 2 = ( 2 z x y ) 2 + z y 3 z y x 2 {\displaystyle {\frac {1}{2}}{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}={\frac {1}{2}}{\frac {\partial ^{2}}{\partial x^{2}}}\left({\frac {\partial z}{\partial y}}\right)^{2}=\left({\frac {\partial ^{2}z}{\partial x\partial y}}\right)^{2}+{\frac {\partial z}{\partial y}}{\frac {\partial ^{3}z}{\partial y\partial x^{2}}}}

Faisons la somme de ces deux équations :

1 2 2 g x x y 2 + 1 2 2 g y y x 2 = ( 2 z x y ) 2 + [ z x 3 z x y 2 + ( 2 z x y ) 2 + z y 3 z y x 2 ] {\displaystyle {\frac {1}{2}}{\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}+{\frac {1}{2}}{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}=\left({\frac {\partial ^{2}z}{\partial x\partial y}}\right)^{2}+\left[{\frac {\partial z}{\partial x}}{\frac {\partial ^{3}z}{\partial x\partial y^{2}}}+\left({\frac {\partial ^{2}z}{\partial x\partial y}}\right)^{2}+{\frac {\partial z}{\partial y}}{\frac {\partial ^{3}z}{\partial y\partial x^{2}}}\right]}

Dérivons maintenant gxy = 0, puisque la métrique est diagonale par hypothèse :

1 2 2 g x y x y = 2 x y ( z x z y ) = y ( z x 2 z x y ) + y ( 2 z x 2 z y ) = 0 {\displaystyle {\frac {1}{2}}{\frac {\partial ^{2}g_{xy}}{\partial x\partial y}}={\frac {\partial ^{2}}{\partial x\partial y}}\left({\frac {\partial z}{\partial x}}{\frac {\partial z}{\partial y}}\right)={\frac {\partial }{\partial y}}\left({\frac {\partial z}{\partial x}}{\frac {\partial ^{2}z}{\partial x\partial y}}\right)+{\frac {\partial }{\partial y}}\left({\frac {\partial ^{2}z}{\partial x^{2}}}{\frac {\partial z}{\partial y}}\right)=0}

ce qui donne l'équation :

2 z x 2 2 z y 2 = [ ( 2 z x y ) 2 + z x 3 z y 2 x + z y 3 z x 2 y ] {\displaystyle {\frac {\partial ^{2}z}{\partial x^{2}}}{\frac {\partial ^{2}z}{\partial y^{2}}}=-\left[\left({\frac {\partial ^{2}z}{\partial x\partial y}}\right)^{2}+{\frac {\partial z}{\partial x}}{\frac {\partial ^{3}z}{\partial y^{2}\partial x}}+{\frac {\partial z}{\partial y}}{\frac {\partial ^{3}z}{\partial x^{2}\partial y}}\right]}

Le membre de droite, entre crochets, de cette expression, identique au terme entre crochets précédent peut donc être remplacé. D’où

1 2 2 g x x y 2 + 1 2 2 g y y x 2 = ( 2 z x y ) 2 2 z x 2 2 z y 2 {\displaystyle {\frac {1}{2}}{\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}+{\frac {1}{2}}{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}=\left({\frac {\partial ^{2}z}{\partial x\partial y}}\right)^{2}-{\frac {\partial ^{2}z}{\partial x^{2}}}{\frac {\partial ^{2}z}{\partial y^{2}}}}

Dans cette formule il n’y a que des dérivées secondes des coefficients de la métrique et de z par rapport à x et à y, en conformité avec l’hypothèse des coordonnées de Riemann. Approximons, au point considéré, la surface par un paraboloïde de courbures principales kx et ky dont les plans principaux coïncident avec ceux de la surface courbe :

z = 1 2 ( k x x 2 + k y y 2 ) {\displaystyle z={\frac {1}{2}}\left(k_{x}x^{2}+k_{y}y^{2}\right)}

Comme il n’y a pas de terme rectangle dans cette expression, on a

2 z x y = 0 {\displaystyle {\frac {\partial ^{2}z}{\partial x\partial y}}=0}

Les coefficients kx et ky sont les dérivées secondes de z par rapport à x et y et, donc, les courbures des paraboles, intersections du paraboloïde avec ses plans principaux. Comme le produit K = kxk{ind

des courbures principales est, par définition, la courbure de Gauss, on peut écrire :

2 z x 2 2 z y 2 = k x k y = K {\displaystyle {\frac {\partial ^{2}z}{\partial x^{2}}}{\frac {\partial ^{2}z}{\partial y^{2}}}=k_{x}k_{y}=K}

En utilisant les deux relations précédentes, on obtient la courbure de Gauss en coordonnées de Riemann :

K = 1 2 ( 2 g x x y 2 + 2 g y y x 2 ) = 1 2 ( g x x , y y + g y y , x x ) {\displaystyle K=-{\frac {1}{2}}\left({\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}+{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}\right)=-{\frac {1}{2}}\left(g_{xx,yy}+g_{yy,xx}\right)}

Courbure de Gauss en coordonnées de Gauss

Le calcul étant compliqué, nous nous contenterons de donner quelques formules pratiques[6]. La première correspond à une métrique diagonale g u u d u 2 + g v v d v 2 {\displaystyle g_{uu}\,\mathrm {d} u^{2}+g_{vv}\mathrm {d} v^{2}}  :

K = 1 g u u g v v [ 1 2 ( g u u , v v + g v v , u u ) + g u u , v 2 4 g u u + g v v , u 2 4 g v v + g u u , u g v v , u 4 g u u + g v v , v g u u , v 4 g v v ] {\displaystyle K={\frac {1}{g_{uu}g_{vv}}}\left[-{\frac {1}{2}}\left(g_{uu,vv}+g_{vv,uu}\right)+{\frac {g_{uu,v}^{2}}{4g_{uu}}}+{\frac {g_{vv,u}^{2}}{4g_{vv}}}+{\frac {g_{uu,u}g_{vv,u}}{4g_{uu}}}+{\frac {g_{vv,v}g_{uu,v}}{4g_{vv}}}\right]}

La notation de Leibniz est remplacée par des virgules indiquant une dérivation partielle. On y reconnaît les deux premiers termes identiques à ceux de l'expression en coordonnées de Riemann au coefficient multiplicateur près guugvv, différent de 1 en coordonnées de Gauss.

Les u et v sont les coordonnées de Gauss, correspondant par exemple dans le cas de la sphère aux coordonnées sphériques θ et ϕ.

La formule de Brioschi donne la courbure et le tenseur de Riemann Ruvuv sous forme matricielle pour une métrique diagonale :

K = R u v u v g u u g v v = 1 g u u g v v | g u u , v v + g v v , u u 2 + g u u , v 2 4 g u u + g v v , u 2 4 g v v g u u , u 2 g u u g u u , v 2 g v v 1 2 g v v , u 1 1 2 g v v , v 1 | {\displaystyle K={\frac {R_{uvuv}}{g_{uu}g_{vv}}}={\frac {1}{g_{uu}g_{vv}}}{\begin{vmatrix}-{\frac {g_{uu,vv}+g_{vv,uu}}{2}}+{\frac {g_{uu,v}^{2}}{4g_{uu}}}+{\frac {g_{vv,u}^{2}}{4g_{vv}}}&{\frac {g_{uu,u}}{2g_{uu}}}&-{\frac {g_{uu,v}}{2g_{vv}}}\\-{\frac {1}{2}}g_{vv,u}&1&\\{\frac {1}{2}}g_{vv,v}&&1\end{vmatrix}}}

ou non diagonale[7],[8] :

K = 1 ( E G F 2 ) 2 [ | 1 2 E v v + F u v 1 2 G u u 1 2 E u F u 1 2 E v F v 1 2 G u E F 1 2 G v F G | | 0 1 2 E v 1 2 G u 1 2 E v E F 1 2 G u F G | ] {\displaystyle K={\frac {1}{(EG-F^{2})^{2}}}\left[{\begin{vmatrix}-{\frac {1}{2}}E_{vv}+F_{uv}-{\frac {1}{2}}G_{uu}&{\frac {1}{2}}E_{u}&F_{u}-{\frac {1}{2}}E_{v}\\F_{v}-{\frac {1}{2}}G_{u}&E&F\\{\frac {1}{2}}G_{v}&F&G\end{vmatrix}}-{\begin{vmatrix}0&{\frac {1}{2}}E_{v}&{\frac {1}{2}}G_{u}\\{\frac {1}{2}}E_{v}&E&F\\{\frac {1}{2}}G_{u}&F&G\end{vmatrix}}\right]}

E = guu, G = gvv, F = guv (notation de Gauss). Les indices représentent une dérivée partielle simple ou double par rapport aux coordonnées de Gauss u et v, correspondant aux x et y précédents.

Application à la sphère

Courbure de Gauss de la sphère en coordonnées de Riemann

L’équation d’une sphère de rayon R en coordonnées cartésiennes dans l’espace euclidien à trois dimensions est

x 2 + y 2 + z 2 = R 2 {\displaystyle x^{2}+y^{2}+z^{2}=R^{2}} .

Pour que la concavité soit positive, on doit prendre la racine négative pour z :

z ( x , y ) = R 2 x 2 y 2 {\displaystyle z(x,y)=-{\sqrt {R^{2}-x^{2}-y^{2}}}}

Développons-la en série au pôle Sud, au voisinage de x = y = 0, c’est-à-dire en coordonnées de Riemann :

z ( x , y ) = R + x 2 + y 2 2 R {\displaystyle z(x,y)=-R+{\frac {x^{2}+y^{2}}{2R}}}

D'où par différentiation :

d z 2 = ( x d x + y d y R ) 2 = x 2 d x 2 + 2 x y d x d y + y 2 d y 2 R 2 {\displaystyle \mathrm {d} z^{2}=\left({\frac {x\,\mathrm {d} x+y\,\mathrm {d} y}{R}}\right)^{2}={\frac {x^{2}\,\mathrm {d} x^{2}+2xy\,\mathrm {d} x\,\mathrm {d} y+y^{2}\,\mathrm {d} y^{2}}{R^{2}}}}

La métrique de l’espace euclidien à trois dimensions

d s 2 = d x 2 + d y 2   + d z 2 {\displaystyle \,\mathrm {d} s^{2}=\,\mathrm {d} x^{2}+\,\mathrm {d} y^{2}\ +\,\mathrm {d} z^{2}}

devient celle d’un paraboloïde de révolution approximant la sphère :

d s 2 = ( 1 + x 2 R 2 ) d x 2 + 2 x y R 2 d x d y + ( 1 + y 2 R 2 ) d y 2 {\displaystyle \,\mathrm {d} s^{2}=\left(1+{\frac {x^{2}}{R^{2}}}\right)\,\mathrm {d} x^{2}+2{\frac {xy}{R^{2}}}\,\mathrm {d} x\,\mathrm {d} y+\left(1+{\frac {y^{2}}{R^{2}}}\right)\,\mathrm {d} y^{2}}

Plus près du pôle Sud, où xy ≈ 0, la métrique est euclidienne en éliminant les termes du second ordre. Pour la mettre en coordonnées de Riemann il est nécessaire de la diagonaliser. Il est plus simple d'utiliser les coordonnées sphériques qui donnent une métrique diagonale. Pour être en coordonnées de Riemann, on diagonalise la métrique, qui devient :

d s 2 = d x 2 + [ 1 x 2 + y 2 R 2 ] d y 2 {\displaystyle \,\mathrm {d} s^{2}=\,\mathrm {d} x^{2}+\left[1-{\frac {x^{2}+y^{2}}{R^{2}}}\right]\,\mathrm {d} y^{2}}

K = kxky est la courbure de Gauss. On retrouve la métrique euclidienne en Ox et y sont nuls. Dans cette expression, on a gxx = 1, gxy = 0 et

g y y = 1 x 2 + y 2 R 2 {\displaystyle g_{yy}=1-{\frac {x^{2}+y^{2}}{R^{2}}}}
K = 1 2 ( 2 g x x y 2 + 2 g y y x 2 ) = 1 2 ( 0 2 R 2 ) = 1 R 2 {\displaystyle K=-{\frac {1}{2}}\left({\frac {\partial ^{2}g_{xx}}{\partial y^{2}}}+{\frac {\partial ^{2}g_{yy}}{\partial x^{2}}}\right)=-{\frac {1}{2}}\left(0-{\frac {2}{R^{2}}}\right)={\frac {1}{R^{2}}}}

On retrouve bien la courbure de Gauss de la sphère, égale au tenseur de Riemann Ruvuv mais uniquement en coordonnées de Riemann.

Courbure de Gauss de la sphère en coordonnées de Gauss

Considérons un petit rectangle élémentaire sur la sphère de rayon R. Soit θ la colatitude et ϕ la longitude. Sa diagonale ds est, en vertu du théorème de Pythagore :

d s 2 = R 2 d θ 2 + R 2 sin 2 ( θ ) d ϕ 2 {\displaystyle \mathrm {d} s^{2}=R^{2}\,\mathrm {d} \theta ^{2}+R^{2}\sin ^{2}(\theta )\,\mathrm {d} \phi ^{2}}

La métrique de la sphère est diagonale, sans terme rectangle :

d s 2 = g θ θ d θ 2 + g ϕ ϕ d ϕ 2 = R 2 d θ 2 + R 2 sin 2 ( θ ) d ϕ 2 {\displaystyle \,\mathrm {d} s^{2}=g_{\theta \theta }\,\mathrm {d} \theta ^{2}+g_{\phi \phi }\,\mathrm {d} \phi ^{2}=R^{2}\,\mathrm {d} \theta ^{2}+R^{2}\sin ^{2}(\theta )\,\mathrm {d} \phi ^{2}}

La formule générale de la courbure de Gauss en coordonnées de Gauss pour une métrique diagonale :

K = 1 g θ θ g ϕ ϕ [ 1 2 ( g θ θ , ϕ ϕ + g ϕ ϕ , θ θ ) + g θ θ , ϕ 2 4 g θ θ + g ϕ ϕ , θ 2 4 g ϕ ϕ + g θ θ , θ g ϕ ϕ , θ 4 g θ θ + g ϕ ϕ , ϕ g θ θ , ϕ 4 g ϕ ϕ ] {\displaystyle K={\frac {1}{g_{\theta \theta }g_{\phi \phi }}}\left[-{\frac {1}{2}}\left(g_{\theta \theta ,\phi \phi }+g_{\phi \phi ,\theta \theta }\right)+{\frac {g_{\theta \theta ,\phi }^{2}}{4g_{\theta \theta }}}+{\frac {g_{\phi \phi ,\theta }^{2}}{4g_{\phi \phi }}}+{\frac {g_{\theta \theta ,\theta }g_{\phi \phi ,\theta }}{4g_{\theta \theta }}}+{\frac {g_{\phi \phi ,\phi }g_{\theta \theta ,\phi }}{4g_{\phi \phi }}}\right]}

se simplifie sur la sphère en éliminant les termes nuls :

K = 1 g θ θ g ϕ ϕ [ 1 2 ( 0 + g ϕ ϕ , θ θ ) + 0 + g ϕ ϕ , θ 2 4 g ϕ ϕ + 0 + 0 ] {\displaystyle K={\frac {1}{g_{\theta \theta }g_{\phi \phi }}}\left[-{\frac {1}{2}}\left(0+g_{\phi \phi ,\theta \theta }\right)+0+{\frac {g_{\phi \phi _{,}\theta }^{2}}{4g_{\phi \phi }}}+0+0\right]}

puis, en explicitant les coefficients de la métrique :

K = 1 R 4 sin 2 θ [ 1 2 × 2 R 2 ( sin θ cos θ ) , θ + 4 R 4 sin 2 θ cos 2 θ 4 R 2 sin 2 θ ] {\displaystyle K={\frac {1}{R^{4}\sin ^{2}\theta }}\left[-{\frac {1}{2}}\times 2R^{2}(\sin \theta \cos \theta )_{,\theta }+{\frac {4R^{4}\sin ^{2}\theta \cos ^{2}\theta }{4R^{2}\sin ^{2}\theta }}\right]}

et enfin en :

K = 1 R 2 sin 2 θ [ ( cos 2 θ sin 2 θ ) + sin 2 θ cos 2 θ sin 2 θ ] = 1 R 2 {\displaystyle K={\frac {1}{R^{2}\sin ^{2}\theta }}\left[-\left(\cos ^{2}\theta -\sin ^{2}\theta \right)+{\frac {\sin ^{2}\theta \cos ^{2}\theta }{\sin ^{2}\theta }}\right]={\frac {1}{R^{2}}}}

Le tenseur de Riemann de la sphère est

R θ ϕ θ ϕ = R 2 sin 2 θ {\displaystyle R_{\theta \phi \theta \phi }=R^{2}\sin ^{2}\theta }

Références

  1. a et b J. Lelong-Ferrand, J.-M. Arnaudiès, Cours de mathématiques, t. 3, Géométrie et cinématique, 2e éd., Dunod Université (1977), p. 493, 509
  2. (en) D. J. Struik, Lectures on Classical Differential Geometry, Dover, 1988.
  3. Bernard Schaeffer, Relativités et quanta clarifiés, Publibook, 2007.
  4. J. Lelong-Ferrand, J.-M. Arnaudiès, Cours de mathématiques, t. 3, Géométrie et cinématique, 2e éd., Dunod Université (1977), p. 511.
  5. J. Lelong-Ferrand, J.-M. Arnaudiès, Cours de mathématiques, t.3, Géométrie et cinématique, 2e éd., Dunod Université (1977), p. 509.
  6. (en) Kevin Brown, Reflections on Relativity, § 5.7 : Riemannian Geometry.
  7. (en) Erwin Kreyszig, Differential geometry, Dover, 1991.
  8. Michèle Audin, Géométrie, EDP Sciences, , 3e éd., 428 p. (ISBN 978-2-7598-0180-0, lire en ligne).

Voir aussi

v · m
Algèbre
Analyse
Théorie des nombres
Statistiques
Géométrie
Physique
v · m
Géométrie différentielle des courbes
Géométrie différentielle des surfaces
Géométrie riemannienne
Connexion
  • icône décorative Portail de la géométrie