Você está na página 1de 6

Mtodo epsilon-delta para operadores e diferenciales e identidades bsicas a

Ral Gormaz u October 16, 2011

El tensor (o el delta) de Kroneker: ij

No nos extendamos nuevamente sobre lo ya visto en clase, y solo recordemos que ij = 1 solo si i = j y es nulo en todo otro caso. Corresponde al elemento (i, j) de la matriz identidad. Como trabajaremos en R3 , los indices van solo de 1 a 3. Importante, el se relaciona con el producto interno (o punto) por: a b = ai bj ij = ai bi (1)

Ntese que se utiliza la convencin de Einstein para la suma sobre o o ndices repetidos.

El tensor de Levi-Civita: ijk

Este tensor se relaciona estrechamente con otro producto, el producto cruz. Tambin con el determinante. Una forma de definirlo es recordando el proe ducto cruz entre vectores de la base cannica. Los coeficientes de este tensor o permiten escribir la combinacin lineal de cada producto cruz de vectores o cannicos. Los valores ij1 , ij2 y ij3 son los coeficientes de la combinacin o o lineal que genera ei ej . Esto es: ei ej = ij1 e1 + ij2 e2 + ij3 e3 = ijk ek (se suma sobre k) 1 (2)

Por ejemplo e1 e2 = e3 = 0 e1 + 0 e2 + 1 e3 = 12k ek


121 122 123

O tambin e e2 e2 = 0 = 0 e1 + 0 e2 + 0 e3 = 22k ek
221 222 223

El producto cruz general resulta del siguiente clculo. a a b = (ai ei ) (bj ej ) = ai bj ei ej = ijk ai bj ek (3)

El tensor de Levi-Civita tiene las siguientes propiedades evidentes. Es antisimtrico, esto es, cambia de signo si permutamos de orden 2 de e sus indices. Por ejemplo, ijk = jik = ikj = kji De esto se deduce que es obligatoriamente nulo si al menos dos indices son iguales. En efecto, permutar esos indices repetidos deja los indices iguales, pero cambia el signo. Este tensor tambin se relaciona con el determinante (de 3 3). Recordee mos para esto la frmula, que es una alternativa para (3): o e1 e2 e3 b c = det b1 b2 b3 = ijk ei bj ck (notar que ijk = jki ) c 1 c2 c 3 de donde, reconociendo trminos, se obtiene que e a 1 a 2 a3 det b1 b2 b3 = ijk ai bj ck c1 c2 c3

Aplicaciones de esta relacin del tensor de Levi-Civita con el determio nante, pueden entregarnos identidades obvias, y otras no tanto. Una lista de algunas de estas propiedades que pueden verificarse directamente (en el fondo, los ijk son solamente 27 valores tomados en {1, 1, 0}, es decir, solo un nmero finito de casos a verificar). u

123 ijk 1i 2j 3k ijk i mj nk ijk mk ijk jk ijk ijk

=1 = 123 = mn = i jm im j = 2i =6

(4) (5) (6) (7) (8) (9)

De estas, la (4) ya la vimos, las (5) y (6) son evidentes (eliminando todos los valores nulos del tensor ij ). Las propiedades (8) y (9) se desprenden rapidamente de (7). En resumen, la unica que realmente requiere trabajo probar es la (7), y esta relacin es muy util. Para los interesados, al final se o incluye un esquema de demostracin que no requiere verificar todos los casos o posibles (Notese que como se suma sobre k, los casos son 3 para i, 3 para j, 3 para y 3 para m, lo que da un total de solo 81 casos a verificar).

Una ultima astucia prctica a

Si aij es una expresin simtrica de sus indices (i.e. aij = aji ) y bij es una o e expresin antisimtrica (i.e. bij = bji ) entonces aij bij = 0 (notar la doble o e sumatoria). Se prueba que aij bij = aij bij y ya! Por ejemplo ijk ij = 0, o mas interesante, para un campo de clase C 2 , 2 ijk = 0. xi xj Con esto, quedamos equipados para calcular cualquier expresin del tipo o de las que aparecen en las pginas 78 del apunte (1.2.2. Identidades veca toriales). Probar tres de ellas para entrar en confianza. Ustedes ataquen e el resto. Es importante que entiendan que propiedad se aprovecha en cada paso, para que luego puedan probar las otras identidades por su cuenta. Ejemplo 3 de la lista del apunte. Fijarse que se indica que todos los

campos utilizados son suficientemente diferenciable. div( rot F ) = div ( F) Fj ek ) = div(ijk xi 2 Fj = ijk xk xi =0

Ejemplo 7 de la lista del apunte. div (F G) = div (ijk Fi Gj ek ) = ijk (Fi Gj ) xk Fi Gj Gj + ijk Fi = ijk xk xk Fi Gj = kij Gj kji Fi xk xk = rot (F ) G rot (G) F Ejemplo 12 de la lista del apunte. Este corresponde a la mxima difia cultad. Aprovechen de hacer el intento de desarrollarlo con sus conocimientos previos (es decir, sin ijk ). Comparen as la cantidad de trabajo (y de tinta) de cada mtodo, y esto sin considerar que la probabilidad de error crece con e el tamao de las expresiones obtenidas. En este ejemplo se utilizara la util n relacin (7) de mas arriba. o

rot (F G) =

(ijk Fi Gj ek ) = km (ijk Fi Gj )m e x = mk (ijk Fi Gj )m e x = ( i mj + j mi ) (Fi Gj )m e x = i mj (Fi Gj )m + j mi e (Fi Gj )m e x x = (Fi Gj )j + e (Fi Gj )i e xi xj Fi Gj Fi Gj = Gj e j Fi ej + Gj ei + F i ei xi xi xj xj Gj Fi = div (F )G + div (G)F Fi e j + Gj e i xi xj = div (F )G + div (G)F G F Fi + Gj xi xj

Con esto, podemos considerar que el clculo ya esta hecho pero la notacin a o del apunte es diferente. Analicemos en detalle y comparemos lo obtenido para el penltimo trmino. u e G G G G Fi = F1 + F2 + F3 xi x1 x2 x3 G1 G1 G1 G2 G2 G2 G3 G3 G3 =( F1 + F2 + F3 , F1 + F2 + F3 , , F1 + F2 + F3 ) x1 x2 x3 x1 x2 x3 x1 x2 x3 = ( F G1 , F G 2 , F G 3 ) = F ( G1 )1 + F ( G2 )2 + F ( G3 )3 e e e Que corresponde a la frmula del apunte para ese trmino. Para el ultimo o e trmino es la misma cosa. e

La demostracin (sin comentarios) para la o sptima frmula e o

Para una demostracin que evite los 81 casos, se utilizan astutamente las o propiedades del determinante. En especial, 2 propiedades son requeridas. Si A y B son matrices de 3 por 3 (no requerimos mayor tamao) sabemos que n T (1) det(AB) = det(A) det(B) y (2) det(A) = det(A ). Tambin que el e elemento (ij) del producto de matrices se calcula como multiplicando la fila i con la columna j, lo que en notacin de suma de Einstein se dice cij = aik bkj . o Aqu va el clculo final: a 1i 2i = det 3i 1i 1j = det 1k i1 j1 = det k1 i = det j k i = det j k 1j 1k 1 1m det 2 2m 2j 2k 3j 3k 3 3m 2i 3i 1 1m det 2 2m 2j 3j 2k 3k 3 3m 1 1m i2 i3 det 2 2m j2 j3 k2 k3 3 3m im ik jm jk km kk im ik jm jk km 3 1k 2k 3k 1k 2k 3k 1k 2k 3k

ijk mk

= ik (j km jm k ) jk (i km im k ) + 3(i jm im j ) = (j im jm i ) (i jm im j ) + 3(i jm im j ) = i jm im j

Você também pode gostar