Repaso de notacin indicial

1 Vectores
Sean a y b dos vectores en el espacio geomtrico ordinario. Por denicin, su
producto escalar (o producto interior ) quedara como:
3
X
a b= ai bi = a1 b1 + a2 b2 + a3 b3 , (1)
i=1

donde ai y bi son sus componentes respecto de un cierto sistema de referencia

f^
e1 ; e^2 ; e^3 g. Podemos escribir a b de forma abreviada como ai bi , donde se ha
aplicado el convenio de suma sobre ndices repetidos. En lo sucesivo, asumiremos
que todos los subndices barren los valores 1; 2 y 3, y a menos que se especique
lo contrario, haremos tambin uso del convenio de suma.
El productor vectorial de a y b, que habitualmente escribimos en forma de
determinante,

e^1 e^2 e^3

a b = a1 a2 a3 =
b1 b2 b3
= (a2 b3 a3 b2 ) e^1 + (a3 b1 a1 b3 ) e^2 + (a1 b2 a2 b1 ) e^3 , (2)

puede ponerse de forma ms compacta utilizando notacin indicial

a b i
= "ijk aj bk , (3)
donde "ijk es el tensor totalmente antisimtrico (tensor de permutacin),
que verica las siguientes propiedades

1. Si dos de sus ndices aparecen repetidos, vale cero.

2. "123 = 1.
3. "ijk = 1 si fijkg es una permutacin par de f1; 2; 3g
4. "ijk = 1 si fijkg es una permutacin impar de f1; 2; 3g

Escrito explcitamente e interpretando i como ndice de la, j como ndice

de columna y k como ndice de columna matricial, el tensor " quedara como:

1
 0 0 1 1 0 0 1 1
"111 "121 "131 0 0 0
B @ "211 "221 "231 A C B @ 0 0 1 A C
B C B C
B "311 "321 "331 C B 0 1 0 C
B 0 1 C B 0 1 C
B "112 "122 "132 C B 0 0 1 C
B C B C
"=B
B
@ "212 "222 "232 A C=B
C B
@ 0 0 0 A C.
C (4)
B "312 "322 "332 C B 1 0 0 C
B 0 1 C B 0 1 C
B "113 "123 "133 C B 0 1 0 C
B C B C
@ @ "213 "223 "233 A A @ @ 1 0 0 A A
"313 "323 "333 0 0 0
A partir de aqu es fcil comprobar cmo la ec.3 es correcta. Consideremos
por ejemplo la componente 1
3
X
a b 1
= "1jk aj bk = a2 b3 a3 b2 . (5)
j;k=1

Muchas identidades comunes del anlisis vectorial pueden probarse de forma

sencilla recurriendo a la notacin indicial. Por ejemplo, la relacin:

a b c = b (c a) = c a b (6)
quedara como:
a b c = "ijk ai bj ck . (7)
Ahora bien, en en virtud de la propiedad 3 del tensor de permutacin,
podemos escribir la ec.7 como:

a b c = "jki ai bj ck = bj ("jki ck ai ) =
= bi ("ijk cj ak ) = b (c a) , (8)

o bien como:

b (c a) = "ijk bi cj ak = "jki bi cj ak =
= cj ("jki ak bi ) = c a b . (9)

Tambin podemos intentar probar la propiedad del triple producto vectorial:

a b c = b (a c) c a b . (10)
El miembro izquierdo queda, en notacin indicial, como:

a b c i
= "ijk aj b c k
= ("ijk "klm ) aj bl cm . (11)
Ahora bien, el producto "ijk "klm puede ponerse como il jm im jl , identi-
dad sta que puede vericarse elemento a elemento a partir de la ec.4. Podramos
as reescribir la ec.11, obteniendo:

2
 a b c i
= ( il jm im jl ) aj bl cm =
= bi am cm ci al bl =
= b (a c) c a b . (12)

El producto exterior de los vectores a y b se dene como:

0 1
a1 b1 a1 b2 a1 b3
D = ab = @ a2 b1 a2 b2 a2 b3 A (13)
a3 b1 a3 b2 a3 b3
y se denota sin ni . Notemos que D tiene dos ndicies mientras que a
y b, slo uno. A travs del producto exterior, tomando dos vectores (tensores
de orden uno), hemos obtenido una matriz 3 3 (un tensor de orden 2). De-
notaremos los tensores de orden superior a 1 con letras maysculas en negrita.
A menos que se diga lo contrario, manejaremos en todo momento, tensores de
orden 2.

2 Tensores de orden superior

Dos tensores son iguales, si todos sus ndices coinciden

T = S ,Tij = Sij (14)

El lgebra de tensores es totalmente anloga a la de matrices, as, por ejemplo
[T S]ij = Tij Sij o [T t ]ij = Tji , donde el superndice t denota trasposicin.
Diremos que un tensor es simtrico si sus componentes verican: Tij = Tji y
antisimtrico, si Tij = Tji . En general, siempre es posible descomponer un
tensor en una parte simtrica y otra antisimtrica:
h i 1 1
[T]ij = T(S) + T(A) = (Tij + Tji ) + (Tij Tji ) . (15)
ij 2 2
El concepto de producto exterior puede extenderse tambin a tensores de
orden superior. Sean y los rdenes de dos tensores (el nmero de ndices de
los mismos), su producto exterior ser un tensor de orden + . Veamos por
ejemplo, el producto exterior del vector a por el tensor de orden 2, T:

[S]ijk = [aT]ijk =ai Tjk , (16)

donde S es un tensor de orden 3 (tiene tres ndices, fijkg). Notemos que,
de nuevo, no hemos escrito ni ni entre los tensores sobre los que se aplica el
producto exterior. Ta y TR, por su parte, quedaran como:

[Ta]ijk = Tij ak (17)

[TR]ijkl = Tij Rkl . (18)

3
 Tambin podemos denir el producto interior de dos tensores como el tensor
que resulta de contraer (repetir) los ndices adyacentes. Dados dos tensores de
rdenes y , el orden del tensor resultante tras ejecutar su prodcuto interior
ser + 2. Veamos algunos ejemplos:

[T a]i = Tij aj ; [a T]i =aj Tji (19)

[T S]ik = Tij Sjk ; [S T]ik = Sij Tjk . (20)

Como vemos, a diferencia de lo que ocurre cuando trabajamos con vectores,

el producto interior no es conmutativo.
Puede denirse as, mismo un doble producto interior, que consiste en con-
traer no slo los ndices adyacentes sino tambin los segundos ms prximos.
Por ejemplo:

T : S = Tji Sij . (21)

Dados dos tensores de rdenes y , en general, su doble producto interior
es un tensor de orden + 4. Esta operacin, permite escribir la traza de un
tensor de orden 2 como:
X X
tr fTg = Tii = Tij ji = T : 1, (22)
i i;j

donde 1 es el tensor unidad. Notemos adems que el doble producto interior

s que es conmutativo entre tensores de orden 2.

Volviendo a la ec.15 y poniendo T como producto exterior de dos vectores
a y b, se tendra:
1 1
[T]ij = (ai bj + aj bi ) + (ai bj aj bi ) . (23)
2 2
Centrndonos en la parte antisimtrica, T(A) ij , y comparndola con la
ec.2, observamos que sus componentes (de las cuales slo 3 son independientes
por tratarse de un tensor antisimtrico) se relacionan con las del vector c = a b
de la siguiente forma:
0 1
0 c3 c2
T(A) = @ c3 0 c1 A (24)
c2 c1 0

3 El operador nabla
El operador diferencial nabla r, se dene como:
@ @ @
r= e^1 + e^2 + e^3 . (25)
@x1 @x2 @x3

4
 Sea = (x1 ; x2 ; x3 ) una funcin escalar, sabemos que su gradiente es:
@ @ @
r = e^1 + e^2 + e^3 , (26)
@x1 @x2 @x3
o en notacin indicial:
@
r i
= [grad ]i =
. (27)
@xi
Como vemos, la notacin r es consecuente con la denicin de producto
exterior de dos tensores: mientras que la funcin escalar es un tensor de orden
cero, r es un tensor de orden 1. El resultado, como vemos es tambin un tensor
de orden 1.

Anlogamente, podemos denir el gradiente de un vector a como el producto

exterior ra:
@aj
ra ij
= [grad a]i = ri aj = (28)
@xi
y en general el gradiente de un tensor de orden arbitrario como rT.

Anlogamente, la divergencia de un tensor consiste en hacer el producto

interior con r.

@ai
r a i
= [div a]i = ri ai = (29)
@xi
@Tji
r T i
= [div T]i = rj Tji = (30)
@xj
El rotacional de un campo vectorial, puede tambin escribirse de forma sen-
cilla en notacin indicial como producto vectorial:
@ak
r a i
= [curl a]i = "ijk rj ak = "ijk (31)
@xj
2
Por ltimo, introduciremos el operador laplaciano r = r r = , que
puede aplicarse bien a escalares o bien a vectores componente a componente.
Con estas deniciones, al igual que se hizo en 1, podemos tratar de pro-
bar algunos resultados sencillos del anlisis vectorial que involucran gradientes,
divergencias y rotacionales:

r r=3
En efecto, siendo r = (x1 ; x2 ; x3 ), se tiene
@xi
r r= = ii = 3. (32)
@xi

5
 r r=0

Lo comprobamos para una cualquiera de las componentes:

@xk
r r i
= "ijk rj rk = "ijk = "ikj jk = "ijj = 0, (33)
@xj
donde hemos hecho uso de la propiedad 1 del tensor de permutacin "ijk .

r f =f r + r f , donde = (x1 ; x2 ; x3 ) es una funcin

escalar y f = f (x1 ; x2 ; x3 ), una funcin vectorial.

Escribimos r f en notacin indicial como:

@ ( fi ) @ @fi
r f = ri ( fi ) = = fi + =
@xi @xi @xi
= f r + r f . (34)

r f = r f + r f

Examinaremos una componente genrica i del miembro izquierdo de la igual-

dad:

@ ( fk )
r f i
= "ijk rj fk = "ijk =
@xj
@ @fk
= "ijk fk + "ijk =
@xj @xj
= r f + r f i
. (35)

f r f = 12 r f f f r f

De nuevo, estableceremos esta igualdad componente a componente:

f r f i
= "ijk fj r f k = "ijk "klm fj rl fm =
@fm
= "ijk "klm fj . (36)
@xl
Haciendo aqu uso una vez ms de la relacin:

6
 "ijk "klm = il jm im jl , (37)
se llega a:

@fm
f r f i
= ( il jm im jl ) fj =
@xl
@fj @fi
= fj fj =
@xi @xj
1
@ 2 fj fj @fi
= fj . (38)
@xi @xj

Identicamos fcilmente el primer sumando como r 12 f f i

y el segundo,
como f r f i , con lo que queda probada la propiedad.