Sunteți pe pagina 1din 6

M´etodo ”epsilon-delta” para operadores diferenciales e identidades b´asicas

Ra´ul Gormaz October 16, 2011

1 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 R 3 , los indices van solo de 1 a 3. Importante, el δ se relaciona con el producto interno (o punto) por:

(1)

a b = a i b j δ ij = a i b i

N´otese que se utiliza la convenci´on de Einstein para la suma sobre ´ındices repetidos.

2 El tensor de Levi-Civita: ε ijk

Este tensor se relaciona estrechamente con otro producto, el producto cruz. Tambi´en con el determinante. Una forma de definirlo es recordando el pro- ducto cruz entre vectores de la base can´onica. Los coeficientes de este tensor permiten escribir la combinaci´on lineal de cada producto cruz de vectores can´onicos. Los valores ε ij 1 , ε ij 2 y ε ij 3 son los coeficientes de la combinaci´on lineal que genera eˆ i × eˆ j . Esto es:

eˆ i × eˆ j = ε ij 1 eˆ 1 + ε ij 2 eˆ 2 + ε ij 3 eˆ 3 = ε ijk eˆ k

1

(se suma sobre k )

(2)

Por ejemplo

eˆ 1 × eˆ 2 = eˆ 3 = 0 eˆ 1 + 0 eˆ 2 + 1 eˆ 3 = ε 12 k eˆ k

ε

121

ε

122

ε

123

O tambi´en

eˆ 2 × eˆ 2 = 0 = 0 eˆ 1 + 0 eˆ 2 + 0 eˆ 3 = ε 22 k eˆ k

ε

221

ε

222

ε

223

El producto cruz general resulta del siguiente c´alculo.

a × b = ( a i eˆ i ) × ( b j eˆ j ) = a i b j eˆ i × eˆ j = ε ijk a i b j eˆ k

El tensor de Levi-Civita tiene las siguientes propiedades evidentes. Es antisim´etrico, esto es, cambia de signo si permutamos de orden 2 de 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 tambi´en se relaciona con el determinante (de 3 × 3). Recorde- mos para esto la f´ormula, que es una alternativa para (3):

(3)

b × c = det

eˆ 1

b

c

1

1

eˆ 2

b

c

2

2

eˆ 3

b

3

3

c

  = ε ijk eˆ i b j c k (notar que ε ijk = ε jki )

de donde, reconociendo t´erminos, se obtiene que

det

a

b

c

1

1

1

a

b

c

2

2

2

a

b 3 = ε ijk a i b j c k c

3

3

Aplicaciones de esta relaci´on del tensor de Levi-Civita con el determi- 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 n´umero finito de casos a verificar).

2

ε 123 = 1

ε ijk δ 1 i δ 2 j δ 3 k

= ε 123

ε ijk δ i δ mj

δ nk

= ε mn

ε ijk ε mk

=

δ i δ jm δ im δ j

ε ijk ε jk = 2 δ i

ε ijk ε ijk = 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 relaci´on es muy util.´ Para los interesados, al final se incluye un esquema de demostraci´on que no requiere verificar todos los casos 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).

3 Una ultima´

astucia pr´actica

Si a ij es una expresi´on sim´etrica de sus indices (i.e. a ij = a ji ) y b ij es una expresi´on antisim´etrica (i.e. b ij = b ji ) entonces a ij b ij = 0 (notar la doble sumatoria). Se prueba que a ij b ij = a ij b ij y ya! Por ejemplo ε ijk δ ij = 0, o mas interesante, para un campo ϕ de clase C 2 , 2 ϕ

ε

∂x i ∂x j Con esto, quedamos equipados para calcular cualquier expresi´on del tipo de las que aparecen en las p´aginas 7–8 del apunte (1.2.2. Identidades vec- toriales). Probar´e tres de ellas para entrar en confianza. Ustedes ataquen 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

ijk

= 0.

3

campos utilizados son ”suficientemente diferenciable”.

div( rot F ) =

div ( ∇ × F )

div( ε ijk F ∂x j i eˆ k )

2 F j

=

= ε ijk

∂x k ∂x i

= 0

Ejemplo 7 de la lista del apunte.

div ( F × G ) = div ( ε ijk F i G j eˆ k )

=

=

=

ε

ε

ε

ijk

ijk

kij

∂x

∂F i

k

∂x

x k ( F i G j )

∂F i

G j + ε ijk ∂G ∂x k j

k

G j ε kji ∂G ∂x k j

F

i

F

i

= rot ( F ) G rot ( G ) F

Ejemplo 12 de la lista del apunte. Este corresponde a la m´axima difi- 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 m´etodo, y esto sin considerar que la probabilidad de error crece con el tama˜no de las expresiones obtenidas. En este ejemplo se utilizara la util´ relaci´on (7) de mas arriba.

4

rot ( F × G ) =

∇ × ( ε ijk F i G j eˆ k )

= ε km

x ( ε ijk F i G j e m

= ε mk

x ( ε ijk F i G j e m

= ( δ i δ mj +

δ j δ mi ) x ( F i G j e m

=

=

δ i δ mj

x ( F i G j e m + δ j δ mi x ( F i G j e m

x i ( F i G j e j + x j ( F i G j e i

=

F i G j eˆ j G j F i eˆ j +

∂x i

∂x i

∂F i

∂x j

G j eˆ i + G ∂x j j F i eˆ i

∂G j

∂x i

G

∂F i

∂x j

j G j

= div ( F ) G + div ( G ) F

= div ( F ) G + div

F i eˆ j +

F i +

∂ F

( G ) F

∂x i

∂x

G j eˆ i

Con esto, podemos considerar que el c´alculo ya esta hecho pero la notaci´on del apunte es diferente. Analicemos en detalle y comparemos lo obtenido para el pen´ultimo t´ermino.

∂ G ∂x i

G

∂x 1

∂ G ∂x 2

∂x 2

∂ G ∂x

F i =

=

F 1 +

F 2 +

3 F 3

∂x 3

∂x 1

( G 1 F 1 + G 1 F 2 + G 1 F 3 , G 2 F 1 + G 2 F 2 + G 2 F 3 , , G 3 F 1 + G 3 F 2 + G 3 F 3 )

∂x 1

∂x 2

∂x 3

∂x 1

∂x 2

∂x 3

( F ∙ ∇ G 1 , F ∙ ∇ G 2 , F ∙ ∇ G 3 )

=

= F ( G 1 e 1 + F ( G 2 e 2 + F ( G 3 e 3

Que corresponde a la f´ormula del apunte para ese t´ermino. Para el ultimo´ t´ermino es ”la misma cosa”.

5

4 La demostraci´on (sin comentarios) para la s´eptima f´ormula

Para una demostraci´on que evite los 81 casos, se utilizan astutamente las propiedades del determinante. En especial, 2 propiedades son requeridas. Si A y B son matrices de 3 por 3 (no requerimos mayor tama˜no) sabemos que (1) det( AB ) = det( A ) det( B ) y (2) det( A ) = det( A T ). Tambi´en que el elemento ( ij ) del producto de matrices se calcula como multiplicando la fila i con la columna j , lo que en notaci´on de suma de Einstein se dice c ij = a ik b kj . Aqu´ı va el c´alculo final:

ε ijk ε mk =

det

=

=

det

det

= det

= det

δ

δ

δ

1 i

2 i

3 i

δ 1 i δ 1 j δ 1 k

δ i 1 δ j 1 δ k 1

δ i δ j δ k

δ i δ j δ k

δ 1 j δ 2 j δ 3 j

δ 2 i δ 2 j δ 2 k

δ i 2 δ j 2 δ k 2

δ im

δ jm

δ km

δ im

δ jm

δ km

δ

δ

δ

1 k

2 k

3 k

det

δ 1 δ 2 δ 3

δ 3 i δ 3 j δ 3 k

det

δ 1 δ 2 δ 3

δ i 3 δ j 3 δ k 3

det

δ 1 δ 2 δ 3

δ ik

δ jk

δ kk

δ ik

δ jk

3

δ

δ

δ

1 m

2 m

3 m

δ

δ

δ

δ

δ

δ

1 m

2 m

3 m

1 m

2 m

3 m

δ

δ

δ

1 k

2 k

3 k

δ

δ

δ

δ

δ

δ

1 k

2 k

3 k

1 k

2 k

3 k

= δ 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

6