1 Estudio local de una supercie

Sea o R
3
una supercie con parametrizacin regular:
: : 1 _ R
2
R
3
.
:(n. ) = (r(n. ). (n. ). .(n. )) .
Se tiene
:
&
(n. ) = (r
&
(n. ).
&
(n. ). .
&
(n. )) .
:

(n. ) = (r

(n. ).

(n. ). .

(n. )) .
Un vector n R
3
es tangente a la supercie o en 1 si es tangente en 1 a
una curva contenida en o.
Sea C una curva contenida en la supercie; C o. Por tanto, una
representacin paramtrica de C es de la forma:
(t) = :(n(t). (t)) = (r(n(t). (t)). (n(t). (t)). .(n(t). (t))) .
Utilizando la regla de la cadena obtenemos:

0
(t) = :
&
(n(t). (t))n
0
(t) +:

(n(t). (t))
0
(t).
Por tanto, cualquier vector tangente a la supercie o se escribe como com-
binacin lineal de los vectores :
&
(n. ), :

(n. ).
Llamamos vector normal unitario a la supercie o en el punto 1 =
:(n
0
.
0
) al vector:

`(n
0
.
0
) =
:
&
(n
0
.
0
) .:

(n
0
.
0
)
|:
&
(n
0
.
0
) .:

(n
0
.
0
)|
.
1.1 Primera forma fundamental
Llamamos primera forma fundamental de o en 1 = :(n
0
.
0
) a la forma
bilineal simtrica denida positiva 1
1
asociada al producto escalar inducido
en el plano tangente a o en 1 por el producto escalar en R
3
.
1
1.1.1 Clculo de la expresin analtica de la primera forma fun-
damental
Cualquier vector n 1
1
o se escribe de la siguiente manera:
n = /(n
0
.
0
) :
&
(n
0
.
0
) +/(n
0
.
0
) :

(n
0
.
0
).
siendo /. / C
1
(1).
Tenemos:
n
1
n
2
= (/
1
(n
0
.
0
). /
1
(n
0
.
0
))
_
1(n
0
.
0
) 1(n
0
.
0
)
1(n
0
.
0
) G(n
0
.
0
)
__
/
2
(n
0
.
0
)
/
2
(n
0
.
0
)
_
.
donde
1 (n
0
.
0
) = :
&
(n
0
.
0
) :
&
(n
0
.
0
) 0.
1 (n
0
.
0
) = :
&
(n
0
.
0
) :

(n
0
.
0
) .
G(n
0
.
0
) = :

(n
0
.
0
) :

(n
0
.
0
) 0.
Esto es,
1
1
: 1
1
o 1
1
o R.
1
1
( n
1
. n
2
) = (/
1
(n
0
.
0
). /
1
(n
0
.
0
))
_
1(n
0
.
0
) 1(n
0
.
0
)
1(n
0
.
0
) G(n
0
.
0
)
__
/
2
(n
0
.
0
)
/
2
(n
0
.
0
)
_
.
siendo
n
1
= /
1
(n
0
.
0
) :
&
(n
0
.
0
) +/
1
(n
0
.
0
) :

(n
0
.
0
).
n
2
= /
2
(n
0
.
0
) :
&
(n
0
.
0
) +/
2
(n
0
.
0
) :

(n
0
.
0
).
Haciendo algunos clculos se obtiene:
traza
_
1(n
0
.
0
) 1(n
0
.
0
)
1(n
0
.
0
) G(n
0
.
0
)
_
= 1(n
0
.
0
) +G(n
0
.
0
) 0.
det
_
1(n
0
.
0
) 1(n
0
.
0
)
1(n
0
.
0
) G(n
0
.
0
)
_
= 1(n
0
.
0
)G(n
0
.
0
) 1(n
0
.
0
)
2
= |:
&
(n
0
.
0
) .:

(n
0
.
0
)|
2
0.
2
1.2 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 1 o, en puntos de la supercie
prximos al punto 1. Para ello vamos a estudiar cmo vara el campo normal
unitario

` en un entorno del punto 1.
Sea una supercie o R
3
con representacin paramtrica regular
:(n. ) = (r(n. ). (n. ). .(n. )) , con (n. ) 1 _ R
2
,
de clase mayor o igual a 3. El campo normal unitario

` asigna a cada punto
1 de la supercie, con

C1 = :(n. ), su vector normal unitario; esto es,

`: 1 R
3
.

`(n. ) =
:
&
(n. ) .:

(n. )
|:
&
(n. ) .:

(n. )|
.
Usaremos la notacin

`(n. ),

`
1
indistintamente. Y denotaremos 1

`
1
( n)
a la derivada direccional de la aplicacin

` en el punto 1 y en la direccin
del vector unitario n tangente a la supercie en el punto 1.
Se verica lo siguiente:
1

`
1
( n) 1
1
o.
Por tanto, tenemos la siguiente aplicacin, que llamamos aplicacin de Wein-
garten:
o: 1
1
o 1
1
o.
n o( n) = 1

`
1
( n) .
Llamamos segunda forma fundamental de o en 1 a la forma cuadrtica 11
1
denida en 1
1
o de la siguiente manera:
11
1
: 1
1
o R.
n 11
1
( n) = 1

`
1
( n) n.
Cualquier vector n 1
1
o se escribe de la siguiente manera:
n = /(n. ) :
&
(n. ) +/(n. ) :

(n. ).
3
y se verica:
11
1
( n) = 1

`
1
( n) n
= (/(n. ). /(n. ))
_
1(n. ) `(n. )
`(n. ) `(n. )
__
/
1
(n. )
/
1
(n. )
_
donde despus de hacer ciertos clculos se comprueba que
1(n. ) = :
&&
(n. )

`(n. ).
`(n. ) = :
&
(n. )

`(n. ).
`(n. ) = :

(n. )

`(n. ).
1.2.1 Matriz asociada a la aplicacin de Weingarten
Haciendo algunos clculos se demuestra que la matriz asociada a la aplicacin
de Weingarten:
o: 1
1
o 1
1
o. n o( n) = 1

`
1
( n) .
es
=
_
1 1
1 G
_
1
_
1 `
` `
_
.
1.3 Curvatura normal
Sea o una supercie con parametrizacin :(n. ) y sea C una curva contenida
en la supercie con parametrizacin natural:
(:) = :(n(:) . (:)), con : 1 _ R,
y sea 1 un punto arbitrario de la curva; esto es,

C1 = (:).
Se tiene:

t(:) =
0
(:).

/(:) =

t
0
(:) = /(:):(:). vector curvatura de la curva C en 1.
Descomponemos el vector curvatura de la siguiente manera:

/(:) =

/
.
(:) +

/
j
(:) donde
_

/
.
(:) =
_

/(:)

`
1
_

`
1
.

/
j
(:) =

/(:)

/
.
(:).
4
Llamamos vector curvatura normal a la proyeccin del vector curvatura sobre
el vector curvatura normal de la supercie

`
1
; esto es,

/
.
(:) =
_

/(:)

`
1
_

`
1
.
Se denomina curvatura normal en un punto 1 de la supercie en la direccin
de la curva C con parametrizacin :(:) a:
/
.
(:) =

/(:)

`
1
=

t
0
(:)

`
1
.
Y llamamos vector curvatura tangencial o geodsica al vector

/
j
(:). Derivando
la identidad

t(:)

`
1
= 0 obtenemos:
0 =

t
0
(:)

`
1
+

t(:)
d

`
1
d:
= /
.
(:) +

t(:)
d

`
1
d:
.
donde d

`
1
,d: es la derivada del campo

` en el punto 1 en la direccin del
vector :
0
(:); esto es,
d

`
1
d:
(:) = 1

`
1
(
0
(:))
con

0
(:) = :
&
(n(:) . (:))n
0
(:) +:

(n(:) . (:))
0
(:).
Por tanto,
/
.
(:) =
d

`
1
d:

t(:)
= 1

`
1
(
0
(:))
0
(:) = 11
1
(
0
(:)) .
Si

c(t) = :(n(t) . (t)), con t J _ R,

es una parametrizacin arbitraria de la curva C, entonces, el vector
0
(t) no
es unitario y se verica la siguiente igualdad:
/
.
(t) =
11
1
_

c
0
(t)
_
1
1
_

c
0
(t).

c
0
(t)
_.
Obsrvese que /
.
(t) slo depende de la direccin del vector tangente a la
curva en el punto 1.
5
1.3.1 Teorema de Meusnier
Todas las curvas sobre la supercie que tienen la misma recta tangente en el
punto 1, tienen la misma curvatura normal en 1.
Se puede hablar de curvatura normal a una supercie en un punto 1 en
la direccin de un vector n 1
1
o; esto es,
/
.
( n) =
11
1
( n)
1
1
( n. n)
.
Nota. Si las coordenadas del vector n 1
1
o en la base :
&
(n. ). :

(n. )
de 1
1
o son (/(n. ). /(n. )) entonces usaremos tambin la notacin:
/
.
(/. /) =
11
1
((/. /))
1
1
((/. /))
.
donde / = /(n. ), / = /(n. ).
1.4 Naturaleza de los puntos de una supercie
Vamos a estudiar la posicin de la supercie con respecto a su plano tangente.
El vector

/
.
(n. ) = /
.
(n. )

`
1
(n. ) tiene la direccin del vector normal a
la supercie en el punto 1 con

C1 = :(n. ) 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:
_
1(n. ) `(n. )
`(n. ) `(n. )
_
y su determinante es: = 1` `
2
. Se tiene:
0 Entonces 11
1
es denida (o positiva o negativa). Por lo tanto no hay
ninguna direccin en la que /
.
se anule (todos los autovalores de la
matriz de 11
1
tienen el mismo signo). La curvatura normal tiene signo
constante en un entorno del punto 1. En un entorno de 1 la supercie
est en uno de los semiespacios que determina el plano tangente a o en
1. El punto 1 se dice que es un punto elptico.
= 0 Y suponemos que 1. `. ` no se anulan simultneamente. Por tanto,
= 1` `
2
= 0 nos indica que la matriz de 11
1
tiene un autovalor
6
` = 0; esto es, existe una direccin a lo largo de la cual /
.
= 0. En
este caso el punto de contacto de la supercie con el plano tangente se
dice que es un punto parablico.
< 0 Entonces 11
1
es indenida. Por lo tanto la matriz de 11
1
tiene un
autovalor positivo y otro negativo; esto es, existe una direccin a lo
largo de la cual /
.
0 y otra a lo largo de la cual /
.
< 0. El plano
tangente a o en 1 interseca a la supercie en dos direcciones. El punto
1 se dice que es un punto hiperblico.
1.5 Curvaturas de una supercie
De todas las direcciones del plano tangente a la supercie o en un punto 1,
es interesante determinar aquellas en las que la curvatura normal en el punto
alcanza sus valores extremos.
1.5.1 Direcciones principales
Se llaman direcciones principales de o en 1 a las direcciones del plano tan-
gente a o en 1 en las que la curvatura normal toma sus valores extremos. A
las curvaturas correspondientes las denominaremos curvaturas principales.
Clculo de las direcciones principales Vamos a hallar las direcciones
principales de una supercie o en un punto 1 con curvatura normal:
/
.
((/. /)) =
11
1
((/. /))
1
1
((/. /))
=
1/
2
+ 2`// +`/
2
1/
2
+ 21// +G/
2
.
En las direcciones = (/. /) 1
1
o principales se debe cumplir:
J/
.
J/
(/. /) = 0.
J/
.
J/
(/. /) = 0.
Por tanto las direcciones principales (/. /) 1
1
o deben satisfacer el siguiente
sistema de ecuaciones:
_
(1 /
.
1) / + (` /
.
1) / = 0.
(` /
.
1) / + (` /
.
G) / = 0.
==
_
1/ +`/ = /
.
(1/ +1/) .
`/ +`/ = /
.
(1/ +G/) .
(1)
7
Por tanto,
/
.
=
1/ +`/
1/ +1/
=
`/ +`/
1/ +G/
.
equivalentemente,
0 = (1` G`) /
2
(G1 `1) // + (1` 11) /
2
esto es,
0 =

/
2
// /
2
1 1 G
1 ` `

Tomando la direccin (1. ` = /,/) tenemos:

0 =

`
2
` 1
1 1 G
1 ` `

= (1` G`) `
2
(G1 `1) ` +1` 11.
Si 1` G` ,= 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,
1
1
((1. `
1
). (1. `
2
)) = 1 +1 (`
1
+`
2
) +G`
1
`
2
= 1 +1
G1 `1
1` G`
+G
1` 11
1` G`
= 0.
Denicin. Un punto 1 o se dice umbilical si las formas fundamentales
en l son proporcionales; equivalentemente, si
/
.
=
1
1
=
`
1
=
`
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, /
.
= 0 en cualquier
direccin.
8
1.5.2 Curvaturas principales
Vamos a hallar las curvaturas principales de una supercie o en un punto 1.
Tomando la direccin (1. `) la ecuacin
/
.
(/. /) =
1/ +`/
1/ +1/
=
`/ +`/
1/ +G/
.
se escribe:
/
.
(1. `) =
1 +``
1 +1`
=
` +``
1 +G`
==
_
(1 +``) /
.
(1 +1`) = 0
(` +``) /
.
(1 +G`) = 0
y eliminando ` en el sistema anterior obtenemos:
_
1G1
2
_
/
2
.
(1` +G1 21`) /
.
+1` `
2
= 0
esto es,

1 1
1 G

/
2
.

_

1 `
1 `

1 1
` G

_
/
.
+

1 `
` `

= 0
cuyas soluciones /
1
, /
2
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.
Otro camino para calcular las curvaturas principales y las direc-
ciones principales Ntese que la ecuacin anterior es la ecuacin car-
acterstica de la matriz asociada a la aplicacin de Weingarten o( n) =
1

`
1
( n),
=
_
1 1
1 G
_
1
_
1 `
` `
_
por tanto, las direcciones principales son los autovalores de la matriz anterior.
Y las direcciones principales son los correspondientes autovectores (que son
vectores ortogonales).
Por tanto las curvaturas principales /
1
. /
2
y las correspondientes direc-
ciones principales c
1
. c
2
(que son vectores ortogonales que tomamos unitarios)
satisfacen:
_
o(c
1
) = /
1
c
1
o(c
2
) = /
2
c
2
9
1.5.3 Curvatura de Gauss y curvatura media
Denicin. Se denomina curvatura de Gauss o total de una supercie o en
un punto 1 o al producto de las curvaturas principales; esto es,
1
G
= /
1
/
2
= det() =
1` `
2
1G1
2
.
Teniendo en cuenta 1G1
2
0 se deduce que el signo de la curvatura total
depende del signo de 1` `
2
. Se tiene:
1. Un punto 1 de la supercie es elptico si y slo si 1
G
0.
2. Un punto 1 de la supercie es parablico si y slo si 1
G
= 0.
3. Un punto 1 de la supercie es hiperblico si y slo si 1
G
< 0.
Denicin. Se denomina curvatura media de una supercie o en un punto
1 o a la media aritmtica de las curvaturas principales; esto es,
/
n
=
/
1
+/
2
2
= traza() =
1
2
1` +G1 21`
1G1
2
.
1.6 Lneas de curvatura y lneas asintticas
Denicin. Una curva C contenida en una supercie o 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 . = r
2

2
:
10
Sea o una supercie con parametrizacin :(n. ) y sea C una curva con-
tenida en la supercie con parametrizacin:
(t) = :(n(t) . (t)), con t 1 _ R,
y sea 1 un punto arbitrario de la curva; esto es,

C1 = (t). La curva C es
una lnea de curvatura si las coordenadas (n
0
(t) .
0
(t)) del vector
0
(t) en
la base :
&
(n(t) . (t)), :

(n(t) . (t)) de 1
1
o son solucin de la siguiente
ecuacin diferencial:
0 = (1` G`) (
0
(t))
2
(G1 `1) n
0
(t)
0
(t) + (1` 11) (n
0
(t))
2
esto es,
0 =

(
0
(t))
2
n
0
(t)
0
(t) (n
0
(t))
2
1 1 G
1 ` `

Denicin. Una direccin se denomina asinttica respecto a un punto 1 de

o si se anula en ella la segunda forma fundamental en 1; esto es, la direccin
del vector n = (/. /) es asinttica si
11
1
(/. /) = 0.
Denicin. Una curva C contenida en una supercie o 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 (n
0
(t) .
0
(t)) del
vector
0
(t) en la base :
&
(n(t) . (t)), :

(n(t) . (t)) de 1
1
o son solucin
de la siguiente ecuacin diferencial:
0 = 1(n
0
(t))
2
+ 2`n
0
(t)
0
(t) +` (
0
(t))
2
.
1.7 Frmula de Euler
Vamos a expresar la curvatura normal en una direccin que forme un ngulo
c con respecto a una de las direcciones principales en funcin de ese ngulo
c y de las curvaturas principales.
Sean c
1
. c
2
los autovectores (unitarios) de la aplicacin de Weingarten,
esto es, son las direcciones principales asociadas a las curvaturas principales
11
/
1
y /
2
(que son los autovalores de la matriz de la aplicacin de Weingarten).
Por tanto, se tiene:
1

`
1
(c
1
) = /
1
c
1
. 1

`
1
(c
2
) = /
2
c
2
Vamos a calcular la curvatura normal en el punto 1 en la direccin de un
vector unitario n. Por tanto, n se escribe como sigue:
n = cos cc
1
+ sin cc
2
y se tiene:
/
.
(n) = 1

`
1
(n) n = 1
&

`
1
n
= 1
(cos cc
1
+sin cc
2
)

`
1
(cos cc
1
+ sin cc
2
)
=
_
cos c1
c
1

`
1
+ sin c1
c
2

`
1
_
(cos cc
1
+ sin cc
2
)
= (/
1
cos cc
1
+/
2
sin cc
2
) (cos cc
1
+ sin cc
2
)
= /
1
cos
2
c +/
2
sin
2
c
que es la frmula de Euler.
12
1.8 Ejemplos
Ejemplo 1 Consideramos el semicono circular de ecuacin cartesiana:
r
2
+
2
.
2
= 0. con . _ 0.
Podemos considerar la siguiente parametrizacin:
: : [0. 2:) [0. +) R
3
.
:(c. t) = (t cos c. t sin c. t) .
Se tiene:
:
c
(c. t) = (t sin c. t cos c. 0) .
:
t
(c. t) = (cos c. sin c. 1) .
y
:
c
(c. t) .:
t
(c. t) =
_
t cos c. t sin c. t sin
2
c t cos
2
c
_
= (t cos c. t sin c. t) .
Por tanto, :
c
(c. t) .:
t
(c. t) =

0 si y slo si t = 0. En el punto 1 = (0. 0. 0)
es un punto singular y no podemos denir el plano tangente al cono en dicho
punto. Ntese tambin que el punto 1 es un punto mltiple para dicha
parametrizacin ya que:
:(c. 0) =

C1. \c [0. 2:).

Ejemplo 2 Supercie de revolucin. Consideramos la supecie generada
al girar alrededor del eje C2 la curva de ecuacin . = ,(r), donde , es
una funcin continua con derivadas continuas de todo orden, contenida en el
plano = 0.
Primero parametrizamos la curva que tenemos. En este caso una para-
metrizacin de la curva con ecuacin . = ,(r) es: :(n) = (n. 0. ,(n)), con
n R. La matriz del giro de ngulo c alrededor del eje C2 es:
_
_
cos c sin c 0
sin c cos c 0
0 0 1
_
_
.
13
Al girar la curva dada alrededor del eje C2 obtenemos:
_
_
cos c sin c 0
sin c cos c 0
0 0 1
_
_
_
_
n
0
,(n)
_
_
=
_
_
ncos c
nsin c
,(n)
_
_
, con c [0. 2:).
Por tanto, una representacin paramtrica de dicha supercie viene dada por:
: : (0. +) [0. 2:) R
3
.
:(n. c) = (ncos c. nsin c. ,(n)) .
Se tiene:
:
&
(n. c) = (cos c. sin c. ,
0
(n)) .
:
c
(n. c) = (nsin c. ncos c. 0) .
Por tanto,
:
&
(n. c) .:
c
(n. c) = (n,
0
(n) cos c. n,
0
(n) sin c. n) ,=

0
pues n ,= 0. Luego el punto 1 con coordenadas (0. 0. ,(0)) es un punto
singular. Ntese que el punto 1 es un punto mltiple para dicha parame-
trizacin ya que:
:(n. c) = (0. 0. ,(0)) para todo c [0. 2:).
Ejemplo 3 Toro. Supercie generada al girar alrededor del eje C2 una
circunferencia de centro (0. /. 0) y radio c con c < /. Vase la siguiente
gura:
14
Por ejemplo, consideremos la circunferencia de centro C = (0. 2. 0) y radio 1.
-4 -2 2 4
-4
-2
2
4
y
z
Parametrizamos primero dicha circunferencia. Un punto de la circunferencia
es de la forma: (0. 2 + cos c. sin c) con c [0. 2:). Al girarlo alrededor del
eje C2 obtenemos:
_
_
cos , sin , 0
sin , cos , 0
0 0 1
_
_
_
_
0
2 + cos c
sin c
_
_
=
_
_
sin , (cos c + 2)
cos , (cos c + 2)
sin c
_
_
,
con , [0. 2:). Hemos obtenido la siguiente parametrizacin del toro:
: : [0. 2:) [0. 2:) R
3
.
:(c. ,) = (sin , (cos c + 2) . cos , (cos c + 2) . sin c) .
Esto es,
r(c. ,) = sin , (cos c + 2) .
(c. ,) = cos , (cos c + 2) .
.(c. ,) = sin c.
Teniendo en cuenta: cos c =
_
1 sin
2
c obtenemos:
r
2
+
2
= (cos c + 2)
2
= cos
2
c + 4 cos c + 4
= 1 sin
2
c + 4
_
1 sin
2
c + 4
= 5 .
2
+ 4
_
1 .
2
.
Por tanto,
_
r
2
+
2
+.
2
5
_
2
= 16
_
1 .
2
_
es la ecuacin implcita del toro.
15
Ejemplo 4 Se considera la siguiente parametrizacin del toro:
: : [0. 2:) [0. 2:) R
3
.
:(c. ,) = ((cos c + 2) cos ,. (cos c + 2) sin ,. sin c) .
Se pide:
1. Curvatura normal en el punto 1 de coordenadas (2. 0. 1).
2. Direcciones principales en el punto 1.
3. Curvaturas principales en el punto 1.
4. Curvatura de Gauss en el punto 1.
5. Curvatura media en el punto 1.
6. Clasicar los puntos del toro.
Solucin.
El punto 1 se alcanza para los valores de los parmetros c = :,2 y , = 0.
Tenemos:
:
c
(c. ,) = (sin ccos ,. sin csin ,. cos c) .
:
o
(c. ,) = ((cos c + 2) sin ,. (cos c + 2) cos ,. 0) .
y

`(c. ,) =
:
c
(c. ,) .:
o
(c. ,)
|:
c
(c. ,) .:
o
(c. ,)|
= (cos ccos ,. cos csin ,. sin c) .
Por tanto,
1(c. ,) = :
c
(c. ,) :
c
(c. ,) = 1.
1(c. ,) = :
c
(c. ,) :
o
(c. ,) = 0.
G(c. ,) = :
o
(c. ,) :
o
(c. ,) = (cos c + 2)
2
.
y
1(c. ,) = :
cc
(c. ,)

`(c. ,) = 1.
`(c. ,) = :
co
(c. ,)

`(c. ,) = 0.
`(c. ,) = :
oo
(c. ,)

`(c. ,) = cos c(cos c + 2) .
16
Luego,
11
1
(/. /) = /
2
+ cos c(cos c + 2) /
2
.
Por tanto, la matriz de la primera forma fundamental de o en el punto
1 es:
_
1 (:,2. 0) 1 (:,2. 0)
1 (:,2. 0) G(:,2. 0)
_
=
_
1 0
0 4
_
y la matriz de la segunda forma fundamental de o en el punto 1 es:
_
1(:,2. 0) ` (:,2. 0)
` (:,2. 0) ` (:,2. 0)
_
=
_
1 0
0 0
_
.
La curvatura normal en la direccin del vector n 1
1
o con coordenadas
(/. /) es:
/
.
(/. /) =
11
1
(/. /)
1
1
(/. /)
=
/
2
/
2
+ 4/
2
.
Las direcciones principales (1. `) en 1 son las soluciones de la ecuacin:
0 =

`
2
` 1
1 0 4
1 0 0

= 4` ==` = 0.
Si tomamos el vector de coordenadas (`. 1), entonces la ecuacin se escribe:
0 =

1 ` `
2
1 0 4
1 0 0

= 4` ==` = 0.
Por tanto, las direcciones principales son las de los vectores de coordenadas
(1. 0) y (0. 1).
Las curvaturas principales son:
/
.
(1. 0) =
11
1
(1. 0)
1
1
(1. 0)
= 1.
/
.
(0. 1) =
11
1
(0. 1)
1
1
(0. 1)
= 0.
Si consideramos la ecuacin de las curvaturas principales:

1 0
0 4

/
2
.

_

1 0
0 0

1 0
0 4

_
/
.
+

1 0
0 0

= 0
17
obtenemos:
4 (/
.
1) /
.
= 0 ==
_
/
.
= 1
/
.
= 0
La curvatura de Gauss es el producto de las curvaturas principales: /
1
/
2
= 0
y la curvatura media es (/
1
+/
2
) ,2 = 1,2.
Teniendo en cuenta que la matriz de la segunda forma fundamental de o
en un punto 1, con

C1 = :(c. ,), es:
_
1 0
0 cos c(cos c + 2)
_
se tiene:
= det
_
1 0
0 cos c(cos c + 2)
_
= cos c(cos c + 2) .
Como cos c + 2 0, el signo de depende del signo de cos c.
Si c [0. :,2) ' (3:,2. 2:], entonces 0 y los puntos son elpticos.
Si c :,2. 3:,2, entonces = 0 y los puntos son parablicos.
Si c (:,2. 3:,2) entonces < 0 y los puntos son hiperblicos.
Ejemplo 5 Consideramos la semiesfera superior de radio : y centrada en
el origen; esto es, la semiesfera de ecuacin cartesiana:
r
2
+
2
+.
2
= :
2
. con . _ 0.
Consideramos la siguiente parametrizacin:
: : [0. 2:) (0. :,2) R
3
.
:(c. ,) = (c cos csin ,. c sin csin ,. c cos ,) .
donde c mide la longitud y , la latitud. Se tiene:
:
c
(c. ,) = (c sin csin ,. c cos csin ,. 0) .
:
o
(c. ,) = (c cos ccos ,. c sin ccos ,. c sin ,) .
y
:
c
(c. ,) .:
o
(c. ,) =
_
c
2
cos csin
2
,. c
2
sin csin
2
,. c
2
sin , cos ,
_
= c
2
sin , (cos csin ,. sin csin ,. cos ,) .
Por tanto, :
c
(c. ,) . :
o
(c. ,) =

0 si y slo si sin , = 0; esto es, si y slo si
, = 0. Luego, la parametrizacin que tenemos es regular.
18
Ejemplo 6 Esfera. Consideramos la siguiente parametrizacin de la esfera
de radio 1 y centro el origen de coordenadas:
:(c. ,) = (cos ccos ,. cos csin ,. sin c) . (c. ,) (:,2. :,2) [0. 2:).
Se pide:
1. Expresin de la primera forma fundamental.
(a) Se tiene:
:
c
(c. ,) = (sin ccos ,. sin csin ,. cos c) .
:
o
(c. ,) = (cos csin ,. cos ccos ,. 0) .
Por tanto,
1(c. ,) = :
c
(c. ,) :
c
(c. ,) = sin
2
c
_
cos
2
, + sin
2
,
_
+ cos
2
c = 1.
1(c. ,) = :
c
(c. ,) :
o
(c. ,) = sin ccos , cos csin , sin csin ccos , cos , = 0.
G(c. ,) = :
o
(c. ,) :
o
(c. ,) = cos
2
c
_
sin
2
, + cos
2
,
_
= cos
2
c.
La matriz asociada a la primera forma fundamental en un punto
arbitario 1 = :(c. ,) de la supercie es:
_
1 0
0 cos
2
c
_
Como 1 = 0 las curvas coordenadas :(c
0
. ,) (paralelo) y :(c. ,
0
)
(meridiano) son ortogonales entre si.
2. La longitud de la curva parmetro , = ,
0
.
(a) La curva parmetro , = ,
0
(meridiano , = ,
0
) tiene la siguiente
parametrizacin:
:(c) = :(c. ,
0
) = (cos ccos ,
0
. cos csin ,
0
. sin c) . c [0. 2:).
Se tiene:
:
0
(c) = :
&
(c. ,
0
) = 1 :
&
(c. ,
0
) + 0 :
o
(c. ,
0
).
19
por tanto (1. 0) son las coordenadas del vector tangente :
0
(c) en
la base :
c
(c. ,
0
). :
o
(c. ,
0
) y
1
v(c)
(:
0
(c). :
0
(c)) = (1. 0)
_
1 0
0 cos
2
c
__
1
0
_
= 1.
Por tanto,
1 =
_
2
2
1dt = :.
3. La longitud de la curva parmetro c = c
0
.
(a) La curva parmetro c = c
0
(paralelo c = c
0
) tiene la siguiente
parametrizacin:
:(,) = :(c
0
. ,) = (cos c
0
cos ,. cos c
0
sin ,. sin c
0
) . c [:,2. :,2].
Se tiene:
:
0
(,) = :
o
(c
0
. ,) = 0 :
c
(c
0
. ,) + 1 :
o
(c
0
. ,).
por tanto (0. 1) son las coordenadas del vector tangente :
0
(,) en
la base :
c
(c
0
. ,). :
o
(n
0
. ,) y
1
v(o)
(:
0
(,). :
0
(,)) = (0. 1)
_
1 0
0 cos
2
c
0
__
0
1
_
= cos
2
c
0
.
Por tanto,
1 =
_
2
0
cos
2
c
0
dt = 2: cos
2
c
0
.
Ejemplo 7 Se considera la supercie formada por las rectas que se apoyan
en la hlice de ecuacin c(n) = (cos n. sin n. n), n _ 0, paralelas al plano
. = 0 y que se apoyan en el eje C2. Vase la siguiente grca:
20
1. Vamos a hallar una parametrizacin de dicha supercie.
(a) Un punto A de la supercie satisface la siguiente ecuacin:

CA =

C1
0
+`

1
0
1
donde 1
0
es el punto del eje C2 y 1, 1
0
estn en la recta que
se apoya en la hlice y en el eje C2 y que es paralela al plano
. = 0. Por tanto si 1 es el punto de la hlice con coordenadas
(cos n. sin n. n), las coordenadas de 1
0
son (0. 0. n). se tiene:
:(n. `) = (0. 0. n) +`(cos n. sin n. 0)
= (`cos n. `sin n. n) , con n _ 0 y ` [0. 1].
2. Veamos que :(n. `) es una parametrizacin regular. Se tiene:
:
&
(n. `) = (`sin n. `cos n. 1) .
:
A
(n. `) = (cos n. sin n. 0) .
:
&
(n. `) .:
A
(n. `) = (sin n. cos n. `) .
|:
&
(n. `) .:
A
(n. `)| =
_
1 +`
2
,= 0.
por tanto, la parametrizacin es regular.
21
3. Primera forma fundamental. Se tiene:
1(n. `) = :
&
(n. `) :
&
(n. `) = (`sin n. `cos n. 1) (`sin n. `cos n. 1)
= 1 +`.
1(n. `) = :
&
(n. `) :
A
(n. `) = (`sin n. `cos n. 1) (cos n. sin n. 0)
= 0.
G(n. `) = :
A
(n. `) :
A
(n. `) = (`sin n. `cos n. 1) (cos n. sin n. 0)
= `.
Por tanto,
1
1
: 1
1
o 1
1
o R.
1
1
( n
1
. n
2
) = (c
1
. /
1
)
_
1 +` 0
0 `
__
c
2
/
2
_
.
con n
1
= (c
1
. /
1
) y n
2
= (c
2
. /
2
).
Ejemplo 9 Vamos a calcular la curvatura normal de la esfera de radio c y
centrada en el origen; esto es, la esfera de ecuacin cartesiana:
r
2
+
2
+.
2
= c
2
.
Podemos considerar la siguiente parametrizacin:
: : [0. 2:) (0. :) R
3
.
:(c. ,) = (c cos csin ,. c sin csin ,. c cos ,) .
Se tiene:
:
c
(c. ,) = (c sin csin ,. c cos csin ,. 0) .
:
o
(c. ,) = (c cos ccos ,. c sin ccos ,. c sin ,) .
y
:
c
(c. ,) .:
o
(c. ,) =
_
c
2
cos csin
2
,. c
2
sin csin
2
,. c
2
sin , cos ,
_
.
|:
c
(c. ,) .:
o
(c. ,)|
2
= c
4
cos
2
csin
4
, +c
4
sin
2
csin
4
, +c
4
sin
2
, cos
2
,
= c
4
sin
4
,
_
cos
2
c + sin
2
c
_
+c
4
sin
2
, cos
2
,
= c
4
sin
4
, +c
4
sin
2
, cos
2
,
= c
4
sin
2
,
_
sin
2
, + cos
2
,
_
= c
4
sin
2
,.
22
Por tanto,

`(c. ,) =
:
c
(c. ,) .:
o
(c. ,)
|:
c
(c. ,) .:
o
(c. ,)|
= (cos csin ,. sin csin ,. cos ,) .
Y
:
cc
(c. ,) = (c cos csin ,. c sin csin ,. 0) .
:
co
(c. ,) = (c sin ccos ,. c cos ccos ,. 0) .
:
oo
(c. ,) = (c cos csin ,. c sin csin ,. c cos ,) .
luego
1(c. ,) = :
c
(c. ,) :
c
(c. ,) = c
2
sin
2
csin
2
, +c
2
cos
2
csin
2
,
= c
2
sin
2
,.
1(c. ,) = :
c
(c. ,) :
o
(c. ,) = 0.
G(c. ,) = :
o
(c. ,) :
o
(c. ,) = c
2
cos
2
ccos
2
, +c
2
sin
2
ccos
2
, +c
2
sin
2
,
= c
2
.
1(c. ,) = :
cc
(c. ,)

`(c. ,) = c cos
2
csin
2
, +c sin
2
csin
2
, = c sin
2
,.
`(c. ,) = :
co
(c. ,)

`(c. ,) = 0.
`(c. ,) = :
oo
(c. ,)

`(c. ,) = c cos
2
csin
2
, +c sin
2
csin
2
, +c cos
2
,
= c sin
2
, +c cos
2
, = c.
Por tanto,
/
.
((/. /)) =
1/
2
+ 2`// +`/
2
1/
2
+ 21// +G/
2
=
c sin
2
,/
2
+c/
2
c
2
sin
2
,/
2
+c
2
/
2
=
1
c
.
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:
c
2
= r
2
+
2
.
Ejemplo 10 Se considera la supercie con ecuacin cartesiana . = r
2

2
.
Se pide:
1. Clasicar los puntos de la supercie.
23
2. Curvatura normal y curvaturas principales en el punto 1 de coorde-
nadas (0. 0. 0).
3. Lneas de curvatura en el punto 1.
4. Lneas asintticas en el punto 1.
Solucin.
La supercie es:
Una parametrizacin de dicha supercie es:
: : R
2
R
3
. :(n. ) =
_
n. . n
2

2
_
.
que es una parametrizacin de Monge con ,(n. ) = n
2

2
.
Tenemos:
:
&
(n. ) = (1. 0. 2n) .
:

(n. ) = (0. 1. 2) .

`(n. ) =
:
&
(n. ) .:
&
(n. )
|:
&
(n. ) .:
&
(n. )|
=
1
_
4n
2
+ 4
2
+ 1
(2n. 2. 1)
:
&&
(n. ) = (0. 0. 2) .
:
&
(n. ) = (0. 0. 0) .
:

(n. ) = (0. 0. 2) .
24
Por tanto,
1(n. ) = :
&
(n. ) :
&
(n. ) = 1 + 4n
2
.
1(n. ) = :
&
(n. ) :

(n. ) = 4n.
G(n. ) = :

(n. ) :

(n. ) = 1 + 4
2
.
1(n. ) = :
&&
(n. )

`(n. ) =
2
_
4n
2
+ 4
2
+ 1
.
`(n. ) = :
&
(n. )

`(n. ) = 0.
`(n. ) = :

(n. )

`(n. ) =
2
_
4n
2
+ 4
2
+ 1
.
La matriz de la segunda forma fundamental en un punto arbitrario 1 de la
supercie es:
_
1 + 4n
2
4n
4n 1 + 4
2
_
.
La matriz de la segunda forma fundamental en un punto arbitrario 1 de la
supercie es:
_
2
p
4&
2
+4
2
+1
0
0
2
p
4&
2
+4
2
+1
_
.
El determinante 1(n. )`(n. ) `(n. )
2
< 0, por tanto, todos los puntos
de la supercie son puntos hiperblicos.
La curvatura normal en el punto 1 = :(0. 0) en la direccin de un vector
(/. /) es:
/
.
(/. /) =
2/
2
2/
2
/
2
+/
2
Si suponemos (/. /) = (cos c. sin c) tenemos:
/
.
(cos c. sin c) = 2
_
cos
2
c sin
2
c
_
= 2 cos 2c.
Por tanto, /
.
toma el valor mximo 2 para c = 0. :, en la direccin de los
vectores (1. 0) y (1. 0), y /
.
toma el valor mnimo 2 para c = :,2. 3:,2,
en la direccin de los vectores (0. 1) y (0. 1).
Para c (:,4. :,4) ' (3:,4. 5:,4), la curvatura normal es positiva.
Para c (:,4. 3:,4) ' (5:,4. 7:,4), la curvatura normal es negativa.
Para c = :,4. 3:,4, la curvatura normal es cero. Por tanto, las direc-
ciones asintticas son:
(cos :,4. sin :,4) = (
_
2,2.
_
2,2).
(cos 3:,4. sin 3:,4) = (
_
2,2.
_
2,2).
25
La ecuacin diferencial de las lneas de curvatura en 1 es:
0 =

(
0
(t))
2
n
0
(t)
0
(t) (n
0
(t))
2
1 0 1
2 0 2

= 4n
0
(t)
0
(t)
Esto es, n
0
(t) = 0
0
(t) = 0. Por tanto, las lneas de curvatura son n(t) = n
0
(t) =
0
, con n
0
y
0
constantes. Como estamos en el punto 1 = :(0. 0),
tenemos n(0) = 0 y (0) = 0, por tanto, las lneas de curvatura son:
:(0. ) =
_
0. .
2
_
.
:(n. 0) =
_
n. 0. n
2
_
.
La ecuacin diferencial de las lneas asintticas en 1 es:
0 = 2 (n
0
(t))
2
2 (
0
(t))
2
==0 = n
0
(t) +
0
(t) 0 = n
0
(t)
0
(t)
Integrando obtenemos: n(t) = (t) + /. Como n(0) = (0) = 0, se tiene:
n = . Las lneas asintticas son:
:(n. n) = (n. n. 0)
:(n. n) = (n. n. 0)
26