Escolar Documentos
Profissional Documentos
Cultura Documentos
Publicao IF
E-BOOK 1661/2011
04/04/2011
JOS MARIA FILARDO BASSALO
(www.bassalo.com.br)
PROFESSOR TITULAR APOSENTADO DA UFPA
FUNDAO MINERVA
1
Os Autores (Bassalo e Cattani) dedicam este livro, respectivamente, a:
2
PREFCIO DA PRIMEIRA EDIO
Este livro tem o objetivo bsico de colocar o leitor em contato com um dos ramos mais
ativos da Matemtica dos dias de hoje: a Teoria de Grupos e sua aplicao ao estudo da
Fsica.
A importncia do estudo da Teoria de Grupos em Fsica surgiu, basicamente, com o
livro de Hermann Weyl intitulado Gruppentheorie und Quantenmechanic,
publicado em 1928, no qual esse grande matemtico alemo mostra que existe uma ntima
relao entre as Leis Gerais da Teoria Quntica e a Teoria de Grupos ao observar que
todos os nmeros qunticos, com exceo do nmero quntico principal n, so ndices
que caracterizam as representaes de grupo.
Uma das grandes aplicaes prticas da Teoria de Grupos em Fsica vista no livro do
fsico hngaro-norte-americano Eugene Wigner intitulado Gruppentheorie und ihre
Awendung auf die Quantenmechanik der Atomspektren. Nesse livro, publicado em
1931, esse Prmio Nobel de Fsica evidencia que todas as regras da Espectroscopia
Atmica podem ser bem entendidas fazendo-se o estudo das simetrias observadas nos
resultados espectroscpicos. Nesse estudo ele usou a Teoria criada pelo matemtico francs
variste Galois, em 1832.
O grande momento da aplicao em Fsica da Teoria de Grupos em Partculas
Elementares ocorreu em 1961, com a publicao de dois artigos independentes dos fsicos,
o Nobelista norte-americano Murray Gell-Mann e o israelense Yuval Neeman. Nesses
trabalhos, admitindo que a Hamiltoniana de Interaes Fortes fosse invariante pelo grupo
SU (3) eles conseguiram, entre outros resultados, uma classificao coerente dos hdrons
(usando as representaes de octetos desse grupo) e a previso da existncia de novas
partculas elementares, dentre as quais a partcula . Esta partcula foi detectada em
1964, em uma experincia sobre o espalhamento de kons por prtons
( K + p + K + + K o ) realizada por V. E. Barnes et a l . Observe-se que antes, em
1956, o fsico japons Shoichi Sakata havia sem sucesso usado o grupo SU (3) para
classificar as Partculas Elementares. Observe-se ainda que em 1964 Gell-Mann e,
independentemente, o fsico russo-norte-americano George Zweig usaram uma outra
representao do SU (3) (tripletos) para prever a existncia dos quarks. Estes at o
momento no foram observados isoladamente.
Um outro grande momento da aplicao em Fsica da Teoria de Grupos ocorreu no
comeo da dcada de 1970 quando os fsicos norte-americanos, o Nobel Kenneth Wilson e
Michael Fisher aplicaram o Grupo de Renormalizao aos fenmenos crticos
3
(transies de fases), retomando o que havia sido considerado por Gell-Mann e pelo fsico
norte-americano Francis Eugene Low em 1954. Neste livro, contudo, no trataremos desse
Grupo.
De modo geral a aplicao da Teoria de Grupos a problemas fsicos dividida em
dois esquemas: consideraes sobre simetria e consideraes sobre problemas de
autovalores. Como exemplo do primeiro tipo mencionamos o estudo da simetria de um
cristal, de fundamental importncia na Fsica da Matria Condensada (Espectroscopia,
Cristalografia, etc.). No segundo tipo, um exemplo relevante o estudo de invarincias de
equaes de autovalores resultantes de transformaes de coordenadas (translaes e
rotaes).
O presente livro est dividido em 8 Captulos. Nos primeiros trs Captulos,
apresentamos a parte formal da Teoria de Grupos e suas Representaes e nos cinco
Captulos seguintes so discutidas algumas aplicaes Fsica. No Captulo 1 so
estudadas as Definies e os Teoremas fundamentais relativos teoria formal de grupo;
no Captulo 2 so investigadas as Representaes e os Carteres de Grupo, bem como
seus Teoremas Fundamentais como o Lema de Schur. Ainda nesse Captulo,
introduzimos um estudo sumrio das Sries e Coeficientes de Clebsch-
Gordan utilizados no estudo da Teoria do Momento Angular e de suas aplicaes. No
Captulo 3, so discutidos o Grupo de Lie e sua correspondente lgebra de Lie,
de crucial importncia para o estudo da Teoria Quntica de Campo, uma vez que esta
representa o candidato natural para a descrio da Fsica das Partculas Elementares.
Nesses trs primeiros Captulos, visando fixar e compreender os algoritmos da Teoria
de Grupos, mostramos alguns exemplos de sua aplicao. So tambm propostos alguns
exerccios para que o leitor possa exercitar o seu aprendizado.
No Captulo 4 desenvolvida a Teoria do Momento Angular como uma das aplicaes
das Representaes Irredutveis do Grupo de Lie SU(2). No Captulo 5 usamos as
Representaes Irredutveis do Grupo de Lie SU(3) para entender a classificao das
Partculas Elementares, principalmente os modelos de Sakata, do octeto (Gell-Mann e
Neeman) e dos quarks (Gell-Mann e Zweig). No Captulo 6 estudamos os sistemas
Gentilinicos baseados na Estatstica de Gentile, com suas propriedades
fundamentais de simetria descritas pelo Grupo de Simetria Intermedirio S 3 . No Captulo 7
concebendo a hiptese de que quarks sejam gentleons, investigamos a possibilidade de
considerar as partculas elementares como sendo sistemas Gentilinicos. Esses sistemas
teriam simetrias regidas pelos grupos S 3 e SU (3) . Mostramos que, no contexto
gentilinico, o confinamento de quarks previsto como conseqncia de uma regra de
seleo determinada pelo invariante de Casimir da lgebra do grupo S 3 .
Por fim,o livro concludo com o Captulo 8 onde apresentamos, brevemente, uma das
mais importantes aplicaes da Teoria de Grupos que a Teoria de Gauge, usada para
descrever as interaes fundamentais da Natureza. Mostramos tambm, com uma aplicao
4
simples da referida teoria, que o Efeito Aharanov-Bohm pode ser explicado pela
invarincia de gauge do Eletromagnetismo.
Queremos agradecer ao professor Francisco Pereira Assuno, Diretor do Centro de
Cincias Exatas e Naturais da Universidade Federal do Par (CCEN/UFPA), ao
professor Manoel Janurio da Silva Neto, Chefe do Departamento de Fsica da UFPA
(DF/UFPA), s Sras. Walquria Lima Souza do Sacramento e Antonia Zeile Santana
Pereira, da Diviso de Administrao do CCEN/UFPA, pelo apoio material para a edio
deste livro.
Agradecemos, tambm, Universidade de So Paulo (USP) e ao Conselho
Nacional de Desenvolvimento Cientfico e Tecnolgico (CNPq), pelo apoio financeiro
para a publicao do livro.
5
PREFCIO DA SEGUNDA EDIO
6
SUMRIO
CAPTULO 1 / 1
Grupo / 1
CAPTULO 2 / 35
Representaes de Grupos / 35
CAPTULO 3 / 99
7
3.2 Exemplos de Grupos de Lie / 101
CAPTULO 4 / 159
CAPTULO 5 / 211
8
5.2 SU(2) e os Multipletos de Isospin / 214
CAPTULO 6 / 317
9
6.4 Sistemas Compostos por N Partculas Idnticas. O Princpio Estatstico / 326
CAPTULO 7 / 373
CAPTULO 8 / 381
REFERNCIAS / 395
10
11
CAPTULO 1
Grupo1
1
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
an * am = an+m ,
(an)m = anm .
-------------------------------------------------------------------------------------
1.2 Exemplos de Grupos
a) Conjunto ZZ . O conjunto dos inteiros positivos e
negativos forma um grupo infinito Abeliano em relao adio, pois:
cos( 2 + 1 ) sen ( 2 + 1 )
= R ( 2 + 1 ) .
sen ( 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 sen 0 o 1 0
R (0) = o
= .
0 1
o
sen 0 cos 0
------------------------------------------------------------------------------
Exerccio 1.2.2 Demonstre as propriedades II, III e IV do
grupo 0 (2).
-------------------------------------------------------------------------------------
1
= 1 v 2 ; = v .
2 2 1
= (1 2 ) 2
c c
x' v x x
= L( v ) .
t' v t t
2
c
2 2 c 1 11c
L2L1 = 2 =
2 2 11
2 1
c c
+ 2 11c 2 1 2 c
= 2 1 2 1 2 1 =
2
2 1 2 1 1 2 1 21 + 2 1
c c
(1 + 2 )c
1
1 + 21
= [21 (1+2+1)] . .
1
(1 + 2 )
c 1
1 + 21
v1 + v 2
v3 = ,
v1v 2
1+ 2
c
portanto:
1 1
2 1 (1 + 21 ) = . (1 + 21 ) =
2 2
1 2 1 1
v1v 2 v1v 2
1+ 1+
= c2 = c2
2 2 2 2 2 2
v v v1 v v v
(1 22 ) (1 12 ) 1 ( + 22 1 4 2 )
c c c2 c c
Portanto:
1
21 (1 + 2+1) = = 3 .
v 2
1 32
c
Por outro lado, temos:
1c + 2 c v + v2
= 1 = v3 ,
1 + 21 v1v 2
1+ 2
c
8
2 1 1
+ ( v 2 + v1 )
c c = c2 v
= 23 .
1 + 21 v v c
1 + 22 1
c
1 2 3 ... n
P = (P1 P2 P3 ... Pn).
P1 P2 P3 ... Pn
1 2 3 4 5
(a b c d e ) = (e a b c d ) .
5 1 2 3 4
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
Da definio acima, fcil mostrar que (P 1 ) = P .
1 2 3 1 2 3
P1 = e P2 = ,
2 1 3 1 3 2
ento:
1 2 3 1 2 3 1 2 3
P1P2 = = .
2 1 3 1 2 3 3 2 1
1 2 3 4 5 1 2 3 4 5
(a b c d e ) =
2 4 1 5 3 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
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 1 2 3 4 5 1 2 3 4 5
= .
2 4 1 5 3 5 1 2 3 4 1 3 5 4 2
1 2 3 ... n
E= .
1 2 3 ... n
------------------------------------------------------------------------------
Exemplo 1.2.1 Mostre que o conjunto de permutaes S3
forma um grupo.
------------------------------------------------------------------------------
O grupo S3 formado pelos seguintes elementos:
1 2 3 1 2 3 1 2 3 1 2 3
E = ; P1 = ; P2 = ; P3 = ;
1 2 3 2 1 3 1 3 2 3 2 1
1 2 3 1 2 3
P4 = e P5 = .
3 1 2 2 3 1
a) Propriedades de Fechamento:
1 2 3 1 2 3 1 2 3
P1P1 = = =E;
2 1 3 2 1 3 1 2 3
12
1 2 3 1 2 3 1 2 3
P1P2 = = = P4 ;
2 1 3 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;
b) Propriedade Associativa:
(P1P2) P3 = P1 (P2P3).
c) Elemento Unidade:
13
1 2 3 1 2 3 1 2 3
P1E = = = P1 ,
2 1 3 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) .
Assim, por exemplo, usando a Definio 1.2.2, vir:
P41 P4 = P4P4-1 = E ,
1
1 2 3 1 2 3
P41 = = = P5 .
3 1 2 2 3 1
P4-1 P4 = P5 P4 = E; P4 P4-1 = P4 P5 = E .
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 4 5
= (1,3) (2,4,5) = (2,4,5) (1,3).
3 4 1 5 2
Pois, como vemos, na permutao considerada existem duas
permutaes cclicas entre os nmeros 1 e 3, e 2,4 e 5 respectivamente,
ou seja: (1,3) e (2,4,5) (5,2,4) (4,5,2). Vejamos outros exemplos:
1 2 3 4 5 6
= (1,3,4) (2,5,6) = (2,5,6) (1,3,4) ,
3 6 4 1 2 5
1 2 3 4 5 1 2 3 4 5 1 2 3 4 5
, 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.
-------------------------------------------------------------------------------------
* E A B
E E A B
A A
B B
17
* E A B (E*A)*B = A*B = E ,
E E A B E*(A*B) = E*E = E .
A A B E
B B E A
-------------------------------------------------------------------------------------
Exerccio 1.3.1 Construa as possveis tabelas de multiplica-
o do grupo G = {E,A,B,C} {G,*},
indicado abaixo:
* E A B C
E E A B C
A A
B B
C C
-------------------------------------------------------------------------------------
Definio 1.3.1 Seja x qualquer elemento de um grupo. A
seqncia: E, x, x2, x3,...., xn = E denominada perodo de x e n
chamado a ordem de x.
fcil ver que o perodo de x forma um grupo Abeliano,
chamado Grupo Cclico, sendo que x chamado o gerador desse
grupo. s vezes, um nico elemento no suficiente para gerar o
grupo todo, precisando-se, ento, de mais de um gerador. Assim, ao
nmero mnimo de geradores requeridos para definir a estrutura do
grupo chamamos de grau (rank) do grupo. Ao conjunto mnimo dos
18
* 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
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 } .
a) * E A B C
E E A B C
A A B C E
B B C E A
20
C C E A B
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.
-------------------------------------------------------------------------------------
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 ; EP5 = P5; P4P5 = E;
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
P1 E = P1 P2 E = P2 P3 E = P3
a1H = P1 P4 = P2 ; a 2 H = P2 P4 = P3 ; a 3H = P3P4 = P1 .
PP =P P P = P P P = P
1 5 3 2 5 1 3 5 2
Portanto:
G S3 = H + a1 H = H + a2 H = H + a3 H,
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
5 1 2 5 2 3 5 3 1
Portanto:
G S3 = H + Ha 1 = H + Ha 2 = H + Ha 3 ,
a -1 = b (ou -1 a = b),
a.3) C P
2
a.4) C P
3
De maneira anloga ao caso de C P , fcil ver que:
1
a.5) C P
4
Portanto:
C P = {P4, P5} .
4
27
a.6) C P
5
De maneira anloga ao caso anterior, fcil ver que:
C P = C P = {P4, P5} .
5 4
Esses resultados, mostram que:
G S3 = E + C P + C P = E + C P + C P = E + C P + C P =
1 4 2 4 3 4
= E + CP + CP = E + CP + CP = E + CP + CP .
1 5 2 5 3 5
EEE 1 = E
EHE = EP4 E 1 = P4
1 1
EHE H
EP E 1 = P
5 5
P1EP11 = E
P1HP11 = P1P1P4 1 = P5 1
P1HP1 = H
P P P 1 = P
1 5 4 4
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 ; P2 H = {P2 , P3 , P1}; P3H = {P3 , P1 , P2 } ;
P P = P P4 H = {P4 , P5 , E}; P5 H = {P5 , E, P4 }
1 5 3
r r r
v R 2 v 1 = R 2 , onde v R 3 .
r
Tomemos, agora, um vetor z pertencente ao R3 e que esteja
situado no eixo dos z. Ento, o conjunto de vetores formado pela soma
r r
vetorial de z com vetores do R2, ou seja, z + R 2 uma classe lateral
(coset) de R3. Esse conjunto representado por todos os vetores que
tm suas extremidades situadas em um plano z perpendicular ao eixo
dos z e paralelo ao plano xoy, conforme mostra a figura. Assim, cada
um desses planos corresponde a uma classe lateral (coset) de R3 e
forma uma srie contnua.
O grupo fator de R3 constitudo pelas projees dos vetores
pertencentes s classes laterais (cosets) no eixo oz, ou seja, o
elemento Fz do grupo fator obtido desprezando-se os vetores
30
r r r
(
v v' v' ' K mod R 2 . )
Essa notao significa que esses vetores so iguais, se
desprezarmos o vetor diferena que est situado no plano z. Assim, o
grupo fator ser R3/R2 = OZ R1.
Outro exemplo: P4 P3 = P2
Representaes de Grupo1
1
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
D (R) = S1 D (R) S.
D = a D( ) ,
1, se G n G j = G i
D i j (G n ) = ,
0, se G n G j G i
E P1 P2 P3 P4 P5
E E P1 P2 P3 P4 P5
P1 P1 E P4 P5 P2 P3
P2 P2 P5 E P4 P3 P1
P3 P3 P4 P5 E P1 P2
P4 P4 P3 P1 P2 P5 E
P5 P5 P2 P3 P1 E P4
ento:
ento:
D (P1) = 1.
Analogamente:
D (P2) = D (P3) = 1.
ento:
logo:
1 i
D (P4 ) = 3 1 = 1, t , t 2 , onde: t = + 3.
2 2
Analogamente:
D (P5 ) = D (P4 ) = 1, t, t 2 .
ento:
D (P1P3) = D (P5) = 1,
v-se, ento, que das trs solues de D(P4) = D(P5), apenas a soluo
1 satisfatria. Assim, temos apenas duas representaes uni-
dimensionais de S3:
1 0
Sendo D(2) (E) = I, ento D (2) (E) = .
0 1
6
ento:
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:
a2 + bc = 1 a2 =1 a = 1.
Por outro lado, temos:
bc + d2 = 1 d2 = 1 d = 1.
7
1 0 1 0 1 0
; ; .
0 1 0 1 0 1
-1 0
D(2) (P2 ) = .
0 1
1 0 -1 0
D(2) (P1 ) = e D(2) (P3 ) = ,
0 -1 0 -1
Ora:
1 0 1 0 1 0
D (P1) D (P3) = = = D (P2) D (P5).
0 1 0 1 0 1
Ora:
1 0 1 0 1 0
D (P2) D (P3) =
= = D (P1) D (P4).
0 1 0 1
0 1
Por fim:
8
Ora:
1 0 1 0 1 0
D (P2) D (P1) =
= = D (P3) D (P5).
0 1 0 1
0 1
1 0 1 0 1 0
D ( P2 ) = ; D ( P1 ) = ; D ( P3 ) = .
0 1 0 1 0 1
1 0 1 0 1 0
D (P2 ) = ; D (P1 ) = ; D (P3 ) = .
0 1 0 1 0 1
-1 0 1 0
D (P2 ) = ou D (P2 ) = ou
0 1 0 -1
-1 0
D (P2 ) = .
0 -1
1 0
D3 (P4) = D3 (P5) = D (E) = .
0 1
Tomemos, portanto:
a b
D (P4 ) = .
c d
1 1 d -b a c
Di-1j (P4 ) Cof D j i = = .
detD (ad-bc) -c a b d
Portanto:
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 a b
D (P4 ) = ou D (P4 ) = .
-b a c -a
Escolhendo:
a b
D (P4 ) = .
-b a
Sendo, ainda:
3
3 a b 1 0 2 2
D (P4) = I, ento: = , com a + b = 1,
-b a 0 1
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.
1
3a2 = b2 = 1 a2 4a2 = 1 a = .
2
1 1
3 = b 2 b = 3.
4 2
1 9 8 1
a = 1 a = 1 a = .
4 4 4 2
1
Finalmente, escolhendo b = 3 , teremos:
2
1 -1 - 3
D (P4 )= .
2 3 -1
12
Sendo:
1 0 1 -1 3
D3 (P5 )= , ento D (P5 )= ,
0 1 2 - 3 -1
1
j que tomamos b = 3.
2
Anteriormente, vimos que D (P2) tem trs possibilidades.
Vamos escolher a seguinte:
-1 0
D (P2 )= .
0 1
a b -1 0 1 -1 - 3 1 1
=
a = ; b= 3;
c d 0 1 2 + 3 -1 2 2
1 1
c= 3 e d = , ento:
2 2
1 1 - 3
D (P1 ) = .
2 - 3 -1
Por fim:
-1 0 a b 1 -1 - 3 1 1
= a= ; b=
3;
0 1 c d 2 3 -1 2 2
1 1
c= 3 e d = - , ento:
2 2
1 1 3
D (P3 )= .
2 3 -1
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 tridimen-
sional e regular para o grupo alternativo A3.
-------------------------------------------------------------------------------------
1, se G n G j =G i
Dij(3) {G n }=
0, nos demais casos.
Portanto [vamos descarregar o ndice (3)]:
15
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.
1 0 0
(3)
D (G1 )= 0 1 0 .
0 0 1
0 0 1 0 1 0
(3) (3)
D (G 2 )= 1 0 0 e D (G 3 )= 0 0 1 .
0 1 0 1 0 0
-------------------------------------------------------------------------------------
Exerccio 2.1.4 a) Calcule D (G2) e D (G3) do
Exemplo 2.1.2;
b) Encontre uma representao 6
dimensional regular para S3;
c) Encontre representaes
equivalentes da representao regular de A3, para:
1 0 0 0 1 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:
ento:
(OSOR) OT = OS (OROT).
OE E.
ento:
O R 1 O R = E O R -1 [O R ]1 .
r r n r
O R i (x) i (Rx) = D j i ( R ) j (x) (i = 1, 2, ..., n) ,
j=1
Calculemos:
r r n r
O S O R i ( x ) = O S i (Rx) = O S D j i (R) j ( x ) =
j=1
n r n 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 r n 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
Assim:
n r n 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:
4
O R 1 1 = D j l (R1 ) j O R 1 (x, y) = (x, y) = 1 .
j=1
Assim:
19
1 = D11 (R 1 ) 1 + D 2 1 (R 1 ) 2 + D3 1 (R 1 ) 3 + D 4 1 (R1 ) 4 .
Portanto:
4
O R 1 2 = D j 2 (R1 ) j O R 1 (y,-x) = (y,-x) = 2 ,
j=1
Portanto:
1 0 0 0
0 1 0 0
D(4) (R1 ) = E.
0 0 1 0
0 0 0 1
4
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 .
4
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.
e
4
O R 2 4 = O R 2 (-y, x) = ( x , y) = 1 = D j 4 (R 2 ) j
j=1
ento:
0 0 0 1
1 0 0 0
D(4) (R 2 )= .
0 1 0 0
0 0 1 0
-------------------------------------------------------------------------------------
Exerccio 2.1.5 a) Encontre D (R3) e D (R4) do Exemplo
2.1.4;
b) Mostre que o operador H para um
potencial Coulombiano invariante por uma reflexo em torno da
origem;
c) Mostre que {OR} e {R} so
Homeomrficos.
-------------------------------------------------------------------------------------
Demonstrao:
Assim:
22
D+ (R) A+ = A+ D+ (R).
Portanto:
D1 (R) A+ = A+ D1 (R).
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).
A = A + + iA - , onde:
1 1
A+ =
2
( )
A + A + = A ++ ; A = (A A + ) = A + .
2 i
Portanto:
23
onde:
D (R) D+(R) = E; H = H+.
HD = U H U1.
= U H U 1 U D (R) U 1 = H D D (R),
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.
Portanto:
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:
ou:
[D (R)A ]+ = [AD' (R)]+ A + D + ( R ) = D' + (R) A + .
25
Portanto, T G, temos:
D (T) A = A D' (T)
ou A ik A* jk = 0.
k
2
A ik = 0 A ik = 0 , i, k .
k
fcil ver que: AA+ BB+. Ento, sendo AA+ = E detA detA+ =
det B detB+ = 0, pois det B = 0, ento:
()
Die (R) Dmj() (R1) = Die ()
(R) D*jm() (R) =
R R
g
= ij em ,
n
27
Demonstrao:
Como podemos multiplicar matrizes quadradas de ordens
diferentes, vamos, portanto, construir a seguinte matriz:
A = D()(R) B D+()(R) ,
R
logo:
D()(S) A = D()(S) D()(R) B D()(R1)D()(S1)D()(S) .
R
Ora,
R1 S1 = (SR)1, ento:
Portanto:
D()(S) A = D ()(R) B D + ( ) (R) D() (S).
R
A = 0, logo:
D ij( ) (R ) D l+m( ) (R ) = 0 .
R
im = D ij( ) ( R ) D l+m( ) ( R ) .
R
n n
( ) + ( )
D ij (R ) D li (R ) = ii = n .
R i =1 i =1
n n
( ) + ( ) ( ) 1( )
D ij (R ) D li (R ) = D ij ( R )D li (R ) =
R i =1 R i =1
n n
= D ij( ) (R ) D (li ) (R 1 ) = D l(i ) (R 1 )D ij( ) (R ) =
R i =1 R i =1
= D() (E)j = gj .
R
Assim:
g
n = g j = lj ,
n
30
e
g
D ij( ) (R ) D l+m( ) ( R ) = lj im .
R n
g
D ij( ) (R ) D l+m( ) (R ) = j im . C.Q.D.
R n
N
n12 + n22 + n32 + . . . = n 2 ,
=1
N 2
n g.
=1
------------------------------------------------------------------------------------
Exerccio 2.2.1 Demonstre a Relao de Completeza para as
representaes de um dado grupo:
N n
n n *( )
D ij( ) ( R ) D ij (R ' ) = RR ' .
=1 i , j=1 g g
-------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------
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.
g
D ij ( ) (R ) D l+m( ) (R ) = im j .
R n
( ) ( ) g
D ii ( R ) D + ll ( R ) = .
R i l n i l il
g 2
X ( ) (R) X + ( ) (R) = (i) .
R n i,l
Sendo:
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
S
X ( ) ( C k ) X *( ) ( C k ) c k = g =
k =1
. C.Q.D.
S ck ck
= X ( ) (C k ) X *( ) (C k ) =
k =1 g g
a) n 2 = g ,
Demonstrao:
Parte a:
D (R) = a D ( ) (R ) .
Xj (Ck) = a X j( ) (C k ) .
X j (C k ) X j*( ) (C k ) c k = a X j ()
(C k ) X j*( ) (C k ) c k
k k
X j (C k ) X j*( ) ( C k ) c k = g a = ga ,
k
1 1
a = X j (C k ) X j*( ) (C k ) c k = X (R ) X*() (R ) .
g k g R
35
1, se G G j = G i ,
D ij( reg) (G ) =
0, nos demais casos.
1 1
a =
g
X(R) X
R
*()
(R) =
g
X
R
(reg)
(R) X*() (R) =
1
= g X*() (E) a = n
g
Xj (R) = a Xj()(R) ,
ento:
N
Xj(reg) (R) = a Xj()(R) .
=1
36
N N
g = a Xj()(E) = a n ,
=1 =1
N
g = n2 . C.Q.D.
=1
-------------------------------------------------------------------------------------
Exerccio 2.3.1. Demonstre:
a) O item b) do Teorema 2.3.2;
b) O Teorema da Completeza:
N
c l X *( ) ( C k )
X (C) c k = g kl
=1
ou:
c l ( ) c k *( )
X (C l ) X (C k ) = kl ,
g g
c) N j X ( ) (C j ) N k X ( ) (Ck ) = l i C j k l N l X ( ) (Cl ) .
l
-------------------------------------------------------------------------------------
Exemplo 2.3.2 Estude a decomposio em representaes
irredutveis do grupo S3.
-------------------------------------------------------------------------------------
Os elementos do grupo S3 so: E, P1, P2, P3, P4 e P5. Ento,
sendo:
37
N
g = n 2 , logo: 6 = 12 + 12 + 22,
n =1
1 2 3
a) Elemento E = .
1 2 3
1 0 0
D (E) = 0 1 0 ,
0 0 1
1 2 3
b) Elemento P1 = .
2 1 3
A B C a b
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
Ga + Hb + Ic = c E = F = G = H = 0.
ento:
38
0 1 0
D (P1 )= 1 0 0 .
0 0 1
1 2 3
c) Elemento P2 = .
1 3 2
a a 1 0 0 a a
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
a c 0 0 1 a c
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
a c 0 0 1 a c 0 0 1
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
a b 0 1 0 a b 0 1 0
D (P5 ) b = c 0 0 1 b = c D (P5 ) = 0 0 1 .
c a 1 0 0 c a 1 0 0
CLASSE ELEMENTOS X
C1 E 3
3C2 P1, P2, P3 1
2C3 P4, P5 0
D (R) = a D ( ) (R) ,
ou:
1
a = X j (C K )X j*( ) (Ck ) ck .
g k
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
-------------------------------------------------------------------------------------
Exerccio 2.3.2 Estude a decomposio das representaes
irredutveis de uma representao 6-
dimensional regular do grupo S3.
-------------------------------------------------------------------------------------
Exemplo 2.3.3 Verifique as relaes de ortogonalidade e de
completeza para os caracteres das
representaes irredutveis do grupo S3.
-------------------------------------------------------------------------------------
As relaes de ortogonalidade e de completeza dos
caracteres de um grupo so dadas, respectivamente, por:
41
S
X ( ) (C k ) X *( ) (C k ) c k = g , (Teorema 2.3.1)
k =1
N cl ( ) c
e X (Cl ) k X *( ) (Ck ) = k l . (Exerccio 2.3.1.b)
=1 g g
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:
b) Relaes de Completeza
c1 (3) c2 *(3) 1 3 1 3
+ X (C1 ) X (C 2 ) = 1 1 + 1 (-1) +
g g 6 6 6 6
1 3 3 3
+ 2 + 0= - = 0 = 1 2 ,
6 6 6 6
c1 (3) c3 *(3) 1 2 1
+ X (C1 ) X (C3 ) = (+1) 1 + 1
g g 6 6 6
2 1 2 2 2 2 2
1 + 2 (-1) = + - = 0 = 1 3 ,
6 6 6 6 6 6
43
c 2 (3) c3 *(3) 3 2 3
+ X (C2 ) X (C3 ) = (+1) (+1) + (-1)
g g 6 6 6
2 3 2 6 6
1 + 0 m (-1)= - + 0 = 0 =2 3 ,
6 6 6 6 6
c2 (3) c2 *(3) 3 3 3
+ X (C2 ) X (C2 ) = 1 1 + (1)
g g 6 6 6
3 3 3 3 3
( 1) + 0 0 = + = 1 = 2 2 ,
6 6 6 6 6
c3 (3) c3 *(3) 2 2 2 2
+ X (C3 ) X (C3 ) = 1 1 + 1 1 +
g g 6 6 6 6
2 2 2 2 2
+ (-1) (-1) = + + = 1 = 3 3 .
6 6 6 6 6
Como:
n! 4!
N= = =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
n1 = n2 = n3 = 1 e n4 = 3.
gm = I (m ordem).
1m 0 0 ... 0 1 0 0 ... 0
0 2m ... 0 0 1 0 ... 0
............................... = ...................... .
0
0 m
... n 0 0 0 ... 1
n
X(g) = Tr D(g) = k .
k =1
C2 = {A,B,C} A2 =
1 2 3 4 1 2 3 4 1 2 3 4
= A2 = AA = = = I ,
2 1 4 3 2 1 4 3 1 2 3 4
1 2 3 4 1 2 3 4 1 2 3 4
B2 = BB = = = I ,
3 4 1 2 3 4 1 2 1 2 3 4
1 2 3 4 1 2 3 4 1 2 3 4
C2 = CC = = = I ,
4 3 1 2 4 3 2 1 1 2 3 4
ento, a ordem de C2 2.
48
1 1 1 + X(2) (C2) 1 3 + 1 4 + 2 1 4 = 0,
1 + 3 X(2) (C2) + 4 + 42 = 0.
Sendo:
3
= exp(2i/3) = ei120 = cos 120 + i sen 120 = 1 + i ,
2 2
3
2 = exp(4i/3) = ei240 = cos 240 + i sen 240 = 1 i .
2 2
Ento:
49
1 3 1 3
3X(2) (C2) = 4 ( + 2) 1 = 4 ( +i i ) 1 = 3,
2 2 2 2
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)
X (C1) X* (C1) c1 + X(4) (C2) X* (C2) c2 +
(1) (1)
+ X(4) (C3) . X* (C3) c3 + X(4) (C4) X* (C4) c4 = g 41 = 0,
3 + 3X + 4Y + 4Z = 0 , ()
(4) (2) (2)
X (C1) X* (C1) c1 + X(4) (C2) X* (C2) c2 +
(2) (2)
+X(4) (C3) . X* (C3) c3 + X(4) (C4) X* (C4) c4 = g 42 = 0,
2
311 + X13 + Y * 4 + Z( )* 4 = 0.
1 3 2
= i = ,
2 2
e
2
( )* = [exp(240i)]* = exp(240i) = cos 240 i sen 240 =
1 3
= +i = .
2 2
Assim:
2
3 + 3X + 4Y + 4Z = 0 . ()
(4) (3) (3)
X (C1) X* (C1) c1 + X(4) (C2) X* (C2) c2 +
(3) (3)
+ X(4) (C3) X* (C3) c3 + X(4) (C4) X* (C4) c4 = g 43 = 0 ,
2
311 + X13 + Y( )* 4 + Z*4 = 0,
51
2
3 + 3X + 4Y + 4 Z = 0 . ()
A soluo do sistema de equaes (), () e (), fornece:
X = 1; Y = Z = 0 .
Assim, a tabela final de carteres de A4 ser:
-------------------------------------------------------------------------------------
Exerccio 2.3.4 Encontre as classes do grupo A4 utilizando o
Exemplo 2.3.4.
-------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------
Exemplo 2.4.1 Efetue o Produto Direto entre as matrizes
A(2x3) e B(3x2).
-------------------------------------------------------------------------------------
b11 b12
a 11 a12 a13
AB= x b 21 b 22 =
a 21 a 22 a 23
b 31 b 32
-------------------------------------------------------------------------------------
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 =
,
(A B) (A 1 B1 ) = (AA1 ) (BB1 ) = E m E n E mn
(E Matriz Unitria).
(A B)1 = A 1 B1.
-------------------------------------------------------------------------------------
Exerccio 2.4.2
a) Verifique que:
(A B)+ = A + B+ ;
Demonstrao:
D ( ) (RS) = D( ) (R ) D( ) (S) ,
e
D ( ) (RS) = D( ) (R ) D( ) (S) .
D ( x ) (R ) = D( ) (R ) D( ) (R ) ,
ento:
Assim:
a) D( ) ( R ) D( ) ( R ) = D( ) ( R ) D( ) ( R ) ;
Demonstrao:
Seja:
x )
D( = D(
)
(R) (R) D( ) ( R ) .
Ento :
[D ( x ) (R )] jp,kq =[D ( ) (R )] jk [D ( ) (R )] pq .
56
Portanto:
( x )
D ( R ) = D( ) ( R ) D ( ) ( R ) ,
jj pp
j,p jp, jp
X ( x ) (R )= X ( ) (R ) . X ( ) (R ) . C.Q.D.
n
O R = D (R ) ,
=1
Definio 2.5.1
a) Uma funo dita invariante pela transformao OR,
se e somente se:
O R (x ) = (x ) ou (x ) = (Rx ) ;
57
[H, OR ] = 0 .
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
-------------------------------------------------------------------------------------
Exerccio 2.5.1 Sejam D() (R) e D() (R) duas
representaes irredutveis de um
mesmo grupo G, de dimenso n e n,
respectivamente. Sejam as bases das
mesmas dadas por:
n ( ) n ( )
x i '= D ij (R ) x j e y k '= D kl (R ) y l .
j=1 l=1
Demonstre que:
58
( x ) (R ) x y .
x i ' y k ' = Dik , jl j l
j, l
e2 e2
V= = 1
.
r (
x 2 + y2 + z 2 ) 2
H n = En n ,
ou
h2 2 2 2 e2
+ + = E .
2m x 2 y 2 z 2 x 2 + y 2 + z 2 1 / 2
( )
V-se, pela equao acima, que H invariante pelo grupo
de rotaes OR, em torno da origem. Ento:
[H, O R ] = 0 ,
logo:
H (O R ) = E (O R ) .
2 e2
H = E , onde: H = H1 + H 2 = h 1
.
2m
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:
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 )
so invariantes por rotao em torno da origem, ento:
[H1, O R ] = 0 e [H 2 , O R ] = 0 .
60
D (j1 x 2 ) = D j 1 D j 2 ,
D(R ) = a D( ) (R ) ,
onde D ( ) (R ) so representaes irredutveis do grupo G (R ) , sendo
1 *( )
a = X j (R ) X j (R ) . (Teorema 2.3.2.b)
g R
D ( ) (R ) D( ) (R ) = D( x ) (R ) ,
e
X ( ) (R ) X ( ) (R ) = X ( x ) (R ) .
Portanto:
D ( ) (R ) D( ) (R ) = a D( ) (R ) ,
com:
1
a ( ) = X ( ) (R ) X ( ) (R ) X*( ) (R ) ,
g R
61
a) ( ) = ( ) ;
b) Se X (R ) = X* (R ) R ; ento ( ) totalmente
simtrico;
c) O produto direto de duas representaes irredutveis de
dimenses n1 e n2 (n1 n2), no pode conter representaes de
dimenso menor que n1/n2.
-------------------------------------------------------------------------------------
Definio 2.6.2 Dadas duas representaes D ( ) (R ) e D ( ) (R )
e suas respectivas bases ( ) ( j=1, 2,..., n ) e ( ) (l =1, 2,..., n ) . Se
j l
s ( )= (l ) < j ;l | s > ,
j,l
-------------------------------------------------------------------------------------
Exerccio 2.6.2 Mostre que:
a) (j ) (l ) = s ( ) < s | j ; l > ;
, ,s
62
b) < ' ' ' s' | j ; l > < j ; l | s > = ' ' ' ss' ;
j, l
d.2) < j ; l | ' ' ' s' > * < j ; l | > = ' ' ss ' ;
j, l '
( ) <
D s 's s | j ; l > .
-------------------------------------------------------------------------------------
CAPTULO 3
ou
c = (a;b),
I) Dado
x i = f ( x , a ) = f [f(x;a; a )] = x,
xi = fi (x;a) e x i = fi ( x ;b) ,
ento:
x i = fi (x;c) , com c = (a;b),
xi = f (x; ao) = x .
------------------------------------------------------------------------------
Exerccio 3.1.2 Mostre que:
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
a + b ac+ bd
2 2 1 0 ac+ bd = 0
=
2 2
ac+ bd b + d 0 1 ac+ bd = 0
c 2 + d 2 =1.
cos sen
0 2 (2) = .
sen cos
------------------------------------------------------------------------------
Exerccio 3.2.1 Encontre:
I. A forma do grupo 0+ (3) para rotaes em torno dos
eixos x,y,z respectivamente;
II. As seis (6) condies impostas aos seus elementos,
devido a sua condio de ortogonalidade.
------------------------------------------------------------------------------
x a b x a b a* c* 1 0
= , com : = ,
y c d y c d b* d* 0 1
96
det L(v) = +1 ; 44 1,
98
------------------------------------------------------------------------------
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.
------------------------------------------------------------------------------
Se:
x i = x i + d x i
onde:
r
dx i = M ik (x') a k
k =1
e
f i ( x i ';a )
M ik ( x ')= ,
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
l (a ,b )
lm = .
bm b =0
ento:
r
dx i = M ik (x') kl (a) da l ,
k,l =1
ou:
x i r
a i
= M
k =1
ik (x') kl (a).
n F
dF = dx i .
i =1 x i
n F n r n
dF = M il (x) a l = a l M il (x) F ,
i =1 x i l =1 l =1 x =1 x i
ou:
r
dF = a l x l F ,
l =1
101
onde:
n
x l = M il (x) , (l =1, 2,..., r ) ,
i=1 x i
r
F' = 1 + x l a l F .
l = 1
y' = x + y = f2 (x,y;) .
Portanto:
f i ( x , y; )
M il ( x , y ) = .
f1 f
M11 (x,y) = = y , M21 (x,y) = 2 = x .
Portanto:
2
X1 = M i1 (x, y) ,
i=1 x i
X1 = M11 + M12 ,
x 1 x 2
X1 = y x
x y
.
Sendo:
r
dF = X a F , portanto:
l =1
dx = (y x ) x = y ,
x y
dy = (y x ) y = x .
x y
Ora:
103
dx = x' x = y
dy = y' y = x ,
o que concorda com o resultado anterior.
[X , X ] = C
X , (, = 1,2,...,r),
onde C
so chamadas as Constantes de Estrutura do Grupo
de Lie.
Demonstrao:
ak = k (a) a ,
da = m (a) am ,
com:
104
Seja:
x r
= yrs (a1,a2,...,am ; x1,x2,...,xn), ()
a s
onde:
r = 1,2,,n ; s = 1,2,,m .
Assim:
Yrs Y
dYrs = da + rs dx .
a x
Portanto:
Ora:
a
= l , ento:
al
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
isto :
Yim Yim Y Y
+ Yl = il + il Ym . (m l) ( )
a l x a m x
Sendo:
x i
Yim = M ik ( x ) km (a ) .
a m
= ( M i l ) + ( M i l ) M s sm ,
a m x
106
M ik km + ( km M ik ) M r rl =
a l x
l
= M i + ( l M i ) M s sm ,
a m x
ou:
km l M ik M i
M ik M i + M r rl km M s sm l = 0.
a l a m x x
km kl M ik M ik
M ik ( ) + M r rl km M s sm kl = 0.
a l a m x x
kl M ik
M ik km
+
M r x
a a m m l m rl km
l
M ir
M k =0 .
x
Sendo:
r l l = r e km m = k ,
teremos:
M ik M ir
Mik Ck + r k (Mr M k ) = 0,
x x
M i M i
M M =C k ( a ) M ik ( x ) . ( )
x x
C k (a )
M ik =0 . (k, , , =1, 2, ..., r )
a
C k (a) = 0 C
k (a) CONSTANTES!!
a
k
Essas constantes C (a) so chamadas de Constantes
de Estrutura do Grupo de Lie.
108
X l = M il (x) .
x i
(l =1, 2, ..., r ).
Calculemos, agora, o comutador entre esses geradores.
Assim:
[X l , Xm] = X l Xm Xm X l =
= M il (M jm ) M jm (M il )=
x i x j x j x i
M jm M il
= M il M jm .
x i x j x j x i
M jm M jl
= M il M im = Clkm M jk ,
x i x i x j x j
ou:
[X l , X m ] = C lkm X k . C.Q.D.
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 , Ck X k + X , C
k
X k + X , Ck
X k = 0,
Ck X , X k + C
k
[ X , X k ] + Ck X , X k = 0,
Ck Cl k X l + C
k
Cmk X m + C
k
Cn k X n = 0 .
k k k
(C C lk + C C lk + C Cl k ) X l = 0 .
k C l +C k C l + C k C l = 0 .
C C.Q.D
k k k
------------------------------------------------------------------------------
Exerccio 3.4.1. Demonstre que:
Cabc = Cacb .
------------------------------------------------------------------------------
Exemplo 3.4.1 Calcule as constantes de estrutura do
grupo de rotaes em trs dimenses.
------------------------------------------------------------------------------
Para sucessivas rotaes infinitesimais em torno dos
eixos x, y e z, respectivamente, o grupo de rotaes dado por:
1 3 2
0 = 3 1 1 .
1 1
2
Portanto:
x' x 1 3 2 x
y' = 0 y = 3 1 1 y =
z' z 1 1 z
2
x + y 3 z 2
= x 3 + y + z 1 ,
x y 1 + z
2
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,
z' = f3 (x,y,z; 1 , 2 , 3) = x2 y1 + 1 + z,
e
f i (x, y, z; 1 , 2 , 3 )
Mi l (x, y, z) = ,
l
vir:
112
f1 f f
M11 = = 0; M12 = 1 = z; M13 = 1 = y,
1 2 3
f 2 f f
M 21 = = z; M 22 = 2 = 0; M 23 = 2 = x,
1 2 3
f3 f f
M 31 = = y; M 32 = 3 = x; M 33 = 3 = 0.
1 2 3
X1 = M11 + M 21 + M 31 ,
x1 x 2 x 3
X1 = z y ,
y z
X 2 = M12 + M 22 + M 32 ,
x1 x 2 x 3
X 2 = z +x ,
x z
X 3 = M13 + M 23 + M33 ,
x1 x 2 x 3
X3 = y x .
x y
113
[ X l , X m ] =Clnm Xn .
Ento:
[X1, X 2 ] = z
y ,z + x =
y z x z
= z y
z + x z + x ,
y z x x x z
z y =z z + z x + y ,
y z y x y z z
z y x + z z z y
x z z x y x z
2 2
x z + x y = z 2 + zx +
z y z z yx yz
2 2 2 2
+ y + z yx + z 2 zy
x zx z 2 xy xz
2 2
x + z + xy 2 .
y zy z
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
X j + X j+ 3 X j X j+ 3
Yj = ; Zj = ,
2 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 sen 0
R z () = sen cos 0 .
0 0 1
1 0
R z () 1 0 1 + i M z ,
0 0 1
onde:
1 0 0 0 i 0
1 0 1 0 e Mz = i 0 0 .
0 0 1 0 0 0
Ento:
N
Rz () = lim 1 + i Mz ,
N N
Rz () = exp (iMz) .
Rx () = exp (iMx) ;
Ry () = exp (iMz) .
r r 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:
0 0 0 0 0 +i
Mx =0 0 i ; M y = 0 0 0 .
0 i 0 i 0 0
0 0 0 0 0 + i 0 0 + i 0 0 0
= 0 0 i 0 0 0 0 0 0 0 0 i =
0 i 0 i 0 0 i 0 0 0 i 0
0 0 0 0 1 0 0 +1 0 0 i 0
= 1 0 0 0 0 0 = 1 0 0 = i +i 0 0 =
0 0 0 0 0 0 0 0 0 0 0 0
= i Mz .
0 1 0 0 i 0 1 0 0
1 1
T1 = 1 0 1 ; T2 = i 0 i ; T3 = 0 0 0 ,
2 2
0 1 0 0 i 0 0
0 1
[Tj , Tk] = i jk l T l .
------------------------------------------------------------------------------
3.5 lgebra de Lie
Definio 3.5.1 Um Grupo de Lie dotado da
operao de comutao entre seus geradores infinitesimais
chamado de lgebra de Lie, operao essa que satisfaz s
seguintes propriedades:
a) [X , X] = [X , X] = C
X ;
b) [( X), X] = [X , X], R;
c) [X , (X + X)] = [X , X] + [X , X];
X I ; Y A.
120
Demonstrao:
[D(a), Ci] = 0 .
Ci = ci E . C.Q.D.
121
[X , C] = 0
[A , X] = s X,
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 .)
A equao acima s ter soluo diferente da trivial, se:
(
det C s = 0 , )
o que mostra que tal equao uma equao algbrica de r-
razes 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;
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 .
x X = 0 .
x = 0 , com ,, = 1,2,3 .
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 3 x 2 = 0
126
. (I)
1 x 3 + 3 x 1 = 0 , (II)
1 x 2 2 x 1 = 0 . (III)
Logo:
A=X.
Como:
[X , X ]= X ,
ento:
a b +
U= ; UU = E ; det U = +1.
c d
' ' a b a + b
= U = =
' ' c d c + d
' = a + b ,
' = c + d .
Ora:
2
' = ( a + b ) ( a + b ) * =
= ( a + b ) ( a** + b**) =
=aa* * + ab* * + a*b* + bb**
2 2 2 2 2
' = a +b + ab * * + ba * * .
Analogamente:
2 2 2 2 2
' = c +d + cd * * +c * d * .
2 2 2 2
' + ' = + ,
128
necessrio que:
2 2 2 2
a + b =1; b + d = 1,
ab * +cd* = 0 ; a * b + c * d = 0 .
a b a * c * 1 0
UU + = E = .
c d b * d * 0 1
Ento:
2 2 2 2
a + b =1 ; c + d = 1;
ac * + bd* = 0 ; a * c + b * d = 0 .
Sendo:
a b
det U = 1 = 1 ad bc = 1 .
c d
a = d* ; b = c* ou d = a* ; c = b*.
Assim:
a b a b
U= = .
c d b * a *
129
r
F' = 1 + X l a l F ,
l =1
ou seja;
' 3
= 1 + X l a l .
' l =1
Sendo:
' +
= ,
' +
v-se que:
+ 1 0 a b
= + .
+ 0 1 b* a*
Assim:
1 + a b
U= .
b* 1 + a*
UU+ = E,
ento:
1 + a b 1 + a* b 1 0
= .
b* 1 + a* b* 1 + a 0 1
1 + a + a* b + b 1 0
= .
b* + b* 1 + a + a* 0 1
Portanto:
1 + a + a* = 1 a = a * .
Consideremos:
i
a = a 3 , com a 3 real .
2
1 + a b
det U = 1 1 + a + a* = 1 ,
b * 1 + a *
1 i
b = a 2 + a 1 , com a 2 , a 1 reais .
2 2
Ento:
i 1 a + i a
1+ a b 1 + 2 a 3 2 2 2 1 =
U = =
b* 1+ a * 1 i
a 2 + a 1 1 i a 3
2 2 2
1 0 1 i a 3 a 2 + i a 1
= + =
0 1 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 .
0 1 2 1 0 1
2 i 0 2
2 0 1 3
Portanto:
3 1
U = E +i j a j ,
j=1 2
0 1 0 i i 0
1 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
[ , ]=
1 2 1 2 2 1 =
=
=
0 i 0 i 0 2i
i 0
=2
0 i
[ , ]= 2i 10
1 2
0
= 2i .
1 3
1 1 1
2 i , 2 j = i ijk 2 k .
Demonstrao:
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
=x + y +z = + + +
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 .
M' = U M U + .
r r z' x 'iy
M = x' . = ,
x '+ iy ' z'
teremos:
Portanto:
( ) (
det M ' = det M x 2 + y 2 z 2 = x ' 2 + y' 2 + z' 2 , )
r r
o que significa dizer que o produto escalar (x , x ) = x 2 + y 2 + z 2 ,
invariante sob essa transformao de SU(2), justamente como
o grupo de rotaes O+(3).
No Exemplo 3.5.3 vimos que para o grupo SU(2), temos:
3
U E + i j j.
j=1
Ento:
3
M = M ' M = UMU + M = x j j =
j=1
3 3 3
E + i j j x j j E i k k M =
j=1 j=1 k =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
3 3
M = i 2 i x j k jkl l M = 2 x j k jkl l .
j,k ,l =1 j,k ,l =1
Sendo:
3
M = x l l ,
l =1
teremos:
3
x l = 2 x j k jkl .
j,k =1
Assim:
3
[ ]
x 1 x = 2 x 1 k 1k1 + x 2 k 2 k1 + x 3 k 3k1 = 2 ( x 1 2 121 +
k =1
x 1 x = 2 y 3 2 z 2 .
Analogamente, teremos:
x 2 y = - 2x 3 + 2z 1 ,
x 3 z=2x3 -2y1 .
x = y 3 z 2 ,
y = x 3 + z1 ,
z = x 2 y1 , ento: j = 2 j .
cos sen 0
R z ( ) = sen cos 0 ; 0 < < 2 .
0 0 1
Sendo:
137
1
j = 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 0
( )
U z 2 =
e i / 2
.
0
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
i / 2 (+2 )
e 0
U z 1 ( + 2 ) = =
2 0 e i / 2 +2
( )
e i / 2 e i 0 e i / 2 0
= = =
0 e i / 2 e i 0 e i / 2
138
e i / 2 0
= = U z ( ).
0 e i / 2
Portanto:
+ U( / 2 )
R ( ) .
U ( / 2 )
ento:
R ( ) = R z '' ( ) R y' () R z ( ) .
e i / 2 0
R z ( ) U z ( / 2) = .
0 e i / 2
cos 0 sen
R y ( ) = 0 1 0 ,
sen 0 cos
1 0 0
R x () = 0 cos sen ,
0 sen cos
teremos:
R y ( ) U y ( / 2) = exp i y ,
2
e
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 =0 n!
2n 2 n +1
i
2 j
i
2 j
= + .
n =0 ( 2 n )! n =0 ( 2 n +1)!
Sendo:
1 0
( j ) 2 n = = I ; ( j )2 n +1 = j .
0 1
E, ainda:
(1) n x 2n ( 1) n x 2 n +1
cos x = ; senx = ,
n = 0 ( 2 n )! n = 0 ( 2n + 1)!
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
= 2 + i 2
0 cos sen 0
2 2
cos i sen
2 2 .
U x =
2 i sen cos
2 2
e
i / 2 0
Uz = .
2 0 e i / 2
e i / 2 cos( / 2) sen ( / 2)
R ( ) =
0
e i / 2 sen ( / 2) cos( / 2)
e i / 2 0 e i / 2 0
=
0 ei / 2 0 e i / 2
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)
------------------------------------------------------------------------------
Exerccio 3.5.4 Demonstre que:
r r rr
a) exp i .n = cos + i (.n ) sen ( / 2) ;
2 2
b) (j)2n = I ; (j)2n+1 = j ;
c) R ( ) = R z '' ( ) R y' () R z ( ) .
------------------------------------------------------------------------------
3.6 Teoremas Gerais sobre as lgebras de Lie
( , ) M
T : (, ) = N = (, ) ,
2 2
(, ) = ; (, ) = c,
(, ) = c cos .
Sendo:
1 cos 1 ,
e como
cos = 1, se = ,
cos = 1, se = ,
1 N 1,
2 c
M c
1 1,
2
ou
N 2 ; M c 2 .
c
Ento:
|MN| 4.
|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
N
ento: = . Assim, teremos:
M
cos = N = 1 N 1 = 1 MN ,
2 c 2 N/M 2
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 .
2 (, )
P (, ) < 0,
(, )
onde P ( , ) um inteiro definido por:
[ P ( , ) ] +,
e
( [P ( , ) + 1] ) + .
------------------------------------------------------------------------------
Exemplo 3.6.2Dadas duas razes simples da
lgebra A2 SU(3), encontre as demais razes da mesma.
------------------------------------------------------------------------------
A lgebra A2 SU(3) tem o seguinte Diagrama de
Schouten:
Sendo:
( , ) = ( , ) = , ento:
( , ) = cos = .
2
Agora, vejamos se + +. Segundo o Teorema 3.6.2,
temos:
147
2 (, )
P (, ) < 0 , com [ P ( , ) ] + .
( , )
Como:
+ , ento P ( , ) = 0 .
2 (, )
<0 .
( , )
Por outro lado, sendo ( , ) = 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 ( , ) = 2x + 2 = + 2 =
2
.
Assim:
2 ( + , )
1= 1 = 0 0 .
( , )
Ento:
+ 2 + .
De maneira anloga, demonstra-se que:
2 + + .
Assim:
+ (, , +),
[, ,, ,( + ), (, )] .
Portanto:
(, +) = (,) + (, ) = .
2 2
Por outro lado, temos:
149
(, +) = ( , ) . ( + ) , ( + ) . cos = .
2
Sendo:
[(+) , (+)] = [,(+)] =
= + = 2 = .
2 2
(, +) = cos = cos =
2
1
cos = = 60 .
2
Em resumo, temos:
150
------------------------------------------------------------------------------
Exerccio 3.6.1
------------------------------------------------------------------------------
Teorema 3.6.3 As relaes de comutao entre os
operadores que geram uma lgebra de Lie simples, satisfazem
s seguintes expresses:
N E + , +
a) [E , E ], = 0 , +
;
b) E , E = F, = a F ;
c) F , F = 0, , ;
[ ]
d) F , E = (, ) E ,
onde:
151
N 2 , =
[P (,) +1] Q ( ,) (,),
2
N 2 , = N 2, = N 2, = .......,
N , = N , = N , = N , ,
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 , ,
onde um conjunto de vetores ortogonais tais que:
( , )
= , ; ( , ) = 0, , .
( , )
Ento:
[U, U] = N, U+ + N, U ,
152
[U, V] = N, V+ N, V ,
[V, V] = N, U+ + N, U ,
[ U , V ] = 2
a
H ,
[H , U] = (,) V,
[H V] = (,) U,
[H , H] = 0,
onde:
( , )
=
a
; a =
(, )
; (, ) = 2 ;
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
1 0 0
u1 = 0 ; u 2 = 1 ; u 3 = 0 ,
0 0 1
1 0 0 1 1
1 1 1
G 3 u1 = 0 1 0 0 = 0 = u1 ,
2 2 2
0 0 0 0 0
1 0 0 1 1
1 1
G 8 u1 = 3 0 1 0 0 = 0 = u1 .
0 0 2 0 3 3
0
1 1
+ , + .
2 3
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
1 0 0 0 0
1 1 1
G8u 2 = 0 1 0 1 = 1 = u2.
3 0 3 3
0 0 2 0
1 1
, .
2 3
1 0 0 0 0 0
1 1
G 3u 3 = 0 1 0 0 = 0 = 0 0 = 0 u3 ,
2 0 2
0 0 1
0
1
1 0 0 0 0 0
1 1 2 2
G8u 3 = 0 1 0 0 = 0 = 0 = u 3.
3 3 3 3
0 0 2 1
2 1
2
0 , .
3
( , )
N= ( + 1) (g, ) + 1 ,
+
onde:
( , ) 1
=2 ; g= .
( , ) 2 +
------------------------------------------------------------------------------
Exerccio 3.6.3 Mostre que o nmero de
representaes do grupo SU(3) dado por:
1
N= (n+1)(m+1)(n+m+2) ; n= 0,1,2,....; m = 0,1,2,.... .
2
CAPTULO 4
a b
U= , com aa* + bb* = 1.
b * a *
u' u a b u au + bv
= U = =
v' v b* a* v b*u + a*v
u n , u n 1 v, u n 2 v 2 , ...u v n 1 , v n .
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 Grupos.
152
u j+ m v jm
f mj (u; v ) = , onde m = j, j1, ... 0, ..., j.
( j + m )(! j m )!
j
f mj (u '; v ' ) = Uf mj (u ; v ) = U mm ' f mj ' (u ; v ) = (3)
m '= j
=
(au + bv )j+m ( b * u + a * v )jm , [usando-se (1) e (2)].
( j + m )!( j m )!
Sendo:
j+ m ( j + m )! a j+mk u j+mk b k v k ,
(au + bv ) j+m =
k =0 k! ( j + m k )!
l=0
Ento:
153
j+m jm
jml ( j + m )! ( j m ) !
Uf mf (u ;v ) = (1)
k =0 l=0 k!l !( j+ m k )! ( j m l )!
j+m j
m ' m+k ( j+ m )! ( j m )!( j+ m ')! ( j m ')!
Uf mf (u ;v ) = (1)
k =0 m '= j k !( j k m ') ! ( j+ m k )!(k + m ' m )!
m' = j k l .
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 j
m ' m+k ( j+ m )(! j m )(! j+ m ')(! j m ')!
U f mj (u ;v ) = (1)
k =0 m '= j k!( j k + m ')(! j+ m k )(! k + m ' m ) !
1 1 1 1
Se j = 1/2, ento: m = , e m' = , .
2 2 2 2
Portanto:
1 1
m' = m' =
2 2
m = 1/ 2 A B
U= .
m = 1 / 2 C D
1 1! 0 !1! 0 !
A = U 1/2 , 1/2 = ( 1 ) k a 1k ( a* ) k b k ( b* ) k =a,
k =0 k !( k )! (1 k )! k !
1 1! 0 ! 0 !1!
B= U 1/ 2 , 1/2 = ( 1 ) 1+k a 1k ( a* )1+k b k
k =0 k !(1k )! (1k )! ( k1 )!
( b* ) 1+k =b,
0 0 !1!1! 0 !
C = U 1/ 2 , 1/2 = ( 1 )1+k a k ( a* ) k b k
k =0 k !( k )! ( k )! ( k+1 )!
( b* ) k +1 =b*,
0 0 !1! 0 !1!
D = U 1/ 2 , 1/2 = ( 1 ) k a k ( a* )1+k b k
k =0 k !(1k )! ( k )! k !
( b* ) k =a*.
Portanto:
a b
U m ,m ' U1/ 2,1/ 2 = .
b* a *
------------------------------------------------------------------------------
Exemplo 4.1.1.2 Mostrar que a matriz U mm ' unitria.
------------------------------------------------------------------------------
Vamos a partir de:
j
A = f m* j (u ',v') f mj (u ';v ')=
j (u '*) j+m (v'*)jm (m ') j+m (u ')j+m (v') jm =
m= j m= j
( j+m )!( jm )!( j+m )!( jm )!
156
j+m jm
u' 2 v' 2
j j+m
(u '*u ') (v'*v') jm j
= = =
m = j ( j+m )! ( jm )! m = j ( j+m )! ( jm )!
j+ m jm
au+bv 2 b*a +a*v 2
j
= .
m= j ( j+m )!( jm )!
Agora, faamos: j+m = s. Ento:
s 2 j s
2 2
2 j au + bv b * a + a * v
A=
(2 j)! =
s =0 s ! (2j - s )! (2 j)!
s 2 j s
2 v' 2
2 j u'
= .
s =0 s! (2j - s )!
Sendo:
2j s 2 j s
u ' 2 + v' 2 =
2j (2 j)! u ' v '
2 2
.
S= 0 s! (2 j s )!
Ento:
2j
u' 2
+ v'
2
A= .
( 2 j )!
2 2 2 2
Porm, para o SU (2) temos: u ' + v' = u + v , ento:
157
2j 2j s 2j
u ' 2 + v' 2 u 2+ v 2 (2 j)! u 2 v 2
2j
A= = = .
(2 j)! (2 j)! s=0 (2 j)! s ! (2 js )!
Fazendo: j + m = s, vir:
j+m jm
u 2 v 2
j [uu*]j+m [vv*]jm =
j
A= =
m = j ( j+m )! ( jm )! m= j ( j+m )! ( jm )!
Ora, sendo:
j
j j j
Uf m (u , v) = f m (u ' , v' ) = U mm ' f m ' ( u , v) ,
m'= j
ento:
j 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
e
j j j
U *mm ' f m ( u ; v ) U* f m '' ( u ; v ) =
*j *j
m = j m '= j m '' = j
mm ' '
j
*j j
= f m ( u ;v ) f m ( u ;v ) ,
m= j
ou
158
j j j j
U *mm ' U *mm '' f m*j' ( u ;v ) f mj '' ( u ;v )=
m '= j
m= j m ''= j m ''= j
j
= f m*j ( u ;v ) f mj ( u ;v ) .
m= j
j j
*j j
m ' m '' f m ' ( u ; v ) f m ' ' ( u ; v ) =
m ' = j m '' = j
j 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
-------------------------------------------------------------------------------------
Exerccio 4.1.1 Demonstre que a matriz Umm' uma
representao de SU(2).
-------------------------------------------------------------------------------------
Portanto:
ento:
[
e i ( + ) / 2 cos( / 2) ]j+ m k
[e i ( + ) / 2
cos( / 2) ]
j m ' k
[
e i ( ) / 2 sen ( / 2) ] [e
k i ( ) / 2
.sen ( / 2) ]
k + m ' m
.
Sendo:
i ( j+mk j+m ' + k +k k m ' + m )
e 2 = e im ,
e
k +k + m ' m 2 k +m ' m
sen = sen ,
2 2
teremos:
160
onde:
Demonstrao:
j j
A mk e im ' d km 'e
ik
= e ik d mk e im A km' . (10)
k k
j
Inicialmente, vejamos quanto vale d km ' (). Usando-se a
expresso (9), vir:
Para = 0, vir:
( sen 0 0 ) km ' .
j
d km ' (0) = 0 .
Se k = m', teremos:
Portanto:
j
d km ' (0) = km' .
A mk km ' e ik = mk e im A km ' ,
k k
j j
A mm d mm ' () = d mm ' () A m 'm ' .
j j
A mm d mj () = d mj () A jj .
j
Sendo d mj () 0, , ento: Amm = Ajj, m .
-------------------------------------------------------------------------------------
j
Exerccio 4.1.2 Demonstre que d mj () 0, .
-------------------------------------------------------------------------------------
4.1.3 Representaes por Harmnicos Esfricos
D111 = e i d111 () e i ,
2 (1) k 2!0!2!0!
d111() =
k! (k )!(2 k )! k!
[cos( / 2)]2 2k . [ sen( / 2)]2k .
k =0
2! 1 + cos
d111() = cos 2 ( / 2) = .
0! 0! 2! 0! 2
Portanto:
1 + cos i
D 111 = e i e
.
2
m =0
m =1 m = 1
sen
m '=1 i 1+ cos i i 1 cos i
e e e 2 e i e
2 2
sen i sen i
D 1m ' m ( , , ) = m '= 0 e cos e (11)
.
2 2
sen
i 1 cos i i 1+ cos i
m '= 1 e e e 2 e i e
2 2
-------------------------------------------------------------------------------------
Exerccio 4.1.3.1 Encontre os demais elementos da matriz
D1m 'm (, , ).
------------------------------------------------------------------------------------------
Dada a matriz D1m'm (, , ) , demonstra-se (Rose, 1967) que
a mesma ligada matriz rotao R (,,) atravs de uma
transformao de similaridade, isto (T transposta):
1 T 1 T T T
D1m 'm (, , ) = (U R U ) = (U ) (R) (U) , (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
U= 0 0 2 ; U =1
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
sen'cos' cos coscos sen sen sen coscos + cos sen sencos
sen'sen' = cos cos sen sen cos sen cossen + cos cos sensen
cos' cos sen sen sen cos
sencos
sensen .
cos
( 2 l +1 ) ( l m )! p m ( cos )e im
l ( , )=
Ym l , (17)
4 ( l + m )!
com:
*
Y -m
l (, ) = (-1)
m
( Y ml ) (, ) , (18)
(1)m dl+m
Pm
l (cos ) = l
(1 cos 2 )m / 2 l+m
(cos2 1)l . (19)
2 .l! d (cos )
167
3 sen 3 3
cos'= e i sen e i +cos cos+
4 2 8 4
sen 3
+ e i sen e i ,
2 8
e
1
Y 1m (' , ') = D1m 'm (, , ) Y 1m ' (, ) . (20)
m ' = 1
------------------------------------------------------------------------------------------
Exerccio 4.1.3.3 Demonstre a expresso (20).
------------------------------------------------------------------------------------------
De um modo geral, pode-se demonstrar que (Cushing, 1975):
l
Ym m l m
l (' , ' ) O R Y l (, ) = D m 'm (, , ) Y l (, ) . (21)
m'= l
------------------------------------------------------------------------------------------
Exerccio 4.1.3.4 Mostre que:
168
4
a) D lm 0 (, ,0 ) = Y*m (, ) ;
2l + 1 l
4
b) D l0 k ( 0 , , )= Y k ( , )
2 l +1 l
l (
c) D 00 0 , , 0 )= P l (cos ) .
-------------------------------------------------------------------------------------
4.2 Operador de Momento Angular
onde x , 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 ) =
L) )
, L = y x + x y = + i i x y y x
x y
L) ) )
, L = iL z .
x y
[L) , L) ]= iL)
z x y
e L) ) )
, L = iL x .
y z
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) .]
z y
x 2 + y 2 + z 2 = r 2 ; cos = ; tg = . (24d,e,f)
r x
r x r y r z
= = sen cos ; = = sensen ; = = cos .
x r y r z r
(25a,b,c)
z
Por outro lado, derivando-se cos = em relao a x,y,z,
r
respectivamente, teremos:
y
Por fim, derivando-se tg = em relao a x,y,z,
x
respectivamente, vir:
sen cos
= ; = ; = 0. (27 a,b,c)
x rsen y rsen z
-------------------------------------------------------------------------------------
Exerccio 4.2.4.1 Demonstre o grupo de equaes (25), (26) e
(27).
------------------------------------------------------------------------------------
)
Tomemos o operador L z e vamos escrev-lo em coordenadas
esfricas. Ento, segundo (22 c), tem-se:
172
)
L z = i(xy yx) .
r
x = + + ;
x x r x x
f f f
[Lembrar que: f(r,), ento: df = dr+ d+ d.]
r
r
y = + + ;
y y r y y
r
z = + + .
z z r z z
) r
L z = i rsen cos + + rsensen
y r y y
r
+ + .
x r x x
-------------------------------------------------------------------------------------
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) =
2 2
+ sen + cotg ( sen + cos )] =
= sen2
2
sencoscosec2 + sencoscotg
2
+
2
+ cotg cos + cotgcossen cotg2cossen +
2
+ cotg2cos2 .
2
+ cotg2 sencos + cotg2 sen2 .
Portanto:
) 1 1 2
L2 = (sen ) + . (29)
sen 2
sen
-------------------------------------------------------------------------------------
Exerccio 4.2.4.3 Complete a demonstrao da equao (29).
-------------------------------------------------------------------------------------
) )
Sendo os operadores L2 e L z funes de (,), suas equaes
de auto-valores sero, respectivamente:
)
L2 f (,) = L2 f (,) , (30)
)
L z g (,) = L z g (,) , (31)
1 1 2 2
(sen ) + f (, ) = L f (, ) ,
sen sen 2
1 1 2
sen (sen ) + 2
+ L2 f (, ) = 0 .
sen
2 1
+ cot g + 2
2 + L2 ()() = 0 .
sen
175
&&
= m2 ; (m = 0, 1, 2,...),
&&
&
sen2 + cossen +L2sen m2 = 0 .
2
(1 x 2 ) d 2 2x ddx + L2 m 2 ( x ) = 0 ,
dx 1 x 2
cuja soluo :
onde:
m = , (+1),..., 0,..., (1), .
)
Assim, a auto-funo do operador L2 ser:
176
f (, ) = A l ,m eimPlm (cos ) .
Escolhendo-se a constante A l, m =
(2l + 1) . (l m )!
4 (l + m )!
obteremos o harmnico esfrico [vide equao (17)]. Desse modo, a
)
equao de autovalores para o operador L2 tomar a forma:
)
L2 Ylm (, ) = l(l + 1) Ylm (, ) . (h 1) (34)
ig(,) = Lzg(,)
g g
i = Lzg = iL z .
g
Lz = m , (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:
im
i e = meim .
) )
oportuno observar que os operadores L2 e L z tm a mesma
auto-funo Ylm (, ). Tal situao decorre do fato de que esses
operadores so comutveis, isto :
L)2 )
, L z = 0 .
-------------------------------------------------------------------------------------
Exerccio 4.2.4.4 Demonstre que:
L )2 )
, Li = 0 , (i = x,y,z) .
-------------------------------------------------------------------------------------
)J , )J = i )J , (36)
i j ijk k
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.
1 3
j = 0, , 1, ,...
2 2
e
)J 2 , )J = 0, = x,y,z . (37c)
i i
179
-------------------------------------------------------------------------------------
Exerccio 4.2.5 Demonstre a equao (37c).
-------------------------------------------------------------------------------------
4.2.6 Operadores ladder (escada)
Portanto:
)2 1 ) ) ) ) )
J =
2
( )
J + J + J J + + J z2 . (39)
180
)J , )J = )J , )J + i)J = )J , )J + i )J , )J =
z + z x y
z x
z y
) ) ) ) )
= iJ y + i iJ x = J x + iJ y = J + ,
)J , )J = )J . (40a)
z + +
)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 =
+
2 + + z +
1 ) ) ) ) ) ) 2 )
= J + J + J J + , J + + J z , J + .
2
1 ) ) ) ) ) ) ) ) )
+
2
[ ] [ ][
J ,J+ J+ + Jz Jz ,J+ + Jz ,J+ Jz = ]
1) ) 1 ) ) ) ) ) )
=
2
( ) ( )
J + 2J z + 2J z J + + J z J + + J + J z =
2
) ) ) ) ) ) ) )
= J+ Jz Jz J+ + Jz J+ + J+ Jz ,
)J 2 , )J = 0 . (41a)
+
Analogamente, demonstra-se que:
)J 2 , )J = 0 . (41b)
-------------------------------------------------------------------------------------
Exerccio 4.2.6.2 Demonstre a equao (41b).
-------------------------------------------------------------------------------------
De posse dessa lgebra de comutadores envolvendo os
) ) ) )
operadores J 2 , J z , J + , e J , vamos calcular as auto-funes e os auto-
valores dos operadores ladder. Seja jm jm > (esta ltima, a
) )
notao de Dirac) uma auto-funo de J 2 e J z , com os respectivos
auto-valores j (j+1) e m (lembrar que h 1 ), isto :
)2
J jm = j( j + 1) jm ,
)
J z jm = m jm .
) )
Como J 2 comuta com J + , [equao (41a)], ento:
)2 ) ) ) ) )
( )
J (J + jm )= J + J 2 jm = J + [ j( j+1) jm ]= j( j+1) (J + jm ) .
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)
) )
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)
-------------------------------------------------------------------------------------
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 e ( jm 1 , jm 1 ) = 1 ,
ento:
) )
(J + jm ,J + j,m ) = (N + jm+1 ,N + jm+1 ) = N 2 2 .
Por outro lado, desenvolvendo-se o 1 membro da equao acima,
vir:
) ) ) ) )
(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:
2
N+ = ( j m )( j + m + 1) .
N + = ( j m) ( j + m + 1) . (43a)
N = ( j + m) ( j m + 1) . (43b)
-------------------------------------------------------------------------------------
Exerccio 4.2.6.4 Demonstre a equao (43b).
-------------------------------------------------------------------------------------
4.2.7 Adio de Dois Momentos Angulares
)2 )
J 2 j2 m 2 = j2 ( j2 + 1) j2 m 2 ; J 2 z j2 m 2 = m 2 j2m 2 , (45a,b)
) ) ) ) ) )
[J1i , J1 j ]= iijk J1k ; [J 2i , J 2 j ]= iijk J 2 k . (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)
)J , )J = )J + )J , )J + )J =
x y 1x 2x
1y 2y
) ) ) ) ) ) ) )
= 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 .
) )
x y z
-------------------------------------------------------------------------------------
Exerccio 4.2.7.1 Complete a demonstrao da equao (49).
)
A equao (49) nos mostra que o operador J tambm um
operador de momento angular e, portanto, podemos escrever:
)2
J jm = j( j + 1) jm , (50a)
)
J z jm = m jm , (50b)
)
J jm = ( jmm ) ( jm+1 ) jm1 , (50c)
m1 ,m 2
(
jm = C j1 j2 j;m1m 2 m j m j ) 1 1 2m2
. (51)
Demonstrao:
) )
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
J 2 z j m j m =
j
= m ,
2 j1m1 j2 m 2
1 1 2 2 1 1 2 z j2 m 2
m
e
)
J z jm = m jm ,
vir:
m jm =
m1 , m 2
(m1 + m 2 ) C (j1 j2 j; m1m 2 m ) j1m1 j2m 2 .
Usando-se ainda a equao (51), teremos:
m1 , m 2
(m m1 m 2 ) C (j1 j2 j; m1m 2 m ) j1m1 j2m 2 = 0.
188
(mm1m2 ) C(j1j2j;m1m2m) = 0 ,
m = m1 + m2 C.Q.D (52)
j1 | m1 | ; j2 | m2 | ; j | m | ,
e
m = j, (j1), ...,
e mais ainda:
j1 + j2
(2j+1) = ( 2 j1 +1) ( 2 j2 +1) . (53b)
j= j1 j2
-------------------------------------------------------------------------------------
Exerccio 4.2.7.2 Demonstre as equaes (53a,b).
-------------------------------------------------------------------------------------
Teorema 4.2.7.2 Os Coeficientes de Clebsch-Gordan
satisfazem seguinte relao de ortogonalidade:
189
Demonstrao:
!
[
( 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, 1/2 e 1/2, 1/2 ,
vamos usar a equao (51), isto :
jm = C( j1 j2 j; m1m 2 m ) j m j m2 ,
m1 , m 2 1 1 2
Assim:
1 2 3
3 / 2,3 / 2 = C 1 ; m1m 2 1m 1 / 2 m .
m1 , m 2 2 3 2 1 2
Sendo:
m1 + m2 = m e m1 = 1, 0, 1,
vir:
3/ 2,3/ 2 =C1 1 1 3 ; 1 1 3 1,1 1/ 2,1/ 2 +
2 2 2 2
+ 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
191
(1/2,1/2 , 1/2,1/2) = 1 .
j m , j m = 0,
1 1 2 2
ento:
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 ,
)
J ( 2 ) 1/2 ,1/2 = 1 + 1 1 1 +1 1/2, 1/2 =
2 2 2 2
= 1/2, 1/2 .
Portanto:
3 3 / 2,1/ 2 = 2 1, 0 1 / 2, 1 / 2 + 1,11 / 2, 1 / 2 ,
1
3 / 2,1 / 2 = 2 1, 0 1 / 2,1 / 2 + 1,11 / 2, 1 / 2 . (B)
3
1 3 1
1/ 2,1 / 2 = C 1 ; m1m 2 1m 1 / 2 m 2 .
m1 , m 2 2 2 2 1
Sendo m1 + m2 = m e m1 = 1, 0, 1, vir:
1/2,1/ 2 =C1 1 1 3 ;1 1 1 1,11/ 2, 1/2 +
2 2 2 2
+ 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 .
22 2 2
(1/2,1/2 , 1/2,1/2) = 1 =
C12 + C 02 =1 . (D)
194
3
(
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 C1
= ( )(
C 0 1, 0 ,1, 0 1/2,1/ 2 ,1/ 2,1/2 +) ( 1,1 , 1,1 )( 1/ 2 , 1/ 2 , 1/ 2 , 1/ 2 )
3 3
2 C1
C0 + =0 . (E)
3 3
C1 = 2 ; C 0 = 1 ,
3 3
ento:
)) ) L )
RT M L M'
L R = D MM ' T L ,
1 ( ) (58)
M '= L
) 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 , (59a)
L L
[)J ,T) ]= T)
z
M
L
M
L . (59b)
)
onde j' TL j chamado de Elemento de Matriz Reduzido do tensor
)
TML , e j, m, j', m' so nmeros qunticos de momento angular.
Demonstrao:
) ) ) 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)
)
A expresso (62) nos mostra que j'm ' T M
L jm =0 , a menos
) ) ) 1
[ ]
j' m ' J , T M
L jm j' m ' [(L m M )(L M + 1)]1 / 2 T M
L jm .
) ) ) ) )
j'm ' J ,T M M [( )(
L T L J jm = LmM LM+1 )]1/2 j'm' T M
L
1 jm .
Sendo:
) ) )
j'm ' J = J + j'm' = J m j'm ' ,
)
[( j' m')( j'm m'+1)]1/ 2 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
L jm . (63)
C( jLj' , mMm') jm LM m1 ,
ento:
200
C(jLj',mMm'), ento:
) )
j'm' T ML jm = C ( jLj',mMm') j' TL j . C.Q.D.
-------------------------------------------------------------------------------------
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:
A x + iA y A x iA y
T11 = ; T 10 = A z ; T11 = .
2 2
-------------------------------------------------------------------------------------
Exerccio 4.2.8.2 Mostre a equivalncia entre as definies
4.2.8.a e 4.2.8.b.
-------------------------------------------------------------------------------------
)
III. <jm Py j'm' > 0;
)
III. <jm Pz j'm' > 0;
)
IV. <jm P 2 j'm' > 0;
)
onde P o operador de momento linear.
) ) ) ) ) )
(Sugesto: Defina os operadores P+ = Px + iPy e P = Px iPy ,
e use o resultado do Exerccio 4.2.8.1)
-------------------------------------------------------------------------------------
CAPTULO 5
h2 2 r r
+ V (r ) ( r ) = E ( r ),
2m (1a)
ou:
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 Grupos.
204
r r
H ( r ) =E ( r ) . (1b)
)
L2Ylm (, ) = h 2l(l + 1) Ylm (, ) . (4)
) )
Sendo L2 o quadrado do operador de momento angular L dado por:
2
)
(
L2 = h 2 1 sen + 1 2 ,) (5)
sen sen
L ) ) )
, L j = ihijk L k , (i,j,k = x,y,z). (6)
i
)
Tais operadores L i (i=x,y,z) representam os geradores do grupo
O+(3), conforme vimos no Captulo 4.
As vrias solues das equaes (la,b) representadas pela
equao (2), so usualmente chamadas de estados, e dependem de trs
nmeros inteiros qunticos: n (energia), l (momento angular) e m
(magntico). Por outro lado, a energia E correspondente a esses
205
) )) 3
R = exp i L.n = exp i Li i , (7a,b)
h h i=1
3
' = I + i l Tl . (9)
l = 1
208
l
onde I a matriz identidade, Tl = ( l Matrizes de Pauli),
2
uma funo de onda que denominada de spinor.
p
No caso do ncleon, tal spinor representado por .
n
Sendo o grupo SU(2) de grau 1, conforme nos referimos
acima, ento s existe um gerador na forma diagonal e, portanto, a
dimensionalidade D(p) das representaes irredutveis desse grupo e
estudadas no Captulo 4, pode ser expressa em termos de apenas um
parmetro, p, isto :
D(p) = p + 1, (10a)
p = 2I D(p) = 2I + 1, (10b)
0 1
T1 = 1 ; T = 1 0 i ; T = 1 1 0 ,
2 1 0 2
2 i 0 3 2 0 1
Assim:
209
i 0 1 i 0 1 i 0 i 1 0
=1 = = = iT3 ;
4 0 i 4 0 i 2 0 i 2 0 1
1 0 1 1 1 0 1 1 0 1 0 1
[T1 ,T3] = T1T3 T3T1 = = =
2 1 0 2 0 1 2 0 1 2 1 0
1 0 1 1 0 1 1 0 1 1 0 i 2 i 0 i
= 1 0 1 0 = 1 0 = 2 = i 0 =
4 4 2 2 i 0 2
= iT2 .
0 1 0 0 i 0 1 0 0
T1 = 1 1 0 1 ; T2 = 1 i 0 i ; T3 = 0 0 0 ,
2 0 1 0 2 0 i 0 0 0 1
1 0
T3 = 1 .
2 0 1
) 1 ) 0
q1 = e q 2 = , ento :
0 1
1 0 1 1 1 1 )
T3 q1 = 1
) )
= = q1 I 3 q1 ,
2 0 1 0 2 0 2
1 0 1 1 0
T3 q 2 = 1 = = 1 q 2 I 3 q 2 .
) ) )
2 0 1 0 2 1 2
211
1 0 +1 1/2 0 1/2
2
A primeira evidncia da existncia de uma nova partcula que no correspondia a
nenhuma conhecida foi observada por Leprince-Ringuet e M. lHritier, em 1944,
ao examinarem a incidncia de raios csmicos em uma cmara de Wilson,
instalada no alto de uma montanha.
214
Q = e I3 + B + S , (e carga do eltron)
2
3
Tiomno, em 1950, na sua Tese de Doutoramento em Princeton, j aventara a
hiptese de que um bson neutro pudesse ser diferente de sua anti-partcula.
4
oportuno salientar que as teorias modernas de Grande Unificao prevem uma
violao dessa Lei. Nelas, h a previso do decaimento de prtons em partculas
30
no-barinicas, com vida mdia da ordem de 10 anos.
218
1
+ = pn ; 0 = ( pp nn ); = pn ; K + = p ;
2
K 0 = n ; K = p; K 0 = n .
5
O nome via octupla foi dado por Gell-Mann tendo em vista que seu modelo
envolvia trs oitos. O primeiro deles representa os oito geradores do grupo SU(3)
(32 l = 8); o segundo relaciona-se com o nmero de partculas de cada octeto
bsico; e o terceiro relaciona-se com a frase atribuda a Buda segundo a qual o
homem, para aliviar seus sofrimentos dever seguir oito caminhos religiosos
relativos a Nobreza de seu julgamento, das suas intenes, palavras, aes,
trabalho, pensamento, concentrao e da sua vida.
221
+ 0
+dp+p+ .
+ 0
+ + .
( )
M = M 0 + M1Y + M 2 I I + 1 1 Y 2 ,
4
m N + m = 1 3m + m ,
2
(
m = 1 4m K m ,
3
)
que, ao ser aplicada s massas conhecidas dos pons e dos kons,
obtm-se o valor de 615 Mev para a massa da eta (), contra o valor
experimental de 549 Mev, conforme vimos anteriormente. Essa
dificuldade, no entanto, foi contornada inicialmente por de Swart
(1963), de maneira ad hoc, e depois por Coleman e Schnitzer, em
1964, que ao usarem a aproximao de mistura de partculas6,
demonstraram a frmula de Gell-Mann-Okubo para msons, isto :
( )
m 2 = m 02 + m12 Y 2 + m 22 I I + 1 1 Y 2 ,
4
6 0
Essa aproximao havia sido utilizada por Gell-Mann e Pais (1955) (mistura de K ,
K 0 devido interao fraca), Glashow (1961) (mistura devido interao
eletromagntica), e por Okubo (1963) [mistura devido interao
desconhecida responsvel pela quebra de simetria de SU(3)].
223
7
Esse argumento havia sido sugerido por R. P. Feynman na Gatlingburg Conference
(1958).
224
8 P +
nove ressonncias barinicas e caracterizadas por J = 3/2 , a saber.
Em 1952, Anderson, Fermi, Long, Martin e Nagle com auxlio do
ciclotron da Universidade de Chicago, descobriram a primeira
ressonncia barinica com massa de 1236 Mev e hipercarga +1,
ao estudarem o espalhamento elstico de pons de alta energia por
prtons de uma cmara de bolhas de hidrognio-lquido, numa
reao do tipo:
+ +
+ p N* + p.
+ + p ++ + + p ; + + n + + + + n ;
+ p 0 + p ; + n + n.
8
As ressonncias (nome emprestado da Fsica Nuclear) correspondem a plos nas
amplitudes de espalhamento localizadas em certas regies do plano complexo da
energia.
9
Outras ressonncias barinicas nuclenicas foram descobertas por Diddens et al. em
1963, tais como: N*[1920, 3/2, (1/2)]; N*[1690, 5/2+, (l/2)]; N*[2190, 7/2, (l/2)] e
(l950, 7/2+, 3/2). Nessa notao, o 1 nmero representa a massa em Mev
(estamos considerando c = 1, pois: E = mc2), o 2 o spin-paridade (JP) e o 3 o
isospin I.
225
K + p Y1* 0 + + + .
+* 0* *
, , .
K + p *0, + K0,+ .
8 8 = 1 8 8 10 10 27 ,
m m = m m = m() m .
p + p + + + 0 + + + ,
10
Dalitz, em 1953, desenvolveu um diagrama bidimensional do espao de fase para
analisar a formao de estados ressonantes decorrentes do espalhamento de
partculas com a formao de trs ou mais partculas no estado final da reao em
estudo.
11
Essa partcula se enquadrou no modelo do octeto com o singleto do produto 8 8,
e recebeu esse nome por parte de Gell-Mann (1962). Por sua vez, Sakurai, ainda
em 1962, interpretou essa partcula como um singleto unitrio.
229
12
A primeira ressonncia mesnica estranha foi
descoberta, ainda em 1961, por Alston, Alvarez, Eberhard, Good,
Graziano, Ticho e Wojcicki, ao observarem o espalhamento de kons
por prtons na cmara de bolhas do Lawrence Radiation Laboratory,
em uma reao do tipo:
K + p K 0 + + p .
K + p + .
K+ + K .
12
Uma primeira evidncia terica da existncia de tal partcula foi apresentada por
Tiomno, Videira e Zagury e, independentemente, por Gell-Mann na 1960
International Conference on High-Energy Physics, Rochester, USA.
13
Essa ressonncia, como hiptese terica, j havia sido tratada por Gell-Mann
(1962), com o nome de B0.
230
14
Dashen (1963); Glashow (1963); Sakurai (1963).
231
0 0
8 > = > sen + > cos ,
15
Essa ressonncia foi descoberta em 1964, por G. Kalbfleisch et al. e, independen-
temente, por M. Goldberg et al.
232
QUARK B J S I I3 Y Q
(up) 1/3 1/2 0 1/2 1/2 1/3 2/3
d (down) 1/3 1/2 0 1/2 1/2 1/3 1/3
s (strange) 1/3 1/2 l 0 0 2/3 1/3
ANTIQUARK
1/3 1/2 0 1/2 1/2 1/3 2/3
d 1/3 1/2 0 1/2 +1/2 1/3 +1/3
s 1/3 1/2 +1 0 O +2/3 +1/3
3 3 = 1 8; 3 3 3 = 1 8 8 10 ,
1
+ = d ; = d ; 0 = (dd ); K + = su;
2
K 0 = d s ; K = s ; K 0 = sd ; 0 = 1 dd + 2s s ;
( )
6
0 ' = 1 ( + dd + s s ) ; + + = ;
3
0
+ = 1 (d + d + d ) ; = 1 (dd + dd + dd ) ;
3 3
= ddd; +* = 1 (s + s + s ) ;
3
0* = 1 (ds + ds + sd + ds + sd );
6
234
1
* = (dss + sds + ssd ) ; = sss .
3
16
Em dezembro de 2006, o consrcio de pesquisas DZero do Tevatron do Fermilab
anunciou que havia encontrado um novo par quark top-antiquark top. Esses quarks
foram descobertos, tambm, no Fermilab, em 1994-1995, independentemente, pelas
colaboraes CDF e DZero. [Alexander Hellemans, Scientific American Brasil 5
(59), pg. 16 (Abril, 2007).]
235
'
' = A ; AA = I ; det A = +1 .
+
'
8
A = I + i a l l , (11)
l=1
, = C , (12)
com C denominados de constantes estrutura do grupo, e a so
nmeros reais.
Ora, como AA+ = I, ento:
8 8
+
I + i a l l I i a l l = I ,
l =1 l =1
8
I +i a l ( ) ( )
l l+ + 0 a 2 = I ,
l=1 l
de trao nulo. Por fim, como o grau (rank) de SU(3) vale 2, ento,
apenas duas dessas matrizes geradoras so diagonais e comutam entre
si.
Em analogia com o SU(2), cujos geradores so as matrizes
de Pauli, conforme vimos no Captulo 3, escolheu para os 8 geradores
do SU(3), as seguintes matrizes:
0 1 0 0 1 0 1 0 0
1 = 1 1 0 0 ; 2 = 1 1 0 0 ; 3 = 1 0 1 0 ;
2 2 i 0 0 2 0 0 0
0 0 0
0 0 1 0 0 i 0 0 0
4 = 1 0 0 0 ; 5 = 1 0 0 0 ; 6 = 1 0 0 1 ;
2 2 2
1 0 0 i 0 0 0 1 0
0 0 0 1 0 0
1 1
7 = 0 0 i ; 8 = 0 1 0 . (13)
2 2 3 0 0 2
0 i 0
-------------------------------------------------------------------------------------
Exerccio 5.3.2.1
2 ,2 = 4 + 2d k
i j
3 ij ij k
A. Representaes do SU(3)
I (1 i2), (14a)
U (6 i7) , (14b)
V (4 i5) . (14c)
Y 2 8 , (14e)
3
U3 V3 = 3 8 ,z (14f)
I3 + U3 + V3 = 0 (14g)
238
-------------------------------------------------------------------------------------
Exerccio 5.3.2.2 Obtenha as formas explcitas das matrizes
definidas pelo grupo de equaes (14).
-------------------------------------------------------------------------------------
Usando a definio desses nove operadores e mais a regra de
comutao entre as matrizes i (i = 1,2,....,8) dada pela equao (12)
fcil mostrar as seguintes regras de comutao entre tais operadores:
[I 3 ,I ]= I ; [I 3 ,U ]= 12 U ; [I 3 ,V ]= 12 V ;
[U 3 ,I ]= m 12 I ; [U 3 ,U ]= U ; [U 3 ,V ]= 12 V ;
-------------------------------------------------------------------------------------
Exerccio 5.3.2.3 Demonstre as relaes de comutao
indicadas no grupo de equaes (15).
-------------------------------------------------------------------------------------
Como as regras de comutao entre esses operadores so uma
generalizao das regras de comutao para o isospin (I), ento os
operadores U e V caracterizam dois outros tipos de spin: spin U e
spin V.
-------------------------------------------------------------------------------------
Exemplo 5.3.2.1 Calcular o efeito dos operadores I, U, e V.
239
Sendo:
[I3, I] = I ,
ento:
[Y, I] = 0 ,
ento:
[I3, U] = m 1 U ,
2
ento:
1
I 3 (U | I 3 Y > ) = m U + U I 3 I3, Y> =
2
1
= m U I3, Y> + I3 U I3, Y> , ou
2
[Y, U] = U ,
ento:
Y (U I3, Y>) = (U + U Y) I3, Y> =
[I3, V] = 1 V ,
2
ento:
I3 (V I3, Y>) = 1 V + V I3 I3, Y> =
2
= 1 V I3, Y> + (VI3) I3, Y>) =
2
1
= V I3, Y> + V (I3 I3, Y>) , ou
2
241
I3 (V I3, Y>) = I3 1 (V I3, Y>) .
2
Por outro lado, sendo:
[Y, V] = V ,
ento:
Y (V I3, Y>) = (V + V Y) I3, Y> =
a a ...a 2 ... p
Tb 1b 2...b p = A a11 A a 2 2 ...A a p p A*b11 A*b22 ...A*bq q . T 1 . (17)
1 2 q 1 2 ...q
-------------------------------------------------------------------------------------
Exerccio 5.3.2.4 Demonstre a equao (16).
-------------------------------------------------------------------------------------
B. Representaes Duais
' = A , (18a)
ou:
)* .
*
(
' = I + i a l X *l (18c)
l =1
(
SX l S 1 = X *l , )
portanto, as representaes DN (p, q) N e sua dual DN (q, p) = N ,
nem sempre so iguais.
Na tabela a seguir, vamos apresentar algumas representaes
irredutveis do SU(3):
-------------------------------------------------------------------------------------
Exerccio 5.3.2.5 Encontre uma matriz S para a qual, tem-se:
1
S8 S = 8 .
-------------------------------------------------------------------------------------
5.3.3 Diagramas de Pesos das Representaes Irredutveis de
SU(3)
r
E = (I 3 ,M ) ; M 3 Y = .
2 8
r r r r r r
E ,I = i I ; E ,V = KV ; E , U = lU ;
v r 1 3 r 1 3
i = (1, 0); K = , ; l = , . (20a,b,c)
2 2 2 2
245
-------------------------------------------------------------------------------------
Exemplo 5.3.3.1 Demonstrar o grupo de equaes (19) e
(29).
-------------------------------------------------------------------------------------
Para fazermos as demonstraes solicitadas, vamos usar o
grupo de equaes (13), (14) e (15). Ento:
r
a) E, I = I3 , M , I =
I3 ,I = I
r
= = (1,0)I = iI ;
3 Y,I = 0
2
r 3
b) E, V = I3 , Y , V =
2
1
[ ]
I 3 ,V = 2 V
1 3 r
= = , V = KV ;
3 Y ,V = 3 V
2 2
2
2
246
r 3
c) E, U = I3 , Y , U =
2
I ,U = U
3
r
1 3
= = 2 2 U = l, U ;
,
3 3
Y , U U
=
2 2
d) I + ,I =2I .
3
Ora:
rr
( )
i .E = 1 I 3 , + 0 M = I 3 , ento :
r
[I + , I ]= 2 i.Er ;
e) [V+ , V] = 2 V3 .
Ora:
r r 2 3 3
2 K.E = 2 I 3 + M = I3 + 3 Y =
2 2 2
1 0 0 1 0 0 1 0 0
1 1
= 0 1 0 + 0 1 0 = 0 0 0 .
2 2 0 0 2 0 0 1
0 0 0
Por outro lado, temos:
247
U 3 V3 = 3 8
2V3 + I3 = 3 8 2V3 = 3 8 I3 .
U3 + V3 + I3 = 0
1 0 0
1 1 1 0 0 1 0 0 r r
2 V3 = 3 0 1 0 0 1 0 = 0 0 0 = 2K . E .
2 3 0 0 2 2 0 0 0 0 0 1
Portanto:
1 1 0 0
U 3 V3 = 3 8 0 1 0
2U3 + I3 = 3 8 2U 3 = 3
U3 + V3 + I3 = 0 2 3
0 0 2
1 0 0 0 0 0
1 r r
0 1 0 = 0 1 0 = 2 l.E ;
2
0 0 0 0 0 1
248
ento:
r r
U , U = +2 l . E .
+
-------------------------------------------------------------------------------------
Exerccio 5.3.3.1 Definindo os operadores:
i2
Pi = e ; PK = ei5 ; P = ei7 ,
demonstre que:
r r r rr
a) Pi1EPi = E 2 i i .E ;
r r r r r
b) PK1EPK = E 2 K K.E ;
r r r r r
c) Pl1EPl = E 2 l l.E .
-------------------------------------------------------------------------------------
r
Definio 5.3.3.1 Chama-se de peso do vetor E ao seu auto-
r
valor, e denota-se o mesmo por e . Assim:
r r rr
E | e , > = e| e , > , (21)
3
onde denota outros nmeros qunticos diferentes de M Y ,
2
r
I3. O e um vetor bi-dimensional cujas componentes so os nmeros
r
qunticos I3 e M, isto : e ( I3, M).
r r
Teorema 5.3.3.1 Seja e , > um auto-estado de E , com
r
auto-valor e :
r
a) Se I e , > = 0, ento:
r r r r r
E I e , > = ( e i ) I e , > ;
249
r
b) Se V e , > = 0, ento:
r r r r r
E V e , > = ( e K ) V e , > ;
r
c) Se U e , > = 0, ento:
r r r r r
E U e , > = ( e l ) U e , > .
Demonstrao:
r r
a) Sendo E, I = i I , ento:
r r r r r
E I e , > = ( i I + I E ) e , > =
r r r r
= i I e , > + I E ) e , > =
r
iI r r r
= e , > + e I e , > , ou:
r r r r r
E I e , > = ( e i ) I e , > .
r r
b) Sendo E, V = KV , ento:
r r r r r
E V e , > = ( KV + V E ) e , > =
r r r r
= KI e , > + V E e , > =
r
KV er r r
= , > + e V e , > , ou:
250
r r
E V er , > = ( er K ) V er , > .
r r
c) Sendo E, U = lU , ento:
r r r r r
l U U E
E U e , > = ( + ) e , > =
r r r r
= lU e , > + U E e , > =
r r r r
= lU e , > + eU e , > , ou:
r r r r r
E U e , > = ( e l ) U e , > . C.Q.D.
r r r r r r r
{ }
E PJ | e , > = e 2 j( j. e) PJ | e , > ,
r r r r r
onde j = i , K ou l. Em complemento, a degenerescncia de Pj| e ,>
r
a mesma de | e ,> .
Demonstrao:
r r r r r
Sendo (cf. Exerccio 5.3.3.1) Pi1 E Pi = E 2 i ( i . E) ,
ento:
r r r r r
Pi Pi1 E Pi = Pi E 2 i ( i . E) ,
r r r r r
E Pi = Pi E 2 i ( i . E) .
Portanto:
r r r r r r r
EPi | e, > = Pi E 2 i i . E | e, > =
r r r r r r
= Pi E | e, > 2 i Pi i . E | e, > =
r r r r r r
= ePi | e, > 2 i Pi i . e | e, > =
r r r r r r
= ePi | e, > 2 i i . e Pi | e, > , ou :
r r r r r r r
EPi | e, > = e 2 i i . e Pi | e, > .
252
i2
Por outro lado, sendo Pi = e , ento:
i 2
Pi+ = e i+2 = e ; (+2 =2 ) ,
e
i 2 i 2
PI Pi+ = e .e = I,
I3 e Y 2 M ;
3
1 3 3 6 8 10
D (0,0) ; D (1,0) ; D (0,1) ; D (2,0) ; D (1,1) e D (3,0) .
a) D (0,0) = 1 (Singleto)
Usando-se a regra 2, temos:
R2) Imx
3 = 1 (0 + 0) = 0; Y = 1 (0 0) = 0.
2 3
b) D(1,0) = 3 (Tripleto)
R2) Imx
3 = 1 (1 + 0) = 1 ; Y = 1 (1 0) = 1 1 , 1 ,
2 2 3 3 2 3
R4) Y min = 2 1 1 0 = 2 ; I3 = 0 = 0 0, 2 .
3 3 3 2 3
1 1, 1 = 1 , 1 .
2 3 2 3
R2) Imx
3 = 1 (0 + 1) = 1 ; Y = 1 (0 1) = 1 1 , 1 ,
2 2 3 3 2 3
R3) Y mx = 1 0 + 2 1 = 2 ; I 3 = 0 = 0 0, 2 .
3 3 3 2 3
1 1, 1 = 1 , 1 .
2 3 2 3
d) D(2,0) = 6 (Sexteto)
Usando-se as regras 2, 3 e 4 vir:
R2) Imx
3 = 1 (2 + 0) = 1; Y = 1 (2 0) = 2 1, 2 ,
2 3 3 3
R3) Y mx = 1 2 + 2 0 = 2 ; I 3 = 2 = 1 1, 2 ,
3 3 3 2 3
R4) Y min = 2 2 1 0 = 4 ; I3 = 0 = 0 0, 4 .
3 3 3 2 3
Ento, tem-se:
1 1 , 2 1 = 1 , 1 e 1 1, 1 = 1 , 1 .
2 3 2 3 2 3 2 3
259
e) D (1,1) = 8 (Octeto)
Usando-se as regras 2, 3 e 4 vir:
R2) Imx
3 = 1 (1 + 1) = 1; Y = 1 (1 1) = 0 (1,0) ,
2 3
R3) Y mx = 1 1 + 2 1 = 1; I3 = 1 1 ,1 ,
3 3 2 2
R4) Y mn = 2 1 1 1 = 1; I3 = 1 1 ,1 .
3 3 2 2
1 1 1 1
1,1 = ,1 e 1, 1 = , 1.
2 2 2 2
f) D (3,0) = 10 (Decupleto)
Usando-se as regras 2, 3 e 4 vir:
R2) Imx
3 = 1 (3 + 0) = 3 ; Y = 1 (3 0) = 1 3 ,1 ,
2 2 3 2
R3) Y mx = 1 3 + 2 0 = 1; I3 = 3 3 ,1 ,
3 3 2 2
R4) Y mn = 2 3 1 0 = 2; I3 = 0 = 0 (0,2).
3 3 2
V-se que as regras 2 e 3 do o mesmo peso. Portanto, falta
ainda encontrar 8 pesos. Como o peso 3 ,1 tem I3 = 3 , ento ele
2 2
faz parte de isoquadripleto. Para obt-lo, vamos aplicar,
261
-------------------------------------------------------------------------------------
Exerccio 5.3.3.2 Tomando-se como auto-vetores dos
operadores I3 e Y, os vetores:
1 0 0
0 , 1 , 0 ,
0 0 1
g) D (3, 3) = 64 = 64 .
-------------------------------------------------------------------------------------
Exemplo 5.3.3.3 Usando os resultados dos Exemplos 5.3.2.1 e
5.3.3.2, aplique os opera-dores I , U , V
nos pesos das representaes 3 e 3 .
-------------------------------------------------------------------------------------
Segundo o Exemplo 5.3.3.2, as representaes 3 e 3 tm os
seguintes diagramas (I3,Y):
263
a) Aplicao do operador I .
I I3,Y> = I3 1,Y> .
+
Como os grupos 0 (3) e SU(2) so Homeomrficos (Teorema
3.5.2, Captulo 3), fcil mostrar que o operador I semelhante ao
operador de momento angular J (Cf. Armony, op. cit.), portanto
[Cf. Eq. (43 a,b), Cap. 4]:
= (I m I 3 ) (I I 3 + 1) .
Em vista disto, temos:
r r r
I + |1 ,3 > = 0 ; I |1 ,3 > = | 2,3 > ;
r r r
I + |2,3 > = |1 ,3 > ; I | 2,3 > = 0 ;
r r
I + |3,3 > = 0 ; I |3,3 > = 0 ;
r r r r r r
I + |1 ,3 > = | 2,3 > ; I |1 , 3 > = 0 ; I + | 2, 3 > = 0 ; I | 2, 3 > = |1 , 3 > ;
r r
I + | 3, 3 > = 0 ; I | 3, 3 > = 0 .
b) Aplicao do operador U .
U I3,Y> = I3 m 1 , Y 1 > .
2
264
e
r r r r
U |1 ,3 > = U |3,3> = U |1 , 3 > = U | 2, 3 > = 0.
U , U = 2 rl.E
r
,
+
ento:
r r r r
< 3,3 [U + , U ] 3,3 > = < 3,3 U + U U U + 3,3 > =
r r r r
= < 3,3 U + U 3,3 > < 3,3 U U + 3,3 > = 12 , pois:
r r
< 3,3 U = U + 3,3 > , portanto:
r r r rr r
< 3,3 [U + , U ] 3,3 > = < 3,3 2 l.E 3,3 > = 12 .
r
Ora, segundo a equao (20c) e a definio de E = (I3 , M ) ,
teremos:
r r
2 l.E = 2 1 0 + 3 3 2 = 1 , portanto:
2 2 2 3
265
r rr r
< 3,3 2 l.E 3,3 > = 1 = 12 1 = 1.
Escolhendo-se 1 = 1, vir:
r r
U + |3 , 3> = | 2 , 3> .
Agora, calculemos:
r r
U + | 2 , 3 > = 2 |3 , 3 > .
r r r r
= < 2, 3 U + U 2, 3 > < 2, 3 U U + 2, 3 > = 22 .
Sendo:
r r
2 l.E = 2 1 1 + 3 3 1 = 1 ,
2 2 2 2 3
portanto:
1 = 22 2 = 1 , e
r r
U + 2, 3 > = 3, 3 > .
c) Aplicao do operador V .
Segundo o Exemplo 5.3.2.1, dado um peso |I3,Y>, teremos:
266
V I3,Y> = I3 1 , Y 1 > .
2
e
r r r r
V | 2,3 > = V |3,3> = V |1 , 3 > = V | 2, 3 > = 0.
r r
2 K.E = 2 1 0 + 3 3 2 = 1 ,
2 2 2 3
ento:
r r r r rr
[ ]
< 3,3 V + ,V 3,3 > = 2 < 3,3| K . E |3,3 > = 1 ,
267
portanto:
12 = 1 2 = 1 , logo:
r r
V + |3 , 3 > = |1 , 3 > .
-------------------------------------------------------------------------------------
Exerccio 5.3.3.4 Complete o Exemplo 5.3.3.3.
-------------------------------------------------------------------------------------
5.3.4. Srie e Coeficientes de Clebsch-Gordan de SU(3).
( ) 1 2 ( ) ( )
= 1 2 , (23)
1 , 2 1 2 1 2
2
onde 1 so chamados os Coeficientes de Clebsch-
1 2
Gordan (Cf. Definio 2.6.2, Cap. 2).
1 2 1 2 ' '
a) = ' ' ' ; (24a)
1 , 2 1 2 1 2 '
1 2 1 2
b) = . (24b)
, , 1 2 1' '2 11' 2'2
-------------------------------------------------------------------------------------
269
5.3.4.1 Grfico17
1' '2 = A 1 A 2 1 2 =
= I + i a l X l 1 I + i a l X l 2 1 2 =
l=1 l=1
l =1
(
)
= I + i a l X l 1 + X l 2 + 0 ( a 2 )
l 1 2 .
(25)
= I + i a l X l 1 2 . (26)
1
l =1
X l1 + X l 2 = X l .
17
Existe um outro mtodo grfico devido a D. R. Speiser (1962). Exemplos de sua
aplicao podem ser vistos em de Swart (op. cit.).
270
(12)
I3 = I3(1) + I3(2) , (27a)
-------------------------------------------------------------------------------------
Exemplo 5.3.4.1 Efetuar o seguinte produto tensorial 33,
onde 3 um supermultipleto de SU(3).
-------------------------------------------------------------------------------------
I) Ti Ti S
Usando-se a definio (17), vir:
T i Ti = A ij A *ik T j T k =T j (A + ) ki A ij T k =
=T j (A + A ) kj T k =T j kj T k =T j T j ,
272
i
logo, o produto T Ti um invariante, portanto ele um escalar cujo
rank (0,0), isto , 1.
II) T i Tj 1 ij T k Tk T i j.
3
1
T i T i =T i T i ii T k T k .
3
Sendo ii = 3, ento:
T i T j = T i T j + 1 ij T k Tk 1 ij T k Tk =
3 3
= 1 ij T k Tk + T i T j 1 ij T k Tk =
3 3
S + T ji .
Portanto:
3 3=18.
-------------------------------------------------------------------------------------
Exerccio 5.3.4.3 Usando o mtodo tensorial, efetue os
seguintes produtos tensoriais entre
supermultipletos de SU(3):
a) 3 3; b) 8 8.
-------------------------------------------------------------------------------------
Exemplo 5.3.4.3 Usando a Definio (23), calcule os
Coeficientes de Clebsch-Gordan para o
singleto do produto tensorial
273
3 3 = 1 8,
genericamente representado por:
3 3 1
.
1 2
-------------------------------------------------------------------------------------
Segundo a Definio 5.3.5.2 [Equao (23)], temos:
2
| > = 1 | 1 1 > | 2 2 > .
1 , 2 1 2
r
A figura acima nos mostra que o singleto | 1, 1 > uma
r r r r
combinao dos estados | 1, 3 > | 1, 3 > , | 2, 3 > | 2, 3 > e
r r
| 3, 3 > | 3, 3 > . Ento, de acordo com a equao (23), teremos:
274
r 3 3 1 r r r r
| 1, 1 >= | 1, 3 >| 1, 3 > + 3 3 1 | 2, 3 >| 2, 3 > +
1 1 1 2 2 1
3 3 1 r r
+ | 3, 3 >| 3, 3 >=
3 3 1
r r r r r r
= | 1, 3 > | 1, 3 > + | 2, 3 >| 2, 3 > + | 3, 3 >| 3, 3 > .
r r r r r r r
I + | 1, 1 > = I + | 1, 3 > | 1, 3 > + | 2, 3 >| 2, 3 > + | 3, 3 >| 3, 3 > .
Ora, como I+ um operador que faz I3 crescer de uma unidade
r
e como | 1, 1 > tem um I3 mximo, ento:
r
I+ | 1, 1 > = 0.
Por outro lado, usando-se o resultado do Exemplo 5.3.3.3,
vir:
r r r r r
I+ | 1, 1 > = 0 = | 1, 3 > | 2, 3 > + | 1, 3 >| 2, 3 > =
r r
= ( + ) | 1,3> | 2, 3 = .
portanto:
1 = 2 + 2 + 2 = 32 = 1 .
3
Escolhendo-se o sinal mais (+), vir:
3 3 1
= 1 ; 3 3 1 = 1 ; 3 3 1 = 1 .
1 1 1 3 2 2 1 3 3 3 1 3
-------------------------------------------------------------------------------------
Exerccio 5.3.4.4 Calcule os seguintes Coeficientes de
Clebsch-Gordan de:
a) 3 3 8,
b) 8 8 10.
-------------------------------------------------------------------------------------
5.3.5 Fatores Isoescalares e Teorema de Wigner- Eckart
(1) ( 2) ( )
= C(I(1) I(2) I ; I3(1) I3(2) I3)
(1) ( 2)
276
(1) (2) ( )
, (28)
I ( 1 ) ,Y ( 1 ) I ( 2 ) ,Y ( 2 ) I ,Y
onde
(1) (2) ( )
I ( 1 ) ,Y ( 1 ) I ( 2 ) ,Y ( 2 ) I ,Y
chamado de fator isoescalar e que satisfaz :
(1) (2) ( )
| ,> =
I 3 ( 1 ) ,I 3 ( 2 ) I ( 1 ) ,Y ( 1 ) I ( 2 ) ,Y ( 2 ) I ,Y
Y ( 1 ) ,Y ( 2 )
onde:
| I, I 3 , Y, (1) ( 2 ) > =
C(I (1) I (2) I ; I 3(1) I 3(2) I 3 ) (30)
I 3(1), I 3(1),
| (1) ( 2 ) >| (2) ( 2 ) > .
De maneira anloga ao caso de SU(2), existe tambm um
Teorema de Wigner-Eckart para o SU(3):
(1) ( 2)
= <
( 2 ) T ( ) (1) > , (31),
(1) ( 2)
-------------------------------------------------------------------------------------
Exerccio 5.3.4.5 Calcule os fatores isoescalares para o
decupleto do produto 8 8.
-------------------------------------------------------------------------------------
r 3 3 8 r r
|K + > |1 , 8> = |1 , 3>|3 , 3> =pna =1 ;
1 3 1
r 3 3 8 r r
|K o > |2 , 8> = |2 , 3>|3 , 3> =nb=1 ;
2 3 2
r 3 3 8 r r
|K > |7 , 8> = |3 , 3>| 2 , 3> =nc=1 ;
3 2 7
r 3 3 8 r r
|K o > |8 , 8> = |3 , 3>|1 , 3> =pd=1 ;
3 1 8
r 3 3 8 r r
| + > |3 , 8> = |1 , 3>| 2 , 3> =pne=1 ;
1 2 3
r 3 3 8 r r
| > |5 , 8> = |2 , 3>|1 , 3> =npf =1 e
2 1 5
280
r 3 3 8 r r 3 3 8 r r
| o > |4, 8 > = | 1, 3 >|1, 3 > +
| 2, 3 >| 2, 3 > =
2 2 4
1 1 4 18
17
1 1
= ( p p + nn ) g = h = .
2 2
18
Em muitos livros que estudam a Fsica das Partculas Elementares (Lee, 1981),
aparece um sinal menos nessa expresso, fato esse que decorre da definio do
p ou p .
(p )
spinor n , isto : n
n
281
+p n , pois Y (+) = Y (p n ) = 0 ;
n p , pois Y ( ) = Y (n p ) = 0 ;
o o
n , pois Y ( ) = Y ( n ) = 1, e
p , pois Y () = ( p ) = 1 .
Y = 1 I = 1 , Y = 0 (I = 1, I = 0) e Y = 1 I = 1 .
2 2
portanto:
< a| Hms |a > < (1), (1) | T (10) | (1) , (1) > =
284
(1) (1)
= < (1) T ( ) (1) > . (33)
(1) 0 (1)
8 8 = 1 8s 8a 10 10 27.
8 8
< a| Hms |a > = a , (34)
, (1) 0 (1)
onde:
r
(1) o auto-vetor e = | IY > correspondente a uma dada partcula, e
r
0 | 0 > o singleto da representao .
8 1 8 8 8 8s 8 8 8a
M ( N ) = M o + a 1 + a 8s + a 8a + 8 27 8 a 27 ,
1 6 1 1 6 1
1 1 1 1 18 1
8 1 8 8 8 8s 8 8 8a
M ( ) = M o + a 1 + a 8s + a 8a + 8 27 8 a 27 ,
3 1 3 3 6 3 3 6 3 3 18 3
285
8 1 8 8 8 8s 8 8 8a 8 27 8s
M ( ) = M o + a 1 + a 8s + a 8a +
6 18 6 a 27 ,
6 1 6 6 6 6 6 6 6
8 1 8 8 8 8s 8 8 8a 8 27 8 s
M ( ) = M o + a 1 + a 8s + a 8a +
7 18 7 a 27 .
7 1 7 7 6 7 7 6 7
M(N) = M o + a1 1 a + 1a + 1 a , (35a)
8s
2 5 2 8a 3 5 27
1 1
M ( )=M o +a 1 + a 8s + 0 a 27 , (35b)
5 9 5
1 1
M ( )=M o +a 1 a 8s + 0 a 27 , (35c)
5 5
M() = M o + a1 1 a 1a + 1 a . (35d)
8s
2 5 2 8a 3 5 27
[
a1' = 1 2 M(N) + 2 M() + M() + 3 M() ,
8
] (36a)
a 8' s = 1 3 M ( ) M ( ) M ( N ) M ( ) ,
[ ] (36b)
5
a 8' a = [M ( N ) M ( ) ] , (36c)
9
a '27 =
8 5
[3 M( )+ M ()2 M( N) 2 M() ] , (36d)
286
onde:
' = M +a .
a o
M ( N ) + M ( ) = 1 [3 M ( ) + M ( )] . (37)
2
Quando essa frmula foi aplicada aos valores das massas das
partculas envolvidas na mesma, verificou-se que:
2 2
a1' 1150 MeV/c ; a 8' s 91 MeV/c ; a 8' a 379 MeV/c2 ;
e a '27 12 MeV/c2 ,
confirmando, desse modo, a hiptese de Gell-Mann a'27 0 . ( )
5.4.2.1.2 Frmula de Massa para o Octeto Mesnico
Pseudo-Escalar 0 : K, , , K
vetoriais 1 at ento conhecidas poca desse modelo, pois que, ao
ser usada uma frmula anloga equao (39), isto :
m 2 (K *) = 1 3m 2 1 + m 2 ,
() (40a)
4
Porm, sendo:
portanto:
m (1) = m ( ) + sen2 m 2 (o ) m 2 (o ) .
2 2 o
ou:
m(8 ) 870 MeV ,
10 10
<a|H m s |a > = b , (42)
(1) 0 ( 2 )
onde:
b < 10 T ( ) 10 > , = 1,8,27.
10 1 10 10 8 10 10 27 10
M ( * ) = M o + b1 + b 8 + b 27 ,
5 1 5 5 6 1 5 18 5
10 1 10 10 8 10 10 27 10
M ( * ) = M o + b1 + b 8 + b 27 ,
8 1 8 8 6 8 8 18 8
10 1 10 10 8 10 10 27 10
M ( ) = M o + b1 + b 8 + b 27 .
10 1 10 10 6 10 10 18 10
M ( ) = M o + b1 + 1 b8 + 1 b 27 , (43a)
2 2 3 7
291
5
M ( * )=M o + b1 + 0 + b 27 , (43b)
9 7
M ( * ) = M o + b1 1 b 8 + 1 b 27 , (43c)
2 2 3 7
M ( ) = M o + b1 1 b 8 + 1 b 27 . (43d)
2 7
M ( * ) M ( ) = 1 b 8 ; M ( * ) M ( * ) = 1 b 8 ;
2 2 2 2
M ( ) M ( * ) = 1 b 8 ,
2 2
portanto:
()
M * M = M * M * = M M *
, (44)
Q = e I 3 + Y ; (Y B + S )
2
5.4.3.1 Msons
K + = u s ; K o = d s ; + = ud ; o = 1 (uu + dd ) ; = ud ;
2
K = us ; K o = ds.
r r r r r r
6,8>= 3 3 8 1,3> 1, 3>+ 3 3 8 2,3> 2, 3>+ 3 3 8 3,3> 3, 3>.
1 1 6 2 2 6 3 3 6
r r r r r r
1,1>= 3 3 1 1,3> 1, 3>+ 3 3 1 2,3> 2, 3>+ 3 3 1 3,3> 3, 3>.
1 1 1 2 2 1 3 3 1
-------------------------------------------------------------------------------------
Exerccio 5.4.3.1.1 Obtenha a estrutura quarknica do
octeto mesnico pseudo-vetorial 1 .
-------------------------------------------------------------------------------------
5.4.3.2 Brions
A estrutura quarknica dos brions, quer do octeto
+ +
1/2 , quer a do decupleto 3/2 , obtida atravs do seguinte produto
tensorial: 3 3 3 = 1 8 8 10. Para efetuarmos esse produto
tensorial usaremos o mtodo grfico desenvolvido no item 5.3.4.a, e o
resultado mostrado na figura abaixo:
297
-------------------------------------------------------------------------------------
Exemplo 5.4.3.2.1 Encontre a estrutura quarknica do
decupleto 3/2+.
-------------------------------------------------------------------------------------
Conforme vimos acima, o decupleto 3/2+ obtido atravs do
seguinte produto tensorial:
3 3 3 = 1 8 8 10.
r r
I- 1,10 > = | 2,10 >; = I (I + 1) - I3 (I3 - 1) =
33 33
= + 1 1 = 3 I- ++ = 3 + .
22 22
( )
I uuu > = I (3,a ) + I (3,b ) + I (3,c ) | u > a | u > b |u > c =
( )
= I (3,a ) | u > a (| u > b | u > c )+| u > a (I (
3,b )
)
|u > b |u > c +
( )
+(| u > a | u > b ) I (3,c ) | u > c =
=|d >| u >| u > + | u >|d >|u > + | u >| u >|d > duu + udu + uud.
Ento:
Sendo:
r
+ | 2,10 > ,
r r 3 3 1 1
I | 2,10 >=|3,10 >o ; = +1 1 =
2 2 2 2
= 4 =2 ,
I + = 2 o .
Porm:
I + = I 1 duu + udu + uud =
( )
3
1
(
= I (3,a ) +I (3,b ) +I (3,c ) )
3
(|d > a |u > b |u > c +
1
(2ddu+2dud+2udd ) .
3
Ento:
1
2 0 = ( 2ddu + 2dud + 2udd )
3
1
0 = ( ddu + dud + udd ) .
3
Sendo:
r
o 3,10> ,
300
r r 3 3 1 1
I 3,10>= 4,10> ; = +1+ 1 = 3 ,
2 2 2 2 ,
I = 3 .
Porm:
1
I o = I (ddu+dud+udd ) =
3
( ) 1 (
= I (3,a ) +I (3,b ) +I (3,c ) |d > a |d > b |u > c +
3
1 (3ddd ) .
3
Ento:
1 (3ddd ) = 3 = ddd .
3
r
Agora, para obtermos o peso 5,10> , vamos tomar o peso
r
1,10 > e aplicar o operador V. Ento:
r r *
V |1,10> = |5,10> ou V ++ = + . ( )
Para calcularmos o valor de , vamos usar a relao de
r r
comutao [V+, V] = 2 K.E e o fato de que:
301
r r r
V+ |1,10> =0 e <1,10|V+ = <5,10| .
Ento:
r r r r r r r r
<1,10 [V+ ,V ] 1,10>= <1,10 2 K.E 1,10> =2 K.E ,
r r r r
<1,10 V+ V V V+ 1,10> = <1,10 V+ V 1,10> = 2 ,
portanto:
r r
2 K.E = 2 .
Por outro lado, sabemos que:
r 1 3 r 3 3 3
K = , ; E = I 3 , Y = , 1 , pois:
2 2 2 2 2
r 3
|1 ,10>= ,1 .
2
Ento:
r r 1 3 3 3
2 K.E = 2 + =3 = 3 .
2 2 2 2
= |s > a |u > b |u > c +|u > a |s > b |u > c +|u > a |u > b |s > c .
Portanto:
+,,o
Para determinarmos o tripleto ( )*, vamos tomar o peso
(+)* e aplicar sucessivamente o operador I . Assim:
r * r *
( ) ( )
I 5,10> I + = 6,10> o ; = 1(1+1)1(11) = 2 ,
ou: ( )*
I + = 2 o . ( )*
Por outro lado, e em analogia com os casos anteriores,
teremos:
1
(suu+usu+uus ) =
*
( )
I + =I
3
1 (
( )
= I (3,a ) +I (3,b ) +I (3,c )
3
|s > a |u > b |u > c +
Ento:
( )
o* = 1 (dsu + dus + sdu + uds + sud + usd) .
6
303
Sendo:
( o )* |6r ,10> ,
ento, analogamente ao visto anteriormente, teremos
r * r *
( ) ( )
I |6,10>I o = |7,10> ; = 1(1+1)0(01) = 2 .
I o = I 1 (dsu + dus + sdu + uds + sud + usd) =
( ) *
1
( )
= I (3,a ) +I (3,b ) +I (3,c )
6
(|d > a |s > b |u > c + |d > a |u > b |s > c +
+ |s > a |d > b |u > c + | u> a |d > b | s> c +|s > a |u > b |d > c +|u > a |s > b |d > c ) =
= 1 (dds + dsd + dds + sdd + dsd + sdd ) =
6
* 1
( ) =
3
( dds + dsd + sdd ) .
304
r *
Agora, para obtermos o peso 8,10> o , vamos
r
( )
tomar o peso 5,10> e aplicar o operador V. Ento:
r * r
( )
V |5,10> V + =k|8,10> o ( )* .
r r r r
<5,10 V+ V V+ V 5,10> = <5,10 V+ V 5,10>+
r r
<5,10 V V+ 5,10>.
Portanto:
rr
2 K.E = k22 .
Sendo:
r 3 r r r
K=1, ; E = (1, 0), ento: 2K.E = 2 1 = 1, e k 2 2 = 1.
2 2 2
r
V 5,10 > = V (3,a ) + V (3,b ) + V (3,c ) 1 (suu + usu + uus ) =
( )
3
305
= V (3,a ) + V (3,b ) + V (3,c ) 1 (| s > a | u > b | u > c + | u > a | s > b | u > c +
( )
3
+ | u >a | u > b | s >c ) =
= 1 (| s > a | s > b | u > c + | s > a | u > b | s > c + | s > a | s > b | u > c +
3
Ento:
* 2
k ( o ) = ( ssu + sus + uss ) .
3
Ora, para determinarmos k teremos de determinar o valor de
. Ento:
r r
V+ | 5,10 >= | 1,10 > + + = uuu .
Ora:
r 1 (
(
V+ |5,10>= V+ (3,a ) +V+ (3,b ) +V+ (3,c )
3
)
|s > a |u > b |u > c +
1
= (|u > a |u > b |u > c +|u > a |u > b |u > c +|u > a |u > b |u > c ) 3 (uuu ) .
3 3
Portanto:
306
3
(uuu) = 3 (uuu) = .
3 3
9
k 2 2 = 1, ento : k 2 = 1 + =4 k=2 ,
3
portanto:
( ) =
o * 1 (ssu + sus + uss) .
3
r r 1 1 +1 1 1 1 =1.
( )* *
I | 8,10 > I o = | 9,10 > o ; =( ) 2 2 2 2
Ora:
I o =I 1 (|s > a |s > b |u > c +|s > a |u > b |s > c +|u > a |s > b |s > c ) =
*
( ) 3
= I (3,a ) +I (3,b ) +I (3,c ) 1 (|s > a |s > b |u > c +
( ) 3
portanto:
307
( )* = 1 (|d > |s > |s > +|s > |d > |s > + s > |s > |d > ) ,
a b c a b c a b c
3
ou:
( ) =
* 1 (dss + sds + ssd) .
3
r
Por fim, obtm-se o peso |1 0,10> aplicando-se ao peso
r *
( )
|8,10> o , o operador V , ou seja:
r r
V |8,10> = |10,10> .
6.1 Gentleons
6.1.1 Introduo
e tambm
1 Y1 1 Y3
Y+ = e Y = , (7)
2 Y2 2 Y4
onde:
314
- u(3)v(2)w(1)] /4,
+ u(3)v(2)w(1)] /4.
1 n
s =
N! i =1
i (8)
1 n
a =
N! i =1
Pi i , (9)
Y1 ( )
1 2 Y ( )
Y ( ) =
M (10)
Y ( )
onde as funes {Yi}i = 1,2,, , so construdas aplicando os
operadores Young s funes {i}i=1,2..,n , obedecendo a
condio < Yi Yn > = in.
Por intermdio de permutaes Y() h()
transformada em X() h() dada por X() = U(Pi) Y(), onde
U(Pi) um operador unitrio. Esta operao de permutao pode
ser tambm representado por uma matriz unitria T():X() =
T() Y(). Como os subespaos h() so classes de equivalncia
(Weyl, 1932; Rutherford, 1948; Hamermesh, 1962; Matsen,
1970), diferentes subespaos tm diferentes propriedades de
simetria que so definidas pela matriz T(). Isto significa que se
T() h() e T() h(), ento T() T() se .
Sendo T()+T() = 1 o mdulo ao quadrado de Y()
invariante por permutao, isto :
< Ay > = < Y()A Y() > = (1/ )i < Yi()AYi() >
< Ax > = < X()A X() > = (1/ )i < Xi()AXi() >,
< Ax > = < X()AX() > = < Y() T()+ A T() Y() > =
APNDICE A6.I
Pi : D()(Pi) (A6.I.1)
D1(1)(Pi) = 1 ( i = 1, 2 ,, 6) ; (A6.I.4a)
1 0 1 1 3
D(2)(P1) = , D(2)(P2) = ,
0 1 2 3 1
1 0
D(2)(P3)= (A6.I.5a,b,c)
0 1
1 1 3 1 1 3
D(2)(P4) = , D(2)(P5) = ,
2 3 1 2 3 1
1 1 3
D(2)(P6) = , (A6.I.5d,e,f)
2 3 1
N=2 N =3
N=4
P = p p (simetrizador) (A6.I.6a)
e
325
Q = q q q (antisimetrizador), (A6.I.6b)
N =2
N =3
forma [3]:
YO[3] = [i Pi ]/6 =
forma [13]:
YO[13] = [i i Pi]/6 =
forma [2,1] :
forma [2,1]:
329
Y1
1 Y2 1 Y+
Y ([ 2,1]) = =
4 Y3 2 Y (A6.I.14)
Y
4
1 Y1 1 Y3
Y+ = e Y = , (A6.I.15a,b)
2 Y2 2 Y4
e que
+Y42)/2.=<YY >2 .
N = 2 e 3:
APNDICE A6.II
6.6.1 Introduo
1
Este item baseado no artigo de M. Cattani, publicado na Acta Physica
Polonica B20, p. 983, em 1989.
336
1 Y1 (123)
Y+ (3,1) = Y+ ( ) = Y+ (123) = , (11a)
2 Y 2(123)
Y (123)
Y (3,1) = Y ( ) = Y (123) = 1 3 , (11b)
Y4 (123)
2
onde:
(
Y1 (123) = > + > > > / 4 , )
(
Y2 (123)= >+2 > >+ >2 > > / 12 , )
(
Y3 (123) = >+2 > > >+2 > > / 12 , )
e
(
Y4 (123)= > > >+ > / 4 . )
341
123 1 0 123 1/ 2 3 /2
1 = = = I ; 2 = = ;
123 0 1 213 3 / 2 1/ 2
123 1/ 2 3 / 2 123 1 0
3 = = ; 4 = = ;
231 3 / 2 1/ 2 213 0 1
342
123 1/ 2 3 /2
5 = = e
132 3 / 2 1/ 2
123 1/ 2 3 / 2
6 = = . (13a,b,c,d,e,f)
321 3 / 2 1/ 2
rr
2 = I / 2 + i ( 3 / 2) y = exp[i j ( / 2)] (14a)
e
rr
3 = I / 2 i ( 3 / 2) y = exp[i j ( / 2)] , (14b)
r r
4 = z = i exp[im 4 ( / 2)] , (15a)
r r
5 = ( 3 / 2) x (1/ 2) z = i exp[im 5 ( / 2)] (15b)
r r
6 = ( 3 / 2) x (1/ 2) z = i exp[im 6 ( / 2)] . (15c)
r r r r
K inv = 4 + 5 + 6 = (m4 + m5 + m6 ) = 0 .
Y1 1 a b Y1
= , (16)
Y2 c d Y2
y (123)
y (123) = y ( ) = 1 1 , (17)
y 2 (123)
2
onde,
y 1 (123 ) = ( > > ) / 2 (18a)
[a *i , a j ]+ = ij , [a *i ,a *i ]+ = [a i ,a i ]+ =0 , (18a,b,c)
kji
a i a ja k = a a a (18d)
e
350
* * *
a *ia *ja *k = a a a , (18e)
ijk
a a Y ( ) = Y (00 ) , a a Y ( ) = Y ( 00 ) , (19a-b)
a a Y ( ) = Y (00 ) , (19c)
a a Y ( ) = Y (00 ) , (19d)
a a Y ( ) = Y ( 00 ) , a a Y ( ) = Y (00 ) , (19e-f)
a a Y ( ) = Y (00 ) (19g)
a a Y ( ) = Y (00 ) , (19h)
a a Y () = Y (00 ) , (19i)
351
a a Y () = Y ( 00 ) , (19j)
a a Y ( ) = Y (00 ) , (19k)
a a Y ( ) = Y ( 00 ) , (19l)
a * a * Y ( 00 ) = Y ( ) , (19m)
a * a * Y ( 00 ) = Y ( ) , (19n)
a * a * Y ( 0 0) = Y ( ) , (19o)
a * a * Y ( 0 0) = Y ( ) , (19p)
a * a * Y ( 00) = Y ( ) (19q)
e
a * a * Y ( 00) = Y ( ) , (19r)
352
valores esperados < A* > e < A > tem significado fsico vemos, de
acordo com os resultados acima e com os termos bi-lineares das Eqs.
(18a-e), que as seguintes relaes de comutao bi-lineares podem ser
consideradas vlidas para os gentleons g1 no esquema de uma teoria
quntica de campo,
[a *i , a j ]+ = ij e [a *i ,a *j ]+ =[a i ,a j ]+ = 0 , (20a,b,c)
~ ~
q =qf + ~
qc = ( I 3 + Y / 2) + ( I3 + Y / 2) , (21)
~ ~
onde q f = I 3 + Y / 2 refere-se ao sabor (flavor), ~
q c = ( I3 + Y / 2)
refere-se a carga de cor e um parmetro constante. Com esta
~ ~ ~
definio, a carga brion de cor total Q dada por Q = < M > ,
~ ~ + q~ + q~ , de acordo com a Seo 6.6.4. Lembrando
onde M = q1 2 3
~
que o valor esperado < M > uma constante de movimento igual a
~
zero, isto , < M >= cons tan te = 0 , como mostrado na Seo 6.6.4
para o estado Y (brg ) , vemos que a relao Gell-Mann-Nishijima
generalizada automaticamente satisfeita (Cattani e Fernandes, 1985;
1987a) independente do valor de . Contudo, devemos notar que para
preservar o carter gentilinico dos quarks necessrio colocar
= 0 . Ento, em nossa aproximao quarks tm cargas fracionrias,
de acordo com os resultados de Gell-Mann. Vemos que a carga brion
~
de cor Q uma quantidade fsica conservada associada com o AS 3
~
Casimir < M >= 0 que denominaremos Casimir de cor (Cattani e
Fernandes, 1985; 1987a).
Em nossa aproximao (Cattani e Fernandes, 1984; 1985;
1987a) msons so compostos de um para quark-antiquark [ qq ] . De
acordo com o Princpio Estatstico (ver Introduo), sistemas
semelhantes q , [ qq ] , [ qqq ] e [ qqq q ] , por exemplo, so proibidos.
Certamente brions com mais de trs quarks q so tambm proibidos.
358
L = iq a+ q a + gq a+ i A i q b m f q a+ q a
f x 2
ab
2
i A i
1 A
+ gf ijk A i A k , (22)
4 x x
q ( x ) = {a k+ k+ ( x ) + a *k k ( x )} , (23)
k
7.1 Introduo
1
Esta parte foi baseada no artigo de M. Cattani, publicado nos Anais da
Academia Brasileira de Cincias 67, p. 1-4, em 1995.
334
K[2,1]
(2,1) = 4 + 5 + 6 = 0 ,
3 3
b = + 1 , r = + +1 e g = ,
2 2 2 2
1 0
respectivamente, onde + = e = , e interpretar as
0 1
rotaes neste plano como transformaes que so produzidas pela
troca de glons entre quarks. Levando em conta que as propriedades
dos hdrons sejam invariantes por essas transformaes em E 3 ,
propomos o seguinte campo de gauge A (Mills, 1989)
2
A = Bk Tk (1)
k =1
r
onde n um vetor unitrio na direo radial. Nessas condies a Eq.
(2) torna-se:
o r r r
i t + i ig n( r ro ) mc ( x ) = 0 . (3)
338
f ( r ) j lm
( x ) = exp( iEt ) , (4)
( 1) (1+l l ) / 2 g ( r ) jl m
d f ( r ) + (1+ K )f ( r ) / r + g( r r )f ( r ) ( E + m )g ( r ) = 0 ,
o
dr
d f ( r ) + (1 K ) f ( r ) / r + g( r r ) f ( r ) ( E m )g ( r ) = 0 , (5a,b)
o
dr
Teoria de Gauge
U ( x ) = exp[ig ( k ( x ) Fk )] , (1)
k
Fig. 1. Mudana do ngulo interno (x) para (x+dx) quando a carga teste
se move de x para x+dx no espao-tempo.
(x ) = ( x )u , (2)
345
d = [( ) dx u + du ] , (3)
U ( dx ) = exp[ig d k Fk ] , (4)
k
d k = ( k )dx . (5)
Assim, teremos
( Fk ) =< Fk > .
346
u + du =[ ig ( k )dx ( Fk ) ]u , (7)
k
du = ig ( k )dx ( Fk ) u . (8)
k
( A ) = ( k )( Fk ) , (9)
k
d = [( ) ig ( A ) ]dx u , (10)
d = ( d ) u = ( D )dx u , (11)
347
D = [ ig ( A ) ] , (12)
D = ( igA ) , (13)
L = i D (1/ 4) F F m . (14)
i D = m , (15a)
F = j , (15b)
j = g , (15c)
Assim, pelo
caminho 1 temos
U1 (dx) (A) = (A) exp(- i g dj1 ) e pelo 2 temos
U 2 (dx) (A) = (A) exp(- i g j2 ) . Vejamos com calcular a
mudanas infinitesimais de fase d ao longo dos caminhos,
lembrando que:
Como A ( x ) = k Fk , no trecho x + dx x + dx + dy
k
temos,
351
(17)
Assim, pelo caminho 1 a evoluo A B dada pelo
operador
g 2 A ( x ) A ( x ) dy dx ig A ( x )dx dy . (18)
g 2 A ( x ) A ( x ) dy dx ig A ( x )dx dy . (19)
ou seja,
d = d1 d 2 = F dx dx , (20)
352
escrita como:
r r r r r r r r
d1 d 2 = 1A d l1 2 A d l 2 = A d l = S rotA dS , (21)
r r
onde d l integral de circuitao ao longo do permetro do
A
paralelograma.
O resultado visto na Eq.(21) o que conhecemos como o
Teorema de Stokes:
r r r r r r
A dS = B dS = A dl = , (22)
S S
353
REFERNCIAS
ndice Onomstico
Bak, T. A. 2, 395
Barnes, V. E. 234, 299
Bassalo, J. M. F. 1, 35, 99, 159, 182, 183, 204, 211, 221, 381, 382, 387, 395,
396
Bauer, E. 22, 34, 400
Berestetskii, V. B. 378, 396
Bjorklund, R. F. 221
Bliznyakov, N. I. 357, 396
Boerner, H. 320, 322, 327, 331, 333, 334, 336, 337, 396
Bohm, D. 371, 389, 393, 395
Boon, M. 14, 320, 322, 327, 331, 333, 334, 336, 337, 399
Borisovich, Yu. 357, 396
Bose, S. N. 325, 398
Buda 228
Burgoyne, N. 350, 363, 396
Butler, C. C. 221
Carmony, D. D. 233
Casimir, H. B. G. 126-128, 345, 346, 355, 358, 359, 363, 366, 367, 375, 379
363
Cattani, M. S. D. 317, 325, 326, 330, 344-347, 349, 351, 352, 355, 358-360,
362, 363, 366-368, 373-376, 382, 387, 396, 397
Chadwick, J. Sir 214, 221
Chamberlain, O. 224
Chodos, A. 379, 397
Christoffel, E. B. 382
Clebsch, R. F. A. 94, 95, 194, 196, 205, 208, 209, 219, 220, 275, 276, 280,
282, 283, 287, 293, 298, 300, 303
Close, F. E. 364, 397
Coleman, S. R. 230, 231, 235, 238, 239, 295
Condon, E. U. 209, 397
Connoly, P. L. 237, 296
Cork, B. 224
Coulomb, C. A. 92, 377
Cowan Junior, C. L. 221
Crandall, W. E. 221
Cushing, J. T. 175, 397
Dalitz, R. H. 236
Dashen, R. F. 238, 296
Di Giacomo, A. 371
Diddens, A. N. 232
Dieudonn, J. 356, 397
Dirac, P. A. M. 189, 231, 352, 370, 376, 377, 388
Eberhard, P. 237
Eckart, C. 203, 205, 208, 283, 284, 291
Einstein, A. 111, 221, 382, 387, 389, 398
Erwin, A. R. 235
Euler, L. 142, 166, 173, 388
Hamermesh, M. 317, 320, 322, 327, 328, 331, 333, 334, 336, 337, 347, 351,
398
Hartle, J. B. 351, 352, 398
Hasenfratz, P. 379, 398
Hebard, A. G. 242
Heisenberg, W. K. 214
Hellemans, A. 242
Hilbert, D. 317, 319-323, 326, 331, 337-340, 343, 345, 347
Hiley, B. J. 355, 371, 398
I
365
Kalbfleisch, G. 239
Kemmer, N. 221
Klein, O. B. 231, 295
Kuti, J. 379, 398
L
Occhialini, G. P. S. 221
Ogawa, S. 227, 289
Ohnuki, Y. 227, 229, 289, 294
Okubo, S. 229-231, 235, 238, 239, 290, 299, 300
Okun, L. B. 222
P
367
Stevenson, M. L. 236
Stokes, G. G. Sir 392
Stork, D. H. 233
Swart, J. J. de 230, 261, 277, 284, 293, 295, 401
Taylor, B. 100
Taylor, J. R. 351, 352, 398
Thomson, J. J. Sir 221
Thorn, C. B. 379, 397
Thorndike, A. M. 223
Ticho, H. K. 233, 237
Tiomno, J. 225, 237
Tsallis, C. 325, 401
Uhlenbeck, G. E. 185
Wilson, C. T. R. 221
Wojcicki, S. G. 237
Wu, T. T. 393, 402
Zagury, N. 237
Zeeman, P. 213 290
Zumino, B. 350, 359, 363, 399
Zweig, G. 239, 240, 300
ndice Onomstico
A
Bak, T. A. 2, 395
Barnes, V. E. 234, 299
Bassalo, J. M. F. 1, 35, 99, 159, 182, 183, 204, 211, 221, 381, 382, 387, 395, 396
Bauer, E. 22, 34, 400
Berestetskii, V. B. 378, 396
Bjorklund, R. F. 221
Bliznyakov, N. I. 357, 396
Boerner, H. 320, 322, 327, 331, 333, 334, 336, 337, 396
Bohm, D. 371, 389, 393, 395
Boon, M. 14, 320, 322, 327, 331, 333, 334, 336, 337, 399
Borisovich, Yu. 357, 396
Bose, S. N. 325, 398
Buda 228
Burgoyne, N. 350, 363, 396
Butler, C. C. 221
Carmony, D. D. 233
Casimir, H. B. G. 126-128, 345, 346, 355, 358, 359, 363, 366, 367, 375, 379
Cattani, M. S. D. 317, 325, 326, 330, 344-347, 349, 351, 352, 355, 358-360, 362, 363, 366-368, 373-376, 382,
387, 396, 397
Chadwick, J. Sir 214, 221
Chamberlain, O. 224
Chodos, A. 379, 397
Christoffel, E. B. 382
Clebsch, R. F. A. 94, 95, 194, 196, 205, 208, 209, 219, 220, 275, 276, 280, 282, 283, 287, 293, 298, 300, 303
Close, F. E. 364, 397
Coleman, S. R. 230, 231, 235, 238, 239, 295
Condon, E. U. 209, 397
Connoly, P. L. 237, 296
Cork, B. 224
Coulomb, C. A. 92, 377
Cowan Junior, C. L. 221
Crandall, W. E. 221
Cushing, J. T. 175, 397
1
D
Dalitz, R. H. 236
Dashen, R. F. 238, 296
Di Giacomo, A. 371
Diddens, A. N. 232
Dieudonn, J. 356, 397
Dirac, P. A. M. 189, 231, 352, 370, 376, 377, 388
Eberhard, P. 237
Eckart, C. 203, 205, 208, 283, 284, 291
Einstein, A. 111, 221, 382, 387, 389, 398
Erwin, A. R. 235
Euler, L. 142, 166, 173, 388
Hamermesh, M. 317, 320, 322, 327, 328, 331, 333, 334, 336, 337, 347, 351, 398
Hartle, J. B. 351, 352, 398
Hasenfratz, P. 379, 398
Hebard, A. G. 242
Heisenberg, W. K. 214
2
Hellemans, A. 242
Hilbert, D. 317, 319-323, 326, 331, 337-340, 343, 345, 347
Hiley, B. J. 355, 371, 398
Kalbfleisch, G. 239
Kemmer, N. 221
Klein, O. B. 231, 295
Kuti, J. 379, 398
L
3
Maxwell, J. C. 209, 381, 388, 392
Meijer, P. H. E. 22, 34, 400
Mendeleiev, D. I. 226
Merzbacher, E. 318-322, 325, 329, 400
Millikan, R. A. 242
Mills, R. L. 376, 381-383, 387-389, 393, 400, 402
Moebius, A. F. 357
Moriyasu, K. 381-383, 387, 389, 393, 400
Moyer, B. J. 221
Muirhead, H. 221
Occhialini, G. P. S. 221
Ogawa, S. 227, 289
Ohnuki, Y. 227, 229, 289, 294
Okubo, S. 229-231, 235, 238, 239, 290, 299, 300
Okun, L. B. 222
4
Sakata, S. 226, 227, 240, 285, 286, 289, 300, 302
Sakurai, J. J. 236, 238, 296
Schenberg, M. 397
Schiff, L. I. 318, 319, 322, 325, 329, 401
Schlein, P. E. 233, 237, 296
Schnitzer, H. J. 230, 231, 235, 238, 239, 295
Schouten, J. A. 148, 149, 152
Schrdinger, E. 92, 176, 211, 322
Schur, F. 58, 62, 170
Schwinger, J. S. 225
Segr, E. G. 224, 226, 401
Shortley, G. H. 209, 397
Shutt, R. P. 223
Slater, W. E. 233
Smirnov, V. 5, 9, 401
Speiser, D. R. 277
Stevenson, M. L. 236
Stokes, G. G. Sir 392
Stork, D. H. 233
Swart, J. J. de 230, 261, 277, 284, 293, 295, 401
Taylor, B. 100
Taylor, J. R. 351, 352, 398
Thomson, J. J. Sir 221
Thorn, C. B. 379, 397
Thorndike, A. M. 223
Ticho, H. K. 233, 237
Tiomno, J. 225, 237
Tsallis, C. 325, 401
Uhlenbeck, G. E. 185
5
Williams, W. S. C. 261, 402
Wilson, C. T. R. 221
Wojcicki, S. G. 237
Wu, T. T. 393, 402
Zagury, N. 237
Zeeman, P. 213 290
Zumino, B. 350, 359, 363, 399
Zweig, G. 239, 240, 300