1

Conveno de Einstein, e tensores de Levi-Civita e ca Kronecker

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

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

ai bi = ab cos

(1)

onde a e b so os comprimentos de a e b, e o ngulo entre esses dois vetores. Aqui a e a 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 um tensor, no momento no se preocupe com e a 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 impl a 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 no contribui, restando a apenas os termos i = j, o que fornece a expresso do produto escalar. a Vamos introduzir a conveno de Einstein da soma, segundo a qual sempre estar ca 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 ver no decorrer do curso e a que o tensor de Kronecker muito util. e Ao introduzir o produto vetorial de dois vetores, fomos levados naturalmente a conisderar um objeto de trs e ndices, ijk , que possui as seguites propriedades: 123 = 1, e ijk = jik = ikj . Assim, utilizando a conveno de Einstein, temos para o produto vetorial ca (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 expresso parece complicada, mas podemos simplicar ijk imn . Em primeiro lugar, note a que para um dado valor de i, os ndices j e k devem ser diferentes dele. Por exemplo, se i = 1, ento j e k devem ser 2 e 3, ou 3 e 2. O mesmo vale para o par m, n, o que implica a 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 esto na mesma ordem, o resultado 1, caso contrrio 1. Podemos a e a e combinar essas informaes de uma forma compacta, usando o delta de Kronecker: considere co jknm jm kn jn km T = . Note que se o par {j, k} for diferente do par {m, n}, ento a T jknm = 0. Verique agora que as duas propriedades que apresentamos antes so satisfeitas a por T jknm . Isso signica que
ijk imn

= jm kn jn km

(9)

Essa frmula muito util, e vale a pena voc se esforar para entend-la. Vamos aplic-la o e e c e a no clculo do comprimento do vetor c. Temos a 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 pode ter visto em algum outro curso (mtodos matemticos ou relatividade), um tensor e e a a um objeto matemtico, cujas componentes se transformam de uma certa maneira. E fcil e a mostrar que, de fato, os tensores de Levi-Civita e Kronecker se transformam como tensores sob o grupo de rotaes. Mas isso no algo importante neste ponto do curso, e se no faz co a e a muit o sentido agora, no se preocupe. a