Sie sind auf Seite 1von 47

Supercies

M. Eugenia Rosado Mara


Departamento de Matemtica Aplicada
Escuela Tcnica Superior de Arquitectura, UPM
Avda. Juan de Herrera 4, 28040-Madrid, Spain
E-mail: eugenia.rosado@upm.es

ndice
1 Representacin analtica de supercies 2
1.1 Representacin explcita o de Monge . . . . . . . . . . . . . . 6

2 Estudio local de una supercie 7


2.1 Plano tangente y recta normal en un punto de una supercie. 7
2.2 Primera forma fundamental . . . . . . . . . . . . . . . . . . . 9
2.2.1 Clculo de la expresin analtica de la primera forma
fundamental . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2.2 Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . 10
2.3 Segunda forma fundamental . . . . . . . . . . . . . . . . . . . 15
2.4 Curvatura normal . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4.1 Teorema de Meusnier (1779) . . . . . . . . . . . . . . . 17
2.4.2 Vector curvatura normal, vector curvatura tangencial
y clculo de la curvatura normal. . . . . . . . . . . . . 18
2.5 Naturaleza de los puntos de una supercie . . . . . . . . . . . 20
2.6 Curvaturas de una supercie . . . . . . . . . . . . . . . . . . . 21
2.6.1 Direcciones principales . . . . . . . . . . . . . . . . . . 21
2.6.2 Curvaturas principales . . . . . . . . . . . . . . . . . . 23
2.6.3 Curvatura de Gauss y curvatura media . . . . . . . . . 23
2.7 Lneas de curvatura y lneas asintticas . . . . . . . . . . . . . 26
2.8 Indicatriz de Dupin . . . . . . . . . . . . . . . . . . . . . . . . 29
2.9 Frmula de Euler . . . . . . . . . . . . . . . . . . . . . . . . . 33

1
3 Supercies regladas 34
3.1 Curvatura total de las supercies regladas . . . . . . . . . . . 36
3.2 Clasicacin de las supercies regladas . . . . . . . . . . . . . 38
3.3 Puntos singulares de una supercie reglada . . . . . . . . . . . 39
3.3.1 Puntos centrales . . . . . . . . . . . . . . . . . . . . . . 40
3.3.2 Arista de retroceso . . . . . . . . . . . . . . . . . . . . 41
3.4 Ejemplos y ejercicios . . . . . . . . . . . . . . . . . . . . . . . 43

4 Bibliografa 47

1 Representacin analtica de supercies


Denicin. Se dice que un subconjunto S R3 es una supercie parame-
2
trizada si existe un dominio D R y una aplicacin

~r : D R 2 ! R3 ;
~r(u; v) = (x(u; v); y(u; v); z(u; v)) ;

tal que Im ~r = S.
A la aplicacin ~r la denominamos representacin paramtrica de S.
!
Denicin. Se dice que un punto P 2 S con OP = ~r(u; v), es un punto
regular para la parametrizacin ~r si se verica: ~ru (u; v) ^ ~rv (u; v) 6= ~0 para
todo (u; v) 2 D, siendo

~ru (u; v) = (xu (u; v); yu (u; v); zu (u; v)) ;


~rv (u; v) = (xv (u; v); yv (u; v); zv (u; v)) :
@x
La notacin que utilizamos es: xu (u; v) = @u (u; v).
La condicin ~ru (u; v) ^ ~rv (u; v) 6= ~0 signica que los vectores ~ru (u; v),
~rv (u; v) son linealmente independientes; esto es,

xu (u; v) yu (u; v) zu (u; v)


rg = 2:
xv (u; v) yv (u; v) zv (u; v)

Si tenemos una aplicacin diferenciable,

~r : D R2 ! R3 ;
~r(u; v) = (x(u; v); y(u; v); z(u; v)) ;

2
!
con Im ~r = S R3 diremos que un punto P 2 S con OP = ~r (u0 ; v0 ), es un
punto singular de S si ~ru (u0 ; v0 ) ^ ~rv (u0 ; v0 ) = ~0.
Los puntos singulares pueden aparecer por la naturaleza de la supercie
o por la eleccin de la parametrizacin.

Ejemplo 1 Consideramos la semiesfera superior de radio r y centrada en


el origen; esto es, la semiesfera de ecuacin cartesiana:

x2 + y 2 + z 2 = r2 ; con z 0:

Consideramos la siguiente parametrizacin:

~r : [0; 2 ) (0; =2) ! R3 ;


~r( ; ) = (a cos sin ; a sin sin ; a cos ) ;

donde mide la longitud y la latitud. Se tiene:

~r ( ; ) = ( a sin sin ; a cos sin ; 0) ;


~r ( ; ) = (a cos cos ; a sin cos ; a sin ) ;

~r ( ; ) ^ ~r ( ; ) = a2 cos sin2 ; a2 sin sin2 ; a2 sin cos


= a2 sin (cos sin ; sin sin ; cos ) :

Por tanto, ~r ( ; ) ^ ~r ( ; ) = ~0 si y slo si sin = 0; esto es, si y slo si


= 0. Luego, la parametrizacin que tenemos es regular.

Ejemplo 2 Consideramos el semicono circular de ecuacin cartesiana:

x2 + y 2 z 2 = 0; con z 0:

Podemos considerar la siguiente parametrizacin:

~r : [0; 2 ) [0; +1) ! R3 ;


~r( ; t) = (t cos ; t sin ; t) :

Se tiene:

~r ( ; t) = ( t sin ; t cos ; 0) ;
~rt ( ; t) = (cos ; sin ; 1) ;

3
y

~r ( ; t) ^ ~rt ( ; t) = t cos ; t sin ; t sin2 t cos2


= (t cos ; t sin ; t) :

Por tanto, ~r ( ; t) ^ ~rt ( ; t) = ~0 si y slo si t = 0. En el punto P = (0; 0; 0)


es un punto singular y no podemos denir el plano tangente al cono en dicho
punto. Ntese tambin que el punto P es un punto mltiple para dicha
parametrizacin ya que:
!
~r( ; 0) = OP ; 8 2 [0; 2 ):

Ejemplo 3 Supercie de revolucin. Consideramos la supecie generada


al girar alrededor del eje OZ la curva de ecuacin z = f (x), donde f es
una funcin continua con derivadas continuas de todo orden, contenida en el
plano y = 0.
Primero parametrizamos la curva que tenemos. En este caso una para-
metrizacin de la curva con ecuacin z = f (x) es: ~s(u) = (u; 0; f (u)), con
u 2 R. La matriz del giro de ngulo alrededor del eje OZ es:
0 1
cos sin 0
@ sin cos 0 A:
0 0 1

Al girar la curva dada alrededor del eje OZ obtenemos:


0 10 1 0 1
cos sin 0 u u cos
@ sin cos 0 A@ 0 A = @ u sin A , con 2 [0; 2 ):
0 0 1 f (u) f (u)

Por tanto, una representacin paramtrica de dicha supercie viene dada por:

~r : (0; +1) [0; 2 ) ! R3 ;


~r(u; ) = (u cos ; u sin ; f (u)) :

Se tiene:

~ru (u; ) = (cos ; sin ; f 0 (u)) ;


~r (u; ) = ( u sin ; u cos ; 0) :

4
Por tanto,

~ru (u; ) ^ ~r (u; ) = ( uf 0 (u) cos ; uf 0 (u) sin ; u) 6= ~0

pues u 6= 0. Luego el punto P con coordenadas (0; 0; f (0)) es un punto


singular. Ntese que el punto P es un punto mltiple para dicha parame-
trizacin ya que:

~r(u; ) = (0; 0; f (0)) para todo 2 [0; 2 ):

Ejemplo 4 Toro. Supercie generada al girar alrededor del eje OZ una


circunferencia de centro (0; b; 0) y radio a con a < b. Vase la siguiente
gura:

Por ejemplo, consideremos la circunferencia de centro C = (0; 2; 0) y radio 1.

z 4

-4 -2 2 4
y
-2

-4

5
Parametrizamos primero dicha circunferencia. Un punto de la circunferencia
es de la forma: (0; 2 + cos ; sin ) con 2 [0; 2 ). Al girarlo alrededor del
eje OZ obtenemos:
0 10 1 0 1
cos sin 0 0 sin (cos + 2)
@ sin cos 0 A @ 2 + cos A = @ cos (cos + 2) A ,
0 0 1 sin sin

con 2 [0; 2 ). Hemos obtenido la siguiente parametrizacin del toro:

~r : [0; 2 ) [0; 2 ) ! R3 ;
~r( ; ) = ( sin (cos + 2) ; cos (cos + 2) ; sin ) :

Esto es,

x( ; ) = sin (cos + 2) ;
y( ; ) = cos (cos + 2) ;
z( ; ) = sin :
p
Teniendo en cuenta: cos = 1 sin2 obtenemos:

x2 + y 2 = (cos + 2)2 = cos2 + 4 cos + 4


p
= 1 sin2 + 4 1 sin2 + 4
p
= 5 z2 + 4 1 z2:

Por tanto,
2
x2 + y 2 + z 2 5 = 16 1 z2
es la ecuacin implcita del toro.

1.1 Representacin explcita o de Monge


Una supercie S puede venir dada por una ecuacin F (x; y; z) = 0 donde F
es una funcin diferenciable con derivadas parciales continuas de todo orden;
esto es,
S = (x; y; z) 2 R3 j F (x; y; z) = 0 :
Si Fz (x0 ; y0 ; z0 ) 6= 0 por el Teorema de la funcin implcita sabemos que existe
un entorno del punto P = (x0 ; y0 ; z0 ) de manera que en ese entorno podemos

6
ver la supercie como la grca de una funcin f (x; y), con (x; y) 2 D. Esto
es, tenemos una representacin paramtrica de la supercie de la siguiente
forma:

~r : D R2 ! R 3 ;
~r(x; y) = (x; y; f (x; y)) :

Dicha representacin, en la que los parmetros son precisamenta las coorde-


nadas cartesianas, se denomina carta de Monge o representacin explcita de
S.

2 Estudio local de una supercie


Sea una supercie S R3 con representacin paramtrica regular

~r(u; v) = (x(u; v); y(u; v); z(u; v)) ; con (u; v) 2 D R2 ,


!
de clase mayor o igual a 3 y sea P 2 S con OP = ~r(u; v).

2.1 Plano tangente y recta normal en un punto de una


supercie.
Denicin. Decimos que un vector w ~ 2 R3 es tangente a la supercie S en
P si es tangente en P a una curva contenida en S.
Sea C una curva contenida en la supercie; C S. Por tanto, una
representacin paramtrica de C es:

~ (t) = ~r(u(t); v(t)) = (x(u(t); v(t)); y(u(t); v(t)); z(u(t); v(t))) :

Utilizando la regla de la cadena obtenemos:

~ 0 (t) = ~ru (u(t); v(t))u0 (t) + ~rv (u(t); v(t))v 0 (t):

Por tanto, cualquier vector tangente a la supercie S se escribe como com-


binacin lineal de los vectores ~ru (u; v), ~rv (u; v).
NOTA: Si el punto P es regular los vectores ~ru (u; v), ~rv (u; v) son lineal-
mente independientes y forman una base del plano tangente a S en P .

7
Fijados los parmetros v = v0 (resp. u = u0 ), a las curvas con parame-
trizaciones

~r(u; v0 ) = (x(u; v0 ); y(u; v0 ); z(u; v0 )) ; u 2 I;


(resp. ~r(u0 ; v) = (x(u0 ; v); y(u0 ; v); z(u0 ; v)) ; v 2 J),

las denominamos curvas paramtricas o coordenadas.


Denicin. El plano tangente a S en P es el plano que contiene a P y
est generado por los vectores ~ru (u; v), ~rv (u; v).
La ecuacin cartesiana del plano tangente a S en P es
!
det(P X; ~ru (u; v); ~rv (u; v)) = 0:

Denicin. La recta normal a la supercie en P es la recta ortogonal al


plano tangente a S en P .
El vector director de la recta normal en P es:

~ru (u; v) ^ ~rv (u; v):

Denicin. Llamamos vector normal unitario a la supercie S en el punto


P al vector:
~ (u; v) = ~ru (u; v) ^ ~rv (u; v) :
N
k~ru (u; v) ^ ~rv (u; v)k
Ntese que la ecuacin cartesiana del plano tangente a S en el punto P de
~ (u; v) = (N1 ; N2 ; N3 ) es
coordenadas (a; b; c) con N

N1 (x a) + N2 (y b) + N3 (z c) = 0:

Si la supercie S viene dada por una ecuacin implcita F (x; y; z) = 0,


con F 2 C 1 (R3 ), sabemos que el vector gradiente de F es ortogonal a las
supercies de nivel de F . Por tanto, el vector rF es un vector ortogonal al
plano tangente de la supercie. Por tanto, en este caso, la ecuacin del plano
tangente en P se puede escribir como sigue:
!
0 = rF (a; b; c) P X
= rF (a; b; c) (x a; y b; z c)
= Fx (a; b; c) (x a) + Fy (a; b; c) (y b) + Fz (a; b; c) (z c) :

Ejemplo. Vamos a hallar la ecuacin del plano tangente de la supercie con


ecuacin implcita z = x2 y 2 en el punto ( 1; 1; 0).

8
El vector gradiente de F (x; y; z) = z f (x; y) es: rF (x; y; z) = ( 2x; 2y; z).
Por tanto, la ecuacin del plano tangente a la supercie z = x2 y 2 en el
punto ( 1; 1; 0) es:

0 = rF ( 1; 1; 0) (x + 1; y 1; z)
= (2; 2; 1) (x + 1; y 1; z)
= 2(x + 1) + 2(y 1) + z.

2.2 Primera forma fundamental


Denicin. Llamamos primera forma fundamental de S en P a la forma
bilineal simtrica denida positiva IP asociada al producto escalar inducido
en el plano tangente a S en P por el producto escalar en R3 .

2.2.1 Clculo de la expresin analtica de la primera forma fun-


damental
Cualquier vector w
~ 2 TP S se escribe de la siguiente manera:

w
~ = h(u; v) ~ru (u; v) + k(u; v) ~rv (u; v);

siendo h; k 2 C 1 (D). Por simplicidad, escribiremos: w


~ = h ~ru + k ~rv .
Tenemos:

w
~1 w
~ 2 = (h1~ru + k1~rv ) (h2~ru + k2~rv )
= h1 h2~ru ~ru + (h1 k2 + h2 k1 )~ru ~rv + k1 k2~rv ~rv
E F h2
= (h1 ; k1 ) ;
F G k2
donde

E = ~ru ~ru = x2u + yu2 + zu2 > 0;


F = ~ru ~rv = xu xv + yu yv + zu zv ;
G = ~rv ~rv = x2v + yv2 + zv2 > 0:

Esto es,

IP : TP S TP S ! R;
E F h2
IP (w
~ 1; w
~ 2) = (h1 ; k1 ) ;
F G k2

9
siendo (h1 ; k1 ) (resp. (h2 ; k2 )) las coordenadas de w
~ 1 (resp. w
~ 2 ) en la base
(~ru ; ~rv ) de TP S. Ntese que IP es denida positiva pues teniendo en cuenta
las expresiones de los vectores ~ru ; ~rv y haciendo algunos clculos se obtiene:

E F
traza = E + G > 0;
F G
E F
det = EG F 2 = k~ru ^ ~rv k2 > 0:
F G

2.2.2 Aplicaciones
1. Clculo de la longitud de una curva contenida en la supercie.
Vamos a calcular la distancia entre dos puntos P = ~r(u0 ; v0 ) y Q =
~r(u1 ; v1 ) de la supercie. Consideramos una curva en la supercie S
con parametrizacin

~ (t) = ~r(u(t); v(t)) = (x(u(t); v(t)); y(u(t); v(t)); z(u(t); v(t)))

tal que en t0 estemos en el punto P y en t1 estemos en el punto Q, esto


es,

P = ~ (t0 ) = ~r(u(t0 ); v(t0 ));


Q = ~ (t1 ) = ~r(u(t1 ); v(t1 )):

Llamamos L la longitud de curva entre los puntos P y Q. Se tiene:


Z t1
L= k~ 0 (t)k dt:
t0

Como:
2
k~ 0 (t)k = (~ru u0 (t) + ~rv v 0 (t)) (~ru u0 (t) + ~rv v 0 (t))
2 2
= (u0 (t)) ~ru ~ru + 2u0 (t)v 0 (t)~ru ~rv + (v 0 (t)) ~rv ~rv
2 2
= E (u0 (t)) + 2F u0 (t)v 0 (t) + G (v 0 (t))
= I~r(t) (~ 0 (t); ~ 0 (t));

se tiene: Z t1
1=2
L= I~ (t) (~ 0 (t); ~ 0 (t)) dt:
t0

10
2. Clculo del ngulo que forman en P dos curvas C1 y C2 contenidas en
la supercie.
Sea w
~ 1 el vector tangente a C1 en P y sea w
~ 2 el vector tangente a C2
en P . El ngulo que forman las dos curvas C1 ; C2 es el ngulo que
forman sus respectivos vectores tangentes en P . Por tanto,

w
~1 w ~2 IP (w~ 1; w
~ 2)
cos = = 1=2
:
kw
~ 1 k kw
~ 2k IP (w
~ 1; w
~ 1 ) IP (w ~ 2 )1=2
~ 2; w

Las curvas C1 y C2 son ortogonales si = =2; esto es, si IP (w


~ 1; w
~ 2) =
0.
Si C1 y C2 son las curvas coordenadas; esto es, w
~ 1 = (1; 0) y w
~ 2 = (0; 1),
entonces,
F
cos = p :
EG
Por tanto, las curvas coordenadas son ortogonales si y slo si F = 0.

3. Clculo del rea de una regin de la supercie.


Consideramos la regin de la supercie limitada por las curvas coor-
denadas

~r(u0 ; v); ~r(u0 + u; v); ~r(u; v0 ); ~r(u; v0 + v):

El incremento de rea A de la regin viene dada por el producto de


las longitudes de sus lados por el seno del ngulo que forman, esto es,

A = k~ru (u0 ; v0 )k k~rv (u0 ; v0 )k sin u v


= k~ru (u0 ; v0 ) ^ ~rv (u0 ; v0 )k u v
p
= EG F 2 u v:

Por tanto, el rea de la regin puede calcularse mediante la siguiente


integral: Z Z p
A= EG F 2 dudv:

11
Ejemplos

1. Esfera. Consideramos la siguiente parametrizacin de la esfera de radio


1 y centro el origen de coordenadas:

~r( ; ) = (cos cos ; cos sin ; sin ) ; ( ; )2( =2; =2) [0; 2 ):

Se pide:

(a) Expresin de la primera forma fundamental.


Se tiene:

~r ( ; ) = ( sin cos ; sin sin ; cos ) ;


~r ( ; ) = ( cos sin ; cos cos ; 0) :

Por tanto,

E( ; ) = ~r ( ; ) ~r ( ; ) = sin2 cos2 + sin2 + cos2 = 1;


F ( ; ) = ~r ( ; ) ~r ( ; ) = sin cos cos sin sin sin cos cos = 0;
G( ; ) = ~r ( ; ) ~r ( ; ) = cos2 sin2 + cos2 = cos2 :

La matriz asociada a la primera forma fundamental en un punto


arbitario P = ~r( ; ) de la supercie es:

1 0
0 cos2

Como F = 0 las curvas coordenadas ~r( 0; ) (paralelo) y ~r( ; 0)


(meridiano) son ortogonales entre si.
(b) La longitud de la curva parmetro = 0.
La curva parmetro = 0 (meridiano = 0) tiene la siguiente
parametrizacin:

~r( ) = ~r( ; 0) = (cos cos 0; cos sin 0; sin ) ; 2 [0; 2 ):

Se tiene:

~r 0 ( ) = ~ru ( ; 0) = 1 ~ru ( ; 0) + 0 ~r ( ; 0 );

12
por tanto (1; 0) son las coordenadas del vector tangente ~r 0 ( ) en
la base f~r ( ; 0 ); ~r ( ; 0 )g y
1 0 1
I~r( ) (~r 0 ( ); ~r 0 ( )) = (1; 0) = 1:
0 cos2 0
Por tanto,
Z =2
L= 1dt = :
=2

(c) La longitud de la curva parmetro = 0 .


La curva parmetro = 0 (paralelo = 0) tiene la siguiente
parametrizacin:
~r( ) = ~r( 0; ) = (cos 0 cos ; cos 0 sin ; sin 0) ; 2[ =2; =2]:
Se tiene:
~r 0 ( ) = ~r ( 0; ) = 0 ~r ( 0; ) + 1 ~r ( 0; );
por tanto (0; 1) son las coordenadas del vector tangente ~r 0 ( ) en
la base f~r ( 0 ; ); ~r (u0 ; )g y
1 0 0
I~r( ) (~r 0 ( ); ~r 0 ( )) = (0; 1) = cos2 0:
0 cos2 0 1
Por tanto, Z 2
L= cos2 0 dt = 2 cos2 0:
0

2. Se considera la supercie formada por las rectas que se apoyan en la


hlice de ecuacin ~ (u) = (cos u; sin u; u), u 0, paralelas al plano
z = 0 y que se apoyan en el eje OZ. Vase la siguiente grca:

13
(a) Vamos a hallar una parametrizacin de dicha supercie.
Un punto X de la supercie satisface la siguiente ecuacin:
! ! !
OX = OP 0 + P 0 P

donde P 0 es el punto del eje OZ y P , P 0 estn en la recta que


se apoya en la hlice y en el eje OZ y que es paralela al plano
z = 0. Por tanto si P es el punto de la hlice con coordenadas
(cos u; sin u; u), las coordenadas de P 0 son (0; 0; u). se tiene:

~r(u; ) = (0; 0; u) + (cos u; sin u; 0)


= ( cos u; sin u; u) , con u 0 y 2 [0; 1].

(b) Veamos que ~r(u; ) es una parametrizacin regular. Se tiene:

~ru (u; ) = ( sin u; cos u; 1) ;


~r (u; ) = (cos u; sin u; 0) ;
~ru (u; ) ^ ~r (u; ) = ( sin u; cos u; );
p
k~ru (u; ) ^ ~r (u; )k = 1 + 2 6= 0;

por tanto, la parametrizacin es regular.


(c) Primera forma fundamental. Se tiene:

E(u; ) = ~ru (u; ) ~ru (u; ) = ( sin u; cos u; 1) ( sin u; cos u; 1)


= 1+ ;
F (u; ) = ~ru (u; ) ~r (u; ) = ( sin u; cos u; 1) (cos u; sin u; 0)
= 0;
G(u; ) = ~r (u; ) ~r (u; ) = ( sin u; cos u; 1) (cos u; sin u; 0)
= :

Por tanto,

IP : TP S TP S ! R;
1+ 0 a2
IP (w
~ 1; w
~ 2) = (a1 ; b1 ) ;
0 b2

con w
~ 1 = (a1 ; b1 ) y w
~ 2 = (a2 ; b2 ).

14
2.3 Segunda forma fundamental
En el estudio de curvas, la curvatura meda la tasa de variacin de la recta
tangente en el entorno de un punto de la curva. Extendemos esta idea al
estudio de supercies. Vamos a medir la distancia entre la supercie y el
plano tangente a la supercie en un punto P 2 S, en puntos de la supercie
prximos al punto P . Para ello vamos a estudiar cmo vara el campo normal
~ en un entorno del punto P .
unitario N
Sea una supercie S R3 con representacin paramtrica regular

~r(u; v) = (x(u; v); y(u; v); z(u; v)) , con (u; v) 2 D R2 ,


~ asigna a cada punto
de clase mayor o igual a 3. El campo normal unitario N
!
P de la supercie, con OP = ~r(u; v), su vector normal unitario; esto es,

~ : D ! R3 ;
N ~ (u; v) = ~ru (u; v) ^ ~rv (u; v) :
N
k~ru (u; v) ^ ~rv (u; v)k

Usaremos la notacin N ~ (u; v), N


~ P indistintamente. Y denotaremos DN ~ P (w)
~
~
a la derivada direccional de la aplicacin N en el punto P y en la direccin
del vector unitario w
~ tangente a la supercie en el punto P .
Derivando la identidad N ~P N ~ P = 1 en la direccin de un vector unitario
~ tangente a la supercie en el punto P , obtenemos:
w
~ P (w)
0 = 2DN ~ N~P ; con w
~ 2 TP S, kwk
~ = 1:

De donde se concluye que el vector DN ~ P (w)


~ es ortogonal al vector normal
~
NP , luego,
DN~ P (w)
~ 2 TP S;
~ P = TP S.
esto es, Im DN
Denicin. Llamamos segunda forma fundamental de S en P a la forma
cuadrtica IIP denida en TP S de la siguiente manera:

IIP : TP S ! R; IIP (w)


~ = ~ P (w)
DN ~ w:
~

Vamos a calcular la expresin analtica de la segunda forma fundamental en


la base f~ru (u; v); ~rv (u; v)g de TP S. Cualquier vector w
~ 2 TP S se escribe de
la siguiente manera:

w
~ = h(u; v) ~ru (u; v) + k(u; v) ~rv (u; v);

15
y
~ P (w)
DN ~ = rN~P w ~
~ u (u; v); N
= N ~ v (u; v) (h(u; v); k(u; v))
~ u (u; v) + k(u; v)N
= h(u; v)N ~ v (u; v):

Por simplicidad, escribiremos: w ~ P (w)


~ = h ~ru + k ~rv y DN ~u + k N
~ =hN ~ v.
Tenemos:

IIP (w)
~ = ~ P (w)
DN ~ w ~
= hN ~u + k N
~v (h ~ru + k ~rv )

= ~ u ~ru
h2 N ~ u ~rv + N
hk N ~ v ~ru ~ v ~rv
k2N
= Lh2 + 2M hk + N k 2 ;

donde

L = ~ru N ~ u = ~ruu ~;
N
2M = ~ru N~ v + ~rv ~ u = 2~ruv N
N ~;

N = ~ v = ~rvv N
~rv N ~:

Las frmulas anteriores se obtienen teniendo en cuenta: ~ru N ~ = 0 y ~rv N


~ = 0,
pues ~ru ; ~rv 2 TP S. Por tanto, derivando estas igualdades tenemos:

0= @ ~ = ~ruu N
~ru N ~ + ~ru N
~u
@u
~ru N ~ u = ~ruu ~;
N
0= @ ~ = ~ruv N
~ru N ~ + ~ru N
~v
@v ~ v + ~rv ~ u = 2~ruv N
~;
=) ~ru N N
0= @ ~ = ~rvu N
~rv N ~ + ~rv N
~u
@u ~ v = ~rvv
~rv N ~:
N
0= @ ~ = ~rvv N
~rv N ~ + ~rv N
~v
@v

Ejemplo Hallar la segunda forma fundamental del toro con parametrizacin:

~r : [0; 2 ) [0; 2 ) ! R3 ;
~r( ; ) = ((cos + 2) cos ; (cos + 2) sin ; sin ) :

16
Solucin. Se tiene:

~r ( ; ) = ( sin cos ; sin sin ; cos ) ;


~r ( ; ) = ( (cos + 2) sin ; (cos + 2) cos ; 0) ;

~r ( ; ) ^ ~r ( ; )
= ( cos (cos + 2) cos ; cos (cos + 2) sin ; sin (cos + 2)) ;

k~r ( ; ) ^ ~r ( ; )k = cos + 2;
luego

~ ( ; ) = ~r ( ; ) ^ ~r ( ; ) = ( cos cos ;
N cos sin ; sin ) :
k~r ( ; ) ^ ~r ( ; )k
Y

~r ( ; ) = ( cos cos ; cos sin ; sin ) ;


~r ( ; ) = (sin sin ; sin cos ; 0) ;
~r ( ; ) = ( (cos + 2) cos ; (cos + 2) sin ; 0) ;

por tanto,

L( ; ) = ~r ( ; ) N~ ( ; ) = 1;
~ ( ; ) = 0;
M ( ; ) = ~r ( ; ) N
~ ( ; ) = cos (cos
N ( ; ) = ~r ( ; ) N + 2) :

Luego,
IIP (h; k) = h2 + cos (cos + 2) k 2 :

2.4 Curvatura normal


Se tiene el siguiente resultado:

2.4.1 Teorema de Meusnier (1779)


Sea C una curva sobre una supericie S y sea P un punto de la curva. Entonces
la curvatura k de C en P y la curvatura kN de la seccin normal de la
supercie con el plano que contiene al punto P y tiene como vectores

17
directores el vector normal a la supercie y el vector tangente a en P ,
satisfacen la siguiente relacin:
kN = k cos
donde es el ngulo que forma el plano osculador de en P y e plano .
Se denomina curvatura normal en un punto P de la supercie en la di-
reccin de la curva C con parametrizacin natural ~ (s) a
kN (s) = ~k(s) N
~ P = k(s)~n(s) N
~P :

Nota. Todas las curvas sobre la supercie que tienen la misma recta
tangente en el punto P , tienen la misma curvatura normal en P .

2.4.2 Vector curvatura normal, vector curvatura tangencial y cl-


culo de la curvatura normal.
Sea S una supercie con parametrizacin ~r(u; v) y sea C una curva contenida
en la supercie con parametrizacin natural:
~ (s) = ~r(u (s) ; v (s)), con s 2 I R,
!
y sea P un punto arbitrario de la curva; esto es, OP = ~ (s).
Se tiene:
~t(s) = ~ 0 (s);
~k(s) = ~t 0 (s) = k(s)~n(s); vector curvatura de C en P:

Descomponemos el vector curvatura de la siguiente manera:


(
~kN (s) = ~k(s) N ~P N ~P ;
~k(s) = ~kN (s) + ~kg (s) donde
~kg (s) = ~k(s) ~kN (s):

Llamamos vector curvatura normal a la proyeccin del vector curvatura sobre


~ P de la supercie; esto es,
el vector curvatura normal N
~kN (s) = ~k(s) N
~P N
~P :

Y llamamos vector curvatura tangencial o geodsica al vector ~kg (s). Derivando


~ P = 0 obtenemos:
la identidad ~t(s) N
~ ~
~ P + ~t(s) dNP = kN (s) + ~t(s) dNP ;
0 = ~t 0 (s) N
ds ds
18
donde dN ~ P =ds es la derivada del campo N ~ en el punto P en la direccin del
0
vector ~r (s); esto es,
dN~P
= DN ~ P (~ 0 (s))
ds
con
~ 0 (s) = ~ru (u (s) ; v (s))u0 (s) + ~rv (u (s) ; v (s))v 0 (s):
Por tanto,

dN~P
kN (s) = ~t(s)
ds
= DN~ P (~ 0 (s)) ~ 0 (s) = IIP (~ 0 (s)) :

Si
~ (t) = ~r(u (t) ; v (t)), con t 2 J R,
es una parametrizacin arbitraria de la curva C, entonces, el vector ~ 0 (t) no
es unitario y se verica la siguiente igualdad:

IIP ~ 0 (t)
kN (t) = :
IP ~ 0 (t); ~ 0 (t)

Obsrvese que kN (t) slo depende de la direccin del vector tangente a la


curva en el punto P .
Se puede hablar de curvatura normal a una supercie en un punto P en
la direccin de un vector w
~ 2 TP S; esto es,

IIP (w)
~
kN (w)
~ = :
IP (w;
~ w)
~

Nota. Si las coordenadas del vector w ~ 2 TP S en la base f~ru (u; v); ~rv (u; v)g
de TP S son (h(u; v); k(u; v)) entonces usaremos tambin la notacin:

IIP ((h; k))


kN (h; k) = ;
IP ((h; k))

donde h = h(u; v), k = k(u; v).

19
2.5 Naturaleza de los puntos de una supercie
Vamos a estudiar la posicin de la supercie con respecto a su plano tangente.
El vector ~kN (u; v) = kN (u; v)N
~ P tiene la direccin del vector normal a la
!
supercie en el punto P con OP = ~r(u; v) y su sentido depende del signo de
la curvatura normal. Teniendo en cuenta la primera forma fundamental es
denida positiva, el signo de la curvatura normal depende nicamente de la
segunda forma fundamental. La matriz de la segunda forma fundamental es:

L M
M N

y su determinante es: = LN M 2 . Se tiene:

> 0 Entonces IIP es denida (o positiva o negativa). Por lo tanto no hay


ninguna direccin en la que kN se anule (todos los autovalores de la
matriz de IIP tienen el mismo signo). La curvatura normal tiene signo
constante en un entorno del punto P . En un entorno de P la supercie
est en uno de los semiespacios que determina el plano tangente a S en
P . El punto P se dice que es un punto elptico.

= 0 Y suponemos que L; M; N no se anulan simultneamente. Por tanto,


= LN M 2 = 0 nos indica que la matriz de IIP tiene un autovalor
= 0; esto es, existe una direccin a lo largo de la cual kN = 0. En
este caso el punto de contacto de la supercie con el plano tangente se
dice que es un punto parablico.

< 0 Entonces IIP es indenida. Por lo tanto la matriz de IIP tiene un


autovalor positivo y otro negativo; esto es, existe una direccin a lo
largo de la cual kN > 0 y otra a lo largo de la cual kN < 0. El plano
tangente a S en P interseca a la supercie en dos direcciones. El punto
P se dice que es un punto hiperblico.

Ejemplo Clasicar los puntos del toro con parametrizacin:

~r : [0; 2 ) [0; 2 ) ! R3 ;
~r( ; ) = ((cos + 2) cos ; (cos + 2) sin ; sin ) :

20
Solucin. Teniendo en cuenta que la matriz de la segunda forma funda-
!
mental de S en un punto P , con OP = ~r( ; ), es:

1 0
0 cos (cos + 2)

se tiene:
1 0
= det = cos (cos + 2) :
0 cos (cos + 2)

Como cos + 2 > 0, el signo de depende del signo de cos .


Si 2 [0; =2) [ (3 =2; 2 ], entonces > 0 y los puntos son elpticos.
Si 2 f =2; 3 =2g, entonces = 0 y los puntos son parablicos.
Si 2 ( =2; 3 =2) entonces < 0 y los puntos son hiperblicos.

2.6 Curvaturas de una supercie


De todas las direcciones del plano tangente a la supercie S en un punto P ,
es interesante determinar aquellas en las que la curvatura normal en el punto
alcanza sus valores extremos.

2.6.1 Direcciones principales


Denicin. Se llaman direcciones principales de S en P a las direcciones del
plano tangente a S en P en las que la curvatura normal toma sus valores
extremos. A las curvaturas coorespondientes las denominaremos curvaturas
principales.
Vamos a hallar las direcciones principales de una supercie S en un punto
P con curvatura normal:
IIP ((h; k)) Lh2 + 2M hk + N k 2
kN ((h; k)) = = :
IP ((h; k)) Eh2 + 2F hk + Gk 2

En las direcciones ~v = (h; k) 2 TP S principales se debe cumplir:

@kN 2
0 = (h; k) = ((Lh + M k) kN (Eh + F k)) ;
@h IP ((h; k))
@kN 2
0 = (h; k) = ((M h + N k) kN (F h + Gk)) :
@k IP ((h; k))

21
Por tanto las direcciones principales (h; k) 2 TP S deben satisfacer el siguiente
sistema de ecuaciones:
(L kN E) h + (M kN F ) k = 0;
(1)
(M kN F ) h + (N kN G) k = 0:
El sistema (1) se puede escribir de la siguiente forma:
Lh + M k = kN (Eh + F k) ;
M h + N k = kN (F h + Gk) :
Por tanto,
Lh + M k Mh + Nk
kN = = ;
Eh + F k F h + Gk
equivalentemente,
0 = (F N GM ) k 2 (GL N E) hk + (EM F L) h2
esto es,
k2 hk h2
0= E F G
L M N
Tomando la direccin (1; = h=k) tenemos:
2
0 = (F N GM ) (GL N E) + (EM F L) :
Si F N GM 6= 0, las soluciones 1 ; 2 de esta ecuacin de segundo grado
en nos da las dos direcciones principales: (1; 1 ), (1; 2 ). Se demuestra que
los vectores (1; 1 ), (1; 2 ) son ortogonales; esto es,
IP ((1; 1 ); (1; 2 )) = E + F ( 1 + 2) + G 1 2
GL N E EM FL
= E+F +G
F N GM FN GM
= 0:
Denicin. Un punto P 2 S se dice umbilical si las formas fundamentales
en l son proporcionales; equivalentemente, si
L M N
= kN =
= :
E F G
En los puntos umbilicales todas las direcciones se pueden considerar princi-
pales. Un caso particular de punto umbilical es un punto plano, en el que
se anula la segunda forma fundamental y, por tanto, kN = 0 en cualquier
direccin.

22
2.6.2 Curvaturas principales
Vamos a hallar las curvaturas principales de una supercie S en un punto P .
Tomando la direccin (1; ) la ecuacin
Lh + M k Mh + Nk
kN (h; k) = = ;
Eh + F k F h + Gk
se escribe:
L+M M +N (L + M ) kN (E + F ) = 0
kN (1; ) = = ()
E+F F +G (M + N ) kN (F + G ) = 0
y eliminando en el sistema anterior obtenemos:
EG F 2 kN
2
(EN + GL 2F M ) kN + LN M2 = 0
esto es,
E F E M L F L M
k2 + kN + =0
F G N F N M G M N
cuyas soluciones k1 , k2 son las curvaturas principales.
El discriminante de la ecuacin anterior es siempre mayor o igual que
cero, y por tanto, las soluciones de dicha ecuacin siempre son reales.

2.6.3 Curvatura de Gauss y curvatura media


Denicin. Se denomina curvatura de Gauss o total de una supercie S en
un punto P 2 S al producto de las curvaturas principales; esto es,
LN M 2
K = k1 k2 = :
EG F 2
Teniendo en cuenta EG F 2 > 0 se deduce que el signo de la curvatura total
depende del signo de LN M 2 . Se tiene:
1. Un punto P de la supercie es elptico si y slo si K > 0.
2. Un punto P de la supercie es parablico si y slo si K = 0.
3. Un punto P de la supercie es hiperblico si y slo si K < 0.
Denicin. Se denomina curvatura media de una supercie S en un punto
P 2 S a la media aritmtica de las curvaturas principales; esto es,
k1 + k 2 1 EN + GL 2F M
km = = :
2 2 EG F 2

23
Ejemplo Se considera la siguiente parametrizacin del toro:

~r : [0; 2 ) [0; 2 ) ! R3 ;
~r( ; ) = ((cos + 2) cos ; (cos + 2) sin ; sin ) :

Se pide:

1. Curvatura normal en el punto P de coordenadas (2; 0; 1).

2. Direcciones principales en el punto P .

3. Curvaturas principales en el punto P .

4. Curvatura de Gauss en el punto P .

5. Curvatura media en el punto P .

Solucin.
El punto P se alcanza para los valores de los parmetros = =2 y = 0.
Tenemos:

~r ( ; ) = ( sin cos ; sin sin ; cos ) ;


~r ( ; ) = ( (cos + 2) sin ; (cos + 2) cos ; 0) ;

~ ( ; ) = ~r ( ; ) ^ ~r ( ; ) = ( cos cos ;
N cos sin ; sin ) :
k~r ( ; ) ^ ~r ( ; )k

Por tanto,

E( ; ) = ~r ( ; ) ~r ( ; ) = 1;
F ( ; ) = ~r ( ; ) ~r ( ; ) = 0;
G( ; ) = ~r ( ; ) ~r ( ; ) = (cos + 2)2 ;

L( ; ) = ~r ( ; ) N~ ( ; ) = 1;
~ ( ; ) = 0;
M ( ; ) = ~r ( ; ) N
~ ( ; ) = cos (cos
N ( ; ) = ~r ( ; ) N + 2) :

24
Por tanto, la matriz de la primera forma fundamental de S en un punto
P es:
E ( =2; 0) F ( =2; 0) 1 0
=
F ( =2; 0) G ( =2; 0) 0 4
y la matriz de la segunda forma fundamental de S en un punto P es:
L ( =2; 0) M ( =2; 0) 1 0
= :
M ( =2; 0) N ( =2; 0) 0 0
La curvatura normal en la direccin del vector w ~ 2 TP S con coordenadas
(h; k) es:
IIP (h; k) h2
kN (h; k) = = 2 :
IP (h; k) h + 4k 2
Las direcciones principales (1; ) en P son las soluciones de la ecuacin:
2
1
0= 1 0 4 = 4 =) = 0.
1 0 0
Si tomamos el vector de coordenadas ( ; 1), entonces la ecuacin se escribe:
2
1
0= 1 0 4 = 4 =) = 0.
1 0 0
Por tanto, las direcciones principales son las de los vectores de coordenadas
(1; 0) y (0; 1).
Las curvaturas principales son:
IIP (1; 0)
kN (1; 0) = = 1;
IP (1; 0)
IIP (0; 1)
kN (0; 1) = = 0:
IP (0; 1)
Si consideramos la ecuacin de las curvaturas principales:
1 0 2 1 0 1 0 1 0
k + kN + =0
0 4 N 0 0 0 4 0 0
obtenemos:
kN = 1
4 (kN 1) kN = 0 =)
kN = 0
La curvatura de Gauss es el producto de las curvaturas principales: k1 k2 = 0
y la curvatura media es (k1 + k2 ) =2 = 1=2.

25
2.7 Lneas de curvatura y lneas asintticas
Denicin. Una curva C contenida en una supercie S se denomina lnea
de curvatura si la direccin del vector tangente en cada uno de sus puntos
coincide con la direccin principal en ese punto.
Vase el siguiente grco en el que se muestran las lneas de curvatura en
el punto (0; 0; 0) de la supercie con ecuacin z = x2 y 2 :

Sea S una supercie con parametrizacin ~r(u; v) y sea C una curva con-
tenida en la supercie con parametrizacin:
~ (t) = ~r(u (t) ; v (t)), con t 2 I R,
!
y sea P un punto arbitrario de la curva; esto es, OP = ~ (t). La curva C es
una lnea de curvatura si las coordenadas (u0 (t) ; v 0 (t)) del vector ~ 0 (t) en
la base f~ru (u (t) ; v (t)), ~rv (u (t) ; v (t))g de TP S son solucin de la siguiente
ecuacin diferencial:
2 2
0 = (F N GM ) (v 0 (t)) (GL N E) u0 (t) v 0 (t) + (EM F L) (u0 (t))
esto es,
(v 0 (t))2 u0 (t) v 0 (t) (u0 (t))2
0= E F G
L M N
Denicin. Una direccin se denomina asinttica respecto a un punto P de
S si se anula en ella la segunda forma fundamental en P ; esto es, la direccin
del vector w
~ = (h; k) es asinttica si
IIP (h; k) = 0:

26
Denicin. Una curva C contenida en una supercie S se denomina
lnea asinttica si la direccin del vector tangente en cada uno de sus puntos
coincide con una direccin asinttica.
La curva C es una lnea asinttica si las coordenadas (u0 (t) ; v 0 (t)) del
vector ~ 0 (t) en la base f~ru (u (t) ; v (t)), ~rv (u (t) ; v (t))g de TP S son solucin
de la siguiente ecuacin diferencial:
2 2
0 = L (u0 (t)) + 2M u0 (t)v 0 (t) + N (v 0 (t)) :

Ejemplo Se considera la supercie con parametrizacin:

~r : R2 ! R3 ; ~r(u; v) = u; v; u2 v2 :

Se pide:

1. Clasicar los puntos de la supercie.

2. Curvatura normal y curvaturas principales en el punto P de coorde-


nadas (0; 0; 0).

3. Lneas de curvatura en el punto P .

4. Lneas asintticas en el punto P .

Solucin. Tenemos:

~ru (u; v) = (1; 0; 2u) ;


~rv (u; v) = (0; 1; 2v) ;

N~ (u; v) = ~ru (u; v) ^ ~ru (u; v) = p 1


( 2u; 2v; 1)
k~ru (u; v) ^ ~ru (u; v)k 4u2 + 4v 2 + 1
~ruu (u; v) = (0; 0; 2) ;
~ruv (u; v) = (0; 0; 0) ;
~rvv (u; v) = (0; 0; 2) :

27
Por tanto,
E(u; v) = ~ru (u; v) ~ru (u; v) = 1 + 4u2 ;
F (u; v) = ~ru (u; v) ~rv (u; v) = 4uv;
G(u; v) = ~rv (u; v) ~rv (u; v) = 1 + 4v 2 ;
~ (u; v) = p 2
L(u; v) = ~ruu (u; v) N ;
4u2 + 4v 2 + 1
~ (u; v) = 0;
M (u; v) = ~ruv (u; v) N
~ (u; v) = p 2
N (u; v) = ~rvv (u; v) N :
4u2 + 4v 2 + 1
La matriz de la segunda forma fundamental en un punto arbitrario P de la
supercie es:
1 + 4u2 4uv
:
4uv 1 + 4v 2
La matriz de la segunda forma fundamental en un punto arbitrario P de la
supercie es: !
2
p
2 2
4u +4v +1
0
2 :
0 p
4u2 +4v 2 +1

El determinante L(u; v)N (u; v) M (u; v)2 < 0, por tanto, todos los puntos
de la supercie son puntos hiperblicos.
La curvatura normal en el punto P = ~r(0; 0) en la direccin de un vector
(h; k) es:
2h2 2k 2
kN (h; k) = 2
h + k2
Si suponemos (h; k) = (cos ; sin ) tenemos:
kN (cos ; sin ) = 2 cos2 sin2 = 2 cos 2 :
Por tanto, kN toma el valor mximo 2 para = 0; , en la direccin de los
vectores (1; 0) y ( 1; 0), y kN toma el valor mnimo 2 para = =2; 3 =2,
en la direccin de los vectores (0; 1) y (0; 1).
Para 2 ( =4; =4) [ (3 =4; 5 =4), la curvatura normal es positiva.
Para 2 ( =4; 3 =4) [ (5 =4; 7 =4), la curvatura normal es negativa.
Para = =4; 3 =4, la curvatura normal es cero. Por tanto, las direc-
ciones asintticas son:
p p
(cos =4; sin =4) = ( 2=2; 2=2);
p p
(cos 3 =4; sin 3 =4) = ( 2=2; 2=2):

28
La ecuacin diferencial de las lneas de curvatura en P es:
(v 0 (t))2 u0 (t)v 0 (t) (u0 (t))2
0= 1 0 1 = 4u0 (t)v 0 (t)
2 0 2
Esto es, u0 (t) = 0 v 0 (t) = 0. Por tanto, las lneas de curvatura son u(t) = u0
v(t) = v0 , con u0 y v0 constantes. Como estamos en el punto P = ~r(0; 0),
tenemos u(0) = 0 y v(0) = 0, por tanto, las lneas de curvatura son:
~r(0; v) = 0; v; v2 ;
~r(u; 0) = u; 0; u2 :
La ecuacin diferencial de las lneas asintticas en P es:
2 2
0 = 2 (u0 (t)) 2 (v 0 (t)) =) 0 = u0 (t) + v 0 (t) 0 = u0 (t) v 0 (t)
Integrando obtenemos: u(t) = v(t) + k. Como u(0) = v(0) = 0, se tiene:
u = v. Las lneas asintticas son:
~r(u; u) = (u; u; 0)
~r(u; u) = (u; u; 0)

2.8 Indicatriz de Dupin


Vamos a estudiar la curvatura normal de una supercie en un punto P de
la supercie. Supongamos que en un entorno del punto P tenemos una
parametrizacin de Monge de la supercie de la forma:
~r(u; v) = (u; v; f (u; v)) ;
con fu (u; v) = fv (u; v) = 0. En este caso se tiene:
~ru (u; v) = (1; 0; 0) ;
~rv (u; v) = (0; 1; 0) ;
N~ (u; v) = (0; 0; 1) :

Estamos suponiendo que la supercie est situada de manera que el punto P


sea el origen de coordenadas y el plano tangente a la supercie en el punto
P sea el plano z = 0. Se tiene: E = 1;, F = 0, G = 0 y
Lh2 + 2M hk + N k 2
kN (h; k) = :
h2 + k 2

29
Tomamos h2 + k 2 = 1 (la curvatura normal sobre un vector unitario); esto
es, h = cos , k = sin , entonces:

kN ( ) = L cos2 + 2M cos sin + N sin2 :

Tomamos jkN ( )j = 1=r2 x1 = r cos , x2 = r sin , entonces:

1 = Lx21 + 2M x1 x2 + N x22 :

La ecuacin anterior determina una seccin cnica en el plano tangente que


se denomina Indicatriz de Dupin.
Si P es elptico (LN M 2 > 0), la indicatriz es una elipse.
Si P es hiperblico (LN M 2 < 0), la indicatriz consiste en un par de
hiprbolas conjugadas. A lo largo de una de las hiprbolas kN > 0 y a lo
largo de la otra kN < 0. Las asntotas de las hiprbolas corresponden a las
direcciones en las que kN = 0.
Si P es parablico (LN M 2 = 0, L2 + M 2 + N 2 6= 0), la indicatriz es un
par de rectas paralelas.
Si la indicatriz existe y no es una circunferencia, entonces kN toma sus
valores extremos en dos direcciones ortogonales que son las direcciones de los
ejes de la indicatriz.
En los puntos elpticos en los que kN = constante 6= 0, todas las direc-
ciones se dicen principales. En los puntos planos kN = 0, tambin todas las
direcciones son principales.

Ejemplo 1 Vamos a calcular la curvatura normal de la esfera de radio r y


centrada en el origen; esto es, la esfera de ecuacin cartesiana:

x2 + y 2 + z 2 = r 2 :

Podemos considerar la siguiente parametrizacin:

~r : [0; 2 ) (0; ) ! R3 ;
~r( ; ) = (a cos sin ; a sin sin ; a cos ) :

Se tiene:

~r ( ; ) = ( a sin sin ; a cos sin ; 0) ;


~r ( ; ) = (a cos cos ; a sin cos ; a sin ) ;

30
y
~r ( ; ) ^ ~r ( ; ) = a2 cos sin2 ; a2 sin sin2 ; a2 sin cos ;
2
k~r ( ; ) ^ ~r ( ; )k = a4 cos2 sin4 + a4 sin2 sin4 + a4 sin2 cos2
= a4 sin4 cos2 + sin2 + a4 sin2 cos2
= a4 sin4 + a4 sin2 cos2
= a4 sin2 sin2 + cos2 = a4 sin2 ;
Por tanto,
~ ( ; ) = ~r ( ; ) ^ ~r ( ; ) = ( cos sin ;
N sin sin ; cos ) :
k~r ( ; ) ^ ~r ( ; )k
Y
~r ( ; ) = ( a cos sin ; a sin sin ; 0) ;
~r ( ; ) = ( a sin cos ; a cos cos ; 0) ;
~r ( ; ) = ( a cos sin ; a sin sin ; a cos ) ;
luego
E( ; ) = ~r ( ; ) ~r ( ; ) = a2 sin2 sin2 + a2 cos2 sin2
= a2 sin2 ;
F( ; ) = ~r ( ; ) ~r ( ; ) = 0;
G( ; ) = ~r ( ; ) ~r ( ; ) = a2 cos2 cos2 + a2 sin2 cos2 + a2 sin2
= a2 ;

L( ; ) = ~r ( ; ) N ~ ( ; ) = a cos2 sin2 + a sin2 sin2 = a sin2 ;


M ( ; ) = ~r ( ; ) N~ ( ; ) = 0;
N ( ; ) = ~r ( ; ) N~ ( ; ) = a cos2 sin2 + a sin2 sin2 + a cos2
= a sin2 + a cos2 = a:
Por tanto,
Lh2 + 2M hk + N k 2 a sin2 h2 + ak 2 1
kN ((h; k)) = 2 2
= 2 2 2 2 2
= :
Eh + 2F hk + Gk a sin h + a k a
Luego la curvatura normal es constante en cada punto de la supercie y en
cada direccin del plano tangente. La indicatriz de Dupin en cada punto de
la esfera es:
a2 = x 2 + y 2 :

31
Ejemplo 2 Vamos a hallar la indicatriz de Dupin de la supercie con
ecuacin cartesiana z = x2 y 2 en el punto P de coordenadas (0; 0; 0).
La supercie es:

Una parametrizacin de dicha supercie es:

~r(u; v) = u; v; u2 v2

que es una parametrizacin de Monge con f (u; v) = u2 v 2 . Tenemos:

E(u; v) = ~ru (u; v) ~ru (u; v) = 1 + 4u2 ;


F (u; v) = ~ru (u; v) ~rv (u; v) = 4uv;
G(u; v) = ~rv (u; v) ~rv (u; v) = 1 + 4v 2 ;
~ (u; v) = p 2
L(u; v) = ~ruu (u; v) N ;
4u2 + 4v 2 + 1
~ (u; v) = 0;
M (u; v) = ~ruv (u; v) N
~ (u; v) = p 2
N (u; v) = ~rvv (u; v) N :
4u2 + 4v 2 + 1
En el punto P tenemos

E(0; 0) = 1; F (0; 0) = 0; G(0; 0) = 1;


L(0; 0) = 2; M (0; 0) = 0; N (0; 0) = 2:

32
Por tanto,

2 cos2 2 sin2
kN ( ) = = 2 cos2 2 sin2 :
cos2 + sin2
Tomando jkN ( ) j = 1=r2 y x = r cos y y = r sin entonces la ecuacin
anterior se escribe:
1 = 2x2 2y 2 :
Luego la indicatriz de Dupin es el par de hiprbolas de ecuaciones 1 = 2x2
2y 2 y 1 = 2x2 2y 2 . El valor mximo de la curvatura es k1 = 2 y se
alcanza en la direccin (cos 0; sin 0) = (1; 0) y el valor mnimo de la curvatura
es k2 = 2 y se alcanza en la direccin (cos =2; sin =2) = (0; 1). Las
direcciones asintticas de la supercie en el punto P son las direcciones de
las asntotas de la indicatriz de Dupin; esto es, las direcciones de las rectas
de ecuaciones x = y y x = y. Las lneas asintticas de la supercie en el
punto P son:

~r(u; u) = (u; u; 0) ;
~r(u; u) = (u; u; 0) :

2.9 Frmula de Euler


Vamos a expresar la curvatura normal en una direccin que forme un ngulo
con respecto a una de las direcciones principales en funcin de ese ngulo
y de las curvaturas principales.
Consideramos una representacin paramtrica regular en las que las lneas
de curvatura sean las lneas paramtricas; esto es, ~r(u0 ; v) y ~r(u; v0 ) son las
lneas de curvatura en el punto ~r(u0 ; v0 ). Por tanto, las direcciones (1; 0),
(0; 1) son las direcciones principales. Y las curvaturas principales son:

IIP ((1; 0)) L IIP ((0; 1)) N


k1 = = ; k1 = = :
IP ((1; 0)) E IIP ((0; 1)) G
El coeciente F = 0 es cero pues las lneas de curvatura son ortogonales.
La ecuacin de las direcciones principales es:

(v 0 (t))2 u0 (t)v 0 (t) (u0 (t))2


0= E F G :
L M N

33
Como (1; 0) es una direccin principal y F = 0, se tiene:

0 0 1
0= E 0 G = EM
L M N

y como (0; 1) es una direccin principal y F = 0, se tiene:

1 0 0
0= E 0 G = GM
L M N

Como GE 6= 0 pues la primera forma fundamental es denida positiva, en-


tonces de las dos ecuaciones anteriores se deduce: M = 0. Por tanto, la
curvatura normal en la direccin de un vector (h; k) es:

IIP ((h; k)) Lh2 + N k 2


kN (h; k) = =
IP ((h; k)) Eh2 + Gk 2
L Eh2 N Gk 2
= +
E Eh2 + Gk 2 G Eh2 + Gk 2
y teniendo en cuenta que el ngulo que forma el el vector (h; k) y el vector
(1; 0) satisface:

IP ((h; k); (1; 0)) Eh2


cos2 = = ;
IP ((h; k)) IP ((1; 0)) Eh2 + Gk 2
Gk 2
sin2 = 1 cos2 = ;
Eh2 + Gk 2
se deduce:
kN (h; k) = k1 cos2 + k2 sin2
que es la frmula de Euler.

3 Supercies regladas
Denicin. Una supercie S se dice reglada si por cada punto P 2 S existe
una recta contenida en la supercie y que contiene al punto P .
Toda supercie reglada S puede venir determinada por una curva C y un
vector w
~ P asociado a cada punto P de la curva. La supercie est formada

34
por las rectas rP , con P 2 C, que contienen al punto P y tienen vector
director w
~ P . Por tanto, un punto X de la supercie satisface:
! !
OX = OP + tw ~ P con P 2 C, t 2 R:

Si consideramos una parametrizacin ~ (u), u 2 I, de la curva C, un punto


!
arbitrario X de la recta que contiene al punto P 2 C con OP = ~ (u0 ) y
tiene la direccin del vector w
~ P se escribe de la siguiente forma:
!
OX = ~ (u0 ) + tw ~ P ; t 2 R:

Por tanto, una parametrizacin de la supercie es la siguiente:

~r(u; t) = ~ (u) + tw(u);


~ (u; t) 2 I R:

Para cada u0 2 I obtenemos una recta con parametrizacin:

~r(u0 ; t) = ~ (u0 ) + tw(u


~ 0 ); t 2 R:

A dicha recta la llamamos generatriz de la supercie reglada.


Para cada t0 2 R obtenemos una curva con parametrizacin:

~r(u; t0 ) = ~ (u) + t0 w(u);


~ u 2 I:

A dicha curva la llamamos directriz de la supercie reglada.

Ejemplo Vamos a obtener una representacin paramtrica regular de la


supercie formada por las rectas que se apoyan en la elipse de ecuaciones
cartesianas: 4x2 + 2y 2 = 3, z = 0 y que son paralelas a la recta de ecuaciones
x + y + z = 1 y x 2y = 0.
Una parametrizacin de la elipse es:
p p
3 p3
~ (s) = 2
cos s; 2
sin s; 0 ; s 2 [0; 2 ):

La recta de ecuaciones x + y + z = 1 y x 2y = 0 tiene la direccin del vector


~ = (2; 1; 3). Por tanto, una parametrizacin de dicha supercie es:
w

~r(s; t) = ~ (s) + tw
~
p p
3 p3
= 2
cos s; 2
sin s; 0 + t (2; 1; 3)
p p
3 p3
= 2t + 2
cos s; t + 2
sin s; 3t ; (s; t) 2 [0; 2 ) R:

35
La ecuacin implcita de la supercie es:

4(x + 32 z)2 + (y + 13 z)2 = 3:

Denicin. Una supercie reglada S se dice desarrollable, si el plano


tangente a la supercie en cada punto de una generatriz es el mismo. En
caso contrario se dice que la supercie S no es desarrollable.
Denicin. Una supercie reglada S se dice que es cnica si todas sus
generatrices contienen a un mismo punto Q al que se denomina vrtice de la
supercie.
Una parametrizacin de una supercie cnica con vrtice Q es:
! !
~r(u; t) = OQ + t ~ (u) OQ ; (u; t) 2 D R2 ;

siendo ~ (u) una parametrizacin de una curva C contenida en la supercie.


Las generatrices de dicha supercie tienen la direccin del vector w(u)
~ =
! 0 0
~ (u) OQ. Se tiene: w ~ (u) = ~ (u).
Denicin. Una supercie reglada S se dice que es cilndrica si el vector
asociado a cada punto P de la supercie es proporcional a un vector jo w. ~
Una parametrizacin de una supercie cilndrica es:

~r(u; t) = ~ (u) + tw;


~ (u; t) 2 D R2 ;

siendo ~ (u) una parametrizacin de una curva C contenida en la supercie.


Se tiene: w~ 0 = ~0.
Denicin. Una supercie reglada S se dice que es desarrollable tangen-
cial si cada punto de la curva directriz C con representacin paramtrica
~ (u) tiene asociado el vector tangente a la curva en dicho punto.
Una parametrizacin de una supercie desarrollable tangencial es:

~r(u; t) = ~ (u) + t~ 0 (u); (u; t) 2 D R2 ;

siendo ~ (u) una parametrizacin de la curva directriz C.

3.1 Curvatura total de las supercies regladas


Vamos a comprobar que la curvatura de Gauss o total de una supercie
reglada es siempre menor o igual que cero.

36
Sea S una supercie reglada con parametrizacin:
~r(u; t) = ~ (u) + tw(u);
~ (u; t) 2 D:
Supongamos adems que todos los puntos de la supercie son regulares; esto
es, ~ru (u; t) ^ ~rt (u; t) 6= ~0, para todo (u; t) 2 D. Se tiene:
~ru (u; t) = ~ 0 (u) + tw ~ 0 (u);
~rt (u; t) = w(u);
~
~ (u; t) = 1
N ~ru (u; t) ^ ~rt (u; t)
k~ru (u; t) ^ ~rt (u; t)k
1
= (~ 0 (u) + tw ~ 0 (u)) ^ w(u);
~
k~ru (u; t) ^ ~rt (u; t)k
~ruu (u; t) = ~ 00 (u) + tw ~ 00 (u);
~rut (u; t) = w ~ 0 (u);
~rtt (u; t) = ~0:
Por tanto, el determinante de la matriz de la segunda forma fundamental en
!
un punto arbitrario P con OP = ~r(u; t) es:
~ruu (u; t) N~ (u; t) ~rut (u; t) N ~ (u; t) 2
= ~ (u; t)
~rut (u; t) N 0:
~ (u; t)
~rut (u; t) N ~0 N ~ (u; t)

Teniendo en cuenta las expresiones de ~rut (u; t) y N ~ (u; t) obtenemos:

~ (u; t) = w 1
~rut (u; t) N ~ 0 (u) ((~ 0 (u) + tw ~ 0 (u)) ^ w(u))
~
k~ru (u; t) ^ ~rt (u; t)k
1
= ~ 0 (u); ~ 0 (u) + tw
[w ~ 0 (u); w(u)]
~
k~ru (u; t) ^ ~rt (u; t)k
1
= ~ 0 (u); ~ 0 (u); w(u)]
[w ~ :
k~ru (u; t) ^ ~rt (u; t)k
Por tanto,
~ruu (u; t) N ~ (u; t) ~rut (u; t) N ~ (u; t) [~ 0 (u); w(u);
~ ~ 0 (u)]2
w
~ (u; t) ~ (u; t) = :
~rut (u; t) N ~0 N k~ru (u; t) ^ ~rt (u; t)k2
Teniendo en cuenta
E(u; t) F (u; t)
det = k~ru (u; t) ^ ~rt (u; t)k2 ;
F (u; t) G(u; t)
L(u; t) M (u; t) [~ 0 (u); w(u);
~ ~ 0 (u)]2
w
det = ;
M (u; t) N (u; t) k~ru (u; t) ^ ~rt (u; t)k2

37
la curvatura total de una supercie reglada es:

[~ 0 (u); w(u);
~ ~ 0 (u)]2
w
KT (u; t) = 0:
k~ru (u; t) ^ ~rt (u; t)k4

Por tanto, los puntos de las supercies regladas son hiperblicos, parablicos
o planos.
Llamamos parmetro de distribucin y lo denotamos p(u) al valor del
producto mixto:
p(u) = [~ 0 (u); w(u);
~ ~ 0 (u)] :
w
!
Si p(u) = 0 entonces KT (u; t) = 0 y el punto P con OP = ~r(u; t) es un
punto parablico o plano. Una de las curvaturas principales es cero y por
tanto, las lneas asintticas son lneas de curvatura.
!
Si p(u) 6= 0 entonces KT (u; t) < 0 y el punto P con OP = ~r(u; t) es un
punto hiperblico. Una de las curvaturas principales es negativa y la otra es
positiva.

3.2 Clasicacin de las supercies regladas


1. Si p(u) = [~ 0 (u); w(u);
~ ~ 0 (u)] = 0 para todo valor del parmetro u
w
la supercie es desarrollable. Se tienen los siguientes casos:

~ 0 (u) = ~0 entonces w(u)


(a) Si w ~ = w~ es un vector constante y la
supercie es una supercie cilndrica. En este caso, se tiene:

~ru (u; t) ^ ~rt (u; t) = (~ 0 (u) + tw


~ 0 (u)) ^ w(u)
~
= ~ 0 (u) ^ w:
~

~ 6= ~0 (esto es, los vectores ~ 0 (u) y w


Si ~ 0 (u) ^ w ~ no son paralelos)
entonces el vector normal es

~ ~ru (u; t) ^ ~rt (u; t) ~ 0 (u) ^ w


~
N (u; t) = = 0
:
k~ru (u; t) ^ ~rt (u; t)k k~ (u) ^ wk~

Ntese que es constante a lo largo de cada generatriz ya que no


depende del parmetro t.

38
(b) Si ~ 0 (u) = ~0 entonces ~ (u) es constante; esto es, consiste en un
nico punto. La supercie es una supercie cnica. En este caso,
se tiene:

~ru (u; t) ^ ~rt (u; t) = (~ 0 (u) + tw


~ 0 (u)) ^ w(u)
~
0
~ (u) ^ w(u):
= tw ~

~ 0 (u) ^ w(u)
Si w ~ 6= ~0 (esto es, los vectores w
~ 0 (u) y w(u)
~ no son
paralelos) entonces el vector normal es

~ ~ 0 (u) ^ w(u)
tw ~ ~ 0 (u) ^ w(u)
w ~
N (u; t) = 0
= 0
:
ktw
~ (u) ^ w(u)k
~ kw
~ (u) ^ w(u)k
~

Ntese que es constante a lo largo de cada generatriz ya que no


depende del parmetro t.
~ 0 (u) 6= ~0, ~ 0 (u) 6= ~0 entonces la condicin p(u) = [~ 0 (u); w(u);
(c) Si w ~ ~ 0 (u)] =
w
0 nos indica que los vectores w ~ 0 (u), ~ 0 (u) y w(u)
~ son coplanarios.
Se tiene:

~ru (u; t) ^ ~rt (u; t) = ~ 0 (u) ^ w(u)


~ ~ 0 (u) ^ w(u):
+ tw ~

Como w ~ 0 (u), ~ 0 (u) y w(u)


~ son coplanarios los vectores ~ 0 (u) ^
w(u)
~ yw ~ 0 (u) ^ w(u)
~ son paralelos y por tanto, ~ru (u; t) ^~rt (u; t) es
proporcional al vector w ~ 0 (u)^ w(u)
~ que no depende del parmetro
t. Luego, el plano tangente es el mismo en todos los puntos de la
generatriz. Veremos ms adelante que en este caso la supercie es
una supercie desarrollable tangencial.

2. Si p(u) 6= 0 para todo valor del parmetro u la supercie es no desar-


rollable o alabeada.

3.3 Puntos singulares de una supercie reglada


Los puntos singulares de una supercie con parametrizacin ~r(u; t) = ~ (u) +
!
tw(u)
~ son aquellos puntos P con OP = ~r(u; t), que verican:

~ru (u; t) ^ ~rt (u; t) = (~ 0 (u) + tw


~ 0 (u)) ^ w(u)
~ = ~0:

39
Vamos a hallar los valores del parmetro t para los cuales se cumple la condi-
cin anterior. Para ello, multiplicamos escalarmente la expresin anterior
~ 0 (u) ^ w(u),
por w ~ suponiendo w~ 0 (u) ^ w(u)
~ 6= ~0. Se tiene:

0 = (~ru (u; t) ^ ~rt (u; t)) (w ~ 0 (u) ^ w(u))


~
= ((~ 0 (u) + tw ~ 0 (u)) ^ w(u))
~ ~ 0 (u) ^ w(u))
(w ~
0 0 2
= (~ (u) ^ w(u))
~ (w~ (u) ^ w(u))
~ ~ 0 (u) ^ w(u)k
+ t kw ~ ;

de donde, se obtiene:
(~ 0 (u) ^ w(u))
~ ~ 0 (u) ^ w(u))
(w ~
t= 2 ;
kw~ 0 (u) ^ w(u)k
~
Por tanto, los puntos singulares de la supercie se encuentran en la curva
con parametrizacin:

~ (u) = ~ (u) (~ 0 (u) ^ w(u))


~ ~ 0 (u) ^ w(u))
(w ~
2 w(u);
~
kw~ 0 (u) ^ w(u)k
~
que llamamos lnea de estriccin. Llamamos puntos centrales a los puntos
regulares de la lnea de estriccin. Ntese que en la lnea de estriccin adems
de los puntos singulares se encuentran los puntos de la supercie tales que el
vector w~ 0 (u) ^ w(u)
~ es ortogonal al vector ~ru (u; t) ^ ~rt (u; t).

3.3.1 Puntos centrales


Veamos que en una supercie reglada no desarrollable la curvatura de Gauss
alcanza su valor mximo en los puntos centrales. Supongamos p(u) 6= 0,
teniendo en cuenta la expresin de la curvatura de Gauss:

[~ 0 (u); w(u);
~ ~ 0 (u)]2
w
KT (u; t) = < 0;
k~ru (u; t) ^ ~rt (u; t)k4
se deduce que el valor absoluto de la curvatura de Gauss, jKT (u; t)j, es mx-
imo cuando el valor de
k~ru (u; t) ^ ~rt (u; t)k2
es mnimo. Llamamos ~v (u; t) = ~ru (u; t) ^ ~rt (u; t). Teniendo en cuenta la
siguiente expresin:

~ru (u; t) ^ ~rt (u; t) = ~ 0 (u) ^ w(u)


~ ~ 0 (u) ^ w(u);
+ tw ~

40
se tiene:
d
0 = k~ru (u; t) ^ ~rt (u; t)k2
dt
d d
= (~v (u; t) ~v (u; t)) = 2 ~v (u; t) ~v (u; t)
dt dt
0 0
~ (u) ^ w(u))
= 2 (w ~ (~ (u) ^ w(u)
~ + tw ~ 0 (u) ^ w(u))
~
2
~ 0 (u) ^ w(u))
= 2 (w ~ (~ 0 (u) ^ w(u))
~ ~ 0 (u) ^ w(u)k
+ t kw ~ :

Por tanto, el valor mximo de k~ru (u; t) ^ ~rt (u; t)k2 se alcanza para el siguiente
valor de t:
~ 0 (u) ^ w(u))
(w ~ (~ 0 (u) ^ w(u))
~
t= 2 ;
kw~ 0 (u) ^ w(u)k
~
que coincide con el valor del parmetro t de los puntos centrales de la super-
cie. Por tanto, en los puntos centrales el valor absoluto de la curvatura de
Gauss es mximo.

3.3.2 Arista de retroceso


Si la supercie es desarrollable entonces los vectores ~ 0 (u), w(u),
~ ~ 0 (u) son
w
0
coplanarios y el vector w
~ (u)^ w(u)
~ no es ortogonal al vector ~ru (u; t)^~rt (u; t).
Por tanto, todos los puntos de la lnea de estriccin son puntos singulares y
en este caso, a la curva con parametrizacin:

~ (u) = ~ (u) ~ 0 (u) ^ w(u))


(w ~ (~ 0 (u) ^ w(u))
~
2 w(u);
~
kw 0
~ (u) ^ w(u)k
~

la llamaremos arista de retroceso. A lo largo de la arista de retroceso la


supercie se desdobla en dos hojas.
Como w ~ 0 (u), ~ 0 (u) y w(u)
~ son coplanarios, el vector ~ 0 (u) se puede
escribir como combinacin lineal de los vectores w~ 0 (u) y w(u):
~

~ 0 (u) = (u)w(u)
~ ~ 0 (u):
+ (u)w

Por tanto,

~ 0 (u) ^ w(u)
~ = ( (u)w(u)
~ + (u)w~ 0 (u)) ^ w(u)
~
0
= (u)w~ (u) ^ w(u):
~

41
~ 0 (u) ^ w(u)
Multiplicando escalarmente la expresin anterior por el vector w ~
obtenemos:
2
(~ 0 (u) ^ w(u))
~ ~ 0 (u) ^ w(u))
(w ~ ~ 0 (u) ^ w(u)k
= (u) kw ~ ;

de donde
(~ 0 (u) ^ w(u))
~ ~ 0 (u) ^ w(u))
(w ~
(u) = 2 ;
kw~ 0 (u) ^ w(u)k
~
y la arista de retroceso se puede parametrizar como sigue:
~ (u) = ~ (u) (u)w(u):
~

Por tanto, ~ (u) = ~ (u) + (u)w(u)


~ y podemos parametrizar la supercie en
funcin de la arista de restroceso como sigue:

~r(u; t) = ~ (u) + (u)w(u)


~ + tw(u)
~
= ~ (u) + ( (u) + t) w(u):
~

Derivando ~ (u) = ~ (u) (u)w(u)


~ y teniendo en cuenta ~ 0 (u) = (u)w(u)
~ +
~ 0 (u), se tiene:
(u)w

~ 0 (u) = ~ 0 (u) 0
(u)w(u)
~ ~ 0 (u)
(u)w
= (u)w(u)
~ + (u)w ~ 0 (u) 0
(u)w(u)
~ ~ 0 (u)
(u)w
0
= ( (u) (u)) w(u):
~

Por tanto:

1. Si (u) = 0
(u) entonces ~ 0 (u) = ~0 y la supercie es una supercie
cnica.

2. Si (u) 6= 0 (u), el vector w(u)


~ es proporcional a ~ 0 (u) y a supercie
es una superce desarrollable tangencial y puede parametrizarse como
sigue:
t
~r(u; t) = ~ (u) + 0 (u)
~ 0 (u); (u; t) 2 I R;
(u)

en funcin de su arista de retroceso.

42
3.4 Ejemplos y ejercicios
Ejemplo 1 Dar una parametrizacin de la supercie engendrada por
las rectas tangentes a la curva ~ (u) = (eu ; e u ; u).
El vector director de la recta generatriz que se apoya en el punto ~ (u) de
la curva directriz es:
~ 0 (u) = (eu ; e u ; 1):
Por tanto, una parametrizacin de la supercie es:
~r(u; t) = ~ (u) + t~ 0 (u)
= (eu + teu ; e u te u
; u + t):
Dicha supercie es una supercie desarrollable tangencial con arista de retro-
ceso ~ (u).

Ejemplo 2 Vamos a clasicar la supercie con parametrizacin:


~r(u; v) = u + v cos u; u2 + v sin u; u3 :
La parametrizacin anterior es lineal en el parmetro v. Por tanto, la
podemos escribir como sigue:
~r(u; v) = u; u2 ; u3 + v (cos u; sin u; 0)
= ~ (u) + v w(u);
~
con
~ (u) = u; u2 ; u3 ;
w(u)
~ = (cos u; sin u; 0) :
Tenemos:
~ 0 (u) = 1; 2u; 3u2 ;
~ 0 (u) = ( sin u; cos u; 0) :
w
Por tanto, el parmetro de distribucin es:
p(u) = [~ 0 (u); w(u);
~ ~ 0 (u)]
w
0 1
1 2u 3u2
= det @ cos u sin u 0 A
sin u cos u 0
= 3u2 6= 0 si u 6= 0.

43
La supercie es una supercie alabeada.
Los puntos singulares de la supercie son los que satisfacen la siguiente
condicin:
~0 = ~ru (u; v) ^ ~rv (u; v)
= 1 v sin u; 2u + v cos u; 3u2 ^ (cos u; sin u; 0)
= 3u2 sin u; 3u2 cos u; sin u 2u cos u v ;

esto es, 8
< 0 = u2 sin u;
0 = u2 cos u; =) u = 0 y v = 0:
:
0 = sin u 2u cos u v;
El nico punto singular de la supercie es el punto

~r(0; 0) = (0; 0; 0) :

Los puntos centrales de la supercie se alcanzan en el siguiente valor del


parmetro v:
(w~ 0 (u) ^ w(u))
~ (~ 0 (u) ^ w(u))
~
v= 2 :
kw 0
~ (u) ^ w(u)k
~
Teniendo en cuenta:

~ 0 (u) ^ w(u)
~ = 1; 2u; 3u2 ^ (cos u; sin u; 0)
= ( 3u2 sin u; 3u2 cos u; sin u 2u cos u);
~ 0 (u) ^ w(u)
w ~ = ( sin u; cos u; 0) ^ (cos u; sin u; 0)
= (0; 0; 1);

obtenemos:
v = sin u 2u cos u;
y una paraetrizacin de la lnea de estriccin es:
~ (u) = ~ (u) (sin u 2u cos u) w(u)
~
= u; u2 ; u3 (sin u 2u cos u) (cos u; sin u; 0)
= u (sin u 2u cos u) cos u; u2 (sin u 2u cos u) sin u; u3 :

Dicha curva contiene al punto singular y a los puntos centrales.

44
Ejemplo 3 Obtener una parametrizacin de la supercie formada por
segmentos que se apoyan en el arco de circunferencia x2 + y 2 = 1, z = 0, del
primer octante y el segmento de la recta x + y = 1, z = 0 del primer octante.
Primero vamos a obtener parametrizaciones del arco de circunferencia y
del segmento respectivamente. El arco de circunferencia lo parametrizamos
como sigue:
1: [0; =2] ! R3 ;
1( ) = (cos ; sin ; 0):
Parametrizamos el segmento con el mismo parmetro con el que hemos para-
metrizado el arco de circunferencia. Teniendo en cuenta el siguiente dibujo:

obtenemos:
1
1 ; r=
cos + sin
por tanto, podemos parametrizar el segmento como sigue:
2: [0; =2] ! R3 ;
cos cos
2( ) = ; 1 ; 4 :
cos + sin cos + sin
Consideramos ahora el vector director de la recta que se apoya en el arco de
circunferencia y en el segmento:
w( ) = 2( ) 1( )
cos cos
= cos ; 1 sin ; 4 :
cos + sin cos + sin
Por tanto, una parametrizacin de la supercie considerada es:
~r( ; t) = 1( ) + tw( )
cos cos
= (cos ; sin ; 0) + t cos ; 1 sin ; 4 ;
cos + sin cos + sin
con 2 [0; =2] y t 2 [0; 1].

45
Ejercicio 1 Parametrizar la supercie formada por rectas forman un
ngulo de 45o con el eje OZ y que se apoyan en la elipse de ecuaciones
2
x2
4
+ y3 = 1, z = 0 y en la circunferencia contenida en el plano z = 20, de
ecuacin x2 + y 2 = 1. Vase la siguiente gura:

Ejercicio 2 Parametrizar la supercie formada por rectas que se apoyan


en el segmento de ecuacin x+y = 1, contenido en el plano z = 4, y en el arco
de circunferencia del primer cuadrante del plano z = 0, de la circunferencia
centrada en el origen y de radio unidad Vase la siguiente gura:

46
4 Bibliografa
1. A. F. Costa, M. Gamboa, A. M. Porto, Ejercicios de Geometra Difer-
encial de curvas y supercies, Sanz y Torres, 1998.

2. Manfredo P. do Carmo, Dierential geometry of curves and surfaces,


Englewood Clis, New Jersey: Prentice Hall, 1976.

3. Dirk J. Struik, Lectures on Classical Dierential Geometry, Dover Pub-


lications, Inc., N.Y., 1961.

47