Professional Documents
Culture Documents
MATEMTICA
vol.4
Instituto de Fsica, Universidade de So Paulo, CP 66.318
05315-970, So Paulo, SP, Brasil
Prefcio
NDICE
PARTE I
TEORIA DE GRUPOS
CAPTULO 1
Grupo1
1.1 Primeiras Definies
Definio 1.1.1 Um conjunto G consistindo dos elementos
a, b, c,...
G = {a,b,c,...} {G, *}
1.1.4
Um
grupo
cujos
elementos
so
Esta parte deste Captulo foi ministrada pelo professor Jos Maria Filardo Bassalo
no Curso de Extenso, realizado em 1985, na UFPA, sobre Teoria de Grupo.
2
Exerccio 1.1.1 Mostre que:
a) Se a,b G, ento para as equaes:
a*x = b e y*a = b, tem-se, de maneira unvoca:
x = a1 *b e y = b* a1;
b) Se a,b G, ento:
(a*b)1 = b1* a1;
c) Se a
n inteiro, por
3
b) Vetores no R3 . O conjunto de vetores no espao
tridimensional forma um grupo infinito Abeliano em relao adio
vetorial, pois:
I) A, B R3; ( A + B ) = C R3;
II
II) A, B, C R3; ( A + B ) + C = A + ( B + C );
III) e 0 ; A + 0 = 0 + A = A ;
IV) A R3 , ( A )1 A ; A +( A ) = ( A )+ A = 0 .
------------------------------------------------------------------------------------Exerccio 1.2.1 a) Verifique as propriedades de grupo do
conjunto de vetores no R3 , usando para
isso a regra do paralelogramo;
b) Mostre que o conjunto dos racionais (Q)
forma um grupo Abeliano em relao
multiplicao.
------------------------------------------------------------------------------------c) Grupo de Rotaes. O conjunto de rotaes de um
3
vetor no R em torno do eixo dos z de um certo ngulo , forma um
grupo contnuo Abeliano denotado por 0(2). Vejamos como.
Por definio, temos:
x cos + y sen
r ' ' = R ( 2 ) R (1 ) r = R ( 2 + 1 ) r ,
onde:
cos 2 sen 2
cos 1 sen1
; R (1 ) =
.
R ( 2 ) =
sen 2 cos 2
sen1 cos 1
R ( 2 ) R (1 ) =
sen 2 cos 2
cos 1 sen1
=
sen1 cos 1
=
=
sen2 cos 1 sen1 cos 2 cos 2 cos 1 sen2 sen1
5
cos( 2 + 1 )
=
sen ( 2 + 1 )
sen ( 2 + 1 )
R ( 2 + 1 ) .
cos( 2 + 1 )
Portanto:
I) R(2) R(1) = R (2 + 1) = R().
A regra da multiplicao de matrizes nos permite facilmente
mostrar que:
II) R(3) [R(2) R(1) ] = [R(3) R(2)] R(1);
III) R(0) R() = R() R(0) = R();
IV) R() R() = R() R() ) = R(0) ,
onde:
cos 0 o
R (0) =
o
sen 0
sen 0 o
1 0
=
.
o
cos 0
0 1
vx
),
c2
6
2
= 1 v 2
= (1 2 )
; = v .
c
x'
v
=
t'
v
2
c
x
L( v )
t
x
.
t
2
L2L1 =
2 2
2 2 c 1
11
2
c
+
= 2 1 2 1 2 1
2
2 1 1
2 1
c
c
= [21 (1+2+1)] .
11c
=
2 11c 2 1 2 c
=
2 1 21 + 2 1
(1 + 2 )c
1 + 21
.
1
(1 + 2 )
c
1 + 21
7
v3 =
v1 + v 2
,
v1v 2
1+ 2
c
portanto:
1
2 1 (1 + 21 ) =
1+
1 2
v1v 2
c2
1 1
(1 + 21 ) =
1+
v
v
(1 22 ) (1 12 )
c
c
1 (
v1v 2
c2
v32
=
c2
v1
v
v v
+ 22 1 4 2 )
c2
c
c
( v12 + v 2 2 + 2 v1v 2 )
(1 +
v12 v 2 2 2 v1v 2
+
)
c4
c2
= 1
v1 + v 2 + 2 v1v 2
2
c2 +
v1 v 2
+ 2v1 v 2
c2
v3
=
c2
1 (
Portanto:
21 (1 + 2+1) =
1
v 2
1 32
c
= 3 .
v1
v
v v
+ 22 1 4 2 )
2
c
c
c
.
v1v 2
1+ 2
c
8
1
2 1
( v 2 + v1 )
+
v
c
c = c2
= 23 .
v
v
1 + 21
c
1 + 22 1
c
1 v
3
= L3
= 3
v3
2 1
c
ou seja:
I) L2L1 = L3; L1, L2, L3 L(v).
A regra de multiplicao de matrizes permite mostrar que:
II) L1 (L2L3) = (L1L2) L3 ;
III) L0L = LL0 = L ; L0 L (0) = 10 01 ;
9
d) Mostre que as Transformaes de Poincar
formam um grupo.
------------------------------------------------------------------------------------e) Grupo de Permutaes Sn (Smirnov, 1980)
Definio 1.2.1 Sejam n (> 1) objetos que numeramos
com os nmeros inteiros 1, 2 ,3, ... , n. Com eles podemos formar n!
permutaes. Seja uma delas:
1 2
P =
P1 P2
3 ... n
(P1 P2 P3 ... Pn).
P3 ... Pn
(a b c d e ) = (e a b c d ) .
5 1 2 3 4
10
1 2 3 4 5
1 2 3 4 5
P=
P 1 =
,
3
2
5
1
4
4 2 1 5 3
1 2 3
P=
(a b c ) P 1 = (b c a ) .
3 1 2
1
ento:
1 2 3
P1P2 =
2 1 3
1 2 3 1 2 3
=
.
1 2 3 3 2 1
2 4 1 5 3
1 2 3 4 5
(a b c d e ) =
5 1 2 3 4
1 2 3 4 5
(e a b c d ) = (a c e d b ).
=
2 4 1 5 3
11
1 2 3 4 5
(a b c d e ) = (a c e d b ) , ento:
1 3 5 4 2
1 2 3 4 5
2 4 1 5 3
1 2 3 4 5 1 2 3 4 5
=
.
5 1 2 3 4 1 3 5 4 2
1 2 3
1 2 3
e P5 =
.
P4 =
3 1 2
2 3 1
a) Propriedades de Fechamento:
1 2 3
P1P1 =
2 1 3
1 2 3 1 2 3
=
=E;
2 1 3 1 2 3
12
1 2 3
P1P2 =
2 1 3
1 2 3
1 2 3
=
= P4 ;
1
3
2
3 1 2
1 2 3 1 2 3
1 2 3
P1P3 =
=
= P5 ;
2 1 3 3 2 1
2 3 1
1 2 3 1 2 3
1 2 3
P1P4 =
=
= P2 ;
2
1
3
3
1
2
3 2 1
1 2 3 1 2 3
1 2 3
P1P5 =
=
= P3.
2 1 3 2 3 1
3 2 1
P2P1 = P5; P2P2 = E; P2P3 = P4; P2P4 = P3; P2P5 = P1; P3P1 = P4;
P3P2 = P5; P3P3 = E; P3P4 = P1; P3P5 = P2; P4P1 = P3; P4P2 = P1;
P4P3 = P2; P4P4 = P5; P4P5 = E; P5P1 = P2; P5P2 = P3; P5P3 = P1;
P5P4 = E e P5P5 = P4.
b) Propriedade Associativa:
(P1P2) P3 = P1 (P2P3).
Em vista da propriedade anterior, temos:
13
2 1 3
1 2 3 1 2 3
=
= P1 ,
1 2 3 2 1 3
1 2 3 1 2 3 1 2 3
EP1 =
=
= P1 .
1 2 3 2 1 3 2 1 3
d) Elemento Inverso:
Pi1Pi = Pi P 1 = E .
i
(i = 0, 1, 2, 3, 4, 5) .
P41
1 2 3
=
3 1 2
1 2 3
=
= P5 .
2 3 1
P4-1 P4 = P5 P4 = E; P4 P4-1 = P4 P5 = E .
As propriedades a, b, c e d, permitem escrever a seguinte tabela
de multiplicao para o grupo S3.
E
P1
P2
E
E
P1
P2
P1
P1
E
P5
P2
P2
P4
E
P3
P3
P5
P4
P4
P4
P2
P3
P5
P5
P3
P1
14
P3
P3
P4
P5
E
P1
P2
P4
P4
P3
P1
P2
P5
E
P5
P5
P2
P3
P1
E
P4
-----------------------------------------------------------------------------Exerccio 1.2.4 a) Termine a demonstrao das
propriedades do grupo S3;
b) A tabela de multiplicao do grupo S3
mostra que ele no-comutativo.
Demonstre a afirmativa;
c) Mostre que o conjunto de permutaes
S4 forma um grupo no-comutativo.
------------------------------------------------------------------------------------Vimos que dado um conjunto de n (> 1) elementos podemos
formar o grupo de permutaes Sn. Contudo, as permutaes para
obter cada elemento (a partir do elemento anterior) desse grupo podem
ser um nmero par ou nmero mpar. O grupo formado ento de todas
as permutaes pares dos nmeros 1,2,..., n chamado de Grupo
Alternado ou Alternativo An cuja ordem (nmero de elementos) n!/2
(Jansen e Boon, 1967).
Por exemplo, para os nmeros 1,2,3, as permutaes formadas
de deslocamentos pares e mpares, so:
1,2,3
1,3,2
1,2,3
par(0)
mpar(1)
2,3,1
2,1,3
1,2,3
par(2)
2,1,3
1,2,3
mpar(1)
3,1,2
1,3,2
1,2,3
par(2)
3,2,1
1,2,3
mpar(1)
15
1 2 3 4 5
= (1,3,4)
3 6 4 1 2 5
(2,5,6) = (2,5,6)
(1,3,4) ,
,
e
.
1 3 5 4 2 1 3 5 4 2
3 1 2 5 4
------------------------------------------------------------------------------------f) Reflexo Espacial. O conjunto de reflexes espaciais em torno
da origem forma um grupo. Seus elementos so definidos por:
r
r
E(x,y,z) = (x,y,z) E( r ) = ( r ) , (Identidade)
r
r
P(x,y,z) = (x,y,z) P( r ) = ( r ) . (Paridade)
------------------------------------------------------------------------------------Exerccio 1.2.6
Mostre que:
a) E e P formam um grupo;
b) P2 = E.
-------------------------------------------------------------------------------------
16
Exerccio 1.2.7 Mostre que:
a) O conjunto {g()} forma um grupo;
b) O conjunto U(1) unitrio.
------------------------------------------------------------------------------------1.3 Teoremas Elementares e outras Definies
Teorema 1.3.1 - Teorema do Rearranjamento. Seja G
um grupo de ordem g com os elementos: E,A2,A3,...,Ag. Se Ak um
elemento arbitrrio desse grupo, ento cada elemento ocorre uma e
somente uma vez na seqncia EAk = Ak,A2Ak, A3Ak,...., AgAk.
Demonstrao:
Seja X qualquer elemento de G. Seja ainda XAk1 = Ar ; ento
= ArAk = X, logo X pertence seqncia dada. Por outro
lado, X no pode ocorrer duas vezes na seqncia dada pois, se ArAk =
X e AsAk = X, ento Ar = As. Certamente o mesmo acontece para a
seqncia: AkE = Ak, AkA2, AkA3 ... AkAg. ( atravs desse teorema
que se constri as tabelas de multiplicao de um grupo finito).
XAk1Ak
=1
=1
=1
J A = J A X = J XA .
*
E
A
B
E
E
A
B
A
A
B
B
17
*
E
A
B
E
E
A
B
A
A
B
E
B
B
E
A
(E*A)*B = A*B = E ,
E*(A*B) = E*E = E .
*
E
A
B
C
E
E
A
B
C
A
A
B
B
C
C
18
elementos que geram o grupo chamamos de base. Um grupo pode ter
mais de uma base.
------------------------------------------------------------------------------------Exemplo 1.3.2
Calcule os perodos do grupo de
reflexo espacial, e determine suas ordens.
------------------------------------------------------------------------------------Conforme vimos, esse grupo formado por
E, P. Sendo P2 = E, ento ele de ordem 2.
------------------------------------------------------------------------------------Exemplo 1.3.3
Calcule os perodos do grupo S3, e
determine suas ordens.
------------------------------------------------------------------------------------O grupo S3 formado por:
S3 = {E, P1, P2, P3, P4, P5}.
Usando-se a tabela de multiplicao desse grupo vista no
Exemplo 1.2.1, v-se que:
a) P12 = E; logo sua ordem 2;
b) P22 = E; logo sua ordem 2;
c) P32 = E; logo sua ordem 2;
d) P42 = P5; P43 = P42P4 = P5P4 = E, logo sua ordem 3;
e) P52 = P4; P53 = P52P5 = P4P5 = E, logo sua ordem 3.
------------------------------------------------------------------------------------Exemplo 1.3.4 Seja o grupo G = {E, A, B, C} {G, *}
dado pela tabela abaixo. Calcule seu grau
(rank).
*
E
A
B
C
E
E
A
B
C
A
A
E
C
B
B
B
C
E
A
C
C
B
A
E
19
A tabela nos mostra que:
A2 = E ; B2 = E ; C2 = E ,
A3 = A2 *A = A ; B3 = B ; C3 = C .
Portanto, nenhum elemento do grupo capaz de gerar o grupo
todo. Por outro lado, vemos que:
A*B = C ; B*A = C ;
A*C = B ; C*A = B ;
B*C = A ; C*B = A .
Assim, os pares {A,B} , {A,C} e {B,C} so capazes de gerar o
grupo todo, pois:
G = {A2 = B2 = E ; A;B; A*B }
= {A2 = C2 = E ; A;C; A*C }
= {B2 = C2 = E ; B;C; B*C } .
Conclui-se, portanto, que o grau (rank) desse grupo vale 2,
j que bastam apenas dois elementos do grupo para gerar os demais.
Por outro lado, esse grupo possui trs bases, a saber:
{A, B}, {A, C} e {B, C} .
------------------------------------------------------------------------------------Exerccio 1.3.2 Calcule os graus (ranks) e as bases
dos grupos definidos pelas seguintes tabelas
de multiplicao:
a)
*
E
A
B
E
E
A
B
A
A
B
C
B
B
C
E
C
C
E
A
20
C
b)
*
E
A
B
C
E
E
A
B
C
A
A
E
C
B
B
B
C
A
E
C
C
B
E
A
------------------------------------------------------------------------------------Exerccio 1.3.3 a) Calcule todos os perodos do grupo S4
e determine suas ordens;
b) Mostre que as razes n da unidade
formam um grupo cclico de ordem n em
relao ao produto. Determine o gerador
desse grupo;
c) Mostre que l, i, l, i formam um
grupo cclico.
------------------------------------------------------------------------------------Definio 1.3.2 Um conjunto H dito um subgrupo
de um grupo G, isto , H G, se ele satisfaz os axiomas de grupo.
claro que todo grupo tem dois subgrupos triviais ou imprprios: H =
{E, G}.
------------------------------------------------------------------------------------Exemplo 1.3.5
Mostrar que o conjunto de
permutaes cclicas do grupo S3 um subgrupo prprio.
------------------------------------------------------------------------------------No Exemplo 1.2.1, vimos que o grupo S3 formado por:
S3 = {E, P1, P2, P3, P4, P5} .
As permutaes cclicas formadas de S3 so E, P4 e P5, pois:
21
1 2 3
1 2 3
1 2 3
E =
P4 =
P5 =
.
1 2 3
3 1 2
2 3 1
Assim:
S3c = {E, P4; P5} .
Vejamos, agora, se esse conjunto forma um grupo. Para isso
necessrio que ele satisfaa Definio 1.1.1. Assim, segundo a tabela
do Exemplo 1.2.1, temos:
a) Condio de Fechamento:
EP4 = P4
b) Condio de Associatividade:
E(P4P5) = EE = E ; (EP4) P5 = P4P5 = E;
c) Elemento Unidade:
EP4 = P4E = P4;
EP5 = P5E = P5;
d) Elemento Inverso:
P41P4 = P4P41 = E,
P51P5 = P5P51 = E.
------------------------------------------------------------------------------------Exerccio 1.3.4
Mostre que:
a) O conjunto dos nmeros pares um subgrupo do grupo
dos nmeros inteiros em relao adio;
b) A3 S3 ;
c) O elemento unidade de H o mesmo de G.
------------------------------------------------------------------------------------Definio 1.3.3 Para qualquer subgrupo H G e qualquer
elemento a G, mas a H, aH (ou Ha) dito uma classe lateral
22
(coset) esquerda ( direita). [Note-se que uma classe lateral
(coset) no necessariamente um subgrupo.]
Teorema 1.3.2 - Teorema de Lagrange. Seja um grupo finito
G e um subgrupo H G. Se a, b G, mas a, b H, ento:
e
a1H = P1 P4 = P2 ; a 2 H = P2 P4 = P3 ; a 3H = P3P4 = P1 .
PP =P
P P = P
P P = P
1
2
1 5 3
2 5
3 5
Portanto:
G S3 = H + a1 H = H + a2 H = H + a3 H,
sendo, ento, 2 o ndice de H.
Por outro lado, temos:
23
E P1 = P1
E P2 = P2
E P3 = P3
Ha1 = P4 P1 = P3 ; Ha 2 = P4 P2 = P1 ; Ha 3 = P4 P3 = P2 .
P P = P
P P = P
P P = P
2
3
1
5 1
5 2
5 3
Portanto:
G S3 = H + Ha 1 = H + Ha 2 = H + Ha 3 ,
o que confirma o ndice 2 de H em S3.
fcil ver que aH ou Ha no forma um grupo, pois, sendo
aH = Ha = {P1, P2, P3}, ento, P1 P2 = P4 aH ou Ha.
------------------------------------------------------------------------------------Exerccio 1.3.5
a) Uma classe lateral (coset) aH (Ha) no contm nenhum
elemento de H;
b) Duas classes laterais (cosets) (direito ou esquerdo) ou
so idnticos ou no tm elemento comum;
c) A ordem m de um subgrupo H de um grupo infinito G
divisor interno de g que a ordem de G;
d) Mostre o Teorema de Lagrange para G = S4 e H = S4 .
c
24
d) Se G Abeliano, ento todo elemento de G conjugado
de si prprio.
------------------------------------------------------------------------------------Exerccio 1.3.6
Demonstre as propriedades acima.
------------------------------------------------------------------------------------Analisando-se a Definio 1.3.4 v-se que se G for um grupo
de transformaes, ento essa definio corresponde transformao
de similaridade.
Definio 1.3.5 Ao conjunto de conjugados ou equivalentes de
um elemento a G, chama-se de classe de G.
Da definio acima, facilmente demonstra-se que:
a) O elemento a pertence classe de G relativo a si prprio;
b) Se a e b so conjugados, ento a classe de a a mesma da de b;
c) Se a e b no so conjugados, ento suas classes no tm
nenhum elemento comum;
d) Se cada elemento de G pertence a uma classe relativa a si
prprio, ento podemos decompor G em classes;
e) Qualquer elemento de G que comuta com todos os
elementos de G, forma uma prpria classe. A identidade
um exemplo disso.
------------------------------------------------------------------------------------Exerccio 1.3.7
a) Demonstre as propriedades acima;
b) Encontre as classes do grupo A4;
c) Encontre as classes do grupo S4.
------------------------------------------------------------------------------------Definio 1.3.6 Um subgrupo H de G dito normal ou
invariante, a G, ento: aHa-1 = H.
Da definio acima, facilmente demonstra-se que:
25
a) As classes laterais (cosets) direito e esquerdo de H so
iguais; portanto H, como coleo, comuta com todos os
elementos de G;
b) H contm todos os elementos de cada classe de G, ou no
contm nenhum deles;
c) Cada grupo G sempre contm os subgrupos invariantes
H = G e H = E.
------------------------------------------------------------------------------------Exerccio 1.3.8 Demonstre as propriedades acima.
------------------------------------------------------------------------------------Definio 1.3.7 Um grupo que no tem seus subgrupos
invariantes imprprios triviais (G e E), chamado simples. Se
nenhum dos subgrupos invariantes prprios de um grupo Abeliano,
ento o grupo chamado semisimples.
Definio 1.3.8 O grupo formado pelas classes laterais
(cosets) do subgrupo invariante H e pelo prprio H chamado de
grupo fator de G e denotado por G/H. se o grupo G for finito, a
ordem do grupo fator o quociente das ordens de G e de H,
respectivamente.
------------------------------------------------------------------------------------Exerccio 1.3.9 Mostre que:
a) O conjunto das classes laterais (cosets) de H invariante
forma um grupo com relao ao produto classe lateral
(coset);
b) HH = H .
------------------------------------------------------------------------------------Exemplo 1.3.7 Dado o grupo S3, obtenha suas classes, seus
grupos invariantes, e seus grupos fatores.
------------------------------------------------------------------------------------O grupo S3 tem os seguintes elementos: {E, P1, P2, P3, P4, P5}.
Os inversos desses elementos so:
26
a.3) C P
a.4) C P
a.5) C P
27
a.6) C P
= E + CP + CP = E + CP + CP = E + CP + CP .
1
EHE = EP4 E 1 = P4
EP E 1 = P
5
5
1
1
EHE H
P1EP11 = E
P1HP11 = P1P1P4 1 = P5
P P P 1 = P
4
1 5 4
1
P1HP1 = H
28
b.2) Seja o conjunto S'3 = {E, P1, P2, P3} . Como P1P2 = P4 S'3,
ento esse conjunto no subgrupo de E e, portanto, no podemos
nem testar a definio de invarincia.
b.3) Seja o conjunto Hi = {E, Pi (i = 1, 2, 3, 4, 5)}
fcil ver que:
PiHiPi1 Hi , portanto, Hi no invariante.
c) Obteno do grupo fator de G. Para isso, usemos a
Definio 1.3.8 e a tabela do Exemplo 1.2.1.
Vimos no item b.1, que o subgrupo S3C um invariante.
Portanto, as classes laterais (cosets) de S3C H = {E, P4, P5}, so:
P1H; P2H; P3H; P4H e P5H, ento, o grupo fator de G ser:
G/H = {P1H, P2H, P3H, P4H, P5H} .
Tais classes laterais (cosets) valem, respectivamente:
P1E = P1
P1H = P1P4 = P2 ;
P P = P
3
1 5
= H+
29
invariante no-trivial de S3 e Abeliano, logo, segundo a Definio
1.3.7, S3 no-simples e no-semisimples.
------------------------------------------------------------------------------------Exemplo 1.3.9 Seja o espao vetorial R3. Calcule o grupo
fator desse espao vetorial.
30
diferena entre os diferentes vetores cujas extremidades encontram-se
no plano z. Em Matemtica isto representado pelo smbolo de
congruncia:
r r r
v v' v' ' K mod R 2 .
31
Deste modo, G e G, so ditos isomrficos, ou seja: G G.
Portanto, eles tm a mesma tabela de multiplicao.
------------------------------------------------------------------------------------Exemplo 1.4.1
Mostre que o grupo S3 isomorfo ao
grupo que mantm um tringulo eqiltero
idntico a si prprio.
------------------------------------------------------------------------------------O grupo que mantm um tringulo eqiltero idntico a si
prprio definido por (veja as figuras a seguir).
E: Operao da identidade, a qual deixa a figura idntica a si
prpria;
P1: Reflexo em torno da linha A, isto , troca o vrtice 1 por 2;
P2: Reflexo em torno da linha B, isto , troca o vrtice 2 por 3;
P3: Reflexo em torno da linha C, isto , troca o vrtice 1 por 3;
P4: Rotao de 120 no sentido horrio em torno do centro o,
isto , o vrtice 3 vai para o lugar de 1, este para o lugar de 2, e este
para o lugar de 1;
P5; Rotao de 120 no sentido anti-horrio em torno do centro
o, isto , o vrtice 3 vai para o lugar de 2, este para o lugar de 1, e este
para o lugar de 3.
fcil ver que esse grupo satisfaz mesma tabela de
multiplicao do grupo S3 e que foi construda no Exemplo 1.2.1. Por
exemplo P1P2 = P4, pois:
32
Outro exemplo: P4 P3 = P2
33
b) Mostre que o grupo S2 isomorfo ao
grupo de reflexes espaciais.
------------------------------------------------------------------------------------Definio 1.4.2 Homomorfismo. Dois grupos G e G so
homomrficos, se os elementos de G podem ser postos em uma
correspondncia (no um a um) com os elementos de G e desde que
esta correspondncia preserve as leis de multiplicao dos dois
grupos.
O diagrama a seguir esclarece a definio dada.
34
conjunto formado por +1 e 1 forma um
grupo multiplicativo e homomrfico do
grupo Sn. O elemento +1 corresponde ao
Grupo Alternativo de Sn, isto , An, e 1
sua classe lateral (coset) (Meijer e Bauer,
1962).
------------------------------------------------------------------------------------Teorema 1.4.1 Se um grupo G possui um subgrupo
invariante H, ento G homomrfico ao grupo fator G/H.
------------------------------------------------------------------------------------Exerccio 1.4.2 a) Se G homomrfico a G, e se E
o elemento de unidade de G, mostre
que:
I) O conjunto de elementos de G que
corresponde a E forma um subgrupo
invariante de G;
II) G isomrfico ao grupo fator G/H.
b) Mostre a ltima afirmao do Exemplo
1.4.2.
35
CAPTULO 2
Representaes de Grupo1
2.1 Primeiras Definies
Definio 2.1.1 Uma representao de um grupo um
grupo de identidades matemticas homomrficas ao grupo abstrato
original. Uma representao linear uma representao em termos
de operadores lineares. Assim, se fizermos uma aplicao
homomrfica de um grupo arbitrrio G num grupo de operadores D
(G) L, dizemos que D (G) uma representao de G no espao de
representaes L. Se a dimenso de L n dizemos que a representao
tem dimenso n. quando a representao dada em forma de matrizes,
ela denotada por Di j (G). Como pode haver vrias representaes
para um mesmo grupo, ento denotaremos D() (G) [ou Dij (G)] para
uma dada representao de dimenso . Os elementos de uma
representao devem ter as seguintes propriedades:
a) D (RS) = D (R) D (S), R, S G;
b) D (R1) = [D (R)]-1, R G;
c) D (E) = I ; E : Elemento unitrio de G.
A definio acima permite tirar duas concluses:
Esta parte deste Captulo foi ministrada pelo professor Jos Maria Filardo Bassalo
no Curso de Extenso, realizado em 1985, na UFPA, sobre Teoria de Grupo.
2
I) Cada grupo tem uma representao unidimensional que
denotada pelo nmero 1;
II) O determinante de cada matriz representao tambm uma
representao, pois:
det D (R) . det D (S) = det [D (R) D (S)] = det [D (RS)].
------------------------------------------------------------------------------------Exerccio 2.1.1 Usando a propriedade a) da Definio
2.1.1, demonstre as propriedades b) e c).
------------------------------------------------------------------------------------Definio 2.1.2 Quando a correspondncia entre os elementos de G e os de D (G) um isomorfismo, a representao dita fiel
(faithful). Neste caso, a ordem de D (G) a mesma de G.
Definio 2.1.3 Duas representaes D (G) e D (G) so
ditas equivalentes, se R G, existe uma transformao de
similaridade S, tal que:
D (R) = S1 D (R) S.
Definio 2.1.4 Uma representao matricial dita
redutvel se, por transformaes de similaridade, sua matriz pode ser
posta na forma:
D (i) (R)
D (R) =
0
A(R)
,
(k)
D (R)
3
b) Quando ela no pode ser escrita nessa forma, ela dita
irredutvel;
c) Uma representao totalmente redutvel a soma direta de
representaes irredutveis (estas podem aparecer vrias
vezes), isto :
D = a D( ) ,
E
P1
P2
P3
P4
P5
E
E
P1
P2
P3
P4
P5
P1
P1
E
P5
P4
P3
P2
P2
P2
P4
E
P5
P1
P3
P3
P3
P5
P4
E
P2
P1
P4
P4
P2
P3
P1
P5
E
P5
P5
P3
P1
P2
E
P4
ento:
D (P12 ) = D (E) = 1 D (P1 ) D (P1 ) = D 2 (P1 ) = D (P12 ) = 1 ,
ento:
D (P1) = 1.
Analogamente:
D (P2) = D (P3) = 1.
Por outro lado, temos:
P42 = P5 ; P43 = P42 P4 = P5P4 = E ,
P52 = P4 ; P53 = P52 P5 = P4 P5 = E ,
ento:
D(P43 ) = D ( P42 P4 ) = D (P42 ) D (P4 ) = D3 (P4 ) = D (E) = 1 ,
5
logo:
1 i
D (P4 ) = 3 1 = 1, t , t 2 , onde: t = +
2 2
3.
Analogamente:
D (P5 ) = D (P4 ) = 1, t, t 2 .
1 0
.
0 1
6
Por outro lado, temos (vide tabela de multiplicao):
P12 = P22 = P32 = E ,
ento:
D(2) ( Pi2 ) = D(2) (E) = I;
(i = 1,2,3).
Seja:
a b
D(2) (Pi ) =
,
c d
ento:
a b a b 1 0 a 2 + bc = 1 ; ab + bd = 0
c d c d 0 1 ac + cd = 0 ; bc + d 2 = 1.
Tomemos a equao:
ab + bd = 0 b (a+d) = 0 b = 0 (ou a = d).
Tomamos, no entanto, b = 0. Ento, sendo:
a2 + bc = 1 a2 =1 a = 1.
Por outro lado, temos:
ac + cd = 0 c (a+d) = 0 c = 0 (ou a = d).
Tomemos, no entanto, c = 0. Ento, sendo:
bc + d2 = 1 d2 = 1 d = 1.
7
Assim, podemos ter trs possibilidades para a representao D(2) (Pi):
1 0 1 0 1 0
;
;
.
0 1 0 1 0 1
-1 0
D(2) (P2 ) =
.
0 1
Se, no entanto, fizermos:
1
D(2) (P1 ) =
0
-1
-1
D(2) (P3 ) =
0
0
,
-1
D (P1) D (P3) =
0 1
1 0 1 0
=
= D (P2) D (P5).
0 1 0 1
0
1
D (P2) D (P3) =
Por fim:
1 0 1 0
=
= D (P1) D (P4).
0 1 0 1
8
D (P2) D (P1) = D (P2P1) = D (P5), pois P2P1 = P5.
Ora:
1 0
0
1
D (P2) D (P1) =
1 0 1 0
=
= D (P3) D (P5).
0 1 0 1
9
Assim, s nos resta uma de trs possibilidades:
-1 0
D (P2 ) =
ou D (P2 ) =
0 1
-1
D (P2 ) =
0
0
ou
-1
0
.
-1
1 0
.
0 1
Di-1j (P4 )
Portanto:
1
1 d
Cof D j i =
detD
(ad-bc) -c
-b a c
=
.
a b d
10
d
b
c
a
=a;
= c;
= b;
=d.
ad bc
ad bc
ad bc
ad bc
Tomemos:
d
a
d
=a e
=d
= d (ad bc) (ad bc) 2 =
ad bc
ad bc
ad bc
= 1 + (ad bc) = 1.
Se:
ad bc = +1 a = d e b = c.
Ou, se:
ad bc = 1 a = d e b = c.
Assim:
a b
D (P4 ) =
ou D (P4 ) =
-b a
b
.
-a
Escolhendo:
a b
D (P4 ) =
.
-b a
Sendo, ainda:
3
a b 1 0
2
2
D (P4) = I, ento:
=
, com a + b = 1,
-b a 0 1
3
11
vir:
3
a b a 3 -3b 2 a 3a 2 b-b3 1 0
=
= 3 2
.
3
2
-b a b -3a b a -3ab 0 1
Portanto:
3a2 b3 = 0,
b (3a2 b2) = 0 b = 0 ou 3a2 = b2.
A soluo b = 0 descartvel, seno a representao seria
redutvel. Tomemos, portanto, a segunda soluo:
3a2 = b2 = 1 a2 4a2 = 1 a =
1
.
2
1
1
3 = b 2 b =
3.
2
4
Finalmente, escolhendo b =
1
3 , teremos:
2
1 -1 - 3
D (P4 )=
.
2 3 -1
3
=1 ,
4
12
Sendo:
1 0
1 -1
D3 (P5 )=
, ento D (P5 )=
2 - 3
0 1
3
,
-1
1
3.
2
Anteriormente, vimos que D (P2) tem trs possibilidades.
Vamos escolher a seguinte:
j que tomamos b =
-1 0
D (P2 )=
.
0 1
Agora, vamos determinar as outras representaes restantes,
isto , D (P1) e D (P2). Sendo:
D (P1) D (P2) = D (P1P2) = D (P4), teremos:
a b -1 0
1 -1 - 3
1
1
a = ; b= 3;
2
2
2 + 3 -1
c d 0 1
c=
1
1
3 e d = , ento:
2
2
D (P1 ) =
1
2
1 - 3
.
- 3 -1
Por fim:
D (P2) D (P3) = D (P2P3) = D (P4), ento:
13
-1 0 a b 1 -1 - 3
1
1
3;
a= ; b=
2
2
0 1 c d 2 3 -1
c=
1
1
3 e d = - , ento:
2
2
1 1
D (P3 )=
2 3
3
.
-1
DB(1)
P1
P2
P3
P4
P5
D(2)
1 0
0 1
1 3
1
2 3 1
1 0
0 1
3
1 1
2 3 1
1 1 3
2 3 1
3
1 1
2 3 1
14
Exerccio 2.1.3 Encontre:
a) Os geradores do grupo S3;
b)
Uma
outra
representao
irredutvel e bi-dimensional de S3;
c)
Todas
as
representaes
irredutveis do grupo dado pela seguinte tabela de multiplicao:
E
A
B
C
E
E
A
B
C
A
A
E
C
B
B
B
C
E
A
C
C
B
A
E
------------------------------------------------------------------------------------Exemplo 2.1.2 Encontre uma representao tridimensional e regular para o grupo alternativo A3.
------------------------------------------------------------------------------------O grupo alternativo A3 formado por:
G1 = (123); G2 = (312); G3 = (231), de modo que fcil ver que:
G1G2 = G2; G1G3 = G3; G2G3 = G1; G12 = G1 ; G 22 = G 3 ; G 32 = G 2 .
Agora, usaremos a definio de representao regular,
isto :
1, se G n G j =G i
Dij(3) {G n }=
0, nos demais casos.
Portanto [vamos descarregar o ndice (3)]:
15
D11 (G1) = 1 ; D12 (G1) = 0 ; pois G1G2 G1,
D13 (G1) = 0 ; pois G1G3 G1,
D21 (G1) = 0 ; pois G1G1 G2; D22 (G1); = 1; pois G1G2 = G2,
D23 (G1) = 0; pois G1G3 G2; D31 (G1) = 0; pois G1G1 G3,
D32 (G1) = 0; pois G1G2 G3; D33 (G1) = 1; pois G1G3 = G3.
Logo [vamos carregar o ndice (3)]:
(3)
1 0 0
(G1 )= 0 1 0 .
0 0 1
(3)
0 0 1
0 1 0
(3)
(G 2 )= 1 0 0 e D (G 3 )= 0 0 1 .
0 1 0
1 0 0
S1 = 0 0 1 e S2 = 1 1 2 ;
0 1 0
2 0 1
16
d) Encontre a representao
regular para o grupo cclico {E, A, B, C}, onde B = A2 ; C = A3 ; E
= A4.
------------------------------------------------------------------------------------Exemplo 2.1.3 Mostre que o conjunto de operadores
lineares {OR} definido por:
r
r
r
r
O R (x) (Rx) ; onde x Rx ,
forma um grupo. Calcule, ento, suas representaes. (Esses operadores
so chamados de Operadores de Wigner.)
------------------------------------------------------------------------------------a) Vamos mostrar, inicialmente, que esse conjunto {OR}
forma um grupo.
I) Condio de fechamento
r
r
Seja: O R [ (x)] (Rx) , ento:
r
r
r
r
(O S O R ) (x) = O S [O R (x)] = O S (Rx) = [S (Rx)]
r
r
(O S O R ) (x) = [(SR) x].
Sendo SR = T, ento:
r
r
(OSO R ) (x) = (Tx) , logo:
17
ento:
(OSOR) OT = OS (OROT).
III) Elemento Unidade:
r
r
r
r
O E [ (x)] = (Ex) = (x) = E (x) ,
OE E.
IV) Elemento Inverso
r
r
r
r
r
r
O R 1 [O R (x)] = O R 1 [ (Rx)] = (R 1 Rx) = (Ex) = (x) = E (x) ,
ento:
O R 1 O R = E O R -1 [O R ]1 .
n
n
r n
r
= D j i (R) O S j (x) = D j i (R) D k j (S) k (x) =
j=1
j=1
k =1
n
n
r
r
= D j i (R) D k j (S) k (x) = D k j (S) D j i (R) k (x) =
j, k =1
k =1
n
r
= D (S) D (R) k i k (x).
k =1
18
Por outro lado, temos:
n
r
r
r
OSO R i (x) = OSR i (x) = D (SR) k i k (x) .
k =1
Assim:
n
n
r
r
[D (S) D (R)]k i k (x) = D (SR) k i k (x) .
k =1
k =1
Ento:
D (S) D (R) = D (SR).
------------------------------------------------------------------------------------Exemplo 2.1.4 Seja {R} = {R1, R2, R3, R4} o grupo de
rotaes do plano (xy) em torno do eixo dos z, atravs dos ngulos
r
0, 90, 180 e 270, no sentido anti-horrio. Seja {i (x)} o conjunto
dos Operadores de Wigner definido por:
O R1 (x, y) = [R 1 (x, y)] = (x, y) = 1 ,
O R 2 (x, y) = [R 2 (x, y)] = (y,-x) = 2 ,
O R 3 (x, y) = [R 3 (x, y)] = (-x,-y) = 3 ,
O R 4 (x, y) = [R 4 (x, y)] = (-y, x) = 4 .
Assim:
19
1 = D11 (R 1 ) 1 + D 2 1 (R 1 ) 2 + D3 1 (R 1 ) 3 + D 4 1 (R1 ) 4 .
Portanto:
D11 (R1 ) = 1 ; D 2 1 (R 1 ) = D3 1 (R1 ) = D 4 1 = 0 .
Portanto:
D2 2 (R1) = 1 ; D1 2 (R1) = D3 2 (R1) = D4 2 (R1) = 0.
Analogamente, demonstra-se que:
D3 3 (R1) = 1 ; D1 3 (R1) = D2 3 (R1) = D4 3 (R1) = 0.
D4 4 (R1) = 1 ; D1 4 (R1) = D2 4 (R1) = D3 4 (R1) = 0.
Assim [carregando o ndice (4)]:
D(4)
0
(R1 ) =
0
0 0 0
1 0 0
E.
0 1 0
0 0 1
O R 2 1 = D j i (R 2 ) j O R 2 (x, y) = (y,-x) = 2 .
j=1
20
Assim:
2 = D11 (R 2 ) 1 + D 21 (R 2 ) 2 + D31 (R 2 ) 3 + D 41 (R 2 ) 4 .
Portanto:
D11 (R 2 ) = D3 1 (R 2 ) = D 4 1 (R 2 ) = 0 ; D 2 1 (R 2 ) = 1 .
O R 2 2 = D j 2 (R 2 ) j O R 2 (y,-x) = (-x,-y) = 3 .
j=1
Assim:
3 = D12 (R 2 ) 1 + D 22 (R 2 ) 2 + D 32 (R 2 ) 3 + D 42 (R 2 ) 4 .
Portanto:
D3 2 (R2) = 1 ; D1 2 (R2) = D2 2 (R2) = D4 2 (R2) = 0.
Analogamente, demonstra-se que, sendo:
4
O R 2 3 = O R 2 (-x,-y) = 4 = D j 3 (R 2 ) j
j=1
e
4
O R 2 4 = O R 2 (-y, x) = ( x , y) = 1 = D j 4 (R 2 ) j
j=1
ento:
D4 3 (R2) = 1 ; D1 3 (R2) = D2 3 (R2) = D3 3 (R2) = 0,
D1 4 (R2) = 1 ; D2 4 (R2) = D3 4 (R2) = D4 4 (R2) = 0.
Portanto [carregando o ndice (4)]:
21
D(4)
1
(R 2 )=
0
0 0 1
0 0 0
.
1 0 0
0 1 0
22
[A D (R)]+ = [D (R) A]+
D+ (R) A+ = A+ D+ (R).
Pelo Teorema 2.2.1, D (R) unitria, ento:
D+ (R) = D-1 (R).
Portanto:
D1 (R) A+ = A+ D1 (R).
Por outro lado, segundo a Definio 2.1.1.b, temos:
D1 (R) = D (R1).
Chamando R1 = S, vir:
D (S) A+ = A+ D (S).
Assim, T G, teremos:
D (T) A = A D (T),
D (T) A+ = A+ D (T).
Da teoria das matrizes sabe-se que toda matriz pode ser
sempre decomposta em duas matrizes Hermitianas, isto :
A = A + + iA - , onde:
A+ =
Portanto:
1
1
A + A + = A ++ ; A = (A A + ) = A + .
2
i
2
23
D (T) A + = D (T) 1 (A + A + ) = 1 D (T) A + 1 D (T) A + = 1 A D (T) +
2
2
2
2
+ 1 A + D (T) = 1 (A + A + ) D (T) D (T) A + = A + D (T).
2
2
ou seja:
D (R) H D = H D D (R).
24
Tomando-se H D = { i j i j} , vir:
D i j ( R ) j j = ii D i j (R) D i j (R) ( i i j j ) = 0 .
Se: i i jj , D i j (R)=0, R G.
Ento, D (R) redutvel o que contraria a hiptese do teorema.
Assim:
A + = + E e A = E .
Portanto:
A = A + +iA = + E +i E = ( + +i ) E
A=E
C.Q.D.
ento:
a) Se m = n, logo A = 0 ou no-singular (det A 0), e neste caso
D (R) e D' (R) so representaes equivalentes;
b) Se m n, logo A uma matriz nula.
Demonstrao:
Por hiptese, temos que:
D (R) A = A D' (R) ,
ou:
A + D + ( R ) = D' + (R) A + .
25
Sendo D+ (R) uma matriz unitria (Teorema 2.2.1), temos:
Portanto, T G, temos:
D (T) A = A D' (T)
(multiplicando por A)
26
a.II) Se = 0, ento A A+ = 0 A ik A +kj = 0,
k
ou A ik A* jk = 0.
k
A ik
k
= 0 A ik = 0 , i, k .
A = a 21 a 22 ... a 2m e B = a 21 a 22 ... a 2m
a
a
n1 a n 2 ... a nm
n1 a n 2 ... a nm
0...0
0...0 .
0...0
fcil ver que: AA+ BB+. Ento, sendo AA+ = E detA detA+ =
det B detB+ = 0, pois det B = 0, ento:
det A det A+ = = 0 = 0
A=0
C.Q.D.
()
g
ij em ,
n
()
27
onde n representa a dimensionalidade da representao.
Demonstrao:
Como podemos multiplicar matrizes quadradas de ordens
diferentes, vamos, portanto, construir a seguinte matriz:
A = D()(R) B D+()(R) ,
R
sendo:
D()(S1) . D()(S) = D()(S1S) = D()(E) = E ,
logo:
D()(S) A = D()(S) D()(R) B D()(R1)D()(S1)D()(S) .
R
28
Ora,
R1 S1 = (SR)1, ento:
D()(S) A = D()(SR) B D() [(SR)1] D() (S).
R
Portanto:
29
D ij( ) (R ) D l+m( ) (R ) = 0 .
R
b) Se
j,l
R i =1
i =1
( )
+ ( )
D ij (R ) D li (R ) =
ii = n .
R i =1
R i =1
( )
+ ( )
( )
1( )
D ij (R ) D li (R ) = D ij ( R )D li (R ) =
n
R i =1
R i =1
[D
()
(R1R)]j =
= D() (E)j = gj .
R
Assim:
n = g j =
g
lj ,
n
30
e
g
lj im .
n
D ij( ) (R ) D l+m( ) ( R ) =
R
g
j im .
n
2.2.1 Interpretao
Ortogonalidade
Geomtrica
C.Q.D.
do
Teorema
da
onde essa soma se estende a todas as representaes irredutveis noequivalentes. Ora, na teoria dos espaos vetoriais demonstra-se que o
nmero de vetores ortogonais no excede a dimenso do espao,
ento:
31
N
2
n g.
=1
=1 i , j=1
n
D ij( ) ( R )
g
n *( )
D ij (R ' ) = RR ' .
g
32
------------------------------------------------------------------------------------Usando-se a Definio 2.3.1 e o resultado do Exemplo 2.1.1,
fcil construir a seguinte tabela de caracteres do grupo S3.
CLASSE
C1
3C2
2C3
X(1)
1
1
1
X(2)
1
1
+1
X(3)
2
0
1
ELEMENTOS
E
P1, P2, P3,
P4, P5
g
im j .
n
( )
D ii ( R ) D + ll ( R ) =
R i
g
.
n i l il
Sendo:
g
2
(i) .
n
i,l
33
2
(i) = n , teremos:
i,l
X ( ) ( R ) X + ( ) (R ) = g .
R
Porm:
X+() (R) = X*() (R) , logo:
X ( ) (R ) X*( ) (R ) = g .
R
X ( ) ( C k ) X *( ) ( C k ) c k = g =
k =1
.
S
ck
k =1
X ( ) (C k )
ck
g
C.Q.D.
X *( ) (C k ) =
da
34
a) n 2 = g ,
b) N = S, isto , o nmero de representaes irredutveis do
grupo igual ao nmero de classes.
Demonstrao:
Parte a:
Segundo a Definio 2.1.4.c, temos:
D (R) = a D ( ) (R ) .
X *(j ) (C k ) c k
, e somando-se em k, teremos:
X j (C k ) X j*( ) (C k ) c k = a X j
k
()
(C k ) X j*( ) (C k ) c k
a =
1
1
X j (C k ) X j*( ) (C k ) c k =
X (R ) X*() (R ) .
g k
g R
35
Para demonstrar o proposto no item a) do Teorema em
questo, vamos considerar as representaes regulares do grupo, sem,
contudo, com isso, perdermos a generalidade. As representaes
regulares so definidas por:
1, se G G j = G i ,
D ij( reg) (G ) =
0, nos demais casos.
a =
=
1
g
X(R) X
*()
1
g
(R) =
(reg)
1
g X*() (E) a = n
g
Por outro lado, temos:
Xj (R) = a Xj()(R) ,
ento:
N
36
Porm: a = n e Xj(reg)(R) = g, se R = E, logo:
N
=1
=1
g = a Xj()(E) = a n ,
N
g = n2 .
C.Q.D.
=1
X (C)
=1
c l X *( ) ( C k )
c k = g kl
ou:
c l ( )
X (C l )
g
c k *( )
X
(C k ) = kl ,
g
37
N
g = n 2 ,
n =1
logo: 6 = 12 + 12 + 22,
2
2
3
.
3
1 0 0
D (E) = 0 1 0 ,
0 0 1
1 2 3
b) Elemento P1 =
.
2 1 3
D E F b = a ,
G H I c c
Aa + Bb + Cc = b
A = C = 0; B = D = 1 = 1;
Da + Eb + Fc = a
E = F = G = H = 0.
Ga + Hb + Ic = c
ento:
38
0 1 0
D (P1 )= 1 0 0 .
0 0 1
1 2 3
c) Elemento P2 =
.
1 3 2
D (P2 ) b = c 0 0 1 b = c ,
c b
0 1 0 c b
ento:
1 0 0
D (P2 ) = 0 0 1 .
0 1 0
1 2 3
d) Elemento P3 =
.
3 2 1
D (P3 ) b = b 0 1 0 b = b , ento:
c a
1 0 0 c a
0 0 1
D (P3 ) = 0 1 0 .
1 0 0
39
1 2 3
e) Elemento P4 =
.
3 1 2
D (P4 ) b = a 1 0 0 b = a D (P4 ) = 1 0 0 .
c b
0 1 0 c b
0 1 0
1 2 3
f) Elemento P5 =
.
2 3 1
D (P5 ) b = c 0 0 1 b = c D (P5 ) = 0 0 1 .
c a
1 0 0 c a
1 0 0
ELEMENTOS
E
P1, P2, P3
P4, P5
ou:
a =
1
X j (C K )X j*( ) (Ck ) ck .
g k
X
3
1
0
40
Portanto:
1
a1 = [X (C1 )X*(1) (C1 ) c1 + X (C 2 )X*(1) (C 2 ) c2 + X (C3 )X*(1) (C3 ) c3 ] =
6
1
= [3 1 1 + 1 1 3 + 0 1 2] = 1,
6
1
a 2 = [X (C1 )X*(2) (C1 ) c1 + X (C2 )X*(2) (C 2 ) c 2 + X (C3 )X*(2) (C3 ) c3 ] =
6
1
= [3 1 1 + 1 (1) 3 + 0 1 2] = 0,
6
1
a 3 = [X (C1 )X*(3) (C1 ) c1 + X (C 2 )X*(3) (C2 ) c 2 + X (C3 )X*(3) (C3 ) c3 ] =
6
1
= [3 2 1 + 1 0 3 + 0 (-1) 2] = 1.
6
Portanto:
D = D1(1) D(23) .
.
41
S
X ( ) (C k ) X *( ) (C k ) c k = g ,
(Teorema 2.3.1)
k =1
cl ( )
c
X (Cl ) k X *( ) (Ck ) = k l .
g
g
=1
(Exerccio 2.3.1.b)
X(1)
1
1
1
X(2)
1
-1
1
X(3)
2
0
-1
a) Relaes de Ortogonalidade
X (1) (C1 )X*(1) (C1 ) c1 + X (1) (C2 )X*(1) (C 2 ) c 2 +X (1) (C3 )X*(1) (C3 ) c3 =
= 1 1 1 + 1 1 3 + 1 1 2 = 6 = g 1 1 = g,
X (1) (C1 )X*(2) (C1 ) c1 + X (1) (C2 )X*(2) (C 2 ) c 2 +X (1) (C3 )X*(2) (C3 ) c3 =
= 1 1 1 + 1 (1) 3 + 1 1 2 = 1-3 + 2 = 0 = g 1 2 = 0,
X (1) (C1 )X*(3) (C1 ) c1 + X (1) (C2 )X*(3) (C 2 ) c 2 +X (1) (C3 )X*(3) (C3 ) c3 =
= 1 2 1 + 1 0 3 + 1 (-1) 2 = 2 + 0 2 = 0 = g 1 3 = 0.
Como:
X ( ) (Ck ) = X*( ) (C k ) , portanto, as demais relaes de
ortogonalidade so idnticas a essas demonstradas acima.
42
b) Relaes de Completeza
c1 (1)
X (C1 )
g
c1 (3)
X (C1 )
g
c1 (1)
X (C1 )
g
c1 *(1)
X (C1 ) +
g
c1 (3)
X (C1 )
g
1
2 +
6
c1 *(2)
X (C1 ) +
g
c1 *(3)
111 111 221
X (C1 ) =
+
+
=1 = 1 1 =1,
g
6
6
6
c 2 *(1)
X (C2 ) +
g
c1 (2)
X (C1 )
g
c1 (2)
X (C1 )
g
c2 *(3)
1
X (C 2 ) =
1
g
6
c 2 *(2)
X (C2 ) +
g
3
1 +
6
1
1
6
3
(-1) +
6
3
3 3
0=
= 0 = 1 2 ,
6
6 6
c3 *(1)
X (C3 ) +
g
c1 (1)
X (C1 )
g
c1 (3)
X (C1 )
g
2
1 +
6
c1 (2)
X (C1 )
g
c3 *(3)
1
X (C3 ) =
(+1)
g
6
1
2
6
c3 *(2)
X (C3 ) +
g
2
1 +
6
1
1
6
2
2
2 2 2
+
= 0 = 1 3 ,
(-1) =
6
6
6
6
43
c 2 (1)
X (C2 )
g
c 2 (3)
X (C2 )
g
2
1 +
6
c3 *(1)
X (C3 ) +
g
3
(-1)
6
2
6 6
+ 0 = 0 =2 3 ,
m (-1)=
6
6 6
c2 *(1)
X (C2 ) +
g
c2 (3)
X (C2 )
g
c2 *(3)
X (C2 ) =
g
3
( 1) +
6
3
0
6
c3 (1)
X (C3 )
g
c3 *(2)
X (C3 ) +
g
c3 *(3)
3
2
X (C3 ) =
(+1)
(+1) +
g
6
6
3
0
6
c2 (1)
X (C2 )
g
c 2 (2)
X (C2 )
g
c2 (2)
X (C 2 )
g
3
1
6
c2 *(2)
X (C2 ) +
g
3
1 +
6
3
(1)
6
3
3 3
0 = + = 1 = 2 2 ,
6
6 6
c3 *(1)
X (C3 ) +
g
c3 (2)
X (C3 )
g
c3 *(2)
X (C3 ) +
g
44
+
c3 (3)
X (C3 )
g
2
(-1)
6
c3 *(3)
2
X (C3 ) =
1
g
6
2
1 +
6
2
1
6
2
1 +
6
2
2 2 2
(-1) = + + = 1 = 3 3 .
6
6 6 6
Como:
X ( ) (Ck ) = X*( ) (C k ) , portanto, as demais relaes de
completeza so idnticas a essas demonstradas acima.
------------------------------------------------------------------------------------Exerccio 2.3.3 Verifique as relaes de ortogonalidade e
de completeza para as representaes irredutveis do grupo S3.
------------------------------------------------------------------------------------Exemplo 2.3.4 Construa a tabela de carteres do grupo
alternativo A4.
------------------------------------------------------------------------------------Primeiro, vamos construir os elementos do grupo A4, que
formado pelas permutaes pares de 4 elementos. O nmero ( N ) de
elementos desse grupo dado por:
N=
n! 4!
=
=12 ,
2
2
assim constitudos:
1 2 3 4
1 2 3 4
1 2 3 4
I=
; A =
; B=
;
1 2 3 4
2 1 4 3
3 4 1 2
1 2 3 4
1 2 3 4
1 2 3 4
C=
; D=
; E =
;
4
3
2
1
1
3
4
2
1 4 2 3
45
1 2 3 4
1 2 3 4
1 2 3 4
F=
; G =
; H =
;
2
4
3
1
2
3
1
4
3 2 4 1
1 2 3 4
1 2 3 4
1 2 3 4
J=
; K =
; L =
.
3 1 2 4
4 2 1 3
4 1 3 2
n 2 = g = 12 ,
=1
46
n1 = n2 = n3 = 1 e n4 = 3.
Portanto, existem trs representaes irredutveis de
dimenso 1 e uma de dimenso 3. Como C1 = {I}, ento:
X(1) (C1) = X(2) (C1) = X(3) (C1) = 1 e X(4) C1 = 3.
Por outro lado, existe uma representao trivial
representada pelo nmero 1 para qualquer grupo, ento X (1) = 1,
para todo C i (i = 1,2,3,4). Assim, os primeiros carteres do grupo A4
so apresentados na tabela abaixo:
CLASSE
C1
3C2
4C3
4C4
X(1)
1
1
1
1
X(2)
1
X(3)
1
X(4)
3
47
1m 0
0 ... 0 1
0
0 ... 0
1
0 ... 0
2m
... 0 0
0
...............................
= ...................... .
m
0
0
0 ... 1
0
... n 0
X(g) = Tr D(g) = k .
k =1
1 2 3 4 1 2 3 4 1 2 3 4
=
= I ,
2 1 4 3 2 1 4 3 1 2 3 4
= A2 = AA =
1 2 3 4 1 2 3 4 1 2 3 4
=
= I ,
3 4 1 2 3 4 1 2 1 2 3 4
B2 = BB =
1 2 3 4 1 2 3 4 1 2 3 4
=
= I ,
4 3 1 2 4 3 2 1 1 2 3 4
C2 = CC =
ento, a ordem de C2 2.
48
De maneira anloga, mostra-se que C3 e C4 so ambas de
ordem 3. Tais ordens permitem que se escreva as seguintes
expresses:
X
(2)
1 = 1 ou 1 ,
k=1
()
()
(Ck) X*
(Ck) ck = g .
Ento:
49
3X(2) (C2) = 4 ( + 2) 1 = 4 (
1
3 1
3
+i
i
) 1 = 3,
2
2
2
2
111 + X
(C2) 13 + 14 + 2 14 = 0.
CLASSE
C1
3C2
4C3
4C4
X(1)
1
1
1
1
X(2)
1
1
X(3)
1
1
2
X(4)
3
Resta, por fim, determinar X(4) (C2), X(4) (C3) e X(4) (C4),
os quais chamaremos, respectivamente, X, Y e Z. Assim, usando-se a
condio de ortogonalidade entre os caracteres (Teorema 2.3.1), vir:
50
(4)
(1)
(1)
(C1) X*
(1)
+ X(4) (C3) . X*
(C2) c2 +
(1)
(C4) c4 = g 41 = 0,
(C1) X*
(2)
()
(2)
(2)
+X(4) (C3) . X*
(C2) c2 +
(2)
(C4) c4 = g 42 = 0,
311 + X13 + Y * 4 + Z( )* 4 = 0.
Sendo: * = [exp(2i/3)]* = exp(2i/3) = cos 120 i sen 120 =
=
e
1
3
2
i
= ,
2
2
1
3
+i
= .
2
2
Assim:
2
3 + 3X + 4Y + 4Z = 0 .
(4)
(C1) X*
(3)
(3)
(3)
+ X(4) (C3) X*
()
(C2) c2 +
(3)
(C4) c4 = g 43 = 0 ,
51
2
3 + 3X + 4Y + 4 Z = 0 .
()
CLASSE
(1)
(2)
(3)
(4)
C1
3C2
4C3
4C4
52
------------------------------------------------------------------------------------Exemplo 2.4.1 Efetue o Produto Direto entre as matrizes
A(2x3) e B(3x2).
-------------------------------------------------------------------------------------
AB=
a 11 a12 a13
a 21 a 22 a 23
a 11b11 a 11b12
b11 b12
x b 21 b 22 =
a 12 b11 a 12 b12
b 31 b 32
a 13 b11 a 13 b12
a 11b 21 a 11b 22 a 12 b 21 a 12 b 22 a 13 b 21 a 13 b 22
a 11b 31 a 11b 32 a 12 b 31 a 12 b 32 a 13 b 31 a 13 b 32
a 21b11 a 21b12 a 22 b11 a 22 b12 a 23 b11 a 23 b12
a 21b 21 a 21b 22 a 22 b 21 a 22 b 21 a 23 b 21 a 23 b 22
a 21b 31 a 21b 32 a 22 b 31 a 22 b 32 a 23 b 31 a 23 b 32
53
------------------------------------------------------------------------------------Exerccio 2.4.1 Demonstre que:
a) O produto direto associativo, isto :
A (B C) = (A B) C ;
b) O produto direto no comutativo, isto :
A B B A.
------------------------------------------------------------------------------------Teorema 2.4.1 Sejam A1 e A2 duas matrizes (mm) e B1 e
B2 duas matrizes (nn), ento:
(A1 B1) . (A2 B2) = (A1 . A2) (B1 . B2) .
Demonstrao:
Partamos da definio de produto usual de matrizes:
Assim:
(A1 B1)jp,
(A2 B2) , kq =
(Definio2.4.1)
C.Q.D.
(A B) (A 1 B1 ) = (AA1 ) (BB1 ) = E m E n E mn
(E Matriz Unitria).
Portanto, (A B) tambm regular e sua inversa dada por:
54
(A B)1 = A 1 B1.
------------------------------------------------------------------------------------Exerccio 2.4.2
a) Verifique que:
(A B)+ = A + B+ ;
b) Partindo do resultado anterior, demonstre que se U e V
so matrizes unitrias, ento U V tambm unitria.
e
D ( ) (RS) = D( ) (R ) D( ) (S) .
ento:
D ( x ) ( R ) . D ( x ) (S) = D ( ) ( R ) D ( ) ( R ) . D ( ) (S) D ( ) (S) =
55
= D ( ) ( R ) D ( ) (S) D ( ) ( R ) D ( ) (S) = (Teorema 2.4.1)
= D ( ) ( RS) D ( ) ( RS) .
(Definio 2.1.1)
Assim:
D ( x ) (R ) . D ( x ) (S)= D ( x ) (RS ) .
C.Q.D.
------------------------------------------------------------------------------------Exerccio 2.4.3
Demonstre que:
a) D( ) ( R ) D( ) ( R ) = D( ) ( R ) D( ) ( R ) ;
Demonstrao:
Seja:
D(
x )
(R)
= D(
(R)
D( ) ( R ) .
Ento :
[D ( x ) (R )] jp,kq =[D ( ) (R )] jk [D ( ) (R )] pq .
56
Portanto:
D
j,p
( x )
( R )
jp, jp
= D( ) ( R ) D ( ) ( R ) ,
jj
pp
X ( x ) (R )= X ( ) (R ) . X ( ) (R ) .
C.Q.D.
O R = D (R ) ,
=1
57
b) Um operador H dito invariante pela transformao
OR, se e somente se:
[H, OR ] = 0 .
Teorema 2.5.1 Seja H invariante por um grupo de
transformaes, isto ,: [H, OR ] = 0. Se forem os auto-valores de
H e suas auto-funes, ou seja: H = , ento base para a
representao do grupo de simetria associado.
Demonstrao:
[H,O R ] = 0 [H O R O R H ] = 0
(H O R ) = (O R H )
H (O R )= O R (H )=
n
= O R ( )= (O R ) = D (R ) .
C.Q.D.
=1
x i '= D ij
j=1
Demonstre que:
( )
(R ) x j
e y k '= D kl
l=1
( )
(R ) y l .
58
( x ) (R ) x y .
x i ' y k ' = Dik
j l
, jl
j, l
e2
e2
=
r
x 2 + y2 + z 2
ou
h2 2
2
2
e2
= E .
+
+
2m x 2 y 2 z 2 x 2 + y 2 + z 2 1 / 2
[H, O R ] = 0 ,
logo:
H (O R ) = E (O R ) .
59
2
H = E , onde: H = H1 + H 2 = h
2m
e2
x 2 + y 2 + z 2
.
2
Seja:
H1 1 = E1 1 e H 2 2 = E 2 2 , ento:
H = (H1 + H 2 ) .
Tomando: = 1 2 , ento:
H = (H1 + H 2 ) = (H1 + H 2 )1 2 = H11 2 + H 2 1 2 =
= E11 2 + E 2 1 2 = (E1 + E 2 )1 2 = (H1 + H 2 ) = E .
Assim:
E = E1 + E 2 .
2
2
2
2
2
Como H1 = h h 2 + 2 + 2 ,
2m
2 m x
y
z
e
e2
H2 =
1
x 2 + y2 + z2 2
[H1, O R ] = 0
[H 2 , O R ] = 0 .
60
Portanto, se o D j 1 e D j 2 so representaes do grupo de
rotao relativo H1 e H2, respectivamente, ento:
D (j1 x 2 ) = D j 1 D j 2 ,
1
*( )
X j (R ) X j (R ) . (Teorema 2.3.2.b)
g R
e
X ( ) (R ) X ( ) (R ) = X ( x ) (R ) .
Portanto:
D ( ) (R ) D( ) (R ) = a D( ) (R ) ,
com:
a ( ) =
1
X ( ) (R ) X ( ) (R ) X*( ) (R ) ,
g R
61
srie essa que se denomina Srie de Clebsch-Gordan.
------------------------------------------------------------------------------------Exerccio 2.6.1 Mostre que:
a) ( ) = ( ) ;
b) Se X (R ) = X* (R ) R ; ento
simtrico;
( )
totalmente
62
b) < ' ' ' s' | j ; l > < j ; l | s > = ' ' ' ss' ;
j, l
d.3)
'
'
, ,s
( ) (R ) ;
( )
, ,s ',s
'
' '
ss ' ;
< i ; k | s '>
ss ' ;
63
( ) <
D s 's
s | j ; l > .
-------------------------------------------------------------------------------------
CAPTULO 3
Grupos e lgebras de Lie1
3.1 Grupos de Lie
No Captulo 2 vimos que um grupo cujos elementos so
caracterizados por um certo nmero de parmetros contnuos,
chama-se de grupo contnuo (vide Definio 2.1.4).
Por exemplo:
g(a) = eia ,
onde a um parmetro real cujo intervalo de variao 0 a
2, pois exp(2ni) = 1, com n inteiro ou nulo, um elemento de
um grupo.
-----------------------------------------------------------------------------Exerccio 3.1.1 Mostre que o conjunto de elementos do
tipo g(a) visto acima forma um grupo.
-----------------------------------------------------------------------------Definio 3.1.1 Um grupo denominado de grupo
contnuo de r-parmetros quando todos os
seus elementos dependem de um parmetro
real a , onde = 1,2,...,r. Esse grupo
denotado por:
g(a1, a2,...,ar) g(a).
Os elementos identidade e inverso desse
grupo so definidos da seguinte maneira:
1
Esta parte deste Captulo foi ministrado pelo professor Jos Maria Filardo Bassalo
no Curso de Extenso, realizado em 1985, na UFPA, sobre Teoria de Grupo.
92
II) Elemento Identidade
g(ao) g(0), onde ao (a1o, a1o, ..., aro),
de tal modo que:
g(ao)g(a) = g(a)g(ao) = g(a).
II) Elemento Inverso
1
g(a) [g(a)] ,
93
I) Dado
x i = f (x;a) , a tal que:
x i = f ( x , a ) = f [f(x;a; a )] = x,
ou seja, a transformao invertvel.
II) Se fizermos duas transformaes sucessivas:
xi = fi (x;a) e x i = fi ( x ;b) ,
ento:
x i = fi (x;c) , com c = (a;b),
onde analtica em a e b, e a tambm funo analtica de a.
III) Existe ao, tal que:
xi = f (x; ao) = x .
-----------------------------------------------------------------------------Exerccio 3.1.2 Mostre que:
f [f(x;a);b] = f [x; (a;b)] .
-----------------------------------------------------------------------------3.2 Exemplos de Grupos de Lie
a) Grupo Ortogonal de Dimenso n: 0(n)
a.1) Consideremos, inicialmente, o grupo 0(2).
Esse grupo deixa invariante a quantidade real x2 + y2 em um
espao real bi-dimensional. Ento:
x = 0(2) x.
94
x a b x
a b a c 1 0
=
, com :
=
y c d y
c d b d 0 1
a 2 + b 2 =1
ac+ bd = 0
2
2
1
0
a + b ac+ bd
2
2
ac+ bd b + d 0 1
ac+ bd = 0
c 2 + d 2 =1.
95
modo que o grupo 0(3) ser um grupo de 3-parmetros, pois 9-6
= 3.
Se, contudo, esse grupo s contm rotaes, sem
reflexes espaciais, ele denotado por 0+ (3) R (3).
a.3) De um modo geral, o grupo 0(n) deixa invariante a
n
do
grupo,
n(n 1)
condies aos n2
2
este
ficar
apenas
com
n(n 1) n(n 1)
=
n 2 n +
parmetros essenciais.
2
2
96
o que fornece as seguintes equaes:
a a* + b b* = 1; a c* + b d* = 0; a*c + b*d = 0; c c* + d d* = 1.
V-se, portanto, que os oito elementos do grupo
[(a,b,c,d) so complexos do tipo: R + i I, logo 4x2 = 8], esto
sujeitos a quatro relaes algbricas, de modo que o grupo U(2)
um grupo de 4-parmetros reais (8 4 = 4).
b.2) Consideremos o grupo U(n). Tal grupo deixa
invariante o produto escalar (x,x) em um espao complexo ndimensional. Com a condio de unitariamente desse grupo
fornece n2 relaes algbricas aos 2n2 elementos do mesmo,
ento o grupo U(n) um grupo de n2-parmetros reais (2n2 n2
= n2).
c) Grupo Unitrio Especial ou Unimodular de
Dimenso n: SU(n)
Esse grupo tem, alm da condio de unitariedade, a
condio adicional de que o seu determinante vale +1, ou seja:
UU+ = E; det U = +1.
Assim, o grupo S U(n) tem n2 1 parmetros reais.
d) Grupo Linear de Dimenso n: GL(n)
Esse grupo caracterizado por:
x i = aijxj ; i, j = 1,2,...,n; det aij 0.
j
97
e) Grupo Linear Especial ou Unimodular de
Dimenso n: SL(n)
Esse grupo idntico ao grupo GL(n), com a condio
adicional de que o seu determinante vale +1, condio essa que
faz com que o tal grupo seja caracterizado por n21 parmetros.
f) Grupo Ortogonal Complexo de 4 Dimenses: M(4)
As matrizes complexas 4x4 desse grupo tm 32 (16x2)
elementos reais, e a condio de ortogonalidade M MT = E,
impe aos mesmos 20 (2x10) relaes algbricas, de modo que
esse grupo passa a ter 12-parmetros reais.
Vejamos alguns casos particulares desse grupo:
f.1) O grupo M+(4) aquele para o qual as matrizes do
grupo M(4) tm determinante +1;
f.2) O grupo M(4) caracterizado pela matriz {ij}, de
tal modo que se tem:
ij (real), para i, j = 1,2,3
44 (real),
98
chamado de Transformao Prpria de Lorentz: Lp(v).
-----------------------------------------------------------------------------Exerccio 3.2.2
I I. Encontre as 20 relaes algbricas satisfeitas pelos
elementos de M(4).
II. Escreva a transformao prpria de Lorentz da
Relatividade.
-----------------------------------------------------------------------------g) Grupo Complexo Especial ou Unimodular de 2
Dimenses: C(2)
As matrizes 2x2 complexas desse grupo C(2) satisfazem
relao:
det C(2) = +1,
portanto, esse grupo ter 6-parmetros reais [(821) = 6].
Observao: Entre os grupos que acabamos de relacionar,
existem os seguintes Homeomorfismos:
O+ (3) S U(2);
O+ (4) S U(2) S U' (2);
M+ (4) C (2) C' (2);
Lp (v) C (2) .
99
A importncia de tais Homeomorfismos reside no fato
de que; encontradas as representaes irredutveis de S U(2) e C
(2), podemos construir as representaes dos demais grupos.
3.3 Transformaes Infinitesimais e Parmetros de
Grupos
Definio 3.3.1 Seja a transformao:
x i = fi (x1, x2,..., xn; a1, a2, ..., ar)
(i = 1,2,...,n)
Se:
x i = x i + d x i
x i = fi ( x1 , x 2 ,..., x n ; a1, a2, ..., ar) ,
onde:
r
dx i = M ik (x') a k
k =1
e
M ik ( x ')=
f i ( x i ';a )
a k
,
a =0
ento:
fi dita infinitesimal.
Alm disso, temos:
a + da = (a1, a2, ..., ar; a1, a2, ..., ar),
ento:
r
da l = lm (a) a m ,
m=1
onde:
100
lm =
l (a ,b )
bm
.
b =0
a k = kl (a) da l , onde : = ,
l =1
ento:
r
dx i = M ik (x') kl (a) da l ,
k,l =1
ou:
x i
=
a i
ik
(x') kl (a).
k =1
dF =
i =1
F
dx i .
x i
dF =
i =1
F n
r
M il (x) a l = a l M il (x)
x i l =1
x i
l =1
x =1
ou:
r
dF = a l x l F ,
l =1
F ,
101
onde:
n
x l = M il (x) ,
x i
i=1
(l =1, 2,..., r ) ,
F' = F + dF = F + a l x l F ,
l=1
F' = 1 + x l a l F .
l
1
=
102
y' = x + y = f2 (x,y;) .
Portanto:
M il ( x , y ) =
f i ( x , y; )
.
f1
f
= y , M21 (x,y) = 2 = x .
Portanto:
2
X1 = M i1 (x, y) ,
x i
i=1
X1 = M11 + M12 ,
x 1
x 2
X1 = y
x
x
y
.
Sendo:
r
dF = X a F , portanto:
l =1
Ora:
dx = (y
x ) x = y ,
x
y
dy = (y
x ) y = x .
x
y
103
dx = x' x = y
dy = y' y = x ,
o que concorda com o resultado anterior.
3.4 Constantes de Estrutura
Teorema 3.4.1 Os geradores infinitesimais {X} de
qualquer Grupo de Lie, satisfazem s relaes:
[X , X ] = C
X , (, = 1,2,...,r),
onde C
so chamadas as Constantes de Estrutura do Grupo
de Lie.
Demonstrao:
Segundo a Definio 3.3.1, temos:
xi = fi (x1, x2, ..., xn; a1,a2,....,ar),
e
r
x i
= Mik (x) k (a) Mik k .
a l k =1
f i (x i ; a)
a k
ak = k (a) a ,
da = m (a) am ,
com:
,
a =0
104
= I, ou seja: (a) (a) = ; a e , = 1,2,....
.
As condies de continuidade da funo fi requerem que:
2 xi
a l a m
2 xi
a m a l
()
Seja:
x r
= yrs (a1,a2,...,am ; x1,x2,...,xn),
a s
()
onde:
r = 1,2,,n ; s = 1,2,,m .
Assim:
dYrs =
Yrs
Y
da + rs dx .
a
x
Portanto:
2xi
x i
Yim a Yim x
=
= Yim =
+
.
a l a m a l a m a l
a a l x a l
Ora:
a
= l , ento:
al
2x i
Yim
Y x Yim Yim x
=
l + im
=
+
,
a la m
a
x a l
a l
x a l
2xi
a l a m
Yim
a l
Yim
x
Yl [Usando-se () ]
()
105
Por outro lado, temos:
2x i
x i
Y a Yil x
=
=
Yil = il
+
=
a ma l a m a l a m
a a m x a m
Yil
Y x Yil Yil
m + il
=
+
Ym ,
x
x a m a m
x
isto :
2xi
a m a l
Yil
a m
Yil
x
Ym .
()
Sendo:
x i
Yim = M ik ( x ) km (a ) .
a m
( )
106
M ik km + ( km M ik ) M r rl =
a l
x
= M i
l
a m
+ ( l M i ) M s sm ,
x
ou:
M ik
km
a l
M i
l
a m
+ M r rl km
M ik
x
M s sm l
M i
x
= 0.
km
a l
kl
a m
) + M r rl km
M ik
x
M s sm kl
M ik
x
= 0.
M ik
a
a m
l
ou :
+ M M ik M M i = 0,
r rl km
k km rl
x
x
kl
km
M ik
al
a m
+ M M ik M M ir
k
rl km r x
x
= 0.
()
km
a l
kl
a m
) m l .
( )
107
kl
km
M ik
a
a m
l
M k
+
m l m rl km
M ik
M r x
M ir
=0 .
x
Sendo:
r l l = r e km m = k ,
teremos:
Mik Ck + r k (Mr
M
M ik
M ir
M k
) = 0,
x
x
M i
M i
M
=C k ( a ) M ik ( x ) .
x
x
( )
M ik =0 .
k (a) CONSTANTES!!
C k (a) = 0 C
a
k
Essas constantes C
(a) so chamadas de Constantes
de Estrutura do Grupo de Lie.
108
(l =1, 2, ..., r ).
= M il
(M jm
) M jm
(M il
)=
x i
x j
x j
x i
M jm
x i
M il
M jm
.
x j
x j x i
M jm
x i
= M il
M jm
x i
M im
M jl
Mim
=
x j
x i x j
M jl
= Clkm M jk
,
x i x j
x j
ou:
[X l , X m ] = C lkm X k
C.Q.D.
109
C C
+ C C
+ C C
= 0,
com: , , , = 1, 2, ..., r.
Demonstrao:
Sejam X , X, X os geradores de um grupo. Pela
Identidade de Jacobi, temos:
[X , [X, X]] + [X , [X , X]] + [X , [X, X]] = 0.
Usando-se o resultado do Teorema 3.4.1, vir:
k
k
X , Ck X k + X , C
X k + X , C
X k = 0,
k
Ck X , X k + C
[ X , X k ] + Ck X , X k = 0,
k
k
Ck Cl k X l + C
Cmk X m + C
Cn k X n = 0 .
110
k C l +C k C l + C k C l = 0 .
C
k
k
k
C.Q.D
0 = 3
2
3
1
1
2
1 .
1
Portanto:
x'
y' = 0
z'
x 1
y = 3
z
2
x +
= x 3 +
x
2
3
1
1
y 3
y +
y 1 +
2
1
1
x
y =
z
z 2
z 1 ,
z
ou:
x' = x + y 3 z 2,
y' = x 3 + y + z 1,
111
z' = x 2 y 1 + z,
ou ainda:
x = x' x = y 3 z 2,
y = y' y = x 3 + z 1,
z = z' z = x 2 y 1.
V-se, portanto, que o grupo de rotaes O um grupo
de 3-parmetros: 1 , 2 , 3.
Calculemos, agora, os geradores desse grupo. Segundo a
Definio 3.2.2, temos:
X l = M il (x) .
x i
(l =1, 2, 3 ; i =1, 2, 3)
Sendo:
x' = f1 (x,y,z; 1 , 2 , 3) = xy3 z2,
y' = f2 (x,y,z; 1 , 2 , 3) = x3 + y + z1,
z' = f3 (x,y,z; 1 , 2 , 3) = x2 y1 + 1 + z,
e
Mi l (x, y, z) =
vir:
f i (x, y, z; 1 , 2 , 3 )
,
l
112
M11 =
f1
f
f
= 0; M12 = 1 = z; M13 = 1 = y,
1
2
3
M 21 =
f 2
f
f
= z; M 22 = 2 = 0; M 23 = 2 = x,
1
2
3
M 31 =
f3
f
f
= y; M 32 = 3 = x; M 33 = 3 = 0.
1
2
3
,
+ M 21
+ M 31
x1
x 2
x 3
X1 = z
X 2 = M12
,
+ M 22
+ M 32
x1
x 2
x 3
X 2 = z
X 3 = M13
y
,
y
z
+x
,
x
z
,
+ M 23
+ M33
x1
x 2
x 3
X3 = y
x
.
x
y
113
Por fim, calculemos as constantes de estrutura do
grupo 0(3). Para isso, usemos o Teorema 3.4.1., isto :
[ X l , X m ] =Clnm
Xn .
Ento:
[X1, X 2 ] = z
y ,z + x =
z
x
z
y
= z y
z
y
z + x z + x ,
x x
z
x
z y =z z + z x + y ,
z z
z
y x + z
x z z x
z z y
y x z
2
2
x z + x y = z 2 + zx +
z y z z
yx
yz
2
+ y + z
zx
x
2
2
2
yx + z 2 zy
z 2
xy
xz
2
2
x + z + xy 2 .
z
y zy
Sendo:
2f
2f
=
, vir:
x i x j x j x i
114
[X1, X 2 ] = y
x
= X3 .
x
y
[X 2 , X3 ] = X1 ; [X3 , X1 ] = X 2 .
Portanto:
C lnm =1, n, l, m .
-----------------------------------------------------------------------------Exerccio 3.4.2
a) Obtenha a matriz O do Exemplo 3.4.1;
b) Demonstre que [X2 , X3] = X1 , e [X3 , X1] = X2 ,
conforme indicado no Exemplo 3.4.1;
c) Para o Exemplo 3.4.1, demonstre que:
xi = k Xk xi
(i, k = 1, 2, 3);
d) Encontre os geradores do grupo 0(4).
Sendo Xi (i=1, 2, 3, 4, 5, 6) tais geradores, e
definindo:
Yj =
X j + X j+ 3
2
; Zj =
X j X j+ 3
2
demonstre que:
[Yi , Yj] = ijk Yk,
[Zi , Zj] = ijk Zk,
[Yi , Zj] = 0, i, j = 1, 2, 3.
-----------------------------------------------------------------------------Exemplo 3.4.2 Obter as representaes de um grupo a
partir de seus geradores.
115
-----------------------------------------------------------------------------Inicialmente, vamos tomar o grupo de rotaes finitas ()
em torno do eixo dos z. No Captulo 1, vimos que:
cos
R z () = sen
0
sen
cos
0 .
1
R z ()
0
1
0
0 1 + i M z ,
1
onde:
1 0 0
1 0 1 0
0 0 1
0 i 0
e Mz = i 0 0 .
0 0 0
dR r ()
iM z =
= cos
d = 0
0
cos
sen
0
0
0
=0
= 1
0
1
0
0
0 .
0
116
Ora, como uma rotao finita pode ser composta de
. Portanto:
N N
Rz () = lim 1 + i
Mz ,
N
Rz () = exp (iMz)
r r
r r
Sendo: Mx = M . I ; M y = M . J e M z = M . K , ento a
rotao infinitesimal em torno de um eixo qualquer definido pelo
r
vetor n , ser:
Rn () = 1+ i (xMx + yMy + z Mz),
r r
Rn () = 1+ i n . M
Mx =0 0
0 i
i ;
0
0 0
M y = 0 0
i 0
+i
0 .
0
117
0 0 0
0 0
= 0 0 i 0 0
0 i
0 i 0
= 1
0
0
0
0 0
0 0
0 0
+ i 0 0
0 0 0
0 i 0
1
0
0
0 0
0 = 1
0 0
+ i 0 0
0
0 0 0 i =
0
0 0 i
+1
0
0
0 0
0 = i +i
0 0
i
0
0
0 =
= i Mz .
De um modo geral, fcil ver que:
[Mj , Mk] = i jk l M (j,k, l = 1,2,3) ,
onde jk l o Smbolo de Levi-Civita, e representam as
constantes de estrutura do grupo de rotaes.
De um modo geral, tem-se:
D(a) = exp(ia X),
onde = 1,2,...,r e X so os geradores do grupo e chamados de
representaes fundamentais do grupo. Por sua vez, D(a) uma
representao geral do grupo.
-----------------------------------------------------------------------------Exerccio 3.4.3
a) Obtenha as matrizes Mx e My ;
b) Complete a relao de comutao entre Mx, My e
Mz;
118
c) Mostre que D(a) = exp(ia X) so representaes de
um grupo;
d) Como D(a) so matrizes unitrias (demonstre!),
ento X so matrizes de trao nulo;
e) Mostre que as matrizes:
0
1
T1 =
1
2
0
1
0
1
0
0
1
1 ; T2 =
i
2
0
0
i
0
i
0
1
i ; T3 = 0
0
0
0
0
0
0 ,
1
a) [X , X] = [X , X] = C
X ;
b) [( X), X] = [X , X], R;
c) [X , (X + X)] = [X , X] + [X , X];
d) [(A + iB) , C] = [A, C] + i[B, C], onde A,B,C so do tipo
aX.
------------------------------------------------------------------------------
119
Exerccio 3.5.1 Mostre que o conjunto de vetores do
R3 dotado do produto vetorial, forma
uma lgebra de Lie.
-----------------------------------------------------------------------------Definio 3.5.2 Diz-se que:
a) Uma lgebra de Lie A de r-parmetros Abeliana,
se:
C
= 0 , , , = 1,2,...,r;
C
= 0 , , = 1,2,...,p ; = p + 1, p + 2,...,r;
C
= 0 , = 1,2,...,p ; = p+1, p+2,...,r;
[X , X] = C
X , onde:
X I ; Y A.
120
(Se a lgebra contm membros que no esto no Ideal, ento
este chamado de ideal prprio.)
e) Uma lgebra de Lie A denominada simples se
no existe nenhuma sub-lgebra B A invariante; e A
denominada semi-simples se no existe nenhuma sub-lgebra B
A abeliana invariante. (Uma lgebra de Lie Simples
aquela que no tem Ideais Prprios.)
Teorema 3.5.1 - Teorema de Casimir. Se um conjunto
de operadores {Ci} comuta com todos os geradores de um
grupo, isto : [X , Ci] = 0, ento eles so mltiplos do operador
identidade (E), ou seja: Ci = ci E. Tais operadores so chamados
operadores de Casimir.
Demonstrao:
No Exemplo 3.4.2, vimos que:
D(a) = exp (ia X), ento:
[D(a) , Ci] = [exp (ia X) , Ci].
Assim, expandindo-se a exponencial, usando-se as
propriedades do comutador e a hiptese do Teorema 3.5.1 fcil
ver que:
[D(a), Ci] = 0 .
Ento, pelo Teorema 2.2.2, teremos:
Ci = ci E .
C.Q.D.
121
oportuno observar que o conjunto {Ci} caracteriza a
representao irredutvel do grupo considerado, isto , esse
conjunto pode variar de uma representao irredutvel para uma
outra, mas ele permanece fixado para todos os membros de uma
dada representao irredutvel. Isto permite-nos usar tal conjunto
como ndices para as representaes irredutveis. O nmero de
operadores de Casimir necessrios para caracterizar cada
representao de um Grupo de Lie dito a ordem da lgebra.
Em geral, muito difcil encontrar todos os operadores de
Casimir para um Grupo de Lie arbitrrio.
-----------------------------------------------------------------------------3
2
X , X = 0, pois: [X , X] = 0 .
=1
a) C1 = Y 2
=1
C 2 = Z 2 so dois operadores de
=1
122
b) T2 = T12 + T22 + T32 , onde T1 + T2 + T3 foram
definidos no Exerccio 3.4.3, um operador de
Casimir.
-----------------------------------------------------------------------------Definio 3.5.3
a) Seja a seguinte equao de auto-valores:
[A , X] = s X,
onde X so geradores infinitesimais de um dado Grupo de
Lie de r-parmetros e A uma combinao linear desses
geradores. As r razes dessa equao de auto-valores so
chamadas razes da lgebra de Lie associada ao grupo.
Denota-se ao conjunto dessas razes.
Vejamos como encontrar essas razes. Sendo:
A = X , e X = x X , vir:
[ A , X ] = X
, x X =s x X .
[X , X ] = C X .
Portanto:
x C X = s x X ,
123
x C s x X = 0 .
x C s x = 0 .
Sendo:
x = x ,
teremos:
x C s = 0 .
det C s = 0 ,
o que mostra que tal equao uma equao algbrica de rrazes reais ou complexas, degeneradas ou no, nulas ou no.
Pode-se demonstrar que se raiz, ento tambm raiz,
mas k
, com k 1, no raiz;
b)
Dado o conjunto de razes de uma lgebra de
Lie, existe um sub-conjunto delas que gera um sub-espao,
portanto tal sub-conjunto linearmente independente. Esse
conjunto denominado de razes simples e denotado por .
De um modo geral esses vetores no so ortogonais;
c)
Chama-se grau (rank) de uma lgebra de Lie
ao nmero de razes simples da mesma, isto , elas so obtidas
quando se faz s = 0 na expresso do item a).
124
Vejamos como calcular o grau (rank) de uma
lgebra de Lie. Inicialmente, toma-se um operador fixo A dado
por A = X e, em seguida, procuramos todas as solues da
equao: [A, X] = 0, com X = x X . Depois, faz-se A variar e
calcula-se novamente [A' , X] para todos os X que so solues
da equao [A, X] = 0, e mantemos somente os X para os quais
[A' , X] = 0. Continuamos com esse processo at obter todos os
operadores lineares do Grupo de Lie associado lgebra
considerada e que sejam mutuamente independentes. Este
nmero ser o grau (rank) procurado.
As razes simples de uma lgebra de Lie so
fundamentais, pois, por intermdio de seus comprimentos e do
ngulo formado entre elas, pode-se obter os comprimentos e as
direes das demais razes. Todas as propriedades da lgebra
dependem de suas razes. Em geral, qualquer conjunto de
vetores linearmente independentes no se constitui num
conjunto de razes simples.
De um modo geral, uma lgebra de Lie um espao
vetorial que pode ser dividido em sub-espaos vetoriais da
seguinte maneira:
R = H + R ,
125
Seja A = X e X = x X , ento:
[A,X ]= X , x X = x X , X .
Para o grupo O+(3), tem-se:
X , X = X .
Portanto:
[A, X ] = x X .
Pela Definio 3.5.2.c, para se calcular o grau (rank)
de um grupo, temos que fazer [A, X ] = 0 . Assim:
x X = 0 .
Para = 1, vir:
1 x 1111 + 1 x 2 121 + 1 x 3 131 + 2 x 1 211 + 2 x 2 221 +
+ 2 x 3 231 + 3 x 1 311 + 3 x 2 321 + 3 x 3 331 = 0.
126
.
(I)
(II)
1 x 2 2 x 1 = 0 .
(III)
[X , X ]= X ,
ento:
127
Inicialmente, vamos estudar o grupo SU(2). Este,
definido como o conjunto de matrizes complexas 2x2, tal que:
a b
+
U=
; UU = E ; det U = +1.
c
d
a + b
=
c + d
' = a + b ,
' = c + d .
Ora:
2
' = ( a + b ) ( a + b ) * =
= ( a + b ) ( a** + b**) =
=aa* * + ab* * + a*b* + bb**
2
' = a
+b
+ ab * * + ba * * .
+ cd * * +c * d * .
Analogamente:
2
' = c
+d
' + ' = + ,
128
necessrio que:
2
a + b =1; b + d
= 1,
ab * +cd* = 0 ; a * b + c * d = 0 .
Ento:
2
a + b =1 ; c + d
= 1;
ac * + bd* = 0 ; a * c + b * d = 0 .
Sendo:
det U = 1
a b
= 1 ad bc = 1 .
c d
b
*
a
*
129
Agora, determinemos os geradores de SU(2). Eles so
em nmero de trs (3), pois: n2 1 = 22 1 = 4 1 = 3.
Para uma transformao infinitesimal, segundo a
Definio 3.3.2, vir:
r
F' = 1 + X l a l F ,
l =1
ou seja;
3
'
= 1 + X l a l .
l =1
'
Sendo:
' +
=
,
' +
v-se que:
b
+ 1 0 a
=
+
.
+ 0 1 b* a*
Assim:
b
1 + a
U=
.
b* 1 + a*
130
UU+ = E,
ento:
b
1 + a
b* 1 + a*
1 + a* b 1 0
=
.
1 + a 0 1
b*
=
.
b* + b* 1 + a + a* 0 1
Portanto:
1 + a + a* = 1
a = a * .
Consideremos:
a =
i
a 3 , com a 3 real .
2
1 + a
b
1 + a + a* = 1 ,
b * 1 + a *
131
b =
1
i
a 2 + a 1 , com a 2 , a 1 reais .
2
2
Ento:
i
1+ a
b 1 + 2 a 3
=
U =
b* 1+ a * 1
i
a 2 + a 1
2
2
1 0 1 i a 3
+
=
0 1 2 a 2 i a 1
1 a + i a
2 2 2 1 =
1 i a 3
2
a 2 + i a 1
=
i a 3
1 0 1 i 0
0 1
0 i
+
a + 1
a + 1
a =
=
0 1 2 0 i 3 2 1 0 2 2 i 0 1
1 0 i 0 1
0 i
1 0
+
a + i
a + i
a .
=
1
2
0 1 2 1 0
i 0
0 1 3
2
2
Portanto:
3
U = E +i
j=1
1
j a j ,
2
=
,
1 0 i 0 0 -i
132
0 i 0 1 i 0
2 1 =
=
.
i 0 1 0 0 i
Ento:
i 0 i 0 2i 0
=
=
0 i 0 i 0 2i
[ , ]=
1
1 2 2 1 =
i 0
=2
0 i
[ , ]= 2i 10
1
0
= 2i .
3
1
2 i , 2 j = i ijk 2 k .
133
Teorema 3.5.2 Os grupos O+(3) e SU(2) so
Homeomrficos. A cada elemento de O+(3) corresponde 2
elementos de SU(2).
Demonstrao:
Seja M uma matriz Hermitiana de trao nulo e definida
por:
r r 3
M = x . = x j j = x 11 + x 2 2 + x 3 3 = x1 + y 2 + z 3 =
j=1
0 1
0 i 1 0 0 x 0 iy 0 iy
+ y
+z
=
+
+
+
=x
1 0
i 0 0 1 x 0 iy 0 iy 0
z 0 z
x iy
=
.
+
0 z x + iy z
)(
det M = z 2 x iy x + iy = z 2 x 2 y 2 = x 2 + y 2 + z 2 .
Agora,
consideremos
similaridade, ou seja:
uma
transformao
de
M' = U M U + .
134
x 'iy
r r z'
M = x' . =
,
x
'
+
iy
'
z'
teremos:
det M '= x ' 2 + y ' 2 + z ' 2 .
Portanto:
) (
U E + i j j.
j=1
Ento:
3
M = M ' M = UMU + M = x j j =
j=1
3
3
E + i j j x j j E i k k M =
j=1
k =1
j=1
135
3
3
3
x j j i x j k j k + i l l x j j =
j=1
j, k =1
l , j=1
3
= M i x j k j k k j M =
j, k =1
3
= i x j k j , k .
j, i=1
j,k ,l =1
j,k ,l =1
M = i 2 i x j k jkl l M = 2
x j k jkl l .
Sendo:
3
M = x l l ,
l =1
teremos:
3
x l = 2 x j k jkl .
j,k =1
Assim:
3
136
Usando-se a definio de jkl , vir:
x 1 x = 2 y 3 2 z 2 .
Analogamente, teremos:
x 2 y = - 2x 3 + 2z 1 ,
x 3 z=2x3 -2y1 .
No Exemplo 3.4.1, vimos que para o grupo O+(3), temos:
x = y 3 z 2 ,
y = x 3 + z1 ,
z = x 2 y1 ,
ento:
j = 2 j .
R z ( ) = sen
0
Sendo:
sen
cos
0
0 ; 0 < < 2 .
1
137
j =
1
j , ento o elemento correspondente do SU(2)
2
ser:
U z = exp i a j j = exp(ia 3 3 ) = exp i 3
2
2
e i / 2
U z 2 =
0
( )
0
e i / 2
Sendo:
cos( + 2) sen( + 2) 0
R z ( + 2) = sen ( + 2) cos( + 2 ) 0 ,
0
0
1
ento:
cos sen 0
R z ( + 2) = sen cos 0 = R z ( ) ,
0
0
1
e
i / 2 (+2 )
e
=
U z 1 ( + 2 ) =
(
)
2
0
e i / 2 +2
e i / 2 e i
=
0
e i / 2
e i / 2
=
e i 0
=
e i / 2
0
138
e i / 2
=
0
= U z ( ).
e i / 2
0
Portanto:
+ U( / 2 )
U ( / 2 )
R ( ) .
139
ento:
R ( ) = R z '' ( ) R y' () R z ( ) .
0
e
i / 2
R y ( ) = 0
1
0 ,
sen 0
cos
0
1
R x () = 0 cos
0 sen
sen ,
cos
teremos:
R y ( ) U y ( / 2) = exp i y ,
2
R x ( ) U x ( / 2) = exp i x .
2
Sendo:
U j ( / 2) = exp i j ,
2
ento:
140
n
i
2 j
=
U j ( / 2) =
n!
n =0
i
2 j
=
( 2 n )!
n =0
2n
2 n +1
i
2 j
+
( 2 n +1)!
n =0
Sendo:
1
( j ) 2 n =
0
0
= I ; ( j )2 n +1 = j .
1
E, ainda:
( 1) n x 2 n +1
(1) n x 2n
; senx =
,
n = 0 ( 2 n )!
n = 0 ( 2n + 1)!
cos x =
teremos:
U j = I cos + i j sen .
2
2
2
Portanto:
U x = I cos + i x sen =
2
2
2
141
cos
0
0
sen
+ i
2
2
=
0
cos sen
0
2
2
cos i sen
2
2 .
U x =
2 i sen cos
2
2
cos sen
2
2
,
Uy =
sen
cos
2
2
i / 2
e
Uz =
2 0
.
e i / 2
0
e i / 2
0
cos( / 2) sen ( / 2)
e i / 2 sen ( / 2) cos( / 2)
e i / 2
=
ei / 2 0
0
e i / 2
0
142
e i / 2 cos( / 2) e i / 2 sen ( / 2)
,
e i / 2 sen ( / 2) e i / 2 cos( / 2)
R ( )
( )
i ( + )
e 2 cos( / 2) e i 2 sen ( / 2)
U ( ,, ) =
.
( )
( + )
e i 2 sen ( / 2) e i 2 cos( / 2)
rr
143
T : (, ) = N
( , )
M
= (, ) ,
2
2
c cos .
N
cM
=
.
2
2
Sendo:
1 cos 1 ,
e como
cos = 1, se = ,
cos = 1, se = ,
e j que k (k 1) no raiz da lgebra considerada (vide
Definio 3.5.3a), ento:
144
1
N 1,
2 c
M c
1,
2
ou
N 2 ; M c 2 .
c
Ento:
|MN| 4.
Excluindo-se o caso em que = , retira-se a
condio de igualdade da desigualdade acima, ento, teremos:
|MN| < 4.
Portanto:
a) Se M = 1, ento: N = 1,2,3;
b) Se M = 2, ento: N = 1;
c) Se M = 3, ento: N = 1.
Sendo:
( , ) = c cos = N = Mc ,
2
2
ento: =
N
. Assim, teremos:
M
1
cos = N = 1 N
= 1 MN ,
2
2
2 c
N/M
e:
145
1
2
3
cos = , ou
ou
,
2
2
2
ou seja:
= 120 ou 135 ou 150.
Por outro lado, se o produto escalar zero, isto :
N = M = 0, ento cos = 0 = 90 .
Em vista do resultado do Exemplo 3.6.1 e
considerando ainda o Teorema 3.6.1, as lgebras de Lie tm a
seguinte classificao, cujos diagramas so devidos a Jan
Arnoldus Schouten (Rowlatt, 1966). Assim:
146
Teorema 3.6.2 Se uma raiz simples de uma
lgebra de Lie, ento + ( +) tambm ser uma raiz (
+), se, e somente se:
2 (, )
P (, ) < 0,
(, )
Sendo:
( , ) = ( , ) = , ento:
( , ) = cos
.
2
147
2 (, )
P (, ) < 0 , com [ P ( , ) ] + .
( , )
Como:
+ , ento P ( , ) = 0 .
Logo, devemos ter:
2 (, )
<0 .
( , )
e ( , ) = , vir:
2
2
2
= 1 < 0 .
Portanto + +
Vejamos, agora, se + 2 + . Para que isto ocorra
necessrio que:
2 ( + , )
P ( + , ) < 0 .
( , )
Ora:
+ = +
Ento:
+ 2 = i+ .
Ora, sendo:
[ P ( + , ) ( + )] +,
148
e
P ( + , ) = 1, ento:
2 ( + , )
1 < 0.
( , )
+ 2 = + 2 =
2
Assim:
2 ( + , )
1=
1 = 0 0 .
( , )
Ento:
+ 2 + .
De maneira anloga, demonstra-se que:
2 + + .
Assim:
+ (, , +),
[, ,, ,( + ), (, )] .
Por fim, calculemos o ngulo entre e ( + ).
Portanto:
(, +) = (,) + (, ) = .
2
149
(, +) =
( , ) .
( + ) , ( + ) . cos =
Sendo:
[(+) , (+)] = [,(+)] =
= (,) + (,) = (+ , ) + (+, ) =
= (,) + (,) + (,) + (, ) =
=
+ = 2 = .
2
2
(, +) =
cos =
Em resumo, temos:
cos = cos =
= 60 .
.
2
150
-----------------------------------------------------------------------------Exerccio 3.6.1
a) Encontre as razes da lgebra A1 SU(2);
b) Encontre as razes da lgebra G2 cujo Diagrama de
Schouten :
a) [E , E ], = 0 ,
E + , +
;
+
b) E , E = F, = a F ;
c) F , F = 0, , ;
d) F , E = (, ) E ,
onde:
151
N 2 , =
[P (,) +1]
2
Q ( ,) (,),
N 2 , = N 2, = N 2, = .......,
N , = N , = N , = N , ,
e
2( ,)
= P ( ,) Q ( ,).
(,)
Sendo:
[ P(,) ]
e { [P (,) + 1] } ,
[ + Q(,) ] e { + [Q (,) + 1] } .
-----------------------------------------------------------------------------Exerccio 3.6.2 Usando o resultado do Teorema
3.6.3,
a) Mostre que se:
U = E + E , ,
V = i (E E) , ,
H = i F
, ,
152
[U, V] = N, V+ N, V ,
[V, V] = N, U+ + N, U ,
[ U , V ]
= 2
H ,
[H , U] = (,) V,
[H V] = (,) U,
[H , H] = 0,
onde:
; a =
( , )
; (, ) = 2 ;
(, )
A2.
-----------------------------------------------------------------------------Definio 3.6.1 Dado um grupo G com r geradores
(dentre eles que comutam entre si), chamam-se vetores pesos
do grupo dado ao conjunto de p-uplas formadas pelos autovalores dos geradores que comutam. Esses vetores pesos so
representados em um espao R, e chamado de diagrama de
pesos. Cada ponto desse espao representa um auto-vetor dos
geradores que comutam.
-----------------------------------------------------------------------------Exemplo 3.6.3 Dentre as oito matrizes geradoras do
grupo SU(3), as duas que comutam so representadas por:
153
1 0 0
1 0
0
G 3 = 1 0 1 0 e G 8 = 1 0 1
0.
2
3
0 0 2
0 0 0
0 0 0 0
0
0
1 0
G 8 u1 = 3 0 1
0
0 0 2
1
1
1 1
0 = 0 = u1 .
3
3
0
0
154
1 0 0 0
0
0
G 3 u 2 = 1 0 1 0 1 = 1 1 = 1 1 = 1 u 2 ,
2
2
2
2
0 0 0 0
0
0
G8u 2
1 0 0
1
=
0 1 0
3
0 0 2
0
0
1
1
1 =
1 = u2.
3
3
0
0
1
G 3u 3 =
2
0
0
1
1
G8u 3 = 0
3
0
0
1
0
0
1
0
0
0
0
0
2
0
0
0
1
0 =
0 = 0 0 = 0 u3 ,
2
1
1
0
0
0
0
1
2
2
0 = 0 = 0 = u 3.
3
3
3
1
2
1
0 , .
3
155
( + 1)
( , )
(g, ) + 1 ,
onde:
=2
( , )
;
( , )
g=
1
.
2 +
nmero
1
(n+1)(m+1)(n+m+2) ; n= 0,1,2,....; m = 0,1,2,.... .
2
de
CAPTULO 4
Teoria do Momento Angular1
4.1 Representaes Irredutveis do Grupo SU(2)
4.1.1 Representaes Spinoriais
O Grupo SU(2) dado (Cf. 3.2) por:
b
a
U=
, com aa* + bb* = 1.
b * a *
= U =
v'
v b* a* v b*u + a*v
u ' = a u + b v U11 u + U12 v ,
(1)
v' = b * u + a * v U 21 u + U 22 v .
(2)
Esta parte deste Captulo foi ministrado pelo professor Jos Maria Filardo Bassalo
no Curso de Extenso, realizado em 1985, na UFPA, sobre Teoria de Grupos.
152
Para concordar com os resultados da Mecnica Quntica,
1
3
funo monomial:
f mj (u; v ) =
u j+ m v jm
( j + m )(! j m )!
(3)
m '= j
Sendo:
(au + bv ) j+m
( j + m )! a j+mk u j+mk b k v k ,
k
!
(
j + m k )!
k =0
j+ m
e
jm
(b*u +a*v )jm = l ! ((jjmm)!l )! (1)jml (b*)j+ml u jml (a*)l v l .
l=0
Ento:
153
j+m jm
Uf mf (u ;v ) =
(1)
jml
k =0 l=0
( j + m )! ( j m ) !
k!l !( j+ m k )! ( j m l )!
j+m
Uf mf (u ;v ) =
m ' m+k
(1)
k =0 m '= j
( j+ m ')!( j m ')!
Se k = 0 e l = 0, ento: m' = j .
Se k = j + m e l = j m , ento:
m' = j j m j + m = j .
Portanto:
j+ m
U f mj (u ;v ) =
m ' m+k
(1)
k =0 m '= j
k!( j k + m ')(
! j+ m k )(
! k + m ' m ) !
154
(4)
1 1
1 1
, e m' = , .
2 2
2 2
Portanto:
m' =
U=
m = 1/ 2 A
m = 1 / 2 C
1
2
m' =
1
2
.
D
155
1! 0 !1! 0 !
A = U 1/2 , 1/2 = ( 1 ) k
k =0
k !( k )! (1 k )! k !
1! 0 ! 0 !1!
B= U 1/ 2 , 1/2 = ( 1 ) 1+k
k =0
a 1k ( a* ) k b k ( b* ) k =a,
k !(1k )! (1k )! ( k1 )!
a 1k ( a* )1+k b k
( b* ) 1+k =b,
0 !1!1! 0 !
C = U 1/ 2 , 1/2 = ( 1 )1+k
k =0
k !( k )! ( k )! ( k+1 )!
a k ( a* ) k b k
( b* ) k +1 =b*,
0 !1! 0 !1!
D = U 1/ 2 , 1/2 = ( 1 ) k
k =0
k !(1k )! ( k )! k !
a k ( a* )1+k b k
( b* ) k =a*.
Portanto:
a
U m ,m ' U1/ 2,1/ 2 =
b*
b
.
a *
156
j+m
j+m
jm
jm
u' 2
v' 2
j
=
m = j
( j+m )! ( jm )!
j+ m
au+bv 2
b*a +a*v 2
j
=
m= j
( j+m )!( jm )!
jm
2
2
2 j au + bv b * a + a * v
A=
s ! (2j - s )!
s =0
2
2 j u'
=
s!
s =0
2 j s
(2 j)!
(2 j)!
2 j s
v' 2
(2j - s )!
Sendo:
u ' 2 + v' 2
2j
2j
S= 0
(2 j)!
2
2
u ' v '
s! (2 j s )!
2 j s
Ento:
A=
u'
+ v'
( 2 j )!
2
2j
.
2
157
u ' 2 + v' 2
A=
(2 j)!
2j
u 2+ v 2
=
(2 j)!
2j
(2 j)! u 2
2j
v 2
(2 j)! s ! (2 js )!
s=0
2j
Fazendo: j + m = s, vir:
j+m
jm
u 2
v 2
j
A=
m = j
( j+m )! ( jm )!
j
u j+m v jm
( j+m )! ( jm )!
m = j
[uu*]j+m [vv*]jm =
m= j ( j+m )! ( jm )!
j
= f m*j ( u ;v ) f mj ( u ;v ) .
m= j
( j+m )! ( jm )!
Ora, sendo:
j
ento:
j
*j
*j
m'= j
m'= j
e
j
j
*j
U *mm ' f m ( u ; v )
m = j m '= j
*j
= f m ( u ;v ) f m ( u ;v ) ,
m= j
ou
*j
U*
f m '' ( u ; v ) =
mm
'
'
m '' = j
158
j j
m '= j
m= j
j
j
U *mm ' U *mm '' f m*j' ( u ;v ) f mj '' ( u ;v )=
m ''= j
m ''= j
= f m*j ( u ;v ) f mj ( u ;v ) .
m= j
ento:
j
m ' = j m '' = j
j
*j
*j
*j
f m '' ( u; v ) f m '' ( u; v ) = f m ( u; v ) f m ( u ; v ) .
m '' = j
m = j
159
Portanto:
a = ei( + ) / 2 cos( / 2)
b = ei( ) / 2sen( / 2) ,
ento:
j+m
k =0
] [e
e i ( + ) / 2 cos( / 2)
e i ( ) / 2 sen ( / 2)
j+ m k
[e
i ( + ) / 2
i ( ) / 2
cos( / 2)
.sen ( / 2)
cos
2
j+mk + jm ' k
= cos
2
2 j+mm ' 2 k
e
sen
2
teremos:
k +k + m ' m
= sen
2
2 k +m ' m
j m ' k
k + m ' m
Sendo:
e
160
j+m
U mm ' ( ,, ) = ( 1) k .
k =0
( j+ m ) ! ( j m) ! ( j+ m ') ! ( jm ') !
k ! ( jm ' k ) ! ( j+ m k ) ! ( m ' m + k ) !
, (7)
]m'm+2 k e im'
pois:
(1)m'm = (1)m'm+2k .
Em Mecnica Quntica costume usar-se a seguinte matriz:
j
*
im j
D mm
d m 'm ()e im ' ,
' (, , ) = U mm ' (, , ) e
(8)
onde:
( j+ m ) ! ( j m) ! ( j+ m ') ! ( jm ') !
j+m
d mj 'm () = ( 1) k .
k =0
k ! ( j m' k ) ! ( j+ m k ) ! ( m ' m + k ) !
(9)
]m'm+2 k
j
Teorema 4.1.2 As matrizes rotao D mm
' (, , ) so
representaes irredutveis.
Demonstrao:
Seja uma matriz A independente de (,,), tal que:
(A Dj)mm' = (DjA)mm' , ,,
ou
j
A mk D km ' = D mk A km ' .
k
161
j
j
ik
A mk e im ' d km
= e ik d mk
e im A km' .
'e
k
(10)
j
Inicialmente, vejamos quanto vale d km
' (). Usando-se a
expresso (9), vir:
j
d km'
() =
[sen (/ 2)
j+m ' ( 1) s
]km ' +
s0
[cos ( / 2 ]2 j+m'k
]km '+2s
Para = 0, vir:
j
d km'
(0) =
(cos 0 0 ) 2 j+m'k
( sen 0 0 ) km ' .
Se k = m', teremos:
j
d kk
( 0) =
162
Portanto:
j
d km
' (0) = km' .
ou:
eim' = eim ,
igualdade essa que s subsistir se m = m', o que indica, portanto que
Amm' diagonal!
Agora, retomemos a expresso (10) e faamos = = 0,
ento:
j
j
A mk d km
' () = d km () A mk ' .
k
163
------------------------------------------------------------------------------------j
Exerccio 4.1.2 Demonstre que d mj
() 0, .
d111() =
k =0
(1) k 2!0!2!0!
[cos( / 2)]2 2k . [ sen( / 2)]2k .
k! (k )!(2 k )! k!
2!
1 + cos
cos 2 ( / 2) =
.
0! 0! 2! 0!
2
Portanto:
1 + cos
D 111 = e i
2
i
e
.
cuja forma :
164
m '=1
D 1m ' m ( , , ) =
m '= 0
m '= 1
m =0
m =1
sen
i
i 1+ cos i
2
e
e
sen i
e
cos
sen
i
i 1 cos i
2
e
e
e
1 cos i
e i
e
2
sen i
e
.
(11)
2
1+ cos i
e i
e
2
m = 1
1 T
(12)
onde:
cos cos cossen sen sen cos cos+cos sen sen cos
R(,,)= cos cos sensen cos sen cos sen+cos cos sen sen ,
cos sen
sen sen
cos
(13)
e
1 i 0
1 0 1
1
1
1
U=
0
0
2 ; U =
i
0 i .
2
2
1 i 0
0
2
0
165
-----------------------------------------------------------------------------------------Exerccio 4.1.3.2 Verifique a expresso (12).
-----------------------------------------------------------------------------------------r
Seja r um vetor unitrio caracterizado pelas seguintes
coordenadas esfricas (,). Aplicando-se a matriz rotao R (,,) a
r
esse vetor, obtm-se o vetor r ' caracterizado, no novo sistema de
coordenadas girando segundo os ngulos de Euler (,,), pelas
coordenadas (','), isto :
r
r
r ' = R (,,) r .
(14)
Geometricamente, temos
cos
cos '
166
sen'cos' cos coscos sen sen sen coscos + cos sen sencos
sen'sen' = cos cos sen sen cos sen cossen + cos cos sensen
cos sen
sen sen
cos
cos'
sencos
sensen .
cos
(15)
(16)
m ' = 1
onde Y m
l (, ) chamado de Harmnico Esfrico e definido por
(Jackson, 1992):
Ym
l ( , )=
( 2 l +1 ) ( l m )! p m ( cos )e im
4
( l + m )!
(17)
com:
*
m
Y -m
( Y ml ) (, ) ,
l (, ) = (-1)
(18)
e
Pm
l (cos ) =
(1)m
l
2 .l!
(1 cos 2 )m / 2
dl+m
d (cos )
l+m
167
Desenvolvendo-se a expresso (16), vir:
Y 01 = D110 Y11 + D100 Y 01 + D110 Y11 .
+ e i
sen
2
3
3
sen e i +cos
cos+
8
4
3
sen e i ,
8
e
cos' = sen sen cos ( ) + cos cos,
que idntica expresso (15),
De maneira anloga, demonstra-se que:
1
(20)
m
l
m
Ym
l (' , ' ) O R Y l (, ) = D m 'm (, , ) Y l (, ) .
m'= l
(21)
168
a) D lm 0 (, ,0 ) =
4
Y*m (, ) ;
2l + 1 l
b) D l0 k ( 0 , , )=
4
Y k ( , )
2 l +1 l
l (
c) D 00
0 , , 0 )= P l (cos ) .
r
r
dr
, o momento linear.
p=m
dt
169
)
Inicialmente, calculemos o operador L em coordenadas
cartesianas. Assim sendo:
r r r
I J K
r
r
r
r
r = x y z = I (yz zy) + J (zx xz) + K (xy yx) ,
x y z
onde
, etc.,
x
ento:
)
)
)
L x = i( y z z y ); L y = i(z x x z ); L z = i( x y y x ) .
(22a,b,c)
Obtidas as expresses para os componentes cartesianos do
)
operador L , calculemos o comutador entre os mesmos. Assim:
) ) ) ) ) )
L
, L = L x L y L y L x = ( y z z y )( z x x z ) +
x y
+ ( z x x z )( y z z y ) =
170
) )
L
, L = y x + x y = + i i x y y x
x y
) ) )
L
, L = iL z .
x y
[L) , L) ]= iL)
z
) ) )
L
, L = iL x .
y z
(23)
ou, simbolicamente:
[L) L) ] = iL) .
------------------------------------------------------------------------------------Exerccio 4.2.3 Complete a demonstrao da expresso (23).
------------------------------------------------------------------------------------[ oportuno observar que comparando-se a expresso (23)
com a regra de comutao dos geradores do grupo O(3) (Cf. 3.2.a),
v-se que os componentes cartesianos do operador de momento
angular e aqueles geradores satisfazem a mesma lgebra, a menos do
fator ih (estamos considerando h = 1) .]
4.2.4 Auto-Funes e Auto-Valores dos Operadores
)
)
L2 e L z
)
)
Inicialmente, vamos escrever os operadores L2 e L z em
171
)
)
)
L x = i(y z z y ) ; L y = i(z x x z ) ; L z = i(x y y x ) .
(24a,b,c)
y
z
.
; tg =
r
x
(24d,e,f)
tg =
y
x
(26a,b,c)
em relao a x,y,z,
respectivamente, vir:
sen
cos
=
;
=
;
= 0.
x
rsen y
rsen z
(27 a,b,c)
172
)
L z = i(xy yx) .
;
x
x r x x
r
y
r
z
f
r
dr+
d+
d.]
r
L z = i rsen cos
+
+
rsensen
+
+
.
x r x x
L z = i
1 .
(28a)
(28b)
(28c)
173
------------------------------------------------------------------------------------Exerccio 4.2.4.2 Complete a demonstrao do grupo das
equaes (28).
------------------------------------------------------------------------------------) )
)
Obtidos os operadores L x , L y e L z em coordenadas esfricas,
)
vamos obter o operador L2 nesse tipo de coordenadas. Assim,
)
)
)
)
L2 = L x2 + L y2 + L z2 .
Inicialmente, calculemos:
(sen + cotgcos)2 = (sen + cotgcos) (sen + cotgcos) =
= sen (sen + cotgcos) + cotgcos (sen + cotgcos) =
2
2
= sen2
+ sencos (cosec2 + cotg
) + cotgcos [cos +
2
2
+ cotg ( sen + cos
)] =
+ sen
2
2
= sen2
sencoscosec2 + sencoscotg
+
2
+ cotg cos + cotgcossen
cotg2cossen +
2
+ cotg2cos2
.
174
2
+ cotg2 sencos + cotg2 sen2
.
Portanto:
)
1
1
2
L2 =
(sen ) +
.
2
sen
sen
(29)
(30)
(31)
(sen ) +
f (, ) = L f (, ) ,
2
sen
sen
1
2
+ L2 f (, ) = 0 .
sen (sen ) +
2
sen
1
2 + L2 ()() = 0 .
+ cot g +
2
sen
175
Separando-se as variveis e , a equao acima se
transformar em:
&&
&
&&
sen2
+ cossen +L2sen =
,
(32)
ou
h() = j()
&&
= constante.
= m2 ; (m = 0, 1, 2,...),
portanto:
= exp (im) .
&&
&
+ cossen +L2sen m2 = 0 .
(1 x 2 ) d 2 2x ddx + L2
dx
m 2 ( x ) = 0 ,
1 x 2
cuja soluo :
( x ) = Plm (cos ) , se: L2 = (+1) ,
onde:
m = , (+1),..., 0,..., (1), .
)
Assim, a auto-funo do operador L2 ser:
(33)
176
f (, ) = A l ,m eimPlm (cos ) .
Escolhendo-se
constante
A l, m =
(2l + 1) . (l m )!
(l + m )!
4
(34)
ig(,) = Lzg(,)
i
g
g
= Lzg
= iL z .
g = exp (iLz) .
, (m = 0, 1, 2,...) .
)
Assim, a auto-funo do operador L z ser:
g() = exp(im) .
Ora sendo:
)
L z g = L zg = mg ,
177
ento:
i
im
e
= meim .
(2l + 1) . (l m )! P m (cos ) ,
(l + m )! l
4
v-se que:
)
L z Ylm (, ) = m Ylm (, ) .
(35)
) )
oportuno observar que os operadores L2 e L z tm a mesma
-------------------------------------------------------------------------------------
(h 1)
178
onde Sz = S, S+1,...,0,...,S1, S, com (S=1/2), levou generalizao
desse conceito s demais partculas. Assim, as partculas que tm spin
inteiro so chamadas de bosnicas, e as que tm spin fracionrio so
chamadas de ferminicas. Por outro lado, como uma partcula possui
tambm momento angular orbital, h necessidade portanto de definir
um momento angular total, ou seja:
) ) )
J = L+S .
Em analogia com os operadores de momento angular orbital
)
)
)
L e de spin S , o operador J satisfaz seguinte regra de comutao:
)J , )J = i )J ,
ijk k
i j
(36)
ou, simbolicamente:
)J )J = i)J .
)
Sendo ainda J um operador de momento angular, ento:
)2 m
J Yj (, ) = j( j + 1) Yjm (, ) ,
(37a)
) m
J z Yj (, ) = mYjm (, ) ,
(37b)
onde m = j, j+1,...,0,...,j1, j.
j = 0,
1
3
, 1, ,...
2
2
e
)J 2 , )J = 0, = x,y,z .
i
i
(37c)
179
------------------------------------------------------------------------------------Exerccio 4.2.5 Demonstre a equao (37c).
------------------------------------------------------------------------------------4.2.6 Operadores ladder (escada)
Os operadores ladder so definidos por:
)
)
)
J + = J x + iJy ,
)
)
)
J = J x iJ y .
(38a)
(38b)
) )
J = J+ ,
) )
)
)
)
)
)
) )
) )
)
J J + = J x iJ y J x + iJ y = J x2 + iJ x J y iJ y J x + J y2 ,
ento:
) )
) )
)
)
J + J + J J + = 2 J x2 + 2 J y2 .
Portanto:
)2 1 ) )
) )
)
J =
J + J + J J + + J z2 .
2
(39)
180
Usando-se as equaes (36) e (38,a,b) vamos calcular alguns
) ) )
)
comutadores envolvendo os operadores J 2 , J z , J + , e J . Assim:
)J , )J = )J , )J + i)J = )J , )J + i )J , )J =
y
z x
z y
z + z x
)
)
)
)
)
= iJ y + i iJ x = J x + iJ y = J + ,
)J , )J = )J .
+
z +
(40a)
(40b)
)J , )J = 2 )J .
(40c)
z
+
------------------------------------------------------------------------------------Exerccio 4.2.6.1 Demonstre as equaes (40 b,c).
------------------------------------------------------------------------------------Por outro lado, usando-se as equaes (39) e (40 a, b,c), vir:
)J 2 , )J = 1 )J )J + )J )J + )J 2 )J =
+
+
+
z
+
1
2
) ) ) ) 2 )
) )
J + J + J J + , J + + J z , J + .
1 )J )J , )J +
+ +
2
) ) ) ) ) )
) ) )
+ 1 J , J+ J+ + Jz Jz , J+ + Jz ,J+ Jz =
2
][
181
1) ) )
J J ,J +
2 + +
) ) )
) ) )
1 ) ) )
J ,J+ J+ + Jz Jz ,J+ + Jz ,J+ Jz =
2
)
) ) ) ) ) )
1)
1
J + 2J z + 2J z J + + J z J + + J + J z =
2
2
][
) (
) ) ) ) ) ) ) )
= J+ Jz Jz J+ + Jz J+ + J+ Jz ,
)J 2 , )J = 0 .
+
(41a)
(41b)
182
)
)
Portanto, (J + jm ) ainda auto-funo de J 2 com o mesmo auto-valor
)
j (j+1). O mesmo ocorre para (J jm ) . Porm, em virtude a equao
(40a), tem-se:
) )
)
) )
Jz J+ = J+ + J+ Jz ,
ento:
) )
) ) )
)
) )
J z (J + jm )= (J + + J + J z ) jm = J + jm + J + (J z jm )=
)
)
)
= J + jm + mJ + jm = ( m +1) (J + jm ) ,
)
)
o que mostra que (J + jm ) tambm auto-funo de J z , porm com
)
)
auto-valor (m+1). Assim, J + levanta o auto-valor de J z de uma
unidade, ou seja:
)
J + j, m = N + jm +1 .
(42a)
(42b)
)
)
o que mostra que (J jm ) tambm auto-funo de J z , porm com
)
)
auto-valor (m1). Assim, J abaixa o auto-valor de J z de uma
unidade, ou seja:
)
J j, m = N jm 1
(42c)
183
------------------------------------------------------------------------------------Exerccio 4.2.6.3 Demonstre a equao (42b).
------------------------------------------------------------------------------------Agora, calculemos os valores de N+ e N . Sendo as funes
jm e jm 1 normalizadas, isto :
( jm , jm )=1
( jm 1 , jm 1 ) = 1 ,
ento:
)
) )
(J + jm , J + jm ) = ( jm , J + jm ) = ( jm , J J + jm ) .
Porm:
) )
)
) )
)
)
) )
) ) )
J J + = (J x iJ y )(J x + iJ y ) = J x2 + iJ x J y iJ y J x + J y2 =
) )
) )
) )
) ) ) )
= J x2 + J y2 + i[J x , J y ] = J 2 J z2 + iiJ z = J 2 J z (J z +1) .
Ento:
)
) )
(J + jm , J + jm ) = ( jm ,[J 2 J z (J z + 1)] jm ) =
)
) )
= jm , J 2 jm ( jm , J z [J z + 1] jm ) =
)
= j( j + 1)( jm , jm ) ( jm , J z [m + 1] jm ) =
184
= j( j + 1) m( m + 1) = j2 + j m 2 m + mj mj =
= j( j m ) + ( j m ) + m ( j m ) = ( j m )( j + m + 1) .
Portanto:
N+
= ( j m )( j + m + 1) .
(43a)
(43b)
) )
momento angular J1 e J 2 , isto :
185
)2
)
J1 j1m1 = j1 ( j1 + 1) j1m1 ; J1z j1m1 = m1 j1m1 ,
(44a,b)
)2
)
J 2 j2 m 2 = j2 ( j2 + 1) j2 m 2 ; J 2 z j2 m 2 = m 2 j2m 2 ,
(45a,b)
(46a,b)
) )
Como os operadores J1 e J 2 atuam em espaos vetoriais
distintos, ento:
) )
[J1i , J 2 j ] = 0 , i, j.
(47)
) )
Definidos os operadores J1 e J 2 , vamos construir um operador
)
(J ) , soma entre eles, isto :
) ) )
) )
)
J = J1 + J 2 ; Ji = J1i + J 2i ; (i = x, y, z).
(48a,b)
)
)
)
)
)
)
)
)
= J1x + J1y + J1x + J 2 y + J 2 x + J1y + J 2 x + J 2 y =
)
)
)
)
)
= iJ1z + iJ 2z = i J1z + J 2z = iJ z ,
)
)
J , J = i)J .
z
x y
186
)J , )J = i )J
ijk k
i j
, (i,j,k = x,y,z) .
(49)
(50a)
)
J z jm = m jm ,
(50b)
)
J jm = ( jmm ) ( jm+1 ) jm1 ,
(50c)
desacopladas
1 m1
e j
2 m2
atravs
de
uma
jm = C j1 j2 j;m1m 2 m j m j
m1 ,m 2
1 1
2m2
(51)
o unitria e j m j
j
j
representa o produto
1 1
m
m
m
2 2
1 1
2 2
direto ou tensorial entre as representaes desacopladas. [Os
coeficientes C.G. tm vrias notaes; adotaremos a notao do Rose
(op. cit.).]
187
Teorema 4.2.7.1 Os nmeros qunticos de projeo (m, m1 e
m2) no so independentes; eles so relacionados atravs de m = m1 +
m2.
Demonstrao:
Tomemos a equao (51) e apliquemos mesma o operador
)
)
J z = J1z + J 2z , isto :
)
) )
J z jm =( J1z +J2z )
m1 , m 2
Sendo j
m
1 1
e j
C( j1 j2 j;m1m 2 m) j1m1 j
2 m2
ento:
)
)
J1z j m j m = J1z j m j m = m1 j m j m ,
1 1
2 2
1 1 2 2
1 1 2 2
)
J 2 z j m j m
1 1 2 2
=
)J
j
m
1 1 2 z j2 m 2
= m
,
2 j1m1 j2 m 2
e
)
J z jm = m jm ,
vir:
m jm =
m1 , m 2
m1 , m 2
188
Como j m j
1 1
2m 2
(mm1m2 ) C(j1j2j;m1m2m) = 0 ,
o que mostra que os coeficientes C.G. so nulos, a menos que:
m = m1 + m2
C.Q.D
(52)
(53a)
ou
(j1 j2 j) Relao triangular,
onde
j1 | m1 | ; j2 | m2 | ; j | m | ,
e
m = j, (j1), ...,
e mais ainda:
j1 + j2
(53b)
j= j1 j2
189
C ( j1 j2 j;m1m 2 m ) C( j1 j2 j';m1m 2 m )= jj' .
m1
Demonstrao:
Apliquemos a equao (51) s funes jm e j'm', e efetuemos
o seu produto escalar. Como tais funes so ortogonais, esse produto
escalar valer:
1/ 2
2 j +1
C( j1 j2 j3 ; m1m 2 m 3 )=( 1) j2 +m 2 3
2 j +1
1
C( j3 j2 j1 ; m 3 m 2 m1 ) ,
(56a)
1/ 2
2 j +1
C( j1 j2 j3 ; m1m 2 m 3 )=( 1) j1m1 3
2 j2 +1
C( j3 j1 j2 ; m 3 m1m 2 ) ,
(56b)
1/ 2
C( j1 j2 j3 ; m1m 2 m 3 ) = ( 1)
j +m
2
2
2 j3 + 1
2j +1
1
C( j2 j3 j1 ; m 2 m 3 m1 ) ,
(56c)
Tais propriedades podem ser demonstradas atravs da frmula
deduzida por E. Racah, em 1942 (Cf. Rose, op. cit.):
( j + j j )!( j + j j )!( j + j j )!
C( j1 j2 j3 ); m1 m 2 m 3 ) = m 3 ,m1+ m 2 ( 2 j3 +1) 1 2 3 3 1 2 3 2 1
( j1 + j2 + j3 +1)!
( 1)
( j1 + j2 j3 + )!( j1 m1 )!( j2 + m 2 )!
!
( j3 j2 + m1 + )! ( j3 j1 m 2 + )! 1 .
(57)
190
------------------------------------------------------------------------------------Exerccio 4.2.7.3 Usando a Frmula de Racah, [equao
(57)], demonstre as equaes (56,a,b,c).
------------------------------------------------------------------------------------Exemplo 4.2.7 Uma partcula de spin 1/2 move-se numa
rbita com = 1. Obter explicitamente as
auto-funes 3/2, 3/2 ; 3/2, 1/2 e 1/2, 1/2 .
Para calcularmos as auto-funes 3/2, 3/2 ; 3/2,
vamos usar a equao (51), isto :
jm =
onde:
C( j1 j2 j; m1m 2 m ) j
m1 , m 2
m j m2
1 1
2
1/2
e 1/2,
1 2
3
C 1
; m1m 2 1m 1 / 2 m .
2
2
m1 , m 2 2 3
1
Sendo:
m1 + m2 = m
e m1 = 1, 0, 1,
vir:
+ C 0 1 1 3 ; 0 3 3 1, 0 1/ 2, 3/2 +
2 2 2 2
+ C 1 1 1 3 ; 1 5 3 1, 1 1/ 2, 5/2 .
2
2
2
2
1/2
191
Ora, como m2 j2 (=1/2), ento C0 = C1 = 0. Portanto:
3/2,3/2 = C1 1,1 1/2,1/2 .
Para calcular o coeficiente C.G. C1, usaremos a condio de
ortogonalidade das auto-funes, isto :
(3/2,3/2 , 3/2,3/2) = 1;
(1,1 , 1/1) = 1;
(1/2,1/2 , 1/2,1/2) = 1 .
Por outro lado, em virtude as auto-funes j1 m 1 e j 2 m 2
situarem-se em espaos vetoriais distintos, teremos:
j m , j m = 0,
2 2
1 1
ento:
(3/2,3/2 , 3/2,3/2) = (C1 1,1 1/2,1/2 , C1 1,1 1/2,1/2) =
= C12 (1,1,1,1 ) (1/ 2,1/ 2 , 1/ 2,1/ 2 ) = C12 =1 C1 = 1 .
Portanto:
(A)
Assim:
192
3 3 3 3
)
J 3/ 2,3/ 2 = + +1 3/ 2,1/ 2 = 3 3/ 2,1/ 2 .
2 2 2 2
Ora:
)
J (1) 1,1 = (1+1) (11+1) 1, 0 = 2 1, 0 ,
)
Portanto:
3 3 / 2,1/ 2 = 2 1, 0 1 / 2, 1 / 2 + 1,11 / 2, 1 / 2 ,
3 / 2,1 / 2 =
1
2 1, 0 1 / 2,1 / 2 + 1,11 / 2, 1 / 2 .
(B)
193
1/ 2,1 / 2 =
1 3
1
C 1
; m1m 2 1m 1 / 2 m 2 .
1
2
m1 , m 2 2 2
Sendo m1 + m2 = m e m1 = 1, 0, 1, vir:
+ C 0 1 1 3 ;0 1 1 1, 0 1/ 2,1/ 2 +
2 2 2 2
+ C 1 1 1 3 ;1 3 1 1, 11/ 2, 3/2 .
2 2
22
(C)
(D)
194
Por outro lado, temos: (3/2,1/2 , 1/2,1/2) = 0 .
Ento, usando-se as expresses (B) e (C), vir:
1
2 1, 0 1/2 ,1/ 2 + 1,11/2, 1/2 , C1 1,11/2 , 1/ 2 + C 0 1, 0 1/ 2,1/ 2
2
3
)(
2
3
C0 +
C1
C1
3
1,1 , 1,1
)(
=0 .
)=
1/ 2 , 1/ 2 , 1/ 2 , 1/ 2
(E)
ento:
1/ 2,1/ 2 = 2 1,11/ 2,1/ 2 + 1 1,0 1/ 2,1/ 2
3
3
(F)
195
4.2.8 Operadores Tensoriais e o Teorema de WignerEckart.
4.2.8.1 Um Operador Tensor Esfrico
Irredutvel de grau (rank) L um
conjunto de 2L+1 funes
Definio
)
TM
L (M = L, L +1,...+ L )
( )
(58)
)
r)
onde R = exp in.J o operador rotao, tal que:
)
' = R ,
e
) )))
)
O' = ROR 1 , (O operador qualquer).
tal que:
196
)
)
)J ,T
M = ( L m M ) ( L M +1 1/ 2 T M1 ,
L
L
(59a)
[)J ,T) ]= T)
(59b)
M
L
M
L .
lmn...
M1 , M 2
)M
)M
C L1 , L 2 L ; M1 , M 2 M T L 2 A1 T L 2 A 2 , (60)
( )
( )
197
com (L1,L2,L) e M = M1 + M2. (Os smbolos A1 e A2 representam
outras variveis das quais os tensores dependem alm de L e M. Por
exemplo, para os harmnicos esfricos, A1,2 representam as coordenadas angulares de um ponto no espao.)
------------------------------------------------------------------------------------Teorema 4.2.8 Teorema de Wigner-Eckart. A depen)
dncia do elemento de matriz j'm ' T M
L jm sobre
os nmeros qunticos de projeo (m,m'), est
inteiramente contida no Coeficiente de ClebschGordan atravs da relao:
)
)
j' m ' T M
L jm = C ( jj' L; mm ' M ) j' TL j ,
onde
(61)
)
j' TL j chamado de Elemento de Matriz Reduzido do tensor
)
TM
L , e j, m, j', m' so nmeros qunticos de momento angular.
Demonstrao:
Tomemos a equao (59b) e calculemos o seu produto escalar
entre os estados | j'm' e | jm . Assim:
) )
)M
j' m ' J z , T M
L jm = j' m ' MT L jm .
198
) )
) M)
)M
)M
j' m ' J z , T M
L T L J z jm = m ' j' m ' MT L jm m j' m ' T L jm =
)
= M j' m ' T M
L jm
(m'-m - M )
)
j' m ' T M
L jm = 0 .
(62)
)
j'm ' T M
L jm =0 , a menos
) 1
j' m ' [(L m M )(L M + 1)]1 / 2 T M
jm .
L
[(
)(
)]1/2
Sendo:
) )
)
j'm ' J = J + j'm' = J m j'm ' ,
)
1 jm .
j'm' T M
L
199
)
j' m' m1 T M
L jm +
)
[( j m m )( j m + 1)]1 / 2 j' m' T M
L jm 1 =
) 1
= [(L m M )(L M + 1)]1/ 2 j' m ' T M
jm .
L
(63)
(J 'm = )J m + L) m ) ,
(64a,b)
(51)
m,M
[( j m )( j m m + 1)]1/ 2
C( jLj' , mMm') jm LM m1 ,
ento:
200
[( j' m')( j'm m '+1)]1 / 2 C ( jLj' , m 'm1) j L =
m,M
(65)
201
Por fim, comparando-se as equaes (63) e (65) v-se que
)
j'm ' T M
proporcional ao Coeficiente de Clebsch-Gordan
L jm
C(jLj',mMm'), ento:
)
j'm' T ML jm = C ( jLj',mMm')
)
j' TL j
C.Q.D.
)
j' TL j , que denominado de Elemento de Matriz
202
------------------------------------------------------------------------------------Exerccio 4.2.8.1 Mostre que um tensor esfrico irredutvel de
grau (rank) 1 relacionado a um
operador vetor (Vx,Vy,Vz), atravs das
expresses:
T11 =
A x + iA y
2
; T 10 = A z ; T11 =
A x iA y
2
PARTE II
CLCULO EXTERIOR
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
= Cnp =
Nind
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
123
= 312
= 1,
123
123
= 1,
= 321
213
113
123
123
= 456
= 0.
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)
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 Diferenci
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)
(Identidade de Jacobi)
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
CURRCULO RESUMIDO
124
CURRCULO RESUMIDO
Mauro Sergio Dorsa Cattani (mcattani@if.usp.br ) nasceu em
Pompia, Estado de So Paulo, no dia 29 de maio de 1942. Em 1963
bacharelouse em Fsica pela Faculdade de Filosofia, Cincias e Letras da
Universidade de So Paulo (FFCLUSP). Em 1964 foi contratado como
assistente do Prof. Csar Lattes na Cadeira de Fsica Superior do
Departamento de Fsica da FFCLUSP. Em 1965 participou da criao de
um Grupo de Geofsica em Salvador, Bahia, no Departamento de Fsica da
Universidade Federal da Bahia. No perodo de 19661968 esteve no
Instituto de Fsica da Universidade de Pisa desenvolvendo sua Tese de
Doutoramento. Obteve os ttulos de Doutor em Fsica em setembro de 1968
e de Livre Docncia em setembro de 1969, ambos no Departamento de
Fsica da FFCLUSP. Em 1970 participou da criao de um Grupo de
Astrofsica no Instituto de Fsica da USP (IFUSP). Em 1972 fez seu
PsDoutoramento no Laboratrio de InfraVermelho da Universidade de
Paris no Campus de Orsay, Frana. Em 1972 foi promovido a Professor
Adjunto do IFUSP. Em 1974 participou da criao de um Grupo de
Plasmas que deu origem ao primeiro Tokamak Brasileiro (TBr 1). Em 1977
foi eleito Membro Titular da Academia Paulista de Cincias do Estado de
So Paulo. Em 1985 tornouse Professor Titular do IFUSP. Aposentou-se
compulsoriamente em 2012. Em 2009 foi eleito Membro Titular da
Academia Paraense de Cincias. Foi Editor Associado da revista Journal of
Quantitative Spectroscopy and Radiative Transfer de 1983 a 1993. Tem
cerca de 165 trabalhos publicados em revistas de mbito internacional.
Orientou 9 doutoramentos e 8 mestrados. Publicou os livros Elementos de
Mecnica dos Fluidos (Edgard Blcher, 1985 e 1990), Aspectos
Contemporneos da Fsica (2000) com J.M.F.Bassalo e A.B. Nassar,
Tpicos da Mecnica Quntica de de Broglie-Bohm ( 2003), com
J.M.F.Bassalo, A. B. Nassar e P.T. S. Alencar.Com J.M.F.Bassalo publicou
Teoria de Grupo e Algumas Aplicaes em Fsica (2005), Forma de
Linhas Espectrais em Gases Neutros, Plasmas Densos e Estabilidade
Quiral (2007), Teoria de Grupos (2008),Osciladores Harmnicos:
Clssicos e Qunticos (2009) Clculo Exterior (2009) e Elementos de
Fsica Matemtica 1, 2 e 3. (2010-2012). Publicou cerca de 40 artigos
sobre Ensino de Fsica (RBEF e IFUSP) e 6 e-books (IFUSP) sobre
Ensino de Fsica & Pesquisa. Tem vrios artigos de divulgao cientfica
publicados no jornal O Estado de So Paulo. O seu currculo vitae integral
pode ser visto no site http://fap.if.usp.br/~mcattani
125