Beruflich Dokumente
Kultur Dokumente
1 TENSORES ISOTRPICOS
Un tensor isotropico es aquel cuyas componentes se transforman en s mismas. Su ley de transformacin es pues
(1) T ijk...mn = a ip a jq akr a ms a nt Tpqr...st Tijk...mn
Un caso no trivial de tensor isotropico ya conocido es el tensor 8g, de segundo orden. Especialmente importante es el tensor isotropico de tercer orden, el cual denotaremos con Eyk. Procederemos a calcular sus componentes a partir de la condicin (1), por un mtodo largo pero instructivo. Empecemos de la relacin definitoria
(2) E'ijk = a ^ aj n akp Emnp = Eyk
k ^ i:
ww
i = j ^ k:
w.
at
k = i^j:
Ahora someteremos el sistema de coordenadas XYZ a un movimiento rgido; lo giramos un ngulo de 120 alrededor del eje que pasa por el origen O y est definido por el unitario e = (-L-* -L) g n e s t a r o ta C i5 n e i e j e nuevo X queda donde estaba el eje viejo Y, el eje Y va a dar a Z, y el eje Z va a dar a X (Fig. 1).
em at
Eni,E222>E333
En2, En3, E221, E2239 E331, E332 E211, E311, Ei22, E322, E133, E233 E121, E131, E212, E232> E313, E323
ic a1
.c om
Bajo este movimiento el vector (Ai, A2, A3) se transforma en (A2, A3, Ai), o sea que sus componentes se permutan cclicamente. La matriz de transformacin es
(o i o^
A= 0 O 1
1 O O Fig.l
X1
Notemos que los elementos de A diferentes de cero tienen la forma a..+ , donde "i " es el 11 "consecutivo cclico" de "i", o sea
El 12 - E223 - E331; (3) E211 = E322 = E133; E121 = E232 = E313; El23 ~ E23I = E312;
ww
w.
Sometamos ahora el sistema XYZ a una rotacin de 180 en torno al eje Z, cuya matriz es '-1 0 0 0 - 1 0
o 1
at
El 13 - E221 - E332 E311 = E122 = E233 E131 = E212 = E323 E132 - E213 = E321
em
at
ic
a1
.c o
Al efectuar la triple suma sobre m, n y p en (2), sobrevive solamente el trmino para el cual m = i, n = j y p = k,
= a ajj akk Ei jk
No S(i, j , k)!
Ello ocurre para ijk =111, 222, 112, 211, 221, 122, 121, 212, 331 y 332. Junto con las igualdades (3) se deduce que todos los elementos de las clases I y II son iguales a cero, lo cual expresaremos as: ijk = 0 si dos o ms ndices son iguales
(.
2
V i0"i
2 "
O
Obtenemos
O 1
at
em
w.
^ a l m a 2n
As pues, las componentes distintas de cero del tensor Eyk toman un slo valor comn X9 que debe ser un invariante: E123 = E231 = E312 = X ; E132 E213 = E321 = - k. Tenemos as el siguiente teorema: Teorema. El tensor isotrpico ms general de tercer orden es un mltiplo "X" del tensor psilon o tensor de Levi-Civita, e^ definido por 1 si {ijk} es una permutacin par de {123} -1 si {ijk} es una permutacin impar de {123} 0 si dos o ms ndices son iguales
(4)
ww
at
a
"1" T
ic
3j
a1
= 0sij*3)
2m a 33 Emn3 = a l m a 2n
.c o
5,2
Relacin del tensor psilon con la matriz de transformacin ajn ajq, emnp tenemos, efectuando las De la relacin de transformacin sumas indicadas y escribiendo solamente los trminos distintos de cero,
a
aj2ak3
a
i2aj3aki
i 3 a j i a k 2 312
i i a j 3 a k 2 132
=213
321 =
Esto es,
a i3
a j3
em at
*ki
at
a
Producto extemo de dos tensores psilon Usando la representacin (5) encontraremos a continuacin una frmula til. Consideremos el producto
ic
a a a
ai
e
ml m3
i ijk j
a2 a 3
aj2
k2 k3
m2
El producto de los dos determinantes es a su vez otro determinante, cuyos elementos se obtienen combinando ya sea las columnas del primer factor con las columnas del segundo, o bien columnas con renglones, o renglones con renglones. Escojamos combinar columnas con columnas; entonces el elemento 11 del determinante producto es
(6)
ijk mnp""~
8, in
5
ww
w.
a j3
JP
a1
nl n2 n3
a a a
p2 p3
.c o
pl
(5)
ijk~ a
j2
k2
Producto interno simple de dos tensores psilon (en un ndice) Pongamos p = k en la representacin (6) y desarrollemos,
5
>km
5 ik
8jk
5kk
8ik 8j
m
= 3 Sjm 8j n + 5jn 8j
Reduciendo, (7)
ijkmnk~ Sim5jn - 8 ^
Se sigue que al mover un ndice dos lugares no se modifica el valor, etc. Otras propiedades Daremos sin demostracin estas otras propiedades: (8)
ww
w.
at
em
Antisimetra del tensor psilon en dos de sus ndices Al transponer dos ndices cualesquiera del tensor psilon se produce un cambio de signo:
at
(9)
i ijjk
ic
a1
=0
.c o
El tensor psilon nos permite escribir el producto vectorial a x b en notacin tensorial del siguiente modo: (10) (a x b)i = Gijk aj bk
Para comprobarlo, evaluemos una de las componentes del producto a x b, digamos la componente X,
Al efectuar las sumas sobre los ndices j y k, permanecen solamente los trminos con j = 2 y k = 3, y con j = 3 y k = 2, ya que los restantes valores de j y k provocan repeticin de ndices en e p . Entonces,
a (b x c) = ai (b x c)i = ai eyk bj Ck Rearreglando los factores, (11) a*(bxc)=GijkaibjCk El triple producto vectorial a x (b x c) es un vector cuya componente "i" es [a x (b x c)]i = i j k aj (b x c) k = Gijk aj (ey^m bm cn) o sea, (12) [a x (b x c)]i = Gijk ejonn aj b m Cn
ww
como deba resultar. De modo similar podemos comprobar las otras dos componentes. El triple producto escalar a (b x c) es el escalar formado con el tensor ejj k y los vectores ai, b{ y q,
w.
at
em
at
ic
o bien
a1
.c o
Ejemplo L| Pasar a notacin tensorial las expresiones (a) (a) (b) M x [N x (P x R)] (TxP)t(QxM) (a b)(v x (c x e)) d
(a) El resultado es un vector. Su componente "i" es GijkMj [N x (P x R)] k = ijk Mj [ejannN^P x R)n] = ijk Mj Gkmn N m ( G ^ Pr Rs) =
=
ww
w.
at
em
at
ic
^ ^ijk Gimn Tj Pk Q m Mn
a1
.c o
jl j2
(14)
ijk = 5 i2
5kl 5k2
5 k3
8 3
5j3
2. Sea U, V|, w una base ortonormal derecha de vectores. Verificar componente a componente la representacin
Uj Vi Vj W Wj
(15)
Uj
uk
vk
wk
4. Suponiendo que Sy es un tensor simtrico, demostrar que e^ Sjk = 0. 5. Suponiendo que Aij es un tensor antisimtrico, y que at = - e p Ajk, demostrar que
6. Demostrar que
ww
donde A,, fi y v son escalares, es un tensor isotrpico de cuarto orden. (Esta es la forma ms general de tal tensor). 7. Demostrar la relacin (16) Ty - TJ = eijk ^mnk Tmn
w.
+ (Ll 5ij 5 j m + V im 5]
at
em
at
ic
(a)
(b)
=2
a1
.c o
p =6
9. Usando las propiedades del tensor psilon, demostrar las relaciones (a) (b) (A x B) (C x D) = (A C)(B D)-(A D)(B C) (AxB)x(CxD) = ( A C x B ) B - ( B C x D ) A
Existe otra manera alternativa de expresar la relacin (b). Encuntrela. 10. Usando la frmula (6), demostrar que Aa A*b (A B x C)(a b x c) = Ba Bb Oa Ob A*c B*c Cc
(17)
(c)
(A x B) (C x D) x (E x F)
ic
a1
(a)
(b)
.c o
12. Demostrar las siguientes expresiones tensoriales para e l determinante 3 x 3 elementos s o n uy:
det (Uy) = 6ij k Uji Uj2 Uk3
em
at
cuyos
ww
w.
at