CAPITULO IX

GEODESICAS y LOS SIMBOLOS DE CHRISTOFFEL

Dada una superficie de dos dimensiones (por ahora y por facilidad de visuali-
zacin cCll sideraremos s610 superficies bidimensionales pero al final del art-
culo ge:-..eralizaremos a superficies n-dimensionales) definida por los puntos

:i' (i : 1, 2 referidos a las coordenadas curvilnea s 2t": , si en e sa superficie
7. J 'P"L 50n dos puntos cualesquiera, nos planteamos el de encontrar
de entre todas aquellas cur_vas que yaCiendo sobre la superficie pasan por 7',

y curva cuya longitud sea mnima, es decir menor que la de las dems cur-

vas.
La palabra "paralelo" no se utiliza en este artculo en el sentido euclediano si-
- '>
no que al decir que o.os vectores( pp', G G;?' por ejemplo) que yacen sobre
una superficie y se apoyan sobre una curva (ot.. p::>r ejemplo) son paralelos lo
que queremos significar es que forman el mismo ngulo con la curva de
"':""';, -">
por ejemplo, en el plano de esta hoja los vectores A y B son paralelos por-
que forman el mismo ngulo uJ con la curva mostrada o sea con la tangente a
ella en los puntos A y B.
"
,
,/," ----
En realidad este tipo de paralelismo solo se puede definir sobre superficies de-
sarrollables, sin embargo en el entorno longitudinal de una curv-a perteneciente
a cualquier superficie (no necesariamente desarrollable) se puede tomar tal su-
perficie como de sarrollable pudindose hablar por lo tanto tambin en ella de
paralelismo en el sentido indicado anteriormente; de este modo, la esfera no es
una .superficie desarrollable pero una franja definida por una curva en ella y su
entorno s se puede considerar desarrollable por ejemplo una franja de ancho
infinitesima 1 que contenga al ecuador esfrico se puede considerar una super-
ficie de sarrollable.
Volvamos a nuestro problema de encontrar la curva de distancia mnima entre


68
dos puntos de una superficie; sea O una curva cualquiera situada sobre la su-
perficie dada y comprendida entre los puntos r, y 'Pz I si tomamos otra curva
cualquiera ~ I tambin sobre la misma superficie, situada infinitamente cer-
ca de OL podemos establecer una correspondencia biunvoca entre los puntos
"f de eL y los puntos p' de oL', de modo que si C5t es otro punto de ~
infinitamente cercano a ? , entonces tQ..' es el punto correspondiente sobre
--'9
~ I sienc:.o entonces Gt Gi' paralelo a -p pI Y por lo tanto al desplazar el punto
"P a lo largo de eL,.;:pl se desplaza paralelo a si mismo en el espacio (en
el sentido de paralelismo indicado anteriormente) permaneciendo siempre sobre
la superficie.
'P,
La longitud de los segmentos PP' ( Q a', _ _ __ ti v", - - - - ) vara al despla-
zarse el punto"? sobre ex: , podemos por lo tanto considerar la longitud de es-
tos segmentos como el producto de un infinitesimal E.. , constante para ~ I ,
Y la magnitud de un vector finito A en la direccin de ppl; este vector A
vara (en magnitud y direccin) a lo largo de ~ como una funcin del parmetro
de la curva pero siempre desplazndose paralelo a si mismo (semejante a como .
se desplazan los peldaos de una escala en hlice para formar la superficie he-
licoide desarrollable) .
En los punto s ~ y 1',
-:'?
obviamente el vector A es nulo.
Ahora, si consideramos otra curva d IJ los segmentos ?P/l ( (Q Ai' ) __ 111/'; ___ )
sern iguales al producto de otro L (constante para .," y segn el dibujo mos-
trado l:. para a(: " es mayor que <- para el' ) por la magnitud del mismo vector
A definido en todo punto r de eL ; vemos as, que una vez definido un vector
"A' , o propiamente hablando, un campo vectorial sobre la superficie yapoya-
do sobre ~ , se pueden encontrar las curvas eL' d....
J
) J _ _ __ __ a partir de o.(..
~
tomando sobre el vector A: las distancias ~ A I de modo que a los diferentes
.. valores de .. corresponden curvas diferentes cL')d...", ..... y para E:...::.o la curva
obtenida es precisamente Q/...
f
69
Sea L la longitud de eL entre P, y 'P- y L' la longitud de otra curva C( 1
entre esos dos mismos puntos; obviamente 1.
'
es funcin de ..... y para =- o
se cumple L' ~ L J podemos entonces expandir L' en serie de Taylor de la
siguiente manera:

....
La longitud mnima se debe obtener si
Esta condicin no es prctica Para trabajar con ella, pero si damos por supues-
to que hemos encontrado la curva de mnima longitud, llammosla o( y su lon-
gitud L) y expresamos la longitud , de cualquiera otra curva infinitamente cer-
cana a ella tendremos:
9-2 )
L
'
'" L +- - .r .!- [ ". + - t- + .......

aL
J
) "2.. (OLL') I 3 (d'lLI)
.- a ! o ..z! d ,'l- o 3 '. ) O o
Esta ecuacin es la misma 9-1 pero con la diferencia de que en 9-1 L es
la longitud de una curva eL. de referencia cualquiera y en 9-2 L es la longi-
tud mnima, entonces, la mnima longitud se obtiene colocando en 9-2 :
d L J
. -=- o =--.."
dE-
9-3)
dL' _
- -
lt.
.L L "L. ~ ) ~ ) t . ' ." ..
21 al.) -g

=0
Como sabemos que L es la mnima longitud entonces
ra ~ -:.. o ( L' =- L ) y por lo tanto sabiendo que U
reemplazamos por cero en 9-3 obtenemos:
L
' ~
en 9-2 es mlnima pa-
~ . .
es mln1ma para L=- o Sl
dL' _ (a'L\ - o
a i - a E. . ) o - 'Z. I d' L')
E
-n 9-2 obtenemos. I L ~ L I ) I (9 L:* \ ...l. I (. - + ...
L - L -:::. ~ ~ 0-+.21 a{."- Jo ~ aE..!> o
Se aco stumbra llamar primera variacion de L el tr mino :.. ( ~ L: \ y se sim-
e>{.. ) o
boliza por ~ L resulta entonces:
9-3a)
L' - L :
~ L
I
-- :;1


70
Despreciando los infinitesimales de orden mayor que el primero
se deduce:
,
L' - L ::: eS L pero L:: y hemos deducido que si
nima longitud se debe cumplir =- o Y por lo tanto:
as: L' _ L L -;:. O
L es la curva de m-
L::: o: 9-4. resulta
J
Esta condicin es fundamental y veremos como a partir de ella se pueden deducir
las ecuaciones diferenciales de la curva de mnima distancia; esta curva la se-
guiremos llamando geodsica; la geodsica sobre una superficie cumple el mis-
mo papel que la recta sobre un plano, ambas son curvas de mnima longitud so-
bre sus respectivas superficies.
El significado de la ecuacin L'- L ::=- L::. O es el siguiente: de todas las
curvas que pasan por P, y 1'2. la que ms se parece a las curvas de su entorno
es precisamente la geodsica, es decir la longitud de la geodsica menos la
longitud de una cualquiera de las curvas de su entorno es menor que la longi-
tud de cualquier otra curva menos la longitud de una cualquiera de las cur-
vas del entorno de r>I.. en realidad la ecuacin L' - L -:::. L o lo que nos
dice es que la longitud de la geodsica es igual. a la longitud de las curvas de
su entorno pero esto es solo una aproximacin introducida al despreciar los tr-
minos de segundo y mayor orden en 9-3a , la verdad es que la longitud mnima
es la de la geodsica y difiere "muy poco" de las longitudes de las curvas de
su entorno.
A partir de L' - L ::. l -.:. O encontremos las ecuaciones diferenciales de la
geodsica.
Sea el S el diferencial de arco medido a lo largo de la geodsica yeb' el dife-
rencial medido a lo largo de otra curva del entorno ( 0<.' ) , sabemos que :
L = ('P'L d.. S .
)PJ
Se debe cumplir: .&L::. o =7 (P"'d.5 ;:. o
)70
Ahora:
9-5
J d S ::: J J S I - f J.5 = f (d.s I - d 5) ;:: f d (S '- 5 )
-
fd!!'S
-

Pero:
.&
J. -.:. ds
'
_ d5
J (SI ...
=- d
-::!:)


P ..
9-5a


S J.S
::: L & dS
-
-

7.
1, 7,
Necesitamos la expresin para Js .
,
71
Tenernos :

9-6

(J..s'+d..s)( d.sl_d.!i)
': +.J.s-t- +d.5-d..s)
:: Zd.S , despreCiando la
l.
pequea cantidad ( . d.s )
Ahora:
(ds) " := d.1' el l' d J' =?
.(d.s)'l.= 2.dS,&ci5, por 9-,6 ,
; -= d:x d l, 3,.J + dx.
L
& d)l.J -r g':f d:;x:J rl.:::i
l
Pero:

IJ' __ ( XK y por lo tanto:
.
) :lC.
J

en la ltima expresin lo nico que se hizo fu intercambiar los ndices mudos

Subs tituyendo en 9-7) y dividiendo por 2. d.5 :;:;.0."/
,
d ::t _d ;t. J' d.s -t 1-
el.> ds -'- dlJ
d ;t L' el 6 .":(J' +
. .
ds

+ .L g/" el ::f: J $ x.I.'
Z J
(Hemos utilizado ac: d -xl'!: J 1 ,'- el X l.' ::: d Cx <-x L') - d 6:x L')
9-8
,

Notemos que las dos ltimas integrales son iguales ya que como d")'=- " J;.
- -
== jJ', dI' :- se puede intercambiar i poyj y j por i en la 3a. in-
tegral resultando igual a la 2a, ; vamos a resolver esta integral; designemos
la integral por 1:

72
integrando por partes, sea
y
por lo tanto:
El primer trmino a la derecha se anula porque en P, y 'P1 coincide'n la geo-
, . .
dsica ( .x
J
) y cualquier otra curva ot' ( X
J
.. ) por lo tanto:
Ahora:
d-'2 X ;iJ' d 5
d.s"
Los dos trminos entre parntesis son iguales, basta intercambiar los ndices
i , k y al dividir por dos nos d precisamente la expresin de la izquierda: rea-
grupando obtenernos:

d :' el x. X J d .s
el 5 d 5
Queda as entonces 9-8.
L _ J 1\ .L ,0 el ::iJ
- P. 2 dA) d.$
P
L
f.!..(.d
3
",.i -\- - -r dU 2x
i
_]
PI l' Z 2l-X ,< a.:x. <>x' d.5 d..$ '1.
-
-
Llamemos:
9 - 9 J.- ( ,o g .j' -t- ? - d '.< ) ::: [L' 1< r J
2 a.:rK o-=tt.. aXJ ) I
e s te trmino
es simtrico cuan.d:o se refiere a 1. y k Y lo llamamos smbolo de Christoffel
de primera clase ' .
Obtenemos entonces:
73
Segn 9-4 la curva' es una geodsica si S L ::. o por lo tanto si la an-
terior integral se anula se debe anular el trmino entre parntesis debido a
que los trminos S :z:J' son arbitrarios es decir para cada curva del entorno (ca-
da una de longitud L I ) de la geodsica existen (l:: 'J :1..) de modo que
la integral siempre se anula por lo tanto:
. .
9-10)
\ Z L'
e .x ... [,. Ji( 1']
d.sl. J
d X. 1<
-
d..J
==D
En esta ecuacin diferencial el ndice i es un ndice mudo en el primer trmi-
. -
no por lo tanto hay sumatoria para i= 1,2 y en el segunda trmino hay sumato-
ria sobre los ndices mudo i, k, por lo tanto j es un ndice libre y como j =
1,2 para superficies bidimensionales entonces la ecuacIn 9-10 representa
dos ecuaciones una para j=i y otra para j= 2: por lo tanto las dos ecuacione s
diferenciales de las geodsicas para superficies bidimensionales son las si -
guientes:
j=i: l..x.' +- + (I'JIJd.X' +- [21,/J .,Jx,1..;dx: 1"
d..5t. dj .lj dS .J.s
'::0
j=2 :
'all
J2.X
I
+

J 1 X t 1- [1 I J 2.) d
J..:x.
'
r[2I J
Z
]
dx
t
.1. )(.1
+
-
'"lo
,
d3
t
d. oSt d.5 d.3
c::!j
dJ
toD 1.) lo]
d Xl

[2.2./L)
d.x.l..d.x2.
--o ... --
, ..
-


,
dj dj
La generalizacin a superficies n-dimensionales es inmediata y aunque no sea
posible captar visualmente superficies de tres o ms dimensiones sin embargo
se definen en ella las geodsicas de la misma manera que para las superficies
que podemos visualizar ( las bidimensionales) esto es I como las curvas de m-
nima longitud que unen dos puntos dados de la superficie; por lo tanto, la ecua-
cin 9-10 esla ecuacin de las geodsicas para superficies de n-dimensiones
y en este caso los ndices i, j, k toman los valores de 1 hasta n, re sultan-
do as n ecuaciones (j = 1, ... n)
La ecuacin 9-10 se puede e scribir tambin de otra manera. Multiplique mos
a lado y lado por -"J' sumando sobre j =-?
i:t qRi JZ'": Ji .
dI'$' d - z. + j JI) J. x.c. J. .:x::" _ o
dJ . dS' -
74
P 1
q i./:. -; R. qJ'::: C; i. q 1. __
ero e tensor conjugado es sim trico o sea d Q Q <J d O
(ver ecuacin 8-8) y para t..'::: J )
dxl( = o
dJ dJ
q Pi
C
' J r
9-11) (J ( ';:. : 9 ;el subndice j no aparece
en la expresin de la derecha porque en 'J [ ( K) J 1 , j es ndice mudo
y desaparece al hacerse sumatoria sobre l.
El tnnino se llama smbolo de Christoffel de segunda clase y se acos-
tumbra tambin escribirlo como l t' fe J .f 'J I es simtrico en j y k
Podemos expresar los smbolos de 1 a. clase en funcin de los de 2a.
multiplicando 9-11 a ambos lados por y sumando sobre f'N\
9-12) "
= d rm \ el(, ;:;.?
;: ' 1\'nJ( \ l' ",'J } .

[ l K) 1YY11 = d 'MR L'kJ Q -=- ;r,....,.,fl T (1(
La ecuacin de la geodsica en trminos de queda as:
9-13 :
clase,


En esta ecuacin i, k son ndices mudos y varan de 1 hasta n, y es el ndi-
ce libre por lo tanto para cada valor distinto de.1 obtenemos una ecuacin re-
sultando as n ecuaciones diferenciales.
Los smbolos definidos en 9-9 y 9-11 se llaman smbolos de Christoffel en me-
moria del matemtico alemn Erwin Bruno Christoffel (1829-1901) quien los
introdujo en 1869; Christoffel utiliz la notacin \ K) para su segundo sm-
bolo pero hoy en da se utiliza ms escrito as: r:.t

A modo de ejemplo calculemos los smbolos de Christoffel para coordenadas
cartesianas, cilindrica s y esfricas.
a) Coordenadas cartesianas
Tenemos: (c.'I(,J1 (

75
El tensor mtrico referido a coordenadas cartesianas ( Ej: a del cap. 8-B )
es: 1 o o
cr 'J' -
e' -
o 1 o
o o
1
Como las distintas son constantes ( sean 1. O ) entonces todas sus
derivadas son cero y por lo tanto todos los smbolos de Christoffel son nulos.
Los smbolos de Christoffel de 2a. clase son:
). R'
Ti". e. J [l'
Por lo tanto todos son tambin nulos.
b) Coordenadas cilndricas:
El tensor mtrico en estas coordenadas ( ver ejemplo: b arto 8-B) es:
1 O O
o o
o o 1
Todas las derivadas de
de: d g"l.t. :::.. zy-
las componentes de este tensor son nulas con excepcin
(recordemos que llamamos .:x' Y, x'l.:=.g. x)::: .c)
'] ;c.'
por lo tanto los nicos ( i k, j] dis tintos de cero son :
e
2.2.,IJ .. -.L 9 Y'?- ::.. - Y"
- 2. C)Y'
I d y1.... "'j
[ l 1, "2. J :: [1 2, l.) -::.. -:z:: -o .. ,.:
Esto en virtud de que, como vimos al definir a(ik, f J ' es una expresin sim-
trica en i y k .
.R
Los r dis tintos de cero son:
t'A
r 21)..

[ Z z, 11
P ero de 8-9:
-
-
T"l't
-
I
[ H) I J
-
T

gz.1- - J
=- L 2..)1
-
-
-
..

I
-;:.J
- -
=?)
-
jll
I
(u,2.)
\
.y
\
-
-
..
-
-

r2. t
y'L
'('
76
c) Coordenadas esfricas:

El tensor mtrico en estas coordenadas es:
(Ver ejemplo c art. 8-3)
1 o o
o o (llamamos -x.
1
'<', .x."".= " I x'3::. -e-)
Las derivadas distintas de cero son:
?g.ll:: Z y'.j.kY)I.CP j
() XI
a 3. ::. 7... c) C,.o.s c(
d.l:.'L-
Los smbolos de 1 a. clase diferentes de cero son:
[22,11 -
'(33,21 -
(23,31 -
[33,1 J -
[12,21 -
t 31 ,3) -
a -('1.
1 _ .. _ -'f'
-"2 ;])'f -
1 ?J =- _ y .L UJ5 A .
- 2 ';;) 4 IJ' 'f
[
32 3 J = l. Y 1. .j ..vr.1. r/:.. .:= '< 2. .5 -'.N\ ea..s"
, , a<P 't
_ . _ 'lJArr.'--p
dY'"
(21 , 2) = '(::.. '("

[13,3] = d := .... cp
d'\
Los smbolos de 2a. clase diferentes de cero son:

77
Ejemplo: Hayar la ecuacin de las geodsicas en el plano utilizando coordena-
das polares ( G- A - Hawkins: multilinear Analysis for Students in En-
gineering and Sience ). Para coordenadas polares se tiene:
Sabemos Que

:x. -::. y 6d S =.
J -:. y j.2.ot') -9- -:.
g ''.1":: .3 1 . '1 :
d :EJ'
};L' a:x..'
.x.'CP.sx"l.::. 'j'
X. ' :: '/ l.
por lo tanto:
)

t) j' d 'JI
+-
'11. C> J 1.
_ X 1. j..v.o, X 1. 't ;t.' 5-<rn;t 1. c:o j X 1. =- O
- >' po
-
;'>X'
d x"t
;;) :i..'
ox1..


- o
-
Tenemos pues el siguiente tensor =
1 o
y de 8-9:
.. 1
lJ=:.
o
o
Los smbolos de Christoffel son
[J.1,11
- 1.
+-

Q) CJ 11, J O -
- -
2 ox.'
-
ax' a
ll1,2)
+
a {l7.L
- -
o
-
-
2 e x'
-
O.x
i
o.x
1
[12,
-
[21 ,1J
- ( +- d _ d ;: o
- -
d x' ax'
\.12,2]
-
(21 ,2J
-
+
d 8 I _ ) _) '(
- -
'd..:t.
1
dX1- a xl.
[22,1]
-
-t" d
-
CU::1. d X Z () x.'
[22,21
-
1. ( 3:ll.1.. +-
2 LX"
iltL - a ;!-P .. ) := O
dXl. ax-:..
o
I
-
'1.

..
78
1"111.. = [\\ ... ] t ,-) o
l' 1 _ TI
-1, _ ,1 -:.. [11.,,] -\- gll"ll"2t]:: o
T I -;:. r -: d 4
1
[ )"< I I J 1"" g "L 1. [ I 2 J 2 ]
r ,1"1. = d 11 [2 '2., IJ 1'" d
il
. [2. 2 2. J ::::.. - '\
.T -:: ["2. IJ T d-l.:l. [,2., 2..J =- "O
,
---.
La ecuacin diferencial de la geodsica es:
C)l.x.t d.xl dX
K
-
(ec. 9-11):
t- t K - o
a.57, d.5 dj
( L", J.( :.
)
llamando
X ;:. .x. .; -
;;>s, y -
se obtiene:
para ..t 1
.J
.. r' .." I ... TI.. ,- ..
..... , , I -L .x'" x I X' )' X 7.. ..,."lo_
....... T ,. X .x. 41 .... ,'1. .x. + ,n. """ __ o
I
;;L - :=. o
para
.)
... .t. -j '1. ., ", ---\ 1. .. 1. .. T 1 ". l' "1.., 1.
X + II:X X T .1-1.1 X xl + '1. .x 'X 'l.;- _1.'1.:x..x. ='0
.- "Z. -'- 2.. ;.
X ...... y ..... --:::-o
Pero por lo tanto las dos ecuaciones diferencia-
les son:
a) :.r- - ( .e ) z. =- o
b)
1:, 1( y'"
llamemos
.. ." . ..
e- +- 3::..., -e o
y
.., "\...e. +- 't. ..,.. y.e. ;::. o : "'>
\
V:::. r

. ;> e
.4
::: A V-z.
Pero: y=- d. d.-bl-, ;:: 9- v: ir _ ir eL, = _ '1-7. el v, A V 'Z.:: A .,!y
d-e. d.s de - d-e V) d-e- de-
Ahora: Y.;::. $... (- A = _ A - ::.. _ 1>;1.. \)'7. C:P'v"
d..s ele- d-t71., d-e"l.
79
.. "
Reemplazando "'S -f7 en a) resulta:
_ A'Z. V _..!.... A-;'V 4 = o d
2
't + V ::. o
V d-e &.
La solucin de esta ecuacin es:
V::. k (9- oL) _;;>
"r = a. (e - bL)
Esta es 13 ecuacin de la curva geodsica en el plano escrita en coordenadas
polares y representa una recta, siendo a la distancia perpendicular del ori-
gen a la recta geodsica y Ol. el entre a y el eje horizontal y I
11.

Si querernos encontrar la geodsica que pasa por dos pun tos dados P, ('>(" e,)
y ('<""7.) Gl, ) reemplazamos en la ecuacin de la geodsica obteniendo:
y
y, a.. (e 1-""'- )
Yt.::. CL 5.c (-91. - o.l)
S.u:. (e, _",q _ yo 1, ="/ Ca S (-8'Z,. - c.lt
S.e( (-9z.-oL) - Y'a. Ca.5 (&,-bl.)
ce> S.f) z Cd S 6t T 5 9'l... 5.ll.M oL
ea.s 6', Cas 4 -t- .5.a..-., J c{..
-
-
- y-;
--
n
o :: a. '\2 Go.s el. - '(", e.o.5t7,
\\ tJ I - 'f""l...5..qm-ez..
a. :=
- -
, con y a determi nado
80
Podramos tratar de encontrar ms geodsicas, por ejemplo: las geodsicas
sobre una esfera son crculos mximos y sobre un cilindro circular son hli-
ces circulares (si los puntos 'P-c. estn sobre la generatriz.)la geodsica
es una hlice de paso infinito es to es, la misma generatriz y si estn so-
bre un crculo paralelo a la base, la geodsica es el arco de este crculo en-
tre esos dos puntos, es decir una hlice de paso cero)
-TRANSFORMACION DE LOS SIMBOLOS DE CHRISTOFFEL
Nos proponernos en esta seccin encontrar la ley de transformacin de los sm-
bolos de Christbffel cuando pasarnos de un si stema coordenado cualquiera
ji ( i =1,2 ... n), no necesariamente cartesiano,a otro sistema coordena-
do cualquiera X
t
'; estas leyes de transformacin nos mostrarn un hecho im-
portante: que los smbolos de Christoffel en general no son tensores, es decir
sus componentes no se transforman como se transforman la s componentes de
los tensores.

En los sistemas coordenados
y
Jt:
la ecuacin 9-13 de las geodsicas
resulta ser:
9-14 J';"'-
+
TY'
d
J
"'"

d'i:'
o . -
- -
d .s-
'j ,...., "'"
d5 d5
S
dX1'
J. X. 'El-
9-15
d 1..x.i

-
o
+
,
..,
l.
d.5
dS
d..s ,.
En la parte inferior de los smbolos de Christoffel de 2a. clase hemos colo-
cado la letra que designa el sistema coordenado con respecto al cual est cal-
culado el smbolo.
Ahora:
d:c
.d .:r:
J x-f'
-?
-
. ,
.-
dj ax1"
d,5
.
d"llY-

d 1.,X,i' d xf' d
- +

-
ds
- .
-
d..5 'l.. a"X 1"
d.P
+

-
-
a.x1" d...s -c.
Reemplazando en 9-14 obtenemos:
?J 'j'Y'" d'Z X l' (el J Y'"
;;)11' . dS'" 1- ax'4 -r
\ I yo
..L.. ........ M
j
d.s

-

d,j

,
d.s
. el x: _ o
d5
Multiplicando por
ax
S
d '1-(" ,d'Z.x.1' +
) 1" >X1'
Pero
cXs



C}1'<" aX"p
81
y sumando sobre yo resulta:
-

Y vale 1 para
l' ;: 5
'"-"-' -
'P
2.x
5
( 5'X'
a 7.1."" . r< dX
S
d1: ?J1"" )
el .x.-p d. ::( !l
.. ==- 'O
... +
""'" 'Y\ l '),;.



az1'
'0;(1' C);.rq.
cl...5
cl.,51.
.J
.
.
Comparando esta expresin con 9-15 obtenemos:
9-16
-
d x.s :1': ) j rvl
- .
-
aJ't' ax1'
Como vemos T en general no se transforma (sus componentes) como en
tensor ya que" sobra" el trmino d:t.s Cl't '{.,- ;slo cuando este trmino es nu-
.
lo ( es decir cuando 'J t'J X J' estn relacionados as: 'j t' e
j
'-- .:!J
siendo LJe. constantes; en este caso decimos que la transformacin de coor-
o
denadas de las a las X J Y viceversa es una transformacin afn) los sm-
bolos de Christoffel se pueden considerar como tensores mixtos contravarian-
tes de 1 er. Orden y covariante de 20. Orden como se aprecia en 9-16.
Veamos ahora como se transforman los smbolos de 2 a. Clase.
De 9-11 tenemos:
J.l<
....... fW\ y de 9-12
;
J 'l"J!. ::r "C'" que
:i N'l\M


Hemos colocado el subndice y en el extremo inferior derecho del smbolo de
-
la. clase y en la parte inferior de los tensores mtricos y conjugado para ex-
presar el hecho de que en este caso ellos estn referidos al sistema coordenado
J'c.' ; en forma similar, para el sistema ;: l' las dos ecuaciones anteriores que-
dan as: .

<r
x 5
[ f fj.,j J
x
= 'Jji T
x x

Reemplazando en 9-16 se obtiene:
'_ G)::.1 d '1
M
- er"
82
Multiplicando ambos lados de la ecuacin por . St: :

_ d;: 1"""" '1 r'f\ t? - <) < 1-("
- ) J" o.x:f f 1
s
t: L -t ].s't a 'lV
,

x x
pero
y vale 1 para t= j -"7
En la seccin 8-B) vimos que 'l1J' son las componentes covariantes del tensor
mtrico, por lo tanto al cambiar de coordenadas Ji a las XL' se transforman
segn la ley doblemente covariante:
gJJ' d
dX' a:xJ'
Reemplazando resulta:
_ _ F
d'jY' a.x f
Esta es la ley de transformacin de los smbolos de Christoffel de la, Clase;
vemos as que ( tyV\ f't'\) Jt J no se transforma como tensor; solo si la trans-
formacin e s afn ( 'p' = (i L :xJ' (i e : c-r.r) [fVY\ IV\ .2. J e s tensor I un ten-
sor covariante de tercer orden como se aprecia en 9-17.
Relacin entre los Vectores base (directos y recprocos) y los smbolos de
Christoffel.
En 8-6) tenemos:
Los son en general funciones de las coordenadas curvilneas
lo tanto:
por
,
83
9-18)

En forma similar:
9-19)
d ftl.. 1-
21:x./ ;:;:X
J
y
9-2)
--;.
Ahora: 'J L' : 4.,
9-23)
(ver cap, 3) por lo tanto:
ex"
aX
t
'
Sumando 9-19 ) con 9-20) y restndole 9-18) se obtiene;
d ('J(
a 91'1< a 3L'(
--f!'
- ---?
a {jt'
--?
+
3K
+
a f[1(_ ' ('
-
-
-.
-
,
,
, ,
a:xJ'
c>x(
CJ:x
K

);x:.i
a.x
J
-=-" .-:-Y
---..,
a gK
--
-y
t-

- d
--9
a 'J
. d L'
-
az<'

,
,

dX-
ox
k
Pero de 9-23):
--?
l- dJ
-;;>
,gl<
,;):xJ
ri --:I'
:::. ) )QI<. -;: C> ;J'.
a .:( 1( e )( t: ;;).::fJ' a...x. K
por lo tanto:
a:x.
-? S t'K. +- gjl<,.
0)(.1
-
a 5'L'
'
)x
J
9-24)
- -:?
_ '9 g-D: ;:: ,C) L: . + ? j ( .
o X a< ;}:x
J
a..:xJ
(
J +- a dJK _.C) \
C). :xi >X L' d :::c. H' )
y de 9.9
->
84
-7
La relacin entre los vectores ba'se ~ L'
Clase se obtiene de la siguiente manera:
y los smbolos de Christoffel de 2a.
De la ecuacin 9-24 si llamamos resulta:
-...,
El vector .b
.. -
Clproca 5 t'
, como todo vector, se puede expresar en funcin de la base re-
esto es:
--:--? A J -; ....... --.., K
-h ::. ~ m d ~ oK ca

(m, k: ndices mudos)
Sustituyendo se obtiene:
pero (ver 3-7a)
pero
por lo tanto:
Ahora:
-
-
(ver eco 5 ~ 1 6 d pago 65)
; utilizando 9-1) concluimos:
; 9-25
En forma completamente similar se puede deducir que:
: 9-26