8 Primera variacion de la longitud

Introducimos aqu el concepto de vector curvatura geodesica. Es una nocion intrnseca: la

puede experimentar un ser inteligente bidimensional que viva metido en la supercie, con tal de
que sepa como medir longitudes y angulos en ella. Ese ser no necesita saber como esta metida
la supercie dentro de R
3
, y de hecho la metrica puede no venir de R
3
.
8.1 Caso de deformaciones en el espacio
Este apartado vale para deformaciones (t, ) situadas en R
n
. La longitud estandar de caminos
en R
n
es el funcional integral cuyo Lagrangiano es L(x, y) y. Como esta funcion no es suave
donde y = 0, para poder calcular la primera variacion de longitud por el metodo habitual es
imprescindible suponer

0
(t) = 0 para todo t [a, b], es decir que
0
(t) sea una parametrizacion
regular.
Supuesta
0
regular, hacemos el calculo:
d
d

=0
longitud
_
(, )

=
=
d
d

=0
_
t=b
t=a
_

t
(t, )
t
(t, ) dt =
_
t=b
t=a

=0
_

t
(t, )
t
(t, ) dt =
=
_
b
a
2
t

t
2

t

t

=0
dt =
_
b
a

0
(t) V

(t)

0
(t)
dt =
_
b
a
t

0
(t) V

(t) dt ,
siendo t

0
(t)

0
(t)/

0
(t) la tangente unitaria de
0
(t) que apunta en el mismo sentido
que

0
(t). Ahora dejamos V(t) sin derivada integrando por partes, y queda:
_
t

0
(t) V(t)
_
t=b
t=a

_
b
a
V(t)
d
dt
t

0
(t) dt =
_
t

0
(t) V(t)
_
t=b
t=a

_
b
a
V(t)
_
s

(t)
d
ds
t

0
_
dt .
Podemos juntar s

(t) dt para formar ds . Llegamos a:

longitud

()
=0
=
_
t

0
(t) V(t)
_
t=b
t=a
+
_

0
V (k

0
) ds .
Observese que el termino integral no depende del sentido de recorrido de la curva
0
(t). Para
poner el termino de evaluacion en una forma que tampoco dependa del sentido de recorrido,
denimos en los extremos de la curva la tangente exterior como el vector unitario tangente
que apunta hacia afuera de la curva:
t
ext,
0
(a) = t

0
(a) , t
ext,
0
(b) = t

0
(b)
y entonces:
longitud

()
=0
=

t=a,b
t
ext,
0
(t) V(t) +
_

0
V (k

0
) ds (47)
Esta formula da un nuevo signicado al vector curvatura espacial:
El vector curvatura espacial es el unico campo de vectores k

0
a lo largo de la
curva que satisface la igualdad (47) para todas las deformaciones de la curva
en el espacio.
Por los resultados del apartado 7.4, el vector curvatura ya queda unvocamente determinado si
le pedimos que cumpla (47) para deformaciones de extremos jos (en cuyo caso el termino de
evaluacion es cero). En particular, el vector curvatura es nulo si y solo si todas las deformaciones
de extremos jos dan primera variacion de longitud igual a cero:
93
Una curva espacial nita
0
(t), a t b, es un tramo de recta si y solo si
para todas las variaciones de extremos jos la primera variacion de su longitud
estandar es nula.
Volvamos con las curvas de tipo general. Para variaciones de extremos jos, la curva se acorta
si la deformamos hacia el vector de curvatura y se alarga si la deformamos en direccion opuesta
al vector de curvatura
k
El termino de evaluacion tambien tiene importancia geometrica. Si
0
es un tramo de recta,
entonces el termino integral es nulo pero, si movemos los extremos, la curva todava puede
alargarse o acortarse debido al termino de evaluacion

0

0
Terminamos este apartado con una demostracion alternativa de la formula (47). Hemos obtenido al
principio longitud

()
=0
= A[V], siendo A el siguiente funcional:
A[V] =
_
b
a
t

0
(t) V

(t) dt ,
que es lineal. Dada una deformacion (t, ) de
0
, separamos su velocidad inicial de deformacion
en parte normal y parte tangente a la curva V(t) V

(t) +c(t)

0
(t) y, por la inealidad de A, la
variacion de longitud es A
_
V

(t)
_
+A
_
c(t)

0
(t)
_
.
Ahora hacemos una suerte de integracion por partes. Derivando la identidad t

0
V

0
deducimos:
t

0

d
dt
V

0
(t) V

(t) k

0
V

(t) k

0
V,
de donde A
_
V

(t)
_
=
_

0
V (k

0
) s

(t) dt =
_

0
V (k

0
) ds.
Por n, calculamos A
_
c(t)

0
(t)
_
como una variaci on de longitud y no como una integral. Tomamos
una extension
0
(t) : (a

, b

) R
n
de
0
a un intervalo mayor (a

, b

) [a, b] y denimos la nueva

deformacion (t, )
0

(t) de
0
, siendo

las siguientes aplicaciones:

: [a, b] (a

, b

) ,

(t) t + c(t) ,
que efectivamente toman sus valores en (a

, b

) para || peque no. Adem as

0
(t) t. La velocidad
inicial de deformaci on en (t, ) es
_
d
d

=0

(t)
_

0
(t)|
t=
0
(t)
c(t)

0
(t), luego A
_
c(t)

0
(t)
_
es la variacion de longitud en la deformacion (t, ). Por otra parte, para || peque no tenemos la
acotacion |c

(t)|
1
2
para t [a, b] y las correspondientes

son estrictamente crecientes y de

hecho difeomorsmos [a, b]
_

(a) ,

(b)
_
, luego la longitud de
0

(t) en a t b es la
longitud de
0
(t) en

(a) t

(b) . La variacion de esta longitud es, pues:

d
d

=0
_

(b)

(a)

0
(t) dt = c(b)

0
(b) c(a)

0
(a) =
_
t

0
(t) V(t)
_
t=b
t=a
,
de donde A
_
c(t)

0
(t)
_
=
_
t

0
(t) V(t)
_
t=b
t=a
y hemos terminado.
8.2 Caso de deformaciones en supercies
En este apartado jamos una supercie S y nos restringimos a deformaciones (t, ) contenidas
en S: la curva inicial
0
es regular, esta contenida en S y la deformamos suavemente sin sacarla
de S.
94
Estudiamos primero el caso en que vemos las curvas en S como curvas en el espacio y el funcional
es la longitud espacial estandar (pero actuando ahora solamente sobre curvas contenidas en S).
Ahora la velocidad inicial de deformacion V(t) es un campo tangente a S a lo largo de
0
, por
lo cual el integrando que aparece en (47) satisface la identidad V (k

0
) k
g,
0
,S
V, siendo:
k
g,
0
,S
(t) proyeccion ortogonal de k

0
(t) sobre T

0
(t)
S .
Denicion 83. Sea
0
(t) una curva regular contenida en una supercie S. El campo de los
vectores curvatura geodesica de
0
(t) en S esta formado por las proyecciones ortogonales
k
g,
0
,S
(t) de los vectores de curvatura espacial de
0
sobre los planos tangentes a la supercie.
Esto da para cada t una descomposicion ortogonal:
k

0
(t) = k
n,
0
,S
(t) N +k
g,
0
,S
(t) ,
donde k
g,
0
,S
(t) es la parte tangente a la supercie y k
n,
0
,S
N = II
S
(t

0
) N es la parte normal
a la supercie.
Cuando no haya posible confusion escribiremos k
g,
0
, o simplemente k
g
, en vez de k
g,
0
,S
.
V
(t)

0
k
g,
0
S
k

0
As, pues, para variaciones que no sacan la curva de la supercie se tiene:
longitud

()
=0
=

t=a,b
t
ext,
0
(t) V(t) +
_

0
(k
g,
0
,S
) Vds (48)
El lema 76 del apartado 7.5 es aplicable aqu, y nos dice:
Dada una curva
0
S, el vector curvatura geodesica de
0
en S es el unico
campo de vectores k
g,
0
,S
tangente a S a lo largo de
0
y cumpliendo (48)
para todas las deformaciones contenidas en S.
Estudiamos ahora el caso en que hay jada una metrica de Riemann Q en S y el funcional es
la longitud respecto de Q
longitud
Q
[
0
] =
_
b
a
_
Q
_

0
(t)
_
dt ,
o sea el funcional integral asociado al Lagrangiano
_
Q(). El caso que acabamos de estudiar
corresponde a Q I, pero ahora consideramos cualquier metrica en S. Imitando el resultado
que acabamos de obtener, es natural introducir la siguiente,
Denicion 84. Dada (S, Q), supercie dotada de una metrica de Riemann, y dada una curva
regular
0
(t) S, el vector curvatura geodesica de
0
respecto de Q es el unico campo
de vectores k
g,
0
,Q
tangente a S a lo largo de
0
y cumpliendo la siguiente igualdad para toda
deformacion (t, ) de
0
que no la saca de S:
d
d

=0
longitud
Q
_
(, )

t=a,b
Q
_
t
ext,
0
(t) , V(t)
_
+
_

0
Q
_
k
g,
0
,Q
, V
_
ds (49)
Cuando hablemos del vector curvatura geodesica en S, sin especicar la metrica, se sobreen-
tiende que dicha metrica es la primera forma fundamental y estamos en la denicion 83.
95
La unicidad de k
g,
0
,Q
esta garantizada por el lema 76. La existencia quedara establecida en
cuanto calculemos la primera variacion del funcional longitud
Q
.
Atencion. Lo que vamos a hacer es comprobar como un ser inteligante bidimensional que vive
dentro de (S, Q) puede llegar a conocer el vector curvatura geodesica, partiendo de que sabe
hallar longitudes y angulos mediante Q. Pero demonos cuenta de que para ese ser es como si
el espacio R
3
no existiera; en particular los vectores tangentes a S los experimenta solamente
como velocidades de caminos en S. As conoce
u
como velocidades de caminos (u, cte
2
)
y
v
como velocidades de caminos (cte
1
, v). Veamos como se las arregla para calcular los
escalares a
1
(t), a
2
(t) tales que a
1
(t)
u
+ a
2
(t)
v
es el campo a lo largo de
0
que cumple (49)
para todas las deformaciones de
0
dentro de su mundo.
Partimos, para hacer el calculo, de una parametrizacion regular (u, v) de S de modo que en
las coordenadas curvilneas (u, v) tenemos una expresion
Q A(u, v) (du)
2
+2B(u, v) dudv + C(u, v) (dv)
2
,
y denotamos por [Q] la matriz
_
A B
B C
_
. Lo que el ser bidimensional conoce son las fun-
ciones A, B, C , los vectores
u
,
v
y la correspondencia entre cada valor (u, v) y un punto (u, v)
de su mundo. Con solo eso va a ser capaz de determinar k
g,
0
,Q
gracias al Calculo de Variaciones.
Damos nombres a las funciones que vamos a manipular:

0
(t)
_
u(t) , v(t)
_
,
(t, )
_
u(t, ) , v(t, )
_
,
V(t) v
1
(t)
u
_
u(t) , v(t)
_
+ v
2
(t)
v
_
u(t) , v(t)
_
,
donde es v
1
(t) u

(t, 0) y v
2
(t) v

(t, 0). Como la longitud (Riemanniana) no vara al

reparametrizar la curva, en (t, ) podemos cambiar el parametro t [a, b] por otro t = (t),
t [a, b], y pasar a la nueva deformacion
(t, ) : [a, b] (, ) S , (t, )
_
(t) ,
_
,
que tiene exactamente la misma funcion longitud
Q
(), luego la misma primera variacion. Esto
nos permite ajustar a nuestro antojo la rapidez Riemanniana de una de las curvas (, ). Por
supuesto, lo hacemos con la curva inicial (, 0). Podemos, pues, suponer sin perdida de gene-
ralidad que

0
(t)
Q
c siendo c una constante positiva: la curva inicial esta parametrizada
con rapidez constante. Hecho eso, empezamos ya el calculo:
longitud

Q
()
=0
=
=
_
t=b
t=a

=0

[u
t
v
t
][Q]
_
u
t
v
t
_
dt =
=
_
b
a
1
2
_
Q
_

0
(t)
_
_
[u

(t) v

(t)]
_
[Q]

_
=0
_
u

(t)
v

(t)
_
+2[v

1
(t) v

2
(t)][Q]
_
u

(t)
v

(t)
__
dt =
=
1
c
_
Q
_
V(t) ,

0
(t)
_
_
t=b
t=a
+
1
c
_
b
a
[v
1
v
2
]
_
_

d
dt
_
[Q]
_
u

__
_
_
dt +
+
1
c
_
b
a
1
2
[u

]([Q]

)
=0
_
u

_
dt .
Denotamos por Q
u
, Q
v
los siguientes campos de formas cuadraticas (pueden no ser denidos
positivos):
Q
u
A
u
(du)
2
+2B
u
dudv + C
u
(dv)
2
, Q
v
A
v
(du)
2
+2B
v
dudv + C
v
(dv)
2
,
96
lo que nos permite escribir:
[u

]([Q]

)
=0
_
u

_
[v
1
v
2
]
_
Q
u
(

0
)
Q
v
(

0
)
_
,
y tener la matriz la [v
1
v
2
] como factor com un en el integrando:
longitud

()
=0
=
1
c
_
Q
_
V(t) ,

0
(t)
_
_
t=b
t=a
+
+
1
c
_
b
a
[v
1
v
2
]
_
_

d
dt
_
[Q]
_
u

__
+
1
2
_
Q
u
(

0
)
Q
v
(

0
)
_
_
_
dt .
Como (1/c)

0
(t) es una tangente Q-unitaria para
0
, obtenemos la siguiente expresion para la
primera variacion de la longitud:

t=a,b
Q
_
t
ext,
0
, V(t)
_
+
1
c
_
b
a
[v
1
v
2
]
_
_

d
dt
_
[Q]
_
u

__
+
1
2
_
I
u
(

0
)
I
v
(

0
)
_
_
_
dt .
El termino de evaluacion ya esta como queramos. Ponemos la parte integral en la siguiente
forma:
_
t=b
t=a
[v
1
v
2
]
_
_

d
d(ct)
_
[Q]
_
u

(t)/c
v

(t)/c
__
+
1
2
_
Q
u
_

0
(t)/c
_
Q
v
_

0
(t)/c
_
_
_
_
d(ct) ,
y ahora observamos que s ct es un parametro longitud de arco (respecto de Q) para
0
, con
lo cual el termino integral queda:
_

0
[v
1
v
2
]
_
_

d
ds
_
[Q]
_
u

(s)
v

(s)
__
+
1
2
_
Q
u
(t

0
)
Q
v
(t

0
)
_
_
_
ds =
=
_

0
[v
1
v
2
][Q][Q]
1
_
_

d
ds
_
[Q]
_
u

(s)
v

(s)
__
+
1
2
_
Q
u
(t

0
)
Q
v
(t

0
)
_
_
_
ds =
=
_

0
Q
_
V, k
g,
0
,Q
(s)
_
ds ,
donde k
g,
0
,Q
es el campo de vectores tangente a S a lo largo de
0
denido por las siguientes
identidades:
k
g,
0
,Q
a
1
(s)
u
+ a
2
(s)
v
_
a
1
(s)
a
2
(s)
_
[Q]
1
_
_
d
ds
_
[Q]
_
u

(s)
v

(s)
__

1
2
_
Q
u
(t

0
)
Q
v
(t

0
)
_
_
_
_

_
(50)
Este campo cumple la igualdad (49) para toda deformacion de
0
que no la saca de S, luego
por lo explicado sobre unicidad es el vector curvatura geodesica de
0
respecto de Q.
8.3 Isometras y vector curvatura geodesica
Acabamos de ver que un ser bidimensional inteligente que viva en (S, Q) puede hallar el campo
k
g,
0
,Q
(t) de cualquier curva regular
0
(t) S con solo conocer Q. En este apartado vamos
a reemplazar esa imagen psicologica por un enunciado puramente matematico: el que k
g
este
determinado por la pareja curva-metrica tiene que obligar a cualquier transformacion que lleve
una pareja curva-metrica a otra a tambien llevar el campo k
g
de la primera pareja al de la
segunda.
97
Teorema 85. Sean (S
1
, Q
1
), (S
2
, Q
2
) dos supercies, cada una dotada de una metrica de Rie-
mann. Sea h : S
1
S
2
una isometra local de clase al menos C
2
. Para toda curva regu-
lar
0
S
1
las diferenciales de h llevan los vectores curvatura geodesica de
0
respecto de Q
1
a
los de la curva imagen h
0
respecto de Q
2
.
Demostracion. Podemos suponer
0
(t) parametrizada por arco respecto de Q
1
. Entonces la
compuesta h
0
(t) esta parametrizada por arco respecto de Q
2
. Dada cualquier variacion
(t, ) de
0
dentro de S
1
, la compuesta h (t, ) es una variacion de h
0
(t) detro de S
2
, y
si es C
2
entonces tambien lo es h . Si V(t) es la velocidad inicial de deformacion de , la
de h es (dh)

0
(t)
V(t), o sea la imagen de V(t) por las diferenciales de h.
Al ser h isometra local, conserva la longitud de curvas parametricas y en particular las siguientes
funciones de son identicas
longitud
Q
1
_
(, )

, longitud
Q
2
_
h (, )

,
luego tienen la misma derivada respecto de en = 0. Al ser tanto como h al menos de
clase C
2
, los calculos del apartado 8.2 son validos para las dos. Deducimos que para cualquier
campo suave V(t), de vectores tangentes a S
1
a lo largo de
0
(t), y que se anule en los extremos
de
0
, tenemos:
_
b
a
Q
1
_
V(t) , k
g,
0
,Q
1
(t)
_
dt =
_
b
a
Q
2
_
(dh)

0
(t)
V(t) , k
g,h
0
,Q
2
(t)
_
dt .
Pero, como las diferenciales de h conservan el producto escalar, tambien tenemos:
_
b
a
Q
1
_
V(t) , k
g,
0
,Q
1
(t)
_
dt =
_
b
a
Q
2
_
(dh)

0
(t)
V(t) , (dh)

0
(t)
k
g,
0
,Q
1
(t)
_
dt .
Como las diferenciales de h son todas invertibles, a medida que V(t) recorre los campos de
vectores tangentes a S
1
a lo largo de
0
(t) y nulos en los extremos, la imagen (dh)

0
(t)
V(t)
recorre todos los campos W(t) tangentes a S
2
a lo largo de h
0
(t) y nulos en los extremos.
Luego para todos esos W(t) tenemos:
_
b
a
Q
2
_
W(t) , k
g,h
0
,Q
2
(t)
_
dt =
_
b
a
Q
2
_
W(t) , (dh)

0
(t)
k
g,
0
,Q
1
(t)
_
dt ,
y, por el lema 76 del apartado 7.5, necesariamente es k
g,h
0
,Q
2
(t) (dh)

0
(t)
k
g,
0
,Q
1
(t).
Mas adelante (apartado 10.5) veremos que no hace falta preocuparse de si la isometra es de
clase C
2
.

Este es el segundo resultado de geometra intrnseca que obtenemos en este curso (el primero
fue el teorema 41: un trocito de esfera no es isometrico a ning un trocito de plano). Un ejemplo
bastara para ver que es un reusltado fuerte. Podemos tomar un hoja plana de papel e ir dandole
forma de cilindros u otras supercies. Durante este proceso las (innitas) curvas que hay en el
papel se van deformando y su curvatura espacial va cambiando, pero su curvatura geodesica es
un vector siempre de la misma longitud porque va siguiendo las isometras a que sometemos al
papel.
8.4 Aceleracion
Teorema 86. Sea
0
(t)
_
u(t) , v(t)
_
cualquier camino suave en (S, Q), no necesariamente
regular ni de rapidez constante, y b
1
(t), b
2
(t) dadas por:
_
b
1
(t)
b
2
(t)
_
[Q]
1
_
_
d
dt
_
[Q]
_
u

(t)
v

(t)
__

1
2
_
Q
u
_

0
(t)
_
Q
v
_

0
(t)
_
_
_
_
. (51)
El vector

0
(t)
Q
b
1
(t)
u
+ b
2
(t)
v
no depende de las coordenadas (u, v) que se utilicen para
calcularlo: esta determinado por la parametrizacion
0
(t) y la metrica Q.
98
Denicion 87. El vector

0
(t)
Q
del teorema anterior recibe el nombre de aceleracion Rie-
manniana (respecto de Q) de
0
(t).
Demostracion. Usando (1/2)Q como Lagrangiano en la supercie S, denimos un funcional
integral:
E
_

0
(t)

=
1
2
_
t=b
t=a
Q
_

0
(t)
_
dt ,
llamado energa. El calculo de la primera variacion de este funcional es muy parecido al de la
longitud (solo que un poco mas facil) y para una deformacion (t, ) de
0
(t) con

(t, 0) V(t)
da el siguiente resultado:
d
d

=0
E
_
(, )

=
_
Q
_
V(t) ,

0
(t)
_
_
t=b
t=a
+
_
b
a
Q
_

0
(t)
Q
, V(t)
_
dt .
Entonces el Lema 76 del apartado 7.5 nos da la unicidad de

0
(t)
Q
como campo de vectores
tangentes a S a lo largo de
0
. De esta unicidad se sigue el que no dependa de las coordenadas
utilizadas para calcularlo.
Indicamos a continuacion aquellas propiedades de la aceleracion Riemanniana que nos interesan.
Primera propiedad:
Q
_

0
(s)
_
1 = k
g,
0
,Q

0
(s)
Q
, (52)
es decir que la curvatura geodesica es la aceleracion Riemanniana de una parametrizacion por
longitud de arco Riemanniano. Esto es consecuencia obvia de las formulas (50) y (51).
Segunda propiedad. Un calculo facil (que mostramos al nal de este apartado) da la siguiente
identidad para cualquier camino suave
0
(t):
d
dt
Q
_

0
(t)
_
2 Q
_

0
(t) ,

0
(t)
Q
_
. (53)
Corolario 88. Sea S una supercie. Para cualquier metrica Q en S, y cualquier curva regular

0
S, el vector curvatura geodesica de
0
es Q-ortogonal a
0
en cada punto.
Simplemente tomamos una parametrizacion
0
(s) por longitud de arco Riemanniano y apli-
camos (53):
0
d
ds
1
d
ds
Q
_

0
(s)
_
2 Q
_

0
(s) ,

0
(s)
Q
_
2 Q
_
t

0
, k
g,
0
,Q
_
.
Mas en general, un camino tiene rapidez constante si y solo si su aceleracion Riemanniana es
Q-ortogonal al camino.
Tercera propiedad. Si reparametrizamos un camino (t) por un cambio afn de parametro
t = c
0
+ c
1
t, la aceleracion Riemanniana cambia de la siguiente manera:
(t) ( c
0
+ c
1
t ) =

(t)
Q
c
2
1

(t)
Q
|
t=c
0
+c
1
t
, (54)
formula que es consecuencia obvia de (51).
Para curvas
0
(t)
_
x(t) , y(t)
_
en el plano R
2
xy
y para la metrica Eucldea Q
0
(dx)
2
+(dy)
2
,
recuperamos la nocion estandar de aceleracion:

0
(t)
Q
0

_
x

(t) , y

(t)
_

0
(t).
Para una supercie cualquiera S, con parametrizacion (u, v), una metrica arbitraria Q y una
curva
0
(t)
_
u(t) , v(t)
_
, veamos cual es la relacion entre

0
(t)
Q
b
1

u
+b
2

v
y el vector
numerico
_
u

(t) , v

(t)
_
. Desarrollando
dA
dt
,
dB
dt
,
dC
dt
por la regla de la cadena, obtenemos:
_
b
1
b
2
_

[Q]
1
_
[Q]
_
u

_
+
_
A
u
u
2
+ A
v
v

+ B
u
u

+ B
v
v
2

1
2
A
u
u
2
B
u
u

1
2
C
u
v
2
B
u
u
2
+ B
v
v

+ C
u
u

+ C
v
v
2

1
2
A
v
u
2
B
v
u

1
2
C
v
v
2
__
,
99
que se simplica en lo siguiente:

b
1
b
2

A B
B C

1

1
2
A
u
u
2
+ A
v
u

B
v

1
2
C
u

v
2

B
u

1
2
A
v

u
2
+ C
u
u

+
1
2
C
v
v
2

. (55)
Terminamos este apartado con el calculo que prueba la identidad (53):
2 Q

0
(t) ,

0
(t)
Q

2 [u

] [Q] [Q]
1

d
dt

[Q]

1
2

Q
u
(

0
)
Q
v
(

0
)

2 [u

]
d
dt

[Q]

[u

Q
u
(

0
)
Q
v
(

0
)

2 [u

[Q]

+ [Q]

[u

][Q]

[u

][Q]

+ 2 [u

][Q]

[u

][Q]

+ [u

][Q]

+ [u

][Q]

d
dt

[u

][Q]

d
dt
Q

0
(t)

.
8.5 La metrica vista desde una curva
Sea (u) un camino regular en una supercie S con metrica Q. Lanzamos peque nos tramos de
curvas Q-ortogonales a y queremos interpretar la curvatura geodesica de de manera analoga
a lo hecho en el apartado 2.5:
El vector k
g,,Q
apunta hacia el costado de la curva donde la metrica Q ve los
tramos ortogonales convergentes unos hacia los otros, y la longitud k
g,,Q

Q
mide la intensidad de esa convergencia.
Para dar una familia de tramos cortos Q-ortogonales a , tomamos una parametrizacion regu-
lar (u, v) tal que sea (u) (u, 0) (en particular, traza la curva {v = 0}) y
v
(u, 0) sea un
vector Q-unitario y Q-ortogonal a . El Corolario 88 dice en este caso que k
g,,Q
0
u
+a
2

v
,
con a
2
Q

k
g,,Q
,
v

funcion escalar igual a k

g,,Q

Q
.
Si Q A(du)
2
+2B dudv + C (dv)
2
, tenemos ahora las condiciones:
B(u, 0) 0 , C(u, 0) 1 ,
que nos dan tambien B
u
(u, 0) 0. Tomemos una parametrizacion por arco Riemanniano

u(s) , 0

para , que claramente tiene v

(s) v

(s) 0. Si R(u)
u
(u, 0)

A(u, 0)
es la rapidez de la parametrizacion (u) (u, 0), entonces u

(s) 1/R

u(s)

y la formula (55)
queda as:
k
g,
0
,Q
a
2

v
con

0
a
2

d
ds
1
R
0

1/A(u, 0) 0
0 1

1
2
A
u
(u, 0) R(u)
2

1
2
A
v
(u, 0) R(u)
2

,
de donde:
b
2

1
2

(u)
2

v=0

2
, (56)
formula identica a la (12) del apartado 2.5.
Con la formula (12) se interpreto la curvatura de una curva en el plano Eucldeo como una me-
dida de la compresion o separacion inicial de lneas ortogonales a , siendo un detalle importante
que no era necesario que dichas lneas fuesen rectas. Del mismo modo la parametrizacion (u, v)
proporciona las lneas (cte, v) que son Q-ortogonales a la curva
0
, pero no les hemos pedido
que sean geodesicas. De este modo la formula (56) puede utilizarse con sistemas de coordenadas
bastante arbitrarios, y encima ha resultado ser valida para metricas cualesquiera.
100