Derivando velocidades respecto de velocidades

(Geodésicas y otros menesteres)

(VERSIÓN PRELIMINAR)

Mansilla, Martín Ignacio

22 de noviembre de 2016

Recordemos que dada una superficie regular S y un punto en ella p ∈ S tenemos Tp (S),

el plano tangente a S en p. Podemos considerar entonces a la unión disjunta de todos los planos
`
tangentes a la superficie T (S) = p∈S Tp (S), este objeto se llama fibrado tangente y puede hacerse de

él un estudio mucho mas profundo que el vamos a presentamos en la materia, a nosotros va a sernos

de utilidad para referirnos a la familia de todos los planos tangentes a S al mismo tiempo. Un campo

vectorial en una superficie S es una aplicación X : S → T (S), o sea que para todo p ∈ S se tiene que

X(p) ∈ Tp (S); un campo vectorial será diferenciable en p ∈ S si, dada una parametrización (U, φ) de

un entorno de p las funciones a(u, v) y b(u, v) tales que

X(p) = a(u, v)φu + b(u, v)φv ,

es decir las coordenadas de X(p) en la base {φu , φv }, resultan diferenciables como funciones de R2 en

R.

Observemos que para todo punto p en una superficie regular S, si (U, φ) es una parame-

φu ×φv
trización de un entorno de p y Np es una normal a S en p (ejemplo: kφu ×φv k ), entonces los vectores

{φu , φv , Np } forman una base de R3 . Tiene sentido entonces considerar para un punto cualquiera de

1
R3 su prooyección al subespacio Tp (S) = hφu , φv i, la cual notaremos πTp (S) . Esto será de gran utilidad

a continuación cuando intentemos entender los objetos que dan sentido geométrico a las derivadas

de campos diferenciables dentro de superficies regulares.

Dado un campo diferenciable X sobre una superficie regular S y una curva α : I → S de

clase C ∞ tiene sentido pensar en la “curva de tangentes” X ◦ α : I → T (S). Podemos entonces derivar

aquella nueva curva en función del parámetro t, llamaremos a eso la derivada de X respecto de la

la velocidad de la curva α y lo notaremos dα0 (t) X(α(t)) := (X ◦ α)0 (t). Si bien la derivada que recién

definimos tiene sentido, mucho más sentido geométrico tendrá estudiar las componentes tangenciales

de esa derivada, ya que es en el espacio tangente donde “viven” las velocidades de las curvas de S.

Con esto en mente definimos la derivada covariante de X respecto de α0 , la cual notaremos

 
Dα0 (t) X(α(t)) = 5α0 (t) X(α(t)) := πTp (S) (X ◦ α)0 (t) .

Por último observemos que esta nueva noción de evaluar un campo sobre una curva permite

definir qué es un campo diferenciable que esté definido solo sobre una curva de una superficie regular

S. Un campo X definido sobre una curva α : I → S será diferenciable en un punto p = α(t0 ) ∈ S

cuando X ◦α lo sea, es decir, cada vez que tengamos (U, φ) una parametrización de un entorno de p, si

(X ◦ α)(t) = a(t)φu + b(t)φv entonces a y b son curvas diferenciables en t0 . Este es el caso emblemático

del campo que nace de la derivada de una curva. A saber, si α : I → S es una curva diferenciable

que no se corta a sí misma en S para cada t ∈ I queda definida su velocidad α0 (t) ∈ Tα(t) S. Tenemos

entonces definido el campo de velocidades de α sobre la curva del siguiente modo:

α0 : Im(α) → T (S)

α(t) 7→ α0 (t),

notemos que es crucial que la curva no se corte a sí misma para tener una buena definición (para

cualquier curva regular podemos conseguir esto localmente).

2
 Miremos que significa esto en un ejemplo. Consideremos el campo diferenciable en la esfera

X : S 2 −→ T (S 2 )

(x, y, z) 7→ (−y, x, 0).

Es fácil ver que para todo punto p de la esfera su imagen por X está en su tangente haciendo el

producto interno con su vector normal, que resulta ser el mismo punto p (o −p dependiendo del

gusto del lector). Queda como ejercicio verificar que el campo es efectivamente diferenciable.

Estudiemos la derivada covariante de X respecto de α0 , con α : (0, 2π) → S 2 que en cierto

0 < t < 2π sea α(t) = (cos(t)cos(t), sen(t)cos(t), sen(t)). Para eso vamos a derivar respecto de t a

X(t) = (X ◦ α)(t) obteniendo

d
dα0 X(α(t)) = (−sen(t)cos(t), cos(t)2 , 0)
dt

= (−cos(t)2 + sen(t)2 , −2sen(t)cos(t), 0).

Ahora debemos proyectar lo conseguido recién al plano tangente en cada punto. Observemos que, si

p = α(t) y Np es la normal a S 2 en p tenemos

dα0 X(α(t)) = πTp (S 2 ) (dα0 X(α(t))) + hNp , dα0 X(α(t))iNp = Dα0 X(α(t)) + hNp , dα0 X(α(t))iNp ,

con lo cual podemos calcular la derivada covariante como

Dα0 X(α(t)) = dα0 X(α(t)) − hNp , dα0 X(α(t))iNp .

Recordando que en la esfera Np = p y haciendo la cuenta tenemos que hNp , dα0 X(α(t))i = −cos(t)2 ,

de donde se sigue que la derivada covariante de X respecto de α0 sea

Dα0 X(α(t)) = (−cos(t)2 + sen(t)2 , −2sen(t)cos(t), 0) + cos(t)2 (cos(t)cos(t), sen(t)cos(t), sen(t))

= (cos(t)2 (1 − cos(t)2 ) + sen(t)2 , (cos(t))2 − 2)sen(t)cos(t), cos(t)2 sen(t))

= ((cos(t)2 + 1)sen(t)2 , −(sen(t)2 + 1)sen(t)cos(t), cos(t)2 sen(t)).

que puede verificarse facilmente, haciendo el producto interno con α(t), que se encuentra en Tα(t) (S 2 ).

3
 Sea α una curva definida sobre una superficie regular S, un campo X será paralelo S a lo
→
−
largo de α en un punto p = α(t0 ) si Dα0 X(p) = 0 . Diremos que el un campo es paralelo a una

superficie a lo largo de toda la curva si lo es para cada punto de ella. Podemos observar que en el

ejemplo anterior el campo X no resulta paralelo a la esfera a lo largo de α en general, solo lo es en

t = π.

Consideremos ahora la superficie del cilindro C = {(x, y, z) ∈ R3 : x2 + y 2 = 1}, el campo

definido sobre ella X : C → T (C) que en cierto (x, y, z) ∈ R3 vale X(x, y, z) = (0, 0, z) y por último

las curvas dadas por α1 (t) = (cos(t), sen(t), 0) y α2 (t) = (0, 0, t) con 0 < t < 2π. Estudiemos las

derivadas covariantes de X respecto de α1 y α2 con el fin de decidir si el campo es paralelo a C sobre

alguna de ellas. Empezando por X1 (t) = X(α(t)) = (0, 0, 0) es trivial llegar a la conclusión de que
→
−
Dα01 X(α(t)) = 0 . Por otro lado X2 (t) = X(α2 (t)) = (0, 0, t), con lo cual X20 (t) = (0, 0, 1), además es

claro que (0, 0, 1) ∈ Tα2 (t) C ya que (0, 0, 1) = α20 (t) y las velocidades de las curvas siempre “viven”
→
−
en el plano tangente. Tenemos entonces que Dα02 (X(α2 (t))) 6= 0 para todo 0 < t < 2π con lo cual el

campo X nunca es paralelo a C a lo largo de α2 .

Definiremos ahora lo que es una geodésica en una superficie regular. Una curva C sobre una

surpeficie regular S será una geodésica en un punto p de su imagen si existe alguna parametrización

α : I → S de ella de forma que su campo de velocidades α0 : S → T (S) sea paralelo a S en p a lo largo

de α. En otras palabras, debe existir dicha parametrización α para la cual se tenga Dα0 (α0 (p)) = 0.

Notemos que si p = α(t0 ) entonces α0 (p) = α0 (α(t0 )) = α0 (t0 ) (hecho del que uno puede

convencerse mirando la definición del campo de velocidades de una curva), luego

Dα0 (α0 (p)) = πTp (S) (α0 ◦ α)0 (t0 )) = πTp (S) (α00 (t0 )).

Concluímos entonces que la derivada covariante del campo de velocidades de una curva respecto de

su propia velocidad no es más que la proyección al tangente de su aceleración. Las geodésicas serán

aquellas curvas que, para alguna parametrización, solo tengan aceleración normal y no tangencial.

Esa última frase puede entenderse como que las curvas geodésicas son aquellas que solo se curvan

4
cuando son obligadas por la misma forma de la superficie.

Veamos cuales son las curvas geodésicas en un plano cualquiera Π que pase por el origen.

Adelanto lo que todos sabemos, serán las rectas. En primer lugar es fácil ver que para cualquier punto

de Π su plano tangente es él mismo. Tenemos entonces que para cualquier curva α : I → Π en todo

punto t ∈ I α0 (t) ∈ Π, se seguirá de esto que α00 (t) ∈ Π para todo valor de t. Para entender esa útlima

afirmación, supongamos que exista cierto t0 tal que α00 (t0 ) ∈

a Π de norma 1 hN, α00 (t0 )i 6= 0. Gracias a la aproximación de Taylor tendremos que para todo t en
00 (t ),N i|
cierto entorno (−ε + t0 , ε + t0 ) vale α0 (t) = α0 (t0 ) + α00 (t0 )(t − t0 ) + ∆(t) con k∆(t)k ≤ ε |hα 2
0
.

Luego
|hα00 (t0 ), N i|
|hα0 (t), N i| ≥ |hα00 (t0 ), N i||(t − t0 )| − h∆(t), N i| ≥ ε > 0,
2

lo cual es absurdo. Se sigue que α00 (t) ∈ Tα(t) (Π) = Π para todo t, con lo cual α00 (t) = πTα(t) (Π) (α00 (t)) =

Dα0 α0 (t). Al pedir que α sea geodésica estaremos imponiendo entonces que α00 (t) = 0 para todo valor

de t, con lo cual tendremos α es una recta.

En el ejemplo del cilindro observemos que sendas curvas consideradas son geodésicas. Desa-

rrollemos ahora un poco de tecnología que será de utilidad para caracterizar todas las geodésicas del

cilindro.

Sean S1 y S2 dos superficies regulares dotadas de una primera forma fundamental I 1 , I 2

respectivamente. Diremos que φ : S1 → S2 es una isometría en p ∈ §1 si Ip1 (w) = Iφ(w)

Será una isometría local en un entorno U ⊂ S1 si es una isometría para todo p ∈ U . Además S1 será

localmente isométrica a S2 si en cada entorno U ⊂ S1 se puede definir una isometría local φ : U → S2 .

Observemos que gracias a la identidad

2hv, wip = Ip (v + w) − Ip (v) − Ip (w),

para todo p ∈ Si (i = 1, 2) y todo para de vectores v, w ∈ Tp (Si ), la definición recién dada es equiva-

5
lente a pedir que la función φ respete el producto interno del siguiente modo,

hv, wip = hDp (φ)v, Dp (φ)wiφ(p) .

El siguiente teorema justifica la introducción del concepto anterior.

Teorema 1. Si S1 es localmente isométrica a S2 y α es geodésica en S1 entonces α̃ = φ ◦ α es geodesica en S2 .

Usemos el Teorema 1 para caracterizar a todas las geodésicas del cilindro C.