1

Conven c ao de Einstein, e tensores de Levi-Civita e Kronecker

Em aula apresentamos alguns conceitos simples, que voc es j a conhecem de cursos anteriores, mas de uma forma que talvez voc e n ao tenha visto antes. Nesta nota complementamos o livro, explicando a conven c ao de Einstein, os tensores de Levi-Civita e Kronecker, e algumas de suas propriedades elementares. Como vimos, o produto escalar de dois vetores a e b e dado por
3

a b a1 b 1 + a2 + b 2 + a3 b 3 =
i=1

ai bi = ab cos

(1)

onde a e b s ao os comprimentos de a e b, e e o angulo entre esses dois vetores. Aqui ij podemos introduzir o tensor de Kronecker , denido da seguinte maneira ij = 1 0 se se i=j i=j (2)

Depois explicaremos o que quer dizer que e um tensor, no momento n ao se preocupe com isso. Assim a soma que dene o produto escalar pode ser reescrita assim
3

ai b i =
i=1 i,j

ij ai bj

(3)

onde est a impl cito que a soma nos ndices i e j vai de 1 a 3. A partir da maneira que denimos o delta de Kronecker, ca claro que sempre i = j o termo n ao contribui, restando apenas os termos i = j , o que fornece a express ao do produto escalar. Vamos introduzir a conven c ao de Einstein da soma, segundo a qual sempre estar a impl cita uma soma sempre que houver ndices repetidos. Neste caso, temos
3

ai b i =
i=1 i,j

ij ai bj = ij ai bj

(4)

Parece que complicamos as coisas, em vez de simplicar. Mas voc e ver a no decorrer do curso que o tensor de Kronecker e muito u til. Ao introduzir o produto vetorial de dois vetores, fomos levados naturalmente a conisderar um objeto de tr es ndices, ijk , que possui as seguites propriedades: 123 = 1, e ijk = jik = ikj . Assim, utilizando a conven c ao de Einstein, temos para o produto vetorial (a b)i =
ijk

aj b k

(5)

Calculemos o comprimento deste vetor. Sabemos que |c|2 = c c, ou seja c c = ij cj cj = 1

ijk

aj bk

imn

am b n

(6)

A express ao parece complicada, mas podemos simplicar ijk imn . Em primeiro lugar, note que para um dado valor de i, os ndices j e k devem ser diferentes dele. Por exemplo, se i = 1, ent ao j e k devem ser 2 e 3, ou 3 e 2. O mesmo vale para o par m, n, o que implica em {j, k } ser o igual a {m, n}. Qualquer outro caso implica imediatamente em ijk imn = 0. Suponhamos que (j, k ) = (m, n) = (2, 3). Assim, temos
i23 i23

123 123

= 1.1 = 1

(7)

No caso em que (j, k ) = (n, m) = (2, 3), temos

i23 i32

123 132

= 1.(1) = 1

(8)

ou seja, se os pares est ao na mesma ordem, o resultado e 1, caso contr ario e 1. Podemos combinar essas informa c oes de uma forma compacta, usando o delta de Kronecker: considere jknm jm kn jn km T = . Note que se o par {j, k } for diferente do par {m, n}, ent ao T jknm = 0. Verique agora que as duas propriedades que apresentamos antes s ao satisfeitas por T jknm . Isso signica que
ijk imn

= jm kn jn km

(9)

Essa f ormula e muito u til, e vale a pena voc e se esfor car para entend e-la. Vamos aplic a-la no c alculo do comprimento do vetor c. Temos c c = ij cj cj = ijk aj bk imn am bn = ( jm kn jn km )aj bk am bn = |a|2 |b|2 (a b)2 = a2 b2 (1 cos2 ) = a2 b2 sin2 (10)

Antes de terminarmos, devemos explicar por que chamamos esses objetos de tensores. Como voc e pode ter visto em algum outro curso (m etodos matem aticos ou relatividade), um tensor f e um objeto matem atico, cujas componentes se transformam de uma certa maneira. E acil mostrar que, de fato, os tensores de Levi-Civita e Kronecker se transformam como tensores sob o grupo de rota c oes. Mas isso n ao e algo importante neste ponto do curso, e se n ao faz muit o sentido agora, n ao se preocupe.