Escolar Documentos
Profissional Documentos
Cultura Documentos
Prefcio
Se Deus no existe, nada se
perde por se acreditar nele;
mas, se existe, perde-se tudo por no se acreditar.
Blaise Pascal
Este texto didtico foi preparado para o ensino do tpico sobre tensores da ementa de Mtodos 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 texto 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 Fsica. 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 Variaes.
O autor particularmente grato aos seus alunos pela depurao de vrios erros tipogrficos 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
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 importncia na Teoria Geral da Relatividade e muito til em vrios outros ramos da Fsica.
Suponha que estejamos trabalhando com N variveis reais x1 , x 2 A x N . A razo dessa maneira de escrev-las, com superndices em vez de subndices, ficar mais clara adiante. Tais variveis 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 VN . Diz-se que tal espao VN descrito no sistema de coordenadas xi , onde est implcito que i = 1, 2 A N .
A estratgia usada para desenvolver a geometria do espao VN consiste em tomar concepes geomtricas ordinrias e estender suas definies quele espao, sempre com o cuidado de
que suas restries ao nosso espao tridimensional euclidiano reproduzam as definies familiares. Por exemplo, uma curva definida como a totalidade dos pontos dados pelas equaes
x i = f i (t ) (i = 1, 2 A N ) ,
(1-1)
(1-2)
J =
xi
x j
x1
x1
=
B
x N
x1
x1
x N
B
x N
A
x N
A
(1-3)
(1-4)
xi
x j
1
.
J
(1-5)
(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 xi = xi ( x ) .
iiif
vetor so dxi . Os componentes de PQ nos dois sistemas conectam-se pela equao (note o uso
da conveno de Einstein para o somatrio)
iiif
dxi =
xi
x
dx j ,
(2-1)
iiif
X i =
xi
x
(2-2)
i =
dxi xi dx j xi j
=
=
.
dt
x j dt
x j
(2-3)
(2-5)
tal grandeza denominada invariante e seu valor independe do sistema de coordenadas empregado. Na realidade, trata-se de uma funo do ponto P do espao VN , f (P ) , cujos valores dependem do ponto P mas no do sistema de coordenadas usado para representar cada ponto. Assim, um invariante em VN 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 coordenadas xi e xi , respectivamente.
3. Vetores e tensores covariantes. Tensores mistos.
Equation Section (Next)
Seja uma funo escalar das coordenadas (um invariante). Pela regra da cadeia,
xi
x j
x j xi
(3-1)
Esta lei de transformao das N grandezas / x i parece com a descrita pela Eq. (2-2), mas,
com um pouco mais de ateno, vemos que as variveis x j e xi aparecem em lugares trocados
nas derivadas x j / xi . Assim como os componentes do deslocamento infinitesimal so o prottipo do vetor contravariante, as derivadas parciais de um invariante, tais quais / x j (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 X i que se transformem de acordo com a equao
X i =
x j
xi
Xj
(3-2)
Encarando o vetor covariante como um tensor covariante de 1a ordem, no temos dificuldades em definir tensores covariantes de ordens mais altas. Por exemplo:
N 2 grandezas Tij que se transformem segundo a equao
Tij =
x k xl
xi x j
Tkl
(3-3)
Tijk =
xl x m x k n
Tlm ;
xi x j x n
(3-4)
dizemos serem elas os componentes de um tensor misto de 3a ordem, com um ndice contravariante e dois ndices covariantes; tambm dizemos que esse tensor do tipo 21 [ou (1, 2) ]. Note que
os tensores covariantes e os contravariantes podem ser vistos como casos especiais de tensores
mistos; um tensor contravariante de 2a ordem do tipo 20 e um tensor covariante de 3a ordem
do tipo 30 .
ento fcil provar que Sijk e Dijk sero tensores (cf. Prob. 3).
b) Multiplicao externa
Atravs da multiplicao de cada componente de um tensor de ordem m por cada componente 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 tensores U ikl e W jm o tensor Tijklm = U ikl W jm ; outros exemplos:
T ijkl = U ij W kl
Tijk = U ij Wk ,
Tijkl = U ij W kl .
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 somatrio segundo a conveno do somatrio), assim formando um tensor cuja ordem duas unidades a menos que a do tensor original. Por exemplo, do tensor misto de 4a ordem Tijkl , igualando os ndices i e k, obtemos o tensor misto de 2a ordem
T jl = Tijil
e deste, com uma segunda contrao (igualando j e l), obtemos o tensor de ordem zero
T = T jj = Tijij .
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 (claramente, o tipo do tensor T jl distinto do tipo de Tijkl ).
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 Ti Tijj de
fato um tensor:
Ti = Tij j =
xl x m x j
xi x j x n
Tlmn =
xl x m
xi m
x n
nm
Tlmn =
xl
xi
Tlnn =
xl
xi
Tl .
d) Multiplicao interna
Consiste numa combinao da multiplicao externa com a contrao. Por exemplo, dados
os tensores U i jk e Wlmn , podemos formar o produto externo U i jk Wlmn e depois contrair os ndices
i e n para obter o produto interno U i jk Wlmi daqueles tensores. Fazendo agora k = m obtemos um
outro produto interno: U i jk Wlki .
e) Tensores simtricos e anti-simtricos
Dizemos que um tensor simtrico em relao a dois ndices contravariantes ou covariantes se forem iguais os dois componentes que se obtm pela troca dos dois ndices considerados; neste caso, o prprio tensor dito simtrico. Assim, se
Tlmijk = Tlmkji
(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 T ij , segue da Eq. (2-4) que
T ij =
xi x j
x
T kl =
(1)
xi x j
x x
l
T lk =
(2)
xi x j
x x
l
T kl = T ji ,
(4-2)
(3)
onde na passagem (1) so trocados os papis das letras k e l (), na passagem (2) usada a simetria de T ij e na passagem (3) usada a Eq. (2-4).
Dizemos que um tensor anti-simtrico em relao a dois ndices contravariantes ou covariantes 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
Tlmijk = Tlmkji
(4-3)
para todas as combinaes dos ndices i e k ento o tensor anti-simtrico pois apresenta antisimetria nesses ndices.
Em quatro dimenses, observe que, dos 16 componentes do tensor anti-simtrico T ij , os
quatro componentes T ii (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 T ijk tm somente quatro componentes independentes,
enquanto o tensor anti-simtrico T ijkl tem s um. No h tensores anti-simtricos de ordem superior a quatro em quatro dimenses (cf. Prob. 13).
Note que a simetria ou anti-simetria refere-se a dois ndices contravariantes ou a dois ndices covariantes. Assim, no dizemos haver simetria quando Ti j = T ji ; 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 quociente. Por exemplo, se o produto interno A(i, a ) aj entre o conjunto de N 2 funes A(i, a ) e um
tensor arbitrrio aj for um tensor covariante de 2a ordem ento A(i, a) = Aia , um tensor misto
de 2a 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 q 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.
5. Tensores relativos
Equation Section (Next)
As grandezas T ijA
A so ditas componentes de um tensor relativo de peso W | , contravariante nos superndices e covariante nos subndices, se elas se transformarem de acordo com
a equao
i
l
A
A x x
= J W T kl A
T jiA
A ,
(5-1)
x k x j
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 W = 0 , dizemos que as grandezas formam um
tensor absoluto, que o tensor at ento estudado; (b) quando W = 1 , o tensor relativo tambm conhecido como capacidade tensorial; e (c) quando W = 1 , o tensor relativo recebe tambm 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 (densidade) 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) . Mudando de coordenadas segundo a lei de transformao xi = xi ( x ) , vemos atravs da integral que
fornece a massa total M,
M =
( x) d 3 x =
i
[ x ( x)] x d 3 x =
V ( x) d x ,
3
Tij =
U ij =
x k xl
x x
i
Tkl
xi x j kl
U
x k xl
| Tij | = J 2 | Tkl |
|U ij | = J 2 |U kl |
(peso 2) ,
(peso 2) ,
(5-2)
(5-3)
10
Wi j =
x k x j
x x
i
Wkl
|Wi j | = |Wkl |
(peso 0) .
(5-4)
J = E ijk
Portanto, pela Eq. (B-35), temos que
E ijk
xi x j x k
x1 x 2 x3
xi x j x k
xl x m x n
(5-5)
= J E lmn ,
(a definio do smbolo de Leviou, multiplicando por J 1 e tendo em conta que E lmn = E lmn
Civita a mesma em qualquer sistema de coordenadas)
E lmn = J E ijk
1
xi x j x k
xl x m x n
,
= E lmn
(5-6)
= J E ijk
E lmn
xl x m x n
xi x j x k
(5-7)
revelando que E ijk tambm um tensor relativo contravariante de peso 1, o que justifica a notao alternativa E ijk para o smbolo de Levi-Civita. Em resumo, o smbolo de Levi-Civita um
tensor relativo de 3a ordem que denotado por E ijk se for considerado covariante e de peso 1 e
por E
ijk
, se contravariante e de peso 1.
(6-1)
(6-2)
[ x k : coordenadas cartesianas] ,
ds 2 = dx k dx k (k = 1, 2 A N )
que a extenso natural da Eq. (6-1) para espaos com mais de trs dimenses. Escrevendo esta
equao em coordenadas xi genricas, o que se faz substituindo dx k = (x k / x i ) dx i , obtemos
11
uma forma quadrtica dos diferenciais das coordenadas em sua expresso mais geral, denominada forma fundamental ou forma mtrica (ou simplesmente mtrica):
ds 2 = gij dxi dx j ,
onde
gij ( x)
x k x k
x x
i
(6-3)
[ x k : coordenadas cartesianas]
(6-4)
x k x k
x k x m x k x n x m x n x k x k
x m x n
( x) . (6-5)
=
=
=
gij ( x)
g mn
xi x j
x m xi x n x j
xi x j '***
x*m(***
x*n)
xi x j
( x)
g mn
Logo, ds 2 , sendo o produto dos tensores no 2o 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
ds 2 = R 2 d 2 + R 2 sen 2 d 2 .
No existem coordenadas (digamos e ) em termos da qual essa forma quadrtica tome a forma ds 2 = d 2 + d 2 , como a da Eq. (6-2) com N = 2 . 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 infinitesimal puder ser escrita como uma forma quadrtica dos diferenciais das coordenadas que seja
invariante; i.e.
ds 2 = gij dxi dx j = invariante .
(6-6)
Num tal espao, se a mtrica for definitivamente positiva ( gij dxi dx j > 0 exceto se os diferenci-
ais dxi se anularem)() e for possvel introduzir as chamadas coordenadas cartesianas, nas quais
o tensor mtrico e a distncia quadrtica infinitesimal tomam as formas especiais
gij 7 1 se i = j e gij 7 0 se i j
ds 2 = (dx1 ) 2 + ( dx 2 ) 2 + A + ( dx N ) 2 ,
(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.
12
No Prob. 23 mostramos que as grandezas gij na Eq. (6-6) podem ser sempre consideradas
como os componentes de um tensor covariante de 2a 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
gik G jk = g ki G kj = i j g ,
(6-8)
gik g jk = i j .
(6-10)
Lembrando que, para qualquer matriz ( aij ) , o elemento aij1 da sua inversa dado por
aij1 = A ji / a ,
(6-11)
mesmo objeto geomtrico: a mtrica, o que justifica chamar i j de tensor fundamental misto; b)
os co-fatores G ij de gij 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 gij e g ij podem ser usados nas operaes de abaixar e levantar
ndices tensoriais assim definidas:
TA
Ai
A
A
mA
gim T A
A A
TA
A
jA
A
A
g jn T A
AnA ,
(6-12)
13
onde dizemos que o tensor T teve seu ndice m abaixado como i na primeira operao e seu ndice 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 X i = gij X j estabelece um isomorfismo entre os vetores
covariantes e contravariantes associados) exemplos: (a) gij , g ij e i j (= gik g kj ) so diferen-
iiif
ponto Q ( x j + dx j ) .
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, X i j ser diferente de
j
i
= gik X kj gik X
jk
= gik X kj X
jk
)=0
X kj = X
jk
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: T ..ij kl ; no caso acima teramos
(= g
ij X
= g ij X i X j
).
(6-13)
onde i Ai /
| A |2 e i = Bi /
| B|2 .
(6-14)
fcil ver que esses dois conceitos (magnitude e ngulo) so invariantes e se reduzem aos
conceitos familiares no espao euclidiano tridimensional.
14
g = J 2g ;
(6-15)
ou seja, como qualquer determinante de um tensor de 2a ordem covariante, o determinante mtrico um escalar relativo de peso 2. Tirando a raiz quadrada de ambos os membros da equao
acima obtemos (admitindo g > 0)
g = J g ,
(6-16)
ou seja, g um escalar relativo de peso 1. Ele desempenha um papel importante nas integraes; por exemplo, temos que
dV
dV =
g dx1dx 2 A dx N =
g dx1dx 2 A dx N = Invariante .
g J dx1dx 2 A dx N =
g dx1dx 2 A dx N = dV .
dV = dV .
V
(6-17)
(6-18)
A Eq. (6-17) usada para definir o elemento de volume no VN . Essa definio decorre do
fato de que aquela equao obtida naturalmente partindo das coordenadas cartesianas xi . Realmente, usando a notao A = ( aij ) para a matriz com elementos aij xi / x j , vemos que
J 2 =
xi
x
xl
x
# det A = det( A
# A)
= | aik | | alj | = det A det A = det A
x k x k
xi x j
= | gij | = g ,
onde usamos propriedades dos determinantes bem conhecidas e tambm a Eq. (6-4). Portanto,
partindo do elemento de volume em coordenadas cartesianas xi , mudando para as coordenas
curvilneas xi e usando J = g , verificamos que a definio de dV dada na Eq. (6-17) consistente:
dV = dx1dx 2 A dx N = J dx1dx 2 A dx N = g dx1dx 2 A dx N dV .
7. Componentes fsicos de um tensor
Equation Section (Next)
Num sistema de coordenadas curvilneas xi ortogonal ( gij = 0 se i j ), seja X i um
(7-1)
15
X i i = Z i i .
(7-2)
Sendo esse produto escalar dos vetores Z i e i a projeo ortogonal usual de Z i na direo de
i , justificada est a definio na Eq. (7-1).
No caso de um tensor de 2a ordem, os seus componentes fsicos so calculados nas direes de dois vetores unitrios i e i (que podem coincidir), sendo definidos como segue:
Tij i j
(= T
ij
i j = T i j i j , etc.
(7-3)
1 = dx1 / ds ,
2 = 0 ,
curva de x1
3 = 0 .
Nas coordenadas cartesianas, no sendo os ndices distinguidos pelo carter contravariante ou covariante, escrevemo-los como subndices (cf. a ressalva feita ao final da Se. 6c)
16
1 = 1/ g11
(7-4)
Portanto, de acordo com a definio dada na Eq. (7-1), o componente fsico do vetor X i ao longo da curva de x1 dado por X1 = X i i = X1 1 = X1 / g11 . Ao longo das curvas de x 2 e x3
temos resultados similares. Logo, os componentes fsicos de X i no sistema de coordenadas
curvilneas considerado so
X1 / g11 ,
X 2 / g 22 e X 3 / g33 ;
(7-5)
estes so calculados em termos dos componentes covariantes X1 , X 2 e X 3 . Para calcular os
componentes fsicos em termos dos componentes contravariantes, usamos a expresso na Eq.
(7-1) que envolve esses componentes: X1 = X ii = X i gi1 / g11 = X 1 g11 / g11 = X 1 g11 o
componente fsico ao longo da curva de x1 ; este e os outros dois so
X 1 g11 ,
X 2 g 22
X 3 g33 .
(7-6)
Em resumo:
X1 =
X1
= X 1 g11 ,
g11
X2 =
X2
= X 2 g 22 ,
g 22
X3 =
X3
= X 3 g33 . (7-7)
g33
x 2 , temos que
1 =
1
, 2 = 0 , 3 = 0
g11
1 = 0 , 2 =
1
, 3 = 0 ,
g 22
bem como
1
= i1 g11
g11
e i = gij j = gi 2 2 = i 2 g 22
1
= i 2 g 22 ;
g2
T12
,
g11 g 22
17
(Tij )
T11
g
11
T21
=
g 22 g11
T
31
g g
33 11
T13
T12
g11 g 22
g11 g33
T23
T22
g 22
g 22 g33
T32
T33
g33
g33 g 22
T 11 g11
= T 21 g 22 g11
31
g33 g11
T
T 12 g11 g 22
T 22 g 22
T 32 g33 g 22
T 13 g11 g33
23
T
g 22 g33
33
T g33
(7-8)
Os manuais de frmulas matemticas geralmente listam os fatores de escala hi , em termos
dos quais o elemento de comprimento de arco dado por
2
1 2
2
2 2
2
2 2
,
ds 2 = hm
1 ( dx ) + h
2 ( dx ) + h
3 ( dx )
m
m
g11
g 22
g11 = h1 ,
(7-9)
g33
g 22 = h2
g33 = h3 ,
(7-10)
xi = xi (t ) , t [t1 , t2 ] ,
(8-1)
` =
ds 2 =
t2
t1
gij dxi dx j =
s$ dt ,
com s$
gij x$ i x$ j dt ;
(8-2)
gij x$i x$ j .
(8-3)
d s$ s$
=0 .
dt x$ k x k
(8-4)
s$
x$ k
x$ k
gij
2 s$
gij x$ x$
i
s$
x k
x$ k
2 gij x$ i x$ j
( ki x$ j + x$ i kj ) =
e que
( gij x$ i x$ j )
g kj x$ j + gik x$ i
2 s$
x$ i j
x$ j
$ + x$ i
x
2 s$ x$ k
x$ k
gij
2 g kj x$ j
2 s$
18
g kj x$ j
s$
1
1 gij i j
$ i x$ j ) =
g
x
x$ x$ ;
(
ij
2 s$ x k
2 s$ x k
j
d g kj x$ 1 gij i j
x$ x$ = 0 .
dt s$ 2s$ x k
d
dx j
1 gij dxi dx j
g kj
ds
ds
2 x k ds ds
= g kj
dg kj dx j
ds ds
g kj dxi dx j
xi ds ds
d2x j
ds 2
dg kj dx j 1 gij dxi dx j
ds ds
2 x k ds ds
= 0 .
1 g kj dxi dx j 1 g ki dx j dxi
.
+
2 xi ds ds
2 x j ds ds
g kj
d2x j
ds 2
1 g kj g ki gij dxi dx j
+ i +
k
=0 .
2 x
x j
x ds ds
d2x j
glj
ds 2
1 g jk gik gij
+
k ,
2 xi
x j
x
+ [ij , l ]
(8-5)
dxi dx j
=0 .
ds ds
(8-6)
k dxi dx j
+
=0 ,
ij ds ds
(8-7)
19
{}
{}
ij
g ij
x
x k
= [ik , j ] + [ jk , i ]
j
i
= g il g jl
kl
kl
i
1 g
=
j
2 g x
ij
i
1 gii
=
i
ii 2 gii x
i
1 gii
=
j
ij 2 gii x
i
1 g jj
=
2 gii xi
jj
(8-9)
(8-10)
(8-11)
(8-12)
= 0 e com
onde i j , gij
i j
a conveno da soma suspensa
{}
(8-13)
(8-14)
Na literatura, em vez de k , tambm se usam {ij , k} e ijk ; esta ltima notao, entretanij
to, sugere um carter tensorial que, como veremos adiante, no verdadeiro em geral.
gij
1 g jk gik
+
;
2 xi
x j x k
(9-1)
para obt-lo no sistema de coordenadas xi , calculemos nesse sistema o primeiro termo entre
parnteses, fazendo uso da regra da cadeia e da lei de transformao da mtrica:
g jk
xi
xi
x m x n
x j x k
g mn
g mn xl x m x n
xl xi x j x k
+ g mn
( x x
2 xm
i
).
20
x n
x k
x m
2 xn
x j xi x k
iq j
jqk
Desta equao, com duas permutaes (g jk / xi
gik / x j
g ij / x k ) , ob-
temos no sistema xi os dois ltimos termos da Eq. (9-1); substituindo nesta os resultados, encontramos
2 x m x n
x m 2 x n
1 g mn xl x m x n
1
+ g mn
+
[ij , k ] =
2 xl xi x j x k 2
xi x j x k
x j xi x k
+
2 m
1 g mn xl x m x n
1
x n
x m 2 x n
x
+
+
g
mn
j
i
k
2 '*******
x j xi x k
xl x*(********
xi x j x k
x x ) 2
lqm
2 m
x n
1 g mn xl x m x n 1
x m 2 x n
x
g
+
mn
k
i
j
2 '*******
x k xi x j
xl x*(********
xi x k x j
x x ) 2
l ,m ,n n ,l ,m
2 x m x n
1 g mn xl x m x n 1 gln x m xl x n 1 glm x n xl x m
+
+
g
mn
2 xl xi x j x k 2 x m x j xi x k 2 x n x k xi x j
xi x j x k
xl x m x n 1 g mn gln glm
2 x m x n
=
+ m n + g mn
xi x j x k 2 xl
x
x
xi x j x k
xl x m x n
[ij , k ] =
xi x j x k
[lm, n] + g mn
2 xm
x n
xi x j x k
(9-2)
k
x k x s ab xl x m x n
2 x m x n
ks
=
=
+
[
,
]
[
,
]
g
ij
s
g
lm
n
g
mn
xi x j x s
x a xb
xi x j x s
ij
=
=
x k xl x m x s x n
x x x '***(***
x x )
a
x k xl x m
bn
g ab [lm, n] +
x k 2 x m
g ab g mn
x x x '******
x x*(******
*)
a
x k 2 x m
an
g
lm
n
+
[
,
]
x a xi x j '***(***)
x m xi x j
a
{lm}
b
,***-***
.
s
n
x x
ma
21
k x k xl x m
= n
x xi x j
ij
{}
n x k 2 x m
.
+ m
i
j
lm x x x
(9-3)
Da (9-3) podemos calcular em termos dos smbolos de Christoffel de 2a espcie uma expresso para 2 x m / xi x j . Multiplicando tal equao por x a / x k , obtemos
x a k x a x k xl x m
=
x k ij
x k x n xi x j
'***(***)
na
donde
2 xa
xi x j
xi x j
ma
x a k xl x m a
.
x k ij xi x j lm
2 x a
n x a x k 2 x m
,
+
x k x m xi x j
lm '***(***)
x a k xl x m
x k ij xi x j
(9-4)
a
.
lm
(9-5)
V a =
obtemos
V a
x
xi
x a
x
x a j x a xi V j
xi 2 x a
=
+
V =
V
x j x n xi
x n xi x j
x n xi x j
22
V a
x n
x a xi V
n
i
x j *x(*****
x*)
'*****
xi x a
x n x k
+V
m
xi x a k
xi xl a
j x
V
x n x k ij '***(**
x *j ) '***(***
x n xi) lm
j k
x a xi V k
x k x n xi
a
lm
+V
k xl x m
i
j
ij x x
nl
V m
x a xi V k
j k
m a
V
V
+
x k x n xi
ij
nm
ou
V a
x a xi V k
m a
j k
V
+
=
i + V ,
n
k
n
x x x
nm
ij
x
(10-1)
onde vemos que os termos entre colchetes um tensor de 2a ordem do tipo 11 (pois se transforma
como tal); a expresso desses termos usada para definir a derivada covariante do vetor contravariante V k (em relao a xi e com respeito mtrica gij incorporada nos smbolos de Christoffel) e denotada de vrias maneiras:
k
+ V j V k ; i ou
i
x
ij
V k
DV k
Dx
ou i V k ou V kEi ;
(10-2)
j k
ij
iA
jA :
iA
jA; n
= T
iA
n
jA / x
k
;i
+ termos "corretivos".
xi
a
k
x a
2 xa
x x Va
V
Va .
=
+
a
x j xi x k xi x j
xi x j
ou
x a k xl x m a
+
V
,
a
k ij
i
j lm
x
x
x
x j xi x k
x a x k Va
23
k
x a k V j
V
V
a
k =
i
xi '**(**)
x k ij
ij *)
'******(*****
V j
Vk
( )
x a x k Va
x x x )
'*****(*****
j
a m e k l
=
=
x m xl Vm
x j xi xl
a
Va
x x '***(**
lm*)
xl x m
i
ak
k
V
k
xi x j lm
xl x m
k
x m xl Vm
Vk ,
j
i
l
x x x
lm
'*******(*******)
( )
onde vemos que os termos marcados por () formam um tensor de 2a ordem do tipo 02 ; acabamos de justificar a seguinte definio para a derivada covariante de um vetor covariante:
Vm ; l
Vm
k
Vk .
x
lm
(10-3)
A definio de derivada covariante pode ser estendida para qualquer tensor. Podemos entrever 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 covariante seja bem compreendida, calculemos a derivada covariante do tensor misto T j i empregando uma vez mais o mtodo como a obtivemos acima para o caso dos vetores contravariantes e
covariantes: Derivando a lei de transformao T ja = (x a / x s ) (xb / x j ) Tb s em relao a xi e
usando as Eqs. (9-4) e (9-5) para eliminar as derivadas segundas, obtemos
T j a
xi
b
r
a
x a xb s x a xb x r Tb s
2 x a
2 xb
s x x
s x
T
T
T
=
+
+
b
b
b
j
xi x s x j
x s x*(*******
xi x r*)
x j xi x r x s
x s xi x j
'*******
(Q)
= (Q) + Tb s
xb x r x a
x j xi x k
k xl x m
r
s
rs x x
{}
a
b
xl x m
a
s x x k
T
+
b
x s x k ij xi x j
lm
{ }
{}
b
=
lm
{}
a
l
m
b
m
a
b
xb x r x a k
s x x
l a
s x x
k T s x x x
b
T
T
(Q) + Tb s
+
b
b
i lm
b
s
i
j lm
j
i
k rs
j
s
s
k ij
x x
x **
x*)
x *(*********
x x
x *(*********
x*(*****
*(**
x )
'********
)
'********
) '****
'****
kqs
T jm
Tka
x a xb x r Tb s
k s
s m
m a
a k
+
T
T
T
T
b
j
k .
x s x j xi x r
rk
rb
im
ij
mqb , l r
24
x a xb x r Tb s
m a
a k
k s
s m
T
T
T
T
,
+
=
+
j
k
b
m
i
s
j
i
r
im
ij
rk
rb
x
x
x
x
x
'*************(*************)
'*************(*************)
T j a
( )
()
onde vemos que os termos marcados por (), um tensor de 3a ordem do tipo 21 , a derivada covariante desejada:
Tb s
s
m
s
(10-4)
+ Tb k Tm s .
Tb ; r
r
x
rk
rb
Agora fcil escrever a derivada covariante de qualquer tensor; por exemplo:
Tkl ij ; n =
Tkl ij
x n
i
j
s
s
+ Tkl sj + Tkl is Tsl ij Tks ij .
sn
sn
kn
ln
(10-5)
Caso no se queira deduzir esta frmula pelo procedimento acima, no difcil mostrar
que a expresso de Tkl ij ; n acima se transforma, de fato, como um tensor do tipo que os ndices
indicam (do tipo 32 ). 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 xi definida simplesmente por
D ( Ai j B k lm )
Dx
= ( Ai j B j kl ) ; n = Ai j ; n B j kl + Ai j B j kl ; n
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:
gij ; k = 0 ;
g ij ; k = 0 ;
i j;k = 0 .
(10-6)
Podemos ento dizer que tais tensores "comportam-se como constantes" sob a diferenciao covariante. Isso justifica, por exemplo, abaixar o ndice i em T i j ; k como normalmente faramos
gil T i j ; k = Tlj ; k , pois
Ressalva: Observe pela Eq. (10-5) que os termos "corretivos" a que nos referimos antes (que devem ser adicionados derivada parcial do tensor para que o re-
(10-7)
25
xi
2 xa
x j
xi x j x a
J ,
(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
xi
=J
k xl a
x j x a k xl x m a
J
,
i al
ki
x
x a x k ij xi x j lm
(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 caso de um escalar relativo de peso W, f ; diferenciando em relao a xi ambos os membros de
sua lei de transformao
f = JW f
xi
=WJ
W 1
xi
+J
f xl
xl xi
k xl
= W f J W 1 J
i
ki x
l
a
W f x
+ J
xl xi
al
l
k
a
xl
W f x
f
= W fm
+
,
JW JW
W
J
i
l
i
ki
al
x
x
x
ou
26
f
i Wf
x
l
k
a
= J W x f W f ,
xi xl
ki
al
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 ):
f ;l
s
W
f
.
xl
sl
f
(10-10)
Considere agora um vetor relativo contravariante de peso W, V a ; diferenciando em relao a x n ambos os membros de sua lei de transformao,
V a = JW
x a
x
Vj ,
usando a Eq. (10-9) para eliminar a derivada do jacobiano e a Eq. (9-5) para eliminar a derivada
segunda que surge, obtemos
V a
x n
= W
x a
+ JW
xi
x a j
V
x n xi x j
x n
a
i
j
i
x a j W 1 k xl a
2 x a
W x x V
W x
= W
+
+
V
V
J
J
J
J
n al
j
n
i
n
i
j
kn
x j
x
x
x
x
x
x
x
= W
x j
V j J W 1
a
i
j
x a j W xl a
j W k
W x x V
V
V
J
W
J
J
+
j
x j
x*(**
x n xi*)
x n al
x j *(*****
'****(****
) kn
'**
*)
'*****
'***(***)
a
x a
jk
l i
+ JW
xi x a
x n x k
jk
k xl x m a
V
i
j lm
ij
x
x
a
i
k
k
x m j xi xl a
W x x V
j k
k
V
V
+
+
= WV a JW
J
W V
k
n
i
j
n
i
x x x
x
x x ) lm
ij
kn '****(****)
'***(***
nl
V m
ou
a
i
k
V a
m a
a k
W x x V
j k
k
W
J
+
V
V
i + V WV
n
k
n
m
n
kn
ij
x x x
a
ai
a
,
ai
onde vemos que os termos entre colchetes um tensor relativo de peso W do tipo 11 ; ele usado
para definir a derivada covariante de V k ( um vetor relativo contravariante de peso W ):
V k;i
k
+ V j WV k
x
ij
V k
i
s
.
si
(10-11)
27
(10-12)
jA
g W / 2 Ti Aj A ser um tensor absoluto do mesmo tipo
for um tensor relativo de peso W, Ti A
(cf. Prob. 22). A derivada covariante deste tambm ser um tensor absoluto, cuja multiplicao
por g W / 2 fornece de volta um tensor relativo de peso W. Este , por definio, a derivada covariante de Ti Aj A :
Ti Aj A; a gW / 2 ( g W / 2 Ti Aj A ) ; a .
W / 2
Ti Aj A
Ti Aj A; a = gW / 2 a ( g W / 2 Ti Aj A ) + g
x
= g
=
( TiAj A { } )
W /2
{ } )
W
Ti Aj A
g j A
W
W
(
/
2)
1
/
2
g
Ti Aj A {
+
+
g
T
i
A
x a
x a
2
Ti Aj A
{ })
1 g
,
+ Ti Aj A
W Ti Aj A
a
2
g
x
x
'**********(**********)
'****(****)
a
( )
} )
()
onde marcamos com () os termos usuais caso Ti Aj A fosse um tensor absoluto [obviamente, por
{ }.
V i ;i =
V i
x
sa
(10-13)
28
C : x k (t )
V k ( x k (t ) )
eqipolente a V k [i.e., de mesma magnitude e direo() que V k ] temos o que chamamos de um campo
vetorial eqipolente ao longo de C . Se utilizarmos
um sistema de coordenadas cartesianas x k , os componentes V k do campo considerado sero constantes e dV k / dt = 0 . J num sistema de coordenadas curvilneas x k , os componentes V k desse mesmo campo no satisfazem necessariamente uma equao similar, dV k / dt = 0 , pois os componentes em relao a uma base que muda 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 dV k / dt = 0 discutida acima pode ser assim escrita:
dV k
DV k dx j
V k dx j
(11-1)
0 =$
,
=
=
$
j
dt
dt )
x j dt
Dx*(****
'***
( )
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 notao especial: derivada intrnseca do vetor V k ao longo da curva x k (t ) (num sistema genrico
de coordenadas), comumente denotada por meio do smbolo e sendo encontrada na literatura
em vrias formas equivalentes:
V k
t
DV k dx j
Dx j dt
V k k i dx j
= j + V
x
ij dt
dV k k i dx j
,
+ V
dt
dt
ij
(11-2)
V k
=0 ,
t
Dois vetores tm a mesma direo se o ngulo entre eles, segundo a definio dada na Se. 6d, for nulo.
(11-3)
29
.
(11-4)
t
Dx m dt
Usando a notao da derivada intrnseca, podemos reescrever a equao da geodsica dada
pela Eq. (8-7) como segue:
d 2 xk
ds 2
( )
k dxi dx j
d dx k
+
=
ds ds
ij ds ds
k dxi dx j
dV k k i dx j
V k
+
=
+ V
=
=0 ,
ds
ds
s
ij ds ds
ij
(grad )i
= ;i
xi
(12-1)
pela simples razo de / x i ser um tensor (um vetor covariante, como foi dito) que, nas coordenadas cartesianas, coincide com a definio usual do gradiente.
b) Divergncia
Definimos a divergncia de um campo vetorial contravariante F i como a seguinte contrao de sua derivada covariante:
div F i F i ; i .
(12-2)
k i
+
F
x j
jk
F i
30
div Fi = div F j ;
logo,
(12-3)
div Fi = div F j = F j ; j = ( g ij Fi ); j ,
ou, lembrando que g ij "comporta-se como uma constante" sob a diferenciao covariante [cf.
Eq. (10-7)], obtemos
div Fi = g ij Fi ; j
(12-4)
div F i =
1
g xi
g Fi
),
(12-5)
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
1
g (grad )i
i
g x
1
1
=
g g ij (grad ) j =
g g ij j .
i
i
g x
g x
x
(12-7)
(grad )i k
(grad
)
k
j
ij
x
2
k
k
= g ij j i k = g ij
k .
i
j
ij x
x x ij x
x x
(12-8)
(12-9)
31
d) Rotacional
f
No espao euclidiano tridimensional, para um vetor V de componentes Vi nas coordena-
f
Rij E ijk ( V ) k ,
f
, R31
e R12
so, respectivamente, os componentes cartesianos do rotacional de V ao
ento R23
f
f
= E 23k ( V ) k = ( V ) 1 , etc], e os demais valores de
longo dos eixos x1 , x 2 e x3 , [ R23
Rij , 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 Rij so independentes e so eles os compof
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
Rij
V j
x j
Vi = V j; i Vi; j .
Ora, essa expresso tensorial. Est assim justificada a definio do rotacional de um vetor covariante Vi num sistema de coordenadas curvilneas xi como sendo o tensor covariante
V j
Vi
k
V
Vk
k
i
x
x j
ij
k
ji
),
V j
x
Vi
x j
(12-10)
j
V i; j de derivadas covari-
2 f
y x
sejam iguais que f ( x, y ) seja da classe C2 . Embora se admita que componentes de tensores
sempre satisfaam tal condio, isso no garante que uma diferenciao covariante dupla independa da ordem em que cada uma seja calculada. Assim, por exemplo, para um vetor Va , temos
que Va ; ij Va ; ji em geral. Deduzimos em seguida a condio para que a ordem de clculo da
derivada covariante no importe.
32
Vi
Vr ,
x j ij
Vi , j
r
r
Vr ; j Vi ; r .
ik
jk
x k
Vi ; k
x
r
r
Vr ; k Vi ; r .
ij
kj
Vi ; j
Vi ; k
r
r
+
V
Vr ; k
r
;
j
x k
x j
ik
ij
Vi s Vi s r Vr s r Vr s
Vs
Vs
Vs +
Vs
x k x j ij x j x k ik ik x j rj ij x k rk
Vi ; jk Vi ; kj
s
s
ij
ik
2Vi
2Vi
s V
s Vs
Vs k
Vs + sj
k
k
j
j
k
j
x x
x x
x
x
ij x
ik x
r s
r s
r V
r V
rj + Vs + kr Vs
ij rk
ik rj
ij x
ik x
ik
ij r s r s
+ Vs
j
x k
ik rj ij rk
x
ou, denotando o termo entre parnteses por R s ijk , um tensor de 4a ordem, do tipo 13 , segundo a
R s ijk
s
s
ik
ij
r s r s
j k + ,
x
x
ik rj ij rk
(13-1)
Vi ; jk Vi ; kj = R s ijk Vs .
33
(13-2)
(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 R s ijk 0 .
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 (lembrese 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 euclidiano.
34
(c) T (i, j , k , l ) = U ij W kl
Contrao
(5) Mostre que a contrao do tensor Ai j um escalar.
(6) Mostre que o produto interno dos tensores Ai e B j um invariante.
lm
(7) Seja Aijk
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 Ai j e Bklm 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 G (i, j , a ) T ij b = 0 para qualquer tensor T ij b , mostre
que G (i, j , k ) 0 .
(10) Se G (i, j , k ) forem grandezas tais que G (i, j, a) Sbij = 0 para qualquer tensor Sbij com simetria nos ndices i e j, mostre que no podemos afirmar que G (i, j , k ) 0 , mas, sim, que a sua
35
(11) Se G (i, j , k ) forem grandezas tais que G (i, j , a) Abij = 0 para qualquer tensor Abij com antisimetria nos ndices i e j, mostre que no podemos afirmar que G (i, j , k ) 0 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 ) G ( j , i, k ) ] / 2 = 0 .
(12) Prove que todo tensor de 2a 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 dimenses.
Lei do quociente
(14) Num sistema de coordenadas xi sabe-se que uma grandeza T (i ) tal que = T (i ) U i , onde um invariante e U i um vetor arbitrrio. Prove que T (i ) um vetor e diga de que tipo.
(15) Mostre que, se o produto interno A(i, a ) aj entre o conjunto de N 2 grandezas A(i, a ) e um
tensor covariante de 2a ordem arbitrrio aj for um tensor, ento A(i, a) = Aia , um tensor misto
de 2a ordem.
(16) Sabe-se que uma grandeza A (i, j , k ) tal que A (i, j , k ) U k jl = C i l num sistema de coordenadas xi , onde U k jl um tensor arbitrrio. Prove que A (i, j , k ) um tensor e diga de que tipo.
(17) Se G (i, j ) tal que S ij G (i, j ) = (invariante) para qualquer tensor simtrico S ij , explique
por que no podemos afirmar que G (i, j ) seja um tensor; mostre, entretanto, que a sua parte
simtrica, G ( (i, j ) ) = [G (i, j ) + G( j, i )] / 2 (definida no Prob. 10), sim, um tensor Gij simtrico do tipo
0
2
(18) H uma assertiva anloga quela demonstrada no Prob. 17 para o caso em que, no lugar de
S ij , tem-se um tensor anti-simtrico Aij 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 Aij G (i, j , k ) = Vk (vetor covariante) para qualquer tento, que a sua parte anti-simtrica, G ( [i, j ], k ) = [G (i, j, k ) G ( j, i, k )] / 2 (definida no Prob. 11),
sor anti-simtrico Aij , no podemos afirmar que G (i, j , k ) seja um tensor, mostrando, entretansim, um tensor Gijk anti-simtrico nos ndices i e j tal que Aij Gijk = Vk .
Tensores relativos
(19) Sejam Ai jk e Bl tensores relativos de pesos W1 e W2 , respectivamente. Mostre que
36
2
2
e de peso W1 + W2
1
1
e de peso W1 + W2
()
0
2
(conforme se provou
zk zk
xi x j
(b) g ij =
xi x j
zk zk
(b) as bases B e coincidiro se forem normalizadas, isto , formadas pelos vetores unitf f
f f
f
f
rios ei Ti / | Ti | e i Ni / | Ni | , respectivamente, e se o sistema de coordenadas for ortogonal.
(28) Mostre que gii ( i = 1, 2 A , 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
()
()
cos 23 = g 23 / g 22 g33 .
37
(30) Mostre que os co-senos dos ngulos que o vetor unitrio tridimensional ui faz com as curvas coordenadas so u1 / g11 , u2 / g 22 e u3 / g33 .
(31) Num sistema de coordenadas ortogonais, prove que gij = g ij = 0 se i j e que
glm
x k
g ij
x k
k x k xl x m
= n
x xi x j
ij
gij
x
= [ki, j ] + [kj , i ]
(b)
i j
g ij
x
n x m x n 2 x k
.
i
j
m n
lm x x x x
j
i
= g il g jl
kl
kl
(c)
i
1 g
=
j
2 g x
ij
i
1 gii
(b) =
j
ij 2 gii x
i
1 g jj
(c) =
2 gii xi
jj
i
(d) = 0
jk
(39) Num espao euclidiano, sendo xi coordenadas curvilneas e zi cartesianas, mostre que
(a) [ij , k ] =
2 zs zs
xi x j x k
2 z x k
k
(b) = i s j
.
ij x x zs
Derivada covariante
(40) Demonstre o teorema de Ricci, que diz serem nulas as derivadas covariantes do tensor fun-
38
(c) i j ; k = 0
(b) g ij ; k = 0
(41) Mostre que as derivadas covariantes de vetores contravariantes e covariantes, dadas por
V
j k
e
+
V
xi
ij
e 20 , respectivamente.
1
1
;i
V k
Vi ; j
Vi
k
V
,
k
x j
ij
(42) Mostre a regra de Leibniz para a derivada covariante nos seguintes casos:
(43) Seja uma funo invariante das coordenadas. Mostre que ; ij = ; ji (a ordem na qual a
s
si
xi
2 xa
x j
xi x j x a
(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 contravariante unitrio e normal a essa superfcie.
(49) Mostre a frmula div F i =
1
g xi
g Fi
Tensor de curvatura
(50) g si R s jkl = Rijkl o to-chamado tensor covariante de curvatura. Mostre que esse tensor
(a) anti-simtrico nos ndices do primeiro par (ij) e do segundo (kl): Rijkl = R jikl = Rijlk
(b) simtrico quanto troca do primeiro com o segundo par de ndices: Rijkl = Rklij
39
d 2 xi
dt 2
i dx j dx k
.
+
jk dt dt
40
g g ij j .
i
x
g x
(70) Considere as coordenadas paraboloidais (u ,v , ) , cuja lei de transformao para as coordenadas cartesianas ( x, y, z )
x = u v cos ,
y = u v sen , z = (u 2 v 2 ) / 2
[u 0 , v 0 , 0 < 2 ] .
r
r
x
x
contraigualando
os
i
j
j
= aj
= j a j Ti
a i = j a j
(a) A = am
Ti = a T j = a
j
i
j
termos com
variante)
x
x x
x )
x
'**(**
=
A = lN l = lxl = l
k = j N j = j x j = j
k
j
termos com
z
z
zk
zk
'**(**k)
'**(**k)
f
xl zk
x j zk
=
j
zk xi
zk xi
'***(***)
'***(***)
il
x j / xi
i =
x j
xi
j (regra covariante)
41
(2)
xl x m x k
x x
x x x
x x x
(A
i
n
lm
xl x m x k
n
A lm
+
n
n
+ B lm
x x x
x x m x k
S (l , m, n) ;
=
xi x j x n
i
n
B lm
n
n
n
logo, S (l , m, n) = S lm
, um tensor do mesmo tipo que A lm
e B lm
, pois se transforma como estes.
(3)
x j x k
jA
(a) Tk l A
A Tk l A
=
=
T
0
A
A = 0 . QED.
i A
l
i
m
x x
(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 D = T U = 0 num outro sistema de coordenadas x qualquer, onde, portanto, T = U . QED.
(4)
Resolve-se apenas o item (a); os demais so anlogos:
T (i, j , k , l , m) = U ikl W mj =
x n x k xl
x r x m
x x x
x x
k
l
m
x x x x x
T ( n, r , p , q , s ) ,
=
xi x j x p x q x s
n
U npq
W rs
mostrando que T (i, j , k , l , m) = T ijklm , um tensor do tipo 32 , pois se transforma como tal.
(5)
x k x j l
x k xi l
j
i
Ai =
Ak A i =
A k = lk A lk = A kk ,
i
l
i
l
x x
x x
ou seja, A kk invariante. QED.
(6)
xi k xl
i
A Bi = k A
B = lk Ak Bl = Ak Bk = invariante . QED.
i l
x
x
(7)
Resolve-se apenas o item (a); os demais so anlogos:
km
A ijk
=
xl x p x q x k x m
x x '***(***)
x x x
i
qr
rs
A lpq
=
xl x p x m
x x
i
qs
,
A lpq
km
mostrando que A ijk
= A ijm , um tensor do tipo 21 , pois se transforma como tal.
(8)
A ij B lik =
x k x j l x m xl xi np x j x m xl k l np x j x m xl l np
p Ak B m = l
Ak
Bm =
Ap Bm ,
xi xl
x k x n x p
xl x k x n
x x k x n
mostrando que A ij B lik C kjl , um tensor do tipo 12 , pois se transforma como tal.
42
(9)
Se G (i, j, a) Tbij = 0 para qualquer Tbij ento, em particular, aquela equao vale para o
tensor Tbij cujos componentes, com exceo dos TbIJ (com i = I e j = J ), so todos nulos; logo,
G (i, j, a) Tbij = G ( I , J , a) TbIJ = 0 (sem somatrio em I e J ) G ( I , J , a ) = 0 ,
m
0
G (i, j, a) Sbij
i, j
No podemos concluir por esta equao que G (i, j , a ) so todos nulos, por que as grandezas Sbij
no so todas independentes; h a relao de simetria Sbij = Sbji entre elas. Devemos ento reescrever o somatrio com a presena apenas dos componentes Sbij que sejam independentes:
j >i
'*****
*(******)
j <i
i> j
=0 .
Esse resultado garante que a parte simtrica de G (i, j , a ) tambm nula para j > i :
G ( (i, j ), a )
j >i
pela simetria
nos ndices i , j
G ( ( j , i ), a )
j >i
= 0 . QED.
(11)
No usamos a conveno do somatrio neste problema.
Temos que
G (i, j, a) Abij = 0 .
i, j
No podemos concluir por esta equao que G (i, j , a ) so todos nulos, por que as grandezas Abij
no so todas independentes; h a relao de anti-simetria Abij = Abji entre elas. Devemos ento
reescrever o somatrio com a presena apenas dos componentes Abij que sejam independentes:
43
j >i
'*****
*(******)
j <i
i> j
[ G (i, j, a) G ( j, i, a) ] Abij
0
j <i
=0 .
Esse resultado garante que a parte anti-simtrica de G (i, j , a ) tambm se anula para j > i :
G ( [i, j ], a )
j >i
G ( [i, i ], k ) =
pela anti-simetria
nos ndices i , j
G ( [ j , i ], a )
G (i, i, a ) G (i, i, a )
=0 .
2
j >i
=0
QED.
(12)
Sejam Aij e B ij tensores arbitrrios. Suas partes simtricas,
A (ij ) =
Aij + A ji
2
(ij )
B ij + B ji
,
=
2
Aij A ji
B [ ji ] =
B ij B ji
,
2
so tensores anti-simtricos, em termos das quais aqueles tensores podem ser decompostos:
B ij = B (ij ) + B [ij ] .
QED.
(14)
xi
j
j
j
(
)
=
U
T
j
U
j T (i) T ( j ) U = 0 .
j
x
x
j
Sendo U um vetor arbitrrio, podemos igualar o termo entre colchetes a zero para obter
T (i ) U = = = T (i ) U
i
T (i)
xi
T ( j) =
xi
x j
T (i ) ,
0
2.
44
neas xi A(i, a ) aj Tij ; escrevendo-a com os tensores aj e Tij transformado para as coordenadas xi , obtemos
A(i, a)
xb x k
x a x
=
j bk
xl x k
xi x j
xl x k
Tlk =
xi x j
xb
xl
x k
A
l
b
A(i, a) a
(
,
)
=0
j bk
x
xi
x*(**
'**
*)
x / x
x x
A(i, a)
x x
'***(***)
ca
A ic , um
x xl
A(i, a )
arbitrrio
xb xi
xb
x a
xl
A(i, c) =
A(l , b) = 0
A(l , b) bk
xi
A(l , b) = 0
xl xc
xi xb
A(l , b) ,
(16)
xi x p q
A(i, j , k ) U kjl = C il A(i, j , k ) U kjl = C il = q
Cp
x xl
A(i, j , k )
x k x m x p
x x x
n
xi x p
U nmp =
l
x x
q
n
A(q, m, n) U mp
p
x k x m xi
x
A(i, j , k ) n
(
,
,
)
A
q
m
n
U nmp = 0
j
q
l
x x
x
x
'***(***
)
Prob. 9
xl / xi
A(i, j , k )
A(i, j , k )
x k x m
x n x j
x k x m xl
x n x j xi
A(l , m, n) =
xi
x q
arbitrrio
A(q, m, n) = 0
xi xl
q
x*(***
xi)
'**
xl x m x k
xi x j x n
A(q, m, n) = 0
lq
A(i, j , k ) ,
2
mostrando que A(l , m, n) = A lm
n , um tensor do tipo 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 simtrica um tensor do tipo 02 como segue:
= S ij G (i, j ) = S ji G ( j , i )
iq j
= S ij
pela simetria de S ij
S ij G ( j , i ) + = S ij G (i, j ) + S ij G ( j , i )
G (i, j ) + G ( j , i )
2
= S ij G ( (i, j ) )
45
S ij G ( (i, j ) ) = S kl
xi x j
x
G ( (i, j ) ) = = S kl G ( (k , l ) )
x x
G ( (i, j ) ) = 0
S kl G ( (k , l ) ) k
l
x x
'**************(**************)
()
H ( k ,l )
H (l , k ) = G ( (l , k ) )
xi x j
G ( (i, j ) ) = G ( (k , l ) )
xl x k
xi x j
xl x k
G ( ( j, i) ) = H (k , l ) .
xi x j
H (k , l ) + H (l , k )
G ( (i, j ) ) = 0 ,
= H (k , l ) = G ( (k , l ) ) k
2
x xl
que Aij , sendo anti-simtrico, no um tensor arbitrrio. Entretanto, podemos provar que a sua
parte anti-simtrica um tensor do tipo 30 como segue:
Vk = Aij G (i, j, k ) =
iq j
A ji G ( j, i, k )
Aij G ( j , i, k )
Vk = Aij
Vk = Aij G ( [i, j ], k )
A ij G ( [i, j ], k ) = Vk
x / x
Alm
x x
l
G ( [i, j ], k ) =
x a
Va =
x a
Alm G ( [l , m], a )
na
,****-***
*.
k
a
x x x
x x
G ( [i, j ], k ) =
G ( [l , m], a ) Alm
l
m
n
n
k
x x x
x x
'*********(*********
)
Alm
xi x j
G ( [l ,m ],n )
x x x
Alm G ( [l , m], n ) l
G ( [i, j ], k ) = 0
m
n
x *(******************
x x
'******************
*)
i
H (l ,m, n )
()
46
H (m, l , n) = G ( [m, l ], n )
xi x j x k
G ( [i, j ], k )
x m xl x n
xi x j x k
G ( [ j , i ], k ) = H (l , m, n)
= G ( [l , m], n ) + m
x xl x n
xi x j x k
H (l , m, n) H (m, l , n)
= H (l , m, n) = G ( [l , m], n ) l
G ( [i, j ], k ) = 0 ,
2
x x m x n
mostrando que G ( [l , m], n ) um tensor covariante de 3a ordem, pois se transforma como tal.
(19)
(b)
i
n
x i x m x n l W2 x j p
W1 +W2 x x
=
J
m A l mnB p
C i k = A i jk ( B j ) = J W1
J
A
B
mn
l
k p
l
j
k
p
x x
x x x
x
=J
W1 +W2
xi x n
x x
l
pn B
=J
W1 +W2
xi x n
x x
l
C ln ,
( g B m ) = ( J 2 g )1/ 2 J W2 B l
ou seja,
x m
xl
= J W2 +1 ( g B l )
x m
xl
(20)
U = J ik J jl U
ij
kl
= J ik U
kl
Wi j = J jl Wkl J ki =
J#lj
|U | = | J ik | |U | | J#lj | = J 2 |U kl |
m
m
J
ij
kl
J 1
J 1
(21)
i
j
xi x j kl
2 x x
G ij = g g ij = J 2 g k
=
G kl ,
g
J
l
k
l
x x
x x
47
(22)
Usando as leis de transformao de g e Ti Aj A , dadas pelas Eqs. (6-15) e (5-1), temos que
lA
i j A g W / 2 T i Aj A = ( J 2 g ) W / 2 J W T k A
TA
lA
= Tk A
x k x j
xi xl
k
j
x k x j
l A x x
W / 2
A
T
A
g
=
kA
xi xl
xi xl
A ,
gij + g ji
2
dxi dx j ,
mostrando que, se a matriz gij no for originalmente simtrica, podemos tomar os coeficientes
na mtrica como sendo os da parte simtrica daquela matriz, g (ij ) , uma matriz claramente simtrica.
Assim sendo, considere a mtrica ds 2 = gij dxi dx j com coeficientes simtricos. Note que
no podemos usar o Prob. 17 para afirmar que gij seja um tensor simtrico do tipo
0
2,
pois
i
dx(1)
j
j
i
i
][dx(1)
]
+ dx(2)
+ dx(2)
ds 2 = gij dxi dx j = gij [dx(1)
j
j
j
j
i
i
i
i
= gij dx(1)
dx(1)
+ gij dx(2)
dx(2)
+ gij dx(1)
dx(2)
+ gij dx(2)
dx(1)
j
2
2
i
,
= ds(1)
+ ds(2)
+ 2 gij dx(1)
dx(2)
ou
2
2
gij S ij = ds 2 ds(1)
ds(2)
= invariante ,
j
i
, um tensor simtrico arbitrrio; logo, pelo Prob. 17, temos que gij um
onde S ij 2 dx(1)
dx(2)
48
(24)
g ip g pm = mi g ip
x r x s
g rs =
x p x m
mi
g ip
x m /x k
x r
ks g rs*)
p '**(*
x
g rk
xi
kl
x k
r
,**-**
.
l
j
x
xi kl
xi x j kl
xi x j kl
x j /xl
ip
kl
ip x x
ij
g
g
g
g
g
g
g
g
=
=
rk
x p
x k
x p xl
x k xl
x k xl
'****(****)
'***(***)
l
pj
xl /x p
(25)
(a) ds 2 = dzk dzk =
(b)
g g sj = g
si
zk
si
dxi
zk
zm zm
x s x j
ij
xi x j
j
zm zm x j
i x
g
= j
j z
zk
x s '**
x*(**
*k)
si
zk x
x x
g
=
s z
x*(***k) zk zk
'**
j
zk zk
si
mk
sj
ji
xi x j
=
zk zk
zk
xi
g
=
zk
x s
si
(26)
R s rjk Vs
= g sa Rarjk g sbV b
= Rarjk V b ba
= Rarjk V a
= Rsrjk V s
(27)
f
f
fi
f
xi f
xi r
xi x j r
i
ij
(onde usamos o Prob. 25b)
k =
=
=
N = x =
g
T
j
zk
zk zk
zk zk x j
f
f
f
f
Usando esse resultado, podemos escrever gij N j = gij g jk Tk = ik Tk = Ti
(28)
da curva de x1 ds(1) =
g11 (dx1 )2 =
(29)
Sejam i e i vetores unitrios tangentes ao longo das curvas
de x1 e x 2 , respectivamente (v. figura). O vetor dxi / ds , por definio, tangente a uma curva xi ( s ) e tambm unitrio, pois
gij dx dx
dx dx
ds
=
= 2 =1 ;
2
ds ds
ds
ds
i
gij
12
x1
x2
49
1 =
dx1
, 2 = 0, 3 = 0 ;
ds
1 = 0, 2 =
dx 2
, 3 = 0 .
ds
Portanto,
1
g11
1
=
g 22
g12
.
g11 g 22
(30)
Vimos no Prob. 29 que o vetor i unitrio e tangente curva de x1 ( 1 , 2 , 3 ) =
(1/ g11 , 0, 0) ; logo, o co-seno do ngulo entre i e ui ui i = u1 1 = u1 / g11 . De modo anlogo mostramos os outros resultados. QED.
(31)
Basta fazer ij
i j
i j
= 0.
g
k
jk
gik = i
m
g gii = i
ji
0 se k i
ji
i j
gii
1/ gii
g ji =
0
se j = i
se j i
(32)
g = gik G
ik
gik ik
g
G ik
=
= G ij = g g ij . QED
G + gik
gij
gij
gij
k
m
m
0 ( )
kj
()
g g
jm
glm
x k
g il
g jm
g ij
g ij
g ji
g ij
( g g glm ) k g glm
g glm = k k k = k
*) x
x k '***(***)
x '**(**)
x k '**(*
x
x
x
ij
j
i
il
jm
jm
il
50
(34)
A equao da geodsica [Eq. (8-7)], nas coordenadas cartesianas no plano,
( x , x ) = ( x, y ) , torna-se em
1
d 2 x / ds 2 = 0
d 2 y / ds 2 = 0 ,
y = d1 s + d 2 ,
xi x j x m x n
xi x j x n x m
xi x j
i
,****-****.
x k x m x k
=
x j x m xi x m x j
'*******(*******)
k
x k
m
x
x m
i
x
x k 2 x m
=
. QED
m
i
j
x
x
x
(37)
(a)
(b)
[ki, j ] + [kj , i ] =
g
1 g ji g kj
ikj
k +
i
2 x
x
x
1 gij gik
g jk
+ k +
xi
x j
2 x
j
i
im
g il g jl = g il g jm [kl , m] '****
g jl g*(*****
[kl , m)] = g il g jm ( [kl , m] + [km, l ] )
kl
kl
lqm
()
= g il g jm
glm
x k
()
g ij
x k
gij
= k
x
1 g
1 g gik () 1
g g ik ( [ ji, k ] + [ jk , i ] )
=
=
2 g x j 2 g gik x j
2g
51
1 ik
1 i 1 k i
g ( [ ji, k ] + [ jk , i ] ) = + =
2
2 ji 2 jk ij
g is gis
i
(a) =
ii
i
(b) =
ij
i
(c) =
jj
g is [ii, s] =
s
g is
s
1 g js
g is [ij, s] = g is 2
s
g is [ jj, s] =
s
g is
s
xi
gis
x j
gij () 1 ii gii
1 gii
g
=
=
s
j
2
2 gii x j
x
x
1 g js g js g jj () 1 ii g jj
1 g jj
+
s = g
=
j
j
i
2 x
2
2 gii xi
x
x
x
= gis
si
si
= 0.
(39)
a) Basta usar o Prob. 25a:
=
=
1 g jk gik gij
+
2 xi
x j x k
1 zs zs
1 zs zs
+
j
i
k
2 x x x
2 x k xi x j
[ij , k ] =
1 zs zs
2 xi x j x k
1 2 zs zs 1 zs 2 zs
1 2 zs zs
1 zs 2 zs
1 2 zs zs 1 zs 2 zs
+
+
+
2 x k xi x j 2 xi x k x j
2 xi x j x k 2 x j xi x k 2 x j xi x k 2 xi x j x k
=
2 zs zs
xi x j x k
k
x k xl 2 zs zs x k s 2 zs
x k 2 zs
kl
r i j =
=
= g [ij , l ] =
zr zr xi x j xl zr
zs xi x j
x x
ij
(40)
(a) gij ; k =
=
gij
s
s gij
g
g
g sj g sl [ik , l ] gis g sl [ jk , l ]
= k '*
sj
is
k
m
*(**)
x
ik
jk x
l
l
gij
( [ik , j ] + [ jk , i ] ) = 0
'******(******)
x
k
k
gij / x ()
52
(b)
g ij ; k =
g ij
g ij g ji
sj i
is j
g
g
+
+
=
k =0
k
x k '*******
x
ks *(********
ks ) x
g ji / x k ()
(c)
ij ; k =
ij
i i
s i
i s
=0
j
s
x k
ks
jk kj jk
(41)
Substituindo na equao
V k
j k
V k ;i
V
+
xi
ij
as leis de transformao do smbolo de Christoffel de 2a espcie [a que dada pela segunda
equao no Prob. 36] e do vetor contravariante, obtemos
V k
;i
x k xl x m n x m x n 2 x k
n
i
j
i
j
m n
x x x lm x x x x
k
l
m
xl x k n
2 x k
a m x x n
a n x
=
+
V
V
V
a
a
xi xl x n
x n xi lm
xi x m x n
k
l
m
xl 2 x k n xl x k V n
2 x k
m x x n
n x
V
=
V
V
+
+
xi xl x n
xi x n xl
x n xi lm
xi x m x n
x k a x j a
=
V + a V
x
xi x a
x k xl V n
x k xl n
m n
V
V ,l ,
+
=
n
i
x n xi xl
lm x x
Vi; j
V
k
x j
ij
Vi
i
j
x j xi x k
x x x
=
2 xa
xi x
V +
j a
xl x m Vl
xi x j
x a x m Va
xi x j x m
Va na
n x k 2 x m
+ m
i
j
lm x x x
2 m
xl x m n
a x
V
a m
xi x j lm
xi x j
n
xl x m
=
V
V
,
n
i
j l ,m
x m
lm x x
53
(42)
Item (a)
{ }
{ }T { }T { }T { }
Ti k
j lm
,***-**
*.
T i j k lm
i
k
+ T s j k lm i
( A j B lm ) ; n = T i j k lm ; n =
n
B k lm + Ai j
j
n
lm
n
{}
sn
+ T i j s lm k
{ }+ A
+ As j B k lm i
sn
{ }
Ai j
=
+ As j i Ai s s B k lm + Ai j
n
jn
sn
x
= Ai
j;n
B lk m + A i j B lk m ; n .
i k
s lm
{}
sn
B s lm k
sn
Ai s B k lm
B k lm
x
i k
j sm
s
jn
{ } A
s
jn
{}
{}
i k
j ls
B k sm s Ai j B k ls
{}
ln
+ B s lm k B k sm s B k ls
sn
ln
{ })
s
mn
{ }
s
mn
s
mn
QED.
s
ln
;n
= A i j ; n B j k l + A i j B j k l ; n . QED.
;n
j;n
B m kl + A i j B m kl ; n =
(43)
; ij =
; i
; j
s
s
s
s
;s =
;s =
;s =
; s = ; ji
j
i
i
j
i
x
x x
x x
x
ij
ij
ij
ij
j
(44)
2 m
W
j
l
m
j
s
n
= ( J f ) W J W f x x x + x x
n
i
j
m
i
j
xi
si
x x x lm x x x
l
J
f
x j 2 x m
W m n x
f
= W J W 1 i f + J W
+
W
J
n i
x
xi
x m xi x j
lm x
f
f ;i =
Wf
xi
j
m xl
2 xm
W x
W J f i W J f
=WJ
Jf + J
xl xi
x m xi x j
xi x j x m
lm x
f
m xl
xl
W
J
= JW l W f
=
f
.
QED.
;l
i
x
xi
lm *) x
'*******(*******
W 1
2 x m xi
f;l
f xl
54
(45)
) ;i
Eq. (10.10)
com W = 1
xi
k
2g
i
x
ki
g
Eq. (10.10)
com W = 2
g ;i
k
g
ki
Prob.37c
2 g xi
Prob. 37c
2g
1 g
2 g xi
1 g
2 g xi
= 0
=0
(46)
xi
( ),
J J aj
x a
=
J
aj
J aj xi
xi 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 Jaj como segue:
J ik Jak = J ia
J ji J ik Jak = J ji ia J
'**(**
)
jk
( )
Jaj = J ja J =
x j
x a
J .
xi
x j
x a
x a
xi x j
2 xa
x j
xi x j x a
( J x V ) = x x
J . QED.
( )V
(47)
V i ;i =
=
V i
xi
xi
xi
J xi
V +J
j
V i
j
j
1 J
+
+
= J V i ;i
J
J
J
V
V
j
j
i
x
x
x
'****(****)
( )
xi
xi *(****
x j )
'***
( )
+J
xi V
x x
'***(***)
j
V j / x j
A igualdade dos termos marcado () acima estabelecida com o auxlio da Eq. (10-8) e da
equao J J = 1 como segue:
( ) (
xi
xi x j
J
J =
J
x j
x j x k xi
2 xi x k
1
J = J J = J 2 J J = J 1 J .
x j
x j
x j
(48)
Seja xi (t , u ) uma parametrizao da superfcie S dada por ( x ) = const. Os vetores
55
xi
= i
= (grad )i i = 0
t
t
x
[ xi (t , u )] = const.
i
= x = (grad ) i = 0
i
i
u x u
(grad )i ortogonal a i e i
O vetor Ni (grad )i um vetor covariante normal a S ; temos ento que um vetor con-
| N | 2 = N i Ni = g ij
x j xi
= g ij
Ni
|N|
x j
g ij
xi x j
(49)
Usando as definies de divergncia e derivada covariante, podemos escrever
div F i = F i ; i =
j i
F
+
xi
ij
F i
i
1 g
1 g / x j
1 g
=
=
=
;
j
g 2 g
g x j
ij 2 g x
logo,
div F i =
F i
x
Fj g
1 F i
=
g x j
g xi
g + Fi
g
1
=
g xi
xi
g Fi
(51)
modo convm quando o sistema de coordenadas for ortogonal e com fatores de escala conhecidos, em cujo caso ds 2 = h12 (dx1 )2 + h22 (dx 2 )2 + A , donde g11 = h12 , g 22 = h22 , etc e
gij
, g
i j
22
= 0 . Alm disso, sendo ( g ij ) a inversa da matriz diagonal ( g ij ) , temos que g11 = 1/ g11
= 1/ g 22 , etc, pois a matriz inversa (aij1 ) de uma matriz diagonal ( aij ) = diag (1 , 2 , A)
56
Coordenadas polares:
ds = dr + r d
2
g
rr
g r
ds 2 = d 2 + 2 d 2 + dz 2
Coordenadas cilndricas:
g
g
g z
g
g
g z
gz 1 0
g z = 0 2
g zz 0 0
Coordenadas esfricas:
g rr
r
g r 1 0
,
=
g 0 r 2
0,
1
g
g
z
g
g
g
g z
0
g r 1
=
2
g 0 1/ r
g z 1
g z = 0
g zz
0
ds 2 = dr 2 + r 2 d 2 + r 2 sen 2 d 2
0
1
2
0
2
, g = r
0 , g = 2
rr
g r g r 1 0
0
0
g
g rr g r g r 1 0
2
4
2
r
g g = 0 r 2
0
0
, g
, g = r sen
g r g g = 0 r
g r g g 0 0 r 2 sen 2 g r g g 0 0 (r 2 sen 2 ) 1
2o modo:
So usadas as frmulas
gij =
zk zk
xi x j
g ij =
xi x j
zk zk
g r =
x x y y
+
= r 2 sen 2 + r 2 cos 2 = r 2
x x y y
+
= r sen cos + r sen cos = 0 = g r
r r
(53)
Componentes contravariantes:
Estas so calculadas atravs da equao V i =
xj
V
j =1,2
x, y
j =1,2
Vx , V y
xi
x
V j , com
57
x i
V i
i =1,2
r,
i =1,2
V r , V
x
r
y
r
cos
=
sen
Portanto,
Vr
V
r sen
r cos
r
r
Vx + Vy
x
y
r
y
cos
= sen
r
sen
cos .
= Vx cos + Vy sen
Vx +
Vy
x
y
r
x
= Vx
sen
cos
+ Vy
r
r
Componentes covariantes:
Estas so calculadas atravs da equao Vi =
xj e V
j =1,2
x , y e Vx , V y
x j
V j , com
xi
( coordenadas e componentes no sistema cartesiano )
j =1,2
xi e Vi
r , e Vr , V ( coordenadas e componentes covariantes no sistema de
coordenadas polares )
Logo,
Vr
x
y
Vx + Vy
r
r
x
y
Vx +
Vy
= Vx cos + V y sen
= Vx r sen + Vy r cos
Vr
V
Note que os
versores, isto ,
f
f
f
V = Vx i + Vy j ,
= Vr
= V
g rr
g
= Vr
= Vx cos + Vy sen
= V / r = Vx sen + Vy cos
58
(54)
Vr = m
g rr V r + g r V = V r ........................ verdade
m
1
V = g r V r + g V = r 2V .................... verdade
m
m
0
r2
(55)
V r = Vx cos + Vy sen = (2 x y ) cos + 2 xy sen
sen
cos
sen
cos
+ Vy
= (2 x y )
+ 2 xy
r
r
r
r
sen
cos
= (2r cos r sen )
+ (2r cos r sen )
r
r
2
2
= 2sen cos + sen + 2r cos sen
V = Vx
[ij , k ] =
1 g jk gik gij
+
k :
2 xi
x j
x
1 g rr
1
(1) = 0
=
2 r
2 r
g
1 g rr
=0
[rr , ] = r
r
2
1 g rr
=0
[r , r ] =
2
1 g
1 2
=
[r , ] =
(r ) = r
2 r
2 r
[rr , r ] =
k
ks
= g [ij , s ] :
ij
[ r , r ] = [r , r ] = 0
[ r , ] = [r , ] = r
[ , r ] =
[ , ] =
g r 1 g
1 2
=
(r ) = r
2 r
2 r
1 g
=0
2
59
g r [m
rr , r ] + m
g [m
rr , ] = 0
=m
rr
2
0
0
0
r
g rr [m
rr , r ] + m
g r [rr , ] = 0
=m
rr
0
1
0
1/ r
r
g rr [m
r , r ] + m
g r [r , ] = 0
=m
r
0
1
0
1
g r [m
r , r ] + m
g ['*
r*(*
, *)] =
=m
r
r
0
r
0
1/ r 2
r
, r*)] + m
g rr ['*
g r [ , ] = r
=m
*(*
r
1
0
,)] = 0
g r [ , r ] + m
g ['*
=m
*(**
0
0
1/ r 2
1
= =
r r r
r r
= =0
r r
2 zs zs
xi x j x k
2 x x
2 y y 2 (r cos ) (r cos ) 2 (r sen ) (r sen )
+
=
+
=
r r
r
r
2
2
= (r cos ) (cos ) + (r sen ) (sen ) = r
[ , r ] =
2 z x k
k
Pela frmula = i s j
temos, por exemplo:
ij x x zs
2 x 2 y 2 (r cos ) (arctan y / x) 2 ( r sen ) (arctan y / x )
+
=
+
=
r
x
r
y
r r x r y
cos 1
sen
= ( sen )
+ (cos )
=
r
r
r
(57)
Coordenadas polares ( 23 = 8 smbolos)
r
1 g rr
1 1
=
=0;
=
2 r
rr 2 g rr r
1 1
rr
Pelo Prob. 38b: = =
=
= 0;
r
r
2
2 g rr
r
1 g
1 r 2
=
= r ;
=
2 g rr r
2 r
1 g
1 r2
= 2
=0
=
2r
2 g
=
r
1 g
1 r2 1
= 2
=
=
r
2r r
r 2 g r
1 g rr
1 1
= 2
=0
=
rr
2
2r
r r
= = = = = =0
r r r r
r g rr / r 1 / r
=
=0
=
2 g rr
2
rr
g / r 2 /
=
=0
=
2 g
2r 2
g / (r 2 sen 2 ) /
=
=0
=
2 g
2r 2 sen 2
60
r r g rr /
1 /
=
=0
= =
2 g rr
2
r r
r r g rr / 1 /
=
=0
= =
2 g rr
2
r r
g / r (r 2 sen 2 ) / r 1
=
=
= =
2 g
r
2r 2 sen 2
r r
g / (r 2 sen 2 ) /
=
= cot
= =
2 g
2r 2 sen 2
g / r r 2 / r 1
=
=
= =
2 g
r
2r 2
r r
g / r
r
r 2 / r
=
= r
2 g rr
2
g rr /
1 /
=
=0
=
2 g
2r 2
rr
g rr /
1/
= 2
=0
=
2 g
2r sen 2
rr
g / r 2 /
=
=0
= =
2 g
2r 2
g / r
r
(r 2 sen 2 ) / r
=
= r sen 2
g
2
2
rr
g / (r 2 sen 2 ) /
=
= sen cos
=
2 g
2r 2
g / r 2 /
= 2
=0
=
2 g
2r sen 2
(58)
Antes de proceder aos clculos, expliquemos uma notao que utilizaremos daqui por diante. No presente problema desejamos calcular
V
s
Vi ; j = ij Vs
()
x
ij
para i, j = 1, 2 (onde x1 r e x 2 ), ou, explicitamente, V1;1 Vr ; r , V1;2 Vr ; , V2,1 V ;r
e V2;2 V ; . Note, entretanto, que Vi ;2 perfeitamente definido; trata-se da derivada covariante do vetor Vi em relao a x 2 . Mas o significado de V1; 2 , por exemplo, precisa ser explicado
pois no pode ser a derivada de V1 em relao a x 2 : a derivada covariante de um dado componente ( V1 , no caso) no definida. Refletindo um pouco, conclumos que V1; 2 denota o compo-
V1; 2 = Vi ;2
i =1
V
V
s
1
2
= 2i Vs
= 21 V1 V2 .
i 2 i =1 x
12
12
x
(#)
j=2
61
(a) Fazendo i, j = 1, 2 na Eq. () e interpretando os termos que se obtm com essa atribuio de valores aos ndices [a Eq. (#) mostra um desses termos] conforme explicado acima, obtemos os quatro valores de Vi ; j :
Vr ; r =
Vr
Vr
r
r
V
rr
m
0
V ; r =
V
r
Vr V
r
r
m
0
Vr ; =
2
2
= r sen (sen 2 cos ) + 4 r sen cos
r
m
1/ r
Vr
r
Vr V
r
2
2
2
= r cos (2sen + cos ) + 2 r sen (cos sen )
r
m
V
r
Vr V
2
3
2
2
= r sen (2sen + cos ) + 2 r cos (cos sen )
m
V ; =
2
= cos (sen 2 cos ) + 4r sen cos
rr
m
1/ r
Vi ; j =
zk zl
xi x j
Zk ;l =
zk zl Z k
,
xi x j zl
e z2 = y , e fazendo i, j = 1, 2 (onde V1;1 = Vr ; r , V2;1 = V ; r , etc), obtemos os mesmos resultados do item (a):
Vr ; r =
x x Vx x y Vx y x Vy y y Vy
+
+
+
r r m
x
r r m
y
r r m
x
r r m
y
1
2y
= (cos ) (2) + (cos ) (sen ) (1) + (sen ) (cos ) (2r sen ) + (sen )2 (2r cos )
2x
V ; r =
x x Vx
x y Vx y x Vy
y y Vy
+
+
+
*(*
x
*(*
y
*(*
x
*(*
y
*r) m
*r) m
*r) m
*r) m
'*
'*
'*
'*
2
2
r sen cos
r sen
r cos
2y
Vr ; =
r sen cos
2x
x x Vx x y Vx y x Vy
y y Vy
+
+
+
r *) m
r *) m
r *) m
r *) m
*(*
x
*(*
y
*(*
x
*(*
y
'*
'*
'*
'*
2
2
r sen cos
r cos
r sen
2
r sen cos
2y
2x
62
V ; =
x x Vx
x y Vx
y x Vy y y Vy
+
+
+
*(**
) m
x
*(**
) m
y
*(**
) m
x
*(**
) m
y
'*
'*
'*
'*
2
2
2
2
2
2
r sen
2
r sen cos
r sen cos 2 y
2
r cos
2
2x
(59)
Podemos definir a velocidade e a acelerao respectivamente pelas equaes v i dxi / dt
e ai v i / t , sendo t o tempo, pois assim so tensores (um vetor contravariante) que, em coordenadas cartesianas, coincidem com a definio usual daquelas grandezas.
(60)
i dx j v i dx j i k
dx j v i
v i
= v i; j
= j + v k
= j
+ v
dt
dt
dt
t
jk
x
jk
d dxi i
v i dx j i dx j k dv i i dx j dx k
v =
= j
+
+
=
+
ai =
jk dt
dt
dt
jk dt dt
dt dt
dx j
dt
dx j dx k
jk dt dt
i dx j dx k
= 2 +
dt
jk dt dt
(61)
No sistema de coordenadas polares, a velocidade possui os seguintes:
d 2 xi
vr =
dr
= r$
dt
v =
d
= $
dt
v r = g rr v r = r$
m
v = g v = r$
m
(62)
a) Componentes contravariantes: a i =
ar =
dt 2
i dx j dx k
; ou seja:
+
jk dt dt
r dr dr r dr d r d dr r d d
+
+
+
+
= r$$ r$ 2
2
rr dt dt r dt dt r dt dt dt dt
dt
m
m
m
m
d 2r
a =
d 2 xi
dr dr dr d d dr d d $$ 2r$$
+
+
+
+
= +
rr dt dt r dt dt r dt dt dt dt
r
dt 2 m
m
m
m
d 2
1/ r
1/ r
ar = g rr a r = r$$ r$ 2
m
1
a = g a = $$r + 2r$$
m
r
63
(64)
Vi
= Vi ; j x$ j , isto
Devemos calcular
t
Vr / t = Vr ; r r$ + Vr ; $
$
V / t = V ; r r$ + V ;
z j
Clculo dos componentes covariantes Vi = i Z j
x
x
y
Vr = Vx + V y = Vx cos + Vy sen = (r sen r cos ) sen = r sen 2 r sen cos
m
m
r
r
V =
yx
x
y
Vx + Vy = Vx r sen + V y r cos = (r sen r cos ) r cos = r 2 sen cos r 2 cos 2
m
m
yx
= arctan y / x = arctan x + 1
x
r (t ) = 2t 2 + 2t + 1
x=t
t +1
(t ) = arctan
t
Vi
k
Vk
x
ij
j
Vr ; =
Vr
Vr
r
V
r
m
0
r
m
1/ r
V ; r =
V
r
Vr V
r
r
m
0
r
m
1/ r
64
V ; =
V
Vr
r
V
m
r
m
0
Vr
= Vr ; r r$ + Vr ; $
t
1
2t + 1
= sen 2 (t ) sen (t ) cos (t )
+ r (t ) sen (t ) cos (t ) + r (t ) sen 2 (t ) 2
r (t )
r (t )
=
sen (t )
(t ) 2(t + 1) cos
(t ) = 0
2t sen
'**(**)
'**(**)
r (t ) (t +1) / r (t )
t / r (t )
V
= V ; r r$ + V ; $
t
1
2t + 1
+ [ r 2 cos 2 + r 2 sen cos ] 2
r (t )
r (t )
Observe que, sobre a reta dada, (Vx , V y ) = (0,1) , um campo eqipolente; por isso que a
derivada intrnseca nula ao longo daquela reta.
(65)
a) Em coordenadas polares
Componentes covariantes:
Componentes fsicos:
e
r
( grad )r
1
e
=
hr r
r
( grad )
1 1
=
h
r
b) Em coordenadas esfricas
Componentes covariantes:
Componentes fsicos:
( grad )r
1
,
=
r
hr r
,
e
( grad )
1 1
e
=
h
r
( grad )
1
1
=
h r sen
65
(66)
F r = Fr / hr = Fr ,
div F i =
F = F / h = F / r ,
1
g xi
g Fi
g = r 2 sen
F = F / h = F / (r sen ) ,
F 2
F
2
r sen +
r 2 sen
r ( Fr r sen ) +
r sen
r
r sen
1 2
1
1 F
= 2
( F sen ) +
r Fr ) +
(
r sen
r sen
r r
(67)
( r )
;r
+ g
( )
g rr = 1 g rr = 1
g = r 2
g = 1/ r 2
( )
56:
( )
2 (r , ) = 1
;r
( )
r 2
=
=
r r
r rr rr r 2
m
m
( )
r 2
+r
=
2
r
r
m
m
2
r 2
r 2 2
+r
2 1
1 2
= 2 +
+ 2
r r r 2
r
r
(68)
3
1 g33
1 g
=
,
i.e.,
.
=
2
32 2 g33 x
2 g
Clculo do 1o membro:
2 x
2 y
2 z
=
+
+
x y z
66
x = r sen cos ,
y = r sen sen ,
z = r cos
temos que
2 x
= r cos sen ,
e que
y / x2
y
r sen sen sen
=
= 2
=
=
2
2
r sen
x +y
r 2 sen 2
x 1 + ( y / x)
1/ x
cos
x
r sen cos
=
= 2
= 2
=
2
2
2
r sen
x +y
r sen
y 1 + ( y / x)
=0
z
= arctan
y
x
Logo,
2 y
= r cos cos
cos
sen
+ ( r cos cos )
= cot sen 2 + cot cos 2 = cot
= ( r cos sen )
r
sen
r sen
Clculo do 2o membro:
g = h2 = r 2 sen 2
1 g
1
= 2
2r 2 sen cos = cot
2
2 g
2r sen
(69)
g g ij j
i
x
g x
2 =
1
1
11
22
33
g
g
g
g
g
g
+
+
x1
x 2
x3
g x1
g x 2
g x3
2
r 2 sen 1
1
1
r
sen
r
r 2 sen
r 2 sen r
r 2
1
2
1
r sen 2
+
2
r sen
r 2 sen
1
1 2
1
1
= 2
+ 2
+ 2
r
sen
r
r r
r sen
r sen 2 2
67
(70)
g = hu hv h = (u 2 + v 2 ) uv
g 22 = gvv =
2 =
1
1
1
= 2 = 2
gvv
hv
u +v 2
1
11
1 g g
g x
x1
1
1
1
= 2 = 2
guu
hu
u +v 2
g 33 = g =
1
1
1
= 2 = 2 2
g
h
u v
22
33
+ x 2 g g x 2 + x3 g g x3
1
1
(u 2 + v 2 ) u v
(u 2 + v 2 ) u v
2
2 u +
2
2 v +
(u + v )
(u + v )
(u + v ) u v u
v
g11 = g uu =
1
2
2
(u + v ) u v u 2v 2
u
2
2 u u
u
(u + v )
1
v
v v
v
u 2 + v 2 2
u 2 v 2 2
68
f
f
Considere um campo escalar f ( x, y , z ) e um campo vetorial F ( x, y, z ) = ex Fx ( x, y, z ) +
f
f
e y Fy ( x, y , z ) + ez Fz ( x, y , z ) . Vale recordar as seguintes definies:
f f f
:
ex
+ ey
+ ez
x
y
z
f f f f f f
:
f ex
+ ey
+ ez
x
y
z
gradiente de f
f
f
f f f f
f
f
Fx Fy Fz
e
F
e
F
e
F
divergncia
de
F
:
F ex
+ ey
+ ez
+
+
=
+
+
x x
y y
z z
y
z
x
y
z
x
f = f
2
2 f
x 2
2 f
y 2
df
2 f
z 2
f
f
f
dx +
dy +
dz :
x
y
z
diferencial de f
f
f
f
f F
F
F
dF
dx +
dy +
dz :
x
y
z
f
diferencial de F
(A-1)
iif f
f
Observe que o deslocamento infinitesimal dr ex dx + e y dy +
f
f
ez dz (no espao; v. figura esquerda) igual a d r , diferencial do vef
f
f
f
tor posio r = x ex + y e y + z ez (fato aparentemente bvio, mas que
iif
constitui um dos modos de se calcular dr em outros sistemas de coordenadas):
f
f
f
iif f
f
f
f
r
r
r
dr ex dx + e y dy + ez dz =
dx +
dy +
dz = d r .
x
y
z
m
m
m
f
f
ex
f
ey
(A-2)
ez
69
y = sen
P
z
( 0 , 0 < 2 , z { )
x = cos
y = sen
z=z
( 0 , 0 < 2 )
P
y
x = r sen cos
y = r sen sen
z = r cos
( r 0 , 0 < , 0 < 2 )
2 f ( , ) =
2 f
1 f
1 2 f
+ 2
2
(polares)
(A-3)
70
2 f ( , , z) =
2 f (r , , ) =
2 f
1 f
1 2 f 2 f
+ 2
+
2 z 2
(cilndricas)
2 f 1 f
f
1 1
1 2 f
+
+
+
sen
sen 2 2
r 2 r r r 2 sen
(esfricas)
(A-4)
(A-5)
Uma das maneiras de realizar as dedues consiste em transformar a expresso do laplaciano como definido nas coordenadas cartesianas para as coordenadas desejadas, pela aplicao reiterada da regra da cadeia. Faamos isso para o caso mais simples. Vamos deduzir o laplaciano em coordenadas polares [i.e., a Eq. (A-3)], a partir da definio 2 f ( x, y ) = f xx + f yy
() ( )
x
U
U f
f x = f x + f x .
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
f xx = f x + f x x + f xx + f x + f x x + f xx
= x2 f + x2 f + 2 x x f + xx f + xx f .
f yy = f y + f y y + f yy + f y + f y y + f yy
= y2 f + y2 f + 2 y y f + yy f + yy f .
Logo,
2 f = f xx + f yy =
( x2 + y2 ) f + ( x2 + y2 ) f + 2( x x + y y ) f + ( xx + yy ) f + ( xx + yy ) f . (A-6)
Para calcular x , x , etc, usamos a lei de transformao inversa
x2 + y2
= arctan ( y / x) + ,
onde, considerando [0, 2 ) , necessrio definir a constante aditiva como sendo igual a 0,
, ou 2 se for do 1o, 2o, 3o ou 4o quadrante, respectivamente, uma vez que os valores
principais da funo arctan esto no intervalo ( / 2, / 2) . Logo,
x =
x2 + y 2
x = (2 x)
(2
x2 + y 2 = x / ,
xx = ( x 1 ) x = 1 x 2 x = ( 2 x 2 ) / 3 = y 2 / 3 ,
x =
71
y / x2
y
y
arctan
(
/
)
y
x
+
=
= 2
= 2 ,
[
]
2
2
x
1 + ( y / x)
x +y
xx =
( y 2 ) = 2 y 3 x = 2 y3 x = 2 xy4 .
x
Nas duas primeiras expresses acima, podemos simplesmente substituir x e y um pelo outro, j que a expresso de simtrica com respeito a essa troca, para obter
y = y / ,
yy = x 2 / 3 .
J no exibe tal simetria; suas derivadas em relao a y devem ser calculadas normalmente:
y =
x
x
1/ x
= 2
= 2 ,
[ arctan ( y / x) + ] =
2
2
y
1 + ( y / x)
x +y
yy =
.
( x 2 ) = 2 x 3 y = 23x y = 2 xy
y
4
Assim,
x2 + y2 = x 2 / 2 + y 2 / 2 = ( x 2 + y 2 ) / 2 = 2 / 2 = 1 ,
x2 + y2 = y 2 / 4 + x 2 / 4 = 2 / 4 = 1/ 2 ,
x x + y y = xy / 3 + xy / 3 = 0
xx + yy = y 2 / 3 + x 2 / 3 = 2 / 3 = 1/ ,
xx + yy = 0 .
y = y (t , u ,v ) ,
z = z (t , u ,v ) ,
72
t = t ( x, y , z ) , u = u ( x, y , z ) , v = v ( x, y , z ) ,
r = r ( x, y , z ) =
x2 + y 2 + z 2
= ( x, y, z ) = arccos z / x 2 + y 2 + z 2
= ( x, y, z ) = arctan ( y / x) +
O vetor posio de um ponto do espao pode ser escrito como uma funo vetorial das
f
f
coordenadas cartesianas, r ( x, y, z ) , ou curvilneas, r (t , u,v ) . Considere um ponto P0 do espao, de coordenadas cartesianas ( x0 , y0 , z0 ) e curvilneas
(t0 , u0 ,v 0 ) . Mantendo u = u0 = const. , v = v 0 = const. e
f
r
(t0 , u0 ,v 0 )
variando t, obtemos uma curva passando por P0 , que a
t
f
t cresce
P0
imagem da funo vetorial r (t , u0 ,v 0 ) e que se define cof
r (t0 , u0 ,v 0 )
mo sendo a curva de t (mostrada na figura direita). Ref
corde-se de que o vetor r / t tangente a essa curva (obf
r (t , u0 ,v 0 )
serve-o no ponto P0 da figura). De modo anlogo se deficurva
f
f
O
nem a curva de u, r (t0 , u ,v 0 ) , e a curva de v, r (t0 , u0 ,v )
de t
passando por P0 . Essas so as chamadas curvas coordenadas. Temos assim definidas, num sistema de coordenadas curvilneas fixo, trs curvas coordenadas 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
x / t x / u
( x, y , z )
J =
= y / t
(t , u ,v )
z / t
x / v
f f
f
r r r
y / u y / v =
0
t u v
z / u z / v
(A-7)
f
f
f
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 coordenadas curvilneas mantm-se constante; logo, so dadas por t = t0 , u = u0 ou v = v 0 . Note
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 u = u0 e v = v 0 .
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).
uma curva da coordenada uma circunferncia centrada num ponto do eixo z e paralela ao plano xy.
as superfcies coordenadas so superfcies esfricas de centro na origem ( r = r0 ) , superfcies 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 ) .
f f
f
Sejam et , eu e ev 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 respectivos versores nesse ponto.
curva
de t
f
eu
P
f
r
curva
de u
f
et
curva de
curva de r
t cresce
u cresce
f
er
f
e
f
e
y
curva de
f
f
f
f
f
f
1 r
1 r
1 r
,
et =
, eu =
, ev =
ht t
hu u
hv v
(A-8)
74
f
f
f
f
f
f
f
r = x ex + y e y + z ez = x (t , u ,v ) ex + y (t , u ,v ) e y + z (t , u ,v ) ez
onde
e, portanto,
e com
f
r x f y f
z f
=
ex + e y + ez , etc ,
t
t
t
t
f
r
ht
=
t
2
2
2
x + y + z , etc .
t
t
t
Os parmetros ht , hu e hv so chamados fatores de escala. Para interpret-los geometricamente, calculemos um elemento de comprimento de arco na curva coordenada de t:
f
f
iif
r
r
ds = dr u e v =
dt =
dt = ht dt (se dt > 0 ) .
t
t
fixos
Logo, genericamente, temos que, multiplicando o fator de escala de uma coordenada pelo diferencial 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, obviamente, so ortogonais se o sistema de coordenadas curvilneas for ortogonal. Nesse caso, por convef f f
nincia, as coordenadas so ordenadas no terno (t,u,v) de modo que et - eu - ev , nessa ordem,
forme um trio "destro" (i.e., para o qual vale a regra da mo direita). Obviamente, trios "sinistros" (consoante a regra da mo esquerda) tambm podem ser empregados. Apenas no caso de
f
um sistema ortogonal, os versores so normais s superfcies coordenadas ( et normal superf
fcie t = const., eu 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),
f
f f
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 significado 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:
f f f
J = ht hu hv et eu ev .
(A-9)
= ex +
t u t
t
t u
u
u
x x y y z z
=
+
+
= 0 , etc ,
t u t u t u
75
f f
f
f
r = ex r sen cos + e y r sen sen + ez r cos
f f
f
f
hr h er e = ( r / r ) ( r / ) =
f
f
f
f
f
f
= (ex sen cos + e y sen sen + ez cos ) (ex r cos cos + e y r cos sen ez r sen )
= (sen cos ) (r cos cos ) + (sen sen ) (r cos sen ) + (cos ) ( r sen )
= r'***
+ *****************
cos cos 2 *(
sen*************
r sen cos sen 2 ) r sen cos = 0
r sen cos
f
O deslocamento infinitesimal, sendo a diferencial de r (t , u,v ) [cf. Eq. (A-2)], dado por
f
f
f
iif
f r
f
f
f
r
r
dr = d r =
dt +
du +
dv = ht dt et + hu du eu + hv dv ev
t
u
v
(A-10)
iif
f
f
f
ds = dr = ht et dt + hu eu du + hv ev dv =
(A-11)
O elemento de volume pode ser calculado multiplicando-se os trs elementos de comprimento de arco, mutuamente perpendiculares, correspondentes s trs curvas coordenadas:
dV = (ht dt ) (hu du ) (hv dv ) = ht hu hv dt du dv ,
(A-12)
( x, y , z )
= ht hu hv .
(t , u,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:
dS = (ht dt ) (hu du ) = ht hu dt du
(A-14)
isto , o elemento de rea de uma superfcie coordenada dado pelo produto dos fatores de escala e os diferenciais das duas coordenadas que variam naquela superfcie.
Exemplo Os versores e o elemento de comprimento de arco, volume e rea em coordenadas esfricas:
f f
f
f
r = ex r sen cos + e y r sen sen + ez r cos
f
f
f
f
r f
r
= ex sen cos + e y sen sen + ez cos hr =
=1
r
r
f
f
f
f
r f
r
= ex r cos cos + e y r cos sen ez r sen h =
=r
76
f
f
f
f
r
r
= ex r sen sen + e y r sen cos h =
= r sen
f
f
f
f
1 r f
er =
= ex sen cos + e y sen sen + ez cos
hr r
f
f
f
f
1 r f
= ex cos cos + e y cos sen ez sen
e =
h
f
f
f
f
1 r
e =
= ex sen + e y cos
h
ds =
hr2 dr 2 + h2 d 2 + h2 d 2 =
dr 2 + r 2 d 2 + r 2 sen 2 d 2
2
dV = hr h h dr d d = r'**(**)
sen dr d d
|J |
h = 1 , h =
hx = 1 , hy = 1 , hz = 1
hr = 1 , h = r , h = r sen
h = 1 , h = , hz = 1
(coordenadas polares)
(coordenadas cartesianas)
(coordenadas esfricas)
(coordenadas cilndricas)
= ht (f )t dt + hu (f )u du + hv (f )v dv
f
f
f
dt +
du +
dv
t
u
v
(f )t =
1 f
,
ht t
(f )u =
igualando os coeficientes de dt , du e dv
(que seiijustifica
pelo faf
to de dr ser arbitrrio)
1 f
,
hu u
(f )v =
1 f
;
hv v
77
1 f f
1 f f
1 f f
et +
eu +
ev .
ht t
hu u
hv v
(A-15)
Nota: Uma outra maneira de se obter tal expresso do gradiente em coordenadas curvilneas a seguinte:
(f )t
f
= et f =
=
f
1
r
f
t
ht
1 f f f f
f f x f y f
z f
ex +
ey +
ez
ex +
ey +
ez
t
y
z
t
t
ht x
1 f x f y f z
+
+
=
ht x t y t z t
1 f
,
ht t
(A-16)
f
f
f
et eu
ev
=
+
+
.
ht t hu u hv v
curva de v
P3
f
f
f
F (t , u,v ) = et Ft (t , u,v ) + eu Fu (t , u,v )
f
+ ev Fv (t , u,v ) ,
superfcie
de dV
f
eu
P2
hv dv
P 0 (t , u , v )
curva de u
(t + dt , u + du , v )
hu du
ht dt
f
ev
P1
f
et
curva de t
f
1 f iif
F =
F dS
dV
superfcie
de dV
(A-17)
f
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 vaf iif
f
lor de F dS no vrtice da face nas faces ortogonais a eu usamos os vrtices P 0 e P2 , nas
f
f
ortogonais a et , P 0 e P 1 , nas ortogonais a ev , P 0 e P3 . Assim, o fluxo nas faces hachuradas na
f iif
F dS
parte hachurada
dV
f
f
F efu ht dt hv dv + F (efu ) ht dt hv dv
P2
P0
=
ht hu hv dt du dv
78
1
[ Fu ht hv ] (t , u + du , v ) [ Fu ht hv ] (t ,u ,v ) dt dv
ht hu hv dt du dv '****************
*(*****************)
( Fu ht hv ) .
ht hu hv u
( Fu ht hv ) du
u
Expresses anlogas a esta so obtidas para os outros dois pares de faces opostas:
1 f iif
F dS
dV
1 f iif
F dS
dV
1
( Ft hu hv ) ,
ht hu hv t
1
( Fv ht hu ) .
ht hu hv v
faces ortof
gonais a et
faces ortof
gonais a ev
(
F
h
h
)
(
F
h
h
)
( Fv ht hu ) .
+
+
t
u
u
t
v
v
ht hu hv t
u
v
f
F =
(A-18)
( h1 ft ef + h1 uf ef + h1 vf ef )
1 f
1 f
1 1 f
=
+
h h )+
h
h
h
h
(
) v ( h v )
u ( h u
h h h t h t
u v
u v
t v
borda
de dS
f
ev
dS = (ht dt ) (hu du )
f
f iif
f
dS ev F (t , u,v ) = F dr
P 0 (t , u , v )
curva de u
f
eu
hu du P2
(t , u + du , v )
ht dt
P3
(t + dt , u , v )
P1
f
et
curva de t
( F )v
f
f iif
1
F dr
ht dt hu du
borda
de dS
f
A circulao de F na borda de dS pode ser dividida em duas partes, cada uma consistindo na circulao em dois lados opostos de dS, sendo o elemento de circulao em cada lado to-
79
iiiiif
iiiiif
f iif
mado como o valor de F dr na extremidade do lado: P 0 no lado P 0 P 1 e P2 no lado P 3 P 2
iiiiif
iiiiif
bem como P 0 no lado P 2 P 0 e P 1 no lado P 1 P 3 (lados orientados positivamente em relao
f
normal ev ). Assim, a circulao na borda de dS
{ F dr }
f iif
borda
de dS
{ F dr } P P
f iif
iiiiiif
0
{ F dr } P P
f iif
{ F dr } P P
iiiiiif
2
f iif
iiiiiif
1
{ F dr } P P
f iif
iiiiiif
2
f f
f
f f
f
f
f
= F et ht dt + F (et ) ht dt + F eu hu du + F ( eu ) hu du
P0
P2
P1
P0
( Ft ht ) du
u
( Fu hu ) dt
t
= ( Fu hu )
( Ft ht ) dt du .
u
t
Substituindo, obtemos
f
f
ev ( F )v =
f
f
ev
ev / t / u
.
( Fu hu ) ( Ft ht ) dt du =
ht dt hu du t
ht hu Ft ht Fu hu
u
f
f
/ u / v
f(
e
et F )t = t
hu hv Fu hu Fv hv
f
f
/ v
f (
e
eu F )u = u
ht hv Fv hv
/ t
.
Ft ht
Note que a ordem das colunas nos determinantes determinada pela ordem dos versores no 2o
f
f f f
f f
f
f
f
membro das frmulas ev = et eu , et = eu ev e eu = ev et .
O rotacional , ento, dado por
f f
f
F = et F
1
ht hu hv
f
f
+ eu F
f
f
+ ev F
)v
f / u / v
f / t / v
f / t / u
hu eu
+ hv ev
ht et
Fu hu Fv hv
Ft ht Fv hv
Ft ht Fu hu
ou
f
ht et
f
F
1
ht hu hv
ht Ft
f
hu eu
hu Fu
f
hv ev
(A-19)
hv Fv
80
f
f
f
Considere o campo escalar f ( r , , ) e o campo vetorial F (r , , ) = Fr er + F e +
f
F e . Tendo em conta que hr = 1 , h = r e h = r sen , temos que:
f
1 f f
1 f f
1 f f
er +
e +
e
hr r
h
h
f
F =
f f
1 f f
1 f f
er +
e +
e
r
r sen
r
1
( Fr h h ) + ( F hr h ) + ( F hr h )
hr h h r
(r sen Fr ) + (r sen F ) + (r F )
r sen r
1 2
1
1 F
= 2
(r Fr ) +
(sen F ) +
r sen
r sen
r r
(
) (
)
f
1 f
1
1 f
=
r sen ) +
r sen ) +
r )
(
(
(
r
r sen
r sen r r
2 f =
1 f
1
1 f
1 f
h h +
hr h +
h
h
h
h
hr h h r hr r
2
f
2 f
1 2 f
1
1
+
+
r
sen
r 2 sen 2 2
r 2 r r r 2 sen
f
hr er
f
F
1
hr h h
hr Fr
f
h e
f
h e
h F
f
er
f
r e
f
r sen e
Fr
r F
r sen F
r sen r
1
h F
Para dar um exemplo concreto do clculo do rotacional, considere o campo vetorial dado
por
f
f
f
f
sen cos )) e + ('*****(*****)
F = ('*******
r sen 2 *(********
r sen cos*(**********
r sen cos 2 ) e ;
sen cos )) er + ('*********
F
Fr
temos que
f
r 2 sen F =
f (r sen F ) (r F )
f
= er
+ r e
Fr (r sen F )
f (r F ) Fr
+ r sen e
.
r
r
f f
f
F = er cos e sen .
81
instrutivo substituir nesta equao as expresses dos versores esfricos em termos dos
f f
f
versores cartesianos() F = ez = ( x e y ) , assim se obtendo o rotacional em coordenadas
f
f
cartesianas, nas quais, podemos ento notar que o campo vetorial considerado F = x e y (de
f
f
f
f
fato, substitua nesta equao x = r sen cos e e y = er sen sen + e cos sen + e cos e
obtenha a expresso original do campo em coordenadas esfricas).
y = uv , z = z
[u,v , z { ]
x
= v
v
z
=0
u
z
=0
v
y
=v
u
y
=u
v
=0
z
y
=0
z
z
=1
z
f
r
hu =
=
u
f
r
hv =
=
v
u +v
2
u +v
2
f
f
f
r f x f y f z
= ex
+ ey
+ ez
= u ex + v e y
u
u
u
u
f
f x f y f z
f
f
r
= ex
+ ey
+ ez
= v ex + u e y
v
v
v
v
f
r f x f y f z f
= ex
+ ey
+ ez
= ez
z
z
z
z
f
f
f
f
1 r u ex + v e y
=
eu =
hu u
u 2 +v 2
f v ef + u ef
f
1 r
x
y
=
ev =
hv v
u 2 +v 2
f
r
hz =
=1
z
f
f
1 r f
ez =
= ez
hz z
f f
uv + v u
eu ev =
=0 ,
u 2 +v 2
()
f f
eu ez = 0 ,
f f
ev ez = 0
f
f
f
f
ex = er sen cos + e cos cos e sen
f
f
f
f
e y = er sen sen + e cos sen + e cos
f
f
f
ez = er cos e sen
82
f
f
f
f
c) Expresse o campo vetorial A = z ex + 2 x e y 3 y ez nesse sistema .
f
f
f
f
A = z e x + (u 2 v 2 ) e y 3 u v e z
()
f f
f f
f f
zv + (u 2 v 2 ) u
z u + (u 2 v 2 )v
Au = A eu =
, Av = A ev =
, Az = A ez = 3 uv
u 2 +v 2
u 2 +v 2
f
f
f
f
f
z u + (u 2 v 2 )v f
z v + (u 2 v 2 ) u f
A(u,v , z ) = Au eu + Av ev + Az ez =
eu +
ev 3 uv ez
u 2 +v 2
u 2 +v 2
u ef + v ef = u 2 +v 2 ef ( I )
x
y
u
J deduzimos que f
f
f
v ex + u e y = u 2 +v 2 ev (II)
Fazendo (I) u (II) v e
f
f
f
u eu v ev
ex =
u 2 +v 2
u 2 +v 2
(#)
()
f
f
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:
f
f f f
f f f
f f f
V = (V eu ) eu + (V ev ) ev + (V ez ) ez
=
=
f
(u u$ v v$ ) u + (v u$ + uv$ )v f
(u u$ v v$ ) (v ) + (v u$ + uv$ ) u f
eu +
ev + z$ ez
u 2 +v 2
u 2 +v 2
f
(u 2 +v 2 ) u$ f
(u 2 +v 2 )v$ f
eu +
ev + z$ ez =
u 2 +v 2
u 2 +v 2
f
f
f
u 2 +v 2 (u$ eu + v$ ev ) + z$ ez
83
ds 2
= (u 2 +v 2 ) du 2 + (u 2 +v 2 ) dv 2 + dz 2
= hu hv hz
= u 2 +v 2
u 2 +v 2
f
+
u
f
ev
u 2 +v 2
f f f
+ ez
v
z
1
( Bu hv hz ) + ( Bv hu hz ) + ( Bz hu hv )
hu hv hz u
v
z
f
B =
=
f
eu
Bu
u +v u
1
Bu
u +v u
1
u 2 +v 2 +
u 2 +v 2 +
Bv
v
Bv
v
u 2 +v 2 +
Bz (u 2 +v 2 )
z
B
u 2 +v 2 + z
z
(f )u
2
2 u
u +v
1
f / u
u +v u u 2 +v 2
1
(f )u
v
(f ) z
u 2 +v 2 +
z
f / v
u 2 +v 2 +
v u 2 +v 2
2 f 2 f 2 f
+
+
u 2 +v 2 u 2 v 2 z 2
1
u 2 +v 2 +
f
u 2 +v 2 +
z z
2 f =
hz hu f hu hv f
1 hv hz f
+
+
hu hv hz u hu u v hv v z hz z
do laplaciano para nela substituir os fatores de escala j calculados e obter o mesmo resultado.)
84
f
B =
1
hu hv hz
f
hu eu
/ u
f
hv ev
/ v
hu Bu
hv Bv
f
u 2 +v 2 eu
/ u
f
hz ez
1
/ z = 2 2
u +v
hz Bz
f
u 2 +v 2 ev
/ v
u 2 +v 2 Bu
u 2 +v 2 Bv
f
ez
/ z
Bz
f
i) Usando as expresses da divergncia e do rotacional obtidas no item (h), calcule A e
f f
f
A , onde A (r ) o campo vetorial dado no item (c). Faa os clculos tambm em coordenadas cartesianas, obtendo, obviamente, o mesmo resultado.
f
f
f
f
A = z ex + 2 x e y 3 y ez
DIVERGNCIA:
f
z u + (u 2 v 2 )v f
zv + (u 2 v 2 ) u f
eu +
ev 3 u v ez .
u 2 +v 2
u 2 +v 2
f
Ay Az
A
( z ) + (2 x) + (3 y ) = 0
A ( x, y, z ) = x +
+
=
x
y
z
x
y
z
f
Au
A (u,v , z ) = (u 2 +v 2 ) 1
u
u 2 +v 2 +
Av
v
A
u 2 +v 2 + z
z
(3uv )
z u + (u 2 v 2 )v +
= (u 2 +v 2 ) 1
z v + (u 2 v 2 ) u +
v
z
u
= (u 2 +v 2 ) 1 ( z + 2uv ) + ( z 2uv ) + 0 = 0
ROTACIONAL:
f
ex
f
A ( x, y, z ) = / x
Ax
f
ey
/ y
Ay
f
A (u,v , z ) =
f
ez
f
ex
/ z = / x
Az
z
1
u +v 2
2
1
u 2 +v 2
/ y
2x
f
u 2 +v 2 eu
/ u
u 2 +v 2 Au
f
u 2 +v 2 eu
/ u
z u + (u 2 v 2 )v
f
ey
f
ez
f
f
f
/ z = ex (3) + e y (1) + ez (2)
3 y
f
u 2 +v 2 ev
/ v
u 2 +v 2 Av
f
ez
/ z
Az
f
u 2 +v 2 ev
/ v
z v + (u 2 v 2 ) u
f
ez
/ z
3 uv
f
f
f
= (u 2 +v 2 )1 u 2 +v 2 eu ( 3u + v ) + u 2 +v 2 ev ( u + 3v ) + ez 3u 2 v 2 u 2 + 3v 2
'****(****
'***f*(****
f )
f
f )
v ex + u e y
u ex + v ey
f
= (u 2 +v 2 )1 ex
f
f
3u 2 + v u uv 3v 2 + ey
3uv + v 2 + u 2 + 3uv + ez
'********(********)
'********(********)
u 2 +v 2
3 (u 2 +v 2 )
f f
f
= 3 e x + e y + 2 e z
2'***(***)
u 2 + 2v 2
2 ( u 2 +v 2 )
85
iif
Exerccio 2: Escolha um sistema de coordenadas apropriado e calcule dS e dS para cada
superfcie:
z
Coordenadas cilndricas ( , , z )
iif
f
dS = dS e
superfcie
cilndrica
dS = h d hz dz = d dz
y
x
poro de
plano
x
Coord. cilndricas ( , , z )
iif
f
dS = dS e
dS = h d hz dz = d dz
r0
superfcie
esfrica
dS = h d h d = r02 sen d d
y
x
Coordenadas esfricas (r , , )
iif
f
dS = dS e
dS = hr dr h d = r dr d
Coordenadas esfricas (r , , )
iif
f
dS = dS er
superfcie
cnica
Coord. esfricas (r , , )
iif
f
dS = dS e
dS = hr dr h d = r sen 0 dr d
Exerccio 3:
No sistema de coordenadas curvilneas u1 , u2 e u3 , cujos fatores de escala so h1 , h2 e h3 , respectivamente, obtenha a expresso da energia cintica de uma partcula em
termos dos momentos cannicos pi = T / u$i (potencial independente das velocidades).
T =
ds
1
1
1 ds
1
mv 2 = m
= m 2 = m
2
2 dt
2 dt
2
hi2 dui2
3
i =1
dt
1
m hi2 u$i2 .
2 i
86
1
T
pi =
= m
2 u$i
u$i
h 2j u$ 2j
Logo,
u$ 2j 1
u$ j
1
2
= m hj
= m h 2j 2 u$ j
= m hi2 u$i u$i = pi / mhi2 .
$
$
2
2
u
u
i
j
j
mi
T =
{ 10 sese jj = ii
2
1
1
m hi2 ( pi mhi2 ) =
pi2 hi2 .
2 i
2m i
p2
p2
p2
1 pr2
1 2 p2
+
+
=
+
+
p
2
r
.
2
2
2
2
2
2m hr
h
h 2m
r
r sen
Nota: O aluno que no se sente confortvel com as operaes com diferenciais acima, imagine-as realizadas
antes de se tomar o limite:
2
2
2
ds = lim s = lim (s) = lim
dt t t t (t )2 t
Exerccio 4:
hi2 (ui )2
3
i =1
(t ) 2
2
2 ui
h
i t =
t
i =1
= lim
ui 2
2
lim
h
i t t =
i =1
3
hi2 u$i2
3
i =1
f
2
(r )2 = r 2 2 r 2 2 2r
r
r
f
2
i.e., (r ) 2 = r 2 ( 2 r2 ) =
,
onde, entre os colchetes acima, fizemos uso da seguinte notao para o laplaciano:
2 (r , , ) = 2r +
1
r
com
2r
2
r 2
2
+
r r
1
1 2
.
sen
+
sen 2 2
sen
2
Temos que
f
f
f
e
e
f
f f e
f
+
+
r = r er er
;
= e
sen
r r sen
r
logo;
)(
f
f
f
f
f
e
e
2
e
( r ) = e
sen
sen
f
f
f
e
e
e
f
f f
f
f
= e
e
e
e
+
e
2
sen
sen sen
87
f
f
f e
f 2 f e 1
f 1
e
e
= e
+ e
2
sen
sen
m
m
ef
0f
r
f
f
f
f
2
e
e
e
e
f
f 2
+ e
+
+ e
sen 2 m
sen m
2
f
f
e cos
efr sen
e cos
donde
0+
Vide a
nota ()
ao final
cos
1
2
+
,
sen sen 2 2
f
( r )2 =
1
1 2
2
+
=
sen
2
2
sen
sen
Esta frmula usada, por exemplo, para se obter, na Mecnica Quntica, o operador assof f
ciado ao momento angular quadrtico a partir dos operadores associados posio, r = r , e ao
f
momento linear, p = i :
f f
L 2 = r p
f
f
2
2
2
= ( r ( i) ) = 2 ( r ) = 2
.
f
f
Das expresses dos versores e e e em componentes cartesianos obtidos na p. 76, o estudante pode facilmenf
f
f
f
f
f
f
f
f
te deduzir que e / = er , e / = e cos , e / = 0 e e / = er sen e cos .
()
88
x3
f
e3
x1
f
e2
f
e1
xi ei
i =1
0 se i j
1 se i = j
onde
ij
x2
xi [ yi mii ] = xi yi
i
f f
ei e j = ij ,
b) Produto escalar
f f
f
f
x y = ( xi ei ) ( y j e j ) =
=
f f f
A base {e1 , e2 , e3 } ortonormal:
(B-1)
o delta de Kronecker.
y j ij ]
xi y j ei e j = xi y j ij = xi [ m
f
i, j
i, j
0 s
se j = i
(B-2)
Note o procedimento para realizar somatrios envolvendo o delta de Kronecker: se o ndice 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 Akij = Alij ,
89
Aij A jk kl = Aij A jl , kl km = lm .
Um outro exemplo que bem elucida a conveno do somatrio o formado pela expresso
aij x j
(i = 1, 2,3 e j = 1, 2,3, 4) ,
J a forma quadrtica
i = 1 j =1
Quando um ndice repetido no indicar um somatrio, isso dever ser dito explicitamente.
f
Por exemplo, se Vi for o autovetor correspondente ao i-simo autovalor i da matriz A, ento
f
f
AVi = i Vi (sem somatrio em i ). Duas outras formas usadas para indicar que no h somatf
f
rio num ndice repetido consistem em coloc-lo entre parnteses AV(i ) = (i ) V(i ) ou p-lo
f
f
maisculo AVI = I VI .
d) Produto vetorial
i) Uma permutao par (mpar) da trade 1-2-3 outra trade dos mesmos algarismos que, para ser restaurada trade 1-2-3, necessrio um nmero 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 permutaes mpares. [Outro modo de obter as trades assim classificadas consiste em l-las ao longo da circunferncia direita: no sentido horrio obtemos
as trades pares e no anti-horrio, as mpares.]
f f
f
f
ii) Observe que ei e j = ek ou ek , caso i-j-k seja uma permutao
par ou mpar de 1-2-3, respectivamente:
f f
f
e1 e2 = e3
f
f f
(vale a regra da mo direita)
e2 e3 = e1
f
f
f
e e = e
2
3 1
1
3
f
e3
f
e1
f
e2
E ijk
(B-3)
90
ou seja, E123 = E 231 = E 312 = 1 , E132 = E 213 = E 321 = 1 , E122 = E131 = E 332 = 0 , etc. Tal o
chamado smbolo de permutao ou de Levi-Civita. Observe que
E ijk = (1) P ,
(B-4)
onde P o nmero de transposies de ndices adjacentes em E ijk que os pem na ordem 1-2-3.
Observe que, de acordo com o item (d-ii), temos que:
f f
f
ei e j = E ijk ek .
(B-5)
f f
f
x y = xi y j E ijk ek .
(B-6)
Verifique esta frmula atribuindo os valores 1, 2 e 3 aos ndices. Temos tambm que
f f
f f f
f f
z = x y zm = z em = xi y j E ijk ek em = xi y j E ijk km
f f
zm = ( x y ) m = E ijm xi y j .
(B-7)
f f f
Uma outra maneira de deduzir essas expresses do produto vetorial z = x y e do seu
componente zm consiste em primeiramente verificar que
E ijk = ei e j ek ,
f
f f
(B-8)
ou
f
f
f f f
z = x y = zm em = E ijm xi y j em .
(B-9)
2 = i i ................................................. laplaciano de
91
f
f f
2V = ei j j Vi .......................................... laplaciano de V
f
f
f
V = E ijk iV j ek ....................................... rotacional de V
f
f
( V ) k = E ijk iV j ...................................... 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 demonstrar que
ii = 3 ,
ij ik = jk ,
ij ij = ii = 3
(B-11)
'********(********)
permutaes pares de i -j -k
(B-10)
permutaes mpares de i -j -k
E ijk E ijk = 6
(B-12)
E ijk E ijl = 2 kl
(B-13)
E ijk E lmk = il jm im jl
(B-14)
E ijk E lmn
il
= jl
kl
im in
jm jn
(B-15)
km kn
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 serem verificadas. Para verificar as demais, usamos o fato de que, da ltima identidade acima, obtemos as trs anteriores; observe:
Fazendo n = k na ltima, obtemos a penltima:
E ijk E lmk
il
= jl
kl
im ik
jm jk = il jm m
kk + ik jl km + im jk kl il jk km im jl
kk
m
km kk
'***(***)
im jl
'***(***)
im jl
'***(***)
il jm
ik jm kl = (3 2) il jm + (2 3) im jl = il jm im jl .
'***(***)
il jm
E imk E lmk = il m
ml) E mki E mkl = 2 il ,
mm
'*im
*(**
3
il
92
E ijk E ijk = 2 m
kk = 6 .
3
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 x j = ij
f
(ii) r = i xi = 3
(iii) i r = xi / r
( r = |r | =
f
xj xj
(B-16)
EXEMPLO 1:
f f
f f
f
Para um vetor constante: ( r ) = k ( r ) k = k (E ijk i x j ) = E ijk i k x j = E ijj i = 0
m m
kj
EXEMPLO 2:
f f f
f
f
f
f
( a b ) c = E ijk ai b j ek cl el = E ijk E klm ai b j cl em = ( il jm im jl ) ai b j cl em
f f f
f
f
f f f
= al bm cl em am bl cl em = (a c ) b (b c ) a
(B-17)
f
f
EXEMPLO 3: Se e forem vetores constantes, ento
f f
f f f
f f
f
f
f
f
( r ) = ei i [ j ( r ) j ] = ei i [ j E jkl k xl ] = ei E jkl j k i xl = ei E jki j k =
m
il
EXEMPLO 4:
f f
f
f
f f
( A B ) = ei i E jkl A j Bk el = E jkl ei el i ( A j Bk ) = E jkl il ( Bk i A j + A j i Bk )
= E jki Bk i A j + E jki A j i Bk = Bk E ijk i A j A j E ikj i Bk
f
f f
f
f
f
= Bk ( A) k A j ( B ) j = B A A B ,
(B-19)
f
Em particular, substituindo A por :
f
E ijk ( B) k = i B j j Bi .
f f
f
EXEMPLO 6: Seja A = AE + A um campo vetorial decomposto em dois
componentes vetoriais, um paralelo e outro perpendicular ao versor radial
f
f
er = r / r ; temos que
f
r
(B-18)
(B-20)
f
A
f
A f
AE
f
f
xj ej
f
( A ) er = Ai i
r
1 f
e j Ai ij
=
r
) = ef A r x r x r = ef A r rx fx / rf
f
f f
f rf rf
A x x e
A (A e )e
1 f
= (e A A ) =
r
r ) r
r r
r
93
ij
f
A
=
r
A relao E ijk E ijl = 2 kl tambm surge nas demonstraes algumas vezes. Por exemplo, se
f f
f f
f
f
f
( r ) = ek E kij i ( r ) j = ek E kij i (E jlml xm ) = ek E kij E jlml i xm
m
im
f
f
f
f
= ek l E kij E jli = ek l E ijk E ijl = 2ek k = 2
'**(**)
2 kl
h) Matrizes e determinantes
NOTAO PARA MATRIZES E OPERAES ELEMENTARES
Uma matriz A pode ser denotada atravs dos elementos que a compem, aij : A = ( aij ) .
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 A , temos que
Se C = A B cij = aij bij
(B-21)
(B-22)
(B-23)
DETERMINANTES
Definio de determinante:
ou ainda por a, a letra pura, sem ndices, empregada na notao dos elementos de A = ( aij ) , ,
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 a1 j1 a2 j2 A aN jN { ai11 ai2 2 A aiN N } ( j1 , j2 , A jN distintos { i1 , i2 , AiN
distintos} ) de tais elementos e multiplique-o por +1 ou 1, conforme j1 j2 A jN {
i1 i2 A iN } seja uma permutao par ou mpar, respectivamente, de 1 2 A N ( i.e, multiplique aquele produto por E j1 j2 A jN { E i1 i2 AiN } ). Matematicamente, essa definio assim expressa:
a E j1 j2 A jN a1 j1 a2 j2 A aN jN
(B-24)
94
P5) Se B obtida de A pela multiplicao de uma linha {coluna} por r ento det B = r det 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 B = det A .
O desenvolvimento de Laplace:
ausncia do ndice jI ) podem tomar todos os valores de 1 a N, exceto o j tomado por jI , e que
recebe o valor +1 ou 1, conforme seus ndices formem uma permutao par ou mpar de
1 2 A jI 1 jI +1 A N (a seqncia ordenada dos N 1 primeiros nmeros naturais, excluindo-se valor de jI ). No difcil concluir que
Ej
j1 j2 A jI1 jI +1 A jN
(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 jI de E jJ j1 j2 A jI1 jI+1 A jN (ausente em E#j1 j2 A jI1 jI+1 A jN ), para ocupar sua posio
+1
Ej
j2 A jN
= (1) I 1E jI
j1 j2 A jI 1 jI+1 A jN
(B-26)
pois, para transformar o smbolo de Levi-Civita do primeiro membro, no qual o ndice jI figura
na sua posio normal (a I-sima), naquele do segundo membro, em que jI ocupa a primeira
posio, so necessrias I 1 transposies adjacentes. Logo, substituindo a Eq. (B-25) na Eq.
(B-26), obtemos
Ej
j2 A jN
(B-27)
Essa equao permite escrever a Eq. (B-24) na forma conhecida como a frmula de desenvolvimento de determinantes de Laplace:
a = aI jI AI jI (sem somatrio em I ) ,
(B-28)
95
onde
(B-29)
(B-30)
(B-31)
{a ik Ail = a k l }
(B-32)
(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 determinante 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}.
E k1 k2 AkN ai1 k1 ai2 k2 A aiN kN a E i1 i2 AiN
ou
E k k Ak ak j ak j Aak
1
1 1
jN
a E j1 j2 A jN
(B-34)
1 2 A N . Por fim, se dois ou mais dos ndices k1 k2 A k N so iguais, os dois membros daquela frmula se anulam. Observe alguns exemplos considerando-se N = 3 , caso em que
a segunda frmula acima pode ser escrita na forma
(B-35)
Para l-m-n = 2-3-1 (permutao par de 1-2-3): E ijk ai 2 a j 3 ak1 = E kij ak1ai 2 a j 3 = a
Para l-m-n = 2-1-3 (permutao mpar de 1-2-3): E ijk ai 2 a j1ak 3 = E jik a j1ai 2 ak 3 = a
96
MATRIZES INVERSAS
(B-36)
f
f
f
( A) = A + A :
f
f
f
( A) = i ( Ai ) = Ai i + i Ai = A + A
f
f
f
( A) = A + A :
f
f
f
( A) = E ijk i ( A j ) ek = E ijk ( A j i + i A j ) ek
f
f
f
f
= E ijk ( i ) A j ek + E ijk i A j ek = A + A
f f f f f f f f f
A B C = C A B = B C A:
f f f
f f
A B C = Ai ( B C )i = Ai E jki
(B-38)
(B-39)
(B-40)
f f
f f f
Ck E ijk Ai B j = Ck ( A B) k = C ( A B)
B j Ck =
ou
f f
f f f
E
(
)
B
C
A
=
B
C
A
=
B
(C A)
j
j
j kij k i
f f f f
f f f f
C [ A ( B D )] D [ A ( B C )]
f f
f f
( A B) (C D) = f f f f
f f f f :
B [ A (C D)] A [ B (C D)]
f f
f f
f f f f f
f
( A B ) (C D ) = E ijk ( A B )i (C D ) j ek = E ijk E lmi Al BmE npj Cn D p ek =
f
f
f
=
ou
f
f
f
E jki E npj E lmi Al Bm Cn D p ek = E lmp Al Bm Ck D p ek E lmn Al Bm Cn Dk ek
'**(**)
kn ip kp in
(B-41)
97
f f f f
f f f f
Bk efk Al E npl Cn D p Ak efk Bm E npm Cn D p = B [ A (C D )] A[ B (C D)]
m
'***(***)
'***f*(***
m
f
f
f f
f *)
B
A
( C D )l
(C D )m
=
ou
f
f
C e A E B D D e A E B C = Cf [ Af ( Bf Df )] Df [ Af ( Bf Cf )]
k k l lmp m p
k k l '***(***)
lmn m n
m
m
'****(***
f
f
f f
f f *)
D
( B C )l
C
( B D )l
Q Aij Sij = 0 se A ji = Aij e S ji = Sij (i.e., se Aij e Sij apresentarem anti-simetria e simetria, respectivamente, nos ndices i e j):
Q = Aij Sij = ( A ji ) S ji = A ji S ji = Q 2Q = 0 Q = 0
O resultado depende apenas da anti-simetria de Aij e da simetria de Sij nos dois ndices
sobre os quais o somatrio realizado, podendo, por exemplo, haver outros ndices em A e S
(e.g., Qkl Aijk Sijl = 0 ) ou, ainda, somatrios sobre esses outros ndices (e.g., Ql Aijk Sijkl
= 0 ):
f
= 0 :
2Ql = 0 Ql = 0
f
f
f
Qk ( ) ek = E ijk i ( j ) = 0 = Qk ek = 0 ,
(B-42)
f
V = 0:
f
f
f
V = l el E ijk iV j ek = E ijk kl i lV j = E ijk i k V j = 0 ,
(B-43)
f f
f f
f
f
f
f f
f
( A B) = ( B ) A B ( A) ( A ) B + A ( B) :
(B-44)
f f
f f f
f
f
( A B ) = E ijk i ( A B ) j ek = ek E ijk i (E lmj Al Bm ) = ek E jki E lmj ( Bm i Al + Al i Bm )
f
= ek ( kl im km il )( Bm i Al + Al i Bm )
f
f
f
f
= ek kl im Bm i Al ek km il Bm i Al + ek kl im Al i Bm ek km il Al i Bm
f f
f
f
= Bi i Ak ek ek Bk l Al + ek Ak m Bm Ai i Bk ek
f f
f
f
f
f
f
f
= ( B ) A B ( A) + A ( B) ( A ) B
f f
f
f
f
f
f
f f
f
( A B) = ( B ) A + ( A ) B + B ( A) + A ( B) :
(B-45)
f
f f
f
f
f
f
f
( A ) B + ( B ) A + A ( B) + B ( A)
f f
f f
f
f
= Ai i B j e j + Bi i A j e j + E ijk Ai ( B ) j ek + E ijk Bi ( A) j ek
f
f
f
f
= Ai i B j e j + Bi i A j e j + E ijk Ai E lmj l Bm ek + E ijk Bi E lmj l Am ek
f
f
f
f
= Ai i B j e j + Bi i A j e j + ( kl im km il ) Ai l Bm ek + ( kl im km il ) Bi l Am ek
f
f
f
f
f
f
= Ai i B j e j + Bi i A j e j + Am k Bm ek Al l Bk ek + Bm k Am ek Bl l Ak ek
98
f f
f
f
= ek ( Am k Bm + Bm k Am ) = ek k ( Am Bm ) = ( A B)
f
f
f
f f
f
( A) = ( A) 2 A , onde 2 A ei 2 Ai = ei j j Ai :
(B-46)
(B-47)
f
f f
f
f
( A) = E ijk i ( A) j ek = E ijk i E lmj l Am ek = E ijk E lmj i l Am ek
f
f
f
= ( kl im km il ) i l Am ek = m k Am ek l l Ak ek =
f
f
f
f
= ek k m Am ek l l Ak = ( A) 2 A
det ( A B) = E ijk ( AB)i1 ( AB) j 2 ( AB) k 3 = E ijk ail bl1a jm bm 2 akn bn3
= E ijk ail a jm akn bl1bm 2 bn3 = (det A) E lmn bl1bm 2 bn3 = (det A) (det B)
'*****(*****)
E lmn det A
jk
Ak j akl xl = a x j = Ak j bk
'**(**
)
a jl
(B-48)
x j = ( Ak j bk ) / a
onde usamos a Eq. (B-33). Note que Akj bk 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 A = (aij ) substituindo-se a j-sima coluna pelos b1 , b2 , A :
a 11 A b1 A a 1N
B
B
Akj bk = det B
a Ab Aa
N
NN
N1
j -sima
coluna
( r )2
f
f
2
(r )2 = r 2 2 r 2 2 2r
:
r
r
f
f
= ( r )k ( r )k = E ijk xi j E lmk xl m = ( il jm im jl ) xi j ( xl m )
= xi j ( xi j x j i ) = xi [ ( j xi ) j + xi j j ( j x j ) i x j j i ]
m
m
ji
= ( xi i + xi xi j j 3 xi i xi x j j i ) = ( xi xi j j 2 xi i xi x j j i )
99
2
= r 2 2 2 r xi x j j i = r 2 2 2r
r2 2
r
r
(QED) ,
+
+
r = r er
=r
r
r
r
r sen
e tambm que
() f
f
f f
f
xi x j j i = xi r ( i ) = r xi i ( ) = r (r ) = r r ( )
r
f
f
2
()
e
f
r
1
2
r
r
r
=
= rr
2 + r2
=
r
r r
r
r r
r r
r 2
( )
()
f e
e
e
=
+
+
=
+
+
+
r
r
r
r sen
r r
r sen r r 2
r
r
r
r r
r2 r
f
e
1
=
2 + r2
r r
r r
onde
hi =
f
r
ui
(i = 1, 2, 3) .
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 hi no conta), no sendo ligado a soma alguma.
f
f
Mas, no termo (ei / hi ) f / ui , i est repetido (aparece em ei e ui ), sendo, por
f
conseguinte, um ndice ligado; esse termo igual a (e1 / h1 ) f / u1 +
f
f
(e2 / h2 ) f / u2 + (e3 / h3 ) f / u3 .
100
f
ei f
f =
hi ui
f
f
f
e3 f
e1 f
e2 f
f =
+
+
.
h1 u1 h2 u2 h3 u3
ou
(B-49)
u j =
ij
f
ej
hj
(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), primeiramente escrever um dos versores em termos dos outros dois e, depois, substituir esses dois
pelas expresses que a Eq. (B-50) fornece:
f
f f
E ijk ek = ei e j
E ijl
2 kl
,**-**
.f
f f
E ijk E ijl ek = E ijl ei e j
'***(***)
f
2 el
f hi h j
E ijl ui u j .
el =
2
f
= ( Fl el
(2)
(3)
(1)
1
E ijl ( Fl hi h j ui u j
2
(B-51)
1
E ijl ( Fl hi h j ) ui u j + Fl hi h j ( ui u j )
'******(******)
2
f
f
1
1 ( Fl hi h j ) f ei e j
ek
.
E ijl
uk
hk
hi h j
2
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, aquelas nas Eqs. (B-18) e (B-42) para justificar que o ltimo termo entre colchetes nulo:
( ui u j ) = u j ui ui u j = 0 .
'**(**)
'***(**
f
f *)
0
101
onde
S klij
) =E
( Fl hi h j
1
1
uk
2 hi h j hk
ijk
E ijl S klij ,
(B-52)
(B-53)
Usando a Eq. (B-57) deduzida na Nota (ii) ao final desta seo, obtemos
f
F = 2 ( S1123 + S 2213 + S3312 ) =
( F1 h2 h3 )
( F2 h1 h3 )
( F3 h1 h2 )
1
1
1
+
+
,
u1
u2
u3
h2 h3 h1
h1 h3 h2
h1 h2 h3
ou, finalmente,
f
F =
( F1 h2 h3 ) ( F2 h1 h3 ) ( F3 h1 h2 )
1
+
+
,
h1 h2 h3
u1
u2
u3
(B-54)
m
h1 u1 1 h2 u2 2 h3 u3 3
f
'**(**)
'**(**)
'**(**)
F
F1
F2
F3
logo, substituindo F1 = (f / u1 ) / h1 , etc, na Eq. (B-54), obtemos
2 f =
1
h1 h2 h3
h2 h3 f
h1 h3 f
h1 h2 f
h u +
h u +
u2 2
u3 h3 u3
1
2
u1 1
(B-55)
f
f
F = ( Fl el
= ( Fl hl ul
= ( Fl hl ) ul + Fl hl ul
'**(**)
f
f
f
f
1 ( Fl hl ) f el
1 ( Fl hl )
1
ei
=
=
E ilm em =
E mil (hm em ) ( / ui ) ( Fl hl )
hi ui
hl
hi hl ui
hm hi hl
0
( hm hi hl
102
f
onde a1m hm em , a2i / ui e a3l Fl hl . Logo, notando que hm hi hl = h1 h2 h3 se m, i e l
forem distintos (que caso devido presena de E mil ) e usando a Eq. (B-24), obtemos, formalmente, o resultado
f
F
1
E mil a1m a2i a3l =
h1 h2 h3
1
h1 h2 h3
f
f
h1 e1
h2 e2
/ u1 / u2
F1 h1
F2 h2
f
h3 e3
/ u3
F3 h3
(B-56)
Notas:
i ) Demonstrao das propriedades dos determinantes
(ainda a ser feito)
ii ) O somatrio E ij k E ij l Sklij
Esse somatrio aparece na Eq. (B-52), onde Sklij qualquer grandeza simtrica nos ndices i e j: Sklij = Sklji
[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 E ijk .
(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, E ijk ou E ijl nulo por apresentar ndices iguais.
Logo, o somatrio qudruplo que se deseja calcular resume-se na soma dos seguintes termos:
k = l =1
k =l =2
k =l =3
,**************-**************.
,**************
*-***************.
,**************-**************.
E
E
S
+
E
E
S
+
E
E
S
+
E
E
S
+
E
E
S
( 231 231 1123 321 321 1132 ) ( 132 132 2213 312 312 2231 ) ( 123 123 3312 + E 213 E 213 S3321 )
(B-57)
103
P2 : xi (t2 ) = i (t2 , u )
i (t , u )
xi (t ) = i (t , 0)
P1 : x i (t1 ) = i (t1, u )
I=
t2
L (t , xi , x$ i ) dt
(C-1)
t1
em comparao com todos os valores dessa integral sobre as curvas que difiram infinitesimalmente da curva extremante x i (t ) e que tambm passam por P 1 e P 2 . 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 relacionadas pelo parmetro infinitesimal u:
i (t , u ) x i ( t ) + u i ( t ) ,
(C-2)
i (t1 ) = i (t2 ) = 0 ,
(C-3)
assim se garantindo que todas as curvas da famlia passem pelos pontos P 1 e P 2 . A derivada
$ i (t , u ) = x$ i (t ) + u $ i (t ) .
(C-4)
I (u ) =
t2
t1
L [ t , i (t , u ), $ i (t , u ) ] dt .
Por construo, o valor extremo dessa integral ocorre ao longo da curva i (t , 0) = x i (t ) (aquela
que na famlia est associada ao valor u = 0 do parmetro); esta hiptese implica que
dI
(0) =
du
(
t2
t1
L i L $ i
+
i u $ i u
u =0
dt = 0
(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 Hamilton, vindo L a ser, nesses casos, a lagrangiana ou a densidade de lagrangiana do sistema.
104
tituindo nesta equao os resultados que se obtm com a ajuda das Eqs. (C-2) e (C-4),
i
u
$ i
u
u=0
u=0
= i ,
(t , i , $ i )
L
(t , i , $ i )
i
$
= $ i ,
u=0
u=0
=
=
(
t2
t1
L i L $ i
+ i
xi
x$
u =0
dt =
=
t2
t1
t2
t1
L i
L i 2
dt
+
xi
x$ i t1
'****(****)
t
L d L
xi dt x$ i
(t , xi , x$ i ) ,
L
(t , xi , x$ i ) ,
i
x$
t2
t1
d L
dt x$ i
i dt
i dt = 0 ,
onde o valor zero indicado justificado pela Eq. (C-3). Como i so todos arbitrrios e independentes um dos outros, conclumos que o termo entre colchetes na ltima integral nulo:
d L L
=0
dt x$ i xi
( i = 1, 2A N ) .
(C-6)
Essas so as chamadas equaes de Euler-Lagrange. Elas devem ser satisfeitas pelas funes x i (t ) que especificam parametricamente a curva ao longo da qual o valor da integral fundamental 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 coordenadas esfricas, a integral a ser minimizada a seguinte:
P2
1
ds =
R 2 d 2 + R 2 sen 2 d 2 = R
P2
1
2
1
1 + $ 2 sen 2 d [com $ d / d ] .
()
Note que, embora o espao formado pelos pontos de coordenadas ( , ) na superfcie esfrica seja bidimensional, a funo fundamental no se apresenta na forma L (t , x1 , x 2 , x$1 , x$ 2 ) = L (t , , , $, $ ) , pois as curvas no esto
()
( )
L
d L
d $
ou
$ sen 2
= c1 $ 2 =
1 + $ 2 sen 2
105
$ sen 2
0 = 0 ,
$
1 + sen
c12
sen (sen
2
c12 )
| c1 |
d
=
.
d sen sen 2 c 2
1
(C-7)
d d du d
d
d
=
=
= (1 + u 2 )
( csc 2 ) = (1 + cot 2 )
d
du d
du
du
du
sen =
1
=
csc
1 + cot
2
1 + u2
d
=
du
| c1 |
1
1+ u
1+ u
c12
| c1 | (1 + u 2 )
1 c12 c12 u 2
| c1 |
1
d
=
=
2
2
du
c
1 c1
'**(**)
1 1 2 u2
1/
1 c1
= arccos
(1/ )
1 (u / )2
( : const. de integrao)
cot = '**(**
cos ) cos + '**(**)
sen sen = a cos + b sen
a
| c1 | (1 + u 2 )
(1 c12 ) 1
c12
1 c12
u 2
d
u
arccos
du
cot
= cos( )
(a e b: constantes arbitrrias) .
(C-8)
106
Nota: Para afirmar que a Eq. (C-8) representa um grande crculo genrico, devemos mostrar que as constantes 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
| $ sen 2 | | $ sen | <
1 + $ 2 sen 2
Eq. (C-7)
| c1 | < 1
| c1 | 1 1 c12 [0, ) .
Alm disso, , por ser uma constante de integrao, arbitrria. Logo, podemos encarar e nas equaes
a = cos e b = sen , que definem a e b, como as coordenadas polares de um ponto genrico do { 2 cujas
coordenadas cartesianas so (a, b) . Assim, sendo a e b constantes arbitrrias, ento A = aC e B = bC tambm o so.
tremante x i (t ) , produz uma curva arbitrria xi (t ) [que a notao a ser aqui adotada para a
curva i (t , u ) dada pela Eq. (C-2) ] que passa pelos pontos P 1 [ x i (t1 )] e P 2 [ x i (t2 )] :
xi (t )
xi (t ) = xi (t ) + xi (t )
variao de x ( t )
x (t1 ) = x (t2 ) = 0
i
(C-9a)
(C-9b)
I =
onde
t2
t1
L (t , x , x$i ) dt
i
t2
t1
L (t , x , x$ i ) dt =
i
t2
t1
L dt = 0 ,
L = L (t , xi , x$ i ) L (t , xi , x$ i ) = L (t , xi + xi , x$ i + x$ i ) L (t , xi , x$ i ) =
sendo L / xi e L / x$ i calculados com a curva extremante. Note que
x$ i = x$ i x$ i =
(C-10)
xi +
i
L i
x$ ,
x$ i
(C-11)
d xi
d
,
( x i x i ) =
dt
dt
(C-12)
L =
xi +
i
L d xi
x$ i dt
d L
L
= i i
dt x$
x
xi +
d L i
x
dt x$ i
d L
dt x$ i
xi + d L xi .
dt x$ i
xi ,
(C-13)
107
t2
t1
L dt =
t2
t1
L d L
dt i i
dt x$
x
2
xi + L xi
=0 ,
x$ i
t = t1
'*****(*****)
(C-14)
ou da forma isoperimtrica ()
t2
t1
k (t , xi , x$ i ) = 0
l (t , xi , x$ i ) dt = cl = constante
[ k = 1, 2 A K < N ]
[ l = K + 1, A , K + L ] .
(C-15)
(C-16)
0=
t2
t1
k k (t , xi , x$ i ) dt ,
(C-17)
0=
t2
t1
k k (t , xi , x$ i ) dt ck k
(C-18)
e, ento, adicionarmos membro a membro as Eqs. (C-17) e (C-18) resultantes dessas operaes e
a Eq. (C-1), obtemos
I =
onde
t2
t1
L dt cl l ,
L (t , xi , x$ i , m ) L (t , xi , x$ i ) + m m (t , xi , x$ i ) ,
(C-19)
(C-20)
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).
108
K vnculos na Eq. (C-15), os L vnculos na Eq. (C-16) e todos os M = K + L vnculos, respectivamente. Mais explicitamente, o ndice k deve variar de 1 a K, o ndice l, de K + 1 a K + L = M
e o ndice m, de 1 a M. Por exemplo, os m
m = K + 1,A, K + L
so os l da Eq. (C-16).
m =1,A, K
so os k da Eq. (C-15) e os
t2
k (t ) = k + k (t )
l = l + l ,
(C-21)
I =
consoante a Eq. (C-19). Mas
t1
L dt cll = 0 ,
(C-22)
L i L
L
L
d L
d L i
i
L =
x +
x$ +
m =
x +
m +
x ,
dt x$ i
dt x$ i
m
m
xi
x$ i
xi
t2
onde este ltimo termo (derivada total) surge da eliminao dos x$ i , 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 m m = K + 1,A, K + L = l podem sair da integral por serem constantes, obtemos
(
t2
t1
L d L
xi +
dt
i
i
dt x$ )
x
'*******(*******
0
t2
t1
t2
L
L
k +
cl l = 0 ,
dt
dt
k
t1
l
m
'********(********
)
0
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
d L L
= 0 ( i = 1, 2A N ) ,
(C-23)
dt x$ i
xi
()
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 (t1 , t2 ) e ainda deix-la arbitrria
109
L
= k (t , xi , x$ i ) = 0
k
t2
t1
L
dt
=
l
t2
t1
[ k = 1, 2 A K ] ,
(C-24)
dt l (t , xi , x$ i ) = cl [ l = K + 1, A K + L ] .
(C-25)
I=
t2
t1
(C-26)
( zi ) = zi zi R 2 = 0 (superfcie esfrica) .
(C-27)
z$i z$i + ( zi zi R 2 )
[ = (t )]
( ) 2 z
L
d L
d z$k
=
zk
dt z$k
dt s$
=0 .
onde um ponto sobre a letra denota agora derivada em relao a s. Essas equaes e a Eq. (C-27)
so, na notao corriqueira ( z1 , z2 , z3 ) = ( x, y, z ) ,
x$$ 2 ( s ) x ( s ) = 0 ,
$$y 2 ( s ) y ( s ) = 0 ,
$$z 2 ( s ) z ( s ) = 0 ,
x2 + y2 + z 2 = R2 .
(C-28)
110
()
()
$$
x
$$
z
1
1 d
1 d 2 d x
d x
= 0 z2
= C1 = const.
x = ( $$
x z $$
z x) =
z
( x$ z x z$ ) =
z
z
z ds
z ds ds z
ds z
$$
y
$$
z
1
1 d
1 d 2 d y
d y
y = ( $$
y z $$
z x) =
z
= 0 z2
= C2 = const.
( y$ z y z$ ) =
z
z
z ds
z ds ds z
ds z
()
( ) = C1 dsd ( zy )
()
integrando
1 x
1 y
=
+ C3 ,
C1 z
C2 z
Ax + B y +C z = 0 ,
D L (t , x , x ) d t
j
[ j xi xi / t j ] ,
(C-29)
mante, a esta acrescentamos variaes xi (t ) , arbitrrias a menos de serem nulas sobre a fron-
variao de x (t )
xi (D ) = 0
xi (t j ) = x i (t j ) + xi (t j )
(C-30a)
(C-30b)
I =
onde
L (t j , xi , j xi ) d J t
L (t j xi , j xi ) d J t =
D L dt = 0
111
(C-31)
L = L (t j , xi , j xi ) L (t j , xi , j xi ) = L [ t j , xi + xi , j xi + ( j xi ) ] L (t j , xi , j xi )
=
xi +
( j x )
i
( j x i ) ,
(C-32)
( j x i ) = j x i j x i =
xi
t j
xi
t j
( x i x i )
t j
xi
t j
(C-33)
L =
xi +
i
xi
( j x ) t
i
xi +
L xi
L i
x ,
j
i
j ( x i )
t ( j x )
t
j
L
L i
L xi
= i j
i x +
i
t ( j x )
t j ( j x )
x
(C-34)
L
L i
L xi
dJt i j
dJt j
i x +
i
= 0 .
t ( j x )
t ( j x )
x
D
D
(C-35)
Finalmente, tendo em conta que a segunda integral acima nula (verificaremos isso logo
adiante) e que todos os xi so arbitrrios e independentes um dos outros, conclumos que devemos igualar a zero o termo entre colchetes na primeira integral e assim obter
L L
=0
t j ( j xi ) xi
( i = 1, 2 A N ) .
(C-36)
Essas N equaes foram deduzidas da Eq. (C-31) avaliada com a parametrizao extremante
xi (t j ) , 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 t j para obter uma nova integral mltipla (de multiplicidade J 1 ) cujo integrando o termo [L / ( j xi )] xi 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 mltipla 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 estudo 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.
d t j
D
j =1 t
J
=
j
D d
Pj (
gj
dt j
fj
t j
L xi
i
( j x )
L
= 0 .
xi
t
i
( j x )
tj= f j
'********(********)
J 1
gj
0 ()
onde
L xi
1
j 1
dt j +1 A dt J
( x i )
= dt A dt
j
j '************(************)
int egral de multiplicidade J 1 sobre Pj (D )
112
(C-37)
que D =
{ (t ,A, t
1
j 1
, t j , t j +1 , A, t J ), com f
()
dadas por
t = f
j
A nulidade do termo indicado com () na Eq. (C-37) justificada pelo fato de que
= xi j j = 0 , j que as hipersuperfcies t j = f j e t j = g j esto contidas na
j
j
t =f
t =g
Admite-se que as funes f j e g j ( j = 1, A , J ) possam ser definidas conforme descritas 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 abscissa 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 ()
t 0 L dx dt ,
t2
onde L (t , x, y , y$ , y ) = y$ 2 / 2 y 2 / 2 ,
(C-38)
sendo usadas as notaes: y$ y / t e y y / x . Temos um problema com uma funo incgnita ( N = 1) e dois parmetros ( J = 2) , para o qual a Eq. (C-36) [com a substituio de notao x1 y , t1 t e t 2 x ] fornece
L
L L
+
=0
t y$ x y y
( y$ ) ( y ) 0 = 0
t
x
y =
$$y ,
(C-39)
()
No { J , uma hipersuperfcie o lugar geomtrico cujos pontos tm coordenadas que satisfazem uma nica equao: f ( x1 , x 2 A x J ) = 0 .
()
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).
113
quando cada um desses parmetros se tornar infinito: t j (ou ). Por exemplo, nos problemas eletromagnticos em todo o espao, as densidades de carga eltrica e de corrente elf
trica J so consideradas localizadas numa extenso finita do espao para garantir que os potenciais tendam a zero no infinito. Em tais problemas, as equaes de Maxwell resultam da minimizao da seguinte integral mltipla [integral no tempo t (t1 , t2 ) e em todas as posies
f
f
r = z j e j do espao]
t2
{3
t1
L d 3r dt ,
onde L =
0 f 2
2
1 f2 f f
B + J A .
2 0
(C-40)
f
f
f
f
Usando as conhecidas expresses dos campos eltrico E = Ek ek e magntico B = Bk ek
f
f
em termos dos potenciais escalar e vetor A = Ak ek ,
f
f
A
E =
t
ou
Ek = k 0 Ak
f
f
B = A ou
( k / zk , 0 Ak Ak / t )
Bk = E kji j Ai
( j Ai Ai / z j ) ,
(C-41)
(C-42)
L =
=
=
0
2
0
2
Ek Ek
2 0
1
Bk Bk + J i Ai
( k + 0 Ak ) ( k + 0 Ak )
( k + 0 Ak ) ( k + 0 Ak )
2 0
1
E kji ( j Ai ) E kml ( m Al ) + J i Ai
( j Ai ) ( j Ai ) ( j Ai ) ( i A j ) + J i Ai ,
2 0
(C-43)
1
onde usamos a frmula E kji E kml = jm il kl im . Numa situao mais genrica que a presente
L = L (t , z j , , Ai , 0 , j , 0 Ai , j Ai ) ,
m m '********(********)
tj
xi
j xi
114
L
L
+
=0
t ( 0 ) z j ( j )
(C-44)
L
L
+
=0 .
t ( 0 Ai ) z j ( j Ai ) Ai
(C-45)
L
=0 ,
( 0 )
Substituindo
L
= 0 ( j + 0 A j )
( j )
L
=
0 + 0
f
E j
( j + 0 A j ) + = 0
+ = 0 E + = 0 ,
z j '****(****)
z j
E j
(C-46)
L
1
=
( A i A j )
( j Ai )
0 j i
L
= Ji
Ai
1
( i + 0 Ai )
( j Ai i A j ) J i
0 z j '****(****)
t '****(****)
Ei
= 0
E kji Bk
f
( B)i
E
= Ji + 0 i
t
Ei
1
E ijk
Bk J i
+
0
t
z j
'****(****
)
f
f
f f
E
B = J + 0
0
t
1
( B )i
f
onde usamos as Eqs. (B-20) e (C-42): j Ai i A j = E kji ( A) k = E kji Bk .
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 equaes, de fato, harmonizam-se com as equaes de Maxwell homogneas, a que atesta a inexistncia de plos magnticos e a que expressa a lei de Faraday:
f
f
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. Lifshitz
115
f
f
f
f
f
f
f B
( A)
A
A ( A)
=
+
=
+
=
0
E +
'***(**
f *)
t
t
t
t
t
0
L (t j , xi , j xi ) d J t
k (t j , xi , j xi ) = 0
[ j xi xi / t j ] ,
[ k = 1, 2 A K < N ]
(C-47)
(C-48)
l (t j , xi , j xi ) dt = cl = constante
[ l = K + 1, A , K + L ] .
(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 )
( k = 1, 2 A K ) e integramos em D, multiplicamos Eq. (C-49) por constantes l ( l = K + 1, A ,
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
I =
onde
D L
d J t cl l ,
L (t j , xi , j xi , m ) L (t j , xi , j xi ) + m m (t j , xi , j xi ) ,
(C-50)
(C-51)
Usando as Eqs. (C-9a,b) e (C-21) para definir xi e m como variaes em torno das
expresses x i (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
I =
onde
d J t cl l = 0 ,
L
L =
x +
( j x ) +
m
m
xi
( j x i )
D L
L
L
L
i L
xi ,
x
= i j
+
+
m
i
i
j
m
t ( j x )
t ( j x )
(C-52)
116
na qual o ltimo termo surge da eliminao dos ( j xi ) , atravs da Eq. (C-33), do mesmo modo como se fez na Eq. (C-34). Com esse resultado, a Eq. (C-52) torna-se
L
L
i
J L
+
k +
dJt i j
x
d
t
i
k
x
t ( j x )
D
D
'**********
m
*(***********)
L
L
xi = 0 .
dJt
dJt j
cl l +
i
D
l
t ( j x )
D
'********(********)
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 coeficientes de grandezas arbitrrias e independentes (as variaes), s com a nulidade deles o
membro direito da equao se anula. Temos, portanto, as trs equaes
L
xi
j
=0
i
t ( j x )
L
= (t j , xi , j xi ) = 0
k
L
d t
d J t l (t j , xi , j xi ) = cl
=
l
D
D
J
( i = 1, A, N ) ,
(C-53)
( k = 1, A, K ) ,
(C-54)
( l = J + 1, A, J + L ) .
(C-55)
Reconhecem-se os vnculos nas Eqs. (C-54) e (C-55). Logo, para se obter a soluo xi (t j ) 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, originf
rias do potencial V (r ) . A conservao da energia exprime-se atravs da constncia do valor
f
f
esperado da hamiltoniana em qualquer estado possvel: H = (r ) H (r ) dV = constanV
te para todo possvel. Isto significa que, sob quaisquer variaes do estado do sistema considerado ( e arbitrrios: vide nota ao final), H estacionrio: H = 0 . Esta equaf
f
o, lembrando que H = P 2 / 2m + V , com P = i , desdobra-se na equao
[ ( 2 / 2m) 2 + V ] dV = 0 , ou
V
L dV = 0 ,
com L =
2
+ V .
2m
(C-56)
Note que as derivadas segundas presentes no termo 2 foram eliminadas, um passo necessrio 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
2 dV =
[ ( ) ] dV =
dS
iif
S
'******(******)
117
dV ,
onde aplicamos o teorema da divergncia para obter uma integral de superfcie que nula desde
f
que se admita que 0 "suficientemente rpido" quando | r | .
Naturalmente, tambm devemos impor a condio de normalizao
dV = 1 ,
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
L - =
j
2m
) ( ) + ( V ) = L ( z , ,
, j , j ,
onde j / z j , a derivada parcial de em relao coordenada cartesiana z j . As funes incgnitas a serem determinadas de modo a satisfazer a Eq. (C-56) e o vnculo na Eq.
f
f
(C-57) so (r ) e ( r ) (vide nota ao final). A essas duas funes correspondem duas equa-
L
2
= (V )
j = 0
z j ( j )
z j 2m
2 2
+ V = , (C-58)
2m
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
L ( z j , f , g, j f , j g, ) =
2
( j f ) ( j f ) + ( j g ) ( j g ) + (V ) ( f 2 + g 2 ) ,
2m
pela qual se v claramente a existncia de duas funes incgnitas no problema: f e g. As equaes de EulerLagrange correspondentes so as tambm equaes de Schdinger:
2 2
f +V f = f
2m
2 2
g + Vg = g .
2m
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].
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,
Kogakusha, Ltd., Tokyo, 1975.
McGraw-Hill
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).