Documente Academic
Documente Profesional
Documente Cultură
ndice
1. Vectores y tensores 2
4. Tensores particulares 6
4.1. Tensor Delta de Kronecker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
4.2. Tensor de Levi-Civita . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
4.3. Cul es la relevancia particular de estos dos tensores? . . . . . . . . . . . . . . . 6
iii.. Tensores istropos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
iii.. ij y ijk son istropos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
4.4. Vnculo entre los tensores de Kronecker y de Levi-Civita . . . . . . . . . . . . . 7
Apunte terico de
Tensores
1. Vectores y tensores
Consideremos el espacio de n = 3 dimensiones. Sabemos que la posicin de un punto P en
dicho espacio respecto de un sistema de referencia S cartesiano puede expresarse por medio
de 3 cantidades escalares (Px , Py , Pz ) que llamamos componentes del vector posicin P~ que
identifica dicho punto. Ahora bien, si bien el vector posicin es, fsicamente hablando, nico,
su representacin en componentes no lo es. Esto se debe a que, respecto de otro sistema
de referencia S 0 (para fijar ideas, podemos pensar que entre los sistemas S y S 0 hay una
rotacin), el vector posicin tendr componentes de valores distintos. Sin embargo, notemos,
la orientacin espacial y la longitud (magnitud) del vector deben ser la misma en cualquier
sistema de coordenadas.
Esto nos conduce a pensar que no cualesquiera tres nmeros dispuestos en un arreglo columna
constituye un vector. La caracterstica que define a un vector es cmo se transforman sus
componentes ante un cambio de coordenadas. En particular, si tenemos una transformacin
lineal ortogonal general (una rotacin, por ejemplo) cuya representacin matricial est dada
por
a11 a12 a13
A = A = a21 a22 a23 ,
a31 a32 a33
las componentes del vector transformado ~x0 deben satisfacer
Esta es la regla que define como tales a los vectores, y que puede escribirse, para la componente
i-sima de la ecuacin anterior (siendo i=x, y, z) como:
3
X
x0i = aij xj .
j=1
Ahora bien, los coeficientes aij de la matriz de transformacin A deben cumplir ciertas con-
diciones para que la misma represente una transformacin afn que conserve, por ejemplo, la
magnitud de los vectores que transforma. En particular, debe tratarse de una matriz orto-
gonal. Recordemos que llamamos ortogonal a una matriz cuando el producto de ella por su
traspuesta es igual a la matriz identidad, es decir que A debe satisfacer:
AT A = I,
AT = A1 .
2
Estructura de la Materia 1 Notas del curso
Por lo tanto, las ltimas dos ecuaciones nos habilitan a escribir tambin
AAT = I,
Finalmente, recordemos que segn vimos en nuestra primer clase terica, un tensor de segundo
rango ij se transforma, ante un cambio de sistema de coordenadas ortogonales de acuerdo a
la expresin
0
ij = aih ajk hk ,
que constituye la definicin de tensor cartesiano. La extensin de esta definicin a tensores de
rango arbitrario (rango 3, 4, etc.) resulta inmediata.
ai bi .
En lo que sigue utilizaremos todo el tiempo esta convencin. Como un ltimo ejemplo, podemos
considerar como se reescribe, en la convencin de Einstein, una componente cualquiera de un
vector transformado por una rotacin del sistema de coordenadas. Si la matriz de rotacin es
A = A, y su representacin indicial es aij , entonces el vector ~x0 , transformado a travs de la
transformacin que A representa se escribe como
~x0 = A~x
x0i = aij xj ,
el Cuadro anterior para los tensores de rango 2 se extrapola de forma directa a tensores de
mayor rango, simplemente mediante la incorporacin de ndices adicionales (en la notacin
tensorial) y mediante el uso de un mayor nmero de lneas debajo del smbolo correspondiente
(en el caso de la notacin vectorial usual).
aj = bj + cj
a1 = b1 + c1 ,
a2 = b2 + c2 ,
a3 = b3 + c3 .
Debe emplearse el mismo smbolo (usualmente una letra) para el ndice libre en cada uno de
los trminos aditivos de una expresin dada. El ndice libre puede renombrarse si y slo si esta
operacin se realiza consistentemente en cada uno de los trminos de la expresin.
Los diferentes trminos que integran una expresin pueden tener ms de un ndice libre,
siempre que dichos ndices sean distintos. Por ejemplo, la expresin (en notacin vectorial)
A = BT ,
se escribe como
aij = (bij )T = bji
en notacin indicial. En este caso, esta ltima expresin implica un total de 9 ecuaciones
independientes (si trabajamos en el espacio de 3 dimensiones), dado que i y j son ambos dos,
ndices libres.
El nmero de ndices libres de cualquier trmino dado en una expresin denota el rango del
trmino:
Un ndice mudo puede renombrarse empleando cualquier otro smbolo, siempre y cuando la
nueva letra empleada para nombrarlo no est siendo empleada para denotar un ndice libre en
la expresin considerada. Decimos que el ndice mudo es local a cada trmino individual aditivo.
Puede cambiarse su nombre en un trmino cualquiera (siempre que este cambio no presente
conflicto con otros ndices), sin necesidad de ser renombrado tambin en otros trminos.
4. Tensores particulares
4.1. Tensor Delta de Kronecker
La delta de Kronecker es un tensor de rango 2, simtrico, definido operativamente como
(
1, si i = j,
ij =
0, si i 6= j,
En esta ltima definicin, entendemos por permutacin cclica de 123 a cualquier otro orde-
namiento de dichas tres cifras que se obtenga mediante la operacin de llevar la primera al
final del arreglo:
123 231 312 123.
En contraste, llamamos permutacin anticclica a cualquier otro ordenamiento de 123 que
surja de la operacin de llevar la ltima cifra al principio de la trada:
~a ~b 6= ~b ~a.
En notacin indicial, en contraste, todos los trminos representan escalares (a pesar de que el
trmino considerado pueda representar a mltiples escalares en mltiples ecuaciones). Por ello,
la notacin indicial tiene la ventaja de ser conmutativa y asociativa. Luego vale, por ejemplo:
ai bj = bj ai .
En efecto, como en la ltima expresin tanto i como j son ndices libres, la ltima expresin
representa 9 ecuaciones en 3D, o bien 4 ecuaciones en 2D. Si consideramos el caso 2D (por
brevedad) tenemos:
a1 b1 = b1 a1 ,
a1 b2 = b2 a1 ,
a2 b1 = b1 a2 ,
a2 b2 = b2 a2 ,
todas ellas vlidas (es decir, satisfacen conmutatividad) dado que se trata de productos de
escalares.
De forma similar, puede mostrarse que la notacin indicial satisface asociatividad:
~a ~b = c notacin vectorial
ai bi = c notacin de ndices,
siendo i un ndice mudo en este caso. El resultado de esta operacin entre dos vectores (es
decir, su producto) resulta una magnitud escalar, de all el origen de su denominacin.
En este caso, el smbolo : indica que ambos ndices deben sumarse, dando como resultado un
escalar. Se dice que el escalar resultante es el producto de haber contrado los dos ndices de
los tensores aij y bkl .
El smbolo refiere al hecho de que solo el ndice interno se suma. Notar que esta operacin
no es un producto interno.
~a B = ~c notacin vectorial
ai Bij = cj notacin de ndices.
~a ~b = ~c notacin vectorial
ijk aj bk = ci notacin de ndices.
t .
t
Algunos autores asignan tambin el subdice 0 a la variable temporal, con lo cual t = 0 ,
aunque esta notacin es menos comn.
teniendo en cuenta que el resultado de esta operacin vectorial es un escalar (tensor de rango
0) dado, por b.
En este caso, en oposicin al caso del gradiente, vemos que la operacin divergencia tiene el
efecto de reducir (en una unidad) el rango de la expresin sobre la que opera. Consistentemente,
considerar la divergencia de un escalar carece de significado.
siendo que la magnitud a la derecha de la igualdad es un vector (tiene rango igual a 1).
En contraposicin a los dos casos considerados anteriormente, el rotor es una operacin vec-
torial que no cambia el rango de la expresin sobre la cual opera.
Dado que la notacin indicial representa cantidades de todo rango en trmino de sus com-
ponentes escalares individuales, el orden en el que esos trminos se escriben dentro de las
expresiones resulta usualmente irrelevante. En este sentido, la notacin indicial difiere de la
vectorial, en la cual el orden de los trminos en una expresin resulta importante. Una excep-
cin a esta caracterstica, y que resulta extremadamente importante, est vinculada con el rol
particular que tienen los operadores diferenciales (tales como la divergencia, el rotor, etc.). En
particular, conviene recordar que las reglas del clculo (la regla de la cadena, del producto,
etc.) siguen siendo vlidas en el contexto de la notacin indicial.
Esto significa, por ejemplo, que sigue valiendo la regla del producto:
k (ai bj ) = ai k bj + bj k ai .
~ ~a = i ai = a1 + a2 + a3
1 2 3
representa a un escalar. Por otro lado,
~ = ai i = a1 + a2 + a3 ,
~a
1 2 3
que es un operador. Por lo tanto
~ ~a = i ai 6= ai i = ~a .
~