Professional Documents
Culture Documents
SEDE DE MEDELLIN
FACULTAD DE MINAS
Departamento de Ingeniera Civil
INTRODUCCION AL CALCULO TENSORIAL
Carlos Gonzlez Rodrguez
Profesor Asistente
Medelln,Agosto de 1978
UNAL-Medelln
~ ~
6 4000 00055964 4
INDICE
l' , BREVE NOTA HISTORIA
1
II ' d.:l. SES RECIPROCAS 3
III COORDENADAS CURVILINEAS 7
IV TRANSFORMACION DE CANTIDADES 16
v VECTORES CONTRAVARIANTES y VECTORES COVARIANTES 20
\;1 TENSORES 36
VII ALGEBRA TENSORIAL 42
VIII TENSOR METRICO 51
IX GEODESICAS y LOS SIMBOLOS DE CHRISTOFFEL
67 .
x DIFERENCIACION DE LAS COMPONENTES TENSORIALES 85
XI TENSORES RELATIVOS 99
XII TENSORES CARTESIANOS 118
l
BIB LIOG RAFIA 138
,
i
-/66'69
CAPITULO 1
BREVE NOTA HISTORICA
El desarrollo del clculo tensorial (tambin llamado anlisis multilineal) se haya
ligado al desarrollo de la geometra diferencial; el trabajo de Karl F. Gauss (1777-
1855) sobre la geometra intrnseca de las superficies curvas bidimensionales fu
generalizado por Bernhard Riemann(182 6-1866) quien desarroll la geometra ir:.trn-
seca para TI superficies TI no euclideanas de n-dimensiones (manifold s) ; en un ma-
nifold. cada punto est definido por n coordenadas y en el caso
tenemos una superficie no euclideana que es el nico tipo de manifold que ' pode-
mos captar intuitivamente. En 1827 Gauss mostr que las propiedades mtricas
de una superficie se pueden expresar por medio de los coeficientes 3
t
] (ir j=l, 2 )
de la siguiente forma diferencial:
d U;a. d V, + J2.l. d. Ul.. duz.
I
d
-..s
siendo el cuadrado de la distancia entre dos puntos de la superficie infini-
tamente cercanos y d (J, I d th son los diferenciales de las coordenadas intrn-
secas de la superficie o coordenadas gaussianas.
Riemann generaliz en 1854 esta frmula para" superficies" de n dimensiones as:
-
J
(i, j = 1 ,2 ...... n)
Por medio de los coeficientes J LJ' quedan determinadas todas las propiedades m-
tric;::as en el manifold, por ejemplo, longitud de curvas, ngulo entre curvas, "areas"
sobre manifold etc.
Despus de 1868 se despierta el inters de los matemticos por algunos de los pun-
tos tocados por Riemann en sus trabajos; Christoffel y Lipzchitz introdujeron el
copcepto de diferenciacin covariante, Beltrami y Kronecker e s tudiaron la curvatu-
ra de varios espacios y superficies n-dimensionales. Jordan generaliz las frmu-
las de Serret-Frenet para curvas en el espacio n-dimensional.
Todos estos trabajos abrieron el camino a la gran generalizacin que hizo el ge-
mtra italiano G. Ricci (1853-1925) a quien se considera fundador del clculo ten-
Ricci se apoy en la mtrica desarrollada por Riemann y en la diferenCia-
cin covariante de Christofel ; el profesor Tullio Levi-Civita, gran impulsador
del clculo de te nsores afirm: "el desarrollo de los tensores como una rama sis-
temtica de las matemticas fu un proceso posterior I el crdito del cual se debe
a Ricci quien durante los diez afias desde 1887 a 1896 elabor la teora y realiz
la elegante y comprer:.siva notacin que permite adaptarla fcilmente a una gran
I
2
variedad de temas de anlisis I geometra y fsica".
El xito de Ricci se debi a la gran intuicin que tuvo cuando percibi que las
propiedades de la geometra riemanianna son propiedades de ciertos ve ctores
y tensores covariantes y contravariantes; esto le permiti simplificar de un mo-
do notable todos los estudios anteriores a la vez que abri horizontes para nue-
vas lnveStlgaclones.
El clculo de Ricci despert el inters general luego de que A. Einstein hizo u-
so de l en su formulacin de la teora general de la relatividad (1913-1916) ;
en su teora, Einstein necesit trabajar con un espacio riemanniano de cuatro
dimensiones y encontr que toda la herramienta matemtica necesaria ya haba
sido elaborada por Ricci.
Finalmente, en 1917 Gerhard Hessenberg en su obra sobre la fundamentacin vec-
torial de la geometra diferencial presenta un nuevo punto de vista sobre los ten-
sores ; segn Hessenberg un tensor puede ser mirado como una forma multilineal
homogenea dada en vectores base y que es invariante bajo transformacin de
coordenadas; el tensor se compone as de un conjunto de escalares ( componen-
tes del tensor) cada uno de ellos adscrito a un grupo de vectores base; segn es-
ta presentacin, un vector es un tensor de orden uno porque es una forma lineal
homognea de vectores base esto es:
...... - - ~
A =. A, i
l
+ Al t . ' ~ + A3(:J
-;--. .., ~
siendo 1.." l ~ J (..3 base vectorial en tres dimensiones.
Las componentes del tensor cambian al cambiar de sistema coordenado pero el
tensor mismo permanece igual, es un invariante.
En nuestra presentacin trataremos algunos temas desde este punto de vista que
desarroll Hessenberg.
'f
A-
CAPITULO II
BASES RECIPROCAS
VECTORES BASE: En el espacio tridimensional cualquier conjunto de tres
vectores no coplanares puede servir de base a todos los vectores de ese
espacio, es decir, todo vector A puede expresarse como una combina-
cin lineal de esos tres ya que siempre es posible construir un paralep-
pedo tal que una de sus diagonales tenga la magnitud y direccin de A
y que los tres lados partiendo de uno de los extremos de esa diagonal
tengan respec'tivamente la direccin de los vectores base;
-..,
lla.>
a'i ' a:2, "a3 : vectores base
Q.,
B- BASES RECIPROCAS:
S
....,. -'"' -. t b
I al, aZ' a3 represen an una ase
y se definen otros tres vectores
,a 3 de la siguiente manera:
2-1 - ......,
d -= Q. '1.. X. Q.').
J
le\; a') 1
[
- - .-.., ) - - -) .,.....,. ( - - '1
con: ct, Ch Q:\ = a.,. ( a. '2)C a.') :: a. I lt a. LJ ::.
...;.,. - - -, "'1. a."l
entonces las dos bases a, al ya:. Cl. 1 se llaman recIprocas; como se
I ---. -.
puede apreciar de la definicin los vectores a' 0..1. 0...' son respectivame ;- ::<:-'
perpendiculares a los planos determinados por los pares de vectores (r; Q;)
a:: ), (a:,a't). J
4
Se deduce entonces lo siguiente:
2-2 I ; anlogamente:
; tambin:
o.
; anlogamente:
-3 ~ -:::l -"'7 - a. -
o: . (...C.,'=' C)..'. Q. '&. :. a. _ Q3
-
Resumiendo los resultados anteriores: las dos bases anteriormente definidas son
tales que:
--"'......... L-
2 -3) 0.'. ajO :. $j' ;aqui i y j pueden tomar los valore s 1,2 13;
de Kronecker que vale 1 y si i= j Y vale O para i * j.
(jt.
() es el delta
~ ~ -
Comoa _ Clj = O para i::f- j se aprecia que cada aJ es perpendicular- a los dos vec-
~ .-., --, -'lo
tares (,{t (i 1- j) por lo tanto a.
,
Q.1. a'3 son respectivamente perpendiculares a
los planos determinados por los pares de vectores ( Cl\ a.? ), ( a', a ~ ) ,
( a', a't ) y por lo tanto son proporcionales a (a..'l.( a . ~ ) J ca.:\- a' ), (c!lltlil.)
y en consecuencia:
-'7 V -" -3
al = 1\\ a. 1( Cl )
con Kl, K2 I K3; escalares; si realizamos el producto al fI al = 1 la ecuacin
.... 1.. "'3) -'>,
2-2) nos queda: Kl (a 'IC a: . a
\
K I = [O: o . ~ ~ J"
=- I
,
I
- ; o sea que los vectores anlogamente K2 = K3 =
se pueden expresar en funcin de los como:
2-4)
, ,
comparando 2-1) Y 2-3) se aprecia que las dos bases se comportan recproca-
mente cuando se expresa una en funcin de la otra.
Una relacin importante entre las bases recprocas es la de que sus correspon-
dientes triples productos mixtos son inversos es decir:
[Ci' al. 0..
3
1 . [a, a ... a3l == l. ;esto lo demostramos as:
c ..... ,
'.
"
- ,
) .
5
2 -5) a.
l
(a\ ) _ (i4)( (1-;). ti 0.-; x al)>( ( a; )t lii)]
- . [ al 0:-1. 0:3] 3 ; el triple producto del nume-
rador lo expandimos utilizando la regla:
ti' Ir (b" e) :: (u. L ) b - (i'. ;- ) F ==!:;7
(cr;. X a?'3 ). F!h lt 0.'1) II (el. lt <h. )];: ). {U tI; x ni). u .. 1 a. -R;" a-) . Q.l24}
.:: (a\ )( Q;) .[(a';x al). u1.1 etl [d":. (0:"7.)( (3) 1 [ cb.. ( a3 le QI Y)
[
..-, _ --'7 ,
:: Q, a.l..
llevando a 2-4 resulta:
- _ -"1.,. \ [ al al. ct}' _
a'" (a"l.}I. Q'" ) =- d .-
ta, Q"t.
I
-
[
' - - --i
d, Cl.l. Q.3J
.
Si los vectores base o. o.. a son triplemente ortogonales entonces como el vector
-..., J J -...... ___ --" -? 7.. -;::=t l
a.1 (de la base recproca al Q'L Q3 ) debe ser ortogonal a a. y u... coinci-
de en direccin con al ; de la misma manera al.. coincide en direccin con
0...3. y Q"3 con ; por lo tanto en este caso las dos bases coinciden por lo me-
nos en cuanto a que sus correspondientes vectores tienen igual direccin y sen-
tido; si adems de ser ortogonal a
l
-a1. Q..3 est formada por vectores unitarios
-. -.... ,,,. --""" 1 --> --.. \
entonces los al Q.l..Q3 tambien seran unitarios ya que a.. a. = l Y como la ... :. I
:..-"'7 \ a: \.= I y \ Q'L \ :: \ Q3 \ = I
Veamos un ejemplo ilustrativo sobre bases recprocas: tenemos en el espacio
bidimensional dos vectores base unitarios al y eh dirigidos a lo largo de los
ejes Xl I XZ (despus encontraremos justificado el que los vectores bases lle-
ven subndices y los ejes correspondientes superndices) ;construyamos la base
"recproca el I , a'" .
Xl
X,
,
6
De 2-1) vemos que QI debe ser normal a (o sea estar sobre Xl' que
forma ngulo recto con X
2
) y a 1. no.!:,.mal a al (osea es tar sobre X
2
que forma
ngulo recto con Xl ) del extremo de QI y a7.. bajemos a los ejes Xl X2 lneas
que sean perpendiculares a Xl X2; vamos a demos trar que los vectores as obte-
nidos son los vectores ( a, a1. ) recprocos de ( ) ; para esto debemos
-... -- e:
demostrar quE2,. estos vectores satisfacen 2-3) o sea al. QJ' == J.j , tenemos:
a. al = 10.
1
\ \ a.: \ . Sentr; pero en el tringulo corre spondiente a a. al ,
tenemos Sen fT .::. Jet. L =;7 r.'l= ltr.lhen-9-
ra'\ 1-
- - \-L-
al. QI :: Q, 10,11 I
.5.:.M e-
uni taria'; adem s
-. ---
a . al..
VI \ V"" 4
= o porque A ...L-;'\
..
porque
a.
es
.....,. ....,. ....... ---
De la misma manera se demuestra Q'l., Ql.. =.t. Y a1..,a. = O por lo tanto se cum""'"'
pIe: al', aj o sea si los vectores (O"Cl1.. ) son unitarios su
base recproca est formada por ( "O.! ;a.'- ) obtenidos como se indic arriba.
CAPITULO III
COORDENADAS CURVILINEAS
En fsica existe un gran nmero de problemas que se pueden resolver mas fcil-
mente si se trabaja con coordenadas apropiadas al problema que de resolver se
trata, es decir, las coordenadas cartesianas no son siempre las mas convenien-
tes para todo tipo de problema; as por ejemplo si estudiamos el flujo de calor
a travs de una esfera, evidentemente lo ms prctico es trabajar con coordena-
das esfricas; si estamos calculando la longitud de un arco de circunferencia lo
mas conveniente es trabajar con coordenadas polares ( es decir, cilndricas en
un plano) ya que en e ste caso SCI. \,:;. f8-7<. d. -e- 7< (ti-b - e-A..) lo cual
, )-0;0.
es mas simple que si lo hacemos con coordenadas cartesianas:
con
id. -.x. (R."L_;;(... 'l.. ) - '/,
d.:t..
En vista de lo anterior surge la necesidad de estudiar las coordenadas curvilneas.
J
en un espacio dado instalemos un sistema coordenado cartesiano Yi sea cada
punto del espacio queda determinado en este sistema por una terna de valores
( d', Jl, 13 ); definamos ahora tres funciones ( :x,. XL, ) tales que:
3-1)
X,::: XI l J',1 1.,13 )
Xt= :lo (:h.J'L,Jl)
l' }.= X") ('J, ,lt, J:1)
Esas funciones las vamos a suponer monovaluadas y derivables en todos los pun-
tos del espacio tomado; si en 3-1) hacemos x,:: el' ::x.2. = ,..:t.:. -::: C3 ,
las ecuaciones quedan:
3-2)
:t, ( J., 1 t.. , = el
Xl. ( J, )1.. j ) ":. (lo
, ,
(J . 'j . ') ') ::.
Vemos que en cada una de esas tres ecuaciones se puede despejar una de las
en funcin de las otras dos 1. t por ejemplo jI = f, ( c.. 1 I J .... , 'J, )
sea que cada una de las ecuaciones 3-2) representa una porque la
coordenada en una direccin ( ';fl por ejemplo) es funcin de los puntos del pla-
no normal a esa direccin (plano Y2 Y3 por ejemplo); este es el caso por ejem-
plo de la ecuacin -t" V7P"_x1.._JL. que nos represente. una semiesfera de ra-
dio R y centrada. en el origen: a cada punto ( x , y) del plano X Y corresponde
un punto de coordenadas ( X. , J I t ) perteneciente a esa semiesfera y el
z. dado precisamente por V 1<.1.. -xl..- j'Z" .
r
,
8
Si en la ecuacin 1\ ( 'f '. '11. J, ) ::. L, vamos cambiando el valor de la cons tan-
te e, obtenemos una familia de superficies (por ejemplo si en 2::. V'RZ-_:;;Ll._'jL
hacemos variar R obtenemos una familia de superEicies esfricas concntricas)
y lo mismo se aplica a X z. ('1.)'1. de este modo el espa-
cio considerado se puede pensar como lleno completamente con tres familias de
superficies y en cada punto ( I ) de este espacio se cortan tres super-
ficies, p:-ecisamente aquellas para las cuales se cumple:
'J =- '1, (y \, ::t 2. Y )";
Como vemos, para poder garantizar la interseccin de tres superficies en cada
punto del espacio es necesario que en las ecuaciones 3-2) se puedan despejar
las j \' en funcin de las ::i.,.' de modo que para cada terna ( X" xt. J X ) exis-
ta una y solo una terna ( :J't. 3 ); la condicin algebrica que nos ga-
nntiza esto la obtenemos si en 3-1) expresamos las diferenciales totales de
x.... en funcin de los diferenciales totales de J',', es decir:
3-3)
r
7
(
d :I:,
d j, 4-
d .x,
d)1. +
aXI
el J3
2J'h,.
-
'J,
d-:i., =
.;;::
d 'J I +
;) X1.. d 1-r
+
;; Xl.
d '13
dj
d
.;):13
d -::1.1... =
a :f.3_ do 'i
.:i 3. d..1 '1.
+
a x,. el J'3
...
j, I >:f-z. d J'}
Se demuestra en el anlisis matemtico avanzado que la condicin necesaria
y suficiente para que exista una correspondencia buinvoca entre los ::fJ y los
JL es la de que no se anule el determinante de los coeficientes del sistema de
ecuaciones 3-3); este determinante se llama el jacobiano de la transformacin
que nos convierte a los JI' en los .:(' a partir de las ecuaciones 3-1) I es decir
se debe cumplir:
.I.
)Xj. =1
O
- (3 :.
a,:t lo
--
dj,
-
C> 'j '&.
d '13
;;; -:L)
.a X3 . 2> X-J,
d '1,
.;) '1
d 13
9
Volveremos sobre el jacobiano en el captulo XI sobre tensores relativos. Si
en un punto del espacio tenemos tres superficies intersectadas: :::t:.,:: x, C1.1"l.J'});:, (1.)
.:x."I. := X1 ['1,,'r"L . J"3 ) =- C"I., X ;1C') ( 1., '1 ... , '13) ;:. e 3 sabemos que
ellas se cortarn dos a dos segn una curva; as: la interseccin de X 1.. :;:. c.."lo
y 1} L.., la obtenemos despejando en-funcin de XI' -!'7
3-5)
J 1 =- 1, (X" (2. J C:J
Jl.; (X." (1., ("?
J 3:: J 3 ( "j. \ J , ("!J)
Recordando que los J l' se refieren a coordenadas cartesianas del espacio pode-
mos observar en las anteriores que para el punto en cuestin ( o sea
siendo L"" c.") constantes) los valores de J" '$'1., j., son funciones de un
solo parmetro ( X, )} por lo tanto las ecuaciones 3-5 son las ecuaciones par-
mtricas de la curva que resulta de la interseccin de las superficies
)( " -x: 1. ( JI, 17. ) -) '") -::.. L z. Y :x ;: ::;( , t.. 'f" 'j '&., '1 3) =- C"3 ; e s ta curva
la llamamos la curva Xl; anlogamente podemos decir que la interseccin de las
superficies Xl = el y X3 = e3 es una curva X2 y la interseccin de Xl = el y
X2 = e
2
es la curva X3 I en el grfico siguiente podemos apreciar estas curvas
Xl' X2' X
3
:
j,
-rl
t ,
-
superficie
superflcie
superficie
. ::.::::;::-
r-
(X,;:(,
:t2 =-
h)
-
-
-
( j' J J
11. J
1 J )
,
XI
el
: -::
-
-
-
,
-
-
X<.:=
(,
1I111/
X
3
.=
(3
.. .. .
10
llamemos al radio vector que nos localiza el punto l' con respecto al
origen de coordenadas del sistema cartesiano ( 'j" J 'Z., 3 .); tenemos
entonces:
ya que
hemos d_cho que de 3-1) se pueden despejar las rL' en funcin de las J::(.' .
Ahora, si desplazamos a y una distancia infinitesimal a lo largo de la curva
Xl se-f0s convierte en y+- el.::; (aqu se x2 y x3 constantes) sien-
do d y un vector tangente a Xl ; la derivada ay representa entonces un vector
):;(1 _
tangente Xl Y nos mide precisamente el cambio de Y a lo largo de Xl; este
vector dY en general no tiene por qu ser unitario; lo llamaremos a, ;anloga-
,
d:t.1 _
-
mente a: :=- a y
y a.3::::
son vectores tangentes a las curvas Xz y
X
3
respectivamente.
Si tenemos una funcin escalar .")(, ::...;(, ( JI )1. '53) se llama
... d:X -e ___ t '. 7?
la expresin: eX, L. + -' L'., + ) .),[, l.'.,. _ '\7", con t.,'
;aj, ;;) 'i'l. 40 ;;'13 - V ... I )
gradiente de..:x::
1
a
vector unitario en
Si A representa el parmetro longitud de arco a lo largo de la curva Xz enton-
ces ;;;7 no solo es un vector tangente a la curva coordenada X2 sino que tam-
.
-
bin es unitario ya que en el lmite (cuando AY y 6 h""L son infinitesimales)
la magnitud de 6,':; tiende a la de .6.-1
2
,este vector unitario lo llamamos
--.
1:
- - ay .
-
-. _
Pero Y .= '1, i, + 1t -z: T J"">) L:J (con ':t,. '1 'L, j"3 representando puntos de la cur-
va X2 I para lo cual se deben cumplir las ecuaciones del tipo 3-5, es decir va-
riando slo una de las tres variables ::L." X'Z. J::L, en este caso sole X'L)
-..
- '
-
-
-t: l.. ::. ) '1..l
a 'jL
,
;) 'h. ..
,
Tenemos entonces:
L,
..
l..,. +-
L.3
vector unitario
d--1'1.
d-1z
tangente a la curva X2 .
,
d :!z d .:L. '"1
3 d X,
Ahora:
-
;::; XI ) '11 5) .::L,_
.;.. -
VXI
.T?:=
+
,
-
.
-
Gl...02.
d /n..
- ,
..
:;)'j-;)
d J'
,9/')2.
a'f7.
8.,.6'1.
,
Hemos demostrado pues que para cualquier punto P el gradiente de la funcin
X,; .:tI (J,,'!<.,13) multiplicado por el vec:tor unitario en la direcCin de la
curva X. (o s e a XI:;' c..r4_ J X3::' dL ) es igual a la derivada de esa fun-
cin X'::..:X, ( '/, '$z. '13) con respecto al arco A 1.. ; por lo tanto si a la fun-
cin X, X, [1./ .; :., \ la tomamos constante ( :x I =- (, ) entonces
- JI, J L, J
(
11
-...... -
d '. = O Y en este caso: 3-6)
\l :X. , -t-A.,
=O es decir I que si .x, =- <:'1 en-
-
tonces el vector gradiente de XI es normal a la tangente de la curva X 2.
Anlogamente:
Q -:;t. 1 -F; ::
?J:;Y a '11
aJ' .9...13
+ a xJ } '1 3. ... a.:x.J a 'b, = d.. XI.
J/5:) )"j} dA3
o sea el gradiente de XI multiplicado e sca larmen te por el vector unitario tan-
gente a la curva X
3
es igual a la derivada de XI con respecto a ' la longitud a
lo largo de X3 ( /.)'3); si X, = e 1 entonces d ';;::"', =O Y por lo tanto para este
_ _ dA3
caso "'1:$.1. =0: 3-7; vemos as que el gradiente de XI es normal a r:.;
cuando XI es constante.
De 3-6 Y '3-7 se concluye que cuardo XI =cte ( o sea para la superficie X ,:.)L,{t,'j:'h):'(,,)
el gradiente de XI es normal a la tangente R a la curva X
z
y a la tangente
---- ----
n a la curva X
3
y Ll.. Y estn sobre la superficie ?<l = el en ton-
ceue concluye que '\/XI es normal a la superficie Xl = el' Anlogamente:
'1X1. es normal a la superficie.x2 = e
Z
y
-
'V-:/.3 es normal a la superficie:i.
3
= e
3
Podernos demostrar ahora que los vectores:
Q. , ;:.
Q..
' 3
- CJ,
- - -
y ,
Tenemos:
y:
entonces:
forman dos bases recprocas.
--. --. -=-- ----
y;. '! I l I '$1. L'l. )3 ::::-'/ do::.
ax! +-
d.::tl 8':h
el XI =- 1
dx,
,
anlogamente:
--o --?
(Jx.. ::. o)
3-7 a)
y
12
.t- ;;)'11, :2;;(,2 4- ? X1
? > 'l. e ; ) ':3
Vemos pues que se cumple la ecuacin 2-3) que nos define las bases recprocas:
-;:;. V' .... ( .' ( = 1 para i = j , = O para i j) .
'-(. L. V A.J... a t J
-? --:>
Si los Ch forman una triada ortogonal entonces como ya sabemos, los V Xt:
.
coinciden con los a.l' o sea las dos bases coinciden ( esta coincidencia es
por lo menos de sus direcciones y si los ar. son unitarios tambin coinciden
en magnitud).
Para terminar es te captulo apliquemos lo anterior a un tipo simple de coordena-
das curvilneas, las cilndricas; en este caso se cumple:
'-j I ;:.. Y 4;10..
1.. ;::: Y .s,..t..v e-
\)3;::
siendo ( '1" :f .... , ':J") ) coordenadas cartesianas y
gn la nomenclatura con que hemos venido trabajando
....,
..r _ ;:,L I & =- X", "\:;:::
1 - J 'J
; e s decir: 3- 8) ,
J'2,-::'
.xl
::r. '2.
)
'53
--':>
a..:J son:
----? -
Los vectores 0-., C1l.,
-
-'9
--'>
-
C}
d
.f _d1 1,
,
(. 4-
(,
(3 -
::t...."l (, 1- ,)-<,v,
- '"
-
dX,
C7 x.. eXI
I
se-
.":>
Z2..
Lt
- - ---,
Para encontrar '({x" -V Xl., / X3
necesitamos la transformacin inversa de
3- 8) es decir:
13
Ahora:
-
--..
-..
a:L.
-
ax,
a X,
'VX I
l.:a
l., +- (1 r
- -
-
) 1, ) 'jt
- "J,
::fa.
-..
L,
....
-
t
1
-
-
V +!: V J.1.. +
-
-
-
X'l.. _ i, ..
V -:f.," Ca '1.:t. St.-II"':4
Anlogamente obtenemos:
-
-.
-
j ..(N).:x.l.
t!C 5 ..:z:k.
'j Xl.
l.. +- L
z
- -
- :x,
-
-...
"Ix)
- (3 .-
Como vemos, re sulta:
-=-- -
a. I :. 'f ::(. J :.
-1 _ _
Q. 3 =- '({.1.,3::' 3
--.
tIz. y 'V:x. L
tienen igual direccin pero no igual mdulo ya que como
-
entonces 'j Xl.
,. \ \ j: 1
--- ---.
Las dos bases resultan as iguales en sus vectores ( a, CL3 ). Y ( Y:x... \i':b)
--.. --:"'1J'
pero no en Ch y 'V x.. esto debido a que ( UI ctU1...)) es triplemente ortogo-
nal pero \ Q'l.. \:f. 1; como se ve: Qt'. 2ij O (i:ir j) I es decir:
,
14
- - -
En el siguiente grfico apreciamos los vectore s a f .1 al. I a.) para coordenadas
cilndricas
\
r ..... r-__ .:.. __ .... ;
..-.. '""':'"'1J'
: a, :::.a. ...
,
'. 1
.. ..: . .. ...: I
.... ..
,,/- ....... w .............. +------ t
' .,' e 't
En este caso las tres su-
perficie s que se cortan
en todo punto P son las
siguiente s :
Y':. XI '1'1,'1.+1-; : d:c.(cilindro)
'1
-e I! X"f. :::. o.vc7"aa;" )
,
La s curvas coordenadas son:
Xl: Interseccin de las superficies X '2. J 1-:, -=- m o sea la inter-
seccin de los dos planos; es pues, la recta que pasa por P yes sopor-
- --- .
te del vector a,::. Q.".
X2: Interseccin de las superficies X J;:' ere. ) X3::. (t:.e... es decir del ci-
lindro y el plano Z= cte; esta curva es la circunferencia mostrada en el
dibujo.
15
X3: Interseccin de Xl =cte ~ = c t e ~ s d:.cir es la paralela al eje Y3 que
pasa por P. (recta soporte de a, ~ a.i ) .
I
CAPITULO IV
TRANSFORMACION DE CANTIDADES
Dado un sistema coordenado !tI, J J J ,en l se pueden definir cantidades
que sean :uncin del punto ( j" 'j I 3 ); si definimos un nuevo conjunto
de coorde::3.das ( :x 1 .::t:.Z,-X.3 ) tales que las :XL' estn relacionadas a las Ji' por
las eCU2.:::!:Jnes 3-1) es de mucho inters estudiar como se transforman las canti-
dade s en el sis tema dI.' cuando las expre samos en el nuevo conjunto
X,.. Si la cantidad es un nmero, por ejemplo 1r 28, ese nmero permanece
inalterado al cambiar de coordenadas; si la cantidad a considerar es el conjunto
de diferenciales d J i:( d 'J" d J .. I cl '13 ) ellos se transformarn en los d..::t(.:
d d as:
dx, )X, J 'j I + iJ::r;.,. di"l. + d 'J"3 :_:"}
\j, "dj" ;)'1.,
ol XI [; a :x:, d J i
- (::'1 ;)'ji
Siguiendo la convencin dada por A. Einstein, vamos a quitar el smbolo de la
sumatoria pero lo reemplazamos con la suposicin de que siempre que en un tr-
mino aparezca una letra repetida se toma la sumatoria con respecto a esta letra;
esta sumatoria se toma sobre el rango de valores de esa letra en este caso:
i= 1, 2,3.
Entonces la expresin de arriba queda;'
4-1)
el :t. I ::.
En este caso el haber quitado el smbolo L no representa mucho ahorro en la
escritura y es ms, dificulta la comprensin de 4-1) porque debemos localizar
el ndice repetido (i) Y establecer una sumatoria sobre l; sin embargo como
de ahora en adelante, a medida que vayamos profundizando en el lgebra y cl-
culo tensoriales, vamos a hacer uso frecuente de expresiones que implican su-
matoria se complicaran mucho las ecuaciones si colocamos tantos smbolos .
La letra que aparece repetida ( y por lo tanto sobre la cual se debe hacer suma-
tofia) la llamaremos ndice vaco o mudo (dummy index) porque esa letra la po-
demos reemplazar por cualquier otra y el resultado es el mismo, es decir, una
suma sobre el rango; por ejemplo 4-1 se puede escribir tambin as:
, d.xl == el JI< , ... J J 2. J.3 )
Esto es lo mismo que sucede cuando integramos entre lmites: por ejemplo:
/
(
3
:x. 2. d.x. ;. 1
2
"3 'J"l '1 -::. e
3
I'rr; 7. el 'T?? J
.. )., J) Z - -: son variable s muda? ,se
pueden reemplazar por cualquier otra letra sin que cambie el valor de la expre-
. ,
Slon.
17
Siguiendo con nuestra transformacin de diferenciales,
3
d. X-2 ::. 'a:Xl. d J. + ;JX; el J-z. + el 13 ::;;. 8
;;> ""j J ;;; 'j 't ;;J :s l:. ,
tenemos:
<>X:z.. d'" '
;;>::1" JL
o sea: 4-2
I
d t;; dX,=- d 1L' (sumando sobre i= 1 ,2 , 3 )
'j,
tambin 4-3) d -./ d!L'::;;' d
X
3_
= L... ;;11' ,;)'jt'
l;:' .
Las tres expresiones 4-1, 4-2, 4-3 se pueden expresar en una sola: 4-4)
d
-v' d_- .::ti d lit'
'-"'-J - J
d 1t'
,
Aqu como sabemos debemos sumar sobre el ndice repetido en un trmino en es-
te caso ( i); el ndice j vara tomando los valore s j= 1, j= 2 I j= 3 Y en cada ca-
so nos d las ecuaciones 4-1), 4-2) I 4-3),
Esta forma 4-4 es muy til para trabajar ya que con una sola ecuacin estamos
escribiendo 3 ecuaciones cada una con tres trminos a la derecha del signo
igual; el ndice j lo llamamos ndice libre ( free index) porque no se puede cam-
biar por cualquiera otro sin cambiar el valor de la expresin ( lo cual no ocurre
con el ndice vaco); cada valor del ndice libre, dentro del rango de valores que
puede tomar l, nos d una distinta ecuacin as como en el ejemplo la varia-
cin de j de uno a tres nos produce las tres ecuaciones anteriores.
Otra cantidad que podemos estudiar c6mo se transforma es cP (JI, ),fun-
cin escalar de punto; este es el caso por ejemplo de la variacin de la tempera-
tura en el interior de un cuerpo; si cambiamos de coordenadas, cp ( ' '!, ';f? )'3 )
se convierte en ( ;t, ) ; nos interesa apreciar cmo se transforma
cada una de las componentes del gradiente de c; ( Ti cp ) cuando hacemos el
cambio de coordenadas, tenemos:
(segn la convencin de
Einstein) ; tenemos pues:
18
Similarmente:
)
E s tas tres ecuaciones se escriben en una sola as:
__ C) ':!L'
d.x.j' )'ji
; aqu j toma sucesivamente los valores
1,2,3 dando lugar a las tres identidades anteriores y en cada una' de ellas ( o
sea para cada valor de j) hacemos la sumatoria para i desde uno hasta tres.
Como un ejemplo final de transformacin de cantidades transformemos el delta
de Kronecker ; si llamamos al delta referido a las coordenadas ,
( JI I j'L. 'j 3 ) Y &! el delta referido a ( I :x:: 'L.:l::., ), en tonces se
'1
transforma en SI( a travs de la siguiente expresin:
4-4) ; al lado de la derecha
hay una doble sumatoria porque hay dos ndices repetidos i, j; si efectuamos
en extenso esas operaciones resulta:
'i..
d::J../"
crJ(/'
.!t
+
dX d 1
3
4-5)
1( =
+
-
d 'J I
OlX
K -;;) ':f j 'd .xl(
.;)1'
d 'jI
+
+
Oi.i rr
+ 9:;(1(
d 'p.
d 'jl. d;(1(
):1
2
:;>.xl(
d
+
d b;
+
).:! d '1:
+
.,;)':$3 ;;X"
=. ..
dJ3 a,xK
;;J 'j? ):X t<
Vemos que para cada par de valores ( J(-t ), K es la suma de 9 trminos
conteniendo a .
(J/.
Como sabemos que c) vale 1 para i=j, Y vale cero para i =1 j resulta 4-5:
+
por
' .
tanto:
I
S!
mos que (
entonces
..
19
3
S)
-a .:x:. .(
L
-
a.:X ,.,. -
,
.
;)'JL
a ,.;x:. K.
l .:; I
4 - 6 ) I pero . como sabe-
::lL 1) x'Z..
-ax-}
;;;:x. 1(,
) son variables indeendientes
vale 1 si J< ( ?X A -:.., ) y
'dX J' J
(definidas en 3-1)
vale cero si -l =1= ><
( r:
es decir e s correcta la frmula que nos transform d (. en (j" ; vemos aqu
que la convencin de Einstein nos comienza a reportar beneficios pues es muy
sencilla y concisa la expresin 4-4 comparada con 4-5; a partir de. 4-4 poda-
mos haber llegado ms a 4-6 sin necesidad de haber desarrollado
en e xtenso como en 4-5; para hacer esto volvamos a 4-4:
'J2 _ dX_t. L'
SI< - dji ( , el lado de la derecha se
j'
y &i se hace uno cuando i = j "? anula cuando
I
).a :::.:C>::f.. d 1
J
-:. d .
1< ) 'JJ' d-X le a x'"
que es la misma 4-6.
CAPITULO V
VECTORES CONTRAVARIANTES y VECTORES COVARIANTES
En el captulo anterior vimos como se transforman los diferencia les d 'j i
en los diferenciales d U al cambiar de las coordenadas ( /j, J :!
al siste.n:a ( :::L, Xt X, ); esta transformacin es : 4-4): Jx,. =-: iJ1L J "t'
I I J d rL' ct
)
,
,
aqu cone ya sabemos se suma, para cada j f sobre i desde uno hasta tres; lo
que tenemos en 4-4 son tres ecuaciones; podemos ver los como las com-
ponentes del vector J:Y-;' =d L? + cLjz it + d.j, L3 y los d'XJ
las componentes de ese mismo vector referido al nuevo sistema curvilneo
I -v \ d. ----. \ --:-'" ,-;"," \ --;? .-
l"""'X"X,) osea "( == d.:l-, LI + q.:i.) [3 aSl
pues 4-4 nos dice e omo se transforman la s componentes del vector cl.. Y al
cambiar del sistema tt' al -:::4'. Por deinicin vamos a decir que las compo-
nentes de d7 se transforman contravariantemente porque se -transforman se-
gn 4-4; podemos generalizar y decir que si las componentes de un cier-
to vector A expresadas en ( 'J, :11- J"3 ) se transforman en Al
componentes del mismo vect0.r A pero referidas a un nuevo sistema (
de modo que 5-1): 1. a -:::f-J Al ,A'"
A.!;:: -G) jL' entonces el vector es un vec-
tor contravariante; notemos en primer lugar que el vector como tal no ha cambia-
, ,
do, las A t Y Al se refieren al mismo vector, lo que ha cambiado es el valor
de sus componentes porque cambiamos de sistema de coordenadas de ( '11 '1z
a (Xl I -.L 1., :x. 3 ) ; notemos tambin la similitud de 5-1) con 4-4); ambas e-
cuaciones nos dicen que un vector es contravariante si las nuevas componentes
( sea componentes en ::te:) se obtienen a partir de las viejas componentes (
sea componentes en multiplicando estas por la derivada, par?ial de las nue-
vas coordenadas con respecto a las viejas coordenadas (s;?,..:t.J_) y tomando en
2)jL'
este producto sumatoria con respecto al ndice i (ndice mudo). De ahora en ade-
lante identificaremos con superndices las componentes de un vector contrava-
riante ; por lo tanto como el vector d. "("es contravariante la ecuacin 4-4) se
debe escribir con superndices as:
Estos superndices no significan elevacin a potencia sino que se usan para i-
dentificar los vectores contravariantes.
Ahora, vimos anteriormente que las componentes del vector gradiente de una
funcin escalar cb ':17... 'f"3' se transforman al pasar al sistema ( :tI :X2..A3)
21
segn la frmula:
a(j;
5-2)
-
-
-
-7
Decimos entonces, por definicin, que las componentes del vector \l P
se transforman covariantemente porque se transforman segn 5-2; nuevamente
hay que cecir que el vector como tal permanece inalterado, cambian solo sus
podemos generalizar y decir que si las componentes AL' de un
-:> t
vector A se transforman en Al segn la ley:
I '-< L'
5-3) Al = A entonces el vector es un vector cova-
riante.
Notemos que 5-2) es un caso particular de 5-3) el caso en el cual el vector A
es ; para los vectores covariantes utilizaremos. subndices; la ecuacin
5-3) que define un vector covariante nos dice las nuevas componentes se
obtienen a partir de las viejas multiplicando estas ltimas por la derivada par-
cial de las viejas coordenadas con respecto a las nuevas y tomando en este pro-
ducto sumatoria con respecto al ndice { (ndice vaco).
Podemos apreciar que 5-1) y 5-3) forman, cada una, un sistema de tres ecuacio-
nes ; para captar mas intuitivamente lo que expresan esas ecuaciones vamos a
expandirlas, es decir dar a l) L los valores que pueden adoptar ( :'/J <-, 3)
I
De la ecuacin 5-1 :
A S ;:
t
;;J::f}
A
1
Al.
j 1 -
r
-
d 'jI
:J::L A'"
A
2
j= 2
-
-
OJ I
-
-
j= 3
+
a :ti
AL
resulta:
-
-
a
d .xl
A
Z
4-
q ::x? A 3
-
-
dJ
J
dj2
a:t.'- Z
a.:;: L .3
-aj3 A - ;;A
dj'"
:t: A
Z
-r
dj3
(
22
En forma matricial queda
r 1
a .xl
d .:::L
a..:x' Al
-
-
-
-
.a 'j'
dj3
I Al.
-
a :Lz. a.:r.2._
Al.
I
-
5-4
. .. .
-a:J3
a'jl
d '11-
,
I 3
a..:t.3
a.x
J
<> .::i
J
A
3
L
-
-a'.fl
-
djl )
Ya podernos apreciar la simplificacin que introduce en la presentacin el uso
de la convencin de Einstein de ndices libres (J ) y vacos ( c. ); la ecuacin
matricial est representada por la breve frmula 5-1. Anlogamente I la ex-
presin 5-3) se puede expresar matricialmente as:
d 1(3
-
ax'
/4. 1
a:L'
.a....::t::.
1
,
- jl
-
-
,
2>.:t. "1-
d.::t3
A3
C) ::1 \
:i
3
-
Estudiaremos ahora la definicin de vectores covariantes y contravariantes en
su relacin con las bases recprocas ru-= sf? y (C-::.1
1
23) .
a.1
l
En primer lugar vamos a suponer que en un cierto. espacio hay dos sistemas de
( Xl y'l.::i.1 ) Y ( )" 'J'I. '.1
3
) curvilneas en general defini-
dos uno en funcin del otro por las ecuaciones .
5- 5) a)
X. t :::
b)
En el entorno de todo punto P se puede expresar el radio vector que U!le a P
con un punto Gt infinitamente prximo a l as:
23
tambin:
S-6, b)
-
si9!1do los vectores
ay
en el sistema coorde- . '.
nado:(l y b 7, b:) b;
los vectores e n e 1 s is tema <:f L'
Notemos que hemos colocado subndice a los vectores base Ql y lo mismo a
los otros vectores base b7; as mismo hemos colocado superndice a los di-
ferenciales correspondientes d.:t
tl
y d J/.'; esta colocacin d e ndice s debemos
justificarla es decir vamos a demostrar que los vectores base a.c (,'::: 1,2,.3 ') Y
LZ (t":: 1) :z., 3 ) se transforman covariantemente al pasar de las coordenadas
::t.(' a las 'J t-' y viceversa y adems que los correspondientes diferenciales se
transfonnan contravariantemente bajo esas mismas transformaciones de coordena-
das.
Demostremos primero la transformacin contravariante de J j': De S-S a)
se deduce por diferenciacin directa:
dx(::. j,,/
a J I .J Y de S-S b anlogamente:
S-S c)
Vemos entonces que
travariantemente.
-!;> -:>
d L'
X)
se transforman segn S-l e s decir, con-
Ahora: Q{ ;::. :9
Y
.
a.:x(
y de S-6 b)
2
7
..
-;r-:
G>:f
l
..:-.'/ .t-
-
"8j3 -o.x
i
- ..
aj"
a:::L
l
d J'
a.:x.c.
ay
aY'
3jJ
-
pero
-
-
-
J
-
-
-
dJ'!
a:).J
a:tL-
24
5-6 d) ; por lo tan to
---"77 -7
al' J b e se transfor-
man segn 5-3 es decir covariantemente.
Lo que hic:mos fu coger el vector eL 1 en el punto P y descomponerlo segn
las dos beses (llammoslas directas por oposicin a sus recprocas que consi-
deraremos a continuacin) bc =- Civ,"'. (i -::. (J <., 3', las
);tL a'l"
componentes fueron d:L L' (C=-I) 2. I 3) para la base a} y d j' ( (t"= ),2;3)
para la base t?evidentemente tambin podemos expresar d-:7 en funcin de cual-
quier otra base localizada en P; expresemos Jyr'J en funcin de las bases re-
cprocas de 0.( y b1 sea (como se demostr en el captulo III) Vi,.. y { Jc
-"7
respectivamente; por simplificacin e!1 la escritura llamaremos
-'? -";
V:Le:
-:::. a
t
y
'J ji..-=- be. . Si expresamos al vector J l en las coordenadas resulta:
5-7 a) d. y::. Q) d1., -+- 2- d.:t."L +- (J} d-:L:J -:: (le .xc
aqu los
, 1 1 d:i... 1
d ..x'Jcl.:i.:z
o
, d...::L.) no son en genera os mismos )
d .x:.
J
--'7 -7
d 1.3 vistos anteriormente ya que como las bases a
f
) t1,; son dferentes
en general (como vimos en el ca1(. II slo coinciden las dos bases si los CIT son
vectores unitarios triplemente ortogonales) entonce s las componentes tambin se-
rn diferentes; d7 ta.mbin se puede expresar en el punto P en trminos de los
as:
7'
5-7b) JV::.b/dJ.+-h dj"l.+b dJ'3::' n'-djt.
\ e
diferentes, en general, de los d j considerados en
siendo los
5-6 b ) .
c:
Notemos que he mos colocado superndice a los vectores base a ( c,'=. J) 2,3 )
..,..., .
y h L ( e=- ') 4, '3 ) as mismo hemos colocado subndice a los diferenciales
correspondientes d..:t(, d j L; esto tenemos que Justificarlo es decir, vamos a
demostrar que los vectores base recprocos aL. ( (::;.), 1,3) (re cproco de los
')} 'b; l L' ::'1) '-) "?> ) (re cproco de los "17) s e tran sforman c ontra-
variantemente y los correspondie ntes diferenciale s ( d x. /.' para a( y el Ji
para h?: ) s e transforman en forma covariante.
,
Como el vector CL Y e s
5-7 b) resulta:
5-8 )
al
el mismo ye s ea que s e exprese por 5-7 a)
,
o por
el '-{ .
-JJ
(ca mbi amo s e l ndice
25
vaco (.. en la ecuacin 5-7 b) por el ndice vaco J ).
Ahora ya se demostr lo siguiente (5-6 -d )
;multiplicando escalarrnente a lado y la-
( -;?',: )
do por el vector uno de los recIprocas v- resulta:
d
-
J je.'
notemos que en la expre-
sin de la derecha J es un ndice repetido cf sea de suma sobre l I pe ro
-
(por ser bases recprocas) nos queda entonces:
-
b -7K
a :::
a XK
L'. O-
- -
,
-
-
J
-
dj(
a:s
f
K ) es decir
S-lJ) j=k e igual a cero para
j:f=.
.,.-y
Multiplicando 5-8) escalarrnente por bk resulta:
(ya que
1
a ..:((
1('.0.
-
-
=
a je
f?J .xL' d: l:=:' d jj :::. d. J t(
dj"
hemos demostrado pues:
,
5-10 ).
::: ?:t.
L
.dil'
aJI<
para
Similarmente: en 5-6-c):
"'"\ 1I J --?
- o JI.
- - -. DJ
multiplicando ambos lados escalar-
mente por
-?{
1
n
resulta:
81
- e
(71
--'?
I .
oJ
8:11.
- ..,
blA.
al
1
aJI{
-
-
-
-:..
, .....,.
a:r
t
r3.:X- L
26
-
Por lo tanto si multiplicamos 5-8) por QI( resulta:
-.0:., --,
a. l , al(
'8
-
o.x"
d x. l.' :::.
pero:
el::t l.' :;:: el. x K -=---'9
s-u:
ax'"
Vemos de 5-10 Y 5-11 que los diferenciales d.Xl.'} d j (' se transforman cova-
riantemente, por lo tanto est justificado que los describamos con subndices.
Hay que anotar que las variables ,::;c) '1) tienen superndices en todas las deriva-
das parciales porque se refieren a derivacin directa obtenida de ecuaciones
= 'lt' ( X,) x .. , X3 ) y Xt..' = x. L ( 'j,) ).
Demostremos finalmente que los vectores recprocos de los -al' y los
sea los a L' y los 1"t..' se transforman contravariantemente.
o
-?
El vector d -r se puede escribir en cualquiera de las formas 5-6 a, 5-6b, S-7a,
-="
5-7b: es el mismo vector referido en el caso 5-6 a a la base de los Ql' , en
,...,. -i> , 'T"'> '
5-6 b a la base J:lL', en 5-7a a la base a L yen 5-7 b a la
(siendo a( recproca de al' y re recproca de , siendo a: =. :O'
ax{'
y
-9 --:-?
.ht.':;:::' 'f( XL' ), Igualemos la expresin de J Y'" segn 5-7a y 5-7b, re sulta:
--? -. -J' \
5-12) d ...,. :: aLclxl.';:: .b ti 'j j ;hemos cambiado el ndice vaco i por j en
5-7b; de 5-11 tenemos: d;(L :::>o d .1J'
oX(
( j ndice vaco) entonces en 5-12
5-13 )
nos
des
( j= 1,2, 3 )
--? ,
aL
, J.
a ;t..t'
. C) d 'Jj :=
; ->
Ci ( el -
d;l.'
-,
.b J el:t' ::: o ;;-3;:>
; esta ecuacin contiene tres trmi-
cada uno de ellos con un parntesis que contiene tres cantida-
( i= 1 ,2 I 3 ) I C o m o los d '5 J s o n in de pe n -
\
dientes entre si ( j :=. , z) 3
ben anular para que se cumpla
5-14)
27
) entonces los trminos entre parntesis
5-12 , por lo tanto:
se de-
Similarmente: si en 5-12) reemplazamos el lJ'
5-10 ( es decir el. 1J d. X ('
por su valor que se obtiene de
) tendremos:
-? '
r 'a
L
_- ;,J -111-0..)
I
d;;!" ':
- .
a 'jJ
-
-
8X':- d XI.: ";: 7p
l 'Ji
d.1l.' ;:: f.::) -=---'='?
5-14 Y 5-14a.nosdicen que los vectores
se transforman contravariantemente.
:::: O :::!:::
Queda por lo tanto justificado expresar eL Y' de cualquiera de las siguientes cua-
tro :fOrma s: .
j:j
-'7
5-15
-
el :t
L
aL'
-
d:v -
-
djL
b
L'
d7 :::
d -->'>.
:tL' eL L
d:7
dJl b
L
En esas expresiones se debe sumar sobre i.
--;>
En el caso de que en el punto P se tenga un vector A diferente del vector
y' como lo podemos expresar en las bases recprocas Q lJ al' del sistema
t" T7,
coordenado ( :t.1:t 1. X'3 ) Y en las bases recprocas () "') .(J L del sistema
J ,
coordenado ( ji, 1"t. 'i -; )?
I
-"'7
En primer lugar debemos ver al vector A como un vector fijo en el punto ' P
por lo tanto lo que vamos a encontrar es la expresin de sus componentes segn
cuatro bases diferentes; ahora este vector -;;' es igual a K cf7 siendo K
,
28
J
-4\:I
un escalar y V un vector infinitesimal en la direccin de A: entonces como
-::-7
A es invariante (es fijol su magnitud y orientacin en el espacio no cam-
, ,
bian) K tampoco cambiar al cambiar de coordenadas ::t.'" a J" o viceversa;
por lo tanto si cada una de las ecuaciones 5-15 las multiplicamos por la cons-
tante 1<. resulta:
--':1 L'
K J.y =- )<. cl.. '1 Ql
-
"?
A
y pero
-
KJ:i (. es la componente de A? segn y como J..::iYse transforma cont-ra-
variantemente entonces l' tambin ya que: J..X ):fJ el Ji
c'jJ dJJ
entonces:
-:;> \-::=7
A .:: A L al'
; anlogamente:
K dY':::: d..,t' P
..1 pero
llammosla 8 (.' I por lo tanto :
5-1Sa) A = B l.: -;;.
=- Ac 71
t
'
/( -:::. "B L' bt'
-:-")
componentes de A
; similarmente:
) ..
segun
Al
'" J jt 'e s la componente de A/ segn
d A
,;:)lL' y '1:>
componentes e segun U\- !J ('
-?
Como se ve I dado un vector A sus componentes segn los vectores bas9s
covariantes ( ya sea Et ) se transforman y s1!s
componentes segn los vectores bases contravariantes ( ya sea aL 6 b
L
) se
transforman covariantemente; por lo tanto si en un punto P tenernos un sistema
coordenado XL' ( J ,-.1,,) ) L::.. ',"l. ) si los vectores base.,. directos son
tri = a.:i. y los vectores base recprocos son al' = 'l:Lt:. entonces
;:)::t. "
cualquier vector A" se puede expresar de cualquiera de las dos maneras si-
guientes: -A=?' AL --"7"7 A '
= al::' L U
--:-"?
A modo de ejemplo: si en un plano tenemos un vector 'A este se puede descom-
poner segn las o segn a
t
como se muestra en el dibujo siguiente:
-'1 \
Aa. a "
"
"
"
,
-al
\
\
,
\
\
\
\
,
,
"
,
--------).,.
29
x'
OPERACIONES CON VECTORES EN COORDENADAS CURVILINEAS
-:;.
Dadas las coordenadas :i.l' = Xl' ( 1, '11. un vector A cualquiera en un
punto P del espacio puede ser la base de vectores directos
segn la base recproca aL' ; en general 11"7 puede ser escrito as:
5-16)/\ = Al. eL' = Al'
-;-'? f -:-'? -')
Si tomamos A = ti !J..,. y multiplicamos escalarmente a. ambos lados por (j.'f
resulta: A, al = A t' el(. Zif = AL' = AJ'.::::';)5.
J
6CL) AJ=A. 21
1
tenemos as
que las componentes contravariantes de un vector se obtienen multiplicando es-
calarmente l este vector por los correspo%!ientes vectores bases recprocos;
similarmente se obtiene: 5-16 b) AL' = A, lfl sea: las componentes co-
variantes de un vector se obtienen multiplicando a este e sCllarmente por los co
rrespondientes vectores base directos .
_-JI> -:-':?
el producto escalar A, --B se obtiene
- 7:' '( j L'
e eL', uJ ) =- A
'
.8J o L' :. A 13 l'
30
-:? -? I 11. oh A):B
es decir: 5-17) A,.a ==- .. + 11 .01 +- J ; en el caso de que las
coordenada3 sean cartesianas entonces las bases 11/ y a1 ( t':. J, '1.)"3 )
estn formadas por vectores unitarios e igualesCa
l
'= lo tanto no hay di-
ferencia entre componentes contravariantes y covariantes de un vector pudin-
dose escy:.bir 5-17 as: X.E = A l' lit' = Al 8, + A&.lh + B) que es la
expresin para el producto escalar cuando las coordenadas son cartesianas (es
decir vectores base unitarios y triplemente ortogonales).
Otra forma de escribir el producto -;:. Bes la siguiente:
--? -? ( -"') -";)
A.S :: '-.A
l
(JL'), (BJ' GJ ) == Al 13
j
' ( m . aj')
llamemos
11 ---='7 7f' A"""'" -::? A ['8/ q
d lJ':: aL'. uj' resulta pues . .b == <t<r
similarrnen te:
A. Ir ::=. (Al' al') . (Bi aJ ).= Al'Bi 8<.1' con
Relacin entre las componentes covariantes y contravariantes:
_ -":> j' -:::? i
,?:-17a) A dJ,ai.::=.A g,.{ similar-
mente Al = AJ' IJ : 5-17b).
-.?A
De lo visto anteriormente tenernos:
5-17 el
Coseno del ngulo entre dos vectores
-7 -::.")
Ay-.B:
-- ....,.
A.a_
-
lt\.la\
-
Tenemos:
Al' &' g'
cos 0.(-
-
Producto vectorial x 1J
<") ( A',) / 'R l \ A t 1:".4.
J
' 'Q/ )(
5-18) Al! es ':. /ul' X. \. vi U: ) =: ..u
, .
Encontremos el valor de alx a:.J en funcin de los vectores UK.
,
;:,. '1,
Sabemos que el vector ~
31
--'?; -:b
es normal al plano de a y Q;.
y a7, i=l,2,3, son bases
entonces
recprocas como se definieron en el
(ya que
artculo
5-1 Q)
L.=
\
(de 2-4 )
similarmente:
. Introduzcamos ahora un smbolo e . . ~ ' t < llamado smbolo de permutacin que pue-
de valer + 1, - l. cero segn la siguiente regla:
a) Si hay ndices repetidos et:j'K vale cero, por ejemplo:
- ___ --- ""':::.. O
-
b) Si los ndices son todos distintos y se presentan en orden cclico su valor
es + 1, as:
e,3
-
~
c) Si los ndices son todos distintos y se presentan en orden no cclico su va-
lor es -1, as:
:. f 3 1.. =- ! 3 2.. I = e 2..\"3> .= - 1
La misma regla define los valores para el smbolo con superndices, c:: ('./J(
Utilizando este smbolo de permutacin las 3 ecuaciones 5-19 se pueden escri-
bir en una sola, as:
5-20 por ejemplo para
~ J 21 a} + e J2.l- 1..
al =- c. el! x }
Volviendo a 5-18 tendremos:
-;-Al) 4> ---';> L' - .l
A- )( 8 :::. A t" 13J a >1 u
)
pero de 5-2 o:
)
por lo tanto:
\
32
-
-
Corno vimos en el artculo 2)
por lo tanw:
suma sobre i, j, k)
I
-
-
....
Terminamos este captulo con un ejemplo sobre componentes covariantes y con-
travariantes de un vector en coordenadas curvilneas.
Determinemos las componentes covariantes y contravariantes del vector veloci-
dad de una partcula P movindose en el espacio en trminos de coordenadas
cilndricas
---------
I
I
-------
Sean ( I :f"l..,j'}) las coordenadas cartesianas y
llndricas; b relacin entre las coordenadas es la
y:
-=- y -=- x, xt..
:1 z...;:. -y A Jl/Y)-B :.:X I .-6.(m X 7..
:J ?> :=. :: 3
::z 1::
-L :1"2.
.:t."L': Q.Pfccan, 'j
./
,/
,/
/
'< e 1-
( :x. I X'1. X-J)
, ,
siguiente:
coordenadas ci-
I
,
33
Corno el sistema .Jt' es cartesiano no hay diferencia la base directa y su
, .. .-?
reCIproca por lo tanto solo considerarnos una base l, J I j<. Y no hay que ha-
cer diferencia entre componentes covariantes y contravariantes en este siste-
ma '-{ t' llamemos V 1./ V 1,/ V" esas componentes y son:
J ) ..1
1
, Jll
5-21
V t'::' d 'J t :-
d-t
Las componentes contravariantes (
la transformacin:
Xl'
V ) en el sistema se obtienen de
v;t 1.'-;:.
(ecuacin 5-1) por lo tanto:
utilizando 5-21
o:t
d ::L L'
.. =7
-
-
a1
J
es decir las componentes coruravariantes del vector velocidad son las deriva-
das de las coordenadas ::t l con respecto al tiempo:
v;t,
-
d. XI
-
dv
-
d+
-
-dt
VXl. _ d.x"2...
-
,
.
d-t:
-
d-t::
V x.::,
-
d.:t3
cl.7=;;
-
-
,
-
d-t.-
de
Las componentes covariantes ( V:.
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
CAPITULO X
DIFERENCIACION DE LAS COMPONENTES TENSORIALES
A- INTRODUCCION
Estudiaremos en este artculo la diferenciacin aplicada a los tensores:
en general se puede decir que el conjunto de derivadas de las compo-
o
nentes de un tensor con respecto a una de las coordenadas..x c. no for-
man un tensor, esto es, sus componentes no se transforma'n como se trans-
forman las componentes de un tensor; para apreciar es to supongamos que
tenemos el tensor contravariante de 1 er o Orden A": definido en el sis-
,
tema curvilneo J l (i= 1,2 o. n) , si cambiamos al sistema curvilneo
Xl' (i= 1, 2 .. n) la relacin de las At: (componentes en .1<: ) con
las L (componentes en :x.': ) es la siguiente:
o
I (_ A'"
A - djct.
) diferenciando a ambos lados con res-
pecto a obtenemos:
, o
.
ax
J
o i B d .
(aZ ) f)A_ t- ( 2J2.:;Ll __ \ d'[8
10 -1' a x.J 8.Jci a;(J d j.D a j.'c;) 1 () ) axi
La cantidad cuya componente genrica es
)j13
no e s un tensor ya que so-
bra el 20. sumando de la derecha para que esa componente .d A se trans-
.9 JO
forme como tensor; solo si
= O
podemos decir que la deriva-
d jex. d 'j {3
da de un vector contravariante es un tensor mixto de 20. Orden es decir solo
cuando la tTansformacin ' de coordenadas es lineal ( la llamada transformacin
t.
afin 'j:: (.l' ):,J) la derivada de un tensor es otro tensor; el mismo resultado se
obtiene si tomamos otro tensor de cualquier orden y lo derivamos; por ejemplo,
dado Ajl(' este tensor (sus componentes! ) se transforman as:
'dx5(
.' .
C> X fYY\ .x. N'\
derivando con respecto a
x-'f resulta:
86
t'
Vemos nuevamente que la derivada de, Aj'J( no es un tensor, sobra todo el
trmino que est multiplicando a A Ji< ' Veremos a continuacin' que de todos
modos es posible definir una cierta operacin de diferenciacin ( llamada dife-
renciacin covariante) de modo que al derivar de esta manera cualquier tensor
el resultado sea otro tensor; esta operacin es por lo tanto de mucha importan-
cia porque nos permite plantear ecuaciones tensoriales ( y por lo tanto vlidas
para sistema coordenado) en trminos de derivadas de tensores y es sabi-
do que en la fsica y en las matemticas las derivadas desempean siempre un
papel de primera importancia.
B- DIFERENCIACION COVARIANTE
Para introducimos en es te tipo de diferenciacin tomemos un tensor con-
. ' ,
travariante de orden 1 (vector) AL ; en general las componentes
de este tensor son funciones del sistema coordenado xi (i= 1,2,3).
De la ecuacin 9-16 obtenemos:
_ r). ox
l
+ a1.
- ;'j). ax' );tB
;)J .....
-
Multiplicando esta ecuacin a ambos lados por
;;.x(
resulta:
r: l .) J ':': _ T). oC; X': 'j::- a J' ':. + al r\. -?:r: -:=)
x CIt.]} )'Xt.' - J IA.." ,,!} J}.. dXO( eX" dA
l
' 3'J)' .3-X t '
I L' _ r}. d'J'"' -t- $"'" ;;;'1.) ..
x Q(lj "JXt' - ). .J .L4."<J.z..d... ax..
13
A ..rc(c)x!3
Si m=). $;:' = 1 Y para m * ;t :=i) &).."""" = O por lo tanto
r t' 011 = r). d J' ': c';) ;( -;- (F 1 . -=/
'" '" a x ,. J 11' a.x. c;i. dA. IJ Jx:t-
a1..
j
l _ T t' d \:e', _
.xq}x,j - x.. eL jJ a;:( l'
a 1 '"'_ '1 11.
l-x O( 0::( .B
,
87
Esta ecuacin que nos relaciona la 2a. derivada de las coordenadas cur-
vilneas 'j l (con respecto a las coordenadas curvilneas :r
J
) con los
smbolos de Christoffel de 2 a. Clase fu deducida por primera vez por
el mismo Crhistoffel en el a o de 1869. Similarmente obtenemos (in ter-
cambiando los papeles de J L Y "y'J ):
10-2)
(En esta expresin s, m, n son ndices mudos) .
dt..x ( _
- por su valor obtenido en 10-2 re-
d'jt(.djt)
S'i en 10-1 reemplazamos
suIta:
1 ,
aA
l
. , ~
dX
J
-
-:::::'?
10-3)
En el segundo trmino de la derecha oL. y..5
to los podemos intercambiar quedando e s te
son ndices mudos por lo tan-
", ~
term1no a S1:
A' Dl j ~ I t>(. l X 4:
a::LJ' 5g ;) ' J ~
En el ltimo trmino a la derecha el producto es igual
a
1\'\
5J y vale 1 para n= j por lo tanto este trmino queda:
Pero
I
A ........ = '7
10-4)
88
Vemos de es ta ecuacin que la expresin
o'- AS
+ L.
H1
en el sistema
:1
+
,
coordenado J" se transforma en
,
A""'"
en el sis tema Xl..
segn una ley de transformacin que es la de los tensores mixtos de 20. Or-
den por lo tanto el conjunto de cantidades 10-4a : -+- Td.. A.s son los com-
aJa J f)1
ponentes de un tensor mixto Este tensor lo llamamos derivada cova-
riante del t.ensor contravariante de orden 1, AL.. Vamos a consi.derar a con-
tinuacin otra forma de llegar a la misma definicin de derivada covariante y
que tiene la ventaja de que nos permite obtenerla de una manera ms sencilla.
En el clculo diferencial ordinario se utiliza el operador 10-4)
+-
d
-
; este operador se puede aplicar a escala-
res (obtenemos el gradiente del escalar), o a vectores ( se obtiene la divergen-
cia o el curl del vector segn que la multiplicacin sea escalar o vectorial) ;
consideremos ahora cual es el resultado de aplicar V a tensores; para un sis-
tema coordenado curvilneo cualquiera ')1.' en n-dimensiones se presentan en cada
punto de ese espacio n- dimensional dos bases vectoriale s; la directa y la re-
cproca (los ylos"f: );definamos 10-S)"l ::;1.: (i, ' ndice
'-1 L'
mudo, = 1, 2 , .. n); en el caso de que.J sean coordenadas cartesianas en tres
dimensiones, las bases directas y recprocas son iguales (ve r cap. 2) y forma-
das por los vectores i, ji k convirtindose 10.5) en 10-4).
Apliquemos la definicin general de
-
, d
dj"
a un tensor contravarian-
,
te A t ; cada coordenada de este tensor
-? .
se covariante (ver 5-1 S a) es to es:
(ve ctor) esta adscrita a un vector ba-
...... J
A A . Entonces:
gA 3
1
' J
e
A
J
' ') I por lo tanto:
lO-Sa}
( COI)
r
Iun- Pero de 9-2 S):
cin de los 'J e }.
>
En el 20. trmino de la derecha m y j son ndice s mudos y por lo tanto s e pue-
den intercambiar obteniendo:
10-6' V 7i = r 1:' :"J")
-
89
Comparando el trmino entre parntesis con 10-4a) notamos que este trmino
corresponde a la definicin que hemos dado de derivada covariante de un vec-
tor contravariante; los vectores 1(' t colocados a la derecha de este pa-
rntesis nos indican que cada componente de VA est adscrita a dos vecto-
res base, uno directo y otro recproco es decir ( ver arto 6) VA es un ten-
sor mixto de orden 2 y por lo tanto el resultado obtenido en 10-6) coincide en
todo con 10-4; para coordenadas cartesianas los smbolos I',.! (ver ejemplo
a) del arto 9) son todos nulos y por lo tanto en este caso las componentes de
la derivada covariante de un vector se convierten en :21 e.s decir en la
';>'1
'
"
derivada parcial tal como se conoce en el clculo diferencial ordinario ; en el
"
caso de que el sistema sea curvilneo hay por lo menos algunos no
se anulan ( ver ej. b Y c del art. 9 ) Y en este caso la derivada covariante ya
no coincide con la derivada parcial; vemos as que en general a la derivada
parcial se le de be agregar un trmino para obtener la derivada covariante ,es-
te trmino es precisamente aquel que nos indica corno varan los
con respecto a las coordenadas escogidas ( en el caso de 10-5 a) es d A.Jg
l
Resumiendo, en este tipo de diferenciacin no slo se tiene en cuen-@;I.
ta como varan con las coordenadas las componentes del tensor sino tambin
como varan los vectores base cuando varan las coordenadas; el clculo dife-
rencial que se puede levantar sobre esta base se llama clculo diferencial ab-
soluto quedando reducido el clculo diferencial ordinario a un caso particular de
aquel (cuando l.: ;::.. o )"
J
-?ia
Podemos utilizar el operador V:: c0
J
para obtener la derivada covarian-
te de cualquier otro tensor. Supongamos que tenernos un tensor covariante de
1 er. Orden A j' ;encontremos su derivada covariante ; sabemos que cada com-
ponente AJ' est adscrita a un vector base recproco; J\ ::: Aj
(ver 5-15 a) as que: t A :;:: 1'( (AJ' ="/
;;J
'V A -
; pero de 9-26) tenernos:
(con
l' J referido al sistema \(1')
J
por lo tanto:
1
t
'1
1
90
Los trminos se llaman las componentes del tensor deri-
vada covariante de A
Consideremos. ahora la derivada covariante del tensor mixto A/< con respecto a
.1 .. ' .
Tenemos :
K le' g-#j 9-:
A
- A ~
J - J
(ver diferentes componentes de un tensor
dado arto 8) as que:
De 9-25 Y 9-26 obtenemos:
_. . ~
~ = _ r ~ L drtO\ )
@jt'
Intercambiando los ndices mudos L m en el 20. trmino del parntesis y
k , m en el 3er. trmino obtenemos:
10-7)
Apreciamos entonces que la derivada covariante del tensor mixto Al' 1( es un
tensor mixto covariante de orden 2 ( recordemos de 5-15 a que a los vecto-
res base contravariantes le corresponden componentes covariantes y a los vec-
tores base covariantes le corresponden componentes contravariantes ) y contra-
variante de orden l. Las componentes de esta derivada se llaman componentes
de \/ A/' con respecto a jl' (i= 1, 2 I n en el espacio n-dimensional) y
las representaremos simblicamente colocando una coma despus del ltimo
subndice seguida del ndice que nos representa la variable con respecto a la
cual est derivada la componente as:
/(
A ~ . - ?"\
JJl ~ a'ji
K. T ""'"
_ A I"N\ -\-
jl
A .""" I K .
~ """\
91
Podemos generalizar el procedimiento anterior y obtener as las diferentes
componentes del tensor derivada covariante de cualquier tensor; la derivada co-
variante de una componente dada con respecto a ~ r se obtiene as:
a) Se calcula primero la derivada parcial de esa componente con respecto a
\( l'
, .
'"
b) Se calculan los productos de e sta componente ( cambiando cada vez uno
de los ndices covariantes 'por un ndice m que ser mudo comenzando
por el 1 er. subndice)por el smbolo de Christoffel de 2a. clase cuyo 'su-
perndice es el ndice mudo m y sus subndices son el ndice i de deri-
vacin y un ndice covariante cada vez comenzado por el primero.
c) Computamos luego los productos de la componente ( cambiando cada vez
uno de los ndices contravariantes por un ndice mudo, comenzando por
el 1 er . superndice) por el smbolo de Christoffel de 2 a. clase cuyo su-
perndice es un ndice contravariante cada vez comenzando por el primero
y sus subndices son el ndice vaco m y el ndice de derivacin i.
d) Los productos del paso b se afectan todos con el signo menos ( -) y
los del paso c con el signo ms ( +) .
Estas A
j ' J ( ~
son las componentes del tensor V P!J y es un tensor cuyo
orden contravariante es igual al del tensor original pero su orden covariante
es mayor en una unidad que el orden covariante del tensor original (ver por
ejemplo el tensor en la ecuacin 10-7).
C- TEOREMA DE RICCI: Nos dice este teorema que
del tensor mtrico ( sea en su forma covariante
te ca ,'J , o mixta &f ) es cero.
la derivada covariante
~ "J') contravarian-
Las componentes g"j, J( de la derivada covariante de ca 1'), son:
10-8)
o ~ ,'1
92
Ahora; de 9-9:
.
Sumando estas dos expresiones y teniendo en cuenta que:
Q'K '*-1.' ala - q" o. q
(7' = J <T;; - dJL) (jJK'=' (J"J
obtenernos:
I
YK, t]
; ahora de 9-12 tenernos:
-....,
Reemplazando e s te valor en 10- 8 obtenemos:
E 3 deci.:-, ,;ada -::omponente del tensor derivada covar .. _ .. ite del tensor
nula J por lo tanto "\J W ':.1' =O
,- (l';'
Demostremos ahora que '4
,
va18 uno cero; adems:
i
es tambin cero; tenemos:
per =0 porque
- -,-..,\
- _ (..k
es
por lo tanto
('u __
OL ... _
como todas la s componen te s
,
valen cero entonces
'VJ/
= O.
Demostrerr.os finalmente que la derivada covariante del tensor mtrico escrito
en su fOrITo..1 contrlvariante e:::; cero ; V = O .
Tenernos ca t"j _
; aplicando derivada covariante resulta:
93
; pero hemos demostrado que
I por lo tanto fuL' \j ~ ,'J'
vg({ O.
es difere!lte de cero en general por lo tanto
}
= O I pero 6!ll'
En esta ltima demostracin hemos supuesto que en la derivacin covariante
de un producto de tensores se cumple la frmula de la derivacin ordinaria del
productoestoesque si '1::= 'j (X)/"'--=- ~ ( : ~ ) entonces
d ('1 ~ ) _ 1..( ~ - ' C + Z:- .d::s
- .J dx d..::L
d..x..
Esta regla se sigue cumpliendo en la rI.erivacin covariante de un producto ten-
sorial como lo veremos a continuacin .
por lo tanto:
En forma completamente similar se puede demostrar que la derivada covarian-
te de una suma de tensores (recordemos del arto 7 que los tensores a sumar
deben tener todos igual orden covariante e igual orden contravariante) es la su-
ma de las derivadas covariantes de los tensores; por ejemplo:
94
-
o
-
Como consecuencia del teorema de Ricci podemos tratar en la diferenciacin
covariante los tensores mtricos como si fueran constantes es decir podemos
sacarlos fuera del smbolo?
. \7 { 1 (. i A :!) = ~ I ~ ' 1 A ~
pero
por lo tanto;
D- DIFERENCTACION INTRINSECA O ABSOLUTA DE UN TENSOR.
En este captulo hemos estudiado la derivada de un tensor
r
definido en
o
un sistema coordenado jL(i =1,2, .. n), con respecto a las coordena-
das j lO ; se presenta en algunos problemas. de la fsica y las matem-
ticas la dependencia de las coordenadas JI.. con respecto a un parme-
tro t; este es el caso por ejemplo de la variacin con respecto al tiem-
po del vector velocidad en un fluido o del movimiento de un punto en el
espacio describindonos una 'curva} ya que como nos lo ensea la geome-
tra diferencial en este caso las coordenadas de las distintas posicio-
nes del punto mvil son funciones de un solo parmetro t (este par-
metro puede ser la longitud del arco, .s ). Vamos a obtener en esta sec-
cin la derivada de un tensor con respecto a t.
Tomemos un tensor cualquiera por ejemplo
A 'X..
j(
; las componentes de
y supongamos que este tensor son funciones de las coordenadas JI..
. t.
a su vez estas J L son funciones de t , o 'jI.. -= ) ~ (-t:: ) .
La derivada absoluta de A! con respecto a t la representaremos
blicamente como .) A! / J -r y es igual a:
sim-
~ ( ~ -1<,. --, \ ~ -i> ~ 12
$ A 1< _ A A 1< (j ~ JZ L =. el A K_ 3 K d ~ + A 1<
Jt d-t d-t::
A
~ 8--?1( d ~ ~ ~
+ k . d -=v
~ 1 ' -t:
en el 20. trmino de la derecha i n te rcambia mo s l os ndi ces mudo s El r ~ y en
f
95
el 3er. trmino intercambiamos m, por lo tanto:
- -
10-9)
Resulta p'.les que la derivada absoluta de un tensor es otro tensor de igual or-
den que el tensor derivado as, en el ejemplo cada componente de J A
es t adscrita a un vector base directo ( ) y a uno recproco ( f
lof
1 :-
At
es un tensor de 20. orden mixto tal y como indicndonos es to que
lo es el vector A .
t<
Ahora: el __ (3 .
. clk - ;) J i
El trmino entre parntesis
riante de A! ( g A )
10-10)
por lo tanto
es la componente
por lo tanto:
de la derivada cova-
.!!
; si en vez de A 1'< tomamos
cualquier otro tensor cuyas componentes sean funciones de las coordenadas y
estas a su vez funciones de un parmetro t hubiramos obtenido el mismo re-
-
sultado; por ejemplo: el tensor derivada absoluta de A ........ ,.., con respecto
at es:
-
- -
y sus componentes son por lo tanto:
A d,l
En el caso de que todos los , sean nulos ( coordenadas cartesianas) re-
sulta: A! d.A! o sea la derivada intrnseca de un tensor corresponde a la
-:::: d t
96
derivada total en coordenadas cartesianas.
E- EL TENSOR DE RIEMANN -CHRISTOFFEL (O TENSOR CURVATURA).
Sabemos que la derivada covariante de un tensor dado es otro tensor; po-
demos por lo tanto obtener la derivada covariante de la derivada covarian-
. te :iel tensore.s decir la 2a. derivada covariante.
Tomemos por ejemplo el tensor covariante de orden 1 (vectqr) A l.' Las
componentes de la derivada covariante de AL son:
A
a
A
( - ,,"- A
~ j -::: ) ~ ;' -L tj <:L ; si derivamos covariantemen-
te) las componentes de este tensor 2a. derivada son .( ver parte final de
la seccin B del presente artculo):
Realizando las derivadas obtenemos:
10-11)
Si calculamos primero A l 1( Y luego por 2a. derivacin A 1.)Kj el
resultado es el siguiente (basta intercambiar los ndices j, k en la e-
cuacin de A L ~ JI< ):
10-12) Cll.Al.'
,
-
+
-
\ 1 ~
K'
:J
97
Restando 10-11) Y 10-12):
Intercambicndo los ndices mudos... J en el 1 er. y 3er. trminos de la dere-
cha:
T.
a.. a..
d ':K_ -d T <J' " 1"
d jJ' d jK
Sabemos que At"Jj"es un tensor covariante de 20. orden por lo tanto A I.'/J'/o(.
es covariante de tercer orden; como Aa es un tensor covariante arbitrario enton-
ces por lo visto en el arto VII sobre el cuociente tensorial concluimos que el tr-
mino entre parntesis es un tensor mixto; covariante de orden 3 y contravariante
de orden 1: Este tensor se llama tensor mixto de Riemann-Ghristoffe 1 d
,
tensor Riemann- Christoffel de segunda especie o tensor curvatura.
En forma similar podemos obtener la 2 a. derivada de cualquier otro tensor y for-
mar la diferencia de esas derivadas con los ndices de derivacin trastocados)
por ejemplo si partimos de un tensor doblemente covariante A-:f resulta.
A (.1 / 1< 1! _ A lJ') 2. K := A Ca. K A Ct. J ) re s ulta nuevamente que
la diferencia de las dos derivadas depende directamente del tensor .
J
Concluimos entonces que en la 2a. derivada covariante el orden de derivacin
no es indiferente, en general no es igual que ; sabemos sin
embargo que en coordenadas cartesianas todos los smbolos son nu-
los por lo tanto = O y en es te caso el orden de derivacin no importa.
En el artculo VII, en la seccin titulada "propiedad fundamental de los tenso-
res", dijimos que si un tensor cualquiera es nulo para un sistema dado de coor-
denadas entonces ser nulo para cualquier otro sistema; segn esto, el tensor
:t/< ser nulo para todo sis tema coordenado ya que se anula en el carte-
,
Slano.
u..
En realidad 7<lj'K. no es siempre nulo; la aparente contradiccin se resuelve
si tenemos en cuenta un hecho que nos ensea la geometra no-euclideana, a
saber: si en un espacio n dimensional no-euclideano tenemos un sistema coor-
denado :X,t: (i= 1,2 I n)) no existe en esas n- dimensiones un sistema carte-
siano jI. ( i= 1,2, .. n) con respecto al cual podamos localizar todos los pun-
tos de ese espacio, por ejemplo sobre una superficie esfrica ( espaci , no-eu-
clideano de dos dimensiones) no se puede encontrar un sistema cartesiano de dos
dimensiones con respecto al cual se puedan localizar todos los puntos de la
fera.
98
En general, lo anteriormente afirmaeb quiere decir que si :tI.. son coordenadas
en un espacio no euclideano Y Z son coordenadas cartesianas entonces no
existen las ecuaciones J L' ;::.. JI.' (x 1 ) xl. J _ _ x"') ( i=l, 2 .. n).
Como una consecuencia de esta propiedad de los espacios no-euclideanos sur-
ge el de que si en un cierto espacio n-dimensional es posible encontrar
al menos ..m sistema cartesiano jI.' (i= 1,2, .. n) con respecto al cual queden
localizados todos sus puntos, entonces el espacio es euclideano; as: todos
los puntes de un plano pueden ser localizados con respecto a un sistema de coor-
denadas polares ( Yj -e- ) pero al mismo tiempo pueden localizarse con respecto
a un sistema cartesiano ( jI, J 1- ) por lo tanto el plano es un espacio euclidea-
no.
En los espacios euclideanos se pueden entonces encontrar las ecuaciones que
nos ligan las coordenadas cartesianas (fe: con cualquier otro sistema .:x lo' Y
la transformacin recproca ,esto es:
10-13)
I.f .: L' ( I"l. "",)
O X)::t..) _____ X
l' -., f.' I '-( I '1 L '"1' "" )
::l L J , J J - -- - - J
(i = 1 ,2 ... n)
Con las anteriores observaciones queda aclarada la aparente contradiccin que
se nos present con respecto a la nulidad del tensor 'R';ff< ya que si un cier-
to espacio n dimensional se pueden tomar coordenadas cartesianas JI. (i=1,2 .. n)
entonces vale cero para ese sistema cartesiano y para cualquier otro sis-
tema)l.f (ver ec. 6-4) obtenido a partir de J f.' segn ecuacione s del tipo 10-13);
no podemos decir sin embargo que 7<.0-J-.. es cero para un sistema :::t.L' adscrito a
un espacio en el cual no se pueden definir coordenadas cartesianas J l.' ya que
al no existir en este caso las relaciones 10-13 no podemos escribir la ecua-
cin 6-4.
Vemos entonces que el tensor es nulo en espacios euclideanos y es dis-
tinto de cero en espacios no euclideanos; en la geometra diferencial se estudia
el significado geomtrico de este tensor y se concluye que 1<tlt. es una medi-
da de la no-euclideanidad del espacio es decir de lo que difiere el espacio con-
siderado con respecto al espacio euclideano; por ejemplo en una esfera 1<.0'1<' es
un tensor cons tante sobre la superficie y nos mide la no-euclidearlidad de la e s-
fera en un punto es decir la "diferencia" entre la superficie esfrica y el plano
tangente de ella en el punto.
Es por esto que el tensor 7<.L:;'1<, se denomina tensor curvatura, porque nos mi-
de la diferencia del espacia dado con respecto al euclideano, es decir su curva-
tura.
CAPITULO XI
TENSORES RELATIVOS
A- JACOBIANO DE UNA TRANSFORMACION
Se presenta en la fsica una serie de cantidades cuya ley de transforma-
c in al cambiar de sistema coordenado es muy semejante a la ley de trans-
fO!lnacin de las componentes tensoriales; la nica diferencia radica en
que aparece el jacobiano de la transformaci
n
\.d1
L
.1 elevado a una poten-
aXJ .
cia entera W ; estas cantidades se llaman tensores relativos; por ejemplo:
si es una cantidad tal que al pasar del sistema j r: al sistema x c.:
sus componentes se transforman segn la ley;
A
',., -=- d),K A'<
rm dy"J ap ox...... K. decimos entonces que 1<.
es un tensor relativo mixto de orden dos y peso W .
Antes de estudiar ms en detalle los tensores relativos repasemos algu-
nas ideas fundamentales sobre el jacobiano.
Supongamos un conjunto de cuatro variables ( U, v
J
x)) ) relacionadas
a travs de dos ecuaciones:
11-1)
F ( l. v) ;L lj') ::: o
b (u.. v):;(..) ')) =:. O
.
Nos interesa encontrar la condicin que se debe cumplir para que poda-
mos expresar dos de las variables ( .AL 11 por ejemplo) en funcin de las
otras dos ( X, 'j ); es decir: qu necesitamos para garantizar que pode-
mos encontrar las ecuacione s A.,...{..:: f 1.'X., 'J } V:: r... )(..) lj ) ?
Supongamos que existe un conjunto de valores ( .Mo, Vo J X-D) 'fo )
que satisfacen las ecuaciones ll-l
r
por lo tanto:
Ao '" j CX-fJ) ':f.)
Vo:: d- CXo j" )
Si jCx, 'J) y j) las supone mo s aptas para s e r expandidas
en serie de Tay lar en el entorno de ( XO jo) t endre mos :
100
+ ........ "' ......... ..
-+-- ... .. . ... - .. .. .. .. .... . ..
Esto corresponde al desarrollo en serie de Taylor de funciones de varias
variables (ver por ej. Ivan S. Sokilnikoff, Advance Calculus, Cap. XII
funciones implcitas).
Para poder garantizar este desarrollo se necesita la exis tencia de las de-
rivadas
e t-), J t, <)'/>1 J
- '" ) (:;). J ;)0 I o ) t l JOJ
. .. .. . . ; ..... .. , .. ..
Veamos ahora qu se necesita para que existan estas derivadas. Dife-
renciand.o 11-1) con respecto a x obtenernos ( y ,x: son variables in-
dependientes) :
+ d f lV _ O
- '1'- ___
-av a-x..
y por la regla de Cramer se obtiene:
aF dr
-();(. iYV
dtL 04. C>6_
- ::';:[ av
--- -
ClX
)
aF
-
;;)t-(.
d("
-
a u...
dF
-
dI-{.
a61
al-\.
;:)F
aX.
.
ax
-qT:.
av
c;>6t
-av'
101
Si el denominador
J:=.
d:
"OF
-
-
dc..t..
.aV
::/-0 para
<.:u c:>, Vo ... :to /Jo)
dG.
~ G o .
.
,dllL
d
V
entonces se puede calcular
(
0 ..(,{..) J I- )
a:Z o - r a ~ o y
Anlogamente
de calcular
, diferenciando 11-1 con respecto a y resulta que se pue-
(
du..) _ (dJ..) (av \ _ (di')
dijo - d':1 o y l.:a:5) o - \d j o
siempre
que Y * o ; ahora, el clculo de las derivadas de mayor orden que a-
parecen en las ecuaciones 11-2 se hace a partir de las 1 as. derivadas;
por ej emp1o:
J
\
df
(jF I
aF dF
aF
Glr
di" aF
~
-
-
.=--
-
-
- -
av
Ju. av
;;;u.
<JV
a x..
d
)'I/
.d
f-
.
-
---
2lG
d4
dX 'db
a..k
ij
dGt
g -t.
a.:x
\ a ~
-
-
-
~ J
-
;)()...
CJV \ 2;::L
;3V
a.:x..
av a u..
ClV
--
-
similarmente, obtenemos :
J
vemos nueva-
mente que el requisito para que existan estas derivadas es que, ::r"* o ;
si esto se cumple en ( -u", VD, ")CA) :1" ) entonces se pueden calcular:
y
Obviamente para que tambin existan las 3as, 4as .... derivadas S9 debe
cumplir I:::. 'O en (...-
o
, V",) Zt:;JJ 'jo ).
102
Una vez calculadas estas derivadas las llevamos a 11-2 y con esto co-
nocemos las funcione s u = t ( X ~ 'j) y v= ~ l."]) :i ) expandidas en
serie de Taylor.
Este problema nos permite resolver el siguiente: si )(. ~ 4 ( u, 1/) Y
y= ~ ( .-U, v) qu condicin se debe cumplir para que podamos expresar
u, v en funcin de ~ ~ ':Lesto es: qu se debe cumplir para encontrar
u = f ("X, Ij) y V = ~ ex, 'j)? tenemos:
11-3)
f:.(u.,V,'X.
JJ
)=- c}Cu.,V)-x:::.o
; (u/v, ~ , ) J = - J (uJ v)-l-=-o
Para que en F y G se puedan despejar
cesita tener 7*0; ahora:
M- V
- J -
hemos vis to que se ne-
aF
-
- ;;IA... )
y resulta:
d ~
. '
T::.
""- ~ J
dV
; la derivada parcial de una funcin
con respecto a una de las variables
se obtiene manteniendo constantes
todas las variables menos aquella
con respecto a la cual vamos a de-
rivar, por lo tanto de 11-3:
d 6, -
=-_. -
a .8.
d ,.o J
Por medio de un procedimiento completamente similar al desarrollado pa-
ra el caso anterior ( dos variables en funcin de otras dos) podemos obte-
ner la condicin necesaria para que si: j";:. ,)t'( X',x
l
)" _.' ,. X""")
entonces; 21.':;. 2"( 1', '11." ........ j ..... ) I i=l,2 ... n
Esta condicin es la misma obtenida para el caso de 4 variables es de-
cir T=I O
siendo .
103
~
d'1'
~ 'jI ;;)" 'j I
. ~ .. .. .
;:,) X I .aX1.
d:ll'
X""
~
d '11-
,;) ~ l .
d'J t
. .. .. ~ .. . .. .. ,
a x"'"
d .)l' aXl
;a Xl
,
J:=.
,
~
.?J':J ....
~
'j .....
X'
-a.xl. a Xl ax""
El jacobiano]"" tambin se puede simbolizar como
Como conclusin podemos afirmar que si un conjunto de variables 'j L
est en funcin de las variable s .x"" entonces podemos garantizar que
las X ~ ' se pueden expresar en funcin de las J t' siempre que el deter-
minanteI::. I ~ ~ ;.} -:j:o( i I j= 1, 2 ~ .. n), en toda la regin para la cual se
definen las funciones
'-lL: __ ut'( -..JI ... ,
J J ........ - -- :::L I .
Podemos ahora preguntarnos por la relacin que existe entre el jacobiano
,
(cuando queremos expresar
11' en funcin de las J' L' )
y el jacobiano (cuando queremos expresar 1 t.. en fun-
cin de las:tJ ) .
Supongamos un conjunto de n funciones E,.) E , ~ .... E,,,,, de las n varia-
. .
bIes J', JL. . . . . . J "" y supongamos que las ;:r c.. son a su vez funcio-
nes de las variables x', Xl, - __ . x""; se puede uemostrar entonces la
siguiente igualdad de matrice s:
l04
dE,
;> El
.,) E.
d'j I - - -- ...... _.
d 'j' ;> j 1.
C):J'""
.
"Ox
o .x 'L
af ....
a l.
dEl:
-
' ,
, , .. . . .
;;J 'j
'p. ;)) ...
,
,
ll-4:
) .x'
a..x"l.
,
,
,
,
d'j ....
ci;!'"
dE,."
l3h'! dE",
.
.
.
<:).x
a ){."I.
,:)j' C3j'Z.
\'I!
}
(:r. )
.. . .. ... .. .. .. ?>i:.
-
:d.x.. ...
-
-
,
dE.,.,., . . .
- .
a:x . d .:t."'-
(J 1 t )
esta ecuacin es
columnalde ( II )
cierta ya que el produc to de la fila 1 de
-
+
a X,'
es:
l'j'!. 9x'
-
+ '. '" ..... + -::J'jrr,
;;) '1'''' d .l:.
-
-
a'j :
2lx ....
.;) 'jl ,
-
.....
ti':f""
ax. ......
( I) por la
que e s el trmino (l,l) en la matriz e III) Y en general el producto de la
fila i de ( I) por la columna j de ( Ir) es
-
2) el'
<:) '11.
a-x
J
+- ' .
. , , . .
es el trmino (i, j ) en la matriz ( III ) .
.
. ' +
a 'j .... _
.
En el caso de que tef'gamos los dos tipos de ecuacione s :
-
a :xJ
que
:t'= Ji' (-;: " X' I -- - x'" ')0.'.= "17'1) Y su transformacin inver-
) J
sa: -X
i
'..:- ('j', j2, ___ . ') J podemos encontrar la re -
105
lacin entre
funciones
sus jacobianos si consideramos a las X( -= g,' {'J" . . ;.,,) como las
E L' de la ecuacin 11-4 y por lo tanto:
1
d.:t '
d)' I
a '1'
, dX'
<::l.)t'
d 'jI
,
J' 8 ':P'
CJ'1-"
aXl oX
I 0-41-
,a..'l:';-.
. -
, .
d ')1..
-<3 'i 1:
.. d'f2
1
sJ">1
d 'j'
) j'L
JX' ax. ... aY... ....
I
,
dX .....
a x'"
,
,
>'jl d 'jt
a.::s""
, <31'"
.
,
, ox'
o ::(.1. a.-:t....,
dX
I
dX
I
\
o
o
o
,
.
-
at,1
c3X1.
a.:r"">1
a;r1.
O I o
,
o
"9:(l.
. . ,
, '
ax'
7X]..
0-1:."'" -
O
I :::I
-
o
-
,
o
,
,
;)2-:
a x. "'"
,
\
, ,
OA
o
o o
, ,
a;x'
2).x7..
resulta pues que la matriz del jacobiano es la inversa de la
matriz del jacobiano y por lo tanto como el determinante de
un producto es el producto de los determinantes obtenemos :
11-5)
01 ) -1 es decir el producto de
d 'j J d X (' - J
los jacobianos de las
transformaciones inversas es igual a 1
B- DIFERENCIALES DE AREA Y VOLUMEN EN COORDENADAS CURVILINEAS.
En un plano sobre el cual tomamos el sistema cartesiano ( :x) 'f ) va-
mos a tomar unas coordenadas curvilneas ( .-U., v') de modo que:
11-6)
X=-cP,lU,V)
J -=- c1-z. ( u.. V )
106
Si el jacobiano J - \ ~ (x, 'j) \ es distinto de cero en todos los
- d(U.V)
de una regin dada del espacio entonces podemos obtener:
u. =- J. C ~ . 'j )
V: h. Cx,'j)
puntos
Las ecuaciones [,( = cte, V = cte representan famIlias de curvas y
cada curva de la familia obtenida para un valor distinto de la constante,
,
por ej emplo si . .L-'l..::.-Q-. y V:::.., o sea coordenada s polare s en el plano
( XI J ) entonces --u...:: cte, V=: cte nos representan respectivamente
un haz de radios con centro en el origen de coordenadas y ' un conjunto
de circunferencias concntricas de radio ' =ete cada una.
Sa remos que
simplemente
el rea de
el diferencial de rea expre sado en funcin de d..:t.. y ~ es
-
: el A = d...x d d ; nos proponemos encontrar dA (o sea
P, p, 7y.. '?3 en el dibujo) en trminos de dl4.., Jv.
x.
El punto p/ tiene
lneas ( ..A-<. IV) es
coordenadas carte sanas (:(,::f 1) Y coordenadas curvi-
decir
r
segn 11-6:
X 1-
-
tf (U, v) ) 'f,:: cj 7. (U, \.1 )
107
Las coordenadas de '?z. son ( ::C"l,)l. ) Y (A.-(., V+dV) debido a que
el punto P<. est sobre la curva u=. ete, por lo tanto:
:: c), - (U,II +dll)
J,-:: qz (u, V+dv)
El Punto P3 e s t sobre la curva V = cte por lo tanto sus coordenadas
son:
X'3= 4>, [u+du... v)
J 3 = c;L- (..u -+ d.l.., V )
y las coordenadas de P. son:
-:::L 'f:::. r:p / (u. -+ el I,. v + cl. v )
':f t}J"t. ( U. + d lA I v +d v )
Podemos expandir 11 ':5 -:1.. J X 3 J :J 3 en serie de Taylor en el en-
torno de Ji " ':5 1 (o sea de --u.. V ) despreciando los diferenciales de
orden mayor que el primero , por lo tanto:
...J. ,J,) + d V
x-z.::. Cf,(u,v+dv) y, lU.JV av
)1.::: cPl ( U. V-I-cl v) = el, (u/v) + d V
lV
q J (u -+.J u.. v) =- / (u IV') + <:)(j 1. el 4...
J3:: 4Z.(.A.J.-1-dtA..,V)= p<- (u,V) + du.
.;)u
El rea de 7
1
P2. 'Pt.;. P
3
es aproximadamente igual al rea del parale-
logramo 'PI -PI. P
3
; la aproximac in se convierte en igualdad si tomamos
el rea cada vez mas y mas pequea de modo que los segmentos curvili-
neos PI PI) P, P3, P3 J Y "Pz. 7'}L se conviertan en segmentos de lnea
recta; ahora: el rea A del paralelogramo "Pi ? ... P3 es igua 1 al
mdulo del producto v;;torial >t P,?} pero:
'P I P2 )< 7, 1>3 ::. 7 + (j"L-:7]x[ft>-X,)L+('k1,)T]
......
L
-
-
:r
11 - 7
+
A=--
':h
\
108
,
Colocamos el doble signo para tomar aquel que nos haga positiva
el .rea segn el signo del determinante.
Resulta entonces que el rea ( dA) es:
J.
eP,
I
x. 1
dA
_4-
J'L-
I
+ + 09. J ..
41. T aq ... ,j-. \
::tlo -
-- - - I .1'1 ;;)'1
:t. ,:!
'13 \
+ -a&'.dU
do
I
J<.<..
;)t..L
1) c/;z. I
2>Q, d"
--t
OQI. dO 2)q?,.. d y' - O
1-
-
Jv'
ay
-
d-l
.)V
-
-
=/
atP clt..L
.aq":du. O '?Q I .,)1.(.
d clz... el t.t
8L<.
dL<.
;;)IA..
)Lt
dA=+
d <PI d
-
av
du...civ
-
at};1 d ello
-
pero este determinante es
c;>u..
.)L-l
el jacobano de las ecuacione s de transformacin 11-6 por lo tanto
11-8)
' dA'"- .J dt-t.dv == Irl du..dll
En forma semejante podemos resolver el problema de encontrar el diferen-
cial de volumen referido a las coordenadas curvilneas: ..A..-<- J v.> uJ
En este caso tenemos 11-9) X == cP, (l, v
J
u))
)
.J ::: cpz. (u. I V, w) -i: = cp, L U , } J uJ) ,
I
Se puede ex pre sar en funcin de
x'J I i si el
jaco;)iano de 11-9 no se anula en l a regin considerada Y en este ca-
so obtenemos:
109
.A- ::. J, (x, '),2: ) J V::: 1'1. 'j, ) w - f;,
-
l'
,
I
,-....... .....' /'-----
/ 1'.)
I
I
/
,
'1, (U,/JW)
Y'+.!v
"
176
(Ah f, ::. ,'CJ,.
b (.:r,1.i) = (:T.t..
Si colocamos = cte obtenemos una superficie ( ya que x, y, z queda-
ran ligadas pudindose expresar una de las variables en funcin de las
otras dos) y similarmente V =cte, W =cte. representan superficies;
para diferentes valores de las constantes obtenemos tres familias de su-
per:ficies las cuales nos ,"cuadriculan" completamente el espacio. Las
coordenadas cartesianas de PI son ( xl. y sus coordenadas curvil-
neas son ( ..-U-, v, u.J );las coordenadas de ?"?. son: ( x'Z., )
(....u. + du, v, UJ ), las de 'P3 son ( X3, ) o'
(...u., V+dv, 0 ) ylasde 'PI. son: ( xv-, J<;,?:<) (..u.,v,w+"<:tt.U);
el volumen del slido :1',;b 7"PJl- .:PE -:P" :E:. :E e es aproximadamente igual
al volumen del paraleppedo que ;asa por esos mismos puntos; esta aproxi-
macin se convierte en igualdad si tornamos el elemento de volumen lo sufi-
cientemente pequeo de modo que los segmentos curvilneos se conviertan
en segmentos de recta; pero el volumen del paraleppedo es igual al produc-
to mixto:
Ahora:
v ::: t
-
(X1..- Y I) ( +-
-.
( X3 -XI) i. +
( ) T +
Xt -x,
X3 -:i.
;i. t - :XI
(1 ... -1.)T +
eh-JI.') T + ('b-'i
,
) -(
l J' If- )') T + ( 7:. '+- 7: ,) '?
i! z.- =t:
'1- -=t
t-
I
Pero :
x,:::. eP, (lA., V, tAl)
:('L = q, -r aq, " d Vl
)Lt. I
110
J, =- 4'L ( u.. 11 , LV) ,
:1.:c13+ -aq,.3,dc..L
C>"L
;{. '3 = Q. + ac:j,. dV' )
I
:h= <?&.+ dt..t,
tj cf'l. -+ fl. d 11 I ::c. '3::' + arp3 d v
-"'>
av
.x = I -t a el "" , '1 o.; :.
dIAl
8\0(. 091-1.
JI dV
a
-
dv
o
ev'
;;;11
dv:: !
e>d>J ti kJ
l
duJ
-
.;,:,,(}
aw
CJ r} I
:a
-+
dUo
du...
- -
.
ay
av
::JtPI
arh
avJ
d
W
C)V
)CP1..duJ J
f:)uJ
,
df?J.. dUo
.dU
,;;) r}:3 d '{
El'"
:J 13
ciMJ
;)W
'2r
" -.
oLA..
C7(h
:
-
oJV
?J.l
)w
eJ.v = tI \ cUt. dv dMJ
11-10
c- TENSORES REIATIVOS
,
a"
)1() ,
';,
Existen cantidades cuya ley de transformacin incluye el jacobiano del
cambio de coordenadas elevado a una potencia entera. Un ejemplo es
el determinante del tensor mtrico g .. j' ; hemos visto que g"J" es un
tensor doblemente covariante,por lo tanto al pasar de las coordenadas 'j t'
a las .:t lO se transforma en segn la ley.
11-11)
Esta ecuacin se puede considerar como una igualdad de matrices si hace-
mos variar i, j}c 1 en su rango; para realizar esto debemos colocar 11-n)
matricialmente as:
o
11-12)
111
-
Si en la matriz el ndice 1. corresponde a filas .y j
a columnas en-
tonces en la matriz el ndice i corre sponde a columna s ( la colum-
na i) Y en I
el ndice j corre sponde a fila s (la fila j); por lo tanto I
,
oJ' '"l
[ -ox.' J
es la transpuesta de r
; en la ecuacin 11-12 se efec-
ta el producto de [ 1
por la matriz producto J . [
Por ejemplo en el espacio de 3 dimensiones 11-12 queda as:
I
I
I
JI3
()
dl1-
oj'
<>j:
a'j3
ll
..
di)
;} JI a 'S
d -
aL'
-
I I
j
c3:t I d.l
1
d.x
J
aU.
-
0:1
3
':1'-
d:J 'Z.
- -
-
ax'"
) Xl.
.;>.x. '-
I I -
I
d.x...\
() x'-
;)j?
aj'
{J3
1
-
.
o- :j"?>
ax3
0.1)
';.x:)
aX.' ;'Xl 0;:(3
112
1
Cada trmino
la columna
d IC.t de (1) se obtiene
de V por ejemplo:
multiplicando la fila k de II por
dj'
.
4-
G).::t.1. c9xJ
..... n"l. dn.
ax."L 8.x>
I
Y como dl'J = :!Jt' coincide este valor de d 23
mo el trmino (2 I 3) se la matriz [:1 K.E J .
con j 23 obtenido co-
Sabemos que el determinante de un producto de matrice s cuadradas es
igual al producto de los determinantes de las matrices si aplicamos
es ta regla dos veces sobre el producto matricial representado en 11-12
resulta:
Hemos dicho anteriormente que
y [
son matrices
transpuestas, pero el determinante de una matriz es igual al determinan-
te de su tranpuesta por lo tanto:
y resulta:
11-13:
I
1:>
113
Concluirnos entonces que el determinante del tensor mtrico (escri-
to corno matriz) se transforma como un escalar pero multiplicado por el cua-
drado del jacobiano de la transformacin de coordenadas; decimos enton-
ces que 3- (el determinante del tensor ; ) es un escalar relativo de
peso 2; de 11-13 obtenernos: \lW -:=.. ""J" J-t :11-13a) es decir la
raz cuadrada del determinante de <J 'jO es un escalar relativo de peso 1;
ir.t:ooucimos el (rmino relativo para diferenciar estos escalares de los
escalares absolutos; por ejemplo la temperatura en un punto de un cuerpo
se transforma al pasar del sistema coordenado; 1. al sistema :x t segn
la ecuacin: <f (:t") -=. ( '1 '") es decir es un escalar absoluto
( o escalar relativo de peso cero! ).
Otro ejemplo de escalar relativo lo constituye la distribucin de la den-
sidad en un cuerpo; sea un cuerpo de masa M y densidad fsica ( masa/
volumen) f variable de punto a punto en general; si referirnos el cuerpo
a las coordenadas cartesianas (llammoslas j L' ), la masa del cuerpo se
calcula a s:
11-14)
Si referirnos el cuerpo al sistema curvilneo X 1. el diferencial de vo-
se transforma segn 11-10) en el 11' =
siendo I rIel jacobiano de la trans-
lumen J v d:{' cd '1"1.. d::r"}
\:r l. d:t.'. Ax. ... clX
3
formacin o sea el determinante
lo tanto:
con:
la densidad fsica
es un escalar absoluto o sea f{'f'j"t.'j J).= f (-x' por lo tan-
to:
11-15)
Si en 11-15 considerarnos el producto d.::x.'. el. x'l... d. y'
3
corno un
supuesto diferencial de volumen,entonces 1.T J una
distribucin de densidad ( no la densidad fsica la cual es escalar abso-
luta) y desde este punto de vis ta podernos decir que la dis tribucin de den-
sidad es un escalar relativo de peso - 1 ya que de 11,14 y 11-15:
,
114
,
Para generalizar podemos considerar ahora cantidades cuya transforma-
ci':n (la de sus componentes) al pasar de un sistema coordenado a otro
similar a la de los tensores solo que introducen el jacobiano J" eleva-
do a una potencia entera w ; estas cantidades las llamaremos tenso-
res relativos (por oposicin a los tensores absolutos) o tambin densi-
dades tensoriales (por analoga al escalar relativo distribucin de den-
sidad) .
Por ej emplo,
JI.: a '";L"o
si un conjunto de cantidades
segn la ley:
o
JIC.
A se transforma al pasar de
decimos que las
son las componentes de un tensor relativo mixto (covariante de orden 1
y contravariante de orden 2) de peso W o
Es muy importante resaltar que toda la teora desarrollada en 10.3 captu-
los anteriores no se aplica a los tensores relativos ya que en esos cap-
tulos supusimos que la ley de transformacin de las componentes ten-
soriales no involucra al jacobiano; por lo tanto el tensor relativo no es
un tensor en el sentido que le hemos dado a este trmino hasta el momen-
to; solo cuando el peso ( uJ) es cero coincide el tensor relativo con el
tensor absoluto y por lo tanto podemos con siderar los tensor ordinario.s ( d
absoluto.scomo casos particulares de los tensores relativos).
D- ALGEBRA DE LOS TENSORES RELATIVOS
a) Suma y Resta: La suma de dos tensores relativos de igual nmero
de ndices covariantes y contravariantes y de igual, peso W es otro
tensor relativo de peso vJ o
o
o
Por ejemplo, dados
/(
J
entonces:
l
I
d x'4
A lv_
:r"'
3 x""'"
P -
p
- -
-
d'ji
0':1"
e; x. 1>
I (} \("
.
:r
w
x
_ oX"
;;) 'j lO_
:i3
J3'f -
-
-
.
l
d 'j.
C>'jl<
e>X
P
11S
.
A
JI(
1 ..
I
tensor relativo de peso
b) Producto exterior: el producto exterior de dos tensores relativos de
pesos W, y W-z.. es otro tensor relativo de peso Wl + W"l. ;por
JI. '""""
ejemplo, dados B 1 entonces:
'l'" _ I "". a..x d 2L '1" d A t
f d'ji a;-..
= B;'
) :1'''''' x. >
A
Jl" 1'< 1;;> 'W\ .. 1
-LJ R tensor relativo de peso tU. -t \..I.It Y orden
covariante y contravariante igual a la suma de los respectivos rdenes de
i!( """
A ' y B!(
c) Contraccin: si se iguala un ndice covariante con un ndice contra-
variante de un tensor relativo de peso LV y orden covariante..s y
contravariante y- obtendremos otro tensor relativo de peso LJ y
rdenes covariante y contravariante (..$- J ) Y ( y- - 1) respectiva-
mente; por ejemplo, dado A tal que "
A
' tl - w .. a::1 i1 x p. A
'YYI ,., J ::t 'Y'I'\ a .::C'" ;:) '" J
si igualamos
tendremos:
i Y k Y sumamos sobre este ndice mudo
,
1 ob-
-
t
A':M =.
:r \Al l: d
ox""
pero :
I \'
Af'Mrn =
y
>
'W\ ::. I para m = i
sor relativo
) por lo tanto
de peso uJ , orden covariante 2 -1 = 1
(
A ,-j' es un ten-
y orden contrava-
116
riante 1-1= O es decir es un vector covariante Aj'.
d) Producto interior: si efectuamos el producto exterior de dos tenso-
res relativos de pesos uJ I Y (lj 1. Y de rdenes covariante y con-
travariante Y, Y Yl, S 1. Y luego igualamos un ndice cova-
riante de este tensor producto con uno de sus ndices contravarian-
tes obtenemos un tensor relativo de peso w
l
-lo W-z. y rdenes cova-
riante y ca travariante ( y, .... ''1. -1 ) Y (5, +.h - I ) respectiva-
mente; esto se deduce directamente de los dos puntos anteriores.
e) Obtencin de un tensor absoluto ( uJ:: o ) a partir de un tensor
relativo. Dado un tensor relativo de peso uJ, si multiplicamos ca-
da componente de este tensor por cualquier escalar relativo de peso
1 elevado a la (- w ) potencia obtendremos un tensor absoluto;
demostremos esta importante propiedad.
Sea B un escalar relativo de peso 1 , esto quiere decir que si en las
I
JL el escalar vale B, en las :XL v':lle .13 de modo que
13:: -:r B ; elevando a la W potencia re sulta: 11-16) :
:By) =- -:r\AJ 13
w
; ahora supongamos que tenemos un tensor relativo A
de peso uJ , esto quiere decir que sus componentes se transforman
.-
aSl:
;J 'j t'
-
Multiplicando ambos lados de es ta ecuacin por y pasando
:::r
w
a la izquierda del signo igual obtenemos:
I
K
a-
w t
a.:x
t
'1 L'
-
C> :JJ
A ..
-
.
-
-
-w
.;> )(
ax"" a.x
j I.j
J
J3-w
I
Pero de 11-16: :B
LV
por lo tanto:
-
-
.::yi.U
( 8-
w
)
ayt:
,
-
a 'j t ;;; 'jJ
- -
,
a '1"
ax"" a.:t
J
-uJ A K
esta ecuacin nos dice que -J3 tJ" es un tensor absoluto ya
que no aparece en su ley de transformacin (o mejor aparece
.::r a la potencia cero).
Como ya conocemos (ver ecuacin 11-13 a) un tensor relativo de pe-
f)
117
so 1 podernos utilizar V1- para obtener tensores absolutos a partir
de los tensores relativos; por ejemplo si A:) es un tensor relativo
de peso vJ entonces el conjunto de cantidades (Vfi. )-W Al}
o sea <r"i'i. es un tensor absoluto 13; ..
Propiedad fundamental de los tensores relativos: anlogamente a lo
visto en el captulo VII sobre tensores absolutos podernos afirmar
aqu que si un tensor relativo se anula para un sistema coordenado
e se anular tambin para cualquier otro sistema o .:z L: que se
pueda relacionar con el 'j lo: por medio de ecuaciones del tipo 3-1;
corno consecuencia de lo anterior se puede decir que si dos tensores
relativos de igual peso y nmero de ndices covariantes y contrava-
riantes son en un sistema 'j L. sern tambin to-
do sistema .x'; por ejemplo si en jL se cumple que A LJ -=- ELjo
'1< 't(
entonces en XL se cumple A t'.{ -:.. Bc') esto es cierto ya que
13IJ se anula en J /.: y por lo tanto' tambin se anula en :Xl..
CAPITULO XII
,
TENSORES CARTESIANOS
A- INTRODUCCION
Se ;>resenta con mucha frecuencia en ingeniera la transformacin de u-
nas coordenadas cartesianas en otras coordenadas cartesianas; cuando
transformamos unas componentes cartesianas de un tensor a otro sistema
tambin cartesiano decimos que el tensor es cartesiano; esta forma de
hablar no es rigurosa porque como hemos visto anteriormente un tensor es
una cantidad independiente del sistema coordenado) lo que cambia es el va-
lor de sus componentes; al decir que un tensor es cartesia'no no nos refe-
rimos entonces a una cualidad intrnseca del tensor sino a los dos siste-
mas cartesianos entre los cuales se transforman sus componentes.
Si J L' es un sistema cartesiano y X C,,' es un nuevo sistema pero tambin
cartesiano entonces la relacin entre esas coordenadas es la siguiente:
12-1) (i, j= 1,2 .. n; j ndice mudo)
,
En esta ex presin los coeficientes Qtj' son constantes y son los res-
ponsables de la rotacin de los ejes JI. hasta convertirse en paralelos
,
a ;t tia t'j' es pues el coseno del ngulo que forma el eje x. C,' con el
eje 1 J ; C{c es tambin constante y es el responsable de la transla-
cin del origen de los ejes j l.: hasta el origen de los nuevos ejes .xL'
La ecuacin que convierte los ::JJ en L' es: 12 -2 : aLj' :::( l.:
siendo alJ el coseno del ngulo que forma el eje xc.. con el eje j' r
al final de e sta introduccin j us tificaremos 12-1 y 12 -2.
En el captulo VI vimos que lo que caracteriza a un tensor es el hecho
l
de que sus componentes se transforman de un modo peculiar segn una ley
de transformacin que involucra las derivadas parciales de las nuevas coor-
denadas con respecto a las viej'as coordenadas o viceversa; si tenemos un
tensorcontravariante de orden 1 ( un vector) A J' sus componentes se trans-
forman en A' t' ( AJ' expresadas en el sistema :JJ' , A C,' en el sistema
,
:XL ) as:
Ahora
que
J ,
Al:::.
,
y X l son coordenadas cartesianas obte ne rnos de 12- 1
Y por lo tanto:
119
12-3)
I ,
Al;::. a L'J
,
, I
Ahora I si AJ" e s un vector covariante en :f J Y A l' son sus componen-
,
tes en el nuevo sistema :i.. 1.. esas componentes se relacionan as:
,
S i y -.x. L'
y por lo tanto:
12-4)
,
Al =
son cartesianas obtenemos de 12 -2 I a()' (12 - 3a)
De 12 -3 Y 12 -4 observamos que la ley de transformacin para las compo-
nentes contravariantes de un vector es exactamente igual a la de las com-
ponentes covariantes y por lo tanto podemos concluir que en coordenadas
cartesianas no hay diferencia entre componentes covariantes y contravarian-
tes; esto inismo tambin puede ser deducido del hecho de que, como vimos
en el captulo 3, en' un sistema cartesiano coinciden la base directa ( )
y la recproca ( 8
l
' ) y por lo tanto las componentes de un vector dado
segn esas dos bases (componentes contravariantes y covariantes respec-
tivamente ) tambin coinciden,
Como no hay diferencia entre componentes covariantes y contravariantes
utilizaremos un subndice para designar las componentes vectoriales y
las llamaremos simplemente componentes del vector sin agregar el adjeti-
vo 11 covaran te 11 o 11 contravariante ", S} tomamos ur: tensor mixto A; se
transformarn sus componentes' en A..e:' (Jt viejo sistema, J( L'
nuevo sis tema) segn:
=
,
Si tanto :Y j.
como J J' son sistemas coordenados cartesianos la ecua-
cin anterior resulta:
'''l'\
=
Si el tensor es Al'.f Jo( se transformar as:
I
12-4a) AR"'YII'rt ::: QQ,' a"""J aMI' ALj'K
Notemos pues que la leX' ,de de A es idntica a la de
ALJ'j( (y a la de A LJ K Y AL; ) es decir no hay diferencia entre el
tensor mixto de orden 3 y el covariante de orden 3 o contra variante de or-
120
den 3; esto mismo se puede conclur notando nuevamente que al coinci-
dir las bases f,o y t no hay diferencia entre componentes segn
l[; (componentes contravariantes), cc (componentes covariantes)
o segn iL" y 'J; (componentes mixtas).
Como resumen de todo lo anterior podemos decir que si las componentes
de cualquier tensor se transforman de un sistema cartesiano a otro tam-
bin cartesiano se pierde la diferencia entre covariante y contravariante
y sdo necesitamos utilizar un solo tipo de ndices los cuales corriente-
mente son subndices. Para terminar esta introduccin pasemos a justifi-
car 12-1 y 12-2.
Sea A un vector cualquiera en el espacio tridimensional y fijado al
orgen Q de la s coordenadas cartesianas J LO (i= 1,2,3 ) i si en ese ori-
gen tomamos otro sistema carte siano x t.
0
(i= 1, 2,3,) encontremos la
expresin de las componentes AL (componentes de A segn los ejes
'j LO ) y A (" (componentes de A segn los ejes ;( LO ).
X"l,
'\
\
\
Y-l
\
\
\
\
1
\
121
Del grfico tenemos:
,
Al';:;
.
/"- -"'-
A"} A, JI) + Goj
-l-
,
/'-
A3 (:(.0.3)
..;1.-
A lo L.O S (.)[, Jl. ) +
Az - A,
( ::i..1- JI) +-
-
I
...... .......
lb - , +
Az l.M (:::L3:h)
-+
A-:, c.os
.........
Si !lamamos
a lj'::. (x. .. :L') resulta:
I
A, -= a:1.j Ai
l
'-::: Af
A
3
::.. 0-3J AJ'
En estas 3 ecuaciones j es un ndice mudo; las 3 ecuaciones se pueden
escribir en una sola as:
,
12-5 Al' = aCJ A J'
j: ndice mudo == 1,2 I 3
En el caso de que el vector
quiera P e:J, j. j))
da:
;: sea el vector posicin de un punto cual-
p (x. "X.-z. ")(.3 la ecuacin anterior que-
, Si el origen de los ejes ;L. L no coincide con el de los ejes i
I (
entonces 12-6) XL';::.. !ltJ 'ji + a.. L' siendo LL l' la distancia me-
dida a lo largo de J ' entre los dos Drgenes y esta es precisamente la
ecuacin 12-1 la cual se escribi para n dimensiones. Ahora, similar-
mente las componentes AL del vector A'? se pueden expresar en fun-
cin de las A' (." as:
I
.......
Al
-
Al
C-.lM(x,'j',) + -
,
A2
-
Al,
+ A 1-
-
,
.........
) -f A 3 c..tY> (X3 JI)
....- I ---
(Xl 1J + AJ Cr; (x.) )
I
X0..3 ) + A <.
A3
-
-
~
o
122
y nuevamente si Q lJ" entonces:
,
I
con: i ndice mudo = 1, 2, 3
,
Estas tres ecuaciones se escriben en una sola as:
12-7) j= 1,2,3 i i= ndice mudo
Si A es el vector posicin de un punto P cualquiera obtenernos:
~ J :=. Q..J .x L."
tonce s:
; si los orgenes de coordenadas no coinciden en-
.JJ"::: atj" y. L 1- a..J (Siendo definido en 12 - 6)
que es pre.cisamente la ecuacin 12-2
Es de uso frecuente escribir matricialmente las ecuaciones 12-5 y 12-7 Y
en ese caso quedan as:
-
...
,
Al
el"
a,!.
Q..'3
A,
I
0./1 a1.1 a.."} I
,
12 -5)
I
az,
alt.
al.)
12-7
AL
1
Az -
1- - Cl./1.
a.H .. aH
Al
-
A3
A3
ti3.
0...;\1. Q.;?3
AJ
1
9....:> Cl
23
Cl'))
A3
y 12-9
B- REIACIONES ENTRE LOS DIFEREI TTE S COEFICIENTES
El tensor mas frecuente en ingeniera es el tensor de 20. orden. por ejem-
"
123
plo el tensor de inercia, el tensor de tensiones, el tensor de defonnacio-
nes , etc; estudiaremos en las siguientes secciones algunas generalida-
des relativas a es te tipo de tensores.
De las ecuaciones 12-8 y 12-9 obtenemos:
COI: [ 1 ] : matriz unitaria; por lo tanto concluimos que:
12-10)
Por ejemplo en el espacio tridi:nensiona11 ecuacin anterior se escribe as:
Ct I Z.
l1.:H. _
-
aL3
1111
a.)
Efectuando el producto resulta:
12-11
1.
~ 1-
a"
+- a . . ~
. ct
'3
::. J
'I. 1.
....
all + an
+ az') ~ J
1- 1-
t..
a3. +
a.)l +aH ::. I
a.
"
(L1I -t- /lIt a.zz -t a . 1 ~ a1.) ::.-0
(LZI lbl +- Clu..lbl +- aZ.3 llJ3 :::. V
eL31 0.11 + tbl.. Q.z + Q3) tu.3 "'- o
loo
o
I o
o o I
Resultan adems otras tres ecuaciones pero son iguales a las tres ltimas
escritas; las tres primeras ecuaciones nos indican que la suma de los cua-
drados de los cosenos directores de una direccin dada (ejes x,,:x.z,A.)
respectivamente) es igual a 1 y las tres ltimas nos dicen que los ejes
de coordenadas XI) :Xl) x") son ortogonales dos a dos.
En una forma simplificadas las seis ecuaciones anteriores se pueden es-
cribir as: 12-12) Cl<f a.k:J' ;:::. ,)( (j ndice mudo)
Otras seis ecuaciones similares a 12-11 se obtienen utilizando 12-4 y
124
12-8 as;
lo tanto:
Expandiendo esta ecuacin en el espacio tridimensional resulta:
12-11a)
a JI QZI Q..) I
a" Ct'l.. a,)
I o o
a . ) ~ Q.1.\ an. Q2.) ::::. o I o
a
lJ
arlo + Lb, aH -t- Cl..3' a:)2 ==- D
a/lo a'3 + Qzz CU3 + aJ"2.. tl.3.3 := o
0 . .11 al' + Q..2.3 all 4- 0..33 a 3 I =- o
o 1
-/>"
Las tres primeras ecuaciones nos dicen que la suma de los cuadrados de
los cosenos directores de las direcciones ':J, I '1-1.., J 3 respectiva-
mente son iguale s a 1 y las tre s' ltimas expresan la ortogonalidad de los
ejes )'. 1z, 13 .
Esas seis ecuaciones se pueden escribir resumidamente as:
12-13) (j ndice mudo)
De 12 -12 Y 12 -13 observarnos que el ndice mudo j puede colocarse co-
mo primer ndice en ambos factores o como segundo ndice en ambos facto-
res.
Si en 12-10 tornarnos el determinante de las matrices y recordamos que
el determinante de una matriz es igual al determinante de la matriz trans-
f
125
puesta obtendremos:
, o (12 -14)
,
Es te mismo resultado se puede obtener a partir de la ecuacin 11-10
Ti ,,1 son tambin coordenadas cartesianas entonces :
v J """
dv.:: dl-(.dll IAJ
dv -::. l:fldu.dvdLU
pero segn 11-10:
,
SI
pero :r es el jacobiano de la transformacin que segn 12-3a es el de-
terminante de la matriz L o.li] ; como 1 J) -=- ' I entonces T =- I J es
decir 1 a \'j J ':". '!: I que es el mismo re sultado de 12 -14 -
,
C- TENSORES SIMETRICOS, EJES PRINCIPALES) INVARIANTES
Dado un tensor cualquiera (no necesariamente cartesiano) que tenga dos
o mas ndices covariantes ( o con travariante s) , decimos que este tensor
es simtrico con respecto a dos de esos ndices covariantes ( o contrava-
riantes) si las componentes obtenidas al intercambiar esos ndices son
iguales; por ejemplo dado ALj- en el sistema que es-
t t
' t' " A K A A l J K
e ensor Slm flen en.l..r 1. si f!J = ji.) dado el
tensor es simtrico en i, k si A i! j')( = A 1< J e ; si el tensor es
simtrico para todos los ndices covariantes ( y contravariantes) decimos
que el tensor es completamente simtrico; por ejemplo A 1( es com-
pIe tamente simtrico si:
A A } i J( :::
Una propiedad fundamental de los tensores simtricos es el hecho de que
si es simtrico para un sistema coordenado tambin lo es para cualquier
otro sistema; por ejemplo si Ar es simtrico en J l' tambin lo se-
r en :t t' ya que: J
'"" ;yr' d'.fJ ax"n
= dXR ax ....... lJ
:::!J. = ?)l'
aX""" C)Xi. d j 1(
Pero
x
A ' ,
'J
126
,
"'"
por lo tanto: A,......l.
,
-
Si el tensor considerado es un tensor de segundo orden la simetra se ex-
presa en el hecho de que la matriz que representa este tensor es una ma-
triz simtrica"
Un problema de mucha importancia prctica en ingeniera consiste en en-
contrar las direcciones ( X"t X ) con respecto a las cuales solo
l"
las componentes A 11 J AH, A 3'} son diferentes de cera y las dems
componentes At'J' son nulas.
Si tJ' es un tensor cartesiano, se transformarn sus componentes se-
gn la ley ( ver 12 -4 a).
, ,
12-1 S)
A I(! = O-I<t" QJ.j A LJ'
Esta ecuacin la podemos escribir matricialmente as:
I
I
A"
A 11.
A'3
(l. .. a It- a.,>
A"
An. Al) 011
al' a"
,
I I
A,I
Qt3
Az'
AH An
A 21
A 1.3
-
CLZI
G.n CA-u
12 -16:
-
D.l't
I
I
A"
A.3 t
A)3
(lJ'
a31..
aH A"l
A31.
al)
(43
Q33
,
Cada trmino A x,R se obtiene multiplicando la fila k de.IL por la co-
lumna j del producto ( U1 ), ( Dt. ); este producto es la matriz;
(II) (III)=
Ava,. + An a,z + A2.) aJJ, J;ha 0.'/.1 -t An Q21. + Anaz3, A1.l Q.,I + AnQ.3HnQJl
}, A n A A}lQ.n+
1i3' tljl + A :n. a/O! t- 3) <.A-H 1 ,H a.v+
J
Entonces e l trmino A 2) por ejemplo , se obtiene as:
127
I
AH: CL-tl ... AlZ.a:>I.+-Ana.-:n)+
+- (AJI Q.31 A}l + Q.3})
Este
I
valor coincide con A z.) calculado de 12 -15 as:
t- lll.l eL]2 An + lb.) Q.):t A:Y2 + Ctv Q.)} An + CL2.2Ci.)} A13
+ Lb.) Q:H A 3}
I
Si en 12-16 hacemos A =0 ( ;. *fl. ) resulta :
I r-'
A"
o o
0.."
Q.,z
a,'J Al!
Aa.
A,)
a"
a.ll I
12 -1 7)
I
(,
Au. A '1.) o
A 2.Z o
-
4.z1
H o...Z3 (1/t ano a:>l
-
1
o
o
A3)
(bl
a.3L a33
A;Jl.
AH a.'3
0.7.3 Ql)
Esto nos representa un sistema de 9 ecuaciones con 12 incgnitas (supo-
niendo conocidos 10sAc.'.l, son incgnitas los a.J/ y A/I, Fi
u
):,
adems de estas 9 ecuaciones tenemos otras seis que son las 12-11
(o las 12-11a) ; el sistema de 15 ecuaciones con 12 incgnitas no tie-
ne en general solucin y por lo tanto el tensor cartesiano de 20. Orden
no se puede reducir en general de modo que las nicas componentes dife-
rentes de cero sean "11, A 'll, A 3>j sin embargo si el tensor es simtrico
entonces el hecho de que Al'J' sea igual a Af L' implica como vimos
I \
anteriormente que A = ARto( y por lo tanto en 12 -17 solo tendre-
mos en este caso seis ecuaciones diferentes; sumadas estas 6 ecuacio-
nes a las seis de 12-11 llegamos a un sistema de 12 ecuaciones con 12
incgnitas ; se pueden resolver primero las 9 incgnitas a,J'utilizando
12-11 y las 3 ecuaciones de 12-17 que resultan iguales a cero; una vez
encontradas las hallamos Ii /1 J ,ti H I A 3) utilizando las restantes
tres ecuaciones de 12-17.
,
Los ejes definidos por los nueve valores a IJ
I I
se llaman direcciones
principales y los valores A " 1 A Zl I A 33
CL:J se llaman los valores principales de
correspondientes
Al'" .
-
a esos
En el captulo VII demostramos que la diferencia de dos tensores e s 0-
,
tro tensor I sabemos adems que el de Ha de Kroneck:.er & t es un ten-
sor de segundo orden ( ver ecuacin 4-4); si consideramos transformacio-
128
,
e J
l
,
nes entre coordenadas cartesianas) 6 se escribir 6j' ; to-
memos un tensor cartesiano cualquiera de 20. Orden, entonces la
diferencia A'j - 1< l:J es tambin un tensor (k es un escalar absoluto)
y se puede escribir matricialmente as:
A,,- K A,z-
A.)
12-18)
Af.l. - )(
A31 A 31. A 3)-)(
,
Ahora si cambiamos del sistema coordenado Jl (sistema en el cual su-
ponemos definido A.:/ - J<. <1') al siste,ma tambin cartesiano XL' I
el tensor A L')' cambia sus componentes a A 'J" y el tensor 1< "J' no
cambia componentes ya que supusimos que k es un escalar absoluto
(en el sentido dado a este trmino en el captulo 11) y es un tensor
cuyas componentes son las mismas en todo sistema coordenado ( como
matriz ti es la matriz unitaria 1) por lo tanto en el sistema xi el ten-
sor diferencia es:
, ,
A, _
A '<-
AI3
I
I
,
12-19)
Az,
A <.'4-1<
A 1."3
, , \
A:\I A31.
A 3J-K
,
Como
A'J' - 1< 'j'
es un tensor de 2 o. Orden se transforma segn la
-
(APM\- -::. (ALj'-K'J)
Matricialmente podemos escribir esto as (ver 12-16):
I I
A" _ l<
A"
A 13
a., an_ 0-, )
AJI-K
A, .. A,.}
Q.'l
Q2../ Q31
1 ,
Al
l A;!2-K
Aa3
-
aZ.,
ehl a1-)
A2f n.-K
a21 Q 3'1...
11.
A31
,
I
A 32
kU-KJ
f3
1 CL32.
A3'
AJl. AJ 3-t<
ct rJ Q2.3
a3J,
Si tomamos el determinante a ambos lados de la igualdad y recordando
129
de 12-14 que
I o..j r" =- I resulta:
pandiendo y agrupando trminos segn potencias de k obtenemos a cada
lado de la igualdad una ecuacin cbica en k a s:
,
(AI/
I
I
A'., A, A , ~
+
I
,
A21 Au
A-l.3
I
IA3'
A )1,
A33
I 1)
+ AH + A 33 - K
AII
I
A:2.1
+
== _X,?J+ J<J.(AtI+Au.+ A.3))_K
Al, AlZo r)
Az.. An A2.)
A.31 A31. A3)
, t'
Al? A2, Au AI3
Como esta igualdad se cumple para todo valor de k entonces los coefi-
cientes de K\ k j Jo{. o deben ser iguales a la izquierda y a la dere-
cha de la ecuacin por lo tanto :
I
I 1
I,
- AIl + A'2"Z
i- A.33
-
I! + A ~ 2 .
-\-
43?>
-
-
I , I
I
I
AII A , ~
A2.l.. A2.) Au A'J AII
A ,<- AL"\. AZ3
AII
Ao
3
4
i-
+
-
i-
+
A ~ ,
- I I
-
AH
I
A3l.
,
-
,l\31.
A J ~
A3}
AlI A ~ . AH A 3:; A '31 A 3 J
AR A,:>
,
412.
AII
AH
Al.)
J3
I
,
-
Al\ An
A "-.3
-
-
An A <!.)
-
2.1
A } ~
A.3J
I
A31
AJI
432-
A33
Hemos obtenido pues que para todo tensor cartes'lfio de 20. Orden exis-
ten tres cantidades (funciones de las componentes del tensor) que son
invariantes, no cambian al cambiar de sistema coordenado,. esas cantida-
des se acos tumbra llamarlas el primer invariante, el segundo invariante
y el tercer invariante del tensor A:;' .
D-
130
EJEMPLOS DE TENSORES CARTESIANOS
Tensot de tensiones, tensor de inercia.
l. Supongamos un cuerpo sometido a solicitaciones (fuerzas y momen-
tos); si en su interior tornamos un punto cualquiera y en ese pun-
to localizamos un sistema coordenado cartesiano, podemos tomar en
el entorno de ese punto un plano cualquiera que corte a los ejes coor-
jenados quedando de esta manera definido un tetraedro de dimensio-
nes infinitesimales : como las fuerzas de superficie que actuan sobre
las caras de este tetraedro son proporcionales al cuadrado de las di-
mensiones infinitesimales y las fuerzas de masa (por ej: fuerzas
electromagnticas J gravitatorias) son proporcionales al volumen o sea
al cubo de las dimensiones infinitesimales podemos entonces despre-
I
ciar estas ltimas ( para efectos de equilibrio esttico) y tener en
cuenta solamente las fuerzas sobre las caras del elemento.
I
..... I I
...... ..' :
"-, I
I 'l \ / ...
I 1--.......4.
I
..... .,. IV:
u'. I
. ' ;
, I
,
A.'
_ ____ ;_ .. A _____________ y,
fr ..
J
, ,,' <rn
L a s fuerzas por unidad de rea (o tensiones) que actuan sobre cada
cara (OAS, 08 C) o A C. ) las podemos resolver en sus componentes
segn los ejes coordenados; todas esas componentes las designaremos
con el smbolo genrico de si son tensiones norma-
les o cortantes
l
; a cada ]e colocamos dos subndices, el primero
indica la cara o superficie sobre la cual acta la tensin y el segundo
nos indica la direccin que tiene ese sobre la cara inclinada ABe
hemos tomado un nuevo sistema cartesiano de ejes X I Xl.. X.3 de
modo que X, sea normal a esa cara y por lo tanto y X3 estn con-
131
tenidos en el plano de la cara; las tensiones actuando sobre ABe son
, . .
cr" J (J'4} C). 3 ;encontremos la relacin que nos liga las ten-
siones sobre los "nuevos" ejes X l' con las tensiones sobre los "viejos"
ejes Yi' o sea las r:!{L'j con las CS-l',j' .
Las direcciones de los ejes )( L estn definidas por los cosenos di-
rectores at'l, Q,''1. aL',. (L' = 1, '. ;.) ; si llamamos A el rea del tringu-
.# J --.
lo ABC entonces esta rea como vector es A = A lXI siendo {XI
el versor en la direccin del eje X, ; el rea de O,4B es por lo tan-
-:-':t -;-P -:e .
to A. =- A , LJ3 pe ro '-x.' lb ::. Q..'3 o sea:
A cA a =- A Cl.'3 ; anlogamente: A 081:...= A a ,J } A oAt.. '" A lLn
Si en el tetraedro mostrado tomamos equilibrio de fuerza en la direc-
cin de )( I resulta:
A<S-'J = Ao
ac
(<f.i a., t1./'l. ') + (6"n Q n.
+ AMa + CLIt + <S"':n. 0.
11
.)
.:::: AQ.II al' +- a'2 +-E;"
1
3 a.,) J + A a.1'!.
+ A U
l
3L 6"33 tL'3 -+- a..'J + G':n. a,'l.)
I
1
Cf;/:: a, L QJ G
En forma similar obtenemos:
ciJ = a 1/: a z.J Gt),
<S- /) :: Q /L' a 3J <s" L:'/
Estas tres ecuaciones se pueden escribir uniHcadamente as:
12 -2 O)
I , I I
Si construimos otro te traedro rectangular ( o A -B e ) similar al te-
traedro O A a L y de modo que sus aristas triplemente ortogona-
I I ,
les estn en la direccin de O XI, 0)( "l. OX3 entonces las tensiones
"/ J Ilj
sobre la? car( s O 8. e (yace en el, plano de r O A <; y. o A. 8
son: ( <ro, ()13 ), ( ), ( \S'"..J,.<:r.:n, \\3:;);
I J
las tensiones (513 las hemos determinado ya en 12-20; en
forma semejante deducimos:
Y
1
<S""" 2..2 :::
,
=
132
Cl.:t D..lf
ebL' C1J!J' '\S""LJ'
( 1. =- 1, l,))
( 1 -:. 1, J)
Estas dos ltirT'as ecuaciones y las 12-20 se pueden escribir as simpli-
ficadamente:
,
12 -21)
es-K = a. 1( " Q.-2j"
(i, j: ndices mudos: k,.l=1,2,3)
Esta ecuacin nos indica como se transforman las componentes (['J' pertene-
cientes al sis tema coordenado :tI. 'cuando pasamos al sistema tambin car-
tesiano ; esta ecuacin es la misma 12-15) lo cual nos indica que las
<S"l:'J' son las componentes de un tensor el cual se acostumbra llamar
tensor de tensiones,
Al principio del captulo VII definimos un tensor como una cantidad que por
s misma es invariante pero que cambia el valor de sus componentes cuan-
do las referimos a diversos sistemas coordenados; esto lo podemos apreciar
claramente en el tensor de tensiones ya que por ejemplo la tensin en la
cara ABC (ejes Xt: ) no cambia si la referimos al sistema J't. o a otro sis-
tema cualquiera l L: ; si llamamos (JLj' las tensiones en las caras tri-
, I '
plemente ortogonal;s de jI ':1"t. J 3 Y ()j, J <:3'2, la tensiones
en la cara ABC y las tensiones en las caras triplemente ortogonales de
.e" :C"L I ,entonces segn 12-20 tendremos:
12 -2 2 :
11-23:
Siendo
I
Qt.{ <S'LJ'
CSI, - au:
-
== a, t" Q2J
\)cJ'
I
Cf
/
3 a'tO QlJ
,
"
, I
C:::/i
a IL"
O-'J (f'J'
-
,
,1
11
"
\),t
D.. l."
a 2.J
,
-
-
H
" cr'
-
aH.' t")J' (j
-
el coseno del ngulo que forma el eje X t"
el coseno de 1 ngulo que forma el eje X t.. ..
con el eje
con el eje
,
'l.
Yl,
A
133
La cara ABC cortada por los ejes
~ , ;C't. ~ ~ se muestra en trazo
discontnuo.
En este captulo hemos tratado el tensor de tensiones corno un tensor
cartesiano debido a que solo considerarnos transformaciones en coorde-
nadas cartesianas; es posible tambin estudiar el tensor de tensiones
en coordenadas curvilneas: en ese caso el tringulo ABe ser en gene-
ral un tringulo curvilneo, sin embargo se seguir manteniendo cons-
tante la tensin sobre esa 11 cara inclinada "; la ley -le transformacin de
las <5"'L";" en ~ l J ' ya no ser 12-21 sino las leyes estudiadas en
el captulo VI para tensores en general ( exis tirn componentes doblemen-
te covariantes <S' LJ" I doblemente contravariantes ~ I . . J y mixtas \5 / )
Ah l
e
,
2. Corno un segundo ejemplo de un tensor cartesiano consideremos
en un sistema cartesla!'.o ; L' una masa m concentrada en el
punto ? ( :J, J '1. ~ . , ) y una recta X, que pasa por el origen de
coordenadas y definida por el versor J , . ~ cuyos cosenos di-
rectores son alJ J Q,'l,. eL J} (el primer subndice se refiere a
la recta X I Y el segundo subndice se refiere a los ejes y, J
Y"l, Y 3 ; encontremos el valor del producto t'rrl o\. 1... siendo ~
la distancia del punto 7 a la recta Xl'
Tenemos:
134
l..
y,
-? OA -: 0./'1, +Ull + Cl'3 J3
Ahora: d 1 -::. i5P'-- o ti '- = (.1/ "l.. + Jll. + J31.)- ( a" J. t- Q'2 ':h + 't.
Por lo tanto:
l1"l? J 1. =- (7Y\ ( .'L'- + )1.1.- -t j; - r,1.. - ah fz L - r;- -2..a..J/ CUt 1. J 1-
- a" QI.3J, 'J:J - al:'> :J.2.. J.))
De 12 -11 tenemos :
a 1. M '1.. n""L J por lo tanto:
I 1 1- '-"-n. + '< 1.3:::' I
Al '1'1.. "L"2. L '{1. J
- L<.".J, - a
ll
Jl -1)..,3 J3 -2A,."Q,2-J,J2.-2A."til]r.]J-?aJtct,3Jl.::h
NY) +):.1 a,T +jz.' +j;Q,'z-z.4.lIanJ
- 2.a.." a 13:J1 ).3 - ZLlrz. a/:3 J J3 ) --3>
m?dl.::. rrr, f(JI1.+:fjl) 4- CJ}'1-Ji-) t -0"o./21,}1.-
-
_ CL12 a /1 Jz. :JI _ ellJ a,) J, - a,:, a" J 3 ':S I - Cll!. Clo :1'2- J :3
- a 13 l,z..]J J LJ
,
'f
135
12-24) Llamemos:
I
- rm j, 'j ::. - ,.,..,.. j :1. = .I 3 ::. I"> 1, - rY""'\ i t 'j., :: - J :1 "t -:.. Iz. ::. L.3 1.
12-25)
1- I
ozJ
Q,z.. ct .. 4- I' 3
+ I.
3
"'l. aJ:) c:t.12.
I
Si llamamos "M d'1. = I 1\ queda as 12-25:
I
12 -2 6)
T,:: DJt a'i It.:i'
Similarmente t si trazamos
por los cosenos directores
respectivamente entonces:
,
por O otros dos ejes
a.z I Q 1 .. Q ? 3 Y
J
12 -2 7)
I,'lo .:::. CLl; a2j' I Lj'
I
12 -28)
133 :: a3t' G.3J
x%. ... X 3 definidos
Q) ,) 0_) 2) a 3 3
Estas tres ltimas expresiones son los momentos de inercia con respec-
to a los nuevos ejes X. )foz. X3 respectivamente dados en funcin de
los momentos y productos de- inercia con respecto a los viejos ejes y, J
'lz.) >'3,
Encontremos los productos de inercia referidos a los ejes X l.: ; su-
ponemos que estos ejes X L' son triplemente ortogonales.
1 1
Tenemos: Irz ..... - rm.::t., = I.. 21
pero de 12 - 6 (con al i = O ) :
x .. ;; j J por lo tanto:
I
I.'I..:: - (Y"Y) (au' 'lJ') (Q.2.i< J f.I.) =
::. - fn') ( Cl '1 )' I + a. 1 +- a 13 j.:> J ( a Z I J' + a u'1 z. 4- a. l.) ':J 3 J
= - ".." ( al a. 'JI't -r Cl.1I a.n :J, j 2 + a..1/ a. 2.) 'j, '1.} + QJ2.. J .':5,. J I -t
,
T all aH. 1,.1. r QI'Z C{1..J ':fl.::r, t- al) U2.I.13.J, .. al)aU. )),)z. ra'3QB'L
Pero de 2-11:
all L12..J '=: - c.:t/"L.a z.2. -aJ3 Cll.3
1n an -::.. - C2J1 a u - a 13 Q..l J
a,) Q2..3:: - a" Wl - CLH Q.. 2."l.
'0 y
136
I I;t. ""-
[(_0..1. Q.u-a,'l
+- CiZ,ll.Z' 'f,. JI + (-Q.JI az' - al:!> Jz."l.+
-+- al3a.ll + r
:::.. _,...,..,.. [ ... 0-" a...11 (. Ijz.l ) + ctll a.. n J. j t a. " a.D 'j. :::13 1- t.{llt2U.J,.
- ar QH ['1,2.+.3';) + ana.ZJ:J2J)+t{/3Q.ZIJ3j,T-
+ a../3 a..n:h 'jz - Cl..2.3 (:;,2.+ :fl)]
Utilizando 12-24 resulta:
I
I.. I"t.::. {lJ I eLlo' I " + a.. 1I a Z 1. I 2: + tl, I Q z."} L, 3> + a I z.. a. Z 1 .I 1.. I
+ all. a.z.2. .I u + a.J2 tL2.3 I.2:3 + al') aZI I. 317- az I31..
+ a.Jj a.l.3 T 33
ecuacin se puede escribir as:
I
I.- := aH' a
z
.;' II-J ; anlogamente obtenemos:
; esta
I
L 13:: alL' a 3J .Il
J
' J .I z.'::: az,' a'J ILJ' I .L 2.3 a l' a3
J
' ,
1.31 ::. o,)l' a'...J :L/j') 3Z.:; o.:J' al)' X(J'
Estas seis ecuaciones y las ecuaciones 12-26 I 12-27 Y 12-28 se pue-
den escribir unificadamente as:
I
12 -2 9)
I 1<.1. = a. J< l' CA....Rf L:i
Por lo tanto las cantidades
segundo orden (ver 12 -15)
cia 1.
I "..1' son las componentes de un tensor de
al cual se acostumbra llamar tensor de iner-
Si en vez de una partcula de masa m tenemos un cuerpo de dimensiones
finitas entonces las componentes del tensor de inercia son:
III:=' i{Xl,,?+X:l)d. ITl1 ; i I
33
::.
-; _ LXI Xl :: L zl J I I.J;:. - ;(,X3 d.-vn ::- I3' ) I Z3':: - !:l X3 J-m:= l...l
137
N otemos finalmente que el tensor de inercia se puede definir (lo mis-
mo que todo tensor) corno una cantidad invariante cuyas componentes
cambian al cambiar de sistema coordenado pero el tensor en s permane-
ce inalterado; esta cantidad es el cuadrado de la distancia de un punto
-
a un eje dado ( definido por su versor ).. ) multiplicada por la masa
,
n: es decir rrn d'2. ; al cambiar del sistema 'j L al -tt.:, rmd no pue-
di cambiar pero si sus componentes; por ejemplo si en '1l' los cosenos
-J?
directores de). son 0.'" a,z.. a.3 y las coordenadas de P son
( ':J,. '1t. J3 ) entonces segn 12-25:
rrr,J l = I.J + In 0...;;' +
'2.
I;n a,,:?> + Q 11 a IZo + I"l.J QIZ a"
+ a'3 r a,:?> a. I1 an..aJ'3
--,. "" 11
Ahora I si en L' los cosenos de 1 son al', a,.... a. l:l Y
las coordenadas de P son ( "il::J J -e ) entonces:
tI ,r l' t l ,t ,.
-t- .I''L a" Q'l I1..1 a./l a"
"
+ 'I.':3 aH a 13
J
La relacin entre I. K..( e II.j'es:
.,
I 1< R. -
a..R '
Il:'(
-
J
,
,
BIBtIOGRAPIA
l. Multilinear Analysis for Students in Engineering and Science
G. A. Hawkins, New York 1963.
2. A : - ~ Introduction to Riemannian Geometry and the tensor calcu1us
C . 5. Weatherburn, Cambridge 1942.
3. Geometra Diferencial Clsica ( Captulo IV)
Dirk J. Struik, Madrid 1955.
4. Vectores y Tensores con sus aplicaciones
/ Luis A. San tal , Buenos Aires 1973.
5. Vector Analysis With an Introduction to tensor Analysis.
A. P. Wills , New York 1958.
6. Vector and Tensor Analysis.
G.E. Hay, New York 1953.
7. Analisis Tensorial
1. S. Sokolnikoff, Mj ico 1 976.
8. Advanced Calculus (Captulo XII)
Ivan S. Sokolnikoff, N ew York 1939.
9. Applications of Tensor Analysis
A. J. McConnell, New York 1957.
10. Gravitation and Cosmology ( Cap. 40. y 60. )
Steven Weinberg I New York 1972.
11. Foundations of Solid Mechanics ( Cap. 2 y 3)
Y. C. Fung, New Delhi 1968.
12. Va Vector to Tensor
W. G. Bickley, R.C. Gibson, NewYork 1962.
13. Carte sian Tensors in Enginee ring Science
1. G. Jaeger, London 1966 .