Ejercicio 7 Derivada covariante.

Tansporte paralelo (2161-215)

Describir el transporte paralelo de un vector tangente a un meridiano a lo largo de un paralelo en la

esfera.

SOLUCIÓN:
En la esfera unidad de centro en el origen de coordenadas, se considera la parametrización

~x(φ, θ) = (cos φ cos θ, sen φ cos θ, sen θ).

Se trata de describir el transporte paralelo, a lo largo del paralelo θ = a, del vector tangente al meridiano ~v en
(0, a) y de componentes (1, 0), respecto a este sistema de coordenadas.
Los coeficientes de la 1a forma fundamental (métrica sobre la esfera) son:

g11 = ~xφ · ~xφ = (− sen φ cos θ, cos φ cos θ, 0) · (− sen φ cos θ, cos φ cos θ, 0) = cos2 θ,
g12 = ~xφ · ~xθ = (− sen φ cos θ, cos φ cos θ, 0) · (− cos φ sen θ, − sen φ sen θ, cos θ) = 0,
g22 = ~xθ · ~xθ = (− cos φ sen θ, − sen φ sen θ, cos θ) · (− cos φ sen θ, − sen φ sen θ, cos θ) = 1.
µ ¶
1P 2 ∂gjh ∂gih ∂gij
Y los sı́mbolos de Christoffel: Γkij = g kh + − u1 = φ, u2 = θ
2 h=1 ∂ui ∂uj ∂uh

Γ111 = 0, Γ112 = Γ121 = − tag θ, Γ122 = 0, Γ211 = sen θ cos θ, Γ212 = Γ221 = 0, Γ222 = 0

El paralelo θ = a, α(φ) = (cos φ cos a, sen φ cos a, sen a), tiene por vector tangente α0 (φ) = (− sen φ cos a, cos φ cos a, 0),
1
dα2
o sea, sus componentes son ( dαdφ , dφ ) = (1, 0), respecto al la parametrización de la esfera considerada.

A) Las ecuaciones diferenciales que determinan el campo de vectores paralelo, de componentes (Y 1 , Y 2 ) a lo largo
de θ = a, con las condiciones iniciales Y 1 (0) = 0, Y 2 (0) = 1, son

dY k P2 dαj
+ Γkij Y i =0 (k = 1, 2) Y 1 (0) = 0, Y 2 (0) = 1.
dφ i,j=1 dφ
O sea
dY 1 dY 2
− tag a Y 2 = 0, + sen a cos a Y 1 = 0, Y 1 (0) = 0, Y 2 (0) = 1.
dφ dφ
Este sistema lineal de ecuaciones diferenciales con coeficientes constantes tiene fácil resolución, sin más que consi-
derar su matriz de coeficientes, hallar los valores propios y calcular su matriz de Jordán. La solución es:
sen((sen a)φ)
Y 1 (φ) = , Y 2 (φ) = cos((sen a)φ).
cos a
Si, como caso particular, queremos transporta el vector ~v a lo largo del paralelo θ = π/4, después de una vuelta
completa, resulta:
¡ sen((sen π/4)2π) ¢ √ √ √
Y (2π) = , cos((sen π/4)2π = ( 2 sen 2π, cos 2π) = (−1.36316, −0.266255).
cos π/4

B) Si recurrimos a un método numérico para obtener soluciones del sistema anterior, por ejemplo con el comando
NDSolve de Mathematica, el siguiente programa da las componentes del campo desplazado paralelamente

a=N[Pi/4]
c=N[2Pi]
sol[a_,c_]:=NDSolve[{x’[t]==Tan[a]y[t],
y’[t]==-(1/2)Sin[2a]x[t],
x[0]==0,y[0]==1},{x,y},{t,0,c}]
{{H,F}}=Evaluate[{x[c],y[c]}/. sol[a,c]]

C) Para resolver este problema de una manera geométrica, hemos de tener presente los dos hechos siguientes:
1) La derivada covariante es la misma a lo largo de una curva intersección de dos superficies, en cuyos puntos los
planos tangentes coinciden y
La Laguna, Miércoles 11 de Febrero del 2009 Pág. 1/2 Angel Montesdeoca
 2) La derivada covariante se conserva por isometrı́as.
Ası́, en vez de considerar el desplazamiento paralelo a lo largo de un paralelo de la esfera lo hacemos sobre el cono
circunscrito a la esfera a lo largo de dicha curva, y luego estudiamos el desplazamiento en la superficie que resulta de
desarrollar dicho cono en el plano. Terminando deshaciendo los cambios, para volver a la esfera.
El resultado aparece descrito en el siguiente dibujo:

V
Y(2π) 2π cos a

xθ= v
d a
Y(φ) β
v d V Y(φ)
β xφ
P cos a Y(2π)
Y(2π) a Y(0)=v
φ
β d = 2π cos a
d=1/tag a
P

En el caso particular de considerar el paralelo θ = a = π/4, el vector resultante después de dar una vuelta completa
Y2π = A~xφ + B~√xθ , coincide con el obtenido por los dos métodos anteriores (en el diagrama anterior se observa que
β = 2π sen a = 2π):

Y2π · ~xφ Ag11 A cos2 a A √ √ √ π √ √

cos Y\
2π ~
xφ = =√ = =√ =⇒ A= 2 cos Y\
2π ~
xφ = 2 cos( 2π − ) = 2 sen 2π,
kY2π kk~xφ k g11 cos a 2 2

Y2π · ~xθ √ √
cos Y\
2π ~
xθ = =B =⇒ B = cos Y\
2π ~
xθ = cos(2π − 2π) = cos 2π.
kY2π kk~xθ k

http://webpages.ull.es/users/amontes/pdf/ejtp2161.pdf
La Laguna, Miércoles 11 de Febrero del 2009 Pág. 2/2 Angel Montesdeoca