Reconocimiento

Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Geodésicas del brado tangente

de una variedad Riemanniana

Bach. Sandra Elizabeth Frisancho Chura

Universidad Nacional de San Agustín

COMCA 2017
Arica, 3 de agosto 2017

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Contenido
1 Reconocimiento
2 Conceptos básicos
Fibrado tangente
Construcción de una métrica sobre el brado tangente TM
3 Métrica de Sasaki
4 Simbolos de Christoel del brado tangente
Símbolos de Christoel de primer tipo de TM
Símbolos de Christoel de segundo tipo de TM
5 Geodésicas del brado tangente
Geodésicas
Flujo geodésico
Geodésicas de TM
Ejemplo de geodésica del brado tangente TM
6 Conclusiones
Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Reconocimiento

Por el apoyo de conanciamiento de la UNSA, CIENCIACTIVA Y

CONCYTEC

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Fibrado tangente
Simbolos de Christoel del brado tangente Construcción de una métrica sobre el brado tangente TM
Geodésicas del brado tangente
Conclusiones

Fibrado tangente

[
TM = Tp M = {(p, v ) ; p ∈ M, v ∈ Tp M}
p∈M

Observación
Sea M n una variedad diferenciable. El conjunto TM = p∈M Tp M tiene
S
una estructura de una variedad diferenciable de dimensión 2n
determinada naturalmente a partir de la estructura que esta en M ; con
tal estructura TM será llamado de brado tangente de M .

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Fibrado tangente
Simbolos de Christoel del brado tangente Construcción de una métrica sobre el brado tangente TM
Geodésicas del brado tangente
Conclusiones

Construcción de una métrica sobre el brado tangente TM

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Fibrado tangente
Simbolos de Christoel del brado tangente Construcción de una métrica sobre el brado tangente TM
Geodésicas del brado tangente
Conclusiones

Construcción de una métrica sobre el brado tangente TM

Denición (Aplicación conexión )

Sean ξ ∈ Tθ TM , donde θ = (p, v ) ∈ TM y z : (−, ) → TM una curva
tangente a ξ , es decir, z (0) = θ y ż (0) = ξ con
z (t) = (α (t) , Z (t)) , t ∈ (−, )

Entonces la aplicación conexión Kθ : Tθ TM → Tp M es denida por

 
DZ (t) 
Kθ (ξ) = (∇α Z ) (0) = .
dt 
t=0

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Fibrado tangente
Simbolos de Christoel del brado tangente Construcción de una métrica sobre el brado tangente TM
Geodésicas del brado tangente
Conclusiones

Construcción de una métrica sobre el brado tangente TM

Por unos calculos adicinales se prueba que, Kθ está bien denida; y es

lineal.

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Fibrado tangente
Simbolos de Christoel del brado tangente Construcción de una métrica sobre el brado tangente TM
Geodésicas del brado tangente
Conclusiones

Enunciamos la siguiente denición y proposición que nos

será de utilidad para denir la métrica de Sasaki.

Denición (Subespacio horizontal)

El subespacio horizontal de Tθ TM está dado por

H (θ) = ker (Kθ ) .

Proposición
Con las condiciones anteriores, y sabiendo que el kernel ker (Kθ ) de la
aplicación conexión Kθ esta dado por
ker (Kθ ) = {ξ ∈ Tθ TM | Kθ (ξ) = 0},

Tθ TM = ker (dπθ ) ⊕ ker (Kθ ) .

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
Demostración de suma directa
Demostración (Tθ TM = ker (dπθ ) ⊕ ker (Kθ )).
Para este objetivo, sea {v1 , ..., vn } una base de Tp M , para vi ∈ Tp M
existe una curvas diferenciable γi : I → M con γi (0) = p , γ̇i (0) = vi . Si
θ = (p, v ) es un elemento de TM , sea Vi (t) el transporte paralelo de v a
lo largo de γi , es decir, DVdit(t) = 0, Vi (0) = v .
Sea
βi (t) = (γi (t), Vi (t)) , t ∈ I
entonces
βi (0) = θ,
y denotemos
ξi = β̇i (0) .
Luego, ξi ∈ ker (K θ ). Enseguida los {ξ1 , ..., ξn } son linealmente
independientes.
Entonces {ξ1 , ..., ξn } son n-vectores linealmente independientes de
ker (Kθ ), concluimos, dim (ker (Kθ )) ≥ n.
Probemos ahora que dim (ker (dπθ )) ≥ n.
Sean vi : I → Tp M curvas diferenciables en Tp M con vi (0) = v ,
v̇i (0) = vi .
Demostración de suma directa
Demostración (Tθ TM = ker (dπθ ) ⊕ ker (Kθ )).
Considere
αi (t) = (p, vi (t)) ,
denote por
ηi = α̇i (0) .
Ahora ηi ∈ ker (dπθ ). Enseguida los {η1 , ..., ηn } son linealmente
independientes.
Entonces {η1 , ..., ηn } son n-vectores linealmente independientes de
ker (dπθ ). De aquí, dim (ker (dπθ )) ≥ n.
También, dim (ker (dπθ )) = n.
La demostración de la proposición se concluye del siguiente Lema.
Demostración de suma directa
Lema
Si H (θ) = ker (Kθ ) y V (θ) = ker (dπθ ), entonces
H (θ) ∩ V (θ) = {0} .

Demostración.
Supongamos que ∃ξ ∈ Tθ TM con ξ 6= 0, tal que ξ ∈ ker (Kθ ) ∩ ker (dπθ ).
Dado que ξ ∈ Tθ TM , existe una curva diferenciable z : (−, ) → TM
con
z (0) = θ;


ż (0) = ξ.
Tal curva da lugar a una curva α : (−, ) → M , α = π ◦ z y un campo
vectorial Z a lo largo de α, es decir, z (t) = (α (t) , Z (t)). Si
z (t) = X (x1 (t) , ..., xn (t) , u1 (t) , ..., un (t))
tenemos que
n n
∂¯ ∂¯
ẋi (0) u̇i (0) (1)
X X
ξ= (θ) + (θ) .
∂xi ∂ui
i=1 i=1
Demostración de suma directa
Por otro lado, como ξ ∈ ker (dπθ ),
d

dπθ (ξ) = 0 (π ◦ z ) (t) =0

⇐⇒
dt t=0
⇐⇒ α̇ (0) = 0
∂ ∂
⇐⇒ ẋ1 (0) + ... + ẋn (0) =0
∂x1 ∂xn
⇐⇒ (ẋ1 (0) , ..., ẋn (0)) = ~0.

Ahora, como Z (t) = i=1 ui (t) ∂x∂ i (p), entonces

Pn


DZ (t) 
Kθ (ξ) = 0 ⇐⇒ =0
dt  t=0
n
!
D ∂ 
=0
X
⇐⇒ ui (t) (p) 

dt i=1
∂xi 
t=0
n n  
∂ D ∂ 
u̇i (0) =0
X X
⇐⇒ + ui (t)
∂xi dt ∂xi 

i=1 i=1 t=0
Xn Xn
Demostración de suma directa
n n
∂ ∂
Kθ (ξ) = 0 u̇i (0) ui (0) ∇α̇(0) =0
X X
⇐⇒ +
∂xi ∂xi
i=1 i=1
n
∂
u̇i (0) = 0, porque α̇ (0) = 0
X
⇐⇒
∂xi
i=1
⇐⇒ u̇i (0) = 0, i = 1, ..., n,

de la ecuación (1) concluimos que

ξ = 0.

Por lo tanto,
H (θ) ∩ V (θ) = {0} . (2)
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Métrica de Sasaki

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Métrica de Sasaki

Denición (Métrica de Sasaki)

Usando la descomposición TM = V (θ) ⊕ H (θ) podemos denir en una
manera natural una métrica Riemanniana en TM que hacen H (θ) y V (θ)
ortogonales. La métrica es llamada la métrica de Sasaki y esta dada por
G (θ) = hhξ, ηiiθ = hdπθ (ξ) , dπθ (η)iπ(θ) + hKθ (ξ) , Kθ (η)iπ(θ) . (3)

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Métrica de Sasaki

Sea ahora GIJ (1 ≤ I , J ≤ 2n) los coecientes de la métrica riemanniana G

en TM denida en la ecuación (1). Siempre escribiremos tales coecientes
en la forma matriz bloque 2n × 2n
 
  Gjk Gj n+k
GIJ = .
Gn+j k Gn+j n+k

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Métrica de Sasaki

Corolario
Podemos implícitamente calcular la matriz inversa de GIJ , resolviendo la
ecuación
GIJ G JK = δIK , (1 ≤ I , J, K ≤ 2n).
A partir de las ecuaciones de los coecientes de la métrica riemanniana
de TM . El resultado es como sigue:
 jk jk
G = g , P

G j n+k = −
 k jm
l,m Γlm g vl ,
G n+j k = − l,m Γjlm g km vl ,
P


 n+j n+k
= g jk + m,l,r ,s g ml Γjrm Γksl vr vs .
P
G

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
Ejemplo de matriz inversa de los coecientes de la métrica
de Sasaki
Ejemplo (matriz inversa de los coecientes de la métrica de Sasaki)
La matriz inversa G JK de los coecientes de la métrica riemanniana en
T H2 es:
y2
 
0 vy −uy
i  0 y2
 
h uy vy 
G JK (θ) = 
y 2 +v 2 +u 2 0
 
 vy uy 

y 2 +u 2 +v 2
 
−uy vy 0

Enseguida calcularemos los símbolos de Christoel del brado del plano

hiperbólico T H2 . n o
1P
Usando la ecuación Γm
ij = 2 k
∂gik ∂gkj ∂gij
∂xj + ∂xi − ∂xk g km , tenemos
−v 2 −u 2 −2y 2 3 2 2 3 2 2
Γ̄212 = Γ̄112 = 2y 3 , Γ̄312 = −v −u2y 4v +vy , Γ̄412 = u +v2yu−uy
4 ,
−v 2 +2y 2 −1
Γ̄13 = −Γ̄14 = Γ̄24 = Γ̄23 = 2y 3 , Γ̄13 = 2y 3 , Γ̄14 = 2y 2 , Γ̄22 =
3 4 3 4 −uv 4 2 u 2
y ,
2 2 u 2 −2vu−2y 2
Γ̄314 = u 2−y23y , Γ̄124 = 2−u
y 2 , Γ̄22 = y 2 , Γ̄24 =
3 u 4
2y 3 ,
,
Γ̄122 =Γ̄242 =Γ̄133 =Γ̄333 =Γ̄433 =Γ̄143 =Γ̄243 =Γ̄334 =Γ̄443 =Γ̄144 =Γ̄244 =Γ̄344 =Γ̄444 =Γ̄233 =Γ̄114 =Γ̄113 =Γ̄111 =0
3 2 2 2 2 3 2 2uy 2 +2u 2 2
Γ̄411 = v +vu y4 , Γ̄211 = y +v +y 32u −uv Γ̄311 = u +v u−
, 2y 4 , Γ̄323 = v 2−y23y ,
−3v 3u
Γ̄ 2 = 2 , Γ̄ =
2
2 y Γ̄ = Γ̄ =
4 1
2.
v
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Símbolos de Christoel de primer tipo de TM
Simbolos de Christoel del brado tangente Símbolos de Christoel de segundo tipo de TM
Geodésicas del brado tangente
Conclusiones

Símbolos de Christoel de primer tipo de TM

Sea ϕα : ∪α × Rn → TM , una parametrización  de θ en elbrado
tangente TM denida por ϕα (q, v ) = ϕα (q) , d (ϕα )q v donde
ϕα : Uα ⊂ Rn → M es una parametrización de M . En esta sección
estudiaremos los símbolos de Christoel de la métrica de Sasaki G del
brado tangente TM en M .
Para los indices I , J, K , ..., que varían entre 1 y 2n, si [IJ, K ] son los
símbolos de Christoel de primer tipo de TM , tenemos entonces por la
ecuación
n o
1
, 1 ≤ i, j, k ≤ n
∂gik ∂gkj ∂gij
[ij, k] = 2 ∂xj + ∂xi − ∂xk

1 ∂GJH ∂GHK ∂GJK

 
[JK , H] = + − . (4)
2 ∂xK ∂xJ ∂xH

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Símbolos de Christoel de primer tipo de TM
Simbolos de Christoel del brado tangente Símbolos de Christoel de segundo tipo de TM
Geodésicas del brado tangente
Conclusiones

Símbolos de Christoel de primer tipo de TM

Sea ϕα : ∪α × Rn → TM , una parametrización  de θ en elbrado
tangente TM denida por ϕα (q, v ) = ϕα (q) , d (ϕα )q v donde
ϕα : Uα ⊂ Rn → M es una parametrización de M . En esta sección
estudiaremos los símbolos de Christoel de la métrica de Sasaki G del
brado tangente TM en M .
Para los indices I , J, K , ..., que varían entre 1 y 2n, si [IJ, K ] son los
símbolos de Christoel de primer tipo de TM , tenemos entonces por la
ecuación
n o
1
, 1 ≤ i, j, k ≤ n
∂gik ∂gkj ∂gij
[ij, k] = 2 ∂xj + ∂xi − ∂xk

1 ∂GJH ∂GHK ∂GJK

 
[JK , H] = + − . (4)
2 ∂xK ∂xJ ∂xH

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
Símbolos de Christoel de primer tipo de TM

Para 1 ≤ i, j, k, h ≤ n podemos vericar, después de algunos cálculos

largos, que

[n + j n + k, h] = 0


[n + j n + k, n + h] = 0





[n + j k, n + h] = [jk, h]


 
∂ (gml Γm l
rj Γsh )

1
 P
[jk, h] = [jk, h] + 2 m,l,r ,s


∂xk


 
∂ (gml Γm l
rh Γsk ) ∂ (gml Γm l
rj Γsk )

 + ∂xj − ∂xh vr vs

 n
[jk, n + h] = 12 l=1 ∂([lj,h])
n
+ ∂([lk,h])

 P

∂xk ∂xj



 o
m s
− m,s gms Γhj Γlk − m,r gmr Γm Γrhk vl

 P P


 lj
n o
[n + j k, h] = 1 Pn 2

l m
P
R + g Γ sh jk vs
Γ

2 s=1 jskh m,l lm
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Símbolos de Christoel de primer tipo de TM
Simbolos de Christoel del brado tangente Símbolos de Christoel de segundo tipo de TM
Geodésicas del brado tangente
Conclusiones

Símbolos de Christoel de segundo tipo de TM

I
para los indices I , J, K , H que varían entre 1 y 2n, si ΓJK son los símbolos
de Christoel de segundo tipo de TM , tenemos entonces por la ecuación
Pn
Γm
ij = k=1 g km [ij, k] ,

2n
I
(5)
X
ΓJK = G IH [JK , H],
H=1

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki Símbolos de Christoel de primer tipo de TM
Simbolos de Christoel del brado tangente Símbolos de Christoel de segundo tipo de TM
Geodésicas del brado tangente
Conclusiones

Símbolos de Christoel de segundo tipo de TM

I
para los indices I , J, K , H que varían entre 1 y 2n, si ΓJK son los símbolos
de Christoel de segundo tipo de TM , tenemos entonces por la ecuación
Pn
Γm
ij = k=1 g km [ij, k] ,

2n
I
(5)
X
ΓJK = G IH [JK , H],
H=1

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
Símbolos de Christoel de segundo tipo de TM

Podemos vericar, después de algunos cálculos largos, que

 I

Γn+j n+k =0
 i 1 Pn i
Γn+j = Rjsk vs

2 s=1


 k
n+i 1
 P p
i i
P
k = Γjk − 2

Γn+j r ,s,p Γrp p Rjsk vr vs


i
n P h i o
i 1P P h i
Γ jk = Γjk + 2  r ,s Γ R
h rj hsk + Γ R vr vs

  h rk hsj
 i
n+i
Γjk = 21 s Rskj + 2 ∂xjks vs
 P i i ∂Γ



 + Rsjk
 hP P
 P h l i
+ 21 r ,s,t i h l
 P
l Γrl h Γtj Rshk + h Γtk Rshj vr vs vt

 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Geodésicas

Denición (Geodésica)
Una curva
 parametrizada γ : I → M es una geodésica en t0 ∈ I , si
dγ
dt dt = 0 en el punto t0 ; se dice que γ es una geodésica si γ es una
D

geodésica en t , para todo t ∈ I . Si [a, b] ⊂ I y γ : I → M es una

geodésica, la restricción de γ al intervalo [a, b] sera denominada
(segmento de) geodésica entre γ (a) y γ (b).
Finalmente una curva γ : I → M es una geodésica si, y sólo si
d2 xk X k dxi dxj
n
+ Γ = 0, k = 1, ..., n, (6)
dt 2 i,j=1 ij dt dt

universalmente conocida como las ecuaciones locales satisfechas por una

geodésica γ en una parametrización (U, ϕ).
Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Deniremos ujo geodésico de M para la demostración del

resultado de geodésicas de TM

Denición (Flujo geodésico)

Sea M una variedad riemanniana, el ujo geodésico de M es una familia
de difeomorsmos asociados a un parámetro real ϕt tal que
ϕt : TM → TM
(p, v ) → (γv (t) , γv0 (t))

donde γv es la única geodésica de M con γv (0) = p y γv0 (0) = v .

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Deniremos ujo geodésico de M para la demostración del

resultado de geodésicas de TM

Lema
Existe un único campo
 G̃ en el brado
 tangente TM cuyas trayectorias
son de la forma t → γ (t) , ddγt (t) , donde γ es una geodésica en M .

Denición
El campo G̃ denido arriba es llamado campo geodésico de TM .

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Geodésicas de TM
Proposición
Las trayectorias del campo geodésico son geodésicas de TM con la
métrica de Sasaki.
Demostración.
Sea ᾱ (t) = (α (t) , v (t)) una curva en TM , si calculamos la longitud de
ᾱ, obtenemos:
Z b q

ᾱ˙ (t) , ᾱ˙ (t) dt


` (ᾱ) = ᾱ(t)
a
hdπᾱ(t) (ᾱ(t)
˙ ),dπᾱ(t) (ᾱ(t) dt
Rb q
= a
˙ )i
π(ᾱ(t))
+hKᾱ(t) (ᾱ(t)
˙ ),Kᾱ(t) (ᾱ(t)
˙ )i
π(ᾱ(t))
Z b q
2
2
kα̇ (t)k + Kᾱ(t) ᾱ˙ (t) dt

=
a
Z b q Z b
2
≥ kα̇ (t)k dt = kα̇ (t)k dt = ` (α) ,
Bach.a Sandra Elizabeth Frisancho Chura
a Geodésicas del brado tangente de una variedad Riemanniana
Demostración.
si ` (ᾱ) = ` (α) entonces,

Kᾱ(t) ᾱ˙ (t) = 0 ⇐⇒ Kᾱ(t) ᾱ˙ (t) = 0

D
⇐⇒ (v ) |t=0 = 0
dt
si, y solamente si v es paralelo a lo largo de α. Por otra parte,
consideremos, una trayectoria del ujo geodésico pasando por
θ = (p, v ) ∈ TM que es localmente de la forma

γ̄ (t) = (γ (t) , γ̇ (t)) ,

donde γ (t) es una geodésica en M , sea V una vecindad convexa de p en

M y W una vecindad convexa de θ = (p, v ) en TM con π (W ) = V .
Como W es una vecindad convexa entonces para cualesquiera dos puntos
Q1 = (q1 , v1 ), Q2 = (q2 , v2 ) del cerrado W̄ de W existe una única
geodésica minimizante γ̄ que une Q1 a Q2 cuyo interior está contenido en
W . Supongamos que γ̄ no es una geodésica. Entonces existe una curva ᾱ
que une Q1 a Q2 contenida en W , tal que
Demostración.
` (ᾱ) < ` (γ̄)
como ` (γ̄) = ` (γ), porque γ̇ (t) es paralelo a lo largo de γ , resulta que
` (ᾱ) < ` (γ)

ahora, de α = π ◦ ᾱ; como ` (α) ≤ ` (ᾱ) entonces

` (α) < ` (γ) .

Hemos obtenido, pues, que γ no es una geodésica. Esta contradicción

hace que renunciemos a la suposición de que γ̄ no es una geodésica.
Ejemplo
Ejemplo
Ejemplo
Sea γ (t) = e t (0, 1), una parametrización del eje y positivo se prueba
fácilmente que es una geodésica de H2 . Las trayectorias del campo
Geodésico del brado tangente del plano hiperbólico T H2 es,
ϕt (p, v ) = (γ (t) , γ̇ (t))
= 0, e t , 0, e t ,

es una geodésica de T H2 .
En efecto:
ϕt (p, v ) = 0, e t , 0, e t

es una geodésica de T H2 si, y sólo si

d
 
D
(ϕ (p, v )) = 0.
dt dt t
Veamos, como
d
 
D D 
0, e t , 0, e t ,


(ϕt (p, v )) =
dt dt dt
Ejemplo
Ejemplo
d
 
D D 
0, e t , 0, e t ,


(ϕt (p, v )) =
dt dt dt
luego
 
D  D t ∂ ∂
0, e t , 0, e t = + et


e
dt dt ∂y ∂v
   
∂ D ∂ ∂ D ∂
= et + et + et + et
∂y dt ∂y ∂v dt ∂v
= e t ∂y
∂
+e t ∇ d (ϕ (p,v )) ∂y
∂
+e t ∂v
∂
+e t ∇ d (ϕ (p,v )) ∂v
∂
dt t t dt
= e t ∂y
∂
+e t ∇e t ∂
∂ +e t ∂ ∂y +e t ∂v
∂
+e t ∇e t ∂
∂ +e t ∂ ∂v
∂y ∂v ∂y ∂v

= e t ∂y
∂
+e t ∇e t ∂
∂ ∂y +e t ∇e t ∂
∂ ∂y +e t ∂v
∂
+e t ∇e t ∂
∂ ∂v +e t ∇e t ∂
∂ ∂v
∂y ∂v ∂y ∂v

= e t ∂y
∂
+e t e t ∇ ∂ ∂
∂y +e t e t ∇ ∂
∂ ∂y +e t ∂v
∂
+e t e t ∇ ∂
∂ ∂v +e t e t ∇ ∂
∂ ∂v
∂y ∂v ∂y ∂v

= e t ∂y
∂
+e t e t (Γ122 ∂x
∂
+Γ222 ∂y
∂
+Γ322 ∂u
∂
+Γ422 ∂v
∂
)+e t e t (Γ142 ∂x
∂

+ Γ242 ∂y
∂
+Γ342 ∂u
∂
+Γ442 ∂v
∂
)+e t ∂v
∂
+e t e t (Γ124 ∂x
∂
+Γ224 ∂y
∂

+ Γ324 ∂u
∂
+Γ424 ∂v
∂
)+e t e t (Γ144 ∂x
∂
+Γ244 ∂y
∂
+Γ344 ∂u
∂
+Γ444 ∂v
∂
)
Ejemplo
Ejemplo

D   
0, e t , 0, e t = e t ∂y
∂
+ e t e t 0 − y1 ∂y∂
+ yu2 ∂u
∂
+ yv2 ∂v∂


dt
u 2 −2vu−2y 2 ∂
 
+e t e t − 2uy 2 ∂x
∂
+ 0 − 2uv ∂
y 3 ∂u + 2y 3 ∂v

∂
+e t ∂v + e t e t − 2uy 2 ∂x
∂
+ 0 − 2uv ∂
y 3 ∂u

u 2 − 2vu − 2y 2 ∂

+ + e t e t (0)
2y 3 ∂v
∂ et et ∂ et et et ∂ −2e t e t e 2t ∂ ∂
= e t ∂y − e t ∂y + e 2t ∂v + 2e 3 t ∂v + e t ∂v
−2e e e
t t 2t
∂
+
2e 3t ∂v
= 0.
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Como k n+k
Γn+i n+j = Γn+i n+j = 0,
se verica que.
n n
∂¯ k ∂¯ n+k ∂¯
= 0. (7)
X X
¯
∇ ¯
∂ = Γn+i n+j + Γn+i n+j
∂xn+i ∂xn+j ∂xk ∂xn+k
k=1 k=1

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Ejemplo de geodésica del brado tangente TM

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Ejemplo de geodésica del brado tangente TM

Ejemplo
Sea X : U → M una parametrización en p donde X (p) = q , entonces sea
X̄ : U × Rn → TM una parametrización en θ = (p, v ) donde X̄ (θ0 ) = θ
denida por
X̄ (q, u) = X̄ (x1 , ..., xn , u1 , ..., un ) = (X (q) , dXq (u))
n
!
ui dXq (~
X
= X (q) , ei )
i=1
n
!
X ∂
= X (q) , ui (p) .
∂xi
i=1
n o
Sea ∂x∂¯1 , ..., ∂x∂¯n , ∂u∂¯1 , ..., ∂u∂¯n una base asociada a la parametrización X̄
de TM .
0
Bach. Sandra Elizabeth Frisancho 0 0 Geodésicas
Chura 0 del brado tangente de una variedad Riemanniana


 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Ejemplo de geodésica del brado tangente TM

Ejemplo
Para i = 1, ..., n y θ0 = x10 , ..., xn0 , u10 , ..., un0 ,

∂¯
(θ) = dX̄θ0 (~
ei+n )
∂ui
d


= X̄ (θ0 + t~
ei+n ) ,
dt t=0

entonces el vector ∂¯
∂ui (θ) es tangente a la curva

αi (t) = X̄ (θ0 + t~
ei+n )
= X̄ x10 , ..., xn0 , u10 , ..., ui0 + t, ..., un0 .

Luego,
αi (0) =Geodésicas
Bach. Sandra Elizabeth Frisancho Chura θ del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos Geodésicas
Métrica de Sasaki Flujo geodésico
Simbolos de Christoel del brado tangente Geodésicas de TM
Geodésicas del brado tangente Ejemplo de geodésica del brado tangente TM
Conclusiones

Ejemplo de geodésica del brado tangente TM

Ejemplo
αi (0) = θ
y
∂¯
α̇i (0) = (θ) .
∂ui
Entonces,
D α̇i (0) ¯ α̇ (0) α̇i (0)
=∇
dt i

¯ ∂¯ ∂¯
=∇ (θ)
∂ui (θ) ∂ui

¯ ∂¯ ∂¯
=∇ (θ)
∂xn+i (θ) ∂xn+i

Bach. Sandra Elizabeth Frisancho = 0. Geodésicas del brado tangente de una variedad Riemanniana
Chura
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Conclusiones

1 El espacio tangente del brado tangente Tθ TM en el punto θ de una

variedad riemanniana M se descompone en dos partes, la
componente horizontal y la componente vertical que son ortogonales
con la métrica de Sasaki.
2 Las trayectorias del campo geodésico que son de la forma
dγ

t → γ (t) , dt (t) son geodésicas del brado tangente TM con la
métrica de Sasaki G , donde γ es una geodésica en M .
3 Usando estos símbolos de Christoel del brado tangente TM de
k
una variedad riemanniana M , [JK , H], Γi j de 1ra y 2do tipo
respectivamente, se puede determinar la geometría del brado
tangente TM .

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana
 Reconocimiento
Conceptos básicos
Métrica de Sasaki
Simbolos de Christoel del brado tangente
Geodésicas del brado tangente
Conclusiones

Gracias

Bach. Sandra Elizabeth Frisancho Chura Geodésicas del brado tangente de una variedad Riemanniana