GEODESICAS COMO CAMINOS MAS CORTOS
DARWIN A. MAMANI ARI
GEOMETRIA DIFERENCIAL: GEODESICAS. 1
En esta parte veremos la relación entre las geodésicas y los caminos mas cortos que pueden
existir dentro de una superficie S.
Si consideramos el parche: σ: U ⊂ ℝ2 → ℝ3 y una curva γ: [a, b] → ℝ3
γ=σ(u(t),v(t)).
Si γ es el camino mas corto en la superficie S desde el punto p hasta el punto q
Donde p, q ∈ S. entonces γ sigue siendo el camino mas corto mediante cualquier
parametrizacion parche σ de S.
Observación: Para probar que: si γ tiene una longitud menor que cualquier otro camino
respecto a σ que pase por dos puntos fijos p, q, consideramos una familia de curvas que
pasan por p y q. Es decir γτ tal que γ ∈ γτ , donde τ ∈ −δ, δ .
GEOMETRIA DIFERENCIAL: GEODESICAS. 2
Teorema:
Sea γ: [a, b] → S una curva de velocidad unitaria tal que γ ∈ γτ donde γ = γ0 , con τ ∈ −δ, δ .
b
definimos: ζ τ = න γሶ τ d t .
a
d
γ es una geodesica ⟺ ζ τ = 0.
dt
Demostración:
d d b τ d b 2 2 1/2
b
𝜕 1
ζ τ = න γሶ d t = න (Euሶ + 2Fuሶ vሶ + Gvሶ ) d t = න [g τ, t 2 ]d t
dτ dτ a dτ a a 𝜕τ
b
𝜕 1 1 b 1
−2 𝜕
=න [g τ, f 2 ]d t = න g τ, t g τ, t d(t) . (∗)
a 𝜕τ 2 a 𝜕τ
donde: g τ, t = Euሶ 2 + 2Fuሶ vሶ + Gvሶ 2 .
GEOMETRIA DIFERENCIAL: GEODESICAS. 3
𝜕𝑔 𝜕𝐸 2 𝜕𝐹 𝜕𝐺 2 𝜕𝑢ሶ 𝜕𝑢ሶ 𝜕𝑣ሶ 𝜕𝑣ሶ
Pero: = 𝑢ሶ +2 𝑢ሶ 𝑣ሶ + 𝑣ሶ + 2E𝑢ሶ + 2𝐹 𝑣ሶ + 𝑢ሶ + 2𝐺 𝑣ሶ
𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏
𝜕𝑢 𝜕𝑣 𝜕𝑢 𝜕𝑣 𝜕𝑢 𝜕𝑣
= 𝐸𝑢 + 𝐸𝑣 𝑢ሶ 2 + 2 𝐹𝑢 + 𝐹𝑣 𝑢ሶ 𝑣ሶ + (𝐺𝑢 + 𝐺𝑣 ) 𝑣ሶ 2 +
𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏 𝜕𝜏
𝜕2 𝑢 𝜕2 𝑢 𝜕2 𝑣 𝜕2 𝑣
2E𝑢ሶ + 2𝐹( 𝑣ሶ + 𝑢ሶ )+ 2𝐺 𝑣ሶ
𝜕𝜏𝜕𝑡 𝜕𝜏𝜕𝑡 𝜕𝜏𝜕𝑡 𝜕𝜏𝜕𝑡
𝜕𝑢 𝜕𝑣
= 𝐸𝑢 uሶ 2 + 2𝐹𝑢 uሶ vሶ + 𝐺𝑢 vሶ 2 + 𝐸𝑣 uሶ 2 + 2𝐹𝑣 uሶ vሶ + 𝐺𝑣 vሶ 2 +
𝜕𝜏 𝜕𝜏
𝜕2 𝑢 𝜕2 𝑣
2 E𝑢ሶ + F𝑣ሶ + 2 F𝑢ሶ + G𝑣ሶ . ∗∗ .
𝜕𝜏𝜕𝑡 𝜕𝜏𝜕𝑡
GEOMETRIA DIFERENCIAL: GEODESICAS. 4
Analizaremos el resultado anterior unsando la ecuacion ∗ solo para los terminos que
tienen segundas derivadas parciales.
b
𝜕2u 𝜕2v 𝜕u 𝜕v t=b
න g −1/2 ((Euሶ + Fv)
ሶ + Fuሶ + Gvሶ )dt = g −1/2 ((Euሶ + Fv)
ሶ + Fuሶ + Gvሶ )|
a 𝜕τ𝜕t 𝜕τ𝜕t 𝜕τ 𝜕τ t=a
b
𝜕 −1 𝜕u 𝜕 −1 𝜕u
− න { [g (Euሶ + Fv)]
2 ሶ + [g 2 (Fuሶ + Gv)]
ሶ dt , (usando integracion por partes)
a 𝜕t 𝜕τ 𝜕t 𝜕τ
𝜕γτ
Ahora como γτ a =p y γτ b = q , no dependen de τ: entonces = 0 , cuando t = a o t = b.
𝜕τ
𝜕γτ 𝜕u 𝜕v
puesto que: = σ + σ = 0 y como σu y σv son vectores no nulos entonces:
𝜕τ 𝜕τ u 𝜕τ v
𝜕u 𝜕v
= = 0 , cuando t = a o t = b.
𝜕τ 𝜕τ
GEOMETRIA DIFERENCIAL: GEODESICAS. 5
Ahora insertamos dentro de ∗ los terminos restantes de ∗∗ . tenemos:
b
d 𝜕u 𝜕v
ζ τ = න (U + V )dt , donde ∶
dτ a 𝜕τ 𝜕τ
1 −1/2 2 2
d −1
U = U τ, t = g Eu uሶ + 2Fu uሶ vሶ + Gu vሶ − g 2 Euሶ + Fvሶ
2 dt
1
1 −1/2 d −2
V= V τ, t = g Ev uሶ 2 + 2Fv uሶ vሶ + Gv vሶ 2 − g Fuሶ + Gvሶ
2 dt
Ahora como γ0 = γ es de velocidad unitaria ⟹ γሶ τ = g τ, t = 1, para τ = 0.
⟹ por las ecuaciones geodesicas tenemos que U = V = 0. para τ = 0
d
∴ ζ τ = 0 , cuando 𝜏 = 0 ∎
dt
GEOMETRIA DIFERENCIAL: GEODESICAS. 6
Ahora probaremos que γ es una geodesica. para esto supongamos que se cumple:
b
𝜕u 𝜕v
න U +V dt = 0 cuando τ = 0 , (∗∗∗)
a 𝜕τ 𝜕τ
como U ≠ 0, cuando τ = 0 ⟹ existe un t 0 ∈ a, b , tal que U 0, t 0 ≠ 0
suponemos U 0, t 0 > 0.
como U es una funcion continua , existe η > 0 tal que U 0, t > 0, ∀t ∈ t 0 − η, t 0 + η
consideremos una funcion diferenciable ϕ t > 0 si t ∈ t 0 − η, t 0 + η
ϕ t = 0, si t ∉ t 0 − η, t 0 + η .
Si γ t = σ u t , v t y consideramos la familia γτ t = σ u τ, t , v τ, t tal que se cumpla.
u τ, t = u t + τϕ t , v τ, t = v t .
𝜕u 𝜕v
⟹ =ϕ y = 0, ∀τ y ∀t.
𝜕τ 𝜕τ
b t0 +η
𝜕u 𝜕v
⟹න U +V dt = න U 0, t ϕ t dt > 0 , cuando τ = 0, contradice ∗∗∗ .
a 𝜕τ 𝜕τ t0 −η
GEOMETRIA DIFERENCIAL: GEODESICAS. 7
⟹ U 0, t = 0, pata todo t ∈ a, b .
De una forma similar probamos tambien que: V 0, t = 0, para todo t a, b
⟹ provamos que γ satisface las ecuaciones geodesicas:
∴ γ es una geodesica. ∎.
GEOMETRIA DIFERENCIAL: GEODESICAS. 8