Professional Documents
Culture Documents
Sem 2015-I
vector, y la expresin (a2 ) signica que se est elevando al cuadrado el valor del segundo
componente contravariante de un vector.
Convencin de la suma
La convencin de la suma fue introducida por Albert Einstein en 1916, por lo que tambin
es denominada como notacin de Einstein o convencin de la suma de Einstein. Einstein
bromeaba al respecto, diciendo I have made a great discovery in mathematics; I have suppressed the summation sign each time that the summation must be made over an index that
occurs twice...
El enunciado para la convencin de la suma es el siguiente:
Si un ndice aparece solamente una vez como un subndice asociado a una letra ncleo en
un trmino dado, y aparece de nuevo solamente una vez ms, como el superndice asociado
a la misma letra ncleo o a una diferente en el mismo trmino, entonces se tiene una suma
o sumatoria implcita sobre ese ndice a lo largo del intervalo de valores vlido para ste,
normalmente relacionado con la dimensin del espacio.
Los ndices repetidos son llamados ndices de suma (summation index), ndices mudos
(dummy index), ndices repetidos o ndices contrados. La suma sobre un ndice de suma
es llamada una contraccin. Los ndices que aparecen slo una vez en cada trmino, y que
no entran en la convencin de la suma, se denominan ndices libres o ndices vivos, y deben
aparecer slo una vez en todos los trminos de una expresin.
Si un ndice libre en particular se repite en varios trminos de una misma expresin, ste
debe aparecer en la misma posicin en todos ellos.
Ejemplos:
1. La siguiente suma
3
X
ak bk = ak bk = a1 b1 + a2 b2 + a3 b3
k=1
3
X
para k = 1; 2; 3:
ak b k c k = a1 b 1 c 1 + a2 b 2 c 2 + a3 b 3 c 3
k=1
B jx =c;
para i = 1 : m;
j = 1:n
para i = 1 : m;
j = 1:n
4. Doble suma
i j
f = Aij
j i
= Aji
5. Producto de matrices
AB = C
(Aik ) B k j = (Cij )
para i = 1 : m;
j = 1 : n;
k = 1 : p:
Delta de Kronecker
Las deltas de Kronecker se representan por
ij ;
ij
ij
ij ;
1 si i = j
0 si i 6= j
La delta de Kronecker es un tensor de segundo orden, y est relacionada con los componentes
del tensor identidad.
Como los valores que toma la delta de Kronecker son solo unos o ceros, la delta de
Kronecker es uno de los pocos tensores de segundo orden en donde el orden (y la posicin)
de los ndices se puede cambiar sin problema.
Ejemplos de uso
1.
i
aj
= ai
2.
T ikl
= T inm :
Podemos decir que la delta de Kronecker reemplaza el ndice que se encuentra en convencin de la suma en la letra ncleo o kernel, por el ndice libre de la delta de Kronecker
en la misma posicin del ndice reemplazado.
Smbolos de permutacin
Los smbolos de permutacin de orden tres, denotados por eijk o eijk , para k = 1 : 3 estn
denidos por
8
< 1 si el nmero de permutaciones es par
0
si se repite algn ndice
eijk ; eijk =
(2)
:
1 si el nmero de permutaciones es impar
Cancelacin de la suma
En algunas ocasiones se require representar algn tensor u operacin con ndices repetidos
pero que no representen una suma, y en esos casos es necesario cancelar la conveccin de
la suma, y para ello, el ndice repetido se expresa con un guin bajo. Por ejemplo, para la
delta de Kronecker,
i
i
i
(3)
i =
i =
i = 1
se indica que slo se quiere un componente, cualquiera que sea indicado por el valor que tome
el ndice i (que en el caso de la delta de Kronecker, siempre ser uno). Si no expresramos
la cancelacin de la suma en la delta de Kronecker, el resultado es el siguiente
i
+ : : : = n:
(4)
en donde n es la dimensin del espacio, con lo cual se puede observar que los resultados son
diferentes.
En el ejemplo previo, el ndice repetido que se subray pudo ser el ndice covariante
(subndice), el ndice contravariante (superndice) o ambos, dando el mismo resultado.
La cancelacin de la suma se puede utilizar en el ejemplo en donde la convencin de la
suma no se aplica
3
X
ak b k c k = a1 b 1 c 1 + a2 b 2 c 2 + a3 b 3 c 3
k=1
(5)
en donde se ha cancelado la suma para uno de los ndices, dejando a los otros dos bien
denidos para la convencin de la suma, y el ndice con la suma cancelada se comporta como
un ndice arrastrado, en el sentido de que va tomando los valores del ndice de suma. En
el caso del ejemplo de la cancelacin de la suma con la delta de Kronecker,
i
= 1;
(6)
(7)
(8)
la suma ha sido cancelada, y el ndice k ahora es un ndice libre, y los ndices k tomarn el
valor que se le asigne al ndice k.
@v k
;
@xm
(10)
y para el caso del componente covariante (ndice inferior) de un campo vectorial, la derivada
parcial con respecto a xm en forma compacta queda como
vk;m =
@vk
:
@xm
(11)
Observa que en estos ejemplos, el ndice en @=@xm se coloca como un ndice covariante
(inferior) en la notacin compacta, que es consistente con la conservacin de los ndices.
Ejercicios
1. Desarrolla las siguientes expresiones que estn en notacin indicial y despus escrbelas
en notacin directa. Indica de qu orden es el tensor que se tiene en cada una de las
expresiones.
6
(a) ui v i
(b) ui v i wj gj
(c) Ti j uj gi
(d)
(e) E = fm A
(f) R
l
m
= Pmj Qmji
(g) Rkl g km g ln
(h) Akl glm gkn