Tarea de Metodos matematicos II

Algebra de tensores
Diego Manuel Atzin Ovando Perez
David Torrez Reyes

Teorema 1.
En la suma o resta de dos componentes correspondientes de tensores del mismo
rango se obtiene un tensor de igual rango.
Demostracion.

Sea T una transformacion admisible tal que, T : Y X, sean {A1 ,2 ,...,s (x)}
y {B1 ,2 ,...,s (x)} las componentes de dos tensores en el sistema de coorde-
nadas X. Ademas sean {C1 ,2 ,...,s (y)} y {D1 ,2 ,...,s (y)} las componentes de
los mismos tensores en el sistema de coordenadas Y . De modo que las trasfor-
macion de un sistema a otro estan definidas como:

y 1 y 2 y s
A1 ,2 ,...,s (x) = ... C , ,...,s (y),
x1 x2 xs 1 2
y 1 y 2 y s
B1 ,2 ,...,s (x) = ... D1 ,2 ,...,s (y),
x1 x2 xs
Por lo tanto, la suma o resta de las componentes de los tensores en el sistema
de coordenadas X, es,

A1 ,2 ,...,s (x) B1 ,2 ,...,s (x) =

y 1 y 2 y s y 1 y 2 y s
= ... C , ,..., (y) ... D1 ,2 ,...,s (y),
x1 x2 xs 1 2 s
x1 x2 xs
podemos hacer una factorizacion de las derivadas parciales ya que se tratan de
los mismos ndices, por lo tanto,
A1 ,2 ,...,s (x) B1 ,2 ,...,s (x) =
y 1 y 2 y s (1)
= ... [C1 ,2 ,...,s (y) D1 ,2 ,...,s (y)],
x1 x2 xs
ahora si definimos dos tensores E1 ,2 ,...,s (x) y F1 ,2 ,...,s (y), tal que,
E1 ,2 ,...,s (x) =A1 ,2 ,...,s (x) B1 ,2 ,...,s (x),
F1 ,2 ,...,s (y) =C1 ,2 ,...,s (y) D1 ,2 ,...,s (y),
de modo que, la expresion (1) se puede reescribir como,
y 1 y 2 y s
E1 ,2 ,...,s (x) = ... F , ,...,s (y),
x1 x2 xs 1 2

1
la cual cumple la regla de transformacion de un tensor covariante de rango s.

Teorema 2. El producto externo de un tensor mixto contravariante de rango

s y covariante de rango r con un tensor mixto contravariante de rango p y co-
variante de rango q es un tensor mixto contravariante de rango s+p y covariante
de rango r + q.

Demostracion:

Sea T una transformacion admisible tal que, T : Y X, sean A11, 2 ,...,s
,2 ,...,r (x)
la representacion de las componentes de un tensor contravariante de rango r y co-
variante de rango s en el sistema de coordenadas X, ademas sea B11, 2 ,...,s
,2 ,...,r (y)
las componentes del mismo tensor en el sistema de coordenadas Y .

n o
, ,...,
Sean C11 ,22 ,...,pq (x) la representacion de las componentes de un tensor
contravariante de
 rango p y covariante de rango q en el sistema de coordenadas
, ,...,
X, ademas sea D11 ,22 ,...,pq (y) las componentes del mismo tensor en el sistema
de coordenadas Y .
De modo que las transformaciones de un sistema a otro estan dadas por,

y 1 y 2 y r x1 x2 xs 1 ,2 ,...,s
A11, 2 ,...,s
,2 ,...,r (x) = ... ... B (y),
x1 x2 xr y 1 y 2 y s 1 ,2 ,...,r
y 1 y 2 y q x1 x2 xp 1 ,2 ,...,p
C11 ,
,2 ,...,p
2 ,...,q
(x) = 1 ... ... D (y)
x x2 xq y 1 y 2 y p 1 ,2 ,...,q
de modo que el producto externo de los dos tensores es,

A11,2 ,...,s 1 ,2 ,...,p

,2 ,...,r (x)C1 ,2 ,...,q (x) =

y 1 y 2 y r x1 x2 xs 1 ,2 ,...,s y 1 y 2 y q x1 x2 xp 1 ,2 ,...,p
= ... ... B , ,..., (y) ... ... D (y),

x 1 x 2 x r y 1 y 2 y s 1 2 r
x1 x2 xq y 1 y 2 y p 1 ,2 ,...,q
ordenando un poco los terminos,
1 ,2 ,...,s
A1 ,2 ,...,r
(x)C11 ,
,2 ,...,p
2 ,...,q
(x) =
y 1 y 2 y r x1 x2 xs y 1 y 2 y q x1 x2 xp 1 ,2 ,...,s
= ... ... ... ... B (y)D11, 2 ,...,p
,2 ,...,q (y),
x1 x2 xr y 1 y 2 y s x1 x2 xq y 1 y 2 y p 1 ,2 ,...,r
y 1 y 2 y r y 1 y 2 y q x1 x2 xs x1 x2 xp 1 ,2 ,...,s
= 1 2 ... r ... ... ... B (y)D11,2 ,...,p
,2 ,...,q (y),
x x x x1 x2 xq y 1 y 2 y s y 1 y 2 y p 1 ,2 ,...,r
(2)

podemos ver que las etiquetas de los ndices y recorren desde 1 hasta r + q,
mientras que para las etiquetas de los ndices y van desde 1 hasta s + p,
, ,..., 1 ,2 ,...,s+p
ademas si definimos a los tensores E11 ,22 ,...,s+p
r+q (x) y F1 ,2 ,...,r+q como,

E11 ,2 ,...,s+p 1 ,2 ,...,s 1 ,2 ,...,p

,2 ,...,r+q (x) =A1 ,2 ,...,r (x)C1 ,2 ,...,q (x),

F11,
,2 ,...,s+p
2 ,...,r+q
=B11,2 ,...,s 1 ,2 ,...,p
,2 ,...,r (y)D1 ,2 ,...,q (y),

2
de modo que la ecuacion (2) se puede reescribir como,

y 1 y 2 y r+q x1 x2 xs+p 1 ,2 ,...,s+p

E11 ,2 ,...,s+p
,2 ,...,r+q (x) = ... ... F
x1 x2 xr+q y 1 y 2 y s+p 1 ,2 ,...,r+q
la cual cumple la regla de transformacion de un tensor contravariante de rango
s + p y covariante de rango r + q.

Teorema 3. Si un tensor mixto contravariante de rango s y covariante de rango

r, tiene un ndice contravariante igual a un ndice covariante, el conjunto resul-
tante de componentes tensoriales es nr+p2 y el tensor se convierte en un tensor
mixto contravariante de rango s 1 y covariante de rango r 1.

Demostracion:
 , ,...,
Sea T una transformacion admisible tal que, T : Y X, sean A 1 2
1 ,2 ,...,r
s
(x)
la representacion de las componentes de un tensor contravariante de rango r y co-
variante de rango s en el sistema de coordenadas X, ademas sea B11, 2 ,...,s
,2 ,...,r (y)
las componentes del mismo tensor en el sistema de coordenadas Y .

De modo que las transformaciones de un sistema a otro estan dadas por,

y 1 y 2 y r x1 x2 xs 1 ,2 ,...,s
A11,2 ,...,s
,2 ,...,r (x) = ... ... B (y),
x1 x2 xr y 1 y 2 y s 1 ,2 ,...,r
ordenando un poco los terminos,

y 2 x2 y 1 y r x1 xs 1 ,2 ,...,s
A11,2 ,...,s
,2 ,...,r (x) = ... ... B (y),
x2 y 2 x1 xr y 1 y s 1 ,2 ,...,r
y 2 x2
analizando las primeras dos derivadas parciales, x2 y 2 , estas se pueden ver
y 2
como y 2 = 22 , sustituyendo esta expresion,

y 1 y r x1 xs 1 ,2 ,...,s
A11,2 ,...,s 2
,2 ,...,r (x) = 2 ... ... B (y),
x1 xr y 1 y s 1 ,2 ,...,r
hacemos correr la suma sobre 2 , obteniendo,

y 1 y r x1 xs 1 ,2 ,...,s
A11,2 ,...,s
,2 ,...,r (x) = ... ... B (y),
x1 xr y 1 y s 1 ,2 ,...,r
por lo tanto, se cancelaron dos derivadas de la regla de transformacion, quedando
r + s 2 derivadas, por lo tanto el numero de las componentes tensoriales es
igual a nr+s2 . De modo que se pueden redefinir las etiquetas de los ndices,
tal que,

y 1 y 2 y r1 x1 x2 xs1 1 ,2 ,...,s1
A11, 2 ,...,s1
,2 ,...,r1 (x) = ... ... B (y),
x1 x2 xr1 y 1 y 2 y s1 1 ,2 ,...,r1