Campos tensoriales

Torsten Flie bach

Abstract
Los campos tensoriales pueden ser representados por sus componentes en coordenadas cartesianas.
Su propiedad tensorial se define formalmente por el comportamiento de dichas componentes bajo
transformaciones ortogonales. La diferenciacin de campos tensoriales juega un papel importante
en electrodinmica. Con ayuda de una serie de ejemplos, a continuacin se muestra cmo utilizar
los tensores para realizar operaciones diferenciales vectoriales.

I.

TRANSFORMACIONES ORTOGONALES

En el espacio tridimensional ordinario introducimos un sistema de coordenadas cartesianas S con ayuda de las coordenadas (x1 , x2 , x3 ) = (x, y, z) y de los vectores ortonormales
base (e1 , e2 , e3 ) = (ex , ey , ez ). En el mismo espacio podemos considerar otro sistema de
coordenadas cartesianas S rotado en relacin al primero; ambos con el mismo origen, pero
sus ejes se encuentran girados unos respecto a los otros. Las coordenadas en S se denotan
con (x01 , x02 , x03 ) y los vectores base (e01 , e02 , e03 ).

Figure 1: Una partcula masiva P tiene las coordenadas xP1 , xP2 en el sistema S (representado


0P en el sistema S girado respecto al primero.
aqu en dos dimensiones) y las coordenadas x0P
1 , x2
El vector de posicin de la partcula r puede ser representado, segn (1), por ambos conjuntos de
valores de las coordenadas.

Un vector fsico es independiente del sistema de coordenadas. Ejemplos de vectores

fsicos son el campo elctrico E, el vector de posicin r de una partcula P (ver figura 1) o

su velocidad v = r. Semejante vector puede ser escrito en trminos de los vectores base ei
de S o de los e0i de S:
r=

3
X

xi e i =

i=1

3
X

x0i e0i

(1)

i=1

Al contrario de la figura 1, no nos referimos a una partcula especfica P; dejamos fuera el

ndice P. Si multiplicamos a r por un factor arbitrario, las componentes xi y x0i contendrn
el mismo factor. Por lo mismo, la relacin entre xi y x0i debe ser lineal:
x0j

3
X

ji xi

(transformacin ortogonal)

i=1

(2)

Para ambas expansiones en (1) calculamos el producto escalar

P 2

i xi
r r = r2 = P
P
02

j xj =
j,i,k ji jk xi xk

(3)

Ambas expresiones deben ser iguales para xi arbitrarias. De esto se tiene

3
X

ji jk = ik

(ortogonalidad)

(4)

j=1

El smbolo ik es la delta de Kronecker definida por

1 si i = k
ik =
0 si i 6= k

(5)

Con los 3 3 nmeros ik puede construirse la matriz = (ij ), y con los tres nmeros
xi el vector columna x = (xi ). Con esto, la ecuacin (2) queda x0 = x en notacin
matricial. La relacin (4) resulta en T = 1. Semejante matriz se llama ortogonal; las
transformaciones correspondientes tambin se llaman ortogonales. La matriz transpuesta
est dada por la matriz inversa,
T = 1

(6)

De x0 = x, (2), se obtiene la transformacin inversa x = T x0 o

xi =

3
X

ji x0j

(7)

j=1

A continuacin utilizaremos principalmente la notacin en componentes.

II.

DEFINICIN DE TENSOR

Ahora definimos formalmente la propiedad "tensor". Un tensor de rango N es una cantidad ti1 i2 iN indizada N veces, cuyas componentes se transforman como el vector de posicin,
es decir,
t0i1 i2 iN

3
X
j1 =1

3
X

i1 j1 iN jN tj1 j2 jN

(tensor)

(8)

jN =1

En particular, llamamos escalar a un tensor de rango 0 y vector a un tensor de rango 1.

Por tensor se entiende el conjunto completo de las cantidades indizadas; las cantidades
ti1 i2 iN por separado son las componentes del tensor. As, las xi son las componentes del
3

vector r o x = (x1 , x2 , x3 ). No obstante, con el afn de simplificar el lenguaje, tambin se

acostumbra referirse a las componentes como vector o tensor; por supuesto, en las ecuaciones
debe distinguirse muy bien entre r, x y xi .
De la definicin (8) siguen inmediatamente algunas posibilidades para construir nuevos
tensores. Si A y B son tensores, entonces se tiene:
1. Adicin: aAi1 i2 iN + bBi1 i2 iN es un tensor de rango N ; a y b son nmeros.
2. Multiplicacin: Ai1 i2 iN Bi1 i2 iM es un tensor de rango N + M .
P
P
3. Contraccin:
A
es
un
tensor
de
rango
N

2.
En
partcular,
i
jji
1
N
j
i Ai Bi y
P
r2 = i x2i son escalares.
En (5) se define la delta de Kronecker por la asignacin de valores numricos fijos, lo que
la hace independiente del sistema de coordenadas S; en cualquier otro sistema S se sigue
0
teniendo ik
= ik . La ik fijada de esta forma satisface la definicin (8) de tensor, pues
0 (8)
ik
=

3 X
3
X

in kl nl =

3
X

(4)

in kn = ik

(9)

n=1

n=1 l=1

El smbolo de Kronecker ik es un tensor; tambin se le conoce como tensor unidad. La

matriz (ik ) es la matriz unidad.
Cuando en la parte derecha de (8) se tiene el factor extra det (), entonces t es un
pseudotensor. A travs de la definicin

+1 si (i, k, l) es una permutacin par de (1, 2, 3)

ikl = 1 si (i, k, l) es una permutacin impar de (1, 2, 3)

0 en cualquier otro caso

(10)

introducimos el llamado smbolo de Levi-Civit ikl . Este se define, como ik , por la asignacin de valores numricos fijos, lo que lo hace independiente del sistema de coordenadas
S. Es facil mostrar que ikl es un pseudotensor, pues
X
0i1 i2 i3 = det ()
i1 j1 i2 j2 i3 j3 j1 j2 j3 = i1 i2 i3

(11)

i1 j2 j3

Debido a la propiedad (10) ikl tambin es llamado tensor totalmente antisimtrico (o pseudotensor). El producto vectorial (a b) se define como
(a b)i =

3 X
3
X
k=1 l=1

ikl ak bl

(12)

Si ai y bi son vectores, (a b)i es un pseudovector. Por lo mismo, ikl am bn es un pseudotensor

de rango 5; despus de contraer dos veces se recupera (12).

III.

CAMPOS TENSORIALES Y SU DIFERENCIACIN

Para la electrodinmica los campos tensoriales son de gran inters, es decir, los tensores
que dependen de la posicin. Un campo tensorial se define como una cantidad indizada
dependiente de las coordenadas Fi1 i2 iN que se transforma segn
Fi01 i2 iN (x0 )

3
X

j1 =1

3
X

i1 j1 iN jN Fj1 j2 jN (x) (campo tensorial)

(13)

jN =1

Las coordenadas de la posicin en el argumento se representan con x = (x1 , x2 , x3 ), y el

argumento se transforma simultneamente segn (2). Para un campo escalar y para uno
vectorial (13) resulta en
0

A0i (x0 )

(x ) = (x),

3
X

ij Aj (x)

(14)

j=1

Adems de las posibilidades conocidas para la construccin de nuevos tensores (adicin, multiplicacin, contraccin), en el caso de campos tensoriales tambin se tiene la diferenciacin.
En tal caso, i se comporta como un vector, pues
3

i0 =

X
X xj

=
ij j
=
0
x0i
x
x
j
i
j=1
j=1

(15)

Con ayuda de la diferenciacin, partiendo de un campo escalar y de uno vectorial Ai , se

pueden construir los siguientes campos tensoriales:
((r))i = i (campo vectorial)
A(r) =

3
X

i Ai

(16)

(campo escalar)

(17)

(campo pseudovectorial)

(18)

i=1

( A(r))i =

3
X

ikl k Al

k,l=1

La propiedad tensorial de las cantidades resultantes se obtiene de las propiedades tensoriales

de las cantidades constituyentes (, Ai , i , ikl ) y de las reglas de clculo para la construccin
de nuevos tensores (multiplicacin y contraccin).
5

IV.

COVARIANCIA

Los tensores se definieron a travs de su comportamiento bajo transformaciones ortogonales; al hacerlo nos limitamos a sistemas coordenados cartesianos. De la definicin sigue que
las ecuaciones tensoriales son covariantes bajo transformaciones ortogonales, es decir, que
su forma permanece igual (invariancia de forma). Como ejemplo consideremos la ecuacin
X
Ai =
Cij Bj
(19)
j

que involucra los tensores Ai , Cij y Bj ; dichas cantidades se refieren a un sistema determinado
de coordenadas S. Escribamos (19) en forma matricial A = CB, multipliquemos por la
izquierda con e incrustemos en la parte derecha T = 1. Con esto tenemos A =
CB = CT B, es decir, A0 = C 0 B 0 o
A0i =

Cij0 Bj0

(20)

En el sistema rotado S la ecuacin tiene la misma forma que en el sistema S; las ecuaciones
P
tensoriales son invariantes de forma. Un ejemplo fsico es la relacin Li = j ij j entre el
impulso angular Li , el tensor de inercia ij y la velocidad angular j .
Las leyes fundamentales de la fsica son formuladas en sistemas inerciales (IS). Uno encuentra que las distintas direcciones son equivalentes en un IS; esta simetra se conoce como
isotropa del espacio. Debido a la isotropa del espacio las leyes fundamentales no dependen
b con la
de la orientacin del IS. Por lo mismo, las leyes son invariantes (como L =
b o invariantes de forma (como Li = P ij j ) bajo rotaciones. Esto se conoce de
diada )
j
la mecnica. En electrodinmica, la covariancia de las ecuaciones de Maxwell bajo transformaciones de Lorentz es de importancia central.

V.

CLCULOS CON EL OPERADOR NABLA

Las operaciones vectoriales gradiente, divergencia y rotacional se definen independientemente de la eleccin de las coordenadas. Por lo mismo, ecuaciones vectoriales como
(A) = A + A

(21)

son invariantes bajo transformaciones de coordenadas. Debido a dicha invariancia, es suficiente demostrar tales relaciones para algn sistema especial de coordenadas. Para tal fin,
6

las coordenadas cartesianas resultan ser muy tiles. A continuacin mostramos, con ayuda
de una serie de ejemplos, cmo se pueden demostrar tales relaciones en forma sistemtica
en coordenadas cartesianas.
Primero expresamos el gradiente, la divergencia y el rotacional con ayuda del operador .
Slo se escribirn las componentes (y no los correspondientes vectores unitarios), es decir,
i = i . Los productos escalares que eventualmente surjan se realizarn contrayendo los
ndices correspondientes. Con esto, (21) puede demostrarse como sigue:
(A) =

3
X

i (Ai ) =

3
X

i=1

(i ) Ai +

i=1

3
X

(i Ai ) = A + A

(22)

i=1

Para
A=0

(23)

damos una demostracin detallada y ejemplar:

1.

A=

2.

i ikl k Al =

4.

kil k i Al =

5.

kil i k Al

k,i,l

k,i,l

ikl i k Al

i,k,l

i,j,k
3.

6.

ikl i k Al =

7.

ikl i k Al = 0

(24)

i,k,l

k,i,l

Cada uno de los pasos en esta demostracin son:

1. Debido a la invariancia bajo transformaciones de coordenadas basta con demostrarlo
para coordenadas cartesianas.
2. La derivada parcial i no acta sobre ikl , pues dicha cantidad est compuesta por
valores numricos constantes.
3. El nombre de los ndices de suma es arbitrario (ndices mudos). Por lo mismo, podemos
renombrar a i, k, l como k, i, l.
4. Debido a la, de antemano supuesta, diferenciacin de Al (x) se pueden intercambiar las
derivadas parciales. Aqu se asume que el campo tensorial es diferenciable dos veces,
por lo menos.
5. Para el tensor totalmente antisimtrico se tiene kil = ikl .
7

6. Se intercambia la seriacin de las sumas,

P P P
k

P P P
i

. Esto siempre

es posible para sumas finitas.

7. El resultado se diferencia de la tercera expresin slo por un signo menos. Por lo
mismo, debe ser cero.
El lector puede demostrar de forma anloga que
= 0

(25)

Otro operador diferencial es el operador de Laplace:

3
3
X
X
2
=
i i
==
x2i
i=1
i=1
2

(26)

La parte derecha se cumple para coordenadas cartesianas. La forma independiente de las

coordenadas 2 se define para un campo escalar. No obstante, el operador diferencial en
la parte derecha de (26) tambin puede ser aplicado a un campo vectorial A. La cantidad 2 A definida de esta forma puede expresarse en trminos de operaciones vectoriales
independientes del sistema de coordenadas,
2 A = ( A) ( A)

(27)

Para demostrar esta relacin expresamos la parte derecha en coordenadas cartesianas:

( ( A) ( A))i =

i j Aj

ikl k lmn m An

k,l,m,n

i j Aj

(im kn in km ) k m An

k,m,n

i j Aj

X
n

n i An +

k k Ai = 2 Ai = 2 A

i

(28)
VI.

EJERCICIOS

1: Demuestre que (A B) = B A A B evaluando las componentes

cartesianas. Haga lo mismo con (A), (A B) y (A B).
2: La ecuacin Ai =

Cij Bj se cumple en cualquier sistema de coordenadas cartesianas.

Se sabe que Ai y Bj son tensores. Demuestre que Cij es un tensor de rango 2.

8

3: Argumente el ltimo paso en (11).

4: Muestre que (r) = r + 3.
5: Demuestre que = 0 usando el mismo tipo de clculos de (24).
6: En (28) se utiliz

l ikl lmn

= im kn in km . Demuestre dicha relacin.

[1] Tomado del libro "Elektrodynamik" de Torsten Flie bach (Spektrum, 1997). Traduccin de
Jos M. Mndez A.