UNIVERSIDADE FEDERAL DE SANTA MARIA

CENTRO DE CIENCIAS
NATURAIS E EXATAS
CURSO DE FISICA

DE REGRAS DE FEYNMAN A AMPLITUDES

FISICAS CONSISTENTES NOS CALCULOS

PERTURBATIVOS EM TEORIAS QUANTICAS

DE CAMPOS

II
TRABALHO FINAL DE GRADUAC
AO

Pedro Goncalves de Oliveira

Santa Maria, RS, Brasil

2015

DE REGRAS DE FEYNMAN A AMPLITUDES

FISICAS CONSISTENTES NOS CALCULOS

PERTURBATIVOS EM TEORIAS QUANTICAS

DE CAMPOS

por

Pedro Gon
calves de Oliveira

Trabalho Final de Graduacao II

apresentado ao Curso de Fsica Bacharelado
da Universidade Federal de Santa Maria (UFSM, RS)
como requisito para a obtencao do grau de
Bacharel em Fsica.

Orientador: Prof. Dr. Orimar A. Battistel

Santa Maria, RS, Brasil

2015

Universidade Federal de Santa Maria

Centro de Ci
encias Naturais e Exatas
Curso de Fsica

A Comissao Examinadora, abaixo assinada,

aprova o Trabalho Final de Graduacao II

DE REGRAS DE FEYNMAN A AMPLITUDES FISICAS

CONSISTENTES NOS CALCULOS

PERTURBATIVOS EM

TEORIAS QUANTICAS DE CAMPOS

elaborado por
Pedro Goncalves de Oliveira

como requisito para obtencao do grau de

Bacharel em Fsica

EXAMINADORA
COMISSAO

Orimar A. Battistel
(Presidente/Orientador)

C
esar de Oliveira Lobo (UFSM)

Alcides Gilberto da Rosa Ardornes (UFSM)

Santa Maria, 18 de Dezembro de 2015.

RESUMO
Trabalho Final de Graduacao II
Curso de Fsica
Universidade Federal de Santa Maria
DE REGRAS DE FEYNMAN A AMPLITUDES FISICAS

CONSISTENTES NOS CALCULOS

PERTURBATIVOS

EM TEORIAS QUANTICAS DE CAMPOS

Autor: Pedro Goncalves de Oliveira
Orientador: Orimar A. Battistel
Data e Local da Defesa: Santa Maria, 18 de Dezembro de 2015.

Com a utilizacao de um metodo alternativo aos tradicionais de regularizacao, todas

as amplitudes perturbativas de um modelo bastante geral, cuja contagem de potencias
indica a possibilidade de divergencias, sao explicitamente calculadas e suas propriedades de simetria verificadas. O metodo alternativo citado, ao qual nos referiremos como
Calculo Perturbativo Preditivo (CPP), como e mostrado detalhadamente na presente investigacao, permite o calculo das amplitudes perturbativas sem a necessidade de explicitar
um metodo especfico de regularizacao. Nos passos intermediarios sao assumidas apenas
duas propriedades muito gerais: a validade da linearidade e da integracao simetrica em
integrais de Feynman. As partes divergentes sao organizadas em um conjunto conveniente de objetos matematicos, enquanto que as partes finitas sao escritas em termos de um
conjunto de funcoes dos momentos externos a`s amplitudes, definidas em representacoes
integrais nos parametros de Feynman. A conexao com outros metodos e sempre possvel
atraves da interpretacao especfica dos objetos divergentes presentes nas formas finais obtidas. A renormalizacao, quando for o caso, pode ser efetuada sem o calculo explcito dos
objetos divergentes.
O modelo utilizado na presente investigacao e representado por uma lagrangiana contendo diferentes especies de fermions massivos, de spin 21 , acoplados com campos
bosonicos de spin 0 e 1, estes com paridade par e mpar (escalares, pseudo-escalares,
vetoriais e axiais). Deste modo, as identidades de Ward relacionam precisamente as divergencias das correntes axiais com as pseudo-escalares, bem como as correntes vetoriais
com aquelas escalares, gerando um conjunto bastante amplo de vnculos. Tais vnculos,
juntamente com as relacoes entre funcoes de Green e os teoremas de baixa energia, representam as propriedades exigidas pela consistencia. Alem disso, e claro, deve-se exigir que
as amplitudes serem livres de ambiguidades. Esta u
ltima exigencia desempenha um papel
secundario na presente investigacao, tendo em vista que a dimensao espaco-temporal do
modelo e adotada como D = 1 + 1.
Apos verificar-se a impossibilidade de obter-se a consistencia desejada, tratando as
amplitudes do calculo perturbativo como quantidades a serem regularizadas, sao testadas
as expressoes correspondentes `as mesmas amplitudes, porem obtidas no contexto de uma
nova interpretacao. Na mencionada interpretacao, as amplitudes fsicas sao definidas a
partir daquelas produzidas pelas regras de Feynman atraves de uma regra universal, sem
que necessitem ser regularizadas. A ampla consistencia verificada nos testes realizados
no presente estudo permite concluir que a interpretacao proposta pode resolver alguns

conhecidos problemas encontrados em calculos perturbativos de Teorias Quanticas de

Campos (TQC), associados ao poder de predicao de tais teorias em solucoes perturbativas
(ambiguidades), bem como proporcionar interpretacoes alternativas para o fenomeno das
inevitaveis violacoes em relacoes de simetria ou anomalias.

ABSTRACT
Undergraduate Final Work II
Bachelor Degree in Physics
Federal University of Santa Maria
FROM FEYNMAN RULES TO CONSISTENT PHYSICAL AMPLITUDES
IN PERTURBATIVE QUANTUM FIELD THEORIES
Author: Pedro Goncalves de Oliveira
Advisor: Orimar A. Battistel
Place and Date of Presentation: Santa Maria, December 18th 2015.

Using an alternative method to the traditional regularizations, all the amplitudes

- of a very general model - which the power-counting indicates possibility of divergence
are explicitly calculated, and their symmetry properties verified. The method mentioned
above, which we call Perturbative Predictive Calculus (PPC) - as shown in details on the
present investigation - permits the calculation of the amplitudes without making explicit
any specific regularization method. On the intermediate step, only two very general
properties are assumed: the linearity and symmetrical integration of Feynman integrals.
The divergent terms are organized in a convenient set of mathematical objects, while the
finite part is written in terms of a set of functions of the external momenta, defined on
integral representation on the Feynman parameters. The connexion with other methods
is always possible through the specific interpretation of divergent objects present in the
final expressions. Renormalization, when needed, can be done without explicit calculation
of the divergent objects.
The model used on the present investigation is represented by a lagrangian containing different kinds of massive fermions of 21 spin, coupled with bosonic fields with spins
0 and 1, with even and odd parity (scalar, pseudoscalar, vectorial and axial). This way,
the Ward identities relate the axial-current divergences with the pseudo-scalar ones, as
well as the vector-currents with scalar-currents. This generates a wide set of constraints.
These constraints, together with the relations between Green functions and low-energy
theorems, represent the required properties for consistency. Also, the amplitudes are required to be free of ambiguities. This last requirement plays a secondary role in this
investigation, as the adopted space-time dimension is D=1+1.
After verifying the impossibility of obtaining the required consistency when interpreting the amplitudes as quantities to be regularized, we test expressions for the same
amplitudes - obtained, however, in the context of a new interpretation. Under the light
of that, physical amplitudes are defined from the forms generated from the Feynman diagrams, and with an universal rule - without any need for being regularized. The wide
consistency verified on the performed calculations allows us to conclude that the proposed
interpretation should solve some widely know problems in perturbative QFT, associated
with the prediction power of such theories (ambiguities), as well as proposing an alternative interpretation to the anomalies phenomena.


SUMARIO

1 INTRODUC
AO
1.1 A busca por uma teoria unificada e o surgimento
Campos . . . . . . . . . . . . . . . . . . . . . . .
1.2 Sobre a interpretacao dos resultados matematicos
1.3 Descricao do Problema . . . . . . . . . . . . . . .
1.4 Metodologia . . . . . . . . . . . . . . . . . . . . .

9
da
. .
. .
. .
. .

Teoria
. . . .
. . . .
. . . .
. . . .

Quantica de
. . . . . . .
. . . . . . .
. . . . . . .
. . . . . . .

E CALCULO

2 CONSTRUC
AO
DAS AMPLITUDES
2.1 Funcoes de um ponto . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1 Funcao de um ponto escalar (S) . . . . . . . . . . . . . . .
2.1.2 Funcao de um ponto pseudo-escalar (P) . . . . . . . . . . .
2.1.3 Funcao de um ponto vetorial (V) . . . . . . . . . . . . . .
2.1.4 Funcao de um ponto axial (A) . . . . . . . . . . . . . . . .
2.2 Funcoes de dois pontos . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Funcao de dois pontos escalar-escalar(SS) . . . . . . . . . .
2.2.2 Funcao de dois pontos escalar-pseudo-escalar(SP) . . . . .
2.2.3 Funcao de dois pontos escalar-vetorial (SV) . . . . . . . .
2.2.4 Funcao de dois pontos escalar-axial (SA) . . . . . . . . . .
2.2.5 Funcao de dois pontos pseudo-escalar-pseudo-escalar (PP)
2.2.6 Funcao de dois pontos pseudo-escalar-vetorial (PV) . . . .
2.2.7 Funcao de dois pontos pseudo-escalar-axial (PA) . . . . . .
2.2.8 Funcao de dois pontos vetorial-vetorial (VV) . . . . . . . .
2.2.9 Funcao de dois pontos axial-axial (AA) . . . . . . . . . . .
2.2.10 Funcao de dois pontos axial-vetorial (AV) . . . . . . . . .

3 RELAC
OES
DE SIMETRIA
3.1 Relacoes entre funcoes de Green . . . . .
3.1.1 Contracoes com o ndice vetorial .
3.1.2 Contracoes com o ndice axial . .
3.2 Identidades de Ward . . . . . . . . . . .
3.2.1 Contracoes com o ndice vetorial .
3.2.2 Contracoes com o ndice axial . .
3.2.3 Sobre as relacoes de consistencia .
3.3 Limites de baixa energia . . . . . . . . .
3.3.1 Amplitude VV . . . . . . . . . .
3.3.2 Amplitude AA . . . . . . . . . .
3.3.3 Amplitude AV . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

. 9
. 12
. 14
. 16

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

19
23
23
23
24
24
25
25
26
27
27
28
28
28
29
30
31

.
.
.
.
.
.
.
.
.
.
.

32
33
34
38
42
43
47
50
53
54
57
59

4 UMA PROPOSTA DE AMPLITUDES CONSISTENTES

62
4.1 Verificacao das identidades de Ward . . . . . . . . . . . . . . . . . . . . . . 64
4.2 Verificacao dos teoremas de baixa energia . . . . . . . . . . . . . . . . . . . 68

5 CONCLUSAO

69

Ap
endice A - Matrizes de Dirac

72

Ap
endice B - Parametrizac
ao de Feynman

74

Ap
endice C - Integrac
ao Dimensional

77

Ap
endice D - Soluc
ao das integrais de Feynman

79

1
1.1

INTRODUC
AO
A busca por uma teoria unificada e o surgimento da Teoria Qu
antica de
Campos

A razao humana tem a capacidade de identificar aspectos comuns entre eventos

aparentemente isolados. Em ciencias naturais, isto permite a classificacao e organizacao
de uma enorme gama de fenomenos disponveis no ambiente natural ou produzidos em laboratorio sob condicoes planejadamente construdas. A crenca de que todos estes eventos
podem ser estudados com modelos que seguem a determinacao de leis, princpios ou regras bem determinadas faz com que as informacoes obtidas em cada investigacao realizada
sejam organizadas de modo a revelarem tais leis, princpios ou regras.
Neste contexto, podemos dizer que o objetivo da Fsica, como ciencia pura, e expor
os princpios racionais que fundamentam os fenomenos captados, em u
ltima instancia,
pelos nossos sentidos (fenomenos fsicos), a fim de construir um elo entre a realidade
racional e a realidade emprica; entre o pensamento humano e a fenomenologia.
Com o surgimento da ciencia moderna, estudiosos das ciencias fsicas passaram
a se focar na identificacao de relacoes quantitavas entre grandezas fsicas nos fenomenos
observados. A matematica passou, assim, a ser linguagem mais adequada para representar
tais relacoes. A partir da formulacao de leis na forma de equacoes, passou-se a representar
quantitativamente algumas relacoes de causa e efeito entre grandezas fsicas.
Com o passar do tempo, a busca pela descricao dos fenomenos fsicos passou a
ser a procura por uma teoria u
nica que possa ser construda sobre um pequeno conjunto
de axiomas, e que tenha a capacidade de explicar todos os eventos passveis de serem
observados experimentalmente. Pode-se dizer que esta tendencia ja estava evidente no
pensamento de Isaac Newton, que estabeleceu que as mesmas leis regem a dinamica dos
corpos celestes e terrestres. O movimento dos astros ja vinha sendo estudado ha seculos,
culminando com as Leis de Kepler. O movimento dos corpos abaixo da esfera celeste
tinha sido descrito satisfatoriamente por Galileu Galilei. Entretanto, estes fenomenos
sempre foram descritos separadamente. Newton unificou estas distintas areas de conhecimento, e inaugurou a busca moderna e contemporanea por uma teoria unificadora, que
inclua um grande n
umero de fenomenos fsicos; e se possvel, todos.
O uso de ferramentas matematicas mais robustas, desenvolvidas por Joseph-Louis
Lagrange e William Rowan Hamilton, permitiu o aperfeicoamento dos estudos de Newton.
Desta maneira, ja no incio do seculo XIX foi possvel obter-se uma descricao detalhada e
precisa da dinamica dos corpos em geral atraves de um formalismo bem fundamentado matematicamente, o que se chama hoje de Mecanica Classica. De maneira independente, mas
seguindo os mesmos fundamentos filosoficos, uma grande sntese dos fenomenos eletricos

10

e magneticos foi obtida por James Clerk Maxwell na segunda metade do seculo XIX,
ao formular uma teoria para os fenomenos eletromagneticos baseada em um conjunto de
quatro leis. Estas tinham a capacidade de descrever consistentemente todos os fenomenos
eletricos e magneticos observados ate entao, e de prever uma ampla classe de fenomenos
ainda nao observados.
Quando os dois conjuntos de leis acima citados, de Maxwell e de Newton, haviam
se consolidado amplamente pela comparacao entre predicao teorica e observacao experimental, passaram a fazer parte das preocupacoes dos pensadores da fsica questoes mais
profundas do ponto de vista filosofico, como a invariancia das leis fsicas frente `a mudanca
de observadores ou sistemas de referencia. Por ser arbitraria e objeto de escolha, a mudanca de sistemas de referencia nao deveriam influenciar na fenomenologia das leis fsicas,
se estas realmente sao leis universais.
Neste aspecto, a teoria eletromagnetica aparentemente nao podia ser conciliada
com a Mecancia Classica, pois as transformacoes que mantinham um dos conjuntos de
leis invariantes nao o fazia com o outro. A fim de resolver esta controversia, Albert
Einstein propos a Teoria da Relatividade Restrita em 1905, adotando as transformacoes
de Lorentz como universais. Isto exigiu a modificacao das Leis de Newton, a fim de que
exibissem a exigida invariancia frente `a mudanca de sistema de referencia inerciais (com
velocidade relativa uniforme), e manteve as leis do eletromagnetismo de Maxwell intactas.
Assim, passou-se a exigir que as leis fsicas exibam covariancia de Lorentz, o que garante
a mesma forma matematica em qualquer referencial inercial.
Tambem no incio do seculo XX, uma outra classe de fenomenos passou a exigir
uma adequada descricao teorica. A Fsica, naquele momento, era incapaz de descrever
teoricamente alguns resultados experimentais obtidos em laboratorios, relativos a`s interacoes entre partculas microscopicas. Fenomenos como a radiacao do corpo negro, o
experimento da fenda dupla para o eletron, assim como as propriedades dos atomos, exigiam claramente uma nova teoria para uma adequada descricao. A solucao veio atraves
dos trabalhos de Erwin Schrodinger e Werner Heisenberg, que propuseram, independentemente, formulacoes para a Mecanica Quantica. Esta estabelece que as informacoes a
respeito da dinamica de partculas microscopicas estao contidas em uma funcao de onda
(~r, t) [1], determinada pela solucao da equacao:
(~r, t) = i~ (~r, t) ,
H
t

(1.1)

e o operador Hamiltonicondicionada a ser de quadrado integravel. Na equacao, H

ano, funcao das coordenadas e dos momentos associados, representando a energia total
do sistema, de modo analogo a` Mecanica Classica, porem obedecendo `a prescricao de

Schrodinger onde coordenadas e momentos sao associados por p = i~ :

11

2
2
= p + V (x) = ~ 2 + V (x) .
H
2m
2m

(1.2)

A teoria proposta mostrou-se bem sucedida na descricao dos fenomenos da escala

atomica, mas sua formulacao, intrinsecamente nao relativstica, nao lhe conferia a covariancia de Lorentz. Seria adequado entao construir versoes relativsticas da teoria de
Schrodinger.
` primeira vista bastaria substituir a expressao utilizada para a energia total na
A
prescricao de Schrodinger, vinda da Mecanica Classica, pela correspondente extrada da
Mecanica Relativstica:


2 = c2 p2 + m2 c2 ,
H

(1.3)

e aplicar a prescricao de Schrodinger para a relacao entre as coordenadas e os momentos.

Foi precisamente o que fizeram Klein e Gordon ao proporem a equacao


 +

 mc 2 

= 0,

(1.4)

para desempenhar o papel de ser a versao relativstica da equacao de Schrodinger. Esta,

entretanto, nao foi bem sucedida na tarefa, nao permitindo a interpretacao probabilstica
analoga `aquela da equacao de Schrodinger para a funcao de onda [2], fato associado
principalmente a` presenca de derivadas temporais de segunda ordem.
Na tentativa de contornar as dificuldades Dirac propos uma equacao de primeira
ordem (no espaco e no tempo):
(i~ mc) = 0.

(1.5)

Nesta equacao, representa um conjunto de matrizes 4 4 satisfazendo uma

algebra nao-comutativa [3]. Com isso a quantidade passa a ser um spinor com quatro
componentes ao inves de uma funcao escalar.
A equacao de Dirac mostrou-se bem sucedida em sua tarefa de descrever propriedades relativsticas dos eletrons e de partculas de spin 21 em geral. Por sinal, um dos
grandes sucessos desta equacao foi fazer surgir naturalmente o spin do eletron, que na teoria nao-relativstica aparece apenas por imposicao na construcao dos estados quanticos,
apos a solucao da equacao de Schrodinger.
Com o tempo, novas investigacoes esclareceram que uma equacao de onda relativstica diferente deve ser escrita para cada valor de spin carregado pela partcula. As
quantidades que aparecem nas equacoes como sendo funcoes de onda relativsticas devem ser interpretadas como campos sobre os quais deve ser imposta uma nova forma de

12

quantizacao (segunda quantizacao) [4] [5]. Ainda assim elas nao descrevem a dinamica
relativstica de partculas interagentes mas apenas de partculas livres. Seria necessario
desenvolver uma teoria quantica e relativstica para campos interagentes. Este e precisamente o ponto onde surge a Teoria Quantica de Campos (TQC).
A Teoria Quantica de Campos utiliza a mesma linguagem variacional da Teoria
de Campos Classicos para tratar interacoes entre partculas fundamentais. A diferenca e
que nela os campos sao associados `as partculas interagentes, e devem ser quantizados.
Como resultado disto e possvel interpretar as interacoes entre partculas como sendo mediadas por outras partculas. Esta inovadora formulacao, quando aplicada a`s interacoes
eletromagneticas, gera uma teoria denominada Eletrodinamica Quantica (EDQ), comumente citada como a mais bem sucedida teoria da fsica, quando se trata da concordancia
na comparacao entre predicao teorica e resultado experimental. Este sucesso motivou o
desenvolvimento de teoria quanticas de campos para as demais interacoes fundamentais,
principalmente para as forcas fraca e forte (Cromodinamica Quantica). Posteriormente,
permitiu a criacao de teorias unificadas, como a teoria eletrofraca e o Modelo Padrao
da fsica de partculas. Nesta u
ltima, as tres forcas fundamentais (forca eletromagnetica,
forca nuclear fraca e forca nuclear forte) sao tratadas de um ponto de vista unificado.
Mas o sucesso da Teoria Quantica de Campos nao se deu de imediato. Foi necessario contornar certos problemas intrnsecos em sua estrutura matematica. A impossibilidade de se obter solucoes exatas, com raras excecoes, exige a adocao de metodos
perturbativos para o desenvolvimento das solucoes.
Neste contexto aparecem divergencias em quantidades correspondentes a processos
fsicos. A presenca de infinitos, obviamente, nao permite a construcao da correspondencia
entre teoria e observaveis fsicos. Deste modo, a fim de estabelecer o poder de predicao
das teorias quanticas de campos em solucoes perturbativas e necessaria uma adequada
interpretacao das solucoes cujo resultado produza quantidades finitas, nao ambguas e
consistentes com as simetrias implementadas na construcao da teoria. A necessidade de
tratar estas divergencias de maneira consistente e o ponto de partida para o presente
trabalho.

1.2

Sobre a interpretac
ao dos resultados matem
aticos

necessaria uma devida interpretacao das quantidades divergentes, em teorias

E
quantica de campos, para que se obtenha a devida fenomenologia. Mas a necessidade da
interpretacao das solucoes de equacoes geradas por leis fsicas nao e um atributo exclusivo
na verdade, uma caracterstica intrnseca do uso de
de teorias quanticas de campos. E,
ferramentas matematicas pela Fsica.
A matematica e uma linguagem que, como dito anteriormente, e enormemente ade-

13

quada para descrever as relacoes quantitativas entre os fenomenos fsicos. As chamadas

leis fsicas sao relacoes matematicas que devem gerar um conjunto unvoco de resultados, a serem comparados com medidas experimentais, e e esta concordancia que dita o
sucesso de uma teoria fsica. Mas existe um detalhe importante sobre esta relacao entre
a Matematica e a Fsica, que muitas vezes nao e explicitado: os resultados matematicos
gerados por uma teoria fsica devem ser devidamente interpretados, para que se saiba exatamente como relaciona-los com a fenomenologia. A Matematica sozinha gera apenas um
conjunto de resultados simbolicos, sem nenhum compromisso a priori com os fenomenos
papel do fsico interpretar estes resultados, com uma regra objetiva e convenciofsicos. E
nada, de maneira que seja usada por toda a comunidade de estudiosos sem ambiguidades,
e se aplique a todos os problemas pertinentes a` teoria em questao. Um exemplo bastante
obvio disto e a representacao do movimento unidimensional de uma partcula por uma
funcao x (t). A variavel t e interpretada como o tempo decorrido a partir de um certo
momento, e x com a distancia ate um ponto especfico.
A interpretacao dos resultados e menos obvia em alguns contextos, e `as vezes
exige a imposicao de uma regra que modifique os resultados obtidos pelo simples calculo
matematico. Ao resolvermos uma equacao diferencial que descreve um sistema fsico,
por exemplo, somos obrigados a impor condicoes de contorno ao resultado se quisermos
compara-los com um experimento mental ou com um processo real. Um exemplo especfico
disto e a exigencia de que, na Mecanica Quantica, a funcao de onda que descreve uma
partcula seja de quadrado integravel. Esta e uma condicao que deve ser imposta aos
resultados matematicos, e e ditada pela interpretacao da funcao de onda como geradora
de uma probabilidade finita de encontrar a partcula em algum lugar do espaco.
Portanto, em algumas teorias fsicas, o simples desenvolvimento matematico dos
princpios fsicos nao gera resultados interpretaveis e plausveis se nao impormos certas
condicoes a posteriori. Este e precisamente o caso das divergencias da Teoria Quantica de
Campos. Para lidar com este problema, e recorrente na historia uma classe de metodos
conhecidos como regularizacoes, que tem por ideia basica fazer certa modificacao nas
amplitudes a modo de torna-las finitas.
No estudo da fsica, e importante usar metodos matematicos que produzam resultados unvocos e universais, ou seja: resultados independentes de escolhas arbitrarias de
quem os aplica, e aplicaveis a todos os casos particulares da teoria. A consistencia do
metodo e crucial para que a teoria tenha poder de predicao. Heisenberg discorre sobre
isto, ao falar sobre como as teorias fsicas sao sistemas fechados de axiomas e definicoes:

O traco mais importante [de tais sistemas] talvez seja a possibilidade de

para eles se encontrar uma representacao matematica consistente. Esta representac
ao tera, certamente, que garantir que o sistema esteja livre de contradic
oes. Ele, entao, estara apto, dentro de um conjunto de seu campo de
aplicac
ao, a enfrentar o crivo experimental [6].

14

Ficou demonstrado em um estudo anterior [7] que os metodos usuais de regularizacao nao fornecem amplitudes consistentes, por produzirem resultados dependentes de
escolhas arbitrarias feitas em passos intermediarios do calculo. No presente trabalho,
sera usada uma estrategia alternativa `as regularizacoes para lidar com as divergencias,
conhecida como Calculo Perturbativo Preditivo (CPP). Neste procedimento o uso de regularizacoes em passos intermediario e evitado [8]. Assume-se apenas uma propriedade
muito geral nas operacoes realizadas que e a validade da linearidade da operacao de integracao em integrais de Feynman, tpicas do calculo perturbativo. Com isso, as partes
finitas e divergentes sao separadas. As partes divergentes sao alocadas em objetos convenientemente definidos, enquanto as finitas sao integradas nos momentos dos loops e
escritas em termos de funcoes especficas, em representacoes integrais, de acordo com o
n
umero de propagadores internos [9]. No contexto deste procedimento e sempre possvel
mapear os resultados finais obtidos naqueles correspondentes a tradicionais metodos de
regularizacao. Basta, para tal, interpretar os objetos basicos divergentes de acordo com a
prescricao especfica. Isto permite conclusoes claras e gerais a respeito da consistencia nos
calculos perturbativos, e traz a` luz o fato de que nao ha metodo possvel de regularizacao
capaz de produzir resultados com a consistencia exigida.

1.3

Descric
ao do Problema

Em Teoria Quantica de Campos, a dinamica dos campos e a descricao dos processos pertinentes podem ser vistos como consequencia das simetrias implementadas na
construcao de uma quantidade L denominada densidade lagrangiana (ou apenas lagrangiana, por simplicidade), de modo analogo ao caso classico. A densidade lagrangiana e
um funcional dos campos e suas primeiras derivadas espaco-temporais.
A fim de obtermos as equacoes de movimento, primeiro definimos, a partir da
lagrangiana, a acao S:
Z
S=

L (i , i ) dn x.

(1.6)

A dimensao n aqui e arbitraria. No problema proposto, a teoria e formulada em

dimensao D = 1 + 1 (uma espacial e outra temporal).
A acao S deve ser minimizada de acordo com o princpio de Hamilton:
S = 0.

(1.7)

A condicao e obtida desde que o funcional satisfaca, para cada campo, a condicao

15

L

i

L
( i )


= 0,

(1.8)

que e a equacao de Euler-Lagrange. Assim, e gerado um um conjunto de equacoes dife conveniente escrever
renciais acopladas, uma para cada campo participante da teoria. E
o funcional L decomposto em duas partes:
L = LF + LI ,

(1.9)

onde LF e a parte livre e LI e a de interacao.

A parte livre esta associada `a equacao de onda relativstica para os campos. Esta,
portanto, relacionada `a dinamica destes campos na ausencia de interacoes. Ja a parte de
interacao e formada pelo acoplamento dos campos, que e feito de acordo com as simetrias
implementadas. No caso especfico do modelo que sera considerado na investigacao pertinente ao presente projeto, consideraremos uma teoria contendo fermions massivos de spin
1
interagindo com campos bosonicos de spin 0 e 1 (com paridades pares e mpares). Os
2
processos que consideraremos envolvem apenas linhas fermionicas internas nas amplitudes. A lagrangiana livre, entao, e dada por:
(i m) ,
LF =

(1.10)

pois deve fornecer a equacao de Dirac para os campos envolvidos quando a equacao de
Euler-Lagrange e aplicada a cada um deles.
Quanto a` lagrangiana de interacao, inclumos bosons de spin 0 com paridade par
e mpar (nominalmente, campos bosonicos escalares e pseudo-escalares), e bosons de spin
1 com paridade par e mpar (campos vetoriais e axiais), gerando o funcional

abc + iGP
3 B abc +
LI = iGS A




C abc A eA
3 Dabc W A .
eV

(1.11)

Aqui, representa um campo escalar, um campo pseudo-escalar, A um campo

vetorial, e WA um campo axial. Assim como na parte livre da lagrangiana, e um campo
fermionico de spin 21 . As constantes GS , GP , eV e eA sao denominadas constantes de
acoplamento, e seus valores nao sao fixados pela teoria mas por resultados experimentais.
As quantidade Aabc , B abc , C abc e Dabc sao os operadores que conectam as diferentes especies
de fermions e bosons.
Um aspecto importante da abordagem acima descrita refere-se ao conte
udo de simetria da teoria. De acordo com o Teorema de Noether, cada transformacao que mantem

16

a lagrangiana invariante corresponde `a existencia de uma simetria, e gera, como consequencia, uma quantidade conservada [10]. Esta, por sua vez, esta relacionada a um
observavel fsico. As quantidades conservadas estao associadas `a existencia de correntes
conservadas, traduzidas matematicamente em uma equacao da continuidade
j = 0,

(1.12)

de modo similar ao caso de teorias de campos classicos.

O desafio passa a ser a obtencao de solucoes perturbativas que possam ser inter necessario que o resultado desta interpretacao possa levar a
pretadas adequadamente. E
quantidades livres de divergencia e ambiguidades. Estas quantidades deve possuir propriedades de simetria consistentes com as invariancias implementadas na construcao da
lagrangiana. Trata-se de fato de um desafio, pois a interpretacao usual para as amplitudes
(como quantidades a serem regularizadas, para produzirem as quantidades fsicas apos a
renormalizacao) nao consegue fornecer resultados consistentes para todas as amplitudes
de todas as teorias e modelos. Mesmo para as teorias renormalizaveis, por contagem
de potencias, e necessario admitir-se que para algumas amplitudes (ditas anomalas) nao
e possvel produzir quantidades consistentes [9], se usarmos este tipo de interpretacao.
Tendo alguma simetria ou identidade de Ward violada de modo inevitavel, a renormalizacao deixa de ser possvel. Assim, a u
nica maneira de construir teorias renormalizaveis
quando existem anomalias presentes e construir um esquema de cancelamentos de anomalias, como e feito na construcao do Modelo Padrao. Isto faz com que teorias deste
tipo tenham um conjunto bem determinado de campos participantes (seis quarks e seis
leptons, no Modelo Padrao).
No contexto do presente projeto serao calculadas explicitamente todas as amplitudes perturbativas que tenham uma contagem de potencias indicando a possibilidade de
divergencia. Faremos isto utilizando as regras de Feynman e o procedimento que descreveremos a seguir. Mostraremos que nao e possvel construir amplitudes fsicas consistentes
no contexto de regularizacoes; posteriormente investigaremos a possibilidade de amplitudes consistentes serem obtidas atraves de nova interpretacao recentemente proposta.

1.4

Metodologia

As amplitudes divergentes que consideraremos em nossa investigacao, para o modelo estabelecido pela lagrangiana (1.11) (em dimensao D=1+1), estao relacionadas aos
diagramas de Feynman de um e dois pontos representadas na Figura 1.
Para resolver estas quantidades, primeiramente aplicam-se as regras de Feynman,
que no presente caso sao as seguintes:

17

Figura 1: Amplitudes divergentes (nvel 1-loop) em dimensao 1+1

i) A cada linha fermionica interna, que diz respeito a um fermion de momento

k + ki e massa mi , e associado um propagador :
SF (k + ki , mi ) =

1
6 k+ 6 ki mi

(1.13)

ii) A cada vertice, e relacionado um operador N que depende do tipo especfico de

campo bosonico externo ao diagrama acoplado ao vertice. Os operadores sao os mesmos
que aparecem na lagrangiana da teoria:
N = {1, 3 , , 3 } .

(1.14)

iii) Deve-se percorrer o loop do diagrama, multiplicando os propagadores e termos

de vertice correspondentes aos elementos, e tomar o traco da expressao obtida. No caso
das amplitudes a serem consideradas na investigacao, de um e dois pontos, o resultado
desta operacao e:

tN = T r [N SF (k + ki , mi )]

(1.15)

tN M = T r [N SF (k + ki , mi ) M SF (k + kj , mj )] .

(1.16)

iv) Finalmente, as expressoes sao integradas no momento k, na dimensao escolhida

(1+1):

T NM

d2 k
(2)2
Z
d2 k
=
(2)2
Z

 N
t

(1.17)

 NM 
t
.

(1.18)

18

O integrando pode ser manipulado com o auxlio da algebra das matrizes de

Dirac, de modo que pode ser escrito na forma de uma combinacao de integrais de Feynman.
importante notar o carater arbitrario dos momentos internos ki na expressao
E
para os propagadores. Estes momentos estao relacionados ao momento externo, devido `a
conservacao de energia nos vertices externos, por
q = ki kj .

(1.19)

Assim, as amplitudes devem depender apenas do momento externo q. A dependencia

na forma
Q = ki + kj

(1.20)

seria arbitraria, gerando assim uma quantidade ambgua. Isto ocorre em amplitudes com
grau de divergencia acima do logartmico. Assim, no caso a ser considerado, nao serao
encontrados tais quantidades.
Quando as integrais presentes nas expressoes para as amplitudes indicam divergencia,
o procedimento usual e a introducao de algum tipo de modificacao que torne estas quantidades finitas. Estas modificacoes caracacterizam os metodos tradicionais de regularizacao.
Apos as operacoes terem sido efetuadas, utiliza-se algum tipo de limite de conexao para,
em princpio, remover o efeito das modificacoes e retornar `as determinacoes das regras de
Feynman. A fim de que as operacoes efetuadas na presenca da regularizacao nao alterem
o conte
udo das amplitudes, seria necessario que a operacao de integracao e a tomada do
limite comutassem; o que seguramente nao e verdade para as integrais divergentes. Assim,
as amplitudes regularizadas podem depender da regularizacao especfica e ate mesmo da
sequencia especfica de passos intermediarios.
No procedimento que utilizaremos (CPP), entretanto, estes problemas podem ser
evitados. Nesta abordagem, com o uso de identidades convenientes, reescreve-se os propagadores de modo que os termos divergentes possam ser separados daqueles finitos; e
de tal forma que nos termos divergentes nenhuma quantidade fsica esteja presente. Uma
identidade conveniente para estes propositos e [12].

(1)j (2ki k + ki2 + 2 m2i )

+
(k 2 2 )j+1
)
N +1
(1)N +1 (2ki k + ki2 + 2 m2i )
+
.


(k 2 2 )N +1 (k + ki )2 m2i

X
1
=
(k + ki )2 m2i
j=0

(1.21)

Aqui, N e o grau de divergencia da integral considerada. Os termos divergentes sao

19

naturalmente livres de momentos arbitrarios internos. Assumindo apenas a validade da

linearidade na operacao de integracao, as amplitudes entao sao escritas como uma soma
de integrais, de maneira que as integrais divergentes nao contem quantidades fsicas.
No presente trabalho, a dimensao escolhida e D=1+1, de modo que as integrais divergem
logaritmicamente. Logo, tomando N = 0 na equacao anterior e integrando nos momentos,
temos:

d2 k
1
+
2
(2) (k 2 2 )
Z
d2 k 2ki k + ki2 + 2 m2i
.


(2)2 (k 2 2 ) (k + ki )2 m2i

d2 k
1
=
2
(2) (k + ki )2 m2i

(1.22)

No lado direito da equacao, a divergencia e restrita a` primeira integral. Esta

depende apenas de um termo arbitrario 2 , que tem unidade de massa e desempenha um
papel de escala comum para os termos da soma.
Apos explicitar as amplitudes na linguagem do procedimento, mostraremos a impossibilidade de satisfazer as relacoes de simetria `as quais estao sujeitas as amplitudes,
materializadas em identidades de Ward e limites de baixa energia, quaisquer que sejam
as interpretacoes para as quantidades indefinidas (divergentes).
Em seguida, testaremos um novo conjunto de amplitudes, obtidos a partir das Regras de Feynman, que sao automaticamente livres de infinitos e ambiguidades, para as
quais verificaremos as relacoes de simetria e limites de baixa energia. Estas amplitudes
foram produzidas atraves de uma prescricao nova recentemente desenvolvida. Sera particularmente interessante verificar as consequencias desta prescricao para as amplitudes
axial-vetor (AV) e pseudo-escalar-vetor (PV) no que diz respeito a` anomalia axial, ou
seja, na situacao onde atraves da interpretacao tradicional e admitida a existencia de
uma inevitavel violacao em uma identidade de Ward relacionando tais amplitudes.

E CALCULO

CONSTRUC
AO
DAS AMPLITUDES

Apos a exposicao da metodologia de construcao das expressoes a serem calculadas, vamos aplicar o procedimento em um diagrama generico de um ponto com um loop
fermionico interno de momento k + ki e massa mi .
Para amplitudes de um ponto, conforme ja visto anteriormente, apos aplicarmos
as tres primeiras regras de Feynman obtemos:



1
.
t = T r N
6 k+ 6 ki mi
N

(2.1)

20

Observamos que o objeto matricial

1
6 k+ 6 ki mi
pode ser escrito como
6 k+ 6 ki + mi
,
(6 k+ 6 ki mi ) (6 k+ 6 ki + mi )
e entao , atraves da algebra das matrizes de Dirac, pode-se extrair o carater matricial do
denominador:
1
6 k+ 6 ki + mi
6 k+ 6 ki + mi
=
.
=
2
2
6 k+ 6 ki mi
Di
(k + ki ) mi
Aqui introduzimos a definicao
Di (k + ki )2 m2i

(2.2)

A expressao inicial se torna:



6 k+ 6 k1 + mi
t = T r N
(k + ki )2 m2i
(k + ki )
N
t =
T r (N ) +
Di
m1
T r (N ) .
+
Di
N

(2.3)

Os tracos envolvendo matrizes de Dirac sao facilmente obtidos, como se pode ver
em detalhes no apendice A.
Ao aplicar-se a u
ltima regra de Feynman (integracao nos momentos), obtemos
combinacoes lineares das seguintes integrais de Feynman:
Z
[I1 , I1 ] (ki, mi )

d2 k [1, k ]
.
(2)2 Di

(2.4)

A construcao de amplitudes de dois pontos e feita exatamente da mesma maneira.

Aplicando o mesmo processo a uma funcao generica de dois pontos, com propagadores
fermionicos internos Di e Dj , temos:

21

NM

tN M


6 k+ 6 ki + mi
6 k+ 6 kj + mj
= T r N
M
Di
Dj
1 h
(k + ki ) (k + kj ) T r (N M ) +
=
Dij
+ mi (k + kj ) T r (N M )
+ mj (k + ki ) T r (N M ) +
+mi mj T r (N M )] ,

(2.5)

onde usamos a notacao Dij = Di Dj .

Ao tomarmos a integracao no momento nao restrito, obteremos combinacoes lineares das integrais I1 e I1 , definidas acima, e tambem das seguintes:
Z
[I2 , I2 , I2 ] (ki, kj, mi , mj )

d2 k [1, k , k k ]
.
Dij
(2)2

(2.6)

O argumento destas integrais sera omitido a partir deste ponto, em nome da simplicidade.
facil ver, por contagem de potencias, que alguns destes objetos sao quantidades
E
divergentes. A saber: I2 e I1 divergem logaritmicamente, enquanto I1 diverge linearmente. Neste trabalho, o procedimento utilizado para lidar com estas divergencias ja
foi descrito anteriormente, e e conhecido na literatura como Calculo Perturbativo Preditivo (CPP). Atraves da introducao de um parametro arbitrario com dimensao de massa
(2 ), o CPP pressupoe apenas a propriedade geral da linearidade da integracao, e tem
a capacidade de separar as divergencias em objetos que nao dependem das quantidades
fsicas (momentos externos). Como exemplo, vamos aplicar o procedimento na integral
I1 (k1 , m1 ), que diverge logaritmicamente:
Z
I1 (k1 , m1 ) =

1
d2 k
.
2
(2) (k + k1 )2 m21

(2.7)

O CPP prescreve que reescrevamos o integrando de acordo com a identidade:

(1)j (2ki k + ki2 + 2 m2i )

+
(k 2 2 )j+1
)
N +1
(1)N +1 (2ki k + ki2 + 2 m2i )
+
.


(k 2 2 )N +1 (k + ki )2 m2i

X
1
=
(k + ki )2 m2i
j=0

onde N e o grau de divergencia. Escolhendo N = 0 no presente caso, temos:

(2.8)

22

d2 k
1
+
2 2
(2) k 2

d2 k 2k1 k + k12 + 2 m21



(2)2 (k 2 2 ) (k + ki )2 m2i

I1 (k1 , m1 ) =

)
.

(2.9)

Como ja citado, na equacao acima parte divergente (primeira integral) e totalmente

arbitraria e nao carrega nenhuma quantidade fsica. Definimos este objeto como:
2

Ilog

d2 k
1
.
2
(2) (k 2 2 )

(2.10)

Em outras integrais, com grau de divergencia linear, obtemos ainda um outro

objeto:
2

2k k
d2 k
g Ilog 2 .
2
2
(2) (k 2 2 )

(2.11)

Na dimensao D = 1 + 1 estes sao os u

nicos termos divergentes que precisam
ser definidos. Em dimensoes mais elevadas, existem objetos com graus de divergencias
superiores.
O primeiro objeto, Ilog , tem uma interessante propriedade a qual chamamos propriedade de escala:
Ilog

21

= Ilog

22

i
ln

21
22


.

(2.12)

Esta propriedade tem um papel fundamental na comparacao entre diferentes Funcoes

de Green a fim de verificar as relacoes de simetria da amplitude (o que sera feito posteriormente neste trabalho). Sempre e u
til ressaltar o carater arbitrario e nao-fsico destes
objetos divergentes, o que torna o CPP deveras u
til no sentido de aglomerar todas as
quantidades fsicas em objetos finitos.
Apos a separacao da amplitude inicial em uma parte divergente e arbitraria e uma
parte finita, temos que resolver as integrais finitas de acordo com procedimentos usuais de
Teoria Quantica de Campos: parametrizacao de Feynman e integracao dimensional nos
momentos (descritos nos apendices B e C, respectivamente)
Ja tendo descrito a maneira que construmos e lidamos com as amplitudes provenientes das regras de Feynman, o proximo passo e aplicar o procedimento descrito para o
calculo dos diagramas de interesse.

23

2.1

Func
oes de um ponto

Escolhendo o operador de vertice de acordo com os bosons da teoria construda

(escalar, pseudo-escalar, vetorial e axial), calculamos cada uma das quatro funcoes de um
ponto explicitamente.

2.1.1

Func
ao de um ponto escalar (S)

A funcao de um ponto escalar, denominada T S , e obtida fazendo N = 1 na

expressao (2.1). Aqui, o 1 tem carater tensorial e e a matriz identidade bidimensional. O
loop fermionico interno tem momento k+k1 e massa m1 , nesta funcao e em todas as outras
funcoes de um ponto consideradas. Apos a extracao do traco e algumas manipulacoes
algebricas, obtemos:
T S (k1, m1 ) = 2m1 I1 (k1, m1 ) .

(2.13)

A integral diverge logaritimicamente, de modo que o tratamento dado a ela ja foi

discutido na secao anterior. Deste modo, separamos a parte divergente, e a parte finita
pode ser resolvida com procedimentos usuais. O calculo de I1 , assim como dos outros
objetos semelhantes (que aqui chamamos de Integrais de Feynman) esta explicitado no
apendice D.
Apos todo o procedimento, o resultado final e:


T (k1 , m1 ) = 2m1 Ilog

i
ln

m21
2


.

(2.14)

Utilizando a propriedade de escala (2.12), tambem podemos escrever:

T S (k1 , m1 ) = 2m1 Ilog m21 .

2.1.2

(2.15)

Func
ao de um ponto pseudo-escalar (P)

Usando a matriz 3 como operador de vertice, obtemos a funcao pseudo-escalar.

Substituindo na expressao (2.3), temos:
tP =

(k + k1 )
m1
T r (3 ) +
T r (3 ) .
D1
D1

(2.16)

24

A expressao e identicamente nula devido a`s propriedades dos tracos das matrizes
de Dirac:
Z

T (k1, m1 ) =

2.1.3

d2 k  P 
t = 0.
(2)2

(2.17)

Func
ao de um ponto vetorial (V)

Usando um vertice vetorial, , obtemos a funcao de um ponto vetorial:

TV (k1, m1 ) = 2 [I1 (k1, m1 ) + k1 I1 (k1, m1 )] .

(2.18)

Apos usar os procedimentos ja descritos, chegamos ao resultado:

TV (k1, m1 ) = 2k1 2 .

(2.19)

Como no caso de T S , esta funcao e proporcional a um dos objetos divergentes

definidos. Mais ainda do que naquele caso, a arbitrariedade desta funcao e patente,
representada pelo momento interno k1 . Como dito anteriormente, os rotulos internos dos
momentos fermionicos nao tem significado fsico, mas apenas sua diferenca q = k1 k2 (no
caso de dois propagadores internos). Aqui nos deparamos com um dos usuais problemas
da TQC, especialmente em dimensoes mais altas: as ambiguidades.

2.1.4

Func
ao de um ponto axial (A)

Com N = 3 , temos:
TA (k1, m1 ) = 2 [I1 (k1, m1 ) + k1 I1 (k1, m1 )] .

(2.20)

Apos resolvidas as integrais:

TA (k1, m1 ) = 2 k1 2 .

(2.21)

Logo nota-se que esta amplitude esta relacionada com a TV da seguinte maneira:
 
TA = T V .

(2.22)

25

2.2

Func
oes de dois pontos

Podemos agora analisar as funcoes de dois pontos, utilizando o mesmo procedimento. Os propagadores fermionicos internos tem momento k + k1 e k + k2 , e massas m1
e m2 . Convencionamos o momento externo como q = k1 k2 .

2.2.1

Func
ao de dois pontos escalar-escalar(SS)

Substituindo ambos N e M por 1 na expressao (2.5) , temos:

SS


6 k+ 6 k1 + m1 6 k+ 6 k2 + m2
= Tr
D1
D2
 2

1
1
1
= q (m1 + m2 )2
+
+
,
D12 D1 D2

(2.23)

que gera a funcao de dois pontos escalar-escalar T SS :



T SS = q 2 (m1 + m2 )2 I2 + I1 (k1 , m1 ) + I1 (k2 , m2 ) .

(2.24)

Apos resolvermos as integrais, o resultado e:




i  2
q (m1 + m2 )2 0 m21 , m22 , q 2 ; m21 +
(4)




+ Ilog m21 + Ilog m22 .

T SS =

(2.25)

Novamente, ve-se que a parte divergente esta separada nos objetos anteriormente
definidos. Aqui introduzimos a definicao de uma classe de funcoes finitas definidas em
representacoes integrais:
k

m21 ; q 2 , m22

z k dz
,
Q (z; m21 , m22 , q 2 ; m21 )

(2.26)

sendo Q uma funcao polinomial em z definida como:

Q z; m21 , m22 , q 2 ; m21 q 2 z (1 z) + m21 m22 z m21 .

(2.27)

O argumento das funcoes k e Q serao omitidos para nao sobrecarregar a notacao.

26

A organizacao da parte finita das amplitudes em funcoes k e extremamente u

til
por padronizar todos os resultados, permitindo assim a clara comparacao entre diferentes
amplitudes. As funcoes k , assim, nao necessitam ser resolvidas para cada problema
individual, ainda que isso possa ser feito facilmente.
A padronizacao dos resultados com a ajuda destas funcoes fica ainda mais evidente
quando se considera que ha relacoes entre as mesmas, podendo todas, em u
ltima instancia,
serem reduzidas a` funcao mais basica 0 . No presente trabalho, apenas as funcoes 0, 1
e 2 sao necessarias para representar o resultado das amplitudes estudadas, e estas se
relacionam segundo as identidades:

q 2 [2 1 ] = m21 m22 1 m21 0 1
 2


m1
2
2
2
q [21 0 ] = m1 m2 0 + ln
m22

2.2.2

(2.28)
(2.29)

Func
ao de dois pontos escalar-pseudo-escalar(SP)

A funcao T SP e:
n
h i
o
T SP = 2 k1 k2 [I2 ] + k1 I2 + k2 [I2 ]

(2.30)

Em amplitudes com dois tipos de vertice, e importante construir uma nova amplitude com os vertices permutados, a fim de estudar o comportamento da amplitude frente
a essa permutacao. A relacao entre as duas amplitudes pode ser observada logo apos a
extracao dos tracos. Neste caso especfico:
t

SP

PS

6 k+ 6 k1 + m1 6 k+ 6 k2 + m2
= Tr
3
D1
D2


6 k+ 6 k1 + m1 6 k+ 6 k2 + m2
= T r 3
.
D1
D2

(2.31)

(2.32)

Observa-se a seguinte relacao:

T P S = T SP .

(2.33)

A troca de sinal vem da propriedade anticomutativa da matriz 3 :

{3 , } = 0.

(2.34)

27
Ao resolver T SP , observou-se que, devido a` antissimetria do tensor , o resultado
e nulo:
T P S = T SP = 0.

2.2.3

(2.35)

Func
ao de dois pontos escalar-vetorial (SV)

A Funcao de Green para a amplitude TSV e:

TSV = 2 [(m1 + m2 ) I2 + (m1 k2 + m2 k1 ) I2 ] .

(2.36)

Na etapa da extracao dos tracos, pode-se notar que a permutacao de operadores

de vertice nao muda o resultado:
TSV = TV S .

(2.37)

O resultado final da amplitude calculada e:

TSV = 2

2.2.4

i
q [(m1 + m2 ) 1 m1 0 ] .
(4)

(2.38)

Func
ao de dois pontos escalar-axial (SA)

Analogamente, temos a funcao TSA :

TSA = 2 [(m1 + m2 ) I2 + (m1 k2 + m2 k1 ) I2 ] .

(2.39)

Logo nota-se que ela esta relacionada com TSV , ja calculada, por:


TSA = T SV ;

(2.40)

e mantem a mesma propriedade com relacao `a troca de vertices:

TSA = TAS .

(2.41)

O resultado explcito e:
TSA = 2

i
q [(m1 + m2 ) 1 m1 0 ] .
(4)

(2.42)

28

2.2.5

Func
ao de dois pontos pseudo-escalar-pseudo-escalar (PP)

A amplitude T P P e:


T P P = q 2 (m1 m2 )2 I2 I1 (k1 , m1 ) I1 (k2 , m2 ) ,

(2.43)

que apos resolvida, gera a expressao:

T PP =

2.2.6






i  2
q (m1 m2 )2 0 Ilog m21 Ilog m22
(4)

(2.44)

Func
ao de dois pontos pseudo-escalar-vetorial (PV)

A amplitude TP V e:
TP V = 2 {(m2 m1 ) I2 + (m2 k1 m1 k2 ) I2 } ,

(2.45)

com resultado
TP V = 2

i
q [(m1 m2 ) 1 m1 0 ] .
(4)

(2.46)

Ela se relaciona com TV P por uma troca de sinal:

TP V = TV P .

2.2.7

(2.47)

Func
ao de dois pontos pseudo-escalar-axial (PA)

No caso de PA temos:
TP A = 2 [(m2 m1 ) I2 + (m2 k1 m1 k2 ) I2 ]
TP A = 2

i
q [(m1 m2 ) 1 m1 0 ] .
(4)

(2.48)

(2.49)

Notamos que ha uma relacao desta amplitude com a pseudo-escalar-vetorial:

29



TP V = T P A .

(2.50)

Ela tambem mantem a propriedade:

TAP = TP A .

2.2.8

(2.51)

Func
ao de dois pontos vetorial-vetorial (VV)

VV
A construcao da amplitude T
e interessante pelo fato de que, antes mesmo da
integracao, surgirem subestruturas internas. Apos a aplicacao das regras de Feynman, e
com uma adequada manipulacao algebrica, chegamos a:

PP
tVV = t(+)
.
+ g t

(2.52)

Aqui, introduzimos a definicao:

t()
2

(k + k1 ) (k + k2 ) (k + k1 ) (k + k2 )
.
D12

(2.53)

Deste modo, ao integrarmos, identificamos a amplitude T P P (ja calculada) e o

R d2 k (+)
(+)
AA
, como veremos a
tensor T = (2)
ltimo tambem aparece na funcao T
2 t . Este u
seguir, e, apos alguma manipulacao, tem a seguinte forma:
(+)
T
= 4 [I2 ] + 2Q [I2 ] + 2Q [I2 ] + 2 (k1 k2 + k1 k2 ) [I2 ] .

(2.54)

Aqui, a quantidade Q = k1 + k2 e ambgua, como ja foi ressaltado anteriormente.

(+)
Apos resolvidas as integrais, o objeto T tem valor:

(+)
T

4k k
i
d2 k
=
ln
2
2 2g
2
2
(4)
(2) (k )


i
+4
q q g q 2 [2 1 ] +
(4)



i
2g
q 2 m21 m22 [1 ] .
(4)
Z

m22
2


+

(2.55)

VV
Substituindo este resultado e o ja calculado T P P na expressao para T
, temos:

30

VV
T

= 2

 2
i
m1
+
+
g ln
(4)
m22


q q g q 2 [2 1 ] +
2

i
(4)



i
2
g q 2 m21 m22 [1 ] +
(4)


i
+
g q 2 (m1 m2 )2 [0 ] ,
(4)

+4

(2.56)

que pode ser manipulado com a relacao (2.29) para escrever 1 em termos de 0 . Apos
algumas operacoes algebricas, chegamos um resultado compacto:

VV
T
= 2 2 +


i
q q g q 2 [2 1 ]
+4
(4)
i
+2
g (m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

2.2.9

(2.57)

Func
ao de dois pontos axial-axial (AA)

AA
Ao construir a amplitude T
tambem identificamos subestruturas:

AA
(+)
T
= T
g T SS .

(2.58)

Apos a solucao, temos:

AA
T

= 2

 2
i
m1
+
g ln
+
(4)
m22


q q g q 2 [2 1 ] +
2

i
(4)



i
2
g q 2 m21 m22 [1 ] +
(4)


i
+
g q 2 (m1 + m2 )2 [0 ] ,
(4)

+4

que, analogamente ao caso anterior, pode ser reduzida a:

(2.59)

31

AA
T
= 2 2


i
+4
q q g q 2 [2 1 ] +
(4)
i
+2
g (m1 + m2 ) [(m1 m2 ) 1 m1 0 ] .
(4)

2.2.10

(2.60)

Func
ao de dois pontos axial-vetorial (AV)

A amplitude axial-vetorial e composta pelas subestuturas:

tAV
=


1 
SP
()
tP P .
t(+)
+ t g t
D12

(2.61)

Todos os objetos ja foram calculados explicitamente, com excecao do tensor:

()
T



(q Q q Q )
= 2 q [I2 ] q [I2 ] +
[I2 ] .
2

(2.62)

Apos calculado, o tensor revela-se identicamente nulo. Como o valor de T SP

tambem e nulo, a amplitude se reduz a:



AV
T
= T (+) T P P
n
o

= T (+) + g T P P .

(2.63)

VV
Comparando com T
, podemos ver que



AV
T
= T V V .

(2.64)

Desta maneira, a amplitude AV e:

AV
T
= 2 2 +


i
q q g q 2 [2 1 ] +
4
(4)
i
2
(m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

(2.65)

32

Isto encerra o calculo explcito das amplitudes. Como podemos ver, aplicacao do
CPP permitiu uma representacao padronizada das divergencias atraves dos objetos Ilog e
. Nossa abordagem tambem permitiu que escrevessemos a parte finita das amplitudes
em termos das funcoes k , nos deixando com resultados claros e elegantes. Nossos calculos
nao passaram por nenhum tipo de regularizacao para tratar as divergencias, de modo que
as arbitrariedades estao preservadas nas formas explcitas.
Nosso proximo passo e verificar a consistencia das amplitudes calculadas com
relacao a certas simetrias da teoria construda: as identidades de Ward e os limites de
baixa energia.

RELAC
OES
DE SIMETRIA

No estudo de campos classicos sabe-se que o teorema de Noether prova que certas
transformacoes que nao alteram a lagrangiana, chamadas simetrias, geram uma corrente
conservada atraves de uma equacao de continuidade. O exemplo mais comum disto e
a conservacao do quadrimomento, proveniente da invariancia da Lagrangiana frente a
translacoes espaco-temporais.
Alem destas transformacoes externas, relativas `as propriedades do espaco-tempo,
em algumas teorias a lagrangiana se mantem invariante frente uma transformacao de fase
do campo, chamada de transformacao de gauge:
0

= ei .

(3.1)

Se o parametro for constante, temos uma simetria de gauge global. Se for uma
funcao da posicao, (x) , e simetria de gauge local.
Como exemplo de simetria de gauge global, podemos citar a lagrangiana do campo
de Schrodinger (que gera a equacao de Schrodinger). Sua invariancia de gauge dita a
conservacao da densidade de probabilidade.
Em TQC ha um equivalente quantico do teorema de Noether, que gera as chamadas Identidades de Ward. Estas identidades refletem as simetrias implementadas na
construcao da teoria. Este e um importante teste de consistencia da teoria, pois se as
amplitudes nao puderem obedecer `as simetrias implementadas, a teoria nao e renormalizavel. Outro importante teste de consistencia e o comportamento das funcoes no limite
de baixa energia (q 2 = 0).
Antes porem, de considerar as relacoes de simetria da teoria, podemos deduzir uma
propriedade mais geral das amplitudes, que nos chamamos de Relacoes entre Funcoes de
Green.

33

3.1

Relac
oes entre func
oes de Green

Um conjunto de manipulacoes algebricas feitas nas amplitudes recem construdas

nos revela que as diferentes amplitudes estao relacionadas por identidades. Consideremos
o seguinte objeto:
q


1
1

,
6 k+ 6 k1 m1 6 k+ 6 k2 m2

(3.2)

que e a contracao do momento externo q = k1 k2 com a estrutura para o diagrama SV,

antes da extracao dos tracos. Ao reescrevermos o tensor 6 q da seguinte maneira:
6 q =6 k1 6 k2 = (6 k1 + 6 k m1 ) (6 k2 + 6 k m2 ) + (m1 m2 ) ,
e apos algumas manipulacoes algebricas, chegamos ao resultado:


1
1
1
1

6 k+ 6 k1 m1 6 k+ 6 k2 m2
6 k+ 6 k2 m2 6 k+ 6 k1 m1
1
1
.
+ (m1 m2 )
6 k+ 6 k1 m1 6 k+ 6 k2 m2

(3.3)

Ao extrairmos o traco e integrarmos nos momentos, pode-se ver facilmente que

surge a seguinte relacao:
S
S
SS
q tSV
= t (k2 , m2 ) t (k1 , m1 ) + (m1 m2 ) t .

A integracao no momento gera entao, uma relacao entre tres diferentes funcoes de
Green:
q TSV = T S (k2 , m2 ) T S (k1 , m1 ) + (m1 m2 ) T SS .

(3.4)

Esta identidade nao pressupoe nada a nao ser simples propriedades das ferramentas
matematicas utilizadas, como linearidade da integracao, linearidade da operacao do traco
e a algebra das matrizes de Dirac. As amplitudes calculadas devem obedever tal relacao
a fim de comprovar que nenhuma operacao ilcita foi realizada durante os calculos.
De maneira analoga, pode-se construir relacoes para as outras amplitudes. Ao
contrair com o ndice vetorial, verificamos as seguintes relacoes:

34

q TSV = T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 m2 ) T SS

(3.5)

q TV S = T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 m2 ) T SS

(3.6)

q TP V = T P (k1 , m1 ) + T P (k2 , m2 ) + (m1 m2 ) T P S

(3.7)

q TV P = T P (k1 , m1 ) + T P (k2 , m2 ) + (m1 m2 ) T SP

(3.8)

VV
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) + (m1 m2 ) TSV

(3.9)

VV
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) + (m1 m2 ) TV S

(3.10)

AV
q T
= TA (k1 , m1 ) + TA (k2 , m2 ) + (m1 m2 ) TAS .

(3.11)

E ao contrair com o ndice axial, chegamos a:

3.1.1

q TSA = T P (k1 , m1 ) + T P (k2 , m2 ) + (m1 + m2 ) T SP

(3.12)

q TAS = T P (k1 , m1 ) T P (k2 , m2 ) (m1 + m2 ) T P S

(3.13)

q TP A = T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 + m2 ) T P P

(3.14)

q TAP = T S (k1 , m1 ) T S (k2 , m2 ) (m1 + m2 ) T P P

(3.15)

AA
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) (m1 + m2 ) TP A

(3.16)

AA
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) + (m1 + m2 ) TAP

(3.17)

AV
q T
= TA (k1 , m1 ) + TA (k2 , m2 ) (m1 + m2 ) TP V

(3.18)

Contraco
es com o ndice vetorial

Podemos verificar explicitamente, comecando com TSV , que foi calculada no captulo
anterior. Contraindo com o momento externo, temos:
TSV = 2

i
q [(m1 + m2 ) 1 m1 0 ] ,
(4)

(3.19)

que atraves da identidade (2.29) entre as funcoes , pode ser reduzido a:

TSV

 2
i
m1
=
(m1 + m2 ) ln
+
(4)
m22


i

(m1 m2 ) q 2 (m1 + m2 )2 0 .
(4)

Este valor deve obedecer a` primeira relacao entre funcoes de Green:

(3.20)

35

q TSV = T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 m2 ) T SS .

(3.21)

Tomemos entao es expressoes para as amplitudes S e SS:

T S (k1 , m1 ) = 2m1 Ilog m21

i  2
q (m1 + m2 )2 0
T SS =
(4)




+ Ilog m21 + Ilog m22

(3.22)




i  2
q (m1 + m2 )2 0 m21 , m22 , q 2 ; m21
(4)




+ Ilog m21 + Ilog m22 .

(3.23)

T SS =

Inserindo o resultado das amplitudes em (3.21), e apos algumas manipulacoes

algebricas, temos:






T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 m2 ) T SS = (m1 + m2 ) Ilog m22 Ilog m21 +


i
(m1 m2 ) q 2 (m1 + m2 )2 0 . (3.24)

(4)
interessante notar que, enquanto q T SV tem um valor finito, o mesmo parece
E

nao acontecer para o lado direito da identidade (3.21), que carrega objetos divergentes.
Porem, se observarmos a propriedade de escala do objeto Ilog :
Ilog

m22

Ilog

m21

i
=
ln
4

m21
m22


,

(3.25)

chegamos ao resultado final finito:

 2
i
m1
T (k1 , m1 ) + T (k2 , m2 ) + (m1 m2 ) T = (m1 + m2 )
ln
4
m22


i

(m1 m2 ) q 2 (m1 + m2 )2 0 .
(4)
S

SS

(3.26)

que e identico ao resultado (3.20), verificando entao a validade da identidade estabelecida

36

no incio do captulo. A manutencao da identidade mostra que as nenhum passo ilcito foi
realizado nos nosso calculos, e que a linearidade da operacao de integracao foi mantida.
A segunda relacao da lista, a respeito da contracao do momento externo com TV S ,
tambem e satisfeita. Basta notar que (3.6) pode ser reduzida a (3.5) se lembrarmos que
TV S = TSV . Desta maneira, a verificacao da primeira basta para assegurar a validade da
segunda.
A proxima relacao entre funcoes de Green a ser verificada e a da contracao com a
amplitude PV:
q TP V = T P (k1 , m1 ) + T P (k2 , m2 ) + (m1 m2 ) T P S .

(3.27)

Observando o valor da amplitude

TP V = 2

i
q [(m1 m2 ) 1 m1 0 ] ,
(4)

(3.28)

notamos que a contracao leva a um resultado nulo pelo propriedade de antissimetria do

tensor . O valor das amplitudes T P e T P S tambem sao identicamente nulos segundo
nossos calculos. A relacao e, entao satisfeita.
A propriedade analoga para o tensor de vertices trocados
q TV P = T P (k1 , m1 ) + T P (k2 , m2 ) + (m1 m2 ) T SP

(3.29)

tambem e satisfeita, se notarmos que TP V = TV P = 0 e T SP = T P S = 0.

Para a amplitude VV, conhecida como tensor de polarizacao do vacuo, estabelecemos:
VV
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) + (m1 m2 ) TSV .

(3.30)

O valor da amplitude VV e:

i
VV
q q g q 2 [2 1 ]
T
= 2 2 + 4
(4)
i
+2
g (m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.31)

Ao contrair com o momento externo q , o termo proporcional a [2 1 ] e anulado,

e ficamos com o resultado

37

VV
q T
= 2q 2 +
i
+2
q (m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.32)

Quanto ao lado direito da identidade, os valores das amplitudes sao:

TV (ki , mi ) = 2ki 2
TSV = 2

(3.33)

i
q [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.34)

Podemos notar que

TV (k1 , m1 ) + TV (k2 , m2 ) = 2 (k1 + k2 ) 2

= 2q 2 .

(3.35)

Comparando (3.35), (3.34) e (3.32) com (3.30), vemos que a relacao estabelecida
antes da integracao ainda e valida apos o calculo explcito das amplitudes. Para vertices
permutados, a relacao tambem e verificada pelo fato de que a permutacao nao altera o
valor de nenhuma amplitude envolvida:

VV
VV
T
= T

(3.36)

TSV = TV S .

(3.37)

AV
Au
ltima contracao com ndice vetorial a se fazer e com a amplitude T
, que gera
a relacao

AV
q T
= TA (k1 , m1 ) + TA (k2 , m2 ) + (m1 m2 ) TAS .

(3.38)

Na verdade, nao e necessario fazer a verificacao explcita se notarmos que as amplitudes envolvidas tem as seguintes propriedades:

38



AV
T
= T V V


TAS = T SV
 
TA = T V .

(3.39)
(3.40)
(3.41)

Deste modo, a equacao se reduz a:

VV
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) + (m1 m2 ) TSV ,

(3.42)

que e uma identidade que ja foi verificada.

3.1.2

Contraco
es com o ndice axial

Agora nos concentramos na contracao do momento externo com o ndice axial das
diversas amplitudes estudadas. Comecando com a identidade (3.12):
q TSA = T P (k1 , m1 ) + T P (k2 , m2 ) + (m1 + m2 ) T SP .

(3.43)

Usando o resultado encontrado para SA temos:

TSA = 2

i
q [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.44)

Como no caso da amplitude PV, a contracao com o momento q gerara um resultado nulo pela anti-simetria do tensor . Isto, e o fato de que T SP = T P = 0, nos diz
que a identidade e verificada. A propriedade TSA = TAS nos garante que a identidade
para a amplitude com vertices permutados tambem e valida.
Passemos entao a` relacao
q TP A = T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 + m2 ) T P P .

(3.45)

Sabemos que:
TP A = 2

i
q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.46)

Contraindo com o momento, e reduzindo 1 em termos de 0 , chegamos ao resultado:

39

TP A

 2
i
m1
=
+
(m1 m2 ) ln
(4)
m22


i
+
(m1 + m2 ) q 2 (m1 m2 )2 0 .
(4)

(3.47)

Como no caso da amplitude SV, chegamos a um resultado finito para o lado esquerdo da equacao, enquanto do lado direito parece haver quantidades divergentes:
T PP =






i  2
q (m1 m2 )2 0 Ilog m21 Ilog m22
(4)



T S (ki , mi ) = 2mi Ilog m2i .

(3.48)

(3.49)

Atraves da propriedade de escala de Ilog chegamos a :



i
(m1 + m2 ) q 2 (m1 m2 )2 0
(4)
 2
m1
i
,
(3.50)
(m1 m2 ) ln

4
m22

T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 + m2 ) T P P =

que coincide com o valor de q TAP , como queramos demonstrar. A contracao com TP A
tambem e satisfeita, ao notarmos que TP A = TAP .
Para a amplitude AA, temos:
AA
q T
= TV (k1 , m1 ) + TV (k2 , m2 ) (m1 + m2 ) TP A .

(3.51)

Contraindo a expressao de AA com o momento externo, ficamos com:

i
AA
q T
= 2q 2 + 2
q (m1 + m2 ) [(m1 m2 ) 1 m1 0 ] .
(4)

(3.52)

Comparamos entao com:

TV (ki , mi ) = 2ki 2

(3.53)

40

TP A = 2

i
q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.54)

Vemos que a propriedade e satisfeita. A contracao com o segundo ndice axial

AA
= TV (k1 , m1 ) + TV (k2 , m2 ) + (m1 + m2 ) TAP
q T

(3.55)

ltima relacao entre funcoes de

tambem e satisfeita se notarmos que TAP = TP A . A u
AV
Green a ser verificada e a contracao de T pelo com o ndice axial:
AV
q T
= TA (k1 , m1 ) + TA (k2 , m2 ) (m1 + m2 ) TP V .

(3.56)

O valor de AV e:

i
AV
T
= 2 2 4
q q g q 2 [2 1 ] +
(4)
i
(m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
2
(4)

(3.57)

A contracao e algumas operacoes algebricas (que incluem a conhecida relacao entre

funcoes k ) levam a:

i
AV
q T
= 2 q 2 q
+
()
i
+ 2 (m1 + m2 )
q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.58)

Neste momento, e conveniente reescrever o termo (2 ) por motivos que ficarao claros a seguir. Para fazer isto, usamos uma identidade geral entre tensores, que
advem apenas da anti-simetria do tensor :
T + T + T = 0.

(3.59)

Aplicando ao caso de temos:

= + .

(3.60)

41
AV
Isto modifica o resultado encontrado para q T
:





i
AV
+
q T
= 2q 2 + 2 q
()


i

(m1 + m2 )
2q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.61)

Notem aqui que o objeto (2 ) e o traco do objeto (2 )

Voltando a` identidade, do lado direito temos:

TA (k1 , m1 ) + TA (k2 , m2 ) = 2 k1 2 + 2 k2 2


= 2 q 2 ,

(3.62)

(m1 + m2 ) TP V = 2

i
(m1 + m2 ) q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.63)

Com estes resultados em vista, podemos facilmente notar que a relacao entre
funcoes de Green so pode ser satisfeita se:
2q q

i
= 0,
()

(3.64)

ou seja:
=

i
.
2

(3.65)

Em outras palavras, tal relacao ser verdadeira nos garante que a relacao entre
as funcoes de Green foi satisfeita explicitamente; o que por sua vez nos garante que a
linearidade da operacao de integracao nao foi violada no calculo das amplitudes (
unica
propriedade que supusemos para construir as relacoes).
Para verificar (3.65), vamo calcular explicitamente o valor de . Segundo as
definicoes dos objetos divergentes, e notando que g = g g = 2 (na dimensao D=1+1),
temos:

42

Z
d2 k
2k k
d2 k
1

=
2
2 g
2
2
2
2
(2) (k )
(2) (k 2 )
Z

d2 k k 2 (k 2 2 )
=2
(2)2 (k 2 2 )2

Z
2
d2 k
,
=2
(2)2 (k 2 2 )2
Z

(3.66)

que e uma integral finita. Usando o resultado (C-5) do apendice C, chegamos a

= 2
=

i
1
4 (2 )

i
;
2

(3.67)

o que confirma que a identidade (3.18) foi satisfeita, e nao realizamos nenhuma operacao
ilcita na resolucao das amplitudes.
Podemos agora verificar as relacoes de simetria implementadas na teoria.

3.2

Identidades de Ward

Como ja citamos anteriormente, as simetrias implementadas na teoria devem gerar

certas correntes conservadas atraves do Teorema de Noether. A invariancia de gauge da
Eletrodinamica Quantica, por exemplo, dita a conservacao da corrente vetorial. No nosso
modelo considerado, a presenca de varios campos interagente nao permite que as correntes
sejam conservadas. Ao inves, gera certas de relacoes entre as mesmas, conhecidas como
Identidades de Ward:

q V = (m1 m2 ) S

(3.68)

q A = (m1 + m2 ) P.

(3.69)

onde V e a corrente vetorial, S escalar, A axial e P pseudo-escalar. Basicamente, o divergente da corrente vetorial e proporcional `a escalar, e o divergente da axial e proporcional
a` pseudo-escalar. Esta e uma exigencia ditada pela forma dos campos interagentes, e
representa uma simetria da teoria. Uma violacao inevitavel de uma identidade de Ward
e chamada anomalia. A presenca de anomalias na teoria faz com que esta nao seja renormalizavel, e o poder de predicao so sera estabelecido se um mecanismo de cancelamento

43

de anomalias foi usado. Foi um mecanismo desse tipo que permitiu que o Modelo Padrao
fosse construdo, e que fosse estabelecido a quantidade exata de partculas fundamentais
no nosso universo.
Devemos agora verificar explicitamente as identidades de Ward para cada amplitude passvel de ser contrada com o momento externo.

3.2.1

Contraco
es com o ndice vetorial

Contracao de SV

A primeira identidade de Ward a ser verificada por nos sera a contracao da amplitude SV com momento externo, que deve gerar:
q TSV = (m1 m2 ) TSS .

(3.70)

Introduzimos aqui a notacao T para denotar amplitudes consistentes, ou seja:

importante fazer
amplitudes que obedecem as identidades de Ward correspondentes. E
esta diferenciacao, pois nao ha nenhuma garantia que as amplitudes por nos calculadas
obedecam tais relacoes (e isto mesmo que desejamos verificar)
Lembremos que a relacao entre funcoes de Green para a mesma contracao nos
forneceu:
q TSV = T S (k1 , m1 ) + T S (k2 , m2 ) + (m1 m2 ) T SS .

(3.71)

Desta maneira, e necessario que o termo T S (k1 , m1 ) + T S (k2 , m2 ) seja nulo

para que as amplitudes conservem as simetrias implementadas e a teoria tenha poder
de predicao. Substituindo T S por seu valor explcito, temos :
T S (k1 , m1 ) + T S (k2 , m2 ) = 0,

(3.72)

m2 Ilog m22 m1 Ilog m21 = 0.

(3.73)

ou entao:

Este tipo de relacao, que e exigida para que a amplitude seja consistente com
as simetrias implementadas, e chamada por nos de relacao de consistencia. Podemos
verificar a identidade de Ward explicitamente nas amplitude ja calculadas. Os resultados
calculados anteriormente geram:

44

TSV

 2
i
m1
=
+
(m1 + m2 ) ln
(4)
m22


i

(m1 m2 ) q 2 (m1 + m2 )2 0
(4)

(3.74)






(m1 m2 ) T SS = (m1 m2 ) Ilog m21 + Ilog m22


i

(m1 m2 ) q 2 (m1 + m2 )2 0 .
(4)

(3.75)

Comparando os dois resultados, podemos ver que para que a relacao (3.70) seja
satisfeita precisamos ainda supor outra relacao:
i
(m1 + m2 ) ln
(4)

m21
m22






= (m1 m2 ) Ilog m21 + Ilog m22

(3.76)

Esta relacao pode ser manipulada algebricamente levando em conta a propriedade

de escala do objeto Ilog :
i
(m1 + m2 ) ln
(4)

m21
m22






= (m1 m2 ) Ilog m21 + Ilog m22 ,

ou ainda:


m1

i
ln
(4)

m21
m22


Ilog

m22




+ m2

i
ln

(4)

m22
m21


+ Ilog

m21


=

= m1 Ilog m21 m2 Ilog m22 .
Assim:









m1 Ilog m21 m2 Ilog m22 = m1 Ilog m21 m2 Ilog m22 ,

que nos leva a

m2 Ilog m22 m1 Ilog m21 = 0,
que e a mesma relacao de consistencia que encontramos anteriormente. Portanto, e necessario e suficiente que a relacao de consistencia (3.73) seja implementada para que as
as amplitude SV e SS obedecam a` identidade de Ward correspondente.

45

A possibilidade das relacoes de consistencia serem verdadeiras ou nao sera discutida

em seguida. Por enquanto, ficamos satisfeitos notando que se tal relacao nao for satisfeita,
as simetrias sao violadas e o poder de predicao da teoria fica comprometido.

Contracao de PV

Para a amplitude PV, a identidade de Ward exige que

q TP V = (m1 m2 ) TP S .

(3.77)

De maneira que, comparando com a relacao entre funcoes de Green correspondente,

necessitamos que:
T P (k1 , m1 ) + T P (k2 , m2 ) = 0.

TP

(3.78)

Esta exigencia e automaticamente satisfeita ao lembrarmos que, explicitamente,

= 0.

Contracao de VV

Para a amplitude VV, exigimos que:

VV
q T
= (m1 m2 ) TSV .

(3.79)

Tendo em vista a relacao entre funcoes de Green (3.9), e necessario que

TV (k1 , m1 ) + TV (k2 , m2 ) = 0

(3.80)

2q 2 = 0.

(3.81)

ou ainda:

Como q e uma quantidade fsica definida e pode ser nao nula, temos que a relacao
de consistencia e:


2 = 0.

(3.82)

46

A partir do resultado explcito de VV, pode-se a incorporar a relacao acima e obter

uma amplitude consistente:

i
4 q q g q 2 [2 1 ]
(4)
i
+2
g (m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

VV
T
=

(3.83)

VV
Precisamos verificar explicitamente se a amplitudes T
e TSV obedecem a` identidade de Ward. Com o valor explcito das amplitudes ja calculado anteriormente, chegamos
aos seguintes resultados:

VV
q T
=2

i
q (m1 m2 ) [(m1 + m2 ) 1 m1 0 ]
(4)

TSV = 2

i
q [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.84)

(3.85)

Como podemos notar, a identidade de Ward e satisfeita.

Contracao de AV (ndice vetorial)

A contracao do ndice vetorial da amplitude AV deve gerar a seguinte identidade

de Ward:
AV
q T
= (m1 m2 ) TAS .

(3.86)

Assim, comparando com as relacoes entre funcoes de Green ja calculadas, e necessario que as amplitudes de um ponto satisfacam:
TA (k1 , m1 ) + TA (k2 , m2 ) = 0.

(3.87)

Se lembrarmos que TA (k1, m1 ) = 2 k1 (2 ) , a condicao e plenamente satisfeita adotando a mesma relacao de consistencia do caso VV:


2 = 0.
A amplitude consistente e, entao:

(3.88)

47

i
AV
T
= 4
q q g q 2 [2 1 ]
(4)
i
2
(m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.89)

AV
, temos:
Vamos verificar (3.86). Contraindo q com T

AV
q T
= 2

i
q (m1 m2 ) [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.90)

Observando que o valor explcito de TAS e:

TAS = 2

i
q [(m1 + m2 ) 1 m1 0 ] ,
(4)

(3.91)

vemos que a identidade de Ward para a contracao vetorial de AV e satisfeita explicitamente.

3.2.2

Contraco
es com o ndice axial

Contracao de SA

Passemos agora `as identidades de Ward relativas `a contracao com o ndice axial.
A primeira delas e:
q TSA = (m1 + m2 ) TSP .

(3.92)

Comparando com a relacao entre funcao de Green correspondente, e necessario

que:
T P (k1 , m1 ) + T P (k2 , m2 ) = 0.

(3.93)

A relacao e automaticamente satisfeita, pois, explicitamente, T P (ki , mi ) = 0.

Contracao de PA

A contracao do momento externo com a amplitude PA deve gerar:

48

q TP A = (m1 + m2 ) TP P .

(3.94)

De modo que e exigido que:

T S (k1 , m1 ) + T S (k2 , m2 ) = 0.

(3.95)

Atraves do calculo explcito, o resultado da soma das amplitudes e:

T S (k1 , m1 ) + T S (k2 , m2 ) = 2m1 Ilog m21 + 2m2 Ilog m22 .

(3.96)

Se quisermos satisfazer a identidade de Ward, portanto, devemos postular a seguinte relacao de consistencia:




m1 Ilog m21 + m2 Ilog m22 = 0.

(3.97)

Exigir que T S (k1 , m1 ) + T S (k2 , m2 ) seja nulo na relacao entre funcoes de Green
garante que (3.94) seja satisfeita.
Tomando as funcoes explicitamente em (3.94), temos:

TP A

 2
m1
i
(m1 m2 ) ln
+
=
(4)
m22


i
+
(m1 + m2 ) q 2 (m1 m2 )2 0
(4)

(3.98)
(3.99)



i
(m1 + m2 ) q 2 (m1 m2 )2 0 +
(4)





(m1 + m2 ) Ilog m21 + Ilog m22 .

(m1 + m2 ) T P P =

(3.100)
(3.101)

Vemos entao que para que a igualdade seja satisfeita, tambem precisamos que a
seguinte relacao seja verdadeira:

(m1 + m2 ) Ilog

m21

+ Ilog

m22



i
=
(m1 m2 ) ln
(4)

m21
m22


.

(3.102)

Ao manipular tal condicao com a propriedade de escala de Ilog , a reduzimos a:

m1 Ilog m21 + m2 Ilog m22 = 0.

49

Esta e a mesma condicao de consistencia anterior. Por conseguinte, basta satisfazela para que a identidade de Ward seja verdadeira e a simetria seja mantida.

Contracao de AA

Para a amplitude AA, a identidade e:

AA
q T
= (m1 + m2 ) TAP ,

(3.103)

TV (k1 , m1 ) + TV (k2 , m2 ) = 0.

(3.104)

exigindo que:

A relacao de consistencia, entao, deve ser a mesma da amplitude VV:

2 = 0.

(3.105)

Incorporando a relacao acima ao resultado explcito de AV, obtemos uma amplitude

consistente:

i
AA
q q g q 2 [2 1 ] +
T
=4
(4)
i
+2
g (m1 + m2 ) [(m1 m2 ) 1 m1 0 ] .
(4)

(3.106)

Verificamos explicitamente para ver se a identidade de Ward e satisfeita:

AA
=2
q T

i
q (m1 + m2 ) [(m1 m2 ) 1 m1 0 ]
(4)

(3.107)

i
q (m1 + m2 ) [(m1 m2 ) 1 m1 0 ] .
(4)

(3.108)

(m1 + m2 ) TAP = 2

facil ver que a identidade de Ward para a contracao com AA e satisfeita, se

E
impusermos a relacao de consistencia (2 ) = 0.

50

Contracao de AV (ndice axial)

Au
ltima identidade de Ward a ser verificada diz respeito a` contracao com o ndice
AV
:
axial de T
AV
q T
= (m1 + m2 ) TV P .

(3.109)

Observando a seguinte relacao entre funcoes de Green:

AV
q T
= TA (k2 , m2 ) TA (k1 , m1 ) + (m1 + m2 ) TV P .

(3.110)

Notamos que e preciso supor que as diferenca TA (k2 , m2 ) TA (k1 , m1 ) seja nula,
se quisermos satisfazer (3.109). Como na contracao do ndice vetorial, a exigencia da
identidade de Ward nos leva `a relacao de consistencia.


2 = 0.

(3.111)

Explicitamente, a amplitude consistente contrada e:



i
AV

q T = (m1 + m2 ) 2
q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.112)

A fim de verificar a identidade de Ward, devemos comparar com:

TV P = 2

i
q [(m1 m2 ) 1 m1 0 ] .
(4)

(3.113)

Podemos ver que a identidade e satisfeita, desde que (2 ) seja nulo, como nos
casos anteriores.

3.2.3

Sobre as relac
oes de consist
encia

Encerradas as verificacoes das identidades de Ward, notamos que para que todas
estas sejam satisfeitas, e para que todas as simetrias implementadas no nosso modelo
sejam garantidas, precisamos de tres relacoes de consistencia. Para as contracoes das
amplitudes VV, AA e AV precisamos de:


2 = 0.

(3.114)

51

Para a contracao de SV, precisamos de:

m2 Ilog m22 m1 Ilog m21 = 0.

(3.115)

E para a contracao de PA, precisamos de:

m2 Ilog m22 + m1 Ilog m21 = 0.

(3.116)

Alem destas relacoes de consistencia, ainda conclumos, em um captulo anterior,

que a relacao entre funcoes de Green da contracao axial de AV so pode ser satisfeita se
=

i
.
2

(3.117)

Resta-nos agora verificar se tais relacoes podem ser satisfeitas matematicamente,

de maneira que nao sejam simples imposicoes.
A identidade (3.117) ja foi verificada explicitamente, de maneira que podemos
tranquilamente tomar este resultado como verdadeiro.
A identidade (3.114) nos diz que o objeto

Z
=

2k k
d2 k
g
2
(2) (k 2 2 )2

d2 k
1
2
2
(2) (k 2 )

(3.118)

deve ser nulo. Tratando-se da diferenca entre integrais de mesmo grau de divergencia,
inicialmente nos parece razoavel que o resultado possa ser nulo. De fato, pode-se mostrar que a usando a Regularizacao Dimensional (um dos mais respeitados metodos de
regularizacao usado para lidar com divergencias em TQC), o resultado nulo e obtido diretamente da integracao nos momentos ([7]). Entretanto, precisamos observar que
e um tensor de segunda ordem, de maneira que ele so pode ser nulo se cada elemento
for nulo individualmente. Isto esta em patente contradicao com (3.117), que foi calculado explicitamente sem o uso de nenhuma suposicao matematica alem da linearidade da
integracao. Lembremos que e o traco do tensor . Mas um vetor identicamente
nulo nao pode ter traco nao-nulo. A consequencia disto e que nao podemos satisfazer
matematicamente a relacao de consistencia 3.114, e as identidades de Ward das amplitues
VV, AA e AV estao comprometidas.
Quanto a` relacao (3.115), vamos escrever explicitamente para melhor visualizacao:
Z
m2

d2 k
1
m1
2
2
(2) (k m22 )

d2 k
1
= 0.
2
2
(2) (k m21 )

(3.119)

facil ver que o resultado nulo nao pode ser obtido por cancelamento, pelo fato
E

52

das massas m1 e m2 serem independentes. Desta maneira, o objeto Ilog teria de ser nulo
identicamente:
d2 k
1
= 0.
2
2
(2) (k 2 )

(3.120)

A exigencia de que Ilog seja nulo tambem e corroborada se quisermos satisfazer

(3.115) e (3.116) concomitantemente:

m2 Ilog m22 m1 Ilog m21 = 0




m2 Ilog m22 + m1 Ilog m21 = 0.

(3.121)
(3.122)

facil ver que a u

E
nica solucao do sistema e Ilog (m22 ) = Ilog (m21 ) = 0.
Entretanto, a exigencia de que Ilog seja nulo e bastante inverossmil. O objeto
e divergente por contagem de potencias, independentemente do parametro 2 . Nao nos
parece razoavel que ele seja nulo e divergente ao mesmo tempo.
Tambem podemos chegar a` mesma conclusao ao analisarmos a propriedade de
escala de Ilog :
Ilog

21

= Ilog

22

ln
4

21
22


.

(3.123)

Aceitar o valor de Ilog (2 ) como nulo para qualquer parametro nos leva ao
absurdo resultado de que uma quantidade finita arbitraria e forcosamente nula:
i
0 = ln
4

21
22


.

(3.124)

Portanto, se existisse um metodo de regularizacao capaz de afirmar um resultado

nulo para Ilog (da mesma maneira que a Regularizacao Dimensional faz para ), este
metodo teria tambem que afirmar (3.124), e lidar com as inconvenientes consequencias
desta afirmacao para a aritmetica em geral.
De fato, ao examinar o problema mais de perto, as identidades de Ward para SV
e AP nem mesmo sao satisfeitas individualmente se Ilog (2 ) = 0. Para isto basta notar
que a identidade de Ward para o ndice vetorial e:
q TSV = (m1 m2 ) TSS ,
e explicitamente, temos:

(3.125)

53

TSV

 2
i
m1
=
+
(m1 + m2 ) ln
(4)
m22


i

(m1 m2 ) q 2 (m1 + m2 )2 0
(4)






(m1 m2 ) T SS = (m1 m2 ) Ilog m21 + Ilog m22


i

(m1 m2 ) q 2 (m1 + m2 )2 0 .
(4)

(3.126)

(3.127)

Mesmo se tomarmos Ilog (m21 ) = Ilog (m22 ) = 0 na equacao acima, a identidade nao
se verifica. Isto esta ligado diretamente ao fato de que usamos a propriedades de escala
de Ilog na obtencao dos resultados (e como vimos, esta propriedade nao e compatvel com
Ilog (2 ) = 0). Uma analise similar pode ser feita para a amplite PA, mostrando que um
resultado nulo para Ilog nao torna a amplitude consistente.
Ao fim da analise, notamos que as relacoes de consistencia exigidas para que as
amplitudes obedecam a`s identidades de Ward nao sao razoaveis. A exigencia que seja
nulo entra em contradicao com o valor nao-nulo da soma dos seus elementos diagonais
( ). Tambem conclumos que e impossvel que as relacoes de consistencia para SV e PA
sejam satisfeitas simultanealmente. De fato, nem individualmente estas relacoes podem
ser satisfeitas, se notarmos que as equacoes (3.121) e (3.122) nao podem ser verdadeiras
por cancelamento, mas apenas se cada integral Ilog for nula identicamente.
O proximo passo na analise e verificar os teoremas de baixa energia, relacionados
VV
,
ao comportamento das funcoes no limite q 2 = 0. Iremos usar as formas consistentes T
AV
AA
, mesmo que a imposicao = 0 pareca inverossmil. Quanto a`s amplitudes
e T
T
SV e PA, se porventura aparecerem na analise, iremos usar o resultado original (que
inclui as divergencias inerentes `as amplitudes), pois nao foi possvel encontrar uma forma
consistente para as integrais.

3.3

Limites de baixa energia

Os teoremas de baixa energia partem da simples analise do carater tensorial das

amplitudes consideradas. A forma geral dos tensores permite identificar relacoes entre as
amplitudes no limite de q 2 = 0.

54

3.3.1

Amplitude VV

Considere, por exemplo, a amplitude VV. Por ser um tensor de dois ndice simetrico,
e ser funcao do momento externo q, a estrutura da amplitude e necessariamente:




VV
T
= g F1 q 2 + q q F2 q 2 ,

(3.128)

onde F1 e F2 sao funcoes escalares arbitrarias. Se contrairmos um momento externo em

(3.128) obtemos:





VV
q T
= q F1 q 2 + q 2 F2 q 2 .
Ora, sabemos que a identidade de Ward para VV e:
VV
q T
= (m1 m2 ) TSV .

A amplitude SV tambem e simetrica, de maneira que tem a estrutura geral

TSV = q F3 q 2 .

(3.129)

Entao, usando (3.129) e (3.3.1) em (3.3.1), temos:






q (m1 m2 ) F3 q 2 = q F1 q 2 + q 2 F2 q 2 .
facil ver que no limite de baixas energias (q 2 = 0), o comportamento das funcoes
E
e tal que:




(m1 m2 ) F3 q 2 |q2 =0 = F1 q 2 |q2 =0 .

(3.130)

Esta relacao precisa ser verificada explicitamente. Comparando a estruta geral de

VV e VS com as amplitudes explicitamente calculadas (e com a relacao de consistencia
satisfeita) podemos identificar:

F1 q

 2
i 2
m1
i
ln
4
q [2 1 ] +
=
2
(4)
m2
(4)


i  2
q m21 m22 [1 ] +
2
(4)

i  2
+
q (m1 m2 )2 [0 ]
(4)

(3.131)

55

i
[2 1 ]
F2 q 2 = 4
(4)


F3 q 2 =

(3.132)

i
2 [(m1 + m2 ) 1 m1 0 ] .
(4)

(3.133)

Ao tomarmos o limite em F1 e F3 em q 2 = 0 precisamos conhecer o comportamento

das funcoes k neste regime. Isto foi calculado, sendo que o resultado encontrado foi:
0 |q2 =0

1 |q2 =0

1
ln
= 2
m1 m22

m22
m21

m21
1
+
=
ln
(m21 m22 ) (m21 m22 )2

(3.134)


m22
m21


.

(3.135)

Usando estes resultados e alguma manipulacoes algebricas, chegamos a:

F1 q

|q2 =0

(m1 m2 ) F3 q

m21
m22

i
m1 m2
i
2
ln
=
(2)
(4) (m21 m22 )

i
m1 m2
i
2
ln
=
(2)
(4) m21 m22

q 2 =0

(3.136)
m21
m22


,

(3.137)

de maneira que o teorema de baixa energia (3.130) e satisfeito.

De modo analogo, a contracao de SV deve gerar a identidade:
q TSV = (m1 m2 ) T SS

(3.138)

E T SS aqui e um funcao simetrica sem carater vetorial, com estrutura geral:

T SS = F4 q 2 .

(3.139)

Com estes resultados em mente, podemos contrair VV novamente, de modo a obter:







VV
q q T
= q (m1 m2 ) TSV = (m1 m2 )2 F4 q 2 .

(3.140)

Notando a equacao (3.3.1), temos:








q 2 F1 q 2 + q 2 F2 q 2 = (m1 m2 )2 F4 q 2 .
No limite de baixa energia, o comportamento das funcoes deve ser:

(3.141)

56





q 2 F1 q 2 + q 2 F2 q 2 |q2 =0 = 0


F4 q 2 |q2 =0 = 0.

(3.142)

Temos entao a exigencia de que T SS seja nulo no limite de baixa energia. Reescrevemos explicitamente a amplitude:


i  2
q (m1 + m2 )2 0
(4)




+ Ilog m21 + Ilog m22 .

T SS =

(3.143)

Note que a amplitude e divergente, pois ainda nao incorporamos a relacao de

consistencia. No limite, T SS tem o valor de:

SS

 2
i (m1 + m2 )
m1
|q2 =0 =
ln
(4) (m1 m2 )
m22




+ Ilog m21 + Ilog m22 .

(3.144)

Neste momento, notamos que nem mesmo a exigencia de que Ilog (2 ) seja nulo
permite um resultado nulo para o limite acima, violando o teorema de baixa energia. Isto
nao e surpreendente, ja que esta exigencia nem mesmo faz a amplitude satisfazer a identidade de Ward correspondente (q TSV = (m1 m2 ) T SS ). Entretanto, se incorporarmos
a relacao de consistencia (3.115), que e menos restritiva:




m1 Ilog m21 m2 Ilog m22 = 0,
e admitirmos que ela pode ser satisfeita por cancelamento (por mais absurdo que isto
soe), podemos provar que o limite de baixa energia e satisfeito. Vimos na secao 3.2.1 que
esta relacao e equivalente a :






(m1 m2 ) Ilog m21 + Ilog m22 =

i
(m1 + m2 ) ln
(4)

m21
m22


,

(3.145)

o que gera um valor finito para a soma Ilog (m21 )+Ilog (m22 ) . Substituindo esta nova relacao
de consistencia em (3.144):

57

SS

 2
i (m1 + m2 )
m1
|q2 =0 =
ln
(4) (m1 m2 )
m2
 2 2
i (m1 + m2 )
m1
+
ln
(4) (m1 m2 )
m22
T SS |q2 =0 = 0.

(3.146)

De fato, este e o valor exigido para o limite, ditado pela forma geral dos tensores
envolvidos. A conclusao e que se Ilog nao for identicamente nulo, e se a relacao de consistencia (3.115) for verdadeira por cancelamento, entao a amplitude obedece `a identidade
de Ward e ao limite de baixa energia. Infelizmente, a hipotese nao e razoavel, como ja
discutimos anteriormente.

3.3.2

Amplitude AA

A mesma analise pode ser feita para a amplitude AA. Esta amplitude tambem e
um tensor simetrico de dois ndices:




AA
T
= g G1 q 2 + q q G2 q 2 .

(3.147)

Contraindo com um dos ndices, temos:






AA
q T
= q G1 q 2 + q 2 G2 q 2 .

(3.148)

A identidade de Ward nos diz que:

AA
q T
= (m1 + m2 ) TAP .

Ja a estrutura geral do tensor TAP e

TAP = q G3 q 2 .
Reunindo estes elementos, chegamos a:





AA
q T
= q G1 q 2 + q 2 G2 q 2 ;

(3.149)

58

entao:







q (m1 + m2 ) G3 q 2 = q G1 q 2 + q 2 G2 q 2 .
Tomando q 2 = 0, o comportamento das funcoes no limite de baixa energia deve
ser:




(m1 + m2 ) G3 q 2 |q2 =0 = G1 q 2 |q2 =0 .

(3.150)

AA
Para verificar este limite, comparamos as amplitudes explcitas T
e TAP com as
formas gerais dos tensores, e conseguimos identificar:

i
G1 q 2 = 4
g q 2 [2 1 ] +
(4)
i
+2
g (m1 + m2 ) [(m1 m2 ) 1 m1 0 ]
(4)

(3.151)

i
G2 q 2 = 4
[2 1 ]
(4)

(3.152)

i
G3 q 2 = 2
[(m1 m2 ) 1 m1 0 ] .
(4)

(3.153)

No limite de baixa energia, pode-se mostrar que:

G1 q

|q2 =0

i
m1 m2
i
+2
ln
=2
(4)
(4) (m21 m22 )

(m1 + m2 ) G3 |q2 =0

m21
m22

i
i
m1 m2
=2
+2
ln
(4)
(4) (m21 m22 )

m21
m22

(3.154)

.

(3.155)

Pode-se ver que o teorema de baixa energia e satisfeito.

Continuando a analise, a contracao de AP deve gerar a seguinte identidade de
Ward:
q TAP = (m1 + m2 ) T P P .

(3.156)

A amplitude T P P e escalar:


T P P = G4 q 2 .

(3.157)

59

De modo que podemos contrair novamente a amplitude AA e chegar ao resultado:





AA
= q (m1 + m2 ) TAP = (m1 + m2 )2 G4 q 2 .
q q T
Notando a equacao (3.148), temos:







q 2 G1 q 2 + q 2 G2 q 2 = (m1 + m2 )2 G4 q 2 .
Portanto, no limite de baixa energia, o comportamento das funcoes deve ser:





q 2 G1 q 2 + q 2 G2 q 2 |q2 =0 = 0


G4 q 2 |q2 =0 = 0.

(3.158)

Assim, e imperativo que T P P seja nulo neste limite. Sabemos que o valor o valor
explcito de T P P , ja calculado, e:
T PP =






i  2
q (m1 m2 )2 0 Ilog m21 Ilog m22 .
(4)

No limite ele se comporta como:

PP

|q2 =0

i (m1 m2 )
ln
=
(4) (m1 + m2 )

m21
m22

Ilog m21 Ilog m22 .

(3.159)

Novamente, vemos que mesmo se tomarmos Ilog (2 ) como nulo, o teorema de

baixa energia nao sera satisfeito. Entretanto, se adortarmos a relacao de consistencia
menos restritiva (3.116),




m1 Ilog m21 m2 Ilog m22 = 0,
entao o valor da soma Ilog (m21 ) + Ilog (m22 ) nao e mais nulo, e tanto o limite de baixa
energia quanto a identidade de Ward sao satisfeitas, tal qual o caso da amplitude SS.

3.3.3

Amplitude AV

AV
A amplitude T
e um tensor anti-simetrico de dois ndices, e deve ser construdo
com as componentes do momento q e com o tensor de Levi-Civita . Sua forma geral e:

60

AV
T
= H1 q 2 + q q H2 q 2 + q q H3 q 2 .

(3.160)

Ao contrairmos o ndice vetorial com o momento externo obtemos:





AV
q T
= q H1 q 2 + q 2 H2 q 2 .

(3.161)

A identidade de Ward nos diz que:

AV
q T
= (m1 m2 ) TAS .

E TAS tem a forma geral de um tensor antissimetrico TAS = q H4 (q 2 ) Podemos

entao reescrever (C-1) como:







q H1 q 2 + q 2 H2 q 2 = q (m1 m2 ) H4 q 2 .
AV
Esta relacao entre as funcoes permite eliminar H1 e da do tensor T
:







AV
T
= (m1 m2 ) H4 q 2 + q q q 2 H2 q 2 + q q H3 q 2 .

(3.162)

Tambem podemos notar que a contracao da amplitude no ndice axial se relaciona

com a amplitude VP atraves de:



AV
q T
= (m1 + m2 ) TV P = (m1 + m2 ) q H5 q 2 .

(3.163)

Contraindo a forma geral (3.162) e substituindo em (3.163), chegamos a` seguinte

relacao entre as funcoes, temos:









(m1 + m2 ) H5 q 2 + (m1 m2 ) H4 q 2 = q 2 H2 q 2 + H3 q 2 .
Isto dita o seu comportamento no limite de baixa energia:




(m1 + m2 ) H5 q 2 |q2 =0 + (m1 m2 ) H4 q 2 |q2 =0 = 0.

(3.164)

Ou
ltimo passo e verificar se as funcoes realmente se comportam de tal maneira.
Apos calculados os limites nas funcoes explcitas, chegamos a:

61

(m1 + m2 ) H4 |q2 =0

 2 

m1
m1 m2
i
ln
1 2
=2
2
(4)
m1 m2
m22

(3.165)

(m1 m2 ) H5 |q2 =0

 2 

m1
i
m1 m2
ln
=2
1 + 2
.
(4)
m1 m22
m22

(3.166)

Ve-se que a soma dos dois termos nao e nula: ao inves disto, tem valor i . O
limite de baixa energia e, entao, inevitavelmente violado. Na literatura, esta violacao e
discutida dentro do contexto da anomalia bidimensional AV, que e o analogo em menor
dimensao da conhecida anomalia axial AVV. O fato e que se admitirmos que a amplitude
AV viola a identidade de Ward da corrente axial da sequinte maneira:

 AV 
q T
= (m1 + m2 ) TV P + q
an
omala

 
i
,

(3.167)

podemos mostrar que o limite de baixa energia e satisfeito [7]. Nesta prescricao, admite-se
que a amplitude AV satisfaz a identidade de Ward vetorial e o limite de baixa energia,
mas e anomala por ter a identidade de Ward para a corrente axial violada. Em adendo,
nota-se que admitir a anomalia acima equivale a estabelecer um valor nulo para o objeto
(2 ) (ver equacao (3.61)) sem reservas, inclusive para seu traco:

2 = 0


2 = 0.

(3.168)
(3.169)

Ao fim da analise das relacoes de simetria da teoria, vale a pena discutir a consistencia das amplitudes estudadas. Nas amplitudes VV e AA, podemos encontrar formas
consistentes com as identidades de Ward e com os limites de baixa energia ao admitirmos
que o objeto e nulo.
Para a amplitude AV a situacao e diferente. Alem de exigir que (2 ) seja nulo,
tambem precisamos que (2 ) seja nao-nulo, para satisfazer a relacao entre funcoes de
Green na contracao axial. Satisfeitas as relacoes de consistencia, a amplitude obedece
a`s identidades de Ward (axial e vetorial) mas inevitavelmente viola o teorema de baixa
energia. Uma outra opcao e admitir que (2 ) e (2 ) sejam ambos nulos. A
amplitude assim e anomala, salvandoo limite de baixa energia e a corrente vetorial,
mas violando a identidade de Ward para a corrente axial.
Para as amplitudes que envolvam o objeto divergente Ilog , tambem existem problemas de consistencia. Notemos que a u
nica maneira de fazer com que os teoremas de baixa
energia de SS e PP sejam satisfeitos e admitir que ambas as relacoes de consistencias as
seguir estao corretas:

62

m2 Ilog m22 m1 Ilog m21 = 0




m2 Ilog m22 + m1 Ilog m21 = 0,

e admitir, ao mesmo tempo, que o valor de Ilog nao e nulo identicamente. Isto e impossvel,
visto que o sistema de equacoes acima tem como u
nica solucao:




Ilog m21 = Ilog m22 = 0.

(3.170)

Conclumos, assim, que nao ha nenhuma maneira de obter os teoremas de baixa

energia para estas amplitudes. Esta simetria, ditada pela forma dos tensores envolvidos,
nao pode ser obedecida. Soma-se a isso o fato de que tampouco as identidades de Ward
para SS e PP sao satisfeitas ao incorporarmos (3.170).
Toda essa analise nos leva a crer que e impossvel obter amplitudes consistentes dentro da atual interpretacao das amplitudes perturbativas (como quantidades em princpio
infinitas, passveis de serem tratadas atraves de regularizacao). Mesmo que existisse um
metodo de regularizacao capaz de gerar um valor nulo para Ilog (2 ) e (2 ), a consistencia das amplitudes ainda nao seria alcancada, pois nem as identidades de Ward
para SV e PA, nem os limites de baixa energia para SS, PP e AV seriam satisfeitos. No
caso de AV, ainda pode-se tratar a amplitude como anomala, mas as violacoes da simetria nas outras amplitudes mostra que ha mais problemas na teoria do que a anomalia
AV. A u
nica sada parece ser uma reinterpretacao das amplitudes fsicas: precisamos de
um procedimento geral que, partindo das quantidades geradas pelas regras de Feynman,
gere amplitudes livres de ambiguidades e infinitos, e que sejam capaz de satisfazer as
identidades de Ward e os teoremas de baixa teoria deduzidos nos u
ltimos captulos.

UMA PROPOSTA DE AMPLITUDES CONSISTENTES

Diante da u
ltima afirmacao do captulo anterior, nos perguntamos se existe um
procedimento capaz de gerar amplitudes que sejam finitas, livres de ambiguidades e consistentes com as simetrias da teoria. Tal procedimento esta sendo desenvolvido por Orimar
Battistel et al. No presente estudo, nos restringiremos a expor as formas matematicas
geradas por tal procedimento para aquelas amplitudes consideradas na presente investigacao, e verificar as identidades de Ward e teoremas de baixa energia pertinentes. Um
trabalho detalhado sobre esta nova interpretacao sera publicado em breve. As amplitudes
obtidas sao as seguintes:

63






T SS (q) = (m1 + m2 )2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +





q 2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +




(m2 + m1 ) 
+ q2
21 m21 ; 0, m22 0 m21 ; 0, m22
(m2 m1 )

(4.1)





TSV (q) = 2q (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





2q m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22

(4.2)







TAS (q) = 2 q (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22

(4.3)






T P P (q) = q 2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +





(m1 m2 )2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +




(m1 m2 ) 
+ q2
21 m21 ; 0, m22 0 m21 ; 0, m22
(m1 + m2 )

(4.4)







TP V (q) = 2 q (m1 m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22

(4.5)



TP A (q) = 2q (m1 m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





+ 2q m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22

(4.6)

64






2 m21 ; q 2 , m22 1 m21 ; q 2 , m22 +






+ 2g (m1 m2 ) (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22

VV
T
(q) = 4 q q g q 2






2 m21 ; q 2 , m22 1 m21 ; q 2 , m22 +






+ 2g m21 m22 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





2g m1 (m1 + m2 ) 0 m21 ; q 2 , m22 0 m21 ; 0, m22

(4.7)

AA
T
(q) =4 q q g q 2

(4.8)






AV
T
(q) = 4 q q g q 2 2 m21 ; q 2 , m22 1 m21 ; q 2 , m22 +






+ 2 (m1 m2 ) (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22
.

(4.9)

T SP (q) = 0

(4.10)

Podemos ver atraves de uma breve inspecao que todas as quantidades sao livres de
divergencias e ambiguidades, sendo apenas funcoes do momento externo q e das massas.
Aqui, usamos a notacao:




k m21 ; 0, m22 = k m21 ; q 2 , m22 |q2 =0
para representar as funcoes k no valor local de baixa energia.
A partir destas amplitudes, devemos verificar as identidades de Ward e os limites
de baixa energia, a fim de assegurar se sao consistentes ou nao.

4.1

Verificac
ao das identidades de Ward

A primeira identidade de Ward a ser verificada e:

q TSV (q) = (m1 m2 ) T SS (q) .

(4.11)

65

Contraindo o momento externo com o resultado explcito para a amplitude SV,

descrito no incio do captulo, podemos chegar (apos algumas manipulacoes algebricas
que envolvem as relacoes entre funcoes k ) a:






q TSV (q) = (m1 m2 ) (m1 + m2 )2 q 2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 .

(4.12)

A forma de SS proposta tambem pode ser manipulada de modo a gerar:






(m1 m2 ) T SS (q) = (m1 m2 ) (m1 + m2 )2 q 2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 .
(4.13)

Ou seja: pode-se ver que as amplitudes propostas TSV e T SS obedecem `a identidade de Ward.
Para a amplitude SA, a contracao deve gerar:
q TAS = (m1 + m2 ) T SP .

(4.14)

Podemos ver que a amplitude SA e m

ultipla de q , de modo que a contracao
com q gera uma quantidade identicamente nula. Como a amplitude T SP tambem e nula,
a identidade em questao e verificada.
Este tambem e o caso da contracao do momento externo com a amplitude PV, que
deve gerar:
q TP V = (m1 m2 ) T P S .

(4.15)

A amplitude TP V tambem e m
ultipla de q , e a contracao com q gera o mesmo
resultado nulo que no caso anterior. Portanto, esta identidade tambem e verdadeira.
A contracao com um ndice da amplitude VV (o tensor de polarizacao do vacuo)
esta relacionada com SV da seguinte forma:
VV
q T
= (m1 m2 ) TSV .

(4.16)

Contraindo na amplitude explcita, chegamos a:







VV
p T
(q) = 2q (m1 m2 ) (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22
.

(4.17)

66

Comparando com o valor de SV:






TSV (q) = 2q (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





2q m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22 ,

(4.18)

podemos ver facilmente que a identidade de Ward e satisfeita.

Para PA, a identidade de Ward e:
q TP A = (m1 + m2 ) T P P .

(4.19)

Apos contrair o momento externo com TP A , chegamos ao resultado:







p TP A (q) = (m1 + m2 ) q 2 (m1 m2 )2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 .

(4.20)

A amplitude PP tambem pode ser manipulada de modo a gerar o mesmo resultado

para (m1 + m2 ) T P P .
Para a amplitude AA, a identidade de Ward e:
AA
q T
= (m1 + m2 ) TP A .

(4.21)

Explicitamente, a contracao com AA nos da:

AA
q T
(p) = 2q m21 m22






1 m21 ; q 2 , m22 1 m21 ; 0, m22





2q m1 (m1 + m2 ) 0 m21 ; q 2 , m22 0 m21 ; 0, m22 .

(4.22)

Comparando com o valor explcito de TP A , dado por (4.6), vemos que a identidade
de Ward tambem e satisfeita.
interessante perceber
Agora vamos analisar a u
ltima amplitude, a anomala AV. E
que ate agora, todas as identidades de Ward foram satisfeitas sem adotar nenhum tipo de
relacao de consistencia, como fomos obrigados a fazer nas amplitudes divergentes calculadas diretamente das regras de Feynman. Visto que o fenomeno da anomalia AV surge
da impossibilidade de AV satisfazer simultaneamente duas simetrias da amplitude, precisamos investigar se este problema tambem ocorre nas amplitudes finitas e nao-ambguas
AV
que propusemos. Primeiramente, vejamos se T
obedece `a relacao da corrente vetorial
com a escalar:

67

AV
q T
= (m1 m2 ) TAS .

(4.23)

Contraindo ndice vetorial da amplitude explcita, podemos obter:







AV
q T
(q) = 2 q (m1 m2 ) (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22
.
(4.24)

Comparando, entao, com TAS :






TAS (q) = 2 q (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22
,

(4.25)

podemos ver facilmente que (4.23) e satisfeita.

A contracao com o ndice axial, por sua ver, deve gerar:
AV
q T
= (m1 + m2 ) TP V .

(4.26)

Contraindo com a amplitude explcita, e apos uma certa quantidade de manipulacao algebrica, que considerou a relacao entre funcoes k e o valor destas funcoes em
q 2 = 0, chegamos a` forma:

AV
q T
(q) = 2q






m21 m22 1 m21 ; q 2 , m22 1 m21 ; 0, m22





+m1 (m1 + m2 ) 0 m21 ; q 2 , m22 0 m21 ; 0, m22
.


(4.27)

Ora, se compararmos com o lado direito da equacao, usando a forma explcita de

PV, temos:




TP V (q) = 2q (m1 m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





,
m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22

ou ainda:

(4.28)

68

(m + m2 ) TP V (q) = 2q






m21 m22 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





+m1 (m1 + m2 ) 0 m21 ; q 2 , m22 0 m21 ; 0, m22
,
(4.29)


e chegamos a` conclusao de que a identidade de Ward para a corrente vetorial tambem

e obedecida. Quanto `a anomalia presente na amplitude, precisamos verificar o limite
de baixa energia da amplitude, para ver se ela ainda esta presente na nossa prescricao.
Faremos isto com todas as amplitudes envolvidas, a fim de verificar se esta u
ltima simetria
e respeitada pelas amplitudes produzidas pela mencionada interpretacao.

4.2

Verificac
ao dos teoremas de baixa energia

Lembremos que o teorema de baixa energia para AV, (equacao (3.164)) nos diz
que:




(m1 + m2 ) H5 q 2 |q2 =0 + (m1 m2 ) H4 q 2 |q2 =0 = 0,

(4.30)

onde H5 (q 2 ) e H4 (q 2 ) sao definidas como:

TAS = q H4 q 2

(4.31)

TV P = q H5 q 2 .

(4.32)

Observemos o valor explcito das amplitudes envolvidas:







TP V (q) = 2 q (m1 m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22







TAS (q) = 2 q (m1 + m2 ) 1 m21 ; q 2 , m22 1 m21 ; 0, m22 +





.
m1 0 m21 ; q 2 , m22 0 m21 ; 0, m22
deveras facil notar que no limite de q 2 = 0 , ambas as amplitudes sao identiE
camente nulas, pois q 2 e assumido como nulo nas funcoes k . Deste modo, a expressao

69

(4.30) tambem e nula, satisfazendo o teorema de baixa energia. Assim, a amplitude AV

proposta mantem naturalmente todas as relacoes de simetria da teoria, nao podendo mais
ser considerada anomala.
Os outros teoremas de baixa energia que precisamos verificar sao os que dizem que
tanto a amplitude PP quanto a SS devem ser nulas em q 2 = 0. Explicitamente elas tem
valor:






T SS (q) = (m1 + m2 )2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +





q 2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +




(m2 + m1 ) 
21 m21 ; 0, m22 0 m21 ; 0, m22
+ q2
(m2 m1 )






T P P (q) = q 2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +





(m1 m2 )2 0 m21 ; q 2 , m22 0 m21 ; 0, m22 +




(m1 m2 ) 
+ q2
21 m21 ; 0, m22 0 m21 ; 0, m22 ,
(m1 + m2 )

(4.33)

(4.34)

Podemos ver que ao tomar o limite de baixa energia, ambas as amplitudes sao
nulas. Portanto, os teoremas sao satisfeitos.

CONCLUSAO

Frente aos objetivos do presente trabalho, podemos fazer uma restrospectiva dos
passos seguidos ao longo da investigacao. Primeiramente, a partir das regras de Feynman,
calculamos todas as amplitudes preturbativas de um e dois pontos de um teoria quantica
de campos geral, onde consideramos fermions massivos de spin 12 e campos bosonicos
de quatro tipos: escalar, pseudo-escalar, vetorial e axial. Para lidar com as inevitaveis
divergencias do modelo, usamos um metodo conhecido como Calculo Perturbativo Preditivo, que tem a propriedade de separar as divergencias em integrais totalmente arbitrarias,
enquanto a parte finita foi organizada em termos de uma classe de funcoes integrais (as
funcoes k ). A partir destes resultados, testamos entao a consistencia das amplitudes.
O primeiro passo para a investigacao da consistencia das amplitudes e a verificacao
de identidades que chamamos de relacoes entre Funcoes de Green. Estas sao estabelecidas
antes mesmo do calculo explcito, e pressupoem apenas a linearidade da integracao. Estas
relacoes foram verificadas para as amplitudes calculadas explicitamente, de maneira que
todas podem ser satisfeitas com uma u
nica exigencia:

70

i
2 = ,
2

(5.1)

necessaria na relacao entre funcoes de Green para a contracao da amplitude AV com o

ndice axial. Registremos que satisfazer esta relacao implica em manter a linearidade
valida em integrais de Feynman e que isto elimina a fonte tradicional do termo anomalo.
O outro conjunto de relacoes que as amplitudes deveriam obedecer sao as identidades de Ward, que advem do conte
udo de simetria implementado na construcao da
lagrangiana da teoria. Obedecer a`s identidade de Ward significa que nenhuma simetria
implementada foi quebrada, o que e necessario para a construcao de um teoria renormalizavel, que tenha poder de predicao. Neste ponto, notamos que as amplitudes por nos
calculadas ainda mantinham o carater divergente e arbitrario, materializado pelos objetos divergentes (2 ) e Ilog (2 ). Deste modo, para que as amplitudes obedecessem a`s
identidade de Ward tivemos que assumir relacoes de consistencia, que assinalavam valores
definidos para os objetos acima citados.
Au
ltima simetria a ser verificada foram os teoremas de baixa energia, que ditam
o comportamento das amplitudes no limite de q 2 = 0. As amplitudes consistentes, ou
seja, que tivessem incorporado as relacoes de consistencia citadas acima, teriam de ter tal
comportamento, que e ditado apenas pelo carater tensorial geral das amplitudes estudadas. O que se verificou e que nao ha um modo nao-contraditorio de se obedecer a estes
teoremas e `as identidades de Ward concomitantemente. No contexto das regularizacoes,
este problema e relatado para a amplitude AV, de modo que a solucao foi considerar a
amplitude anomala. Porem, para as amplitudes SS e PP tambem ha inconsistencias, de
modo que nenhum tipo de regularizacao poderia fazer com que as amplitudes obedecessem
todos os conte
udos de simetria da teoria.
A inconsistencia das amplitudes calculadas, assim como a constatacao de que amplitudes infinitas e ambguas nao podem gerar resultados que possam ser comparados com
os dados experimentais, nos leva a questionar a atual interpretacao das amplitudes perturbativas, e imaginar se nao ha uma maneira de se obter amplitudes finitas e consistentes.
Estas teriam de ser obtidas a partir das formas geradas pelas regras de Feynman, com um
procedimento universal (aplicavel a todos os processos da teoria), e nao poderia depender
de escolhas arbitrarias de quem o aplica. Isto e imprecindvel, pois o resultado de um
desenvolvimento matematico, que e uma ordenacao logica de operacoes logicas, nao pode
depender dos processos intermediarios de quem aplicou o metodo. Se admitirmos esta
possibilidade, estamos admitindo duas respostas contraditorias para a mesma pergunta.
A interpretacao em questao esta sendo desenvolvida, e no presente trabalho nos
contentamos em expor as amplitudes geradas por ela e verificar as relacoes de simetria.
Tais formas matematicas para as amplitudess sao livres de infinitos e ambiguidades, sendo
escrita em funcao das funcoes k , que sao, em u
ltima instancia, funcoes finitas do mo-

71

mento externo q e das massas dos fermions envolvidos. Testamos todas as relacoes de
simetria para cada amplitudes, e conclumos que todas, sem excessao, sao satisfeitas. Isto
elimina o problema das relacoes de consistencia contraditorias, mas tambem exclui a possibilidade da amplitude AV ser anomala. Nesta nova interpretacao, todas as simetrias
implementadas na construcao das teorias sao validas para as amplitues propostas, sao
livres de infinitos e ambiguidades e possuem o correto comportamento para os limites de
baixa energia.

72

Ap
endice A - Matrizes de Dirac

Nos calculos das amplitudes e deducao das relacoes entre funcoes de Green, nos
deparamos com produto entre matrizes de Dirac . Estas matrizes sao definidas no contexto da equacao de Dirac, na Mecanica Quantica Relativstica [2]. Em Teoria Quantica
de Campos sao usadas para construir os vertices de interacao das amplitudes fsicas [4]
[5]. As matrizes de Dirac, em qualquer dimensao, sao definidas a partir de sua algebra
anticomutativa (algebra de Clifford):
{ , } = + = 2g 1.

(A-1)

Em dimensao 1+1, um grupo de matrizes que satisfaz esta algebra e = (1 , 2 ):

1 =
2 =

!
0 i
i 0
!
0 i
.
i 0

(A-2)
(A-3)

Podemos ainda definir uma terceira matriz que obedece `a mesma algebra:
1
3 a b .
2

(A-4)

Sua representacao e:
3 =

1 0
0 1

!
.

(A-5)

As propriedades aqui descritas permitem o calculo de tracos envolvendo produtos

entre as matrizes e 3 . Os resultados obtidos sao:

73

T r ( ) = 0

(A-6)

T r (3 ) = 0

(A-7)

T r ( ) = 2g

(A-8)

T r (3 ) = 0

(A-9)

T r ( ) = 0

(A-10)

T r (3 ) = 2

(A-11)

T r ( ) = 2g g 2g g + 2g g
T r (3 ) = 0.

(A-12)
(A-13)

Estes sao os resultados necessarios para se extrair o traco das amplitudes provenientes das regras de Feynman, e obter as integrais que devem ser resolvidas com parametrizacao de Feynman e integracao dimensional.

74

Ap
endice B - Parametrizac
ao de Feynman

No calculo das amplitudes perturbativas estudadas, nos deparamos com integrais

do tipo:

d2 k [1, k ]
[I1 , I1 ] (ki, mi )
(2)2 Di
Z
d2 k [1, k , k k ]
[I2 , I2 , I2 ] (ki, kj, mi , mj )
,
Di Dj
(2)2
Z

(B-1)
(B-2)

onde Di = (k + ki )2 m2i . Nos casos em que a integral diverge, somo obrigados a aplicar
o CPP, o que equivale a reescrever o propagador D1i de acordo com a identidade (1.21). O
resultado disto e que todas as divergencias ficam concentradas nos objetos matematicos
e Ilog , de maneira que as integrais finitas devem ser resolvidas. Estas integrais sao
nos momento k, e podem ser reescritas para que a integracao seja facilitada. Usamos
entao uma ferramenta conhecida como parametrizacao de Feynman para reescrever os
integrandos da seguinte maneira:
1
=
ab

1
=2
a2 b

Z
0

dz
[(b a) z + a]2
1

(1 z) dz
.
[(b a) z + a]3

(B-3)

(B-4)

A segunda identidade e obtida derivando a primeira em relacao a a. Para as amplitudes calculadas, as u

nicas identidades necessarias sao estas duas, mas pode-se deduzir
outras a partir da derivacao das primeiras em relacao a a e b.
Como exemplo da aplicacao da parametrizacao de Feynman, considere a seguinte
integral finita, que surge em um passo intermediario da resolucao da integral divergente
I1 :
Z
If inita =

d2 k k12 + 2k1 k + 2 m21


.
(2)2 (k 2 2 ) (k + k1 )2 m21

(B-5)

Usamos entao a parametrizacao (B-3) no integrando, identificando os parametros

a e b como:

a = k 2 2
b = (k + k1 )2 m21

75

Assim, podemos encontrar a quantidade:

(b a) z + a = (k + k1 z)2 + 2 (z 1) + k12 m21 z (k1 z)2 .
Neste momento, e oportuno redefinir a variavel k fazendo um simples shift:
k 0 = k + k1 z.

(B-6)

Deste modo, apos o shift temos:





(b a) z + a = k 02 + 2 (z 1) + k12 m21 z (k1 z)2 .
Definimos o termo entre colchetes como:


Q (z) = 2 (z 1) + k12 m21 z (k1 z)2 ;

(B-7)

e assim, a parametrizacao (B-3) toma a seguinte forma:

1
=

(k 2 2 ) (k + k1 )2 m21

Z
0

dz
.
[k 02 + Q (z)]2

(B-8)

A integral que queramos calcular, entao e reescrita da seguinte maneira:

Z
If inita =

d2 k 0 k12 + 2k1 (k 0 k1 z) + 2 m21

.
(2)2
[k 02 + Q (z)]2

Z
dz

(B-9)

Para resolver tal integral, notemos que os termos mpares em k 0 no integrando nao
contribuem para o valor da integral, pois a integracao nos momentos e em todo o espaco
(simetrica, portanto) e os citados termos sao funcoes mpares. Logo:
1

Z
If inita =

Z
dz

d2 k 0 k12 2k12 z + 2 m21

.
(2)2
[k 02 + Q (z)]2

(B-10)

Em seguida, vemos que o numerador do integrando coincide com o valor:

Q (z)
= k12 2k12 z + 2 m21 .
z
A integral entao assume a seguinte forma:
Z
If inita =
0

Q (z)
dz
z

d2 k 0
1
.
2
02
(2) [k + Q (z)]2

(B-11)

76

Esta e a forma que as integrais sao postas apos o procedimento de parametrizacao

de Feynman. O proximo passo e resolver a integral nos momentos k, usando um procedimento conhecido como Integracao Dimensional.

77

Ap
endice C - Integrac
ao Dimensional

O caminho por nos percorrido para calcularmos as amplitudes fsicas pode ser
resumido em poucos passos. Primeiramente, montamos a amplitude a partir das regras de
Feynman. A extracao do traco do integrando e feita com a ajuda dos ja calculados tracos
das matrizes de Dirac (apendice A). O resultado e reorganizado em termos das integrais
definidas em (B-2). Estas integrais, se forem divergentes, tem seus integrandos reescritos
segundo a prescricao do Calculo Perturbativo Preditivo, que so supoe a linearidade da
operacao de integracao, e tem como resultado a separacao de todas as integrais divergentes
em objetos totalmente ambguos (por dependerem de um parametro arbitrario 2 ) e livre
de quantidades fsicas, ou seja: toda a dependencia de q esta confinada em integrais finitas.
A resolucao destas integrais finitas comeca com a parametrizacao de Feynman (apendice
B), nos deixando com integrais nos momentos com a forma geral de:
Z
Ik =

d2 k [1, k , k k , ...]
.
(2)2 [k 2 + Q (z)]

(C-1)

A resolucao destas integrais e a u

ltima ferramenta para obter as expressoes explcitas
das amplitudes fsicas, tal qual expostas no captulo 2.
A solucao de todas estas integrais pode ser derivada da solucao da mais simples
delas, a saber:
Z

d2 k
1
i
( )
.
=

2
2
2
(4) () (Q2 H 2 )
(2) (k + 2k Q H )

(C-2)

Aqui, (x) e a funcao gama de Euler, definida no domnio x > 0. A resolucao

desta integral pode ser encontrada em [11], [14] e [15].
A partir deste resultado, podemos derivar outros resultados. Derivando toda a
equacao em relacao a Q, obtemos:

d
dQ

Z




d2 k
1
i
d
( )
=
(4) dQ () (Q2 H 2 )
(2)2 (k 2 + 2k Q H 2 )

o que leva a:



d2 k
k
i
Q ( )
.
= ()
(4) () (Q2 H 2 )
(2)2 (k 2 + 2k Q H 2 )

Da mesma maneira, o mesmo processo aplicado em (C-3) leva a:

(C-3)

78


d2 k
k k
i
Q Q ( )
+
=

2
2
2
(4) () (Q2 H 2 )
(2) (k + 2k Q H )

( 1)
1
+ g
.
2
() (Q2 H 2 )1

(C-4)

Para o presente trabalho, apenas estes resultados sao necessarios para o desenvolvimento das amplitudes. No caso especfico das integrais que desejamos resolver (equacao
(C-1)), por comparacao vemos que devemos utilizar:

=1
Q=0
H 2 = Q (z) ,

de modo a obter

1
i
( 1)
d2 k
=
2
2
(4) () Q (z)1
(2) [k + Q (z)]
Z
d2 k
k
= 0
2
2
(2) [k + Q (z)]
Z
i 1
d2 k
k k
( 2)
g
=
2
2
(4) 2
(2) [k + Q (z)]
() Q (z)2
Z

(C-5)
(C-6)
(C-7)

Note que a integral com o numerador linear em k e nula, pois o integrando e uma
funcao mpar e a integracao e em todo o espaco (simetrica).

79

Ap
endice D - Soluc
ao das integrais de Feynman

Os apendices anteriores fornecem as ferramentas necessarias para resolver as integrais as quais chamamos integrais de Feynman, que surgem apos a extracao dos tracos
das matrizes de Dirac. Nos nosso caso, estas integrais sao as seguintes:

Z
I1 (k1 , m1 ) =
Z
I1 (k1 , m1 ) =
Z
I2 (k1 , k2 , m1 , m2 ) =
Z
I2 (k1 , k2 , m1 , m2 ) =
Z
I2 (k1 , k2 , m1 , m2 ) =

d2 k 1
(2)2 D1
d2 k k
(2)2 D1
d2 k
1
2
(2) Di Dj
d2 k k
(2)2 Di Dj
d2 k k k
.
(2)2 Di Dj

(D-1)
(D-2)
(D-3)
(D-4)
(D-5)

As integrais que tem apenas um propagador estao relacionadas a funcoes de um

ponto, enquanto as outras vem dos diagramas de dois pontos, como pode ser visto no
captulo 2 (Construcao e Calculo das Amplitudes). Neste apendice, resolverei explicitamente a primeira destas integrais:
Z
I1 (k1 , m1 ) =

d2 k 1
=
(2)2 D1

1
d2 k
.
2
(2) (k + k1 )2 m21

(D-6)

Podemos ver, por contagem de potencias, que a integral diverge logaritmicamente.

Aplicamos entao a identidade prescrita pelo CPP para reescrever o integrando:
1
1
k12 + 2k1 k + 2 m21



,
=

(k 2 2 ) (k 2 2 ) (k + k1 )2 m21
(k + k1 )2 m2

(D-7)

de maneira que a integral inicial e reescrita como:

Z
I1 =

d2 k
1

2
2
(2) (k 2 )

d2 k k12 + 2k1 k + 2 m21


.
(2)2 (k 2 2 ) (k + k1 )2 m21

(D-8)

Note que a primeira integral do lado direito da igualdade e o objeto que definimos
como Ilog (2 ), totalmente ambguo e divergente. A outra integral e o que chamamos de
If inita no apendice B, onde obtemos o resultado:

80

Z
If inita =
0

Q (z)
dz
z

d2 k 0
1
.
2
(2) [k 02 + Q (z)]2

(D-9)

A integral nos momentos, entao, e resolvida usando os resultados do apendice D:

d2 k 0
1
i
(2 1)
=
2
2
(4) (2) Q (z)21
(2) [k 02 + Q (z)]
i
1
=
,
(4) Q (z)

(D-10)

de modo que a integral finita e:

If inita

i
=
(4)

dz
0

Q (z) 1
.
z Q (z)

(D-11)

Neste momento, notamos que:

1 Q (z)
[ln Q (z)]
=
.
z
Q (z) z
Assim, o integrando e uma diferencial total:
If inita =

i
[ln Q]10 .
(4)

Lembrando da definicao Q (z) 2 (z 1) + (k12 m21 ) z (k1 z)2 , os valores nos

limites de integracao sao:

Q (z = 1) = m21
Q (z = 0) = 2 .

O resultado da integral finita e, entao:

If inita

i
=
ln
(4)

m21
2


.

(D-12)

Logo, o resultado final de I1 e:

I1 (k1 , m1 ) = Ilog

ln
(4)

m21
2


.

(D-13)

81

Ou, usando a propriedade de escala de Ilog :

I1 (k1 , m1 ) = Ilog m21 .

(D-14)

Note que o resultado desta integral nao carrega nenhuma informacao fsica sobre
o momento q, sendo totalmente ambguo e divergente. Nas integrais de dois pontos,
entretanto, a aplicacao do mesmo procedimento descrito acima faz com que a parte finita
seja escrita em termos das funcoes k , como ja visto ao longo do trabalho. Estas sao
funcoes dos momentos externos, e carregam informacao fsica. O resultado explcito de
todas as integrais de Feynman usadas no presente estudo esta representado abaixo:
I1 (k1 , m1 ) = Ilog

I1 (k1 , m1 ) =

k1

ln
(4)

2k k
d2 k
+ k1
2
(2) (k 2 2 )2

I2 (k1 , k2 , m1 , m2 ) =

m21
2

i
4

(D-15)



ln

m21
2

i
0
(4)



 
i
Q + q
I2 (k1 , k2 , m1 , m2 ) =
q 1
0
(4)
2

k k
d2 k
+
2
2
(2) (k 2 )2
 2



i
1

1
+
g ln
+ g m21 m22 1 +
2
(4) 2
m
2

 2


1
2
+ q q g q
2 1
2


1
1
(Q q + q Q + q q ) 1 0 +
2
2

1
+ (Q Q ) 0 .
4

(D-16)

(D-17)

(D-18)

I2 (k1 , k2 , m1 , m2 ) =

(D-19)

As funcoes k sao aquelas definidas na equacao (2.26) (o argumento foi omitido).

82

Refer
encias

[1] GASIOROWICZ, S. Fsica Qu

antica. Rio de Janeiro: Guanabara Dois S. A., 1979.
[2] BJORKEN, J. D.; DRELL, S. D. Relativistic Quantum Mechanics. New York:
McGraw-Hill Book Company, 1964.
[3] NETO, J. B. Matem
atica para Fsicos. Sao Paulo: Editora Livraria da Fsica,
2010.
[4] MANDL, F.; SHAW, G. Quantum Field Theory. Cambridge: Cambridge University Press, 1984.
[5] CHANG, S.J. Introduction do Quantum Field Theory. Singapura: World Scientific Publishing Co. Pte. Ltd, 1990.
[6] HEISENBERG, W. Fsica e Filosofia. Braslia: Editora Universidade de Braslia,
1995.
[7] EBANI, L. Inevit
aveis violaco
es de simetria em c
alculos perturbatidos de
TQCs em dimens
ao 1+1. Dissertacao de Mestrado: UFLA, 2015.
[8] BATTISTEL, O. A. Uma Nova Estrat
egia para Manipulaco
es e C
alculos
envolvendo Diverg
encias em TCQ. Tese de Doutorado: UFMG, 1999.
[9] BATTISTEL, O. A.; FONSECA M. V. S.; DALLABONA G. Anomalies in finite
amplitudes: two-dimensional single axial-vector triangle. Physical Review D
85, 085007, 2012
[10] LEMOS, N. F. Mec
anica Analtica. Sao Paulo: Editora Livraria da Fsica, 2004.
[11] SOUZA, D. S. Anomalia axial na amplitude AVV em dimens
ao D=1+1.
Dissertacao de Mestrado: CBPF, 2011.
[12] BATTISTEL, O. A.; DALLABONA G. A systematization for one-loop 4D
Feynman integrals - Different Species of Massive Fields. Journal of Modern
Physics 3, 1408, 2012.
[13] ARFKEN, G. Mathematical Methods for Physicists. New York: Academic
Press. Inc, 1971
[14] GAMBIN, E. Consist
encia no C
alculo Perturbativo: A Eletrodin
amica
Qu
antica e a Anomalia AVV. Dissertacao de Mestrado: UFSM, 2004
A. E. Aspectos Dimensionais da Consist
[15] MAICA,
encia de C
alculos Perturbativos em Teoria Qu
antica de Campos. Dissertacao de Mestrado: CBPF, 2010.