Chapitre 2. Elments de la thorie locale des surfaces.

19

CHAPITRE 2. ELEMENTS DE LA THEORIE LOCALE DES SURFACES.

2.1. UNE SURFACE PARAMETREE DANS . PREMIERE ET SECONDE FORMES FONDAMENTALES.

Soient l'espace euclidien et S une surface dans . La surface S est dfinie par une carte (,r) o est un ouvert connexe de R2 et r le vecteur position, une fonction vectorielle de classe C2 dfinie sur ; les paramtres seront gnralement dsigns par les variables y1 et y2 :

r : (y1,y2) r(y1,y2) S.

a y2 r Une surface S et une carte ( , r)

a2

a1

S
0 y
1

Figure 2.1.1.

Les courbes dfinies par r({y= constante}) sont appeles courbes coordonnes de S. (y1,y2) forment les coordonnes curvilignes de la surface.

BASE COVARIANTE ET BASE CONTRAVARIANTE.

20

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

En tout point de S, on dfinit les vecteurs tangents la surface : (2.1.1) a = r, =

r y

et le vecteur normal unitaire : (2.1.2) a3 =

a1 a 2 a1 a 2

Ayant impos la rgularit C2 de la surface S (par la rgularit C2 de r) les vecteurs tangents a1 et a2 sont dfinis de faon unique ; on suppose de plus qu'ils ne sont jamais colinaires. 2.1.1. Dfinition - Le triplet (a1, a2, a3), indices en bas, forme un repre de R3 en chaque point de S. On l'appelle repre mobile de Gauss ou encore base covariante. La base covariante n'est, en gnral, pas un repre orthonorm ni mme orthogonal. C'est pourquoi, pour des commodits de calcul, on lui associe une base duale. 2.1.2. Dfinition. - Le triplet (a1, a2, a3), indices en haut, forme la base contravariante en tout point de la surface. Elle est dfinie par : (2.1.3)

< ai, aj > = ij .

o ij dsigne le symbole de Kronecker. Ainsi, tout vecteur v de R3 peut s'exprimer dans ces deux bases par ses composantes covariantes (indices en haut) : v = v1 a1 + v 2 a 2 + v 3 a 3 , ou par ses composantes contravariantes (indices en bas) : v = v1 a1 + v2 a 2 + v3 a 3 .

PREMIERE ET SECONDE FORMES FONDAMENTALES.

Dfinissons maintenant les deux premires formes fondamentales d'une surface. Ce sont des applications qui, tout point de la surface, associe une forme quadratique sur le plan tangent la surface. Soient M un point de S et TMS le plan tangent S en M :

Chapitre 2. Elments de la thorie locale des surfaces.

21

2.1.3. Dfinition. - IM, la premire forme fondamentale de la surface S en M est la forme quadratique sur TMS dont les coefficients (a) de sa reprsentation matricielle dans le repre (a1, a2, a3), sont donns par :

(2.1.4) Si bien que a = a.

a = < a , a >.

En chaque point M de la surface S, la premire forme fondamentale est dfinie comme le carr de la forme diffrentielle dr ; on note : I = dr.dr. On peut galement la dfinir, en chaque point, comme la restriction sur le plan tangent du produit scalaire euclidien (c'est dire la mtrique euclidienne) de . Elle induit une mtrique sur la surface. On la note frquemment ds2 (voir [Stoker,69]). X TMSR2, X = x1 a1 + x2 a2. IM(X) = (dr.dr)M (X) = < X , X > = < x1 a2 + x2 a2 , x1 a1 + x2 a2 > = x 1 x 1a11 + 2 x 1 x 2 a12 + x 2 x 2 a22 . 2.1.4. Dfinition. - IIM, la seconde forme fondamentale de la surface S est la forme quadratique sur TMS, dont les coefficients (b) de sa reprsentation matricielle dans le repre (a1, a2, a3) sont donns par : (2.1.5.) b = < -a3, , a > .

En drivant l'expression < a3 , a > = 0, on obtient : < a3, , a > + < a3 , a, > = 0, nous en dduisons que les coefficients b sont symtriques : (2.1.6) b = < a3 , a, >= b.

Ainsi pour tout point M de S, la seconde forme fondamentale est dfinie comme le produit scalaire des formes diffrentielles d(-a3).dr. X TMS, X = x1 a1 + x2 a2. IIM(X) = - (da3.dr)M (X) = - < x1 a3,1 + x2 a3,2 , x1 a1 + x2 a2 > = x 1 x 1b11 + 2 x1 x 2b12 + x 2 x 2b22 .

22

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

Aux coefficients des deux premires formes fondamentales, a et b, nous associons les coefficients : (2.1.7) (2.1.8) On voit facilement que (2.1.9) Si bien que (2.1.10)
aa = ,

a = < a , a >
b = - < a3, , a >.

a = a1a1 + a2a2.

c'est dire que (a) est la matrice inverse de (a). D'autre part, en faisant le produit scalaire des deux membres de la relation (2.1.9) par a3, nous obtenons : (2.1.11)
b = b a .

Les drives partielles de la base covariante (resp. contravariante) s'expriment alors dans la base covariante (resp. contravariante) l'aide de ces coefficients; ce sont les formules de Gauss et de Weingarten :
1 2 a , = a1 + a 2 + b a 3 a = 1 a1 2 a 2 b a 3 , 1 2 a 3, = b a1 + b a 2 = b1 a1 b 2 a 2 .

(2.1.12)

o les coefficients sont les symboles de Christoffel dfinis par: = =< a , a , > .

(2.1.13)

Etant donn un champ de vecteur u ( valeur dans R3) dfini sur une surface S (ou plutt sur ), nous pouvons exprimer ses drives partielles dans la base contravariante (resp. dans la base covariante) en fonction des composantes covariantes de u et de leurs drives partielles : u , = u1 a1 + u2 a 2 + u3 a 3 , = u1, a1 + u2 , a 2 + u3 , a 3 + u1 a1, + u 2 a 2 , + u3 a 3 , .

Chapitre 2. Elments de la thorie locale des surfaces.

23

Si bien qu'en dveloppant suivant les formules de Gauss et de Weingarten (2.1.12) et en regroupant suivant la base contravariante, nous avons l'expression : (2.1.14)
u , = u1 , 1 u b1 u3 a 1 + u2 , 2 u b2 u 3 a 2 + u 3 , b u a 3

Terminons cette section par des proprits intrinsques ( titre indicatif) des deux premires formes fondamentales d'une surface : 2.1.5. Proposition. - La premire et la deuxime forme fondamentale I et II sont des formes intrinsques la surface. Elles sont invariantes par changement de variables prservant l'orientation. L'origine de la dnomination des deux formes fondamentales provient du fait qu'elles suffisent dterminer toutes les proprits gomtriques de la surface considre, nous renvoyons par exemple [Klingenberg,81] : 2.1.6. Thorme fondamental de la thorie des surfaces. - Soit un ouvert connexe de R2, soient Iy et IIy deux formes quadratiques sur TyR2, y dont les coefficients a et a sont des fonctions diffrentiables de y. Si Iy est dfinie positive et que les coefficients a et b satisfont aux quations de Gauss et Codazzi-Mainardi(*) :
, + , + = b b b b a b, b , + b b = 0.

) (

Alors, il existe une surface S dont les premire et seconde formes fondamentales sont Iy et IIy ; de plus, S est unique modulo une isomtrie de R3.

2.2. UNE COURBE PARAMETREE SUR UNE SURFACE.

Soit S une surface dfinie par une carte (,r) comme prcdemment. Considrons une courbe C appartenant S. Il existe une carte (I, c) dfinissant C telle que :

(*)

Les quations de Gauss et Codazzi-Mainardi, pour une surface avec une carte donne (,r) sont quivalentes aux relations de compatibilit : r = r . a 3, = a 3,

24

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

c = ro : I S o = (1,2) est une application rgulire (C2) dfinie sur un intervalle I de R valeur dans . tant de classe C2, c l'est aussi. Dsignons par s le paramtre parcourant I. En supposant que C n'est pas une droite, on dfinit en tout point de C le vecteur unitaire tangent la courbe, si c' dsigne la drivation par rapport au paramtre s : (2.2.1)
y2

t = c / c ,
c t

S
0 y1

Une courbe C sur une surface S.

Figure 2.2.1.

la normale principale unitaire de la courbe : (2.2.2) n=

dt ds dt ds

et le vecteur binormal : (2.2.3) b = t n.

2.2.1. Dfinition. - Pour toute courbe C non-rectiligne, le triplet (t, n, b) forme en chaque point de C, une base orthonormale de appele tridre de Frenet. Etant donn le tridre de Frenet (t, n, b) d'une courbe C = ( I , c ) , nous avons les formules de Serret-Frenet : (2.2.4) dt dn db = k n, = k t + b, = n. ds ds ds

Les coefficients k et sont la courbure et la torsion de la courbe C.

Chapitre 2. Elments de la thorie locale des surfaces.

25

L'tude des courbes sur une surface donne une interprtation gomtrique des premire et seconde forme fondamentales. La premire forme fondamentale I mesure les longueurs (intrinsques) de la surface. Ce qui est naturel puisque I est dfinie comme la restriction du produit scalaire. Les coefficients de sa reprsentation matricielle apparaissent dans l'expression donnant la longueur d'un arc de courbe. D'un autre ct, en ce qui concerne la seconde forme fondamentale, II, elle mesure la courbure de la surface dans une direction. Nous avons les rsultats classiques suivants (voir par exemple [Klingenberg,81]) : 2.2.2. Proposition. - Soit C = ( I, c ) une courbe sur la surface S. La longueur d'arc L(c,s0,s1) entre c(so) et c(s1) est donne par :
so so

(2.2.5)

L(c, s o , s1 ) =

s1

c (s) ds = a < , , , >

s1

ds .

2.2.3. Proposition. - Soit C = (I , c) une courbe sur la surface S comme prcdemment. Soient s I et M = c(s) un point de C. Soit t la tangente unitaire la courbe C au point M, alors :

(2.2.6)

II c( s ) (t) = k < a 3 , n > .

2.2.4. Dfinition. - En tout point M de la courbe C, on dfinit : - le plan osculateur la courbe = [M, t, n], - le plan normal la courbe = [M, n, b], - le plan rectifiant la courbe = [M, b, t].
-b

Une courbe spatiale C le tridre de Frenet :

Les plans -osculateur -normal -rectifiant

(n,t) (n,b) (t,b)

Figure 2.2.2.

26

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

2.2.5. Remarque. - Le plan osculateur est dfini par les deux premires drives de c. C'est le plan contenant M et qui "passe par trois points conscutifs" de la courbe (comme la droite tangente est dfinie par la droite limite reliant deux points de la courbe qui tendent l'un vers l'autre).

2.3. COURBURE
ASYMPTOTIQUES.

TOTALE ET CLASSIFICATION DES SURFACES.

LIGNES

Nous venons de voir que la premire forme fondamentale mesure les longueurs d'une surface tandis que la seconde forme fondamentale mesure les courbures de la surface, c'est dire la "forme gomtrique". Nous prcisons cela par une classification des points d'une surface. Soit S une surface dfinie par une carte (, r). En tout point M de S, on dfinit la fonction qui tout vecteur X unitaire tangent S en M, associe le nombre : X IIM(X). Cette fonction atteint ses deux valeurs extrmales k1 et k2. appels courbures principales (maximale et minimale). Les directions X correspondantes sont appels directions principales. Notons que si X est une direction principale, alors -X l'est aussi. 2.3.1. Dfinition. - On appelle ligne de courbure toute courbe dont tous les vecteurs tangents sont proportionnels une direction principale. 2.3.2. Remarque. - En chaque point de la surface, nous avons l'alternative : - ou bien toute direction est direction principale (dans ce cas IIM est proportionnel IM), on dit que le point est un ombilic ( c'est par exemple le cas de tous les points d'une sphre ou d'un plan), - ou bien il existe exactement (au signe prs) deux directions principales, qui sont alors orthogonales. Les directions X pour lesquelles la fonction IIM s'annule (IIM (X) =0), et sur lesquelles les courbures changent ventuellement de signe) sont appeles directions asymptotiques. La notion de direction asymptotique conduit la classification des surfaces et sera d'une grande importance pour la suite de ce mmoire, en ce qui concerne

Chapitre 2. Elments de la thorie locale des surfaces.

27

des cas rigidification de surfaces (voir chapitre 4). Notons galement que si X est une direction asymptotique, alors - X l'est aussi. 2.3.3. Dfinition. - Une ligne asymptotique d'une surface S est une courbe dont chaque vecteur tangent est proportionnel une direction asymptotique. 2.3.4. Remarque. - D'aprs la proposition 2.2.3, une ligne asymptotique est, soit une courbe dont les plans osculateurs sont confondus avec les plans tangents la surface, soit une droite. 2.3.5. Remarque. - Les directions asymptotiques et les lignes asymptotiques d'une surface sont invariantes par changement de variables. Autrement dit, les directions asymptotiques et les courbes asymptotiques sont intrinsques la surface et ne dpendent pas du paramtrage choisi. Cela rsulte immdiatement de l'invariance de la seconde forme fondamentale par changement de variables. 2.3.6. Remarque. - De mme pour les direction asymptotiques et pour les mmes raisons, les directions principales et les lignes de courbures d'une surface sont invariantes par changement de variables. 2.3.7. Dfinition. - En chaque point d'une surface, on appelle courbure totale ou courbure de Gauss de la surface, le produit des deux courbures principales, on le note K. On appelle courbure moyenne en chaque point de la surface la somme des deux courbures principales, on le note H. (2.3.1) K = k1.k2, H = k1 + k2. Suivant le signe de la courbure de Gauss K, nous avons la classification usuelle d'un point M de la surface : Si K > 0 : les courbures principales de S passant par M sont de mme signe, et il n'y a pas de directions asymptotiques en M. La surface (du moins un voisinage de M) se trouve d'un mme cot du plan tangent. On dit que le point M est elliptique.

28

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

M Un point elliptique M.

Figure 2.3.1.

Si K < 0 : les courbures principales k1 et k2 sont de signe oppos. Le plan tangent traverse la surface suivant les deux directions (au signe prs) qui annulent la seconde forme fondamentale (ce sont les directions asymptotiques). On dit que le point est hyperbolique.
Directions asymptotiques. M M y2

Lignes definissant les lignes asymptotiques. y1

Figure 2.3.2.

Si K = 0 : k1 ou k2 s'annule, il y a deux possibilits : - k1 ou k2 0. Les courbures sont du mme signe. Le plan tangent "colle" la surface (linairement) le long de la direction principale de courbure nulle (qui est donc une direction asymptotique), on dit que le point est parabolique. - k1 et k2 sont nulles toutes les deux. Toutes les courbes passant par M ont une courbure nulle (i.e. IM0), on dit que le point est mplat ; une surface entirement constitue de points mplats est une surface plane (i.e. II 0).

Chapitre 2. Elments de la thorie locale des surfaces.

29

M Un point parabolique M.

Figure 2.3.3.

La courbure de Gauss K, a priori dfinie par la seconde forme fondamentale, peut tre obtenue par les dterminants des deux formes fondamentales : 2.3.8. Proposition. - Le signe de la courbure de Gauss K dpend du signe de det (II), et nous avons de plus : (2.3.2) K= det ( II) . det ( I)

Nous renvoyons [Klingenberg,81] pour une dmonstration de la proposition 2.3.8, mais il est possible de montrer que K et det (II) sont de mme signe sans avoir montrer la relation (2.3.2). La seconde forme fondamentale tant une forme quadratique, une direction asymptotique X=(a a1 + b a2) est une racine du polynme du second degr : (2.3.3) II(X)= a2 b11+ 2ab b12 + b2 b22 .

Nous avons alors la proposition : 2.3.9. Proposition. - Soit C une courbe de S, dfinie par la carte (I ,c = r[1(s),2(s)]). La courbe C est une ligne asymptotique de S si : (2.3.4) ( 1 ) 2 b11 ( 2 1 )b12 + ( ) 2 b22 = 0 . 2 2

30

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

L'existence de directions asymptotiques (relles) est donc subordonne au signe du discriminant rduit : = (b12)2 - b11b22 = - det (II). Suivant que est > 0, nul, ou < 0, il existe (au signe prs) respectivement, deux directions asymptotiques distinctes, une direction asymptotique double ( courbure nulle) ou aucune direction asymptotique relle. Si bien que le signe de la courbure de Gauss est gal au signe de - . Rcapitulons : 2.3.9. Proposition. - Soit S une surface comme prcdemment et M un point de S. - M est un point elliptique K > 0 det (IIM) > 0, il n'existe pas de direction asymptotique en M. - M est un point parabolique K = 0 det (IIM) = 0 et IIM 0, il existe une unique direction asymptotique (au signe prs). - M est un point hyperbolique K < 0 det (IIM) < 0, il existe uniquement deux directions asymptotiques distinctes (au signe prs). De faon analogue nous avons la classification usuelle d'une portion de surface : 2.3.10. Dfinition. - Soit S = (, r) une surface paramtre. On dira que S est uniformment hyperbolique, parabolique ou elliptique, suivant que det (II) ou K sont ngatifs, nuls ou positifs uniformment sur . Sur une surface elliptique, les directions asymptotiques sont complexes nonrelles, il n'y a donc pas de lignes asymptotiques, a fortiori. Sur une surface hyperbolique, on dtermine partir de (2.3.4), deux familles de lignes asymptotiques ; nous verrons dans la section qu'il est possible d'avoir une carte (,r) telle que les courbes coordonnes soient les lignes asymptotiques. Le cas d'une surface dont tous les points sont paraboliques est expos la section 5 de ce chapitre (cas des surfaces rgles). Naturellement, une surface peut contenir tout les types de points, comme par exemple dans le cas d'un vase qui peut tre considr comme constitu d'une premire

Chapitre 2. Elments de la thorie locale des surfaces.

31

partie hyperbolique (zone I) puis d'une partie cylindrique (zone II) , puis encore d'une partie hyperbolique (zone III) et enfin d'une partie elliptique (zone IV) :

Zone I : K<0, partie hyperbolique.

Zone II : K=0, partie parabolique (cylindrique). Un vase.

Zone III : K<0, partie hyperbolique.

Zone IV : K>0, partie elliptique.

Figure 2.3.4.

Remarquons que dans le cas du vase la surface est de classe C1 mais de classe C2 par morceaux seulement, en effet entre les zones III et IV (la ligne en pointill de la figure 2.3.4), la courbure totale K change de signe sans passer par 0.

2.4. COORDONNEES SPECIALES SUR UNE SURFACE.

Une proprit importante de la gomtrie des surfaces est la possibilit de choisir, selon la nature de la surface, une carte particulire telle que les coefficients de la seconde forme fondamentale ou les symboles de Christoffel se simplifient de manire adquate selon les besoins. Cette proprit dcoule de la rduction classique d'une forme quadratique :

32

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

2.4.1. Thorme. - Soit un ouvert connexe de R2 avec les paramtres y1 et y2 et soit F une forme quadratique dfinie sur : (2.4.1) F = ady1dy1 + 2 bdy1dy 2 + cdy 2 dy 2

o les coefficients a, b, c sont des fonctions continues sur . Si F est dfinie positive, i.e. ac-b2 > 0 uniformment sur , alors il existe un changement de variables 1(y1,y2) et 2(y1,y2) et une fonction continue sur telle que F s'crit, dans ces nouvelles variables : (2.4.2) F = d 1d 1 + d 2 d 2 .

Si -F est dfinie positive, i.e. ac-b2 < 0 uniformment sur , alors il existe un changement de variables 1(y1,y2) et 2(y1,y2) et une fonction continue sur telle que F s'crit, dans ces nouvelles variables : (2.4.3) F = d 1d 2 .

Nous renvoyons [Vekua] p. 76-101 ou [Courant et Hilbert] p. 155-160 pour une dmonstration du thorme 2.4.1. 2.4.2. Proposition. - Soit S une surface uniformment elliptique, il existe une carte de S (,r) telle que les coefficients de la seconde forme fondamentale se rduisent dans cette carte : (2.4.4) (2.4.5) b11 = b22 = aK , b12 = 0 ,

o K (>0) dsigne la courbure totale de S. On appelle les coordonnes d'une telle carte systme de coordonnes isomtriques conjugues. Preuve : Dans le cas d'une surface uniformment elliptique, par dfinition, la seconde forme fondamentale est une forme dfinie positive. Si bien que d'aprs le thorme 2.4.1, il existe un systme de coordonnes (,r) de S tel que la seconde forme fondamentale s'crive sous la forme (2.4.2).

Chapitre 2. Elments de la thorie locale des surfaces.

33

2.4.3. Proposition. - Soit S une surface uniformment hyperbolique, il existe une carte de S (,r) telle que les coefficients de la seconde forme fondamentale se rduisent dans cette carte : (2.4.6) (2.4.7) b11 = b22 = 0 , b12 0 .

Dans cette carte, les courbes coordonnes dfinissent les lignes asymptotiques de S. Preuve : Dans le cas d'une surface uniformment hyperbolique, par dfinition, la seconde forme fondamentale est une forme dfinie ngative. Si bien que d'aprs le thorme 2.4.2, il existe un systme de coordonne (,r) de S telle la seconde forme fondamentale s'crive sous la forme (2.4.3). D'autre part, (2.4.6) indique que les tangentes aux courbes coordonnes sont des directions asymptotiques, autrement dit les courbes coordonnes sont les lignes asymptotiques de S. Nous terminons cette section par un autre systme de coordonnes spciales, dite courbes principales, sans condition sur la nature gomtrique de la surface, dont nous renvoyons pour la dmonstration [Klingenberg,81], lemme 3.2.2 : 2.4.4. Proposition. - Soit S = (,r) une surface et M = r (yo) un point de S tel que les courbures principales ne sont pas gales en M (i.e. ce n'est pas un ombilic). Alors il existe un voisinage Yo de yo et un changement de variables : Xo Yo tels que les courbes coordonnes de r' = r o sont des lignes de courbure. 2.4.5. Remarque. - La premire forme fondamentale tant dfinie positive, d'aprs le theorme 2.4.1, il existe un systme de coordonnes, tel que la premire forme fondamentale s'crive sous la forme (2.4.2), c'est dire un systme de coordonnes orthogonales. Si bien que la proposition prcdente reste vraie mme si M est un ombilic.


2.5. CAS D'UNE SURFACE REGLEE.

2.5.1. Dfinition. - Une surface S est dite rgle si il existe une carte (,r) de S telle que


(2.5.1)

r(y1,y2) = c(y1) + y2g(y1).

34

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

O g(y1) est un champ de vecteur sur la courbe c(y1), qu'on peut choisir unitaire. Les courbes y1 constant sont des droites, ce sont les gnratrices de S. Les courbes y2 constant (par exemple la courbe c) sont appeles directrices.

Gnratrices

directrice

une surface rgle dveloppable

Figure 2.5.1.

2.5.2. Proposition. - Soit S une surface rgle dfinie comme en (2.5.1), alors les coefficients de la seconde forme fondamentale et les symboles de Christoffels se simplifient : (2.5.2) (2.5.3) b22 = 0 ,
22 = 0 .

Preuve : Pour une surface S rgle dfinie comme en (2.5.1) nous avons : a 2 ( y1 , y 2 ) = r,2 ( y 1 , y 2 ) = g( y1 ) d'o : a 2 ,2 ( y1 , y 2 ) = r,22 ( y 1 , y 2 ) = 0 et par d'aprs (2.1.6) et (2.1.13) (dfinitions des coefficients de la seconde forme fondamentale et des symboles de Christoffel de S), il vient immdiatement (2.5.2) et (2.5.3).


Chapitre 2. Elments de la thorie locale des surfaces.

35

La relation (2.5.2) indique que les courbes y1 constant, c'est dire les gnratrices, sont des lignes asymptotiques de S. Une surface rgle est donc de courbure totale K 0. 2.5.2. Dfinition. - Soit S une surface rgle. On dit que S est dveloppable si la normale unitaire S est constante le long des gnratrices. Autrement dit, une surface rgle S dfinie comme en (2.5.1) est dveloppable si et seulement si : a3,2 = 0. Si bien que d'aprs (2.1.6), nous avons de plus : (2.5.4) b12 = 0 ,
2

ce qui, d'aprs (2.5.2), entrane que : det (II) = b12 b11b22 = 0 , c'est--dire que la courbure totale K de S est nulle (proposition 2.3.9). Rsumons : 2.5.3. Proposition. - Soit S une surface rgle. i) Les gnratrices sont des lignes asymptotiques, d'o K0. ii) S est dveloppable si et seulement si K = 0, et si S est dfinie comme en (2.5.1), on a b22 = 0 , b12 = 0 et 22 = 0 . 2.5.4. Corollaire. - Une surface rgle non-dveloppable est hyperbolique. 2.5.5. Proposition. - Soient S une surface rgle non-dveloppable et (,r) une carte de S telle que les courbes coordonnes dfinissent les lignes asymptotiques de S. Comme dans la proposition 2.4.3, nous avons b11 = b22 = 0 . On suppose que les gnratrices de S sont les courbes y1 constant alors nous avons de plus : (2.5.5)
1 22 = 0 .


Preuve : Les gnratrices tant des droites, les tangentes aux gnratrices concident le long d'une gnratrice, si bien que nous avons : a 2 ,2 ( y1 , y 2 ) = c( y 1 ) a 2 ( y1 , y 2 ) o c est une fonction de la variable y1 dpendant de S. Ainsi nous avons :


1 22 = a 1 .a 2 ,2 = c a 1 .a 2 = 0 .

36

Daniel CHO, Thse de doctorat de l'universit Paris VI, 1995.

2.5.6. Exemples de surfaces dveloppables. 1 : Cylindre gnralis. C'est une surface dveloppable S qui peut tre dfinie par une carte (, r) avec r( y1 , y 2 ) = c( y1 ) + y 2 X o , o C = c(y1) une courbe plane et Xo un vecteur transversal au plan de C. 2 : cne. Soit x un point et X(y1) un champ de vecteur tel que X et X' sont linairement indpendants. Alors un cne de sommet x est une surface S = (, r) dfinie par r( y1 , y 2 ) = x + y 2 X( y1 ) . 3 : Dveloppable tangentielle. Soit C = c(y1) une courbe telle que c' et c'' sont linairement indpendants (i.e. C est une courbe gauche). La surface S = (, r) avec r( y1 , y 2 ) = c ( y1 ) + y 2 c ( y1 )
  

est la dveloppable des tangentes de C.

Figure 2.5.1. Les surfaces dveloppables ne sont pas toutes les surfaces courbure totale nulle. Il existe un exemple de surface K = 0 et qui n'est pas rgle, donc a fortiori nondveloppable, voir [klingenberg,81] exercice 3.9.4 p. 68-69, d'aprs un exemple d E. Heintze. Cependant si tout les points d'une surface sont paraboliques (ne contient pas de mplat), la surface est dveloppable. Par ailleurs les exemples de 2.5.4. sont en fait, a peu prs toute les surfaces dveloppables, cf. [Klingenberg,81], p. 59, proposition 3.7.9 et proposition 3.7.10.