1.

Curvaturas Principales
Como toda aplicacin lineal, la aplicacin de Weingarten en un punto
posee determinante (Curvatura de Gauss) y traza (Curvatura Media). Por
ser autoadjunta, posee una base ortonormal de autovectores. Las
direcciones de esta base son nicas si y slo si si los dos autovalores
(curvaturas principales)

2.Geodsicas
Una curva en una superficie se dice geodsica si su aceleracin es
normal a la superficie. Esta nocin generaliza la de tener aceleracin
nula, propiedad que puede resultar incompatible con la de estar sobre
una superficie dada.
(A) Sea

una superficie. Se dice que una curva regular

define una lnea de curvatura de

asinttica de M) si su velocidad

M
'

:IM

(respectivamente, una lnea

define siempre una direccin

principal (respectivamente, una direccin asinttica).

En ambos casos se trata de propiedades de las trayectorias (lneas)
de las curvas y no de las curvas (regulares) mismas.
Se sigue de la definicin de direccin principal que una curva regular

: I M define una lnea de curvatura si y slo si, para cualquier

eleccin (local) de normal unitaria v, se verifica:
'

'

k =L D v=
'

D ( vo )
d ( v o )
d
,
=k
dt
dt
dt

(Sistema de ecuaciones diferenciales d 1er orden en las componentes

de la velocidad de
cada

), donde la funcin

k : I R

t I , a un autovalor (curvatura principal) de

da lugar, en

L (t) . Este

resultado se conoce como teorema de Olinde-Rodrigues.

Similarmente, se sigue de la definicin de direccin asinttica que
una curva regular

:IM

define una lnea asinttica si y slo si,

para cualquier eleccin (local) de normal unitaria

'

'

'

0= L , > D v , ><
'

v , se verifica:

D ( vo ) '
d ( v o ) d
, ><
, > 0
dt
dt
dt

(Ecuacin diferencial de 1er orden en las componentes de la velocidad

de

).

(B) Se dice que una curva

aceleracin

''

D '
dt

:IM

es un geodsica (de

es normal a

geodsica, entonces se tiene:

M . Si

:IM

M ) si su
es una

d < ' , '> =2< ' ' , ' > 0 , | '|=cte

dt
.

Es importante sealar que el carcter de geodsica es una propiedad de

la curva y no slo de la trayectoria.
Observacin.
Sea

:IM

geodsica de

una curva con

M , ninguna reparametrizacin de

f : J I

En efecto: Sea

of : J M

| ' | constante. Si no es una

sea geodsica de

puede serlo.

un difeomorfismo. Para que

M , debe ser

|(of )' |=cte

, y por ser

| '|=cte , se deduce de la proposicin

df
d2 f
=cte 2 =0 .
ds
ds
Pero en tal caso, se deduce de la proposicin:

df 2 ' '
( of ) .
ds
of ' ' =

Con lo que, si

''

ser paralela a

vo of .

no es paralela a

vo , tampoco

( of )' '

puede

Ejemplo
Cualquier curva regular en un plano define una lnea de curvatura
y asinttica. Cualquier curva regular en una esfera define una lnea de
curvatura; la esfera no posee asintticas.
Todas las curvas con (norma de la) velocidad constante cuyas
imgenes son rectas en el plano, hlices (tambin rectas o
circunferencias) en el cilindro o crculos mximos en la esfera son
geodsicas; probar que todas las geodsicas en estas superficies son de
esa forma requiere esperar.
En la superficie

M , siendo:

: Ix R ( u , v ) ( u )+rcosv
N ( u ) +r sinv
B (u) E3

Y la carta

(U , =(u , v ))

definida en el mismo, se tiene que, para cada

u : ( , ) v ( u ) +rcosv
N ( u )+ r sinv
B (u) M

u J , la curva
Verifica:

sinv
N ( u )cosv
B (u) (v)
u

'

u ( v )=r
Entonces:

cosv
N ( u ) +sinv
B ( u ) (v )=r (vo u )(v )
u

' 'u ( v ) =r
v ( u , v ) cosv
N ( u )+ sinv
B ( u) ,

(Utilizando la normal con parte vectorial

con lo que

es geodsica de

M . Por otra parte:

1 '
sinv
N ( u )cosv
B ( u ) (v )=
(v )
r u
D ( vo u )
( v )=
L (v ) ( ' u ( v ) ) D v =
dt
u

Con lo que

'

u( v )

define una lnea de curvatura de

M .

Direcciones asintticas
La curvatura normal de una superficie (orientada) en un punto
toma todos los valores que se encuentran entre los dos autovalores de la
aplicacin de Weingarten en dicho punto.
Sean

( M , v ) una superficie orientada y

k1 , k2

sus curvaturas

k1

principales (elegimos la notacin de manera que la funcin

siempre mayor o igual que la funcin

k 2 ). Sean

pM

sea

( 1 , 2 )

una base adaptada de

escribir:

T p M . Un vector genrico

=||( Cos 1 + sin 2) , para cierto

curvatura normal de

v ( )

1
2

||

(M , v)

< D v , >

||

se puede

. Entonces la

en la direccin de

T p M

verifica:

< L p , > k 1 ( p ) co s 2 + k 2 ( p ) sin 2

La frmula que acabamos de obtener (llamada frmula de Euler)

muestra que los valores de la curvatura normal de
una combinacin afn y convexa (ya que

en particular

k1 ( p )

=0

para

( y )

k2 ( p )

para

son

y su suma

p . Al

2 , obtenemos todos los valores del intervalo

en

co s2 0, sin 2 0

k 1 ( p ) y k 2 ( p) en

es uno) de las curvaturas principales

(M , v)

entre

[k 1 ( p ) , k 2 ( p)]

= ( y 3 /2)
2

. De esta forma conclusiones que las curvaturas principales

k 1 ( p ) y k 2 ( p)

son los valores mximo y mnimo, respectivamente, de la

curvatura normal de

(M , v)

p .

en

Se dice que un vector tangente (no nulo)

T p M

define una

direccin asinttica
Si

L p , > 0 , lo que equivale a decir que la curvatura normal

v ()
p

de

(M , v)

en la direccin de

es nula. Entonces el punto

es:

Hiperblico si y slo si

Tp M

posee exactamente dos

direcciones asintticas distintas.

Parablico si y slo si
asintticas.

Tp M

Tp M

posee una nica direccin

Elptico si y slo si

Plano si y slo si todas las direcciones de

En efecto:
A la vista de:

no posee direcciones asintticas.

Tp M

son asintticas.

v ( )

1
1
2
2
< D v , > 2 < L p , > k 1 ( p ) co s + k 2 ( p ) sin
2
||
||

Las direcciones asintticas en

formando ngulos

Tp M

0 [0, /2] y

aparecen siempre por parejas,

con la direccin principal

.
Condiciones necesarias: si

es hiperblico

0=arcTa n(0, / 2) k 1 ( p)/k 2 ( p) y

asintticas; si

Tp M

es parablico, resulta

direccin asinttica; si

direcciones asintticas; y si

Tp M

resulta

posee dos direcciones

0=0 ( si k 1 ( p )=0> k 2 ( p ) ) 0= (si k 1 ( p )=0> k 2 ( p ) )

2
( y slo una)

( k 1 ( p ) >0> k 2 ( p ) ) ,

Tp M

es elptico,

posee una

Tp M

no posee

p es plano, todas las direcciones de

son asintticas.

Condiciones suficientes: inmediatas, por ser excluyente la

casustica anterior sobre sobre las direcciones asintticas y exhaustiva la
clasificacin de los punto por su carcter.
Ejemplo
Se sigue que cualquier punto de un plano es plano (por tanto
umblico), cualquier punto de una esfera es elptico (y umblico) y
cualquier punto de un cilindro (o de un cono) de revolucin es
parablico. Cualquier direccin tangente a un plano es principal y
asinttica. Cualquier direccin tangente a una esfera es principal y
ninguna es asinttica.
En la superficie