Escolar Documentos
Profissional Documentos
Cultura Documentos
Publicao IF - EBook
1666/2011
26/08/2011
Jos
e Maria Filardo Bassalo
(www.bassalo.com.br)
Mauro S
ergio Dorsa Cattani
(mcattani@if.usp.br)
CALCULO
EXTERIOR PARA FISICOS
2008
Pref
acio
ii
Veloso Martins, da Faculdade de Matematica da Universidade Federal do Para
(F M/U F P A), pelo esclarecimento sobre a aplicacao da Derivada de Lie usada no
Captulo 6; ao professor Marcelo Otavio Caminha Gomes, do Instituto de Fsica
da Universidade de Sao Paulo (IF/U SP ) e Sra. Virgnia de Paiva Franceschelli,
Bibliotecaria do IF/U SP , pelo acesso a alguns artigos usados neste livro; e a
professora Cristina Vaz, da F M/U F P A, pelo auxlio na impressao do texto em
TEX.
Por fim, queremos tambem agradecer a Jose Roberto Marinho, Editor
da Livraria da Fsica, pela oportunidade que oferece aos alunos e professores brasileiros de colocar `a disposicao deles textos didaticos de autores tambem
brasileiros.
Belem / Sao Paulo, abril de 2008
Jose Maria Filardo Bassalo - Secretario Executivo da Fundacao Minerva
Mauro Sergio Dorsa Cattani - Professor Titular do IFUSP
Sum
ario
Captulo 1 - 1. 1 Espa
cos Vetoriais / 3
1.1.1 Definicoes e Propriedades / 3
1.1.2 Espacos Duais / 6
1.1.3 Espacos Vetoriais Euclidianos / 9
1.1.4 Transformacoes ou Operadores Lineares / 14
Problemas (1.1) / 21
Captulo 2 - 2.1 Tensores / 23
2.1.1 Produto Tensorial de Espacos Vetoriais / 23
2.1.2 Algebra
Tensorial / 26
2.1.3 Smbolos de Kronecker e de Levi-Civita, Determinantes / 29
2.1.4 Tensor de Levi-Civita / 32
Problemas (2.1) / 37
3.1.2 Algebra
Exterior de ordem p / 44
3.1.3 Produto Exterior entre p-vetores (formas) / 51
3.1.4 Dualidade / 52
3.1.5 Produto Interno entre p-vetores (formas) / 57
Problemas (3.1) / 59
Captulo 4 - 4.1 Diferencia
c
ao Exterior / 61
4.1.1 Formas Diferenciais / 61
4.1.2 Diferenciacao de Formas / 62
4.1.3 Aplicacoes e Mudanca de Variaveis / 70
4.1.4 Variedades e Sistemas de Coordenadas / 74
4.1.5 Campos Vetoriais e Tensoriais sobre Variedades / 81
4.1.6 Variedades Riemanianas / 95
Problemas (4.1) / 105
Captulo 5 - 5.1 Integra
c
ao Exterior / 107
5.1.1 Integracao de Formas / 107
5.1.2 Teorema Generalizado de Stokes / 111
5.1.3 Derivada de Lie / 115
5.1.4 Derivada Convectiva e Integracao sobre um Domnio Movel / 120
Problemas (5.1) / 121
iv
Bibliografia - Parte 1 / 122
Captulo 6 - 6.1 Mec
anica / 127
6.1.1 Introducao: Geometria dos Espacos Fsicos / 127
6.1.1.1 Variedade (Manifold) / 128
6.1.1.2 Variedade Diferenciavel / 128
6.1.1.3 Espacos Fsicos Contnuos / 129
6.1.1.4 Espaco Tangente / 129
6.1.1.5 Espaco Tangente Fibrado / 130
6.1.2 Mecanica Lagrangiana em Variedades / 132
6.1.2.1 Espaco Tangente / 132
6.1.3 Mecanica Hamiltoniana Simpletica / 132
6.1.3.1 Variedade Simpletica / 132
6.1.3.2 Fibrado Cotangente e sua Estrutura Simpletica / 133
6.1.4 Campos Vetoriais Hamiltonianos / 133
6.1.4.1 Evolucao Temporal / 135
6.1.4.2 Transformacoes Canonicas / 137
7.1.1
7.1.2
7.1.3
7.1.4
8.1.1
8.1.2
8.1.3
8.1.4
8.1.5
Indice Onom
astico / 189
Captulo 1
1.1 Espa
cos Vetoriais
1.1.1 Definic
oes e Propriedades
Definic
ao 1.1.1.1. Um espa
co vetorial E e um conjunto de elementos, chamados
vetores, com uma operacao de adic
ao (+), a qual para cada par de vetores x e y faz
corresponder um vetor x + y, e uma operacao de multiplica
c
ao escalar, a qual para cada
vetor x e um n
umero a faz corresponder um vetor ax. Essas operacoes devem satisfazer as
seguintes propriedades:
1. x + y = y + x (comutatividade);
2. x + (y + z) = (x + y) + z (associatividade na adicao);
3. x + 0 = 0 + x = x (elemento neutro da adicao);
4. x + (- x) = 0 (elemento inverso da adicao);
5. a (x + y) = a x + a y (distributividade por vetores);
6. (a + b) x = a x + b x (distributividade por n
umeros);
7. a (b x) = (a b) x (associatividade na multiplicacao);
8. 1x = x (elemento neutro da multiplicacao),
para quaisquer vetores x, y e z e os n
umeros a e b. Esses n
umeros sao chamados de
escalares e pertencem a um corpo K, que pode ser real (R) ou complexo (C).
Exemplos
Relacionamos abaixo, e sem fazer a demonstracao, alguns exemplos de espacos vetoriais.
E1. Conjunto de n
umeros complexos (a + bi), com as operacoes de adicao complexa
e do produto por um n
umero real;
E2. Conjunto de polinomios em uma variavel [P (x)], com coeficientes constitudos
de n
umeros com as operacoes de adicao ordinaria de polinomios e a multiplicacao de um
polinomio por um escalar;
E3. Conjunto de todas as n-uplas [x = (xi ), y = (yi ), z = (zi ) , ... (i = 1, 2,
..., n)] de n
umeros com a adicao entre elas definida por:
x + y = (x1 + y1 , x2 + y2 , ... xn + yn ) ,
e a multiplicacao por um escalar a definida por:
a x = (a x1 , a x2 , ... a xn ) .
Definic
ao 1.1.1.2. Um conjunto de vetores {ei } e dito:
a. Linearmente Dependente (L.D.) se ha um conjunto de escalares ai , pertencente a um corpo K, nao todos nulos, tal que:
i=n
P
ai ei = 0 ;
i=1
ai ei = 0
ai = 0,
i.
i=1
i=n
P
ai ei = ai ei .
i=1
Definic
ao 1.1.1.3. Um conjunto de vetores {ei } e chamado um gerador de um
espaco vetorial E, se cada vetor x desse espaco pode ser escrito na forma:
x = xi ei .
(1.1.1.1a)
Definic
ao 1.1.1.4 - Base. Um conjunto de vetores {ei } e chamado uma base de
um espaco vetorial E, se ele e um conjunto de vetores linearmente independentes e gera o
espaco E. O n
umero desses vetores e chamado de dimens
ao de E.
Assim, em vista das definicoes acima, se x e um vetor de um espaco vetorial E, ele
e representado pela equacao (1.1.1.1a), na qual os xi representam os componentes daquele
vetor na base {ei }. Demonstra-se que um espaco vetorial E tem uma infinidade de bases.
Mudanca de Base. Seja um espaco vetorial E e sejam {ei } e {
ej } duas bases do
mesmo, onde i = j = 1, 2, ..., n. Usando-se a expressao (1.1.1.1a), os vetores de uma dessas
bases podem ser escritos em termos dos vetores da outra, da seguinte maneira:
ej = sij ei ,
(1.1.1.2a)
onde os coeficientes sij sao escalares. Analogamente, para a transformacao inversa, vale:
ei = sji ej ,
(1.1.1.2b)
Entre os coeficientes sij e sji existem relacoes bem determinadas. Antes de obtermos
essas relacoes, vamos introduzir o smbolo de Kronecker, que e assim definido:
nm = mn = mn = 1,
nm = mn = mn = 0,
se m = n,
se m 6= n .
(1.1.1.3a)
Observe-se que esse smbolo apresenta a propriedade de trocar ndices toda vez que o mesmo
atuar sobre quantidades indiciadas. Por exemplo:
n
nm am
r = ar
nm arm = arn .
ou
(1.1.1.3b)
jk ek = (sij ski ) ek
Como os vetores ek sao L.I., a Definicao 1.1.1.2a nos permite escrever que:
jk sij ski = 0
jk = sij ski .
(1.1.1.4a)
x = xi ei = xj ej .
(1.1.1.1b)
xi ei = xj sij ei
(xi xj sij ) ei = 0 ,
(
xj xi sji ) ej = 0 .
e:
xi sji ej = xj ej
xi = sij xj ,
xj = sji xi .
(1.1.1.5a,b)
Exerccios (1.1.1)
ei = sji skj ek
ik ek = sji skj ek
Como os vetores ek sao L.I., a Definicao 1.1.1.2a nos permite escrever que:
ik = sji skj .
(1.1.1.4b)
f (ei ) = ai ,
(1.1.2.1a)
2. f (x + y) = f (x) + f (y) ,
3. f (b x) = b [f (x)] ,
(1.1.2.1b)
(1.1.2.1c)
(1.1.2.1d)
(1.1.2.1e)
Definic
ao 1.1.2.2 - Base Dual. Consideremos uma base {ei } do espaco vetorial
E. Portanto, segundo a expressao (1.1.1.1a), se x E, entao:
x = xi ei .
Seja, ainda, um conjunto de formas lineares {i (x)} E , tal que:
i (x) (ej ) = ji .
(1.1.2.2)
i
j
espaco dual E , as duas bases duais correspondentes: { (x)} e {
(x)}. Conforme vimos
anteriormente, a mudanca de base dada pelas expressoes (1.1.1.2a,b):
ej = sij ei ,
ei = sji ej ,
xi = sij xj ,
xj = sji xi .
x = xi ei = xj ej .
k (x) x = k (x) (
xj ej ) = xj k (x) (
ej ) = xj jk = xk .
(1.1.2.3a)
(1.1.2.3b)
(1.1.2.4a,b)
({ (x)}, {
j (x)}) se transformam contravariantemente em relacao `as bases ({ei }, {
ej }).
i
x = xi ei = xj ej .
Seja f (x) uma forma generica de E . Assim, usando-se a Definicao 1.1.2.1 e as expressoes
(1.1.2.1a,c) e (1.1.2.3a) nas expressoes acima, resultara:
f (x) = f (xi ei ) = xi f (ei ) = fi i (x) ,
(1.1.2.5a)
ej ) = fj j (x) ,
f (x) = f (
xj ej ) = xj f (
(1.1.2.5b),
(1.1.2.5c),
{
j (x)}.
Agora, vejamos a relacao entre esses componentes. Substituindo-se na expressao
(1.1.2.5c) as expressoes (1.1.2.4a,b), teremos:
Como os vetores i (x) e j (x) sao L.I. (Exerccio 1.1.2.1), as expressoes acima resultam
em:
fi = sji fj ,
fj = sij fi .
(1.1.2.6a,b)
Soluc
ao
Consideremos a seguinte igualdade:
ai i (x) (x) = 0 ,
onde ai K e x E. Ora, a igualdade acima permanece valida tambem para os vetores ej ,
que formam uma base qualquer de E. Ou seja:
ai i (x) (ej ) = 0 .
Usando-se a expressao (1.1.2.2), vira:
ai ji = aj = 0,
j.
y = 0,
(1.1.3.1)
(1.1.3.2)
(1.1.3.3)
10
Definic
ao 1.1.3.4. Chama-se de m
odulo ou comprimento de um vetor x a expressao:
mod (x) = | x | =
(x, x) =
gij xi xj .
(1.1.3.4)
Definic
ao 1.1.3.5. Chama-se de vetor unit
ario o vetor cujo modulo ou comprimento e unitario:
| x | = 1.
(1.1.3.5)
(1.1.3.6)
(1.1.3.7).
Angulo
entre dois vetores. Sejam x e y dois vetores de um espaco vetorial
propriamente euclidiano. Usando-se a Desigualdade de Schwarz, teremos:
| (x, y) |
| x | . | y |
(x, y)
| x | . | y |
|1.
Como o cosseno de um angulo varia entre +1 e -1, entao a desigualdade acima permite
escrever que:
(x, y)
|x | . |y |
= cos ,
(1.1.3.8)
11
a partir dela, construir uma que seja ortonormada, da seguinte maneira. Se {e0i } for uma
base nao ortonormada, o processo de Gram-Schmidt constroi, inicialmente, uma base
ortogonal, subtraindo de cada vetor e0k seu componente na direcao do vetor anteriormente
ortogonalizado. Entao, se fizermos:
e1 = e01 ,
e:
e2 = e02 + a1 e1 ,
(a1 =
(e1 , e02 )
)
(e1 , e1 )
(e1 , e2 ) = 0 .
Continuamos com esse mesmo processo ate esgotar os vetores da base dada. Por fim, para
normalizar esses novos vetores e torna-los ortonormados, basta dividir cada um deles por
seu comprimento.
Componentes Contravariantes e Covariantes de um Vetor numa Base. Seja
{ei } a base de um espaco vetorial E. Se x E, entao, segundo a expressao (1.1.1.1a), teremos:
x = xi ei ,
(1.1.3.9a)
(1.1.3.9b)
Para determinarmos a relacao entre esses dois tipos de componentes, vamos usar as
expressoes (1.1.3.1), (1.1.3.9a,b) e a Definicao 1.1.3.1. Assim, teremos:
xj = (xi ei , ej ) = xi (ei , ej ) ,
xj = gij xi ,
(1.1.3.9c)
Gij
| gij |
xj ,
(1.1.3.10a)
onde Gij e o cofator de gij , que e obtido multiplicando-se o termo (1)i + j pelo determinante
(n-1) (n-1), este formado pela eliminacao, na matriz (G), da linha e coluna que se cruzam
em gij .
Definindo-se:
12
g ij =
Gij
| gij |
(1.1.3.10b)
(1.1.3.11)
(1.1.3.12a)
(1.1.3.12b)
Produto Interno e Dualidade. O produto escalar de dois vetores x e y, pertencentes a um espaco vetorial E, apresentado na Definicao 1.1.3.1, define uma func
ao
bilinear (x, y). Assim, para um fixado vetor x, essa funcao bilinear define uma funcao
linear de y, pertencente ao espaco dual E , funcao essa que denotaremos por x
. Portanto, a
transformacao x x
representa a aplicacao G: E E , isto e: x
= G(x). Usando-se essa
transformacao, o produto escalar (x, y) tambem e expresso pelo produto interno x . y
(dot product), definido por:
(x, y) = x . y = x
y.
(1.1.3.13)
(1.1.3.14a)
13
xj =
Gij
| gij |
x
i ,
(1.1.3.14b)
Gij
| gij |
(1.1.3.14c)
N =
(ns)
2
| g0 |
g0
= (1)N = (1)
(ns)
2
(1.1.3.15)
(1.1.3.16)
Exerccios (1.1.3)
EX.1.1.3.1 Demonstre a Desigualdade Triangular:
mod(x + y) mod (x) + mod (y) .
14
Soluc
ao
Usando-se a Definicao 1.1.3.1 e considerando-se K = R, vira:
(x + y)2 = [(x + y), (x + y)] = (x, x) + 2 (x, y) + (y, y) .
Majorando-se o segundo membro da expressao acima com (x, y) mod (x) . mod (y) e
considerando-se a Definicao 1.1.3.4, teremos:
(x + y)2 = [mod (x + y)]2 [mod (x)]2 + 2 mod (x) . mod (y) + [mod (y)]2 ,
[mod (x + y)]2 [mod (x) + mod(y)]2
1.1.4 Transformac
oes ou Operadores Lineares
Definic
ao 1.1.4.1. Uma aplicacao T de um espaco vetorial n-dimensional E em
si proprio (T: E E) e dita uma transforma
c
ao (operador) linear se faz corresponder
cada vetor x de E no vetor Tx, tal que:
1. T (x + y) = T x + T y ,
2. T (a x) = a T x ,
(1.1.4.1a)
(1.1.4.1b)
para x, y E e a K.
Exemplos
E1. Operador Identidade I - Ix = x, x ;
E2. Operador Projec
ao - Pi x = (ei , x) ei = xi ei .
Representac
ao de um Operador. Seja T um operador linear que atua em um
espaco vetorial E. Esse operador podera ser representado nesse espaco atraves de seu efeito
sobre a base {ei } do mesmo. Assim, segundo (1.1.1.1a), temos:
T ei = ej tji ,
(i, j = 1, 2, 3, ..., n)
(1.1.4.2)
onde tji representam os elementos de uma matriz n n. A partir daqui, o ndice superior
representa o ndice de linha, e o inferior o de coluna, para estar de acordo com a definicao de
produto de matrizes, que daremos mais adiante. Esses elementos matriciais sao calculados
da seguinte maneira (numa base ortonormada):
(ej , T ei ) = (ej , ek tki ) = tki (ej , ek ) = tki kj ,
15
tji = (ej , T ei ) .
(1.1.4.3)
Algebra
de Operadores
1. SOMA - Dados dois operadores T e U, a soma entre eles e definida por:
(T + U )(x) = T (x) + U (x) .
Em termos matriciais, usando-se (1.1.4.2) e (1.1.4.3), teremos:
(T + U )ji = (ej , (T + U ) ei ) = (ej , T ei + U ei ) = (ej , T ei ) + (ej , U ei ) ,
(T + U )ji = tji + uji .
(1.1.4.4)
(U T )(x) = U [T (x)]
U T 6= T U .
(1.1.4.5)
3. TRAC
O - Dado um operador T, representado na forma matricial tji , chama-se de
tra
co a soma dos elementos da diagonal principal:
tr(T ) = tii .
(1.1.4.6)
(1.1.4.7)
Tt = T .
(1.1.4.8a,b)
(1.1.4.9a)
16
(1.1.4.9b)
(1.1.4.10)
(1.1.4.11)
8. UNITARIO
- Quando um operador adjunto U e igual ao seu inverso, ele e
denominado de unit
ario:
U = U
(1.1.4.12)
ou
oij okj = ik .
(1.1.4.13a,b)
(1.1.4.14a)
onde Tij e o cofator de tji . (Veja-se a definicao de cofator dada anteriormente.) Conforme
veremos no Captulo 2, se (A) e (B) sao duas matrizes, entao:
det (A B) = det (A) . det (B) .
(1.1.4.14b)
Transformac
ao de Similaridade. Seja T um operador linear definido num espaco
vetorial E e sejam {ei } e {
ej } duas bases do mesmo, relacionadas pela expressao (1.1.1.2a).
j
Sendo ti a representacao de T na base e, determinemos sua representacao na base e.
Aplicando-se o operador T na expressao (1.1.1.2a) e usando-se a expressao (1.1.4.2), teremos:
T ej = T ei sij = (T ei ) sij ,
17
i
ek tkj = em tm
i sj
m i
tkj em sm
k = em ti sj
m i
em (tkj sm
k ti sj ) = 0 .
Como em sao vetores L.I., a terceira expressao anterior permite escrever que:
m i
k
sm
k tj = ti sj .
(S)
(T) = (S)
(T ) (S) .
(T ) (S) ,
(1.1.4.15)
Diagonalizac
ao de Operadores: Autovetores e Autovalores. Seja T um operador linear. Se x e um vetor nao nulo e t e um escalar, tal que:
T x = t x,
(1.1.4.16a)
(1.1.4.16b)
onde ji e a matriz identidade I. Essa equacao (1.1.4.16b) so tem solucao nao nula para x se,
e somente se:
det(T t I) = 0 .
(1.1.4.16c)
(1.1.4.17a)
18
det (T ) = t1 . t2 . ... tn ,
(1.1.4.17b)
tr (T ) = t1 + t2 + ... + tn .
(1.1.4.17c)
Exerccios 1.1.4
EX.1.1.4.1 Se S e um operador que transforma uma base ortonormada em uma
outra tambem ortonormada de um espaco vetorial real (E), demonstre que:
a) A matriz (S) e ortogonal; b) (S)t = (S)
contra- e covariante.
Soluc
ao
a) Consideremos as bases ortonormadas de E, isto e:
(
ei , ej ) = ij ,
(ek , er ) = kr .
(SS t )ij = ij .
S St = S
St = S
19
(x = autovetor,
h = autovalor).
h (x, x) = h (x, x)
(h h) (x, x) = 0 .
H y = h1 y ,
h1 (x, y) = h2 (x, y)
(h1 h2 ) (x, y) = 0 .
Como h1 6= h2 , entao (x, y) = 0, resultado esse que indica que os autovetores correspondentes a autovalores distintos de um operador hermitiano sao ortogonais.
b1) Usando-se as expressoes (1.1.4.9a) e (1.1.4.12), teremos:
(U x, U y) = (x, U U y) = (x, U
b2) Consideremos as seguintes expressoes:
U y) = (x, y) .
20
U x = v,
U y = z.
Considerando-se, sem perda de generalidades, uma base ortonormada (gij = ij ), as expressoes acima sao escritas da seguinte maneira:
vi = xj uji ,
zi = yk uki .
Usando-se as expressoes (1.1.3.9c), (1.1.3.12b) e o fato de considerarmos ser a base ortonormada, efetuemos o seguinte produto escalar:
(U x, U y) = (v, z) = vi zi = xj uji yk uki = uji uki xj yk .
Usando-se o resultado do item anterior nas expressoes acima, vira:
(U x, U y) = (x, y) uji uki xj yk = jk xj yk
(uji uki jk ) xj yk = 0 .
uji uki = jk .
= U
U = I .
[(AB)ji ]t = (B t At )ji .
21
Problemas (1.1)
1.1.1 Dadas as matrizes (A), (B) e (C), demonstre que:
a) tr (A B C) = tr (B C A) = tr (C A B);
b) (A B C) = C B A .
1.1.2 Se (S) e (A) sao, respectivamente, matrizes simetrica e antissimetrica, demonstre que:
a) Qualquer matriz (M ) pode ser escrita na forma: (M ) = (S) + (A);
b) tr (A) = 0 ;
c) (A)2 = (S) .
1.1.3 Demonstre que o produto de duas matrizes unitarias e tambem unitario.
1.1.4 Encontre uma base ortonormada para o espaco R4 gerado pelos vetores:
(1, 1, 0, 0), (1, 1, 1, 1), (1, 0, 2, 1) .
1.1.5 Demonstre as expressoes (1.2.4.17a,b,c).
Captulo 2
2.1 Tensores
2.1.1 Produto Tensorial de Espa
cos Vetoriais
Definic
ao 2.1.1.1 - Produto Tensorial de 2 Espa
cos Vetoriais. Sejam E e
F dois espacos vetoriais, definidos sobre o mesmo corpo K e tendo, respectivamente, as
dimensoes n e m. Denomina-se produto tensorial entre esses dois espacos vetoriais o
espaco vetorial de dimensao n m, denotado por:
E F,
formado por elementos do tipo:
t = x y,
(x E
e y F) ,
e denominado de tensor.
Componentes de um Tensor. Sejam {ei } e {fj } as bases respectivas de E e F.
Usando-se a expressao (1.1.1.1a), teremos:
t = x y = (xi ei ) (y j fj ) = xi y j ei fj ,
(2.1.1.1a)
ou:
t = tij ei fj .
(2.1.1.1b)
(2.1.1.1c)
(2.1.1.1d)
24
E E E ... E E E ... E = p E q E .
Cada elemento desse espaco e um tensor misto do tipo (p, q), definido por:
t = x(1) x(2) ... x(p) u(1) u(2) ... u(q) ,
com:
e (u(1) , u(2) , ..., u(q) ) E .
(1)
(2)
(q)
p
1
2
= xi(1)
ei1 xi(2)
ei2 ... x(p)
eip uj1 j1 (x) uj2 j2 (x) ... ujq jq (x) ,
ou:
i
(1)
(2)
(q)
p
1
2
t = xi(1)
xi(2)
uj1 uj2 ujq ei1 ei2 ... eip j1 (x) j2 (x) ... jq (x) ,
... x(p)
ou:
i i ...i
t = tj11 j22 ...jpq ei1 ei2 ... eip j1 (x) j2 (x) ... jq (x) .
(2.1.1.2a)
(2.1.1.2b)
(1)
(2)
(q)
p
1
2
tj11 j22 ...jpq = xi(1)
xi(2)
... x(p)
uj1 uj2 ujq ,
+ q
(2.1.1.2c)
n
umeros.
b) u v E E ;
2. a) (x + y) u = x u + y u;
c) x u E E ;
d) u x E E ;
b) (u + v) x = u x + v x ;
25
3. a) x (u + v) = x u + x v;
4. a) ( x) u = (x u) = x ( u);
u (x + y) = u x + u y ;
b) ( u) x = (u x) = u ( x) .
ep = sip ei ,
k (x) = skm m (x) ,
(1.1.1.2a,b)
k
m (x) = sm
k (x) .
(1.1.2.4a,b)
(2.1.1.3)
p en m (x) ,
tij
p snj en skm m (x) = tpm
e
k si e
p n
k
p en m (x) = tpm
p en m (x) ,
tij
e
e
k si sj sm
p n
k
pn ) ep en m (x) = 0 .
(tij
tm
k si sj sm
k ij
tpm
= si sj sm
tk .
(2.1.1.4)
4. Forma Linear: tj
5. Escalar: t
6. Euclidiano - Nao ha distincao entre ndice co- e contravariante: tij = tij = tij .
7. Relativos ou Pseudo-tensores - Quando, numa mudanca de base, eles se transformam segundo a relacao:
26
d
a a ...a
c c ...c
tb11b22...bqp = S sac11 sac22 ... sacpp sdb11 sdb22 ... sbqq td11 d22 ...dpq ,
(2.1.1.5)
Exerccios (2.1.1)
EX.2.1.1.1 Demonstre que os vetores do conjunto {
ep en m (x)} sao L.I.
Soluc
ao
Suponhamos que o tensor t E E E seja nulo, quaisquer que sejam os vetores
ep en m (x) , isto e:
spi snj skm tij
p en m (x) = 0 .
k e
Como ep en m (x) sao quaisquer, essa igualdade so se verifica se:
spi snj skm tij
k = 0 .
Usando-se a Definicao 1.1.1.2b, a expressao acima demonstra que os vetores do conjunto
{
ep en m (x)} sao L.I.
2.1.2 Algebra
Tensorial
Definic
ao 2.1.2.1 - SOMA. Sejam t e r dois tensores de mesmo tipo (p, q) e os
escalares a e b. Chama-se de soma tensorial entre t e r ao tensor s, tambem de mesmo
tipo (p, q), definido por:
i i ...i
i i ...i
i i ...i
(2.1.2.1)
Definic
ao 2.1.2.2 - PRODUTO EXTERNO (TENSORIAL). Sejam t e r
dois tensores de tipo (p, q) e (m, n), respectivamente. Chama-se de produto externo
(tensorial) entre t e r ao tensor p, de tipo (p + m, q + n), definido por:
i i ...i i i ...i
i i ...i
m
pj11 j22 ...jpq j11 j22 ...jmn = tj11 j22 ...jpq rji11ij22...i
...jn .
(2.1.2.2)
27
Definic
ao 2.1.2.3 - CONTRAC
AO.
Seja t um tensor de tipo (p, q). Chama-se
de tensor contrado de t ao tensor c, de tipo (p - 1, q - 1), obtido quando se iguala
um determinado ndice contravariante a um ndice covariante, e soma-se sobre esse ndice.
Assim:
i i ...i
i i ...i ...i
i i ...i
tj11 j22 ...jpq = tj11 j22 ...irr ...jpq = cj11 j22 ...jp1
.
q1
(2.1.2.3)
Definic
ao 2.1.2.4 - PRODUTO INTERNO (CONTRAIDO). Sejam t e r
dois tensores de tipo (p, q) e (m, n), respectivamente. Chama-se de produto interno
(contrado) entre t e r ao tensor i, de tipo (p + m - 1, q + n - 1), obtido quando
se iguala um determinado ndice contravariante (covariante) de um deles a um certo ndice
covariante (contravariante) do outro, e soma-se sobre esse ndice. Assim:
i i ...i
i i ...i ...ip
i i ...i
i i ...i
1 2
k
m
tj11 j22 ...jpq rji11ij22...i
...jn = tj1 j2 ...jq
i i ...i
(2.1.2.4a)
i i ...i
(2.1.2.4b)
1 2
p1+m
m
rji11ij22...i
...jk ...jn = ij1 j2 ...jq+n1 ,
i1 i2 ...ik ...im
p
1 2
m
tj11 j22 ...jpq rji11ij22...i
= ij11 j22 ...jp+m1
Definic
ao 2.1.2.5 - CRITERIO
DE TENSORIALIDADE. Seja q um tensor
cujo tipo se quer determinar e t um tensor de tipo (p, q). Para se determinar o tipo do
tensor q multiplica-se o mesmo por t e realiza-se m contracoes. Se o resultado obtido for
um tensor s do tipo (k, n), entao q e um tensor do tipo (k + m - p, n + m - q).
Definic
ao 2.1.2.6 - SIMETRIA. Seja um tensor s contravariante (covariante). Se
dois ndices contravariantes (covariantes) podem ser trocados sem alterar o valor do mesmo,
ele e dito sim
etrico com relacao a esses ndices.
s...ij... = s...ji...
ou
s...ij... = s...ji... .
(2.1.2.5a)
Quando todos os ndices de s podem ser trocados aos pares sem alterar o seu valor, ele e dito
completamente sim
etrico.
s...i...j... = s...j...i...
ou
s...i...j... = s...j...i... .
(2.1.2.5b)
Definic
ao 2.1.2.7 - ANTISSIMETRIA. Seja um tensor a contravariante (covariante). Se dois ndices contravariantes (covariantes) podem ser trocados alterando o sinal
do mesmo, ele e dito antissim
etrico com relacao a esses ndices.
a...ij... = a...ji...
ou
a...ij... = a...ji... .
(2.1.2.6a)
Quando todos os ndices de a podem ser trocados aos pares alterando o seu sinal, ele e dito
completamente antissim
etrico.
a...i...j... = a...j...i...
ou
a...i...j... = a...j...i... .
(2.1.2.6b)
28
Exerccios (2.1.2)
EX.2.1.2.1 Demonstre que a simetria (antissimetria) com relacao a dois ndices e
invariante por uma mudanca de bases.
Soluc
ao
Essa demonstracao podera ser feita com um tensor de segunda ordem, sem perdas
de generalidades. Assim, usando-se a expressao (2.1.1.4) e considerando-se que os s sao
escalares, teremos:
n
n
ij
ij
tm
= sm
= snj sm
i sj t
i t .
Se o tensor considerado for simetrico (tij = tji ) ou antissimetrico (tij = tji ), a expressao
(2.1.1.4) nos garante que:
n
tm
= snj sm
tij = snj sm
tji = tn m ,
i
i
n
tm
= snj sm
tij = snj sm
tji = tn m ,
i
i
A resolucao desse exerccio mostra que nao podemos definir simetria (antissimetria) com
relacao a dois ndices, um contravariante e o outro covariante, pois essa propriedade nao sera
preservada depois de uma mudanca de bases.
EX.2.1.2.2 Calcule o n
umero de componentes independentes de um tensor completamente simetrico (antissimetrico). Estude o caso particular de um de segunda ordem.
Soluc
ao
De um modo geral um tensor p vezes contravariante (covariante) tem np componentes, onde n e dimensao do espaco vetorial. Contudo, se o tensor for completamente
simetrico (antissimetrico), o n
umero de componentes independentes sera menor.
a) Se o tensor (a) for completamente antissimetrico seus componentes independentes
ca
deverao ter todos os ndices distintos e na ordem natural e o seu n
umero (Nind
) sera obtido
29
agrupando-se n elementos p a p e que se distingam apenas pela natureza, tratando-se portanto de uma combinacao:
ca
Nind
= Cnp =
n!
(np)! p!
ou
a(a1 a2 ...ap )
n!
(n2)! 2!
n (n1) (n2)!
(n2)! 2
n (n1)
2
n (n1)!
2
+ n =
n (n+1)
2
(m = n)
nm = mn = mn = 0.
(m 6= n) .
m
Agora, vamos definir o Delta Generalizado de Kronecker ji11 ij22...i
...jm da seguinte
maneira: os ndices superiores e os inferiores podem ter qualquer valor de 1 a n. Se pelo
menos dois ndices superiores ou dois inferiores tem o mesmo valor, ou se os ndices superiores nao sao o mesmo conjunto dos ndices inferiores, esse smbolo sera nulo. Se todos
os ndices superiores e inferiores sao separadamente distintos e os ndices superiores sao o
mesmo conjunto dos n
umeros inferiores, esse smbolo tera o valor 1. Sera + 1 se entre
o conjunto dos ndices superiores e o dos inferiores houver um n
umero par de permutacoes;
sera - 1 se o n
umero de permutacoes for mpar.
Exemplos:
123
123
= 1,
= 312
123
123
123
213
= 321
= 1,
123
113
= 0.
= 456
123
Definic
ao 2.1.3.2 - Smbolo de Levi-Civita. O smbolo de antissimetria
completa de Levi-Civita a1 a2 ...ap ou a1 a2 ...ap e definido da seguinte maneira:
30
a a ...ap
1 2
a1 a2 ...ap = 12...p
a1 a2 ...ap = a12...p
.
1 a2 ...ap
(2.1.3.1a)
12 (12 ) = 21 (21 ) = + 1 ;
Definic
ao 2.1.3.3 - Determinante. Por definicao chama-se determinante |dji |,
com i = j = 1, 2, ..., n, `a seguinte equacao:
| dji | = d = a1 a2 ...an d1a1 d2a2 ... dnan ,
(2.1.3.2a)
(2.1.3.2b)
ou:
31
1
n!
1
n!
(2.1.3.2c,d)
oportuno destacar que o determinante d pode ainda ser representado pela seguinte notacao:
E
| dji | = d =
1
n!
(2.1.3.2e)
| dji | = d =
1
n!
(2.1.3.2f)
e:
(2.1.3.3a)
onde:
D1a1 = a1 a2 ...an d2a2 ... dnan ,
(2.1.3.3b)
i
d nm = dm
i Dn .
(2.1.3.3d)
i
dm
i Dm = d n .
(2.1.3.3e)
32
a1 a2 ...an =
| g | a1 a2 ...an = 1
a1 a2 ...an ,
(2.1.4.1a)
| g 0 | a1 a2 ...an = 1
a1 a2 ...an ,
(2.1.4.1b)
| g0 |
e:
| g |
onde:
| g | = modulo de det (gij )
| g 0 | = modulo de det (g ij ) .
Observe-se que podemos usar o tensor metrico gij (gij ) para definir uma forma
mixta do tensor de Levi-Civita, da seguinte maneira:
a a ...a
p
1 2
a 1 c 1 a 2 c2
bp+1
g
... g ap cp c1 c2 ...cp bp+1 ...bn ,
...bn = g
(2.1.4.1c)
e:
b
...b
n
c1 c2 ...cp bp+1 ...bn
ap+1
.
1 a2 ...ap = ga1 c1 ga2 c2 ... gap cp
(2.1.4.1d)
Exerccios (2.1.3)
EX.2.1.3.1 Mostre que, para i, j, k, r, s, t, = 1, 2, 3, teremos:
a) ijk rst = ri sj tk + ti rj sk + si tj rk si rj tk ri tj sk ti sj rk ;
b) ijk ist = sj tk tj sk ;
c) ijk ijt = 2 tk ;
d) ijk ijk = 6 .
Soluc
ao
1a) Usando-se a Definicao 2.1.3.2, teremos:
ijk 123
ijk
ijk rst = 123
rst = rst
.
33
ijk 123
ijk
ijk rst = 123
rst = rst
= ri sj tk + ti rj sk + si tj rk si rj tk ri tj sk ti sj rk
.
m
m
que:
a1 a2 ...an a1 a2 ...an = n! .
EX.2.1.3.2 Use a Definicao 2.1.3.3 para calcular um determinante de segunda ordem.
Soluc
ao
Segundo a expressao (2.1.3.2), para um determinante de segunda ordem, isto e, com
i, j = 1, 2, tem-se:
d = |dji | = ij d1i d2j = 1j d11 d2j + 2j d12 d2j =
= 11 d11 d21 + 12 d11 d22 + 21 d12 d21 + 22 d12 d22 .
Sendo 11 = 22 = 0 e 12 = 21 = 1 , teremos:
d = |dji | = d11 d22 d12 d21 ,
o que coincide com o calculo tradicional, isto e:
"
d =
|dji |
d11 d12
d21 d22
34
|cji | = 1 2 ...n a11 a22 ... ann b11 b22 ... bnn = 1 2 ...n a11 a22 ...ann 1 2 ...n b1 1 b2 2 ...bnn .
Por fim, usando-se novamente a expressao (2.1.3.2), teremos:
det(C) = det (AB) = det (A) . det (B) .
EX.2.1.3.4 Demonstre a Regra de Cramer.
Soluc
ao
Dado o sistema de equacoes lineares, nao-homogeneas:
y i = dij xj ,
Dim
d
yi ,
35
S = | sab | .
Usando-se a Definicao 2.1.3.2, teremos:
a
S a1 a2 ...ap = b1 b2 ...bp sab11 sab22 ... sbpp ,
a1 a2 ...ap = (S)
S = | sba | .
Usando-se a Definicao 2.1.3.3, teremos:
b
36
n
m n
gij = (
ei , ej ) = (sm
i em , s
j en ) = si s
j (em , en ) .
g = S
g,
o que demonstra que g e uma densidade escalar. Observe-se que, quando o espaco for
estritamente ou propriamente euclidiano (g > 0), teremos:
g = S
g,
= S
1
o que demonstra que
g
e uma capacidade escalar. Observe-se que, quando o
espaco for estritamente ou propriamente euclidiano (g > 0), teremos:
= S
37
a1 a2 ...an =
| g | a1 a2 ...an = 1
a1 a2 ...an ,
| g0 |
(I)
(II)
1
n!
(III)
|g|.
(IV)
g0 g = 1
| g0 |
|g| = 1,
| g 0 | b1 b2 ...bn = 1
| g |
b1 b2 ...bn ,
Problemas (2.1)
2.1.1 De um exemplo de aplicacao do criterio de tensorialidade.
2.1.2 Se Aij e um tensor antissimetrico, demonstre que:
(ji rk + ri jk ) Aik = 0 .
2.1.3 Seja um tensor Aijk . Mostre que o n
umero N de componentes independentes
desse tensor vale:
N =
n (n + 1) (n + 2)
,
3!
38
N =
n (n 1) (n 2)
,
3!
(i, j, k = 1, 2, ..., n)
a a ...a
= D
.
x
(di Dj = d ij ) .
Captulo 3
3.1 Algebra
Exterior
3.1.1 Algebra
Exterior de ordem dois
Definic
ao 3.1.1.1 - Produto Exterior de dois vetores. Sejam x e y dois
vetores do espaco vetorial E de dimensao n, definido sobre o corpo R. Denomina-se produto
exterior desses dois vetores o tensor denotado por x y, denominado bivetor ou 2-vetor,
e definido por:
xy = xy yx,
(3.1.1.1a)
(x + y) z = x z + y z ;
2. a (x y) = (a x) y = x (a y) ;
3. x x = 0 ;
(3.1.1.1b)
(3.1.1.1c)
(3.1.1.1d)
4. x y = y x ,
(3.1.1.1e)
(3.1.1.2a)
P
i < j
(xi y j xj y i ) ei ej +
P
i > j
(xi y j xj y i ) ei ej .
40
xy =
(xi y j xj y i ) ei ej +
i < j
(xj y i xi y j ) ej ei =
j > i
(xi y j xj y i ) (ei ej ej ei ) .
i < j
xy =
P
i < j
xi y i
xj y j
(ei ej ) .
(3.1.1.2b)
xy =
1
2!
P
i, j
xi y i
xj y j
(ei ej ) .
(3.1.1.2c)
Definic
ao 3.1.1.2 - Espaco de 2-vetores. Seja E um espaco vetorial de dimensao
n, definido sobre o corpo R, e de base {ei }. O subespaco de E E ( = 2 E) dos tensores
contravariantes antissimetricos
de segunda ordem, gerados pela base {ei ej }, e chamado
V2
de espa
co de 2-vetores E. Este espaco consiste de elementos do tipo:
(a x) (b y) ,
onde (a, b) R e (x, y) E, e tem a seguinte dimensao:
dim
V2
E = Cn2 =
n (n1)
2
n
n
ij
tm
= tn m = sm
i sj t .
P
i < j
n
ij
sm
+
i sj t
P
i > j
n
ij
sm
i sj t .
41
P
i < j
n
ij
sm
+
i sj t
P
j > i
n
ji
sm
=
j si t
P
i < j
n
m
ij
(sm
i sj si sj ) t .
< n
P
i < j
sm
sni
i
m
sj snj
tij .
(3.1.1.3)
Definic
ao 3.1.1.3 - Produto Exterior de duas formas. Sejam f e g 2 f ormas
do espaco vetorial E , dual de E. Denomina-se produto exterior dessas duas formas o
tensor denotado por f g, denominado 2 f orma, e definido por:
f g = f g gf ,
(3.1.1.4)
(3.1.1.5a)
expressao essa que mostra que f g e um tensor covariante antissimetrico de segunda ordem.
Para obtermos os componentes estritos desse tensor, vamos decompor essa expressao da seguinte maneira:
f g = (fi gj fj gi ) i (x) j (x) ,
f g =
P
i < j
i > j
42
f g =
P
i < j
j > i
i < j
f g =
fi gi
fj gj
P
i < j
[i (x) j (x)] .
(3.1.1.5b)
f g =
1
2!
P
i, j
fi gi
fj gj
[i (x) j (x)] .
(3.1.1.5c)
Definic
ao 3.1.1.4 - Espaco de 2-formas. Seja E um espaco vetorial dual de E, e
de base {i (x)}. O subespaco de E E ( = 2 E ) dos tensores covariantes antissimetricos
de segunda ordem gerados pela base {i (x) j (x)}, e chamado de espa
co de 2-formas
V2
E . Este espaco consiste de elementos do tipo:
(a f ) (b g) ,
onde (a, b) R e (f, g) E , e tem a seguinte dimensao:
dim
V2
E = Cn2 =
n (n1)
2
m = si sjn fij .
fm
n = fn
m
P
i < j
P
i > j
43
fm
n =
P
i < j
P
j > i
P
i < j
[fm
n ]m
< n
P
i < j
sim sin
sjm sjn
fij .
(3.1.1.6)
Exerccios (3.1.1)
EX.3.1.1.1 Encontre a identidade de Jacobi envolvendo 2 vetores.
Soluc
ao
Consideremos o seguinte determinante:
tij tik tim
j
= x xk xm ,
yj yk ym
onde a segunda e terceira linhas sao formadas pelos componentes de vetores arbitrarios (x, y)
e na primeira linha estao os componentes de um 2 vetor tij = xi y xj y i . Desse
modo, o determinante acima e escrito na forma:
xi y j xj y i xi y k xk y i xi y m xm y i
xj
xk
xm
=
,
j
k
m
y
y
y
ou:
xi y j xi y k xi y m
xj y i xk y i xm y i
xk
xm xj
xk
xm
= xj
.
yj
yk
ym
yj
yk
ym
= x xk xm = 0 .
yj yk ym
= tij
xk xm
yk ym
"
+ tik
xm xj
ym yj
"
+ tim
xj xk
yj yk
= 0.
44
3.1.2 Algebra
Exterior de ordem p
Definic
ao 3.1.2.1 - Produto Exterior de p vetores. Sejam p vetores x(1) ,
x(2) , ..., x(p) pertencentes ao espaco vetorial E de dimensao n, definido sobre o corpo R.
Denomina-se produto exterior desses p vetores o tensor (P) contravariante de ordem p
completamente antissimetrico denotado por x(1) x(2) ... x(p) denominado p vetor, e
definido por:
a a ...ap
1 2
P = x(1) x(2) ... x(p) = 12...p
(3.1.2.1a)
(3.1.2.1b)
(3.1.2.1c)
3. x(1) x(2) ... x(p) , troca de sinal se qualquer x(i) trocar de sinal,
(3.1.2.1d)
com i, j, k = 1, 2, 3.
45
1 2
P = x(1) x(2) ... x(p) = 12...p
a a ...ap
1 2
= 12...p
(3.1.2.2a)
onde:
a a ...ap
1 2
P b1 b2 ...bp = 12...p
(3.1.2.2b)
a a ...ap
1 2
sao os componentes gerais de P. Porem, de acordo com a Definicao (2.1.3.1) de 12...p
podemos escrever que:
b b ...b
46
a a ...ap
1 2
P b1 b2 ...bp = 12...p
b b ...b
b b ...b
a a ...ap
1 2
i11i22...ipp xi(a1 1 ) xi(a2 2 ) ... x(ap p ) = i11i22...ipp (12...p
b b ...b
(3.1.2.2c)
onde:
a a ...ap
1 2
P i1 i2 ...ip = 12...p
xi(a1 1 ) xi(a2 2 ) ... x(ap p ) , (i1 < i2 < ... < ip ) , (3.1.2.2d)
P = x(1) x(2) ... x(p) = P i1 i2 ...ip i11i22...ipp eb1 eb2 ... ebp .
Aplicando-se a expressao (3.1.2.1a) aos vetores da base, a expressao acima tomara o seguinte
aspecto:
P = x(1) x(2) ... x(p) = P i1 i2 ...ip ei1 ei2 ... eip .
(3.1.2.2e)
p
1
2
xi(1)
xi(1)
... x(1)
ip
1
2
xi(2)
xi(2)
... x(2)
ip
ip
1
xi(p)
x(p)
... x(p)
(3.1.2.2f)
com i1 < i2 < ... < ip . Observe-se que se nao for considerada esta restricao entre os
ndices i, a expressao (3.1.2.2f) apresentara a seguinte forma:
1
p!
p
1
2
xi(1)
xi(1)
... x(1)
ip
1
2
xi(2)
xi(2)
... x(2)
ip
ip
1
xi(p)
x(p)
... x(p)
(3.1.2.2g)
Definic
ao 3.1.2.2 - Espaco de p-vetores. Seja E um espaco vetorial de dimensao
n, definido sobre o corpo R, e de base {ei }. O subespaco de p (p n) replicas de E
(E E ... E = p E) dos tensores (P) contravariantes completamente antissimetricos
de ordem p gerados pela base ({ei1 ei2 ... eip }, i1 < i2 < ... < ip ) e chamado de
V
espa
co de p-vetores - p E. Este espaco consiste de elementos do tipo:
a(1) x(1) a(2) x(2) ... a(p) x(p) ,
47
onde (a(1) , a(2) , ..., a(p) ) R e (x(1) , x(2) , ..., x(p) ) E, e tem a seguinte dimensao:
dim
Vp
E = Cnp =
n!
p! (np)!
Definic
ao 3.1.2.3 - Espaco de n-vetores. Seja E um espaco vetorial de dimensao
n, definido sobre o corpo R, e de base {ei }. Por sua vez, o subespaco de n replicas de E
(E E ... E = n E) dos tensores (P) contravariantes completamente antissimetricos
de ordem n gerados pela base ({ei1 ei2 ... ein }, i1 < i2 < ... < in ) e chamado de
V
espa
co de n-vetores - n E. Este espaco consiste de elementos do tipo:
P = x(1) x(2) ... x(n) = P i1 i2 ...in ei1 ei2 ... ein .
(3.1.2.3a)
Vn
E = Cnn = 1 .
Em vista disso, esse tipo de tensor tem apenas um componente, obtido pela expressao
(3.1.2.2f), fazendo-se p = n:
1
2
n
xi(1)
xi(1)
... xi(1)
1
2
n
xi(2)
xi(2)
... xi(2)
...
... ...
...
ip
i1
in
x(p) x(1) ... x(p)
ei ei ... ei ,
n
2
1
(3.1.2.3b)
com i1 < i2 < ... < in . Observe-se que, se esta restricao nao for considerada, a expressao
(3.1.2.3b) tomara o seguinte aspecto:
1
n!
1
2
n
xi(1)
xi(1)
... xi(1)
1
2
n
xi(2)
xi(2)
... xi(2)
...
... ...
...
ip
i1
in
x(p) x(1) ... x(p)
ei ei ... ei ,
n
2
1
(3.1.2.3c)
x y z = y y2 y3 i j k .
z1 z2 z3
(3.1.2.3d)
48
(3.1.2.4a)
P j1 j2 ...jp =
sji11 sji12
sji21 sji22
... ...
sjip1 sjip2
... si1p
j
... si2p
... ...
j
... sipp
i1 i2 ...ip
P
,
(3.1.2.4b)
(3.1.2.5)
(a )
(a )
= a12...q
(fb1 1 b1 (x)) (fb2 2 b2 ) (x)) ... (fbq q bq (x)) =
1 a2 ...aq
(a )
(a )
(a )
(3.1.2.6a)
49
(a )
(a )
(a )
(3.1.2.6b)
i i ...i
(a )
(a )
(a )
(a )
(a )
fb1 1 fb2 2 ... fbq q = b11 b22 ...bqq fi1 1 fi2 2 ... fiq q .
(a )
(a )
(a )
i i ...i
(a )
(a )
(a )
(3.1.2.6c)
onde:
(a )
(a )
(a )
fi1 1 fi2 2 ... fiq q , (i1 < i2 < ... < iq ) , (3.1.2.6d)
Qi1 i2 ...iq = a12...q
1 a2 ...aq
sao os componentes estritos de Q.
Levando-se a expressao (3.1.2.6c) na expressao (3.1.2.6a), teremos:
i i ...i
Q = f (1) f (2) ... f (q) = Qi1 i2 ...iq b11 b22 ...bqq b1 b2 ... bq .
Aplicando-se a expressao (3.1.2.5) aos vetores da base, a expressao acima tomara o seguinte
aspecto:
Q = f (1) f (2) ... f (q) = Qi1 i2 ...iq i1 i2 ... iq .
(3.1.2.6e)
Q = f
(1)
(2)
... f
(q)
(1)
(1)
(1)
(q)
(q)
(q)
fi1 fi2 ... fiq
(3.1.2.6f)
com i1 < i2 < ... < iq . Observe-se que, se essa restricao nao for considerada, a expressao
(3.1.2.6f) tera o seguinte aspecto:
Q = f
(1)
(2)
... f
(q)
1
q!
(1)
(1)
(1)
(q)
(q)
(q)
fi1 fi2 ... fiq
(3.1.2.6g)
50
Definic
ao 3.1.2.5 - Espa
co de q-formas. Seja E o espaco vetorial dual de E, e
i
de base { (x)}. O subespaco de q (q n) replicas de E (E E ... E = q E )
dos tensores (Q) covariantes completamente antissimetricos de ordem q gerados pela base
({i1 (x) i2 (x) ... iq }, i1 < i2 < ... < iq ) e chamado de espa
co de q-formas Vq
E . Este espaco consiste de elementos do tipo:
a(1) f (1) a(2) f (2) ... a(q) f (q) ,
onde (a(1) , a(2) , ..., a(q) ) R e (f(1) , f(2) , ..., f(q) ) E , e tem a seguinte dimensao:
dim
Vq
E = Cnq =
n!
q! (nq)!
Definic
ao 3.1.2.6 - Espaco de n-formas. Seja E um espaco vetorial dual de E,
i
e de base { (x)}. O subespaco de n de replicas de E (E E ... E = n E ) dos
tensores (Q) covariantes completamente antissimetricos de ordem n gerados pela seguinte
base, isto e: V
({i1 (x) i2 (x) ... in }, i1 < i2 < ... < in ), e chamado de espaco de
n-formas - n E . Este espaco consiste de elementos do tipo:
Q = f (1) f (2) ... f (n) = Qi1 i2 ...in i1 i2 ... in .
(3.1.2.7a)
Vn
E = Cnn = 1 .
Em vista disso, esse tipo de tensor tem apenas um componente, obtido pela expressao
(3.1.2.6f), fazendo-se q = n:
Q = f
(1)
(2)
... f
(n)
(1)
(1)
(1)
i
1 i2 ... in ,
(3.1.2.7b)
com i1 < i2 < ... < in . Registre-se que com a nao consideracao desta restricao entre os
i, a expressao (3.1.2.7b) tomara a seguinte forma:
1
n!
(1)
(1)
(1)
(n)
(n)
(n)
fi1 fi2 ... fin
(3.1.2.7c)
51
(3.1.2.7c)
j j ...j =
q
1 2
sij11 sij12
sij21 sij22
... ...
i
i
sjq1 sjq2
... sij1q
... sij2q
... ...
i
... sjqq
Qi i ...i ,
q
1 2
(3.1.2.7d)
se : p1 + p2 > n ;
2. ( + ) = + ;
3. ( ) = ( ) ;
4. = ( 1)p1 p2 .
(3.1.3.1a)
( + ) = + ;
(3.1.3.1b)
(3.1.3.1c)
(3.1.3.1d)
52
Definic
ao 3.1.3.2 - Determinante. Seja A uma transformacao linear de um
espaco vetorial E de dimensao n sobre si mesmo (A : E E). Seja ainda o espaco vetorial
Vn
E. Define-se Determinante de A - det A = | A | - a seguinte expressao:
A1 ... A n = | A | (1 ... n ) ,
(3.1.3.2)
Exerccios (3.1.3)
EX.3.1.3.1 Use a expressao (3.1.3.2) para demonstrar que: | AB | = | A | . | B | .
Soluc
ao
Partindo-se da expressao (3.1.3.2) e usando-se a definicao de produto de operadores,
teremos:
| AB | (1 ... n ) = ((AB)1 ) ... ((AB) n ) = A(B1 ) ... A(Bn ) =
= | A | (B 1 ... B n ) = | A | . | B | (1 ... n ) ,
portanto:
| AB | = | A | . | B | .
EX.3.1.3.2 Relacione a expressao (3.1.3.2) com o determinante de uma matriz (aij )
n n.
Soluc
ao
Seja {ei } a base de E. Entao, segundo a expressao (2.1.4.2), teremos:
A ei = ej aji .
Por outro lado, usando-se a expressao (3.1.2.2f), vira:
Ae1 ... Aen = | aji | (e1 ... en ),
(| aji | = | A |) ,
Vnp
53
Vp
?:
Vnp
E,
(p = 0, 1, 2, ..., n)
| g0 |
(n p)!
p+2
ip+1
1 i2 ...ip
...in
(3.1.4.1)
onde | gV0 | e o modulo de g = det(gij ). Observe-se que, como Cpn = Cnnp , os espacos
E e np E tem entao a mesma dimensao, o que mostra que os mesmos sao isomorfos.
Observe-se, ainda, que, embora tenhamos escolhido uma base para definir a operacao (?),
ela e realmente independente de qualquer escolha de base.
Vp
1
p!
? = ?
[ p!1
i1 i2 ...ip
1
p!
[ (n
| g0 |
p)!
p+2
ip+1
1 i2 ...ip
...in
| g0 |
(n p)! p!
? =
? =
1
(n p)!
[ p!1 i1 i2 ...ip ip+1 ip+2 ...in i1 i2 ...ip ] eip+1 eip+2 ... ein .
Considerando-se que ?
que:
? =
1
(n p)!
Vnp
(3.1.4.2a)
(3.1.4.2b).
Portanto, comparando-se as expressoes (3.1.4.2a,b) e usando-se a expressao (3.1.4.1b), verificase que os componentes de ? sao dados por:
(? )
| g0 |
p!
1
p!
(3.1.4.2c)
Observac
oes
1. Podemos fazer um desenvolvimento equivalente ao anterior para tratar a dualidade
e a operacao (?) para as q f ormas. Desse modo, se for uma q f orma, os componentes
de seu dual serao dados por:
| g |
q!
1
q!
(3.1.4.3)
54
(3.1.4.4)
Exerccios (3.1.4)
EX.3.1.4.1 Seja ep = ei1 ei2 ... eip . Demonstre que:
?? ep = (1)p(np)
(ns)
2
ep ,
?? ep =
| g0 |
(n p)!
p+2
ip+1
1 i2 ...ip
...in
(I)
Vnp
E,
| g0 |
p!
j j ...j
p
1 2
ip+1
ip+2 ...in [ej1 ej2 ... ejp ] .
| g0 |
(n p)!p!
| g0 |
(n p)!p!
p+2
ip+1
1 i2 ...ip
...in
j j ...j
p
1 2
ip+1
ip+2 ...in [ej1 ej2 ... ejp ] =
gk1 i1 gk2 i2 ... gkp ip gip+1 jp+1 gip+2 jp+2 ... gin jn
ip+1 ...in k1 k2 ...kp j1 j2 ...jp jp+1 ...jn [ej1 ej2 ... ejp ] .
(II)
Considerando-se que:
gk1 i1 gk2 i2 ... gkp ip gip+1 jp+1 gip+2 jp+2 ... gin jn ip+1 ...in k1 k2 ...kp =
a expressao (II) ficara:
55
?? ep =
| g0 |
1
g0
(n p)!p!
j1 j2 ...jp jp+1 jp+2 ...jn jp+1 jp+2 ...jn i1 i2 ...ip [ej1 ej2 ... ejp ] .
| g0 |
1
g0
(n p)!p!
(1)(np) (1)p j1 j2 ...jp jp+1 ...jn i1 i2 ...ip jp+1 ...jn [ej1 ej2 ... ejp ] .
| g0 |
1
g0
(n p)!p!
Por fim, trocando-se (j1 j2 ...jp ) por (i1 i2 ...ip ) e usando-se ainda o resultado do Problema (2.1.4), teremos:
?? ep =
| g0 |
1
g0
(n p)!p!
| g0 |
1
g0
(n p)!p!
(ns)
2
ep .
(ns)
2
(?)1 = (1)p(np)
(ns)
2
?.
(?)1 = ? .
56
u = u1 e1 + u2 e2 + u3 e3 ,
v = v 1 e1 + v 2 e2 + v 3 e3 .
1
(32)!
1
(32)!
1
(32)!
1
(33)!
123 = 1 .
57
u 1 u2 u 3
1
? [u v w] = v v 2 v 3 .
w1 w2 w3
?1 =
| g0 |
n!
| g 0 | e1 e2 ... en .
(3.1.5.1)
(3.1.5.2)
Exerccios (3.1.5)
EX.3.1.5.1 Sejam u e v 1 vetores pertencentes ao espaco vetorial E3 . Demonstre
que:
58
u (? v) = (u . v) (e1 e2 e3 ) ,
v = v 1 e1 + v 2 e2 + v 3 e3 .
(I)
1
(31)!
32
(23
1 e2 e3 + 1 e3 e2 ) =
=
? e2 =
1
(31)!
1
(31)!
1
2
1
2
1
2
(132 e1 e3 + 312 e3 e1 ) =
(123 e1 e3 + 123 e1 e3 ) = e1 e3 ,
21
(12
3 e1 e2 + 3 e2 e1 ) =
(231 e2 e3 + 321 e3 e2 ) =
(123 e2 e3 + 123 e2 e3 ) = e2 e3 ,
31
(13
2 e1 e3 + 2 e3 e1 ) =
=
? e3 =
1
2
1
2
1
2
(123 e1 e2 + 213 e2 e1 ) =
(123 e1 e2 + 123 e1 e2 ) = e1 e2 .
59
u (? v) = (u . v) (e1 e2 e3 ) .
Considerando-se que:
? [e1 e2 e3 ] = 1 ,
podemos escrever que:
? [u (? v)] = (u . v) .
Problemas (3.1)
3.1.1 Demonstre a expressao (3.1.4.4).
(i = 1, 2, 2, 4);
c. ? (ei ej ek ),
b. ? (ei ej ),
i 6= j 6= k
d. ? (ei ej ek em ),
i 6= j
(i, j = 1, 2 , 3, 4);
(i, j, k = 1, 2, 3, 4);
i 6= j 6= k 6= m (i, j, k, m = 1, 2, 3, 4).
x um(p q) vetor,
demonstre que:
( ) u = ( u) + ()p ( u) .
Captulo 4
4.1 Diferencia
c
ao Exterior
4.1.1 Formas Diferenciais
Definic
ao 4.1.1.1. Define-se forma diferencial de grau p (p-forma) a expressao:
P
(4.1.1.1)
onde os coeficientes ai1 i2 ...ip sao funcoes de classe C (infinitamente diferenciaveis) das
variaveis (x1 , x2 , ..., xn ) e completamente antissimetrica nos ndices.
Observac
ao
De modo geral, uma forma diferencial e definida em variedades diferenci
aveis
(differentiable manifolds), conforme veremos mais adiante.
Exemplos. Para o R3 , temos:
1. 0-forma (escalar): f = f (1 , x2 , x3 ) ;
2. 1-forma (Pfaffiana): 1 = a1 dx1 + a2 dx2 + a3 dx3 ;
3. 2-forma: 2 = a12 dx1 dx2 + a13 dx1 dx3 + a23 dx2 dx3 ;
4. 3-forma (volume): 3 = a123 dx1 dx2 dx3 .
Exerccios (4.1.1)
EX.4.1.1.1 Sejam as seguintes formas:
= a1 dx + a2 dy + a3 dz
e = b1 dx dy + b2 dx dz + b3 dy dz ,
calcule: .
Soluc
ao
Usando-se a Definicao (3.1.3.1), teremos:
= (a1 dx + a2 dy + a3 dz) (b1 dx dy + b2 dx dz + b3 dy dz) =
= a1 b3 dx dy dz + a2 b2 dy dx dz + a3 b1 dz dx dy ,
= (a1 b3 a2 b2 + a3 b1 ) dx dy dz .
62
4.1.2 Diferenciac
ao de Formas
Definic
ao 4.1.2.1. Sejam (p f orma), (q f orma) e (a, b) K (corpo).
Define-se diferenciac
ao exterior d como uma operacao que transforma uma r f orma
numa (r + 1) f orma, com as seguintes propriedades:
1. d(a + b ) = a d + b d ;
(4.1.2.1a)
2. d( ) = (d) + (1)p d ;
3. Lema de Poincar
e: dd = d2 0,
(4.1.2.1b)
.
(4.1.2.1c)
Observac
oes
1. A operacao d e completamente independente de qualquer sistema de coordenadas;
2. A operacao d e u
nica.
3. No caso particular em que f e g sao 0 f ormas e e sao 1 f ormas, teremos:
a) d(f g) = df g + f dg ,
(4.1.2.1d)
b) d(f ) = df + f d ,
(4.1.2.1e)
c) d( ) = d d .
(4.1.2.1f)
f
x
dx +
f
y
dy +
f
z
dz = fx dx + fy dy + fz dz .
63
64
65
Exerccios (4.1.2)
EX.4.1.2.1 Usando o R3 e as coordenadas cartesianas (x, y, z), escreva os operadores diferenciais (gradiente, rotacional, divergencia e laplaciano) em termos de formas
diferenciais.
Soluc
ao
Na solucao desse problema, usaremos o Calculo Diferencial, as Definicoes (3.1.3.1) e
(4.1.2.1), as expressoes (3.1.1.1b,c,d,e) e alguns resultados do Exerccio (3.1.4.2), tais como:
? dx = dy dz;
? (dx dy) = dz;
? dy = dz dx;
? dz = dx dy ;
? dx dy dz = 1.
f
x
dx +
f
y
dy +
f
z
dz .
66
que corresponde a uma funcao vetorial f~, cujos componentes no espaco vetorial de base
(dx, dy, dz) sao f1 , f2 e f3 . Calculando-se o seu diferencial, teremos:
d = df1 dx + df2 dy + df3 dz =
d = ( fx1 dx +
f1
y
dy +
f1
z
dz) dx + ( fx2 dx +
+ ( fx3 dx +
d = ( fx2
f1
)
y
f3
y
f3
z
dy +
dx dy + ( fz1
f3
)
x
f2
y
dy +
f2
z
dz) dy +
dz) dz ,
dz dx + ( fy3
f2
)
z
dy dz .
f1
)
y
+ ( fy3
? = ( fy3
f2
)
z
f2
)
z
f3
)
x
? (dz dx) +
? (dy dz) ,
dx + ( fz1
f3
)
x
dy + ( fx2
f1
)
y
dz .
67
= ( fx1 dx +
f1
y
dy +
f1
z
dz) dy dz +
+ ( fx2 dx +
f2
y
dy +
f2
z
dz) dz dx +
+ ( fx3 dx +
f3
y
d ? = ( fx1 +
dy +
f2
y
f3
z
dz) dx dy ,
f3
)
z
dx dy dz .
f2
y
f3
)
z
f1
x
? (dx dy dz) =
f2
y
f3
z
d?.
(4.1.2.1.2)
f
x
f
y
dx +
dy +
f
z
dz .
f
x
f
x
? dx +
dy dz +
f
y
f
y
? dy +
f
z
dz dx +
? dz =
f
z
? dx dy .
68
d ? df = d( fx ) dy dz +
+ d( fy ) dz dx + d( fz ) dx dy ,
d ? df = (
2
+ ( y
f
x2
f
x
+ ( z
f
x
dx +
2 f
y2
dx +
f
x2
2 f
y z
dy +
2 f
y2
2 f
x z
dy +
dy +
2 f
z y
dx +
d ? df = (
2 f
x y
2 f
z2
2 f
)
z2
dz) dy dz +
dz) dz dx +
dz) dx dy ,
dx dy dz .
f
x2
2 f
y2
2 f
)
z2
? (dx dy dz) = (
f
x2
2 f
y2
2 f
)
z2
(4.1.2.3)
Essa operacao, que leva uma p f orma numa p f orma, tem as seguintes propriedades:
d R = R d;
? R = R ?;
R = R .
(4.1.2.4)
69
? ( ? );
~B
~
A
~ ? [d (? )];
.A
?( ) .
~ ?(d) .
A
70
~ ?
. (f A)
d[? (f )]
= ?
df ? + f d(? )
= ? (df ? ) + f ?[d(?)],
~ = f .A
~ + f .A
~.
. (f A)
3. Usando-se a expressao (4.1.2.1e), teremos:
~ ? d(f ) = ? (df + f d) = ? (df ) + f [? (d)] ,
(f A)
~ = f A
~ + f A
~.
(f A)
4.1.3 Aplicac
oes e Mudan
ca de Vari
aveis
Definic
ao 4.1.3.1. Define-se uma aplica
c
ao (mapping) como uma regra que
assinala a cada ponto x = (x1 , x2 , ... xm ) E m , um ponto y = (y 1 , y 2 , ... y n ) E n , isto e:
:
Em
En :
y.
i = 1, 2, 3, ..., n.
(4.1.3.1)
Observac
oes
1. Uma aplicacao e dita diferenci
avel se as funcoes coordenadas definidas por
(4.1.3.1) sao continuamente diferenciaveis (C );
2. Uma aplicacao e dita um-a-um se um e somente um ponto em E m corresponde
a um e somente um ponto em E n ;
3. A aplicac
ao inversa
En
Em .
E n , define-se como
uma aplicacao (pullback) que transforma cada p f orma Fp (E n ) em uma p f orma
F p (E m ), isto e:
:
F p (E n )
F p (E m ).
[y = y(x)]
Observac
ao
A ideia basica da aplicacao e fazer a substituicao:
(4.1.3.2)
71
y i
xj
dy i =
dxj ,
y i
xj
dxj ,
y
1
= (dy 1 dy 2 ) = ( x
+
1 dx
1
y
= ( x
1
y 2
x2
y 1 y 2
)
x2 x1
y 1
x2
y 2
x2
(y 1 , y 2 )
(x1 , x2 )
dx1 dx2 ,
y
1
dx2 ) ( x
+
1 dx
dx1 dx2 =
dx2 ) =
(y 1 , y 2 )
(x1 , x2 )
"
y 1
x21
y
x1
y 1
x22
y
x2
"
yx11 yx12
yx21 yx22
(4.1.3.2a)
2. ( ) = ( ) ( ) ,
3. (d) = d( ) ,
4. Se : E m
(4.1.3.2b)
(4.1.3.2c)
E n, : E n
( ) = ( )
Er
e : Em
ou ( ) = .
E r , entao:
(4.1.3.2d,e)
Observac
oes
1. Na expressao (4.1.3.2a), as formas e devem ter o mesmo grau, enquanto na
(4.1.3.2b) elas podem ter graus diferentes.
72
E n,
x = u + v,
y = u v,
e as seguintes formas:
= xy dx
= y dy.
73
Exerccios (4.1.3)
EX.4.1.3.1 Se = x dy , calcule , para a seguinte aplicacao:
:
E1
E2 :
(x = t2 , y = t3 ) .
Soluc
ao
Usando-se a Definicao (4.1.3.2), teremos:
= (t2 )
y
t
dt = (t2 )
(t3 ) dt = 3 t4 dt .
74
R2
R2 :
(, )
(x = cos, y = sen) ,
calcule:
1. E = [X (x, y) dx + Y (x, y) dy] ;
2. (dx dy) .
Soluc
ao
1. Usando-se as Definicoes (4.1.3.2) e (3.1.1.3), vira:
E = X 0 (, ) ( x
d +
d) + Y 0 (, ) ( y
d +
d) =
Y 0 = Y = Y .
= ( x
x y
d) ( y
d +
d) =
75
espaco foi embebido num plano. Contudo, existem espacos geometricos que nao podem
ser considerados como subconjuntos abertos de E n . Por exemplo, a superfcie S2 de uma
esfera do R3 nao pode ser embebida em um plano. Assim, considerando-se que a operacao
d independe de sistemas de coordenadas, segundo a expressao (4.1.3.2c), vamos estudar
essa operacao d naqueles espacos geometricos que sao, genericamente, conhecidos como
variedades (manifolds). Para isso, vamos antes apresentar algumas definicoes.
Definic
ao 4.1.4.1. Um espa
co topol
ogico ET e um par (E, T ), onde E e um
conjunto nao vazio de pontos e T e uma famlia de subconjuntos abertos Ui (i I) de E
satisfazendo as seguintes condicoes:
1. E, T
2.
T
i J
3.
S
i J
( = conjunto vazio);
Ui
(J I,
Ui
(J I).
J = finito);
forma uma topologia, pois satisfaz `as condicoes da Definicao (4.1.4.1), o mesmo nao acontece
com a famlia de subconjuntos abertos:
T0 =
pois:
{ a, b} {b, c, d} = { b}
/ T0 .
Observac
oes
1. Os mais conhecidos espacos topologicos sao: a reta (R), o plano (R2 ), o espaco
(R3 ) e a superfcie esferica (S 2 ).
2. Um espaco topologico (E, T) e dito um espa
co topol
ogico de Hausdorff ETH quando:
x, y E,
(U, V ) T
U V =
(x U,
y V,
x 6= y) .
76
f : E1 E2
tal que
6= ,
E =
S
i I
Ai ,
e de subcobertura, se:
E =
S
j J I
Aj .
Definic
ao 4.1.4.2. Uma base para uma topologia T e uma colecao B de seus
abertos (B T ) tal que qualquer membro U de T pode ser obtido como uma uniao dos
elementos de B.
Observac
ao
No caso da reta (R), uma base possvel e aquela formada por todos os intervalos
abertos:
(a, b) = { x | a < x < b } .
Exemplo. Seja o espaco topologico constitudo por tres elementos:
E = {a, b, c} .
Sejam, tambem, as seguintes famlias de subconjuntos abertos:
T =
, {b}, {a, c}
Verifica-se que T define uma topologia em E, tendo B como uma possvel base.
Com efeito, para verificar que T define uma topologia, temos de ver se ela satisfaz
as condicoes da Definicao (4.1.4.1). Assim:
a) E , T ;
b) {b} {a, c} = T ;
c) {b} {a, b, c} = {a, c} T ;
d) {a, c} {a, b, c} = {b} T ;
77
U0
En ,
com U um aberto em E n .
Observac
oes
1. A variedade M e um espaco topologico de Hausdorff localmente quase euclidiano;
2. A variedade M tem a mesma dimensao n em todos os seus pontos;
oportuno registrar que um
3. A variedade M tem uma base que e enumer
avel. E
conjunto X e dito enumeravel quando existe uma aplicacao:
f:
X ,
U 0 = (U ) E n e aberto e e um homeomorfismo;
3. n ( 0) Z e a dimensao de c.
Observac
oes
1. Daqui para a frente, desde que nao haja perigo de confusao, uma carta sera
denotada por (U, ).
2. O homeomorfismo pode ser definido no sentido inverso ( 1 ), isto e, de um
conjunto aberto de En para alguma vizinhanca de um ponto p M. Neste caso ele e chamado
uma parametrizac
ao.
78
Definic
ao 4.1.4.5. Duas cartas (U1 , 1 ) e (U2 , 2 ) sao ditas Ck -compatveis
quando:
1. ou U1 U2 =
U1 U2 6= ;
ou
2. as aplicacoes:
1 2
2 (U1 U2 )
1 (U1 U2 ) ,
2 1
1 (U1 U2 )
2 (U1 U2 ) ,
En
En
E n,
E n,
[y i = y i (xi ) ,
i = 1, 2, ..., n]
(4.1.4.1a)
[xj = xj (y j ) ,
j = 1, 2, ..., n]
(4.1.4.1b)
ou
det(1 2 1 ) > 0 ,
Ui = M .
79
Observac
oes
1. Se todas as cartas sao relacionadas por aplicacoes lineares em suas interseccoes,
teremos um atlas linear.
2. Toda variedade compacta pode ser coberta por atlas finitos, isto e, um atlas com
um n
umero finito de cartas.
3. O espaco euclidiano E n e uma variedade cujo atlas e composto de uma u
nica carta.
Neste caso, esse espaco e automaticamente orientavel.
Exemplo. Seja a circunferencia S 1 definida por:
S 1 = {(x, y) R2 | x2 + y 2 = 1 } .
Consideremos uma aplicacao 1
1
: (0 2)
S 1,
(x = cos, y = sen) .
1
Verifica-se que
nao e homeomorfica, pois o ponto (1, 0) sobre S 1 e o mesmo para dois
1
valores de (0, 2). Porem, se considerarmos a aplicacao:
: (0 < < 2)
S 1,
(x = cos, y = sen) .
verifica-se que:
1
U S1 .
Desse modo, o par (U , ) representa uma carta em S1 . Porem, como U nao cobre toda a
variedade S 1 , precisamos encontrar uma outra carta. Assim, consideremos a aplicacao 2 1
definida por:
2
: ( < < )
S 1,
(x = cos, y = sen) .
Entao:
2
( < < ) = V = S 1 { ( 1, 0) },
V S1 ,
V = S1 ,
entao essas duas cartas constituem um atlas para a variedade S 1 , de acordo com a Definicao
(4.1.4.6).
Definic
ao 4.1.4.7. Um atlas definido em uma variedade M e dito diferenci
avel
80
Observac
ao
Tomemos as transformacoes de coordenadas definidas pelas expressoes (4.1.4.1a,b).
Diferenciando-se as mesmas e usando-se a regra da cadeia, vira:
ki =
y i xj
xj y k
y i
xj
Definic
ao 4.1.4.8. Um atlas diferenciavel em uma variedade M e dito um atlas
maximal ou completo, quando nao pode estar contido propriamente em nenhum outro
atlas diferenciavel em M.
Definic
ao 4.1.4.9. Define-se uma variedade diferenci
avel como sendo uma variedade topologica M com um atlas diferencial completo ou maximal.
Exemplo. O Rn e uma variedade diferenciavel e o seu atlas e constitudo de uma
u
nica carta:
U = (Rn , I),
I(identidade) : Rn
Rn ,
onde as funcoes coordenadas dessa carta sao as coordenadas canonicas (x1 , x2 , ..., xn ).
Observe-se que quando Rn e considerada como uma variedade diferenciavel ela e entao conhecida como um espaco afim.
Definic
ao 4.1.4.10. Sejam M e N duas variedades diferenciaveis. Uma aplicacao
contnua f : M N e dita diferenci
avel em um ponto p (p M ) se dadas as
cartas (U , g) de M e (V , h) de N, a aplicacao definida por:
h f g 1 : g(U )
h(V ) ,
f (p) = 0 E n ;
81
f (U N ) = f (U ) E m .
Definic
ao 4.1.4.12. Sejam M e N duas variedades diferenciaveis. A aplicacao
diferenciavel f : M N e dita uma imers
ao se as cartas (U , g) (g : U U 0 E m )
0
n
e (V , h) (h : V V E (m < n)) podem ser escolhidas de tal modo que:
h f g 1 : g(U )
h(V ) ,
2. Se:
a) f (M ) N e uma subvariedade de N ;
b) f : M f (M ) e um difeomorfismo,
entao f e denominada um mergulho (imbed) e, conseq
uentemente, se diz que M esta
mergulhada em N.
Exemplos
1. A aplicacao f definida por:
f : E1
E 2;
e uma imers
ao com f (E 1 ) = S 1 E 2 . Assim, se diz que o crculo (S 1 ) esta imerso
(embebido) e nao mergulhado no plano.
2. A aplicacao definida por:
f : E1
E 3;
82
a, b K;
f, g R(M ) , (4.1.5.1a)
(4.1.5.1b)
Observac
oes
1. Sendo a expressao (4.1.5.1b) uma conseq
uencia da expressao (4.1.2.1b) (lembrar
que f e uma 0 f orma), resulta entao que a aplicacao Vp e uma derivada.
2. Para uma constante c, tem-se: Vp (c) = 0 . Vejamos como demonstrar essa
afirmacao. Fazendo-se f = g = 0 em (4.1.5.1a), teremos Vp (0) = 0. Considerando-se
f = g = 1 em (4.1.5.1b), vira Vp (1) = 2 Vp (1) Vp (1) = 0. Por fim, colocando-se
f = 1, g = 0 e a 6= 0, a expressao (4.1.5.1a) resultara: Vp (a) = 0 .
Exemplo. Seja x(p) = (x1 , x2 , ..., xn ) um sistema de coordenadas local valido
em alguma vizinhanca de p M. Usando-se o Calculo Elementar, e facil ver que a aplicacao
definida por:
( x i )p : R(M ) E 1 ,
satisfaz as expressoes (4.1.5.1a,b).
Definic
ao 4.1.5.2. O conjunto Tp (M) de todos os vetores tangentes a M no ponto
p e denominado espaco tangente.
Observac
oes
1. O espaco Tp (M ) e um espaco vetorial gerado pelos vetores tangentes a todas as
curvas que passam por p M. Ele tem a mesma dimensao de M, nao importa quao curvado
seja M, e e isomorfo a E n . Registre-se que os vetores tangentes sao comumente chamados
vetores ou ainda vetores contravariantes.
2. Para um sistema de coordenadas local (xi ) valido em alguma vizinhanca de p M,
as aplicacoes (operadores) { x i = i } formam uma base natural ou base coordenada
do espaco vetorial Tp (M ). Saliente-se que quando M = E 3 , i e o conhecido operador :
i .
2.1. Qualquer vetor Vp Tp (M ) pode ser escrito da seguinte forma:
Vp = Vpi i = Vp (xi ) i .
(4.1.5.2a)
oportuno notar que a expressao (4.1.5.2a) tem sua genese no desenvolvimento em serie de
E
Taylor de uma dada funcao f(x). Com efeito, considerando-se um ponto (x = p + v)
muito proximo de p, o desenvolvimento de Taylor de f(x) sera dado por:
f (x = p + v) = f (p) + v
d(f (x)
|
dx x = p
+ ... ,
(4.1.5.2b)
83
onde d(fdx(x) |x = p representa a inclinacao de f(x) no ponto p. Assim, se tivermos uma variedade n-dimensional com coordenadas xi , poderemos ter n direcoes diferentes, de modo que
o segundo termo da equacao (4.1.5.2b) torna-se:
vi
(f (x)
|
xi x = p
|
xi x = p
(4.1.5.2c)
= 0
f [(t)] .
(4.1.5.2d)
x
i
xj
x
i xj
(4.1.5.2e)
(4.1.5.3)
84
T (M ) =
S
p
Tp (M ) .
Definic
ao 4.1.5.3. Seja f C (U, E 1 ) e p U M . Define-se a diferencial de
f em p o n
umero (df )p dado por:
(df )p : Tp (M ) E 1 ,
v (df )p (v) = v(f ),
v Tp (M ) .
(4.1.5.4)
Observac
oes
1. Consideremos um sistema de coordenadas locais (xi ) em uma vizinhanca de p.
Segundo vimos acima, { ( x i )p } formam uma base para Tp (M ).
1.1. Segundo a expressao (4.1.5.2a), para v Tp (M ) podemos escrever:
v = ai ( x i )p ,
(ai K) .
f
(df )p ( x i )p = ( x
i )p .
(4.1.5.5a)
) = ij .
(dxj )p ( x i )p = ( x
xi p
(4.1.5.5b)
x
i
xj
dxj .
(4.1.5.5c)
(aj K) .
(4.1.5.6a)
85
(df )p ( x i )p = aj (dxj ) ( x i )p = aj ij = ai .
Em vista disso, a expressao (4.1.5.5a) tomara a seguinte forma:
f
i
(df )p = ( x
i )p (dx )p ,
(4.1.5.6b)
que representa a expressao usual para a diferencial de uma funcao real do Calculo Elementar.
Esse resultado explica por que os membros do espaco cotangente sao tambem chamados de
1-formas.
Definic
ao 4.1.5.4. Define-se um campo de vetores X em uma variedade diferenciavel M como uma aplicacao X que associa a cada ponto p M um vetor tangente
Xp Tp (M ):
X : pM
Xp Tp (M ) .
Observac
oes
1. Seja (x1 , x2 , ... xn ) um sistema de coordenadas locais em um conjunto aberto
U M; entao p U, teremos:
Xp = Xpi
|
xi p
(4.1.5.7a)
f
|
xi p
(4.1.5.7b)
,
xi
ei
j (x) dxj .
xi1
xi2
...
xip
(4.1.5.8a)
x
a1 x
a2
xc1 xc2
...
x
ap xd1 xd2
xcp xb1 xb2
...
xdq
xbq
c c ...c
(4.1.5.8b)
86
Registre-se que a maioria dos livros sobre Calculo Tensorial apresenta a expressao acima
como a definicao de tensor.
Definic
ao 4.1.5.5. Sejam X e Y dois campos de vetores de uma variedade diferenciavel M e f uma funcao diferenciavel tambem de M [f R(M )]. Define-se comutador
entre X e Y da seguinte maneira:
[X, Y ](f ) = (XY Y X)(f ) = X Y (f ) Y X(f ) ,
(4.1.5.9)
(4.1.5.9a)
a, b K ,
(4.1.5.9b)
f, g R(M ) .
(4.1.5.9d)
Observac
oes
1. Uma Algebra
satisfazendo as expressoes (4.1.5.9,a,b,c,d) e denominada Algebra
de Lie.
2. O produto (operador) XY definido abaixo:
(XY )f = X(Y f ) = X i
(Y j x
j)
xi
= Xi
Y j f
xi xj
+ Xi Y j
2f
xi xj
f R(M ) .
(4.1.5.10a)
87
[Xi , Xj ](f ) 6= 0 ,
(4.1.5.10b)
ela e dita n
ao-holon
omica ou n
ao-coordenada.
2.1. Se (x1 , x2 , ..., xm ) sao coordenadas sobre U, entao o conjunto de campos de
vetores tangentes:
{
|
xi p
},
pU ,
(4.1.5.11)
xj
Exemplos
1. Seja (x, y, z) um sistema de coordenadas cartesianas no E 3 . A base holonomica
, y
, z
) que representam, respectivamente, vetores
correspondente ao mesmo sera: ( x
ortonormados tangentes aos eixos coordenados x, y e z, isto e: (
ex , ey , ez ). Observe-se
que esse sistema representa a carta (E 3 , I), onde I e a identidade:
I : E3
E 3,
(x, y, z) (x, y, z) .
onde:
0 r < ,
02.
88
onde:
0 r < ,
0 ,
02.
3.1. Para o sistema de coordenadas esfericas definido acima, a base definida por:
,
r
Xr =
X =
1
,
r
X =
r sen
e uma base nao-holonomica cujos coeficientes de estrutura sao obtidos por intermedio da
expressao (4.1.5.11), da seguinte maneira.
[Xr , X ] = Cr
Xr + Cr
X + Cr
= [ r
,
1 2
r r
1
r
( 1r
1 2
r r
1
r
( 1r
1
]
r
1
r
( 1r
1
r
( r
) =
X = Cr
Xr + Cr
X + Cr
X .
Portanto:
r
Cr
= Cr
= 0;
Cr
=
1
r
Cr
= 1r ;
C
=
1
r tg
Exerccios (4.1.5)
EX.4.1.5.1 Para o sistema de coordenadas esfericas (r, , ) definido por:
f : (r, , ) (x = r sen cos, y = r sen sen, z = r cos) ,
f 1 : (x, y, z)
r =
x2 + y 2 + z 2 , = tg 1 (
x2 + y 2
),
z
= tg 1 ( xy )
89
x
r x
x
x
y z
r y r z
y
y
x
x
y
y
z
z
= cos sen
+ sen sen
= r cos cos
+ r cos sen
z
z
= r sen sen
+ cos
r sen
+ r sen cos
+ 0.
~
e
r
cos
cos
r
cos
sen
r
sen
y
=
e
.
~e
r sen sen r sen cos
0
ez
Considerando-se que a base (
ex , ey , ez ) e ortonormada, o produto escalar entre os vetores
da base holonomica calculada acima e dado por:
(~er , ~er ) = sen2 cos2 + sen2 sen2 + cos2 =
= sen2 (sen2 + cos2 ) + sen2 = sen2 + cos2 = 1 ,
(~e , ~e ) = r2 cos2 cos2 + r2 cos2 sen2 + r2 sen2 = r2 ,
(~e , ~e ) = r2 sen2 sen2 + r2 sen2 cos2 = r2 sen2 ,
(~er , ~e ) = (~e , ~er ) = r sen cos cos2 + r sen cos sen2 r sen cos = 0 ,
(~er , ~e ) = (~e , ~er ) = r sen2 sen cos + r sen2 sen cos = 0 ,
(~e , ~e ) = (~e , ~e ) = r2 sen cos sen cos + r2 sen cos cos sen = 0 .
90
Verifica-se, portanto, que a base holonomica (~er , ~e , ~e ) e ortogonal, porem nao ortonormada.
Para torna-la ortonormada, basta dividir o segundo e terceiros vetores, respectivamente, por
r e r sen, os famosos par
ametros de Lam
e. Assim, a base holonomica ortonormada do
sistema de coordenadas esfericas sera:
(~er ,
1
r
~e ,
1
r sen
~e ) = (
er , e , e .)
b) Base dual. Para obtermos essa base, vamos usar a expressao (4.1.5.6b) para a
transformacao de coordenadas f 1 considerada e a seguinte expressao:
d
dz
(tg 1 z) =
1
1 + z2
dr =
dx +
r
y
r
z
dy +
dz =
x
r
y
r
dx +
z
r
dy +
dz =
d =
dx +
dy +
1
r
d =
dx +
dz =
r2
z x
x2 + y 2
dx +
r2
z y
x2
dy
y2
x2 + y 2
r2
dz =
dy +
1
r sen
dz =
y
x2 + y 2
dx +
x
x2 + y 2
dy + 0 dz =
sen cos
dr
1
cos cos
d =
r
1
d
r sen
sen
sen sen
1
cos sen
r
1
cos
r sen
1
r
cos
dx
sen dy
.
dz
0
Agora, vejamos se essa base dual e ortonormada. Para isso, inicialmente, vamos mostrar que
a base dual (dx , dy , dz) e ortonormada. Com efeito, usando-se os resultados dos exerccios
(4.1.2.1) e (3.1.5.1), isto e:
? dx = dy dz,
? dy = dz dx,
? dz = dx dy,
(d, d) = ? (d ? d) ,
teremos:
? (dx dy dz) = 1 ,
91
1
r
(sen cos cos cos + sen sen cos sen cos sen) = 0,
1
r2
1
r sen
(d, d) =
(d, d) = (d, d) =
1
r 2 sen2
1
r2 sen
(sen2 + cos2 ) =
1
r 2 sen2
1
r2
Verifica-se, portanto, que a base dual (dr, d, d) e ortogonal, porem nao ortonormada. Para
torna-la ortonormada, basta multiplicar o segundo e terceiros covetores, respectivamente,
por r e r sen, os famosos par
ametros de Lam
e. Assim, a base dual ortonormada para o
sistema de coordenadas esfericas sera:
(dr, r d, r sen d) .
Observac
oes complementares
As tecnicas usadas nesse problema nos permitem demonstrar que:
1. Entre as bases ortonormadas dual e holonomica, existe a seguinte correspondencia:
dr
er ;
(r d) e ;
(r sen d) e .
92
? dr = r d r sen d,
? (r send d) = dr r d,
? (r d) = r sen d dr ,
? (r sen d dr) = r d,
? (r d r sen d) = dr ,
? (dr r d r sen d) = 1 .
3. Para o sistema de coordenadas polares (r, ) definido por:
f : (r, ) (x = r cos, y = r sen) ,
f 1 : (x, y)
r =
x2 + y 2 , = tg 1 ( xy )
f
r
dr +
d +
d .
f
r
dr +
1 f
r
(r d) +
f
1
r sen
(r sen d) .
Por outro lado, em termos da base holonomica ortonormada desse mesmo sistema, podemos
escrever:
f =
f
r
er +
1 f
r
e +
f
1
r sen
93
~ = ?d?A.
.A
Portanto, para calcularmos essa divergencia vamos, inicialmente, considerar a 1 f orma
associada a esse vetor, isto e:
A = Ar dr + A r d + A r sen d .
Assim, usando-se os resultados do Exerccio (4.1.5.1) e a Definicao (4.1.2.1), teremos:
? A = ? (Ar dr + A r d + A r sen d) =
= Ar ? dr + A ? (r d) + A ? (r sen d) =
= Ar r d r sen d + A r sen d dr + A dr r d ,
d ? A = d(r2 Ar sen) d d + d(r sen A ) d dr + d(r A ) dr d =
=
1 (r2 Ar )
r2
r
dr r d r sen d +
+
= ( r12
?d?A =
(r2 Ar )
r
1 (r2 Ar )
r2
r
A
1
r sen
r d r sen d dr +
r sen d dr r d =
(sen A )
1
r sen
(sen A )
1
r sen
(sen A )
1
r sen
A
1
)
r sen
(dr r d r sen d) ,
A
1
r sen
? (dr r sen d r d) .
Portanto:
~ =
.A
1
r 2 r
(r2 Ar ) +
r sen
(sen A ) +
r sen
(A )
94
=
+
+
(r A )
r
(r sen A )
r
=
+
+
1 Ar
r
1
r
1
r
1
Ar
sen
(r A )
r
? dA =
1
r sen
1
r
1
Ar
sen
(r A )
r
(r A )
r
Ar
d +
d
d =
(r d r sen d) ,
? (r d r sen d) +
? (r sen d dr) +
? (dr r d) ,
(sen A )
r d +
(r sen d r d) +
(sen A )
1
r sen
dr +
(r sen d dr) +
(A )
1
r sen
(sen A )
(r sen A )
d +
1
Ar
r sen
(dr r d) +
1
r sen
(r A )
d +
(r sen A )
dr +
(r A )
dr +
Ar
d +
(dr r sen d) +
? dA =
+
Ar
dr +
(r d dr) +
1 (r A )
r
r
1 (r A )
r
r
Ar
r
1
r
(r A )
r
dr +
Ar
e +
r sen d .
1
r
1
rsen
(sen A )
er +
1
r
1
Ar
sen
(r A )
r
(r A )
r
Ar
f
r
dr +
d +
d .
95
? df =
f
r
d ? df = d
=
1
r2 r
(r2
f
r
f
)
r
(r d r sen d) +
1
r 2 r
? d ?f =
(r2
1
r2 r
f
)
r
(r2
r2
f
)
r
sen
f
1
r sen
1 f
r
(r sen d dr) +
1
r sen
( 1r sen
f
)
(dr r d) ,
f
1
r sen
(dr r d)
(r d r sen d dr) +
f
(
(r sen d dr r d) =
(sen
sen
r2
? (r sen d) =
(r sen d dr) +
(dr r d r sen d) +
1
r 2 sen2
f
1
r sen
? (r d) +
1 f
r
(r d r sen d) +
+
=
1 f
r
? dr +
f
)
(sen
r2
f
)
2f
1
sen2 2
r2
(dr r d r sen d) ,
2f
1
sen2 2
? (dr r dr send).
Portanto:
f =
1
r 2 r
(r2
f
)
r
r2 sen
(sen
f
)
2f
1
r 2 sen2 2
gp (X, Y ) ,
X Tp (M )
Observac
oes
1. A metrica e dita indefinida, quando:
Y = 0.
96
gp (X, X) = 0
nao implica
X = 0.
2. Sendo a metrica uma forma bilinear, e suficiente conhecer seus valores sobre uma
base. Assim, seja a base local { X(p)i } de uma variedade M. Portanto, a metrica gp sera
dada pela matriz n n:
g(p)ij = gp (X(p)i , X(p)j ) = < X(p)i , X(p)j > ,
(4.1.6.1)
(4.1.6.2a)
T gp 1
3. Teorema de Gram-Schmidt.
ortonormada { i }, isto e:
ij
(4.1.6.2b)
g(i , j ) = ij ,
onde ij e uma matriz diagonal com P sinais positivos (+) e N sinais negativos, sendo
P + N = n:
ij = diag(1, 1, ..., 1, 1, 1, ..., 1) .
Esse Teorema permite dizer que para qualquer matriz g, simetrica e de determinante naonulo, existe sempre uma matriz invertvel , tal que:
T gp 1
ij
= ij .
97
j (ei ) = ij .
(4.1.6.3)
5.1. Essa base dual sera holonomica, se ela for uma 1 f orma exata, isto e, se
existem 0 f ormas xj , tal que:
j = dxj
d(dxj ) = 0 .
(4.1.6.4)
Conforme mostramos na expressao (1.1.3.11), essa metrica e recproca da metrica gjk , isto e:
g ij gjk = ki .
(4.1.6.5)
(4.1.6.6)
(4.1.6.7a)
(4.1.6.7b)
6.1. Seja uma curva parametrizada () definida em M cujo vetor tangente sobre a
~
~ = dx
mesma e dado por X
. O seu comprimento sera dado por:
d
~ dx
~ >=<X
~ d, X
~ d > = < X,
~ X
~ > d2 = g(X,
~ X)
~ d2 .
d`2 = < dx,
~ X)
~ > 0 , entao o comprimento de um elemento
Se a metrica for positiva-definida g(X,
da curva sera:
d` =
~ X)
~ d .
g(X,
(4.1.6.7c)
~ X)|
~ d .
|g(X,
(4.1.6.7d)
98
7. Uma metrica estabelece uma relacao entre campos vetoriais e covetoriais, ou seja,
ela pode ser definida como uma aplicacao unvoca (um um) que transforma vetores em
1 f ormas (covetores):
g(X, ) = X,
R(M ) .
X
X Tp (M ),
(4.1.6.8a)
X k = g ki Xi .
(4.1.6.8b)
As expressoes (4.1.6.8a,b) nos mostram que o tensor metrico gij e seu recproco g ij funcionam,
respectivamente, como abaixadores e levantadores de ndices.
Exemplos
1. Para o sistema de coordenadas polares (r, ), a metrica correspondente (obtida
usando-se a expressao (4.1.6.1) e o Exerccio (4.1.5.1)), sera dada por:
g = (~e , ~e ) = r2 ;
g rr grr = 1 g rr = 1;
gr = (~er , ~e ) = 0 ,
g g = 1 g =
1
r2
gij =
1 0
,
0 r2
"
ij
1
0
0
1
r2
Destaque-se que essa metrica tambem pode ser obtida por intermedio da expressao (4.1.6.2b),
considerando-se que, para o sistema cartesiano (x , y , z), a sua metrica e a matriz unitaria.
2. Para o sistema de coordenadas esfericas (r, , ), a metrica correspondente (obtida
usando-se a expressao (4.1.6.1) e o Exerccio (4.1.5.1)) sera dada por:
grr = (~er , ~er ) = 1;
gr = (~er , ~e ) = 0;
g = (~e , ~e ) = r2 ;
gr = (~er , ~e ) = 0;
g = (~e , ~e ) = r2 sen2 ;
g = (~e , ~e ) = 0 .
99
gij
1 0
0
2
0
r
0
=
.
0 0 r2 sen2
oportuno destacar que essa metrica tambem pode ser obtida por intermedio da
E
expressao (4.1.6.2b), considerando-se que, para o sistema cartesiano (x , y , z), a sua metrica
e a matriz unitaria. Destaque-se ainda que, usando-se a expressao (4.1.6.5), a metrica associada `a base dual desse sistema de coordenadas sera dada por:
g ij
= 0
0
0
1
r2
0
0
.
1
r 2 sen2
Definic
ao 4.1.6.2. Define-se uma variedade Riemanniana a toda variedade diferenciavel M sobre a qual e definida uma metrica Riemanniana.
Observac
oes
1. Se a metrica for nao-Riemanniana, a variedade e chamada nao-Riemanniana.
sempre possvel definir pelo menos uma metrica Rie2. Teorema de Whitney. E
manniana sobre uma variedade diferenciavel arbitraria.
Definic
ao 4.1.6.3. Seja X(M) um conjunto de campos de vetores X de uma variedade diferenciavel M. Define-se conex
ao afim sobre M a seguinte aplicacao:
: X (M ) X (M )
(X, Y )
X (M ) ,
X (Y ) ,
(4.1.6.9a)
(4.1.6.9b)
(4.1.6.9c)
(4.1.6.9d)
(4.1.6.9e)
,
xi
(4.1.6.10a)
100
i (j ) = kij k .
(4.1.6.10b)
(4.1.6.10c)
(4.1.6.11a)
onde:
1. ji = ikj k .
(4.1.6.11b)
2. ij + ji = dgij ,
ij = gik jk .
3. di + ji j = 0 .
(4.1.6.11c)
(4.1.6.11d)
Definic
ao 4.1.6.4. Dado um campo de vetores X, define-se um campo de tensores
X, chamado derivada covariante ou derivada absoluta, da seguinte maneira:
X(Y, ) = < , Y (X) > ,
(4.1.6.12a)
Portanto:
j X i = X,ji = j X i + ijk X k .
(4.1.6.12b)
101
(4.1.6.12c)
M .
Para um campo de vetores X definido em uma vizinhanca aberta de ([a, b]), a sua derivada
covariante ao longo de e dada por:
t
(X).
( =
d
)
dt
dxi
dt
i ,
teremos:
k
(X) = ( dX
dt
+ kij
dxi
dt
X i ) k |(t) .
(4.1.6.13a)
(4.1.6.13b)
(4.1.6.14)
1
2
(4.1.6.15)
102
T : X (M ) X (M )
X(M),
(4.1.6.16a)
(4.1.6.16b)
X (M ) ,
Y X (Z)
(4.1.6.17a)
[X,Y ] (Z) ,
(4.1.6.17b)
R(M ) ,
(4.1.6.18a)
definida por:
T (, X, Y ) = < , T (X, Y ) > .
(4.1.6.18b)
Observac
oes
1. Para uma base local (i ) e sua correspondente base dual (dxi ), as expressoes
(4.1.6.16b), (4.1.6.18b) e (4.1.6.10b) nos permitem escrever que:
Tijk = T (dxk , i , j ) = < dxk , T (i , j ) > =
= < dxk , i (j ) j (i ) [i , j ] > .
Usando-se as expressoes (4.1.6.3) e (4.1.6.10a), teremos:
m
k
n
k
n
Tijk = < dxk , m
ij m ji n > = ij (dx m ) ji (dx n ) .
(4.1.6.18c)
oportuno esclarecer que, quando a variedade e Riemanniana, o tensor tensao e nulo, uma
E
vez que kij e simetrico.
i
Definic
ao 4.1.6.7. Define-se o tensor curvatura Rjk`
de uma conexao afim em
uma variedade diferenciavel M como a aplicacao:
R : X (M ) X (M ) X (M ) X (M )
R(M ) ,
(4.1.6.19a)
103
definida por:
R(, Z, X, Y ) = < , R(X, Y )Z > .
(4.1.6.19b)
Observac
oes
1. Para uma base local (i ) e sua correspondente base dual (dxi ), as expressoes
(4.1.6.17b), (4.1.6.19b), (4.1.6.10b) e (4.1.6.3) nos permitem escrever que:
i
Rjk`
= R(dxi , j , k , ` ) = < dxi , R(k , ` ) j > =
= < dxi , (k ` ` k [k ,
` ] )
j > =
n
= < dxi , k (` j ) ` (k j ) > = < dxi , k (m
`j m ) ` (kj n ) > =
n
n
m
= < dxi , (k m
`j ) m + `j (k m ) (` kj ) n kj (` n ) > =
s
n
n
m r
= < dxi , (k m
`j ) m + `j km r (` kj ) n kj `n s > =
i
s
i
n
i
n
i
m r
= k m
`j (dx m ) + `j km (dx r ) ` kj (dx n ) kj `n (dx s ) =
i
s
n
i
n
i
m r
i
= k m
`j m + `j km r ` kj n kj `n s .
(4.1.6.20a)
i
, conhecido como tensor de Riemann-Christoffel,
1.1. O tensor curvatura Rjk`
satisfaz as seguintes propriedades:
i
i
i
= 0 . (Primeira Identidade de Bianchi) (4.1.6.20b)
a) Rjk`
+ R`jk
+ Rk`j
i
i
i
b) Rjk`,m
+ Rjmk,`
+ Rj`m,k
= 0.
i
i
c) Rjk`
= Rj`k
.
(4.1.6.20d)
m
= Rjik` , Rijk` = Rij`k , Rijk` = Rk`ij . (4.1.6.20e,f,g)
d) Rijk` = gim Rjk`
i
2. A partir do tensor curvatura Rjk`
, define-se:
i
Rj` = Rji`
,
R = g ik Rik .
(Tensor de Ricci)
(Curvatura Escalar)
(4.1.6.21a)
(4.1.6.21b)
104
(4.1.6.22a)
onde:
i
1. ij = Rkj`
k ` .
(4.1.6.22b)
2. ij = dji + ki jk .
(4.1.6.22c)
Exerccios (4.1.6)
EX.4.1.6.1 Para um sistema de coordenadas polares (r, ), calcule as conexoes de
Cartan.
Solucao
Para o sistema de coordenadas polares (r, ), vimos que:
"
gij =
1 0
0 r2
"
ij
1
0
0
1
r2
a) Forma de conex
ao Usando-se as expressoes (4.1.6.11c) e (4.1.6.22c), teremos:
dgrr = d(1) = 0 = 2 rr
dg = d(r2 ) = 2 r dr = 2
rr = 0 ,
= r dr .
Sendo:
ji = g ik jk ,
entao:
rr = g rr rr = 0,
= g =
1
r2
r dr =
dr
r
105
b) Forma de curvatura
Usando-se a expressao (4.1.6.22c) e os resultados anteriores, vira:
rr = drr + kr rk = d(0) + rr rr = 0 + 0 = 0 ,
= d + k k = d( dr
) + = d( 1r ) dr + 0 =
r
1
r2
dr dr = 0 .
Problemas (4.1)
4.1.1. Usando o conceito de diferenciacao exterior:
a) Calcule d, onde:
a.1) = x2 y dy dz x z dx dy; a.2) = 2 x y dx + x2 dy ;
a.3) = 2 y z dy dz + x y dz dx x z dx dy .
b) Demonstre que:
~ B)
~ = A
~.B
~ B
~ .A
~;
b.1) . (A
~ = f A
~ + f A
~.
b.2) (f A)
4.1.2. Para o sistema de coordenadas cilndricas (r, , z) definido por:
f : (r, , z) (x = r cos, y = r sen, z = z) ,
f 1 : (x, y, z)
0 r < ,
r =
x2 + y 2 , = tg 1 ( xy )
02
< z < ,
4.1.5. Para as formas de Cartan (conexao ji e curvatura ij ), demonstre as propriedades representadas pelas expressoes (4.1.6.11c,d) e (4.1.6.22c), e calcule essas formas
para o sistema de coordenadas esfericas.
Captulo 5
5.1 Integra
c
ao Exterior
5.1.1 Integrac
ao de Formas
Definic
ao 5.1.1.1. Dada uma variedade M e um intervalo fechado I E 1 ,
define-se um segmento de curva ou (1 segmento) como a aplicacao:
: I = [a, b]
M .
Definic
ao 5.1.1.2. Seja uma 1f orma em uma variedade M e um 1segmento.
Define-se a integral de sobre como:
R
[a,b]
R
[a,b]
Rb
a
0 (t)
dt ,
(5.1.1.1a)
1. Seja f~ =
f1 (x, y, z), f2 (x, y, z), f3 (x, y, z) uma funcao vetorial contnua
em uma regiao D do espaco R3 e seja a correspondente 1 f orma, dada por:
= f1 dx + f2 dy + f3 dz .
Usando-se o Calculo Vetorial Elementar, a expressao (5.1.1.1a) e escrita da seguinte forma:
R
Rb
a
f1 dx + f2 dy + f3 dz =
f~ . d~r =
onde:
fi = fi [x(t), y(t), z(t)] (i = 1, 2, 3), x0 (t) =
dx(t)
,
dt
y 0 (t) =
dy(t)
, z 0 (t)
dt
dz(t)
dt
No Calculo Vetorial Elementar, essa integral e conhecida como integral de linha ou circula
c
ao. Na Fsica, um dos exemplos mais conhecidos dessa integral e o trabalho de
uma forca F~ ao longo de uma curva :
=
F~ . d~r .
2. Seja f uma 0 f orma e uma curva (1 segmento) que vai do ponto a ao ponto
b - = [a, b]. O operador fronteira aplicado a - - e definido como:
108
= b a ,
e a integral de f sobre como:
R
f = f (b) f (a) .
(5.1.1.1b)
Definic
ao 5.1.1.3. Dada uma variedade M e um ret
angulo fechado D E2,
define-se uma superfcie suave S ou (2 segmento) como a aplicacao:
S : D = [u, v]
(a u b, c v d) .
Observac
oes
1. Essa superfcie S e formada por curvas-arestas, que sao os 1 segmentos
S1 , S2 , S3 e S4 , definidos por:
S1 (u) = S(c, u),
S2 (v) = S(b, v) ,
(5.1.1.2a,b)
S3 (u) = S(d, u) ,
S4 (v) = S(a, v) ,
(5.1.1.2c,d)
(5.1.1.2e)
RR
D
RR
D
S =
Rb Rd
a
Su , Sv
du dv .
(5.1.1.3)
Observac
oes
1. Seja f~ =
f1 (x, y, z), f2 (x, y, z), f3 (x, y, z) uma funcao vetorial contnua
em uma regiao D do espaco R3 e seja a correspondente 2 f orma, dada por:
= f1 dy dz + f2 dz dx + f3 dx dy .
Do Calculo Vetorial Elementar, temos:
RR
S
RR
RR
~ = R R f~ . ~n dS = R R
f~ . d S
S
Ryz f1 dy dz
Rzx f2 dz dx
Rxy f3 dx dy ,
109
~ sobre os planos yz, zx e xy, respectivaonde Ryz , Rzx e Rxy representam as projecoes de S
mente, e os sinais das integrais do segundo membro sao determinados pela posicao relativa
entre o vetor unitario ~n e os eixos coordenados (x , y , z). Desse modo, a expressao (5.1.1.3)
sera escrita na forma:
RR
S
RR
S
(f1 dy dz + f2 dz dx + f3 dx dy) =
RR
S
~ ,
f~ . d S
R
S
R
S1
R
S1
R
S2
R
S2
S3
R
S3
R
S4
S4
(5.1.1.4)
Exerccios (5.1.1)
EX.5.1.1.1 Calcule
a) = x dy y dx;
b) = x2 dx + y dy + xyz dz;
0t2.
0t1.
Soluc
ao
a) Segundo a expressao (5.1.1.1a), teremos:
R
R 2
0
(x dy y dx) =
(x dy y dx) =
R
[0, 2]
R 2
0
[cos2 t + sen2 t] dt =
R 2
0
dt = 2 .
(t2 + t + t3 ) dt =
EX.5.1.1.2 Calcule
RR
S
t3
3
[0, 1]
t2
2
t4
4
i1
o
a) = x dy dz + y dx dy ;
= ( 31 +
1
2
1
)
4
13
12
110
S : (x, y) (u + v, u v, uv),
0 u 1, 0 v 1 .
b) = xy dy dz + x dz dx + 3xz dx dy ;
S : (x, y, z) (u, v, u2 + v 2 ),
0 u 1, 0 v 1 .
Soluc
ao
a) Inicialmente, calculemos S :
S (x dy dz + y dx dy) =
= (u + v) d(u v) d(uv) + (u v) d(u + v) d(u v) =
= (u + v) (du dv) (u dv + vdu) + (u v) (du + dv) (du dv) =
= (u + v) (u du dv v dv du) + (u v) ( du dv + dv du) =
= (u + v)(u + v)du dv 2 (u v) du dv = [(u + v)2 2 u + 2 v]du dv ,
S (x dy dz + y dx dy) = (u2 + 2 u v + v 2 2 u + 2v) du dv .
Usando-se a expressao (5.1.1.3), teremos:
RR
S
R1
o
(x dy dz + y dx dy) =
=
R1 R1
R1 R1
( 31 2 .
o[ o
1
2
RR
D
S (x dy dz + y dx dz) =
(u2 + 2 u v + v 2 2 u + 2v) du dv =
(u2 2u + 2 u v) du] (v 2 + 2 v) dv =
+ 2.
v
2
+ v 2 + 2v) dv =
R1
o
(v 2 + 3 v
2
)
3
dv =
7
6
b) Inicialmente, calculemos S :
S (xy dy dz + x dz dx + 3xz dx dy) =
= S (uv dv d(u2 + v 2 ) + u d(u2 + v 2 ) du + 3u(u2 + v 2 ) du dv =
= uv dv (2 udu + 2vdv) + u (2 udu + 2 vdv) du + (3 u3 + 3uv 2 ) du dv =
= 2 u2 v dv du + 2 uv dv du + (3 u3 + 3 uv 2 ) du dv =
= (3 u3 + 3 uv 2 2 u2 v 2 uv) du dv .
111
RR
RR
=
=
R1
o
( 43 +
3
2
R1 R1
o
(3 u3 + 3 uv 2 2 u2 v 2 uv) du dv =
v2 2 .
1
3
v 2.
1
2
v) dv = ( 34 +
3
2
1
3
5
3
12 ) =
5
12
d =
R
D
(5.1.2.1)
Observac
oes
1. O Teorema Generalizado de Stokes, tambem conhecido como Teorema
de Barrow-Newton-Leibniz-Gauss-Ostrogradski-Green-Stokes-Poincar
e, pode ser
demonstrado em uma variedade diferenciavel M. Neste caso, D e D recebem o nome
generico de cadeia.
2. Se e uma p f orma e uma q f orma, as expressoes (4.1.2.1b) e (5.1.2.1)
nos permitem obter a generalizacao da integra
c
ao por partes, ou seja:
R
D
d( ) =
R
D
(d + (1)p d) =
R
D
( ) .
(5.1.2.2)
(5.1.2.3)
Intuitivamente, essa propriedade e entendida da seguinte forma: uma curva que limita uma
superfcie nao tem pontos extremos; a superfcie que limita um volume nao tem borda.
3.1. Uma cadeia C, para a qual C = 0 , e dita um ciclo.
3.2. Uma cadeia C, que pode ser escrita como C = B para algum B, e dita uma
fronteira. Em vista da expressao (5.1.2.3), temos:
C = ( B) = 0 .
(5.1.2.4)
112
d(d) = 0
( B) = 0 .
Exemplo
Verificar o Teorema Generalizado de Stokes no caso particular em que e uma
1 f orma dada por:
= f1 (x, y, z) dx + f2 (x, y, z) dy + f3 (x, y, z) dz .
Consideremos uma transformacao T que muda para um novo sistema de coordenadas (u , v). Entao, segundo a Definicao (4.1.3.2), teremos:
= f (u, v) du + g(u, v) dv ,
onde f e g sao funcoes diferenciaveis de (u, v). Usando-se a Definicao (4.1.2.1), teremos:
d( ) = df du + dg dv = ( f
du +
u
g
d( ) = ( u
f
v
f
)
v
g
dv) du + ( u
du +
g
v
dv) dv ,
du dv .
d =
RR
D
(d) =
RR
g
D u
RR
D
d( ) =
du dv
RR
RR
D
f
D v
( u
f
)
v
du dv =
du dv .
Para resolvermos as integrais duplas acima, vamos trata-las como integrais iteradas.
Inicialmente, lembremos que o 2 segmento S tem as fronteiras S1 , S2 , S3 e S4 e que o
correspondente retangulo D (a u b; c v d), decorrente da transformacao T, tem
as fronteiras D1 (u) = D(c, u), D2 (v) = D(b, v), D3 (u) = D(d, u) e D4 (v) =
D(a, v) . Assim, teremos:
RR
g
D u
du dv =
Rd Rb
g(u,v)
a
u
du
dv =
Rd
c
I(v) dv .
Rb
a
g(u,v)
u
du = g(b, v) g(a, v) ,
conseq
uentemente:
RR
g
D u
du dv =
Rd
c
g(b, v) dv
Rd
c
g(a, v) dv .
113
D2
D4
g(b, v) dv =
S2
S4
g(a, v) dv =
g
D u
du dv =
R
S2
S4
f
D v
du dv =
R
S3
R
S1
d =
R
S1
R
S2
R
S3
R
S4
R
S
d =
R
S
Exerccios (5.1.2)
EX.5.1.2.1 Use o Teorema Generalizado de Stokes para demonstrar:
a) RO Teorema Fundamental do C
alculo ou Teorema de Barrow-Newtonb
Leibniz - a df = f (b) f (a) ;
b) O Teorema de Gauss-Ostrogradski c) O Teorema de Stokes -
R
S
R
V
~ dV = R A
~ . dS
~ ;
.A
S
~ . dS
~ = H A
~ . d~` .
A
Solucao
a) Teorema de Barrow-Newton-Leibniz - Seja f uma 0 f orma e
consideremos D = [a, b] cuja fronteira e D = ([a, b]) . Entao, usando-se as expressoes
(5.1.1.1b) e (5.1.2.1), teremos:
R
[a,b]
df =
Rb
a
df =
R
([a,b])
f = f (b) f (a) .
114
~ = dy dz x + dz dx y + dx dy z .
dS
~ isto e:
Seja A a 1 f orma correspondente ao vetor A,
A = Ax (x, y, z) dx + Ay (x, y, z) dy + Az (x, y, z) dz .
Segundo vimos no Exerccio (4.1.2.1), temos:
? A = Ax dy dz + Ay dz dx + Az dx dy ,
x
+
d? A = ( A
x
Ay
y
Az
)
z
dx dy dz .
R
V
x
+
( A
x
Ay
y
Az
)
z
d (? A ) =
dx dy dz =
R
S
R
S
(? A )
Ax dy dz + Ay dz dx + Az dx dy .
~ dV = R A
~ . dS
~ .
.A
S
d A = ( A
y
Ay
)
z
x
dy dz + ( A
Az
)
x
y
dz dx + ( A
Ax
)
y
dx dy .
d A =
115
R
S
( A
y
Ay
)
z
x
dy dz + ( A
Az
)
x
y
dz dx + ( A
Ax
)
y
dx dy =
Ax dx + Ay dy + Az dz .
~ . dS
~ = R A
~ . d~` .
A
dx +
= 2x + y
dy = (2x + y) dx + x dy ,
= x2 + y x + f (y) ,
= x = x y + g(x) (x, y) = x2 + x y + C .
d =
R
D
RB
A
= 4 + 2 + C 1 + 2 C
1)
[x2 + x y + C](1,
2) ,
= 7.
116
(5.1.3.1)
+ Y
= i X + iY ;
(5.1.3.2a)
2) (iX )2 = iX iX = 0 ;
(5.1.3.2b)
iX (a ) = a iX ;
(5.1.3.2c,d)
(5.1.3.2e)
(5.1.3.2f)
iX (f ) = 0 .
(5.1.3.2g,h)
Observac
oes
1. Seja uma p f orma escrita em termos da base { dxi } :
= i1 i2 ...ip dxi1 dxi2 ... dxip ,
e seja ainda X = X i
iX =
xi
, onde {
1
(p 1)!
xi
(5.1.3.3a)
f
xi
dxi ,
entao:
iX df = X i
f
xi
(5.1.3.3b)
117
(5.1.3.4)
Observac
oes
1. Para a 0 f orma f, as expressoes (5.1.3.4) e (5.1.3.3b) permitem escrever que:
LX f = X(f ) = iX df = X i
f
xi
= < X, df > .
(5.1.3.5)
Comparando-se a expressao acima com a expressao (4.1.5.2a), que define a derivada direcional, verifica-se que elas sao equivalentes. Desse modo, podemos dizer que:
A Derivada de Lie de uma fun
c
ao
e a derivada direcional.
2. Para a 1f orma = j dxj , segundo as expressoes (5.1.3.4) e (5.1.3.5), teremos:
LX = X(j ) dxj + (j X i ) i dxj = X i (i j ) dxj + (j X i ) i dxj .
Usando-se as expressoes (5.1.3.2d,e) e (5.1.3.3b), obtem-se os seguintes resultados:
iX d = iX [di dxi ] = iX [(j i ) dxj dxi ] ,
iX d = j i (iX dxj ) dxi (j i dxj ) (iX dxi ) = X j j i dxi X i j i dxj .
d(iX ) = d(X i i ) = (i X j ) j dxi + X i (j i ) dxj .
iX d + d(iX ) = X j j i dxi + (i X j ) j dxi = X i i j dxj + (j X i ) i dxj .
Comparando-se esse resultado com o de LX calculado acima, verifica-se que:
LX = iX d + d(iX ) = (iX d) + (d iX ) LX = { iX , d } ,
onde { , } indica o operador anti-comutador.
2.1. A expressao acima vale para uma pf orma . Desse modo, podemos apresentar
a seguinte definicao.
Definic
ao 5.1.3.3. Seja uma p f orma. Define-se a Derivada de Lie de
como:
118
LX = (iX d) + (d iX ) = (iX d + d iX ) = { iX , d } .
(5.1.3.6)
Observac
ao
A expressao acima mostra que os operadores d, iX e LX satisfazem a chamada
identidade de homotopia:
L X = iX d + d i X ,
(5.1.3.7a)
L X . i X = iX . L X ;
Y ];
[LX , iY ] = i[X,
Y]
(5.1.3.7b,c)
;
(5.1.3.7d,e)
LX (a ) = a LX ;
e) LX ( ) = LX + LX ;
f) LX f = X f ;
h) LX
+ Y
= L X + LY ;
(5.1.3.7g)
(5.1.3.7h)
LX df = d(X f ) ;
g) Lf X = f LX + df iX ;
(5.1.3.7f)
(5.1.3.7i,j)
(5.1.3.7k)
LaX = a LX ,
i) LX = d[(X)] + (d)(X) .
(5.1.3.7l,m)
(5.1.3.7n).
Observac
ao
A expressao (5.1.3.7n) e conhecida como Identidade de Cartan [Burke (1985)].
a a ...a
Definic
ao 5.1.3.4. Para o tensor Tb11b22...bq p , a Derivada de Lie e definida da
seguinte maneira:
a a ...a
a a ...a
ka ...a
a k...a
(k X ap ) Tb11b22...bq p1
a a ...ap
2
+ (b1 X k ) Tkb12 ...b
q
a a ...a
p
+ (bq X k ) Tb11b22...bq1
k .
a a ...ap
2
+ (b2 X k ) Tb11k...b
q
+ ... +
(5.1.3.8a)
Observac
ao
Para o tensor m
etrico gij , tem-se:
(LX g)ij = Xi,
+ Xj, i ,
(5.1.3.8b)
119
Exerccios (5.1.3)
EX.5.1.3.1 Use a Definicao de Derivada Covariante, dada pela expressao (4.1.6.12c),
para demonstrar a expressao (5.1.3.8b).
Solucao
Usando-se as expressoes (5.1.3.8a) e (4.1.6.8a), teremos:
(LX g)ij = X k k gij + (i X k ) gkj + (j X k ) gik ,
(I)
(j X k ) gki = j Xi X k j gki ,
(i X k ) gkj = i Xj X k i gkj ,
(II)
1
2
(III)
+ Xi,
120
(5.1.4.1)
Observac
oes
1. Para a 0 f orma f, as expressoes (5.1.4.1) e (5.1.3.5) permitem escrever que:
t f = t f + LV f = t f + V i i f = t f + (V~ . ) f .
(5.1.4.2a)
(5.1.4.2b)
Definic
ao 5.1.4.2. Seja uma p f orma e consideremos um domnio D que se
move com uma velocidade V. Define-se a taxa de variacao da integral de ao longo de D,
como:
t
R
D
R
D
t .
(5.1.4.3a)
Observac
oes
1. Usando-se as expressoes (5.1.4.3a) e (5.1.4.2b), teremos:
t
R
D
R
D
t +
R
D
iV (d ) +
R
D
d (iV ) .
R
D
R
D
t +
R
D
iV d +
R
D
iV .
(5.1.4.3b)
1.1. A expressao acima generaliza as formulas do Calculo Vetorial relativas `a integracao sobre domnios de dimensoes 1, 2 e 3. Por exemplo, na dimensao 2, ela corresponde
ao Teorema de Helmholtz:
d
dt
R
S
~ . dS
~ = R
~ .A
~ (V~ A)
~
~ .
A
V
. dS
S
(5.1.4.3c)
121
Problemas (5.1)
5.1.1. Dada a 1 f orma :
= 2 x y z dx + x2 z dy + x2 y dz ,
calcule
, para:
: (x, y, z) (ru, su, tu),
0u1.
5.1.2. Para cada uma das 1 f ormas dadas abaixo, verifique se elas sao fechadas,
e quais sao exatas.
a) 2 x y dx + x2 dy + 2 z dz ;
b)
( y dx + x dy)
c) ex
d)
x2 + y 2
(dx +
x
y
(x cos x senx)
x2
;
dy) ;
y dx +
senx
x
dy .
1
3
R
R
R
V
(f g g f ) dV =
H
S
~ .
(f g g f ) . dS
(x dy dz + y dz dx + z dx dy) .
R
S
~ . dS
~ = R
~ (V~ A)
~
~ .
A
V~ . A
. dS
S
122
Bibliografia - Parte 1
1. Aldrovandi, R. and Pereira, J. G. An Introduction to Geometrical Physics. World
Scientific (1995).
2. Arnold, V. I. M
etodos Matem
aticos da Mec
anica Cl
assica. Editora Mir Moscovo
(1987).
3. Bamberg, P. and Sternberg, S. A Course in Mathematics for Students of Physics
1, 2. Cambridge University Press (1992).
4. Bressoud, D. M. Second Year Calculus. Springer-Verlag (1991).
5. Burke, W. L. Applied Differential Geometry. Cambridge University Press (1987).
6. Costa, J. E. R. O C
alculo das Componentes do Tensor de Riemann atrav
es
de Formas Diferenciais. Trabalho de Conclusao de Curso, Departamento de Fsica
da Universidade Federal de Juiz de Fora (1990).
7. Deschamps, G. A. Exterior Differential Forms. IN: Mathematics Applied to
Physics. Springer-Verlag (1970).
8. , Electromagnetics and Differential Forms, Proceedings of the IEEE,
69 (6): 676-696 (1981).
9. Eguchi, T., Gilkey, P. B. and Hanson, A. J. Gravitation, Gauge Theories and
Differential Geometry, Physics Reports 66 (6):213-393 (1980).
10. Ferreira, B. A. Equac
oes de Maxwell em Forma Tensorial e em Linguagem de
Formas Diferenciais. Trabalho de Conclusao de Curso, Departamento de Fsica da
Universidade Federal de Juiz de Fora (1992).
11. Flanders, H. Differential Forms with Applications to the Physical Sciences.
Academic Press (1963).
12. , Differential Forms, IN: Studies in Global Geometry and Analysis 4.
The Mathematical Association of America. (1967).
13. Gockeler, M. and Sch
ucker, T. Differential Geometry, Gauge Theories, and
Gravity. Cambridge University Press (1995).
14. Hsu, H. P. Vector Analysis. Simon and Schuster, Inc. (1969).
15. Kremer, H. F. C
alculo Tensorial. Notas de aulas. Instituto de Fsica da Universidade
Federal do Parana (1962).
16. Nash, C. and Sen, S. Topology and Geometry for Physicists. Academic Press
(1992).
17. Oliveira, W. Introduc
ao `
a Geometria Riemanniana. Notas de Aulas. Departamento de Fsica da Universidade Federal de Juiz de Fora (1990).
123
Captulo 6
6.1 Mecanica
6.1.1 Introduc
ao: Geometria dos Espa
cos Fsicos
Ate o Captulo 5 apresentamos os aspectos formais do Calculo Exterior. A partir
deste Captulo 6 e nos dois Captulos seguintes, vamos apresentar algumas aplicacoes fsicas
desse Calculo: Mecanica, Termodinamica e Eletrodinamica. Contudo, para entendermos a
relevancia do Calculo Exterior precisaramos estudar a Geometria dos Espa
cos Fsicos.
Entendemos por Geometria a ciencia do espaco, ou melhor, dos espacos que sao
adotados para estudar os fenomenos fsicos. Nao e nossa intencao analisar essa geometrizacao.
Esta pode ser vista, por exemplo, nos excelentes livros citados na Bibliografia - Parte 2:
[Aldrovandi e Pereira (1995); Schutz (1995)].
Geometrizar um certo fenomeno dinamico [Videira (1987)], como a gravitacao, ou
o eletromagnetismo (ou qualquer outro fenomeno significa incorporar o campo (ou o potencial) associado a esse fenomeno dinamico numa dada estrutura geometrica, isto e, o objeto
din
amico campo (potencial) tera de ser parte constituinte de uma certa variedade. Esse e
o objetivo quando buscamos geometrizar um certo campo (potencial).
Isto implica que devemos escolher ou postular o tipo de variedade de acordo com
as necessidades fsicas. Desse ponto de vista,a Geometria devera depender estritamente do
tipo da dinamica que precisa ser incorporada. Poderemos fazer isso definindo uma Geometria, isto e, uma variedade, e dependendo dessa escolha verificar que tipo de dinamica
ela comporta ou, partindo de certos aspectos denamicos inferir qual deve ser a Geometria.
Em outras palavras, esse acoplamento entre dinamica e geometria exige que a estrutura
geometrica do sistema fsico a ser descrito seja postulada de antemao ou inferida [Videira,
Rocha Barros e Fernandes (1985)]. De qualquer modo e claro que a estrutura geometrica
devera ser suficientemente complexa e rica para que possa comportar a dinamica necessaria.
Conforme podemos ver nos textos citados acima, a geometrizac
ao dos processos
fsicos leva-nos a usar variedades com uma Geometria muito mais complicada, mais rica,
que a Riemaniana denominadas de variedades fibradas. Nestas variedades os objetos geometricos basicos sao as p f ormas e usa-se o Calculo Exterior, conforme vimos no Captulo
3. As atuais teorias de gauge, por exemplo, baseiam-se na Geometria Fibrada.
Vejamos, agora, sem muita preocupacao com o rigor matematico (sobre este, ver
Captulo 4) as propriedades matematicas e geometricas essenciais de entes que chamamos
de variedades, variedades diferenci
aveis e variedades fibradas, objetivando o estudo
da Mecanica, objeto deste Captulo.
Em Fsica usamos a palavra espaco para definir, muitas vezes, intuitivamente e de
modo pouco rigoroso um conjunto de pontos (coordenadas) usados para descrever a dinamica
de um dado sistema. As suas propriedades sao definidas, muitas vezes, baseadas em nossa
difcil de imaginar um problema
experiencia cotidiana (Aldrovandi e Pereira, op. cit.). E
fsico (Schutz, op. cit.) que nao envolva alguma especie de espaco contnuo. Ele pode ser
128
129
130
espa
co tangente a M n (x) no ponto P denominado de T MP ou, simplesmente, T M . Para
variedades comuns tal como, por exemplo, a superfcie de uma esfera, o espaco tangente e
facilmente visualizado como um plano tangente `a esfera no ponto P . Para variedades mais
abstratas essa visualizacao pode ser muito mais difcil (Schutz, op. cit.). Nos usamos o termo
vetor para indicar um vetor em um dado ponto P de M n (x). O termo campo vetorial
refere-se `a regra que define um vetor em cada ponto de M n (x).
6.1.1.5 Espaco Tangente Fibrado
Consideremos duas variedades M e N formadas por elementos a e b, respectivamente.
Definimos produto de espacos M N ou produto cartesiano de espa
cos (Schutz,
op. cit.) como sendo uma variedade formada por pares (a, b) com a em M e b em N . Se
as dimensoes de M e N forem, respectivamente, m e n, a dimensao da variedade resultante
M N sera igual a m + n.
Uma variedade particularmente interessante e formada pelo produto M X T MP ,
ou seja, combinando uma variedade M com todos os espacos tangentes T Mp . A uniao dos
S
espacos tangentes `a variedade T MP P M em diferentes pontos possui a estrutura natural
de uma variedade diferenciavel, cuja dimensao e duas vezes maior do que a dimensao de M .
Essa variedade diferenciavel e denominda de espa
co fibrado tangente, feixe de fibras
(fiber bundles) ou, simplesmente, fibrado e e designada por F M . A variedade M e, em
geral, conhecida como variedade base.
Consideremos o caso mais simples possvel (Schutz, op. cit.): uma variedade 1-dim
M , uma curva y = y(x), e seus espacos tangentes que sao as linhas tracejadas tangentes
em cada ponto da curva, conforme Figura 1. Como as tangentes se estendem para longe
infinitamente em ambas as direcoes elas se interceptariam umas com as outras e tambem
com a curva y = y(x). Como essses pontos de contacto nao teriam nenhum significado
e tornariam muito confusa a figura resultante, a melhor descricao e mostrada na Figura 2
onde as tangentes ou os espacos tangentes sao desenhados como retas tracejadas paralelas
entre si: desse modo elas nao se interceptariam e a atravessam a curva y(x) nos pontos onde
elas seriam tangentes.
131
Infelizmente essa descricao nao mostra o fato de que cada elemento de T M e tangente
`a curva y(x) (ou M ), mas esse e o preco que devemos pagar para ter uma melhor clareza da
uniao entre as variedades em questao. As linhas verticais de T M representam vetores, com
certos comprimentos e sendo tangentes a M nos pontos P . Em cada ponto da Figura 2
passa um e somente um vetor em um e somente um ponto de M . Assim, somos levados a
definir uma nova variedade F M , formada por todos os vetores tangentes em todos os pontos,
que e 2-dim. Como dissemos acima, ela se denomina fibrado tangente, feixe de fibras
(fiber bundles) ou fibrado. Cada vetor tangente V (P ) num ponto P (ou x) e dado por
V (x) = y(x) /x. Assim, o fibrado F M e formado pelos pares [x, V (x)].As fibras sao
os espacos tangentes `a variedade base M .
oportuno lembrarmos aqui que a geometria dos fibrados e fundamental para a moE
derna Teoria de Gauge (Videira, op. cit.; Videira, Rocha Barros e Fernandes, op. cit.) usada
para investigar a estrutura de Partculas Elementares. Nessa teoria o fibrado e constitudo
pelo produto topologico (cartesiano) entre dois tipos de variedades: a variedade base espacotemporal M (x), que leva em conta as simetrias externas, e as variedades tangentes (fibras)
que levam em conta as simetrias internas. A ligacao entre essas simetrias e feita por um
operador chamado de conex
ao ou potencial de gauge. O operador quantico unitario
U que depende de x e de graus internos de simetria [Moriyasu (1983)] e dado por:
U = exp[i q k (x) Fk ] ,
(6.1.1.5.1)
onde k (x) e um parametro que depende da variedade base M (x), que e uma funcao contnua
de x, Fk sao geradores do grupo interno de simetria e q e a constante de acoplamento para um
grupo arbitrario de gauge. A transformacao dada pela Equacao (6.1.1.5.1), denominada de
transformacao de gauge, e formalmente identica a de uma rotacao espacial se identificarmos
o parametro k (x) com os angulos de rotacao. Quando a partcula vai de um ponto x para
um outro x + dx na variedade espaco-temporal o angulo k (x) no espaco interno roda
de um valor dk (x) = k (x + dx) k (x). Pode-se mostrar (Moriyasu, op. cit.) que
existe um operador A ( = 1, 2, 3, 4) que gera essas transformacoes internas dado por
A = k (x) Fk . Ele e uma generalizacao do potencial vetor A do eletromagnetismo
(Captulo 8). Ele e um operador de conexao (ou so conexao) entre a variedade-base
espaco-temporal M (x) e o espaco interno das partculas (fibras) e a conexao A e 1f orma
(Captulo 3), um objeto geometrico fibrado. Esse tipo de teoria se presta para a descricao,
nao apenas do eletromagnetismo, como tambem de fenomenos envolvendo as interacoes forte
e fraca que sao de curto alcance.
No caso do eletromagnetismo o grupo interno de simetria e o grupo de fase U (1) e o
operador de gauge U , definido pela Equacao (6.1.1.5.1), e dado por U = exp[ i q (x)]
mostrando que o espaco interno de uma carga eletrica consiste de todos os possveis valores
de uma fase (x) de sua funcao de onda. Pode-se mostrar que U e responsavel por uma
0
transformacao de gauge familiar do eletromagnetismo: A A = A (x) (Captulo
8). Como o operador de gauge roda o espaco interno isso sugere uma interpretacao geometrica
0
para a transformacao de A . Como A e um campo externo, o campo transformado A e
o campo visto por um observador no sistema de coordenadas que foi rodado. No caso de
interacao forte o grupo de simetria e o SU (3)cor e no caso da interacao eletrofraca o grupo
132
L/qi = 0 ,
(6.1.2.1)
133
(6.1.4.1)
H/p = dq/dt .
(6.1.4.2a,b)
134
(6.1.4.3)
(6.1.4.4)
(6.1.4.5)
(6.1.4.6)
dp dp
dq ,
(6.1.4.7)
(6.1.4.8)
135
2 (U ) = (H/p) dp + (H)/q) dq = dH .
(6.1.4.9)
(6.1.4.10)
resultado esse que indica que o valor de H e conservado ao longo de cada curva integral
[q = q(t), p = p(t)].
Vejamos agora uma outra maneira de escrevermos a relacao entre UH e dH. Calculando o produto interno iH [expressao (5.1.3.1)] da 2 f orma 2 , teremos (Aldrovandi e
Pereira, op. cit.):
iH 2 = dH ,
(6.1.4.11)
resultado esse que estabelece um isomorfirmo entre campo de vetores (UH ) e 1 f ormas
(co-vetores) (dH) sobre a variedade M 2n . Em outras palavras, o produto interno (iH ) gera
uma correspondencia um-a-um entre campos vetoriais e 1 f ormas sobre a variedade
M 2n .
6.1.4.1 Evoluc
ao Temporal
Aplicando o campo vetorial [vide expressao (6.1.4.4)]:
UH = (H/p) (/q) (H/q) (/p) ,
em um funcao qualquer diferenciavel F (q, p), usando as expressoes (6.1.4.2a,b) e a definicao
de par
enteses de Poisson ({}) [Goldstein (1959)], obteremos:
UH F = (H/p) (F/q) (H/q) (F/p) = {F, H} =
= (F/p) (dp/dt) + (F/q) (dq/dt) = dF/dt
136
dF/dt = UH F = {F, H} .
(6.1.4.1.1)
(6.1.4.1.2)
Como a Derivada de Lie de uma funcao qualquer F (q, p) dada por (5.1.3.7i)
LU (H) F = UH F e considerando a expressao (6.1.4.1.1), poderemos escrever que:
LU (H) F = UH F = {F, H} = dF/dt .
(6.1.4.1.3)
(6.1.4.1.4)
137
(6.1.4.2.1a,b)
(6.1.4.2.2)
(6.1.4.2.3)
Observac
ao
As varias formas de transforma
c
oes can
onicas podem ser vistas, por exemplo, em
Landau et Lifchitz (1973) e Goldstein, op. cit.
Captulo 7
7.1 Termodin
amica
7.1.1 Lei Zero da Termodin
amica
Definic
ao 7.1.1.1. Um sistema termodin
amico - uma parte isolada do Universo
que e objeto de estudo - e caracterizado por par
ametros termodin
amicos que sao quantidades macroscopicas (Xi ) medidas experimentalmente. Um conjunto desses parametros
define um estado termodin
amico representado por uma funcao f , satisfazendo a equacao:
f (i ) = 0 , i= 1, 2, ..., n.
(Equa
c
ao de Estado)
Observac
oes
1. A menos que seja especificado ao contrario, um estado termodinamico representa
sempre um estado de equilbrio, ou seja, um estado que nao muda com o tempo. Na
descricao de cada um desses estados ha certas funcoes que representam um papel importante
e que se denominam vari
aveis de configura
c
ao. O conjunto de estados de equilbrio de um
sistema tem a estrutura de uma variedade diferenciavel de um espaco vetorial de dimensao
finita, e as variaveis de configuracao representam um sistema de coordenadas locais desse
espaco. Essas variaveis sao de dois tipos: extensivas, se dependem ou sao proporcionais a
um fator de escala global do sistema; intensivas, se nao dependem.
1.1. No caso de um gas, as variaveis de configuracao sao: press
ao P (intensiva),
volume V (extensiva), e temperatura T (intensiva).
1.2. Costuma-se representar a equacao de estado termodinamico de um gas - a funcao
f (P, V, T ) - por uma superfcie (variedade) no espaco tridimensional: P V T . A projecao
dessa superfcie nos planos coordenados (P V ), (P T ) e (V T ) dao, respectivamente,
os seguintes diagramas: diagrama P V , diagrama P T e diagrama V T .
1.3. Para um g
as ideal, a equacao de estado foi obtida pelo fsico frances Emile
Clapeyron (1799-1864), em 1834, conhecida como a Equa
c
ao de Clapeyron:
P V = nRT ,
(7.1.1.1)
140
isob
aricas (P = constante), isovolum
etricas ou isom
etricas (V
adiab
aticas (calor constante), etc.
constante),
(7.1.2.1a)
onde i sao funcoes definidas no espaco dos estados de equilbrio do sistema termodinamico.
O trabalho total W realizado por um sistema ao longo de qualquer curva (quasi) reversvel
e dado por:
W () =
(7.1.2.1b)
Observac
oes
1. No caso de o sistema termodinamico ser um g
as, teremos:
= P dV ,
(7.1.2.1c,d)
141
onde o sinal mais (+) refere-se ao trabalho realizado pelo gas, e o sinal menos (), sobre o
gas.
2. Experimentalmente, observa-se que o trabalho realizado por (ou sobre) um sistema
termodinamico depende do tipo de transformacao. Portanto, para um ciclo, teremos:
H
6= 0
d 6= 0 .
Esse u
ltimo resultado deriva do Teorema Generalizado de Stokes [ver expressao (5.1.2.1)].
Definic
ao 7.1.2.2. Define-se a quantidade de calor elementar, ou simplesmente
calor elementar adicionado ou retirado a um sistema termodinamico, como a 1 f orma
diferencial linear, dada por:
= dX + C dY ,
(7.1.2.2a)
(7.1.2.2b)
Observac
oes
1. Para um gas, considerando-se as variaveis de configuracao V, T ou P, T , teremos,
respectivamente:
= V dV + CV dT ,
(7.1.2.2c)
= P dP + CP dT .
(7.1.2.2d)
1.1. Ate a metade do Seculo XIX, pensava-se que o calor fosse uma forma fechada,
isto e, acreditava-se que existia uma funcao C, chamada cal
orico, representando o total
de calor em um sistema tal que:
= dC.
142
mantendo a temperatura constante, como acontece, por exemplo, na fusao do gelo e na vaporizacao da agua. Parecia, portanto, que o calor estava latente ou escondido. Em vista
disso, historicamente, as funcoes V e P representam, respectivamente, o calor latente
de dilatac
ao (relativo ao volume) e o calor latente de compress
ao (relativo `a pressao).
Registre-se que o cal
orico foi proposto pelo qumico frances Antoine Lavoisier (1743-1794),
em 1777.
1.2. As funcoes CV e CP representam, respectivamente, a capacidade calorfica a
volume constante e a capacidade calorfica `
a press
ao constante. Quando a capacidade calorfica e referida `a unidade de massa ou `a de mol, ela se denomina calor especfico
c. Essas funcoes sao ligadas por uma expressao obtida pelo medico alemao Julius Robert
Mayer (1814-1878), em 1842, conhecida como Rela
c
ao de Mayer:
CP CV = n R .
(7.1.2.3)
6= 0
d 6= 0 .
(7.1.2.4a)
143
onde U e uma funcao bem definida sobre um sistema termodinamico (determinada a menos
de uma constante aditiva) conhecida como energia interna.
Consideremos um sistema termodinamico que sofre um determinado processo de
transformacao que o leva de um estado (1) a um outro estado (2). Entao, as expressoes
(7.1.2.1b), (7.1.2.2b), (7.1.2.4a) e o Teorema Fundamental do C
alculo nos mostram
que:
R
R2
1
dU
U (2) U (1) W = Q ,
(7.1.2.4b)
onde Q representa o calor total fornecido ao sistema pelo processo e W o trabalho total
realizado pelo sistema em decorrencia desse mesmo processo. Contudo, enquanto Q e W
dependem do mecanismo como o sistema e levado do estado (1) ao estado (2), a expressao
(7.1.2.4b) mostra que a variavel de estado U nao depende daquele mecanismo. Esse resultado
traduz a Primeira Lei da Termodin
amica:
A energia e conservada num sistema termodin
amico.
Observac
oes
1. A expressao (7.1.2.4b) mostra que o calor Q e uma grandeza fsica derivada
e nao fundamental, uma vez que ela e calculada pela diferenca entre a energia interna
(U ) e o trabalho (W ). Contudo, historicamente, o calor Q foi estudado como uma grandeza
fundamental nas celebres experiencias realizadas por Mayer, pelo fsico ingles James Prescott
Joule (1818-1889) e pelo fsico e fisiologista alemao Hermann von Helmholtz (1821-1894), na
decada de 1840, para a determinacao do equivalente mec
anico do calor J. Com efeito,
nessas experiencias, eles estudaram o comportamento adiabatico (Q = 0) de um sistema
quando recebe uma quantidade externa de trabalho. Assim, tomando-se Q = 0 na expressao
(7.1.2.4b), resultara:
W = U (2) U (1) .
Esse resultado significa dizer que se um sistema isolado termicamente e levado de um estado
(1) a um outro estado (2) por aplicacao de um trabalho externo, o total desse trabalho e
sempre o mesmo nao importa como esse trabalho foi aplicado. Recordemos que Joule estudou
a producao de calor pela passagem da corrente eletrica em um fio condutor, assim como pela
agitacao da agua colocada em um recipiente, por intermedio de pas acionadas por um peso
suspenso em uma corda que passava por uma polia. Como resultado de suas pesquisas, Joule
constatou que:
A quantidade de calor capaz de aumentar a temperatura de uma libra de
agua de 1o F e
equivalente `a forca mecanica representada pela queda de 772 libras pelo espaco de um pe.
2. Quando um gas recebe uma certa quantidade de calor ( > 0), e realizado um
certo trabalho sobre o mesmo, provocando uma variacao de sua energia interna U . Portanto, de acordo com as expressoes (7.1.2.1d) e (7.1.2.4a), para esse sistema termodinamico,
a Primeira Lei da Termodin
amica e escrita na forma:
144
= P dV + dU .
(7.1.2.4c)
A expressao acima pode ser interpretada como uma relacao entre varias 1 f ormas em uma
variedade bidimensional cujas coordenadas sao (V, U ), sobre a qual a funcao P = P (V, U )
(Equacao de Estado) e definida.
3. Sabemos, experimentalmente, que a 1 f orma nao e fechada, ou seja: d 6= 0.
Contudo, vejamos a condicao para que a mesma seja fechada. Para isso, procuremos uma
1 f orma Q, dada pela expressao:
Q = P dV + dU ,
tal que: dQ = 0. Portanto, usando-se a expressao acima, o fato de que P = P (V, U ) e o
Lema de Poincar
e [expressao (4.1.2.1c)], teremos:
P
P
dQ = 0 = dP dV + ddU = [( V
)U dV + ( U
)V dU ] dV
P
)V dU dV
0 = ( U
P
( U
)V = 0 .
P
)V seja sempre nulo, o que, contudo,
Portanto, para que Q seja fechada e necessario que ( U
ainda nao foi observado para nenhum gas.
CV = ( U
) ,
T V
dU = CV dT .
(7.1.2.5a)
(7.1.2.5b)
145
dU = ( U
) dP + ( U
) dT .
P T
T P
Levando-se a expressao acima na expressao (7.1.2.4c), teremos:
= P dV + ( U
) dP + ( U
) dT .
P T
T P
Para o caso de uma transformacao em que a pressao P permaneca constante, vira:
()P = P dV + ( U
) dT .
T P
Diferenciando-se a expressao (7.1.1.1), no caso em que a pressao P e constante, e substituindo-se na expressao acima, vira:
) dT = [n R + ( U
) ] dT .
()P = n R dT + ( U
T P
T P
Comparando-se a expressao acima com a expressao (7.1.2.2d) e usando-se a expressao (7.1.2.3),
verifica-se que:
()P = CP dT = (n R + CV ) dT = [n R + ( U
) ] dT
T P
) .
CV = ( U
T P
(7.1.2.6a)
(7.1.2.6b)
oportuno registar que esse resultado indica que a energia interna U de um gas
E
ideal so depende da temperatura: U = U (T ). Ele foi obtido experimentalmente por Joule,
em uma das experiencias que realizou para a determinacao do equivalente mecanico da caloria, conhecida como a expans
ao livre de um g
as. Nessa experiencia, ele mergulhou dois
recipientes, ligados por uma valvula, um evacuado e o outro contendo ar a uma pressao de
20 atm, num calormetro pequeno, contendo o mnimo possvel de agua e isolado termicamente. Apos medir a temperatura inicial (Ti ) da agua, Joule abriu a valvula, produzindo a
expansao livre do ar, e tornou a medir a temperatura final (Tf ) da agua. Ele observou que
nao houve nenhuma variacao da temperatura, ou seja:
T = Tf Ti = 0 .
Ora, como a expansao do ar foi livre, ele nao realizou nenhum trabalho externo, ou
seja: P dV = 0 . Portanto, considerando-se que o calormetro estava isolado adiabaticamente ( = 0), a expressao (7.1.2.4c) nos mostra que:
dU = 0 U = constante, nas transformacoes isotermicas.
146
Essa mesma conclusao sobre a dependencia U (T ) foi obtida por Joule e pelo fsico
ingles William Thomson (1824-1907), posteriormente Lord Kelvin (1892), em uma experiencia
que realizaram, em 1862, conhecida como experi
encia do tamp
ao poroso. Nessa experiencia, a expansao livre usada por Joule e substituda por uma expansao de um gas,
tambem adiabatica, atraves de uma parede porosa (tampao), que reduz a pressao do gas.
Assim, inicialmente, o gas tem um volume Vi e uma pressao Pi ; depois da expansao ele passa
a ter um volume Vf e uma pressao Pf . Desse modo, o trabalho total (W ) realizado nessa
expansao sera:
W = Pi (0 Vi ) + Pf (Vf 0) = Pf Vf Pi Vi .
Ora, considerando-se que a expansao e adiabatica ( = 0), a expressao (7.1.2.4c) nos mostra
que a variacao da energia interna ocorrida na expansao porosa e dada por:
Uf Ui = W = Pi Vi Pf Vf
Ui + Pi Vi = Uf + Pf Vf = constante.
Essa funcao foi definida pelo fsico-qumico norte-americano Josiah Williard Gibbs (18391903), em 1875, e denominada funcao calor sob pressao constante, e representa a troca
de calor nas reacoes qumicas. Seu conceito como uma funcao de estado foi introduzido
pelo fsico-qumico alemao Richard Mollier (1863-1935), em 1902, e o nome entalphia H
para essa funcao foi cunhado pelo fsico holandes Heike Kamerlingh-Onnes (1853-1926; PNF,
1913). Assim:
H = U + P V .
(7.1.2.7a)
(7.1.2.7b)
147
U
V = ( V
)T + P .
(7.1.2.8a)
) V ] dP
()T = P dP = [( U
P T
6. Teorema de Reech: =
CP
CV
P dV + V dP = n R dT =
(7.1.2.8b)
dT
dV
V
dP
P
dT
T
(I)
P
V
(II)
= ( CP CV CV )
dV
V
dV
V
= CV dT + (CP CV ) T
= ( 1)
dV
V
dV
V
148
dV
V
dP
P
= ( 1)
dV
V
dP
( dV
) =
P
V
(III)
dP
( dV
)
dP
( dV
)T
(7.1.2.9)
Esse teorema significa que e obtido pela relacao entre os coeficientes angulares das transformacoes adiabatica e isotermica que passam em um mesmo ponto, no diagrama (P V ).
6.1. Esse teorema resolveu uma questao que ficou polemica por muito tempo, qual
seja, a do calculo da velocidade do som no ar. O fsico e matematico ingles Sir Isaac Newton
(1642-1727), em 1687, havia afirmado que a velocidade do som c era dada por:
c2 = ( dP
) ,
d T
m
,
V
= P V = constante.
No entanto, durante mais de 100 anos, o valor experimental calculado para c era cerca de
15% maior que o dado pela F
ormula de Newton. Foi o matematico frances Pierre Simon
de Laplace (1749-1827) quem, em 1816, corrigiu esse erro ao mostrar que a propagacao do
som no ar e um processo adiabatico e nao isotermico, como considerou Newton e, portanto,
o valor de c2 que ele encontrara deveria ser multiplicado por , ou seja:
c2 = ( dP
) = ( dP
) .
d
d T
Esse resultado concordou com a experiencia, pois para o ar,
1, 4 ' 1, 18.
149
levando-o ao estado (P4 , V4 , T2 ), ocasiao em que ele fornece a quantidade de calor (Q2 < 0)
ao exterior e, finalmente, o ciclo e completado com uma compressao adiabatica que o leva ao
estado inicial (P1 , V1 , T1 ), sem troca de calor. Ora, como nas transformacoes isotermicas a
energia interna e conservada, segundo as expressoes (7.1.1.1), (7.1.2.2b) e (7.1.2.4c), teremos:
Q1 =
R2
Q2 =
R4
P1 dV = n R T1
R2
= n R T1 `n
V2
V1
(IV)
P3 dV = n R T2
R4
= n R T2 `n
V4
V3
(V)
dV
1 V
dV
3 V
P
V
`n (P V ) = constante T V
T1 V2
( VV21 )
= T2 V3
= ( VV34 )
T2 V4
V2
V1
= T1 V1
V3
V4
= constante ,
1
(V)
O rendimento de uma maquina ideal que realiza esse ciclo reversvel sera (lembrar
que Q2 < 0):
=
Q1 + Q2
Q1
n R T1 `n
V2
V1
n R T2 `n
n R T1 `n
V2
V1
V3
V4
T1 T2
T1
= 1
T2
T1
(VII)
Q1 | Q2 |
Q1
= 1
| Q2 |
Q1
(VIII)
Q2
T2
= 0.
(7.1.3.1)
150
O estudo do ciclo de Carnot visto acima mostra que para uma certa quantidade
de calor ser convertida em trabalho ha necessidade de haver duas fontes: uma quente e uma
fria. Para que esse calor fosse convertido integralmente em trabalho, a fonte fria nao deveria
existir, ou seja, sua temperatura deveria ser nula. Foi isso que Kelvin afirmou em 1851:
impossvel realizar um processo (cclico) cujo u
E
nico efeito seja remover calor de um
reservatorio termico e produzir uma quantidade equivalente de trabalho.
As conseq
uencias imediatas desse enunciado de Kelvin sao as seguintes:
a) A gerac
ao de calor por atrito a partir de trabalho mec
anico
e irreversvel.
b) A expans
ao livre de um g
as
e um processo irreversvel.
Um outro tipo de processo irreversvel foi estudado pelo fsico alemao Rudolf Julius
Emmanuel Clausius (1822-1888). Assim, em 1850, ele afirmou que:
impossvel realizar um processo (cclico) cujo u
E
nico efeito seja transferir calor de um
corpo mais frio para um corpo mais quente.
Observe-se que, mais tarde, com o desenvolvimento da Termodinamica, mostrou-se
que os enunciados de Clausius e de Kelvin sao equivalentes e, hoje, sao traduzidos pelo
Teorema de Carnot:
a) Nenhuma maquina termica que opere entre uma dada fonte quente e uma dada fonte fria
pode ter rendimento superior ao de uma m
aquina de Carnot: I R .
b) Todas as maquinas de Carnot que operem entre duas fontes (quente e fria) ter
ao o
mesmo rendimento:
R = R 0 .
Em 1854, Clausius comecou a pensar que a transformacao de calor em trabalho e
a transformacao de calor em alta temperatura para calor em baixa temperatura poderiam
ser equivalentes. Em vista disso, propos que o fluxo de calor de um corpo quente para um
corpo frio (com a conseq
uente transformacao de calor em trabalho) deveria ser compensado
pela transformacao de trabalho em calor, de modo que o calor deveria fluir do corpo frio
para o quente. Desse modo, Clausius introduziu o conceito de valor de equival
encia
de uma transformacao termica, que era medido pela relacao entre a quantidade de calor
(Q) e a temperatura (T ) na qual ocorre a transformacao. Por intermedio desse conceito
fsico, Clausius pode entao fazer a distincao entre processos reversveis e irreversveis. Assim,
assumindo arbitrariamente que a transformacao de calor de um corpo quente para um frio
tenha um valor de equivalencia positivo, apresentou uma nova versao para o seu enunciado
de 1850:
A soma algebrica de todas as transformac
oes ocorrendo em um processo circular somente
pode ser positiva.
151
Em 1865, Clausius propos o termo entropia (do grego, que significa transformac
ao),
denotando-o por S, em lugar do termo valor de equival
encia, que havia usado em 1854.
Portanto, retomando suas ideias sobre esse novo conceito fsico, considerou um ciclo qualquer como constitudo de uma sucessao de ciclos infinitesimais de Carnot e chegou ao celebre
Teorema de Clausius. Em notacao atual, usando-se a expressao (7.1.3.1), esse teorema e
escrito na forma:
Q1
T1
Q2
T2
+ ... +
Qi
Ti
+ ... =
Q
T
dS 0 ,
(7.1.3.2)
onde o sinal de menor (<) ocorre para as transformacoes irreversveis e o de igualdade (=),
para as reversveis.
Segunda Lei da Termodin
amica
Ate aqui, apresentamos o desenvolvimento historico-emprico da Segunda Lei da
Termodin
amica. Agora, vejamos como essa lei foi tratada formalmente, via formas diferenciais exteriores, gracas aos trabalhos pioneiros de Caratheodory, em 1909, referido anteriormente, e do fsico alemao Max Born (1882-1970; PNF, 1954), em 1921. Conforme vimos,
essa lei deriva do comportamento de um sistema termodinamico quando nao e permitida a
troca de calor. Assim, se considerarmos esse sistema em um ambiente adiabatico, onde nao
ha troca de calor () com o exterior, isso significa dizer que, nesse ambiente, o sistema segue
caminhos (funcoes contnuas e seccionalmente diferenciaveis), as chamadas curvas nulas,
definidas como segue.
Definic
ao 7.1.3.1. Seja uma 1 f orma definida no Rn e dada por:
= Ai (x) dxi , i = 1, 2, ..., n.
(7.1.3.3a)
R
Ai [x(t)] x i (t)
dt = 0 ,
(7.1.3.3b)
A2 = x;
A3 = 1 .
152
Sem perda de generalidades, vamos encontrar uma curva nula para essa 1 f orma, que
ligue a origem O = (0, 0, 0) ao ponto Q = (a, b, c), e que seja composta de varios
trechos retos representando curvas nulas. Inicialmente, observamos que um deslocamento
sobre o eixo dos x, ou paralelamente a ele, sera uma curva nula para , pois, como para
esse deslocamento y = z = 0 (ou constante), teremos: dy = dz = 0, logo: = 0.
Portanto, indo da origem O ao ponto A = ( cb , 0, 0) durante o intervalo 0 t 1, essa
curva (O A) sera uma curva nula para . Em seguida, vamos desse ponto A ao ponto
B = ( cb , b, c) segundo a reta:
~x(t) =
c
,
b
(t 1) b + (t 1) c .
(1 t 2).
R
=
R
(t)
00
c
b
b + 1c
dt ,
dt = 0 .
Esse resultado mostra que (A B) e uma curva nula para . Por fim, vamos do ponto B
ao ponto Q segundo a reta:
~x(t) =
c
b
c
),
b
+ (t 2) (a +
b, c .
(2 t 3) .
R
=
R
(t)
R
0 (a +
c
)
b
c
b
0 + 10
dt ,
dt = 0 .
Esse resultado mostra que (B Q) e tambem uma curva nula para . Portanto, uma curva
nula de sera: (O Q) = (O A) + (A B) + (B Q). Esse exemplo nos mostra
que quaisquer dois pontos do R3 podem ser ligados por intermedio de uma curva nula para
a 1 f orma = x dy + dz, para a qual vale:
d = dx dy;
d = (dz + x dy) dx dy = dx dy dz 6= 0 .
df =
RB
A
153
Vimos acima que existem 1 f ormas para as quais dois pontos do espaco no qual
elas estao definidas podem ser ligados por curvas nulas. Contudo, em 1909, Caratheodory
demonstrou o seguinte teorema:
Seja uma forma diferencial linear com a propriedade de que para qualquer ponto
arbitr
ario P existem pontos Q, arbitrariamente pr
oximos de P , que n
ao podem ser ligados a
P por intermedio de curvas nulas de . Ent
ao, localmente, existem func
oes f e g, tais que:
= f dg .
(7.1.3.4)
(7.1.3.5)
Observac
oes
1. Func
oes (Potenciais) Termodin
amicas. O uso combinado das Primeira e
Segunda Leis da Termodinamica, dadas pelas expressoes (7.1.2.4c) e (7.1.3.5), isto e:
T dS = P dV + dU ,
(7.1.3.6)
154
1.1. Vari
aveis Volume (V ) e Entropia (S): Energia Interna - U . Usando-se a
expressao (7.1.3.6) e considerando-se que U = U (V, S) , teremos:
U
dU = P dV + T dS = ( V
)S dV + ( U
) dS
S V
U
P = ( V
)S ;
T = ( U
) .
S V
(7.1.3.7a,b)
1.2. Vari
aveis Press
ao (P ) e Entropia (S): Entalpia - H. Diferenciando-se a
expressao (7.1.2.7a) e usando-se a expressao (7.1.3.6), teremos:
dH = dU + d(P V ) = dU + P dV + V dP
dH = V dP + T dS .
(7.1.3.8a)
T = ( H
) .
S P
(7.1.3.8b,c)
1.3. Vari
aveis Volume (V ) e Temperatura (T ): Energia Livre (Fun
c
ao de
Helmholtz) - F . Em 1877, o fsico e fisiologista alemao Hermann Ludwig von Helmholtz
(1821-1894) desenvolveu o conceito de energia livre F , definida por:
F = U T S.
(7.1.3.9a)
S = ( F
) .
T V
(7.1.3.9b,c)
1.4. Vari
aveis Press
ao (P ) e Temperatura (T ): Entalpia Livre (Fun
c
ao de
Gibbs) - G. Em 1875, Gibbs desenvolveu o conceito de entalpia livre G, definida por:
G = H T S.
(7.1.3.10a)
Diferenciando-se a expressao acima, usando-se as expressoes (7.1.3.6) e (7.1.3.8a), e considerando-se que G = G(P, T ), teremos:
155
dG = dH d(T S) = dH T dS S dT = V dP S dT = ( G
) dP + ( G
) dT
P T
T P
) ;
V = ( G
P T
S = ( G
) .
T P
(7.1.3.10b,c)
2. Relac
oes de Maxwell. Em 1870, o fsico e matematico escoces James Clerk
Maxwell (1831-1879) deduziu relacoes entre as variaveis termodinamicas (P, V, T, S) e suas
derivadas parciais. Vejamos algumas dessas relacoes. Vamos partir da expressao (7.1.3.6) e
calcular a sua diferenciacao exterior. Considerando-se o Lema de Poincar
e [ver expressao
(4.1.2.1c)] (dd = 0), teremos:
d(T dS) = d(P dV ) + d(dU ) dT dS = dP dV .
(7.1.3.11)
S
[( P
)T + ( V
) ] dP dT = 0
T P
S
( P
)T = ( V
) ,
T P
(7.1.3.12a)
ficara:
S
P
S
)V dT + ( V
)T dV ] = [( P
) dT + ( V
)T dV ] dV
dT [( T
T V
S
( V
)T dT dV = ( P
) dT dV
T V
S
[( V
)T ( P
) ] dT dV = 0
T V
S
( V
)T = ( P
) ,
T V
(7.1.3.12b)
T
[( P
)S ( V
) ] dP dS = 0
S P
T
( P
)S = ( V
) ,
S P
(7.1.3.12c)
156
0 =
T dP P dT
T2
dV
1
T2
dT dU .
P
[( P
) dT + ( V
)T dV ] dV
T V
1
T
[( P
)
T V
P
T2
dT dV
P
T
1
T
1
T2
U
dT [( U
) dT + ( V
)T dV ] = 0
T V
U
( V
)T ] dT dV = 0
U
) P = ( V
)T .
T ( P
T V
(7.1.3.13)
Agora, vamos obter uma outra relacao termodinamica. Assim, tomando-se a expressao (7.1.3.6), dividindo-a por P e calculando a sua diferenciacao exterior, obteremos:
d( PT ) dS = d(dV ) + d( P1 ) dU
1
P
dT dS =
P dT T dP
P2
1
P2
dS = 0
1
P2
dP dU
dP (T dS dU ) .
dT dS =
1
P2
1
P
1
P2
[( P
) dT + ( P
) dS] [T dS ( U
) dT ( U
) dS] =
T S
S T
T S
S T
[T ( P
) dT dS ( P
) ( U ) dT dS ( P
) ( U ) dS dT ]
T S
T S S T
S T T S
dT dS =
1
P2
[ T ( P
) ( P
) ( U ) + ( P
) ( U ) ] dT dS
T S
T S S T
S T T S
T ( P
) P = ( P
) ( U ) ( P
) ( U ) .
T S
T S S T
S T T S
(7.1.3.14)
Por fim, uma outra relacao termodinamica sera obtida partindo-se do produto exterior dT dS e considerando-se T = T (P, S), S = S(T, P ) e P = (T, S). Desse modo,
teremos:
157
T
T
dT dS = [( P
)S dP + ( T
) dS] dS = ( P
)S dP dS =
S P
T
S
S
T
S
= ( P
)S dP [( T
)P dT + ( P
)T dP ] = ( P
)S ( T
)P dP dT =
T
S
T
S
= ( P
)S ( T
)P [( P
) dT + ( P
) dS] dT = ( P
)S ( T
)P ( P
) dS dT
T S
S T
S T
T
S
[1 + ( P
)S ( T
)P ( P
) ] dT dS
S T
T
S
( P
)S ( T
)P ( P
) = 1.
S T
(7.1.3.15)
0 CV
(T
0)
158
1
V
( V
) .
T P
(7.1.4.1)
S
( T
)P =
CP
T
S =
CP ( dT
) .
T P
(7.1.4.2a,b)
S
P
) = T ( P
)T ( T
)P = T ( T
)P ( P
)T
( C
P T
2
P
) = T ( TV2 )P = T ( T
)P ( V
) .
( C
P T
T P
(7.1.4.2c)
V = ( V
) = ( P
)T = ( P
)T
T P
RT
o
( T
)P ( V
) dT
T P
RT
o
CP
dT
T
RT
o
V = [ ( V
) ] [ ( V
) ]
T P T
T P T
0, se T
0.
P
( C
)
P T
= 0
dT
T
(7.1.4.3)
Captulo 8
8.1 Eletrodin
amica
8.1.1 Introduc
ao
No final do Seculo 19, dois formalismos matematicos se rivalizavam: a Teoria dos
Quat
ernios apresentada pelo matematico irlandes William Rowan Hamilton (1805-1865)
em seu celebre livro intitulado Lectures on Quaternions, publicado em 1853, e difundido
pelo fsico e matematico ingles Peter Guthrie Tait (1831-1901), em seu livro Elementary
Treatise on Quaternions, publicado em 1867; e a An
alise Vetorial, apresentada, independentemente, pelo fsico e qumico norte-americano Josiah Williard Gibbs (1839-1903) em
seu Elements of Vector Analysis, publicado em 1881, e pelo fsico e engenheiro eletricista
ingles Oliver Heaviside (1850-1925) que a usou em seu livro Electromagnetic Theory, cuja
primeira edicao ocorreu em 1893. Registre-se que Gibbs foi influenciado pelo livro publicado,
em 1844, pelo matematico alemao Hermann G
unter Grassmann (1809-1877), que tem como
ttulo Die Lineale Ausdehnungslehre - Ein neuer Zweig der Mathematik (A Teoria
de Extensao Linear - Um novo Ramo da Matematica). Esse livro pode ser considerado o
precursor do C
alculo Vetorial ja que, as duas operacoes (produto interno e produto
externo) que ele define nesse livro para tratar dos hipern
umeros - uma generalizac o dos
n
umeros complexos -, sao hoje conhecidos como o produto escalar e o produto vetorial
entre vetores.
A Teoria Eletromagnetica, tema deste Captulo, foi desenvolvida pelo fsico e matematico escoces James Clerk Maxwell (1831-1879) em seu livro intitulado A Treatise on
Electricity and Magnetism, publicado pela primeira vez em 1873. Em seu desenvolvimento, Maxwell usou os quat
ernios Hamiltonianos, e suas celebres equacoes, com as quais
sintetizou todo o conhecimento teorico e experimental sobre os fenomenos eletromagneticos,
foram apresentadas em 8 equacoes envolvendo derivadas parciais. Conforme podemos ver
no livro citado acima, porem, com as notacoes atuais, tais equacoes tem as seguintes representacoes (validas para o vacuo):
Bx /x + By /y + Bz /z = 0 ,
(8.1.1.1)
Ez /y Ey /z = Bx /t ,
(8.1.1.2)
Ex /z Ez /x = By /t ,
(8.1.1.3)
Ey /x Ex /y = Bz /t ,
(8.1.1.4)
Ex /x + Ey /y + Ez /z = ,
(8.1.1.5)
Bz /y By /z = Ex /t + Jx ,
(8.1.1.6)
160
Bx /z Bz /x = Ey /t + Jy ,
(8.1.1.7)
By /x Bx /y = Ez /t + Jz ,
(8.1.1.8)
~ + (1/c) B/t
~
E
= 0,
(8.1.1.9,10)
~ = (1/c) E/t
~
B
+ (4 /c) J~ .
(8.1.1.11,12)
Comparando-se as expressoes (8.1.1.1-8) e (8.1.1.9-12), ve-se as seguintes correspondencias: (8.1.1.1) (8.1.1.9), (8.1.1.2-4) (8.1.1.10), (8.1.1.5) (8.1.1.11) e, por fim,
(8.1.1.6-8) (8.1.1.12).
Na decada final do Seculo 19 e no comeco do Seculo 20, um novo formalismo
matematico foi desenvolvido pelo matematico italiano Gregorio Ricci-Curbestro (1853-1925),
em 1892 (Bulletin des Sciences Mathematiques 16, p. 167), e pelo proprio Ricci e seu famoso
discpulo italiano Tullio Levi-Civita (1873-1941), em 1901 (Mathematische Annalen 64,
p. 125), conhecido inicialmente como C
alculo Diferencial Absoluto. Contudo, com o desenvolvimento da Teoria da Relatividade Geral por parte do fsico germano-norte-americano
Albert Einstein (1879-1955; PNF, 1921), em 1916 (Grundlage der Allgemeinen Relativit
atstheorie), esse novo tipo de Calculo passou a ser denominado de C
alculo Tensorial,
nome dado pelo proprio Einstein (Kline, op. cit.), uma vez que envolvia os entes matematicos
conhecidos como tensores, termo cunhado pelo fsico alemao Woldemar Voigt (1950-1919),
em 1898, em conexao com a elasticidade dos cristais (Whittaker, 1953).
Neste Captulo, veremos que o C
alculo Tensorial permite escrever as Equac
oes
de Maxwell por intermedio de apenas duas expressoes:
F + F + F = 0 ,
F = j ,
(8.1.1.13)
(8.1.1.14)
161
frances Eli-Joseph
Cartan (1869-1951), na primeira metade do Seculo 20. (Cartan, 1945).
Na conclusao desta introducao historica sobre as Equa
c
oes de Maxwell, e oportuno
dizer que tais equacoes tambem podem ser escritas por intermedio de apenas uma equacao,
usando a Algebra
Geometrica Associativa, cujos trabalhos iniciais foram apresentados por
Grassmann em seu livro de 1844, referido anteriormente, e posteriormente completada pelo
matematico ingles William Kingdon Clifford (1845-1879), em 1878 (American Journal of
Mathematics 1, p. 350). Tal equacao e dada por (Ferreira, 2006):
00
~ + I B)
~ = 4 [ (1/c) J]
~ ,
(E
(8.1.1.15)
00
onde I e um pseudo-escalar, tal que I 2 = 1, e = + (1/c) /t e o multivetor gradiente generalizado. Registre-se que, em Ferreira, op. cit., pode-se ver como a
expressao (8.1.1.15) contem as expressoes (8.1.1.9-12).
8.1.2 Formas Diferenciais da Eletromagnetost
atica
Definic
ao 8.1.2.1. A Intensidade do Campo El
etrico E e uma 1 f orma
diferencial linear:
E = Ex (x, y, z) dx + Ey (x, y, z) dy + Ez (x, y, z) dz ,
(8.1.2.1a)
tal que:
=
E =
(8.1.2.1b)
r = (t) .
(8.1.2.1c)
Observac
oes
1. Na linguagem do Calculo Vetorial, a expressao (8.1.2.1a) representa o Vetor
~
Campo El
etrico E:
~ r) = Ex x + Ey y + Ez z = Ex x + Ey y + Ez z ,
E(~
(8.1.2.1d)
e e interpretado como a forca que atua uma carga eletrica unitaria (q = 1), colocada em
repouso no ponto ~r.
2. Ainda na linguagem do Calculo Vetorial, a expressao (8.1.2.1b) significa a cir~ ao longo de e representa o trabalho realizado por E
~ sobre a carga
cula
c
ao de E
unitaria, ao longo de :
162
E = E| =
~ . d~r .
E
(8.1.2.1e)
E = 0.
dE =
E = 0 dE = 0 .
(8.1.2.1f)
(8.1.2.1g)
(8.1.2.1h)
oportuno destacar que o sinal menos () deriva da Lei de Coulomb, formulada exE
perimentalmente pelo fsico frances Charles Augustin Coulomb (1736-1806), em 1785. Por
~ e o respectivo potencial eletrico V , a uma distancia
exemplo, no vacuo, o campo eletrico E
~r, criado por uma carga eletrica q colocada na origem de um sistema de eixos ortogonais,
sao dados, respectivamente, por:
~ =
E
q
r
;
4 o r 2
V =
q
1
4 o r
(8.1.2.1i,j)
(8.1.2.1k)
(8.1.2.1`)
163
Registre-se, contudo, que a tripla (dr, d, d) nao forma uma base ortonormada, como
ocorre com a tripla (dx, dy, dz). E mais ainda, que a circulacao E | sera calculada
simplesmente por uma transformacao de coordenadas (pullback).
Definic
ao 8.1.2.2. A Densidade de Corrente El
etrica J e uma 2 f orma
diferencial linear:
J = Jx (x, y, z) dy dz + Jy (x, y, z) dz dx + Jz (x, y, z) dx dy ,
(8.1.2.2a)
tal que:
I =
=
R
S
R
S
J = J |S =
(8.1.2.2b)
R3
(a u b; c v d) .
(8.1.2.2c)
Observac
oes
1. Aplicando-se a operacao (?) [ver Definicao (3.1.4.1)] na expressao (8.1.2.2a), teremos:
? J = ? [Jx dy dz + Jy dz dx + Jz dx dy] =
= Jx ? (dy dz) + Jy ? (dz dx) + Jz ? (dx dy)
? J = Jx dx + Jy dy + Jz dz .
(8.1.2.2d)
(8.1.2.2e)
R
S
J = J |S =
R
S
J~ . n
dS .
(8.1.2.2f)
164
~ ,
J~ = E
(8.1.2.2g)
onde e a condutividade el
etrica do condutor, que e, via de regra, um tensor de ordem
2. Contudo, se o condutor for homogeneo e isotropico, entao = constante.
3.1. Aplicando-se a operacao (?) [ver Definicao (3.1.4.1)] na expressao (8.1.2.1a),
teremos:
? E = ? [Ex dx + Ey dy + Ez dz] ,
? E = Ex dy dz + Ey dz dx + Ez dx dy .
(8.1.2.2h)
Assim, para os condutores homogeneos e isotropicos, as expressoes (8.1.2.2a,h) permitem escrever a expressao (8.1.2.2g), em termos de formas diferenciais, da seguinte maneira:
J =
?E,
(8.1.2.2i)
onde
e a 0 f orma correspondente `a condutividade eletrica .
Definic
ao 8.1.2.3. A Densidade de Carga El
etrica Q e uma 3 f orma diferencial linear:
Q = dx dy dz ,
(8.1.2.3a)
tal que:
q =
R
V
Q = Q|V =
R
V
dx dy dz .
(8.1.2.3b)
Observac
oes
1. Aplicando-se a operacao (?) [ver Definicao (3.1.4.1)] na expressao (8.1.2.3a), teremos:
? Q = ? (dx dy dz)
?Q = .
(8.1.2.3c)
R
V
dV ,
(8.1.2.3d)
e q representa a carga el
etrica no interior do volume.
Definic
ao 8.1.2.4. O Deslocamento Diel
etrico D e uma 2 f orma diferencial
linear:
D = Dx (x, y, z) dy dz + Dy (x, y, z) dz dx + Dz (x, y, z) dx dy ,
(8.1.2.4a)
165
tal que:
R
S
D =
Q D|S = Q|V .
(8.1.2.4b)
Observac
oes
1. Aplicando-se a operacao (?) [ver Definicao (3.1.4.1)] na expressao (8.1.2.4a), teremos:
? D = ? [Dx dy dz + Dy dz dx + Dz dx dy] =
= Dx ? (dy dz) + Dy ? (dz dx) + Dz ? (dx dy)
? D = Dx dx + Dy dy + Dz dz .
(8.1.2.4c)
(8.1.2.4d)
D =
R
V
Q dD = Q .
dD =
(8.1.2.4e)
Dx
x
Dy
y
Dz
z
dx dy dz .
Dx
x
Dy
y
Dz
z
dx dy dz = dx dy dz .
Calculando-se a operacao (?) [ver Definicao (3.1.4.1)] na expressao acima e considerando que
?(dx dy dz) = 1 , vira:
?dD =
Dx
x
Dy
y
Dz
z
?dD = .
(8.1.2.4f)
166
(8.1.2.4g)
(8.1.2.4h)
onde e a permitividade el
etrica do dieletrico, que e, via de regra, um tensor de ordem
2. Contudo, se o dieletrico for homogeneo e isotropico, entao = constante.
3.1. Para os dieletricos homogeneos e isotropicos, as expressoes (8.1.2.2h) e (8.1.2.4a)
permitem escrever a expressao (8.1.2.4h), em termos de formas diferenciais, da seguinte
maneira:
D = ? E ,
(8.1.2.4i)
D
= ? dV .
dD = d ? dV
Q
= d ? dV .
Aplicando-se o operador (?) [ver Definicao (3.1.4.1)] `a expressao acima e usando-se a expressao (8.1.2.3c), resultara:
? Q
= ? d ? dV
? d ? dV =
(8.1.2.4j)
167
Definic
ao 8.1.2.5. A Intensidade do Campo Magn
etico H e uma 1 f orma
diferencial linear:
H = Hx (x, y, z) dx + Hy (x, y, z) dy + Hz (x, y, z) dz ,
(8.1.2.5a)
tal que:
I =
H =
(8.1.2.5b)
(8.1.2.5c)
2. Ainda na linguagem do Calculo Vetorial, a expressao (8.1.2.5b) significa a cir~ ao longo de e representa a Intensidade de Corrente I que circula atraves
cula
c
ao de H
de uma superfcie S limitada por :
I =
H = H | =
~ . d~r .
H
(8.1.2.5d)
A expressao acima decorre de uma observacao experimental feita, em 1820, independentemente, pelos fsicos, o dinamarques Hans Christiaan Oersted (1777-1851) e o frances Andre
~ e criado
Marie Ampere (1775-1836). Com efeito, eles observaram que o campo magnetico H
toda vez que uma corrente I circula em um condutor.
3. Usando-se a expressao (8.1.2.2b) e o Teorema de Stokes Generalizado [ver
expressao (5.1.2.1)] na expressao (8.1.2.5b), vira:
H
H =
R
S
dH =
R
S
dH = J .
(8.1.2.5e)
3.1. Aplicando-se a operacao (?) [ver Definicao (3.1.4.1)] `a expressao acima, resultara:
? dH = ? J .
(8.1.2.5f)
(8.1.2.5g)
Definic
ao 8.1.2.6. A Indu
c
ao Magn
etica B e uma 2 f orma diferencial linear:
168
(8.1.2.6a)
tal que:
0 =
=
H
S
H
S
B = B|S =
(8.1.2.6b)
(8.1.2.6c)
(8.1.2.6d)
B = B|S =
H
S
~ .n
B
dS = 0 .
(8.1.2.6e)
B =
R
V
dB = 0 dB = 0 .
(8.1.2.6f)
169
~ = 0.
.B
(8.1.2.6g)
(8.1.2.6h)
(8.1.2.6i)
(8.1.2.6j)
4.1. Aplicando-se a operacao (?) [ver Definicao (3.1.4.1)] `a expressao (8.1.2.6h), teremos:
? B = ?dA .
(8.1.2.6k)
(8.1.2.6`)
(8.1.2.6m)
(8.1.2.6n)
(8.1.2.6o)
170
(8.1.2.6p)
(8.1.2.6q)
onde
e a 0 f orma correspondente `a permitividade magn
etica .
6. Aplicando-se o operador de Laplace-Beltrami (ver Captulo 4) `a 1 f orma A
e considerando-se que (?)2 = 1 (no R3 ), teremos:
LB A = (d + d) A = [d()(? d ?) A + (?d) (?d A)] .
Usando-se as expressoes (8.1.2.5d) e (8.1.2.6k,q), vira:
LB A = d (? d ?) A (?d) (? B) = d (? d ?) A (?d) (
H)
LB A = d (? d ?) A
(? dH) = d (? d ?) A
?J .
Considerando-se o gauge de Coulomb:
(? d ?) A = 0,
~ = 0)
( . A
LB A =
?J .
(8.1.2.6r,s)
(8.1.2.6t)
(8.1.2.6u)
(? d ? d) = 0 .
(8.1.2.6v)
171
(8.1.2.6x)
(8.1.3.1a)
tal que:
R
C
F =
R
C
(B + E dt) = 0 ,
(8.1.3.1b)
onde:
B = Bx (x, y, z, t)dydz + By (x, y, z, t)dzdx + Bz (x, y, z, t)dxdy , (8.1.3.1c)
E = Ex (x, y, z, t) dx + Ey (x, y, z, t) dy + Ez (x, y, z, t) dz ,
(8.1.3.1d)
e C e a fronteira de um cilindro tridimensional C gerado pelo deslocamento de uma superfcie cilndrica bidimensional S entre dois instantes de tempo (t [a, b]).
Observac
oes
1. Usando-se o Teorema de Stokes Generalizado [ver expressao (5.1.2.1)] na
expressao (8.1.3.1b), teremos:
R
C
F =
R
C
(8.1.3.1f)
onde o operador d significa uma diferencial com relacao `as variaveis espaciais (x, y, z) e B e
obtido da forma B substituindo-se seus coeficientes por suas derivadas em relacao `a variavel
t, isto e:
B =
B
t
Bx
t
dy dz +
By
t
dz dx +
Bz
t
dx dy . (8.1.3.1g)
(8.1.3.1h)
172
dE + t B = dE + B = 0 .
(8.1.3.1i)
(8.1.3.1j)
(8.1.3.1k)
(8.1.3.1`)
e a Terceira Equac
ao de Maxwell (1873):
~
B
t
~ +
E
= 0.
(8.1.3.1m)
dE +
R
S
R
R
B = 0
S dE +
S t B = 0 .
(8.1.3.1n)
E + t
R
S
B = 0.
(8.1.3.1o)
C (Ex dx
+ Ey dy + Ez dz) + t
S (Bx dydz
~ . d~` =
E
d
dt
R
S
~ . dS
~ .
B
(8.1.3.1q)
R
S
B =
R
S
t B +
R
S
iV dB +
R
C
iV B =
R
S
t B +
R
C
iV B
173
R
S
t B = t
R
S
R
C
iV B .
R
S
E + t
B +
R
C
R
S
iV B = 0
R
C
(E iV B) = 0 .
(8.1.3.1r)
Usando-se a expressao (5.1.3.3a) e a notacao do Calculo Vetorial, a expressao acima representa a Lei da Induc
ao de Faraday para um Circuito M
ovel:
H
C
~ V~ B).
~ d~` =
(E
d
dt
R
S
~ . dS
~ .
B
(8.1.3.1s)
3.3. Chamando-se:
~0 = E
~ V~ B,
~
E
(8.1.3.1t)
~ 0 . d~` =
E
d
dt
R
S
~ . dS
~ ,
B
~ 0 e relativo
que representa a Lei de Faraday para um Circuito Fixo, e o campo eletrico E
ao sistema de laboratorio. Por outro lado, da expressao (8.1.3.1t), podemos escrever:
~ = E
~ 0 + V~ B
~ .
E
(8.1.3.1u)
A expressao acima nos mostra que quando um circuito esta em movimento, o campo eletrico
~ 0 ) e transformado para (E),
~ que representa o campo eletrico relativo
no laboratorio (E
oportuno registrar que,
ao referencial movel, isto e, preso ao circuito em movimento. E
multiplicando-se essa expressao pela carga q de uma partcula carregada (por exemplo, o
eletron de conducao do material do circuito), ela traduz a famosa F
ormula de Lorentz,
apresentada pelo fsico holandes Hendrik Antoon Lorentz (1853-1928; PNF, 1902), em 1892:
~ = q (E
~ 0 + V~ B
~ 0) ,
F~em = q E
(8.1.3.1v)
(8.1.3.1v)
174
= A V dt ,
(8.1.3.1x)
E = dV + A .
(8.1.3.1y,w)
~ = V
E
~
A
t
(8.1.3.1z,z)
(8.1.3.2a)
tal que:
R
C
G =
R
C
(D H dt) =
R
C
j,
(8.1.3.2b)
onde:
D = Dx (x, y, z, t)dydz + Dy (x, y, z, t)dzdx + Dz (x, y, z, t)dxdy , (8.1.3.2c)
H = Hx (x, y, z, t) dx + Hy (x, y, z, t) dy + Hz (x, y, z, t) dz ,
j = Q J dt ,
(8.1.3.2d)
(8.1.3.2e)
Q = (x, y, z, t) dx dy dz ,
(8.1.3.2f)
175
R
C
G =
R
C
dG =
dG = j
R
C
d(D H dt) =
(Q J dt)
j =
d(D H dt) = Q J dt .
(8.1.3.2h)
Usando-se as expressoes (4.1.2.1b), (8.1.3.2f) e considerando-se que D(x, y, z, t), a expressao (8.1.3.2h) ficara:
[dD + (D dH) dt] = Q J dt ,
(8.1.3.2i)
onde o operador d significa uma diferencial com relacao `as variaveis espaciais (x, y, z) e D e
obtido da forma D substituindo-se seus coeficientes por suas derivadas em relacao `a variavel
t, isto e:
D =
D
t
Dx
t
dy dz +
Dy
t
Dz
t
dz dx +
dx dy . (8.1.3.2j)
(8.1.3.2k)
dH t D = dH D = J .
(8.1.3.2`)
Calculando-se a operacao (?) [ver Definicao (3.1.4.1)] nas expressoes acima e considerando-se
que ?2 = ? ? = 1 (no R3 ) e ? t = t ?, teremos:
?d (??) D = (?d?) (?D) = ? Q ,
?dH t (?D) = ? J .
(8.1.3.2m)
(8.1.3.2n)
(8.1.3.2o)
e a Quarta Equac
ao de Maxwell (1873), para meios materiais:
~
H
~
D
t
= J~ .
(8.1.3.2p)
176
(8.1.3.2q)
onde o operador d, no segundo membro da expressao acima, significa uma diferencial com
relacao `as variaveis espaciais (x, y, z) e Q e dado por:
Q =
dx dy dz . (8.1.3.2r)
dQ = ddxdydz = ( x
dx +
dy
y
dz)dxdydz
z
=0.
(8.1.3.2s)
(8.1.3.2t)
(8.1.3.2u)
= 0.
(8.1.3.2v)
Registre-se que a troca de sinal da 3 f orma Q para a funcao mostrada acima, decorre do
fato de que essa equacao e escrita na linguagem nao-relativista. [Lembrar (ver Captulo 1) que
a assinatura s da metrica quadridimensional (x, y, z, t) relativista vale: s = 3 1 = 2 .]
O resultado visto acima nos mostra que a Equa
c
ao da Continuidade e traduzida pela
expressao:
dj = 0 .
(8.1.3.2x)
(8.1.4.1a)
177
(8.1.4.1b)
(8.1.4.1c)
(8.1.4.1d)
?[? (?B)
+ ? [E ?(?J)] + (?d?)?S = 0 .
Usando-se a linguagem do Calculo Vetorial, a expressao acima traduz o famoso Teorema
de Poynting ou Teorema da Conserva
c
ao da Energia Eletromagn
etica:
~ . H
~ + E
~ .D
~ + E
~ . J~ + . S
~ = 0.
B
(8.1.4.1e)
onde:
~ . J~ + . S
~ = 0,
+ E
(8.1.4.1f)
178
uem =
~2 + H
~ 2) =
( E
1
2
1
2
~ .D
~ + H
~ . B)
~ ,
(E
(8.1.4.1g)
1
2
(E D + H B) ,
(8.1.4.1h)
pois:
1
2
?em =
uem =
1
2
~ .D
~ + H
~ . B)
~ .
(E
2.2. Integrando-se a expressao (8.1.4.1d) sobre um volume V limitado por uma superfcie A e usando-se o Teorema de Stokes Generalizado [ver expressao (5.1.2.1)], teremos:
R
H + E D)
+ R EJ + H S = 0.
V
A
V (B
(8.1.4.1i)
uem
t
dV +
~ . J~ dV = H S
~ . dA
~.
A
VE
(8.1.4.1j)
g(dx , dx ) = g = g = diag(1, 1, 1, 1) ,
(8.1.5.0a)
e g V = V .
(8.1.5.0b)
(8.1.5.0c,d)
179
onde (i, j, k) deve ser tomado na ordem cclica de (x, y, z) ou de (1, 2, 3).
Segundo vimos no Exerccio 4.1.2.1, o operador Laplaciano e dado por:
= (d + d) ,
onde a coderivada e dada por:
= ()p
+ 1
d?.
= ?
= ()p
+ 1
?d?.
(8.1.5.0e,f,g)
(8.1.5.0h)
d( ? ) =
R
D
[d ? + (1)p d ? ] =
R
D
?.
d? =
?.
(8.1.5.0i)
Definic
ao (8.1.5.1). - Tensor Campo-For
ca Eletromagn
etico F . Considerando-se o vacuo (e um sistema particular de unidades: o = o = c = 1) e
partindo-se das expressoes (8.1.2.4h,i), (8.1.2.6o,q) e (8.1.3.1a,c,d) podemos escrever que:
F = B + E dt =
= Bx dydz + By dzdx + Bz dxdy + Ex dxdt + Ey dydt + Ez dz dt
F = Hx dydz + Hy dzdx + Hz dxdy + Ex dxdt + Ey dydt + Ez dzdt . (8.1.5.1a)
Usando-se a m
etrica de Minkowski [proposta pelo matematico russo-alemao Hermann
Minkowski (1864-1909), em 1908] relacionada acima, a expressao acima sera escrita na forma:
F =
1
2
F dx dx , (8.1.5.1b)
180
F =
0
Hz Hy Ex
Hz
0
Hx Ey
.
Hy Hx
0 Ez
Ex Ey Ez
0
(8.1.5.1c)
Observac
oes
1. Equac
oes de Maxwell no Espa
co-Tempo: Grupo Homog
eneo. Esse grupo
e dado pela expressao (8.1.3.1e):
dF = 0 .
(8.1.5.1d)
dF = d( 21 F dx dx ) =
=
1
3!
dF dx dx =
( F + F + F ) dx dx dx = 0
F + F + F = 0 .
(8.1.5.1e)
(8.1.5.1f)
(8.1.5.1g)
(8.1.5.1h)
1
(
2
A A ) dx dx .
(8.1.5.1i)
181
F = A A .
(8.1.5.1j)
1
2
G dx dx , (8.1.5.2b)
G =
0
Ez Ey Hx
Ez
0
Ex Hy
.
Ey Ex
0 Hz
Hx
Hy
Hz
0
(8.1.5.2c)
Observac
oes
1. Equac
oes de Maxwell no Espa
co-Tempo: Grupo N
ao-Homog
eneo. Esse
grupo e dado pela expressao (8.1.3.2h):
dG = j
dj = 0.
(8.1.5.2d)
182
?F = Hx dx dt Hy dy dt Hz dz dt +
+ Ex dy dz + Ey dz dx + Ez dx dy .
Comparando-se a expressao acima com a expressao (8.1.3.2a), usando-se tambem as expressoes (8.1.2.4h) e (8.1.5.2d) e considerando-se o vacuo (e, ainda, um sistema particular
de unidades: o = o = c = 1), teremos:
G = ?F
d (? F ) = j .
(8.1.5.2e)
1 1
(
2 2
F ) dx dx ,
1
3!
1
2 2
dF dx dx
[ F ] dx dx dx .
(8.1.5.2f)
1
3!
[ j ] dx dx dx ,
(8.1.5.2g)
(8.1.5.2h)
(8.1.5.2i)
que representa uma equacao de movimento para A. Escolhendo-se, por exemplo, o Gauge
de Lorentz:
183
A = 0,
(8.1.5.2j)
( d + d ) A = ? j
(8.1.5.2k)
Definic
ao (8.1.5.3). - A A
c
ao Eletromagn
etica S[A] e uma 4 f orma definida
por:
S[A] =
1
2
F ? F j A) ,
(8.1.5.3a)
1
2
d(A + d ) ? d(A + d )
j (A + d )] = S[A]
jd.
(8.1.5.3b)
d(j ) =
R
D
[d j + (1)p j d ] =
R
D
j.
jd = 0.
(8.1.5.3c)
184
S[A + a] S[A] =
1
2
d(A + a) ? d(A + a)
j (A + a)]
1
2
dA ? dA j A)
S[A + a] S[A]
[ 12 (dA ? da + da ? dA) + j a] .
a ? ( dA + ? j) .
(8.1.5.3d)
185
Bibliografia - Parte 2
1. Abraham, M. and Becker, R. The Classical Theory of Eectricity and Magnetism.
Blackie and Son Limited (1950).
2. Aharonov, Y. and Bohm, D. Significance of Electromagnetic Potentials in the
Quantum Theory, Physical Review 115: 485-491 (1959).
3. Aldrovandi, R. and Pereira, J. G. An Introduction to Geometrical Physics. World
Scientific (1995).
4. Andrade, S. C. B. de Introdu
c
ao ao Eletromagnetismo I, II, III, IV. Departamento de Fsica. PUC/RJ (1972).
5. Arnold, V. I. M
etodos Matem
aticos da Mec
anica Cl
assica. Editora Mir (1987).
6. Azevedo, J. C. A. Eletrodin
amica Cl
assica. Livros Tecnicos e Cientficos Editora S.
A. e EDUSP (1981).
7. Bamberg, P. and Sternberg, S. A Course in Mathematics for Students of Physics
1, 2. Cambridge University Press (1992).
8. Bassalo, J. M. F. Eletrodin
amica Cl
assica. Editora Livraria da Fsica (2007).
9. Bassalo, J. M. F., Alencar, P. T. S., Nassar, A. B. e Cattani, M. S. D. A Cr
onica do
Potencial Vetor e do Potencial Qu
antico. MensAgitat 2: 93-108 (2006).
10. Bassalo, J. M. F. e Cattani, M. S. D. Teoria de Grupos para Fsicos. Editora
Livraria da Fsica (2008).
11. Bassalo, J. M. F., Cattani, M. S. D. e Nassar, A. B. Aspectos Contempor
aneos da
Fsica. EDUFPA (2000).
12. Bassalo, J. M. F., Valente, Z. A. e Cattani, M. S. D. Rela
c
oes Termodin
amicas
de Maxwell via Formas Diferenciais, Revista Brasileira de Ensino da Fsica 22:
210-215 (2000).
13. Boyer, C. B. A History of Mathematics. John Wiley and Sons, Inc. (1968).
14. Bressoud, D. M. Second Year Calculus. Springer-Verlag (1991).
15. Burke, W. L. Applied Differential Geometry. Cambridge University Press, (1987).
16. Callen, H. B. Thermodynamics. John Wiley and Sons, Inc. (1960).
17. Campos, I. y De La Pe
na, L. IN: Ciencias de la Materia: G
enesis y Evoluci
on
de sus Conceptos Fundamentales. Siglo Veintiuno Editores y Centro de Investigaciones Interdisciplinares en Ciencias y Humanidades (UNAM), (1998).
18. Cartan, E. Les Systemes Differentials Exterieurs et Leurs Applications Geometriques. Hermann (1945).
186
187
39. Panofsky, W. K. H. and Phillips, M. Classical Electricity and Magnetism. AddisonWesley Publishing Company, Inc. (1962).
40. Parrott, S. Relativistic Electrodynamics and Differential Geometry. SpringerVerlag, N. Y. (1987).
41. Portis, A. M. Electromagnetic Fields: Sources and Media. John Wiley and Sons,
Inc. (1978).
42. Pugh, E. M. and Pugh, E. W. Principles of Electricity and Magnetism. Addison-Wesley Publishing Company, Inc. (1962).
43. Ramo, S., Winnery, J. R. and Van Duzer, T. Fields and Waves in Communications
Electronics. John Wiley and Sons, Inc. (1994).
44. Reitz, J. R., Milford, F. J. e Christy, R. W. Fundamentos da Teoria Eletromagn
etica. Campus (1982).
45. Schleifer, N. Differential Forms as a Basis for Vector Analysis, with Applications to Electrodynamics, American Journal of Physics 51 (12): 1139-1145 (1983).
46. Schutz, B. Geometrical Methods of Mathematical Physics. Cambridge University Press (1995).
47. Slater, J. C. and Frank, N. Electromagnetism. McGraw-Hill Book Company, Inc.
(1947).
48. Smythe, W. R. Static and Dynamic Electricity. McGraw-Hill Book Company, Inc.
(1968).
49. Sommerfeld, A. Electrodynamics. Academic Press (1952).
50. Stratton, J. A. Electromagnetic Theory. McGraw-Hill Book Company, Inc. (1941).
51. Tiomno, J. Eletromagnetismo I, II, III, Monografias de Fsica. CBPF (1963).
52. Valente, Z. A. Relac
oes de Maxwell da Termodin
amica atrav
es de Formas
Diferenciais, Tese de Mestrado. DFUFPA (1999).
53. Videira, A. L. L. A Geometria de Maxwell, IN: Perspectivas em Fsica Te
orica:
Anais do Simp
osio de Fsica em Homenagem aos 70 Anos do Prof. M
ario
Schenberg. IFUSP (1987).
54. Videira, A. L. L., Rocha Barros, A. L. e Fernandes, N. C. Foundations of Physics 15:
1247 (1985).
55. Von Westenholz, C. Differential Forms in Mathematical Physics. North-Holland
Publishing Company (1986).
56. Wangness, R. K. Electromagnetic Fields. John Wiley and Sons, Inc. (1979).
188
Indice Onom
astico
A
Abraham, M. 185
Aharonov, Y. 169, 185
Aldrovandi, R. 122, 127, 128, 135, 136, 185
Alencar, P. T. S. 185
Amp`
ere, A. M. 167
Andrade, S. C. B. 185
Arnold, D. V. 188
Arnold, V. I. 122, 132, 133, 185
Azevedo, J. C. A. 185
D
De La Pe
na, L. 185
Deschamps, G. A. 122, 186
Dewar, Sir J. 142
Dulong, P. L. 157
Duzer, T. van 187
E
Eguchi, T. 122
Einstein, A. 4, 13, 129, 160, 186
Euler, L. 136
B
Bamberg, P. 122, 185
Barrow, I. 111, 113
Bassalo, J. M. F. 129, 185
Becker, R. 185
Beltrami, E. 68, 170
Bianchi, L. 103
Bohm, D. J. 169, 185
Born, M. 151, 153, 156
Boyer, C. B. 129, 185
Bressoud, D. M. 122, 185
Burke, W. L. 118, 122, 185
C
Callen, H. B. 156, 185
Campos, I. 185
Carath
eodory, C. 140, 151, 153
Carnot, N. S. 148-151
Cartan, E. 104, 105, 118, 161, 185
Cattani, M. S. D. 129, 185
Christoffel, E. B. 101, 103-105, 119
Christy, R. W. 187
Clapeyron, E. 139
Clausius, R. J. E. 150, 151, 153
Clifford, W. K. 161
Costa, J. E. R. 122
Coulomb, C. A. 162, 170
Cramer, G. 11, 12, 34
F
Farady, M. 168, 172, 173
Fernandes, N. C. 127, 131, 187
Ferreira, B. A. 122
Ferreira, G. F. L. 161, 186
Flanders, H. 122, 186
Frank, M. 187
Frenkel, J. 186
G
Galilei, G. 129
Gauss, C. F. 111, 113
Gibbs, J. W. 146, 154, 159
Gilkey, P. B. 122
G
ockeller, M. 122, 186
Goldstein, H. 132, 135-137, 186
Gram, J. P. 10, 11, 96
Grassman, H. G. 40, 159, 161
Green, G. 111, 121
H
Hamilton, W. R. 159
Hanson, A. J. 122
Hausdorff, F. 75, 77
Heaviside, O. 159, 160
Helmholtz, H. L. F. von 120, 121, 143, 154
Hodge, W. 52
Hsu, H. P. 122, 186
190
J
Jackson, J. D. 186
Jacobi, C. G. J. 44, 86
Jeans, J. 186
Joule, J. P. 143, 145, 146, 178
K
Kelvin, Lord (W. Thomson) 146, 150, 153
Killing, W. K. J. 118
Klein, F. 78, 81
Kline, M. 160, 186
Kremer, H. F. 122
Kronecker, L. 4, 29
N
Nash, C. 122
Nassar, A. B. 129, 185
Nerst, W. H. 157, 158
Newton, I. 111, 113, 148
Nussenzveig, H. M. 186
O
Oersted, H. C. 167
Ohm, G. S. 163
Oliveira, W. 122
ONeil, B. 123
Onnes, H. K. 146
Ootrogradski, M. 111, 113
L
P
Lagrange, J. L. 132, 133
Lam
e, G. 90, 91
Landau, L. D. 137, 186
Laplace, P. S. 43, 68, 148, 170
Lavoisier, A. 142
Leibniz, G. W. 82, 111, 113
Leite Lopes, J. 186
Levi-Civita, T. 29, 30, 32, 34, 101, 160, 182
Lie, S. 86, 115, 117, 118, 120, 121, 134, 136, 137
Lifchitz, E. M. 137, 186
Liouville, J. 133, 136, 137
Lorentz, H. A. 129, 173, 182
M
Macedo, A. 186
Maricourt, P. P. de 168
Maxwell, J. C. 122, 129, 155, 156, 159-161, 166,
168, 169, 172, 175, 180, 181, 185-187
Mayer, J. R. 142
Milford, F. J. 187
Minkowski, H. 129, 178-181, 186
M
obius, A. F. 78, 81
Mollier, R. 146
Moreira, A. 186
Moriyasu, K. 131, 186
Panofsky, W. K. H. 187
Parrott, S. 186
Peregrinus, P. 168
Pereira, J. G. 122, 127, 128, 135, 136, 185
Petit, A. T. 157
Phillips, M. 187
Planck, M. K. E. 158
Poincar
e, J. H. 63-65, 69, 111, 115, 134, 135, 141,
142, 144, 155, 162, 169, 173, 175, 180, 182
Poisson, S. D. 135, 166
Portis, A. M. 186
Poynting, J. H. 177
Pugh, E. M. 187
Pugh, E. W. 187
R
Ramo, S. 187
Reech, F. 147, 148
Reitz, J. R. 187
Rham, G. 68
Riemann, G. F. 103-105, 129
Ricci-Curbestro, G. 103, 104, 160
Rocha Barros, L. A. 127, 131, 187
191
S
Schleifer, N. 123, 187
Schmidt, E. 11, 96
Sch
ucker, T. 122, 186
Schutz, B. 123, 127, 130, 133, 134, 137, 187
Schwarzschild, K. 78
Schwarz, H. A. 10
Selfridge, R. H. 188
Sen, S. 122
Slater, J. C. 187
Smythe, W. R. 187
Sommerfeld, A. J. W. 187
Spivak, M. 123
Sternberg, S. 122, 185
Stokes, Sir G. G. 111-115, 120, 121, 141, 162, 165,
167, 168, 171, 172,174, 178, 179, 182
Stratton, J. A. 187
Sylvester, J. J. 13, 96
T
Tait, P. G. 159
Taylor, B. 82
Thomson, W. (Lord Kelvin) 146, 150, 153
Tiomno, J. 187
V
Valente, Z. A. 185, 187
Van Duzer, T. 187
Videira, A. L. L. 127, 131, 187
Voigt, W. 160
Von Helmholtz, H. L. F. 120, 121, 143, 154
Von Westenholz, C. 123, 187
W
Wangness, R. K. 187
Warnick, K. F. 188
Weber, E. 188
Weinhold, F. 188
Westenholz, C. von 123, 187
Whitney, H. 99
Whittaker, Sir E. T. 160, 188
Winnery, J. R. 187
Zemansky, M. W. 188