CBPF-MO-002/97

Integrais de Trajetoria

Notas de Aula

Maria Teresa Thomaz

Centro Brasileiro de Pesquisas Fsicas { CBPF/CNPq
Rua Dr. Xavier Sigaud, 150
22290-180 { Rio de Janeiro, RJ { Brasil
A todos aqueles que se sentem capazes
de lutar para realizar seus sonhos.
 { ii { CBPF-MO-002/97

Prefacio
... o segredo e inimigo da ci^encia e a liberdade
de comunicac~ao e de pesquisa s~ao vitais para
o seu orescimento.
H. Moyses Nussenzveig
Curso de Fsica Basica; 1-Mec^anica

Estas Notas de Aula sobre Integrais de Trajetoria, foram apresentadas, num curso
informal, a varios alunos do Curso de Pos-Graduac~ao em Fsica da UFF no primeiro
semestre de 1995. Este conjunto de aulas surgiu da minha incapacidade de continuar
resistindo as reclamaco~es da Iraziet (Iraziet da Cunha Charret) de que apesar de eu ter
as notas prontas sobre o topico, me negar a apresenta-las na forma de um mini-curso.
E claro, que reclamac~ao n~ao tem estado fundamental, e logo em seguida surgiram as
reclamac~oes, n~ao so da Iraziet, de que as notas que estavam escritas a lapis eram difceis de
serem xerocadas, dada a minha letra,ser pequena e n~ao ter margem nas folhas escritas. A
surgiu o Toninho (Ant^onio Tavares da Costa Jr.), que com um pouco de press~ao comecou
a digitar essas notas. Ele n~ao e responsavel por nenhuma incorrec~ao de conteudo no texto,
mas com a sua paci^encia, modicou parte do texto manuscrito de forma a que tivessemos
no nal um texto menos informal. Sem a participac~ao do Toninho, essas notas jamais
teriam as guras que fazem parte do seu corpo!!!
O tempo foi passando, o mini-curso terminou, as notas n~ao caram prontas. O Toninho
foi criando imunidade as minhas press~oes, n~ao completava as correc~oes necessarias na
digitac~ao e no conteudo das Notas de Aula. Foi a que o Antonio (Antonio Cesar Aguiar
Pinto) e Onofre (Onofre Rojas dos Santos) zeram a loucura de suas vidas: trabalhar no
Mestrado comigo. Ora, nada melhor para um futuro campista do que comecar a estudar
Integrais de Trajetoria! Os dois ent~ao zeram revis~ao de pelo menos metade das Notas
de Aula. Como as reclamac~oes sobre a entrega das notas de aula digitadas continuaram,
nada melhor do que colocar quem reclama para trabalhar. Desta forma, a Iraziet fez a
revis~ao da parte das notas que ainda faltava.
Essas Notas sobre Integrais de Trajetotria t^em por objetivo mostrar os calculos simples,
mas trabalhosos para denir as integrais de trajetoria. As integrais de trajetoria s~ao hoje
ferramentas basicas nas diversas areas da Fsica. N~ao procure nesta nota, nada sosticado,
mas o passo a passo que precisamos fazer para denir e tratar essas integrais. Essas notas
foram escritas, pois apesar de termos hoje inumeros textos excelentes sobre este topico,
ao estuda-los, eu sempre senti falta de um texto que desse o detalhe dos calculos.
Certamente, as Notas de Aula sobre Integrais de Trajetoria ainda t^em muitas correc~oes
 { iii { CBPF-MO-002/97

a serem feitas. Se voc^e que as ler tiver algumas correc~oes a sugerir, lhe serei muito grata,
ja que esta e a primeira vers~ao das notas.
No futuro proximo quando novamente eu tiver a oportunidade de reapresentar este
mini-curso, espero fazer novas modicac~oes inclusive de conteudo.
Por ultimo, gostaria de agradecer a todos que insistiram que eu apresentasse o mini-
curso, pois so assim essas notas foram resgatadas do seu futuro de amarelo-arquivo. N~ao
ha como deixar de agradecer muito a todo o esforco do Toninho na digitaca~o dessas notas,
e a ajuda inestimavel ao Antonio, Iraziet e Onofre que zeram a segunda revis~ao de todo
o texto.
Niteroi, 26 de marco de 1996.
Maria Teresa Climaco dos Santos Thomaz
Instituto de Fsica, UFF
 { iv { CBPF-MO-002/97

Prefacio da Segunda Vers~ao

Gostaria de agradecer ao Jose Abdalla pelo convite para apresentar este mini-curso aos
alunos da Coordenac~ao de Formac~ao Cientca do Centro Brasileiro de Pesquisas Fsicas
/CNPq. Desta forma tive a oportunidade de rever as minhas notas, no que modiquei
40% do conteudo original. Entretanto, continua o seguinte misterio: temos um numero
nito de palavras e formulas, mas innitos erros!!! Por favor, me avise dos erros que voc^e
encontrar nessas notas.
Niteroi, 2 de julho de 1997.
Maria Teresa Climaco dos Santos Thomaz
Instituto de Fsica, UFF
 {v{ CBPF-MO-002/97

Indice
1 Proposta de Feynman Para uma Nova Formulac~ao da Mec^anica Qu^antica
de Uma Partcula 1
1.1 Sistema Qu^antico de Uma Partcula: Representac~ao de Schrodinger e Heisen-
berg : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1
1.2 Noc~oes de Derivadas Funcionais : : : : : : : : : : : : : : : : : : : : : : : : 10
1.3 Func~oes de Green de Uma Partcula : : : : : : : : : : : : : : : : : : : : : : 14
2 Relac~ao entre a Mec^anica Estatstica e as Integrais de Caminho 18
2.1 Func~ao de Partica~o e o Funcional Gerador das Func~oes de Green Termicas 18
2.2 Relaca~o entre as Func~oes de Green Termicas e as Func~oes de Green do
Espaco Euclideano : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 19
3 Integral de Caminho na Teoria de Campos 24
4 Func~oes de Green Conexas e Desconexas 27
4.1 Modelo  : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 29
4

5 Func~oes de Vertice, ou Gracos 1PI (One Particle Irreducible) 41

6 Ap^endice I: Metrica 54
7 Ap^endice II: Prolegomena de Mec^anica
Eststica 55
8 Ap^endice III: Func~ao de Green da Teoria Livre 57
 {1{ CBPF-MO-002/97

1 Proposta de Feynman Para uma Nova Formulac~ao

da Mec^anica Qu^antica de Uma Partcula
 Refer^encias Originais:
P.A.M. Dirac, Physik Z. Sowjetunion 3, 64 (1933).
R.P. Feynman , Rev. Mod. Phys. 20, 267 (1948); Phys. Rev. 80.
440 (1950)
 Outras Refer^encias:
E.S. Abers, B.W. Lee, Phys. Rep. 9C, 1 (1973).
H.M. Nussenzveig,Integrais de Trajetoria, Escola de Ver~ao Jorge Andre
Swieca, Partculas e Campos, 1981 (pag. 127).
Obs.: Os artigos originais est~ao contidos no livro Selected Papers on Quantum Electrody-
namics, editado por J. Schwinger.

1.1 Sistema Qu^antico de Uma Partcula: Representac~ao de

Schrodinger e Heisenberg
A descric~ao da Mec^anica Qu^antica (MQ) a la Schrodinger e Heisenberg e feita atraves
da hamiltoniana do sistema. Entretanto, em 1933, Dirac apresenta uma formulac~ao
da Mec^anica Qu^antica usando a lagrangeana do sistema. Dirac arma que, classica-
mente, as formulac~oes lagrangeana e hamiltoniana s~ao equivalentes, e que, portanto, essa
equival^encia deve aparecer na M.Q. Alem disso, a formulac~ao lagrangeana e covariante,
uma vez que a ac~ao e um escalar de Lorentz, enquanto a formulac~ao hamiltoniana n~ao o
e. A formulaca~o lagrangeana poderia ser mais facilmente utilizada para se tratar sistemas
qu^anticos relativsticos.
Basicamente, a proposta de Dirac e que, no limite em que h ! 0 a amplitude de
probabilidade de uma partcula que se encontra no estado jq0(t0)i no instante t0 ser
encontrada no estado jq(t)i no instante t e dada por
i Rt
 t0 Ldt
hq(t)jq0(t0)i = e h ; (1)
onde L e a lagrangeana do sistema, e a trajetoria escolhida para calcular a ac~ao e a
trajetoria CLA SSICA que tenha como condic~ao de contorno as posic~oes q(t0) e q(t) como
estados inicial e nal respectivamente.
Na formulac~ao de Feynman, como iremos ver, para um intervalo de tempo nito, temos
que considerar todos os possveis caminhos que levam da posic~ao q(t0) em t = t0 ate a
 {2{ CBPF-MO-002/97

posic~ao q(t), no instante t. A contribuic~ao de cada caminho para o processo qu^antico e

dada por
i Rt
 t0 Ldt
e h ; (2)
onde a ac~ao e calculada tomando-se aquela dada trajetoria.
Na formulac~ao de Schrodinger e Heisenberg para a MQ, trabalhamos com operadores
que agem sobre vetores de estado, enquanto que na formulac~ao de Feynman trabalharemos
apenas com func~oes. As tr^es formulac~oes (Schrodinger, Heisenberg e Feynman) da M.Q.
s~ao equivalentes.
Na MQ de operadores existem duas representac~oes que s~ao as mais usadas: a rep-
resentac~ao de Schrodinger e a representac~ao de Heisenberg. Vamos fazer uma pequena
revis~ao do que s~ao essas duas representac~oes1.

i) Representac~ao de Schrodinger:
a) Din^amica dos operadores: Seja OS um operador na representac~ao de Schrodinger.
Na representac~ao de Schrodinger o operador n~ao varia no tempo:
dOS = 0: (3)
dt
b) Din^amica do vetor de estado: Seja j (t)iS um vetor que descreve um estado
qu^antico na representac~ao de Schrodinger. A din^amica dos vetores de estado nesta
representac~ao e dada por:

i dj dt(t)iS = Hj (t)iS ; (4)

onde H e a hamiltoniana total do sistema. Por hipotese, faremos a descrica~o qu^antica
de sistemas fechados, de maneira que H e uma constante do movimento. Usando
a equac~ao de Schrodinger (4) e o fato de que H e constante no tempo, podemos
escrever formalmente que,

j (t)iS = e;iH(t;t )j (t0)iS :

0
(5)
O ndice S esta presente para lembrar que as quantidades est~ao sendo descritas na
representac~ao de Schrodinger.
1
Estaremos, de agora em diante, usando as unidades naturais, nas quais h = c = 1.
 {3{ CBPF-MO-002/97

ii) Representac~ao de Heisenberg:

a) Din^amica dos operadores: Seja OH um operador na representac~ao de Heisen-
berg. A din^amica dos operadores, que n~ao dependem explicitamente do tempo,
nesta representac~ao e dada por:
dOH = i[H; O ]; (6)
H
dt
onde H e a hamiltoniana do sistema. Formalmente, esta equac~ao tem como soluc~ao:

OH (t) = eiHtOH (0)e;iHt: (7)

b) Din^amica do vetor de estado: Seja j iH um vetor de estado na representac~ao
de Heisenberg. Nesta representac~ao os vetores de estado n~ao variam com o tempo:
dj iH = 0: (8)
dt
Essa armativa deve ser entendida no seguinte sentido: se o sistema esta no instante
t0 no estado j iH , no instante t ele estara no mesmo vetor de estado j iH . No
entanto, o fato do vetor de estado que descreve o sistema n~ao evoluir com o tempo
n~ao impede que t apareca como um ndice. Vejamos: seja OH (t) um operador
na representac~ao de Heisenberg, que no instante inicial t0 tenha como autovetores
jo; t0i, ou seja,

OH (t0)jo; t0i = ojo; t0i: (9)

Supondo que a din^amica do operador OH seja unitaria2, isto e, seja dada pela eq.(7),
aplicamos o operador eiH(t;t0) no l.d. dos dois termos da eq.(9) e obtemos que:

eiH(t;t0)O(t0)e;iH(t;t0) eiH(t;t0)jo; t0i = oeiH(t;t0) jo; t0i: (10)

Comparando a equac~ao anterior com a eq.(7), escrevemos que

OH (t)jo; ti = ojo; ti; (11)

sendo que jo; ti e denido como:
2
Transformac~ao unitaria: se U e um operador unitario, ent~ao UU y = U yU = 1l , U y = U ;1 , sendo 1l,
o operador identidade.
 {4{ CBPF-MO-002/97

jo; ti = eiH(t;t )jo; t0i:

0 (12)
Da eq.(11) vemos que jo; ti e autovetor do operador OH (t) com autovalor o. Os au-
tovalores s~ao independentes do tempo. O que ocorre e que os operadores variam
de instante para instante, de forma que o conjunto completo de seus autovetores
tambem deve variar de instante a instante. Se num instante t0 jo; t0i e autovetor de
OH (t0) com autovalor o, no instante t, jo; t0i n~ao e mais um autovetor de OH (t), e
sua decomposic~ao espectral na base dos autoestados do operador neste instante e
X
jo; t0i = atjo; ti: (13)
o

As representaco~es de Schrodinger e Heisenberg est~ao ligadas atraves de uma tran-

formac~ao unitaria,

j (t)iS = e;iHtj ; tiH ; (14)

e

QS = e;iHtQH (t)eiHt: (15)

No nosso caso, a matriz de transformac~ao unitaria e:

U (t; 0) = e;iHt: (16)

A hamiltoniana total do sistema, H, e a mesma nas duas representac~oes.
O objeto que nos da informaco~es fsicas sobre o sistema s~ao as probabilidades. Entre-
tanto, a MQ nos da a evoluc~ao din^amica das amplitudes de probabilidade. Vamos ent~ao
obter as amplitudes de probabilidade nas duas representac~oes.Apenas para simplicar a
notac~ao, vamos tratar do problema qu^antico de uma partcula em uma dimens~ao espacial
e uma dimens~ao temporal.
Seja F (q0; t0; q; t) a amplitude de probabilidade da partcula, estando na posic~ao q no
instante t, ser encontrada na posic~ao q0 no instante t0. Temos ent~ao

H hq ; t jq; tiH
0 0 = F (q0; t0; q; t); (17)
 {5{ CBPF-MO-002/97

que, escrita na representaca~o de Schrodinger, ca3

F (q0; t0; q; t) =H hq0; t0jq; tiH = hq0(t0)je;iH(t0;t)jq(t)i: (18)

Vamos agora manipular a amplitude de probabilidade F (q0; t0; q; t) = H hq0; t0jq; tiH .
Usando o fato de que, em cada instante ti, o conjunto de autovetores jqi; tiiH do operador
posic~ao e completo,
Z1
;1
dqi jqi; tiiHH hqi; tij = 1l; (19)
e, subdividindo o intervalo t0 ; t em sub-intervalos innitesimais , ou seja,

tn = n + t; n = 0; 1; 2; : : : ; N + 1; (20)
onde t0 = t e tN +1 = t0 = (N + 1) + t, temos
Z1 Z1
F (q0; t0; q; t) = dq1 : : : dqN H hq0; t0jqN ; tN iHH hqN ; tN jqN ;1; tN ;1iH 
;1 ;1
H hqN ;1; tN ;1jqN ;2; tN ;2iH : : :H hq1; t1jq; tiH : (21)
Entretanto4,

H hqi ; ti jqi;1; ti;1 iH

=Shqi(ti)je;iHjqi;1(ti;1)iS ; (22)
No limite  ! 0, a exponencial do operador hamiltoniano pode ser aproximada por:

e;iH = e;i(H0+V ) = 1 ; iH0 ; iV + O(2) = e;iH0 e;iV (q) + O(2); (23)
onde H0 = 2pm2 . Assim, mantendo termos de ate primeira ordem em , temos que
3
Note que H hq0 ; t0jq; tiH 6=S hq0 (t0 )jq(t)iS , pois o produto escalar e o mesmo em todas as representac~oes
obtidas umas das outras atraves de uma representac~ao unitaria apenas se os vetores de estado est~ao
denidos no mesmo instante.
4
Por construc~ao, o vetor de estado: jqi; ti iH e autoestado do operador q^H (ti ). A relac~ao entre autoes-
tados deste operador nas representac~oes de Schrodinger e Heisenberg e denida pela eq.(14):

jqi(ti )iS = e;iHt jqi; ti iH :

i

Lembrando que jqi(ti )iS e o autovetor do operador q^S no instante t, ou seja,

q^S jqi(ti )iS = qijqi(ti )iS :

 {6{ CBPF-MO-002/97

e;iH  e;iH0 e;iV (q): (24)

Levando estes resultados na equac~ao (22) camos com

H hqi ; tijqi;1 ; ti;1iH

=Shqi(ti)je;iH0 e;iV (q)jqi;1(ti;1)iS : (25)
Nos casos em que o potencial so envolver o operador de posic~ao, temos que

H hqi ; tijqi;1 ; ti;1 iH

=Shqi(ti)je;iH0jqi;1(ti;1)iS e;iV (qi;1); (26)
onde, agora, V (qi;1) e uma func~ao da coordenada qi;1(ti;1).
Como estamos tratando sistema qu^antico n~ao-relativstico em que H0 so envolve o
operador momentum, vamos mudar de base para calcular o produto escalar do l.d. da
eq.(26). Usando a completeza dos autovetores do operador momento,
Z1
1l = dpjpihpj; (27)
;1
o produto escalar do l.d. da eq.(26) passa a ser escrito como:

Z1 Z1
H hqi ; tijqi;1 ; ti;1iH = dp dp0 S hqi(ti)jpiS 
;1 ;1
S hpje jp iS S hp jqi;1(ti;1)iS e;iV (qi;1):
; iH 0 0 0 (28)
Entretanto, sabemos que

h q ( t ) j p i = eiqip ;
p (29)
S i i S
2
p2 
S hpje 0 jp iS = e;i 2m (p ; p0):
;iH  0 (30)
Usando estes resultados em (28) obtemos

Z1 Z1
= 21
p2 
H hqi ; tijqi;1 ; ti;1iH dp dp0eiqipe;iqi;1p0 e;i 2m e;iV (qi;1)(p ; p0)
1 Z;1
1
;1
p2 
= 2 dp e;i 2m e;iV (qi;1)ei(qi;qi;1)p; (31)
;1
ou seja5,
5
Note que podemos somar os argumentos das exponenciais, ja que agora so temos exponenciais de
func~oes.
 {7{ CBPF-MO-002/97

q(t) p(t)

1 1
1 1
q(0) ... ...
2 q’(t’)
2
2 2

ε ε
t
t1 t2 t3 tN-2 tN-1 tN t’ t1 t2 t3 tN-2 tN-1 tN t’

Figure 1: A) Trajetorias da partcula entre os pontos q; t e q0; t0; B) Trajetorias no espaco

dos momentos, que n~ao possuem condic~oes inicial e nal.

1 Z1 (qi ;qi;1 )p ;iH

H hqi ; ti jqi;1; ti;1 iH = dpei  e : (32)
2 ;1
Notemos que para cada produto escalar do l.d. da eq.(18) introduzimos uma integral
sobre a variavel momento. Voltando a express~ao da amplitude de probabilidade temos
que

Z1
F (q0; t0; q; t) = dq1 : : : dqNHhq0; t0jqN ; tN iHH hqN ; tN jqN ;1; tN ;1iH : : : 
;1
H hq2; t2jq1; t1iHH hq1; t1jq; tiH
Z Z1
= (21)N +1 ;1 dq1 : : : dqN ;1 dp0 : : :dpN e;i 2Nm ;iV (qN )+i  N pN 
1 p2 (q 0 ;q )

p21
 : : :  e;i m ;iV (q )+i q ; q p1 e;i 2pm0 ;iV (q0 )+i (q1 ; q0 ) p0 ;
2
( 2 1)
2 1
(33)
onde q0 = q. Na eq.(33) integramos no intervalo (;1; 1) sobre as N + 1 variaveis de
momento.
O que estamos fazendo com essas integrac~oes multiplas e: dentre as possveis tra-
jetorias no espaco dos q 0s e p0 s, est~ao includas todas as trajetorias \quebradas". No
limite em que N ! 1 (  ! 0) as variaveis de posic~ao deixam de ser indexadas pelo
ndice discreto i, passando a serem func~ao do par^ametro contnuo t. Na integral de q(t)
todas as trajetorias partem da posic~ao q(t) e todas t^em que alcancar a posic~ao q0(t0). A
integral sobre p(t) ja n~ao possui restric~oes(veja gura 1).
Voltando a situac~ao em que o tempo evolui continuamente,  ! 0, e reconhecendo que
 {8{ CBPF-MO-002/97

dq(t) = lim q(t + ) ; q(t) ; (34)

!0
dt 
temos que, apos tomarmos o limite do contnuo, a amplitude de probabilidade ca sendo

h q 0 ; t0jq; ti = 1 Z q0(t0) Dq(t) Z 1 Dp(t)e;i Rtt0 Hdt+i Rtt0 q_(t)p(t)dt: (35)

H H
(2)N +1 q(t) ;1
Estamos denindo Dq(t) e Dp(t) como sendo:
Y
N
Dq(t) = dqi(ti) (36)
i=1
e
Y
N
Dp(t) = dpi (ti) (37)
i=0
Portanto, no caso geral, a amplitude de probabilidade e dada por
1 Z q0(t0) Z1 R t0 (q_(t)p(t);H)dt
H hq ; t jq; tiH =
(2)N +1 q(t) Dq(t) ;1 Dp(t)e
0 0 i t : (38)
Apesar de q(t) e p(t) serem autovalores de operadores canonicamente conjugados, e
importante ressaltar que q(t) e p(t) s~ao duas variaveis independentes, e, por causa disso,
e falso armar que:

p = @L
@ q_ ; (39)
sendo L a func~ao lagrangeana do sistema. De forma que n~ao podemos escrever direta-
mente a transformac~ao de Legendre

pq_ ; H = L: (40)
Uma vez que conhecemos a depend^encia do operador hamiltoniano em termos do
operador momento, sabemos como a func~ao H depende da variavel p e realizar a integral
funcional em Dp(t) para encontrar a lagrangeana efetiva que aparece na eq.(38).
Vamos considerar a situac~ao usual da M.Q. n~ao-relativstica em que

H(q; p) = 2pm + V (q):

2
(41)
Neste caso, a integral de caminho do modelo qu^antico ca
1 Z q0(t0) Z1 R0
i tt [q_(t)p(t); 2pm ;V (q)]dt:
2
H hq ; t jq; tiH = D D
0 0 q ( t) p ( t ) e (42)
(2)N +1 q(t) ;1
 {9{ CBPF-MO-002/97

Vamos realizar a integral funcional em p(t) na eq.(38),

Z1Y N PN [pi qi+1 ;qi ; p2i ] YN Z1 qi+1 ;qi ; p2i ]
dpi (ti)e i i =1  2 m = dpi e i [ p i  2m ; (43)
;1 i=0 i=0 ;1
onde (N + 1) + t = t0, usando o truque tradicional de completar quadrados. Para es-
crevermos cada integral sobre as variaveis pi como uma gaussiana, completamos o seguinte
quadrado:
p
p2i ; p (qi+1 ; qi) = ( ppi ; m(qpi+1 ; qi) )2 ; m (qi+1 ; qi)2 :
2m i  2 2 (44)
2m q 22m
A integral gaussiana em pi tem como resultado i .
Portanto, como
Z1 R t0 [q_(t)p(t); p2 ]dt N Z1
Y ;
p
i( pp2im ; m(qpi+1 ;qi ) )2  im qi+1 ;qi 2
;1
Dp(t)e t
i 2m = dpi e 2 e 2 (  ) ; (45)
i=0 ;1
a integral funcional sobre a variavel p(t) e igual a:
Z R t0 [p(t)q_(t); p2(t) ]dt
 2 m N +1 YN im (qi+1 ;qi )2
Dp(t)e t
i = ( i )
2m 2 e 2 2 
i=0
; i 2 m (N +1)
R t0 mq_2 (t)
= (  ) 2 ei t 2 dt: (46)
Pelo resultado (46) sentimos as diculdades no calculo de integrais de caminho, uma
vez que, no limite do contnuo, a constante multiplicativa e divergente!!!
Voltando a amplitude de probabilidade de transic~ao, eq.(38), temos que
m Z
N +1 q0 (t0) R t0 ( mq_2 ;V (q))dt
H hq ; t jq; tiH = lim!0( Dq(t)e t 2
0 0 i :
2i ) (47)
2
q(t)
Como a express~ao da lagrangeana classica e L = m2q_2 ; V (q), ent~ao
m Z q0 (t0) R t0 Ldt
H hq ; t jq; tiH = lim!0 (
2i ) q(t) Dq(t)e
0 0 N= 2 i t : (48)
Na situac~ao em que a depend^encia da hamiltoniana em p seja apenas quadratica,
podemos escrever diretamente a igualdade acima. Nesse caso, a ac~ao de cada trajetoria
da o peso estatstico da mesma para o fen^omeno qu^antico.
Em geral, os sistemas qu^anticos se encontram em estados jiH , que n~ao s~ao auto-
estados do operador posica~o. Alem disso, desejamos determinar a amplitude de probabil-
idade do sistema ser encontrado no estado qu^antico j iH num instante posterior. Desta
 { 10 { CBPF-MO-002/97

forma, desejamos obter o produto escalar: H h ; t0j; tiH , para t0 > t, na forma de uma
integral de trajetoria.
Usando a completeza da base dos autovetores do operador posic~ao nos instantes t e t0
(eq.19), ou seja,
Z1 Z1
dq0jq0; t0iH Hhq0; t0j = 1l e dqjq; tiH H hq; tj = 1l; (49)
;1 ;1
o produto escalar H h ; t0j; tiH passa a ser escrito como:

Z1
Hh ; t0j; tiH = dq0dq H h ; t0jq0; t0iHH hq0; t0jq; tiHH hq; tj; tiH
;1
m Z
N +1 1
Z q0(t0) R t0 Ldt
= lim!0( 2i ) 2
;1
0  0 0
dq dq (q ; t )(q; t)
q(t)
Dq(t)e t :
i (50)

1.2 Noc~oes de Derivadas Funcionais

Refer^encias:
 C. Nash, Relativistic Quantum Fields, cap. 1.
 H. M. Nussenzweig,Integrais de Trajetoria. Escola de Ver~ao Jorge Andre Swieca,
Partculas e Campos, 1981, pag. 127.
 Mark S. Swanson, Path Integrals and Quantum Processes.
Para a MQ n~ao -relativstica, e suciente o conhecimento das amplitudes de proba-
bilidade dadas pelas integrais de caminho. No entanto, em Teoria Qu^antica de Campos,
as chamadas func~oes de Green s~ao as quantidades que conseguimos calcular atraves de
metodos perturbativos e n~ao-perturbativos.
Para falarmos em func~oes de Green, precisamos mencionar a parte de integrais e
derivadas funcionais. Continuaremos a tratar o problema qu^antico de uma partcula,
apenas para exemplicar.
Estamos acostumados a tratar com func~oes que s~ao soluc~oes das equac~oes que d~ao a
din^amica das variaveis usadas para descrever um dado sistema fsico. Por exemplo, no
caso da Mec^anica Qu^antica n~ao-relativstica de uma partcula unidimensional, a din^amica
da func~ao de onda (F.O.) e dada pela equac~ao de Schrodinger:

; 21m @ @x(x;2 t) + V (x) (x; t) = i @ @t

(x; t):
2
(51)
 { 11 { CBPF-MO-002/97

Note que para cada valor do par de par^ametros (x; t) associamos um numero (x; t) que
denominamos de func~ao no ponto x no instante t. O mesmo ocorre quando descrevemos
a din^amica classica de uma partcula, assim como varios outros fen^omenos fsicos.
No entanto, ao observar as eqs. (47) e (48), vemos que temos novo objeto matematico
na exponencial do integrando dessas equac~oes, ou seja,
Z t0 m
S [q; q_; t; t ] = dt [ 2 q_(t)2 ; V (q(t))];
0 (52)
t
que e a aca~o associada a trajetoria q(t), que tem pontos extremos xados pelo problema
qu^antico. Para cada trajetoria (func~ao) q(t) associamos um numero. Ao contrario do
primeiro exemplo desta sec~ao, n~ao e suciente conhecer o valor do par^ametro (tempo)
num unico ponto. E necessario conhecer os valores que a func~ao assume num intervalo de
valores do par^ametro. Dizemos que S e um funcional da trajetoria (func~ao) q(t).
No caso de func~oes f (t), ao variarmos o valor do par^ametro t, em geral, mudamos
o valor da func~ao f . No caso de funcionais E [f ], ao se mudar a funca~o f (t), em geral
modicamos o valor do funcional E . Seja E [f (x)] um funcional de f (x), um exemplo de
funcional e

E [f (t)] = f (t); (53)

que e um funcional muito particular. No entanto, o resultado nal da express~ao (53)
depende da escolha que fazermos da func~ao f (x), da dizer que esta express~ao e um
funcional. De qualquer maneira, a igualdade (53) sempre pode ser escrita como,
Z1
E [f (t)] = dt (t ; t0)f (t0); (54)
;1
sendo (t ; t0) a func~ao delta de Dirac.
Consideremos agora a derivada funcional. A sua denic~ao operacional n~ao e unica,
porem vamos usar a denic~ao do Nash, que e a mesma do Moyses:
E [f (x)] = lim E [f (x) + (y ; x)] ; E [f (x)] : (55)
!0
f (y) 
Para entendermos a necessidade da presenca da func~ao delta de Dirac, (y ; x), na
denic~ao da derivada funcional, facamos analogia com a derivada de func~oes. Seja f (x)
uma func~ao do par^ametro x. A derivada dessa func~ao em relac~ao a x e:
df (x) = lim f (x + ) ; f (x) : (56)
dx !0 
 { 12 { CBPF-MO-002/97

Ao variarmos o valor do par^ametro para um valor denido x atraves de um incremento

, em geral, o valor da func~ao f no ponto x +  difere do valor desta func~ao no ponto x.
Se a func~ao f e uma func~ao contnua em torno na vizinhanca do ponto x, ent~ao a sua
variac~ao devido a variac~ao no valor do par^ametro tambem tende a zero quando  ! 0. A
derivada da func~ao f (x) no ponto x corresponde a calcular o limite da raz~ao entre duas
quantidades que v~ao simultaneamente a zero quando  ! 0. Neste tipo de derivada
variamos apenas o valor de um unico valor do par^ametro.
No caso de funcionais desejamos calcular como eles variam quando seu argumento
(func~ao) varia para um unico valor do argumento (par^ametro). Ou seja, a deformac~ao
da func~ao corresponde a mudar o seu valor num unico ponto do seu argumento. Em
geral, os funcionais envolvem integraca~o sobre func~oes, como por exemplo e o caso da
ac~ao classica associada a uma trajetoria q(t) (veja eq.(52)). Neste caso o par^ametro e o
tempo t. Se variamos a trajetoria q(t) para um unico valor de t, esta variac~ao n~ao leva a
nenhuma mudanca no valor da ac~ao S [q(t)], uma vez que e uma modicac~ao num espaco
de dimens~ao nula na variavel de integrac~ao:
(
q (t) = qq((tt));+
q(t); tt 22 ((;1
0 ; t ; ) [ (t + ; 1) (57)
t ; ; t + )
onde estamos considerando o limite em que  ! 0. A modicac~ao da func~ao q(t) denida
pela relac~ao (57) implica na seguinte variac~ao no valor da ac~ao classica da partcula:

Z t+  1 

S [q(t)] =  dt 2 mq_(t) ; V (q(t))2
t;
1 
' lim   
  2 m
q_(t) ; (V (q (t)) ; V (q(t)) = 0;
2 0 (58)
!0
uma vez que  multiplica uma quantidade nita. Para variarmos a func~ao q(t) para
um unico valor do par^ametro t e ela ainda dar uma variac~ao no funcional, ou seja, a
modicac~ao do funcional ocorre devido a uma variac~ao num espaco de dimens~ao nula na
variavel de integrac~ao, ent~ao a variac~ao da func~ao neste unico ponto tem que ser singular.
A func~ao que tem essa caracterstica e a func~ao delta de Dirac, que e usada na denic~ao
da derivada de funcionais (eq.(55)).
Para exemplicar a aplicac~ao de derivadas funcionais, consideremos o funcional E [f (x)] =
f (x). Ent~ao:

E [f (x)] = lim f (x) + (y ; x) ; f (x) = (y ; x)

!0
f (y) 
 { 13 { CBPF-MO-002/97

) Ef[f((yx))] = (x ; y): (59)

Como um segundo exemplo, consideremos:

Z
Ex[f ] = dx0K (x; x0)f (x0): (60)
Ent~ao,

Ex[f ] = lim R dx0K (x; x0)[f (x0) + (y ; x0)] ; R dx0K (x; x0)f (x0)
f (y) !0
R 0 
= lim  dx K (x; x )(y ; x ) = K (x; y):
0 0
(61)
!0 
Assim,
Ex[f ] = K (x; y): (62)
f (y)
Da mesma forma que voc^e pode escrever series de pot^encias para func~oes comuns em
termos de suas variaveis,
X
1
F (x) = an xn; (63)
n=0
existe a serie de Taylor funcional que corresponde a expans~ao do funcional em termos da
sua func~ao argumento. Seja P [f ] um funcional de f (x), ent~ao P [f ] pode ser escrito como:
Z
Px[f ] = K0(x) + K1(x; x1)f (x1)dx1 +
Z
+ K2(x; x1; x2)f (x1)f (x2)dx1dx2 + : : : ; (64)
Se Kn (x; x1; x2; : : :; xn) e uma func~ao simetrica nas variaveis x1; x2; : : :, xn, ent~ao temos
que
Kn (x; x1; x2; : : : ; xn) = n1! f (x ) :P: :[ff] (x ) jf (x)0:
n
(65)
1 n
Outras propriedades interessantes das derivadas , e que possuem analogo nas derivadas
usuais de func~oes, s~ao:
i) Sejam F e G funcionais da func~ao g (x), ent~ao,
(F [g]G [g]) = F [g]
G [g] + F [g]
G [g] : (66)
g(x) g(x) g(x)
 { 14 { CBPF-MO-002/97

F(t)

t
t t
1 2

Figure 2: Perl da forca externa F (t)

ii) Regra da cadeia para derivadas funcionais:
F [g(f )] = Z dx F [g]
g(x) : (67)
f (y) g(x) f (y)
ii) Se F [g]  F [g1;


; gn], sendo gi , i = 1; 2;


; n, func~oes do par^ametro x, ent~ao,
Z
F [g ;


; g ] = dx F [g]
g (x);
1 n
gj (x) j (68)
onde estamos usando a convenca~o de soma implcita para os ndices repetidos j .

1.3 Func~oes de Green de Uma Partcula

Estamos considerando uma partcula qu^antica unidimensional n~ao-relativstica. A integral
de caminho neste caso e6
Z q0(t0) R t0
H hq ; t jq; tiH = Dq(t)ei t Ldt;
0 0 (69)
q(t)
onde L = T ; V (q).
Considerando que o nosso sistema esta sob a ac~ao de uma forca externa F (t), durante
um certo intervalo de tempo t2  t  t1 (ver gura 2), queremos saber a amplitude de
probabilidade do sistema estando no estado jq; tiH no instante t ser encontrado no estado
jq0; t0iH no instante t0. Nesse caso, camos com7,
6
Dentro da denic~ao de Dq(t) ja esta contida a constante multiplicativa.
7
No caso de uma partcula classica, a sua equac~ao de movimento na presenca de uma forca extrena
F(t) e:
 { 15 { CBPF-MO-002/97

Z q0(t0) R t0 dtL+i R t0 F (t)q(t)dt

H hq ; t jq; tiH Dq(t) e t  Z [F ]:
0 0 F = i t (70)
q(t)
A amplitude de probabilidade passa a serR um0
funcional da forca externa aplicada F (t).
t
Calculando a derivada funcional de ei t F (t)q(t)dt em relac~ao a F (t1), encontramos que,

R t0 F (t)q(t)dt R t0 [F (t)+(t;t1)]q(t)dt R t0 F (t)q(t)dt

[ei t ] = lim ei t ; ei t
F (t1) !0 
R0
i t F (t)q(t)dt
R t0
= lim e
t eiq(t1) ; ei t F (t)q(t)dt
!0
R 
t 0
= ei t F (t)q(t)dt lim 1 + iq(t1) ; 1
!0
R 0

t
= iq(t1)ei t F (t)q(t)dt: (71)
Portanto,
R t0 F (t)q(t)dt
[ei t ] = iq(t )ei Rtt0 F (t)q(t)dt: (72)
1
F (t1)
Usando o resultado (72), e facil mostrar que
R t0 F (t)q(t)dt
i
 [e t
n ] = (i)nq(t ) : : : q(t )ei Rtt0 F (t)q(t)dt: (73)
1 n
F (t ) : : : F (t )
1 n
Voltamos para a express~ao de Z [F ] e expandimos a parte da exponencial que depende de
F (t):
Z q0(t0) R t0 Ldt Z t0 Z q0(t0) R t0 Ldt
Z [F ] = q(t) Dq(t)e i t + dt1
t q(t)
Dq(t)iq(t1)e t F (t1) +
i

1 Z t0
+ 2!
Z q0(t0)
dt1dt2 2
R0
i t Ldt
Dq(t)(i) q(t1)q(t2)e t F (t1)F (t2) + : : :; (74)
t q(t)
onde podemos identicar

mq = ; dVdq(q) + F(t):

Esta equac~ao e obtida a partir da lagrangeana:
LF = T ; V (q) + qF(t):
 { 16 { CBPF-MO-002/97

Z q0(t0) R t0 Ldt Z [F ] j
q(t)
Dq(t)iq(t1)ei t = F (t1) F =0 (75)
Z q0(t0) R t0 Ldt
= F (t Z)F
2 [F ]

q(t)
Dq(t)(i)2q(t1)q(t2)ei t
(t2) jF =0 (76)
1
...
Assim,
1 Z t0
X
Z [F ] = Z [F = 0] + dt1 : : : dtn n1! G(n)(t1; : : :; tn)F (t1) : : : F (tn); (77)
n=1 t
onde

G(n)(t1; : : :; tn) = F (t )Z: :[F: F] (t ) jF =0;

n
(78)
1 n
s~ao as chamadas func~oes de Green de n pontos. Se conhecemos as innitas func~oes de
Green de n pontos, temos toda a informac~ao sobre um determinado sistema qu^antico,
pois conhecemos a expans~ao funcional em serie de Taylor de Z [F ].
A ultima coisa que nos resta e relacionar as func~oes de Green de n pontos com ele-
mentos de matriz de operadores: H hq0; t0jq^H (t1) : : : q^H (tn)jq; tiH , onde q^H (ti) e o operador
posic~ao na representaca~o de Heisenberg no instante ti.
Seja t < tk < t0, k = 1; 2;


; N . Ent~ao,
Z
H hq ; t jq^H (tk )jq; tiH = dq1 : : :dqk : : : dqN H hq ; t jqN ; tN iH 
0 0 0 0
 H hqN ; tN jqN ;1; tN ;1iH : : :H hqk+1; tk+1jqk ; tkiH 
H hqk ; tkjq^(tk )jqk;1; tk;1iH : : :H hq1; t1jq; tiH : (79)
Como hqk ; tkjq^(tk ) = q(tk )hqk ; tk j, o elemento de matriz (79) e igual a:
Z q0(t0) R t0 Ldt
H hq ; t jq^H (tk )jq; tiH Dq(t)q(tk)ei
0 0 = t : (80)
q(t)
Portanto,
Z [F ] j :
Hhq ; t jq^H (tk )jq; tiH = ;i F
0 0 (81)
(t ) F =0
k

Vamos escrever o elemento de matriz H hq0; t0jq^H (tk )jq; tiH na representac~ao de Schrodinger.
Para isso usaremos a relac~ao entre as representac~oes de Heisenberg e Schrodinger dada
pelas eqs. (14) e (15),
 { 17 { CBPF-MO-002/97

j ; tiH = eiHt j (t)iS (82)

e

QH (t) = eiHt QS e;iHt: (83)

Substituindo essas igualdades no bracket (81), obtemos que,

H hq ; t jq^H (tk )jq; tiH

0 0 = S hq0(t0)je;iHt0 eiHtk q^S e;iHtk eiHtjq(t)iS
= S hq0(t0)jeiH(tk;t0 )q^S e;iH(tk;t)jq(t)iS : (84)
Usando a eq. (5), reescrevemos a igualdade acima como:

H hq ; t jq^H (tk )jq; tiH

=S hq0(tk )jq^S jq(tk)iS :
0 0 (85)
O l.d. da eq. (85) da a representac~ao matricial do operador q^S no espaco das posic~oes,
inclusive os elementos fora da diagonal.
Para obtermos o valor medio da posic~ao da partcula que esta no estado qu^antico
(tk )iS , no instante tk , precisamos calcular o elemento de matriz:

S h Z (tk )jq^S j (tk )iS =

1 0
= dq (tk)dq(tk ) S h (tk)jq0(tk )iSS hq0(tk )jq^S jq(tk)iSS hq(tk )j (tk)iS
;1
Z1
= dq0(tk)dq(tk ) (qk0 ; tk ) (qk ; tk)S hq0(tk )jq^S jq(tk)iS
Z;11 Z q0(t0) R t0
= ;1 dq0(tk)dq(tk ) (qk0 ; tk ) (qk ; tk) q(t) Dq(t)q(tk) ei t Ldt: (86)
Note que para obtermos a express~ao (86) n~ao seria suciente conhecermos apenas os
elementos diagonais da representac~ao matricial do operador q^S .
Consideremos agora, t < tk < tj < t0. Ent~ao,
Z
H hq ; t jq^H (tj )^
qH (tk )jq; tiH = dq1 : : :dqk : : : dqj : : : dqN 
0 0

hq0; t0jqN ; tN ihqN ; tN jqN ;1; tN ;1i : : : 

 : : : hqj+1; tj+1jqj ; tj ihqj ; tj jq^(tj )jqj;1; tj;1i : : : 
 : : : hqk+1 ; tk+1jqk ; tk ihqk ; tk jq^(tk )jqk;1; tk;1i : : : 
 : : : hq1; t1jq; ti: (87)
 { 18 { CBPF-MO-002/97

Assim,
Z q0(t0) R t0 Ldt
H hq ; t jq^H (tj )^
qH (tk )jq; tiH Dq(t)q(tj )q(tk)ei
0 0 = t ; (88)
q(t)
para t0 > tj > tk > t .
Seja T o operador que ordena os operadores no tempo em ordem decrescente, da
esquerda para a direita, ent~ao,
 Z [F ] j :2
H hq ; t jT [^H j qH (tk )]jq; tiH = (;i)
0 0 q (t )^ 2 (89)
F (t )F (t ) F =0
j k
Usando os resultados das eqs. (5) e (14), temos que:

H hq ; t jq^H (tj )^
qH (tk )jq; tiH =S hq0(tj )je;iHtj q^S eiH(tj ;tk )q^S eiHtk jq(tkiS :
0 0 (90)
No caso geral, encontramos que
Z q0(t0) R t0 Ldt
H hq ; t jT [^
0 0 qH (t1) : : : q^H (tn )]jq; tiH = Dq(t) q(t1) : : : q(tn)ei t
q(t)
= (;i)n F (t) :Z: [:FF] (t ) jF =0
n
1 n
= (;i) G (t1; : : :; tn):
n ( n) (91)

2 Relac~ao entre a Mec^anica Estatstica e as Inte-

grais de Caminho
2.1 Func~ao de Partic~ao e o Funcional Gerador das Func~oes de
Green Termicas
Estamos interessados em descrever sistemas em equilbrio termodin^amico. Podemos en-
tender um sistema em equilbrio termodin^amico como sendo aquele no qual os processos
rapidos, comparados com o tempo de relaxac~ao do sistema, ja ocorreram, e que processos
lentos comparados com o tempo de relaxaca~o do sistema ainda n~ao ocorreram. (R.P.
Feynman, Statistical Mechanics - A Set of Lectures, pag.1).
Estando o sistema descrito pela hamiltoniana H em equilbrio termodin^amico com
um reservatorio, a probabilidade do sistema ser encontrado no estado qu^antico jni, onde
Hjni = En jni e,
e ;En
Pn = A ; (92)
 { 19 { CBPF-MO-002/97

onde  = 1=kT , sendo k a constante de Boltzmann e T a temperatura absoluta do

reservatorio em que o sistema esta em equilbrio termico. A e a constante de normalizac~ao.
Dene-se a funca~o de partic~ao do sistema como sendo
X
Z e;En ; (93)
jni
onde jni s~ao todos os autoestados, incluindo a parte contnua8, da hamiltoniana H do
sistema qu^antico. A func~ao de partic~ao (93) pode ser reescrita como9
X
Z (;
) = hnje;Hjni = Tr[e;H]; (94)
jni
onde H e o operador hamiltoniano do sistema. Como o traco (Tr) de qualquer operador
independe da base utilizada para calcula-lo, podemos escolher a base que nos e mais
conveniente para calcular Z .
e o volume ocupado pelo universo no qual o sistema esta
imerso.
Uma vez obtida a func~ao de partic~ao do sistema, todas as outras grandezas ter-
modin^amicas s~ao derivadas. Em particular, a energia livre de Helmholtz e dada por,

F (;
) = ; 1 lnZ (;
): (95)
O limite termodin^amico e obtido tomando-se lim
! 1.

2.2 Relac~ao entre as Funco~es de Green Termicas e as Func~oes

de Green do Espaco Euclideano
Ja vimos que a func~ao de partica~o de um sistema qu^antico pode ser escrita como:
X
Z (;
) = Tr(e;H ) = hxje;H jxi: (96)
jxi
Os vetores hxj e jxi s~ao denidos no mesmo instante, e, nesse caso, o produto escalar
e independente da representac~ao que escolhemos. Alem disso, estamos somando
sobre todos os estados jxi.
Para calcularmos o produto escalar dos termos da eq. (96), vamos fazer um truque
analogo ao que zemos no caso da Mec^anica Qu^antica de uma partcula para calcularmos
a amplitude de probabilidade:
8
Estamos usando o smbolo de soma na eq.(93) apenas por conveni^encia de notac~ao. Devemos lembrar
que a somatoria e substituda por uma integral na parte contnua do espectro de energia do sistema
qu^antico. P
9
Apesar de estar sendo escrita na forma de uma somatoria, jni esta somando tambem sobre os
autoestados da parte contnua do espectro de energia do operador H.
 { 20 { CBPF-MO-002/97

S hxf je
;iH (tf ;ti )jx i : (97)
i S
Comparando os elementos de matriz de (96) e (97) vemos que  faz o papel de um
tempo imaginario, ou seja,  = i(tf ; ti). Com isso vemos que, se nas express~oes que
obtivemos na Mec^anica Qu^antica de uma partcula, fazemos a identicaca~o  = it e
xf = xi ent~ao, o resultado e igual aos termos que contribuem para a func~ao de partic~ao
do sistema. A diferenca entre a func~ao de partic~ao e a amplitude de probabilidade e que os
estados inicial e nal s~ao os mesmos no caso da func~ao de partic~ao, alem de somarmos
sobre todos os possveis estados iniciais.
No caso da Mec^anica Qu^antica de uma partcula encontramos que:
Z xf R
i ttif L(x;x_ ;t)dt
S hxf je jxiiS = x Dx(t)e
;iH ( tf ; t i ) ; (98)
i
sendo que para uma partcula n~ao-relativstica, temos que

L = m2 ( dx
dt ) ; V (x):
2 (99)
Na Mec^anica Estatstica, fazendo a substituic~ao t = ;i na eq. (98), obtemos que
XZ R
Z= Dx( )ei 0 L(x;;i )d(;i ); (100)
x(0) x(0)=x( )
onde  e um par^ametro real denido no intervalo [0;  ]. Como t = ;i , estamos fazendo
a extens~ao analtica da eq.(98) para tempos imaginarios. E usual chamarmos este formal-
ismo de tempo imaginario.
A lagrangeana escrita em termos de  ca

L = m2 ( dx
dt ) 2 ; V (x) = ; m ( dx )2 ; V (x)  ;L (x; x_ ;  );
2 d E (101)
onde LE (x; x_ ;  ) e a lagrangeana do sistema no espaco euclideano e x_  ddx .
Portanto, a integral funcional da func~ao de partic~ao do sistema e,
XZ R
; 0 LE (x; )d ;
Z (;
) = x(0)=x( )
D x(  ) e (102)
x(0)
onde LE e dada pela eq.(101).
Note que, se L(x; x_ ; t) e a lagrangeana do sistema, por exemplo eq.(99), ou tambem
chamada de lagrangeana no espaco de Minkowski10, ent~ao
Precisamos notar que x_ possui signicado diferente em L e em L . Na lagrangeana no espaco de
10
E
Minkowski, L(x; x;_ t), temos que: x_  dx
dt , enquanto que na lagrangeana no espa
co euclideano, LE (x; x;_ ),
temos que: x_  d .
dx
 { 21 { CBPF-MO-002/97

L(x; x_ ; t = ;i ) = ;LE (x; x_ ;  ); (103)

onde  e real. No caso de partcula n~ao relativstica cuja lagrangeana e dada pela express~ao
(99), temos que LE (x; x_ ;  ) e igual a energia total da partcula.
Da mesma maneira que no caso da MQ de uma partcula, podemos aplicar uma fonte
externa F ( ) ao sistema, de forma que a func~ao de partic~ao ca sendo
XZ R  (L (x; );F ( )x( ))d
Z [F ( )] =
x (0)= x(  )
Dx( )e 0 E
; : (104)
x(0)
R
Expandindo a exponencial funcional e 0 F ( )x( )d , obtemos a serie de Taylor do fun-
cional Z [F ( )]. Usando o resultado (73), os coecientes desta serie podem ser escritos
como derivadas funcionais de Z [F ] em relac~ao a F ( ). Em analogia ao que zemos na
MQ de uma partcula, denimos a func~ao de Green no espaco euclideano

XZ RL
Dx( ) x(n) : : : x(2)x(1)e;
x(0)=x( )
0 E (x; )d 
x(0)
 hx^H (n ) : : : x^H (2)^xH (1)i; (105)
onde   n  n;1 : : : 2  1. Essas func~oes est~ao associadas aos coecientes da serie de
Taylor de Z [F ]. Usando a analogia com a eq.(90), o l.e. da eq.(105) e reescrito na forma
de elemento de matriz do operador:

X
hx^H (n) : : : x^H (2)^xH (1)i  hx(0)jeHn x^S (0)e;Hn



x(0)
eH2 x^ S (0)e;H2 eH1 x^(0)e;H1 jx(0i: (106)
Continuando a usar a analogia com a eq.(15), a partir da eq.(106), denimos a relac~ao en-
tre operadores de posic~ao nas representac~oes de Schrodinger e Heisenberg, a temperatura
nita, isto e,

x^H ( ) = eH x^S (0)e;H : (107)

Ao fazermos a identicac~ao (107) a partir da eq.(15), estamos usando a extens~ao do
par^ametro tempo para valores imaginarios11: t = ;i .
Para ver a discuss~ao de func~oes de Green a temperatura nita, veja a refer^encia: A.A. Abrikosov, L.P.
11

Gorkov and I.E. Dzyaloshinski, Methods of Quantum Field Theory in Statistical Physics, Dover Publ.,
NY(1963).
 { 22 { CBPF-MO-002/97

Im(t)

Re(t)

Figure 3: Representaca~o esquematica do plano complexo t = Re(t) + iIm(t), onde o eixo

real positivo corresponde a MQ de 1 partcula, e o eixo imaginario negativo corresponde
a Mec^anica Estatstica.
Usando o resultado da derivada funcional (eq. (72)), podemos reescrever as func~oes
de Green no espaco euclideano como

 n Z [F ]
hx^H (n ) : : : x^H (2) x^H (1)i = F ( ) : : : F ( ) jF ( )=0  G(En)(n ; : : :; 1): (108)
n 1
Da mesma forma que na MQ de uma partcula, a func~ao de partica~o e um funcional
da fonte externa F ( ) aplicada, de maneira que pode ser escrita como

X1 1 Z
Z [F ( )] = Z [0] + n ! d1 : : :dn G(En) (1; : : : ; n)F (1) : : :F (n): (109)
n=1 0

Vimos que a func~ao de partic~ao Z e a continuac~ao analtica da express~ao da amplitude

de probabilidade da MQ para  = it, onde  2 [0;  ], de forma que t 2 [0; ;i ] (veja gura
3).
Desejamos relacionar as continuac~oes analticas das funco~es de Green no espaco de
Minkowski realizando a rotac~ao do desenho da gura 3, e as funco~es de Green no espaco
euclideano, G(En) (1; : : :; n ), como denimos na (108).
Quando denimos as func~oes de Green no espaco de Minkowski, o zemos da seguinte
forma (veja eq.(90):

H hq ; t jT [^
0 0 q (t ) : : : q^ (t )]jq; ti
= (;i)nG(n)(t1; : : :; tn); (110)
H 1 H n H
onde os estados nal e inicial s~ao quaisquer. Vamos considerar as func~oes de Green de
uma partcula na MQ para q = q0. Na denic~ao da func~ao de Green no espaco euclideano
 { 23 { CBPF-MO-002/97

(veja eq.(108)), estamos somando sobre todos os valores que x(0) pode assumir, uma vez
que calculamos um traco. No entanto, iremos praticar um abuso de linguagem quando
utilizamos a notac~ao GE para exprimir a extens~ao analtica da func~ao de Green no espaco
de Minkowski ja que estamos xando um unico valor para os estados inicial e nal. No
entanto, em Teoria Qu^antica de Campos estamos interessados em calcular os elementos
de matriz no vacuo da teoria. Devemos lembrar que o vetor de estado que representa o
vacuo, j0i, possui a propriedade: Hj0i = 0. De agora em diante, quando for mencionada
a func~ao de Green, sera no sentido de que os estados inicial e nal s~ao os estados de
vacuo da teoria. O que vamos fazer de agora em diante n~ao e uma demonstrac~ao, mas
simplesmente uma mostrac~ao, usando argumentos de plausibilidade. O resultado ja foi
mostrado exatamente.
Na representac~ao de Heisenberg, o operador posic~ao em qualquer instante t e (eq.(7)):

q^H (t) = eiHtq^H (0)e;iHt; (111)

de forma que

(;i)nG(n)(t1; : : : ; tn) =Hh0jq^H (0)e;iHt1 eiHt2 q^H (0)e;iHt2 : : : eiHtn q^H (0)j0iH ; (112)
onde t1 > t2 > : : : > tn . Fazendo a substituic~ao ti = zi , onde z e uma constante complexa
e i e real, a func~ao de Green passa a ser

(;i)nG(n)(z1; : : :; zn ) =Hh0jq^H (0)e;izH (1 ;2)q^H (0)e;izH (2 ;3) 

: : :  e;ziH (n;1;n)q^H (0)j0iH : (113)
Veja que o elemento de matriz (113) esta numa forma em que podemos introduzir relac~oes
de completeza, de maneira que a func~ao de Green passa a ser escrita atraves de uma inte-
gral de caminho (basta seguir os mesmos passos que na MQ de uma partcula). Portanto,
Z R  0 dL(x;x_ ;z )
(;i) G (z1; : : : ; zn) = Dq( )e 
n ( n ) iz q(1) : : : q(n): (114)
Lembre-se de que  serve apenas como ndice para as variaveis q. Como pela mudanca
de variavel apenas i esta variando, este serve como o novo ndice para as variaveis q. No
caso em que z = ;i temos ent~ao que
Z R  0 dL(x;x_ ;;i )
(;i) G (;i1; : : : ; ;in) = Dq( )e 
n ( n ) q(1) : : : q(n): (115)
No entanto, ja vimos pelas eqs.(101) e (103) que L(x; x_ ; ;i ) = ;LE (x; x_ ;  ). Portanto
 { 24 { CBPF-MO-002/97

Z R  0 dL (x;x_ ; )
(;i)nG(n)(;i 1 ; : : :; ;in) = Dq( )e  E q(1) : : : q(n)
;

= G(En)(1; : : :; n ): (116)
Logo,

(;i)nG(n)(;i1; : : : ; ;in) = G(En) (1; : : : ; n): (117)

3 Integral de Caminho na Teoria de Campos

Refer^encias:
 E.S. Abers, B.W. Lee, Phys. Rep. 9C, 1(1973), sec~ao 12, pag. 71.
 P. Ramond, Field Theory: A Modern Primer, cap. 3, pag. 88.
Ate ent~ao tratamos o sistema qu^antico de uma partcula. Nesse caso, x representa
a posic~ao da partcula em diferentes instantes, sendo ent~ao uma variavel din^amica. O
par^ametro tempo t, nesse caso, serve apenas como um ndice para a variavel x. No caso
de campos contnuos, queremos estudar formas denidas no espaco e que podem variar
com o tempo. Para xarmos ideia, podemos pegar uma folha de papel e solta-la, de
maneira a ver como ela muda a sua forma de instante a instante. Em cada instante
t, vericamos se na posic~ao (x; y; z) existe algum pedaco do papel, e com isso vamos
determinando a forma da folha instante a instante. Vemos ent~ao que, no caso de campos
contnuos, tanto o espaco como o tempo servem como ndices para denir as formas que
estamos estudando.
A Teoria de Campos trabalha com congurac~oes extensas, e passamos a calcular am-
plitudes de probabilidade do sistema ser encontrado numa certa congurac~ao. Passamos
a falar em conguraca~o, porque estamos estudando campos, como, por exemplo, o campo
eletromagnetico, o campo gravitacional, etc... Agora, os nossos vetores de estado passam
a conter a informac~ao sobre congurac~oes. A correspond^encia entre vetores de estado na
Mec^anica Qu^antica e na Teoria Qu^antica de Campos e:

jx; tiH ;! j(~x); tiH ; (118)

onde op(~x; t)j(~x); tiH = (~x)j(~x); tiH , sendo (~x) a func~ao que da a congurac~ao do
campo em todo o espaco, op(~x; t) o operador de campo e j(~x); tiH o auto-estado do
operador de campo no instante t na representac~ao de Heisenberg. Apesar da relac~ao
 { 25 { CBPF-MO-002/97

ter sido escrita na representac~ao de Heisenberg, ela tambem e verdadeira em qualquer

representac~ao.
As din^amicas dos vetores de estado e operadores nas representac~oes de Heisenberg e
Schrodinger ainda s~ao dadas pelas mesmas relac~oes que na MQ de uma partcula, assim
como a relac~ao entre as diferentes representac~oes que podemos utilizar para descrever os
sistemas qu^anticos.
Daqui por diante, apenas por quest~ao de simplicidade, restringir-nos-emos a campos
escalares, que satisfazem a algebra usual e n~ao possuem graus de liberdade internos.
Vamos estender gradativamente os resultados que obtivemos na MQ de uma partcula:
Z 0 0 R0
hq 0; t0 jq; ti = q (t ) Dq (t)Dp(t)ei tt (pq_;H )dt; (119)
H H
q(t)
onde H e a hamiltoniana total do sistema.
Quando o sistema possui M graus de liberdade q1(t); : : :; qM (t); p1(t); : : :;
pM (t), a express~ao acima passa a ser escrita como:

H hq1 ; : : :; qM ; t jq1 ; : : :; qM ; tiH =

0 0 0
Z fq0(t0)g YM R t0 PM
=
fq(t)g =1
D q (t)Dp(t)ei t ( =1 pq_;H )dt: (120)
onde fq(t)g da os valores dos M graus de liberdade no instante t e fq0(t0)g os seus valores
no instante t0.
Para se obter esta express~ao basta proceder de maneira analoga ao que zemos no
caso da MQ de uma partcula.
Vamos estender ainda mais a express~ao acima. Dividimos o espaco em cubinhos de
volume "3. No limite de " ! 0, denimos o campo na posic~ao no centro do cubo de
volume innitesimal como sendo
Z
(t) = "13 d3x (~x; t); (121)
onde  e o ndice associado a celula espacial que contem o volume "3.
Como estamos trabalhando com campos contnuos, a lagrangeana do sistema passa a
ser escrita como
Z
L = V d3x L((~x; t); @(~x; t); t); (122)
1
sendo L a densidade lagrangeana do sistema. Quando discretizamos o espaco, a la-
grangeana (122) ca,
 { 26 { CBPF-MO-002/97

X
N
L= "3L((t); _ (t); s(t); t); (123)
=1
sendo que _ (t) = @@t , e N e o numero de celulas espaciais de volume 3.
Da Mec^anica Classica, temos que o momento canonicamente conjugado a variavel
(t) e:

p = @L = " 3 @ L  "3  (t); (124)


@ _ (t) @ _ (t)
onde (t) = @@_L(t) . A hamiltoniana total do sistema e
X
N X N
H= p (t)_ (t) ; L  "3H; (125)
=1 =1
sendo que

X
N X
N X N
"3H = "3(t)_ (t) ; "3L ((t); _ (t); s(t); t) )
=1 =1 =1
) H = (t)_ (t) ; L((t); _ (t); s(t); t):
Na express~ao anterior, temos a relac~ao entre densidades: densidade de lagrangeana, den-
sidade de hamiltoniana e densidade de momento canonicamente conjugado.
Voltando para a express~ao da amplitude de probabilidade temos que

Z 0(~x;t0) Y
N
H h0(~x); t0j(~x); ti
= (~x;t) H D(t)Dp (t) 
=1
R t0 PN PN
ei t [ =1 p(t)_ (t); =1 3H]dt: (126)
Porem, p(t) = "3(t), e, alem disso, lim"!0 PN=1 "3 = R;1 1 dxdydz . Portanto, a eq.
(126) pode ser escrita como

Z 0(~x;t0) Y
N R0 R
i tt dt V1 d3 ~x ( (t)_ (t);H)
H h0(~x); t0j(~x); ti H =
(~x;t) =1
D (t)" 3N D(t)e : (127)

Em Teoria Qu^antica de Campos, estamos interessados em calcular a amplitude de

probabilidade do sistema estando no estado de mais baixa energia (o vacuo) em tempos
anteriores ao acoplamento com uma fonte externa, volte a ser encontrado no estado de
mais baixa energia do sistema apos a fonte externa ter sido desligada, ou seja,
 { 27 { CBPF-MO-002/97

H h0; t ! 1j0; t ! ;1iJH =

Z (~x;t0) Y
N R
=
(~x;t) =1
D  (t)"3N D (t)ei d x((t)_ (t);H+J (~x;t)(~x;t))
4

 Z [J ]; (128)
onde N e o numero de pontos na rede espacial, j0; t ! 1i representa o vetor associado ao
estado de mais baixa energia (vacuo) no instante t ! 1, respectivamente. Assumimos
que esses estados s~ao representados pelos campos (~x; t) e (~x; t0) nos instantes t ! ;1
e t0 ! 1.
A amplitude de transica~o vacuo-vacuo e uma quantidade mal denida, pois ela repre-
senta a superposica~o de fases. Para dar um signicado a essas integrais, temos as seguintes
opc~oes:
1. No argumento da exponencial introduzir um termo da forma
Z
i d4x 22(~x; t); (129)
onde  e um par^ametro para o qual sera tomado o limite  ! 0.
2. Realizar uma rotac~ao de Wick,
it =  ! t = ;i; (130)
onde  e real.
Nestes casos teremos no integrando exponenciais decrescentes.
Apesar de dizermos que essas duas maneiras de tratar o problema d~ao um signicado
matematico a integral de caminho, ainda existem innitos embutidos nas amplitudes de
probabilidade, os quais ainda devem ser retirados. No caso dos innitos associados a
pequenas dist^ancias temos a renormalizac~ao.
Apesar de sabermos que temos que introduzir o termo (129) para dar sentido a integral
de caminho, n~ao vamos escrev^e-lo explicitamente, mas devemos ter em mente que ele
continua fazendo parte do argumento da exponencial.

4 Func~oes de Green Conexas e Desconexas

Analogamente ao caso da MQ de uma partcula,
 { 28 { CBPF-MO-002/97

Z (~x;t0) Y
N
H h0jT [H (~x1; t1) : : : H (~xn ; tn )]j0iH = D(t)"3N D(t) 
(~x;t) =1
R
(~x1; t1) : : : (~xn; tn)ei d4x ((x)_ (x);H); (131)
sendo T um operador de ordenac~ao temporal, onde os tempos s~ao ordenados da direita
para a esquerda em ordem crescente: tn < tn;1 <


< t2 < t1. Estamos usando a
notac~ao: x  (t;~x).
Usando os resultados conhecidos de derivadas funcionais, temos que12

Z (~x;t0) Y
N R d4 x((x)_ (x);H)
(~x;t) =1
D (t) "3N D (t)(~x1; t1) : : :(~xn; tn)ei =
Z (~x;t0) Y
N R d4 x ((x)_ (x);H)
=
(~x;t) =1
D(t)"3D (t)ei 
R
n ei d4 xJ (~x;t)(~x;t)
1 
 (i)n J (~x ; t ) : : : J (~x ; t ) jJ =0: (132)
1 1 n n
Ao contrario do que zemos anteriormente, chamamos de func~ao de Green de n pontos a

G(n) (~x1; t1; : : : ; ~xn; tn) =Hh0jT [H (~x1; t1); : : :; H (~xn; tn)]j0iH : (133)
Comparando a express~ao acima com a anterior encontramos que

inG(n)(~x1; t1; : : : ; ~xn; tn) = J (~x ; t Z [J ]

xn; tn) jJ =0; (134)
1 1 ) : : :J (~
que s~ao as chamadas func~oes de Green conexas e desconexas. Num exemplo especco,
veremos o porque do nome.
A amplitude de vacuo-vacuo e um funcional da fonte externa,
Z R
Z [J ] = D(x)D(x)ei d4 x[(x)_ (x);H+J (x)(x)]; (135)
12
Neste caso, em que estamos num espaco tridimensional e temos o tempo tambem como par^ametro,
a derivada funcional (55) ca sendo:

E[J] = lim E[J(~x; t) +  (3)(~x ; ~x1)(t ; t1 )] ; E[J(~x; t)] :

!0
J(~x1 ; t1) 
 { 29 { CBPF-MO-002/97

onde x  (~x; t) e absorvemos a constante "3N na denic~ao das medidas D(x) e D(x).
Realizando a expans~ao da exponencial13 eihJi, temos que
Z R Z
Z [J ] = D(x)D(x)ei d4 x[(x)_(x);H]  [1 + i d4xJ (x)(x) +
( i ) 2Z
+ 2! d4x1d4x2J (x1)J (x2)(x1)(x2) + : : :]: (136)
Ent~ao,
Z Z R
Z [J ] = Z [0] + i d4x1J (x1) D(x)D(x)(x1)ei d4 x[(x)_(x);H] +
i)2 Z d4x d4 x J (x )J (x ) Z D(x)D(x)(x )(x )ei R d4x[(x)_ (x);H] + : : :
+ (2! 1 2 1 2 1 2
(137)
Assim,

X1 (i)n Z
Z [J ] = Z [0] + n ! d4x1 : : : d4xnG(n) (x1; : : :; xn)J (x1) : : : J (xn); (138)
n=1
onde

G(n) (~x1; t1;Z: : : ; ~xn; tn) = Hh0jT [H (~x1; t1)R: : : H (~xn; tn)]j0iH
= D(x)D(x) (x1) : : : (xn)ei d4x[(x)_ (x);H]; (139)
e a func~ao de Green de n pontos vestida. Note que na eq.(139) aparece a hamiltoniana
completa que descreve o sistema qu^antico.

4.1 Modelo 4

Refer^encias:
 P. Ramond, Field Theory: A Modern Primer, 2nd ed. (Revised Printing), Addison-
Wesley (1990).
 C. Nash,Relativistic Quantum Field, Academic Press (1978), cap. 1.
Para exemplicarmos como tratar as func~oes de Green de n pontos, consideramos a
densidade de hamiltoniana de partculas escalares reais,
13
R
Estamos usando a convenc~ao: hJi = d x J(x)(x).
4
 { 30 { CBPF-MO-002/97

H(; @i; ; ~x; t) = 2x; t) + 21 (r~ (~x; t))2 + 12 m22(~x; t) + V ():

 2(~
(140)
V () e a parte de auto-interac~ao dos campos reais e e uma func~ao de  limitada inferior-
mente.
E importante lembrar que, na integral funcional, estamos integrando sobre todas as
possveis congurac~oes de (~x; t), e que n~ao estamos impondo a restric~ao

(x) = @@L(x) = @@t(x) : (141)

@ ( @t )
Voltando para a integral funcional da func~ao de Green de n pontos,
Z
G(n)(x1; : : : ; xn) = D(x)D(x) (x1) : : : (xn) 
R R
ei d4x[; 2 +_]e;i d4x[ 12 (r~ )2+ 12 m22+V ()]:
2
(142)
Lembrando que: 22 ; _ = 12 [2 ; 2_ 2] = 12 [( ; _ )2 ; _ 2] e que
Z R R _2 Z R
D(x)e;i d4x[;_ + 2 ] = ei d4 x 2 D(x)e; 2i d4x(;_ )2 :
2 2
(143)
A integral funcional sobre (x) no l. d. da equac~ao acima, e apenas uma constante
multiplicativa. Portanto,
Z R @
G x1; : : :; xn ) = D(x) (x1) : : : (xn)ei d4x[ 21 ( @t )2; 12 (r~ )2; 21 m2 2;V ()]
(n) (
Z R
= D(x) (x1) : : : (xn) ei d4x L ; (144)
onde

L = 12 @ @ ; 12 m22 ; V (); (145)

sendo que14: @@  = @t@22 ; r2. Absorvemos na denic~ao de D(x) a constante que vem
da integral funcional funcional sobre (x).
Portanto, para as densidades de lagrangeana usuais, temos que
Z R
G(n)(x1; : : :; xn) = D(x) (x1) : : : (xn) ei d4 x L: (146)

Para mostrar que G(n)(x1; : : :; xn) s~ao as func~oes de Green de n pontos conexas e
desconexas, vamos tomar, por simplicidade, o modelo 4, ou seja,
14
A denic~ao da metrica esta no Ap^endice I.
 { 31 { CBPF-MO-002/97

L = 12 @@  ; 21 m22 ; 4! 4: (147)

Para este modelo, a func~ao de Green de n pontos vestida ca sendo

Z R
G x1; : : :; xn) = D(x) (x1) : : : (xn)
(n) ( ei d4 x[ 21 @@; 12 m22 ; 4! 4]: (148)
A integral funcional e de quarta ordem nos campos , e, assim como n~ao sabemos resolver
a integral indenida em zero dimens~oes,
Z
dxe;(x4+ax2+bx); (149)
n~ao se tem esperancas de obter o resultado analtico da integral funcional (148). O que
se faz e utilizar teoria de perturbac~ao na constante de acoplamento do potencial, se esta
constante e pequena. Neste caso, a func~ao de Green de n pontos ca:

Z
G x1; : : : ; xn) = D(x) (x1) : : :(xn) 
(n) (

i Z 1 ; i Z
[1 + (; 4! ) dy1 (y1) + 2! ( 4! ) dy1dy2 4(y1)4(y2) +
4 2

1 i Z
+ 3! (; 4! ) dy1dy2dy3 4(y1)4(y2)4(y3) + : : :] 
3
R
ei d4x[ 12 @@; 12 m2 2]: (150)
Todos estes termos do l.d. da eq.(150) podem ser obtidos a partir da aplicac~ao de derivadas
funcionais ao funcional
Z R
Z0 [J ] = D(x)ei d4x[ 12 @@; 12 m22+J (x)(x)]: (151)
em relac~ao a J (x). Calculamos Z0[J ] introduzindo o termo de amortecimento, ou seja,
Z R
Z0[J ] = D(x)ei d4 x[ 21 @@; 12 (m2;i2 )2+J (x)(x)]: (152)
Para obter as func~oes de Green de n pontos a partir de Z0[J ], precisamos explicitar a
depend^encia em J (x) de Z0[J ], pois as derivadas funcionais s~ao calculadas em relac~ao
a J (x). Apesar Z0[J ] ser quadratico nos campos (x), o resultado desta integral n~ao
e obvio, pois nessa representac~ao, a ac~ao n~ao e diagonal em (x). Para ter isso claro,
note que a densidade de lagrangeana, em uma dimens~ao espacial, depende de derivadas
espaciais dos campos, ou seja,
 { 32 { CBPF-MO-002/97

@(x) = lim (x +
x) ; (x) ; (153)

@x
x!0
x
de maneira que a ac~ao envolve (x +
x) e (x). Uma maneira de diagonalizar a ac~ao
classica
Z
S = d4x[ 12 @@  ; 12 (m2 ; i2)2 + J (x)(x)]; (154)
e reescrever o integrando em termos das transformadas de Fourier do campo e da corrente.
As relac~oes entre as transformadas de Fourier do campo e da corrente s~ao:
Z
~(p) = (21)2 d4x eipx(x);
1 Z
(x) = (2)2 d4p e;ipx~(p); (155)
e,

1 Z
~
J (p) = (2)2 d4x eipxJ (x);
Z
J (x) = (21)2 d4p e;ipxJ~(p): (156)
Estamos usando a notac~ao: px  p x.
A ac~ao S escrita em termos das transformadas de Fourier do campo e da corrente ca,
Z Z
S = d4x[ 2(21)4 d4p1d4p2(;i)2p1p2 ~(p1)~(p2)e;i(p1+p2 )x ;
1 ( m 2 ; i2) Z
; 2 (2)4 d4p1d4p2 ~(p1)~(p2)e;i(p1+p2)x +
Z
+ (21 )4 d4p1d4p2 J~(p1)~(p2)e;i(p1+p2)x]: (157)
Como,
1 Z d4x e;i(p1+p2 )x = (p + p ); (158)
1 2
(2)4
a ac~ao S ca sendo
Z
S = d4p[ 12 p p ~(p)~(;p) ; 12 (m2 ; i2)~(p)~(;p) + J~(p)~(;p)]:
(159)
 { 33 { CBPF-MO-002/97

Realizamos uma mudanca de variavel em ~(p), de maneira a reescrevermos a express~ao

acima na forma de quadrados, ou seja,
~
~0(p) = ~(p) + (p2 ; (Jm(p2 ); i2)) : (160)
Calculando explicitamente, obtemos que

1 ~0(p)[p2 ; (m2 ; i2)]~0(;p) ; 1 J~(p) 1 ~

2 2 p ; (m2 ; i2) J (;p) =
2
 
= 12 ~(p)[p2 ; (m2 ; i2)]~(;p) + 12 J~(p)~(;p) + J~(;p)~(p) : (161)
No entanto, ao fazermos a mudanca nas variaveis de integrac~ao: p~ ! ;~p e p0 ! ;p0, na
integral da ac~ao, obtemos que:
Z Z
d p J (;p)(p) = d4p J~(p)~(;p);
4 ~ ~ (162)
de forma que usando os resultados (161) e (162), reobtemos a ac~ao S .
Portanto, a ac~ao (157) pode ser reescrita como

Z
S = 12 d4p ~0(p)(p2 ; (m2 ; i2))~0(;p) ;
Z
; 21 d4p J~(p) p2 ; (m12 ; i2) J~(;p); (163)
onde foi utilizada a mudanca de variavel (160). No espaco das quadri-coordenadas, esta
mudanca de variaveis corresponde a:

0(x) = (x) + F (x); (164)

onde F (x) e uma func~ao independente do campo (x), de forma que a medida da integral
funcional e invariante sob essa mudanca de variavel,

D0(x) = D(x): (165)

A depend^encia da ac~ao na fonte externa J (x) foi separada na eq.(163). Reescrevendo
a ac~ao no espaco das quadri-coordenadas:

Z Z
S = 12 d4 p (21 )4 d4x1d4x2eipx1 0(x1)(p2 ; (m2 ; i2)) e;ipx2 0(x2) ;
 { 34 { CBPF-MO-002/97
Z Z
1
; 2 d p (2)4 d4x1d4x2eipx1 J (x1) p2 ; (m12 ; i2) J (x2)e;ipx2 =
4 1

Z Z
= 12 d4x1d4x2 (21)4 d4p 0(x1)[;@22e;ipx2 ; (m2 ; i2)e;ipx2 ]0(x2)eipx1 ;
Z Z ;ip(;x1 +x2 )
; 12 d4x1d4x2J (x1)J (x2) (21 )2 d4p (21 )2 p2e; (m2 ; i2) ; (166)

onde @22 = @x@2 @x@2 . Denimos,

Z ;ip(x2 ;x1 )

(x1 ; x2)  (21 )2 d4p (21 )2 p2 e; (m2 ; i2) ; (167)
que e a transformada de Fourier do propagador livre. Como estamos integrando sobre
d4p, temos da denic~ao acima que
(x1 ; x2) =
(x2 ; x1). Alem disso,

1 Z dp(;@ 2e;ipx2 )eipx1 = ;@ 2[ 1 Z dpeip(x1;x2)] = ;@ 2(x ; x ); (168)

1 2
(2)4 2 2 (2 )4 2

e
1 Z dpe;ip(x1 ;x2 ) = (x ; x ): (169)
1 2
(2)4
Portanto, a ac~ao S ca sendo

1 Z
S = 2 d4x1d4x2[ ;0(x1)0(x2)@22(x2 ; x1) ;
1 Z
;(m ; i ) (x1) (x2)(x1 ; x2)] ; 2 d4x1d4x2J (x1)
(x1 ; x2)J (x2) )
2 2 0 0
1 Z
) S = 2 d4x 0(x)(;@ 2 ; (m2 ; i2))0(x) ;
1 Z
; 2 d4x1d4x2J (x1)
(x1 ; x2)J (x2): (170)
De forma que, voltando a express~ao (152), temos que

Z R R
Z0[J ] = D0(x)e 2i d4 x 0 (x)(;@2;(m2 ;i2 ))0(x)e; 2i d4 x1d4x2J (x1 )
(x1;x2)J (x2)
iR
= Z0[J = 0]e; 2 d4x1d4 x2J (x1)
(x1;x2 )J (x2): (171)
Note que Z0[0] e uma constante independente da fonte externa J (x) aplicada.
A express~ao da funca~o de Green de n pontos e dada por (150)
 { 35 { CBPF-MO-002/97

Z h i Z
G x1; : : :; xn) = D(x) (x1) : : : (xn) 1 + (; 4! ) d4y14(y1) +
(n) (

1 ; i Z
+ 2! ( 4! ) d4 y1d4y2 4(y1)4(y2) +
2

1 ; i Z
+ 3! ( 4! ) d4y1d4y2d4 y3 4(y1)4(y2)4(y3) +
3
i R 1
+ : : :  ei d4 x[ 2 @@; 12 m22 ]; (172)
cujos termos podem ser obtidos atraves das derivadas funcionais de (171) em relac~ao a
J (x) e calculadas para as correntes externas nulas (J (x) = 0).
Para
R conhecer as derivadas funcionais do funcional:
i
e; 2 dx1dx2 J (x1)
(x1;x2 )J (x2),em relac~ao a corrente J (x). A partir da denica~o de derivada
funcional (55), temos que,

 e; 2i R d4x1 d4x2J (x1)
(x1;x2 )J (x2) =

J (y)
h R
= lim!0 1 e; 2i d4x1 d4x2[J (x1)+(x1;y)]
(x1 ;x2 )[J (x2)+(x2;y)] ;
R i
;e; 2i d4x1d4 x2J (x1)
(x1;x2 )J (x2) =
1 h ; i R d4x1d4 x2
(x1;x2 )[J (x1)J (x2)+(x1 ;y)J (x2 )+(x2;y)J (x1 )+O(2)]
= lim!0  e 2 ;
R i
;e; 2i d4x1d4 x2J (x1)
(x1;x2 )J (x2) =
R
= lim!0e; 2i d4 x1Rd4x2 J (x1)
(x1;x2 )J (x2)R
e ; 2i d4 x1 J (x1 )
(y;x1 ); 2i d4 x2 J (x2 )
(y;x2 )+O(2 ) ; 1
  =
Z R
= ;i d4x
(y ; x)J (x)e; 2i d4 x1d4 x2 J (x1)
(x1;x2)J (x2);
onde usamos que a func~ao
(x1 ; x2) e par. Assim,
 e; 2i R d4 x1d4x2 J (x1)
(x1;x2)J (x2) =
J (y) Z
i R d4 x1 d4 x2 J (x1 )
(x1 ;x2 )J (x2 )
= ;i dx
(y ; x)J (x)e ; 2 :
A derivada funcional de segunda ordem deste funcional e:
2 e; 2i R d4 x1d4x2 J (x1)
(x1;x2 )J (x2) =
J (y)J (z) R
= ; i
( y ; z ) e ; 2i d4 x1 d4 x2 J (x1 )
(x1 ;x2 )J (x2 ) +
Z
+(;i)2 d4x1d4x2
(y ; x1)
(z ; x2)J (x1)J (x2) 
R
e; 2i d4 x1d4x2 J (x1)
(x1;x2)J (x2): (173)
 { 36 { CBPF-MO-002/97

Para vermos como isso tudo funciona, consideremos o caso da func~ao de Green n = 2.
Ent~ao,
Z Z
G(2)(x1; x2) = D(x) (x1)(x2)[1 ; i
4! d4y14(y1) + : : :] 
R
ei d x [ @@; (m ;i) ]:
4 1
2
1
2
2 2

Note que temos no integrando uma expans~ao em pot^encias de . Para cada ordem
de  na expans~ao temos pot^encias do termo R dx4(x). Neste caso, no ponto x temos 4
operadores de campo, e estamos somando sobre todas as possveis posic~oes x. Utilizamos
gracos para representar os termos que aparecem ordem a ordem na expans~ao da constante
de acoplamento. Usamos a representac~ao graca abaixo para um vertice no ponto espaco-
temporal x, de onde saem quatro pernas para representar que temos quatro campos
escalares com argumento x:

X1

Vertice da teoria 4.

Alem disso, vemos da express~ao (151) para Z0[J ] que os termos de G(2)(x1; x2) podem
ser escritos como derivadas funcionais deste funcional, ou seja,

1  2 Z [J ] i 1 Z  6Z [J ]
G x1; x2) = i2 J (x )J (x ) jJ =0 ; 4! i6 d x J (x )J (0x )4J (x) jJ =0 + : : : :
(2) ( 0 4
1 2 1 2
Substituindo Z0[J ] pela sua express~ao (171), a func~ao de Green G(2)(x1; x2) e escrita como:

G(2)(x1; x2) = n 1 2 i 1 Z 6
Z0[0] i2 J (x1)J (x2) jJ =0 ; 4! i6 d 4x
J (x1)J (x2)4J (x) jJ =0 +
o R
+ : : :  e; 2i d4x1 d4x2 J (x1)
(x1;x2 )J (x2): (174)
O primeiro termo do l. d. da eq.(174) foi calculado explicitamente na eq.(173), e
vimos que resulta: ;i
(x1 ; x2).

X1 X2

Representac~ao graca de ;i
(x1 ; x2)

 { 37 { CBPF-MO-002/97

Este e o termo de ordem 0, e portanto, n~ao ha qualquer vertice. O segundo termo
do l. d. da eq.(174) e obtido calculando-se explicitamente as derivadas funcionais, ou
reconhecendo que os termos obtidos da derivada funcional apresentam todos os possveis
gracos que obtemos ligando os pontos x1; x2 e x, e que da posic~ao x saem 4 linhas.

(a) (b)

X1 X X1 X2 X2
R
Gracos referentes a (a) (;i)2 d4x
(x1 ; x)
(x ; x2)
(x ; x) e
R
(b)
(x1 ; x2) d4x
2(x ; x)
Como nas posic~oes x1 e x2 temos apenas um campo, de cada um desses pontos parte
apenas uma linha. No caso de 4(x), temos varios campos id^enticos na mesma posic~ao x,
e, para as derivadas funcionais, as linhas que saem de x s~ao distintas. Logo, cada
graco e multiplicado por uma constante, chamada fator de simetria, que varia de graco
para graco. Quando multiplicamos as express~oes associadas aos gracos pelos fatores
de simetria, fazemos uma relaca~o um a um entre os gracos e os termos na expans~ao de
ordem  nas func~oes de Green de n pontos. Assim,

G(2)(x1; x2) =
Z0[0]

+ N1 + N2 X

(175)
X1 X X2 X1 X2
X1 X2

(a) (b) (c)

onde N1 e N2 s~ao os fatores de simetria. Os gracos (a) e (b) s~ao chamados de gracos
conexos, e o graco (c) e denominado de graco desconexo. Alem disso, como o graco (c)
tem linhas que se fecham sobre si mesmas, sem estarem ligadas a pontos externos, estes
gracos s~ao bolhas de utuac~ao de vacuo. Os gracos que envolvem bolhas de utuac~ao
de vacuo n~ao contribuem para as func~oes de Green, pois s~ao normalizadas de forma a
cancelar a contribuica~o das bolhas de vacuo. Para termos uma ideia de como eles se
cancelam, vamos denir a funca~o geratriz dos gracos conexos e desconexos Z [J ]:
Z R d4x [ 1 @@; 1 (m2;i)2 ;  4 ]+i R d4 xJ (x)(x)
Z [J ] = D(x) e i 2 2 4! : (176)
 { 38 { CBPF-MO-002/97

Notemos que

Z R
Z [0] = D(x) ei d4 x[ 21 @@; 12 (m2;i)2 ; 4! 4] =
Z  Z Z
= D(x) 1 + (;i  ) d4x 4(x) + 1 ( ;i )2 d4x1d4x2 4(x1)4(x2)+
4!  R 2! 4!
+ : : :  ei d x[ 2 @@; 12 (m2;i)2 ];
4 1

que representam os gracos sem pernas externas, pois todos os pontos xi est~ao sendo
integrados. A representac~ao graca de Z [0] e:

Z [0] = Z0 [0] 
x [1 +N + N2 + N3 +N + ... ]
(177)
1 4

onde Nj s~ao os fatores de simetria. Estes gracos s~ao divergentes.

Quando voltamos para a funca~o de Green de n pontos, e tomamos o caso particular
n = 2, n~ao e difcil ver que

G(2)(x1; x2) =
Z0[0]

X1
( 1 +n
X2
1 X + n2 )
+ ... +
( 1 +n + n2 ) + ...
+ ...
(178)
1 X

X1 X2

e mostra-se que n1 = N1; n2 = N2; : : :; nj = Nj ; : : :, de forma que esses termos divergentes

desaparecem, e tomamos a quantidade

G(2)(x1; x2) =
Z [0]

X1 X2
+ N1
X1 X X2
+
+ N2
X1 X2
+... (179)
 { 39 { CBPF-MO-002/97

A express~ao (179) e chamada de propagador vestido.

Consideremos agora a func~ao de Green de 4 pontos. Representamos gracamente o
que obtemos atraves de derivadas funcionais com relac~ao a J (x). Ent~ao,

G(4)(x1; x2; x3; x4) =

Z [0]
X1 X2 X1 X2 X1 X2 X1 X2

+ + +M +
1
X3 X4 X3 X
X4 X3 X4 X3 X4

X1 X2 X1 X2

+M2 + M3 + ...
X3 X4 X3 X4
(180)
onde M1, M2,


s~ao os fatores de simetria de cada graco na expans~ao. Note que, na
func~ao de Green GZ(4)
[0] , temos gr
acos conexos e desconexos.
Para eliminar os gracos de auto-energia ( utuac~ao do vacuo) e n~ao termos que es-
crever sempre a constante Z [0], redenimos a func~ao de Green de n pontos (134) como
sendo:
R D(x) (x ) : : : (x )ei R d4x L
G(n)(x1; : : :; xn)  R D(1x) ei R d4xnL : (181)

No modelo 4 que temos considerado explicitamente, a densidade de lagrangeana e

dada pela eq.(147),

L = 12 @@  ; 21 m22 ; 4! 4: (182)

Podemos reescrever a func~ao geratriz Z [J ] como uma serie de Taylor funcional em
termos da corrente externa J (x). Os coecientes da serie de Taylor funcional s~ao as
funco~es de Green, ou seja,

h X 1 in Z i
Z [J ] = Z [0] 1 + n! d4x1 : : :d4xn G(n)(x1; : : : ; xn)J (x1) : : : J (xn) ; (183)
n=1
onde as func~oes de Green envolvidas incluem gracos conexos e desconexos.
No entanto, e possvel denir o funcional W [J ] tal que ele seja a func~ao geratriz das
func~oes de Green de n pontos que so envolvem gracos conexos. Seja
 { 40 { CBPF-MO-002/97

Z [J ] = eiW [J ]: (184)
Neste caso, usando a serie de Taylor para o funcional W [J ], temos que

X1 in Z
W [J ] = W [0] + n! d4x1 : : :d4xn G(cn) (x1; : : :; xn)J (x1) : : : J (xn); (185)
n=1
onde

inG(cn) (x1; : : :; xn ) = J (x) W

n [J ]
jJ =0: (186)
1 : : :J (xn )
Pela igualdade (184), temos que

G(cn)(x1; : : : ; xn) = in1+1 J (x )lnZ [J ] j :

n
J =0 (187)
1 : : : J (xn)
Para vermos que para as novas func~oes de Green contribuem apenas os gracos
conexos, consideremos o caso particular de n = 2. Ent~ao,

i2+1G(2) ( x ; x ) = 2lnZ [J ] j =  h 1 Z [J ] ij =
c 1 2
J (x1)J (x2) J =0 J (x1) Z [J ] J (x2) J =0
Z [J ] Z [J ] j + 1
= ; Z [1J ]2 J  2 Z [J ] j :
(x ) J (x ) J =0 Z [J ] J (x )J (x ) J =0
1 2 1 2

Portanto,

c (x1 ; x2) = G (x1; x2 ) ; G (x1 )G (x2 ):

G(2) (2) (1) (1)

A func~ao de Green G(1)(x) e igual ao valor medio do campo escalar no vacuo. Como
estamos considerando o caso em que m > 0 e  > 0, ent~ao o mnimo do potencial
V () = 4! 4 + m22 2 e em (x) = 0. De forma que: G(1)(x1) = G(1)(x2) = 0.
Usando metodo de recorr^encia, e possvel mostrar que,

X
G(cn)(x1; : : :; xn) = G(n)(x1; : : :; xn) ; <  : : : >c : : : <  : : : > c ; (188)
<(x1 ):::(xn )>

onde a soma e sobre todas as possveis partic~oes de (x1) : : : (xn) em subconjuntos. Desta
forma, so restam em Gc(n) os gracos conexos, ou seja
 { 41 { CBPF-MO-002/97

G(2)
c (x1 ; x2) =
+ N1 + N2 + ...
(189)
G(4)(x1; x2; x3; x4) =
X1 X2 X1 X2

+ M1
+ ...
X
(190)
X3 X4 X3 X4

Um graco possvel para G(2)

c e

Y2
X1 Y1 X2
(191)
que e um graco conexo; porem se cortarmos a linha que liga os pontos y1 e y2, ele se
quebra em dois outros gracos possveis. Este tipo de graco e dito redutvel.
O funcional W [J ] e denominado de geratriz das func~oes de Green conexas.

5 Func~oes de Vertice, ou Gracos 1PI (One Particle

Irreducible)
Refer^encias:
 Mark S. Swanson, Path Integrals and Quantum Processes, Academic Press Inc.
(1992), section 8.1.
 C. Nash, Relativistic Quantum Fields, Academic Press (1978), cap. 1.
 Daniel J. Amit, Field Theory, the Renormalization Group and Critical Phenomena,
McGraw-Hill (1978).
Comecamos a estudar as func~oes de Green atraves de Z [J ] que da a amplitude de
transica~o vacuo-a-vacuo na presenca de uma corrente J (x). As func~oes de Green normal-
izadas (eq.(181)),

inG(n)(x1; : : :; xn) = Z1[0] J (x ) :Z: [:J

n J]
1 (xn) jJ =0; (192)
 { 42 { CBPF-MO-002/97

incluem contribuic~ao dos gracos conexos e desconexos. Para nos livrarmos da parte n~ao
conexa das func~oes de Green (192), denimos a transformac~ao (184), ou seja,

Z [J ] = eiW [J ] ) W [J ] = ;ilnZ [J ]: (193)

As func~oes de Green associadas ao funcional gerador W [J ] s~ao (eq.(187)):

in+1G(cn)(x1; : : :; xn) = nW [J ] j : (194)

J (x1) : : : J (xn) J =0
Os gracos associados a G(cn) s~ao todos conexos. Uma coisa interessante de se notar e que
G(1)(x1) = G(1)
c (x1), isto e,
Z [J ] j
G(1)(x1) = 1i Z1[0] J (195)
(x1) J =0
e
1  1 Z [J ]  1 1 Z [J ]
c (x1 ) = i Z [J ] J (x ) jJ =0 = i Z [0] J (x ) jJ =0 :
G(1) (196)
1 1
Devemos lembrar que

Z R
G(1)(x1) = 1i Z1[0] D(x) (x1) ei d4x L (x1)
= Z1[0] h0j(x1)j0i = G(1)
c (x1 ); (197)
onde h0j(x1)j0i e a congurac~ao media do campo escalar no estado fundamental do
sistema para J (x) = 0.
Vejamos a representac~ao graca das func~oes de Green que contribuem para W [J ].
Tomemos, por exemplo, os seguintes gracos, presentes em G(2)
c (x1 ; x2):

(a) (b) (c) (198)

A diferenca entre os gracos (a), (b) e (c) esta em que, se cortarmos a linha que liga as
duas bolhas na gura (b), a gura se quebra em duas:

(199)
 { 43 { CBPF-MO-002/97

o que n~ao acontece com as guras (a) e (c). Se retirarmos qualquer uma das retas dos
gracos (a) ou (c), o graco resultante continua ainda sendo um unico graco conexo.
Os gracos (a) e (c) s~ao chamados gracos irredutveis, enquanto que o graco (b) e
denominado de graco redutvel.
A import^ancia dos gracos irredutveis esta em que qualquer graco redutvel pode ser
obtido ligando propagadores da teoria livre a gracos irredutveis. Por exemplo, temos:

; (200)
onde a bolha cheia representa a contribuic~ao dos gracos irredutveis de dois pontos em
todas as ordens em teoria de perturbac~ao, ou seja,
-1
=( ) + + + ...
(201)
Nos gracos irredutveis amputamos os propagadores externos, que no espaco dos mo-
mentos t^em a representac~ao graca :

1 p
p2 ; (m2 ; i) =
=) p2 ; (m2 ; i) = ( );1 (202)
p

Denimos a transformada de Legendre do funcional gerador W [J ] e queremos mostrar

que esta transformada de Legendre e o funcional gerador dos gracos irredutveis. Seja o
funcional ;[] denido como,
Z
;[] = W [J ] ; d4y J (y)(y);
 (203)
onde

(x) = W [J ]
J (x)
= G(1)
c (x); (204)
ou seja, pela eq.(197) temos que (x) = h0j(x1)j0iJ , sendo j0i o vetor de estado do vacuo
do sistema na presenca de uma fonte externa J (x). A transformada de Legendre (203) e
contnua, pois envolve par^ametros cujos ndices variam continuamente (J (x)). O gerador
 { 44 { CBPF-MO-002/97

;[] e um funcional de (x) e n~ao depende explicitamente de J (x). Calculemos a variac~ao

funcional de ;[] em termos de , ou seja,
;[] = W [J ] ; Z d4y J (y) (y) ; J (x): (205)
(x) (x) (x)
Porem, usando a regra da cadeia para derivadas funcionais (eq.(67)), temos que
W [J ] = Z d4y W [J ] J (y) ) W [J ] = Z d4y (y) J (y) : (206)
(x) J (y) (x) (x) (x)
Substituindo o resultado (206) na express~ao (205), encontramos que
;[] = ;J (x): (207)
(x)
Resumindo, a transformada de Legendre (203), e denida como:
Z
;[] = W [J ] ; d4y J (y)(y);
 (208)
sendo que

(x) = W [J ] e J (x ) = ; ;[] : (209)

J (x) (x)
O funcional ;[] e conhecido como a ac~ao efetiva do sistema. Para entendermos o porque
do nome, vamos calcular exatamente este funcional na unica teoria em que podemos
faz^e-lo exatamente: a teoria livre.
Obtivemos anteriormente (eq. (171)) que:
R
Z0[J ] = Z0[0]e; 2i d4x1 d4x2J (x1)
(x1;x2 )J (x2): (210)
Da relac~ao (193) temos que

Z0[J ] = eiW0[J ]: (211)

Calculando o logaritmo da express~ao (211), obtemos:

1 Z
W0[J ] = ;ilnZ0[0] ; 2 d4 x1d4x2J (x1)
(x1 ; x2)J (x2):
Entretanto, para se obter ;[] apenas em func~ao de (x) e necessario encontrar J = J ().
No caso da teoria livre, sabemos tambem calcular exatamente (x) na presenca de uma
fonte externa qualquer, ou seja,
 { 45 { CBPF-MO-002/97

(x) = h0j(x)j0iJ = iZ1[J ] Z 0[J ]

J (x)
0
R
= ; Z i[J ] J(x) e; 2i d4x1d4 x2J (x1)
(x1;x2 )J (x2)Z0 [0]
Z0 R
= ; d4y
(x ; y)J (y)e; 2i d4x1d4 x2 J (x1)
(x1;x2 )J (x2) ZZ0[[0]
J ]:
0

Mas, pela eq.(171) temos que

R
e; 2i d4 x1d4x2 J (x1)
(x1;x2 )J (x2) ZZ0[[0]
J ] = 1: (212)
0
Portanto,
Z
(x) = ; d4y
(x ; y)J (y): (213)
Entretanto, precisamos inverter a eq.(213) uma vez que precisamos de: J = J ().
Uma maneira de inverter a equaca~o acima e aplicar o operador @ 2 + m2 a (x), ou seja,
Z
2 2 
(@ + m )(x) = ; d4y[(@x2 + m2)
(x ; y)]J (y); (214)
que usando o resultado do ap^endice III (eq.(278)), temos que

(@ 2 + m2)(x) = J (x): (215)

Na eq.(215) temos J (x) como um funcional de (x), como desejamos.
Para obtermos ;0[], temos ent~ao

1 Z
;0[] = ;ilnZ0[0] ; 2 d4x1d4x2 J (x1)
(x1 ; x2)J (x2) ;
Z
; d4y J (y)(y): (216)
Substituindo o resultado (215) na express~ao (216), camos com

;0 [] = ;ilnZ0[0] ;
Z
; 12 d4 x1d4x2 [(@12 + m2)(x1)]
(x1 ; x2)[(@22 + m2)(x2)] ;
Z
; d4y [(@y2 + m2)(y)](y): (217)
Integrando a eq.(217) por partes, e, usando o fato de que as funco~es de (x) tendem a
zero na fronteira da regi~ao considerada, ent~ao
 { 46 { CBPF-MO-002/97

Z
d4x1 [(@12 + m2)(x1)]
(x1 ; x2) =
Z
= d4x1 [(@12 + m2)
(x1 ; x2)](x2)
= ;(x2): (218)
Assim, voltando a eq. (216), camos com

Z
;0[] = ;ilnZ0[0] + 1 d4x2 (x2)[(@22 + m2)(x2)] ;
Z 2
; d4x2 (x2)(@ 2 + m2)(x2) )
1 Z
) ;0[] = ;ilnZ0[0] ; 2 d4x (x)(@ 2 + m2)(x):
 (219)
Integrando por partes o segundo termo do l.d. da eq. (219), encontramos que
1 Z 1 Z
; 2 d x (x)(@ + m )(x) = ; 2 d4x [;@@  + m2(x)]:
4  2 2  (220)
Logo,
Z
;0[] = ;ilnZ0[0] + d4x L((x); @(x)); (221)
onde

L((x); @(x)) = 12 @(x) @ (x) ; 12 m2(x); (222)

que coincide com a densidade de lagrangeana (147) quando  = 0. Vemos que ;0[] e,
essencialmente, a ac~ao do sistema, para a congurac~ao de vacuo (x). No caso geral
em que temos interac~ao n~ao e conhecida a express~ao exata de ;[], mas ainda assim
identicamo-la com a ac~ao efetiva do sistema.
No caso geral, usamos metodos aproximados ou expans~oes para obter a express~ao de
;[]. Temos dois tipos de expans~oes em (x): uma e a expans~ao n~ao local, com a qual
estamos mais acostumados e aparecem as func~oes de vertice. A outra e a expans~ao local,
na qual aparece o potencial efetivo.
Da mesma maneira que Z [J ] e W [J ] s~ao funcionais da corrente externa J (x) e t^em
series de Taylor funcionais associadas, tambem ;[] e um funcional de (x), e tem associ-
ada a si uma serie de Taylor funcional. N~ao discutiremos aqui o caso em que existe
quebra espont^anea de simetria (veja o livro do Amit, pag. 91).
 { 47 { CBPF-MO-002/97

Temos ent~ao a expans~ao em torno da congurac~ao de vacuo da teoria, quando J (x) =
0, ou seja,

(x) = WJ[J ] jJ =0 ; (223)

ou,
;[] = J (x) = 0: (224)
(x)
Como estamos trabalhando com teorias que por hipotese n~ao possuem quebra espont^anea
de simeteria (no nosso caso, m2 > 0), ent~ao,

(x) = WJ[J ] jJ =0 = 0; (225)

e ;[] pode ser escrita como uma expans~ao n~ao local da forma
X1 1 Z
;[] = n! d4x1 : : : d4xn ;(n)(x1; : : :; xn) (x1) : : : (xn);
 (226)
n=0
onde (x) = WJ (x) para J (x) 6= 0.
[J ]

As func~oes ;(n) (x1; : : :; xn) s~ao as chamadas func~oes de vertice, ou, func~oes proprias
de vertice. A relac~ao entre ;(n) (x1; : : : ; xn) e o funcional gerador ;[(x)] e:
n 
;(n)(x1; : : :; xn) =   ;[] jJ =0: (227)
(x1) : : : (xn)
As derivadas funcionais s~ao calculadas na congurac~ao em que temos J (x) = 0. A situac~ao
mais simples (que e a que estamos considerando), e aquela na qual (x; J = 0) = 0.
Formalmente, conhecemos ;[] e as func~oes proprias ;(n)(x1; : : : ; xn), mas, na ver-
dade, so e possvel obter estas quantidades aproximadamente. Precisamos relaciona-las
as express~oes perturbativas que temos para G(n) e G(cn). Para tanto, usamos as relac~oes
formais conhecidas (eqs.(208) e (209)):
Z
;[] = W [J ] ; d4y J (y)(y);
 (228)
e

(x) = W [J ] ; J (x) = ; ;[] : (229)

J (x) (x)
Assim,
 { 48 { CBPF-MO-002/97

2W [J ] = (x) ; (230)

J (x)J (y) J (y)
e
2;[] = ; J (y) : (231)
(y)(z) (z)
A partir das eqs.(230) e (231), decorre que

Z ] 2W [J ] Z 
d4y (y;[
2 
= ; d 4 y  (x) J (y )
)(z) J (x)J (y) J (y) (z)

= ; ((xz)) = ;(x ; z)
Z ] 2W [J ]
d4y (y;[
2 
) )(z) J (x)J (y) = ;(x ; z): (232)

Portanto, ; (y2;[)(] z) e o inverso de J(xW)J[J(]y) , para qualquer que seja o valor da corrente
2

externa. Em particular, temos que J(xW)J[J(]y) jJ =0 = G(2) c (x; y ), que e a func~ao de dois
2

pontos conexa da teoria, tambem chamada de propagador vestido. Como nesta func~ao de
dois pontos so temos gracos conexos, ent~ao gracamente, podemos escrever, no espaco
dos momenta:

G(2)
c =

+ + (233)+ ...
Note que e a unidade fundamental, a partir da qual todos os outros gracos conexos
podem ser obtidos. Ent~ao,

[1 + + + ...] =
= 1 -
1
(234)
onde estamos supondo que o graco no denominador do lado direito e menor que um, para
que a serie seja convergente. A gura nos da a representac~ao graca de G(2)
c . Dividindo
por , temos que
p
 { 49 { CBPF-MO-002/97

G(2)
c =
1
-1
( ) - (235)
Como no espaco dos momenta,

c ; = ;1
G(2) ) ;(2) =
(2)

; (p2 ; m2) (236)

Vemos que a ;(2) est~ao associados os gracos de dois pontos. Note que a func~ao de
dois pontos irredutvel n~ao possui pernas externas, da serem estas func~oes chamadas de
func~oes de Green amputadas.
Vejamos o que acontece com ;(3). Ja vimos da eq. (232) que

Z ] 2W [J ]
d4x (x;[
2 
)(z) J (x)J (y) = ;(y ; z):
Derivando funcionalmente a express~ao anterior com relac~ao a J (w) encontramos

Z  ]
2;[  3W [J ]
d x (x)(z) J (x)J (y)J (w) +
4

Z 3 
+ d4x (x);[(z)]J (w) J(xW)J[J(]y) = 0 )
2

Z ]
d4x (x;[
2  3W [J ]
) )(z) J (x)J (y)J (w)
+
Z  3;[ ]  (x2) 2W [J ]

+ d x1d x2 (x )(z)(x ) J (w) J (x )J (y) = 0;
4 4 (237)
1 2 1

com J((xw2)) = J (x22W)J[J(]w) . Multiplicando cada um dos termos da eq.(237) por

2;[] 2;[] ; (238)
(y)(X ) (w)(Y )
e integrando sobre y e w, camos com
 { 50 { CBPF-MO-002/97

Z 2  2;[] 2;[] +
d4xd4yd4w (y);[(]X ) J (x)JW(y[J)J
]
3
(w) (x)(z) (w)(Y )
Z nhZ 2;[] i 3;[]
+ d4x1d4x2 d4y J(xW)J
2 [J ]

1 (y) (y)(X ) (x1)(z)(x2) 

hZ ] io
 d4w J (xW)J[J(]w) (w;[
2 2 

2 )(Y ) = 0: (239)
Os termos entre colchetes resultam, respectivamente, em ;(x1 ; X ) e ;(Y ; x2).
Portanto,

3 
;(3)(X; Y; t)  (X );[(z)](Y ) =
Z 2  ] 2;[] :
= ; d4xd4yd4w (y);[(]X ) (w;[
2  3W [J ]
)(Y ) J (x)J (y)J (w) (x)(z)
(240)
Ent~ao, como (x1)2;(x2) e o inverso do propagador, a func~ao de vertice ;(3) e a func~ao de
Green conexa amputada do propagador vestido nas pernas externas. Diagramaticamente,

W = Γ
(3)

(241)
De forma que ;(3) e a soma dos gracos de 3 pontos irredutveis. Assim, generalizando
para qualquer n, ;(n) e igual a soma dos gracos irredutveis amputados com n pontos
externos.
Finalmente, vejamos a expans~ao local do funcional gerador dos gracos 1PI. Fazemos
uma expans~ao de ;[(x)] em torno de uma congurac~ao especca (x):
Z 1 Z
; ;[] = dx V ((x)) + 2 dx Z ((x))(@ (x))2 + : : : ;
  (242)
onde V e Z s~ao funco~es ordinarias de (x), e apenas de (x), nunca de suas derivadas.
V () e chamado de potencial efetivo do sistema. Quando a congurac~ao media e inde-
pendente da posic~ao, (x) =  = cte,

; ;[] = V ()
; (243)
 { 51 { CBPF-MO-002/97

onde
= R d4x. E importante ressaltar que, uma vez que sabemos a depend^encia fun-
cional de V com  = cte:, sabemos que essa depend^encia e valida para qualquer (x),
pois V n~ao envolve derivadas de (x).
O potencial efetivo e dado pela soma das func~oes irredutveis com momentum externo
nulo. Par vermos isto, consideramos o funcional da ac~ao efetiva do modelo 4 na aus^encia
de quebra espont^anea de simetria,
X1 1 Z

;[] = d4 x1 : : : d4xn ;(n)(x1; : : :; xn)(x1) : : : (xn): (244)
n=0 n !
Como a teoria deve ser invariante sob translac~oes, temos que

;(n) (x1; : : : ; xn) = ;(n) (x2 ; x1; x3 ; x1; : : :; xn ; x1): (245)

Consideremos o caso n = 4; ent~ao,

;(4)(x1; x2; x3; x4) = ;(4)(x2 ; x1; x3 ; x1; x4 ; x1): (246)

Mas

;(4)(x2 ; x1; x3 ; x1; x4 ; x1) =

1 Z
= [(2)4]3 d4p2ei(x2;x1 )p2 d4p3ei(x3;x1)p3 d4p4 ei(x4;x1)p4 ;~ (4)(p2; p3; p4)
1 Z
= [(2)4]3 d4p2d4p3d4p4 eix2p2 eix3p3 eix4p4 e;ix1(p2+p3+p4 );~ (4)(p2 ; p3; p4):
(247)
Logo,

;(4)(x1; x2; x3; x4) =

1 Z
= [(2)4]3 d4p1d4p2d4p3 d4p4 (p1 + p2 + p3 + p4) 
eip1x1 eix2p2 eix3p3 eix4p4 ;~ (4)(p2; p3; p4): (248)
Substituindo esta express~ao na eq. (244) temos

X1 1 Z
4 x : : :d4 x d4 p d p2 : : : d pn (x ) : : : 
4 4

;[] = d 1 n 1 1 (xn ) 
n=0 n! (2  ) 4 (2  ) 4

ei(p1x1+:::+pnxn)(p1 + : : : + pn );~ (n)(p1 ; : : :; pn ): (249)

 { 52 { CBPF-MO-002/97

Expandindo ;~ (n)(p1; : : : ; pn) em torno da congurac~ao p1 = : : : = p2 = 0, ou seja,

;~ (n)(p1 ; : : :; pn ) = ;~ (n)(0; : : : ; 0) + pi @@p ;~ (n) j +

f0g
i
+ 2!1 pipj @p@ 2;~ (n) j
f0g;ij + : : : ; (250)
i @pj
onde estamos usando a convenc~ao de soma sobre os ndices repetidos. Voltando a ex-
press~ao (244), temos

X1 1 Z
4 x : : :d4 x d4 p d p2 : : : d pn 
4 4

;[] = d 1 n 1  
4 (x1 ) : : : (xn ) 
n=0 n ! (2  ) 4 (2  )
ei(p1x1+:::+pnxn)(p1 + : : : + pn );~ (n)(0; : : : ; 0) +
X1 1 Z
+ n! d4x1 : : : d4xn d4p1 (2d p)24 : : : (2d p)n4 (x1) : : : (xn) 
4 4

n=0
ei(p1x1+:::+pnxn)(p1 + : : : + pn )pi @@p;~ (n) j + : : :
f0g
i
Assim,

X1 ;~ (n) (0; : : : ; 0) Z
4 x : : : d4 x d4 p d p2 : : : d pn 
4 4
;[] = n! d 1 n 1
(2)4 (2)4
n=0
(x1) : : : (xn) ei(p1x1+:::+pn xn)(p1 ; (;p2 ; : : : ; pn )) +
X1 1 @ ;~ (n) Z
+ n! @p jf0g d4x1 : : : d4xn d4p1 (2d p)24 : : : (2d p)n4 (x1) : : : (xn) 
4 4

n=0 i
ei(p1x1+:::+pnxn)(p1 + : : : + pn )pi + : : ::
 { 53 { CBPF-MO-002/97

Vamos considerar cada integral em separado:

a)
Z
d4x1 : : :d4xn d4p1 (2d p)24 : : : (2d p)n4 (x1) : : : (xn) 
4 4

Z ei(p1x1+:::+pnxn)(p1 ; (;p2 ; : : : ; pn )) =
= d4x1 : : :d4xn (x1) : : : (xn)(x2 ; x1)(x3 ; x1) : : : (xn ; x1)
Z
= d4x1n(x1):

b)
Z d 4p d 4p
d x1 : : : d xn d p1 (2)4 : : : (2)n4 (x1) : : : (xn ) 
4 4 4 2

ei(p1x1+:::+pnxn)(p1 + : : : + pn )pi =
Z
d4x1 : : : d4xn d4p1 (2d p)24 : : : (2d p)n4 (p1 + : : : + pn) @x
@ ei(p1x1+:::+pn xn) 
4 4

i
(x1) : : : (xi) : : : (xn):
Mas,

@ [ei(p1x1+:::+pn xn)(x ) : : : (x ) : : : (x )] =

1 i n
@xi
= @e @x
i(p1x1 +:::+pn xn )
(x1) : : : (xi) : : : (xn) +
i

+ei(p1x1+:::+pnxn)(x1) : : : @ @x(xi) : : : (xn): (251)
i
O termo do l.e. da eq.(251) e um termo de superfcie, e, supondo que 'c(x) va a zero
para x ! 1, este n~ao contribui para a integral (b). Sendo assim, a integral (b) ca
Z
d4x1 : : :d4xn d4 p1 (2d p)24 : : : (2d p)n4 (p1 + : : : + pn )ei(p1x1+:::+pnxn) 
4 4


(x1) : : : @ @x(xi) : : : (xn) =
i
Z
= ; d4x1 : : :d4xn (2d p)24 : : : (2d p)n4 eip2(x2;x1 )eip3(x3;x1 ) : : : eipn(xn;x1 ) 
4 4


(x1) : : : @ @x(xi) : : : (xn)
i
Z @ 
 ( x )
= ; d4x1n;1(x1) @x 1 :
1
 { 54 { CBPF-MO-002/97

Assim,

Z
d4x1 : : :d4 xn (2d p)24 : : : (2d p)n4 pi(p1 + : : : + pn) 
4 4

(x1) : : : (xn ) ei(p1x1+:::+pnxn) =

Z 
= ; d4x1 n;1(x1) @ @x(x1) :
1

Voltando a express~ao (244) temos

X1 ;~ (n) (0; : : :; 0) Z
;[] = ( n )! d4x1n (x1) ;
n=0
X1
; (n1)! @@p ;~ (n) j Z d4x n;1(x ) @ (x1) + : : : : (252)
f0g 1 1
@x1
n=0 i

A primeira derivada de ;~ e nula, pelo menos no caso em que n~ao ha quebra espont^anea
de simetria. Entretanto, a forma na qual as derivadas superiores dos campos aparecem
nesta express~ao e a mesma que obtivemos para a primeira derivada.

6 Ap^endice I: Metrica
O produto escalar no espaco de Minkowski em 4-dimens~oes espaco-temporal e denido
como:

a
b = ab = g ab ; ;  = 0; 1; 2; 3; (253)

onde o tensor metrico g e escolhido como:
01 0 0 0 1
B 0 ;1 0 0 CC
g = g = B
B@ 0 0 ;1 0 CA : (254)
0 0 0 ;1
Para escrever a metrica de forma suscinta, usamos a notac~ao:
g = diag(1; ;1; ;1; ;1). Na eq.(253) usamos a convenc~ao de soma implcita em que
somamos sobre ndices repetidos. Continuaremos a usar esta convenc~ao nestas notas.
Os vetores contra-variantes s~ao denidos como:

x = (t;~x); (255)
 { 55 { CBPF-MO-002/97

enquanto que os vetores covariantes s~ao denidos como:

x = (t; ;~x); (256)

Relacionamos os vetores contra-variantes e covariantes atraves do tensor metrico:

x = g x e x = g x : (257)

Os 4-vetores diferenciais s~ao denidos como:
@  @ = ( @ ;r
~
@x  @t ); (258)
e
@  @  = ( @ ; ;r~
@x @t ): (259)
A relac~ao (257) entre os vetores covariante e contra-variante continua valida para o
4-vetores diferenciais,

@ = g @  e @  = g @ : (260)

O operador diferencial d'Alambertiano e um escalar de Lorentz:
@ 2 ; r2
@ 2  @@  = @t 2
= tu : (261)

7 Ap^endice II: Prolegomena de Mec^anica

Eststica
Seja fjnig, o conjunto de auto-vetores da hamiltoniana H, que descreve o sistema qu^antico,

Hjni = En jni; (262)

onde En s~ao os autovalores correspondentes. Os estados jni s~ao escolhidos ortonormais,

hnjmi = nm : (263)

Assumimos que os autoestados da hamiltoniana H formam uma base completa, de forma
que satisfazem a relac~ao de completeza,
 { 56 { CBPF-MO-002/97

X
jnihnj = 1l: (264)
jni

Qualquer operador qu^antico O^ , pode ser escrito como:

X
O^ = 1lO^ 1l = jnihnjO^ jmihmj: (265)
n;m
Denimos os elementos da representac~ao matricial do operador O^ na base dos auto-
vetores da hamiltoniana como:

onm  hnjO^ jmi: (266)

O valor medio da quantidade fsica associada ao operador O^ , em qualquer auto-estado da
energia, e:
X
hljO^ jli = hljnihnjO^ jmihmjli = oll : (267)
n;m
que da os elementos da diagonal da respresentac~ao matricial de O^ na base dos vetores de
estado com energia denida.
Quando o sistema qu^antico esta em equilbrio termodin^amico, a probabilidade dele ser
encontrado no estado jni, que e auto-estado de energia com autovalor En, e:
;En
Pn = Pe e;En ; (268)
n
de forma que a media estatstica e qu^antica e igual a:

onn e;En X
1 hnjO^ jnie;En
hO^ iT = P =
n e;En Z n
X X ^ ;H
= Z1 hnjO^ jmihmje;Hjni = Z1 hnjOe jni
n;m n
^ ;H]
Tr[Oe
= Tr[e;H] : (269)
Portanto, a media eststica e qu^antica, de qualquer operador qu^antico e:
^ ; H
hO^ iT = TrTr[Oe
[e ]
; H
]: (270)
 { 57 { CBPF-MO-002/97

8 Ap^endice III: Func~ao de Green da Teoria Livre

O propagador da teoria livre e dado por
Z ;ip(x2 ;x1 )

(x2 ; x1) = (21)2 d4 p (21)2 p2 e; (m2 ; i) ; (271)
onde estamos usando a convenc~ao: px  p x.
Queremos mostrar que
(x2 ; x1) e a func~ao de Green da teoria livre. Para isso,
consideremos a equac~ao de movimento do campo livre.
A densidade de Lagrangeana da teoria livre e:

L = 12 @@  ; 12 m22: (272)

A equac~ao de Euler-Lagrange e ent~ao
@ L ; @ ( @ L ) = 0 ) @ @  + m22 = 0: (273)
@  @ (@) 

Denindo @ 2  @@ , a equac~ao classica ca:

@ 2 + m2 = 0: (274)
Aplicamos o operador @ 2 + m2 a func~ao
(x2 ; x1):

Z @ 2 ; r2 + m2) e;ip(x2;x1) ;
(@12 + m2)
(x2 ; x1) = (21 )2 d4p (21 )2 ( @t 2 1 p2 ; (m2 ; i) (275)
1

onde p2 = p20 ; ~p 2. Ent~ao,

( @ 2 ; r21)e;ip(x2;x1) = (;p20 + ~p 2)e;ip(x2;x1) = ;p2e;ip(x2;x1):

2
(276)
@t1
Assim,

Z
(@12 + m2)
(x2 ; x1) = (21 )4 d4p p2 ;;p(m+2 m
2 2
;ip(x2 ;x1 )
; i) e
= = ;(x2 ; x1): (277)
O i que aparece no denominador da express~ao (277), n~ao contribui, pois, de uma
maneira bastante heurstica, vemos que o numerador e o denominador v~ao a zero na
mesma regi~ao de momento e, portanto, o quociente dos dois e nito.
 { 58 { CBPF-MO-002/97

Encontramos desta forma que
(x2;x1) e a func~ao de Green da equac~ao de movimento

classica da teoria livre,

(@ 2 + m2)
(x2 ; x1) = ;(x2 ; x1); (278)

e que a prescric~ao do i e utilizada para escolher as condic~oes de contorno que da
(x1;x2)
deve satisfazer.