Você está na página 1de 84

Anomalia de escala e invari ancia de calibre em eletrodin amica qu antica: um estudo diagram atico

DE MESTRADO DISSERTAC AO

Joilson Silva Porto Orientador: Prof. Dr. Marcos Donizeti Rodrigues Sampaio Co-orientadora: Profa. Dra. Maria Carolina Nemes

Disserta ca o apresentada ao Programa de P os-Gradua c ao em F sica da Universidade Federal de Minas Gerais, como requisito parcial para a obten ca o do t tulo de Mestre em F sica.

Agosto de 2012

Agradecimentos
Aos meus pais, Delio e Neusa, por tudo. Ao Marcos Sampaio e ` a Carolina Nemes pela orienta ca o e pelo aprendizado. Aos membros da banca: Alex Blin, Brigite Hiller e Luiz Cleber T. Brito, pelas valiosas sugest oes e corre c oes a ` disserta c ao. Ao grupo de Teoria Qu antica de Campos da UFMG; aos colegas de pos-gradua ca o, em especial aos amigos: Debarba, Arthur, Lucas e Gabriel, pelas corre co es e sugest oes ao texto; aos meus familiares e a todos os meus amigos. Aos professores e funcion arios da UFMG e da UESB que de alguma forma me ajudaram a chegar at e aqui. ` CAPES pelo apoio nanceiro. A

Resumo
Simetria sob dilata ca o a n vel cl assico acontece se a lagrangiana e livre de par ametros dimensionais. A corrente de Noether associada a esta simetria e conhecida como corrente de dilata ca o. A quebra qu antica da corrente de dilata ca o (anomalia de escala) est a relacionada com o tra co do tensor energia-momento, por esta raz ao ela e conhecida tamb em como anomalia do tra co. Neste trabalho calculamos perturbativamente, em ordem de um la co, a anomalia do tra co da eletrodin amica qu antica sem massa. O prop osito foi estudar a rela c ao entre a dilata c ao e identidades de Ward de calibre em conex ao com a invari ancia de r otulo dos momentos, tendo em mente uma an alise similar feita para a anomalia de Adler-Bardeen-Bell-Jackiw. Realizamos os c alculos de maneira independente de regulariza ca o a m de excluir anomalias esp urias.

Abstract
Symmetry under dilatation appears at classical level should a Lagrangian be free of dimensionful constants. The Noether current associated to this symmetry is called dilatation current. Quantum symmetry breaking of dilation current (scaling anomaly) is related to the trace of the energy momentum tensor. For this reason it is also known as trace anomaly. In this work we calculate perturbatively, at one loop order, the trace anomaly of massless quantum electrodynamics. The purpose is to study the interplay between dilation and gauge Ward identities in connection with momentum routing invariance bearing in mind a similar analysis done for the Adler-Bardeen-Bell-Jackiw anomaly. We perform the calculations in a regularization independent fashion in order to exclude spurious anomalies.

Sum ario
1 Introdu c ao 6

2 Anomalias em TQC 9 2.1 Simetrias e Leis de Conserva c ao . . . . . . . . . . . . . . . . . . . . . 9 2.1.1 Correntes Conservadas . . . . . . . . . . . . . . . . . . . . . . 10 2.2 Anomalias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3 Anomalia de Escala 3.1 Simetria de Escala . . . . . . . . . . . . . . . . . . . . . 3.2 Corrente de Dilata ca o . . . . . . . . . . . . . . . . . . . 3.2.1 Rela c ao com o Tensor Energia-momento Sim etrico 3.2.2 Eletrodin amica Qu antica (EDQ) . . . . . . . . . 3.3 Quebra An omala da Simetria de Escala . . . . . . . . . . 3.4 IW da Corrente de Dilata ca o . . . . . . . . . . . . . . . . 3.4.1 IW Para Fun c oes de 2 Pontos . . . . . . . . . . . 15 15 18 23 25 27 28 30 33 34 34 36 40

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

. . . . . . .

4 C alculo da Anomalia a um La co por Regulariza c ao Impl cita 4.1 M etodo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1.1 Renormaliza ca o e Invari ancia de Calibre . . . . . . . . . . . . 4.2 C alculo da Anomalia . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Conclus ao

A Tensor de Belinfante 41 A.1 Caso geral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41 A.2 EDQ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

B Dedu c ao da IW da Dilata c ao

46

C C alculo das Amplitudes da IW 52 C.1 C alculo de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 C.2 C alculo de 2 p . . . . . . . . . . . . . . . . . . . . . . . . 75 p D Resultados e Identidades Utilizados 78 D.1 Identidades Utilizadas . . . . . . . . . . . . . . . . . . . . . . . . . . 78 D.2 Exemplo de Termo de Superf cie . . . . . . . . . . . . . . . . . . . . . 79 D.3 Integrais do . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80

Cap tulo 1 Introdu c ao


As simetrias desempenham um papel fundamental na f sica e em especial em teoria qu antica de campos (TQC), onde elas s ao essenciais na compreens ao ou mesmo na constru ca o de teorias. Neste contexto um resultado importante e o teorema de Noether que relaciona a cada simetria uma lei de conserva ca o. Como exemplo temos a simetria ou invari ancia de um sistema por uma transla ca o espa co-temporal que leva a conserva ca o do quadrivetor momento-energia. Surge ent ao o importante tema das quebras de simetrias que est a relacionado com progressos em TQC. Elas podem ser classicadas em tr es classes: Quebra expl cita, que acontece, por exemplo, quando a simetria de uma lagrangiana sob alguma transforma c ao e quebrada pela adi c ao de um termo que n ao e invariante sob esta transforma ca o; quebra espont anea, onde existe simetria das leis din amicas, mas somente congura c oes assim etricas s ao poss veis para o sistemas, geralmente devido a instabilidade das congura co es sim etricas; e quebra qu antica que acontece com o processo de quantiza ca o da teoria e e conhecida tamb em como quebra an omala [1,2]. A express ao quebra an omala surgiu por que acreditava-se que uma simetria existente a n vel cl assico deveria existir tamb em a n vel qu antico, mas isso nem sempre acontece, pois certas simetrias s ao quebradas pela quantiza ca o [2]. O termo respons avel pela quebra da simetria, quando esta e estudada pela lei de conserva ca o cl assica via teorema de Noether, por em num formalismo qu antico (atrav es de Identidades de Ward por exemplo), e denominado anomalia. Sabemos hoje que quebras qu anticas s ao importantes e que muitas vezes salvam modelos que possuiriam, sem elas, simetrias indesej aveis ou n ao observadas experi-

mentalmente. Ou, no caso da simetria quebrada ser indispens avel para o modelo, o conhecimento da anomalia e o mecanismo necess ario para restaurar a simetria cria restri c oes ao modelo que podem resultar em importantes previs oes te oricas. Existe um exemplo importante no modelo padr ao, onde v arios tipos de campos fermi onicos s ao necess arios para descrever quarks e l eptons e onde a simetria quiral para estes campos assegura a invari ancia de calibre da teoria, que e uma invari ancia indispens avel para a mesma. Assim a descoberta da anomalia quiral e o cuidadoso ajuste das cargas destes f ermions para que em conjunto esta anomalia desaparecesse resultou na previs ao te orica das cargas deles (veja em [2] uma explica c ao mais detalhada). No tratamento perturbativo das intera co es em TQC, o aparecimento de anomalias e consequ encia das diverg encias que ocorrem neste m etodo (especicamente dos innitos no ultravioleta que surgem nos c alculos perturbativos) e que precisam ser regularizadas e renormalizadas, ou seja, elas s ao consequ encia dos innitos que surgem na descri c ao matem atica da teoria e da forma de trat a-los. Mas as anomalias s ao importantes para a f sica, j a que resultam delas a explica c ao de v arios fen omenos. Desta forma, podemos reconhec e-las como uma qualidade positiva que resulta do aspecto divergente da TQC e uma justicativa para a validade do processo de regulariza c ao e renormaliza c ao das teorias. Este e um ponto de vista defendido, por exemplo, por Jackiw [2]. Para tratar anomalias com c alculos perturbativos em TQC e necess ario ter um cuidado especial em distinguir anomalias esp urias, que s ao aquelas que surgem no c alculo, mas que podem ser removidas por uma renormaliza c ao adequada, de anomalias f sicas, que s ao as verdadeiras anomalias da teoria. Neste sentido a regulariza ca o impl cita (RI) [39] e uma esquema adequado j a que n ao utiliza um regulador expl cito que e a origem das anomalias esp urias. A anomalia de escala, que e o tema deste trabalho, e a anomalia que quebra a simetria sob transforma c ao de escala (ou dilata ca o) nas coordenadas espa co-temporais e existe em teorias descritas por lagrangianas que n ao dependem de par ametros dimensionais. Do ponto de vista f sico a anomalia de escala e importante, pois em muitos casos a simetria de escala representaria um problema, j a que geralmente quando se muda a escala de um sistema espera-se que sua descri ca o tamb em mude1 .
Para exemplicar podemos pensar na teoria de renormaliza c ao onde a constante de acoplamento da teoria estudada depende da escala de renormaliza c ao, ou escala de massa, e que, portanto,
1

Esta anomalia e tamb em conhecida por anomalia do tra co devido a sua rela c ao com o tra co do tensor energia-momento e o seu estudo, de um modo geral e para algumas teorias espec cas, pode ser encontrado por exemplo em [1016]. Aqui vamos estud a-la no ambito da eletrodin amica qu antica (EDQ) e utilizar a RI para trat a-la em teoria de perturba ca o. Faremos uma breve discuss ao sobre simetrias e anomalias no cap tulo 2; discutiremos a simetria e a anomalia de escala no a mbito da EDQ no cap tulo 3 e calcularemos a anomalia utilizando RI no cap tulo 4. Conclus oes ser ao apresentadas no cap tulo 5 e logo ap os encontram-se alguns ap endices (A, B, C e D) com c alculos e demonstra co es necess arios. Usaremos em todo o texto unidades naturais2 , onde = c = 1, e escolhido como unidade de a c ao e c (velocidade da luz) como unidade de velocidade, ou seja, [S ] = [v ] = 1. Neste sistema a unidade de qualquer grandeza pode ser expressa em pot encias de unidade de massa. Utilizaremos a conven ca o que ndices gregos variam de 0 a 3, latinos de 1 a 3, e ndices repetidos indicam uma soma. A m etrica utilizada e g00 = g11 = g22 = g33 = 1 e g = 0 se = . Utilizaremos nesta disserta ca o conceitos e ferramentas da TQC sendo necess ario ao leitor ter algum conhecimento na area para melhor compreend e-lo. A fundamenta c ao te orica b asica e os conceitos utilizados podem ser encontrados em livros textos como as refer encias [14, 1722].

tem um valor diferente para cada escala de energia. 2 Veja por exemplo [17].

Cap tulo 2 Anomalias em TQC


2.1 Simetrias e Leis de Conserva c ao

Em geral, as leis da f sica podem ser compreendidas atrav es de formula c oes ma4 tem aticas que envolvem a a c ao S , denida por S = d xL, onde L e a densidade de lagrangiana que descreve o sistema. Atrav es dela s ao obtidas as equa co es de movimento pelo princ pio de Hamilton, as leis de conserva c ao pelo teorema de Noether e a transi c ao da f sica cl assica para a f sica qu antica pelo formalismo de integral de 1 trajet oria [14]. Na f sica cl assica, quando alguma transforma ca o e feita no sistema sem que se altere a a c ao, as leis f sicas, que neste caso s ao as equa c oes de movimento, permanecem inalteradas. Assim, o sistema e invariante sob tal transforma ca o e dizemos ent ao que existe uma simetria, onde estamos nos referindo a simetrias das leis f sicas. Em teoria cl assica de campos a densidade de lagrangiana e fun c ao de campos e de suas derivadas, geralmente a lagrangiana n ao depende explicitamente das coordenadas, e os campos s ao fun co es das coordenadas L = L (x), (x) . (2.1)

Assim, uma transforma c ao que caracteriza uma simetria pode ser uma transforma ca o nas coordenadas e nos campos ou somente nos campos. As transforma c oes dos campos podem ser globais, em que o par ametro que caracteriza a transforma ca o n ao depende das coordenadas; ou locais, em que este
Esta transi c ao tamb em pode ser feita por quantiza c ao can onica que e um formalismo hamiltoniano.
1

par ametro depende das coordenadas. Um exemplo s ao as transforma co es de fase para o campo , global (x) e (x), com constante; e local (x) e(x) (x), com dependendo das coordenadas x . Existem tamb em transforma c oes espa co-temporais, que s ao transforma co es nas coordenadas que induzem tamb em transforma co es nos campos. Estas podem ser transforma co es discretas, como transforma co es de revers ao espacial (xi , t) (xi , t) ou invers ao temporal (xi , t) (xi , t); ou transforma co es cont nuas, que de um modo geral tem a forma x x ( x) , (2.2)

onde x (x) signica que as novas coordenadas s ao fun co es das antigas. Esta u ltima classe inclui v arias transforma co es importantes como as transforma c oes de Lorentz, as transla co es, etc., bem como a transforma ca o de escala x x , (2.3)

que e a transforma ca o fundamental para este trabalho, e sobre a qual faremos um estudo mais detalhado no pr oximo cap tulo. Um resultado de fundamental import ancia para o que estudaremos a seguir e o teorema de Noether, que relaciona simetrias a leis de conserva c ao. Este teorema arma que para cada simetria da a c ao, excluindo aquelas por transforma co es discretas, existe uma lei de conserva ca o correspondente. Uma lei de conserva c ao pode ser representada pela equa c ao de continuidade j = 0 , (2.4)

onde a corrente j e conhecida como corrente de Noether. O teorema de Noether nos fornece tamb em a corrente j em termos dos par ametros que denem a transforma ca o em quest ao e dos campos envolvidos na lagrangiana do sistema. Discutiremos na pr oxima se ca o alguns exemplos de correntes sem, no entanto, demonstra-las, pois nossa inten c ao e apenas fazer uma r apida introdu ca o ao tema2 .

2.1.1

Correntes Conservadas
(i m) , LD =

Considere a lagrangiana de Dirac (2.5)

As demonstra c oes podem ser encontradas em v arios livros-textos como em [1721].

10

0 , s onde e o espinor de Dirac, ao as matrizes de Dirac e m e a massa 3 do el etron. Um exemplo importante de corrente conservada nesta teoria e a corrente vetorial , j = (2.6)

cuja conserva ca o est a associada a transforma c ao de fase global ei . Existem v arios outros exemplos, vamos discutir dois casos gerais que v ao ser u teis ao longo do texto. Tensor Energia-Momento Uma transla ca o innitesimal e denida pela transforma ca o nas coordenadas x x = x + a e nos campos (x) (x ) = (x) [17]. Resulta do teorema de Noether que cada componente do tensor denido por4 = g L , com = L , ( ) (2.7)

e a corrente conservada associada a simetria da transla c ao da componente de x e obedece a equa c ao da continuidade (se o sistema for sim etrico sob esta transforma ca o) = 0 . (2.8) Na deni ca o (2.7) os campos (x)s podem ser escalares, vetoriais ou espinoriais5 . Se existir mais de um tipo de campo (escalar e espinor por exemplo) devemos fazer uma soma em todos os campos no termo6 , bem como em termos an alogos ao longo do texto. Para entendermos o signicado f sico de identicamos as cargas de Noether 0 i como sendo d3 x 0 , pois de (2.8) + = 0, ou seja, t xi t
3 4

d3 x 0 =

d3 x

i , xi

(2.9)

Para detalhes sobre estas deni c oes veja [1719, 21] por exemplo. Para demonstra c ao veja por exemplo [20]. 5 Onde omitimos os ndices para facilitar a nota c ao, mas estes ser ao explicitados quando necess ario. 6 Se a lagrangiana estudada depender dois campos e , por exemplo, este termo ser a + .

11

L 0 L , (0 ) e a densidade de hamiltoniano do sistema, e 00 = 0i = L i , (0 )

mas

(2.10)

(2.11)

e a densidade de momento can onico. O quadrivetor de energia-momento P pode assim ser denido em fun ca o do tensor P d3 x 0 , (2.12)

e com isso e chamado de tensor energia-momento. E importante observar que existe uma liberdade na deni c ao deste tensor, pois pode ser somado um termo a ele sem alterar as equa c oes (2.8) e (2.12). Esta liberdade e usada por exemplo para simetriz a-lo, j a que ele nem sempre e sim etrico. A dedu ca o do tensor sim etrico e uma discuss ao sobre a liberdade citada para a deni ca o do tensor energia-momento encontram-se no ap endice A. Tensor Densidade de Momento Angular As transforma co es innitesimais de Lorentz s ao denidas por x x = x + x , com = . A transforma ca o para os campos pode ser escrita de um modo geral por [17] S (x) , (2.13) (x) (x ) = (x) + 1 2 onde S e a matriz de spin do campo e depende das propriedades de transforma c ao deste. Estas propriedades devem ser tais que mantenham a simetria sob transforma co es de Lorentz para que a teoria seja relativ stica. Assim, impondo a invari ancia de Lorentz obtemos a matriz S para cada campo. O tensor que representa a corrente de Noether associada a simetria sob esta transforma ca o e dado por7 M = S + x x , que obedece a equa ca o de continuidade M = 0 ,
7

(2.14)

(2.15)

Para demonstra c ao veja por exemplo [20].

12

e as quantidades conservadas associadas s ao M = d3 x M0 . (2.16)

O tensor M e chamado de tensor de densidade de momento angular, pois M ij e o operador momento angular do campo.

2.2

Anomalias

Numa teoria cl assica uma simetria pode ser representada pela lei de conserva ca o associada, ou seja, pela equa ca o da continuidade (2.4), pois a validade da equa c ao implica na exist encia da simetria. Em TQC a equa ca o da continuidade para uma corrente implica numa identidade de Ward (IW), associada a mesma corrente, mas que relaciona fun c oes de Green. Assim, uma simetria pode ser vericada em TQC atrav es da IW correspondente, e a viola ca o da IW da corrente cl assica (que e conhecida por alguns autores como IW ing enua) signica a quebra da simetria. 5 5 , conhecida como corrente axial, Para ilustrar, considere a corrente j = onde 5 i 0 1 2 3 e e um campo espinorial. Esta corrente e conservada se o f ermion for n ao massivo e tem a IW associada dada por q T = 2mT , (2.17)

onde T e T s ao amplitudes no espa co dos momentos e q e um dos momentos envolvidos no processo em quest ao. A demonstra ca o para a conserva ca o desta corrente e feita utilizando as equa co es de movimento, e para a IW (2.17) utilizando essa lei de conserva ca o, e assim esta e a IW da corrente cl assica. Estas demonstra co es est ao feitas no cap tulo 4 da refer encia [23]. Aqui vamos apenas citar os resultados para exemplicar uma anomalia. Nesta refer encia est a demonstrado tamb em que quando as mesmas amplitudes s ao calculadas diretamente pelas regras de Feynman se obt em q T = 2mT + A , onde A = 1 2 2
k1 k2

(2.18)

(2.19)

13

e a anomalia em quest ao, sendo k1 e k2 momentos de part culas envolvidas no processo. No pr oximo cap tulo iremos estudar a anomalia de escala seguindo estes mesmos passos: Primeiro obteremos a IW associada a simetria e depois calcularemos as amplitudes relacionadas diretamente pelas regras de Feynman para obter a anomalia. Assim, estudaremos a anomalia apenas do ponto de vista da teoria de perturba ca o. Existe, no entanto, v arios m etodos de estudo de anomalias, muitos dos quais incluem modernas a reas da matem atica como geometria diferencial, co-homologia e topologia. Estes m etodos podem ser encontradas, por exemplo, na refer encia [23] que enfatiza tais m etodos matem aticos e fala sobre os v arias aspectos das anomalias em TQC. J a a refer encia [24] trata especicamente do m etodo de Fijikawa, m etodo este que utiliza a formula ca o da integral de trajet oria da teoria qu antica e mostra que, nesta formula ca o, cada anomalia surge pelo fato da medida da integral de trajet oria n ao ser invariante sob a transforma ca o relacionada.

14

Cap tulo 3 Anomalia de Escala


3.1 Simetria de Escala

Seguindo a discuss ao do cap tulo anterior sobre simetrias, vamos estudar a transforma ca o de escala e mostrar que ela resulta em uma simetria da a c ao quando a lagrangiana n ao depender de par ametros dimensionais. Podemos representar a transforma c ao de escala nas coordenadas por x x = e x, (3.1)

com real. O conjunto das transforma co es deste tipo forma um grupo cont nuo 1 abeliano . Para descobrir qual e a transforma ca o nos campos, come caremos considerando 2 campos cl assicos. Considerando um campo gen erico , podemos representar a transforma ca o correspondente a (3.1) para como (x) (x ) = T ( )(x) , (3.2)

onde T ( ) e uma representa c ao do grupo de transforma c oes de escala para os campos, j a que esta transforma c ao deve fazer parte tamb em de um grupo cont nuo e depender do mesmo par ametro . Assim, podemos representar a transforma c ao
Duas transforma c oes quaisquer do grupo s ao sempre comutativas: e 1 e 2 = e 2 e 1 . Que pode ser campo escalar, espinorial ou vetorial, onde devemos utilizar matrizes ou ndices de Lorentz quando for o caso. Vamos omitir os ndices para simplicar a nota c ao, utilizando-os somente quando necess ario.
2 1

15

por3 T ( ) = exp( D), mas veremos que para uma lagrangiana cl assica independente de par ametros dimensionais teremos simetria se escolhermos a matriz D tal que multiplique cada campo bos onico por -1 e fermi onico por -3/2. Desta forma, para simplicar, vamos escrever T ( ) = exp( d ), onde d assumir a um valor espec co 4 para cada campo . Assim reescrevemos (3.2) como (x) (x ) = exp( d )(x) . (3.3)

Vejamos um exemplo de como uma teoria pode ser invariante sob esta transforma ca o. Considere a densidade de lagrangiana de Maxwell sem fonte
1 L = 4 F F ,

(3.4)

onde F = A A e A = (, A) e o potencial eletromagn etico. Ap os a transforma ca o, SS = d4 x L(A (x ), A (x )),

(3.5)

com = e e A (x ) = ed A (x), ou seja, F S = e4

= e(d+1) F ,

1 )F F d4 x e(2+2d) ( 4

= e(2d+2) S ,

(3.6)

e assim A deve se transformar com d = 1 para esta teoria ser invariante de escala. Podemos obter a transforma c ao para campos qu anticos postulando que o valor esperado de um operador deve se transformar da mesma forma que a grandeza cl assica relacionada [19]. Considerando | = U ( )| a transforma ca o de um vetor de estado no espa co de Hilbert, onde U ( ) deve ser um operador linear e unit ario5 (U = U 1 ), obtemos |(x)| |(x )| = exp( d ) |(x)| ,
3

(3.7)

Aqui assumimos a propriedade de uma transforma c ao do grupo de Lie poder ser representado pela exponencial da algebra de Lie correspondente. Para detalhes veja por exemplo [20]. 4 Isto equivale a supor que a transforma c ao seja linear que e o caso de todos os campos que iremos tratar neste trabalho. Veja na se c ao 2.4 da refer encia [16] um exemplo de uma transforma c ao de escala n ao linear. 5 Para conservar a norma.

16

que resulta em (x) U 1 ( )(x )U ( ) = exp( d )(x) , ou U ( )(x)U 1 ( ) = exp( d )(x ) . (3.9) Para o caso de campos livres, podemos obter a dimens ao de escala usando as rela co es de comuta c ao para tempos iguais que estes devem obedecer [14]. Para um campo escalar e um espinor as rela c oes s ao6 (y, t)] = i (x y ) , [(x, t), e y, t) = 0 (x y ) . (x, t), ( (3.11) (3.10) (3.8)

Multiplicando as equa c oes (3.10) e (3.11) pela esquerda por U e pela direita por U , usando (3.9), e impondo que elas sejam invariantes, obtemos
1

(y, t)U 1 ] = [U (x, t)U 1 , (U (y, t)U 1 )] [U (x, t)U 1 , U t (y , t )] = exp((2d + 1) )[(x , t ), t = exp((2d + 1) )i (x y ) , (3.12) mas como (axi ) =
1 (xi ), |a|

ou seja, (x y ) = (e x e y ) = e3 (x y ), (3.13)

(y, t)U 1 ] = exp((2d 2) )i (x y ) , [U (x, t)U 1 , U e obtemos d = 1 para que a rela ca o (3.10) volte a ser satisfeita. Analogamente, y, t)U 1 = U (x, t)U 1 , U (y, t) 0 U 1 , U (x, t)U 1 , U ( com U 0 U 1 = U U 1 U 0 U 1 = U U U 0 U 1 = (U U ) U 0 U 1 = (U U 1 ) 0 ,
6

(3.14)

(3.15)

(3.16)

Veja por exemplo [17].

17

obtemos y, t)U 1 U (x, t)U 1 , U ( y ,t ) = exp(2d ) (x , t ), ( = exp(2d ) (x y ) = exp((2d 3) ) (x y ) e d = 3/2. (3.18) A unidade da lagrangiana deve ser [L] = [m]4 , pois S = d4 xL e [xi ] = [x0 ] = [m]1 . Podemos ent ao saber a unidade dos campos observando a unidade dos termos cin eticos da lagrangiana, que para campos escalares tem a forma , e para / 7 , e assim campos espinoriais, i [] = [m]1
3

(3.17)

e [] = [m] 2 .

(3.19)

Comparando com d e d , observamos que a dimens ao de escala do campo e igual a dimens ao de unidade (pot encia da unidade de massa de sua unidade). Observando a equival encia entre dimens ao de unidade e dimens ao de escala para os campos e poss vel concluir que a a c ao de uma teoria descrita por uma densidade de lagrangiana que n ao possui termos dimensionais ser a invariante de escala, pois cada termo da densidade de lagrangiana vai ser escalonada por um mesmo fator (4 se x x) ap os a transforma c ao, que vai ser compensado pela medida de integra ca o (d4 x 4 d4 x) na express ao da a ca o S . J a quando existir termos com par ametros dimensionais na lagrangiana a a c ao n ao ser a mais invariante devido a estes termos que v ao ser escalonados por um fator diferente (por exemplo m2 2 2 m2 2 ).

3.2

Corrente de Dilata c ao

A corrente de dilata ca o e a corrente de Noether associada a simetria de escala. Para obt e-la, vamos considerar o teorema de Noether, que pode ser estudado como segue (em uma vers ao simples e pr opria para teoria de campos8 ).
7/ 8

B B , onde s ao matrizes de Dirac (veja (2.5)). Para discuss ao completa veja por exemplo [20].

18

Usando as equa c oes de Euler-Lagrange9 , obtemos a varia c ao da lagrangiana L(, ) para uma transforma ca o do tipo (x) (x) + (x) como sendo L = L L L L + ( ) = ( ) + ( ), (3.20)

onde foi usado que ( ) = ( ), pois a varia ca o que estamos considerando e independente das coordenadas10 . Assim L = ( ) , onde = (3.21)

L e o quadrimomento conjugado ao campo . ( ) Se para tal transforma c ao a varia c ao da lagrangiana, obtida agora sem o uso das equa co es de Euler-Lagrange, pode ser escrita como uma quadridiverg encia L = F , (3.22)

ent ao, subtraindo a equa ca o (3.22) da (3.21), conclu mos que a corrente J denida por J = F , (3.23) obedecer a a equa ca o da continuidade J = 0. (3.24)

A corrente J e conhecida como corrente de Noether associada a transforma c ao 0 11 e sua componente J conhecida como densidade de carga de Noether. A condi ca o (3.22) e equivalente a invari ancia da a ca o, pois L L + F leva a SS+
9 L

(3.25)

d4 x F ,

(3.26)

L = 0 , para demonstra c ao veja [20]. 10 Estamos considerando varia c ao no mesmo ponto, ou seja, (x) (x) (x) , e assim, ( (x)) = (x) (x) = (x) . 11 Sua integral no volume e uma quantidade conservada no tempo de acordo com a equa c ao da continuidade.

19

e podemos desprezar o termos de superf cie12 d4 x F . Temos assim a rela c ao entre cada simetria (invari ancia da a ca o) e a lei de conserva ca o correspondente (equa ca o da continuidade). Podemos estudar uma transforma ca o de escala innitesimal usando e = 1 + 2 (desprezando O( )) e reescrevendo a equa ca o (3.9) como U ( )(x)U 1 ( ) = exp( d )(e x) = (1 + d ) (x) + (1 + )x x (x) = (x) + (d + x )(x) , que nos fornece (x) = U ( )(x)U 1 ( ) (x) = (d + x )(x) . (3.28) (3.27)

Vamos assumir que se a lagrangiana n ao conter nenhum termo dimensional a varia c ao de cada termo vai ser do tipo La = (4 + x )La = (x La ) , (3.29)

onde o ndice a se refere a cada termo da lagrangiana. Este resultado ser a demonstrado para a lagrangiana de interesse, mas podemos justicar essa suposi ca o pelo fato que uma varia ca o deste tipo deixa a a ca o invariante e est a de acordo com o que foi discutido (nal da se ca o 3.1 p.18) que ela deve mesmo ser invariante para lagrangianas sem termos dimensionais. Vejamos como exemplo uma lagrangiana que contenha um termo do tipo Lb = 1 . A varia ca o Lb pode ser calculada usando 2 Lb = Lb Lb Lb + ( ) = ( ) , ( ) ( ) (3.30)

e como e independente das coordenadas13 , ( ) = , ou, ( ) = (d + x )(x) = (d + 1 + x ) =


12 13

(2 + x ) ,

(3.31)

Os campos devem ser fun c oes bem comportadas no innito para descrever entidades f sicas. Veja nota 10 da p agina anterior.

20

onde usamos d = 1 obtido anteriormente (veja equa ca o (3.14)), e como obtemos Lb = ( (2 + x ) ) = mas ( ) = ( ) + ( ) = 2 ( ) , e assim Lb =
1 2

Lb = ( )

2 + x ( )( ) ,

(3.32)

(3.33)

(4 + x )( ) = (4 + x )Lb = (x Lb ) .

(3.34)

Se calcularmos La para cada termo a que seja independente de par ametro dimensional obteremos uma varia ca o na forma do resultado (3.34). / Um exemplo mais geral pode ser feito considerando um termo que contenha A (veja logo ap os as equa c oes (2.5) e (3.4) respectivamente as deni co es de A e ) que tem dimens ao de escala 4. A varia ca o deste termo vai ser ) = (A + A ) + A ( ) / / ) / ( / (A +A +A ( 3 + x ) / / (3 / + x ) = (1 + x )A 2 2 / ) . = (4 + x )(A (3.35) Generalizando este resultado, vemos que a varia c ao de cada termo ser a igual ao termo multiplicado pela esquerda por dtermo + x , e como termos sem par ametros dimensionais tem dimens ao de escala igual a dimens ao de massa que e igual a 4, a varia c ao total de uma lagrangiana independente de par ametros dimensionais vai ser L = (x L) . A rela c ao acima satisfaz a condi c ao (3.22) com F = x L (3.37) (3.36)

e portanto tem uma corrente de Noether denida por (3.23), (3.28) e (3.37) como sendo J = F = ( (d + x ) x L) = d + x ( g L) . 21 (3.38)

Como e um par ametro arbitr ario podemos denir D = 1 J , e usar a deni ca o do tensor energia-momento can onico (veja equa c ao (2.7) ) = g L para obter D = d + x . (3.39) Assim, o vetor D , conhecido como corrente de dilata c ao, e a corrente de Noether associada a simetria de escala e satisfaz a equa c ao da continuidade D = 0 . (3.40)

Uma considera c ao importante deve ser feita a respeito de quando existir algum termo dependente de par ametro dimensional (como a massa por exemplo). Neste caso a varia c ao da lagrangiana n ao vai ser mais uma quadridiverg encia como em (3.36). Se conseguirmos escrev e-la como uma quadridiverg encia somada a um termo A L = (x L) + A , (3.41) ent ao a equa c ao da continuidade para D n ao ser a mais v alida, mas se transformar a em D = A , (3.42) pois dos resultados e deni c oes anteriores sabemos que L = ( ), e L = (x L) + A = F + A com J F e assim, ( ) = F + A , que com D
1

(3.43)

(3.44)

e F x L ,

(3.45)

ou, J = A ,

(3.46)

J ,

(3.47)

22

demonstra o resultado (3.42). Vejamos como exemplo a lagrangiana de Klein-Gordon L=


1 2

2 2 = Lb + Lc

(3.48)

em que Lb = 1 , Lc = 1 2 2 , e um campo escalar real e a massa asso2 2 ciada a este campo. Da equa ca o (3.34) sabemos que Lb = (x Lb ) e calculando Lc , Lc Lc Lc + ( ) = ( ) = (2 )(d + x ) = (d 2 2 + 2 x ) ,

Lc =

(3.49)

que usando d = 1 do resultado (3.14), e 2 = 2 , resulta em Lc = (4 + x )( 1 2 2 ) + 2 2 = (4 + x )(Lc ) + 2 2 . 2 Assim, A = 2 2 e usando (3.42) obtemos D = 2 2 , (3.51) (3.50)

de onde pode-se concluir que a quadridiverg encia da corrente de dilata ca o e proporcional ao termo da lagrangiana que cont em par ametro dimensional. Este resultado particular e observado em outras lagrangianas tamb em, como e o caso da lagrangiana da eletrodin amica que iremos estudar em seguida.

3.2.1

Rela c ao com o Tensor Energia-momento Sim etrico

O tensor energia-momento can onico = g L n ao e sim etrico, mas pode ser simetrizado e o tensor sim etrico conhecido como tensor de Belinfante 14 e denido por T = + f (3.52) com ( S S + S ) , f = 1 2
14

(3.53)

Veja o ap endice A.

23

onde S e a matriz de spin do campo denida pela transforma c ao innitesimal de Lorentz do campo. Existe ainda um outro tensor energia-momento (conhecido na literatura por improved energy-momentum tensor ), que foi proposto por Callan, Coleman e Jackiw [25] e e denido por T = T 1 ( g 2 ) . 6 (3.54)

Este nos interessa por possibilitar uma express ao simples para a corrente de dilata ca o dada por D = x T . Note que este tensor e diferente do sim etrico T apenas por um fator que depende somente de campos escalares s , mas como neste trabalho vamos estudar o caso de uma lagrangiana que depende de campos espinoriais ( ) e vetoriais (A ), mas n ao de campos escalares, nos limitaremos a demonstrar que para o nosso caso podemos escrever D = x T , que leva ao importante resultado D = g T + x T
= T ,

(3.55)

(3.56)

onde foi usado T = 0, que deve ser satisfeito j a que T e um tensor energiamomento (ver demonstra ca o no ap endice A). A equa c ao (3.56) identica a quadridiverg encia da corrente de dilata ca o com o tra co do tensor energia-momento sim etrico e e um resultado que ser a muito u til neste trabalho. Para demonstrar o resultado (3.55) segue da deni ca o de D (3.39) e de T (3.52) que D = d + x = d + x (T f ) = x T + d + g f (x f ) . (3.57)

Mas como f e anti-sim etrico na troca de por , o termo (x f ) vai ser zero quando for aplicado a quadridiverg encia . Logo, podemos redenir D como D = x T + d + g f , 24 (3.58)

e este vai ter a mesma quadridiverg encia do anterior que e o que nos interessa. Vamos mostrar na pr oxima se ca o que para os campos e A teremos a rela c ao d + g f = 0 , garantindo o resultado desejado para D (3.55). (3.59)

3.2.2

Eletrodin amica Qu antica (EDQ)

Vamos estudar a corrente de dilata c ao e sua rela c ao com o tensor energia momento para o caso da EDQ. V arios dos resultados utilizados nesta se ca o est ao demonstrados no ap endice A. Considere a densidade de lagrangiana (i / m + eA / ) 1 F F , L= 4 (3.60)

que e a soma da lagrangiana de Dirac (2.5) com a lagrangiana de Maxwell (3.4) e o termo de intera ca o A / , LI = e (3.61) onde e e a carga (em m odulo) do el etron. A constru c ao de (3.60) pode ser feita impondo que a teoria seja invariante sob transforma ca o de calibre ( e e A A + 1 , com = (x)) 15 . e Para a lagrangiana (3.60) temos os seguintes resultados: Para o campo vetorial A A = e assim
= F A + g F A A dA A + g fA

L = F , ( A )

dA = 1,

fA = F A ,

(3.62)

= F A F A = 0 ,

(3.63)

onde foi usado que F = F , demonstrando que o resultado (3.59) e v alido para este campo.
15

Para detalhes veja por exemplo [1719, 21]

25

Para os campos espinoriais e = L , = i ( ) = L ) = 0 , ( d = 3/2 , (3.64)

1 =4 f i ( g g + g ) ,

(3.65)

e assim
= d + g f 3 i 2 3 i 2 3 i 2 1 + g 4 i ( g g + g ) ( g g + g ) + 1 i

= =

4 1 i (2 4

4 + ) (3.66)

= 0,

onde foi usado a identidade = 2 , demonstrando que o resultado (3.59) e v alido tamb em para estes campos. Desta forma, para esta lagrangiana, a equa c ao (3.55) e satisfeita e temos a rela ca o entre a equa c ao de continuidade para a corrente de dilata ca o e o tensor energiamomento sim etrico (3.56) D = T , (3.67) onde T e o tensor de Belinfante da eletrodin amica que e dado por16

T =

1 ( ) + ( ) ) i( 4 1 + F F + 2 e ( A + A ) g L .

(3.68)

Vamos agora calcular explicitamente T , T = 1 ( ) + ( ) ) i( 4 ( A + A ) g L + F F + 1 e 2 1 / i( 2

) ) F F + e A / ( (3.69)

(i / m + eA / ) 1 4( F F ) 4 ) 3e A , / 1 / + 4m = 7 i i( 2 2
16

A demonstra c ao deste tensor encontra-se na se c ao A.2 do ap endice A.

26

, i , / = (eA / m) , e para e usando as equa co es de Euler-Lagrange para = (eA / m), obtemos i


T = 7 / (eA 2

(eA A / m) 3e / + 4m m) 1 2 (3.70)

, = m

observando que este e um resultado cl assico j a que usamos as equa c oes de EulerLagrange, e com ele podemos escrever a quadridiverg encia da corrente de dilata ca o da eletrodin amica como sendo . D = m (3.71)

Veremos na pr oxima se c ao que este resultado e diferente quando a lagrangiana e renormalizada, onde podem surgir termos adicionais no lado direito desta equa ca o.

3.3

Quebra An omala da Simetria de Escala

Em uma teoria renormalizada a constante de acoplamento g depende da escala de energia. Neste caso devemos esperar que uma teoria invariante de escala n ao seja mais invariante depois da renormaliza ca o devido a sua depend encia da constante de acoplamento, pois se considerarmos a mesma teoria em escalas diferentes a constante de acoplamento deve mudar [21]. Para ter uma intui c ao de como a simetria e quebrada podemos pensar que x x = e x = e , (3.72)

onde foi usado que a escala de renormaliza ca o , que tem dimens ao de massa [] = [m], ser a escalonada com o inverso da transforma ca o de x (j a que comprimento tem dimens ao de [m]1 ). E assim g g = g + ( ) onde =
17

g g ,

(3.73)

g e uma fun ca o do grupo de renormaliza c ao17 .

Veja por exemplo [21].

27

A lagrangiana vai sofrer uma varia c ao adicional, devido a varia ca o de g, do tipo L e respons avel pela quebra da simetria. Isto e apenas uma discuss ao in g que tuitiva, pois supomos aqui que os campos renormalizados se transformem da mesma maneira que os campos nus. Existe uma discuss ao que em baixas ordens de teoria da perturba ca o pode-se explicar a anomalia supondo que a dimens ao de escala do campo e alterada pela intera ca o tornando-se a dimens ao do campo livre somada a dimens ao an omala. N ao vamos entrar em detalhes desta discuss ao, mas ela pode ser encontrada em [11]. Nosso objetivo e calcular o termo an omalo com c alculos perturbativos usando a IW relacionada a equa ca o de continuidade desta simetria. Vamos deduzir a IW da dilata ca o a n vel cl assico, isto e, a identidade que equivale a corrente ser conservada, e calculando explicitamente os termos desta identidade obteremos o termo que quebra a identidade, e que, por consequ encia, quebra a simetria.

3.4

IW da Corrente de Dilata c ao

Vamos estudar a IW associada a corrente de dilata c ao que e obtida como resultado de (3.42)
D = T ,

(3.74)

onde D = x T , (3.75)

e a corrente de Noether associada a transforma c ao de escala. A equa ca o (3.74) e o caso quando a lagrangiana representa uma simetria a n vel cl assico se T = 0 que que descreve a teoria n ao cont em par ametros dimensionais como vimos nas se co es anteriores. A IW da corrente de dilata ca o que relaciona fun co es de Green no espa co dos momentos e
n1

iGT (0, p1 , ..., pn1 ) = n(d 4) + 4


k

(n)

pk

G(n) (p1 , ..., pn1 ) , (3.76) pk

28

cuja demonstra c ao encontra-se no ap endice B, onde G({p}) e GT (k, {p}) s ao fun co es de Green no espa co dos momentos denidas por
n

(2 )4
k=1

pk G(n) (p1 , ..., pn1 )


n

= e
n

d x1 ...d xn exp i
k=1

pk xk G(n) (x1 , ..., xn ) (3.77)

(2 ) k +
k=1

pk G(n) (k, p1 , ..., pn1 )


n

d yd x1 ...d xn exp i ky +
k=1

pk x k

G(n) (y, x1 , ..., xn ) (3.78)

sendo as respectivas fun c oes de Green no espa co das coordenadas denidas matematicamente por G(n) (x1 , ..., xn ) 0|T (x1 )...(xn )|0 (3.79) e
GT (y, x1 , ..., xn ) 0|T T (y )(x1 )...(xn )|0 , (n)

(3.80)

onde o T que aparece a esquerda dos campos nas equa c oes acima e o ordenamento temporal e |0 e o estado fundamental da teoria com intera c ao. O par ametro d na equa ca o (3.76) e a dimens ao de escala de cada campo na fun c ao de Green (3.79) e o termo 4 + n(d 4) e igual a dimens ao de massa da fun c ao de Green no espa co dos momentos como podemos vericar da express ao (3.77). Ent ao, por analogia, (n) podemos esperar que esta identidade para fun co es de v ertice T (k, p1 , ..., pn ) e (n) (p1 , ..., pn ) ser a
n1

(n) iT (0, p1 , ..., pn1 )

= 4 nd
k

pk

(n) (p1 , ..., pn1 ) , pk

(3.81)

j a que as fun co es de v ertice (n) (p) s ao denidas18 como as fun c oes de Green conexas retirando-se os propagadores das pernas externas, onde as fun c oes de Green conexas s ao as fun c oes de Green considerando unicamente os diagramas de Feynman conexos, (n) (p1 , ..., pn1 )
i
18

[F (pi )]1 Gn con (p1 , ..., pn1 ) ,

(3.82)

Veja [18]

29

onde F (pi ) representa o propagador do campo, e assim a dimens ao de cada fun ca o de v ertice e (n(d 4) + 4) (2d 4)n = 4 nd . (3.70), A equa c ao (3.81) e um resultado a n vel cl assico se usarmos T = m que foi obtido usando as equa c oes de Euler-Lagrange. Ela representa a simetria de escala no caso em que a teoria n ao tem par ametro dimensional como discutido acima, que implica m 0, e que deve ser quebrada pela renormaliza c ao j a que esta introduz um par ametro dimensional. Vamos calcular na pr oxima se ca o a IW para n = 2.

3.4.1

IW Para Fun co es de 2 Pontos

Vamos estudar a IW para o caso da fun ca o de Green na teoria da EDQ com n = 2 e campos externos A G(2) (x, y ) = 0|T A (x)A (y )|0 (3.83)

que e o propagador do f oton com corre co es radiativas, e a fun c ao de Green an aloga envolvendo o operador T
GT (z, x, y ) = 0|T T (z )A (x)A (y )|0 . (2)

(3.84)

Da equa ca o (3.76) temos iGT (0, p) = 2(dA 4) + 4 p que usando dA = 1 (resultado (3.14)) resulta em iGT (0, p) = 2 p
(2) (2)

G(2) (p) , p

(3.85)

G(2) (p) . p

(3.86)

Podemos obter a IW da dilata c ao relacionando fun co es de v ertice. Para o caso em quest ao, como a fun c ao de Green de 2 pontos n ao tem diagramas desconexos, a fun ca o de v ertice19 e obtida por G (p) = D (p) (p)D (p) ,
19

(3.87)

A fun c ao de v ertice e denida como a fun c ao de Green conexa, isto e, sem as contribui c oes dos diagramas desconexos, retirando-se dela os propagadores externos.

30

onde D (p) = ig p2 (3.88)

e o propagador do f oton. Podemos denir a fun c ao de v ertice an aloga para GT (p) como
G T (p) = D (p)T (0, p)D (p) .

(3.89)

Observe que p e p G ( p) = p D (p) (p)D (p) p + D (p) p (p) D (p) p + D (p) (p) p D (p) p p (p) D (p) . p (3.91) Usando estes resultados em (3.85), obtemos iT (0, p) = 2dA p
(2)

ig D (p) = 2 (2p2 ) = 2D (p) p p

(3.90)

= 4D (p) (p)D (p) + D (p) p

(2) ( p) , p

(3.92)

que usando o resultado dA = 1 (3.14) resulta em T (0, p) = i 2 p


(2)

(2) (p) . p

(3.93)

A equa ca o acima est a de acordo com o resultado para fun c oes de v ertice de n pontos (3.81) do cap tulo anterior. Podemos reescrever (3.93) como (0, p, p) = 2 p 31 (p, p) , p (3.94)

onde (p, p) i (p) e (0, p, p) T (0, p). Estas amplitudes s ao representadas a um la co em diagramas de Feynman como segue.

(2)

A justicativa para o segundo diagrama ter esta forma e que a fun c ao G T (0, p), correspondente a esta amplitude e que e a transformada de Fourier da fun ca o de 3 pontos GT (x, y, z ), e an aloga a fun ca o de Green G (p), por em com um dos momen tos iguais a zero e com o v ertice correspondente gerado pelo operador T = m que gera os outros v em vez de j = e ertices (veja equa co es (3.78) e (3.80)). Podemos assim usar as regras de Feynman para os u ltimos gr acos incluindo o termo im para o v ertice marcado com X em analogia com ie dos v ertices da QED.


(2)

(3.95)

(3.96)

32

Cap tulo 4 C alculo da Anomalia a um La co por Regulariza c ao Impl cita


Para calcular as amplitudes envolvidas na equa ca o (3.94) e preciso utilizar algum esquema de regulariza ca o e renormaliza ca o. Como discutido anteriormente, este processo quebra a simetria de escala com a introdu ca o de um par ametro dimensional na lagrangiana, par ametro este conhecido como escala de renormaliza c ao, necess aria em qualquer esquema de renormaliza ca o. Esta quebra de simetria se caracteriza pela viola ca o da IW da dilata c ao que pode ser identicada por um termo extra na equa ca o (3.94) que e a nossa anomalia. Realizamos o c alculo de ambos os lados da equa ca o (3.94) separadamente, a n vel de um la co, no limite m 0 que e o caso em que existe simetria a n vel cl assico, e desta forma obtivemos a anomalia. Utilizamos a regulariza ca o impl cita (RI) [35, 79], onde um dos passos deste esquema equivale a parametrizar as diverg encias de forma independente de regulariza c ao evitando o surgimento de anomalias esp urias, que s ao apenas um defeito do c alculo e que podem ser eliminados por uma renormaliza ca o adequada, n ao tendo assim signicado f sico. Faremos uma breve descri ca o do m etodo e logo ap os apresentaremos os resultados com discuss oes das passagens importantes do c alculo, cujos detalhes encontram-se no ap endice C.

33

4.1

M etodo

A ideia principal da RI e separar as integrais divergentes em integrais nitas e integrais que n ao dependem do momento externo. Isto e feito por meio de manipula co es matem aticas, onde podemos assumir que existe um regulador impl cito para justicar a manipula c ao das diverg encias, mas separando-as como descrito acima elas n ao precisar ao ser avaliadas depois, pois podemos absorv e-las pela deni ca o das constantes de renormaliza ca o. Faremos tal manipula c ao aplicando (quantas vezes for necess ario at e isolar todas diverg encias) a identidade k 2 m2 1 (k + p)2 m2 2kp p2 1 = = [(k + p)2 m2 ] k 2 m2 [(k + p)2 m2 ] (k 2 m2 )[(k + p)2 m2 ] p2 + 2kp 1 , (4.1) = (k 2 m2 ) (k 2 m2 )[(k + p)2 m2 ] nas integrais divergentes, onde p e o momento externo e k o momento interno que ser a integrado. Desta forma n ao introduzimos nenhum regulador explicitamente nos c alculos, evitando contaminar a parte nita das amplitudes.

4.1.1

Renormaliza c ao e Invari ancia de Calibre

Como exemplo vamos estudar a renormaliza ca o do tensor polariza c ao do v acuo , onde omitiremos os detalhes dos c alculos, pois estes podem ser encontrados nos trabalhos [4, 6]. Apresentaremos apenas as passagens importantes para a compreens ao do m etodo e discutiremos tamb em o papel da invari ancia de calibre. Usando as regras de Feynman em (3.95), obtemos i =
k

T r{e S (k )e S (k + p)} , d4 k/(2 )4 .

(4.2)

onde S (k ) =

i e o propagador do fermion e /m k

34

Ap os tomar o tra co, manipular devidamente e utilizar a identidade (4.1), obtemos = 2 4ie2 k k k2 1 g + m2 g 2 2 2 2 2 2 2 2 2 k (k m ) k (k m ) k (k m ) 2k k k k k k k k p2 + 8 p p 2 p p 2 2 3 2 2 4 2 2 3 k (k m ) k (k m ) k (k m ) k k k2 k 2 k k 2 2p p p g 4 g p p 2 2 3 2 2 3 2 2 4 k (k m ) k (k m ) k (k m ) k k b 2 p g p p + 2g p p 2 2 3 3 k (k m ) 1 (2m2 + p2 ) + Z0 (p2 ; m2 ) 2 3 p 1 0 1 1 2 0 0 0 = + 4 2 p + p p p p p p g 2 3 2 (4.3) com = onde 4 2 1 (2m2 + p2 ) (p g p p ) Ilog (m2 ) b + Z0 (p2 ; m2 ) 3 3 p2 p2 z (z 1) + m2 Z0 (p ; m ) = dz ln m2 0 i b , (4 )2
2 2 1

, (4.4)

(4.5) (4.6)

0 0 ao diferen cas de integrais com mesmo grau de diverg encia e Ilog 2 , e s e logaritmicamente divergente. Estas integrais n ao dependem do momento externo p e est ao listadas na se ca o D.3 do ap endice D. 0 0 Um resultado importante em RI e que os termos 2 ao termos de , e s superf cie (veja um exemplo na se c ao D.2 do ap endice D), e que eles s ao arbitr arios e dependentes de regulariza c ao. A demonstra c ao e discuss ao destes resultados pode ser encontrada em [47], em [9] e mostrado ainda que termos de superf cies em RI, como os citados acima, est ao conectados com os r otulos dos momentos e que a invari ancia de r otulo e uma condi c ao necess aria para assegurar a invari ancia de calibre. Veremos a seguir que para o nosso caso estes termos de superf cie devem ser nulos para manter uma IW de calibre.

35

Assumindo a arbitrariedade dos termos de superf cie podemos escrever (4.4) como = + (1 m2 g + 2 p2 g + 3 p p ) 4ie2 (4.7)

sendo os s constantes arbitr arias. Mas a invari ancia de calibre da EDQ implica que o tensor de polariza c ao do v acuo deve satisfazer a condi c ao1 p (p) = 0 , (4.8)

e assim os s devem ser nulos. A escala do grupo de renormaliza c ao, que chamaremos de , e introduzida em RI pela identidade (veja detalhes em [5, 6, 8]) Ilog (m2 ) = Ilog (2 ) + b ln 2 . m2 (4.9)

Para renormalizar, vamos utilizar o contratermo2 i(p2 g p p )(Z3 1), onde Z3 e denido pela renormaliza c ao do campo A , A = Z32 A r , e assim, obtemos 4 Z3 = 1 + iIlog (2 ) 3 e
2 r = + i(p g p p )(Z3 1) ,
1

(4.10)

(4.11)

(4.12)

que e o tensor polariza ca o do v acuo renormalizado.

4.2

C alculo da Anomalia

Para obter a anomalia de escala calcularemos primeiro o lado esquerdo da equa c ao (3.94), obtido este resultado usaremos o resultado de para calcular o lado direito.
1 2

Pois esta e a IW associada a invari ancia de calibre. Veja [21] por exemplo. Veja a se c ao Renormalization of Quantum Electrodynamics em [21].

36

Usando as regras de Feynman em (3.96), obtemos = 2


k

T r{e S (k )e S (k + p)mS (k + p)} ,

(4.13)

que ap os tomar o tra co e devidas manipula c oes (veja detalhes na se ca o C.1 do ap endice C) resulta em (C.10)
2 2 = 8ie2 m2 4(0) (m ) g Ilog (m ) +

(4.14)

onde
2 (0) (m ) = k

(k 2

k k , m2 )3

Ilog (m2 ) =
k

(k 2

1 m2 )2

(4.15)

e composto s ao integrais divergentes que n ao dependem do momento externo p, e apenas por integrais nitas (veja equa c ao (C.12)). Ap os alguns c alculos, que incluem parametriza co es de Feynman, resolu c ao de algumas integrais e a expans ao (veja equa ca o (C.32)) ln m2 p2 y (1 y ) m2 = ln p2 m2 + ln y (1 y ) + O(m2 ) , (4.16)

obtemos que a parte nita ser a de ordem m = O(m) , e como estamos interessados no limite m 0 podemos escrever (4.14) como
2 2 = 8ie2 m2 4(0) (m ) g Ilog (m ) + O (m) .

(4.17)

(4.18)

Note que o termo entre par enteses e uma diferen ca entre duas integrais com o mesmo grau de diverg encia. Estas integrais est ao relacionadas, como demostrado na se ca o D.2 do ap endice D, pela identidade (D.12)
2 2 0 2 4(0) (m ) = g Ilog (m ) (m ) ,

(4.19)

onde
2 0 (m ) = k

k 2 k (k m2 )2 37

(4.20)

Usando esta rela c ao, obtemos


2 = 8ie2 m2 0 (m ) + O (m) .

(4.21)

Para fazer o limite m 0 temos que usar a massa renormalizada j a que a massa e nua e innita em teoria de pertuba c ao. Assim, utilizando o resultado que 0 nito como discutido anteriormente , obtemos r (p, m = 0) = 0. Para calcular (2 p )r note que (veja (C.134) e (C.135)) p 2 )p = (2 p )p p = 0 , p p (4.23) (4.22)

(2 p

e como Z3 n ao depende de p, obtemos (2 p )r ) + i(p2 g p p )(Z3 1) = (2 p p p = (2 p ) . p

(4.24)

Utilizando o da se c ao anterior (que foi obtido em [5,6]), obtemos (veja (4.4)) (2 p onde b 4 m2 2m2 ) = bie2 (p2 g p p ) 4 2 Z0 + ( 2 + 1)Z0 p 3 p p Z0 p
1 0

(4.25)

Z0 , Z0 (p2 ; m2 ) p Usando a expans ao (4.16),


i , (4 )2

dz ln

p2 z (z 1)+m2 m2

(2 p

e2 ) = 2 (p2 g p p ) + O(m) , p 6

(4.26)

e tomando o limite m 0, obtemos (2 p e2 ( p, m = 0) = )r (p p p2 g ) . p 6 2 (4.27)

Usando este resultado e (4.22), obtemos r (p, m = 0) (2 p e2 )r ( p, m = 0) = (p p p2 g ) , p 6 2 38 (4.28)

que e portanto a anomalia de escala para IW de dilata c ao (3.94) a um la co. Foi discutido anteriormente que esta anomalia e consequ encia da introdu ca o da escala de renormaliza ca o na lagrangiana no processo de renormaliza ca o. Na se ca o anterior vimos que esta escala foi introduzida na renormaliza c ao do , e assim os par ametros envolvidos no resultado devem ser os par ametros renormalizados. Conclu mos ent ao que a depend encia da anomalia na escala de renormaliza ca o est a na constante de acoplamento renormalizada e = e() , (4.29)

onde e a escala de renormaliza c ao na RI (veja equa ca o (4.9)). Nosso resultado para a anomalia (4.28) est a de acordo com o resultado existente na literatura calculado por outros m etodos que pode ser encontrado, por exemplo, em [12] e [15] .

39

Cap tulo 5 Conclus ao


Nosso objetivo principal foi estudar a anomalia de escala na EDQ e calcul a-la utilizando a RI. Para atingir tal objetivo o primeiro passo foi entender a anomalia em quest ao. Come camos estudando a simetria de escala, onde vimos que, a n vel cl assico, ela e uma simetria de teorias descritas por uma lagrangiana que n ao depende de par ametros dimensionais. Neste ponto surgiu uma evid encia que sugere que esta n ao deve ser uma simetria a n vel qu antico, j a que em uma teoria renormalizada a constante de acoplamento envolvida deve depender da escala de energia, e desta forma a descri ca o do sistema deve depender da escala em que se estuda o mesmo. Em seguida obtivemos a corrente de dilata c ao e sua rela ca o com o tra co do tensor energia-momento de Belinfante (equa ca o (3.67)) para o caso da EDQ. Este resultado foi u til para obter a IW da dilata c ao, possibilitando um estudo diagram atico da simetria. Calculando cada amplitude envolvida na IW, a um la co por RI, mostramos que a IW n ao e v alida a n vel qu antico e obtivemos a anomalia (equa ca o (4.28)). No c alculo das amplitudes assumimos que os termos de superf cie s ao nitos e arbitr arios, que e um resultado demonstrado em trabalhos sobre RI, para cancel a-los como forma de garantir a invari ancia de calibre da teoria. Cancelados estes termos arbitr arios n ao tivemos que lidar com nenhuma anomalia esp uria na obten c ao da anomalia demonstrando que a RI e um m etodo adequado para tratar este tipo de problema.

40

Ap endice A Tensor de Belinfante


A.1 Caso geral

Se denirmos um tensor T por T + f , (A.1)

onde f e anti-sim etrico nos ndices (), e e o tensor energia-momento can onico (2.7), temos que T tamb em obedece a equa ca o de continuidade T = 0 e como d3 x f 0 = d3 x0 f 0 0 P = d3 xi f 0i = 0 d3 x T 0 d3 xf 0 0 = 0 , (A.3) (A.2)

e T tem as mesmas caracter sticas que denem e existe assim uma liberdade na deni ca o do tensor energia-momento. Podemos usar esta liberdade para obter um tensor sim etrico. Impomos que ele seja sim etrico e substitu mos (A.1) nas equa c oes (2.14) e (2.15) M = S + x (T f ) x (T f ) e M = ( S ) + T f T + f = 0 , (A.5) (A.4)

41

assim obtemos (f f ) = ( S ) . Uma solu ca o poss vel e f f = S , com ela podemos escrever (trocando em (A.7)) f f = S e (trocando em A.7) f f = S , e obtemos ent ao (somando A.7 - A.8 + A.9 e usando f = f ) f = 1 ( S S + S ) . 2 Assim T = + f , (A.11) com f denido por (A.10), e o tensor de Energia-Momento sim etrico conhecido como tensor de Belinfante [14, 18]. (A.10) (A.9) (A.8) (A.7) (A.6)

A.2

EDQ
(i m + e A ) 1 F F . L= 4

Considere a seguinte densidade de lagrangiana (3.60) (A.12)

As equa co es de Euler-Lagrange1 para ela resultam nas equa co es de Dirac e de Maxwell com fonte: (e A m) = 0 , i (A.13) i + (e A m) = 0 e = 0 . F e
1

(A.14)

(A.15)

Veja por exemplo [17, 20].

42

O tensor energia-momento can onico (2.7) para esta lagrangiana e = mas sendo L L L + + A g L , A L , = i L =0 (A.16)

(A.17)

e L 1 = 4 [( A A )( A A )] A A ( )F = 1 (F F ) = 1 2 2 = F , (A.18)

usando (A.17) e (A.18) em (A.16) obtemos o tensor energia-momento can onico da eletrodin amica + F A g L . = i (A.19) Vamos obter o tensor de Belinfante (A.11) para esta lagrangiana, mas para simplicar as contas podemos denir f (A.10) como
f = f + fA ,

(A.20)

, e f usando o onde f e calculado usando apenas os espinores de Dirac e A potencial vetor A . O tensor sim etrico ser a ent ao dado por T = + f + fA .

(A.21)

Para calcular f sabemos que numa transforma ca o de Lorentz innitesimal o campo se transforma com [17]

(x) (x ) = (x) +

1 [ , ] (x) , 8

(A.22)

que comparando com a equa ca o (2.13) nos fornece S = 1 [ , ] . 4 Usando este resultado em (A.10),
( [ , ] [ , ] + [ , ]) f =1 i 8

(A.23)

(A.24)

43

com [ , ] [ , ] + [ , ] = + + = 2 2g 2g + 2g (A.25) obtemos


( g g + g ) f =1 i 4

(A.26)

e
) ( ) ( ) + g ( )] . f =1 i[ ( 4

(A.27)

Usando as equa c oes de Dirac (A.13) e (A.14), ) = i (e A m) + i (e A m) = 0 ( e ) = ( ) + , ( (A.29) onde usando que = 2g = 2g 2g + , camos com ) = ( ) + + 2 2 ( (e A m) + i (e A m) + 2 2 = i (2g 2g + ) + ei A + 2 2 = eiA (2A + 2A ) + 2 2 , = ei (A.30) assim, substituindo (A.29) e (A.30) em (A.28),
1 ( ) 3 ( ) ] i [ f =4 1 +2 e ( A A ) . (A.31) Para calcular agora fA sabemos que para uma transforma ca o innitesimal de Lorentz o campo A se transforma com A (x) A (x ) = A (x) + A (x), que comparando com (2.13) obtemos 1 S g = , ou seja, 2 S

(A.28)

=2

(A.32)

44

e
S = .

(A.33)

Usando (A.33) e (A.18) em (A.10),


[(F A F A ) (F A F A ) + (F A F A )] fA =1 2

= F A e usando (A.15)
A + F A . fA = e

(A.34)

(A.35)

Finalmente usando este resultado e o resultado para f (A.31), obtemos o tensor de energia-momento sim etrico da eletrodin amica + F A g L T = + f + fA = i ) ] ( ) 3 ( + 1 i[ 4 1 A + F A e ( A A ) + e +2 1 ) + ( ) ] i[ ( 4 1 + F F + 2 e ( A + A ) g L .

(A.36)

45

Ap endice B Dedu c ao da IW da Dilata c ao


Para obter a IW da corrente de dilata c ao usaremos o formalismo de integral de trajet oria1 . Neste formalismo o funcional gerador das fun co es de Green e dado por W [J ] = D exp i d4 x L(x) + J (x)(x) , (B.1)

onde e um fator de normaliza c ao. A fun c ao de Green G(N ) (x1 , ..., xN ) 0|T (x1 )...(xN )|0 e obtida pela rela c ao G(N ) (x1 , ..., xN ) = (i)N A transforma ca o (x) (x) + (x)
1

(B.2)

N W (J ) J (x1 )...J (xN )

.
J =0

(B.3)

L L + L

(B.4)

Faremos uma dedu c ao que n ao e rigorosa, existem problemas, por exemplo, em supor que D e invariante sob a transforma c ao. O m etodo Fujikawa para tratar anomalias utiliza o fato de que D n ao e invariante (veja [23, 24]). Mas no nosso caso queremos obter apenas a IW cl assica, pois a anomalia obteremos estudando a IW por teoria de perturba c ao.

46

que, considerando D = D), leva a D exp i = = d4 x L(x) + J (x)(x) d4 x L(x) + L(x) + J (x) (x) + (x) exp i d4 x L(x) + J (x)(x) , (B.5) ou, d4 y D L(y )+ J (y ) (y ) ) exp i d4 x L(x) + J (x)(x) = 0 , (B.6)

D exp i

D 1 + i

d4 y L(y ) + J (y ) (y )

Derivando funcionalmente o integrando em rela ca o a J (x1 ),J (x2 ),..., at e J (xN ), J (x1 ) D L(y ) + J (y ) (y ) exp i = (y x1 ) +i D (x1 ) exp i d4 x L(x) + J (x)(x) d4 x L(x) + J (x)(x) d4 x L(x) + J (x)(x) , (B.7)

D L(x) + J (x) (x) (x1 ) exp i

2 J (x2 )J (x1 )

D L(x) + J (x) (x) exp i D (x1 )(x2 ) exp i D (x2 )(x1 ) exp i

d4 x L(x) + J (x)(x) d4 x L(x) + J (x)(x)

= i (y x1 ) + i (y x2 ) + (i)2

d4 x L(x) + J (x)(x) d4 x L(x) + J (x)(x) , (B.8)

D L(x) + J (x) (x) (x1 )(x2 ) exp i

47

... Assim, N J (x1 )... (xN ) d4 y D L(y ) + J (y ) (y ) ) exp i + J (x)(x)


J =0 N

d4 x L(x)

d4 y (i)N 1
k=0

( y xk )

D (x1 )... (xk )...(xN ) exp i d4 x L

d4 x L = 0 , (B.9)

+ (i)N ou,
N

D L(y )(x1 )...(xN ) exp i

D (x1 )... (xk )...(xN ) exp i


k=0

d4 x L d4 x L . (B.10)

= i

d4 y

D L(y )(x1 )...(xN ) exp i

Vamos escrever a varia c ao da lagrangiana como em (3.41) L = F + A e assim camos com


N

(B.11)

D (x1 )... (xk )...(xN ) exp i


k=0

d4 x L d4 x L d4 x L . (B.12)

= i

d4 y i

D d4 y

F (y )(x1 )...(xN ) exp i y D A(y )(x1 )...(xN ) exp i

Para o caso da transforma ca o de escala A = T . Usando este resultado e desprezando o termo de superf cie na equa c ao acima, obtemos N

i
k=0

D (x1 )... (xk )...(xN ) exp i = d4 y

d4 x L d4 x L (B.13)

(y )(x1 )...(xN ) exp i D T

48

Mas de (B.3) obtemos a express ao para uma fun ca o de Green no formalismo funcional como sendo G(N ) (x1 , ..., xN ) = ent ao
N

D (x1 )...(xN ) exp i

d4 x L ,

(B.14)

d y 0|T

T (y )(x1 )...(xN )|0

=i
k=1 N

0|T (x1 )... (xk )...(xN )|0 0|T (x1 )... x k (xk ) ...(xN )|0 , x k (B.15)

= iN d 0|T (x1 )...(xN )|0 + i


k=1

onde usamos da transforma c ao de escala para os campos (3.28) = (d + x ). Desejamos retirar as derivadas para fora do ordenamento temporal. Para o caso de N = 2 observando que 0|T x 1 (x2 )|0 (x1 )(x2 )|0 + 0|T (x1 )x2 x1 x 2 0 0 = x 0|T (x1 )(x2 )|0 x0 + x2 1 1 (x1 x2 ) (x1 ), (x2 ) x1 x 2
0 0 x0 2 (x2 x1 ) (x2 ), (x1 )]

x 1

+ x2 x1 x 2

0|T (x1 )(x2 )|0 , (B.16)

onde usamos que T (x1 )(x2 ) = (x1 x2 )(x1 )(x2 ) + (x2 x1 )(x2 )(x1 ) , sendo a fun c ao degrau. Podemos generalizar para N qualquer, pois os termos v ao se cancelar em pares como no casso acima. Assim reescrevemos (B.15) como
N

d y 0|T

T (y )(x1 )...(xN )|0

= i N d +
k=1

x k

0|T (x1 )...(xN )|0 . x k (B.17)

A equa c ao (B.17) e a identidade de Ward da corrente de dilata ca o que relaciona fun co es de Green no espa co das coordenadas. Para obter a mesma identidade relacionando fun co es de Green no espa co dos momentos, usamos a deni ca o de fun ca o

49

de Green neste espa co


N

(2 )
k=1

pk G(N ) (p1 , ..., pN 1 )


N

d x1 ...d xN exp i
k=1

pk xk G(N ) (x1 , ..., xN ) , (B.18)

que e a transformada de Fourier das fun co es de Green no espa co das coordenadas, onde o delta de Dirac assegura a conserva ca o do momento e da energia. Podemos denir analogamente a fun c ao de Green
N

(2 ) k +
k=1

pk G(N ) (k, p1 , ..., pN 1 )


N

d yd x1 ...d xN exp i ky +
k=1

p k xk

G(N ) (y, x1 , ..., xN ) (B.19)

como a transformada de Fourier de


GT (y, x1 , ..., xN ) 0|T T (y )(x1 )...(xN )|0 . (N )

(B.20)

Usando estas deni c oes com k = 0 em (B.19), podemos reescrever (B.17) como
N N

i(2 )
k=1

pk G

(N )

(0, p1 , ..., pN 1 ) = N d (2 )
k=1 N N

pk G(N ) (p1 , ..., pN 1 )

d4 x1 ...d4 xN exp i
k=1

p k xk
k=1

x k

G(N ) (x1 , ..., xN ) . (B.21) x k


1 (2 )4

Integrando esta equa ca o em d4 pN e multiplicando por iGT (0, p1 , ..., pN 1 ) = N d G(N ) (p1 , ..., pN 1 )
N 1 N 1 (N )

d x1 ...d xN 1 exp i
k=1

p k xk
k=1

x k

(N ) G (x1 , ..., xN 1 , xN = 0) , x k (B.22)

50

mas note que pj pj d4 x1 ...d4 xN exp i


k

p k xk

0|T (x1 )...(xN )|0 p k xk


k

= = =

d4 x1 ...d4 xN pj xj exp i d4 x1 ...d4 xN xj d4 x1 ...d4 xN exp i xj

0|T (x1 )...(xN )|0 0|T (x1 )...(xN )|0 0|T (x1 )...(xN )|0 0|T (x1 )...(xN )|0

p k xk
k

xj exp i xj

p k xk
k

d4 x1 ...d4 xN exp i
k

p k xk

d4 x1 ...d4 xN exp i
k

p k xk x j

0|T (x1 )...(xN )|0 , (B.23) xj

Aplicando o resultado acima para as N 1 integrais restantes e desprezando os termos de superf cie, obtemos iGT (0, p1 , ..., pN 1 ) = N d G(N ) (p1 , ..., pN 1 )
N 1 (N )

+ (4(N 1)
k

pk

)G(N ) (p1 , ..., pN 1 ) , (B.24) pk

ou
N 1

iGT (0, p1 , ..., pN 1 ) = N (d 4) + 4


k

(N )

pk

G(N ) (p1 , ..., pN 1 ) , (B.25) pk

que e a identidade de Ward da corrente de dilata ca o ou identidade de Ward do tra co por relacionar a fun ca o de Green de n pontos com a fun c ao de Green relacionada ao tra co do tensor energia-momento como um operador.

51

Ap endice C C alculo das Amplitudes da IW


C.1 C alculo de
= 2
k

Vamos calcular T r{e S (k )e S (k + p)mS (k + p)} , (C.1)

onde S (k ) = i k m k + m = i 2 k m2 = i k + m ( k m)( k + m) (C.2)

e o propagador do f ermion. Assim = 2ie2 m k + m (k + p) + m (k + p) + m k 2 m2 (k + p)2 m2 (k + p)2 m2 k 1 = 2ie2 m T r k (k + p) (k + p) 2 2 2 m 2 ]2 ( k m )[( k + p ) k + k (k + p) m + k m(k + p) T r + k m2 + m(k + p) (k + p) + m(k + p) m + m2 (k + p) + m3 , como o tra co de um n umero mpar de matrizes e igual a zero, camos com = 2i(em)2 1 T r{ 2 k (k + p) 2 2 2 + p) m ] k + (k + p) (k + p) + m2 } (C.4) (k 2 m2 )[(k 52 (C.3)

e usando (D.5) e (D.6) T r( ) = 4g obtemos = 2i(em)2 1 {8(g g g g 2 2 2 2 2 k (k m )[(k + p) m ] + g g )k (k + p) + 4(g g g g + g g )(k + p) (k + p) + 4m2 g } = 2i(em)2 1 {8[k (k + p) g k (k + p) + p)2 m2 ]2 k + k (k + p) ] + 4[g (k + p)2 (k + p) (k + p) + (k + p) (k + p) ] (k 2 m2 )[(k + 4g m2 } 1 {8[2k k + k p + k p + p)2 m2 ]2 k g (k 2 + kp)] + 4g (k 2 + 2kp + p2 ) + 4g m2 } 1 {16k k = 2i(em)2 2 2 2 2 2 k (k m )[(k + p) m ] + 8(k p + k p ) + g (4k 2 + 4p2 + 4m2 )} 4k k + 2(k p + k p ) = 8i(em)2 (k 2 m2 )[(k + p)2 m2 ]2 k p2 1 g . [(k + p)2 m2 ]2 (k 2 + m2 )[(k + p)2 m2 ]2 = 2i(em)2 (k 2 m2 )[(k Usando na parte divergente as identidades 1 k 2 m2 1 (k + p)2 m2 2kp p2 = 2 = 2 [(k + p)2 m2 ] k m2 [(k + p)2 m2 ] (k m2 )[(k + p)2 m2 ] 1 p2 + 2kp = (C.7) (k 2 m2 ) (k 2 m2 )[(k + p)2 m2 ] e 1 = [(k + p)2 m2 ]2 1 p2 + 2kp k 2 m2 (k 2 m2 )[(k + p)2 m2 ] 1 p2 + 2kp = 2 (k 2 m2 )2 (k 2 m2 )2 [(k + p)2 m2 ] (p2 + 2kp)2 + 2 (k m2 )2 [(k + p)2 m2 ]2 53
2

e T r( ) = 4(g g g g + g g ) ,

(C.5)

(C.6)

(C.8)

obtemos = 8ie2 m2 4k k 8k k (p2 + 2kp) (k 2 m2 )3 (k 2 m2 )3 [(k + p)2 m2 ] k 4k k (p2 + 2kp)2 2(k p + k p ) + 2 + (k m2 )3 [(k + p)2 m2 ]2 (k 2 m2 )[(k + p)2 m2 ]2 1 2(p2 + 2kp) g (k 2 m2 )2 (k 2 m2 )2 [(k + p)2 m2 ] (p2 + 2kp)2 p2 + 2 (k m2 )2 [(k + p)2 m2 ]2 (k 2 m2 )[(k + p)2 m2 ]2

, (C.9)

ou
2 2 = 8ie2 m2 4(0) (m ) g Ilog (m ) + ,

(C.10)

onde
2 (0) (m ) = k

(k 2

k k m2 )3

Ilog (m2 ) =
k

(k 2

1 m2 )2

(C.11)

s ao as integrais divergentes que n ao dependem do momento externo p como desej avamos, e


1 2 3 = 8ie2 m2 8I + 4I + 2I + g (2I4 I5 + p2 I6 )

(C.12)

e a parte nita com


1 I k

(p2 + 2pk )k k , (k 2 m2 )3 [(k + p)2 m2 ]

2 I k

(p2 + 2kp)2 k k , (k 2 m2 )3 [(k + p)2 m2 ]2 (C.13)

3 I k

p k + p k , 2 (k m2 )[(k + p)2 m2 ]2

I4
k

(p2 + 2pk ) , (k 2 m2 )2 [(k + p)2 m2 ] (C.14)

I5
k

(p2 + 2pk )2 , (k 2 m2 )2 [(k + p)2 m2 ]2

e I6
k

(k 2

m2 )[(k

1 . + p)2 m2 ]2 (C.15)

54

Usando a identidade (D.12) em (C.10), camos com


2 = 8ie2 m2 0 (m ) + ,

(C.16)

onde
2 0 (m ) = k

k 2 k (k m2 )2

(C.17)

ca o de Feynman nas Para calcular a parte nita , faremos a parametriza 3 2 1 ao calcularemos estas integrais I , I , I , I4 , I5 e I6 usando a identidade (D.1). N integrais at e o nal, mas apenas mostraremos que elas s ao de ordem maior que m2 , e assim = 0 no limite m 0. C alculo da integral I6 Usando A = (k 2 + m2 ) , calcular I6 (C.15)
1

s = 1,

B = [(k + p)2 m2 ] ,

n = 2 em (D.1) para

I6 =
k 0 1

dxdy dy
k 1 0

(x + y 1)y x(k 2 m2 ) + y (k + p)2 m2 2y


3

(3) (2)(1)
3

= =
0

(1 y )(k 2 m2 ) + y (k 2 + p2 + 2kp m2 ) (k 2 m2 2y . + 2kpy + p2 y )3

dy
k

(C.18)

Fazendo a mudan ca de vari avel k k = k + py k = k py , (C.19)

k 2 m2 + 2kpy + p2 y = k 2 2k py + p2 y 2 m2 + 2(k py )py + p2 y = k 2 (m2 p2 y (1 y )) = k 2 2 , onde 2 m2 p2 y (1 y ) , (C.21) 55 (C.20)

obtemos
1

I6 =
0

dy
k

2y . (k 2 2 )3

(C.22)

Usando (D.2), obtemos


1

I6 =
0

dy 2y

i(1)3 1 = b (4 )2 22 b i . (4 )2

dy
0

y 2

(C.23)

com

(C.24)

Para resolver esta integral usaremos 2 e 2 m2 (C.25)

d m2 + p2 y (y 1) p2 d 2 = (2y 1) = dy dy m2 m2 1 1 = 2 2, 2 m mas d 1 d p2 1 ln(2 ) = 2 2 = 2 (2y 1) 2 dy dy m

(C.26) (C.27)

ou

1 1 m2 d 1 d 2 = ln( ) = ln(2 ) . 2 m2 p2 (2y 1) dy p2 (2y 1) dy

(C.28)

Usando este resultado em (C.23)


1

I6 = b
0

dy

y b = 2 2 p

dy
0 1

y d ln(2 ) 2y 1 dy
1

b = 2 p

y ln(2 ) 2y 1

0 0

dy

d y ln(2 ) dy 2y 1

, (C.29)

mas como 2 = m2 p2 y (1 y ) (C.20) e 2 = da equa ca o acima se anula nos limites e obtemos I6 = b p2


1

m2 p2 y (1 y ) o primeiro termo m2

dy
0

d y ln(2 ) . dy 2y 1

(C.30)

56

Como estamos interessados no limite m 0 vamos expandir ln(2 ) em pot encias 2 de m ln(2 ) = ln p2 y (y 1) + m2 m2 = ln p2 y (y 1) m2 + ln 1 + m2 p2 y (1 y ) (C.31) e como ln(1 + x) = x x2 x3 x4 + + ... , 2 3 4 p2 + ln y (1 y ) + O(m2 ) , m2 (C.32)

ln(2 ) = ln obtemos ent ao I6 =

1 b p2 d y ln dy 2 2 p m dy 2y 1 0 1 y d ln y (1 y ) + dy dy 2y 1 0 b p2 = 2 ln + c6.1 + O(m2 ) , p m2 1

+ O(m2 ) (C.33)

com c6.1
0

dy

y d ln y (1 y ) . dy 2y 1

(C.34)

C alculo da integral I5 Usando A = k 2 m2 , s = 2, B = (k + p)2 m2 ,n = 2 em (D.1) para calcular I5 (C.15)


1

I5 =
k 0 1

dxdy dy
0 k

(x + y 1)xy (p2 + 2kp)2 x(k 2 m2 ) + y [(k + p)2 m2 ] (1 y )y (p2 + 2kp)2


4

(4) (2)(2)
4

= 6

(1 y )(k 2 m2 ) + y [k 2 + 2kp + p2 m2 ]

. (C.35)

57

Fazendo a mudan ca (C.19), o denominador desta integral muda como em (C.20) e o numerador com (p2 + 2kp)2 = p2 + 2p(k py )
2

= p4 + 4p2 p(k py ) + 4(pk p2 y )2

= p4 + 4p2 pk 4p4 y + 4(pk )2 8p2 pk y + 4p4 y 2 = p4 (1 4y + 4y 2 ) + p2 pk (4 8y ) + 4(pk )2 = p4 (1 2y )2 + 4(1 2y )p2 pk + 4(pk )2 . Assim
1

(C.36)

I5 = 6
0

dy y (1 y ) (1 2y )2 p4
k

1 + 4(1 2y )p2 p 2 4 [k ]
2

k [k 2 ]4
2

+ 4 p p
k

k k [k 2 ]4
2

, (C.37)

Usando (D.2) e (D.3), obtemos i 1 1 b 1 1 = = [k 2 2 ]4 (4 )2 6 4 6 4 (C.38)

1 i g 1 b g k k 2 = = , [k 2 ]4 (4 )2 12 2 12 2 k

(C.39)

e como k = 0, [k 2 2 ]n (C.40)

obtemos I5 = 6 b 1 b 1 4p2 4 6 12 2 0 1 4 p2 2p = b dy y (1 y ) (1 2y ) 4 2 2 . 0 dy y (1 y ) (1 2y )2 p4 2 (C.25), m2 mas d 1 1 d 2 1 p2 = = 4 2 (2y 1) dy 2 4 dy m 58 (C.42)


1

(C.41)

Usando novamente 2 1 1 = 4 4, 4 m

ou 1 m2 d 1 1 = 4 4 2 m p (2y 1) dy 2 usando este resultado e (C.28) em (C.41),


1

(C.43)

I5 = b
0

dy y (1 y ) (1 2y )2 p4 1 p2 (2y

1 m2 p2 (2y

d 1 1) dy 2

d ln 2 1) dy 1 p2 d 1 d 2 dyy (1 y ) (1 2y ) 2 = b ln 2 2 m dy (2y 1) dy 0 2 p = b 2 I5.1 + I5.2 m 2p2 onde


1

(C.44)

I5.1
0

dy y (1 y )(1 2y )

d 1 dy 2

(C.45)

e
1

I5.2 2
0

y (1 y ) d ln 2 . 2y 1 dy

(C.46)

Mas I5.1 = 1 (y y )(1 2y ) 2


2 1 0 1 1

0 0

dy (1 2y )2 2(y y 2 ) 1 , 2

1 2 (C.47)

= usando (C.28),

dy (1 2y )2 2(y y 2 )

I5.1 = m = p2
0 2

dy (1 2y )2 2(y y 2 )
2 2

m2 d ln 2 p2 (2y 1) dy
1

ln 2 (1 2y ) 2(y y ) (2y 1) 0 1 2 d yy (2y 1) 2 ln 2 2y 1 0 dy 1 2 m d y y2 = (2 y 1) 2 ln 2 , p2 0 dy 2y 1 59

(C.48)

e usando (C.32), I5.1 =


1 p2 d y y2 dy (2 y 1) 2 m2 dy 2y 1 0 1 d (1 2y )2 2(y y 2 ) ln y (1 y ) + O(m2 ) + dy dy 0 1 2 m d p2 = dy 2 ln + (1 2y )2 2(y y 2 ) ln y (1 y ) 2 2 p m dy 0 + O(m2 ) ; (C.49)

m2 ln p2

e
1

I5.2 = 2
0

y (1 y ) d ln 2 2y 1 dy

=2
0

dy

d y (1 y ) ln 2 , dy 2y 1

(C.50)

e usando (C.32), I5.2 = 2 ln


1 1 d y (1 y ) d y (1 y ) p2 dy dy + 2 ln y (1 y ) 2 m dy 2y 1 dy 2y 1 0 0 + O(m2 ) 1 d y (1 y ) dy = 2 ln y (1 y ) + O(m2 ) . (C.51) dy 2 y 1 0

Usando estes resultados em (C.44), obtemos I5 d p2 m2 1 = b 2 dy (1 2y )2 2(y y 2 ) ln y (1 y ) 2 m p 0 dy 1 2 2 m p d y (1 y ) + 2 2 ln dy ln y (1 y ) + 2 2 p m dy 2y 1 0 p2 + bc5.1 + O(m2 ) , = 2b ln m2

+ O(m2 ) (C.52)

com
1

c5.1
0

dy

d d y (1 y ) (1 2y )2 2(y y 2 ) + 2 dy dy 2y 1

ln y (1 y ) .

(C.53)

C alculo da integral I4 Usando A = k 2 m2 , s = 2, B = (k + p)2 m2 , n = 1 em (D.1) para calcular I4 (C.14), 60

I4 =
k 0 1

dxdy dy
0 k

(x + y 1)x(p2 + 2kp) x(k 2 m2 ) + y [(k + p)2 m2 ] (1 y )(p2 + 2kp)


3

(3) (1)(2)
3

= 2

(1 y )(k 2 m2 ) + y [k 2 + 2kp + p2 m2 ]

. (C.54)

Fazendo a mudan ca (C.19), o denominador desta integral muda como em (C.20) e o numerador com p2 + 2kp = p2 + 2(k py )p = p2 (1 2y ) + 2k p , e assim, I4 = 2 (1 y )[(1 2y )p2 + 2k p] [k 2 2 ]3 0 k 1 1 dy (1 y )p2 (1 2y ) , = 2 2 2 3 k [k ] 0 dy b = b 22
1 1

(C.55)

(C.56)

usando (D.2),
1

I4 = 2
0

dy (1 y )p2 (1 2y )

dy
0

(1 y )p2 (1 2y ) , 2 (C.57)

usando (C.28),
1

I4 = b
0 1

dy (1 y )(1 2y )p2 dy (1 y ) d ln (2 ) dy
1 1

1 p2 (2y

d ln (2 ) 1) dy

= b
0

= b (1 y ) ln ( )
0

+b
0

dy ln( ) = b
0

dy ln(2 ) ,

(C.58)

usando (C.32), I4 = b ln = b ln com c4.1


0

p2 m2 p2 m2

+
0

dy ln y (1 y )

+ O(m2 ) (C.59)

+ c4.1 + O(m2 ) ,
1

dy ln y (1 y ) .

(C.60)

61

3 C alculo da integral I

Usando A = k 2 m2 , s = 1, B = (k + p)2 m2 , n = 2 em (D.1) para calcular 3 I (C.14),


1 3 I = k 0 1

dxdy dy
0 k

(x + y 1)y (p k + p k ) x(k 2 m2 ) + y [(k + p)2 m2 ] y (p k + p k )


3

(3) (2)(1)
3

= 2

(1 y )(k 2 m2 ) + y [k 2 + 2kp + p2 m2 ]

(C.61)

Fazendo a mudan ca (C.19), o denominador desta integral muda como em (C.20) e o numerador com p k + p k = p k + p k 2p p y , e assim,
1 3 I = 2 0 1

(C.62)

dy
k

y (p k + p k 2p p y ) k 2 2 1
k 3

= 4
0

dy y 2 p p

k2

(C.63)

usando (D.2),
1 3 I = 2bp p 0

dy

y2 , 2

(C.64)

usando (C.28),
1 3 I = 2bp p 0

dy

d y2 ln (2 ) 2 p (2y 1) dy
1 1

= 2b

p p p2 p p p2

y2 ln (2 ) 2y 1
1 2

0 0

dy ln (2 ) ,

d y2 dy 2y 1

ln (2 ) (C.65)

= 2b

dy
0

d y dy 2y 1

62

usando (C.32),
3 I = 2b

p p p2
1

ln

p2 m2

dy
0

d y2 dy 2y 1

+
0

dy

d y2 dy 2y 1 p2 m2

ln y (1 y ) + O(m2 ) + c3.1 + O(m2 ) (C.66)

= b com

p p 2 ln p2
1

c3.1 2
0 2 C alculo da integral I

dy

d y2 dy 2y 1

ln y (1 y ) .

(C.67)

2 Usando A = k 2 m2 , s = 3, B = (k + p)2 m2 , n = 2 em (D.1) para calcular I (C.13), 1 2 I = k 0 1

dxdy dy
0 k

(x + y 1)x2 y (p2 + 2kp)2 k k x(k 2 m2 ) + y [(k + p)2 m2 ]


5

(5) (3)(2)
5

= 12

(1 y )2 y (p2 + 2kp)2 k k (1 y )(k 2 m2 ) + y [k 2 + 2kp + p2 m2 ]

. (C.68)

Fazendo a mudan ca (C.19), o denominador desta integral muda como em (C.20) e o numerador com (p2 + 2kp)2 k k = = p2 2p(k py )
2

(k py ) (k py )

p4 (1 2y )2 + 4(1 2y )p2 pk + 4(k p)2 k k y (k p + k p ) + y 2 p p

= p4 (1 2y )2 k k + y 2 p4 (1 2y )2 p p 4y (1 2y )p2 pk (k p + k p ) + 4(k p)2 k k + 4y 2 (k p)2 p p + termos com no mpar de k s , (C.69)

63

onde os termos com n umero mpares de k s ser ao anulados quando zermos a integral 4 em d k . Obtemos ent ao
1 2 I

= 12
0

dy y (1 y )2 4p p

4y (1 2y )p2 p p
k

k k k k + p4 (1 2y )2 2 2 5 k (k ) k k + ( ) 2 (k 2 )5
k

(k 2

k k 2 )5

+ 4 y 2 p p p p
k

(k 2

k k + y 2 p4 (1 2y )2 p p 2 ) 5

(k 2

1 . 2 ) 5

Usando (D.4), k k k k b 1 1 (g g + g g + g g ) ; = 2 2 5 (k ) 4! 2 4 k k b g 1 b g = = ; 2 5 4 ) 24 2 48 4 1 b 1 = . 2 5 ) 12 6 (C.70)

usando (D.3), (k 2 (C.71)

e usando(D.2), (k 2 (C.72)

Com estes resultados em (C.70) obtemos b 1 1 (g g + g g + g g ) 4! 2 4 0 b g b g + p4 (1 2y )2 4y (1 2y )p2 p p + ( ) 4 48 48 4 b g b 1 + 4 y 2 p p p p + y 2 p4 (1 2y )2 p p 4 48 12 6 1 b 1 2 4 2 b g = dy y (1 y )2 ( g p + 2 p p ) + p (1 2 y ) 2 2 4 4 0 b 1 b b 8y (1 2y )p2 p p + y 2 p2 p p 4 y 2 p4 (1 2y )2 p p 6 4 4 1 2 2 4 (1 2y ) p 1 p + = b dy y (1 y )2 g 2 2 4 4 0 2 4 1 2 p 2 2p + p p + [ 2 y (1 2 y ) + y ] y (1 2 y ) 2 4 6 1 1 p p = b g ( I2.1 + I2.2 ) + 2 (I2.1 + I2.3 + I2.4 ) , (C.73) 2 4 p = 12 dy y (1 y )2 4p p 64
1

2 I

onde
1

I2.1 p2
0 1

dy y (1 y )2

1 , 2 1 , 4 1 4

(C.74)

I2.2 p4
0 1

dy y (1 y )2 (1 2y )2

(C.75)

I2.3 p4
0 1

dy y (1 y )2 [2y (1 2y ) + y 2 ] dy y (1 y )2 (2y + 5y 2 )
0 1

= p

1 , 4

(C.76)

I2.4 p6
0

dy y 3 (1 y )2 (1 2y )2

1 . 6

(C.77)

Usando (C.28) em (C.74),


1

I2.1 = p2
0 1

dy y (1 y )2

1 d ln(2 ) p2 (2y 1) dy (C.78)

=
0

dy

d y (1 2y )2 ln(2 ) , dy 2y 1

e usando (C.32), I2.1 p2 = ln m2 d y (1 2y )2 dy 2y 1 0 1 d y (1 2y )2 + dy ln y (1 y ) + O(m2 ) dy 2 y 1 0 1 d y (1 2y )2 p2 + dy ln y (1 y ) + O(m2 ) ; (C.79) = ln m2 dy 2 y 1 0 dy


1

Usando (C.43) em (C.75),


1

I2.2 = p4
0

dy y (1 y )2 (1 2y )2

p m2 p2 = 2 m =

1 m2 d 1 4 2 m p (2y 1) dy 2 1 y (1 y )2 (1 2y ) 1 d 1 dy [y (1 y )2 (1 2y )] 2 2 dy 0 0 1 d 1 dy [y (1 y )2 (1 2y )] 2 , (C.80) dy 0 65

usando (C.28), I2.2 = = = d 1 d [y (1 y )2 (1 2y )] ln(2 ) dy (2 y 1) dy 0 1 1 d d dy [y (1 y )2 ] ln(2 ) (2y 1) dy dy 0 dy


1 1

1 d [y (1 y )2 ] ln(2 ) (2y 1) dy 0 1 1 d d [y (1 y )2 ] dy dy (2y 1) dy 0 1 d 1 d dy = [y (1 y )2 ] dy (2 y 1) dy 0

ln(2 ) ln(2 ) , (C.81)

e usando (C.32), I2.2 = ln d 1 d [y (1 y )2 ] dy (2 y 1) dy 0 1 d 1 d + dy [y (1 y )2 ] ln y (1 y )2 + O(m2 ) (C.82) ; dy (2 y 1) dy 0 dy p2 m2


1

Usando (C.43) em (C.76), I2.3 = p4 1 d 1 1 2 2 m p (2y 1) dy 2 0 p2 1 1 1 2 2 = y (1 y ) ( 2 y + 5 y ) m2 (2y 1) 2 0 1 1 p2 d 1 2 dy y (1 y )2 (2y + 5y 2 ) m 0 dy (2y 1) 2 p2 1 d y (1 y )2 (2y + 5y 2 ) 1 = dy , m2 0 dy (2y 1) 2 dy y (1 y )2 (2y + 5y 2 )
1

(C.83)

usando (C.28),

66

I2.3 = =

p2 m2

dy
0

d y (1 y )2 (2y + 5y 2 ) dy 2y 1

m2 d ln(2 ) 2 p (2y 1) dy
1

1 d y (1 y )2 (2y + 5y 2 ) ln(2 ) dy 2y 1 (2y 1) 0 1 2 2 d d y (1 y ) (2y + 5y ) 1 dy dy dy 2y 1 (2y 1) 0 1 2 2 d d y (1 y ) (2y + 5y ) 1 dy = dy dy 2y 1 (2y 1) 0 usando (C.32), I2.3 = ln
1

ln(2 ) ln(2 ) (C.84)

p2 m2

1 0

d dy dy 0 2 + O(m ) ;

d d y (1 y )2 (2y + 5y 2 ) 1 dy dy 2y 1 (2y 1) 2 2 d y (1 y ) (2y + 5y ) 1 ln y (1 y ) dy 2y 1 (2y 1) (C.85) dy 2 (C.25), e m2 (C.86)

Para resolver (C.77) usaremos novamente 2 1 1 = 6 6, 6 m ou mas,

d 1 2 d 2 2 p2 = = 2 2 (2y 1) dy 4 6 dy m

1 1 m2 d 1 = . 6 6 2 m 2p (2y 1) dy 4 usando este resultado em (C.77), I2.4 = p 1 d 1 1 4 2 m 2p (2y 1) dy 4 0 p4 3 1 1 1 2 2 = y (1 y ) (1 2 y ) m4 2(2y 1) 4 0 p4 1 d 3 1 1 4 dy y (1 y )2 (1 2y )2 m 0 dy 2(2y 1) 4 1 p4 d 3 1 2 dy = y (1 y ) (1 2 y ) 2m4 0 dy 4
6 1

(C.87)

dy y 3 (1 y )2 (1 2y )2

(C.88)

67

usando (C.43) I2.4 = p4 2m4


2 1

dy
0

d 3 y (1 y )2 (1 2y ) dy

m2 d 1 2 p (2y 1) dy 2
1 0

p 1 d 3 1 = y (1 y )2 (1 2y ) 2 2m dy (2y 1) 2 1 d 3 d p2 y (1 y )2 (1 2y ) dy + 2 2m 0 dy dy mas d 3 y (1 y )2 (1 2y ) dy = = 0, ou I2.4 = p2 2m2


1 2 2

1 (2y 1)

1 , 2 (C.89)

1 1 (2y 1) 2
3

1 0 4 2

3y (1 y ) (1 2y ) 2y (1 y )(1 2y ) 2y (1 y )

1 1 (2y 1) 2 0 (C.90)

dy
0

d dy

d 3 y (1 y )2 (1 2y ) dy

1 (2y 1)

1 2 (C.91)

usando (C.28) I2.4 = =


0 1

p2 2m2 d dy
1

dy
0

d dy

d 3 y (1 y )2 (1 2y ) dy 1 (2y 1)

1 (2y 1)

m2 d ln(2 ) 2 p (2y 1) dy
1

d 3 y (1 y )2 (1 2y ) dy dy d d dy dy

1 ln(2 ) (2y 1)

d 3 y (1 y )2 (1 2y ) dy d 3 y (1 y )2 (1 2y ) dy

1 1 (2y 1) (2y 1) 1 1 (2y 1) (2y 1)

ln(2 ) ln(2 ) (C.92)

=
0 1

dy

d d dy dy

=
0

dy f2.4 (y ) ln(2 ) ,

com f2.4 (y ) d d dy dy d 3 y (1 y )2 (1 2y ) dy 68 1 1 (2y 1) (2y 1) . (C.93)

Usando (C.32), I2.4 = ln p2 m2


1 1

dy f2.4 (y ) +
0 0

dy f2.4 (y ) ln y (1 y ) + O(m2 ) . (C.94)

Com os resultados (C.79),(C.82),(C.85) e (C.94) em (C.73) obtemos


2 I b

1 1 p p = g ( I2.1 + I2.2 ) + 2 (I2.1 + I2.3 + I2.4 ) 2 4 p 1 2 1 1 p dy f2.1 (y ) + f2.2 (y ) = g ln 2 m 2 4 0 1 2 p p p + 2 ln dy f2.1 (y ) + f2.3 (y ) + f2.4 (y ) p m2 0 1 1 1 + g dy f2.1 (y ) + f2.2 (y ) ln y (1 y ) 2 4 0 1 p p dy f2.1 (y ) + f2.3 (y ) + f2.4 (y ) ln y (1 y ) + O(m2 ) + 2 p 0 1 2 p p p = ln dy g f2.a (y ) + 2 f2.b (y ) 2 m p 0 1 p p + dy g f2.a (y ) + 2 f2.b (y ) ln y (1 y ) + O(m2 ) , p 0 (C.95)

onde 1 1 f2.a (y ) f2.1 (y ) + f2.2 (y ) , 2 4 f2.b (y ) f2.1 (y ) + f2.3 (y ) + f2.4 (y ) , f2.1 (y ) d y (1 2y )2 , dy 2y 1 (C.96) (C.97)

(C.98)

f2.2 (y ) e f2.3 (y ) d dy

d 1 d [y (1 y )2 ] , dy (2y 1) dy d y (1 y )2 (2y + 5y 2 ) 1 dy 2y 1 (2y 1) 69

(C.99)

(C.100)

Podemos ainda reescrever (C.95) como


2 I = b ln

p2 m2

c2.1 g +

p p c2.2 p2 (C.101)

+ g c2.3 + com c2.1


0 1 1

p p c2.4 + O(m2 ) p2
1

dy f2.a (y ) ,

c2.2
0 1

dy f2.b (y ) ,

(C.102)

c2.3
0

dy f2.a (y ) ln y (1 y ) ,

c2.4
0

dy f2.b (y ) ln y (1 y ) , (C.103)

1 C alculo da integral I 1 Usando A = k 2 m2 , s = 3, B = (k + p)2 m2 , n = 1 em (D.1) para calcular I (C.13), 1 1 I = k 0 1

dxdy dy
0 k

(x + y 1)x2 (p2 + 2kp)k k x(k 2 m2 ) + y [(k + p)2 m2 ]


4

(4) (3)(1)
4

= 3

(1 y )2 (p2 + 2kp)k k (1 y )(k 2 m2 ) + y [k 2 + 2kp + p2 m2 ]

. (C.104)

Fazendo a mudan ca (C.19), o denominador desta integral muda como em (C.20) e o numerador com (p2 + 2kp)k k = = p2 + 2p(k py ) (k py ) (k py ) p2 (1 2y ) + 2pk k k y (k p + k p ) + y 2 p p (C.105)

= p2 (1 2y )(k k + y 2 p p ) 2ypk (k p + k p ) + termos com no mpar de k s ,

onde os termos com n umero mpares de k s ser ao anulados quando zermos a integral 4 em d k . Obtemos ent ao
1 1 I = 3 0

dy (1 y )2 (1 2y )p2
k

[k 2

+ ( ) + (1 2y )y 2 p2 p p

k k 2yp p 2 ]4 1 . 2 2 4 k [k ]

[k 2

k k 2 ]4 (C.106)

70

Usando (D.2),
k

[k 2

1 b 1 = 2 4 ] 6 4

(C.107)

usando (D.3),
k

[k 2

k k g b b g ( 2) = = , 2 4 ] 2 6 12 2

(C.108)

e com estes resultados obtemos


1 I

b g b g 2yp p 2 12 12 2 0 b 1 + ( ) + (1 2y )y 2 p2 p p 6 4 1 g p2 dy = b (1 y )2 (1 2y ) 2 4 0 1 p2 + p p (1 y )2 y 2 + (1 y )2 y 2 (1 2y ) 4 2 = b g I1.1 + p p I1.2 + I1.3 , = 3 dy (1 y )2 (1 2y )p2

(C.109)

onde I1.1 p2 4
1

dy (1 y )2 (1 2y )
0 1

1 , 2

(C.110)

I1.2
0 1

dy (1 y )2 y

1 , 2 1 . 4

(C.111)

I1.3

p2 2

dy (1 y )2 y 2 (1 2y )
0

(C.112)

Usando (C.28) para calcular (C.110), I1.1 p2 = 4 =


1

dy (1 y )2 (1 2y )
0 1

1 p2 (2y

d ln(2 ) 1) dy

1 (1 y )2 ln(2 ) 4 0 1 d 1 dy (1 y )2 ln(2 ) 4 0 dy 1 1 d = dy (1 y )2 ln(2 ) , 2 0 dy 71

(C.113)

usando (C.32), I1.1 = ln p2 m2 p2 = ln m2


1 d y1 (1 y )2 + dy ln y (1 y ) + O(m2 ) . dy 2 0 0 1 y1 dy + ln y (1 y ) + O(m2 ) . 2 0 (C.114) 1

dy

Usando (C.28) para calcular (C.111)


1

I1.2 =
0

dy (1 y )2 y

1 p2 (2y

d ln(2 ) 1) dy

1 1 1 (1 y )2 y 2 ln( ) dy p2 (2y 1) 0 0 1 2 1 d (1 y ) y dy ln(2 ) + 2 p 0 dy (2y 1) 1 1 d (1 y )2 y = 2 dy ln(2 ) , p 0 dy (2y 1)

(C.115)

usando (C.32), I1.2 =


1 p2 1 d (1 y )2 y ln dy p2 m2 dy (2y 1) 0 1 d (1 y )2 y 1 dy ln y (1 y ) + O(m2 ) + 2 p 0 dy (2y 1) 1 1 d (1 y )2 y = 2 dy ln y (1 y ) + O(m2 ) . p 0 dy (2y 1)

(C.116)

Usando (C.43) para calcular (C.112) I1.3 = 1 1 d 1 p2 1 dy (1 y )2 y 2 (1 2y ) 2 2 2 0 m p (2y 1) dy 2 1 1 1 1 2 2 = (1 y ) y (1 2 y ) 2m2 (2y 1) 2 0 1 1 d 1 dy (1 y )2 y 2 2 2m 0 dy 2 1 1 d 1 2 2 = dy (1 y ) y , 2m2 0 dy 2

(C.117)

72

usando (C.28), I1.3 = 1 2m2


1

dy
0

d (1 y )2 y 2 dy

m2 d ln(2 ) 2 p (2y 1) dy
1

d 1 (1 y )2 y 2 ln(2 ) dy (2y 1) 0 1 1 d d 1 dy (1 y )2 y 2 + 2 2p 0 dy dy (2y 1) 1 1 = 2 dy f1.3 (y ) ln(2 ) , p 0 com f1.3 (y ) Usando (C.32), I1.3 = 1 ln p2 p2 m2
1

1 = 2p2

ln(2 ) (C.118)

1 d 2 dy

d (1 y )2 y 2 dy 1 p2
1

1 (2y 1)

(C.119)

dy f1.3 (y ) +
0

dy f1.3 (y ) ln y (1 y ) + O(m2 ) .
0

(C.120) Usando os (C.114), (C.116), (C.120) em (C.109) obtemos


1 I b

= g I1.1 + p p I1.2 + I1.3 = ln p p 1 dy f1.3 (y ) p2 0 1 p p dy g f1.1 (y ) + 2 f1.2 (y ) + f1.3 (y ) + p 0 p2 m2 g +

ln y (1 y ) + O(m2 ) (C.121)

com f1.1 (y ) e f1.2 (y ) Podemos reescrever (C.121) como


1 I = b ln

y1 , 2

(C.122)

d (1 y )2 y . dy (2y 1) p p c1.1 p2

(C.123)

p2 m2

g +

+ g c1.2 +

p p c1.3 + O(m2 ) p2

(C.124)

73

onde
1

c 1 .1
0

dy f1.3 (y ) ,

(C.125)

c 1 .2
0

dy f1.1 (y ) ln y (1 y ) ,

(C.126)

c1.3
0

dy f1.2 (y ) + f1.3 (y ) ln y (1 y ) .

(C.127)

Resultado da parte nita de Com os resultados (C.33), (C.52), (C.59), (C.66), (C.101) e (C.124) em (C.12) obtemos
1 2 3 = 8ie2 m2 8I + 4I + 2I + g (2I4 I5 + p2 I6 )

= 8ie2 m2 b ln +2 2

p2 m2

8 g +

p p p p c1.1 + 4 c2.1 g + 2 c2.2 2 p p p p c1.3 p2 + O(m2 )

p p + g 2 + 2 + 1 p2

8 g c1.2 +

+ 4 g c2.3 + = 8ie2 m2 b ln

p p p p c2.4 + 2 c3.1 + g 2c4.1 c5.1 + c6.1 2 p p2 p2 m2 g (13 + 4c2.1 ) + p p (8c1.1 + 4c2.2 4) p2

+ g (8c1.2 + 4c2.3 + 2c4.1 c5.1 + c6.1 ) + + O(m2 ) = O(m) ,

p p (8c1.3 + 4c2.4 + 2c3.1 ) p2

(C.128)

onde os cij s s ao constantes denidas por (C.34),(C.53),(C.60),(C.67),(C.103),(C.102), (C.127),(C.126) e (C.125).

74

C.2

C alculo de 2 p

De (4.24) sabemos que (2 p com = 4 2 1 (2m2 + p2 ) (p g p p ) Ilog (m2 ) b + Z0 (p2 ; m2 ) 2 3 3 p , (C.130) onde Z0 (p2 ; m2 ) =
0 1

)r ) . = (2 p p p

(C.129)

dz ln b

p2 z (z 1) + m2 m2

(C.131) (C.132)

i , (4 )2 1 . m2 )2

e Ilog (m2 ) =
k

(k 2

(C.133)

Podemos ent ao usar que (2 p 2 )p = 2p2 p g p p = 2p2 p g (g p + p g ) p p 2 = 2p 2p p = 0 (C.134)

e (2 p assim (2 p 4 2 (2m2 + p2 ) ) = (p g p p ) p b Z0 (p2 ; m2 ) p 3 p p2 4 1 2m2 = b (p2 g p p ) (2m2 p ) Z + ( + 1)p Z0 . 0 2 2 3 p p p p (C.136) 75 )p p = 2p p p (g p + p g ) = 0 p (C.135)

2 Como p p p = g p p p p = 2p2 ,

p e denindo Z0 p (2 p

1 2 1 (p2 )) = 2 , = p ( 4 2 p p p p p

(C.137)

Z0 , obtemos p (C.138)

4 m2 2m2 ) = b (p2 g p p ) 4 2 Z0 + ( 2 + 1)Z0 . p 3 p p


p2 z (z 1)+m2 , m2

Vamos usar a expans ao de ln(2 ) (C.32), onde 2 = ln(2 ) = ln p2 m2

+ ln z (1 z ) + O(m2 )

(C.139)

em Z0 , para fazer o limite m 0, assim Z0 = ln mas


1

p2 m2

+
0

dz ln z (1 z ) + O(m2 ) ,

(C.140)

dz ln z (1 z )
0

zln z (1 z )

1 0

0 1+

= lim zln z (1 z )
0 0

z (2z 1) z (1 z ) 0 2x + 1 + dx x 1 dz

= lim (1 + )ln (1 + )( ) ln (1 ) 2 + lim ln(x)


0 1+

3 2 2 = 2 + lim ln + ln 0 1+ 2 1+ = 2 + lim ln = 2 , 0 3 2 assim, desprezando O(m2 ), Z0 = ln e Z0 = p p2 m2 2

(C.141)

(C.142)

1 Z0 = 2 p (p2 ) = 2 . p p p 76

(C.143)

Com estes resultados em (C.136), obtemos ent ao (2 p 4 2 ) = bie 2(p2 g p p ) + O(m) p 3 8 1 2 2 = e (p g p p ) + O(m) 3 (4 )2 e2 2 = 2 (p g p p ) + O(m) . 6

(C.144)

77

Ap endice D Resultados e Identidades Utilizados


D.1 Identidades Utilizadas

As identidades abaixo, que foram utilizadas nos c alculos, podem ser encontradas em livros textos como [21]. 1 = As B n
1

dxdy
0

(x + y 1)xs1 y n1 (s + n) , (xA + yB )s+n (s)(n)

(D.1)

1 i(1)m 1 1 d4 l = , 4 2 m 2 m (2 ) (l ) (4 ) (m 1)(m 2) 2

(D.2)

d4 l l l i(1)m1 1 1 g = , 4 2 m 2 m (2 ) (l ) (4 ) (m 1)(m 2)(m 3) 2 2

(D.3)

d4 l l l l l i(1)m (m 4) 1 1 = g{ g } , (2 )4 (l2 )m (4 )2 (m) m4 4

(D.4)

T r( ) = 4g , 78

(D.5)

T r( ) = 4(g g g g + g g ) ,

(D.6)

g{ g } g g + g g + g g ,

(D.7)

D.2

Exemplo de Termo de Superf cie


k 1 1 = g + k k (k 2 m2 )A (k 2 m2 )A k (k 2 m2 )A

Considere , (D.8)

mas k 1 2 k (k m2 )A = A(k 2 m2 )(A+1) k = assim 2Ak k k 1 g 2 . = 2 2 2 A 2 A k (k m ) (k m ) (k m2 )(A+1) Usando A = 2 e integrando em d4 k , obtemos k = g 2 k (k m2 )2 (k 2 1 4 m2 )2 (k 2 k k , m2 )3 (D.11) (D.10) (k 2 2Ak k , m2 )(A+1) (g k k m2 ) k (D.9)

ou
2 2 0 2 1 (0) (m ) = 4 [g Ilog (m ) (m )] ,

(D.12)

com
2 (0) (m ) = k

k k , (k 2 m2 )3 1 (k 2 m2 )2

(D.13)

Ilog (m2 ) =
k

(D.14)

e
2 0 (m ) = k

k 2 k (k m2 )2 79

(D.15)

D.3

Integrais do
2 (2) 2 = g Iquad (m ) 2 ,

(D.16)

2 (0) 0 = g Ilog (m ) 4 ,

(D.17)

2 2 = g{ g } Iquad (m ) 8 ,

(2)

(D.18)

2 0 = g{ g } Ilog (m ) 24 ,

(0)

(D.19)

2 (0) (m ) = k

k k , (k 2 m2 )3 k k , m2 )2

(D.20)

2 (2) (m ) = k

(k 2

(D.21)

(m2 ) =
k

(0)

k k k k , (k 2 m2 )4 k k k k , (k 2 m2 )3

(D.22)

(m2 ) =
k

(2)

(D.23)

Ilog (m2 ) =

d4 k 1 , 4 2 (2 ) (k m2 )2 d4 k 1 . 4 2 (2 ) (k m2 )

(D.24)

Iquad (m2 ) =

(D.25)

80

Refer encias Bibliogr acas


[1] Francois Gieres. About symmetries in physics. 1997. arXiv:hep-th/9712154. [2] R. Jackiw. The Unreasonable eectiveness of quantum eld theory. 1996. arXiv:hep-th/9602122. [3] O. A. Battistel and M. C. Nemes. Consistency in regularizations of the gauged NJL model at the one loop level. Phys. Rev. D, 59:055010, Feb 1999. arXiv: hep-th/9811154, doi:10.1103/PhysRevD.59.055010. [4] A. P. Ba eta Scarpelli, M. Sampaio, and M. C. Nemes. Consistency relations for an implicit n-dimensional regularization scheme. Phys. Rev. D, 63:046004, Jan 2001. arXiv:hep-th/0010285, doi:10.1103/PhysRevD.63.046004. [5] A. P. B. Scarpelli, M. Sampaio, M. C. Nemes, and B. Hiller. Chiral anomaly and CPT invariance in an implicit momentum space regularization framework. Phys. Rev. D, 64:046013, Jul 2001. arXiv:hep-th/0102108, doi:10.1103/ PhysRevD.64.046013. [6] Ant onio Paulo Ba eta Scarpelli. Arbitrariedades em um M etodo de Regulariza c ao no Espa co dos Momentos n-dimensional. PhD thesis, UFMG, March 2001. [7] Leonardo A.M. Souza, Marcos Sampaio, and M.C. Nemes. Arbitrary parameters in implicit regularization and democracy within perturbative description of 2-dimensional gravitational anomalies. Physics Letters B, 632(56):717 724, 2006. arXiv:hep-th/0510017, doi:10.1016/j.physletb.2005.11.006. [8] M. Sampaio, A. P. Ba eta Scarpelli, B. Hiller, A. Brizola, M. C. Nemes, and S. Gobira. Comparing implicit, dierential, dimensional, and Bogolubov-

81

Parasiuk-Hepp-Zimmermann renormalization. Phys. Rev. D, 65:125023, Jun 2002. arXiv:hep-th/0203261, doi:10.1103/PhysRevD.65.125023. [9] L. C. Ferreira, A. L. Cherchiglia, Brigitte Hiller, Marcos Sampaio, and M. C. Nemes. Momentum routing invariance in Feynman diagrams and quantum symmetry breakings. Phys. Rev. D, 86:025016, Jul 2012. arXiv:1110.6186, doi:10.1103/PhysRevD.86.025016. [10] Curtis G. Callan. Broken scale invariance in scalar eld theory. Phys. Rev. D, 2:15411547, Oct 1970. doi:10.1103/PhysRevD.2.1541. [11] Sidney Coleman and Roman Jackiw. Why dilatation generators do not generate dilatations. Annals of Physics, 67(2):552 598, 1971. doi:10.1016/ 0003-4916(71)90153-9. [12] Michael S. Chanowitz and John Ellis. Canonical trace anomalies. Phys. Rev. D, 7:24902506, Apr 1973. doi:10.1103/PhysRevD.7.2490. [13] Stephen L. Adler, John C. Collins, and Anthony Duncan. Energy-momentumtensor trace anomaly in spin-1/2 quantum electrodynamics. Phys. Rev. D, 15:17121721, Mar 1977. doi:10.1103/PhysRevD.15.1712. [14] S. Pokorski. Gauge Field Theories. Cambridge Monographs on Mathematical Physics. Cambridge University Press, 2000. [15] Jian-Wei Cui, Yong-Liang Ma, and Yue-Liang Wu. Explicit derivation of the QED trace anomaly in symmetry-preserving loop regularization at one-loop level. Phys. Rev. D, 84:025020, Jul 2011. arXiv:1103.2026, doi:10.1103/ PhysRevD.84.025020. [16] S. Coleman. Aspects of Symmetry: Selected Erice Lectures of Sidney Coleman. Cambridge University Press, 1988. [17] Mandl F. and Shaw G. Quantum Field Theory 2o Edition. WILEY, 2010. [18] M.O.C. Gomes. Teoria qu antica dos campos. EDUSP, 2002. [19] W. Greiner and J. Reinhardt. Field Quantization. Springer, 1996.

82

[20] R. Aldrovandi and J. G. Pereira. Notes for a Course on Classical Fields. August 2008. Available from: http://www.ift.unesp.br/users/jpereira/ classnotes.html. [21] M.E. Peskin and D.V. Schroeder. An Introduction To Quantum Field Theory. Advanced Book Program. Addison-Wesley Publishing Company, 1995. [22] G.B. Arfken, H.J. Weber, and F.E. Harris. Mathematical Methods for Physicists: A Comprehensive Guide. Academic Press, 2012. [23] R.A. Bertlmann. Anomalies in Quantum Field Theory. International Series of Monographs on Physics. Oxford University Press, 2000. [24] K. Fujikawa and H. Suzuki. Path Integrals and Quantum Anomalies. International Series of Monographs on Physics. Clarendon Press, 2004. [25] Curtis G Callan Jr., Sidney Coleman, and Roman Jackiw. A new improved energy-momentum tensor. Annals of Physics, 59(1):42 73, 1970. doi:10. 1016/0003-4916(70)90394-5.

83