Você está na página 1de 118

INTRODUO AOS TENSORES 1

Introduo aos Tensores


pg.
1. Conceitos preliminares ......................................................................................................... 3
2. Vetores e tensores contravariantes. Invariantes. ............................................................... 4
3. Vetores e tensores covariantes. Tensores mistos. .............................................................. 5
4. Operaes fundamentais com tensores ............................................................................... 6
a) Adio e subtrao ............................................................................................................. 6
b) Multiplicao externa ......................................................................................................... 7
c) Contrao de um tensor misto ............................................................................................ 7
d) Multiplicao interna ......................................................................................................... 7
e) Tensores simtricos e anti-simtricos ................................................................................ 7
f) Lei do quociente ................................................................................................................. 8
5. Tensores relativos ................................................................................................................. 9
6. O elemento de comprimento de arco e o tensor mtrico ................................................. 10
a) O tensor fundamental covariante ...................................................................................... 10
b) O tensor fundamental contravariante ............................................................................... 12
c) A formao de novos tensores por meio dos tensores fundamentais ............................... 12
d) Magnitude de um vetor e ngulo entre vetores ................................................................ 13
e) Propriedades do determinante mtrico ............................................................................. 14
7. Componentes fsicos de um tensor .................................................................................... 14
8. Equao da linha geodsica ............................................................................................... 17
9. Lei de transformao dos smbolos de Christoffel .......................................................... 19
10. Derivada covariante ........................................................................................................... 21
a) Derivada covariante de tensores ....................................................................................... 21
b) Derivada covariante de tensores relativos ........................................................................ 25
11. Derivada intrnseca ou absoluta ........................................................................................ 28
12. Formas tensoriais do gradiente, divergncia, laplaciano e rotacional ........................... 29
a) Gradiente .......................................................................................................................... 29
b) Divergncia ...................................................................................................................... 29
c) Laplaciano ........................................................................................................................ 30
d) Rotacional ........................................................................................................................ 31
13. Tensor de curvatura ou de Riemann-Christoffel ............................................................ 31
14. Problemas propostos .......................................................................................................... 34
15. Solues dos problemas propostos .................................................................................... 40
Apndice A Coordenadas curvilneas .................................................................................. 68
Apndice B A conveno de Einstein para somatrios ...................................................... 88
Apndice C Algumas tcnicas do Clculo de Variaes .................................................. 103
Referncias bibliogrficas ...................................................................................................... 118
INTRODUO AOS TENSORES 2
Prefcio

Se Deus no existe, nada se
perde por se acreditar nele;
mas, se existe, perde-se tu-
do por no se acreditar.
Blaise Pascal


Este texto didtico foi preparado para o ensino do tpico sobre tensores da ementa de M-
todos Matemticos Aplicados II, disciplina que todo aluno de Fsica na Universidade Federal
Fluminense deve cursar. Procurou-se versar sobre tantos conceitos e mtodos quantos podem ser
expostos e devidamente exercitados em cerca de 24 horas de aula. A profundidade com que os
mesmos foram abordados foi definida por esse limite temporal bem como pelo fato de ser o tex-
to destinado a alunos de graduao.
Pr-requisitos especficos so matrizes e coordenadas curvilneas; pr-requisitos genricos
so as disciplinas de Clculo e lgebra Linear constantes em qualquer grade curricular de Fsi-
ca. Especialmente importante no estudo de tensores a desenvoltura na utilizao da conveno
de Einstein para a notao de somatrios; nesse intento prov-se um apndice, a ser lido pelos
que ainda no dominem aquela notao. Proporcionam-se tambm apndices sobre coordenadas
curvilneas e, visando ao estudo das geodsicas, sobre algumas tcnicas do Clculo de Varia-
es.
O autor particularmente grato aos seus alunos pela depurao de vrios erros tipogrfi-
cos e estimaria a contribuio de qualquer leitor nesse sentido, estando o correio eletrnico
abaixo disposio para a comunicao de qualquer tipo de erro presente nesta obra.

ROBERTO TOSCANO COUTO
toscano@vm.uff.br
Universidade Federal Fluminense
Departamento de Matemtica Aplicada
Niteri, Julho de 2003



INTRODUO AOS TENSORES 3
1. Conceitos preliminares
Equation Section 1
A descrio matemtica das leis fsicas, para ser vlida, deve ser independente do sistema
de coordenadas empregado: as equaes matemticas que expressam as leis da natureza devem
ser covariantes, isto , invariantes na sua forma sob mudanas de coordenadas. exatamente o
cumprimento dessa exigncia que leva os fsicos ao estudo do Clculo Tensorial, de capital im-
portncia na Teoria Geral da Relatividade e muito til em vrios outros ramos da Fsica.
Suponha que estejamos trabalhando com N variveis reais
1 2
,
N
x x x . A razo dessa ma-
neira de escrev-las, com superndices em vez de subndices, ficar mais clara adiante. Tais va-
riveis so denominadas coordenadas; a um conjunto de seus valores chamamos de ponto; j a
totalidade de pontos correspondentes a todos os valores das coordenadas constitui um espao de
N dimenses, aqui denotado por
N
V . Diz-se que tal espao
N
V descrito no sistema de coorde-
nadas
i
x , onde est implcito que 1, 2 i N = .
A estratgia usada para desenvolver a geometria do espao
N
V consiste em tomar concep-
es geomtricas ordinrias e estender suas definies quele espao, sempre com o cuidado de
que suas restries ao nosso espao tridimensional euclidiano reproduzam as definies familia-
res. Por exemplo, uma curva definida como a totalidade dos pontos dados pelas equaes

( ) ( 1, 2 ) ,
i i
x f t i N = = (1-1)

chamadas parametrizao da curva, sendo t o parmetro e ( )
i
f t N funes.
Dissemos acima que um princpio bsico do Clculo Tensorial que no fiquemos restri-
tos a um nico sistema de coordenadas. Devemos desenvolver relaes que sejam vlidas, no
em um sistema de coordenadas apenas, mas em todos. Nesse sentido, considere outras N vari-
veis
i
x dadas atravs de N funes das coordenadas
i
x ,


1 2
( , ) ( 1, 2 ) .
i i N
x f x x x i N = = (1-2)

Estas equaes definem para cada ponto
1 2
,
N
x x x um conjunto novo de coordenadas
1 2
,
N
x x x , o novo sistema de coordenadas
i
x . Admitimos que o jacobiano


1 1
1
1
N
i
j
N N
N
x x
x x
x
J
x
x x
x x



= =

. .

(1-3)

nunca se anule para que a Eq. (1-2) possa ser invertida:


1 2
( , ) ( 1, 2 ) .
i i N
x g x x x i N = = (1-4)

As Eqs. (1-2) e (1-4) definem uma transformao de coordenadas. Note que


1
.
i
j
x
J
J
x

= =


(1-5)
INTRODUO AOS TENSORES 4
Denotaremos a Eq. (1-2) mais sucintamente na forma
( ) ,
i i
x x x = (1-6)
pois a notao desempenha um papel importantssimo no Clculo Tensorial e a Eq. (1-6) mais
fcil de se escrever do que a Eq. (1-2). Nessa notao, a Eq. (1-4) seria ( )
i i
x x x = .
Em geral, os sistemas de coordenadas
i
x ,
i
x , etc, que surgiro no decorrer da exposio
podem ser quaisquer sistemas de coordenadas curvilneas (e.g., as coordenadas cilndricas ou as
esfricas), a no ser que se diga explicitamente tratar-se de um sistema de coordenadas especfi-
co. Contudo, s vezes, enfatizaremos o carter genrico das coordenadas referindo-se a elas co-
mo coordenadas curvilneas.


2. Vetores e tensores contravariantes. Invariantes.
Equation Section (Next)
Considere um ponto P de coordenadas
i
x e um ponto vizinho Q de coordenadas
i
x +
i
dx
. Esses dois pontos definem um deslocamento infinitesimal, caracterizado pelo vetor PQ
,
; no
sistema de coordenadas
i
x , esse vetor descrito pelas N grandezas
i
dx , que podem ser chama-
das de seus componentes naquele sistema de coordenadas.
Usemos agora um sistema de coordenadas
i
x diferente. Neste, os componentes daquele
vetor so
i
dx . Os componentes de PQ
,
nos dois sistemas conectam-se pela equao (note o uso
da conveno de Einstein para o somatrio)
,
i
i j
j
x
dx dx
x

=

(2-1)
que so lineares e homogneas.
O vetor PQ
,
h de ser considerado como tendo um significado absoluto, mas os nmeros
que o descrevem, seus componentes, dependem do sistema de coordenadas empregado, embora,
uma vez conhecidos num sistema, podem ser calculados em qualquer outro atravs da Eq. (2-1).
O conjunto dos componentes
i
dx do deslocamento infinitesimal o prottipo de uma classe de
entes geomtricos denominados vetores contravariantes, assim definidos:
Qualquer conjunto de N grandezas
i
X definidas num ponto
N
V P que se transformem
sob mudana de coordenadas de acordo com a equao
,
i
i j
j
x
X X
x

=

(2-2)
dito formar os componentes de um vetor contravariante em P.
Assim, o deslocamento infinitesimal um exemplo de vetor contravariante. Um outro
exemplo, agora com componentes finitos, so as derivadas /
i i
dx dt calculadas num ponto
de uma curva como a da Eq. (1-1); o chamado vetor tangente, cuja transformao segundo a
Eq. (2-2) facilmente verificada atravs da aplicao da regra da cadeia para derivar
( ) [ ( )]
i i j
x t x x t = :

.
i i j i
i j
j j
dx x dx x
dt dt
x x


= = =

(2-3)
INTRODUO AOS TENSORES 5
Prosseguimos definindo entes da classe contravariante que apresentem caractersticas mais
complicadas que o vetor contravariante como segue:
Um conjunto de
2
N grandezas
ij
T que se transformem sob mudana de coordenadas de
acordo com a equao

i j
ij kl
k l
x x
T T
x x

=

(2-4)
dito formar os componentes de um tensor contravariante de 2
a
ordem.
A extenso dessa definio de tensores contravariantes para ordens superiores a 2 imedi-
ata e no precisa ser escrita aqui. Mas, indo na direo oposta, notamos que um vetor contrava-
riante um tensor contravariante de 1
a
ordem e isto sugere a existncia de um tensor contravari-
ante de ordem zero, uma nica grandeza (
0
N = 1 componente) que se transforme segundo a
relao de identidade
( ) ( ) ; T x T x = (2-5)
tal grandeza denominada invariante e seu valor independe do sistema de coordenadas empre-
gado. Na realidade, trata-se de uma funo do ponto P do espao
N
V , ( ) f P , cujos valores de-
pendem do ponto P mas no do sistema de coordenadas usado para representar cada ponto. As-
sim, um invariante em
N
V uma funo tal qual ( ) f P , que tambm recebe a denominao de
funo escalar, ou simplesmente escalar. As grandezas ( ) T x e ( ) T x na equao acima, de
mesmo valor, so vistas como os componentes de uma funo escalar nos sistemas de coordena-
das
i
x e
i
x , respectivamente.


3. Vetores e tensores covariantes. Tensores mistos.
Equation Section (Next)
Seja uma funo escalar das coordenadas (um invariante). Pela regra da cadeia,
.
j
i j i
x
x x x

=

(3-1)
Esta lei de transformao das N grandezas /
i
x parece com a descrita pela Eq. (2-2), mas,
com um pouco mais de ateno, vemos que as variveis
j
x e
i
x aparecem em lugares trocados
nas derivadas /
j i
x x . Assim como os componentes do deslocamento infinitesimal so o pro-
ttipo do vetor contravariante, as derivadas parciais de um invariante, tais quais /
j
x (que
definem os componentes do gradiente de , como veremos na Se. 12a), so o prottipo dos
chamados vetores covariantes, assim definidos:
Um conjunto de N grandezas
i
X que se transformem de acordo com a equao

j
i j
i
x
X X
x

=

(3-2)
dito formar os componentes de um vetor covariante.
Convencionalmente, o ndice, quando indicativo do carter contravariante, posto como
superndice e, quando covariante, como subndice. Foi no sentido de cumprir esta conveno
que as coordenadas foram escritas como
i
x em vez de
i
x , embora apenas seus diferenciais, e
no elas prprias, apresentem o carter tensorial contravariante.
INTRODUO AOS TENSORES 6
Encarando o vetor covariante como um tensor covariante de 1
a
ordem, no temos dificul-
dades em definir tensores covariantes de ordens mais altas. Por exemplo:

2
N grandezas
ij
T que se transformem segundo a equao

k l
ij kl
i j
x x
T T
x x

=

(3-3)
dito formar um tensor covariante de 2
a
ordem.
Note que os invariantes tambm podem ser considerados como tensores covariantes de
ordem zero.
Uma vez definidos os tensores contravariantes e os covariantes, no difcil definir tenso-
res com carter tanto contravariante quanto covariante so os chamados tensores mistos. Por
exemplo, suponha que
3
N grandezas
i
jk
T se transformem segundo a equao
;
l m k
k n
ij lm
i j n
x x x
T T
x x x

=

(3-4)
dizemos serem elas os componentes de um tensor misto de 3
a
ordem, com um ndice contravari-
ante e dois ndices covariantes; tambm dizemos que esse tensor do tipo
1
2
[ou (1, 2) ]. Note que
os tensores covariantes e os contravariantes podem ser vistos como casos especiais de tensores
mistos; um tensor contravariante de 2
a
ordem do tipo
2
0
e um tensor covariante de 3
a
ordem
do tipo
0
3
.
O delta de Kronecker melhor denotado como
j
i
pois um tensor de 2
a
ordem do tipo
1
1
;
de fato, observe que
.
i i k i l
i k
j l
j k j k j
x x x x x
x x x x x


= = =

(3-5)
Um tensor pode ser dado em um nico ponto P do espao
N
V , ao longo de uma curva, por
todo um subespao de
N
V ou todo o
N
V em si. Nos trs ltimos casos dizemos estar diante de
um campo tensorial, assim enfatizando que tensores se encontram definidos num continuum.
Por exemplo, trs funes das coordenadas
1 2 3
( , , )
i
V x x x ( 1, 2, 3) i = so os componentes de um
campo vetorial covariante num volume V se em cada ponto de V elas se transformarem como
os componentes de um vetor covariante.
A importncia dos tensores na Fsica Matemtica e Geometria reside no fato de que uma
equao tensorial, se verdadeira num sistema de coordenadas, s-lo- em todos (cf. Prob. 1).


4. Operaes fundamentais com tensores
Equation Section (Next)
a) Adio e subtrao
Dois tensores de mesma ordem e tipo podem ser somados ou subtrados, resultando noutro
de mesma ordem e tipo. Assim, se
k
ij
A e
k
ij
B forem tensores e as grandezas
k
ij
S e
k
ij
D forem defi-
nidas por

k k k
ij ij ij
S A B = + e
k k k
ij ij ij
D A B = ,
ento fcil provar que
k
ij
S e
k
ij
D sero tensores (cf. Prob. 3).
INTRODUO AOS TENSORES 7
b) Multiplicao externa
Atravs da multiplicao de cada componente de um tensor de ordem m por cada compo-
nente de um tensor de ordem n obtemos os componentes de um tensor de ordem m + n chamado
produto externo (ou produto direto) daqueles tensores. Por exemplo, o produto externo dos ten-
sores
kl
i
U e
m
j
W o tensor
klm kl m
ij i j
T U W = ; outros exemplos:

ijk ij k
T U W = ,
ijkl ij kl
T U W = e
kl kl
ij ij
T U W = .

A prova do carter tensorial desses produtos externos obtida usando as leis de transformao
dos tensores que entram como fatores (cf. Prob. 4).

c) Contrao de um tensor misto
Fazemos a contrao de um tensor misto qualquer igualando um ndice covariante a um
ndice contravariante e somando com respeito a esse ndice (a repetio do ndice j indica so-
matrio segundo a conveno do somatrio), assim formando um tensor cuja ordem duas uni-
dades a menos que a do tensor original. Por exemplo, do tensor misto de 4
a
ordem
kl
ij
T , igualan-
do os ndices i e k, obtemos o tensor misto de 2
a
ordem
l il
j ij
T T =
e deste, com uma segunda contrao (igualando j e l), obtemos o tensor de ordem zero
.
j ij
j ij
T T T = =
Acima, aps as contraes, os tensores resultantes, mesmo sendo, em geral, diferentes do tensor
original, continuam denotados pela letra T ; no caso, a distino feita atravs dos ndices (cla-
ramente, o tipo do tensor
l
j
T distinto do tipo de
kl
ij
T ).
Para ilustrar uma maneira de provar que o resultado da contrao realmente possui carter
tensorial, faamos a contrao dos ndices j e k na Eq. (3-4); vemos que o resultado
j
i ij
T T de
fato um tensor:

.
m
n
l m j l m l l
j n n n
i ij lm lm ln l
i j n i n i i
x x x x x x x
T T T T T T
x x x x x x x


= = = = =



d) Multiplicao interna
Consiste numa combinao da multiplicao externa com a contrao. Por exemplo, dados
os tensores
jk
i
U e
n
lm
W , podemos formar o produto externo
jk n
i lm
U W e depois contrair os ndices
i e n para obter o produto interno
jk i
i lm
U W daqueles tensores. Fazendo agora k = m obtemos um
outro produto interno:
jk i
i lk
U W .

e) Tensores simtricos e anti-simtricos
Dizemos que um tensor simtrico em relao a dois ndices contravariantes ou covari-
antes se forem iguais os dois componentes que se obtm pela troca dos dois ndices considera-
dos; neste caso, o prprio tensor dito simtrico. Assim, se
INTRODUO AOS TENSORES 8

ijk kji
lm lm
T T = (4-1)

para todas as combinaes dos ndices i e k ento o tensor simtrico pois apresenta simetria
nesses ndices.
A simetria assim definida uma propriedade que independe do sistema de referncia. De
fato, para um tensor
ij
T , segue da Eq. (2-4) que


(1) (2) (3)
,
i j i j i j
ij kl lk kl ji
k l l k l k
x x x x x x
T T T T T
x x x x x x

=
= = =

(4-2)

onde na passagem (1) so trocados os papis das letras k e l
()
, na passagem (2) usada a sime-
tria de
ij
T e na passagem (3) usada a Eq. (2-4).
Dizemos que um tensor anti-simtrico em relao a dois ndices contravariantes ou co-
variantes se os dois componentes que se obtm pela troca dos dois ndices considerados forem
nulos ou diferirem apenas no sinal; neste caso, o prprio tensor dito anti-simtrico. Assim, se


ijk kji
lm lm
T T = (4-3)

para todas as combinaes dos ndices i e k ento o tensor anti-simtrico pois apresenta anti-
simetria nesses ndices.
Em quatro dimenses, observe que, dos 16 componentes do tensor anti-simtrico
ij
T , os
quatro componentes
ii
T (sem somatrio) so nulos; os 12 restantes, quando no nulos, sero
iguais em mdulo e de sinais contrrios aos pares, de modo que, genericamente, apenas seis
componentes so independentes (um hexavetor). Similarmente vemos que, genericamente, os
tensores anti-simtricos de terceira ordem
ijk
T tm somente quatro componentes independentes,
enquanto o tensor anti-simtrico
ijkl
T tem s um. No h tensores anti-simtricos de ordem su-
perior a quatro em quatro dimenses (cf. Prob. 13).
Note que a simetria ou anti-simetria refere-se a dois ndices contravariantes ou a dois ndi-
ces covariantes. Assim, no dizemos haver simetria quando
j i
i j
T T = ; tal relao, em geral, no
se transmite de um sistema de coordenadas para outro.

f) Lei do quociente
Suponhamos que no saibamos se um ente U seja um tensor. Se um produto interno de U
com um tensor arbitrrio for um tensor ento U ser tambm um tensor. Esta a lei do quocien-
te. Por exemplo, se o produto interno ( , )
aj
A i a entre o conjunto de
2
N funes ( , ) A i a e um
tensor arbitrrio
aj
for um tensor covariante de 2
a
ordem ento ( , )
a
i
A i a A = , um tensor misto
de 2
a
ordem. A demonstrao da lei do quociente casusta; nas sees de exerccios (Ses. 14 e
15) fornecemo-la em alguns casos (cf. Probs. 14 a 18).





()
Uma tal troca recproca das letras que designam dois ndices, por ser muito freqente no desenvolvimento de
equaes tensoriais, ser abreviadamente indicada assim: k l . . Muito comum tambm so as trocas simples de
uma letra (digamos i) por outra (j), ou de duas letras (i e j) por outras duas (m e n), etc, as quais assim indicaremos:
i j ; , , i j m n ; etc.
INTRODUO AOS TENSORES 9
5. Tensores relativos
Equation Section (Next)
As grandezas
i
j

T so ditas componentes de um tensor relativo de peso W Z, contra-


variante nos superndices e covariante nos subndices, se elas se transformarem de acordo com
a equao
,
i l
i k W
j l
k j
x x
J
x x

=



T T (5-1)
onde J o jacobiano dado pelas Eqs. (1-5) e (1-3), admitido positivo. comum se denotarem os
tensores relativos por meio das letras gticas (e.g., T e G so as letras T e G); mas, por causa da
dificuldade de manuscrev-las, usaremos letras de mo (e.g., A, a, B, b, F, f , T, t ).
Seguindo a prtica adotada antes, referimo-nos aos tensores relativos de ordem 0 e 1 como
escalares relativos e vetores relativos, respectivamente. H certas nomenclaturas adotadas para
tensores relativos de certos pesos: (a) quando 0 W = , dizemos que as grandezas formam um
tensor absoluto, que o tensor at ento estudado; (b) quando 1 W = , o tensor relativo tam-
bm conhecido como capacidade tensorial; e (c) quando 1 W = , o tensor relativo recebe tam-
bm o nome de densidade tensorial (se de ordens 0 e 1 dizemos densidade escalar e densidade
vetorial, respectivamente). Neste ltimo caso, o nome vem do fato de a grandeza fsica (den-
sidade) ser dessa categoria, qual empresta o seu nome. Realmente, considere a expresso da
massa total num volume V onde se encontra matria distribuda com densidade ( ) x . Mudan-
do de coordenadas segundo a lei de transformao ( )
i i
x x x = , vemos atravs da integral que
fornece a massa total M,
3 3 3
( ) [ ( )] ( ) ,
i
j
x
M x d x x x d x x d x
x

= = =


V V V

que a densidade de matria nas novas coordenadas dada por ( ) | / | ( )
i j
x x x x = , ou seja,
a grandeza fsica ( ) x um escalar relativo de peso 1 (uma densidade escalar).
As operaes de adio, subtrao, multiplicao, etc, de tensores relativos so semelhan-
tes s de tensores absolutos. fcil mostrar que (cf. Prob. 19):
dois tensores relativos de mesma ordem, tipo e peso podem ser somados, sendo o resultado um
tensor relativo de mesma ordem, tipo e peso
tensores relativos podem ser multiplicados interna ou externamente, sendo o produto um ten-
sor relativo cujo peso a soma dos pesos dos fatores
um tensor relativo pode ser contrado, sendo de mesmo peso o tensor relativo resultante
a simetria e a anti-simetria de tensores relativos independem do sistema de coordenadas
So escalares relativos de pesos 2, 2 e 0 os determinantes de tensores absolutos de 2
a
or-
dem | |
ij
T , | |
ij
U e | |
j
i
W , respectivamente. Para provar isso (cf. Prob. 20), basta escrever as leis
de transformao dos tensores, tomar o determinante em cada membro da equao e usar a regra
do produto de determinantes, lembrando que | / |
i j
J x x = e
1
| / |
j i
J x x

= :

2
| | | | (peso 2) ,
k l
ij kl ij kl
i j
x x
T T T J T
x x

= =

(5-2)

2
| | | | (peso 2) ,
i j
ij kl ij kl
k l
x x
U U U J U
x x


= =

(5-3)
INTRODUO AOS TENSORES 10
| | | | (peso 0) .
k j
j j l l
i k i k
i l
x x
W W W W
x x

= =

(5-4)

Consideremos agora, no espao de trs dimenses, o smbolo de Levi-Civita
ijk
E . Para
investigar seu carter tensorial, notamos que, usando a expresso do determinante em termos
desse smbolo, podemos dizer que o jacobiano dado por

1 2 3
.
i j k
ijk
x x x
J
x x x

=

E (5-5)
Portanto, pela Eq. (B-35), temos que
,
i j k
ijk lmn
l m n
x x x
J
x x x

=

E E
ou, multiplicando por
1
J

e tendo em conta que


lmn lmn
= E E (a definio do smbolo de Levi-
Civita a mesma em qualquer sistema de coordenadas)

1
,
i j k
lmn ijk lmn
l m n
x x x
J
x x x


= =

E E E (5-6)
revelando que
ijk
E um tensor relativo covariante de 3
a
ordem de peso 1.
Por um raciocnio anlogo tambm mostramos que
,
l m n
lmn ijk
i j k
x x x
J
x x x

=

E E (5-7)
revelando que
ijk
E tambm um tensor relativo contravariante de peso 1, o que justifica a nota-
o alternativa
ijk
E para o smbolo de Levi-Civita. Em resumo, o smbolo de Levi-Civita um
tensor relativo de 3
a
ordem que denotado por
ijk
E se for considerado covariante e de peso 1 e
por
ijk
E , se contravariante e de peso 1.


6. O elemento de comprimento de arco e o tensor mtrico
Equation Section (Next)
a) O tensor fundamental covariante
Em coordenadas cartesianas ( , , ) x y z , o quadrado da distncia entre dois pontos infinite-
simalmente prximos

2 2 2 2
. ds dx dy dz = + + (6-1)

No espao de N dimenses, dizemos que as coordenadas
i
x so cartesianas se o quadrado da
distncia entre dois pontos infinitesimalmente prximos ( ) x P e ( ) x x d + P for dado pela
frmula Pitagrica

2
( 1, 2 )
k k
ds dx dx k N = = [
k
x : coordenadas cartesianas] , (6-2)
que a extenso natural da Eq. (6-1) para espaos com mais de trs dimenses. Escrevendo esta
equao em coordenadas
i
x genricas, o que se faz substituindo ( / )
k k i i
dx x x dx = , obtemos
INTRODUO AOS TENSORES 11
uma forma quadrtica dos diferenciais das coordenadas em sua expresso mais geral, denomina-
da forma fundamental ou forma mtrica (ou simplesmente mtrica):


2 i j
ij
ds g dx dx = , (6-3)
onde
( )
k k
ij
i j
x x
g x
x x


[
k
x : coordenadas cartesianas] (6-4)

o chamado tensor mtrico ou tensor fundamental do espao, claramente simtrico. fcil
mostrar que
ij
g , de fato, se transforma como um tensor covariante de 2
a
ordem, pois, sob a mu-
dana de coordenadas
i
x para
i
x

(
i
x so cartesianas), temos que

( )
( ) ( )
mn
k k k m k n m n k k m n
ij mn
i j m i n j i j m n i j
g x
x x x x x x x x x x x x
g x g x
x x x x x x x x x x x x


= = =

. (6-5)
Logo,
2
ds , sendo o produto dos tensores no 2
o
membro da Eq. (6-3), tambm um tensor: um
invariante, no caso, como de se esperar, uma vez que a distncia entre dois pontos no deve
depender das coordenadas utilizadas no seu clculo.
Entretanto, existem "espaos" onde no possvel introduzir um sistema de coordenadas
cartesianas. Como exemplo, temos o "espao" bidimensional formado pelos pontos na superfcie
de uma esfera de raio R, onde a distncia entre dois pontos infinitesimalmente prximos dado
em termos das coordenadas esfricas e (co-latidude e longitude, respectivamente) por

2 2 2 2 2 2
sen ds R d R d = + .

No existem coordenadas (digamos e ) em termos da qual essa forma quadrtica tome a for-
ma
2 2 2
ds d d = + , como a da Eq. (6-2) com 2 N = . Uma maneira de introduzir tais espaos
nos nossos estudos consiste em definir espaos dotados do conceito de distncia como segue:
Temos um espao mtrico ou riemanniano sempre que a distncia quadrtica infinitesi-
mal puder ser escrita como uma forma quadrtica dos diferenciais das coordenadas que seja
invariante; i.e.

2
invariante
i j
ij
ds g dx dx = = . (6-6)

Num tal espao, se a mtrica for definitivamente positiva ( 0
i j
ij
g dx dx > exceto se os diferenci-
ais
i
dx se anularem)
()
e for possvel introduzir as chamadas coordenadas cartesianas, nas quais
o tensor mtrico e a distncia quadrtica infinitesimal tomam as formas especiais

1
ij
g = se i j = e 0
ij
g = se i j
2 1 2 2 2 2
( ) ( ) ( )
N
ds dx dx dx = + + + , (6-7)

vlidas em todos os pontos, dizemos que o espao euclidiano (usamos o sinal =` para indicar
que a igualdade s vlida num sistema de coordenadas especfico). Espaos euclidianos so,
portanto, casos especiais de espaos riemannianos.

()
Alguns autores consideram riemanniano apenas o espao de mtrica definitivamente positiva, chamando de
pseudo-riemanniano o espao de mtrica de sinal no-definitivo.
INTRODUO AOS TENSORES 12
No Prob. 23 mostramos que as grandezas
ij
g na Eq. (6-6) podem ser sempre consideradas
como os componentes de um tensor covariante de 2
a
ordem simtrico [a prova apresentada na
Eq. (6-5) baseia-se na Eq. (6-4), que foi deduzida a partir da Eq. (6-2), e s vale, portanto, na
hiptese de o espao admitir as coordenadas cartesianas].

b) O tensor fundamental contravariante
Sejam | |
ij
g g o determinante do tensor mtrico, denominado determinante mtrico e
admitido nesta exposio que nunca se anula, e
ij
G o co-fator de
ij
g nesse determinante; sabe-
mos que
,
j jk kj
ik ki i
g g g = = G G (6-8)

de acordo com as regras ordinrias para o desenvolvimento de determinantes. Definamos agora
as grandezas
.
ij
ij
g
g

G
(6-9)
Pelas relaes dadas na Eq. (6-8) vemos que tais grandezas satisfazem as equaes
.
j jk
ik i
g g = (6-10)
Lembrando que, para qualquer matriz ( )
ij
a , o elemento
1
ij
a

da sua inversa dado por



1
/
ij ji
a A a

= , (6-11)
onde
ji
A o co-fator do elemento
ji
a no determinante | |
ij
a a = , e considerando a simetria de
ij
G nos ndices i e j (vez que se trata dos co-fatores dos elementos do determinante simtrico
| |
ij
g ), vemos que as grandezas
ij
g definidas atravs da Eq. (6-9) so os elementos da matriz
inversa (tambm simtrica) da matriz ( )
ij
g . Em vista disso, reconhecemos no 1
o
membro da Eq.
(6-10) o clculo de um elemento genrico do produto da matriz ( )
ij
g pela sua inversa.
Usando a Eq. (6-10) podemos mostrar que
ij
g um tensor do tipo
2
0
(cf. Prob. 24). o
chamado tensor contravariante fundamental, ou ainda tensor conjugado ou recproco de
ij
g (
simtrico, conforme j discutimos acima).
Duas observaes: a) a Eq. (6-10) mostra um fato j comprovado na Eq. (3-5), que o delta
de Kronecker
j
i
um tensor. Logo abaixo ficar claro que
ij
g ,
ij
g e
j
i
representam um
mesmo objeto geomtrico: a mtrica, o que justifica chamar
j
i
de tensor fundamental misto; b)
os co-fatores
ij
G de
ij
g formam um tensor relativo contravariante de peso 2 (cf. Prob. 21).

c) A formao de novos tensores por meio dos tensores fundamentais
Os tensores fundamentais
ij
g e
ij
g podem ser usados nas operaes de abaixar e levantar
ndices tensoriais assim definidas:


m
i im
T g T


e
j jn
n
T g T


, (6-12)
INTRODUO AOS TENSORES 13
onde dizemos que o tensor T teve seu ndice m abaixado como i na primeira operao e seu n-
dice n levantado como j na segunda. Dado um tensor, este e os que dele resultam abaixando e
levantando ndices so denominados tensores associados; usamos a mesma letra para denot-los
(T nos exemplos acima). Tensores associados so vistos como representaes de um mesmo
objeto geomtrico (de fato, a relao
j
i ij
X g X = estabelece um isomorfismo entre os vetores
covariantes e contravariantes associados) exemplos: (a)
ij
g ,
ij
g e ( )
j kj
i ik
g g = so diferen-
tes representaes da mtrica do espao; (b) o vetor contravariante
j
dx e o vetor covariante
j
i ij
dx g dx = representam o mesmo deslocamento infinitesimal PQ
,
desde o ponto ( )
j
x P at o
ponto ( )
j j
x dx + Q .
A liberdade de levantar e abaixar ndices exige cuidado com a ordem horizontal na qual os
ndices contravariantes e covariantes so escritos. Por exemplo, em geral,
j
i
X ser diferente de
j
i
X , sendo iguais quando
ij
X for simtrico:

( )
0
j j kj jk kj jk
i i ik ik ik
X X g X g X g X X = = =
kj jk
X X = .

Por esta razo, daqui por diante evitaremos escrever um subndice e um superndice na mesma
linha vertical. (Nos espaos vagos comum escrever pontos e.g:
..
ij
kl
T ; no caso acima teramos
.
j
i
X e
.
j
i
X prtica que no adotaremos.)
Ressalva: Nas coordenadas cartesianas
i
x , o tensor mtrico dado pela Eq.
(6-7) e, portanto,
j i
i ij
A g A A = = , mostrando que os componentes cartesianos
de um vetor no se distinguem quanto ao tipo contravariante ou covariante; isso,
obviamente, vlido para os componentes cartesianos de um tensor qualquer. Por-
tanto, qualquer que seja o tipo do tensor, seus componentes cartesianos podem ser
denotados com subndices apenas, prtica comum na literatura e que ser adotada
aqui.

d) Magnitude de um vetor e ngulo entre vetores
O escalar
i
i
X Y obtido pelo produto interno de
i
X com
i
Y reduz-se ao produto escalar
familiar no sistema de coordenadas cartesianas. Podemos, assim, definir a magnitude | | X de um
vetor
i
X ou o seu associado
i
X atravs da equao

( )
2
| | .
i i j ij
i ij i j
X X X g X X g X X = = (6-13)
Podemos tambm definir o ngulo entre os vetores
i
A e
i
B (lembre-se de que estes
representam objetos geomtricos que tambm podem ser descritos pelos componentes covarian-
tes
i
A e
i
B ) como sendo o produto interno dos vetores unitrios
i
e
i
obtidos a partir daque-
les vetores:


2 2
cos , onde / | | e / | | .
i i i
i i i
A A B B = (6-14)

fcil ver que esses dois conceitos (magnitude e ngulo) so invariantes e se reduzem aos
conceitos familiares no espao euclidiano tridimensional.
INTRODUO AOS TENSORES 14
e) Propriedades do determinante mtrico
Substituindo
ij
T por
ij
g na Eq. (5-2) obtemos

2
; g J g = (6-15)
ou seja, como qualquer determinante de um tensor de 2
a
ordem covariante, o determinante m-
trico um escalar relativo de peso 2. Tirando a raiz quadrada de ambos os membros da equao
acima obtemos (admitindo 0) g >
, g J g = (6-16)
ou seja, g um escalar relativo de peso 1. Ele desempenha um papel importante nas integra-
es; por exemplo, temos que

1 2
Invariante .
N
dV g dx dx dx = (6-17)
De fato, usando a Eq. (6-16) obtemos
1 2 1 2 1 2
.
N N N
dV g dx dx dx g J dx dx dx g dx dx dx dV = = = =
Assim, conclumos que, se for um invariante, ento
.
V V
dV dV

=

(6-18)
A Eq. (6-17) usada para definir o elemento de volume no
N
V . Essa definio decorre do
fato de que aquela equao obtida naturalmente partindo das coordenadas cartesianas
i
x . Re-
almente, usando a notao ( )
ij
a = A para a matriz com elementos /
i j
ij
a x x , vemos que
2
| | | | det det det det det( )
| | | | | | ,
i l
ik lj
k j
k k
ik kj ki kj ij
i j
x x
J a a
x x
x x
a a a a g g
x x

= = = = =


= = = = =

A A A A AA


onde usamos propriedades dos determinantes bem conhecidas e tambm a Eq. (6-4). Portanto,
partindo do elemento de volume em coordenadas cartesianas
i
x , mudando para as coordenas
curvilneas
i
x e usando J g = , verificamos que a definio de dV dada na Eq. (6-17) con-
sistente:

1 2 1 2 1 2 N N N
dV dx dx dx J dx dx dx g dx dx dx dV = = = .


7. Componentes fsicos de um tensor
Equation Section (Next)
Num sistema de coordenadas curvilneas
i
x ortogonal ( 0
ij
g = se i j ), seja
i
X um
vetor qualquer e
i
um vetor unitrio ( 1)
i j
ij
g = . Temos a seguinte definio:

Componente fsico do vetor
i
X na direo de
i

i j i i
ij i i
g X X X = = . (7-1)
INTRODUO AOS TENSORES 15
Essa uma expresso invariante que, em coordenadas cartesianas
i
z (nas quais
i
Z e
i
so os
componentes cartesianos dos vetores
i
X e
i
, respectivamente), toma a forma
()


i
i i i
X Z = . (7-2)
Sendo esse produto escalar dos vetores
i
Z e
i
a projeo ortogonal usual de
i
Z na direo de
i
, justificada est a definio na Eq. (7-1).
No caso de um tensor de 2
a
ordem, os seus componentes fsicos so calculados nas dire-
es de dois vetores unitrios
i
e
i
(que podem coincidir), sendo definidos como segue:

( )
, etc.
i j ij i j
ij i j j i
T T T = = (7-3)
A extenso da definio de componentes fsicos de tensores para os casos de ordem superior a 3
bvia.
Ressalva: Geralmente, os vetores unitrios
i
,
i
ao longo dos quais os com-
ponentes fsicos so calculados so aqueles tangentes s curvas coordenadas. Admi-
tiremos que esse o caso ao nos referirmos aos componentes fsicos de um tensor,
que sero, ento, denotados com uma barra em cima:
i
i
X X

,
i j
j i
T T

,
etc.
Um exemplo para clarear mais as idias: na notao ordinria, os componentes
fsicos de um vetor X
,
so, no sistema de coordenadas esfricas, os coeficientes dos
versores na equao
r r
X X e X e X e

= + +
,
, , ,
, pois
r r i i
X e X r Z = =
,
,
,
X e X

= =
,
,

i i
Z e
i i
X e X Z

= =
,
,
, onde , , e
i i i i
r Z so os componentes
cartesianos de
r
e
,
, e

,
, e

,
e X
,
, respectivamente.

Nas Eqs. (7-1) e (7-3) transparece que os componentes fsicos de um dado tensor podem
ser calculados usando seus componentes contravariantes, covariantes ou mistos (esses e os com-
ponentes fsicos representam um mesmo objeto geomtrico, conforme j afirmamos na Se. 6c).
Calculemos os componentes fsicos de um vetor ao longo das curvas coordenadas em ter-
mos de seus componentes contravariantes ou covariantes. Para facilitar a exposio, considera-
mos um espao tridimensional. necessrio usar a Eq. (7-1) trs vezes, em cada uma com o
vetor unitrio
i
tangente a uma das curvas coordenadas.
Ora, dada uma curva ( )
i i
x x s = qualquer (parametrizada pelo
comprimento de arco), sabemos que o vetor unitrio tangente
/
i i
dx ds = . No caso de ser ela a curva de
1
x (onde
2 3
x x = = cons-
tante) como mostra a figura direita, o vetor unitrio tangente

1 1
/ dx ds = ,
2
0 = ,
3
0 = .

Sendo esse um vetor unitrio, temos que

1 1 1 2
11 11
1 ( )
i j
ij
g g g = = = ,

()
Nas coordenadas cartesianas, no sendo os ndices distinguidos pelo carter contravariante ou covariante, escre-
vemo-los como subndices (cf. a ressalva feita ao final da Se. 6c)
curva de
1
x
i

INTRODUO AOS TENSORES 16


donde calculamos
1
e, abaixando o ndice, tambm
1 2 3
, e :


1 1
11 1 1 11
1/ /
j
i ij i i
g g g g g = = = = . (7-4)

Portanto, de acordo com a definio dada na Eq. (7-1), o componente fsico do vetor
i
X ao lon-
go da curva de
1
x dado por
1
1 1 1 11
/
i
i
X X X X g = = = . Ao longo das curvas de
2
x e
3
x
temos resultados similares. Logo, os componentes fsicos de
i
X no sistema de coordenadas
curvilneas considerado so

1 11
/ X g ,
2 22
/ X g e
3 33
/ X g ; (7-5)

estes so calculados em termos dos componentes covariantes
1
X ,
2
X e
3
X . Para calcular os
componentes fsicos em termos dos componentes contravariantes, usamos a expresso na Eq.
(7-1) que envolve esses componentes:
1 1
1 1 11 11 11 11
/ /
i i
i i
X X X g g X g g X g = = = = o
componente fsico ao longo da curva de
1
x ; este e os outros dois so


1
11
X g ,
2
22
X g e
3
33
X g . (7-6)

Em resumo:


1 1
1 11
11
X
X X g
g
= = ,
2 2
2 22
22
X
X X g
g
= = ,
3 3
3 33
33
X
X X g
g
= = . (7-7)

No caso de um tensor de 2
a
ordem, os componentes fsicos so calculados pelo mesmo
procedimento. Por exemplo, selecionando
i
ao longo da curva de
1
x e
i
ao longo da curva de
2
x , temos que

1
11
1
g
=

,
2
0 =

,
3
0 = e
1
0 =

,
2
22
1
g
=

,
3
0 = ,
bem como

1
1 1 11 1 11
11
1
j
i ij i i i
g g g g
g
= = = = e
2
2 2 22 2 22
2
1
j
i ij i i i
g g g g
g
= = = =

;

portanto, o componente fsico de
ij
T nessas direes

1 2 12
12 12
11 22
i j
ij
T
T T T
g g
= = = ,

ou, em termos dos componentes contravariantes,

12
12 1 11 2 22 11 22
ij ij
i j i j
T T T g g T g g = = = .

Em resumo, os nove componentes fsicos desse tensor, tanto em termos dos seus componentes
covariantes quanto dos contravariantes, so
INTRODUO AOS TENSORES 17
( )
13 11 12
11 12 13
11 11 22 11 33
11
11 22 11 33
23 21 22
21 22 23
22 11 22 22 33
22
22 11 22 33
31 32 33
31 32 33
33 11 33 22 33
33
33 11 33 22
ij
T T T
T g T g g T g g
g
g g g g
T T T
T
T g g T g T g g
g
g g g g
T T T
T g g T g g T g
g
g g g g










= =










(7-8)


Os manuais de frmulas matemticas geralmente listam os fatores de escala
i
h , em termos
dos quais o elemento de comprimento de arco dado por



11 22 33
2 2 1 2 2 2 2 2 2 2
1 2 3
( ) ( ) ( )
g g g
ds h dx h dx h dx = + + , (7-9)
donde facilmente conclumos que

11 1
g h = ,
22 2
g h = e
33 3
g h = , (7-10)

resultados teis para a utilizao das Eqs. (7-7) e (7-8).


8. Equao da linha geodsica
Equation Section (Next)
Considere todas as curvas que ligam dois pontos fixos
1
P e
2
P . Em geral, dentre todas
essas curvas, apenas uma, denominada geodsica entre
1
P e
2
P , tem comprimento menor que o
de todas as outras. Segue um mtodo de determin-la.
Admita que uma das curvas que ligam
1
P e
2
P tenha a parametrizao

1 2
( ) , [ , ] ,
i i
x x t t t t = (8-1)
onde t um parmetro genrico e
1
( )
i
x t e
2
( )
i
x t so respectivamente as coordenadas de
1
P e
2
P . O seu elemento de comprimento de arco

2
;
i j i j
ij ij
ds ds g dx dx g x x dt = = = ` ` (8-2)
logo seu comprimento

2
1
, com .
t
ij i j
t
s dt s g x x =

` ` ` ` / (8-3)
As equaes paramtricas ( )
k
x t da geodsica minimizam a integral que fornece / , as
quais, segundo o Clculo de Variaes, so dadas pelas equaes de Euler-Lagrange (cf. Ap. C):
0 .
k k
d s s
dt
x x


=



` `
`
(8-4)
Lembrando que
ij
g no depende explicitamente de
k
x` , temos que
INTRODUO AOS TENSORES 18

( )
( )
1
2
2
2
( )
2 2 2
i j
i j
ij ij
i j j i
ij
k k k k k
i j
ij
j i j j
ij kj ik kj kj
j i j i
k k
g x x g
s x x
g x x x x
s
x x x x x
g x x
g g x g x g x g x
x x
s s s s


= = = +

+
= + = = =
` `
` ` `
` ` ` `
`
` ` ` ` `
` `
` ` ` `
` `
` ` ` `

e que

1 1
( ) ;
2 2
ij
i j i j
ij
k k k
g
s
g x x x x
s s
x x x


= =

`
` ` ` `
` `

esses resultados substitudos na Eq. (8-4) fornecem
1
0 .
2
j
kj ij
i j
k
g x g
d
x x
dt s s
x


=


`
` `
` `

At agora usamos um parmetro completamente genrico ao longo da geodsica, soluo
da equao acima. Se tomarmos como parmetro o comprimento de arco medido desde o ponto
1
P ento 1 s = ` e 0 s = `` , passando a equao acima a ter a forma


( )
2
2
1 1
0 .
2 2
j i j j j i j
ij kj ij
kj kj
k k
g dg g
d dx dx dx d x dx dx dx
g g
ds ds ds ds ds ds ds ds
x ds x

= + =



O segundo termo pode ser escrito assim:
1 1
.
2 2
j i j i j j i
kj kj kj
ki
i i j
dg g g
g dx dx dx dx dx dx dx
ds ds ds ds ds ds ds ds
x x x


= = +


Logo, substituindo essa equao na anterior, obtemos
2
2
1
0 .
2
j i j
kj ij
ki
kj
i j k
g g
g d x dx dx
g
ds ds
ds x x x


+ + =




Introduzindo nesta equao o chamado smbolo de Christoffel de 1
a
espcie,

1
[ , ] ,
2
jk ij
ik
i j k
g g
g
ij k
x x x


+



(8-5)
obtemos, com l no lugar de k,

2
2
[ , ] 0 .
j i j
lj
d x dx dx
g ij l
ds ds
ds
+ =
Por fim, multiplicando por
kl
g e introduzindo o smbolo de Christoffel de 2
a
espcie,
[ , ] ,
kl
k
g ij l
ij




(8-6)
encontramos a equao da geodsica na forma normalmente apresentada na literatura,

2
2
0 ,
k i j
k
d x dx dx
ij ds ds
ds

+ =


(8-7)
INTRODUO AOS TENSORES 19
cuja soluo fornece a parametrizao ( )
k
x s da geodsica no espao que caracterizado pela
mtrica
ij
g .
Note pela Eq. (8-5) que o smbolo de Christoffel de 1
a
espcie simtrico nos dois primei-
ros ndices (i e j, no caso) e, portanto, pela Eq. (8-6), que tambm o de 2
a
espcie simtrico,
mas nos dois ndices inferiores.
Da Eq. (8-6) fcil deduzir que
[ , ]
km
k
g ij m
ij

=


. (8-8)
Um meio mnemnico de memorizar as Eqs. (8-6) e (8-8) considerar vlidas as operaes
de levantar e abaixar ndices para os smbolos de Christoffel. Assim, na Eq. (8-6), o ndice l de
[ , ] ij l levantado como k para se obter
{ }
k
ij
e, na Eq. (8-8), o ndice k de
{ }
k
ij
abaixado como m
para se obter [ , ] ij m .
As seguintes relaes envolvendo os smbolos de Christoffel e a mtrica so teis nas
aplicaes e so deduzidas nos exerccios resolvidos (cf. Probs. 37 e 38):
[ , ] [ , ]
ij
k
g
ik j jk i
x

= +

(8-9)

ij
il jl
k
j i
g
g g
kl kl
x

=


(8-10)

1
2
j
i
g
ij g
x

=


(8-11)

1
2
ii
i
ii
i g
ii g
x

=


(8-12)

1
2
ii
j
ii
i g
ij g
x

=



onde , 0 e com
a conveno da soma suspensa
ij
i j
i j g

=
(8-13)

1
2
jj
i
ii
g
i
jj g
x


(8-14)

Na literatura, em vez de
{ }
k
ij
, tambm se usam { , } ij k e
k
ij
; esta ltima notao, entretan-
to, sugere um carter tensorial que, como veremos adiante, no verdadeiro em geral.


9. Lei de transformao dos smbolos de Christoffel
Equation Section (Next)
Considere o smbolo de Christoffel de 1
a
espcie no sistema de coordenadas
i
x :

1
[ , ] ;
2
jk ij
ik
i j k
g g
g
ij k
x x x



+



(9-1)
para obt-lo no sistema de coordenadas
i
x , calculemos nesse sistema o primeiro termo entre
parnteses, fazendo uso da regra da cadeia e da lei de transformao da mtrica:
INTRODUO AOS TENSORES 20
( ) ( )
2 2 m n l m n m n m n
jk
mn
mn mn
i i j k l i j k i j k j i k
g
g x x x x x x x x x
g g
x x x x x x x x x x x x x x


= = + +

.

Desta equao, com duas permutaes ( / / / )
i j j k i j k
jk ik ij
g x g x g x
. .
, ob-
temos no sistema
i
x os dois ltimos termos da Eq. (9-1); substituindo nesta os resultados, en-
contramos


2 2
1 1
[ , ]
2 2
l m n m n m n
mn
mn
l i j k i j k j i k
g x x x x x x x
ij k g
x x x x x x x x x x

= + +

2 2
1 1
2 2
l m n m n m n
mn
mn
l j i k j i k i j k
l m
g x x x x x x x
g
x x x x x x x x x x




+ + +

.

2
, , , ,
1 1
2 2
l m n m n
mn
mn
l k i j k i j
l m n n l m
g x x x x x
g
x x x x x x x

2 m n
i k j
x x
x x x

+






2
1 1 1
2 2 2
l m n m l n n l m m n
mn ln lm
mn
l i j k m j i k n k i j i j k
g g g x x x x x x x x x x x
g
x x x x x x x x x x x x x x x

= + +


2
1
2
l m n m n
mn ln lm
mn
i j k l m n i j k
g g g x x x x x
g
x x x x x x x x x


= + +





(onde indicamos as trocas de ndices de acordo com o rodap da p. 8), ou


2
[ , ] [ , ] .
l m n m n
mn
i j k i j k
x x x x x
ij k lm n g
x x x x x x

= +

(9-2)

Esta a lei de transformao do smbolo de Christoffel de 1
a
espcie. Observe que o segundo
termo no 2
o
membro impede que [ij,k] se transforme como um tensor do tipo
0
3
(covariante de 3
a

ordem).
Calculemos agora o smbolo de Christoffel de 2
a
espcie no sistema de coordenadas
i
x
em termos desses smbolos no sistema de coordenadas
i
x . Usando a Eq. (9-2), temos


2
2
[ , ] [ , ]
[ , ]
n
b
n
b
k s l m n m n
ks ab
mn
a b i j s i j s
k l m s n k m s n
ab
a i j b s a i j b s
k
x x x x x x x
g ij s g lm n g
ij
x x x x x x x x
x x x x x x x x x
g lm n g
x x x x x x x x x x


= = +



= +

,

{ }
2
[ , ]
a
m
ab
mn
k l m k m
an
a i j m i j
a
lm
g
x x x x x
g lm n
x x x x x x


= +


INTRODUO AOS TENSORES 21

ou, trocando a por n,


2
.
k l m k m
n i j m i j
k n
x x x x x
ij lm
x x x x x x


= +


(9-3)

Esta a lei de transformao do smbolo de Christoffel de 2
a
espcie. Novamente note que o
segundo termo no 2
o
membro que impede que
{ }
k
ij
se transforme como um tensor do tipo
1
2
.
Da (9-3) podemos calcular em termos dos smbolos de Christoffel de 2
a
espcie uma ex-
presso para
2
/
m i j
x x x . Multiplicando tal equao por /
a k
x x , obtemos


2
,
a a
n m
a a k l m a k m
k k n i j k m i j
k n
x x x x x x x x
ij lm
x x x x x x x x x


= +




donde

2
.
a a l m
i j k i j
k a
x x x x
ij lm
x x x x x


=


(9-4)

Nesta expresso podemos inverter x e x para obter


2
.
a a l m
i j k i j
k a
x x x x
ij lm
x x x x x


=



(9-5)


10. Derivada covariante
Equation Section (Next)
a) Derivada covariante de tensores
Exceto no caso da diferenciao de uma funo ( )
i
x invariante, para a qual /
j
x =
( / ) ( / )
i i j
x x x , mostrando que /
i
x um vetor covariante, as derivadas parciais de
tensores no resultam em novos tensores. Considere, por exemplo, um vetor contravariante
a
V ;
diferenciando em relao a
n
x ambos os membros de sua lei de transformao,

,
a
a j
j
x
V V
x

=


obtemos


2
.
a i a a i j i a
j j
n n i j j n i n i j
V x x x x V x x
V V
x x x x x x x x x x

= = +




No 2
o
membro, o 2
o
termo impede que /
a n
V x se transforme como um tensor de 2
a
ordem
do tipo
1
1
. Entretanto, eliminando a derivada segunda
2
/
a i j
x x x que aparece naquele termo
por meio da Eq. (9-5), encontramos
INTRODUO AOS TENSORES 22


m l
n
a a i j i a l m
j
n j n i n k i j
j k
a i k i a m i l
j j
k n i n k j n i
V
k a
V x x V x x x x
V
ij lm
x x x x x x x x
k a
x x V x x x x x
V V
ij
x x x x x x x x


= +



= +


,
a i k
j m
k n i
lm
k a
x x V
V V
ij nm
x x x



= +





ou

,
a a i k
m j
n k n i
a k
V x x V
V V
nm ij
x x x x


+ = +


(10-1)

onde vemos que os termos entre colchetes um tensor de 2
a
ordem do tipo
1
1
(pois se transforma
como tal); a expresso desses termos usada para definir a derivada covariante do vetor contra-
variante
k
V (em relao a
i
x e com respeito mtrica
ij
g incorporada nos smbolos de Chris-
toffel) e denotada de vrias maneiras:


;
ou ou ou ;
k k
j k k k
i i i
i i
k
V DV
V V V V
ij
x Dx

+


|
(10-2)

aqui daremos preferncia s duas primeiras formas.
A Eq. (10-2) mostra que derivada parcial /
k i
V x devemos adicionar um termo "corre-
tivo",
{ }
j k
ij
V no caso, para obtermos um tensor: a derivada covariante
;
k
i
V . Veremos que isso
vale para qualquer tensor
i
j
T

:
;
/
i i n
j n j
T T x =


+ termos "corretivos".
Se considerarmos agora um vetor covariante
j
V e diferenciarmos em relao a
i
x a sua
lei de transformao, /
a j
j a
V V x x = , obtemos


2
.
a a k a
j
a
a a
i i j j i k i j
V
V x x x x
V V
x x x x x x x x



= = +




Nesta, eliminando a derivada segunda por meio da Eq. (9-4), encontramos

,
a k a l m
j
a
a
i j i k k i j
V k a V x x x x x
V
ij lm
x x x x x x x



= +




ou

INTRODUO AOS TENSORES 23
( )
e
k
a
j j
a k
i k i
V
a k l m
a
a
j i k i j
a m k l
a k
m l l m
m
j i l i j
V V
k k
x
V V
ij ij
x x x
a V x x x x
V
lm
x x x x x
V x x x x
V
x x x x x







= =



=



=


( )
,
k
m l
m
k
j i l
k
lm
k V x x
V
lm
x x x



onde vemos que os termos marcados por () formam um tensor de 2
a
ordem do tipo
0
2
; acaba-
mos de justificar a seguinte definio para a derivada covariante de um vetor covariante:


;
m
m l k
l
k V
V V
lm
x



. (10-3)

A definio de derivada covariante pode ser estendida para qualquer tensor. Podemos en-
trever como seria a frmula da derivada covariante de um tensor genrico por simples inspeo
das Eqs. (10-2) e (10-3). Mas, para que a induo que conduz frmula geral da derivada cova-
riante seja bem compreendida, calculemos a derivada covariante do tensor misto
i
j
T empregan-
do uma vez mais o mtodo como a obtivemos acima para o caso dos vetores contravariantes e
covariantes: Derivando a lei de transformao ( / ) ( / )
a a s b j s
j b
T x x x x T = em relao a
i
x e
usando as Eqs. (9-4) e (9-5) para eliminar as derivadas segundas, obtemos

2 2
( )
( )
a
s a b a b r b r a a b
j
s s s b
b b b
i i s j s j i r j i r s s i j
b r a l m
s
b
j i k r s
k a
rs lm
T
T x x x x x x x x x x
T T T
x x x x x x x x x x x x x x x
x x x x x
T
x x x x x


= = + +





= +

{ } { }
( )
m a
j k
a b l m
s
b
s k i j
b r a b m a b
s s l s
b b i b
j i k j s s k
k s
T T
k a
rs lm
k b
ij lm
x x x x
T
x x x x
x x x x x x x
T T T
x x x x x x x




+ =


+ +

.

{ } { }
,
.
a l m
s
b
s i j
m b l r
s a b r
k s m a b
b m j k
s j i r
k b
ij lm
x x x
T
x x x
s m a k T x x x
T T T T
rk rb im ij
x x x x





= + +




.


Rearranjando os resultados, encontramos
INTRODUO AOS TENSORES 24
( )
( )
,
a
s a b r
j
m a k s b
j k b m
i s j i r
T a k s m T x x x
T T T T
im ij rk rb
x x x x x





+ = +






onde vemos que os termos marcados por (), um tensor de 3
a
ordem do tipo
1
2
, a derivada co-
variante desejada:

;
.
s
s k s b
b r b m
r
s m T
T T T
rk rb
x

+


(10-4)

Agora fcil escrever a derivada covariante de qualquer tensor; por exemplo:


;
.
ij
ij sj is ij ij kl
kl n kl kl sl ks
n
i j s s T
T T T T T
sn sn kn ln
x

= + +


(10-5)

Caso no se queira deduzir esta frmula pelo procedimento acima, no difcil mostrar
que a expresso de
;
ij
kl n
T acima se transforma, de fato, como um tensor do tipo que os ndices
indicam (do tipo
2
3
). A qualificao covariante para esse tipo de derivada justificada pelo fato
de ser o resultado dessa diferenciao um tensor com um ndice covariante a mais.
A derivada covariante de um escalar ( ) x em relao a
i
x definida simplesmente por
;
/
i
i
x , j que esta derivada parcial um tensor (um vetor covariante).
Tambm no h dificuldades em se verificar que as regras para a diferenciao covariante
de somas e produtos de tensores so as mesmas da diferenciao ordinria; observe os seguintes
exemplos no caso de produtos:

; ; ;
( )
( )
i j
j kl
i j i j i j
j kl n j n kl j kl n
n
D A B
A B A B A B
Dx
= = + (derivada covariante de produto interno)

; ; ;
( )
( )
i k
j lm
i k i k i k
j lm n j n lm j lm n
n
D A B
A B A B A B
Dx
= = + (derivada covariante de produto externo)

O teorema de Ricci, cuja demonstrao deixada para os exerccios (cf. Prob. 40), diz
serem nulas as derivadas covariantes do tensor fundamental e dos seus tensores associados:


; ; ;
0 ; 0 ; 0 .
ij i
ij k k j k
g g = = = (10-6)

Podemos ento dizer que tais tensores "comportam-se como constantes" sob a diferenciao co-
variante. Isso justifica, por exemplo, abaixar o ndice i em
;
i
j k
T como normalmente faramos
; ;
i
il j k lj k
g T T = , pois

; ; ;
( ) .
l l
il j k il j k ij k
g T g T T = = (10-7)

Ressalva: Observe pela Eq. (10-5) que os termos "corretivos" a que nos refe-
rimos antes (que devem ser adicionados derivada parcial do tensor para que o re-
INTRODUO AOS TENSORES 25
sultado seja um tensor) so multiplicaes do tensor por smbolos de Christoffel de
2
a
espcie. Ora, estes smbolos se anulam num sistema de coordenadas cartesianas:
nestas, o tensor mtrico constante [cf. Eq. (6-7)] e a Eq. (8-5) mostra que os sm-
bolos de Christoffel de 1
a
espcie devem ser nulos e, por conseguinte, tambm os
de 2
a
espcie [cf. Eq. (8-6)]. Portanto, num sistema de coordenadas cartesianas,
todos aqueles termos "corretivos" so nulos e a derivada covariante reduz-se de-
rivada parcial usual.

Ao ler esta seo, o aluno deve ter ficado intrigado sobre o que tem a derivada covariante
a ver com as geodsicas a ponto de esses dois conceitos apresentarem em comum termos to
especiais quanto os smbolos de Christoffel. A razo disso dada no final da Se. 11.

b) Derivada covariante de tensores relativos
Deduzimos este tpico de duas maneiras, sendo a segunda delas mais simples, e o estudan-
te com pressa pode pular a primeira, prosseguindo no texto que se inicia logo aps a Eq. (10-12)
.
Na primeira maneira de deduzir a derivada covariante de tensores relativos, fundamental
a frmula da derivada parcial do jacobiano | / |
i j
J x x = ,


2
,
a j
i i j a
J x x
J
x x x x

=

(10-8)

cuja demonstrao deixada para a seo de exerccios resolvidos (cf. Prob. 46). Eliminando a
derivada segunda usando a Eq. (9-4), obtemos

,
j a l m l
i a k i j i
k a k a
J x x x x x
J J
ij lm ki al
x x x x x x



= =



(10-9)

equao que ser de uso mais direto nas dedues que seguem.
O procedimento o mesmo que foi usado para tensores absolutos. Comecemos com o ca-
so de um escalar relativo de peso W, f ; diferenciando em relao a
i
x ambos os membros de
sua lei de transformao

W
J

= f f ,

e usando a Eq. (10-9) para eliminar a derivada do jacobiano, obtemos

1
1
,
l
W W
i i l i
l l
W W
i l i
l l
W W W
i l i
J x
W J J
x x x x
k a
x x
W J J J
ki al
x x x
k a
x x
W J J W J
ki al
x x x


= +



= +



= +


f
f f
f
f
f
f
f f


ou
INTRODUO AOS TENSORES 26
,
l
W
i i l
k a
x
W J W
ki al
x x x

=



f f
f f

onde vemos que os termos entre colchetes um vetor relativo covariante de peso W (pois se
transforma como tal); a expresso desses termos usada para definir a derivada covariante de f
(um escalar relativo de peso W ):

;
.
l
l
s
W
sl
x



f
f f (10-10)

Considere agora um vetor relativo contravariante de peso W,
a
V ; diferenciando em rela-
o a
n
x ambos os membros de sua lei de transformao,

,
a
a W j
j
x
J
x

=

V V

usando a Eq. (10-9) para eliminar a derivada do jacobiano e a Eq. (9-5) para eliminar a derivada
segunda que surge, obtemos

1
2
1
a
a a i a
j W W j
n j n n i j
a l a i j i a
j W W W j
j n j n i n i j
a a
j W
j j
V x J x x
W J J
x x x x x x
k a
x x x x x x
W J J J J
kn al
x x x x x x x x
k
x x
W J W
kn
x x


= +



= + +


V
V V
V
V V
V V
m
n
l a i j
j W W
n j n i
j k j k
l i
i a l m
W j
n k i j
m i l
a W j
j n i
k
kn
a
x x x
J J
al
x x x x
k a
x x x x
J
ij lm
x x x x
x x x
W J
x x x

V
V
V
V V
l
a i k
W j k
k n i
a k a
lm ij ai
x x
J W
x x x



+ +



V
V V


ou
,
a a i k
m a W j k
n k n i
a k k a
mn kn ij ai
x x
W J W
x x x x


= +


V V
+ V V V V

onde vemos que os termos entre colchetes um tensor relativo de peso W do tipo
1
1
; ele usado
para definir a derivada covariante de
k
V ( um vetor relativo contravariante de peso W ):


;
.
k
k j k
i
i
k
ij si
s
W
x

+


V
V V V (10-11)
INTRODUO AOS TENSORES 27
Olhando para as frmulas de derivadas covariantes de tensores relativos deduzidas acima,
Eqs. (10-10) e (10-11), vemos que o seu ltimo termo que as tornam diferentes daquelas refe-
rentes a tensores absolutos, sendo portanto fcil a generalizao para uma tensor relativo de or-
dem e tipo qualquer,
j
i

T :


;
(termos usuais caso fosse um tensor) .
j j j
i a i i
s
W
sa

=




T T T (10-12)

A segunda maneira, mais simples, de se chegar a essa definio de derivada covariante de
tensores relativos baseia-se naquela dada para tensores absolutos. fcil mostrar que, se
j
i

T
for um tensor relativo de peso W,
/ 2 j j W
i i
T g



T ser um tensor absoluto do mesmo tipo
(cf. Prob. 22). A derivada covariante deste tambm ser um tensor absoluto, cuja multiplicao
por
/ 2 W
g fornece de volta um tensor relativo de peso W. Este , por definio, a derivada cova-
riante de
j
i

T :
/ 2 / 2
; ;
( )
j j W W
i a i a
g g



T T .

Desenvolvendo essa expresso, obtemos o membro direito da Eq. (10-12):

{ }
( )
{ }
( )
{ } ( )
/ 2
/ 2 / 2
;
/ 2 ( / 2) 1 / 2
( )
()
( )
2
1
,
2
j W
j j W W
i
i a i
a
j
j i
j W W W
i
i
a a
j
i
j j
i i
a a
g
g g
x
W g
g g g
x x
g
W
g
x x


= +




= + +



= +


T
T T
T
T
T
T
T T


onde marcamos com () os termos usuais caso
j
i

T fosse um tensor absoluto [obviamente, por


{ } ( )
j
i

T denotamos os termos que envolvem os smbolos de Christoffel] e, em vista da


Eq. (8-11), podemos identificar o termo assinalado por () com
{ }
s
sa
.
A Eq. (10-11), no caso especial de 1 W = (i.e., de uma densidade vetorial contravariante)
e com i = k , fornece um resultado muito importante:


;
i
i
i
i
x

V
V (
i
V : vetor relativo contravariante de peso 1) . (10-13)

Esta equao vlida em qualquer sistema de coordenadas; nas cartesianas, em particular, o 2
o

membro a divergncia do campo formado pelas N grandezas
i
V , o que justifica dizer que a
equao acima define a divergncia covariante de
i
V , um escalar relativo de peso 1 (cf. Prob.
47).
INTRODUO AOS TENSORES 28

11. Derivada intrnseca ou absoluta
Equation Section (Next)
Considere um vetor
k
V qualquer num certo
ponto de uma curva C dada parametricamente por
( )
k
x t . Tomando em cada ponto da curva um vetor
eqipolente a
k
V [i.e., de mesma magnitude e dire-
o
()
que
k
V ] temos o que chamamos de um campo
vetorial eqipolente ao longo de C . Se utilizarmos
um sistema de coordenadas cartesianas
k
x , os com-
ponentes
k
V do campo considerado sero constantes e / 0
k
dV dt = . J num sistema de coor-
denadas curvilneas
k
x , os componentes
k
V desse mesmo campo no satisfazem necessaria-
mente uma equao similar, / 0
k
dV dt = , pois os componentes em relao a uma base que mu-
da de ponto a ponto (o que caracteriza as coordenadas curvilneas) certamente variam. Surge
assim a questo: em coordenadas genricas, que equao satisfeita pelo campo considerado?
Na obteno da resposta constataremos o poder da descrio tensorial.
Primeiramente, observe que a equao / 0
k
dV dt = discutida acima pode ser assim escri-
ta:

( )
0 ,
k k j k j
j j
dV V dx DV dx
dt dt dt
x Dx


= = =

` `

(11-1)
onde, na ltima passagem, usamos o fato de que, em coordenadas cartesianas, a derivada parcial
igual derivada covariante (cf. a ressalva feita no final da Se. 10a). O termo marcado por ( ) ,
sendo o produto de dois tensores, tambm um tensor, cuja importncia garante-lhe nome e no-
tao especial: derivada intrnseca do vetor
k
V ao longo da curva ( )
k
x t (num sistema genrico
de coordenadas), comumente denotada por meio do smbolo e sendo encontrada na literatura
em vrias formas equivalentes:
,
k k j k j k j
i i
j j
k k
V DV dx V dx dV dx
V V
ij ij t dt dt dt dt
Dx x


= + = +



(11-2)
onde substitumos a expresso da derivada covariante de
k
V .
Ora, a Eq. (11-1) diz que / 0
k
V t = (derivada intrnseca nula em coordenadas cartesia-
nas); mas, sendo essa uma equao tensorial, ela vale em qualquer sistema de coordenadas. Re-
ciprocamente, se um campo for tal que / 0
k
V t = ao longo de uma curva, essa equao em
coordenadas cartesianas
k
x reduz-se equao / 0
k
dV dt = , pela qual concluiremos que se
trata de um campo eqipolente ao longo da curva dada.
Podemos resumir a resposta ao problema posto como segue: a derivada intrnseca de um
campo
k
V de vetores ao longo da curva ( )
k
x t nula, i.e.,
0 ,
k
V
t

= (11-3)
se e somente se esse campo for eqipolente ao longo da curva.

()
Dois vetores tm a mesma direo se o ngulo entre eles, segundo a definio dada na Se. 6d, for nulo.
( ) ( )
k k
V x t
C : ( )
k
x t
INTRODUO AOS TENSORES 29
A derivada intrnseca facilmente estendida ao caso de um tensor genrico; por exemplo,
temos que
.
ij ij m
kl kl
m
T DT dx
t dt
Dx

(11-4)
Usando a notao da derivada intrnseca, podemos reescrever a equao da geodsica dada
pela Eq. (8-7) como segue:
( )
2
2
0 ,
k i j k i j k j k
i
k k k
d x dx dx d dx dx dx dV dx V
V
ij ij ij ds ds ds ds ds ds ds ds s
ds


+ = + = + = =



onde o vetor /
k k
V dx ds tangente geodsica e unitrio. Portanto, a geodsica a curva
ao longo da qual os vetores unitrios tangentes formam um campo eqipolente (i.e. apresentam
derivada intrnseca nula). No espao tridimensional euclidiano esse fato bvio: as geodsicas
so linhas retas, cujos vetores unitrios tangentes so claramente paralelos. Essa interpretao da
equao da geodsica, como sendo uma derivada intrnseca nula, responde questo levantada
ao final da Se. 10b, a de saber qual relao entre os conceitos de geodsica e derivada covarian-
te explicaria nesses a presena dos smbolos de Christoffel.


12. Formas tensoriais do gradiente, divergncia, laplaciano e rotacional
Equation Section (Next)
a) Gradiente
Considere a funo escalar ( ) x . Definimos o gradiente de num sistema genrico de
coordenadas curvilneas
i
x como sendo o vetor covariante

;
(grad )
i i
i
x

(12-1)
pela simples razo de /
i
x ser um tensor (um vetor covariante, como foi dito) que, nas coor-
denadas cartesianas, coincide com a definio usual do gradiente.

b) Divergncia
Definimos a divergncia de um campo vetorial contravariante
i
F como a seguinte contra-
o de sua derivada covariante:

;
div .
i i
i
F F (12-2)
A razo simples: como a derivada covariante
;
i
i k
j
j
i
F
F F
jk
x

= +



em coordenadas cartesianas torna-se na derivada parcial /
i j
F x , ento o invariante
;
i
i
F nes-
sas coordenadas reduz-se conhecida frmula div /
i i
F F x =
,
. Os componentes contravarian-
tes
i
F so usados na definio dada na Eq. (12-2) porque, no caso dos componentes covarian-
tes,
; i i
F resulta num tensor de 2
a
ordem covariante em vez de um escalar, como h de ser o
div F
,
.
INTRODUO AOS TENSORES 30
Obtemos div
i
F , a divergncia em termos dos componentes covariantes do vetor, usando a
invarincia dessa grandeza:
div div ;
j
i
F F = (12-3)
logo,

; ;
div div ( ) ,
j j ij
i j i j
F F F g F = = =

ou, lembrando que
ij
g "comporta-se como uma constante" sob a diferenciao covariante [cf.
Eq. (10-7)], obtemos

; .
div
ij
i i j
F g F = (12-4)
Freqentemente encontramos na literatura a seguinte frmula para a divergncia:


( )
1
div ,
i i
i
F g F
g x

(12-5)

deduzida na sees de exerccios resolvidos (cf. Prob. 49).

c) Laplaciano
O laplaciano de uma funo invariante das coordenadas
i
x definido como sendo o inva-
riante que se obtm calculando a divergncia do gradiente de :

2
div(grad ) .
i
(12-6)
Podemos desenvolver esta expresso e obter duas frmulas do laplaciano usadas na literatura
fsica. Primeiramente, usando as Eqs. (12-3) e (12-5), obtemos

2
1
div(grad ) div(grad ) (grad )
i i
i
i
g
g x


= = =



1 1
(grad ) .
ij ij
j
i i j
g g g g
g g x x x



= =



(12-7)

De outro modo, usando as Eqs. (12-4) e (10-3), encontramos

2
;
(grad )
div(grad ) (grad ) (grad )
ij ij i
i i j k
j
k
g g
ij
x



= = =





( )
2
.
ij ij
j i k i j k
k k
g g
ij ij
x x x x x x




= =





(12-8)

Destaquemos a expresso invariante do laplaciano obtida de passagem acima,

2
;
,
ij
ij
g = (12-9)
que tambm aparece com freqncia na literatura.

INTRODUO AOS TENSORES 31
d) Rotacional
No espao euclidiano tridimensional, para um vetor V
,
de componentes
i
V nas coordena-
das cartesianas
i
x , temos que, se
( )
ij ijk k
R V
,
E ,
ento
23
R ,
31
R e
12
R so, respectivamente, os componentes cartesianos do rotacional de V
,
ao
longo dos eixos
1
x ,
2
x e
3
x , [
23 23 1
( ) ( )
k k
R V V = =
, ,
E , etc], e os demais valores de
ij
R , devido anti-simetria nos ndices l e m, ou so nulos (se l = m) ou o negativo de um daque-
les componentes. Em suma, apenas trs valores de
ij
R so independentes e so eles os compo-
nentes cartesianos de V
,
.
Mas, usando a Eq. (B-20) e lembrando que, num sistema cartesiano, as derivadas parciais
podem ser substitudas pelas derivadas covariantes, podemos escrever
; ; ij j i j i i j
i j
R V V V V
x x

=

.
Ora, essa expresso tensorial. Est assim justificada a definio do rotacional de um ve-
tor covariante
i
V num sistema de coordenadas curvilneas
i
x como sendo o tensor covariante
de 2
a
ordem anti-simtrico
; ; ij j i i j
R V V . Computando essas derivadas covariantes, obtemos

j
ij k
i
V k
R V
ij
x


i
k
j
k V
V
ji
x



( )
,

ou seja, chegamos seguinte expresso mais simples do rotacional:
Rotacional de
k
V =
j
i
i j
V
V
x x


. (12-10)
Observe que, para um vetor contravariante, a diferena
; ;
j i
i j
V V de derivadas covari-
antes no igual diferena / /
j i i j
V x V x de derivadas parciais.


13. Tensor de curvatura ou de Riemann-Christoffel
Equation Section (Next)
Uma condio suficiente para que as derivadas parciais duplas
2
f
x y


e
2
f
y x



sejam iguais que ( , ) f x y seja da classe
2
C . Embora se admita que componentes de tensores
sempre satisfaam tal condio, isso no garante que uma diferenciao covariante dupla inde-
penda da ordem em que cada uma seja calculada. Assim, por exemplo, para um vetor
a
V , temos
que
; a ij
V
; a ji
V em geral. Deduzimos em seguida a condio para que a ordem de clculo da
derivada covariante no importe.
INTRODUO AOS TENSORES 32
Considere a derivada covariante de
i
V em relao a
j
x ,
;
,
i
i j r
j
r V
V V
ij
x

=



e a derivada covariante de
; i j
V em relao a
k
x ,
,
; ; ; ; ;
( )
i j
i jk i j k r j i r
k
V
r r
V V V V
ik jk
x


= =


.
Nesta, fazendo a permutao j k . , obtemos

;
; ; ; ; ;
( )
i k
i kj i k j r k i r
j
V
r r
V V V V
ij kj
x


= =


.

A diferena dessas duas ltimas equaes

; ;
; ; ; ;
i j i k
i jk i kj r j r k
k j
V V
r r
V V V V
ik ij
x x


= +




i i r r
s s s s
k j j k j k
s s r s r s V V V V
V V V V
ij ik ik rj ij rk
x x x x x x

= +






2
i
k j
V
x x

=

s
s
k k
s
s ij V
V
ij
x x








2
i
j k
V
x x


s
s
j j
s
s ik V
V
ik
x x




+ +




r
j
r V
ik
x


r
s
k
r s r V
V
ik rj ij
x

+ +


s
r s
V
ij rk





s
j k
s s
r s r s ik ij
V
ik rj ij rk
x x






= +







ou, denotando o termo entre parnteses por
s
ijk
R , um tensor de 4
a
ordem, do tipo
1
3
, segundo a
lei do quociente (pois o 1
o
membro
; ; i jk i kj
V V um tensor e
s
V um vetor covariante arbitr-
rio),

s
ijk
j k
s s
r s r s ik ij
R
ik rj ij rk
x x





+



, (13-1)

que o chamado tensor de curvatura ou de Riemann-Christoffel, encontramos

INTRODUO AOS TENSORES 33

; ;
s
i jk i kj ijk s
V V R V = . (13-2)
Se tivssemos iniciado os clculos com o vetor
i
V em vez de
i
V teramos encontrado (cf.
Prob. 51)


; ;
i i i s
jk kj sjk
V V R V = . (13-3)

Por essas duas equaes vemos que, ao se diferenciar covariantemente vrias vezes um
vetor, a ordem em que cada derivada calculada no ser importante se e somente se 0
s
ijk
R .
Ora, isso acontece num sistema de coordenadas cartesianas, no qual os smbolos de Christoffel
se anulam e, por conseguinte, o tensor de curvatura tambm. Portanto, nos espaos euclidianos,
onde coordenadas cartesianas so admitidas, o tensor de curvatura identicamente nulo (lembre-
se de que, se um tensor se anular num sistema particular de coordenadas, ele se anular em
qualquer outro sistema que se adote no espao em estudo) e a ordem da diferenciao covariante
poder ser invertida. Nos casos de mtrica definitivamente positiva, a recproca tambm ser
verdadeira (Sokolnikoff a demonstra): se num certo espao o tensor de curvatura se anular (um
espao onde a ordem de se diferenciar covariantemente no importa) ento esse espao ser eu-
clidiano.


INTRODUO AOS TENSORES 34
14. Problemas propostos
Equation Section (Next)
Propriedades bsicas dos tensores, adio e subtrao
(1) (Neste exerccio empregamos a linguagem e a notao da Anlise Vetorial elementar.) Seja
r
,
o vetor posio de um ponto
3
P R . Num sistema de coordenadas curvilneas
i
x podemos
usar, em cada ponto, as duas bases locais seguintes B { }
i
T =
,
com /
i
i
T r x =
,
,
e { }
i
N =
,
e
i i
N x =
,
( 1, 2 ) i = . Mostre que, para um campo vetorial ( ) A r
,
,
, os componentes na base B e
os componentes na base transformam-se contravariantemente e covariantemente, respectiva-
mente.

(2) Mostre que, se
k
ij
A e
k
ij
B so tensores, ( , , )
k k
ij ij
S i j k A B + e ( , , )
k k
ij ij
D i j k A B = tambm
so.

(3) Mostre que, se os componentes de um tensor num sistema de coordenadas
(a) forem nulos, (b) forem iguais,
tambm o sero em todos os sistemas de coordenadas.

Produto externo
(4) Mostre que a grandeza T dada como produto externo dos tensores U e W tambm um ten-
sor e informe qual o seu tipo:
(a) ( , , , , )
kl m
i j
T i j k l m U W = (b) ( , , )
ij k
T i j k U W =
(c) ( , , , )
ij kl
T i j k l U W = (d) ( , , , )
kl
ij
T i j k l U W =

Contrao
(5) Mostre que a contrao do tensor
j
i
A um escalar.

(6) Mostre que o produto interno dos tensores
i
A e
j
B um invariante.

(7) Seja
lm
ijk
A um tensor.
(a) Prove que o resultado da contrao dos ndices k e l um tensor e diga de que tipo
(b) Idem, mas agora contraindo tanto k e l quanto j e m

Produto interno
(8) Mostre que o produto interno dos tensores
j
i
A e
lm
k
B que resulta da contrao dos ndices i e
m em seu produto externo um tensor e diga de que tipo.

(9) Se ( , , ) G i j k forem grandezas tais que ( , , ) 0
ij
b
G i j a T = para qualquer tensor
ij
b
T , mostre
que ( , , ) 0 G i j k .

Tensores simtricos e anti-simtricos
(10) Se ( , , ) G i j k forem grandezas tais que ( , , ) 0
ij
b
G i j a S = para qualquer tensor
ij
b
S com sime-
tria nos ndices i e j, mostre que no podemos afirmar que ( , , ) 0 G i j k , mas, sim, que a sua
INTRODUO AOS TENSORES 35
chamada parte simtrica em relao aos ndices i e j ser nula: ( ) ( , ), G i j k
[ ( , , ) ( , , )] / 2 0 G i j k G j i k + = .

(11) Se ( , , ) G i j k forem grandezas tais que ( , , ) 0
ij
b
G i j a A = para qualquer tensor
ij
b
A com anti-
simetria nos ndices i e j, mostre que no podemos afirmar que ( , , ) 0 G i j k mas, sim, que a
sua chamada parte anti-simtrica em relao aos ndices i e j ser nula: ( ) [ , ], G i j k
[ ( , , ) G i j k ( , , ) ] / 2 0 G j i k = .

(12) Prove que todo tensor de 2
a
ordem contravariante ou covariante pode ser expresso como a
soma de um tensor simtrico e um anti-simtrico.

(13) Mostre que no h tensores anti-simtricos de ordem superior a quatro em quatro dimen-
ses.

Lei do quociente
(14) Num sistema de coordenadas
i
x sabe-se que uma grandeza ( ) T i tal que ( )
i
T i U = , on-
de um invariante e
i
U um vetor arbitrrio. Prove que ( ) T i um vetor e diga de que tipo.

(15) Mostre que, se o produto interno ( , )
aj
A i a entre o conjunto de
2
N grandezas ( , ) A i a e um
tensor covariante de 2
a
ordem arbitrrio
aj
for um tensor, ento ( , )
a
i
A i a A = , um tensor misto
de 2
a
ordem.

(16) Sabe-se que uma grandeza ( , , ) A i j k tal que ( , , )
k i
jl l
A i j k U C = num sistema de coorde-
nadas
i
x , onde
k
jl
U um tensor arbitrrio. Prove que ( , , ) A i j k um tensor e diga de que tipo.

(17) Se ( , ) G i j tal que ( , )
ij
S G i j = (invariante) para qualquer tensor simtrico
ij
S , explique
por que no podemos afirmar que ( , ) G i j seja um tensor; mostre, entretanto, que a sua parte
simtrica, ( ) ( , ) [ ( , ) ( , )] / 2 G i j G i j G j i = + (definida no Prob. 10), sim, um tensor
ij
G simtri-
co do tipo
0
2
tal que
ij
ij
S G = .

(18) H uma assertiva anloga quela demonstrada no Prob. 17 para o caso em que, no lugar de
ij
S , tem-se um tensor anti-simtrico
ij
A qualquer, quando, ento, a parte anti-simtrica de
( , ) G i j um tensor. Para estabelecer isso e, ao mesmo tempo, permitir que o estudante observe
a possibilidade de se obterem resultados mais genricos, pede-se, no presente problema, que se
explique por que, se ( , , ) G i j k tal que ( , , )
ij
k
A G i j k V = (vetor covariante) para qualquer ten-
sor anti-simtrico
ij
A , no podemos afirmar que ( , , ) G i j k seja um tensor, mostrando, entretan-
to, que a sua parte anti-simtrica, ( ) [ , ], [ ( , , ) ( , , )] / 2 G i j k G i j k G j i k = (definida no Prob. 11),
sim, um tensor
ijk
G anti-simtrico nos ndices i e j tal que
ij
ijk k
A G V = .

Tensores relativos
(19) Sejam
i
jk
A e
l
B tensores relativos de pesos
1
W e
2
W , respectivamente. Mostre que
INTRODUO AOS TENSORES 36
(a) o produto externo deles um tensor relativo do tipo
2
2
e de peso
1 2
W W +
(b) o produto interno
i j
jk
A B um tensor relativo do tipo
1
1
e de peso
1 2
W W +
(c) a contrao
i
ji
A um vetor relativo covariante de peso
1
W
(d)
l
g B um vetor relativo contravariante de peso
2
1 W +
()


(20) Obtenha as Eqs. (5-2), (5-3) e (5-4).

(21) Prove que os co-fatores
ij
G de
ij
g formam um tensor relativo contravariante de peso 2
()

(22) Mostre que, se
j
i

T for um tensor relativo de peso W,


/ 2 j j W
i i
T g



T ser um tensor
absoluto do mesmo tipo.

Os tensores fundamentais
(23) Mostre que os coeficientes
ij
g na mtrica [Eq. (6-6)] podem ser sempre definidos de modo
que sejam simtricos e assim formar um tensor simtrico do tipo
0
2
.

(24) Atravs da Eq. (6-10) e tendo em conta que
ij
g um tensor do tipo
0
2
(conforme se provou
no Prob. 23), mostre que
ij
g um tensor do tipo
2
0
.

(25) Num espao euclidiano, mostre que
(a)
k k
ij
i j
z z
g
x x

=

(b)
i j
ij
k k
x x
g
z z

=


onde
i
x so coordenadas curvilneas e
k
z so as coordenadas cartesianas.

(26) Mostre que
s s
rjk s srjk
R V R V = (R e V so arbitrrios)

(27) No Exerccio 1, mostre que
(a)
i ij
j
N g T =
, ,
e
j
i ij
T g N =
, ,

(b) as bases B e coincidiro se forem normalizadas, isto , formadas pelos vetores unit-
rios / | |
i i i
e T T
, ,
,
e / | |
i
i i
N N
, ,
,
, respectivamente, e se o sistema de coordenadas for ortogonal.

(28) Mostre que
ii
g ( 1, 2 i = , no somados) nunca se anulam.

(29) Mostre que os ngulos
12
,
13
e
23
formados pelas curvas coordenadas de um sistema de
coordenadas curvilneas tridimensional so dados por

12 12 11 22 13 13 11 33 23 23 22 33
cos / , cos / , cos / g g g g g g g g g = = = .


()
Necessrio ler antes as Ses. 6a e 6b.
()
Necessrio ler antes as Ses. 6a e 6b.
INTRODUO AOS TENSORES 37
(30) Mostre que os co-senos dos ngulos que o vetor unitrio tridimensional
i
u faz com as cur-
vas coordenadas so
1 11
/ u g ,
2 22
/ u g e
3 33
/ u g .

(31) Num sistema de coordenadas ortogonais, prove que 0 se
ij
ij
g g i j = = e que
1/
ii
ii
g g = (sem somatrio).

(32) Mostre que /
ij
ij
g g g g =
(33) Mostre que
ij
il jm lm
k k
g g
g g
x x

=



Equao da linha geodsica
(34) Mostre que as geodsicas num plano so linhas retas.

(35) Mostre que, no espao bidimensional formado pelos pontos de uma superfcie esfrica, as
geodsicas so arcos de grandes crculos.

Smbolos de Christoffel
(36) No texto obtivemos a seguinte lei de transformao para o smbolo de Christoffel de 2
a
es-
pcie:
2
.
k l m k m
n i j m i j
k n
x x x x x
ij lm
x x x x x x


= +




Mostre que esta equao equivalente seguinte:
2
.
k l m m n k
n i j i j m n
k n
x x x x x x
ij lm
x x x x x x x


=




(37) Mostre que:
(a) [ , ] [ , ]
ij
k
g
ki j kj i
x

= +

(b)
ij
il jl
k
j i
g
g g
kl kl
x

=


(c)
1
2
j
i
g
ij g
x

=




(38) Para i, j e k distintos, 0
ij
i j
g

= e com a conveno do somatrio suspensa, mostre que
(a)
1
2
ii
i
ii
i g
ii g
x

=


(b)
1
2
ii
j
ii
i g
ij g
x

=


(c)
1
2
jj
i
ii
g
i
jj g
x


(d) 0
i
jk

=




(39) Num espao euclidiano, sendo
i
x coordenadas curvilneas e
i
z cartesianas, mostre que
(a)
2
[ , ]
s s
i j k
z z
ij k
x x x

=

e (b)
2 k
s
i j
s
k z x
ij z
x x

=




.

Derivada covariante
(40) Demonstre o teorema de Ricci, que diz serem nulas as derivadas covariantes do tensor fun-
INTRODUO AOS TENSORES 38
damental e dos seus tensores associados:
(a)
;
0
ij k
g = (b)
;
0
ij
k
g = (c)
;
0
i
j k
=

(41) Mostre que as derivadas covariantes de vetores contravariantes e covariantes, dadas por
;
k
k j
i
i
k
V
V V
ij
x

+


e
;
i
i j k
j
k V
V V
ij
x



,
so tensores dos tipos
1
1
e
0
2
, respectivamente.

(42) Mostre a regra de Leibniz para a derivada covariante nos seguintes casos:
a)
; ; ;
( )
i k i k i k
j lm n j n lm j lm n
A B A B A B = + (derivada covariante de produto externo)
b)
; ; ;
( )
i j i j i j
j kl n j n kl j kl n
A B A B A B = + (derivada covariante de produto interno)

(43) Seja uma funo invariante das coordenadas. Mostre que
; ; ij ji
= (a ordem na qual a
derivada covariante de um invariante calculada no importa).

(44) Mostre que
{ } ;
/
i
s
si
i
x W f f f um vetor relativo covariante de peso W, onde f um
escalar relativo de mesmo peso.

(45) Mostre que
; ;
( ) 0
i i
g g = = .
(46) Mostre que
2 a j
i i j a
J x x
J
x x x x

=

(importante na deduo da derivada covariante de ten-
sores relativos):

(47) Mostre que a divergncia covariante de um vetor relativo contravariante de peso 1, definida
na Eq. (10-13), um escalar relativo de peso 1.

Gradiente, divergncia, laplaciano e rotacional
(48) Mostre que o gradiente de ( ) x normal superfcie ( ) . x const = e calcule o vetor con-
travariante unitrio e normal a essa superfcie.

(49) Mostre a frmula
( )
1
div
i i
i
F g F
g x

.
Tensor de curvatura
(50)
s
si jkl ijkl
g R R = o to-chamado tensor covariante de curvatura. Mostre que esse tensor
(a) anti-simtrico nos ndices do primeiro par (ij) e do segundo (kl):
ijkl jikl ijlk
R R R = =
(b) simtrico quanto troca do primeiro com o segundo par de ndices:
ijkl klij
R R =

(51) Mostre a frmula
; ;
i i i s
jk kj sjk
V V R V = .


INTRODUO AOS TENSORES 39
Clculos em sistemas de coordenadas especficos
(52) Calcule os tensores fundamentais covariante e contravariante e o determinante mtrico para
a) o plano xy euclidiano no sistema de coordenadas polares
b) o espao xyz euclidiano nas coordenadas cilndricas e esfricas

(53) No plano xy euclidiano,
x
V e
y
V so os componentes cartesianos de um vetor. No sistema
de coordenadas polares, calcule para esse vetor:
a) os componentes contravariantes
r
V e V


b) os componentes covariantes
r
V e V


c) os componentes fsicos
r
V e V



(54) Verifique se os resultados do Prob. 53 esto de acordo com a equao
j
i ij
V g V = .

(55) No Prob. 53, substitua 2
x
V x y = e 2
y
V xy = e obtenha as expresses de
r
V e V


bem como as de
r
V e V

?

(56) Calcule os smbolos de Christoffel de 1
a
e 2
a
espcie em coordenadas polares:
(a) diretamente da definio desses smbolos
(b) usando o Prob. 39

(57) Usando o Prob. 38, calcule os smbolos de Christoffel de 2
a
espcie em coordenadas pola-
res e esfricas.

(58) Calcule
; i j
V no sistema de coordenadas polares para o vetor descrito no Prob. 55:
(a) diretamente da definio de derivada covariante
(b) mudando as derivadas covariantes calculadas no sistema cartesiano para o sistema polar

(59) Como voc definiria a velocidade e a acelerao de uma partcula?

(60) Mostre que a acelerao definida no Prob. 59 dada por
2
2
i j k
i
i
d x dx dx
a
jk dt dt
dt

= +


.
(61) Expresse no sistema de coordenadas polares a velocidade de uma partcula em movimento
no plano xy:
a) em termos dos componentes contravariantes
b) em termos dos componentes fsicos

(62) O Prob. 61, mas para a acelerao da partcula.

(63) Os Probs. 61 e 62, mas, agora, no sistema de coordenadas esfricas para uma partcula em
movimento no espao.

(64) No plano xy euclidiano, considere o campo vetorial de componentes cartesianos 0
x
V = e
y
V y x = . No sistema de coordenadas polares, calcule a derivada intrnseca desse campo ao
longo da reta 1 y x = + para mostrar que ela nula (por qu?).

INTRODUO AOS TENSORES 40
(65) Calcule os componentes fsicos de grad
a) no plano, em coordenadas polares
b) no espao, em coordenadas esfricas

(66) Exprima div
i
F em termos dos componentes fsicos de
i
F no sistema de coordenadas esf-
ricas.

(67) Obtenha o laplaciano em coordenadas polares usando
2
;
ij
ij
g = com
1
x r = e
2
x = .

(68) No sistema de coordenadas esfricas
1 2 3
( , , ) x r x x = = = , calcule separadamente os dois
membros da frmula no Prob. 38b com i = 3 e j = 2 e verifique a sua validade.
Sugesto: Use a frmula deduzida no Prob. 39b

(69) Exprima
2
em coordenadas esfricas usando a frmula
2
1
ij
j i
g g
x x g


=


.

(70) Considere as coordenadas paraboloidais ( , , ) u v , cuja lei de transformao para as coorde-
nadas cartesianas ( , , ) x y z
2 2
cos , sen , ( ) / 2 [ 0 , 0 , 0 2 ] x u y u z u u = = = < v v v v .
Trata-se de um sistema ortogonal de coordenadas, sendo os fatores de escala dados por
2 2
,
u
h h u h u

= = + =
v
v v .
Obtenha o laplaciano de ( , , ) u v usando a mesma frmula do Prob. 69.


15. Solues dos problemas propostos
Equation Section (Next)
(1)
Note que a base B formada pelos vetores tangentes s curvas coordenadas e a base ,
pelos vetores normais s superfcies coordenadas.
(a)

igualando os
termos com
i i
i j j j j
i j i
j i j j
r r x x
A a T a T a a a T
x x x x


= = = = =


, ,
, , , ,

i
i j
j
x
a a
x

=


(b) Denotemos por
i
z e
i

,
as coordenadas e os versores cartesianos. Abaixo usamos o fato de
que, nessas coordenadas, o gradiente de funo f qualquer dado por ( / )
i i
f f z =
,
.
igualando os
termos com
l j l j
l l j j
l l l k j j j k l j
k k k k
x x x x
A N x N x
z z z z



= = = = = = =

, , , , ,


Multiplicando ambos membros por /
k i
z x , obtemos
/
l j i
i
l j
k k
l j
i i
k k
x x
z z x x
z z
x x





=



j
i j
i
x
x

=

(regra covariante)
(regra
contra-
variante)
INTRODUO AOS TENSORES 41
(2)
( )
( , , )
( , , ) ;
l m k l m k
k k n n
ij ij lm lm
i j n i j n
l m k l m k
n n
lm lm
i j n i j n
x x x x x x
S i j k A B A B
x x x x x x
x x x x x x
A B S l m n
x x x x x x

= + = +


= + =


logo, ( , , )
n
lm
S l m n S = , um tensor do mesmo tipo que
n
lm
A e
n
lm
B , pois se transforma como estes.
(3)
(a)
( )

0
0 0
j k
l j l
k i k
l i
x x
T T T
x x

= = =



. QED.
(b) Sejam T e U dois tensores iguais num sistema de coordenadas x , onde, por conseguinte,
D T U um tensor nulo. De acordo com o item (a), temos que 0 D T U = = num ou-
tro sistema de coordenadas x qualquer, onde, portanto, T U = . QED.
(4)
Resolve-se apenas o item (a); os demais so anlogos:
,
( , , , , )
( , , , , )
n k l r m
kl m pq s
i j n r
i p q j s
n r k l m
i j p q s
x x x x x
T i j k l m U W U W
x x x x x
x x x x x
T n r p q s
x x x x x

= =


=


mostrando que ( , , , , )
klm
ij
T i j k l m T = , um tensor do tipo
3
2
, pois se transforma como tal.
(5)
k j k i
j l i l k l k
i k i k l k k
i l i l
x x x x
A A A A A A
x x x x


= = = =

,
ou seja,
k
k
A invariante. QED.
(6)
i l
i k l k k
i l k l k
k i
x x
A B A B A B A B
x x


= = =

= invariante . QED.
(7)
Resolve-se apenas o item (a); os demais so anlogos:
,
q
r
l p q k m l p m
qs km rs
ijk lpq lpq
i j k r s i j s
x x x x x x x x
A A A
x x x x x x x x


= =


mostrando que
km m
ijk ij
A A = , um tensor do tipo
1
2
, pois se transforma como tal.
(8)
,
k j m l i j m l j m l
j li l np k l np l np
i k k m p k m p m
i l k n p l k n l k n
x x x x x x x x x x x
A B A B A B A B
x x x x x x x x x x x


= = =


mostrando que
j jl li
i k k
A B C , um tensor do tipo
2
1
, pois se transforma como tal.
INTRODUO AOS TENSORES 42
(9)
Se ( , , ) 0
ij
b
G i j a T = para qualquer
ij
b
T ento, em particular, aquela equao vale para o
tensor
ij
b
T cujos componentes, com exceo dos
IJ
b
T (com i I = e j J = ), so todos nulos; lo-
go,

0
( , , ) ( , , ) 0
ij IJ
b b
G i j a T G I J a T

= = (sem somatrio em I e J ) ( , , ) 0 G I J a = ,
resultado vlido para todos I, J, a. QED.
(10)
No usamos a conveno do somatrio neste problema. Temos que
,
( , , ) 0
ij
b
i j
G i j a S =

.
No podemos concluir por esta equao que ( , , ) G i j a so todos nulos, por que as grandezas
ij
b
S
no so todas independentes; h a relao de simetria
ij ji
b b
S S = entre elas. Devemos ento rees-
crever o somatrio com a presena apenas dos componentes
ij
b
S que sejam independentes:

( , , ) ( , , ) ( , , )
ij ij ij
b b b
j i
j i j i
j
G i j a S G i j a S G i j a S
=
< >

+ +


.


( , , ) ( , , ) ( , , )
ij ij ji
b b b
j i
j i i j
G i j a S G i j a S G j i a S
=
< >

= + +



[ ]
( , , ) ( , , ) ( , , ) 0 .
ij ij
b b
j i
j i
G i j a G j i a S G i j a S
=
<

= + + =



Nesse somatrio, todos
ij
b
S so independentes e arbitrrios; logo,
( , , ) ( , , ) 0 G i j a G j i a + = , i.e., ( ) ( , ), 0 se G i j k j i = .
Esse resultado garante que a parte simtrica de ( , , ) G i j a tambm nula para j i > :
( ) ( )
pela simetria
nos ndices ,
( , ), ( , ), 0
i j
j i j i
G i j a G j i a
> >
= = . QED.

(11)
No usamos a conveno do somatrio neste problema.
Temos que
,
( , , ) 0
ij
b
i j
G i j a A =

.
No podemos concluir por esta equao que ( , , ) G i j a so todos nulos, por que as grandezas
ij
b
A
no so todas independentes; h a relao de anti-simetria
ij ji
b b
A A = entre elas. Devemos ento
reescrever o somatrio com a presena apenas dos componentes
ij
b
A que sejam independentes:

INTRODUO AOS TENSORES 43
( , , ) ( , , ) ( , , )
ij ij ij
b b b
j i
j i j i
j
G i j a A G i j a A G i j a A
=
< >

+ +


.

0
( , , ) ( , , ) ( , , )[ ]
ij ij ii
b b b
j i i j
G i j a A G i i a A G j i a A
< >
= + +


[ ]
( , , ) ( , , ) 0 .
ij
b
j i
G i j a G j i a A
<
= =


Nesse somatrio, todos
ij
b
A so independentes e arbitrrios; logo,
( , , ) ( , , ) 0 G i j a G j i a = , i.e., ( ) [ , ], 0 se G i j k j i = < .
Esse resultado garante que a parte anti-simtrica de ( , , ) G i j a tambm se anula para j i > :
( ) ( )
pela anti-simetria
nos ndices ,
[ , ], [ , ], 0
i j
j i j i
G i j a G j i a
> >
= =
Por fim, para i j = temos que
( )
( , , ) ( , , )
[ , ], 0
2
G i i a G i i a
G i i k

= = . QED.
(12)
Sejam
ij
A e
ij
B tensores arbitrrios. Suas partes simtricas,
( )
2
ij ji
ij
A A
A
+
= e
( )
2
ij ji
ij
B B
B
+
= ,
so tensores simtricos e que suas partes anti-simtricas,
[ ]
2
ij ji
ij
A A
A

= e
[ ]
2
ij ji
ji
B B
B

= ,
so tensores anti-simtricos, em termos das quais aqueles tensores podem ser decompostos:
( ) [ ] ij ij ij
A A A = + e
( ) [ ] ij ij ij
B B B = + . QED.
(14)
( ) ( )
i i
T i U T i U = = = ( ) ( )
i
j j
j
x
T i U T j U
x

=

0
( ) ( )
i
j
j
x
U
T i T j
x


=


.
Sendo
j
U um vetor arbitrrio, podemos igualar o termo entre colchetes a zero para obter
( ) ( )
i
j
x
T j T i
x

=

,
que a lei de transformao do vetor covariante ( )
j
T j T = . QED.
(15)
dado que ( , )
aj ij
A i a T , um tensor do tipo
0
2
. Esta equao nas coordenadas curvil-
INTRODUO AOS TENSORES 44
neas
i
x ( , )
aj ij
A i a T ; escrevendo-a com os tensores
aj
e
ij
T transformado para as coor-
denadas
i
x , obtemos
( , ) ( , )
b k l k l k
bk lk bk
a j i j i j
x x x x x x
A i a T A l b
x x x x x x


= =



arbitrrio
( , ) ( , ) 0 ( , ) ( , ) 0
b l k b l
bk
a i j a i
x x x x x
A i a A l b A i a A l b
x x x x x


= =


/
( , ) ( , ) 0 ( , ) ( , ) ,
c b
c
a
c b c l l c
x x
b a b i i b
x x x x x x
A i a A l b A i c A l b
x x x x x x


= =


mostrando que ( , )
c
i
A i c A = , um tensor do tipo
1
1
, pois se transforma como tal. QED.
(16)
( , , ) ( , , )
i p
k i k i q
jl l jl l p
q l
x x
A i j k U C A i j k U C C
x x

= = =


( , , ) ( , , )
k m p i p
n n
mp mp
n j l q l
x x x x x
A i j k U A q m n U
x x x x x

=


arbitrrio
( , , ) ( , , ) 0
k m i p
n
mp
n j q l
x x x x
A i j k A q m n U
x x x x

=


Prob. 9
( , , ) ( , , ) 0
k m i
n j q
x x x
A i j k A q m n
x x x

=


/
( , , ) ( , , ) 0
l i
l
q
k m l i l
x x
n j i q i
x x x x x
A i j k A q m n
x x x x x


( , , ) ( , , ) ,
l m k
i j n
x x x
A l m n A i j k
x x x

=


mostrando que ( , , )
lm
n
A l m n A = , um tensor do tipo
2
1
, pois se transforma como tal. QED.
(17)
No podemos aplicar a regra do quociente para afirmar que ( , ) G i j seja um tensor porque
ij
S , sendo simtrico, no um tensor arbitrrio. Entretanto, podemos provar a que sua parte si-
mtrica um tensor do tipo
0
2
como segue:
pela sime-
tria de
( , ) ( , ) ( , ) ( , ) ( , )
ij
i j S
ij ji ij ij ij
S G i j S G j i S G j i S G i j S G j i = = = + = +
.

( )
( , ) ( , )
( , )
2
ij ij
G i j G j i
S S G i j
+
= =
INTRODUO AOS TENSORES 45
Provamos agora que ( ) ( , ) G i j , claramente simtrico, um tensor do tipo
0
2
:
( ) ( ) ( ) ( , ) ( , ) ( , )
i j
ij kl kl
k l
x x
S G i j S G i j S G k l
x x


= = =


( ) ( )
( , )
( , ) ( , ) 0
i j
kl
k l
H k l
x x
S G k l G i j
x x

()
Note que ( , ) H k l simtrico:
( ) ( ) ( ) ( ) ( , ) ( , ) ( , ) ( , ) ( , ) ( , )
i j i j
l k l k
x x x x
H l k G l k G i j G k l G j i H k l
x x x x

= = =

.
Logo, pelo Prob. 10 , a Eq. () acima implica que
( ) ( )
( , ) ( , )
( , ) ( , ) ( , ) 0
2
i j
k l
H k l H l k x x
H k l G k l G i j
x x
+
= = =

,
mostrando que ( ) ( , ) G k l um tensor covariante de 2
a
ordem, pois se transforma como tal.
(18)
No podemos aplicar a regra do quociente para afirmar que ( , , ) G i j k seja um tensor por-
que
ij
A , sendo anti-simtrico, no um tensor arbitrrio. Entretanto, podemos provar que a sua
parte anti-simtrica um tensor do tipo
0
3
como segue:

pela anti-
-simetria de
( , , ) ( , , ) ( , , )
ij
i j A
ij ji ij
k
V A G i j k A G j i k A G j i k = = =
.

2 ( , , ) ( , , )
ij ij
k
V A G i j k A G j i k =
( )
( , , ) ( , , )
[ , ],
2
ij ij
k k
G i j k G j i k
V A V A G i j k

= =
Provamos agora que ( ) [ , ], G i j k , claramente anti-simtrico, um tensor do tipo
0
3
:
( ) ( ) ( ) [ , ], [ , ], [ , ],
i j a a
ij lm lm
k a
l m k k
x x x x
A G i j k V A G i j k V A G l m a
x x x x

= = =


( ) ( )
( )
/
[ , ],
[ , ], [ , ],
na
k n
i j k k a
x x
lm lm
l m n n k
G l m n
x x x x x
A G i j k G l m a A
x x x x x


=

,


( ) ( )
( , , )
[ , ], [ , ], 0
i j k
lm
l m n
H l m n
x x x
A G l m n G i j k
x x x

()
Note que ( , , ) H l m n anti-simtrico nos ndices l e m:
INTRODUO AOS TENSORES 46
( ) ( )
( ) ( )
( , , ) [ , ], [ , ],
[ , ], [ , ], ( , , )
i j k
m l n
i j k
m l n
x x x
H m l n G m l n G i j k
x x x
x x x
G l m n G j i k H l m n
x x x

=


= + =


Logo, pelo Prob. 11, a Eq. () acima implica que
( ) ( )
( , , ) ( , , )
( , , ) [ , ], [ , ], 0
2
i j k
l m n
H l m n H m l n x x x
H l m n G l m n G i j k
x x x

= = =

,
mostrando que ( ) [ , ], G l m n um tensor covariante de 3
a
ordem, pois se transforma como tal.
(19)
(b)
( )
( )
1 2
1 2
1 2 1 2
,
i n
i m n j
W W i m l p i W W l p
j
k p mn jk mn l k
l j k p
i n i n
W W W W l p l
pn n
l k l k
x x
x x x x
J
J J
x x
x x x x
x x x x
J J
x x x x

+
+ +

= = =




= =

C A B A A B
B
A B C
que a lei de transformao de um tensor relativo do tipo
1
1
e peso
1 2
W W + . QED.
(d)
Pelas leis de transformao de g e
l
B , dadas pelas Eqs. (6-15) e (5-1), temos que
2 2
1 2 1/ 2
( ) ( ) ( )
m m
W W m l l
l l
x x
g J g J J g
x x
+

= =

B B B ,
ou seja,
l
g B um vetor relativo contravariante de peso
2
1 W + , pois se transforma como tal.
(20)
Denotando elementos de matrizes jacobianas pela notao /
i k
ik
x x J e /
i k
x x
ik
J , temos que | |
ik
J J = ,
1
| |
ik
J J J

= = e que


2
| | | | | | | | | |
ij ki lj kl ik kl lj ij ik kl lj kl
J
J
T J J T J T J T J T J J T = = = =


1
1
2
| | | | | | | | | |
ij kl kl ij kl kl
ik jl ik lj ik lj
J
J
U J J U J U J U J U J J U

= = = =


1
| | | | | | | | | |
j j l l l
i jl k ki i jl k ki k
J
J
W J W J W J W J W

= = = =

(21)
No texto j vimos que g um escalar relativo de peso 2. Assim, temos que
2 2
i j i j
ij ij ij ij kl kl
k l k l
x x x x
g g g g J g g J
x x x x



= = = =




G G G ,
que a lei de transformao de um tensor relativo contravariante de peso 2. QED.
INTRODUO AOS TENSORES 47

(22)
Usando as leis de transformao de g e
j
i

T , dadas pelas Eqs. (6-15) e (5-1), temos que


/ 2 2 / 2 / 2
( )
,
k j k j
j j W W W l W l
i i k k
i l i l
k j
l
k
i l
x x x x
T g J g J g
x x x x
x x
T
x x


= =


=


T T T

ou seja,
j
i
T

um tensor absoluto, pois se transforma como tal, e do mesmo tipo de


j
i

T .

(23)
Temos que
2 2 2
2
2
ij ji
i j j i i j i j i j
ij ji ij ji
g g
ds g dx dx g dx dx ds g dx dx g dx dx ds dx dx
+
= = = + = ,
mostrando que, se a matriz
ij
g no for originalmente simtrica, podemos tomar os coeficientes
na mtrica como sendo os da parte simtrica daquela matriz,
( ) ij
g , uma matriz claramente sim-
trica.
Assim sendo, considere a mtrica
2 i j
ij
ds g dx dx = com coeficientes simtricos. Note que
no podemos usar o Prob. 17 para afirmar que
ij
g seja um tensor simtrico do tipo
0
2
, pois
ij i j
S dx dx no um tensor simtrico arbitrrio, uma vez que
i
dx e
j
dx so componentes de
um mesmo vetor contravariante. Mas, sendo
i
dx um deslocamento infini-
tesimal arbitrrio, podemos tom-lo como a soma de dois deslocamentos
infinitesimais,
(1)
i
dx e
(2)
i
dx (figura direita), aos quais associamos as
distncias quadrticas infinitesimais
2
(1) (1) (1)
j i
ij
ds g dx dx = e
2
(2)
ds =
(2) (2)
j i
ij
g dx dx . A distncia quadrtica infinitesimal associada a
i
dx , en-
to, dada por

2
(1) (2) (1) (2)
(1) (2) (1) (2) (1) (2) (2) (1)
2 2
(1) (2) (1) (2)
[ ][ ]
2 ,
j j i j i i
ij ij
j j j j i i i i
ij ij ij ij
j i
ij
ds g dx dx g dx dx dx dx
g dx dx g dx dx g dx dx g dx dx
ds ds g dx dx
= = + +
= + + +
= + +

ou
2 2 2
(1) (2)
invariante
ij
ij
g S ds ds ds = = ,

onde
(1) (2)
2
j ij i
S dx dx , um tensor simtrico arbitrrio; logo, pelo Prob. 17, temos que
ij
g um
tensor simtrico do tipo
0
2
. QED.



(2)
i
dx
(1)
i
dx
(1) (2)
i i i
dx dx dx = +
INTRODUO AOS TENSORES 48
(24)
/
m k kl
rk
r s r i
x x g ip i ip i ip s
pm m rs m k rs
p m p k
g
x x x x
g g g g g g
x x x x


= = =



/
/
l
r
j l
l p j
p
r i l j i j i j
x x ip kl kl ip kl ij kl
rk
p k p l k l k l
x x
x x x x x x x x
g g g g g g g g
x x x x x x x x




= = =

,


(25)
(a)
2 i j i j k k
k k ij
i j
z z
ds dz dz dx dx g dx dx
x x

= = =

com
k k
ij
i j
z z
g
x x

=



(b)
mk
j j i
si si i si i si m m m m k
sj j j
s j s j s
k k k
z z z z z x x x
g g g g g
z z z
x x x x x



= = = =


j
s
j i j i j
si ji k
s
k k k k k
z x x x x x
g g
z z z z z
x


= =



(26)
s sa b b a a s
rjk s arjk sb arjk b arjk srjk
R V g R g V R V R V R V = = = =
(27)

i i i j
i i ij
k j
j
k k k k k
x x r x x r
N x g T
z z z z z
x


= = = = =


, ,
, , ,
(onde usamos o Prob. 25b)
Usando esse resultado, podemos escrever
j jk k
ij ij k i k i
g N g g T T T = = =
, , , ,


(28)
Da frmula
2 i j
ij
ds g dx dx = deduzimos que o elemento de comprimento de arco ao longo
da curva de
1
x
1 2 1
(1) 11 11 11
( ) 0 0 ds g dx g dx g = = . De modo anlogo mostramos
que
22
0 g , etc. QED.

(29)
Sejam
i
e
i
vetores unitrios tangentes ao longo das curvas
de
1
x e
2
x , respectivamente (v. figura). O vetor /
i
dx ds , por defi-
nio, tangente a uma curva ( )
i
x s e tambm unitrio, pois

2
2 2
1
i j
i i
ij
ij
g dx dx
dx dx ds
g
ds ds
ds ds
= = = ;
1
x
2
x
i

i

12

INTRODUO AOS TENSORES 49

logo, temos que
1
1 2 3
, 0, 0
dx
ds
= = = ;
2
1 2 3
0, , 0
dx
ds
= = = .
Calculamos
1
e
2
como segue:

1 1 1 2 1
11 11 11
2 2 2 2 2
22 22 22
( ) 1 1/
( ) 1 1/
i i j
i ij
i i j
i ij
g g g g
g g g g

= = = = =

= = = = =



Portanto,
1 2 12
12 12 12
11 22 11 22
1 1
cos
i i j
i ij
g
g g g
g g g g
= = = = = .
De modo anlogo calculamos
13
cos e
23
cos . QED.

(30)
Vimos no Prob. 29 que o vetor
i
unitrio e tangente curva de
1
x
1 2 3
( , , ) =
11
(1/ , 0, 0) g ; logo, o co-seno do ngulo entre
i
e
i
u
1
1 1 11
/
i
i
u u u g = = . De modo an-
logo mostramos os outros resultados. QED.
(31)
Basta fazer / 2
ij
i j

= no Prob. 29 para imediatamente obter 0


ij
i j
g

= .
Os outros resultados so obtidos como segue (sem empregar a conveno do somatrio):

0 se
1/ se
0 se
j
ii j j jk ji ji ji i
ik i ii i
ii k
k i
g j i
g g g g g g
g j i

=
= = = =



(32)

0 ( )
j
k
ik
ik ik ij ij ik
ik ik
ij ij ij k k
g g
g g g g g
g g g




= = + = =





G
G G G . QED
()
/ 0
ik
ij
g = G , pois
ik
G no contm explicitamente qualquer
ab
g com a = i ou b = k
[lembre-se de que, no clculo de
ik
G , a linha i e a coluna k so eliminadas do determinante de
( )
ij
g ].

(33)
( )
ij j i
m l
il jm ij ij ji ij
il jm il jm jm il lm
lm lm lm
k k k k k k k k
g
g g g g g g g
g g g g g g g g g
x x x x x x x x


= = =





INTRODUO AOS TENSORES 50
(34)
A equao da geodsica [Eq. (8-7)], nas coordenadas cartesianas no plano,
1 2
( , ) ( , ) x x x y = , torna-se em

2 2
/ 0 d x ds = e
2 2
/ 0 d y ds = ,
pois os smbolos de Christoffel so nulos em tais coordenadas; logo, temos
1 2
x c s c = + e
1 2
y d s d = + ,
que so conhecidamente as equaes paramtricas (parmetro s) de uma reta no plano xy.

(35)
Este problema usado para exemplificar algumas tcnicas descritas no Ap. C, onde, nas
Ses. (a) e (b), mostrado de duas maneiras que as geodsicas esto ao longo dos grandes crcu-
los

(36)
Basta mostrar que os segundos termos nos membros direitos das duas equaes so iguais;
isto , que
2 2 m n k k m
i j m n m i j
x x x x x
x x x x x x x

=

.

Obtemos esse resultado por simples operaes diferenciais:
2 m n k m n k m k
i j m n i j n m i j m
x x x x x x x x
x x x x x x x x x x x


= =





2
0
k
i
k m k m k m
j m i m j i m i j
x x x x x x
x x x x x x x x x



= =




,

. QED
(37)
(a)
1
[ , ] [ , ]
2
ji kj
k i
g g
ki j kj i
x x

+ = +

ik
j
g
x

1
2
ij
ik
k j
g
g
x x


+ +



jk
i
g
x

ij
k
g
x

=





(b)
( ) [ , ] [ , ] [ , ] [ , ]
il jl il jm jl im il jm
l m
j i
g g g g kl m g g kl m g g kl m km l
kl kl

= = +


.



( ) ()
ij
il jm lm
k k
g g
g g
x x


= =



Acima, usamos o item (a) na passagem () e o Prob. 33 na passagem ().

(c) ( )
( )
1 1 1
[ , ] [ , ]
2 2 2
ik ik
j j
ik
g g g
g g ji k jk i
g g g g
x x


= = +



INTRODUO AOS TENSORES 51
( )
1 1 1
[ , ] [ , ]
2 2 2
ik
i k i
g ji k jk i
ji jk ij

= + = + =




Na passagem () usamos os Probs. 32 e 37a.

(38)
Neste Prob. 38, a conveno do somatrio suspensa.
Primeiramente, note que, sendo 1
is ii
is ii
s
g g g g = =

, ento 1/
ii
ii
g g = . Assim, temos:
(a)
( )
1 1 1
[ , ]
2 2 2
is is ii is is ii ii ii
i i s i i
ii s s
i g g g g g
g ii s g g
ii g
x x x x x



= = + = =







(b)
( )
1 1 1
[ , ]
2 2 2
js ij
is is ii is ii ii
i j s j j
ii s s
g g
i g g g
g ij s g g
ij g
x x x x x



= = + = =







(c)
( )
1 1 1
[ , ]
2 2 2
js js jj jj jj
is is ii
j j s i i
ii s s
g g g g g
i
g jj s g g
jj g
x x x x x



= = + = =







Nas passagens () acima, h de se lembrar que i j e que 0
is
is
s i s i
g g

= = .

(39)
a) Basta usar o Prob. 25a:
( ) ( ) ( )
2 2
1
[ , ]
2
1 1 1
2 2 2
1 1
2 2
jk ij
ik
i j k
s s s s s s
i j k j k i k i j
s s s s
i j k j i k
g g
g
ij k
x x x
z z z z z z
x x x x x x x x x
z z z z
x x x x x x


= +



= +


= +

2 2
1 1
2 2
s s s s
j i k i j k
z z z z
x x x x x x

+ +

2
1
2
s s
k i j
z z
x x x


2
1
2
s s
i k j
z z
x x x


2
s s
i j k
z z
x x x

=



b) Agora usamos o item (a) e o Prob. 25b:
2 2 2
[ , ]
k l k k
kl s s s s s
r
i j l i j i j
r r r s
k z z z z x x x x
g ij l
ij z z z z
x x x x x x x


= = = =





(40)
(a)

;
[ , ] [ , ]
l
l
i
j
ij ij
sl sl
ij k sj is sj is
k k
g g s s
g g g g g ik l g g jk l
ik jk
x x



= =





( )
/ ( )
[ , ] [ , ] 0
k
ij
ij
k
g x
g
ik j jk i
x

= + =


[
()
pelo resultado do Prob. 37a]
INTRODUO AOS TENSORES 52

(b)
;
/ ()
0
ji k
ij ij ji
ij sj is
k
k k k
g x
i j
g g g
g g g
ks ks
x x x


= + + = =


[
()
pelo resultado do Prob. 37b]

(c)
;
0
i
j
i s i
j k j s
k
i s i i
ks jk kj jk
x


= + = =




(41)
Substituindo na equao
;
k
k j
i
i
k
V
V V
ij
x


+



as leis de transformao do smbolo de Christoffel de 2
a
espcie [a que dada pela segunda
equao no Prob. 36] e do vetor contravariante, obtemos


2
;
2
k j k l m m n k
k a a
i
i a a n i j i j m n
l k k l m k
n a m a n
a a
i l n n i i m n
n
x x x x x x x x
V V V
lm
x x x x x x x x x x
n
x x x x x x
V V V
lm
x x x x x x x x




= +






= +





2 l k
n
i l n
x x
V
x x x

=

2 l k n k l m k
m n
i n l n i i m n
n
x x V x x x x
V V
lm
x x x x x x x x

+ +


,
,
k l n k l
m n
l
n i l n i
n
x x V x x
V V
lm
x x x x x


= + =





mostrando que
;
n
l
V , de fato, um tensor do tipo
1
1
.
Agora, substituindo na equao
;
i
i j k
j
k V
V V
ij
x






as leis de transformao do smbolo de Christoffel de 2
a
espcie [a que dada pela primeira
equao no Prob. 36] e do vetor contravariante, obtemos

2
;
2
a a k l m k m
i j a a
j i k n i j m i j
a
a
i j
n
x x x x x x x
V V V
lm
x x x x x x x x x
x
V
x x



= +



=

2 a m l m m
a a a
a n a m
i j m i j i j
n V x x x x x
V V
lm
x x x x x x x


+


( ) ,
,
l m l m
l
n l m
i j m i j
n V x x x x
V V
lm
x x x x x

= =




mostrando que
; l m
V , de fato, um tensor do tipo
0
2
. QED.

INTRODUO AOS TENSORES 53
(42)
Item (a)

{ } ; ;
( )
i k
j lm
i k
j lm
n
T
i k i k s k
j lm n j lm n j lm
i
sn
T
x
A B T T

= = +
,

{ } { } { } { }
i s i k i k i k
j lm s lm j sm j ls
s k s s
jn sn ln mn
T T T T +

{ } { }
i
k
j
lm
n n
k i s k i s
lm j j lm j lm
A
B
i k
sn sn
x x
B A A B A B



= + + +
{ } { } { }
i k i k i k
s lm j sm j ls
s s s
jn ln mn
A B A B A B

{ } { } { } { } { } ( )
i
k
j
lm
n n
s i k i s k k
j s lm j lm sm ls
s i k s s
jn sn sn ln mn
A
B
x x
A A B A B B B




= + + +




; ;
i k i k
j n l m j l m n
A B A B = + . QED.


Item (b): Usando o teorema de Ricci e o item (a), temos:
( ) ( ) ( ) ( ) ; ;
; ; ;
; ;
. QED.
j i i m j j i m j i m i m
j kl j kl m m j kl m j n kl j kl n
n n n
j j i i
j n kl j kl n
A B A B A B A B A B
A B A B
= = = + =
= +

(43)
; ;
; ; ; ; ; ;
i j
ij s s s s ji
j j i i j i
s s s s
ij ij ij ij
x x x x x x





= = = = =






(44)

2
;
( )
W j l m j m
W
i
i i n i j m i j
s n
J x x x x x
W W J
si lm
x x x x x x x x




= = +



f f
f f f

2
1
l j m
W W W m
n
i i i m i j
n
J x x x
W J J W J
lm
x x x x x x



= +



f
f + f

2
1
m i
W
i j m
x x
W J J
x x x


=

f
2 l l j m
W W W
l i i m i j
m
x x x x
J W J W J
lm
x x x x x x




f
+ f f

;
;
. QED.
l
l l
W W
l
l i i
m
x x
J W J
lm
x x x

= =

f
f
f f
INTRODUO AOS TENSORES 54
(45)
( )
Eq. (10.10)
com 1 Prob.37c
;
1 1
0
2 2
W
i i i
i
k g g g
g g g
ki g g x x x
=

= = =





Eq. (10.10)
com 2 Prob. 37c
;
1
2 2 0
2
W
i
i i i
k
g g g
g g g
ki g
x x x
=

= = =





(46)
Seja | |
ij
J J = , onde /
i j
ij
J x x , e seja
ij
J o co-fator de
ij
J em J; considere tambm
os elementos /
i j
ij
J x x . Lembrando que J funo dos elementos
aj
J , temos que
( )
a
aj
aj
i i i
j
aj
J
J J
x
J
x x x
x



= =


J ,
onde usamos o Prob. 32 (vlido, obviamente, para qualquer matriz). Usando agora a Eq. (6-8)
(vlida tambm para qualquer matriz), podemos calcular
aj
J como segue:
jk
j
ik ak ia ji ik ak ji ia aj ja
a
x
J J J J J J J J J
x



= = = =

J J J .
Logo, substituindo esse resultado na equao anterior, obtemos

( )
2 j a j
a
i a i i j a
j
J x x x
x
J J
x x x x x x
x

= =

. QED.

(47)
( ) ( )
( )
;
( )
/
1
;
( )
j j
i i i i i j
i j j j
i
i i j i j i j j i
x
i
j j i
i
j j i
x J x x x
J J J
x x x x x x x x x
J J
J J J J
x x x


= = = + +


= + + =

V
V V
V V V V
V
V V V


A igualdade dos termos marcado () acima estabelecida com o auxlio da Eq. (10-8) e da
equao 1 J J = como segue:

( ) ( )
2 1
2 1
i i k
i j j k i j j j j
x x x J J J J
J J J J J J J
x x x x x x x x x




= = = = =



.

(48)
Seja ( , )
i
x t u uma parametrizao da superfcie S dada por ( ) . x const = Os vetores
/
i i
x t e /
i i
x u so tangentes a S. Devemos provar que grad ortogonal a
i
e
i
:
INTRODUO AOS TENSORES 55
(grad ) 0
[ ( , )] . (grad ) ortogonal a e
(grad ) 0
i
i
i
i
i i i
i
i
i
i
i
x
t t
x
x t u const
x
u u
x





= = =

= = =


O vetor (grad )
i i
N um vetor covariante normal a S ; temos ento que um vetor con-
travariante normal a S dado por (grad ) /
i ij ij j
j
N g g x = = , cujo quadrado da magnitude

2
| |
i ij
i
j i
N N N g
x x

= =

.
Por fim, o vetor contravariante unitrio e normal a S, denotado por
i
n ,
2
| |
i
i ij ij
j i j
N
n g g
x x x
N

= =


(49)
Usando as definies de divergncia e derivada covariante, podemos escrever

;
div
i
i i j
i
i
i
F
F F F
ij
x

= = +



Mas, usando o Prob. 37c, temos que

1 1 / 1
2 2
j
j j
i g g g x
ij g g g g x x

= = =



;
logo,

( )
1 1
div
i j i
i i i
i j i i i
g g F F F
F g F g F
g g g x x x x x

= + = + =






(51)
( ) ( ) ( ) ( ) ; ; ; ;
,
i i ir ir s ir s ir s i s
jk kj r jk r kj rjk s srjk rsjk sjk
V V g V V g R V g R V g R V R V = = = = =

onde usamos os Probs. 26 e 50a.
(52)
1
o
modo:

ij
g tirado direto da expresso do quadrado do elemento de comprimento de arco. Este
modo convm quando o sistema de coordenadas for ortogonal e com fatores de escala conheci-
dos, em cujo caso
2 2 1 2 2 2 2
1 2
( ) ( ) ds h dx h dx = + + , donde
2
11 1
g h = ,
2
22 2
g h = , etc e
0
ij
i j
g

= . Alm disso, sendo ( )
ij
g a inversa da matriz diagonal ( )
ij
g , temos que
11
11
1/ g g =
,
22
22
1/ g g = , etc, pois a matriz inversa
1
( )
ij
a

de uma matriz diagonal


1 2
( ) diag( , , )
ij
a =
a matriz diagonal
1
( )
ij
a

=
1 2
diag(1/ , 1/ , ) .
INTRODUO AOS TENSORES 56

Coordenadas polares:
2 2 2 2 2
2 2
1 0 1 0
, ,
0 0 1/
rr r
rr r
r
r
g g g g
ds dr r d g r
g g
r r
g g




= + = = =









Coordenadas cilndricas:
2 2 2 2 2
ds d d dz = + +
2 2
2
1 0 0
1 0 0
1
0 0 , 0 0 ,
0 0 1
0 0 1
z
z
z
z
z z zz
z z zz
g g g
g g g
g g g g g g g
g g g
g g g














= = =










Coordenadas esfricas:
2 2 2 2 2 2 2
sen ds dr r d r d = + +
2 2 4 2
2 2 2 2 1
1 0 0 1 0 0
0 0 , 0 0 , sen
0 0 sen 0 0 ( sen )
rr r r
rr r r
r
r
r
r
g g g
g g g
g g g r g g g r g r
g g g
r g g g r










= = =







2
o
modo:
So usadas as frmulas
e
i j
ij k k
ij
i j
k k
z z x x
g g
z z
x x

= =



onde
i
z so coordenadas cartesianas e
i
x so coordenadas curvilneas. Assim, nas coordenadas
polares, temos:
2 2
cos sen 1
rr
x x y y
g
r r r r


= + = + =


2 2 2 2 2
sen cos
x x y y
g r r r




= + = + =


sen cos sen cos 0
r r
x x y y
g r r g
r r




= + = + = =



(53)
Componentes contravariantes:
Estas so calculadas atravs da equao
i
i j
j
x
V V
x

=

, com
1,2
1,2
,
coordenadas e os componentes dados
no sistema de coordenadas cartesianas
,
j j
j j
x y
x x y
V V V
=
=



INTRODUO AOS TENSORES 57
1,2
1,2
,
coordenadas e os componentes contrava-
riantes no sistema de coordenadas polares
,
i i
i i r
x r
V V V

=
=




Da lei de transformao de coordenadas dada por cos x r = e sen y r = obtm-se:
cos sen
sen cos
x x
r
r
y y r
r





=





e
cos sen
sen cos
r r
x y
r r
x y









=








.

Portanto,
cos sen
r
x y x y
r r
V V V V V
x y


= + = +


sen cos
x y x y
V V V V V
x y r r


= + = +



Componentes covariantes:
Estas so calculadas atravs da equao
j
i j
i
x
V V
x

=

, com
1,2
e , e ,
j j j
x y
x V x y V V
=
( coordenadas e componentes no sistema cartesiano )

1,2
e , e ,
j i
i r
x V r V V

=
( coordenadas e componentes covariantes no sistema de
coordenadas polares )

Logo,
cos sen
r x y x y
x y
V V V V V
r r


= + = +


sen cos
x y x y
x y
V V V V r V r




= + = +



Componentes fsicos [usando a Eq. (7-7), tendo em conta o Prob. 52]:

cos sen
r r rr r x y
V V g V V V = = = +

/ sen cos
x y
V V g V r V V

= = = +

Note que os componentes fsicos coincidem com as projees do vetor nas direes dos
versores, isto ,
r r
V V e =
,
,
e V V e

=
,
,
, onde usamos a notao elementar, na qual
x
V V i = +
, ,

y
V j
,
, cos sen
r
e i j = +
, ,
,
e sen cos e i j

= +
, ,
,
.



INTRODUO AOS TENSORES 58
(54)


1 0
r r
r rr r
V g V g V V

= + = ........................ verdade



2
2
0
r
r
r
V g V g V r V


= + = .................... verdade
(55)
2 2 2
cos sen (2 ) cos 2 sen
(2 cos sen ) cos (2 cos sen ) sen
2 cos sen cos 2 cos sen
r
x y
V V V x y xy
r r r r
r r r



= + = +
= +
= +


2 2
sen cos sen cos
(2 ) 2
sen cos
(2 cos sen ) (2 cos sen )
2sen cos sen 2 cos sen
x y
V V V x y xy
r r r r
r r r r
r r
r





= + = +
= +
= + +


Usando o Prob. 54, obtemos
2 2 2
2 cos sen cos 2 cos sen
r
r
V V r r r = = +
2 2 2 2 3 2
2 sen cos sen 2 cos sen V r V r r r

= = + +
(56)
Item (a): Devemos fazer os ndices i, j e k tomarem os valores 1 ou 2.
1
[ , ]
2
jk ij
ik
i j k
g g
g
ij k
x x x

= +



:

2
1 1
[ , ] (1) 0
2 2
1
[ , ] 0
2
1
[ , ] 0
2
1 1
[ , ] ( )
2 2
rr
r rr
rr
g
rr r
r r
g g
rr
r
g
r r
g
r r r
r r



= = =


= =

= =


= = =

2
[ , ] [ , ] 0
[ , ] [ , ]
1 1
[ , ] ( )
2 2
1
[ , ] 0
2
r
r r r r
r r r
g g
r r r
r r
g

= =
= =

= = =

= =



[ , ]
ks
k
g ij s
ij

=


:
INTRODUO AOS TENSORES 59




0 1 0
0 1 0
1 0
[ , ] [ , ] 0
[ , ] [ , ] 0
0
[ , ] [ , ]
rr r
rr r
rr r
r
r
g rr r g rr
rr
r
g r r g r
r
r r
r r
r
g r g r



= + =



= + =



= =



= + =







2
2
2
0 0 0
1/
0 0
1/
0 0
1/
[ , ] [ , ] 0
1
[ , ] [ , ]
1
[ , ] [ , ] 0
r
r
r
r
r
r
r
g rr r g rr
rr
g r r g r
r r
r r r
g r g



= + =



= + =



= =



= + =



Item (b): Pela frmula
2
[ , ]
s s
i j k
z z
ij k
x x x

=

temos, por exemplo:
2 2 2 2
2 2
( cos ) ( cos ) ( sen ( sen )
[ , ]
( cos ) (cos ) ( sen ) (sen )
x x y y r r r r
r
r r r r
r r r




)
= + = + =


= + =


Pela frmula
2 k
s
i j
s
k z x
ij z
x x

=




temos, por exemplo:

2 2 2 2
( cos ) (arctan / ) ( sen ) (arctan / )
sen cos 1
( sen ) (cos )
x y r y x r y x
r r x r y r x r y
r r r






= + = +


= + =

(57)
Coordenadas polares (
3
2 8 = smbolos)
Pelo Prob. 38a:
1 1 1
0
2 2
rr
rr
r g
rr g r r

= = =



;
2
2
1 1
0
2
2
g r
g
r



= = =




Pelo Prob. 38b:
1 1 1
0
2 2
rr
rr
r r g
r r g

= = = =



;
2
2
1 1 1
2
2
g r
r r g r r r
r




= = = =




Pelo Prob. 38c:
2
1 1
2 2
rr
r g r
r
g r r


= = =



;
2
1 1 1
0
2
2
rr
g
rr g
r



= = =





Coordenadas esfricas (
3
3 27 = smbolos)
Pelo Prob. 38d: 0
r r
r r r r



= = = = = =




Pelo Prob. 38a:
/ 1/
0
2 2
rr
rr
r g r r
rr g

= = =



2
2
/ /
0
2
2
g r
g
r


= = =



2 2
2 2
/
( sen ) /
0
2 2 sen
g
r
g r




= = =



INTRODUO AOS TENSORES 60

Pelo Prob. 38b:

/ 1/
0
2 2
rr
rr
r r g
r r g



= = = =



/ 1/
0
2 2
rr
rr
r r g
r r g



= = = =




2
2
/ / 1
2
2
g r r r
r r g r
r




= = = =



2
2
/ /
0
2
2
g r
g
r




= = = =




2 2
2 2
/
( sen ) / 1
2 2 sen
g r
r r
r r g r r






= = = =



2 2
2 2
/
( sen ) /
cot
2 2 sen
g
r
g r







= = = =




Pelo Prob. 38c:

2
/ /
2 2
rr
r g r r r
r
g


= = =



2 2
2
/
( sen ) /
sen
2 2
rr
g r r r r
r
g



= = =




2
/ 1/
0
2
2
rr
g
rr g
r


= = =



2 2
2
/
( sen ) /
sen cos
2 2
g
r
g r



= = =




2 2
/ 1/
0
2
2 sen
rr
g
rr g
r


= = =



2
2 2
/ /
0
2 2 sen
g r
g r



= = =



(58)
Antes de proceder aos clculos, expliquemos uma notao que utilizaremos daqui por di-
ante. No presente problema desejamos calcular

;
i
i j s
j
s V
V V
ij
x

=


()
para , 1, 2 i j = (onde
1
x r e
2
x ), ou, explicitamente,
1;1 ; r r
V V ,
1; 2 ; r
V V

,
2,1 ; r
V V


e
2; 2 ;
V V

. Note, entretanto, que
; 2 i
V perfeitamente definido; trata-se da derivada covarian-
te do vetor
i
V em relao a
2
x . Mas o significado de
1; 2
V , por exemplo, precisa ser explicado
pois no pode ser a derivada de
1
V em relao a
2
x : a derivada covariante de um dado compo-
nente (
1
V , no caso) no definida. Refletindo um pouco, conclumos que
1; 2
V denota o compo-
nente com 1 i = da derivada covariante de
i
V em relao a
2
x :


1
1; 2 ; 2 1 2
2 2
1
1
1 2
2 12 12
i
i s
i
i
s V V
V V V V V
i
x x
=
=

= = =




. (#)

Analogamente, temos que
; 3 ; ;3
( )
i j i j
V V = inequivocamente a derivada covariante de
; i j
V em relao a
3
x . Mas
; 23 i
V no pode ser a derivada covariante de
; 2 i
V em relao a
3
x ;
trata-se de
; 3
2
i j
j
V
=
, o componente com 2 j = da derivada covariante de
; i j
V em relao a
3
x .
Essa, portanto, a interpretao a ser adotada quando atribuirmos o valor 1, 2 ou N a um
ndice localizado numa posio mais interna que a de outro que indique diferenciao covari-
ante.

INTRODUO AOS TENSORES 61
Passemos resoluo do item (a) do problema.
(a) Fazendo , 1, 2 i j = na Eq. () e interpretando os termos que se obtm com essa atribui-
o de valores aos ndices [a Eq. (#) mostra um desses termos] conforme explicado acima, ob-
temos os quatro valores de
; i j
V :


2
;
0 0
cos (sen 2cos ) 4 sen cos
r
r r r
r V
V V V r
rr rr r




= = +




2 2
;
0 1/
sen (sen 2cos ) 4 sen cos
r r
r
r V
V V V r r
r r r






= = +




2 2 2
;
0 1/
cos (2sen cos ) 2 sen (cos sen )
r
r r
r
r V
V V V r r
r r





= = + +




2 3 2 2
;
0
sen (2sen cos ) 2 cos (cos sen )
r
r
r V
V V V r r


= = + +



onde usamos os smbolos de Christoffel de 2
a
espcie calculados no Prob. 56.

(b) Usando a frmula

; ;
k l k l k
i j k l
i j i j
l
z z z z Z
V Z
z
x x x x

= =


,
onde
1 x
Z V = e
2 y
Z V = so os componentes do vetor dado nas coordenadas cartesianas
1
z x =
e
2
z y = , e fazendo , 1, 2 i j = (onde
1;1 ; 2;1 ;
,
r r r
V V V V

= = , etc), obtemos os mesmos resulta-


dos do item (a):




;
2 2
1 2
2 2
2 2
(cos ) (2) (cos ) (sen ) ( 1) (sen ) (cos ) (2 sen ) (sen ) (2 cos )
2cos sen cos 4 cos sen
y y
x x
r r
y
x
V V
V V x x x y y x y y
V
r r x r r y r r x r r y
r r
r



= + + +

= + + +
= +





2 2
;
sen cos 2 2 sen cos
1 2 sen cos
2 2
sen (sen 2cos ) 4 sen cos
y y
x x
r
r y r
x r r
V V
V V x x x y y x y y
V
r x r y r x r y
r r




= + + +

= +






2 2
;
sen cos 2 2 sen cos
1 2 cos sen
2 2 2
cos (2sen cos ) 2 sen (cos sen )
y y
x x
r
r y r
x r r
V V
V V x x x y y x y y
V
r x r y r x r y
r r




= + + +

= + +



INTRODUO AOS TENSORES 62




2 2 2 2 2 2
;
2 2
1 2 sen sen cos sen cos cos
2 3 2 2
sen (2sen cos ) 2 cos (cos sen )
y y
x x
y
x r r r r
V V
V V x x x y y x y y
V
x y x y
r r







= + + +

= + +



(59)
Podemos definir a velocidade e a acelerao respectivamente pelas equaes /
i i
dx dt v
e /
i i
a t v , sendo t o tempo, pois assim so tensores (um vetor contravariante) que, em co-
ordenadas cartesianas, coincidem com a definio usual daquelas grandezas.

(60)
;
2
2
i j j i j j i
i i k k
j
j j
i j j i j k i j k
k
j
i j k
i i
dx dx dx dx
a
jk t dt dt dt dt jk
x x
i i i
dx dx d dx dx d dx dx dx
jk jk jk dt dt dt dt dt dt dt dt dt
x
i
d x dx dx
jk dt dt
dt



= = = = + +




= + = + = +



= +


v v v
v v v
v v
v
(61)
No sistema de coordenadas polares, a velocidade possui os seguintes:
a) Componentes contravariantes: /
i i
dx dt = v ; ou seja:
r
dr
r
dt
= = v ` e
d
dt


= = v
`

b) Componentes fsicos [use a Eq. (7-7) e o Prob. 52]:

1
r
r rr
g r = = v v ` e

r
g r


= = v v
`

(62)
a) Componentes contravariantes:
2
2
i j k
i
i
d x dx dx
a
jk dt dt
dt

= +


; ou seja:


2
2
2
0 0 0
r
r
r r r r
d r dr dr dr d d dr d d
a r r
rr r r dt dt dt dt dt dt dt dt
dt



= + + + + =


`
``


2
2
0 1/ 1/ 0
2
r r
d dr dr dr d d dr d d r
a
rr r r dt dt dt dt dt dt dt dt r
dt



= + + + + = +


`
`
``


b) Componentes fsicos [use a Eq. (7-7) e o Prob. 52]:

2
1
r
r rr
a g a r r = =
`
`` e

2
r
a g a r r


= = +
`` `
`
INTRODUO AOS TENSORES 63
(64)
Devemos calcular
;
j i
i j
V
V x
t

= ` , isto
; ;
; ;
/
/
r r r r
r
V t V r V
V t V r V




= +

= +

`
`
`
`


Clculo dos componentes covariantes
j
i j
i
z
V Z
x


2
0
cos sen ( sen cos ) sen sen sen cos
r x y x y
y x
x y
V V V V V r r r r
r r


= + = + = =


2 2 2
0
sen cos ( sen cos ) cos sen cos cos
x y x y
y x
x y
V V V V r V r r r r r r





= + = + = =


Parametrizao da reta 1 (a abscissa ser o parmetro : ) y x x t t x = + =
2 2 2 2 2
( 1) ( ) 2 2 1
1 1
( ) arctan arctan / arctan
x t
r x y x x r t t t
t x
t y x
t x

=

= + = + + = + +


+ +

= = =



Dessa parametrizao obtemos as seguintes expresses, necessrias mais adiante:
2 1
( )
dr t
r
dt r t
+
= = ` ,
2
1
( ) r t


=
`
,
1
sen ( )
( )
t
t
r t

+
= , cos ( )
( )
t
t
r t
=

Clculo das derivadas covariantes
;
i
i j k
j
k V
V V
ij
x

=



Adotando a notao explicada no Prob. 58, temos


2
;
0 0
sen sen cos
r
r r r
r V
V V V
rr rr r




= =






;
0 1/
2
2 sen cos cos
r
r r
r
r V
V V V
r r
r r





=


=
2 2
sen sen cos cos r r r + +
2
sen cos sen r r = +




;
0 1/
2 2
2
2 sen cos 2 cos sen cos cos
sen cos cos
r r
r
r V
V V V
r r r
r r r r
r r


= +
=

INTRODUO AOS TENSORES 64



;
0
2 2 2 2
cos sen
r
r
r V
V V V
r r


=
2 2 2
2 sen cos sen r r + +
2
2 2 2
sen cos
cos sen cos
r
r r

= +


Clculo das derivadas intrnsecas

; ;
2 2
2
( 1) / ( ) / ( )
2 1 1
sen ( ) sen ( ) cos ( ) ( ) sen ( ) cos ( ) ( ) sen ( )
( )
( )
sen ( )
2 sen ( ) 2( 1) cos ( ) 0
( )
r
r r r
t r t t r t
V
V r V
t
t
t t t r t t t r t t
r t
r t
t
t t t t
r t


+
= +
+
= +
+


= + =


`
`



[ ] [ ]
[ ]
; ;
2 2 2 2
2
0
2 1 1
sen cos cos cos sen cos
( )
( )
cos 0 2 sen 2( 1) cos
r
V
V r V
t
t
r r r r
r t
r t
t t



= +
+
= +
+
= = +
`
`



Observe que, sobre a reta dada, ( , ) (0,1)
x y
V V = , um campo eqipolente; por isso que a
derivada intrnseca nula ao longo daquela reta.

(65)
a) Em coordenadas polares
Componentes covariantes:
r


Componentes fsicos: ( )
1
grad
r
r
h r r


= =

e ( )
1 1
grad
h r



= =



b) Em coordenadas esfricas
Componentes covariantes:
r


Componentes fsicos:
( )
1
grad
r
r
h r r


= =

, ( )
1 1
grad
h r



= =

e ( )
1 1
grad
sen h r



= =




INTRODUO AOS TENSORES 65
(66)
/
r
r r r
F F h F = = , / / F F h F r


= = , / / ( sen F F h F r


= = ) ,
2
sen g r =

( )
( )
( )
( )
( )
2 2 2
2
2
2
1
div
1
sen sen sen
sen sen
1 1 1
sen
sen sen
i
i
i
r
r
F
g F
g x
F F
F r r r
r
r r r
F
F r F
r r r
r



= + +




= + +



(67)
Neste problema adotamos a notao explicada no Prob. 58.

( ) ( )
2
; ;
; ;
( , )
rr rr
rr
r
r g g g g
r


= + = +


Usando o Prob. 52, temos que
1 1
rr
rr
g g = =

2 2
1/ g r g r

= =

Abaixo usamos os smbolos de Christoffel em coordenadas polares j calculados no Prob.
56:

( ) ( )

2
2
;
0 0
r
r
rr rr r r r r r


= =




( ) ( )

2
2
;
0 r
r
r
r r


= = +





( )
2 2 2
2
2
2 2 2 2 2
2
1 1 1
( , ) 1 r
r
r r
r r r r r




= + = + +
+



(68)
33
2
33
3
1
32 2
g
g
x

=


, i.e.,
1
2
g
g


=



.

Clculo do 1
o
membro:


2 2 2
x y z
x y z




= + +





INTRODUO AOS TENSORES 66
Tendo em conta que

sen cos x r = , sen sen y r = , cos z r =

temos que
2
cos sen
x
r

=

,
2
cos cos
y
r

=


e que
2
2 2 2 2 2
2 2 2 2 2
/ sen sen sen
sen
1 ( / ) sen
1/ sen cos cos
arctan
sen
1 ( / ) sen
0
y x y r
x r
y x x y r
y
x x r
x
y r
y x x y r
z


= = = =


+ +

=
= = = =

+ +

=


Logo,

( )
2 2
cos sen
( cos sen ) ( cos cos ) cot sen cot cos cot
sen sen
r r
r r





= + = + =





Clculo do 2
o
membro:
2 2 2 2
2 2
1 1
sen 2 sen cos cot
2
2 sen
g
g h r r
g
r

= = = =






(69)
2
1
ij
j i
g g
x x g


=




11 22 33
1 2 3 1 2 3
1 1 1
g g g g g g
x x x x x x g g g


= + +





2
1
sen r
=
2
sen r
r

( )
2
2
1
1
sen
r
r r


+

2
1
sen
r

2
1
sen r


+
2
sen r

2 2
1
sen r







( ) ( )
2
2
2 2 2 2 2
1 1 1
sen
sen sen
r
r r r r r



= + +



INTRODUO AOS TENSORES 67
(70)

2 2
( )
u
g h h h u u

= = +
v
v v
11
2 2 2
1 1 1
uu
uu
u
g g
g
h u
= = = =
+v



22
2 2 2
1 1 1
g g
g
h u
= = = =
+
vv
vv
v
v

33
2 2 2
1 1 1
g g
g
h u


= = = =
v



11 22 33 2
1 2 3 1 2 3
1
g g g g g g
g x x x x x x


= + +






2 2
2 2
1
( )
( )
u
u
u u

+
=

+
v
v v
2 2
1
( )
u
u +
v
v
2 2
( ) u
u


+
+



v
v
2 2
1
( )
u
u +
v
v
2 2
2 2
1
( ) u u
u



v
v v
v

( ) ( )
2 2 2
2 2 2 2
1 1 1
( )
u
u
u u u u u


+
= + +

+


2
v
v
v v v v v


INTRODUO AOS TENSORES 68
Apndice A Coordenadas curvilneas
Equation Section 1
a) Preliminares
i) Reviso de alguns conceitos em coordenadas cartesianas
Considere um campo escalar ( , , ) f x y z e um campo vetorial ( , , ) ( , , )
x x
F x y z e F x y z = +
,
,

( , , ) ( , , )
y y z z
e F x y z e F x y z +
, ,
. Vale recordar as seguintes definies:

x y z
e e e
x y z

+ +

, , ,
: operador nabla ou del

x y z
f f f
f e e e
x y z

+ +

, , ,
: gradiente de f

( )
:
y
x z
x y z x x y y z z
F
F F
e e e e F e F e F divergncia de F
x y z x y z
F



+ + + + = + +

,
, , , , , ,
,

2 2 2
2
2 2 2
f f f
f f
x y z

= + +

: laplaciano de f (a divergncia do gradiente de f )

f f f
df dx dy dz
x y z

+ +

: diferencial de f

F F F
dF dx dy dz
x y z

+ +

, , ,
,
: diferencial de F
,


A expresso de df tambm pode ser escrita como segue:

( )
x y z x y z
f f f
df e e e e dx e dy e dz f dr
x y z


= + + + + =


,
, , , , , ,
. (A-1)

Observe que o deslocamento infinitesimal
x y
dr e dx e dy + +
,
, ,

z
e dz
,
(no espao; v. figura esquerda) igual a dr
,
, diferencial do ve-
tor posio
x y z
r x e y e z e = + +
, , , ,
(fato aparentemente bvio, mas que
constitui um dos modos de se calcular dr
,
em outros sistemas de coor-
denadas):



x z
y
x y z
e e
e
r r r
dr e dx e dy e dz dx dy dz dr
x y z

+ + = + + =

, ,
,
, , ,
,
, , , ,
. (A-2)
ii) Os principais sistemas de coordenadas no-cartesianos
Nas figuras abaixo definem-se, indicando-se distncias e ngulos, os trs sistemas de co-
ordenadas no-cartesianos mais importantes, estando direita delas outras informaes relevan-
tes sobre esses sistemas:

dx
dy
dz
dr
,
INTRODUO AOS TENSORES 69
As coordenadas polares e de um ponto P do
plano xy. A lei de transformao de coordenadas entre
elas e as cartesianas a seguinte:

cos
( 0 , 0 2 )
sen
x
y



=
<



As coordenadas cilndricas , e z de um ponto P
do espao. Elas so formadas pela coordenada cartesiana z
de P e pelas coordenadas polares e da projeo desse
ponto no plano xy. A lei de transformao

cos
sen ( 0 , 0 2 , )
x
y z
z z


=

= <

R



As coordenadas esfricas r, e de um ponto P
do espao. A lei de transformao

sen cos
sen sen ( 0 , 0 , 0 2 )
cos
x r
y r r
z r

= < <



A nomenclatura mais usada para as diversas coordenadas de um ponto P do espao a
seguinte: x a abscissa, y a ordenada e z a cota de P. J e r so as coordenadas radiais,
cilndrica e esfrica, respectivamente. Quanto s coordenadas angulares, a longitude (ou
azimute) de P e a co-latitude (pois o complemento da latitude, que a posio angular de
P em relao ao plano xy).

iii) O laplaciano em coordenadas polares, cilndricas e esfricas.

Para ns, o laplaciano especialmente importante por aparecer em vrias equaes da F-
sica Matemtica, tais como as equaes do calor e da onda. Boa parte do presente captulo vol-
tada ao seu desenvolvimento nos diversos sistemas de coordenadas. Assim, um dos nossos obje-
tivos deduzir as expresses do laplaciano de uma funo f em coordenadas polares, cilndricas
e esfricas (a sua definio em coordenadas cartesianas dada abaixo para fins de referncia):
2 2 2
2
2 2 2
( , , )
f f f
f x y z
x y z

= + +

(cartesianas)


2 2
2
2 2 2
1 1
( , )
f f f
f



= + +


(polares) (A-3)

x
y


P
x
z

P
z
y

x
z

P
r
y

INTRODUO AOS TENSORES 70

2 2 2
2
2 2 2 2
1 1
( , , )
f f f f
f z
z




= + + +


(cilndricas) (A-4)

2 2
2
2 2 2 2
1 1 1 1
( , , ) sen
sen sen
f f f f
f r
r r r r




= + + +



(esfricas) (A-5)

Uma das maneiras de realizar as dedues consiste em transformar a expresso do lapla-
ciano como definido nas coordenadas cartesianas para as coordenadas desejadas, pela aplica-
o reiterada da regra da cadeia. Faamos isso para o caso mais simples. Vamos deduzir o lapla-
ciano em coordenadas polares [i.e., a Eq. (A-3)], a partir da definio
2
( , )
xx yy
f x y f f = +
(essa notao de diferenciao parcial utilizada abaixo). Utilizando a notao
( , ) ( , ) f x y f = e o esquema de composio de funes seguinte, temos, pela regra da cadeia:

( ) ( ) x x x
x
f f f f
y

= + .

Derivando essa expresso novamente em relao a x (agora aplicando a regra da cadeia para
derivar f

e f

do mesmo modo como se fez para f acima), obtemos



( ) ( )
2 2
2 .
xx x x x xx x x x xx
x x x x xx xx
f f f f f f f
f f f f f




= + + + + +
= + + + +


Neste resultado, trocando x por y, obtemos

( ) ( )
2 2
2 .
yy y y y yy y y y yy
y y y y yy yy
f f f f f f f
f f f f f




= + + + + +
= + + + +


Logo,
2
xx yy
f f f = + =
2 2 2 2
( ) ( ) 2( ) ( ) ( )
x y x y x x y y xx yy xx yy
f f f f f

+ + + + + + + + + . (A-6)

Para calcular
x
,
x
, etc, usamos a lei de transformao inversa

2 2
x y + e arctan ( / ) y x = + ,

onde, considerando [0, 2 ) , necessrio definir a constante aditiva como sendo igual a 0,
, ou 2 se for do 1
o
, 2
o
, 3
o
ou 4
o
quadrante, respectivamente, uma vez que os valores
principais da funo arctan esto no intervalo ( / 2, / 2) . Logo,

( ) ( )
2 2 2 2
(2 ) 2 /
x
x y x x x y x = + = + = ,
( )
1 1 2 2 2 3 2 3
( ) / /
xx x
x x x x y

= = = = ,
INTRODUO AOS TENSORES 71
[ ]
2
2 2 2 2
/
arctan ( / )
1 ( / )
x
y x y y
y x
x y x x y


= + = = =
+ +
,
( )
2 3
3 4
2 2
2
xx x
y x xy
y y
x


= = = =

.

Nas duas primeiras expresses acima, podemos simplesmente substituir x e y um pelo ou-
tro, j que a expresso de simtrica com respeito a essa troca, para obter

/
y
y = ,
2 3
/
yy
x = .

J no exibe tal simetria; suas derivadas em relao a y devem ser calculadas normalmente:

[ ]
2 2 2 2
1/
arctan ( / )
1 ( / )
y
x x x
y x
y y x x y

= + = = =
+ +
,
( )
2 3
3 4
2 2
2
yy y
x y xy
x x
y




= = = =

.

Assim,


2 2 2 2 2 2 2 2 2 2 2
/ / ( ) / / 1
x y
x y x y + = + = + = = ,
2 2 2 4 2 4 2 4 2
/ / / 1/
x y
y x + = + = = ,
3 3
/ / 0
x x y y
xy xy + = + =
2 3 2 3 2 3
/ / / 1/
xx yy
y x + = + = = ,
0
xx yy
+ = .

A substituio desses resultados na Eq. (A-6) fornece a Eq. (A-3) desejada.
A utilizao do mtodo acima (regra da cadeia) para obter o laplaciano em coordenadas
esfricas envolve muitas contas (tente!). Para isso, adotamos um outro mtodo, que, alm de
fornecer o resultado mais rapidamente, vlido para toda uma classe de sistemas de coordena-
das (os ditos ortogonais, a que pertencem os sistemas considerados acima). Mais ainda, ele faci-
lita o clculo de vrias grandezas importantes, como os versores e os elementos de comprimento
de arco e de volume. claro que nada vem de graa; a elaborao desse mtodo o das coor-
denadas curvilneas , feito a seguir, demanda tempo e energia.

b) Coordenadas e versores curvilneos. Elementos de comprimento de arco, rea e volume.

Admita que as coordenadas cartesianas x, y e z de pontos do
3
R sejam expressas como
funes de trs variveis t, u e v,

( , , ) , ( , , ) , ( , , ) x x t u y y t u z z t u = = = v v v ,

e que tais funes tenham derivadas contnuas e possam ser invertidas,
INTRODUO AOS TENSORES 72
( , , ) , ( , , ) , ( , , ) t t x y z u u x y z x y z = = = v v ,

o que implica num jacobiano ( , , ) / ( , , ) J x y z t u = v que no se anula. (Na prtica, o jacobiano
pode se anular em certos pontos, onde, ento, consideraes especiais devem ser levantadas.)
Assim, a cada ponto ( , , ) x y z P do espao podemos associar um nico terno (t,u,v) formado pe-
las chamadas coordenadas curvilneas. O sistema composto pelas trs equaes acima define
uma transformao de coordenadas.

Exemplo Coordenadas esfricas t = r, u = , v = :

2
( , , ) sen cos
( , , ) sen sen
( , , ) cos
0 , (0, ) , [0, 2 )
( , , )
sen
( , , )
x x r r
y y r r
z z r r
r
x y z
r
r




= =
= =
= =
>


( )
2 2 2
2 2 2
3
( , , )
( , , ) arccos /
( , , ) arctan ( / )
onde ( , , ) ( eixo ) e como j definido
r r x y z x y z
x y z z x y z
x y z y x
x y z z

= = + +
= = + +
= = +
R


O vetor posio de um ponto do espao pode ser escrito como uma funo vetorial das
coordenadas cartesianas, ( , , ) r x y z
,
, ou curvilneas, ( , , ) r t u v
,
. Considere um ponto
0
P do espa-
o, de coordenadas cartesianas
0 0 0
( , , ) x y z e curvilneas
0 0 0
( , ) t u ,v . Mantendo
0
const. u u = = ,
0
const. = = v v e
variando t, obtemos uma curva passando por
0
P , que a
imagem da funo vetorial
0 0
( , , ) r t u v
,
e que se define co-
mo sendo a curva de t (mostrada na figura direita). Re-
corde-se de que o vetor / r t
,
tangente a essa curva (ob-
serve-o no ponto
0
P da figura). De modo anlogo se defi-
nem a curva de u,
0 0
( , , ) r t u v
,
, e a curva de v,
0 0
( , , ) r t u v
,

passando por
0
P . Essas so as chamadas curvas coorde-
nadas. Temos assim definidas, num sistema de coordenadas curvilneas fixo, trs curvas coor-
denadas em cada ponto do espao. Que elas no coincidem garantido pelo fato de o jacobiano
ser diferente de zero em todos os pontos. De fato, se


/ / /
( , , )
/ / / 0
( , , )
/ / /
x t x u x
x y z r r r
J y t y u y
t u t u
z t z u z


= = =


v
v
v v
v
, , ,
(A-7)

num dado ponto ento, nesse ponto, os vetores tangentes / r t
,
, / r u
,
e / r v
,
formam um
paraleleppedo cujo volume, dado pelo produto misto acima, diferente de zero, indicando que
esses vetores tangentes so linearmente independentes e, portanto, que as curvas coordenadas
nesse ponto so distintas.
Quando essas curvas interceptam-se em ngulos retos em todos os pontos, o sistema de
coordenadas curvilneas dito ortogonal.
Tambm temos as superfcies coordenadas, que so aquelas sobre as quais uma das coor-
denadas curvilneas mantm-se constante; logo, so dadas por
0
t t = ,
0
u u = ou
0
= v v . Note
0
P
0 0 0
( , , ) r t u v
,

0 0 0
( , , )
r
t u
t

v
,

0 0
( , , ) r t u v
,
O
t cresce
curva
de t
INTRODUO AOS TENSORES 73
que uma curva coordenada a interseo de duas superfcies coordenadas; e.g., a curva de t, na
qual s t varia, a interseo das superfcies coordenadas
0
u u = e
0
= v v .

Exemplos:
i) No sistema cartesiano:
as curvas da coordenada x so retas paralelas ao eixo x.
as superfcies coordenadas so planos paralelos aos planos xy, xz ou yz.

ii) No sistema de coordenadas esfricas:
as curvas da coordenada r so semi-retas partindo da origem (raios).
as curvas da coordenada so semicircunferncias centradas na origem que comeam e
terminam no eixo z.
uma curva da coordenada uma circunferncia centrada num ponto do eixo z e para-
lela ao plano xy.
as superfcies coordenadas so superfcies esfricas de centro na origem
0
( ) r r = , su-
perfcies cnicas (de uma s folha) com o vrtice na origem
0
( ) = e co-axiais com o eixo z
bem como semiplanos com a borda no eixo z
0
( ) = .

Sejam
t
e
,
,
u
e
,
e e
v
,
vetores unitrios e tangentes respectivamente s curvas de t, u e v,
apontando na direo de crescimento dessas coordenadas; denominamo-los versores. A figura
esquerda abaixo mostra, interceptando-se num ponto P, as curvas de t e de u bem como os res-
pectivos versores nesse ponto.


Exemplo O sistema de coordenadas esfricas:

Note que: (i) trata-se de um sistema ortogonal (convena-se atravs da figura acima di-
reita que
r
e
,
, e

,
e e

,
so ortogonais; isto ser demonstrado analiticamente mais adiante), (ii)
embora ortogonais em todos os pontos, a orientao dos versores muda de um ponto a outro;
(iii) dr um comprimento, j d e d so ngulos.

Ora, fcil concluir que

1 1 1
, ,
t u
t u
r r r
e e e
h t h u h

= = =

v
v
v
, , ,
, , ,
, (A-8)
e

,
r
e
,
e

,
r


curva de
curva de r
curva de
x
y
z
t cresce
P
t
e
,
curva
de u
u
e
,

u cresce
r
,
curva
de t
INTRODUO AOS TENSORES 74
onde
( , , ) ( , , ) ( , , )
x y z x y z
r x e y e z e x t u e y t u e z t u e = + + = + + v v v
, , , , , , ,

e, portanto,
x y z
r x y z
e e e
t t t t

= + +

,
, , ,
, etc ,
e com
2 2 2
t
r x y z
h
t t t t


= + +


,
, etc .
Os parmetros
t
h ,
u
h e h
v
so chamados fatores de escala. Para interpret-los geometri-
camente, calculemos um elemento de comprimento de arco na curva coordenada de t:
e
fixos
u
t
r r
ds dt dt h dt
dr
t t

= = = =

v
, ,
,
(se 0 dt > ) .
Logo, genericamente, temos que, multiplicando o fator de escala de uma coordenada pelo dife-
rencial dela obtemos o elemento de comprimento de arco da sua curva coordenada.
Os versores definem um sistema de eixos local em cada ponto do espao. Eles, obviamen-
te, so ortogonais se o sistema de coordenadas curvilneas for ortogonal. Nesse caso, por conve-
nincia, as coordenadas so ordenadas no terno (t,u,v) de modo que - -
t u
e e e
v
, , ,
, nessa ordem,
forme um trio "destro" (i.e., para o qual vale a regra da mo direita). Obviamente, trios "sinis-
tros" (consoante a regra da mo esquerda) tambm podem ser empregados. Apenas no caso de
um sistema ortogonal, os versores so normais s superfcies coordenadas (
t
e
,
normal super-
fcie t = const.,
u
e
,
o u = const., etc).
Note que, em geral, os ngulos entre os eixos podem variar de um ponto a outro e, mesmo
que esses ngulos permaneam os mesmos (e.g., todos retos, no caso de um sistema ortogonal),
as orientaes dos versores curvilneos (em relao aos versores cartesianos i
,
, j
,
e k
,
) ainda
podem mudar de ponto a ponto. Alm disso, as coordenadas t, u e v podem no ter o significa-
do geomtrico de comprimento e, portanto, dt, du e dv no so necessariamente elementos de
comprimento de arco (ds) ao longo das curvas coordenadas correspondentes.
Substituindo na Eq. (A-7) as frmulas de clculo dos versores, dadas pelas Eqs. (A-8),
obtemos a seguinte frmula para o jacobiano:


t u t u
J h h h e e e =
v v
, , ,
. (A-9)

Nota: A partir desse ponto, toda discusso restrita a coordenadas
curvilneas ortogonais, muito empregadas na Fsica.

Se
t
e
,
,
u
e
,
e e
v
,
so ortogonais, ento

0 , etc ,
t u t u x y z x y z
r r x y z x y z
h h e e e e e e e e
t u t t t u u u
x x y y z z
t u t u t u


= = + + + +



= + + =

, ,
, , , , , , , ,


que so as chamadas relaes de ortogonalidade. Verifiquemo-las, em particular, para os verso-
res
r
e
,
e e

,
do sistema de coordenadas esfricas:
INTRODUO AOS TENSORES 75
sen cos sen sen cos
x y z
r e r e r e r = + +
, , , ,


( ) ( )
2 2
sen cos
/ /
( sen cos sen sen cos ) ( cos cos cos sen sen )
(sen cos ) ( cos cos ) (sen sen ) ( cos sen ) (cos ) ( sen )
sen cos cos sen cos sen
r r
x y z x y z
r
h h e e r r r
e e e e r e r e r
r r r
r r




= =
= + + +
= + +
= +
, , , ,
, , , , , ,

sen cos 0 r =



O deslocamento infinitesimal, sendo a diferencial de ( , , ) r t u v
,
[cf. Eq. (A-2)], dado por


t t u u
r r r
dr dr dt du d h dt e h du e h d e
t u

= = + + = + +

v v
v v
v
, , ,
,
, , , ,
(A-10)

e, portanto, o elemento de comprimento arco


2 2 2 2 2 2
t t u u t u
ds dr h e dt h e du h e d h dt h du h d = = + + = + +
v v v
v v
,
, , ,
. (A-11)

O elemento de volume pode ser calculado multiplicando-se os trs elementos de compri-
mento de arco, mutuamente perpendiculares, correspondentes s trs curvas coordenadas:

( ) ( ) ( )
t u t u
dV h dt h du h d h h h dt du d = =
v v
v v , (A-12)

donde, tendo em conta que | | dV J dt du d = v , tiramos que


( , , )
| |
( , , )
t u
x y z
J h h h
t u

= =

v
v
. (A-13)

Essa frmula tambm pode ser obtida daquela na Eq. (A-9), uma vez que, sendo ortogonais e
unitrios os versores, o produto misto tem mdulo unitrio.
A expresso do elemento de rea de uma superfcie coordenada a seguinte:

( ) ( )
t u t u
dS h dt h du h h dt du = = (da superfcie const. = v ) ; (A-14)

isto , o elemento de rea de uma superfcie coordenada dado pelo produto dos fatores de esca-
la e os diferenciais das duas coordenadas que variam naquela superfcie.

Exemplo Os versores e o elemento de comprimento de arco, volume e rea em coorde-
nadas esfricas:
sen cos sen sen cos
x y z
r e r e r e r = + +
, , , ,

sen cos sen sen cos 1
x y z r
r r
e e e h
r r


= + + = =

, ,
, , ,

cos cos cos sen sen
x y z
r r
e r e r e r h r




= + = =

, ,
, , ,

INTRODUO AOS TENSORES 76
sen sen sen cos sen
x y
r r
e r e r h r




= + = =

, ,
, ,

1
sen cos sen sen cos
r x y z
r
r
e e e e
h r

= = + +

,
, , , ,

1
cos cos cos sen sen
x y z
r
e e e e
h

= = +

,
, , , ,

1
sen cos
x y
r
e e e
h

= = +

,
, , ,

2 2 2 2 2 2 2 2 2 2 2 2
sen
r
ds h dr h d h d dr r d r d

= + + = + +
2
| |
sen
r
J
dV h h h dr d d r dr d d

= =


2
0
sen dS h h d d r d d

= = o elemento de rea da superfcie esfrica
0
r r = = const.
0
sen
r
dS h h dr d r dr d

= = o elemento de rea da superfcie cnica


0
= = const.
r
dS h h dr d r dr d

= = o elemento de rea da superfcie plana


0
= = const.

Vale a pena listar os fatores de escala dos principais sistemas de coordenadas:

1, (coordenadas polares)
1, 1, 1 (coordenadas cartesianas)
1, , sen (coordenadas esfricas)
1, , 1 (coordenadas cilndricas)
x y z
r
z
h h
h h h
h h r h r
h h h


= =
= = =
= = =
= = =



c) Gradiente, Divergncia, Laplaciano e Rotacional.
[Este tpico desenvolvido de outra maneira no item (j) da Se. 12-2.]
Calculemos o gradiente de uma funo escalar ( , , ) f t u v :

( ) ( ) ( )
t t u u
t t u u
f f e f e f e
dr h dt e h du e h d e
= + +

= + +
v v
v v
v
, , ,
,
, , ,


igualando os coefici-
entes de , e
(que se justifica pelo fa-
to de ser arbitrrio)
( ) ( ) ( )
dt du d
t t u u
dr
df f dr h f dt h f du h f d
f f f
dt du d
t u
= = + +


= + +

v
v v
v
v
v
,
,


1 1 1
( ) , ( ) , ( )
t u
t u
f f f
f f f
h t h u h

= = =

v
v
v
;
INTRODUO AOS TENSORES 77
ou seja, o gradiente de f dado por


1 1 1
t u
t u
f f f
f e e e
h t h u h

= + +

v
v
v
, , ,
. (A-15)


Nota: Uma outra maneira de se obter tal expresso do gradiente em coordenadas curvilneas a seguinte:


( )
1 1
( )
t t x y z x y z
t t
r f f f x y z
f e f f e e e e e e
h t h x y z t t t


= = = + + + +


,
, , , , , , ,


1 1
,
t t
f f y f f x z
h x t y t z t h t


= + + =


(A-16)

onde empregamos a regra da cadeia. De modo anlogo obtm-se ( ) ( / ) /
u u
f f u h = e ( ) ( / ) / f f h =
v v
v .


Conclumos que o operador nabla tem a seguinte expresso:

t u
t u
e e e
h t h u h

= + +

v
v
v
, , ,
.

Para obter a expresso da divergncia de
um campo vetorial

( , , ) ( , , ) ( , , )
( , , ) ,
t t u u
F t u e F t u e F t u
e F t u
= +
+
v v
v v v
v
,
, ,
,


considere o elemento de volume dV, com um
dos vrtices no ponto (t, u, v ) e cujos lados so
elementos de comprimento de arco das curvas
coordenadas, como mostra a figura; de acordo
com o teorema de Gauss, temos que


{ } { }
superfcie superfcie
de de
1
( , , )
dV dV
F t u dV F dS F F dS
dV
= = v
, , , , , ,
. (A-17)

O fluxo de F
,
na superfcie de dV pode ser dividido em trs partes, cada uma consistindo no
fluxo em duas faces opostas de dV, sendo o elemento do fluxo em cada face tomado como o va-
lor de F dS
, ,
no vrtice da face nas faces ortogonais a
u
e
,
usamos os vrtices
0
P e
2
P , nas
ortogonais a
t
e
,
,
0
P e
1
P , nas ortogonais a e
v
,
,
0
P e
3
P . Assim, o fluxo nas faces hachuradas na
figura dado por


{ }
parte hachurada
2 0
( )
u t u t
t u
F e h dt h d F e h dt h d
F dS
dV h h h dt du d

+


=
P P
v v
v
v v
v
, , , ,
, ,

( , , ) t dt u du + + v
0
( , , ) t u P v
u
h du
t
h dt
h d
v
v
t
e
,

u
e
,
e
v
,
curva de u
curva de t
curva de v

1
P


3
P
2
P
INTRODUO AOS TENSORES 78
[ ] [ ]
{ }
( , , ) ( , , )
( )
1
u t
u t u t
t u du t u
t u
F h h du
u
F h h F h h dt d
h h h dt du d
+

=
v
v v
v v
v
v
v



1
( ) .
u t
t u
F h h
h h h u

v
v


Expresses anlogas a esta so obtidas para os outros dois pares de faces opostas:

{ }
faces orto-
gonais a
1 1
( )
t
t u
t u e
F dS F h h
dV h h h t

v
v
,
, ,
,

{ }
faces orto-
gonais a
1 1
( )
t
t u e
F dS F h h
dV h h h

=

v
v u
v
v
,
, ,
.

Adicionando-as, encontramos o resultado desejado:


1
( ) ( ) ( )
t u u t t u
t u
F F h h F h h F h h
h h h t u

= + +



v v v
v
v
,
. (A-18)

O laplaciano de ( , , ) f t u v facilmente calculado como segue:

( )
( ) ( ) ( )
2
1 1 1
1 1 1 1
t u
t u
u t t u
t u t u
f f f
f f e e e
h t h u h
f f f
h h h h h h
h h h t h t u h u h

= = + +



= + +



v
v
v v
v v
v
v v
, , ,



Por fim, calculemos em coordenadas curvilneas o
rotacional do mesmo campo vetorial que empregamos
acima no clculo da divergncia. A figura mostra um
elemento de rea dS da superfcie coordenada v = const.,
com um dos vrtices no ponto ( , , ) t u v e cujos lados so
elementos de comprimento de arco ao longo de curvas
coordenadas (que so, no caso, as curvas de t e de u,
contidas naquela superfcie); de acordo com o teorema
de Stokes, temos que:

{ }
( )
{ } borda borda
de de
1
( , , )
dS dS t u
dS e F t u F dr F F dr
h dt h du
= =
v
v
v
, , , , , ,
,
.

A circulao de F
,
na borda de dS pode ser dividida em duas partes, cada uma consistin-
do na circulao em dois lados opostos de dS, sendo o elemento de circulao em cada lado to-
u
h du
t
h dt
t
e
,
u
e
,
curva de u
curva de t
( , , ) t dt u + v
( ) ( )
t u
dS h dt h du =
e
v
,

0
( , , ) t u P v

1
P

( , , ) t u du + v
2
P

3
P
INTRODUO AOS TENSORES 79
mado como o valor de F dr
, ,
na extremidade do lado:
0
P no lado
0 1
P P
,
e
2
P no lado
3 2
P P
,

bem como
0
P no lado
2 0
P P
,
e
1
P no lado
1 3
P P
,
(lados orientados positivamente em relao
normal e
v
,
). Assim, a circulao na borda de dS

{ } { } { } { } { }
0 1 3 2 1 3 2 0
borda
de dS
F dr F dr F dr F dr F dr = + + +
P P P P P P P P
, , , ,
, , , , , , , , , ,


0 2 1 0
( ) ( )
t t t t u u u u
F e h dt F e h dt F e h du F e h du

= + + +

P P P P
, , , ,
, , , ,

( ) ( )
( )
( ) ( )
( )
( , , ) ( , , ) ( , , ) ( , , )
t t u u
t t t t u u u u
t u t u du t dt u t u
F h du F h dt
u t
F h F h dt F h F h du
+ +



= +

v v v v


( ) ( ) .
u u t t
F h F h dt du
t u

=





Substituindo, obtemos

( )
( ) ( )
/ /
u u t t
t t u u t u t u
t u
e e
e F F h F h dt du
F h F h h dt h du t u h h


= =



v v
v
v
, ,
,
,
.

De modo anlogo encontramos

( )
/ /
t
t
t
u u u
u
e
e F
F h F h h h

=
v v v
v
,
,
,
;
( )
/ /
u
u
u
t t t
t
e
e F
F h F h h h

=
v v v
v
,
,
,
.

Note que a ordem das colunas nos determinantes determinada pela ordem dos versores no 2
o

membro das frmulas
t u
e e e =
v
, , ,
,
t u
e e e =
v
, , ,
e
u t
e e e =
v
, , ,
.
O rotacional , ento, dado por

( ) ( ) ( )
/ / / / / /
1
,
t u
t u
t t u u
u u t t t t u u t u
F e F e F e F
u t t u
h e h e h e
F h F h F h F h F h F h h h h
= + +


= +



v
v
v v
v v v v v
v v
, , , ,
, , ,
, , ,


ou

1
t t u u
t u
t t u u
h e h e h e
F
h h h t u
h F h F h F

=

v v
v
v v
v
, , ,
,
. (A-19)

Exemplo Gradiente, divergncia, laplaciano e rotacional em coordenadas esfricas:
INTRODUO AOS TENSORES 80
Considere o campo escalar ( , , ) f r e o campo vetorial ( , , )
r r
F r F e F e

= + +
,
, ,

F e

,
. Tendo em conta que 1
r
h = , h r

= e sen h r

= , temos que:

1 1 1 1 1
sen
r r
r
f f f f f f
f e e e e e e
h r h h r r r




= + + = + +

, , , , , ,

2
2
2
2
1
( ) ( ) ( )
1
( sen ) ( sen ) ( )
sen
1 1 1
( ) (sen )
sen sen
r r r
r
r
r
F F h h F h h F h h
h h h r
r F r F r F
r
r
F
r F F
r r r
r




= + +




= + +



= + +

,


( ) ( )
( ) ( ) ( )
2
2
2
2
2
2 2 2 2 2
1 1 1 1
1 1 1
sen sen
sen
sen
1 1 1
sen
sen sen
r r
r r
f f f
f h h h h h h
h h h r h r h h
f f f
r r r
r r r r
r
f f f
r
r r
r r r








= + +







= + +





= + +






2
sen
1 1
sen
sen
r r r
r
r r r
h e h e h e e r e r e
F
h h h r r
r
h F h F h F F r F r F



= =

, , , , , ,
,


Para dar um exemplo concreto do clculo do rotacional, considere o campo vetorial dado
por

2 2
( sen sen cos ) ( sen cos sen cos ) ( sen cos )
r
r
F F F
F r e r e r e


= + +
,
, , ,

;

temos que

2
sen r F =
,

( sen ) ( sen )
( ) ( )
sen
r r
r
r F r F
rF rF F F
e r e r e
r r





= + +



, , ,
.

Efetuando as contas chegamos ao resultado

cos sen
r
F e e

=
,
, ,
.
INTRODUO AOS TENSORES 81
instrutivo substituir nesta equao as expresses dos versores esfricos em termos dos
versores cartesianos
()
( )
z y
F e x e = =
,
, ,
, assim se obtendo o rotacional em coordenadas
cartesianas, nas quais, podemos ento notar que o campo vetorial considerado
y
F x e =
,
,
(de
fato, substitua nesta equao sen cos x r = e sen sen cos sen cos
y r
e e e e

= + +
, , , ,
e
obtenha a expresso original do campo em coordenadas esfricas).


Exerccio do uso de coordenadas curvilneas

Exerccio 1: Considere as coordenadas cilndricas parablicas ( , , ) u z v , definidas pela se-
guinte lei de transformao entre as coordenadas cartesianas e elas:

[ ]
2 2
( ) / 2, , , x u y u u z = = v v , z = z v R .

a) Determine os fatores de escala e os versores.

0
0
0 0 1
x x x
u
u z
y y y
u
u z
z z z
u z

= = =



= = =



= = =


v
v
v
v
v
x y z x y
x y z x y
x y z z
r x y z
e e e u e e
u u u u
r x y z
e e e e u e
r x y z
e e e e
z z z z

= + + = +


= + + = +

= + + =

v
v
v v v v
,
, , , , ,
,
, , , , ,
,
, , , ,


2 2
u
r
h u
u

= = +

v
,
e
2 2
1 x y
u
u
u e e
r
e
h u
u
+

= =

+
v
v
, ,
,
,


2 2
r
h u

= = +

v
v
v
,
e
2 2
1 x y
e u e
r
e
h
u
+

= =

+
v
v
v
v
v
, ,
,
,


1
z
r
h
z

= =

,
e
1
z z
z
r
e e
h z

= =

,
, ,


b) Mostre que o sistema ortogonal.
2 2
0
u
u u
e e
u

= =
+
v
v + v
v
, ,
, 0
u z
e e =
, ,
, 0
z
e e =
v
, ,



()
Relaes entre os versores esfricos e cartesianos:
sen cos sen sen cos sen cos cos cos sen
cos cos cos sen sen sen sen cos sen cos
sen cos cos sen
r x y z x r
x y z y r
x y z r
e e e e e e e e
e e e e e e e e
e e e e e e






= + + = +

= + = + +


= + =

, , , , , , , ,
, , , , , , , ,
, , , , , ,

INTRODUO AOS TENSORES 82
2 3 .
x y z
c) Expresse o campo vetorial A z e x e y e nesse sistema = +
,
, , ,

2 2
( ) 3
x y z
A z e u e u e = + v v
,
, , ,
()
2 2
2 2
( )
u u
z u u
A A e
u
+
= =
+
v v
v
,
,
,
2 2
2 2
( ) z u u
A A e
u
+
= =
+
v v
v v
v
,
,
, 3
z z
A A e u = = v
,
,

2 2 2 2
2 2 2 2
( ) ( )
( , , ) 3
u u z z u z
z u u z u u
A u z A e A e A e e e u e
u u
+ +
= + + = +
+ +
v v v
v v v v
v v
v v
,
, , , , , ,


d) Expresse os versores cartesianos em termos dos versores curvilneos.
J deduzimos que
2 2
2 2
( I )
(II)
x y u
x y
u e e u e
e u e u e

+ = +

+ = +

v
v v
v v
, , ,
, , ,


Fazendo (I) (II) u v e (I) (II) u + v , obtemos
2 2
u
x
ue e
e
u

=
+
v
v
v
, ,
,
e
2 2
u
y
e u e
e
u
+
=
+
v
v
v
, ,
,
(#)

e) Expresse a velocidade de uma partcula neste sistema.
(bvio)
x y z
dr
V x e y e z e
dt
x x x
x u z uu
u z
y y y
y u z u u
u z
z z z
z u z z
u z
= = + +

= + + =


= + + = +


= + + =

v v v
v
v v v
v
v
v
,
,
, , ,
` ` `
` ` ` ` ` `
` ` ` ` ` `
` ` ` ` `
( ) ( )
x y z
V uu e u u e z e = + + + v v v v
,
, , ,
` ` ` ` ` ()

O vetor V
,
na Eq. () est expresso na mesma forma do vetor A
,
dado no item (c) pela Eq.
(); logo, podemos prosseguir segundo o mtodo daquele item:

( ) ( ) ( )
u u z z
V V e e V e e V e e = + +
v v
, , , ,
, , , , , ,



2 2 2 2
( ) ( ) ( ) ( ) ( )
u z
uu u u u uu u u u
e e z e
u u
+ + + +
= + +
+ +
v
v v v v v v v v v v
v v
` ` ` ` ` ` ` ` , , ,
`

2 2 2 2
2 2
2 2 2 2
( ) ( )
( )
u z u z
u u u
e e z e u u e e z e
u u
+ +
= + + = + + +
+ +
v v
v v v
v v
v v
` ` , , , , , ,
` ` ` `

Um segundo modo de obter esse resultado consiste em substituir na Eq. () as expresses
dos versores cartesianos em termos dos versores curvilneos obtidas no item (d), dadas pela Eq.
(#).
INTRODUO AOS TENSORES 83
f) Determine o quadrado do elemento de comprimento de arco.
2 2 2 2 2 2 2 2 2 2 2 2 2 2
( ) ( )
u z
ds h du h d h dz u du u d dz = + + = + + + +
v
v v v v

g) Determine o elemento de volume e o jacobiano da transformao para as coordenadas curvi-
lneas.
2 2
( )
u z
dV h h h du d dz u du d dz = = +
v
v v v
2 2
( , , )
( , , )
u z
x y z
h h h u
u z

= = +

v
v
v


h) Expresse o gradiente, a divergncia, o laplaciano e o rotacional no sistema curvilneo dado.
Sejam ( , , ) f u z v e ( , , ) B u z v
,
campos escalar e vetorial respectivamente. Temos que

2 2 2 2
u u z
z
u z
e e e e e f f f f f f
f e
h u h h z u z
u u

= + + = + +

+ +
v v
v
v v
v v
, , , , ,
,


( ) ( ) ( )
1
u z u z z u
u z
B B h h B h h B h h
h h h u z

= + +



v v v
v
v
,


( ) ( ) ( )
2 2 2 2 2 2
2 2
1
( )
u z
B u B u B u
u z
u

= + + + + +


+
v
v v v
v
v


( ) ( )
2 2 2 2
2 2
1
z
u
B
B u B u
u z
u

= + + + +


+
v
v v
v
v


Para obter a expresso do laplaciano, tendo em conta que
2
f f = , podemos usar a
expresso acima do B
,
com B f =
,
, ou seja, substituir nela, no lugar de
u
B , B
v
e
z
B , os j
calculados componentes de f :


( ) ( )
2 2 2 2 2
2 2
( ) 1
( ) ( )
z
u u
f
f f u f u
u z
u

= + + + +


+
v v
v
v


2 2 2 2
2 2
2 2 2 2
/ / 1 f u f f
u u
u z z
u
u u


= + + + +




+
+ +

v
v v
v
v
v v


2 2 2
2 2 2 2 2
1 f f f
u u z

= + +


+ v v


( claro que tambm podemos empregar diretamente a expresso

2
1
z z u u
u z u z
h h h h h h f f f
f
h h h u h u h z h z


= + +





v v
v v
v v


do laplaciano para nela substituir os fatores de escala j calculados e obter o mesmo resultado.)
INTRODUO AOS TENSORES 84
2 2 2 2
2 2
2 2 2 2
1 1
/ / / / / /
u u z z u z
u z
u u z z
u z
h e h e h e u e u e e
B u z u z
h h h u
h B h B h B
u B u B B
+ +
= =
+
+ +
v v v
v
v v
v
v v
v v
v
v v
, , , , , ,
,

i) Usando as expresses da divergncia e do rotacional obtidas no item (h), calcule A
,
e
A
,
, onde ( ) A r
,
,
o campo vetorial dado no item (c). Faa os clculos tambm em coorde-
nadas cartesianas, obtendo, obviamente, o mesmo resultado.
2 2 2 2
2 2 2 2
( ) ( )
2 3 3
x y z u z
z u u z u u
A z e xe y e e e u e
u u
+ +
= + = +
+ +
v
v v v v
v
v v
,
, , , , , ,
.
DIVERGNCIA:
( , , ) ( ) (2 ) ( 3 ) 0
y
x z
A
A A
A x y z z x y
x y z x y z


= + + = + + =

,

( ) ( )
( ) ( )
( ) ( )
2 2 1 2 2 2 2
2 2 1 2 2 2 2
2 2 1
( , , ) ( )
( 3 )
( ) ( ) ( )
( ) 2 2 0 0
z
u
A
A u z u A u A u
u z
u
u z u u z u u
u z
u z u z u


= + + + + +




= + + + + +



= + + + + =

v
v v v v
v
v
v v v v v
v
v v v
,



ROTACIONAL:
( , , ) / / / / / / ( 3) (1) (2)
2 3
x y z x y z
x y z
x y z
e e e e e e
A x y z x y z x y z e e e
A A A z x y
= = = + +

, , , , , ,
,
, , ,


2 2 2 2
2 2
2 2 2 2
1
( , , ) / / /
u z
u z
u e u e e
A u z u z
u
u A u A A
+ +
=
+
+ +
v
v
v v
v v
v
v v
, , ,
,

2 2 2 2
2 2
2 2 2 2
1
/ / /
( ) ( ) 3
u z
u e u e e
u z
u
z u u z u u u
+ +
=
+
+ +
v
v v
v
v
v v v v v
, , ,

( ) ( )
( )
2 2 1 2 2 2 2 2 2 2 2
( ) 3 3 3 3
x y x y
u z
ue e e ue
u u e u u e u e u u

+ +

= + + + + + + + +



v
v v
v v v v v v v
, , , ,
, , ,


2 2 2 2 2 2
2 2 2 2 2 2
2 2 1
3 ( ) 2 ( )
3 3 3 3 2 2
( )
x y z
u u u
e u u u e u u u e u
u

+ + +

+ + + + + + +
= +


v v v
v v v v v v v
v
, , ,


3 2
x y z
e e e = + +
, , ,

INTRODUO AOS TENSORES 85
Exerccio 2: Escolha um sistema de coordenadas apropriado e calcule dS e dS
,
para cada
superfcie:





superfcie
cilndrica







poro de
plano







superfcie
esfrica






superfcie
cnica





Exerccio 3: No sistema de coordenadas curvilneas
1 2 3
, e u u u , cujos fatores de esca-
la so
1 2 3
, e h h h , respectivamente, obtenha a expresso da energia cintica de uma partcula em
termos dos momentos cannicos /
i i
p T u = ` (potencial independente das velocidades).
3
2 2
2 2
2 2 2 1
2 2
1 1 1 1 1
2 2 2 2 2
i i
i
i i
i
h du
ds ds
T m m m m m h u
dt
dt dt
=
= = = = =

v ` .

Por outro lado, temos que

0

y
x
z
Coordenadas cilndricas ( , , ) z
z
dS dS e
dS h d h dz d dz


=
= =
,
,

z
y
x
0

Coord. cilndricas ( , , ) z
z
dS dS e
dS h d h dz d dz


=
= =
,
,

z
y
x
0
r
Coordenadas esfricas ( , , ) r
2
0
sen
r
dS dS e
dS h d h d r d d


=
= =
,
,

z
y
x
0

Coordenadas esfricas ( , , ) r
0
sen
r
dS dS e
dS h dr h d r dr d


=
= =
,
,

Coord. esfricas ( , , ) r
r
dS dS e
dS h dr h d r dr d


=
= =
,
,
INTRODUO AOS TENSORES 86
{

2
2 2 2 2 2 2
0 se
1 se
1 1 1
2 /
2 2 2
j j
i j j j j j i i i i i
i i i i j j j
j i
j i
u u
T
p m h u m h m h u mh u u p mh
u u u u

=


= = = = = =


` `
` ` ` `
` ` ` `
.
Logo,
( )
2
2 2 2 2
1 1
2 2
i i i i i
i i
T m h p mh p h
m
= =

.

Por exemplo, em coordenadas esfricas, temos que

2 2
2 2 2
2
2 2 2 2 2 2
1 1
2 2
sen
r
r
r
p p
p p p
T p
m m
h h h r r





= + + = + +


.

Nota: O aluno que no se sente confortvel com as operaes com diferenciais acima, imagine-as realizadas
antes de se tomar o limite:
3
2 2
2 2 2 2 2 3 3 3
2 2 2 2 1
2 2
t t t t t
1 1 1
( )
( )
lim lim lim lim lim
t t
( ) ( )
i i
i i i
i i i i
i i i
h u
u u s ds s
h h h u
dt t
t t
=

= = =

= = = = = =


` .


Exerccio 4: No sistema de coordenadas esfricas, mostre que

2
2 2 2 2
2
( ) 2 r r r r
r
r



=

,

2 2 2 2 2
i.e., ( ) ( )
r
r r



= =

,
,

onde, entre os colchetes acima, fizemos uso da seguinte notao para o laplaciano:
2 2 2
2
1
( , , )
r
r
r

= + ,
com


2
2
2
2
r
r r
r

e
2
2
2 2
1 1
sen
sen
sen







+



.

Temos que

sen sen
r r
e
e e
r r e e e
r r r




= + + =


,
, ,
, , , ,
;
logo;

( )
( ) ( )
2
sen sen
e e
r e e




=

, ,
, , ,


( )
2
sen sen
sen
e e e
e e e e e




= +


, , ,
, , , , ,

INTRODUO AOS TENSORES 87

2
2
0
1 1
sen sen
r
e
e
e
e e e e



= + +






, ,
,
,
, , , ,


2 2
2 2
sen cos
cos
sen
sen
r
e e
e
e
e e e
e e



+ + +








, ,
,
,
, , ,
, ,


2 2
2 2 2
cos 1
0
sen
sen




= + +


,

donde
( )
2
2
2
2 2
1 1
sen
sen
sen
r







= + =



,


Esta frmula usada, por exemplo, para se obter, na Mecnica Quntica, o operador asso-
ciado ao momento angular quadrtico a partir dos operadores associados posio,

r r =
, ,
, e ao
momento linear,

i p =
,
| :

( )
( ) ( )
2
2 2
2 2 2 2
( i ) L r p r r

= = = =
, , , ,
| | | .























()
Das expresses dos versores e

,
e e

,
em componentes cartesianos obtidos na p. 76, o estudante pode facilmen-
te deduzir que /
r
e e

=
, ,
, / cos e e

=
, ,
, / 0 e

=
,
,
e / sen cos
r
e e e

=
, , ,
.
Vide a
nota ()
ao final
INTRODUO AOS TENSORES 88
Apndice B A conveno de Einstein para somatrios
Equation Section (Next)

Einstein teve uma idia que, no obstante a sua simplicidade, simplifica consideravelmen-
te a notao de expresses que envolvem somatrios. Juntamente com o delta de Kronecker e o
smbolo de Levi-Civita apresentados abaixo, os clculos so consideravelmente reduzidos. An-
tes de estudar, por exemplo, o Clculo Tensorial, onde esses instrumentos mostram toda a sua
praticidade, necessrio que o aluno aprenda a utiliz-los com destreza. Esse o objetivo desta
seo. J aqui, demonstrando frmulas da Anlise Vetorial e do Clculo Matricial, o aluno cons-
tatar a importncia das tcnicas apresentadas.

a) Representao vetorial na base cannica do
3
R

A base
1 2 3
{ , , } e e e
, , ,
ortonormal:

i j ij
e e =
, ,
,
onde
0 se
1 se
ij
i j
i j

(B-1)

o delta de Kronecker.
b) Produto escalar

, ,
0 s
se
( ) ( ) [ ]
i i j j i j i j i j ij i j ij
i j i j i j i j
j i
x y x e y e x y e e x y x y

=
= = = =

, , , , , ,

1
[ ] .
i i ii i i
i i
x y x y = =

(B-2)
c) A conveno de Einstein para somatrios
ndices repetidos indicam um somatrio, com os mesmos variando de 1 a, no nosso caso,
3; por exemplo,
1 1 2 2 3 3 i i
x x e x e x e x e = = + +
, , , , ,
. Nesta equao, dizemos que i ndice de so-
matrio ou mudo, pois a sua variao indica as expresses que so somadas, podendo, obvia-
mente, ser substitudo por qualquer outro que no esteja sendo utilizado, ou seja,
i i
x x e =
, ,

j j
x e =
,
. Tal ndice tambm chamado de ligado, pois no livre para apresentar qualquer um
dos trs valores possveis; pelo contrrio, estando ligado a um somatrio, condicionado a vari-
ar de 1 a 3 para gerar os termos que so somados.
Observe o uso dessa conveno no caso de produtos escalares:

ou
i i j j i j ij i i j j
x y x e y e x y x y x y = = =
, , , ,


i j j i j ij i
x e x e e x x = = =
, , , ,


2 2
| |
i i i
x x x x = =
,
(o que justifica admitir o ndice i em
2
i
x repetido e indicando um somatrio)

Note o procedimento para realizar somatrios envolvendo o delta de Kronecker: se o ndi-
ce k de
kl
aparecer repetido (indicando um somatrio), suprimimos esse delta de Kronecker e
fazemos o outro ndice k igual a l (assim efetuando tal somatrio). Exemplos:
kl kij lij
A A = ,
3
x
2
x
1
x
3
e
,

2
e
,

1
e
,

1 1 2 2 3 3
3
1
i i
i
x x e x e x e
x e
=
= + +
=

, , , ,
,
INTRODUO AOS TENSORES 89
ij jk kl ij jl
A A A A = ,
kl km lm
= .
Um outro exemplo que bem elucida a conveno do somatrio o formado pela expresso

( 1, 2, 3 e 1, 2, 3, 4)
ij j
a x i j = = ,

que representa as trs expresses lineares seguintes:

11 1 12 2 13 3 14 4
21 1 22 2 23 3 24 4
31 1 32 2 33 3 34 4
a x a x a x a x
a x a x a x a x
a x a x a x a x
+ + +

+ + +

+ + +



O ndice j o do somatrio (mudo). Quanto ao ndice i, ele pode ter qualquer dos valores
1, 2, 3 i = e identifica cada uma das trs expresses, sendo por isso chamado de ndice livre ou
identificador.
J a forma quadrtica
3 3
1 1
ij i j
i j
a x x
= =

, com 9 termos, denotada por


ij i j
a x x .
Quando um ndice repetido no indicar um somatrio, isso dever ser dito explicitamente.
Por exemplo, se
i
V
,
for o autovetor correspondente ao i-simo autovalor
i
da matriz A, ento
i i i
AV V =
, ,
(sem somatrio em i ). Duas outras formas usadas para indicar que no h somat-
rio num ndice repetido consistem em coloc-lo entre parnteses
( ) ( ) ( ) i i i
AV V

=

, ,
ou p-lo
maisculo
I I I
AV V

=

, ,
.

d) Produto vetorial
i) Uma permutao par (mpar) da trade 1-2-3 outra trade dos mes-
mos algarismos que, para ser restaurada trade 1-2-3, necessrio um nme-
ro par (mpar) de transposies de algarismos adjacentes. Assim, 1-2-3, 2-3-1
e 3-1-2 so as permutaes pares de 1-2-3; j 2-1-3, 1-3-2 e 3-2-1 so as per-
mutaes mpares. [Outro modo de obter as trades assim classificadas consis-
te em l-las ao longo da circunferncia direita: no sentido horrio obtemos
as trades pares e no anti-horrio, as mpares.]

ii) Observe que ou
i j k k
e e e e =
, , , ,
, caso i-j-k seja uma permutao
par ou mpar de 1-2-3, respectivamente:

1 2 3
2 3 1
3 1 2
e e e
e e e
e e e
=

, , ,
, , ,
, , ,
(vale a regra da mo direita)

Agora, considere a seguinte definio:


1 se for uma permutao par de 1-2-3
1 se for uma permutao mpar de 1-2-3
0 se dois ou mais ndices forem iguais
ijk
i - j - k
i - j - k

E (B-3)

1

3 2
3
e
,
2
e
,
1
e
,
INTRODUO AOS TENSORES 90
ou seja,
123 231 312
1 = = = E E E ,
132 213 321
1 = = = E E E ,
122 131 332
0 = = = E E E , etc. Tal o
chamado smbolo de permutao ou de Levi-Civita. Observe que

( 1)
P
ijk
= E , (B-4)

onde P o nmero de transposies de ndices adjacentes em
ijk
E que os pem na ordem 1-2-3.
Observe que, de acordo com o item (d-ii), temos que:


i j ijk k
e e e =
, , ,
E . (B-5)

De fato, se i j = ento essa equao claramente verdadeira (ambos membros se anulam). J
quando i j , o somatrio no membro direito apresenta apenas um termo no nulo, aquele em
que k i e k j ; ele ento reduzido a
k
e +
,
ou
k
e
,
, dependendo, respectivamente, de os n-
dices de
ijk
E formarem uma permutao par ou mpar de 1-2-3.
iii) O produto vetorial de vetores genricos
i i
x x e =
, ,
e
j j
y y e =
, ,
dado por


i i j j i j i j
x y x e y e x y e e = =
, , , , , ,

i j ijk k
x y x y e =
, , ,
E . (B-6)

Verifique esta frmula atribuindo os valores 1, 2 e 3 aos ndices. Temos tambm que

m m i j ijk k m i j ijk km
z x y z z e x y e e x y = = = =
, , , , , , ,
E E
( )
m m ijm i j
z x y x y = =
, ,
E . (B-7)

Uma outra maneira de deduzir essas expresses do produto vetorial z x y =
, , ,
e do seu
componente
m
z consiste em primeiramente verificar que


ijk i j k
e e e = E

, (B-8)
atravs da qual obtemos

m m m i i j j m i j m i j ijm i j
z z e x y e x e y e e e e e x y x y = = = = =
, , , , , , , , , , ,
E ,
ou

m m ijm i j m
z x y z e x y e = = =
, , , , ,
E . (B-9)

e) Operaes diferenciais (coordenadas cartesianas)
Sendo
i i
r x e =
, ,
o vetor posio, podemos denotar o campo escalar ( ) r
,
e o vetorial
( ) V r
,
,
respectivamente por ( )
i
x e ( )
i
V x
,
bem como o operador /
i
x por
i
para escrever de
uma forma sucinta o seguinte:


i i
e =
,
....................................................... operador nabla

i i
e =
,
................................................... gradiente de

i i
V V =
,
................................................... divergncia de V
,


2
i i
= ................................................. laplaciano de
INTRODUO AOS TENSORES 91

2
i j j i
V e V =
,
,
.......................................... laplaciano de V
,


ijk i j k
V V e =
,
,
E ....................................... rotacional de V
,

( )
k ijk i j
V V =
,
E ...................................... k-simo componente de V
,


f) Identidades envolvendo o delta de Kronecker e o smbolo de Levi-Civita
Partindo das definies do delta de Kronecker e do smbolo de Levi-Civita, podemos de-
monstrar que

3
ii
= ,
ij ik jk
= , 3
ij ij ii
= = (B-10)


permutaes pares de - - permutaes mpares de - -
ijk kij jki jik kji ikj
i j k i j k
= = = = =

E E E E E E (B-11)

6
ijk ijk
= E E (B-12)

2
ijk ijl kl
= E E (B-13)


ijk lmk il jm im jl
= E E (B-14)


il im in
ijk lmn jl jm jn
kl km kn



= E E (B-15)

As identidades nas Eqs. (B-10) e (B-11) so conseqncias diretas das definies do delta
de Kronecker e do smbolo de Levi-Civita bem como da conveno do somatrio, fceis de se-
rem verificadas. Para verificar as demais, usamos o fato de que, da ltima identidade acima, ob-
temos as trs anteriores; observe:
Fazendo n = k na ltima, obtemos a penltima:

3 3
(3 2) (2 3) .
im jl im jl il jm
il jm
il im ik
ijk lmk jl jm jk il jm kk ik jl km im jk kl il jk km im jl kk
kl km kk
ik jm kl il jm im jl il jm im jl






= = + +
= + =

E E


Fazendo j = m na penltima, obtemos a antepenltima:

3
2
il
imk lmk il mm im ml mki mkl il

= =

E E E E ,

que a Eq. (B-13), mas com m, k e i no lugar de i, j e k, respectivamente.
Fazendo k = l na antepenltima, obtemos a anterior:

INTRODUO AOS TENSORES 92

3
2 6
ijk ijk kk
= = E E .
Resta demonstrar, portanto, apenas a ltima identidade, o que feito por exausto, isto ,
verificando-se todas as possibilidades.

g) Demonstrao de identidades vetoriais
A Eq. (B-14) muito til na demonstrao de algumas identidades vetoriais. Antes de
exemplificar o seu uso, confira os resultados simples seguintes:

(i)
i j ij
x = (ii) 3
i i
r x = =
,
(iii)
( )
/ | |
i i j j
r x r r r x x = = =
,
(B-16)

EXEMPLO 1:
Para um vetor
,
constante:

0
( ) ( ) ( ) 0
kj
k k k ijk i j ijk i k j ijj i
r r x x

= = = = =
, , , ,
E E E
EXEMPLO 2:
( ) ( )
ijk i j k l l ijk klm i j l m il jm im jl i j l m
a b c a b e c e a b c e a b c e = = =
,
, , , , , ,
E E E
( ) ( )
l m l m m l l m
a b c e a b c e a c b b c a = =
, ,
, , , , , ,
(B-17)

EXEMPLO 3: Se
,
e
,
forem vetores constantes, ento

( ) [ ( ) ] [ ]
il
i i j j i i j jkl k l i jkl j k i l i jki j k
r e r e x e x e

= = = = =
, , ,
, , , , , , , ,
E E E
EXEMPLO 4:
( ) ( ) ( )
i i jkl j k l jkl i l i j k jkl il k i j j i k
A B e A B e e e A B B A A B = = = +
, ,
, , , ,
E E E

jki k i j jki j i k k ijk i j j ikj i k
B A A B B A A B = + = E E E E
( ) ( )
k k j j
B A A B B A A B = =
, , , , , ,
,
ou, num modo um pouco mais curto,
( ) ( ) ( )
i i i ijk j k ijk k i j j i k
A B A B A B B A A B = = = +
, , , ,
E E
( ) ( ) ( ) ( )
ijk i j k ikj i k j k k j j
A B B A A B B A = =
, ,
E E
B A A B =
, , , ,
(B-18)

EXEMPLO 5:
( ) ( )
ijk k ijk lmk l m il jm im jl l m i j j i
A B A B A B A B A B = = =
, ,
E E E (B-19)

Em particular, substituindo A
,
por :
( )
ijk k i j j i
B B B =
,
E . (B-20)

EXEMPLO 6: Seja A A A

= +
|
, , ,
um campo vetorial decomposto em dois
componentes vetoriais, um paralelo e outro perpendicular ao versor radial
/
r
e r r =
, ,
; temos que

A
,
A
|
,
A

,
r
,

O
INTRODUO AOS TENSORES 93
( )
( )
( )
2 2
/
( )
( ) 1 1
j j i j j i ij j i
r i i j i j i
j j
i i r r
j i ij j j
x e r x x r r x x r
A e A e A e A
r
r r
x e
A x A A e e A r r
e A e A A
r r r r r r r r



= = =

= = = =
,
,
, , ,
, , , ,
, , , ,
,
, ,


A relao 2
ijk ijl kl
= E E tambm surge nas demonstraes algumas vezes. Por exemplo, se

,
for um vetor constante, ento

2
( ) ( ) ( )
2 2
im
kl
k kij i j k kij i jlm l m k kij jlm l i m
k l kij jli k l ijk ijl k k
r e r e x e x
e e e



= = =
= = = =
, , , , , , ,
, , , ,

E E E E E
E E E E

h) Matrizes e determinantes
NOTAO PARA MATRIZES E OPERAES ELEMENTARES
Uma matriz A pode ser denotada atravs dos elementos que a compem,
ij
a : ( )
ij
A a = .
Objetivando introduzir a notao indicial (i.e., atravs de ndices) das matrizes, citemos algumas
definies que o aluno certamente j aprendeu: para matrizes A, B, C , temos que

Se
ij ij ij
C A B c a b = = (B-21)
Se
ij ik kj
C AB c a b = = (note a conveno do somatrio) (B-22)
Se
T
A for a matriz transposta de A ento
T
ij ji
a a = (B-23)

DETERMINANTES
Definio de determinante:
O determinante de uma matriz ( )
ij
A a = de ordem N N , denotado por det A, ou | |
ij
a ,
ou ainda por a, a letra pura, sem ndices, empregada na notao dos elementos de ( )
ij
A a = , ,
por definio, a soma de todos os termos que podem ser formados do seguinte modo: De cada
linha {coluna}, tome um elemento que no seja da mesma coluna {linha} de algum elemento j
tomado, forme o produto
1 2
1 2
N
j j N j
a a a {
1 2
1 2
N
i i i N
a a a } (
1 2
, ,
N
j j j distintos {
1 2
, ,
N
i i i
distintos} ) de tais elementos e multiplique-o por +1 ou 1, conforme
1 2 N
j j j {
1 2 N
i i i } seja uma permutao par ou mpar, respectivamente, de 1 2 N ( i.e, mul-
tiplique aquele produto por
1 2 N
j j j
E {
1 2 N
i i i
E } ). Matematicamente, essa definio assim ex-
pressa:

1 2 1 2
1 2
N N
j j j j j N j
a a a a

E {
1 2 1 2
1 2
N N
i i i i i i N
a a a a

E ) . (B-24)

Nesse somatrio de N ndices
1 2
, , ,
N
j j j , existem ! N termos, em conformidade com a
definio. De fato, o elemento a ser tomado da primeira linha pode estar em N colunas, o da se-
gunda pode estar em 1 N colunas, , o da n-sima coluna s pode estar em uma coluna, ha-
vendo, portanto, ( 1) ( 2) (2) (1) ! N N N N = modos de formar cada termo que compe a so-
ma que define o determinante.
INTRODUO AOS TENSORES 94
Propriedades dos determinantes
As seguintes propriedades dos determinantes so demonstradas no Apndice:
P1) det det
T
A A =
P2) Se A tem uma linha {coluna} de zeros ento det 0 A =
P3) Se A triangular ento det A igual ao produto dos elementos da diagonal principal.
P4) det ( ) (det ) (det ) AB A B =
P5) Se B obtida de A pela multiplicao de uma linha {coluna} por r ento det det B r A =
P6) Se B obtida de A trocando-se duas linhas {colunas} ento det det B A =
P7) Se B obtida de A substituindo-se uma linha {coluna} pela soma de um mltiplo desta com
um mltiplo de outra ento det det B A = .

O desenvolvimento de Laplace:
Definamos
1 2 1 1 I I N
j j j j j
+

E como o smbolo de Levi-Civita cujos 1 N ndices (note a
ausncia do ndice
I
j ) podem tomar todos os valores de 1 a N, exceto o j tomado por
I
j , e que
recebe o valor +1 ou 1, conforme seus ndices formem uma permutao par ou mpar de
1 1
1 2
I I
j j N
+
(a seqncia ordenada dos 1 N primeiros nmeros naturais, exclu-
indo-se valor de
I
j ). No difcil concluir que


1 2 1 1 1 2 1 1
1
( 1)
I
J I I N I I N
j
j j j j j j j j j j j
+ +

=

E E , (B-25)

uma vez que, para colocar os ndices de E e E em sua ordem normal (de acordo com os seus
valores), o ndice
I
j de
1 2 1 1 J I I N
j j j j j j
+

E (ausente em
1 2 1 1 I I N
j j j j j
+

E ), para ocupar sua posio
normal, requer 1
I
j transposies adjacentes [por exemplo, para 5 N = , temos que, se
43521 3521
( 1)
m
= E E , ento

4 1
12345 1235
1 1
( 1) ( 1)
m
+ +
= E E ; logo, 4 1 m = ].
Por outro lado, temos que


1 2 1 2 1 1
1
( 1)
N I I I N
I
j j j j j j j j j
+

=

E E , (B-26)

pois, para transformar o smbolo de Levi-Civita do primeiro membro, no qual o ndice
I
j figura
na sua posio normal (a I-sima), naquele do segundo membro, em que
I
j ocupa a primeira
posio, so necessrias 1 I transposies adjacentes. Logo, substituindo a Eq. (B-25) na Eq.
(B-26), obtemos


1 2 1 2 1 1
( 1)
I
N I I N
j I
j j j j j j j j
+
+
=

E E . (B-27)

Essa equao permite escrever a Eq. (B-24) na forma conhecida como a frmula de desen-
volvimento de determinantes de Laplace:


I I
I j I j
a a A = (sem somatrio em I ) , (B-28)
INTRODUO AOS TENSORES 95
onde

1 2 1 1 1 2 1 1
1 2 1 1
( 1)
I I I N I I N
I
I j
I j j j j j j j j I j I j N j
A a a a a a
+ +
+
+


E (B-29)

o chamado co-fator do elemento
I
I j
a , que igual a ( 1)
I
I j +
vezes o determinante da matriz
que se obtm de A retirando-se a linha e a coluna que contm o elemento
I
I j
a . Na Eq. (B-28)
podemos trocar o ndice mudo
I
j por simplesmente j :


I j I j
a a A = , para qualquer linha I (sem somatrio em I ) . (B-30)

Dizemos que o determinante desenvolvido segundo essa frmula se d ao longo da linha I
(qualquer uma). A frmula de desenvolvimento ao longo de uma coluna, digamos a J-sima co-
luna, deduzida de modo anlogo, sendo dada por


i J i J
a a A = , para qualquer coluna J (sem somatrio em J ) . (B-31)

Nessas duas frmulas, vale a pena realar que


(B-32)



k j l j kl
a A a = { }
ik il kl
a A a = (B-33)
Se k l = , fcil ver que temos acima o desenvolvimento de Laplace ao longo da k-sima linha
{coluna}. Se k l , mostramos no Apndice que o primeiro membro nulo por fornecer o de-
terminante de uma matriz com duas linhas {colunas} iguais: a que se obtm de A substituindo-se
a k-sima linha {coluna} pela l-sima linha {coluna}.


1 2 1 1 2 2 1 2 N N N N
k k k i k i k i k i i i
a a a a

E E ou
1 2 1 1 2 2 1 2 N N N N
k k k k j k j k j j j j
a a a a

E E (B-34)

De fato, se
1 2 N
k k k = 1 2 N , ela se reduz definio de determinante a dada na
Eq. (B-24). Se
1 2 N
k k k = permutao de 1 2 N , ambos membros fornecem
( 1)
P
a , onde P o nmero de transposies que restaura
1 2 N
k k k ordem normal
1 2 N . Por fim, se dois ou mais dos ndices
1 2 N
k k k so iguais, os dois mem-
bros daquela frmula se anulam. Observe alguns exemplos considerando-se 3 N = , caso em que
a segunda frmula acima pode ser escrita na forma

ijk il jm kn lmn
a a a a = E E . (B-35)
Para l-m-n = 2-3-1 (permutao par de 1-2-3):
2 3 1 1 2 3 ijk i j k kij k i j
a a a a a a a = = E E
Para l-m-n = 2-1-3 (permutao mpar de 1-2-3):
2 1 3 1 2 3 ijk i j k jik j i k
a a a a a a a = = E E
Para l-m-n = 1-1-3 (valores repetidos):
1 1 3 113
0
ijk i j k
a a a a = = E E
No terceiro exemplo, o 1
o
membro , de fato, nulo; ele o determinante de uma matriz
com duas colunas iguais (a obtida da matriz A substituindo-se a segunda coluna pela primeira).

ij
A [co-fator do elemento
ij
a ] = ( 1)
i j +
determinante da matriz
que se obtm de A retirando-se a linha e a coluna contendo
ij
a
INTRODUO AOS TENSORES 96
MATRIZES INVERSAS
Os elementos
1
kj
a

da inversa
1 1
( )
kj
A a

= de A so dados pela seguinte frmula:

1
/
kj jk
a A a

= . (B-36)
fcil verificar isso, usando a ltima frmula de determinantes vista acima:
1 1
( ) ( / ) ( )
ij
ik kj ik jk ij
a
A A a a a A a


= = =

: matriz identidade.

i) Demonstrao de diversas frmulas
( ) ( ) ( ) ( ) ( ) ( ) A B C D A C B D A D B C =
, , , , , , , , , , ,
: (B-37)
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
k k ijk i j lmk l m il jm im jl i j l m
l m l m m l l m
A B C D A B C D A B C D A B C D
A B C D A B C D A C B D A D B C
= = = =
= =
, , , , , , , ,
, , , , , , ,
E E


( ) A A A = +
, , ,
: (B-38)
( ) ( )
i i i i i i
A A A A A A = = + = +
, , ,


( ) A A A = +
, , ,
: (B-39)
( ) ( ) ( )
ijk i j k ijk j i i j k
A A e A A e = = +
,
, ,
E E
( )
ijk i j k ijk i j k
A e A e A A = + = +
, ,
, ,
E E

A B C C A B B C A = =
, , , , , , , , ,
: (B-40)
( ) ( )
( ) ou
( ) ( )
k ijk i j k k
i i i jki j k
j kij k i j j
C A B C A B C A B
A B C A B C A B C
B C A B C A B C A

= =

= = =

= =

, , , , ,
, , , , ,
, , , , ,
E
E
E



[ ( )] [ ( )]
( ) ( )
[ ( )] [ ( )]
C A B D D A B C
A B C D
B A C D A B C D

, , , , , , , ,
, , , ,
, , , , , , , ,
: (B-41)

( ) ( ) ( ) ( )
ijk i j k ijk lmi l m npj n p k
A B C D A B C D e A B C D e = = =
, , , , , , , ,
, ,
E E E E
ou
jl km jm kl
kn ip kp in
ijk lmi npj l m n p k npl l k n p k npm k m n p k
jki npj lmi l m n p k lmp l m k p k lmn l m n k k
A B C D e A B C D e A B C D e
A B C D e A B C D e A B C D e

, , ,

, , ,

E E E E E
E E E E E

INTRODUO AOS TENSORES 97



( ) ( )
( )
( )
[ ( )] [ ( )]
ou
[ ( )] [ (
l m
l
l
k k l npl n p k k m npm n p
B A
C D C D
k k l lmp m p k k l lmn m n
D C B C
B D
B e A C D A e B C D B A C D A B C D
C e A B D D e A B C C A B D D A B

=
=
=
, ,
, , , ,
, , , ,
, ,
, , , , , , , ,
, ,

, , , , , , ,
, ,

E E
E E )] C

,


0
ij ij
Q A S = se
ji ij
A A = e
ji ij
S S = (i.e., se
ij
A e
ij
S apresentarem anti-simetria e sime-
tria, respectivamente, nos ndices i e j):
( ) 2 0 0
ij ij ji ji ji ji
Q A S A S A S Q Q Q = = = = = =
O resultado depende apenas da anti-simetria de
ij
A e da simetria de
ij
S nos dois ndices
sobre os quais o somatrio realizado, podendo, por exemplo, haver outros ndices em A e S
(e.g., 0
kl ijk ijl
Q A S = ) ou, ainda, somatrios sobre esses outros ndices (e.g.,
l ijk ijkl
Q A S
0 = ):
( ) 2 0 0
l ij k ijkl jik jikl jik jikl l l l
Q A S A S A S Q Q Q = = = = =

0 =
,
: (B-42)
( ) ( ) 0 0
k k ijk i j k k
Q e Q e = = = =
,
, ,
E ,
pois
ijk
E anti-simtrico e
i j
simtrico nos ndices i e j.

0 V =
,
: (B-43)
0
l l ijk i j k ijk kl i l j ijk i k j
V e V e V V = = = =
,
, ,
E E E ,
pois, nos ndices i e k,
ijk
E anti-simtrico e
i k j
V simtrico.

( ) ( ) ( ) ( ) ( ) A B B A B A A B A B = +
, , , , , , , , , ,
: (B-44)
( ) ( ) ( ) ( )
ijk i j k k ijk i lmj l m k jki lmj m i l l i m
A B A B e e A B e B A A B = = = +
, , , ,
, , ,
E E E E E
( )( )
k kl im km il m i l l i m
e B A A B = +
,


k kl im m i l k km il m i l k kl im l i m k km il l i m
e B A e B A e A B e A B = +
, , , ,


i i k k k k l l k k m m i i k k
B A e e B A e A B A B e = +
, , , ,

( ) ( ) ( ) ( ) B A B A A B A B = +
, , , , , , , ,


( ) ( ) ( ) ( ) ( ) A B B A A B B A A B = + + +
, , , , , , , , , ,
: (B-45)
( ) ( ) ( ) ( ) A B B A A B B A + + +
, , , , , , , ,

( ) ( )
i i j j i i j j ijk i j k ijk i j k
A B e B A e A B e B A e = + + +
, ,
, , , ,
E E
i i j j i i j j ijk i lmj l m k ijk i lmj l m k
A B e B A e A B e B A e = + + +
, , , ,
E E E E
( ) ( )
i i j j i i j j kl im km il i l m k kl im km il i l m k
A B e B A e A B e B A e = + + +
, , , ,

i i j j
A B e =
,
i i j j
B A e +
,
m k m k l l k k
A B e A B e +
, ,
m k m k l l k k
B A e B A e +
, ,

INTRODUO AOS TENSORES 98
( ) ( ) ( )
k m k m m k m k k m m
e A B B A e A B A B = + = =
, ,
, ,



2
( ) ( ) A A A =
, , ,
, onde
2 2
i i i j j i
A e A e A =
,
, ,
: (B-46)
2
( ) ( )
( )
( )
ijk i j k ijk i lmj l m k ijk lmj i l m k
kl im km il i l m k m k m k l l k k
k k m m k l l k
A A e A e A e
A e A e A e
e A e A A A

= = =
= = =
= =
, ,
, , ,
, , ,
, ,
, ,
E E E E E


det ( ) (det ) (det ) AB A B = : (B-47)
Considerando matrizes 33, temos que
1 2 3 1 2 3
1 2 3 1 2 3
det
det ( ) ( ) ( ) ( )
(det ) (det ) (det )
lmn
ijk i j k ijk il l jm m kn n
ijk il jm kn l m n lmn l m n
A
AB AB AB AB a b a b a b
a a a b b b A b b b A B
= =
= = =

E
E E
E E

Nesta ltima demonstrao usamos a frmula na Eq. (B-35).

Regra de Cramer: a soluo do sistema linear
ij j i
a x b = dada por ( ) /
j jk k
x A b a = : (B-48)
( ) /
jk
jl
A
kl l k k j kl l j k j k j k j k
a
a x b A a x a x A b x A b a

= = = =


onde usamos a Eq. (B-33). Note que
kj k
A b o determinante [desenvolvido, segundo a frmula
de Laplace, ao longo da j-sima coluna, de acordo com a Eq. (B-30) ] da matriz que se obtm da
matriz dos coeficientes ( )
ij
A a = substituindo-se a j-sima coluna pelos
1 2
, , b b :
11 1 1
1
-sima
coluna
det
N
kj k
N N NN
j
a b a
A b
a b a


=



. . .

Faamos novamente o Exerccio 3 da Se. 12-1, demonstrando a identidade
2
2 2 2 2
2
( ) 2 r r r r
r
r



=

,
:

( ) ( ) ( )
2
( ) ( )
ijk i j lmk l m il jm im jl i j l m
k k
r r r x x x x = = =
, , ,
E E


3
( ) [ ( ) ( ) ]
ji
i j i j j i i j i j i j j j j i j j i
x x x x x x x x

= = +
( 3 ) ( 2 )
i i i i j j i i i j j i i i j j i i i j j i
x x x x x x x x x x x = + =
INTRODUO AOS TENSORES 99

2
2 2 2 2 2
2
2 2
i j j i
r r x x r r r
r
r



= =


,
(QED) ,

onde, na ltima linha, usamos o fato de que


sen
r
e e
r r e r
r r r r




= + + =


, ,
, , ,


e tambm que


( )
( ) ( ) ( ) ( )
i j j i i i i i
x x x r r x r r r r
r


= = = =

, , , , ,


()
2 2
1
r
e r
r r r r
r r r r r
r r




= + =


, ,
,
r

+

2
2
2
r
r

=



Os detalhes das passagens marcadas com () e () so os seguintes:
( )
( ) ( ) ( ) ( )
i j j i i j j i
e e

= = =
, ,


()
2 2
2 2
1
sen sen
1
r
r r
r
e e
e e e
e e
r r r r r r r r r r r r
r r
e
r r
r r







= + + = + + +



= +

, ,
, , ,
, ,
,



j) Gradiente, divergncia, laplaciano e rotacional em coordenadas curvilneas
Este assunto, j desenvolvido na Se. 12-1(c), o novamente aqui, mas agora fazendo uso
dos conhecimentos recm-adquiridos nesta Se. 12-2.
Sejam ( 1, 2, 3)
i
u i = coordenadas curvilneas ortogonais e
i
e
,
os versores correspondentes
(ortogonais). Estes, de acordo com a Eq. (A-8), so dados por

1
i
i i
r
e
h u

,
,
, onde
i
i
r
h
u

,
( 1, 2, 3) i = .

Nessa frmula no h somatrio, embora o ndice i esteja repetido. Por causa disso, nesta seo
adotaremos a conveno do somatrio com a seguinte ressalva:

Ressalva: O ndice do fator de escala no participa da conveno do
somatrio de Einstein, embora participe do somatrio que o tem como ndice.
Mais precisamente: O ndice do fator de escala no levado em conta para se
constatar se repetido, isto , se ligado a um somatrio, mas participa do
somatrio a que esteja ligado. Assim, na frmula do versor curvilneo, acima,
i no est repetido (o i de
i
h no conta), no sendo ligado a soma alguma.
Mas, no termo ( / ) /
i i i
e h f u
,
, i est repetido (aparece em
i
e
,
e
i
u ), sendo, por
conseguinte, um ndice ligado; esse termo igual a
1 1 1
( / ) / e h f u
,
+
2 2 2
( / ) / e h f u
,
+
3 3 3
( / ) / e h f u
,
.
INTRODUO AOS TENSORES 100
Bem, comecemos com a deduo do gradiente de um campo escalar f em coordenadas
curvilneas. O seu i-simo componente calculado como segue:
(1) (2)
1 1
( )
j
i i
i i j i i
x
f f
f e f
h u x h u


= = =

,
,
onde
j
x so as coordenadas cartesianas. Na passagem indicada por (1), realizamos o produto
escalar empregando os componentes cartesianos ( / ) /
j i i
x u h e /
j
f x de
i
e
,
e f , respecti-
vamente. Na passagem (2), usamos a regra da cadeia. Logo, substituindo esse resultado na equa-
o ( )
i i
f e f =
,
, obtemos o mesmo resultado na Eq. (A-15).

i
i i
e f
f
h u

,
ou
3 1 2
1 1 2 2 3 3
e e e f f f
f
h u h u h u

= + +

, , ,
. (B-49)
Essa demonstrao similar apresentada na Eq. (A-16).
Antes de deduzir a expresso da divergncia de um campo vetorial F
,
em coordenadas
curvilneas, so necessrias duas frmulas. A primeira obtm-se simplesmente calculando
j
u
usando a Eq. (B-49):

ij
j j
i
j j
i i j
u e
e
u u
h u h

= =

,
,
. (B-50)
A deduo da segunda consiste em, partindo da Eq. (B-5), a qual tambm vale para os versores
curvilneos ortogonais considerados (que, por conveno, seguem a regra da mo direita), pri-
meiramente escrever um dos versores em termos dos outros dois e, depois, substituir esses dois
pelas expresses que a Eq. (B-50) fornece:

2
2
2
kl
ijl
l
i j
ijk k i j ijk ijl k ijl i j l ijl i j
e
h h
e e e e e e e u u

= = =
,
,
, , , , , , ,

E
E E E E E . (B-51)
Pois bem, agora podemos escrever:
( )
( )
( ) ( )
( )
(1)
(2)
0
(3)
1
2
1
2
1 1
.
2
l l ijl l i j i j
ijl l i j i j l i j i j
l i j j
i
ijl k
k k i j
F F e F h h u u
F h h u u F h h u u
F h h e
e
e
h u h h
= =
= +

,
,

,
,
,
E
E
E

Expliquemos os principais detalhes das passagens enumeradas acima. Na passagem (1), usamos
a Eq. (B-51). Na (2), primeiramente usamos a identidade vetorial na Eq. (B-38) e, depois, aque-
las nas Eqs. (B-18) e (B-42) para justificar que o ltimo termo entre colchetes nulo:

( )
0
0
0
i j j i i j
u u u u u u = =
,
,


.
INTRODUO AOS TENSORES 101
Na passagem (3), usamos a expresso de
( )
l i j
F h h dada pela Eq. (B-49) e as de
i
u e
j
u
dadas pela Eq. (B-50).
Bem, continuamos os clculos reconhecendo que
k i j kij
e e e =
, , ,
E e escrevendo


( )
1 1
2
l i j
ijk ijl ijk ijl klij
i j k k
F h h
F S
h h h u

= =

,
E E E E , (B-52)
onde

( )
1 1
2
l i j
klij
i j k k
F h h
S
h h h u

. (B-53)

Usando a Eq. (B-57) deduzida na Nota (ii) ao final desta seo, obtemos

( )
( ) ( ) ( )
1123 2213 3312
1 2 3 2 1 3 3 1 2
2 3 1 1 1 3 2 2 1 2 3 3
2
1 1 1
,
F S S S
F h h F h h F h h
h h h u h h h u h h h u
= + + =

+ +

,


ou, finalmente,


( ) ( ) ( )
1 2 3 2 1 3 3 1 2
1 2 3 1 2 3
1
F h h F h h F h h
F
h h h u u u


= + +



,
, (B-54)

a mesma expresso na Eq. (A-18).
Para calcular o laplaciano de f, basta usar o fato de que ele a divergncia do campo
F f =
,
:

1 2 3
2
1 2 3
1 1 2 2 3 3
1 1 1
F
F F F
f f f
f f e e e
h u h u h u


= = + +




,
, , ,

;

logo, substituindo
1 1 1
( / ) / F f u h = , etc, na Eq. (B-54), obtemos


2 3 1 3 1 2 2
3 3 1 1 2 2 1 2 3 1 2 3
1
h h h h h h f f f
f
h u h u h u h h h u u u

= + +




. (B-55)

Por fim, o rotacional calculado como segue:

( ) ( ) ( )
( )
0
1
1 2 3
( ) ( ) 1 1 1
( ) ( / ) ( )
l l l l l l l l l l l
l l l l l
i ilm m mil m m i l l
i i l i l i m i l
m i l mil m i l
F F e F h u F h u F h u
F h e F h
e e h e u F h
h u h h h u h h h
h h h a a a

= = = +

= = =

,
,
,

,
, , ,
E E
E


INTRODUO AOS TENSORES 102
onde
1m m m
a h e
,
,
2
/
i i
a u e
3l l l
a F h . Logo, notando que
1 2 3 m i l
h h h h h h = se m, i e l
forem distintos (que caso devido presena de
mil
E ) e usando a Eq. (B-24), obtemos, formal-
mente, o resultado

1 1 2 2 3 3
1 2 3 1 2 3
1 2 3 1 2 3
1 1 2 2 3 3
1 1
/ / /
mil m i l
h e h e h e
F a a a u u u
h h h h h h
F h F h F h
= =
, , ,
,
E , (B-56)

a mesma expresso na Eq. (A-19).



Notas:

i ) Demonstrao das propriedades dos determinantes
(ainda a ser feito)



) O somatrio ii
ij k ij l klij
S E E

Esse somatrio aparece na Eq. (B-52), onde
klij
S qualquer grandeza simtrica nos ndices i e j:
klij klji
S S =
[tal qual aquela definida na Eq. (B-53)]. Note que os quatro ndices i, j, k e l so ligados; temos, assim, que efetuar
um somatrio qudruplo. Para resolver esse exerccio, faamos as duas observaes:

(O1) Somente os termos em que i j no se anulam, segundo a definio de
ijk
E .

(O2) Somente os termos em que k = l no se anulam. De fato, considere k l e i j [consoante a observao
(O1)]; ento i ou j igual a k ou l e, portanto,
ijk
E ou
ijl
E nulo por apresentar ndices iguais.

Logo, o somatrio qudruplo que se deseja calcular resume-se na soma dos seguintes termos:

( ) ( ) ( )
1 2 3
231 231 1123 321 321 1132 132 132 2213 312 312 2231 123 123 3312 213 213 3321
k l k l k l
S S S S S S
= = = = = =
+ + + + +
, , ,
E E E E E E E E E E E E
= ( ) ( ) ( )
1123 1132 2213 2231 3312 3321
S S S S S S + + + + + .

Levando em conta a simetria de
klij
S , obtemos, finalmente,

( )
1123 2213 3312
2
ijk ijl klij
S S S S = + + E E (B-57)





INTRODUO AOS TENSORES 103
Apndice C Algumas tcnicas do Clculo de Variaes
Equation Section (Next)
a) Equaes de Euler-Lagrange
O problema bsico do Clculo de Variaes consiste na
determinao da parametrizao ( )
i
x t da curva de
N
V que
passa pelos pontos
1 1
[ ( )]
i
x t P e
2 2
[ ( )]
i
x t P ao longo da qual
seja extremo (i.e., mximo ou mnimo), ou estacionrio, o va-
lor da integral

2
1
( , , )
t
i i
t
I t x x dt =

` L (C-1)

em comparao com todos os valores dessa integral sobre as curvas que difiram infinitesimal-
mente da curva extremante ( )
i
x t e que tambm passam por
1
P e
2
P . Para fins de referncia,
denominaremos a integral I e seu integrando L de integral fundamental e funo fundamental
()
, respectivamente. Para resolver o problema, construmos a seguinte famlia de curvas relacio-
nadas pelo parmetro infinitesimal u:

( , ) ( ) ( )
i i i
t u x t u t + , (C-2)

onde ( )
i
t so N funes arbitrrias tais que


1 2
( ) ( ) 0
i i
t t = = , (C-3)

assim se garantindo que todas as curvas da famlia passem pelos pontos
1
P e
2
P . A derivada
parcial ( , ) /
i
t u t , aqui denotada por ( , )
i
t u ` , dada por

( , ) ( ) ( )
i i i
t u x t u t = +
`
` ` . (C-4)

A integral na Eq. (C-1) ao longo da curva ( , )
i
t u da famlia considerada, denotada por
( ) I u , tem a expresso
[ ]
2
1
( ) , ( , ), ( , )
t
i i
t
I u t t u t u dt =

` L .

Por construo, o valor extremo dessa integral ocorre ao longo da curva ( , 0) ( )
i i
t x t = (aquela
que na famlia est associada ao valor 0 u = do parmetro); esta hiptese implica que


( )
2
1 0
(0) 0
i i t
i i
t
u
dI
dt
du u u


=

= + =

`
`
L L
(C-5)

(note o uso da conveno do somatrio, indicando que o Ap. B deve ser lido antes deste). Subs-

()
Nos problemas fsicos, as integrais fundamentais so construdas freqentemente com base no princpio de Ha-
milton, vindo L a ser, nesses casos, a lagrangiana ou a densidade de lagrangiana do sistema.
( ) ( , 0)
i i
x t t =
( , )
i
t u
2 2 2
: ( ) ( , ) P
i i
x t t u =
1 1 1
: ( ) ( , ) P
i i
x t t u =
INTRODUO AOS TENSORES 104
tituindo nesta equao os resultados que se obtm com a ajuda das Eqs. (C-2) e (C-4),


0
i
i
u
u

,
0
( , , ) ( , , )
i i i i
i i
u
t t x x
x

=

=

` `
L L
,

0
i
i
u
u

`
`
,
0
( , , ) ( , , )
i i i i
i i
u
t t x x
x

=

=

` `
` `
L L
,

e integrando por partes o segundo termo do integrando, obtemos

( )
2
2 2 2
1 1 1
1
2
1
0
0
, 0
t
t t t
i i i i i
i i i i i
t t t u
t
t
i
i i
t
d
dt dt dt
dt x x x x x
d
dt
dt x x

=


+ = +





= =



`
` ` `

`
L L L L L
L L


onde o valor zero indicado justificado pela Eq. (C-3). Como
i
so todos arbitrrios e inde-
pendentes um dos outros, conclumos que o termo entre colchetes na ltima integral nulo:

0 ( 1, 2 )
i i
d
i N
dt
x x


= =




`
L L
. (C-6)

Essas so as chamadas equaes de Euler-Lagrange. Elas devem ser satisfeitas pelas fun-
es ( )
i
x t que especificam parametricamente a curva ao longo da qual o valor da integral fun-
damental extremo.
Como exemplo, considere o problema de determinar as geodsicas (que so as curvas mais
curtas entre dois pontos dados) numa superfcie esfrica de raio R centrada na origem. Em coor-
denadas esfricas, a integral a ser minimizada a seguinte:

2 2 2
1 1 1
2 2 2 2 2 2 2
sen 1 sen [com / ] ds R d R d R d d d

= + = +

P P
P P
` ` .

Esta uma integral como a da Eq. (C-1), em que t = ,
1
x = e
1 1
( , , ) ( , , ) t x x = ` ` L L
2 2
1 sen + `
()
. Consoante a Eq. (C-6), a geodsica ( ) deve satisfazer a equao


()
Note que, embora o espao formado pelos pontos de coordenadas ( , ) na superfcie esfrica seja bidimensio-
nal, a funo fundamental no se apresenta na forma
1 2 1 2
( , , , , ) t x x x x = ` ` L ( , , , , ) t
`
`
L , pois as curvas no esto
sendo representadas escrevendo-se as duas coordenadas em funo de um parmetro, ( ) t e ( ) t , mas atravs da
funo ( ) ; nesse caso, na formao da funo fundamental ( , , )
i i
t x x` L , temos apenas i = 1, com
1
x = e a
coordenada tomando o lugar do parmetro t. O problema poderia ser resolvido com a funo fundamental
( , , , , ) t
`
`
L , i.e., com as duas coordenadas em funo de um parmetro t genrico, o que o tornaria mais com-
plicado.
INTRODUO AOS TENSORES 105

( )
2
2 2
sen
0 0 ,
1 sen
d
d




= =



+
`
`
`
L L

ou
2 2
2 1 1
1
2 2 2
2 2 2 2
1
1
| | sen
sen (sen )
1 sen sen sen
c c d
c
d
c
c



= = =

+
`
`
`
. (C-7)

No caso de a constante de integrao
1
c ser nula, temos a geodsica
0
= = constante
(um dos meridianos da superfcie esfrica).
No caso em que
1
0 c , a integrao da equao acima torna-se mais fcil mediante a
mudana de varivel cot u ; temos que

2 2 2
( csc ) (1 cot ) (1 )
d d du d d d
u
d du d du du du



= = = + = +
e
2 2
1 1 1
sen
csc
1 cot 1 u


= = =
+ +
.

Logo, substituindo esses resultados na Eq. (C-7), obtemos

2 2
2 1 1 1
2 2 2 2
2
2 2 1 1 1
1
2 1
2 2
1
| | | | (1 ) | | (1 )
(1 )
1 1
1
(1 ) 1
1
1 1
c c u c u d
u
du
c c u c
c
c u
u
u c
+ +
+ = = =



+
+


1
2 2 2
2 1 1
2
1/
1
| | 1 (1/ )
arccos
1 1 ( / )
1
1
c d d u
du du
c c u
u
c


= = =


cot
arccos ( : const. de integrao) cos( )
u u


= + = =
cot cos cos sen sen cos sen
a b
a b

= + = +

(a e b: constantes arbitrrias) .

Se fizermos A aC e B bC , sendo C uma constante arbitrria, podemos dizer que a
equao das geodsicas numa superfcie esfrica dada por

cot cos sen C A B = + . (C-8)

Nesta forma incluem-se as geodsicas
0
const. = = , correspondentes a 0 C = .
Se multiplicarmos a equao acima por sen R obtemos Cz Ax By = + , sendo ( , , ) x y z as
coordenadas cartesianas de um ponto na superfcie esfrica de raio R. Ou seja, as geodsicas so
intersees entre planos que passam pela origem e a superfcie esfrica; em outras palavras, so
grandes crculos.

INTRODUO AOS TENSORES 106

Nota: Para afirmar que a Eq. (C-8) representa um grande crculo genrico, devemos mostrar que as constan-
tes que nela aparecem so arbitrrias. A constante C arbitrria por definio; quanto a A e B, podemos mostrar que
tambm so arbitrrias como segue: Temos que

Eq. (C )
2 2 2 1 2
1 1
-7
1
| sen | | sen | 1 sen | | 1 | | 1 [0, ) c c c

< + <
` ` `
.
Alm disso, , por ser uma constante de integrao, arbitrria. Logo, podemos encarar e nas equaes
cos a = e sen b = , que definem a e b, como as coordenadas polares de um ponto genrico do
2
R cujas
coordenadas cartesianas so ( , ) a b . Assim, sendo a e b constantes arbitrrias, ento A = aC e B = bC tambm o so.

b) Problema variacional com vnculos
Este tpico melhor apresentando por meio de "variaes". Preliminarmente, portanto,
expliquemos como empreg-las deduzindo novamente a Eq. (C-6):
Na Eq. (C-2), ( )
i
u t pode ser interpretado como uma variao infinitesimal
i
x [arbitr-
ria, a menos da restrio de anular-se quando
1
t t = ou
2
t t = ] que, ao ser acrescida curva ex-
tremante ( )
i
x t , produz uma curva arbitrria ( )
i
x t [que a notao a ser aqui adotada para a
curva ( , )
i
t u dada pela Eq. (C-2) ] que passa pelos pontos
1 1
[ ( )]
i
x t P e
2 2
[ ( )]
i
x t P :


variao de ( )
( ) ( ) ( ) ( )
i
x t i i i i
x t x t x t x t

= + (C-9a)

1 2
( ) ( ) 0
i i
x t x t = = (C-9b)

Como
i
x so variaes das coordenadas em torno de suas expresses ( )
i
x t para as quais
I estacionrio, deve ser nula a variao I decorrente dessas variaes, dada pela diferena
entre os valores da integral fundamental calculada com ( )
i
x t e com ( )
i
x t :


2 2 2
1 1 1
( , , ) ( , , ) 0
t t t
i i i i
t t t
I t x x dt t x x dt dt = = =

` ` L L L , (C-10)
onde

( , , ) ( , , ) ( , , ) ( , , )
i i i i i i i i i i i i
i i
t x x t x x t x x x x t x x x x
x x


= = + + = +

` ` ` ` ` `
`
L L
L L L L L ,
(C-11)
sendo /
i
x L e /
i
x ` L calculados com a curva extremante. Note que

( )
i
i i i i i
d x d
x x x x x
dt dt

= = =
` ` ` , (C-12)

cuja substituio na equao anterior fornece


i
i i i i
i i i i i
d x d d
x x x x
dt dt dt
x x x x x




= + = +


` ` `
L L L L L
L ,

i i
i i i
d d
x x
dt dt
x x x



= +




` `
L L L
. (C-13)
INTRODUO AOS TENSORES 107

Substituindo, por sua vez, esse resultado na Eq. (C-10), obtemos


2
2 2
1 1
1
0
0
t
t t
i i
i i i
t t
t t
d
dt dt x x
dt x x x

=


= + =





` `

L L L
L , (C-14)
onde o segundo termo se anula por causa da Eq. (C-9b).
Finalmente, por serem todos os
i
x arbitrrios e independentes um dos outros, o termo
entre colchetes no integrando acima deve ser posto igual a zero. Conclumos, assim, que a Eq.
(C-6) vlida quando avaliada com a parametrizao extremante ( )
i
x t .
Podemos passar agora para o problema variacional com vnculos. Suponhamos que a cur-
va extremante ( )
i
x t de
N
V h de ser encontrada entre as que satisfazem K L M + = condies,
denominadas vnculos, da forma

( , , ) 0 [ 1, 2 ]
i i
k
t x x k K N = = < ` (C-15)
ou da forma isoperimtrica
()



2
1
( , , ) = constante [ 1, , ]
t
i i
l l
t
t x x dt c l K K L = = + +

` . (C-16)

Se, aps multiplicarmos as K condies na Eq. (C-15) por funes ( )
k
t ( 1, 2 ) k K = ,
som-las e integrar o resultado no intervalo
1 2
[ , ] t t t ,


2
1
0 ( , , )
t
i i
k k
t
t x x dt =

` , (C-17)

multiplicar por constantes
l
( 1, , ) l K K L = + + as L condies na Eq. (C-16) e som-las,


2
1
0 ( , , )
t
i i
k k k k
t
t x x dt c =

` (C-18)

e, ento, adicionarmos membro a membro as Eqs. (C-17) e (C-18) resultantes dessas operaes e
a Eq. (C-1), obtemos

2
1
t
l l
t
I dt c =


L , (C-19)
onde
( , , , ) ( , , ) ( , , )
i i i i i i
m m m
t x x t x x t x x + ` ` ` L L

, (C-20)

em que o ndice de somatrio m tem os valores 1, 2, , , 1, , m K K K L M = + + = . Observe a
nossa reserva dos ndices i, k, l e m na enumerao de termos contendo as N coordenadas
i
x , os

()
Pois desse tipo a condio prescrita no primeiro problema de extremo de que se tem notcia, o de se encontrar,
dentre todas as curvas fechadas com um dado permetro, a que delimita a maior rea (o problema de Dido).
INTRODUO AOS TENSORES 108
K vnculos na Eq. (C-15), os L vnculos na Eq. (C-16) e todos os M K L = + vnculos, respecti-
vamente. Mais explicitamente, o ndice k deve variar de 1 a K, o ndice l, de 1 K + a K L M + =
e o ndice m, de 1 a M. Por exemplo, os
1, ,
m
m K

=
so os
k
da Eq. (C-15) e os
1, ,
m
m K K L

= + +
so os
l
da Eq. (C-16).
Agora, aplicamos na Eq. (C-19) o processo de variao j estudado para determinar as
N M + funes incgnitas ( )
i
x t , ( )
k
t e
l
(estas L ltimas so funes constantes) que tor-
nam extremo o valor de
2
1
t
t
I dt =

L . A variao das coordenadas deve ser aquela dada pela
Eqs. (C-9a) e (C-9b); j a variao de
m
pode ser

( ) ( )
k k k
t t = + e
l l l
= + , (C-21)

no havendo necessidade de impor qualquer restrio quando
1 2
ou t t t =
()
. Assim, as coorde-
nadas ( )
i
x t so arbitrrias, a menos de, quando
1 2
ou t t t = , coincidirem com as coordenadas
de
1
P e
2
P , ao passo que so completamente arbitrrias as funes ( )
j
t e as constantes
k
.
Como
i
x e
m
so variaes em torno das expresses ( )
i
x t , ( )
k
t e
l
(smbolos sem linha)
para as quais I estacionrio, deve ser nula a variao I decorrente daquelas variaes, isto ,


2
1
0
t
l l
t
I dt c = =


L , (C-22)
consoante a Eq. (C-19). Mas

( ) ( )
i i i i
m m
i i i i i
m m
d d
x x x x
dt dt
x x x x x



= + + = + +


`
` ` `

L L L L L L L
L ,

onde este ltimo termo (derivada total) surge da eliminao dos
i
x ` , atravs da Eq. (C-12), do
mesmo modo como se fez na Eq. (C-13). Substituindo esse resultado no integrando da equao
anterior, tendo em conta que a contribuio do termo de derivada total nula [cf. Eq. (C-14)] e
que
1, ,
m l
m K K L

= + +
=

podem sair da integral por serem constantes, obtemos



( )

2 2 2
1 1 1
0
0 0
0
t t t
i
k l l
i i
t t t
k l
d
dt x dt dt c
dt x x




+ + =



`



L L L L
,

onde indicamos trs termos que so nulos porque, sendo coeficientes de grandezas arbitrrias e
independentes, s com a nulidade deles o membro direito da equao se anula. Temos, portanto,
as trs equaes
0 ( 1, 2 )
i i
d
i N
dt
x x

= =


`
L L

, (C-23)

()
E nem sendo mesmo possvel no caso de
l
, pois
l
a variao de uma funo constante, independe do tem-
po, no havendo como restringir seus valores nos extremos do intervalo
1 2
( , ) t t e ainda deix-la arbitrria
INTRODUO AOS TENSORES 109

( , , ) 0 [ 1, 2 ]
i i
k
k
t x x k K

= = =

`
L

, (C-24)


2 2
1 1
( , , ) [ 1, ]
t t
i i
l l
t t
l
dt dt t x x c l K K L

= = = + +

L
. (C-25)

Note que as Eqs. (C-24) e (C-25) so os vnculos do problema. Assim, as funes ( )
i
x t
resultantes da resoluo do sistema de equaes (C-23), (C-24) e (C-25) so exatamente as dese-
jadas: tornam extremo o valor de [ ]
2 2
1 1
t t
k k t t
dt dt c =

L L

e satisfazem os vnculos. A solu-


o do problema provm, portanto, da resoluo do sistema formado pelas equaes de vnculo
e pela equao de Euler-Lagrange com L

no lugar da funo fundamental original L .


Esse modo de resolver problemas variacionais com vnculos conhecido como o mtodo
dos multiplicadores indeterminados de Lagrange. Para exemplificar sua aplicao, considere o
mesmo problema resolvido no item (a), o de determinar as geodsicas numa superfcie esfrica
de raio R, agora, porm, usando as coordenadas cartesianas ( 1, 2, 3)
i
z i = do espao euclidiano
tridimensional. Nessas coordenadas, o elemento de comprimento de arco dado por
i i
ds z z s dt = = , com / s ds dt =
i i
z z = , ao longo da curva ( )
i
z t . Podemos, ento, formular
o problema como a minimizao da integral


2
1
t
t
I dt =

L , com ( , , ) ( 1, 2, 3)
i i i i
t z z s z z i = = = L , (C-26)

sob a condio [na forma da Eq. (C-15)]


2
( ) 0
i i i
z z z R = = (superfcie esfrica) . (C-27)

Nesse caso, de acordo com a Eq. (C-20), tomamos

2
( , , , ) ( ) [ ( )]
i i i i i i
t z z z z z z R t + = + = L L



e aplicamos a Eq. (C-23),

( )
( )
2 0 .
k
k
k k
z d d
z
dt z z dt s


= =

`
` `
L L



Podemos escolher o parmetro t como sendo o comprimento de arco s ; assim, 1 s = e a
equao acima toma a forma

2 ( ) ( ) 0 ( 1, 2, 3)
k k
z s z s k = = `` ,

onde um ponto sobre a letra denota agora derivada em relao a s. Essas equaes e a Eq. (C-27)
so, na notao corriqueira
1 2 3
( , , ) ( , , ) z z z x y z = ,

2 ( ) ( ) 0 x s x s = `` , 2 ( ) ( ) 0 y s y s = `` , 2 ( ) ( ) 0 z s z s = `` ,
2 2 2 2
x y z R + + = . (C-28)
INTRODUO AOS TENSORES 110

Se nas duas primeiras dessas equaes substituirmos a expresso 2 ( ) / s z z = tirada da
terceira, encontramos

( ) ( )
( ) ( )
2 2
1
1 1 1
0 const.
z d d d x d x
x x x z z x x z x z z z C
z z z ds z ds ds z ds z

= = = = = =


e
( ) ( )
( ) ( )
2 2
2
1 1 1
0 const.
z d d d y d y
y y y z z x y z y z z z C
z z z ds z ds ds z ds z

= = = = = =



Finalmente, dessas duas equaes, obtemos

( ) ( )
integrando
3
2
1 2 1 2
1 1 1 1 1 d x d y x y
C
C ds z C ds z C z C z z
= = = + ,

ou, multiplicando por
1 2
C C z ,
0 Ax B y C z + + = ,

onde
2
A C ,
1
B C e
1 2 3
C C C C . Essa a equao de um plano genrico pela origem; a
interseo de tais planos com a superfcie esfrica dada pela quarta equao na Eq. (C-28) so
grandes crculos, ao longo dos quais esto as geodsicas.

c) Extremo de integral mltipla sem vnculos
Trata-se da generalizao do item (a) em que, em vez de um nico parmetro, existem J
parmetros
j
t . Agora as coordenadas
i
x de
N
V passam a ser funes desses parmetros, das
coordenadas e das derivadas dessas coordenadas em relao queles parmetros,
[ , ( ), / ]
j i j i j
t x t x t L ; alm disso, a integral fundamental torna-se mltipla, de multiplicidade J
(uma integral para cada parmetro
j
t ):

( , , ) [ / ]
j i i J i i j
j j
I t x x d t x x t =

D
L , (C-29)

onde
1
( , , , , )
j J J
t t t D R e
J
d t a notao para
1 2 J
dt dt dt .
Atacamos esse problema como acima. Admitindo que a parametrizao ( )
i j
x t extre-
mante, a esta acrescentamos variaes ( )
i
x t , arbitrrias a menos de serem nulas sobre a fron-
teira D de D , que resultam nas parametrizaes ( )
i j
x t :


variao de ( )
( ) ( ) ( ) ( )
i j
x t i j i j i j i j
x t x t x t x t

= + (C-30a)
( ) 0
i
x = D (C-30b)

Como ( )
i j
x t extrema I , nula a variao I , dada pela diferena entre os valores da
integral fundamental calculada com ( )
i j
x t e com ( )
i j
x t :
INTRODUO AOS TENSORES 111
( , , ) ( , ) 0
j i i J j i i J
j j
I t x x d t t x x d t dt = = =

D D D
L L L , (C-31)
onde
( , , ) ( , , ) [ , , ( ) ] ( , , )
j i i j i i j i i i i j i i
j j j j j
t x x t x x t x x x x t x x = = + + L L L L L
( )
( )
i i
j
i i
j
x x
x x


= +

L L
, (C-32)
sendo /
i
x L e / ( )
i
j
x L calculados com a parametrizao extremante ( )
i j
x t . Note que


( )
( )
i i i i i
i i i
j j j
j j j j
x x x x x
x x x
t t t t


= = = =

, (C-33)

cuja substituio na equao anterior fornece


( ) ( )
( )
i
i
i i i
i i
i i j i j j
j j
j
x
x
x x x
x x
x x t x t t






= + = +



L L
L L L
L ,

( ) ( )
i
i
i i
i j j
j j
x
x
x x
x t t



= +





L L
L
(C-34)

Substituindo, por sua vez, esse resultado na Eq. (C-31), obtemos

0
( ) ( )
i
J i J
i i
i j j
j j
x
d t x d t
x x
x t t



+ =






D D
L L
L
. (C-35)

Finalmente, tendo em conta que a segunda integral acima nula (verificaremos isso logo
adiante) e que todos os
i
x so arbitrrios e independentes um dos outros, conclumos que de-
vemos igualar a zero o termo entre colchetes na primeira integral e assim obter

0 ( 1, 2 )
( )
j i i
j
i N
t x x


= =




L L
. (C-36)

Essas N equaes foram deduzidas da Eq. (C-31) avaliada com a parametrizao extremante
( )
i j
x t , a qual, portanto, deve necessariamente satisfaz-las.
A maneira de mostrar que a segunda integral na Eq. (C-35) nula consiste em efetuar a
integrao em
j
t para obter uma nova integral mltipla (de multiplicidade 1 J ) cujo integran-
do o termo [ / ( )]
i i
j
x x L avaliado em D, um integrando nulo, portanto, em vista da Eq.
(C-30b). Esse procedimento de efetuar uma das integrais simples que compe uma integral ml-
tipla sobre certa regio para transform-la noutra sobre a fronteira dessa regio usado, por
exemplo, nas demonstraes dos teoremas de Green e de Gauss da Anlise Vetorial, a cujo estu-
do aconselhamos o estudante ainda no familiarizado antes de prosseguir
()
. No nosso caso (sem
usar a conveno do somatrio), temos

()
Por exemplo, consulte [1] W. Kaplan, Clculo Avanado, Vol. I, Ses. 5-5 e 5-11, Ed. Edgard Blcher Ltda,
1972; ou [2] R. E. Williamson et. al., Clculo de Funes Vetoriais, Vol. 2, Ses. 7-1 e 7-5, LTC Ed. S. A., 1975.
INTRODUO AOS TENSORES 112
1 1 1
1
int egral de multiplicidade 1 sobre ( )
( ) ( )
j
j
j
g J
i i
J j j J j
i i
j j
f j j
j j
J P
x x
d t dt dt dt dt dt
x x
t t

+
=



=





D
D

L L

1
( )
0 ( )
0
( )
j
j j
j
g
J i
i
j j
t f
P
d t x
x


= =


D

L
. (C-37)
onde

{ }
1 1 1 1 1 1 1
( ) ( , , , , , ), onde ( , , , , , , )
j j J j j j J J
j
P t t t t t t t t t
+ +
D D R : a projeo
de D no espao descrito pelos 1 J eixos
1 1 1
, , , , e
j j J
t t t t
+
(todos menos o eixo
j
t ).


j
f e
j
g so funes definidas sobre ( )
j
P D [i.e., Dom( ) Dom( ) ( ) ]
j j
j
f g P = = D de modo
que
{ }
1 1 1 j 1 1 1
( , , , , , , ), com g e ( , , , , , ) ( )
j j j J j j j j J
j
t t t t t f t t t t t P
+ +
= D D ,
ou seja, de modo que D esteja entre as hipersuperfcies
()
do
J
R dadas por
j j
t f = e
j j
t g = .

A nulidade do termo indicado com () na Eq. (C-37) justificada pelo fato de que
j j
i
t f
x
=
= 0
j j
i
t g
x
=
= , j que as hipersuperfcies
j j
t f = e
j j
t g = esto contidas na
fronteira D de D, na qual, por hiptese, ( ) 0
i
x = D .
Admite-se que as funes
j
f e
j
g ( 1, , ) j J = possam ser definidas conforme descri-
tas acima para toda a regio D ou, no sendo esse o caso, que exista uma partio de D em
sub-regies para as quais aquelas funes possam ser definidas.
Como exemplo, considere a corda vibrante. A funo ( , ) y x t [ordenada em funo da abs-
cissa e do tempo] que descreve a forma da corda de densidade linear que vibra sob tenso
com seus extremos em x = 0 e x = l fixos aquela que, segundo o princpio de Hamilton, torna
mnimo o valor da integral
()



2
1
0
t l
t
dx dt

L , onde
2 2
( , , , , ) / 2 / 2 t x y y y y y =

` ` L , (C-38)

sendo usadas as notaes: / y y t ` e / y y x . Temos um problema com uma funo in-
cgnita ( 1) N = e dois parmetros ( 2) J = , para o qual a Eq. (C-36) [com a substituio de no-
tao
1
x y ,
1
t t e
2
t x ] fornece

0 ( ) ( ) 0 0 y y y y
t y x y y t x


+ = = =

` ``
`
L L L
, (C-39)

()
No
J
R , uma hipersuperfcie o lugar geomtrico cujos pontos tm coordenadas que satisfazem uma nica equa-
o:
1 2
( , ) 0
J
f x x x = .
()
Para uma referncia, veja o exemplo que segue a Eq. (2.23) in F. W. Byron Jr. & R. W. Fuller, Mathematics of
Classical and Quantum Physics, Dover Publications, 1992 (pp. 67-69 desta edio).
INTRODUO AOS TENSORES 113
a conhecida equao da corda vibrante.
Observe que a formulao apresentada contempla a hiptese de que a regio de integrao
D seja ilimitada ao longo de um ou mais eixos
j
t ; nesse caso, devemos exigir que 0
i
x
quando cada um desses parmetros se tornar infinito:
j
t (ou ). Por exemplo, nos pro-
blemas eletromagnticos em todo o espao, as densidades de carga eltrica e de corrente el-
trica J
,
so consideradas localizadas numa extenso finita do espao para garantir que os poten-
ciais tendam a zero no infinito. Em tais problemas, as equaes de Maxwell resultam da mini-
mizao da seguinte integral mltipla [integral no tempo
1 2
( , ) t t t e em todas as posies
j j
r z e =
, ,
do espao]


2
3
1
3
t
t
d r dt

R
L , onde
2 2 0
0
1
2 2
E B J A

= +
, , , ,
L . (C-40)

Usando as conhecidas expresses dos campos eltrico
k k
E E e =
,
,
e magntico
k k
B B e =
,
,

em termos dos potenciais escalar e vetor
k k
A A e =
,
,
,


0 0
ou ( / , / )
k k k k k k k
A
E E A z A A t
t

= =

,
,
(C-41)
e
ou ( / )
k kji j i j i i j
B A B A A A z = =
, ,
E , (C-42)

[observe a notao empregada:
0
f a derivada temporal e
j
f a derivada da grandeza f em
relao coordenada cartesiana
j
z ], podemos reescrever a expresso de L como segue:

0
0
1
2 2
k k k k i i
E E B B J A

= + L
0
0 0
0
1
( ) ( ) ( ) ( )
2 2
k k k k kji j i kml m l i i
A A A A J A

= + + + E E
0
0 0
0
1
( ) ( ) ( ) ( ) ( ) ( ) ,
2 2
k k k k j i j i j i i j i i
A A A A A A J A

= + + +


(C-43)

onde usamos a frmula
kji kml jm il kl im
= E E . Numa situao mais genrica que a presente
(na equao acima, L no depende de
0
, e
j
t z ), vislumbramos que a dependncia de L
seria dada por


0 0
( , , , , , , , )
i
i j
j
j i j i j i
x
x t
t z A A A

L L ,

onde confrontamos os argumentos de L com os usados no desenvolvimento da teoria para ver
que os parmetros
j
t correspondem ao tempo e s coordenadas cartesianas do vetor posio, as
coordenadas
i
x correspondem aos componentes cartesianos dos potenciais (vistos como coor-
INTRODUO AOS TENSORES 114
denadas no espao de configuraes) e
i
j
x correspondem s derivadas espaciais e temporal
dos potenciais.
Logo, a aplicao das Eqs. (C-36) (no caso, um total de quatro equaes, correspondentes
s grandezas que estabelecem a configurao do campo: e os trs componentes
i
A ) fornece


0
0
( ) ( )
j j
t z

+ =

L L L
(C-44)
e

0
0
( ) ( )
i j j i i
t A z A A

+ =

L L L
. (C-45)
Substituindo

0
0
( )

=

L
,
0 0
( )
( )
j j
j
A

= +

L
e

L


na Eq. (C-44), obtemos a equao de Maxwell que incorpora a lei de Coulomb:


0 0 0
0 ( )
j
j
j j
j j
E
E
A
z z

+ + + = + =

0
0 E + =
,
, (C-46)
onde usamos a Eq. (C-41). Substituindo agora

0 0
0
( )
( )
i i
i
A
A

= +

L
,
0
1
( )
( )
j i i j
j i
A A
A

=

L
e
i
i
J
A

L


na Eq. (C-45), obtemos a equao de Maxwell referente lei de Ampre:

0 0 0
0 0
( )
1 1
( ) ( )
i
kji k
i
i
i i j i i j i ijk k i
j j
E
B
B
E
A A A J B J
t z t z


+ = +

,


E
E
0
0
( )
i i
i
B E
J
t


= +

,
0
0
1 E
B J
t


= +

,
, ,
,

onde usamos as Eqs. (B-20) e (C-42): ( )
j i i j kji k kji k
A A A B = =
,
E E .
Vemos, assim, que apenas as equaes de Maxwell inomognas resultam do problema
variacional acima
()
. Mas, para esse problema ser formulado, j se fez uso das equaes de
Maxwell homogneas: elas fundamentam os potenciais nas Eqs. (C-41) e (C-42). Estas equa-
es, de fato, harmonizam-se com as equaes de Maxwell homogneas, a que atesta a inexis-
tncia de plos magnticos e a que expressa a lei de Faraday:

B
,
( ) A =
,
0 = ,

()
A deduo variacional das equaes de Maxwell homogneas pode ser encontrada, por exemplo, nos 17 e 26
do livro The Classical Theory of Fields (Pergamon Press, Fourth English edition, 1975) de L. D. Landau e M. Li-
fshitz
INTRODUO AOS TENSORES 115
B
E
t

,
,
( )
0
( ) A A A
t t t


= + =

,
, , ,

( ) A
t

+

,
0 =
,
.

d) Extremo de integral mltipla com vnculos
Consideremos, por fim, o problema de determinar as funes ( )
i j
x t [ 1, i N = e
1, j J = ] que extremam a integral fundamental

( , , ) [ / ]
j i i J i i j
j j
I t x x d t x x t =

D
L , (C-47)
sob condies do tipo
( , , ) 0 [ 1, 2 ]
j i i
k j
t x x k K N = = < (C-48)

e tambm da forma isoperimtrica

( , , ) = constante [ 1, , ]
j i i
l j l
t x x dt c l K K L = = + +

D
. (C-49)

Como o procedimento a ser adotado uma juno daqueles j apresentados nas Ses. (b) e
(c), faremos as passagens sem muita explicao. Multiplicamos a Eq. (C-48) por ( )
k
t
( 1, 2 ) k K = e integramos em D, multiplicamos Eq. (C-49) por constantes
l
( 1, , l K = +
) K L + , devendo ser observada a soma implcita nos ndices repetidos, e adicionamos membro a
membro as duas equaes assim produzidas e a Eq. (C-47) para obter


J
l l
I d t c =

D
L

, (C-50)
onde
( , , , ) ( , , ) ( , , )
j i i j i i j i i
j m j m m j
t x x t x x t x x + L L

, (C-51)

em que o ndice de somatrio m tem os valores 1, 2, , , 1, , m K K K L M = + + = .
Usando as Eqs. (C-9a,b) e (C-21) para definir
i
x e
m
como variaes em torno das
expresses ( )
i
x t , ( )
k
t e
l
para as quais I estacionrio, vemos que deve ser nula a variao
I decorrente daquelas variaes, a qual, de acordo com a Eq. (C-50), dada por

0
J
l l
I d t c = =

D
L

, (C-52)
onde

( )
( )
,
( ) ( )
i i
j m
i i
m
j
i
i
m
i i
i j j
m j j
x x
x x
x
x
x x
x t t


= + +





= + +






L L L
L
L L
L L




INTRODUO AOS TENSORES 116
na qual o ltimo termo surge da eliminao dos ( )
i
j
x , atravs da Eq. (C-33), do mesmo mo-
do como se fez na Eq. (C-34). Com esse resultado, a Eq. (C-52) torna-se

0
0
( )
J i J
k
i
i j
k j
d t x d t
x
x t


+ +







D D

L
L L



0
0
( )
i
J J
l l
i
j
l j
x
d t c d t
x
t




+ =





D D

L
L

.

Nesta equao, a ltima integral da mesma forma que a segunda integral na Eq. (C-35) e,
pelas razes j dadas, se anula. Tambm indicamos trs termos que so nulos porque, sendo coe-
ficientes de grandezas arbitrrias e independentes (as variaes), s com a nulidade deles o
membro direito da equao se anula. Temos, portanto, as trs equaes

0 ( 1, , )
( )
i
i j
j
i N
x
x t


= =




L
L

, (C-53)
( , , ) 0 ( 1, , )
j i i
j
k
t x x k K

= = =

, (C-54)

( , , ) ( 1, , )
J J j i i
l j l
l
d t d t t x x c l J J L

= = = + +


D D

L

. (C-55)

Reconhecem-se os vnculos nas Eqs. (C-54) e (C-55). Logo, para se obter a soluo ( )
i j
x t do
problema, devemos resolver o sistema formado pelas equaes de vnculo e pela equao de
Euler-Lagrange com L

no lugar da funo fundamental original L .


Como exemplo, considere um sistema quntico onde as foras so conservativas, origin-
rias do potencial ( ) V r
,
. A conservao da energia exprime-se atravs da constncia do valor
esperado da hamiltoniana em qualquer estado possvel: ( ) ( ) H r H r dV

=

V
, ,
= constan-
te para todo possvel. Isto significa que, sob quaisquer variaes do estado do sistema consi-
derado ( e

arbitrrios: vide nota ao final), H estacionrio: 0 H = . Esta equa-


o, lembrando que
2
/ 2 H P m V = +
,
, com P i =
,
| , desdobra-se na equao
2 2
[ ( / 2 ) ] 0 m V dV

+ =

V
| , ou

0 dV

V
L , com
2
2
V
m


= +
|
L . (C-56)

Note que as derivadas segundas presentes no termo
2
foram eliminadas, um passo necess-
rio para que a forma da funo fundamental se enquadre na formulao ( L deve depender de
derivadas das funes incgnitas que no excedam a primeira ordem). Conseguiu-se isso graas
ao fato de que
INTRODUO AOS TENSORES 117
2
0
[ ( ) ] dV dV dS dV


= =

V V S V
,

,

onde aplicamos o teorema da divergncia para obter uma integral de superfcie que nula desde
que se admita que 0 "suficientemente rpido" quando | | r
,
.
Naturalmente, tambm devemos impor a condio de normalizao

1 dV

V
, com

= . (C-57)

Ora, as Eqs. (C-56) e (C-57) definem um problema variacional do tipo que acabamos de
estudar. Na aplicao da Eq. (C-53), a funo L

, de acordo com a Eq. (C-51) (com em


vez de ), deve ser


( )( ) ( )
( )
2
, , , , ,
2
j j j j j
V z
m


+ =
|
L - = L

,

onde /
j j
z , a derivada parcial de em relao coordenada cartesiana
j
z . As fun-
es incgnitas a serem determinadas de modo a satisfazer a Eq. (C-56) e o vnculo na Eq.
(C-57) so ( ) r
,
e ( ) r

,
(vide nota ao final). A essas duas funes correspondem duas equa-
o de Euler-Lagrange; a que corresponde a



( )
2
( ) 0
2
( )
j
j j
j
V
z z m




= =


| L L


2
2
2
V
m
+ =
|
, (C-58)

ou seja, a funo de onda deve satisfazer a equao de Schdinger independente do tempo. A
segunda equao de Euler-Lagrange (correspondente a ), a equao de Schdinger acima
com

no lugar de . Esta equao subtrada do conjugado complexo da Eq. (C-58) a equa-


o ( ) 0

= , pela qual vemos que 0

= , i.e., real.

Nota: Que no se estranhe a necessidade de se considerarem independentes as variaes das duas funes
e

, pois uma funo complexa equivale a duas funes reais, as suas partes real e imaginria, em termos das
quais o problema pode ser resolvido: A substituio de f ig = + na expresso de L

deduzida acima fornece


2
2 2
( , , , , , ) ( ) ( ) ( ) ( ) ( ) ( )
2
j j j j j j j
z f g f g f f g g V f g
m
= + + +

|
L

,
pela qual se v claramente a existncia de duas funes incgnitas no problema: f e g. As equaes de Euler-
Lagrange correspondentes so as tambm equaes de Schdinger:
2
2
2
f V f f
m
+ =
|
e
2
2
2
g Vg g
m
+ =
|
.
Efetuando a soma e a diferena dessas equaes (antes multiplicando a segunda por i ), obtemos as j deduzidas
equaes para e

[Eq. (C-58) e o conjugado complexo desta].



INTRODUO AOS TENSORES 118
Referncias bibliogrficas

J. L. Synge e A. Schild, Tensor Calculus, Dover Publications, Inc., New York, 1949.

M. R. Spiegel, Anlise Vetorial, Coleo Schaum, Ed. McGraw-Hill do Brasil Ltda., 1977.

I. S. Sokolnikoff, Tensor Analysis, 2nd Edition, John Wiley & Sons, Inc., New York, 1964.

A. J. McConnell, Applications of Tensor Analysis, Dover Publications, Inc., New York, 1957.

R. Adler, M. Bazin e M. Schiffer, Introduction to General Relativity, McGraw-Hill
Kogakusha, Ltd., Tokyo, 1975.

A. Einstein, The Foundation of the General Theory of Relativity, The Principle of Relativity,
Cap. VII, Dover Publications, Inc., New York, 1952 (traduo em ingls do artigo na
revista alem Annalen der Physik, 49, 1916).