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. SOLUCION: En la esfera unidad de centro en el origen de coordenadas, se considera la parametrizaci on 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 coecientes de la 1a forma fundamental (m etrica 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. Y los s mbolos de Christoel: k ij = 1 11 = 0, 1 2 kh g 2 h=1 gih gij gjh + ui uj uh u1 = , u2 =
2 2 12 = 21 = 0,

1 1 12 = 21 = tag ,

1 22 = 0,

2 11 = sen cos ,

2 22 = 0

El paralelo = a, () = (cos cos a, sen cos a, sen a), tiene por vector tangente () = ( sen cos a, cos cos a, 0), 1 d2 o sea, sus componentes son ( d on de la esfera considerada. d , d ) = (1, 0), respecto al la parametrizaci 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
j 2 dY k i d + k =0 ij Y d d i,j =1

(k = 1, 2)

Y 1 (0) = 0, Y 2 (0) = 1.

O sea

dY 1 tag a Y 2 = 0, d

dY 2 + sen a cos a Y 1 = 0, d

Y 1 (0) = 0, Y 2 (0) = 1.

Este sistema lineal de ecuaciones diferenciales con coecientes constantes tiene f acil resoluci on, sin m as que considerar su matriz de coecientes, hallar los valores propios y calcular su matriz de Jord an. La soluci on es: Y 1 () = sen((sen a)) , cos a Y 2 () = cos((sen a)).

Si, como caso particular, queremos transporta el vector v a lo largo del paralelo = /4, despu es de una vuelta completa, resulta: Y (2 ) = sen((sen /4)2 ) , cos((sen /4)2 = ( 2 sen 2, cos 2 ) = (1.36316, 0.266255). cos /4

B) Si recurrimos a un m etodo num erico 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 etrica, hemos de tener presente los dos hechos siguientes: 1) La derivada covariante es la misma a lo largo de una curva intersecci on de dos supercies, en cuyos puntos los planos tangentes coinciden y
La Laguna, Mi ercoles 11 de Febrero del 2009

P ag. 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 supercie 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:

Y(2)

2 cos a x= v

d a Y() v P Y(2) a

d cos a

V Y(0)=v

Y() Y(2)

d = 2 cos a d=1/tag a P

En el caso particular de considerar el paralelo = a = /4, el vector resultante despu es de dar una vuelta completa Y2 = Ax + B x , coincide con el obtenido por los dos m etodos anteriores (en el diagrama anterior se observa que = 2 sen a = 2 ): cos Y2 x = Y2 x Ag11 A cos2 a A = = = Y 2 x g11 cos a 2 Y2 x =B Y 2 x = A= 2 cos Y2 x = 2 cos( 2 ) = 2 sen 2, 2

cos Y2 x =

B = cos Y2 x = cos(2

2 ) = cos

2.

http://webpages.ull.es/users/amontes/pdf/ejtp2161.pdf
La Laguna, Mi ercoles 11 de Febrero del 2009

P ag. 2/2

Angel Montesdeoca