1 Levi-Civita - 3D (que é o que vai nos interessar nessa disciplina)

O símbolo de Levi-Civita é definido como: seja ki ∈ {1, 2, 3}∀i = 1, 2, 3. O símbolo de Livi-Civita (em 3D)
εk1 ,k2 ,k3 é definido como:

+1, se (k1 , k2 , k3 ) forem (1, 2, 3) ou (2, 3, 1) ou (3, 1, 2)

εk1 ,k2 ,k3 = −1, se (k1 , k2 , k3 ) forem (3, 2, 1) ou (1, 3, 2) ou (2, 1, 3)

0, se ki = kj para qualquer i 6= j


Uma regra mnemônica para sabermos se o símbolo de Levi-Civita é +1 ou −1 pode ser visto na Figura
abaixo.

Figura 1: O símbolo de Levi-Civita εijk é +1 quando os índices i, j, k seguirem a sequência da esquerda, e −1

quando seguirem a sequência da direita.

Exemplos:
• ε1,2,3 = +1
• ε2,3,1 = +1
• ε3,1,2 = +1
• ε3,2,1 = −1
• ε1,3,2 = −1
• ε2,1,3 = −1
• ε1,1,3 = 0

2 Matriz Quadrada - Determinante

 
A11 A12 A13
Seja a matriz quadrada: A = A21 A22 A23  o determinante de A é:
A31 A32 A33
det A = A11 A22 A33 + A12 A23 A31 + A21 A32 A13 − A13 A22 A31 − A23 A32 A11 − A12 A21 A33
Note que o determinante da matriz A acima pode ser reescrito como:

det A = A11 A22 A33 + A12 A23 A31 + A13 A21 A32 − A13 A22 A31 − A11 A23 A32 − A12 A21 A33
E dessa forma, podemos notar que o determinante da matriz 3 × 3 (A) acima pode ser reescrito como:
X
det A = εijk A1,i A2,j A3,k
i,j,k

1
onde as somas em i, j, k são de 1 a 3.
Observação: se definirmos de maneira apropriada o símbolo de Levi-Civita para dimensão n, podemos
escrever o determinante de uma matriz quadrada n × n por:
X
det An×n = εi1 ,i2 ,...,in A1,i1 A2,i2 . . . An,in
i1 ,...,in

Exemplo: fazer explicitamente para a matriz A acima o cálculo de todos os possíveis termos de:
X
εijk Aim Ajn Akr
i,j,k

, onde m, n e r podem ser 1, 2 ou 3.

• m=1→
X X
εijk Ai1 Ajn Akr = ε1jk A11 Ajn Akr + ε2jk A21 Ajn Akr + ε3jk A31 Ajn Akr
i,j,k j,k
X
= ε12k A11 A2n Akr + ε13k A11 A3n Akr + ε21k A21 A1n Akr
k
+ε23k A21 A3n Akr + ε31k A31 A1n Akr + ε32k A31 A2n Akr
= ε123 A11 A2n A3r + ε132 A11 A3n A2r + ε213 A21 A1n A3r
+ε231 A21 A3n A1r + ε312 A31 A1n A2r + ε321 A31 A2n A1r
= (+1)A11 A2n A3r + (−1)A11 A3n A2r + (−1)A21 A1n A3r
+(+1)A21 A3n A1r + (+1)A31 A1n A2r + (−1)A31 A2n A1r

• Note no resultado acima que, se n = 1 → o resultado se anula.

• Então, no resultado acima faremos, na sequência: m = 1, n = 2 →:
X
εijk Ai1 Aj2 Akr = (+1)A11 A22 A3r + (−1)A11 A32 A2r + (−1)A21 A12 A3r
i,j,k
+(+1)A21 A32 A1r + (+1)A31 A12 A2r + (−1)A31 A22 A1r

• Note no último resultado que, se r = 1 ou r = 2 → o resultado se anula.

• Então, no último resultado faremos, na sequência: m = 1, n = 2, r = 3 →:
X
εijk Ai1 Aj2 Ak3 = (+1)A11 A22 A33 + (−1)A11 A32 A23 + (−1)A21 A12 A33
i,j,k
+(+1)A21 A32 A13 + (+1)A31 A12 A23 + (−1)A31 A22 A13

• Mas este é justamente o resultado para o determinante da matriz A!

• Alguém pode falar que dei sorte ao escolher os valores iniciais de m, n, r. Então vou tentar de outra
forma.
• r=1→
X X
εijk Aim Ajn Ak1 = εij1 Aim Ajn A11 + εij2 Aim Ajn A21 + εij3 Aim Ajn A31
i,j,k i,j
X
= εi21 Aim A2n A11 + εi31 Aim A3n A11 + εi12 Aim A1n A21
i
+εi32 Aim A3n A21 + εi13 Aim A1n A31 + εi23 Aim A2n A31
= ε321 A3m A2n A11 + ε231 A2m A3n A11 + ε312 A3m A1n A21
+ε132 A1m A3n A21 + ε213 A2m A1n A31 + ε123 A1m A2n A31
= (−1)A3m A2n A11 + (+1)A2m A3n A11 + (+1)A3m A1n A21
+(−1)A1m A3n A21 + (−1)A2m A1n A31 + (+1)A1m A2n A31

2
 • Note no resultado acima que, se n = 1 → o resultado se anula.

• Então, no resultado acima faremos, na sequência: r = 1, n = 2 →:

X
εijk Aim Aj2 Ak1 = (−1)A3m A22 A11 + (+1)A2m A32 A11 + (+1)A3m A12 A21
i,j,k
+(−1)A1m A32 A21 + (−1)A2m A12 A31 + (+1)A1m A22 A31

• Note no último resultado que, se m = 1 ou m = 2 → o resultado se anula.

• Então, no último resultado faremos, na sequência: r = 1, n = 2, m = 3 →:

X
εijk Ai3 Aj2 Ak1 = (−1)A33 A22 A11 + (+1)A23 A32 A11 + (+1)A33 A12 A21
i,j,k
+(−1)A13 A32 A21 + (−1)A23 A12 A31 + (+1)A13 A22 A31

• O resultado acima é justamente (−1) det A!!!

• Quando fizemos m = 1, n = 2, r = 3 obtivemos (+1) det A. Quando fizemos m = 3, n = 2, r = 1

obtivemos (−1) det A.

• Ora, parece que teremos algum padrão neste raciocínio.

• Fica de para casa fazer o mesmo, mas em outras sequências diferentes, por exemplo: m = 2, n =
1, r = 3. Qual resultado você acha que vai obter?

• Podemos então escrever:

X X
εmnr det A = εmnr εijk Ai,1 Aj,2 Ak,3 = εijk Aim Ajn Akr
ijk i,j,k

3 Invariância Rotacional do Produto Vetorial

O que queremos demonstrar na verdade é:

Λ(~v × ~q) = (Λ~v × Λ~q)

sendo Λ uma transformação linear ortogonal (SO(3)), ~v e ~q dois vetores, e  ×  o produto vetorial.
A transformação ortogonal possui as seguintes propriedades:
P
• j λij λkj = δik

• det Λ = +1 (rotações próprias)

O produto vetorial é definido como: ~c = ~v × ~q, com a componente i de ~c dada por:

X
ci = εijk vj qk
j,k

Os vetores ~v e ~q se transformam como:

X
vj0 = λjm vm
m
X
qk0 = λkn qn
n

3
 Então, seguindo a referência [1], a componente i de (Λ~v × Λ~q) é dada por:
X
(Λ~v × Λ~q)i = εijk λjm vm λkn qn
j,k,m,n

Seguindo a demonstração, usando algumas identidades acima:

X
(Λ~v × Λ~q)i = εijk λjm vm λkn qn
j,k,m,n
X
= εljk δil λjm vm λkn qn
j,k,m,n,l
X
= εljk (λis λls )λjm vm λkn qn
j,k,m,n,l,s
!
X X
= εljk λls λjm λkn λis vm qn
m,n,s l,j,k

o termo entre parênteses na última linha é exatamente o que encontramos ao final da Seção 2:
X
εljk λls λjm λkn = εsmn det Λ
l,j,k

e como det Λ = +1:

X
(Λ~v × Λ~q)i = εsmn λis vm qn
s,m,n
!
X X
= λis εsmn vm qn .
s m,n

O termo entre parêntese na última linha é justamente a componente s do produto vetorial entre ~v e ~q:
X
(~v × ~q)s = εsmn vm qn
m,n

Finalmente:
X
(Λ~v × Λ~q)i = λis (~v × ~q)s
s
(Λ~v × Λ~q)i = (Λ(~v × ~q))i
 (1)

Agradecimento
Agradeço sobretudo aos diálogos com o Portal Deviante para a escrita deste texto.

4 Referências
[1] Site: https : //planetmath.org/RotationalInvarianceOf CrossP roduct
[2] ARFKEN, George B.; WEBER, Hans J. Mathematical methods for physicists. 1999.
[3] BUTKOV, Eugene. Física matemática. Livros Técnicos e Científicos, 1988.
[4] THORNTON, S. T.; MARION, J. B. Classical dynamics of particles and systems, Brooks/Cole, 2004.