DKP

IFT
Instituto de Fsica Terica

Universidade Estadual Paulista
DISSERTAO DE MESTRADO
IFT-D.009/2000
A teoria de Duffin-Kemmer-Petiau: Aspectos Clssicos

e Qunticos
Juan Segundo Valverde Salvador
Orientador
\CA
Prof. Dr. Bruto Max Pimentel Escobar
Agradecimentos
A Natlia, minha esposa, pelo incentivo e apoio durante todo o tempo em que
estamos juntos.
A meus pais, pelo apoio dado durante toda minha vida.
Ao Prof. Pimentel, por ter me aceitado como aluno, pela orientao acadmica
e pelos bons conselhos que recebi dele.
Ao Prof. V. Ya. Fainberg, pela colaborao frutfera durante o trabalho.
A Marcos Cardoso pela amizade. A Randall e Tadeu pela ajuda na redao

desta dissertao.
Aos colegas peruanos, em especial a Teovar pelas conversas e discusses.
A todos os alunos do IFT.
FAPESP (processo nmero 98/00268-1), pelo apoio financeiro que tornou

este trabalho possvel.
A mi pequeno hijo, Juan Andrei.
Resumo
Estudamos, tanto no nvel clssico e quntico, a teoria de Duffin-KemmerPetiau (DKP). No nivel clssico, o problema referente existncia de um termo
anmalo na Hamiltoniana de interao de partculas escalares carregadas DKP
interagindo com o campo EM resolvido considerando-se de forma correta a
componente fsica do campo DKP.
Quanticamente, usando a representao de Kllen-Lehmann, obtemos as funes
de Green exatas para o fton e a partcula escalar carregada DKP. Mostramos
que, na aproximao a um loop, as funes de Green para o fton coincidem nas
teorias de DKP e Klein-Gordon (KG). Da mesma maneira, calculamos a um loop
a funo de Green para o caso da partcula escalar de DKP.
Palavras Chave:
Teoria DKP, representao de Kllen-Lehmann, Eunes de
Green exatas.
rea de conhecimento: Teoria de Campos.
Abstract
The Duffin-Kemmer-Petiau (DKP) theory is studied both on the classical

and quantum leveis. In the classical levei, we see that the problem related to the
presence of an anomalous term in the interaction Hamiltonian of charged scalar
DKP particles interacting with the eletromagnetic field is solved by correctly
using the physical component of DKP field.
In the quantum levei, we use the Kllen-Lehmann (KL) representation to
obtain the exact Green Functions (GF) for the photon and scalar charged DKP
particles. We show that the GF for the photon coincide in the DKP and Klein
Gordon (KG) theories in one-loop aproximation. We calculate the GF for the
scalar DKP particles in one-loop aproximation, too.
Keywords:
Functions.
DKP Theory, The Kllen-Lehmann Representation, Exact Green
ndice
Introduo
A equao de onda relativstica
1.1
O campo livre
1.2
Equao de Dirac
12
1.3
As matrizes 7^ sob as transformaes de Lorentz
14
1.4
Equaes de onda relativsticas generalizadas
17
A Teoria de Duffin-Kemmer-Petiau
2.1
21
A equao de Duffin-Kemmer-Petiau e as propriedades algbricas

das matrizes (3
21
2.2
As representaes de j3 na teoria de DKP
25
2.3
A invarincia relativstica
38
2.4
A invarincia de gauge e a interao com o campo EM
41
2.5
Formulao hamiltoniana
52
Quantizao
57
3.1
Quantizao do campo DKP
57
3.2
Regras de comutao. Propagador do campo DKP. Funo de Green 62
Representao de Kllen-Lehmann (KL). Funes de Green Ex70
atas
4.1
Campo escalar
70
4.2
Funo de Green exata para o fton
76
4.3
Funo de Green exata para a partcula DKP
79
Correes radiativas a um loop
83
5.1
Polarizao do vcuo
83
5.2
Correo de massa
87
Concluses
Bibliografia
91
93
Introduo
A equao de Duffin-Kemmer-Petiau (DKP) [1, 2, 3] uma equao relativista

conveniente para a descrio de partculas de spin 0 e 1, com a vantagem sobre
outras equaes relativistas do tipo Klein-Gordon (KG) [4, 5, 6] para partculas
de spin 0, ou Proca para partculas de spin 1, por ser uma equao diferencial
linear de primeira ordem; fato este importante quando o formalismo cannico
adotado na teoria. importante mencionar que a equao de DKP muito
semelhante equao de Dirac (spin 1/2), com a diferena de que as matrizes
satisfazem uma lgebra diferente.
O primeiro a propor o que agora se conhece como lgebra de DKP foi Petiau
[1], que baseou seus trabalhos nas equaes lineares de primeira ordem contendo
matrizes 16 x 16, as quais, por sua vez, foram obtidas a partir de duas representaes diferentes para as matrizes de Dirac. Posteriormente, foi mostrado que
tal representao redutvel, podendo-se decompor em outras 3 representaes
irredutveis: 1 representao 5x5 (para spin 0), 1 representao 10 x 10 (para
spin 1) e uma ltima representao trivial.
So os trabalhos de Proca [7] que inspiram Kemmer, que consegue obter as
equaes de Proca como descritas por equaes acopladas de primeira ordem,
levando-o a escrever equaes anlogas para o caso de spin 0. No entanto, ele
Introduo
no consegue clarificar, num primeiro instante, qual a lgebra que as matrizes

P devem satisfazer.
Muito antes, Duffin [2], um matemtico, que assistiu a um seminrio sobre as
equaes de Proca dadas por Kemmer, consegue relacionar campos de spin 0 e 1
com as equaes de primeira ordem na formulao P, afirmando que elas devem
satisfazer as j conhecidas relaes de comutao obtidas tambm por Petiau.
Kemmer quem sintetiza seus trabalhos, junto aos avanos realizados por Duffin e
Petiau, escrevendo seu clebre trabalho em 1939 [3].
Embora transcorridos j mais de 60 anos, podemos, no entanto, dividir este
perodo em trs fases: a primeira, de 1939 (com a apario do clssico trabalho
de N. Kemmer) at aproximadamente 1970; a segunda, de 1970 at 1980, e a
ltima, de 1980 at os dias atuais.
Durante o primeiro perodo a maioria dos trabalhos sobre a equao de DKP
foi dedicada ao desenvolvimento do formalismo e investigao sobre a interao
das partculas de DKP com o campo EM. Para uma srie de processos, os clculos
baseados nos formalismos de DKP e Klein-Gordon (KG) proporcionam resultados
idnticos [8, 9], inclusive para as correes a um loop [10, 11].
Uma contribuio importante feita para a compreenso de tais problemas foi
feita por Wightman no seu trabalho [12] dedicado ao 70 aniversrio de P.A.M.
Dirac em 1971. Ele mostrou que, para o acoplamento mnimo com o campo EM
(~ erpPfjîpAfP), h estabilidade da equao DKP para partculas de spin 0 sob
perturbaes locais do campo externo, ou melhor, que o carter retardado das
solues da equao DKP conservado sob tais perturbaes. O ponto central
da prova dada por Wightman o fato do carter retardado da soluo estar
vinculado renormalizao da teoria no caso de interao com um campo EM
Introduo
quantizado.
O segundo perodo pode ser caraterizado por algumas desiluses.
Neste
perodo dois grandes descobrimentos foram feitos: a violao da paridade e a

criao de uma teoria unificada para as interaes eletrofracas (o modelo de
Weinberg-Salam). O problema sobre a equivalncia entre as duas teorias DKP
e KG levantado novamente ao pretender-se descrever novos processos. Muitos
trabalhos [8] foram realizados aplicando o formalismo DKP para a desintegrao
de msons K e outros msons instveis, levando a resultados diferentes dados
pela equao de KG.
O terceiro perodo marcado pela incerteza a respeito da equivalncia entre
as duas teorias DKP e KG. No so muitos os trabalhos publicados a respeito.
Uma prova concludente sobre a equivalncia entre os elementos fsicos da matriz
S, em qualquer ordem da teoria de perturbaes, das teorias DKP e KG foi dada
recentemente [13, 14] para os casos de partculas escalares carregadas interagindo
com um campo EM externo ou quntico com acoplamento mnimo.
Recentemente tem aumentado o interesse pela teoria de DKP. Em particular, esta foi aplicada QCD (a curtas e longas distncias) por Gribov [15],
dinmica covariante hamiltoniana por Kanatchikov [16], e tem sido analisada sua
generalizao relativstica acoplada a campos gravitacionais [17, 14, 18].
Num primeiro instante, no presente trabalho, dada uma introduo sobre as
equaes relativsticas lineares de primeira ordem no nvel clssico e observa-se
de maneira transparente como elas aparecem de forma natural caso a condio
de KG seja exigida.
No captulo 2 sero apresentadas as equaes de DKP e
as propriedades algbricas que as matrizes /? devem satisfazer; alm disso uma

representao particular obtida para o caso escalar. Introduzindo os projetores
Introduo
P e Pf^ [19], selecionada a componente fsica do campo DKP e prova-se ao

mesmo tempo a invriancia relativstica da teoria.
A interao com o campo EM introduzida e v-se que para manter a invarincia por transformaes de gauge local necessrio selecionar a componente
fsica do campo tal que a regra de acoplamento mnimo seja bem justificada.
importante mencionar que o procedimento no causa problemas vinculados ao
termo anmalo inicialmente mencionadas por Kemmer e recentemente analisado
no trabalho [20].
Por outro lado, no captulo 3 realizada a quantizao do campo DKP usando
o formalismo cannico, calculando-se o propagador do campo escalar (funo de
Green) e notando, como conseqncia dos vnculos existentes na teoria [13], o
surgimento de um termo a mais, proporcional a (1 /3q), que no contribui para
os elementos da matriz S para os estados fsicos da partcula.
No captulo 4 obtemos a representao de Kllen-Lehmann (KL) [21, 22, 23,
24] para o caso escalar usando a teoria de KG e a Funo de Green exata do fton
e do campo escalar carregado na teoria DKP. So calculados, na aproximao a
um loop, as Funes de Green para o caso do fton e da partcula escalar carregada
DKP [25].
No captulo 5 calculamos a polarizao do vcuo fl^fj e a correo de masa
[25] para uma partcula escalar carregada DKP a um loop. Em ambos os
casos so obtidos resultados que coincidem aos fornecidos pela teoria de KG, e
pode-se dizer que as duas teorias so idnticas ao nvel de um loop.
Finalmente, apresentamos nossas concluses e perspectivas no captulo 6.
1.
equao
de
onda
relativstica
1.1
O campo livre
Em princpio definiremos o espao-tempo, que est determinado pela mtrica
= (+, +, +, +)
(1-1)
Essa mtrica define o chamado espao-tempo de Minkowski. No espao de Minkowski

podemos definir os 4-vetores. O 4-vetor para a coordenada dado por
= (Xi,X2,X3,X4) = (X,X4) = (x, Xq) = (x,ZC).
(1.2)
Vemos que com esta notao estamos evitando as definies de 4-vetor covariante
e de 4-vetor contravariante que usualmente se usa na maioria da literatura. A
utilidade desta medida que deixaremos de nos preocupar com a posio em
que devem ser escritos os ndices (acima ou abaixo). O produto invariante dos
4-vetores segundo (1.2)
= x^ - {ctf inv.
(1.3)
Captulo 1. A equao de onda relativstica
Definimos do mesmo modo o 4-vetor momento
Pc = (P.P4> = I P'"
(1.4)
A condio de invarincia para o 4-momento na camada de massa

E'^
(1.5)
p,p^ = p -
A equao de onda da mecnica quntica no relativstica no tem a forma invariante de Lorentz, por isso necessrio procurar equaes que derivam das
equaes no relativsticas e sua conseqente extenso Teoria Quntica de Campos (TQC) que descrevam as partculas livres, pois aqui elas adquirem a forma
invariante de Lorentz. Podemos tomar um dos exemplos mais comums para ilustrar a idiaP sabido que na mecnica no relativstica a energia e o momento
2
se relacionam como: E =
Na Mecnica Quntica estas quantidades so
interpretadas como operadores
(1.6)
p
V.
Essa uma relao bem conhecida que garante a conexo entre a onda e a
partcula. Nota-se que (1.6) pode ser obtida facilmente usando-se a representao
4-vetorial para
como
= 10^. Fazendo uso de (1.5) fcil obter a equao
de onda para os campos Qq(x), a = 1,2,n
( - rn^) Qa(a:) = 0,
= 9^5^,
(1.7)
Daqui em diante usaremos o sistema de unidades para o qual a velocidade da luz c = 1 e a

constante de Planck h= 1.
a qual conhecida como equao de Klein-Gordon (KG). Desta forma, assumiremos que os campos qunticos de qualquer TQC devem satisfazer a mencionada
condio de KG.
Os campos qunticos correspondem s partculas elementares livres que satisfazem a equao (1.7). Uma ilustrao familiar a proporcionada pelas componentes A^(a;) do campo Eletromagntico (EM). Se considerarmos que as componentes do campo Qq(x) correspondem s partculas com diferentes massas
(toi, m2,..., m), a equao (1.7) substituda
n ( - m^) Qa(x) = 0.
5=1
(1.8)
A diferena entre a equao (1.8) e a equao no relativstica que na primeira

se tem uma derivada segunda no operador temporal. Isto traz como conseqncia
que a "densidade de probabilidades no positivamente definida. E bem conhecido que qualquer equao diferencial de ordem superior nas derivadas pode
ser convertida a um sistema de equaes de primeira ordem com o incremento do
nmero de variveis.
O fato que a equao de onda no-relativstica de primeira ordem em relao
derivada temporal crucial para a mecnica quntica no formalismo cannico,
no qual a invarincia cannica da teoria reflete a conservao das probabilidades.
Com o objetivo de preservar a lei mencionada adota-se o formalismo cannico na
TQC. Esta formulao cannica dos campos qunticos est baseada na condio
que as equaes diferenciais devem ser de primeira ordem. A formulao cannica
pode aplicar-se quantizao dos campos qunticos sempre e quando a condio
de KG seja satisfeita.
Um exemplo bem conhecido de equao de campo de primeira ordem nas
derivadas espao-temporais encontra-se no eletromagnetismo.
As equaes de
Maxwell so um sistema de equaes diferenciais de primeira ordem para 4 componentes do vetor potencial A^{x) e as 6 componentes do tensor de campo EM
= dÂi, duAfj, que satisfazem (1.7).
Podemos converter, para o caso de uma componente, a equao (1.7)
{a - m^) Q{x) = 0
(1.9)
no seguinte sistema de equaes diferenciais e de primeira ordem:

Qf,{x)
df,Q{x)
d^Qî{x)
m^Qx).
(1.10)
Desta forma adicionamos componente original Q{x) 4 componentes Qî{x), ou

seja, temos agora um campo composto por 5 componentes (Q, Q^). Em geral a
equao de onda relativstica para as funes de onda Qa(x) possui a forma
KMQ^) = 0.
(1.11)
A condio de KG (1.9) limita a equao de onda por exigir a existncia de um

operador diferencial da/sid) que satisfaa a relao
da0{d)A0p{d) = ( - m^)
(1.12)
onde dap{d) definido por
^(^) = [âp{d)] = a -f
e a,ap,... so matrizes de dimenso n.
-I-... +
+ ...
(1-13)
Se denotamos a ordem mxima dos
operadores diferenciais por b, ento

a
= 0
l>b.
(1.14)
A matriz Aap{d) da equao (1.11), (1.12) de primeira ordem no operador d,

tendo a forma geral
A{d) = [Aa/3(5)] =
onde
+ m/3,
(1.15)
e P so matrizes de dimenso n, m uma constante (em princpio, no
assumimos que represente a massa da partcula) e Qa{x) uma matriz coluna.

Considerando a condio de KG, de (1.12), (1.13) e (1.15) podemos escrever
{-a + 0^5^ +
+ ...) (p^5^ + m/3) = ( - nP) I
(1-16)
Essa a forma mais geral onde levamos em conta a condio de KG. Comearemos
a analisar d{d) para diferentes casos.
Caso I: Vejamos um primeiro caso quando d{d) de ordem zero em relao
s derivadas, ou seja uma constante. Temos ento
d{d) = a.
(1.17)
Substituindo na equao (1.12) teremos que
a{p^dfi + mP) = (n nP)l
amP = rrPl,
(1.18)
obtendo ento a igualdade

a = m/3^.
(1-19)
Assim, mostramos que existe a matriz /3^ de modo que /3 uma matriz nosingular. Nota-se que o aparecimento de a em (1.13) est justificado pelo valor
positivo que a assume em (1.19). Retornando equao (1.11), analisaremos a
expresso
A{d)Q{x) =0
+ f^P) Q{x) = 0.
(1.20)
J que 3 /J ^ ento multiplicamos (1.20) por
10
e obtemos
(1.21)
Qip^) = 0Definindo as matrizes
(1.22)
= P~'pf
escrevemos (1.11) como
{!3îd^-\-m)Q{x) Q.
(1.23)
Sendo esta uma teoria equivalente a (1.20), podemos escrever sempre a equao
relativstica na forma (1.23).
Caso II. Vejamos o que acontece quando d{d) de primeira ordem em relao
s derivadas, ou seja,
d{d) - -a + a^d^.
(1-24)
Substituindo em (1.12) temos que
{-a + a^d^)
-am -
+ m)
+ ma^dy, +
( - m^) I
( - rn^) I-
Comparando os termos que no contm derivadas em ambos os membros dessa

equao chegamos concluso que
am = mÎ
a = ml.
(1-25)
Comparando os termos que contm a primeira derivada, temos
-o^^d^ + maf,d^ = 0
=>
a^ = 13^.
(1.26)
11
Finalmente, considerando os termos que contm as derivadas segundas, vemos

que chegamos seguinte relao
a^l3^df,du
d^dÎ
=>
obtendo
(1.27)
Cabe lembrar que
so matrizes de ordem n x n. Mais adiante se ver que b,
que entra na definio (1.14), e que indica o nmero mximo dos operadores de
derivao, igual a 2/ , onde / o valor mximo do spin que descreve o campo
Qa{x). Vemos que, segundo o que foi dito anteriormente, o caso//tratado acima
se refere a um sistema para o qual o campo Qa{x) possui spin igual a
j que
= 1. Poderiamos, por outro lado, procurar que matrizes satisfazem a condio

desejada (1.27).
Vejamos o que ocorre quando n = 2.
Aqui teramos matrizes 2 x 2, e
poderiamos recorrer s matrizes de Pauli e matriz identidade, que formam

uma base
(1-28)
de onde teriamos as seguintes regras para os brackets
=
2jfc;
2ai.
(1.29)
Claramente se v que (1.29) no satisfaz a condio (1.27), portanto as matrizes

(1.28) no podem ser tomadas como base para este caso, no podendo ser identificadas com as matrizes
12
Agora, se tomamos n = 4 teremos as matrizes de Dirac, que satisfazem a

condio (1.27), podendo ser identificadas ento com as matrizes
Lembremos
que as matrizes de Dirac so obtidas quando d{d) de primeira ordem, ou seja,

f ^ (spin 1). Algumas propriedades das matrizes de Dirac so discutidas nas
sees 1.2, 1.3. Recordaremos apenas que temos aqui uma base de 16 matrizes
(representaes irredutveis), a partir das quais pode-se construir todas as demais
matrizes. Estas so
I
ln
liilb
75
14
16
(1.30)
onde
75
1.2
I71727374;
(1.31)
~ 7i^7m)
Equao de Dirac
Os campos com spin 1 so descritos pela teoria de Dirac. Partculas ferminicas

massivas, de massa m, so descritas pela equao
+
(1.32)
As matrizes 7^ devem satisfazer as seguintes relaes:
d"
(1.33)
De (1.32) e (1.33) chega-se

( m^)
= 0,
(1.34)
13
em concordncia com a condio de KG j vista anteriormente; porm, agora,

baseada na equao de Dirac.
Qualquer funo X das matrizes 7^ pode ser
escrita como uma combinao linear das 16 matrizes
onde 7^^ (^ = 1, 2, ...16)
so definidas por
I
T
7
7m75
75
-)
^nu
(1.35)
e 75 so dados por (1.31). Pode-se mostrar que as matrizes 7^ satisfazem as

seguintes condies
(77'
Tr{-A)
=0
7''#/;
Tr{'y^^^)
=0
A^B.
(1.36)
As matrizes 7^^ so linearmente independentes e portanto formam uma base (as

16 quantidades). Para mostrar isso basta demonstrar que a condio
^CV = 0,
A
CêC,
(1.37)
satisfeita se todos os coeficientes fossem simultaneamente nulos. por isso que

qualquer matriz A, 4 x 4, pode ser descomposta em funo de 7^^, isto ,
A = ^C^7^.
A
(1.38)
O complexo conjugado de um c-nmero ser representado por (*), e o hermitiano conjugado de um q - nmero por (-I-). Assim, por exemplo, o hermitiano
Captulo 1, A equao de onda relativstica
14
conjugado de A = [ap] ser denotado por A+ = [oJq], onde
o complexo
conjugado de aâDuas diferentes representaes de 7^, digamos
e 7", so relacionadas entre
si atravs de uma matriz unitria S , da seguinte forma:

7 = S-'7'S.
(1.39)
Sempre podemos escolher uma representao para as matrizes 7^, onde estas
sejam hermitianas, ou seja,
7m = 7-
1.3
(1-40)
As matrizes 7^ sob as transformaes de Lorentz
necessrio exigir invarincia de Lorentz para a equao de Dirac (1.32). Teremos

assim as seguintes transformaes:
tp'
Aip,
(1.42)
onde as matrizes de transformao satisfazem as seguintes relaes:
AA~^
/;
|detA|
1.
(1.43)
A expresso |det A| = 1 em (1.43) nos diz que A pseudo-ortogonal. A invarincia

da equao de Dirac (1.32) com respeito a (1.41) e (1.42) implica que
A 7pA = o.,7.
(1.44)
15
As transformaes de Lorentz infinitesimais so dadas por

CLî/ îxu 1
onde
so os parmetros infinitesimais. Da condio de ortogonalidade (1.43)
deriva-se
SuJi/n-
(1.46)
Assim, a matriz de transformao que se usa em (1.42) pode-se expandir como

A = /+
(1-47)
onde considerando (1.45) obtm-se

(1.48)
Substituindo (1.47) e (1.45) em (1.44) obtemos que
[TA)
onde uma soluo de (1.49) para
(1'^^)
seria
= {'Ifili' ~ Ti/7/i)
(1.50)
Definamos agora o campo ip, adjunto a iIj, da seguinte maneira:

ip = ^+74.
(1.51)
Comprova-se facilmente que ip satisfaz a equao

- mip = 0.
Sob transformaes de Lorentz (1.41) e (1.42) a quantidade
ip' = -074A*74.
(1.52)
transforma-se como
(1.53)
Captulo 1, A equao de onda relativstica
16
Para uma transformao infinitesimal do tipo (1.47) ou uma reflexo espacial

tem-se
xp' = xf;A~^,
(1-54)
ao passo que para uma reflexo temporal tem-se
'ip' (1.55)
Portanto, 'ip'tp muda de sinal sob uma reflexo temporal.

Vejamos as propriedades do trao para as matrices 7^.
Para calcular este
trao levaremos em conta que a quantidade Tr
forma um tensor
4-dimensional de posto n (tensor no sentido da lgebra 7). Isto segue-se do fato

que V'7î7|i2...7/i'0 um tensor (como tambm '0o^j/'0). Assim
Tr (7/xi72-7Mn) =
^7m7M2-7infc
(1-56)
k
tambm um tensor, onde se normalizam as amplitudes u = 1.
J que o trao das matrices 7^ no depende da representao usada, a forma
do tensor
(7^,7^2---7Mn) tambm no depender da escolha do sistema de co-
ordenadas. O nico tensor que tem essas propriedades o tensor 5^^. Portanto,
o tensor desejado deve ser constituido por combinaes de
Daqui segue-se
que, se n mpar, ento
^^(7/.i7M2-7/.n) = 0
>
n = 2k + l.
(1.57)
Agora, se n par, teremos
Tr (7/Ji7i2"'7/in)
^
p
(1.58)
17
onde P so todas as permutaes possveis dos ndices
Pn e ap so cer-
tos coeficientes que se podem determinar notando-se que TrI = 4.
Por isso
escrevemos
(1.59)
p
Vejamos alguns traos;
1.4
^Tr(7i7A:)
ik]
(7i7fc77m)
îk^lm
(1.60)
îl^km d" îm^kl-
Equaes de onda relativsticas generalizadas
Revisar-se- uma vez mais a equao de onda relativstica, j analisada na primeira

parte. A equao diferencial linear para o campo ipix) dada por
A{d)ip{x) = 0.
(1-61)
A condio de KG supe a existncia de um operador d{d) de tal forma que se

verifica
d(d)A(d) = ( - m^) 7,
(1.62)
onde d{d) dado por (1.13) e A{d) dada por

A{d) =
+ m.
(1.63)
Nota-se que a nica diferena em relao a (1.15) que se tem j includas as

matrizes
Revisando os resultados j obtidos para as diferentes ordens de d{d),
dados por (1.19) e (1.22) para o caso em que d{d) de ordem zero, e os dados por
(1.25) e (1.26) para o caso em que d{d) de primeira ordem, estaria nos faltando
18
ver um terceiro caso em que d{d) de segunda ordem e assim, de alguma maneira,
generalizar os resultados obtidos.
Em geral temos que
A{d)
d(d)
I3f,d^ + m,
Oi + Oifj^dn + Oiî/d^di/ + ... +
e com isso podemos analisar os diferentes casos abaixo:

Caso I: Quando d{d) de ordem zero temos b = 0 e f = 0. Assim,
d{d) = o;;
<
(1.64)
a = m.
Caso II. Quando d{d) de priilieira ordem, b = 1 e f ^ :

d{d) - -Oi + 0^5^;
Q
TTl
Oi^
(1.65)
{PnPi2 + PuPfi) =
- PM = 0Caso III. Quando d{d) de segunda ordem, 6 = 2 e / = 1 :
d{d) = -a + af,df, +
<
a = m
(1.66)
(îxu = ~ [v^ll' ~ 2 iPtPi' + PuPp)\ = ^
^ {Vfn> ~ P^lPu) ;
alm disso temos a lgebra
o>ûPxd,,ddx = 0;
(1.67)
I oinuPx + OixnPn. + Oi^xPn = 0
Oifj,^Px = 0.
19
Substituindo (1.66) em (1.67) temos a lgebra para as matrizes (3 :

- W = 0,
(1.68)
onde essa expresso pode ser comparada a (1.65).

Caso IV. Quando d{d) de terceira ordem, 6 = 3 e / = | :
d{'^
d" OLî/d^dif
<
a = m
(1.69)
e a lgebra
f^fii^Pxdfidi/x + cXfî/xfjî/dx 0,
^HuX d ^^luPx d" (^XfiPi/ d (XifxP^t 0)
CXfûX =
Pu iVi^x - Pi'P\)
Note-se que a lgebra dada em (1.68) coincide com o elemento 0^,^^ de (1.70), ou
seja, o elemento correspondente ordem n nos d a lgebra para as matrizes (3
para a ordem (n 1). Assim podemos expressar em geral o termo
da
expresso (1.13) como
Est claro que sob as condies (1.14) pode-se facilmente obter a lgebra das
matrizes (3 a partir de (1.70). Colocando = 5-1-1 satisfeita a condio (1.14),
anteriormente mencionada, obtendo-se desta maneira a lgebra das matrizes P,
isto ,
^
[<^m6M6+i ~ P/j^bP^b+i] ~ d.
(1-72)
A respeito de (1.72), Harish-Chandra assinala que esta lgebra das matrizes P no

gera uma lgebra finita para 5 = 1, (/ > 1). Uma das condies necessrias para
20
as matrizes /? que sua lgebra seja finita. Vejamos os resultados das lgebras
correspondentes aos diferentes casos:
a.
) Para spin | (/ = |, 6 = 1). De (1.65) segue-se que a lgebra das m
(1-73)
Logo, as matrizes (3^ coincidem com as matrizes 7^ de Dirac.
b.
) Para spin 1 (/ = 1,6 = 2). De (1.68) segue-se que
XI
(1-74)
que se pode escrever como
- PiyVnx) = 0.
(1.75)
Para ter uma soma sobre todas as permutaes possveis necessrio quebrar
a simetria de
ou seja, a simetria do termo f3xr]fj,u-
2.
Teoria de
DufRn-Kemmer-Petiau
2.1
equao
de
Duffin-Kemmer-Petiau e
as
propriedades algbricas das matrizes [3

Para a anlise das propriedades dos campos vetoriais massivos (de spin 1) e
dos campos escalares massivos (de spin 0), conveniente partir no da equao
de onda de segunda ordem, mas de uma equao que seja de primeira ordem.
Este tipo de situao se obtm aumentando o nmero de variveis, (veja por
exemplo (1.10)). Esta equao proporcionada pela teoria de Duffin-KemmerPetiau (DKP)
+
= 0,
(2.1)
a qual de primeira ordem. A lgebra que satisfazem as matrizes P nesta teoria
PîPuPx + PxPvPti = PtJ.\u + Pxîiv
(2.2)
Portanto a equao (2.1) descreve as propriedades de partculas livres de spin 0 e

spin 1, com as matrizes /3 satisfazendo as propriedades algbricas (2.2) em ambos
Captulo 2. A Teoria de DufRn-Kemmer-Petiau
22
casos. A diferena entre os dois valores de spin consiste no fato que no caso de
spin 0 a funo de onda ijj tem 5 componentes, enquanto que no caso de spin 1 a
funo '0 tem 10 componentes. Conseqentemente, as matrizes /? sero matrizes
5x5 (para o caso de spin 0) ou matrizes 10 x 10 (para o caso de spin 1).
As 5 componentes da funo de onda 0 que descreve partculas de spin 0
contm a funo de onda escalar ip e suas quatro derivadas espao-temporais
transformando-se estas ltimas como um 4-vetor. J que as matrizes /? satisfazem
as mesmas relaes (2.2) no caso de partculas escalares e no caso de partculas
de spin 1, as frmulas gerais para os elementos de matriz que determinam os
diferentes processos de interao para partculas de spin 0 e spin 1 tero as mesma
formas. As probabilidades destes processos so diferentes para os dois tipos de
partculas, devido ao fato que os traos [Tr) para as matrizes, no caso de serem
5 X 5 ou 10 X 10, so diferentes. Sabemos, alm disso, que existe um nico tensor
anti-simtrico de segunda ordem com relao a /J, dado por
(2.3)
A prova desta expresso baseia-se na invarincia relativistica e ser vista na seo

2.3. Da lgebra (2.2) para p ^ u obtemos
0t)Pr
* #
(2.4)
/> = !';
(2.6)
Podemos, alm disso, obter as seguintes relaes
/3u
(2.6)
(2.7)
Captulo 2. A Teoria de Duffin-Kemmer-Petiau
23
onde no estamos tomando a soma sobre o ndice que se repete.

agora as matrizes
Definiremos
dadas por:
= 201 - 1.
Resulta dessa definio que
(2.8)
satisfaz as seguintes relaes:
VfiVu
1;
(2.9)
(2.10)
M ^
(2.11)
(2.12)
onde novamente no tomamos a soma sobre o ndice que se repete.
Como j
dissemos anteriormente, pode-se encontrar uma representao na qual as matrizes

sejam hermitianas.
Desta afirmao, e segundo a definio (2.8) podemos
deduzir que 77^ tambm hermitiana.

Definamos agora o campo
adjunto a
da seguinte maneira
= V'"^?74.
(2.13)
Pode-se mostrar que ip deve satisfazer a seguinte equao de onda
- mip = 0.
Lembremos que a matriz
hermitiana, isto P^ = Pî-
(2.14)
Segundo (1.43) e
(2.3) vemos que, sob transformaes infinitesimais de Lorentz, a quantidade ip

transforma-se como
Captulo 2. A Teoria de Dufin-Kemmer-Petiau
24
devido ao fato que ujik e 5uj4 em (1.46) so reais e imaginrios, respectivamente.

Se temos uma reflexo espacial, isto , x'/^ = Xk e x'4 = X4, ento a relao
anloga a (1.44), isto ,
(2.16)
ns d
A = 7/4.
(2.17)
Os detalhes sobre os sinais sero discutidos na seo 2.2. Multiplicando a expresso (2.1) por dpPpPi, pelo lado esquerdo encontraremos a seguinte igualdade
= d^/3^f3pip.
(2.18)
Fazendo o mesmo na equao (2.14) chegamos a

dpi) = d^xj)(3pP^.
(2.19)
Com base em (2.1) e (2.14) fcil construir agora a quantidade jp definida por
jp = itPpi),
(2.20)
que satisfaz a equao de continuidade

dpjp = 0,
(2.21)
podendo ser identificada como o 4-vetor densidade de carga e corrente. De (2.1)

e (2.18) podemos obter a equao de KG para i),
( -rn^)'tp = 0.
(2.22)
Da mesma forma, de (2.14) e (2.19) obtemos a equao de KG para

( m^) i) = 0.
(2.23)
25
Captulo 2. A Teoria de DufSn-Kemmer-Petiau
Obervamos que a densidade jo, definida em (2.20), no necessariamente positiva,

pois toma a forma jo =
. No entanto, este no um requisito necessrio
na regio relativstica.
claro que (2.21), (2.22) e (2.23) so suficientes para mostrar que este formalismo adequado para descrever a teoria quntica das partculas. Falta ainda
demonstrar que esta abordagem relativisticamente invariante para poder, definitivamente, passar quantizao dos campos.
2.2
As representaes de /3 na teoria de DKP
Vimos anteriormente que a teoria de DKP corresponde aos campos de spin 1 e

spin 0. Por conseguinte, faremos a separao das funes de onda de spin 1 e 0
da seguinte maneira. Para selecionar a funo de onda de spin 0 , necessrio
introduzir os operadores P e
definidos por
0iDl0l0i\
(2.24)
Pf},.
(2.25)
p2 = P,
(2.26)
Pode ser mostrado que
o que torna possvel denominar o operador P de operador de projeo. Assim

tambm se deduz a relao
= Pfû.
(2.27)
Considerando (2.25) pode-se escrever esta ltima relao como
= P5^,.
(2.28)
26
Isto nos leva igualdade
(2.29)
Assim, sob uma transformao infinitesimal de Lorentz arbitrria, temos
PKxjj = P'ijj,
onde A = / +
(2.30)
Da mesma maneira, veremos se Pij) transforma-se da
mesma forma que (2.30) sob reflexes espaciais (2.17).
Temos que a ao do
projetor P sobre A = 774 ser
P (7/4) = ()
(2f3l - 1) = () f3jf3^PlPl = () P,
(2.31)
cuja forma coincide com (2.30). Por conseguinte, podemos obter o resultado
-P^
A = -774;
+P/'
A = -1-774.
PA'0 = <
(2.32)
\
Assim a equao (2.32) mostra que Pip um escalar ou um pseudoescalar, de

acordo com o sinal (4-) ou () que se tome para A em (2.17). De forma anloga,
se considerarmos as transformaes de Lorentz (1.45)-(1.47) junto a (2.27) tem-se
PfÂip = Pîp + Suj^^Pîp = a^^P^^p.
(2.33)
Alm disso, considerando a reflexo espacial A = 774 e usando (2.9)-(2.12),

pode-se concluir que
P^.^ =
pseudovetor
t
vetor
A = 774;
A = -t-774.
(2.34)
Aplicando os projetores P e
27
a, (2.1) e considerando as definies (2.25) e (2.27)
obtemos as equaes
df, {Ptii>)
-m {Pip);
(2.35)
dfj, (Pi>)
-m (P^'0).
(2.36)
Introduzindo a notao
P^P = U,
PîP = U^,
(2.37)
as equaes acima so expressas na forma
dfj,U
-m7;
(2.38)
-mU^,
que, combinadas, resultam em

( - m^) {P^p) = 0,
( - m^) 7/ = 0.
(2.39)
Observamos que estas so as equaes de onda para spin 0 e que (/, t/^) descrevem
campos escalares ou pseudoescalares segundo o sinal (+) ou () tomado em (2.17)
para A.
De forma similar podemos escolher a funo de onda para spin 1 introduzindo
o operador
I
/3mMl-^l)
A* 1)2,3;
,
(2.40)
/^ = 4,
ou em uma forma compacta
(^/4
(2.41)
Alm disso, introduzimos tambm o operador

Rliv = R^lPu-
(2.42)
28
Dessas duas ltimas equaes deduz-se imediatamente que
(2.43)
RnPi.13^
(2.44)
^//(7-R/
Usando essa ltima relao pode-se mostrar que
Rpi/Rpa
Rp,
ûpRptr
satisfaz as relaes
fû^p) ^ppRu
^p<jRup
^ppRucr
^puRp')
(2.45)
ûdRppt
(2.46)
que nos levam a
RpR
aûRu,
(2.47)
Rpi/^^
Rpu^ d" Ji/xRuxip -l- Spij^Rijpijj,
(2.48)
onde ttpi, e A so dados por (1.45) e (1.47) respectivamente para transformaes de

Lorentz infinitesimais. Por outro lado, usando a definio (2.40) e as propriedades
(2.8) e (2.12), podemos escrever
/i 1)2,3;
(2.49)
/i = 4.
Considerando a reflexo espacial, ou seja, (2.17) com A = r/4, encontramos uma
classificao semelhante a (2.34), ou seja.
vetor
A = -774;
pseudovetor
A = +774.
(2.50)
Rpfp '
Uma vez conhecido o comportamento de R^rp podemos aplicar na equao de

primeira ordem (2.1) os projetores Rp e Rpu que junto a (2.43) e (2.44), resultam
29
nas equaes
Rnuip
rn {R^'tp);
(2.51)
(2.52)
{Rutp) - dy {R^'ip)].
Introduzindo a notao
R^'^^
(2.53)
Rîf'^ Ri_
as equaes (2.51) e (2.52) escrevem-se como

(2,54)
Fiiu
dfÂi,
di/Af^.
Essas ltimas so as equaes de primeira ordem para campos de spin 1 e massa

m. Assim, provamos que a teoria de DKP, dada por (2.1) e (2.2) equivalente s
teorias de spin 0 e 1. A funo de onda geral na teoria de DKP deve dar-se ento
pela superposio de (2.34) e (2.50) ou seja
partcula pseudoescalar -f partcula vetorial ,
774
partcula escalar + partcula pseudovetorial ,
-I-774
Introduzamos uma representao especial para as
(2.55)
na qual sero usados dois
ndices a e. a' {a,a' = 1,2,3,4). Usando duas representaes no equivalentes

para 7q,7, que separadamente satisfazem as relaes de comutao (1.33), e as
matrizes identidade / e
lgebra) para as matrizes
podemos mostrar que a relao fundamental (ou a

na teoria de DKP (2.2) satisfeita pela matriz
(2.56)
Captulo 2. A Teoria de DuRn-Kemmer-Petiau
Devido ao fato que em (2.56) as matrizes
30
e V tm 4 linhas e 4 colunas,
por ser um produto direto de duas representaes no equivalentes,
uma
matriz 16 x 16, o que nos leva a concluir de (2.1) que 4^ (x) tem 16 componentes
(nota-se que estamos usando uma funo
no lugar de -0).
Devemos ter em
conta que a representao dada por (2.56) uma representao redutvel. Assim,
a teoria baseada na equao
('Y^ 0 I' + I 0 Yf,) '^ +
= 0
(2.57)
equivalente teoria de DKP dada em (2.1) e (2.2), tal que as matrices 7^,7(4
comutam isto [7/i,7(j] = 0. Podemos tambm concluir a partir de (2.57) que 4^
transforma-se como o produto direto de duas funes de onda de Dirac.
Como se mostrou anteriormente, (2.38) e (2.54) nos do as representaes
irredutveis para os campos de spin 1 e 0. Como se pode ver, estas duas representaes, includa uma terceira representao trivial, esto contidas na representao particular para
dada em (2.56)
Depreende-se de (2.38) que o campo de spin 0 tem 5 componentes ([/, U^)

e o campo de spin 1, dado por (2.54), tem 10 componentes
Desta
forma, as representaes irredutveis para campos de spin 0 e spin 1 nos do 15

componentes. Devido a (2.56), as representaes redutveis para as
tm 16
componentes, necessrio encontrar uma ltima componente, a fim de decompla em trs representaes irredutveis: 16 = 10 5 1.
Esta ltima componente ser ento uma representao irredutvel, de modo
que ela dever ser uma quantidade escalar satisfazendo uma equao diferencial
de primeira ordem. Contudo, impossvel encontrar tal equao para uma componente escalar que satisfaa tambm a equao de segunda ordem de KG, a
31
menos que este escalar seja zero.
Temos assim que esta ltima componente
trivial, e no tendo interesse fsico.

Devido a irredutibilidade das trs representaes, das quais uma de primeira
ordem, uma de quinta ordem e a outra de dcima ordem, o nmero de matrizes
linearmente independentes ser dado por
(1)2 + (5)2 + (10)2 = 126.
(2.58)
Para uma representao redutvel, como o caso de (2.56), que pode ser decomposta em outras representaes irredutveis, como o caso de (2.38), (2.54)
e a componente escalar, o nmero de componentes linearmente independentes
para esta representao redutvel se d pela soma dos quadrados dos graus das
respectivas representaes irredutveis.
Pode-se mostrar usando (2.2), que toda matriz e seus produtos entre si (nos
referimos a qualquer matriz na lgebra /3), pode ser expressa como uma combinao linear das seguintes 126 matrizes.
I
->
Vp
-)
12
VpVuPp
rjpPu
VpViyPpP<r
12
VpPuPp
->
12
VpVuVp
-)
12
VpVi^VpPa
VpluVpria
PfiPu
^
12
VpVu
12
^
12
(2.59)
4
^
4
1
Em qualquer representao que se d para as 126 matrizes, s 16 possuem traos

no nulos, ou seja, os 77^ e todos os produtos entre eles. Lembremos que
est includa em 77^ como 77^ = 2/?2 1. Os traos para a matriz
e para as
matrizes que contm 77^ so os seguintes:

T'r (/3^j/5^2-"^M2n+i)
0;
(2.60)
32
i2n-lM2n
M2n-2M2n-l
s = 1
s = 0
trivial
TrI
10
Tr{r)^)
-1
-1
Tr{r]fj,r]u)
-2
11
Tr{j]^r]^r]p)
-2
-1
2-3
'
(2.61)
Tr{r]pr]^r}pr]^)
O trao de um nmero mpar de matrizes Pp sempre nulo. Para os clculos

de diferentes magnitudes observveis necessrio unicamente conhecer as propriedades algbricas das matrizes Pp, que nos levam s concluses (2.60) e (2.61)
para os 16 traos mencionados. Por isso, a fsica (medio dos observveis) no
vai depender de forma alguma da representao especfica para as matrizes.
Daremos aqui uma dessas representaes especficas (que no a nica possvel)
para as matrizes Pp nos trs casos mencionados. Para o caso trivial, obviamente,
todas as matrizes devem ser igualadas a zero
(2.62)
Pi P2 p3 Pa 0.
No caso de spin 0 as matrizes so 5x5, isto
Pi
/ 0
0 \
00000
0
yoooooy
,p2 =
/ 0
0 \
10000
0
yoooooy
Ps
33
- \
^ 0
/ 0
10
^ 0
, Pa =
(2.63)
e no caso de spin 1 as matrizes sero 10 x 10,
/
0
0
0
0-1
Pi =
0
0-1
0-10
\
-1
34
35
(2.64)
Todas essas matrizes (2.62), (2.63) e (2.64) satisfazem a relao fundamental de

DKP (2.2) e, como se v, so realmente irredutveis.
Em seguida, fazendo uso da representao (2.63) para (3^ no caso escalar,
obteremos uma forma explcita para 'ip, P-0 e P^'0. Uma vez que ip tem 5 componentes, deve-se adotar a forma
^1
'ip =
1p2
(2.65)
1p3
\ #4 /
Por outro lado, verifica-se que P, definido em (2.24), na representao (2.63)
36
resulta ser
( 1
0 \
P=
0 0 0 0 0
/
V
Nota-se que este ltimo resultado depende da representao utilizada.
(2.66)
Con-
siderando (2.65), (2.66) obtemos

<
0
u
(2.67)
0
0
V 0 }
0
u
Paij =
(2.68)
0
V 0 /
e da segunda linha em (2.38) temos
(2.69)
m
ou considerando (2.67) e (2.68),
(2.70)
m
Representando a quinta componente de ip por
ip5 = -Vmf,
(2.71)
37
onde tp um campo escalar, resulta

(2.72)
= -j=dnp,
\/m
de modo que -0 escreve-se como
^ rrnp ^
ip =
(2.73)
dkV
\ idip j
Por conseguinte, (2.67) e (2.68) passam a ser
0
U
Pp \/m
(2.74)
0
0
\o/
0
U.
PV =
(2.75)
0
0
\
Considerando (2.74) e substituindo-o em (2.39), obtemos

( -m^)ip = 0,
(2.76)
que a equao de KG para a componente escalar. Vemos assim que o projetor P

seleciona a componente fsica do campo DKP dado por (2.67). A forma (2.73)
chamada de forma fsica do campo DKP. De maneira anloga, para o caso de
38
spin 1, pode ser usada a representao (2.64), para selecionar com o auxilio de
as 4 primeiras componentes do campo ip de tal forma que sejam dadas por
Afj,. As demais componentes, selecionadas por R^,y, resultam em
2.3
A invarincia relativstica
A prova da invarincia relativstica para a teoria de DKP feita em analogia ao

caso do campo de Dirac. O comportamento de
sob transformaes de Lorentz
conhecido, e o que requeremos uma transformao linear conveniente para

que nos leve das equaes (2.1) ou (2.18) para as mesmas equaes no novo
sistema de coordenadas.
Ser suficiente encontrar semelhante transformao para o caso de uma rotao
infinitesimal em 4 dimenses. De modo geral, as transformaes so da forma:
x'^
(2.77)
i)'
A?/;;
(2.78)
Â-^
(2.79)
onde aî, a matriz de transformao de Lorentz. Se a rotao infinitesimal, as

matrizes
e A, adotam a forma
(2.80)
A
I+
onde uî, so os parmetros infinitesimais da transformao.

matrizes
(2.81)
Alm disso, as
e A satisfazem as seguintes condies de normalizao:
AA"'
/;
|detA|
/.
Obtemos das transformaes (2.80) e (2.81) que
ScVfiu
39
e 5^^ so antissimtricos:
(2.82)
-S^^.
(2.83)
Para que uma equao linear do tipo (2.1) seja invariante com respeito s transformaes de Lorentz necessrio que
A-'^Â =
(2.84)
Substituindo as formas infinitesimais (2.80) e (2.81) em (2.84), temos
=
Usando as relaes (2.84), mostra-se que
(2.85)
transforma como
A^5^,,A = a^pâSpc-
(2.86)
Assim, Sp,^ um tensor de segunda ordem na (3 -lgebra. Em geral todo tensor

na (3 -lgebra pode ser escrito como uma combinao linear do produto de (3 e 5
[26, 27]. Substituindo as expresses (2.84) e (2.85) em (2.86) obteremos a relao
^fiaSi/p 3-S ifpEpff
dppSinj
Encontraremos agora uma expresso para 5^,,.
di/fjSpp.
(2.87)
Usaremos para isto a lgebra
(2.2), a qual escrevemos na forma
(3uPp.(3\ + ^\!3p^v I3v^\p + PxSpi,.
(2.88)
40
Trocando os ndices // H-1/ podemos tambm escrever a lgebra (2.2) como

PfiPuPx + f3\f3u(^n ~
(2.89)
Agora, se subtramos (2.89) de (2.88), obtemos

- PuPn) -
Px = Puhn - PtiuX,
(2.90)
que coincide com (2.85) se Sî, tomado na forma

= PuPu - PuPnPode-se dizer ento que a invarincia est provada.
(2.91)
Pela aplicao de trans-
formaes infinitesimais semelhantes, pode-se provar tambm que j^, definido

por (2.20), um vetor;
dado por (2.103), um tensor, etc. Notemos que a
prova da invarincia independe da representao que possa ter

Introduzindo as matrizes ak da maneira
(Jh
i^klmSlm
^ ~ 1? 2, 3,
(2.92)
e levando em conta (2.87), teremos

[o'fc,(7/]
(2.93)
Essa relao tambm satisfeita pelas matrizes de Pauli, [^, ^] = ikim^, a

menos do fator
que em (2.93) no aparece, o que vinculado ao valor do spin
I que descreve o campo.

J que (2.93) a relao de comutao para as matrizes do momento angular, ento cTfc ter as propriedades do momento angular e tomar os autovalores
(/, / 1,..., / -f-1, /), onde / um inteiro ou seminteiro. A equao caracterstica para ak
{(Xk - /) (o-fc - / + 1) (<7fc + /) = 0.
(2.94)
41
Em geral, as representaes das matrizes do momento angular que satisfazem

(2.94) podem ser decompostas em representaes irredutveis D\f\,
do
grupo de rotaes tridimensionais. Estas representaes irredutveis correspondem a valores |/|, |/ 1|,... do momento angular. J que numa representao
irredutvel Di a funo de onda tem (2/ -f 1) componentes independentes, correspondentes s diferentes direes do momento angular, mostra-se que no caso
do campo DKP 'ip descreve o estado de uma partcula com spin / = 1.
As-
sim, vemos que a funo de onda em (2.1) descreve os estados da partcula com
spin l/l, 1/ 1|,....
Este momento angular uma propriedade intrnseca das
partculas, porque ela no desaparece, inclusive, quando as partculas se encontram no estado de repouso.
Pode-se provar um importante teorema vinculado s propriedades de d{d), ou,
mais exatamente, com respeito ordem mxima das derivadas do operador d{d),
denotado por b. O teorema diz que existe uma relao entre a ordem mxima
das derivadas 6 e a magnitude / (spin), dada por
b = 2f
mÔ,
(2.95)
onde / o valor mximo de spin dos diferentes campos descritos por -ip.
2.4
A invarincia de gauge e a interao com o

campo EM
At agora foram tratados somente campos livres (sem interao), mas claro
que, em qualquer medida, o registro da partcula s pode ser feito graas sua
interao com outros campos. Por outro lado, o tipo de interao entre os campos
42
fundamentais est regido pelo princpio de invarincia de gauge, que provm da

exigncia que as magnitudes conservadas devam conservar-se localmente. Assim,
para o caso do campo DKP com interao EM, a invarincia de gauge local deve
ser exigida, o que implica nas transformaes
V''=
(/?'=
(2.96)
para os campos DKP e KG respectivamente.
Aplicando estas ltimas trans-
formaes forma fsica (2.73), tem-se

/ rrup' \
Jea{x)
e'^^'rrup
gteo(x)
dk^'
\ 2^49?' !
\
^gea(x)^^ (2.97)
^ iedkO {x)) (f
(^4 -p iedâ {x))
mostrando que a forma fsica (2.73) inconsistente com a invarincia de gauge.

O problema superado caso a forma fsica seja trocada por
^ rrup ^
(2.98)
dk^
\
onde
ieA^. A invarincia de gauge impe que
se transforme como
(a:),
(2.99)
de modo que (2.98) preserve sua forma com transformaes do tipo (2.96).
Antes de comear a anlise da interao com o campo EM, introduziremos as
definies para os valores mdios das diferentes magnitudes fsicas na teoria de
43
DKP. Em geral, na mecnica quntica temos que o valor mdio de uma magnitude
fsica / definida como
tp+fipdV,
(2.100)
onde / o operador da magnitude fsica /. Na teoria de DKP o valor mdio ser

dado por
'] = j^Jj^dV.
A expresso (2.101) apresenta uma matriz
(2.101)
dentro da integral que, junto ao
operador, de alguma maneira tem que ser simetrizado. Isso o que se indica com
a dupla barra que aparece em (2.101). Levando isso em conta podemos escrever
para o vetor de energia-momento
P/i = y ippJrdf,ipdV,
onde
(2.102)
Semelhante definio (2.102) muito diferente daquela usual-
mente adotada, contudo pode-se demonstrar que as duas definies so equivalentes. Notamos que, como foi visto no captulo anterior, a teoria de DKP tem
uma grande semelhana com a teoria de Dirac para spin
com a diferena que
aquela satisfaz lgebras diferentes para suas matrices

O tensor de energia-momento deve ser real, ou seja
= T^v-, por isso ser
dado por
P/i = ^
(2.103)
O tensor (2.103) tambm chamado de tensor cannico de energia-momento.

Pode-se comprovar facilmente que de (2.103) obtm-se
= 0.
(2.104)
44
Note-se, contudo, que o tensor (2.103) no simtrico e deve ser substitudo por
um tensor simtrico para satifazer as exigncias do tensor de energia-momento.
Na verdade, a relao (2.104) pode ser satisfeita se o tensor Tî, tem a forma
Tî/
yui/ + dpAîjp',
(2.105)
Ap,p
-App,,
(2.106)
onde Api,p um tensor antissimtrico nos ndices
e p, de modo que
dudpAp^p = 0.
(2.107)
Reescrevemos agora (2.103), de modo que 0^^ seja simtrico, da seguinte forma:
= ip3upp,dpi> = 'ip {f3u(3pl3p -h 3p^pû - ^îuPp) dpip,
(2.108)
onde se leva em conta (2.2). Reescrevendo de forma similar o segundo termo de

(2.103) chegamos a
Tp. = 0;.. + \dp
- MM
(2.109)
onde Qp^ dado por
Qpu = -m p {I3pl3u -f-
'ip - Sputptp]
(2.110)
e satisfaz a equao
d,Qp. = 0,
(2.111)
s que agora 0^^ simtrico como se requer para o tensor de energia-momento.

Mais que isso, a energia positivamente definida, ou seja
044
: mip'^lp,
(2.112)
Captulo 2. A Teoria de DufSn-Kemmer-Petiau
45
onde il) = ip'^r)4; alm disso, devido a 44 = oo, temos que

(2.113)
00 =
Por outro lado, como segue-se de (2.109), pode-se representar os valores esperados
de energia-momento definidos por (2.102) atravz de ^4, isto ,
(2.114)
tal que 44 uma densidade de energia. Um teorema geral indica que a existncia
de um tensor simtrico de energia-momento encerra a possibilidade de definir um
4 tensor de momento angular. Uma forma de fazer a escolha de Tî, nica a fim
de satisfazer (2.104) expressando o 4-tensor do momento angular atravs de
4-momento (2.114), isto .
Pî/
^dPj/
Xi/dP^^^
(^î/p
î/pp) dSp*
(2.115)
Para obter as componentes espaciais, necessrio integrar pela hipersuperfcie

dS4 = dxdydz dV, com xo = const., obtendo assim
Pit-
Pu-j(xie,A
x,e)dv,
(2.116)
onde Pik necessariamente constante, isto , conserva-se para um sistema fechado.

Como sabemos, as componentes espaciais deste 4-tensor de momento angular
coincidem com as componentes do 3-vetor do momento r x p. Agora, segundo
(2.109), teremos que
o;ifc4 = XiTk4 - ^Xidp p {PpPkPi - pApkPp) '0]
(2.117)
Fazendo o mesmo com o outro termo, temos:

Xk&i4 = XkTi4 - ]^Xkdp [0 (/3pA/^4 - PaMp) 0]
(2.118)
46
Daqui, combinando essas duas ltimas expresses, obtemos

Xkdi) ipdV + J t/)/?4 {f3i(3k - Pk/di) tpdV.
(2.119)
O primeiro termo em (2.119) interpretado como o momento angular orbital e o

segundo termo como o momento angular espinorial do sistema. Assim, segundo
a definio (2.101), o operador de spin ser
Sik = Pi/3k - PkPi-
(2.120)
Note-se a semelhana que h com o campo de spin
Para o caso de spin | temos
Sik \ ililk Ikli)- Pode-se provar que Sik de (2.120) comuta com /?4, ou seja
[5fc,/?4] =0,
(2.121)
Sl = Sik.
(2.122)
alm de
Isso demonstra uma vez mais que o spin na teoria DKP pode ser somente 1,0.
E satisfatria a possibilidade de se definir o spin como um momento segundo
(2.119), independentemente de qualquer considerao sobre o nmero dos estados
de polarizao
Levando em conta a invarincia de gauge e a forma fsica (2.98) adotada pelo
campo il), a interao com o campo EM introduzida de uma forma muito simples
com a regra de acoplamento mnimo, que consiste na substituio
- ieA^,
(2.123)
-> 9+ =df, + ieAf,
(2.124)
quando a diferenciao aplicada a tp, e
47
quando a diferenciao aplicada a -i/. Como sabido,
caracteriza ao campo
EM sendo e a carga da partcula. No trivial que esse tipo de procedimento

possa ser usado para a interao em DKP. De fato em teorias de tipo similar devese ter cuidado ao aplicar esta regra, j que a mesma pode resultar inconsistente
caso seja aplicada a todas as equaes fundamentais; porm, em nosso, caso
correto aplicar estas substituies s equaes (2.1) e (2.14), que se transformam
em
+
9'^'^P^-rmp
0;
(2.125)
0.
(2.126)
Aplicando a (2.125) os projetores P e
obteremos equaes semelhantes a
(2.35) e (2.36):
df, (P^V^)
-m {Pi});
(2.127)
(2.128)
que combinandas resultam
{d^
- m^) {Pi}) = 0.
(2.129)
Da mesma forma, (2.74) e (2.75) passam a ser
0
U
Pi) = y/rn
0
0
(2.130)
48
0
(2.131)
0
0
V
A equao de KG para a componente escalar cp, quando h interao EM, se

torna
(a;a; - m") ^ = o.
(2.132)
Observamos novamente que as expresses (2.127)-(2.132) so obtidas selecionando

o campo de spin 0 com os projetores P e
Podemos, no entanto, analisar de
forma geral para ambos spins as mudanas que a interao EM produz e que
resultados obtm-se com a regra de acoplamento mnimo. Aquelas equaes que
no contm as derivadas 9^ permanecen inalteradas. Este o caso do 4-vetor de
corrente j^, definido por (2.20).
O tensor simtrico de energia-momento 0^j,, definido em (2.110), mantmse tambm igual, o mesmo no acontecendo com o tensor de energia-momento
cannico T^^,, que contm derivadas
em sua definio, este passa a ser
= i 9l3,a-i> -
(2.133)
No lugar de (2.104) e (2.111), teremos que

di,Tf,u =
onde
(2.134)
o tensor do campo EM, definido por

Ffj,u = dfj,A^ -
(2.135)
De forma similar, a equao (2.119) para o momento angular somente alterada

no termo que contm as derivadas d^, que a parte orbital, que muda para d~.
49
A parte espinorial (2.120) se mantm inalterada.
Nas relaes (2.18) e (2.19)
ocorrem algumas mudanas. Para analis-las faremos uso da seguinte regra de

comutao
- ajaj =
(2.i36)
obtendo para (2.18) a nova relao

d~ip = d~!3y^îp -h
{PpPpPi^ - ^ppPu) tp,
(2.137)
{ûl^pPp - SpM .
(2.138)
e, de forma correspondente, para (2.19)

26
d^^ =
As equaes de KG, que so de segunda ordem na derivada, tambm so modificadas. Assim, (2.22) transforma-se em
9pd~ip = rrî) +
76
26
{Fup {(^p^pû ~
j}
(2.139)
e de forma correspondente a (2.23),

d*d+ii =
{FpV; WA -
(2-i40)
O segundo termo em (2.139) tem seu semelhante na teoria de Dirac para partculas
de spin |. Fazendo uso da regra de acoplamento mnimo (2.123), podemos escrever a equao de Dirac (1.32), considerando j a interao EM, como
{ip^p + m)
= 0.
(2.141)
A diferena substancial com (2.125) que as matrizes 7^ obedecem a uma lgebra

diferente, dada por (1.33). Assim, a equao de KG (1.34) transforma-se em
26
9pd~ip = m^-ip + Fpulplu'4,
(2.142)
50
onde o fator | que aparece no segundo termo em (2.142) est vinculado ao spin
da partcula. Por outro lado, o segundo termo em (2.139) descreve a interao
do campo EM externo com os momentos magntico e eltrico da partcula. O
terceiro termo, contudo, aparece somente na teoria de DKP, devido lgebra
(2.2), e no pode ser interpretado de forma direta.
Outro caso, com anlise
semelhante, pode-se reproduzir para o segundo e terceiro termos de (2.140). O

problema que surge pela presena deste termo, dito anmalo, pode ser resolvido
com o uso apropriado da forma fsica para o campo DKP.
Num primeiro instante, aplicamos o projetor P definido em (2.24) na equao
(2.139), para o campo de spin 0, obtendo assim
de onde, considerando (2.27)-(2.29), tem-se

(2.144)
que coincide com (2.129). Vemos ento que, selecionando corretamente o setor
Pij) para spin 0, tal termo anmalo desaparece.
contm a interao EM,
do campo escalar.
De igual forma, o termo que
tambm eliminado, como deve ser para o caso
Do mesmo modo, pode-se ver que, aplicando os projetores
P e Px a. (2.137), obtm-se igualdades triviais ou novamente a equao de KG

(2.144). Uma anlise semelhante pode ser feita para (2.138) e (2.140).
No caso de spin 1 podemos atuar da mesma forma que se fez em (2.54),
aplicando os projetores
Rûi}
na equao (2.125) e obtendo

=
m {Rui});
(2.145)
- d~Rî) i).
(2.146)
51
Introduzindo novamente, como em (2.51)-(2.54), a notao
(2.147)
podem-se escrever as ltimas equaes como
(2.148)
=
d~Al-d;Al,
que so as equaes de Proca para partculas massivas de spin 1. O novo campo

pode ser expressado atravs de
dado em (2.53), como
FI,,, = Ff,^-iem{AÂl~ AÂ^) .
(2.149)
Aplicando o operador R\ na equao (2.139), obtm-se
{Rx'tp) = vF- {Rxip) + F^^RxSf^îp + d~ {F^pRx {PpPpl3u - Sppf3^) ip} ,

(2.150)
que se pode mostrar ser redutivel mesma equao de Proca (2.148). Aplicando
o operador Rx na equao (2.137) obtm-se
3; (R^>) =
(2-151)
A importncia do resultado aparece quando, ao selecionarmos as componentes

fsicas do campo DKP, o termo anmalo eliminado, de modo que o mesmo
no tem significado fsico. Desejamos ressaltar que essa concluso independe da
representao usada.
2.5
52
Formulao hamiltoniana
Levando em conta a equao linear de DKP, multiplicamos por /?4 pela esquerda
e, realizando a soma para ndices repetidos, obtemos
+ PiPkdki+ mP4'ilj = 0.
(2.152)
Agora consideramos a componente p = 4 em (2.18), isto ,
4V = d,,/3t,/34lp = /5|4'0 + pkpAktp,

e obtemos que
(1 - Pl) Aip - Pkp4dki^ = 0.
(2.153)
Somando (2.152) a (2.153) chegamos a

diip + {/34pk -
dkip + m/?4'0 = 0.
(2.154)
Devido mtrica (1.2), temos que 84 = ido = idt- Assim, a ltima expresso
transforma-se em
-idti} + (Aît - /dfc/?4) dkip + ml34ilj = 0.

Devido a (1.6) temos que E = idt e assim pode-se escrever (2.154) como
- 0,
(2.155)
onde
H = {p4l3k - PM dk + mp4
(2.156)
Se H pudesse ser identificado com o hamiltoniano do sistema, esta seria uma

possvel forma para o operador de energia. Agora, segundo as definies (2.101)
53
e (2.102), podemos concluir que o valor esperado (valor mdio) da energia seria
dado por
E =
(2.157)
onde a incluso da matriz P4 em (2.157) de vital importncia j que as quantidades

'ipHipdV
/
no esto vinculadas energia. Notamos que, se o valor esperado de qualquer
quantidade fsica Q representado por
Q = / iPQipdV,
-I
(2.158)
sua derivada com respeito ao tempo ser definida como

jp = R = J^RîpdV,
(2.159)
R=^ (^HQ - QH^ .
(2.160)
onde
O nico fato nessas relaes que as tornam menos simples que no caso da teoria
de Dirac que Q e H no so os operadores correspondentes a. Q e R, segundo
a definio (2.101), de modo que devemos ter cuidado ao acrescentar o fator /?4
quando usamos estas relaes. A equao (2.154), ainda, no reproduz em sua
totalidade a equao linear de DKP (2.1), pois a multiplicao por /?4 usada para
obter (2.152) elimina de (2.1) a parte que corresponde ao autovalor 0 de
Esta
parte omitida pode ser escolhida com a multiplicao de (2.1) pelo fator (1 /5|).
Atuando desta maneira podemos chegar a
Pk0ldkip + (1 - 0)
= 0,
(2.161)
54
que uma conexo que no contm o tempo e por isso pode ser considerada como
uma condio inicial que a funo de onda deve satisfazer (vnculo). Se levarmos
em conta agora a interao EM vemos que, segundo (2.123), a relao (2.18)
substituda por (2.137), com o que o hamiltoniano (2.156) passa a ser
26
H = {p4pk - PkPi) dk + mp4 - ieAi - i^F^p
~ SpM ,
(2.162)
e a condio (2.161) do mesmo modo se modifica e passa a ser

(2.163)
PkPldk V' + (l - P4) ^'4 = 0.
Antes de concluirmos com a formulao cannica, faremos tambm algumas observaes sobre a formulao em termos da Lagrangiana L.
Definimos a ao
como um funcional 5, dado por
F = J d'^C,{i>,dp,ip) = J dt (^J d^xC{'ip,dp,tp)^ = J dtL {xp, d,
(2.164)
onde a densidade Lagrangiana e L a Lagrangiana. Se levarmos em conta o

princpio de ao mnima (<55 = 0) podemos obter, aps variar os campos ip e suas
derivadas primeiras dîp^ as equaes de Euler-Lagrange, ou seja, as equaes de
movimento.
Com isto pode-se propor um Lagrangiano (densidade de Lagrange ), tal
que, partindo dele, se obtenha as equaes de DKP (2.1) e (2.14).
Supon-
hamos que C = C{ip, ip, dpip, d^-tp). Ento se pode comprovar que a partir do
Lagrangiano para o campo livre
>Co = ^ {iijdpdpip - dpipPpip) 4- m'ip'ip
(2.165)
obtm-se as equaes de movimento para ip e ip dadas por (2.1) e (2.14), respectivamente.
Pode-se provar, usando a forma fsica (2.73) para 'ip, que Cq em
55
termos da componente escalar dada como
Cq = ^
+ rn^(p*î
(2.166)
da qual se obtm, a menos de uma divergncia, o Lagrangiano usual de KG.

Cq = d^p*d^(p + m^(p*ip.
(2.167)
Levando em conta o princpio de ao mnima que nos leva s equaes de EulerLagrange podemos chegar seguinte expresso para o tensor de energia momento
cannico
Substituindo (2.165) em (2.168) vemos que se obtm para
\ {'<PPud^'il^ - dîpp^xp) ,
que coincide com a expresso (2.103).
(2.169)
Da mesma forma que em (2.20), o 4-
vetor de corrente ser dado por
A interao com o campo EM
dada tambm pela regra de acoplamento mnimo (2.123) e (2.124).
Assim, o
Lagrangiano (2.165) passa a ser
- ieA^) V - (9^ + ieAfj) 'ip/3^,'ip] + mip-ip,
ou
= \
(2.170)
A expresso (2.170) contm tanto o Lagrangiano para o campo livre Cq como o

Lagrangiano de interao Cint, dado por
Cint
CjÂ^,
(2.171)
56
de modo que
'o = o +
(2.172)
O Lagrangiano total, Ct-, obtido somando a (2.172) o Lagrangiano do campo

EM Cem^ que dado por
Cem = i {d,A^) {d,A^).

Esse Lagrangiano, ao contrario de
(2.173)
no oferece problemas na quantizao
cannica, j que os momentos conjugados
esto bem definidos.
Assim, o
Lagrangiano total ser
+ mpij + ^ (dÂ^) (Â^),
(2.174)
+ rml)il) - iei}l3f,'il)A^ + ^ (5Â^) {dÂ^).
(2.175)
ou, em forma explcita,
O Lagrangiano total Ct pode ser expresso de forma similar a (2.166) e (2.167),

isto , em termos da componente escalar (/?; porm, deve-se ter cuidado ao tomar
a forma fsica ip do campo DKP, que estaria agora dada pela expresso (2.97).
Pode-se comprovar tambm que, usando as equaes de Euler-Lagrange, so obtidas as seguintes equaes de movimento:
+ m'4)
ief3fj,'(pA^]
- rml)
-ieip/3fj,A^;
(2.176)
que so as equaes de movimento explcitas para -0 e -0 (veja-se (2.125) e (2.126)).
3.
3.1
Quantizao
Quantizao do campo DKP
A quantizao realizada em analogia com a mecnica quntica de partculas.

O campo ser um operador atuando no espao de Hilbert dos possveis estados
fsicos que satisfaam as mesmas equaes do campo clssico correspondente. Isto
significa nada menos que quantizar os campos com o formalismo cannico.
Vamos considerar o estado de uma partcula livre de momentum p = (p, ipo),
dado pela funo
onde pp = p{p) uma funo que depende do 4-momentum. Se levarmos em

conta a equao (2.1) pode-se comprovar que <p{p) satisfaz a relao
{ip + m)ipp 0,
(3.2)
onde p = Pp(3p. Pode-se mostrar tambm que qualquer vetor q satisfaz
q{f-q^)=0.
Devemos notar que para o campo de Dirac de spin
se que ^
(3.3)
e com a lgebra (1.33), tem-
onde p = Pp')p. Na equao de DKP as matrizes (3p satisfazem
Captulo 3. Quantizao
58
um lgebra diferente, dada por (2.2) e por conseguinte ^ 7^ p^, onde p = p^f3^.
Usando (3.2) e (3.3) pode-se obter a condio relativista
Po = \/p2 + m? = j.
(3.4)
Vemos assim que a condio relativista satisfeita pela soluo do tipo (3.1).
Assim, para um valor dado do momento da partcula temos duas solues para
V?p, diferentes no sinal de po> dadas por (3.4). Essas solues podem ser associadas
a solues de freqncia positiva e negativa. Representamos as amplitudes a elas
correspondentes por
Por conseguinte, as solues (3.1) escrevem-se
na forma geral como

(3-5)
onde
satisfaz a equao
{ip + m)
= 0,
(3.6)
e as solues para o adjunto so dadas por
(3-^)
onde
satisfaz a equao
(p + m) = 0,
alm disso 'ip{x) =
(3.8)
onde 774 determinado por (2.8).
A fim de ter o significado fsico destas solues definimos a energia e a carga

do campo usando as frmulas gerais (2.103) e (2.20). Uma vez que
satisfaz
(2.104) podemos expressar tambm o 4-momentum como

(3.9)
59
Nota-se que o 4-momentum foi dado inicialmente pela expresso (2.114), onde
(3.9) uma expresso equivalente devido condio (2.104).
componente
Considerando a
ipo iE, obtemos
(3.10)
onde
dado por (2.103). Vemos assim que para solues do tipo (3.5) e (3.7)
obtm-se
Tu =
(3.11)
Logo, substituindo esta ltima expresso em (3.10), temos que
E =
dV.
(3.12)
Da mesma maneira define-se a carga, levando em conta (2.20), como
Q = ^ J kdV = ^ J
dV.
(3.13)
Integrando sobre o volume, (3.12) e (3.13) escrevem-se como
po
;
.
(3-14)
(3.15)
Assim, se exigirmos que a energia em (3.14) seja positivamente definida devemos

assumir a normalizao para Pp da seguinte maneira:
(^WA4^0 = 1.
(3.16)
Neste caso E coincide com |po| = \Zp^+m^, enquanto que a carga (3.15) igual
a 4-e no estado (p^\ e igual a e no estado
As solues de freqncia
60
positiva e negativa, dadas por (3.5), descrevem partculas de ambos os sinais na

carga.
Para quantizar o campo DKP, vamos proceder da mesma forma que no caso
de Dirac. Para isso os campos 'ip e ijj so considerados como operadores atuando
no espao de Fock e obedecem a determinadas regras de comutao.
Vamos ento expandir os campos 'ip(x) e ip{x) em termos de ondas planas
usando as solues (3.5) e (3.7). Assim tem-se
^ E [Pi
P
(3.17)
p
onde
satisfaz a condio de normalizao (3.16). Os operadores Op,a^,6p e
bp atuam no espao de Fock. Definimos tambm o estado fundamental (vcuo)

|0) tal que
p|0)
ap|0) = 0;
(0|6+
(0|a+ = 0,
(3.18)
para todo p. Da mesma maneira deve-se entender o produto de dois operadores

distintos como atuando em dois espaos diferentes, ou seja,
pi^2 |0) = pi |0) K2 10) = |Pi) IP2) =" IP11P2)
(3-19)
Se substitumos a expanso (3.17) em (2.20) e (2.103), obtemos as expresses

para a energia E, o momento P e a carga Q do campo como
E
(apOp+ ^P^p) ;
61
^ p (a+Op + 6p6+) ;
(3.20)
p
Q
^
p
^ (p*^p 1 ^p^p)
Assumindo que os operadores Op,ap,p e 6+ satisfazem as seguintes regras de

comutao:
[OpiOp,]
[^P>^p'] = ^pp'j
[upj Up^j
[^p? ^p^] [^p? ^p^] ^5
[a+,aj]
(3.21)
=0,
onde os autovalores de aÔp e b^bp so inteiros. Podemos introduzir a seguinte

notao
JV<+>
ajp;
iV<->
6J6p.
(3.22)
Vemos ento que as magnitudes J5, P e Q, adotam a forma

E
^p(Af<+)+Af(-) + l);
P
^ p (AT(+> + WW + 1);
P
^ e (iV(+) - JV-> - 1),

P
(3.23)
onde, alm da normalizao (3.16), assume-se que
= 0-
(3-24)
Os operadores A^p*^ e Np~'^ so os operadores do nmero de partculas de carga

positiva e negativa com momento p.
62
3.2
Regras de comutao. Propagador do campo

DKP. Funo de Green
Para a quantizao, 'tp{x) e ip{x) so considerados como operadores (em geral

distribuies). Vamos calcular ento as relaes de comutao levando em conta
a expanso (3.17). Assim obtemos
(3.25)
onde
(3.26)
Kpip)
Pode-se mostrar que F^^{p) e
p~\p)pp^\p)-
(p) devem satisfazer as equaes

{ip + m)F+p{p)
0;
{-ip + m) F~^(p)
0.
Devido relao (3.3) e condio p^ +
(3.27)
= 0, obtm-se
p (p^ -I- m^) = 0,
(3.28)
por isso podemos concluir que as solues para (3.27) so dadas por
F~^{p)
ap{ip m)\
F~ (p)
bp {ip d- m),
(3.29)
onde a e. b so coeficientes (no matrizes) que podem ser calculados a partir da

condio de normalizao (3.16), isto ,
=
Tr (AF+(p)) = 1;
Tr(/?,-(p)) = -l.
(3.30)
63
Substituindo as solues (3.29) nesta ltima expresso, obtm-se

\ =
(3.31)
{(iipiip- m));
\-=Tr
0
m)).
Fazendo uso das propriedades do trao para as matrizes /3^, dadas em (2.61),
obtemos
a b
(3.32)
2mpo
Logo, (3.29) dado como

F*(p)
F-(p)
ip (ip m)
(3.33)
2mpo
ip {ip + m)
2mpo
Finalmente, substituindo estas ltimas expresses em (3.25), obtemos a regra de

comutao para os campos:
[ipa{x), i^/){x')] = ^ {/3^^df,{P^d^ - m))^p A{x - x'),
(3.34)
onde A(a; x') a funo de Pauli-Jordan, definida como

A(x - ^') = ^ I] ^
(3.35)
Podemos escrever esta ltima expresso como integral fazendo V > oo

(3.36)
assim a funo de Pauli-Jordan escrita como

A(a; - x')
^
^
=
=
(27t)3 J
^
2po\
A+(x a;')-t-A_(a: a;').
(3.37)
64
onde
A,(x-x')
A+(a; a:')
,ip{xx').
(3.38)
A_(x' x),
ou tambm na forma invariante

A(a; x')
- i-3 [
(27t)
TT) J
A(x x')
gp(i-i')
(Tp{2nf Jc
p^ + m'^'
(3.39)
(3.40)
Figura 3.1:
onde
1
po > 0;
po < 0.
(3.41)
d{Po)
Fazendo uso destas novas definies, escrevemos, em analogia a (3.34):
(3.42)
p
{0fg(x')M^)\0)
65
77T
- m))^^ A+ {x - x');
i E
(3-)
P
=
-{p^d^{ûdu-m))^Â.{x-x').
TTlf
A funo de Pauli-Jordan pode tambm ser expressa em forma invariante. Usando

(3.39) e (3.40) tem-se
A{x - x')
J
j
po) {p^ + rr^) ;
(3.44)
pip(x-x')
WrJa/WT^^-
O contorno Cq contm os dois plos que aparecem no denominador, em concordncia com (3.4),
-I-
= (p^ -I- m?) pl = - {po ujp) (po + ^p),
Figura 3.2:
66
onde foi definida a funo

1
po > 0
-1
Po < 0
(3.46)
e(Po)
A condio de causalidade implica que

A{x x')
dxQ
A{x x')
(z x'f > 0
i^ (x x')
(3.47)
(3.48)
XqXq
Pode-se provar tambirr que, junto a (3.34), tm-se as relaes:

[ipa{x),'ip0{x')]
0;
\â{x),'ip0x')]
0.
(3.49)
Definimos agora o ordenamento temporal para os operadores do campo como

T {ipa{x),'tpp{x')) = 6{t - t')Ja{x)ip0{x) + 9{t' - t)ipp{x')i;a{x),
(3.50)
onde 9{t) foi dado em (3.41). Usando as identidades

9{t-t')
i(l + e(-'));
9{t'-t)
i(i-e(-')),
(3.51)
pode-se escrever (3.50) como

T {lpa{x),'tpp{x'))
^{lpa{x)-lp/3{x') +1p^{x')xpa{x))
(3.52)
+ \s{t - t') {â{x)'4}p{x') - ^0{x')}a{x)) ,

onde o comutador dos campos nessa expresso dado por (3.34), ou seja, a funo
de Pauli-Jordan A(x x'). Note-se tambm que na ltima expresso aparece o
67
anticomutador. O valor esperado deste no vcuo, usando (3.42) e (3.43), resulta

ser
(0|
|0) = i3M^>'du - m))^^

TTX
- x'),
(3.53)
onde
1
A^^^(a: x')
f ^ P (jp{x-x')
J 2po \
(3.54)
A+(a; x') A-{x x').
Na forma invariante, temos que
A^^^(a: x')
A^^^(a: a:')
f
(27t) J
{p^ + m^);
gtp(x-x')
d p(27t)^ Jc,
+ rm?'
L
(3.55)
(3.56)
A diferena entre A(a: x') e A^^l(a; x') reside na forma do contorno, Cl o

contorno mostrado na figura 3.3
Figura 3.3:
68
Levando isto em conta, obtemos o valor esperado no vcuo

{0|r(V-(x).&^M)|0>
2^(/JA(/3A-m))ÂW(x-x')
O qual pode ser escrito na forma

(0| T (V(x), j(i')) |0) = ns(x - x') + i (1 - 01),D S(x - x').
l t
(3.57)
onde /?o = â- O termo proporcional a (1 /?o), que no relativisticamente

invariante, aparece quando consideramos as componentes no fsicas do campo.
Pode-se mostrar que este termo no contribui para os elementos fsicos da matriz
S. Assim, para os clculos pode-se usar
T^{x - x') = -
{0udu -m) - dl + rri^] A^{x - x'),
(3.58)
com A^{x) definido como

A^{x x')
9 {xq Xq) A+{x x') + 6 {xq xq) A+{x' x)]

j
r
pip{x-x')
(3.59)
tal que T^(a; x') a funa de Green para a equao (2.1) e, portanto, deve
satisfazer a relao
(0dn + Tn)T'^(x) = S:.
Esta funo o propagador da partcula DKP (para o caso de uma partcula).
Vemos que ela se diferencia do valor esperado no vcuo de T (-0a(x)'0^(x')) na
quantidade (^) (1 Pq) (x - x').
Nota-se que no caso do campo eltron-psitron, o propagador no difere do
correspondente valor esperado no vcuo. Isto vem associado ao fato de que na
Captulo 3, Quantizao
69
Figura 3.4:
teoria de DKP nem todas as componentes do campo ip{x) so linearmente independentes.

Daremos tambm a expresso para a transformada de Fourier da funo T^{x),
a ser usada em clculos posteriores
T=(x)
Tîp)
(3.62)
=
{ip + m)
ip (ip m) +p^ +
m
-t- m^)
4.
Representao
Kllen-Lehmann
de
Green
de
(KL).
Funes
Exatas
A presena de estados intermedirios de uma partcula leva a obter plos nos

elementos de matriz do ordenamento temporal do produto dos campos. Estados
intermedirios de muitas partculas levam a singularidades muito mais complicadas e, em geral, so difceis de descrever. No obstante, para o caso especial do
valor esperado no vcuo envolvendo dois operadores, tem-se uma representao
conveniente, que uma forma explcita de conhecer a estrutura analtica da transformada de Fourier. Em particular, esta representao pode ser usada para propagadores, quando os dois operadores so os campos das partculas elementares.
4.1
Campo escalar
Consideremos um operador escalar complexo 4> (x) na representao de Heisenberg, que pode ou no ser o campo de uma partcula elementar (inicialmente
ser usada a teoria de KG para obter uma relao espectral. No obstante, o
Captulo 4. Representao de Kllen-Lehmann (KL). Funes de

Green Exatas
71
procedimento pode ser estendido teoria de DKP).

O valor esperado no vcuo do produto $ (x)
(y) pode ser expresso como
(0| $ (x) $+ (y) |0) = ^ (0| $ (x) |n) (n|

n
onde usamos a relao de completeza
(y) |0),
(4.1)
|n) (n| = 1 (em geral a soma sobre n
inclui ambos espectros: contnuo e discreto). Fazendo a escolha dos estados como
autoestados do 4-momento p^, vemos que a invarincia de translao,
$ (x) =
(xo)
(4.2)
leva-nos a
(Ol$(x)|n)
(n|<^+(y)|0)
(0| $ (0) In);
(4.3)
(n| $+(0) 10).
Ento (4.1) pode ser escrita como

(0| $ (x) $+ (y) |0> =
|(0| $ (0) \n)f .
(4.4)
n
conveniente escrever esta ltima expresso em termos de uma funo espectral.
Se considerarmos a seguinte soma
p-Pn) |(0|^(0) |n)l^

n
podemos notar que uma funo escalar do 4-vetor p^ e, por conseguinte, pode
depender somente de
(para todo
^ 0) e da funo 0{po). Assim, a soma
considerada adota a forma

^
n
(p - pn) 1 (0| $ (0) |n)
= (27t)"^ 9 (po) p (-p^),
(4.5)

Green Exatas
com p (p^) = 0 para
> 0. O fator
72
considerado por convenincia
futura. J da expresso (4.5) pode-se ver que p(p^) real e positiva. Logo,
ao multiplicar por exp ip{x y) ambos os lados de (4.5) e integrar em d^p, (4.4)
resulta em
(Oj
(rr)
(p) |0)
{2n)~^ J
(27r)^ J
9 (po) p {-p"^)
(po) J
Trocando a ordem da integrao sobre p e
(4.6)
dj^p (x^) (p^ + x^) .
a ltima relao pode ser expressa
como
(0| $ (x)
roo
(p) |0) = / dx^p (x^) A+(x - p; x^) ,
Jo
(4.7)
onde A+ a funo j antes obtida em (3.39),
A+ (x p; x^) = {2n)~^ j d'^pe^^~'^^9 (po) 5 (p^ -1- x^) .
(4.8)
Da mesma maneira, em analogia a (4.7), obtm-se

roo
(0l$+(p)$(x) 10) = / dx^p (x^) A+(p - x; x^) ,
Jo
(4.9)
com uma segunda funo p(x^) espectral definida como
^
n
(p - Pn) I (n|
(0) 10) p = (27t)^ 9 (po) P (-P^) .
(4.10)
Podemos ento expressar o valor esperado do comutador usando os resultados

agora obtidos
ÔO
(01 [$ (x), $+ (p)] 10) = / dx^ (p (x^) A+ (x - p; x^) - p (x^) A+ (p - x; x^) } .
Jo
(4.11)

Green Exatas
73
A condio de causalidade (3.47) implica que

(4.12)
Assim, usando a equao (4.11), o valor esperado no vcuo do ordenamento temporal
poo
(0ir{4> (a:) $+(y)} |0) = / d>c^p {x^)
Jo
{x - y\,
(4.13)
onde Af o propagador de Feymann para partculas de spin 0 e massa x :

Ap (x - y\x^) = 6> (xo - yo) A+ {x - y, x^)+9 {yo - xo) A+ {y - x] x^) . (4.14)
Usando a transformada de Fourier para passar ao espao dos momentos, pode-se
obter a funo de Green total como
Ap (-p2)
J d^xe-^P^^-y^ (0| T {$ (x) $+ (y)} [0)
(4.15)
dx^p[x^) j d^xe~^P^^~y^ Ap [x y, 3^) .
Finalmente, levando em conta que

f d'^xe~^P^'"~y'> Ap (x - y; >2) =
J
^(4.16)
+ x^ le
tem-se
p (x^) dx^

p^2
x^2 le
i-p^) = /
Jo
(4-17)
sendo esta a representao de Kllen-Lehmann para a funo de Green exata

no caso de uma partcula escalar de massa x (lembremos que se est usando a
teoria de KG).
Agora, da igualdade:
X =F ze
ZTr (x),
(4.18)

Green Exatas
74
V e ) 0 e "P denota o valor principal de Cauchy. Podemos obter de (4.17) uma

relao para a parte imaginria de Aj? (p^), qual seja,
Im Af (-P^) = irp (-p^) ,
(4.19)
e assim escrever a relao de disperso na forma

1
Im Air (>^) d>c^

Q
p-^ +
(4.20)
te
Isto significa que a funo de Green total pode ser recuperada se conhecida a
sua parte imaginria.
A funo p (x^) chamada funo espectral e, em princpio, sempre positiva:
p(^) > 0.
(4.21)
A igualdade satisfeita para 4-vectores tipo espao.

Podemos usar a representao espectral (4.20) junto s relaes de comutao
(calculadas num mesmo tempo) para obter uma condio que a funo espectral
deve satisfazer.
Se
(x) um operador do campo convencional, normalizado, ento, usando
(3.48), tem-se que

(x, ) , . ,
= -i8 (x - y).
(4.22)
Fazendo uso de (4.11) e (4.12), vemos que deve-se cumprir

p (x^) dx^ = 1.
Para o caso especial de um campo livre de massa m, a funo espectral
(4-23)
(x^)
dada por
p(0)
(4.24)

Green Exatas
75
Em geral, estados intermedirios de uma partcula de massa m contribuem

com c5 (x^ m^), de modo que em geral tem-se
p (x^) = c (x^ m^) -I- (7 (x^) ,
(4-25)
onde (7 (x^) representa a contribuio dos estados intermedirios com espectro

de massa contnuo, como estados de duas ou mais partculas. Assim, quando
tratado um s tipo de partcula escalar de massa m, o termo a (x^) desaparece
para x^ < 4m^. A constante c pode ser determinada pela condio de renormalizao.
Introduzamos o valor esperado no vcuo do comutador dos operadores renormalizados
{x) como
(0| [^r (a:),
(y)] |0) = ^r{x-y),
(4.26)
com
^{x) = Zl/^^r{x),
(4.27)
de modo que os operadores do campo renormalizado esto vinculados com os

11*2,
no-renormalizados por uma transformao de escala dada pela constante Z^' .
A condio de normalizao dada por
(01
(a:) \p) = {2poVy^^^
(4.28)
significando que a parte discreta normalizada da mesma forma que realizada

para o campo livre, isto
Pr (x^) = 5 (x^ m^) -I- Or (x^)
(4.29)
Por outro lado, temos que

p {x?) = Zsp, (x^),
(4.30)

Green Exatas
onde p{x^) foi dada em (4.25).
Da podemos obter, aps integrao em
76
considerando (4.30),
cr (x^)
Z^Gr (x^) ;
Zî,
(4.31)
de onde deduz-se que

Z^^ = 1-1- J Gr (x^) dx^ > 1,
(4.32)
com Gr (x^) positivamente definida. Por conseguinte

1 > ^3 > 0.
4.2
(4.33)
Funo de Green exata para o fton
Usando-se os campos na representao de Heisenberg, a funo de Green exata

dada por
(x - y) = (0| T {A, {x) A, (y)) |0),
(4.34)
onde a dependncia (x y) deve-se invarincia por translaes no espaotempo. Vemos, segundo (4.34), que ser necessrio calcular termos como
(0| A, (x) A, (y) |0).
(4.35)
Realizando translaes espao-temporais semelhantes a (4.2), escrevemos

A^{x) = e^^Â^{0)e-^'^\
(4.36)
Introduzindo a relao de completeza

|n) {n\ = I
n
(4.37)

Green Exatas
77
podemos expressar (4.35) como
(0|
{x) A, (y) |0) =
(0) \n) {n\ A, (0) [0)
(4.38)
n
onde pode-se ver a dependncia explcita de {x y), explicando o argumento que
se segue a (4.34). De forma semelhante a (4.5), possvel definir uma funo
espectral
(^^) na forma
9 {ko) (27r)-'
{-k^) =^5^{k- fc) (0| A, (0) |n) (n| A, (0) |0>,

n
onde a soma dada sobre todos os estados intermedirios possveis.

o clculo de (4.34) reduz-se ao clculo de (4.39).
(4.39)
Assim,
A representao de Kllen-
Lehmann (4.17) fornece a relao entre estas expresses
(-k^)=/
Jo
sendo esta a forma mais geral que
A k!^ i
(4.40)
{k^) pode ter. Alm disso.
ImD^,, {-k'^) = Trpî. (~^^)
(4-41)
e, devido invarincia relativista, p^j, deve assumir a forma
(-(.=>) =(V-^).H^),
(4.42)
onde p (A:^) uma funo espectral escalar. Tomando o trao de (4.42) obtm-se
a relao
Pufk (-k^) = 3p (-k^) .
(4.43)
As expresses (4.39)-(4.42) definem ento a funo de Green exata para o caso

do fton.
Diferentes aproximaes podem ser obtidas a partir de (4.39).
Por

Green Exatas
78
exemplo, para o caso de uma partcula (caso livre), podemos usar a expanso de
(x) como
onde campos so considerados sem polarizao, e (k) =
^ (2^ /
(k). De (4.44) tem-se
e, substituindo em (4.39), para o caso de uma partcula,

C (-*:") = '5'" (*') 5.-
(4.46)
5+ (A;2) = (fc2) e (ko).
(4.47)
onde definimos
De (4.46) tem-se que p^*)] (~^^) = 45"'' (fc^); comparando com (4.43) obtemos
p() (_fc2) ^
(^2)
(4.48)
e, substituindo em (4.42) e depois em (4.40), tem-se finalmente

kaki/
D<> {-k^) = i (V
(4.49)
A;2 y A;2
Vejamos agora o caso de duas partculas (caso com interao). Levando-se em

conta (2.176) podemos dar as solues assintticas para
Af, {x) = A^^ (x) -ie j
onde
(x) na forma
{x-y)'4^ [y) M (y) y,
(4.50)
(x) um campo livre e sua expanso dada por (4.44). A"* (x y)
a funo de Green retardada que, para o caso livre, definida como

Green Exatas
79
As solues para 'ip (y) ,ip (y) so dadas por
^(y)
(27T)
Substituindo (4.50)-(4.52) em (4.39) obteremos, para duas partculas,
pg) (-e)
^
L-4 f ^+ (2 + m^) - (p2 + m^) X

(27t)^ to2 J
J
Tripiip- m) Piq{iq- m) (5^,
(4.53)
onde q = k-\-p. Se considerarmos (4.41) teremos
ImDg) (/c^)
V
J
^-^7T
^27t)^
to2 J[ k^k^
(q^ + m^) 5~ (p^ + m^)) x
Trip{ip- m) Pi,iq{iq- m)
(4.54)
expresso esta a ser obtida na seo 5.1.
4.3
Funo de Green exata para a partcula DKP
Usando-se os campos na representao de Heisenberg, a funo de Green Exata

Gap dada por
Gap {x-y) = (0| T (i>a (a:) ip^ {y)) |0).
(4.55)
Aqui tambm a dependncia {x y) est vinculada invarincia por translaes

espao-temporais.
Vemos, segundo (4.55), que ser necessrio calcular termos
como
(01 ipa (x) ^p (y) |0).
(4.56)

Green Exatas
Realizando translaes espao-temporais nos campos ipa (a:^) e
80
(z), escrevemos
(4.57)
^,(x)
(0)
e, introduzindo a relao de completeza
E |n> (n| = /,
n
(4.58)
(0| iJa (0) \n) (nl -ipp (0) |0)
(4.59)
podemos expressar (4.56) como

(0| ipa (x) ^13 (y) |0) =
n
possivel tambm definir uma funo espectral pap {w, p^) da forma
9 (po) (27t) ^ Pap {ip, -p^) = ^ 5"* (p - Pn) (0|
n
(0) \n) {n\
(0) |0),
(4.60)
onde a soma tomada sobre todos os estados intermedirios possveis. Separando

de forma conveniente a contribuio de partcula livre das contribuies de ordem
superior, escrevemos a representao de Kllen-Lehmann para a funo de Green
exata na forma
^q/3 (P) -p2) = (p +
PaP {ip,
xP' + p^ ie
(4.61)
sendo esta a forma mais geral que Gap {ip, p^) pode ter. Alm disso, temos que
Im G^f (ip, -p^) = npau (ip, -/) ,
(4.62)
e, devido invarincia relativista, pap deve ter a forma
P (ip, -P^) = Pl(-p) + (ip) P2(-P^) + (ipf P3 (-P^) .
(4.63)

Green Exatas
81
As relaes (4.60)-(4.63) definem a funo de Green exata para o caso DKP. Podem tambm ser obtidas diferentes aproximaes a partir de (4.60). Por exemplo,
para o caso livre ser necessrio usar as solues (4.52)
(2^ /
(4-64)
Usando a definio (3.18), alm das solues (3.33), obtm-se para uma partcula.
(ip, p^) = ip{ip m) "*" (p^ + m^) ,
m
(4.65)
a qual est em concordncia com (4.61). Para o caso de duas partculas levaremos
em conta (2.176), dando as solues assintticas para p (x) e 'ip (x) na forma
onde -0 (x) e
ip (a:)
(o;) +
{x - y) (y) tp (y) d^y\
ip (x)
(x) +ie j ip{y) {y)
(4.66)
{y - x) y,
(a:) so campos livres com expanses dadas por (4.52).
{x y)
a funo de Green retardada para o caso livre, definida como

(4.67)
(27t) J ip + m^^ lepo
Usando-se novamente as expanses (4.52), alm de
1
^
(4.68)
g 14
^ 4 (k)
obtemos, para o caso de duas partculas,

pP)(ip,V)
(27t) Trn j
[ip + m)
(4.69)

Green Exatas
onde q = p + k. Se consideramos (4.41) teremos
lmGai3 {ip, -P^)
(27t) rn
f
J [ip + m)
^
(4
5.
5.1
Correes
radiativas
a um
loop
Polarizao do vcuo
Figura 5.1:
Veremos as correes radiativas de segunda ordem em e para o fton usando

a teoria de DKP. A polarizao
(27t) J
{k) dada por
+ m)^),
(5.1)
onde q = p + k. Com o uso do propagador T^{p) (Funo de Green) definido em
84
Captulo 5. Correes radiativas a um loop
(3.62), tem-se
(2ir) m^J
P Up" + m2) ^ ^\ (,2 + m^)
+ 1
(5.2)
Para tomar a parte imaginria usaremos uma frmula semelhante a (4.18),

Im
\ /
X le) \y is
= 2^6 (x) S (y)
(5.3)
e, aplicando-a a (5.2), teremos para a parte imaginria de n|fj(A;^)

Imnjfj(-A:^)
f d^pTr[pf,ip{ip-m)pJq{iq-m)]
J
(27t) rn^
(5.4)
S~ {p^ -t- m^) 5^ [q^ -1- m^) ,

onde definimos
6
[p^ -I- m^)
+ m^) 9 {-po);
4- m^)
+ m^) 9 (qo).
(5.5)
Introduzimos agora a notao para a parte imaginria

= Im njfj(-A:^) = {TrPpp{ip- m)piq{iq- m)),
(5.6)
sendo esta equivalente a (5.4). O clculo do trao em (5.6) d

= {Pf,Pi,q^ + qt,q^p^ ~
{p^q^ -i- Puqn))
(5.7)
e, devido presena das funes em (5.4), os clculos so realizados na camada

de massa, de modo que
-1-
= 0 e
-f
= 0. Considerando isto, (5.7)
pode-se escrever como
= -m? (pp +
+ p),
(5.8)
85
ou considerando q = p + k,
((2p^ 4- k^) {2pu + k^))
(5.9)
J que a identidade de Ward deve ser satisfeita tambm para a parte imaginria,
tem-se que
k^Mû = 0,
(5.10)
que satisfeita devido forma adotada por

invarincia de Lorentz, a parte imaginria
em (5.9). Levando em conta a

deve ter a forma
k^ku
(5.11)
Para o clculo de tt {k^), levaremos em conta que (5.9) e (5.11) so equivalentes; assim, multiplicando estas expresses por
T {-k^) =
e igualando-as, teremos
(l + ^ I 7,
(5.12)
onde I dado por

1=
^-^27t^ [ d^p [p^ -4- m^) 5 (q^ + m^) 9 (-po) 9 (go)

7t)
J
(27T)
(5.13)
Nota-se que 9 {po) implica que po < 0, de modo que de 9 (qo) = 9 {po + ko)
segue-se que ko > po > 0, ou seja, ko positivamente definido. Tomando o
referencial k = 0 tem-se para (5.13)
1 =
e2
tTT TT\ 1 +
(27r)^m2
V
4rn^
(5.14)
Substituindo este resultado em (5.12), temos

2
id
2\
(5.15)
86
A parte imaginria dada por
Imngl
G
3(27t)
2 / r
knki/
47T 7T ( V ^
(5.16)
A funo d {k"^ Am^) foi introduzida a fim de garantir que k"^^ Am?, valor
crtico para a criao de pares. Pode-se provar tambm que a integral (5.13)
uma funo analtica em e cresce logaritmicamente, In \k^\
> oo. Isto
>-CX)
importante uma vez que implica na necessidade de se fazer uma subtrao quando
escrevermos as relaes de disperso para
i~k^) renormalizado. Assim ter-
emos
f
(-^^)=^ J'4m2
An
{>?) dx?
(5.17)
Substiutindo (5.16) nesta ltima expresso, obtemos
p2
roo
dx?
njfi (-*:") = -^2 (,,2 + J.2 _
onde X? = k'^. Fazendo uma mudana de varivel
= 1
(5-18)
na integral,
vemos que
3/2
v^dv
/
J 4)
4m2
- *e)
r
2m2 Jo
1 +
(5.19)
(1 _ ^2)
e, substiutindo em (5.18),
v^dv
,(27t)^- -expresso esta coincidente com a calculada em [11].
1+ ,(!_ ^2)
(5.20)
87
Figura 5.2:
5.2
Correo de massa
Da figura 5.2 tem-se

{i% -p^) = -7^ j
(27t)
{iq -i- m) ^
Com o uso da funo de Green (3.62), escrevemos

{ip, -p^) =
{ip, p^) como
'iq{q-m)
- d^kp^
(27t)" m
'nj
q^ + m?
(5.21)
\
^
(5.22)
sendo a parte imaginria desta expresso dada por

2 9_2 f
ImS^^^ {ip, -p^) = -74
/ d^kpf,iq{iq- m) p^5~ {k^) 5+ {q^ -f- rrP)
(27r) Tfi
(27t)*
m j
(5.23)
Em geral,
{ip, p^) deve ter a forma

{ip, p^) = A + {ip) B + {ip)^ C.
(5.24)
Tomando a parte imaginria tem-se

Im E^^^ {ip, p^) = a + {ip) b -1- {ip}"^ c,
(5.25)
onde a, b e c so funes que dependem de p^, dadas por

a = ImA,
= Im5,
c = ImC'.
(5.26)
Portanto, o clculo da parte imaginria de
88
{ip, p^) reduz-se a encontrar os
coeficientes a,b e c definidos em (5.26). Multiplicando por (ip), (ip)^ e calculando

os traos correspondentes em (5.24) obtm-se
(ip, p^)
5A 2p^C\
TrpE^"^^ (ip, p^)
2ip^B]
Trp^TP'^ (îp,p^^
2p^(A p^C).
(5.27)
Levando em conta a relao (5.26) pode-se obter as partes imaginrias como

Im
(zp,p^)
5a 2p^c;
(zp,p^)
2zp^6;
ImTrpÊ^^^ (zp, p^)
2p^(a p^c).
Im
(5.28)
Vemos ento que necessrio calcular o lado esquerdo destas ltimas relaes.
Usando para isso a expresso explcita (5.22), tem-se para a primeira linha em
(5.28):
p2
ImTrE^^^ (ip, -p^) = -
27t2 r
^4~y kTr(5îq{iq ~ m)
[q^ -f m^) 5~ (fc^) .

(5.29)
Fazendo os clculos correspondentes, teremos

ImTrE^^^ (ip,p^) =
^
^
07t2
j
m?I,
(27t)^ m
(5.30)
^
^
onde I definido como

7 = J d^(^q^ + m?) ~ (^k^) .
(5.31)
De forma similar para a segunda linha em (5.28), teremos

2
Im(zp,-p^)
27t2
r
J d^kTrpPîq{iq-m)
d- m^) S~ (:^) .
X
(5.32)
89
Usando as propriedades do trao encontramos

Im
27T^
(ip, p^)
(27t)
{im) {p^ m^) I.
(5.33)
Finalmente, calcularemos a ltima linha em (5.28) como

ImTrpÊ^^^ (ip, p^)
3^
27T^
J d^kTrp^fîq{iq-m)P^x
(27r)^ m
(5.34)
+ m^) S~ (A:^) .
Levando novamente em conta as propriedades do trao,
ImTrp^S^^^ {ip,p^) =
^4^^2m^pÎ.
{2ny m
(5.35)
Reunindo os resultados (5.30), (5.33) e (5.35) obtm-se o sistema de equaes
(27t)
27t2
-5m I
(27t) rn
5a 2p c;
4 ~~ {im) (p^ m^) I

m
2ip^;
2m^pÎ
2p^ (a p^c) ,
(5.36)
(27t)^ m
cuja soluo para os coeficientes dada por
a
27T^
rv?I\
(5.37)
(27t)^ m
ib
2'k^ ,
X (p^ m^) r
(-'"") 2p2
(27t) m
0.
Substituindo estes valores em (5.25), tem-se

Im
(ip, p^)
r27T^
(27t)^
ip (
m- { 1
m
pr-
(5.38)
90
onde o clculo da integral definida por (5.31) resulta ser

(5.39)
Notemos que a parte imaginria Im
{ip, p^) tem a forma Im
{ip, p^) =
a{p^) + (zp) b{p^), com c = 0. Finalmente, fazendo uso da representao de

Kllen-Lehmann obtemos E^^ {ip, p^) renormalizado como
p + m
{ip, -/) =
7T
Im E^^) {ip, >^)

/
J m 2 {k^ + w?) {>c^ +
it)
(5.40)
onde
Im E^^^ {ip, >^)
r27r"
ip
m
m- [ 1 +
7T /
(5.41)
{2^r
de modo que
{ip, -P^)
7T^ (P^ +
{27ry
(l - #)
\ ^ f
I
J m 2 (x^ + m^) (x^ + p^ ie)
f*\
ip r (i+^) (i-g)rf^^
2 L 2 (x^ + m?) {k^ + p^ ze)
(5.42)
6.
Concluses
A anlise realizada inicialmente por Kemmer para a interao do campo DKP

com o campo EM depara-se com alguns de problemas j mencionados; um desses
problemas a existncia de um termo anmalo que aparece na teoria (eq. 2.139)
como conseqncia da lgebra das matrizes j3. Na seo 2.4 conclumos que o
princpio de acoplamento mnimo justificado quando a invarincia de gauge
local exigida na teoria DKP. Concomitantemente, conclumos que o problema
referente ao termo anmalo, antes mencionado, desaparece quando selecionada
de maneira correta a componente fsica do campo DKP com os projetores P e
P,Ao utilizarmos o formalismo cannico para quantizar o campo DKP obtemos
o ordenamento temporal dos campos ip{x) e ^^{x') que no coincidente com a
funo de Green T^; isto se deve ao fato de no serem todas as componentes do
campo DKP linearmente independentes; no entanto, pode-se mostrar que o termo
adicional que aparece na teoria no contribui para os elementos fsicos da matriz
S, sendo possvel para efeitos de clculo usarmos somente a funo de Green
dada pela eq. (3.62).
Por outro lado, como foi citada no captulo introdutrio deste trabalho, a
equivalncia entre as teorias DKP e KG foi no incio questionada devido a possveis
Captulo 6. Concluses
92
divergncias nos resultados obtidos quando foram utilizadas as duas teorias [8].
Recentemente provou-se a equivalncia de ambas as teorias nos trabalhos [13, 14].
Fazendo uso da representao de Kllen-Lehmann obtivemos as funes de
Green exatas para o caso do fton e a partcula DKP escalar carregada e, calculamos na aproximao a um loop a polarizao do vcuo
de massa
e a correo
Nos dois casos, os resultados so idnticos aos proporcionados
pela teoria de KG, podendo-se dizer que as teorias so equivalentes nessa aproximao. E importante ressaltar que a representao de KL usada para as funes
de Green est fundamentada na propriedade de analiticidade da matriz S, assim
as amplitudes UiiJ e T,}j,u so expressas atravs de sua parte imaginria que no
so modificadas pelo processo de renormalizao, levando-nos a concluir que a
representao de KL uma ferramenta poderosa para obter resultados finitos.
O seguinte ponto importante a ser abordado o clculo do vrtice, explorando
a simetria de gauge via identidades de Ward. Ponto este que vem sendo estudado
e com resultados parciais bastante promissores.
A teoria de DKP na sua formulao inicial refere-se partculas massivas,
no entanto foi generalizada para partculas no massivas [28]; dessa forma, as
perspectivas para sua aplicao posterior so as das mais diversas: o uso da
teoria de DKP para o campo EM no espao-tempo de Riemann, sua generalizao
ao espao-tempo de Riemann-Cartan [29], a descrio teleparalela da gravidade
como passo para comparar o acoplamento de campos DKP nas duas teorias, etc.
Bibliografia
[1] G. Petiau, Acad. Roy. de Belg., A. Sei. Mem. Collect 16 (1936).

[2] R. Y. Duffin, Phys. Rev. 54 (1938) 1114.
[3] N. Kemmer, Proc. Roy. Soc. A173 (1939) 91.
[4] O. Klein, Z. Phys. 37 (1926) 895.
[5] W. Gordon, Z. Phys. 40 (1926) 117.
[6] V. Fock, Z. Phys. 38 (1926) 242.
[7] A. Proca, Gompt. Rend. 202, 1366 (1936); 202, 1490 (1936); 203, 709
(1936).
[8] R. A. Krajcik and M. M. Nieto, Am. J. Phys., 45 (1974) 818.
[9] B. M. Pimentel and J. L. Tomazelli, Prog. Theor. Phys. 45 (1995) 1105.
[10] T. Kinoshita, Prog. Theor. Phys. 5 (1950) 473; T. Kinoshita and Y. Nambu,
ibid. 5 (1950) 749.
[11] I. Akhiezer and V. B. Berestetski, Quantum Electrodynamics, 2nd ed. Inter.,
New York, 1965.
BIBLIOGRAFIA
94
[12] A. Wightman, Aspects of Quantum Theory, p.95, Edited by A. Saiam and

E.P. Wigner, Cambridge, University Press, 1972.
[13] V. Ya. Fainberg and B. M. Pimentel, to appear in Theor. Math. Phys.

Disponvel como hep-th/9911219.
[14] V. Ya. Fainberg and B. M. Pimentel, to appear in Phys. Lett. A. Disponvel

como hep-th/0003283.
[15] V. Gribov, Eur Phys. J. CIO: (1999), 71. Tambm disponvel como hepph/9807224.
[16] I. V. Kanatchikov, hep-th/9911175.
[17] J. T. Lunardi, B. M. Pimentel and R. G. Teixeira, a ser publicado nos Proceedings of Gonference on Geometrical Aspects of Quantum Fields, Londrina,
Brazil, 17-20 Apr 2000. Disponvel como gr-gc/9909033.
[18] V. M. Redkov, quant-ph/9812007.
[19] H. Umezawa, Quantum Field Theory, North-Holland, 1956.
[20] J. T. Lunardi, B. M. Pimentel, R. G. Teixeira and J. S. Valverde, Phys. Lett.

268A (2000) 165-173.
[21] G. Kallen, Helv. Phys. Acta 25, 417 (1952).
[22] H. Lehmann, Nuovo Cimento, 11, 342 (1954).
[23] K. Nishijima, Fields and Particles, W. A. Benjamin, Inc., 1969.
BIBLIOGRAFIA
95
[24] S. Weinberg, The Quantum Theory of Fields I, Cambridge University Press,

1995.
[25] V. Ya. Fainberg, B. M. Pimentel and J. S. Valverde, a ser publicado nos
Proceedings of XX Encontro Nacional de Fsica de Partculas e Campos.
[26] Harish-Chandra. Phys. Rev., 71, 793, (1947).
[27] E. M. Corson. Introduction to Tensors, Spinors, and Relativistic Wave Equation, Blackie & Son Limited, London and Glasgow, 1953.
[28] Branko Dragovic and Branislav Sazdovic, FZKAAA, 16 (4) 419 (1984).
[29] V. de Sabbata and M. Gasperini, Introduction to Gravitation, Word Scientiic, 1985.

DKP

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

DKP

Uploaded by

Copyright:

Available Formats

IFT

Instituto de Fsica Terica

A teoria de Duffin-Kemmer-Petiau: Aspectos Clssicos

Juan Segundo Valverde Salvador

Prof. Dr. Bruto Max Pimentel Escobar

A meus pais, pelo apoio dado durante toda minha vida.

Ao Prof. V. Ya. Fainberg, pela colaborao frutfera durante o trabalho.

A Marcos Cardoso pela amizade. A Randall e Tadeu pela ajuda na redao

Aos colegas peruanos, em especial a Teovar pelas conversas e discusses.

A todos os alunos do IFT.

FAPESP (processo nmero 98/00268-1), pelo apoio financeiro que tornou

A mi pequeno hijo, Juan Andrei.

Teoria DKP, representao de Kllen-Lehmann, Eunes de

The Duffin-Kemmer-Petiau (DKP) theory is studied both on the classical

DKP Theory, The Kllen-Lehmann Representation, Exact Green

A equao de onda relativstica

As matrizes 7^ sob as transformaes de Lorentz

Equaes de onda relativsticas generalizadas

A equao de Duffin-Kemmer-Petiau e as propriedades algbricas

As representaes de j3 na teoria de DKP

A invarincia de gauge e a interao com o campo EM

Quantizao do campo DKP

Regras de comutao. Propagador do campo DKP. Funo de Green 62

Representao de Kllen-Lehmann (KL). Funes de Green Ex70

Funo de Green exata para o fton

Funo de Green exata para a partcula DKP

Correes radiativas a um loop

A equao de Duffin-Kemmer-Petiau (DKP) [1, 2, 3] uma equao relativista

no consegue clarificar, num primeiro instante, qual a lgebra que as matrizes

perodo dois grandes descobrimentos foram feitos: a violao da paridade e a

No captulo 2 sero apresentadas as equaes de DKP e

as propriedades algbricas que as matrizes /? devem satisfazer; alm disso uma

P e Pf^ [19], selecionada a componente fsica do campo DKP e prova-se ao

Em princpio definiremos o espao-tempo, que est determinado pela mtrica

Essa mtrica define o chamado espao-tempo de Minkowski. No espao de Minkowski

= (Xi,X2,X3,X4) = (X,X4) = (x, Xq) = (x,ZC).

Captulo 1. A equao de onda relativstica

Definimos do mesmo modo o 4-vetor momento

A condio de invarincia para o 4-momento na camada de massa

= 10^. Fazendo uso de (1.5) fcil obter a equao

de onda para os campos Qq(x), a = 1,2,n

Daqui em diante usaremos o sistema de unidades para o qual a velocidade da luz c = 1 e a

Captulo 1. A equao de onda relativstica

A diferena entre a equao (1.8) e a equao no relativstica que na primeira

Captulo 1. A equao de onda relativstica

no seguinte sistema de equaes diferenciais e de primeira ordem:

Desta forma adicionamos componente original Q{x) 4 componentes Q^i{x), ou

A condio de KG (1.9) limita a equao de onda por exigir a existncia de um

onde dap{d) definido por

Se denotamos a ordem mxima dos

operadores diferenciais por b, ento

Captulo 1. A equao de onda relativstica

A matriz Aap{d) da equao (1.11), (1.12) de primeira ordem no operador d,

e P so matrizes de dimenso n, m uma constante (em princpio, no

assumimos que represente a massa da partcula) e Qa{x) uma matriz coluna.

+ ...) (p^5^ + m/3) = ( - nP) I

Substituindo na equao (1.12) teremos que

a{p^dfi + mP) = (n nP)l

obtendo ento a igualdade

Captulo 1. A equao de onda relativstica

J que 3 /J ^ ento multiplicamos (1.20) por

Qip^) = 0Definindo as matrizes

Substituindo em (1.12) temos que

Comparando os termos que no contm derivadas em ambos os membros dessa