Sei sulla pagina 1di 98

Estudo da estabilidade da solucao de campo nulo

na eletrodinamica escalar para campos submetidos


a condicoes de contorno
Thiago Luiz Antonacci Oakes
Programa de Pos-Graduacao em Fsica
Universidade Federal do Esprito Santo
2009
iii
Thiago Luiz Antonacci Oakes
Estudo da estabilidade da solucao de campo nulo
na eletrodinamica escalar para campos submetidos
a condicoes de contorno
Dissertacao apresentada ao Programa de Pos-Gra-
duacao em Ciencias Fsicas do Centro de Ciencias
exatas da Universidade Federal do Esprito Santo,
como requisito parcial para obtencao do Grau de
Mestre em Ciencias Fsicas.
Orientador: prof. Dr Jose Alexandre Nogueira.
VIT

ORIA
2009
iv
Agradecimentos
Agradeco a Deus por estar presente na minha vida em todos os momentos. Aos meus pais,
Jose Luiz Oakes (in memoria) e Analia Antonacci Oakes (in memoria), pela educacao
que me deram e por terem sido meus grandes amigos. Ao meu orientador, Jose Alexandre
Nogueira, por ter contribudo na minha formacao. Aos meus amigos da pos-graduacao,
pela valiosa ajuda que me prestaram nas minhas diculdades. Aos membros da banca,
pelas sugestoes que contribuiram para a melhoria do meu trabalho. Ao Conselho Nacional
de Desenvolvimento Cientco e Tecnologico (CNPq), pelo apoio nanceiro.
v
Resumo
Neste trabalho, analisamos a estabilidade da solucao de campo nulo na eletrodinamica
escalar para campos submetidos a condicoes de contorno. Fazemos isto para uma teoria
com quebra espontanea de simetria a tree level, para a qual a solucao de campo nulo e
instavel e, portanto, nao e vacuo da teoria. Como veremos, em uma abordagem puramente
classica, condicoes de contorno de Dirichlet homogeneas e antiperiodicas sao capazes de
modicar o vacuo da teoria de modo a fazer com que a solucao de campo nulo se torne
estavel e, portanto, vacuo da teoria. No entanto, condicoes de contorno de Neumann
homogeneas e periodicas nao podem fazer com que a solucao de campo nulo se torne
estavel. Contudo, termos adivindos das correcoes radiativas podem, para determinados
valores dos parametros introduzidos pelas condicoes de contorno de Neumann homogeneas
e periodicas, se tornar de ordem classica, de modo que a solucao de campo nulo seja estavel.
vi
Abstract
In this work, we study the stability of the null scalar eld solution for the scalar elec-
trodynamics constraints to boundary conditions. We study a theory with spontaneous
symmetry breaking in the tree level, for which the null eld solution is instable and,
therefore, it is not the vacuum of the theory. As we are going to see, in an approach
purely classic, homogeneous Dirichlet and anti-periodic boundary conditions may modify
the vacuum of the theory in such a way that the null eld solution becomes stable and,
therefore, the vacuum of the theory. On the other hand, homogeneous Neumann and pe-
riodic boundary conditions may not become the null eld solution stable. However, terms
from the radioactive corrections may become of classic order for certain values of the
parameters introduced by the homogeneous Neumann and periodic boundary conditions,
in such a way that the null eld solution is stable.
Sumario
Agradecimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . v
Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi
1 Introducao 1
1.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2 Teoria Classica dos Campos.
O Campo Escalar 4
2.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 O campo escalar sob o ponto de vista do formalismo lagrangiano . . . . 6
2.3 Quatizacao canonica do campo escalar real . . . . . . . . . . . . . . . . 12
2.4 Quantizacao canonica do campo escalar complexo . . . . . . . . . . . . 18
2.5 Consideracoes nais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 O Formalismo Lagrangiano para o Campo Eletromagnetico 21
3.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.2 As equacoes de Maxwell . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3 Densidade de lagrangiana e quantidades conservadas . . . . . . . . . . 24
3.4 Quantizacao canonica do campo eletromagnetico no gauge de radiacao . 26
3.5 Quantizacao canonica do campo eletromagnetico no gauge de Lorentz . 30
3.6 Consideracoes nais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
vii
viii
4 O Efeito Casimir 36
4.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.2 A ZPE e a Energia de Casimir . . . . . . . . . . . . . . . . . . . . . . 37
4.3 Consideracoes nais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5 Eletrodinamica Escalar 45
5.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.2 Invariancia de gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.3 Consideracoes nais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
6 Estudo da Establidade da Solucao
0
= 0 na Eletrodinamica Escalar
em Nvel Classico 54
6.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
6.2 Analise da estabilidade da solucao
0
= 0 . . . . . . . . . . . . . . . . . 56
6.2.1 Estudo da estabilidade da solucao
0
= 0 quando o campo e
submetido a condicoes de contorno de Dirichlet homegeneas . . 60
6.2.2 Solucoes
0
nao uniformes para o campo satisfazendo a condicoes
de contorno de Dirichlet homogeneas . . . . . . . . . . . . . . . 61
6.2.3 Estudo da estabilidade da solucao
0
= 0 quando o campo e
submetido a condicoes de contorno antiperiodicas . . . . . . . . 63
6.2.4 Solucoes
0
nao uniformes para o campo satisfazendo a condicoes
de contorno antiperiodicas . . . . . . . . . . . . . . . . . . . . . 64
6.2.5 Estudo da estabilidade da solucao
0
= 0 quando o campo e
submetido a condicoes de contorno periodicas . . . . . . . . . . 65
6.2.6 Estudo da estabilidade da solucao
0
= 0 quando o campo e
submetido a condicoes de contorno de Neumann homogeneas . . 66
6.3 Consideracoes nais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
7 Estudo da Estabilidade da Solucao
0
= 0 na Eletrodinamica Escalar
0
Introduzindo Correcoes Radiativas 69
7.1 Introducao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
7.2 Condicao de estabilidade da solucao
0
= 0 . . . . . . . . . . . . . . . . 70
7.2.1 Estudo da estabilidade da solucao
0
= 0 quando os campos e
A

sao submetidos a condicoes de contorno periodicas . . . . . . 74


7.2.2 Estudo da estabilidade da solucao
0
= 0 quando os campos
e A

sao submetidos a condicoes de contorno de Neumann


homogeneas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
7.3 Consideracoes nais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
8 Conclusao 81
8.1 Conclusao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
9 Apendice 84
9.1 Apendice A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
Referencias bibliogracas 87
Captulo 1
Introducao
2
1.1 Introducao
Na teoria quantica de campos local, nos deparamos com problemas de divergencias
quando calculamos os observaveis. Sanamos esses problemas com as chamadas tecnicas
de renormalizacao [1, 2], com as quais obtemos valores nitos e providos de signicado
sico. Um exemplo desse tipo de caso aparece na eletrodinamica quantica quando
calculamos a carga do eletron. O calculo da energia do vacuo e tambem um outro
exemplo. O vacuo classico e tido como a ausencia total de qualquer ente fsico. En-
tretanto, quando analisamos o vacuo do ponto de vista da teoria quantica de campos,
conclumos que, contrariamente ao nosso senso classico, o vacuo nao e uma ausencia
total de qualquer ente fsico, pelo contrario, o vacuo quantico e algo repleto. O vacuo
quantico e denido como sendo o estado onde nao ha excitacoes do campo. Porem,
existem as chamadas utuacoes do campo no vacuo. Essas utuacoes fazem com que
o valor da densidade de energia do vacuo nao seja nula, mas sim, innita.
Uma consequencia relacionada `as intrigantes propriedades do vacuo quantico e o chamado
efeito Casimir. Esse efeito, que sera explicado detalhadamente neste trabalho, esta rela-
cionado `as diferencas da densidade de energia do vacuo quando impomos condicoes de
contorno aos campos no vacuo. Quando calculamos os observaveis relativos a esse
fenomeno, nos depararamos com divergencias. Com o uso da renormalizacao obtemos
resultados nitos e condizentes com o que e observado nesse fenomeno.
O objetivo deste trabalho e estudar a estabilidade da solucao de campo nulo na
eletrodinamica escalar para campos submetidos a condicoes de contorno. Nesta analise,
utilizaremos um potencial com quebra espontanea de simetria a tree level. Faremos
isto primeiramente para uma aproximacao de ordem classica e posteriormente para uma
aproximacao de ordem quantica. Iremos ver que, para certas condicoes de contorno, a
soluc ao de campo nulo pode se tornar estavel e, assim, o vacuo se torna unicamente
determinado. Desta forma, o que estaremos tambem mostrando e que condic oes de
contorno podem restaurar a simetria inicialmente quebrada da teoria. Em trabalhos
3
recentes, foi estudado a estabilidade da solucao de campo nulo em ordem cl assica
[24] e quantica [26] para o caso de uma teoria de um campo escalar real com quebra
espontanea de simetria a tree level. Em ambos os casos, foi mostrado que, para cer-
tas condicoes de contorno, a solucao de campo nulo se torna estavel e, assim, a simetria
e restaurada.
Na teoria quantica de campos, cada campo quando quantizado, possui uma inter-
pretacao de partculas. Nos proximos captulos, faremos uma abordagem cl assica
sob o ponto de vista do formalismo lagrangiano dos campos escalares e do campo
eletromagnetico, para que, entao, em seguida, possamos quantiza-los e, com isso,
mostrar como surge a interpretacao das partculas descritas por esses campos. Em
seguida, no captulo 5, pela imposicao de que a lagrangiana, para uma teoria de um
campo escalar complexo, seja invariante sob transformacoes de gauge local do grupo
U(1), obteremos uma nova lagrangiana que depende tanto do campo escalar com-
plexo, quanto do campo eletromagnetico. A teoria descrita por esta nova lagrangiana
e chamada de eletrodinamica escalar. No captulo 6, onde daremos incio ao nosso
trabalho propriamante dito, iremos analisar a estabilidade da solucao de campo nulo
para condicoes de contorno de Dirichlet homogeneas, antiperiodicas, de Neumann ho-
mogeneas e periodicas. Faremos isto para uma teoria com quebra espontanea de sime-
tria a tree level. Mostraremos que, em uma abordagem puramente classica, apenas
as condicoes de contorno de Dirichlet homogeneas e antiperiodicas sao capazes de fazer
com que a solucao de campo nulo se torne estavel, restaurando, assim, a simetria. No
entanto, veremos no captulo 7 que, para uma aproximacao quantica em primeira or-
dem de h, condicoes de contorno de Neumann homogeneas e periodicas tambem sao
capazes de fazer com que a solucao de campo nulo se torne estavel, restaurando, assim,
a simetria. Apos isto, nalizaremos o trabalho discutindo os resultados obtidos.
Captulo 2
Teoria Classica dos Campos.
O Campo Escalar
5
2.1 Introducao
Na mecanica classica, os sistemas mecanicos sao tratados como sendo um conjunto de
partculas pontuais, onde a posicao de cada uma delas e especicada por um conjunto
de coordenadas generalizadas dependentes do tempo. Essas coordenadas (funcoes do
tempo) sao comumente denotadas por q
i
(t), onde i representa ndicies inteiros. Pelo
princpio variacional de Hamilton [3], podemos mostrar que essas funcoes obedecem a
um conjunto de equacoes denominadas equacoes de Euler-Lagrange. Essas equacoes
sao dadas por
d
dt
_
L
q
i
_

L
q
i
= 0, (2.1)
onde L = L(q
i
, q
i
, t) e uma funcao denominada lagrangiana. Em analogia `as funcoes
q
i
(t), vamos considerar funcoes escalares contnuas, as quais chamaremos de campos
escalares, que, ao inves de dependerem de ndicies discretos e do tempo, dependam
das coordenadas do espaco e do tempo. Denotemos esses campos genericamente por
1
(x, t). Ainda em analogia `a mecanica classica, consideremos uma funcao lagrangiana
L(t) = L[(x, t),

(x, t)] para o campo (x, t). Utilizando o princpio da mnima acao,
vamos mostrar na proxima secao que obedece a uma equacao similar `aquelas para
as coordenadas generalizadas da mecanica classica. Essa equacao, assim como no caso
da mecanica classica, e denominada equacao de Euler-Lagrange. O campo = (x, t)
pode ser, entao, determinado se conhecermos a funcao lagrangiana. Do mesmo modo
como e feito na mecanica classica, construiremos um formalismo lagrangiano para o
campo (x, t). Posteriormente, de posse do formalismo lagrangiano, partiremos para
a quantizacao canonica de . Feito isso, seremos levados `a interpretacao de que esse
campo descreve partculas de spin-0.
1
Dessa forma, as coordenadas do espaco fazem papel analogo ao dos ndicies discretos das coorde-
nadas generalizadas.
6
2.2 O campo escalar sob o ponto de vista do for-
malismo lagrangiano
Vamos obter as equacoes de Euler-Lagrange para o campo . Denimos a lagrangiana
L(t), como sendo um funcional de nas coordenadas espaciais que e dado por
L(t) =
_
d
3
xL(,

, x

), (2.2)
onde zemos uso da notacao covariante. Denimos a acao S como sendo
S =
_
L(t)dt =
_
L(,

, x

)d
4
x. (2.3)
O princpio variacional diz que S = 0, para o caso em que as variacoes nas coordenadas
e nos campos se anulam nas fronteiras da regiao de integracao. Ou seja,
S =
_
L(

(x

),

(x

), x

)d
4
x

_
L((x), (x), x

)d
4
x = 0, (2.4)
onde
2
x

= x

+x

e (2.5)

(x

) = (x) + (x), com (2.6)


(x) = (x) +

x

. (2.7)
Nessas duas ultimas equacoes, (x) representa uma variacao na dependencia funcional
de , enquanto que representa uma variacao total em , devido `a variacao nas
coordenadas x

e a . Para escrevermos d
4
x

em termos de d
4
x, usamos o Jacobiano.
Assim, obtemos
d
4
x

=
_
det
_
x

__
d
4
x. (2.8)
Calculando
_
x

_
, obtemos
det
_
x

_
= 1 +(x

) +O(x

)
2
. (2.9)
2
Consideramos termos ate a primeira ordem em x

.
7
Substituindo isso na expressao para S e considerando termos ate a primeira ordem
em , vamos obter
_
d
4
x
_
L

L
(

)
_
= 0, (2.10)
onde a integracao e feita em todo o espaco-tempo. Uma vez que essa relacao e valida
para todo diferente de zero, devemos ter
L

_
L
(

)
_
= 0. (2.11)
Esta e a equacao de Euler-Lagrange para . Se a lagrangiana depender de N campos

s
independentes, podemos generalizar o resultado acima como:
L

_
L
(

s
)
_
= 0. (2.12)
A equacao de Klein-Gordon, que e dada por (

+ m
2
) = 0, pode ser obtida se
substituirmos na equacao de Euler-Lagrange uma densidade lagrangiana dada por
L =
1
2
(

)(

)
1
2
m
2

2
. (2.13)
O uso do formalismo lagrangiano na teoria classica dos campos nos leva a importantes
conclusoes acerca das leis de conservacao. Veremos isso a seguir.
A conservacao de quantidades como a energia, o momento linear e o momento angular
e uma condicao que as teorias fsicas devem satisfazer para que possam estar de acordo
com a descricao dos sistemas fsicos. Alem dessas quantidades, alguns sistemas fsicos,
podem possuir outras quantidades que sao conservadas, tais como carga e isospin. Na
mecanica classica de sistemas de partculas, as leis de conservacao aparecem como con-
sequencia de propriedades de simetria de um sistema
3
. Mostraremos que isto tambem
ocorre na teoria classica de campos. Mostraremos que, para cada transformacao nas
coordenadas e(ou) nos campos para as quais a fsica contnua a mesma, existe uma
quantidade associada que e conservada.
A ligacao entre quantidades conservadas e propriedades de simetria e dada pelo teorema
3
Essas simetrias sao transformacoes que deixam a acao invariante.
8
de Noether [4]. Iremos agora derivar esse teorema para a teoria classica de um campo
escalar e para transformacoes genericas de simetria. Posteriormente, considerando ca-
sos especcos de transformacoes de simetria, seremos levados `as leis de conservacao
da energia, do momento e da carga eletrica.
Vamos supor que a acao seja invariante sob transformacoes contnuas nas coordenadas
do espaco-tempo, cuja forma innitesimal e a mesma que aquelas considerads na secao
anterior. Em consequencia dessas transformacoes nas coordenadas, os campos tambem
sofrem transformacoes. Vamos considerar que estas possuem forma infnitesimal ex-
pressas da mesma maneira que aquelas considerads na secao anerior. Desta forma
teremos
S =
_
L(

(x

),

(x

), x

)d
4
x

_
L((x), (x), x

)d
4
x = 0. (2.14)
Haviamos dito, na secao anterior, que podemos calcular a expressao acima, fazendo
uso do Jacobiano. Nao chegamos `a fazer este calculo explicitamente. No entanto, para
os propositos desta secao, precisamos calcular explicitamente a expressao para S = 0
em termos do Jacobiano. Fazendo isso, obtemos [5]
S =
_
(L +L

)d
4
x = 0, (2.15)
onde
L =
L

+
L
(

)
(

) +
L
x

.
As duas expressoes anteriores fornecem
S =
_
d
4
x
_
L

+
L
(

() +

(Lx

)
_
= 0, (2.17)
onde usamos
(

) =

(). (2.18)
O segundo termo da equacao (2.17) pode ser reescrito da seguinte forma
L
(

() =

_
L
(

)
()
_

L
(

)
_
(). (2.19)
9
Fazendo uso do teorema de Gauss em 4 dimensoes para os termos que correspondem a
uma divergencia total, obtemos
4
S =
_
_
L

_
L
(

)
__
d
4
x +
_
_
L
(

)
+Lx

_
d

= 0. (2.20)
Reescrevendo em termos de na segunda integral, obtemos
S =
_
_
L

_
L
(

)
__
d
4
x +
_
_
L
(

)
(

) +Lx

_
d

= 0.
(2.21)
Se considerarmos que obedece `as equacoes de Euler-Lagrange, a primeira integral da
expressao acima devera ser nula. Sendo assim, a equacao (2.21) se reduz `a
_
_
L
(

)
(

) +Lx

_
d

= 0. (2.22)
Posto de uma outra maneira, temos
_

d
4
x = 0, (2.23)
onde
J

=
L
(

)
(

) +Lx

. (2.24)
Com isto, teremos

= 0. (2.25)
Esta equacao e uma equacao de continuidade, onde J

e o 4-vetor densidade de corrente


conservada. Pela equacao (2.25), temos
_

d
3
x = 0, (2.26)
ou equivalentemente,
_

0
J
0
d
3
x +
_
da.

J = 0.
A segunda integral representa o uxo do vetor

J na superfcie que delimita o volume
de integracao no espaco tridimensional. Ela e obtida fazendo-se uso do teorema do
4
A primeira integral e feita no volume do espaco-tempo, enquanto que a segunda e feita na hiper-
superfcie que limita esse volume.
10
divergente em 3 dimensoes. Uma vez que esta superfcie e arbitraria, podemos toma-la
sucientemente grande de maneira que os campos e suas derivadas se anulem nela.
Feito isto, obtemos
d
dt
_
J
0
d
3
x = 0. (2.28)
Apartir deste resultado, podemos concluir que a quantidade
Q =
_
J
0
d
3
x (2.29)
e conservada. Este resultado e essencialmente o teorema de Noether. Vamos enumcia-lo
da seguinte forma: Para cada transformacao de simetria existe uma quntidade asso-
ciada que e conservada. Esta quantidade, que e dada por Q, e obtida em termos
da lagrangiana e dos parametros infnitesimais das correspondentes transformac oes de
simetria. Consideremos agora certos casos de transformacoes de simetria.
Invariancia de translacao do espaco-tempo. A homogeneidade do espaco-tempo
faz com que tenhamos uma invariancia sob translacoes do espaco-tempo. Ou seja,
transformacoes do espaco-tempo do tipo
x

= x

, (2.30)
onde

e o parametro innitesimal da transformacao de translacao


5
. Os valores dos
campos no mesmo ponto do espaco-tempo nao podem mudar. Sendo assim, temos que
= 0. (2.31)
Substituindo estes valores para as variacoes de e x

na equacao (2.25), iremos obter

= 0, (2.32)
com o tensor energia-momento

dado por

=
L
(

L. (2.33)
5
Estas transformacoes de coordenadas correspondem a translacoes na origem do sistema de coor-
denadas. Portanto, os pontos designados pelas coordenadas x

e x

sao os mesmos.
11
As quantidades conservadas sao obtidas quando tomamos = 0 no tensor energia-
momento e integramos a quantidade correspondente no espaco. Estas quantidades sao
a energia (para = 0) e as componentes do momento linear (para = 1, 2, 3).
O tensor energia-momento, denido acima, em alguns casos pode nao ser simetrico. No
entanto, podemos obter uma nova quantidade T

simetrica a partir do tensor energia-


momento que fornece as mesmas quantidades conservadas que as fornecidas pelo tensor
energia-momento [5].
Referente a transformacoes nas coordenadas do espaco-tempo, temos tambem as trans-
formacoes de Lorentz
6
. Se impusermos que acao deve ser invariante sob essas tran-
formacoes, iremos obter um outro importante resultado, a conservacao do momento
angular.
Simetrias internas. Seja um caso geral em que temos N campos escalares reais inde-
pendentes
i
. Assim, vamos considerar uma transformacao no espaco de campos, cuja
forma innitesimal e dada por

r
(x)

r
(x) =
r
(x) +i
rs

s
(x), (2.34)
onde subentendemos que existe uma soma nos ndicies repitidos. Impondo que a acao
seja invariante sob essa transformacao, teremos
J

= i
L
(

r
)

rs

s
(x). (2.35)
Assim, a quantidade conservada associada a essa transformacao no espaco dos campos,
chamada de carga de Noether, e dada por
Q =
_
d
3
x
L
(
o

r
)

rs

s
(x). (2.36)
6
Essas transformacoes, por materem o produto escalar invariante, sao chamadas de transformacoes
de rotacao no espaco-tempo.
12
2.3 Quatizacao canonica do campo escalar real
Consideremos novamente a equacao de Klein-Gordon que e dada por
(

+m
2
) = 0, (2.37)
ou equivalentemente,

t
2

2
+m
2
= 0. (2.38)
A solucao para essa equacao pode ser dada em termos de uma integral de Fourier sobre
ondas planas da seguinte forma
(x, t) =
_
d
3

k
(2)
3
2
N

k
e
i

k.x
A

k
(t). (2.39)
Substituindo (2.39) em (2.38), obtemos
_
d
3

k
(2)
3
2
N

k
_
d
2
A

k
(t)
dt
2
+ (

k
2
+m
2
)A

k
(t)
_
= 0. (2.40)
Para que a equacao acima seja satisfeita, o termo entre os colchetes deve se anular para
todo

k. Ou seja,
_
d
2
A

k
(t)
dt
2
+ (

k
2
+m
2
)A

k
(t)
_
= 0. (2.41)
Assim, teremos
A

k
(t) = A

k
e
i

k
t
+A

k
e
i

k
t
, (2.42)
onde
2

k
=

k
2
+m
2
. Usando k

= kx =

k
t

k.x, teremos
(x) =
_
d
3

k
(2)
3
2
N

k
_
A

k
e
ikx
+A

k
e
ikx
_
. (2.43)
O fator de normalizacao N

k
e escolhido de modo que o elemento de volume do espaco
de fase seja um invariante de Lorentz e que atenda `a condicao da energia ser positiva
(k
0
> 0). O elemento de volume invariante dk e dado por
dk =
d
4
k
(2)
4
2(k
2
m
2
)(k
0
). (2.44)
13
Usando o fato de que k
2
m
2
= (k
0
)
2

k
2
m
2
= (k
0
)
2

k
, teremos
(k
2
m
2
) =
1
2

k
_
(k
0

k
) (k
0
+

k
)
_
. (2.45)
A segunda funcao delta de Dirac entre os colchetes da equacao acima pode ser dezprezada,
uma vez que sua contribuicao e sempre nula. Assim, teremos
d
4
k
(2)
4
2(k
2
m
2
)(k
0
) =
d
4
k
(2)
3
1
(2

k
)
(k
0

k
). (2.46)
Para obtermos N

k
fazemos
_
d
4
k
(2)
4
2(k
2
m
2
)(k
0
) =
_
d
3

k
(2)
3/2
N

k
, (2.47)
ou equivalentemente
_
d
4
k
(2)
3
1
(2

k
)
(k
0

k
) =
_
d
3

k
(2)
3/2
N

k
. (2.48)
Integrando em k
0
o lado esquerdo da equacao acima, obtemos
_
d
3

k
(2)
3
1
2

k
=
_
d
3
k
(2)
3/2
N

k
. (2.49)
Com isso, teremos
N

k
=
1
(2)
3/2
2

k
. (2.50)
Substituindo (2.50) em (2.43), temos
(x) =
_
d
3

k
(2)
3
2

k
_
A

k
e
ikx
+A

k
e
ikx
_
. (2.51)
Para o caso em que e real, temos que

= . Assim,
A

k
= A

k
. (2.52)
Substituindo (2.52) em (2.50), teremos
(x) =
_
d
3

k
(2)
3
2

k
_
A

k
e
ikx
+A

k
e
ikx
_
. (2.53)
Fazendo
A

k
= a(

k), (2.54)
14
obtemos
(x) =
_
d
3

k
(2)
3
2

k
_
a(

k)e
ikx
+a

k)e
ikx
_
. (2.55)
O momento canonicamente conjugado `a , que e denido por
=
L
(
0
)
, (2.56)
ca, entao, dado por
=
0
. (2.57)
Partiremos agora para a quantizacao do campo real e de seu momento canonicamente
conjugado . Na mecanica quantica, o vetor posicao x e o vetor momento linear p sao
transformados em operadores que agem em um espaco de estados, denominado espaco
de Hilbert. Esses operadores obedecem `as seguintes relacoes de comutacao:
[ x
i
, p
j
] = i
ij
, (2.58)
[ x
i
, x
j
] = [ p
i
, p
j
] = 0. (2.59)
O formalismo lagrangiano para o campo escalar nos mostra que tem um papel analogo
ao do vetor posicao x na mecanica classica, enquanto que tem um papel analogo ao do
vetor momento linear p. Assim, em analogia `a mecanica quantica, transformaremos e
em operadores que agem em um espaco de estados, denominado espaco de Fock. Esse
procedimento e feito com a transformacao dos coecientes a(

k) e a

k) em operadores.
Esses operadores serao denotados por a(

k) e a

k), onde a

k) e o conjugado hermitiano
de a(

k). Assim, teremos

(x) =
_
d
3

k
(2)
3
2

k
_
a(

k)e
ikx
+ a

k)e
ikx
_
(2.60)
e, consequentemente
(x) =
_
d
3

k
(2)
3
2

k
ik
0
_
a(k)e
ikx
a

(k)e
ikx
_
. (2.61)
Em analogia a (2.58) e (2.59), vamos impor que os operadores

e satisfacao `as
seguintes relacoes de comutacao a tempos iguais:
[

(t, x), (t, x

)] = i
3
(x x

), (2.62)
15
[

(t, x),

(t, x

)] = [ (t, x), (t, x

)] = 0. (2.63)
Se reescrevemos a(

k) e a

k) em termos de

(x) e (x), podemos mostrar que
[ a(

k), a

)] = (2)
3
2

3
(

), (2.64)
[ a(

k), a(

)] = [ a

k), a

)] = 0. (2.65)
Denamos o operador densidade de n umero

N(

k) como sendo

N(

k) = a

) a(

k). (2.66)
Sejam os autoestados do operador

N(

k) denotados por [n(

k)) e os autovalores corre-


spondentes por n(

k). Assim, temos

N(

k)[n(

k)) = n(

k)[n(

k)). (2.67)
Fazendo uso da denicao (2.66), obtemos
[

N(

k), a

k)] = a

k), (2.68)
[

N(

k), a(

k)] = a(k). (2.69)


Usando (2.68) e (2.69) obtemos

N[(

k) a

k)[n(

k))] = a

k)

N(

k)[n(

k)) + a

k)[n(

k))
= (n(

k) + 1)[ a

k)[n(

k))] (2.70)
e

N[(

k) a(

k)[n(

k))] = a(

k)

N(

k)[n(

k)) a
(

k)[n(

k))
= (n(

k) 1)[ a

k)[n(

k))]. (2.71)
Como podemos ver, o operador a

k) aumenta de uma unidade o autovalor de



N(

k),
enquanto que o operador a(

k) diminui esse mesmo autovalor de uma unidade. Assim,


conclumos que
a

k)[n(

k)) [n(

k) + 1) (2.72)
16
e
a(

k)[n(

k) [n(

k) 1). (2.73)
Mostraremos agora que n(

k) e um n umero inteiro nao negativo. Para isso, calculemos


a norma quadrada do estado a(

k)[n(

k)). Feito isso, obtemos


[ a(

k)[n(

k))]

[ a(

k)[n(

k))] = n(

k)n(

k)[n(

k)) 0. (2.74)
Uma vez que a norma de [n(

k)) e sempre nao negativa, temos que n(

k) e nao negativo.
Para evitar que os autovalores de

N(

k) se tornem negativos pela sucessiva aplicacao


de a(

k), denimos um estado fundamental [0), tal que


a(

k) [0) = 0. (2.75)
Assim, temos

N(

k) [0) = 0. (2.76)
Desta forma, partindo de um autovalor arbitrario n(

k) de

N(

k) chegamos a um au-
tovalor nulo pela reducao sucessiva deste autovalor de uma em uma unidade com a
aplicacao de a(

k). Isso nos faz concluir que n(

k) e inteiro.
Vamos calcular agora os operadores de energia e de momento linear para o campo de
Klein-Gordon. A energia classica do sistema, obtida do tensor energia-momento, e
dada por
H =
_
d
3
x
00
. (2.77)
O operador

H e obtido substituindo (2.60) em (2.77). Feito isso, teremos

H =
_
d
3

k
(2)
3
2k
0
k
0
_

N(

k) +
1
2
_
. (2.78)
De maneira analoga, utilizando as componentes
0i
do tensor energia-momento, pode-
mos mostrar que o operador de momento linear

P e dado por

P =
_
d
3

k
(2)
3
2k
0

k
_

N(

k) +
1
2
_
. (2.79)
17
As expressoes (2.78) e (2.79) juntamente com os resultados anteriores, nos levam `a
seguinte interpretacao: O campo corresponde a um conjunto de innitos osciladores
harmonicos simples. Nessa interpretacao, as excitacoes elementares do campo sao en-
tendidas como sendo as partculas, cuja quantidade e dada pelo autovalor do operador
densidade de n umero

N(

k). Cada n(

k) partculas possui momento linear dado por



k
e energia dada por k
0
=

k
. Quanto aos operadores a

k) e a(

k), entendemos que a


atuacao de a

k) cria uma patcula com momento



k e energia k
0
=

k
, enquanto que
a atuacao de a(

k) destroi uma partcula com momento



k e energia k
0
=

k
.
O estado de vacuo e denido como o estado onde nao ha excitacoes do campo, por-
tanto, partculas. Considerando a expressao (2.78), teremos que o autovalor de energia
correspondente a esse estado, a energia do vacuo, e obitido tomando os autovalores do
operador densidade de n umero nulos. Feito isso, iremos obter um valor innito para
a energia do vacuo. No entanto, esse problema e facilmente contornavel, uma vez que
o que importa sicamente nao sao valores absolutos de energia, mas sim diferencas.
Assim, podemos denir operador hamiltoniano renormalizado como sendo

=
_
d
3

k
(2)
3
2k
0
k
0

N(

k). (2.80)
Com isso, como podemos notar, o valor da energia do vacuo sera nulo. Assim, con-
tornamos o problema da divergencia. Podemos obter

H

atraves de um procedimento
chamado de ordenamento normal de Wick. Esse procedimento e tal que os operadores
a(

k) sao sempre mantidos `a direita dos operadores a

k). Esse procedimento e sim-


bolizado por : : . Logo, em termos da notacao de Wick teremos

=:

H :=
_
d
3

k
(2)
3
2k
0
k
0

N(

k). (2.81)
Existem casos em que o processo de renormalicao acima nao pode ser empregado e,
assim, nao podemos descartar a contribuicao da energia de ponto zero. Um exemplo e
o caso em que temos diferentes conguracoes de vacuo e queremos calcular a diferenca
de energia entre essas conguracoes. Veremos esse tipo de situacao quando estivermos
analisando o efeito Casimir.
18
2.4 Quantizacao canonica do campo escalar com-
plexo
Consideremos agora o caso em e complexo. Nesse caso, o operador nao e hermitiano,
ou seja

,=

. Sendo assim, diferentemente da expansao (2.60), teremos

(x) =
_
d
3

k
(2)
3
2

k
_
a(

k)e
ikx
+

k)e
ikx
_
(2.82)
e consequentemente

(x) =
_
d
3

k
(2)
3
2

k
_

b(

k)e
ikx
+ a

k)e
ikx
_
. (2.83)
Similarmente ao caso anterior, vamos impor as seguintes relacoes de comutacao a tem-
pos iguais
[

(x, t), (x

, t)] = [

(x, t),

(x

, t)] = i
3
(x x

), (2.84)
enquanto que todas as demais relacoes de comutacao envolvendo outras combinacoes
de campos sao tomadas como sendo nulas. De posse dessas relacoes, podemos mostrar
que as seguintes relacoes sao satisfeitas
[ a(

k), a

)] = (2)
3
2

3
(

) (2.85)
e
[

b(

k),

)] = (2)
3
2

3
(

). (2.86)
Quanto as relacoes de comutacao envolvendo as demais possveis combinacoes entre
a(

k), a(

k) e seus conjugados hermitianos, podemos mostrar que sao todas nulas. De-
namos agora os operadores densidade de n umero como sendo dados por

N
a
(

k) = a(

k) a

k) (2.87)
e

N
b
(

k) =

b(

k)

k). (2.88)
19
Consideremos que

N
a
(

k) e

N
b
(

k) agem em espacos distintos. Um pode ter como base


os autovetores de

N
a
(

k) e o outro os autovetores de

N
b
(

k). Podemos mostrar que os


autovalores desses operadores possuem as mesmas propriedades que o operador n umero
denido na secao anterior.
Queremos saber como interpretar os operadores a(

k),

b(

k) e seus conjugados hermi-


tianos. Para isso, consideremos a carga conservada e a energia desse campo. A carga
conservada do campo escalar complexo e obtida de (2.36) usando o fato de que a acao e
invariante sob transformacoes de fase global nos campos

e . A forma innitesimal
dessas transformacoes pode ser dada por

= i (2.89)
e

+i

. (2.90)
Essas transformacoes equivalem a tomarmos
11
=
22
= 1 e
12
=
21
= 0 em
(2.36). Fazendo isso, teremos que a carga conservada sera dada por
Q = i
_
d
3
x
_

t
_
. (2.91)
No ambito de uma teoria quantizada, a carga Q deve ser transformada em um operador
de carga, ou seja,

Q = i
_
d
3
x
_

t
_
. (2.92)
Substituindo (2.82) e (2.83) em (2.92) e fazendo o ordenamento normal para eliminar
o termo divergente, obtemos

Q =
_
d
3

k
(2)
3
2

k
[ a

k) a(

k)

k)

b(

k)]. (2.93)
Utilizando os resultados da secao anterior, podemos mostrar que o operador de energia,
com o uso do ordenamento normal, e dado por

H =
_
d
3

k
(2)
3
2

k
[ a

k) a(

k) +

k)

b(

k)]. (2.94)
20
Com o que zemos ate aqui, podemos concluir que o operador a

k) cria uma partcula


com momento

k, energia

k
e carga +1, enquanto que

b

k) cria uma partcula com o


mesmo momento a mesma energia e mesma massa, mas com carga de sinal oposto -1.
A partcula be chamada de antipartcula da partcula a.
2.5 Consideracoes nais
Nesse captulo, tratamos o campo escalar sob o ponto de vista do formalismo la-
grangiano. Em analogia `a mecanica classica, o campo (x, t) faz papel analogo ao
das coordenadas generalizadas. Ja o vetor posicao x faz papel analogo ao dos ndicies
discretos das coordenadas generalizadas. De posse desse formalismo, alem de obtermos
a equacao de movimento para , mostramos que a conservacao de certas quantidades,
como a energia e a carga eletrica, decorrem de propriedes de simetria.
Com a formulacao do formalismo lagrangiano para o campo , partimos para a quan-
tizac ao desse campo. Primeiramente, zemos a quantizacao do campo escalar real,
com a qual somos levados a uma interpretacao de partculas. Essas partculas, pelo
que foi visto, sao entendidas como sendo desprovidas de carga eletrica e de spin-0. Por
m, zemos a quantizacao do campo escalar complexo. Da mesma forma que no caso
do campo escalar real, somos levados a uma interpretacao de partculas. No entanto
essas partculas diferentemente das do caso anterior sao providas de carga eletrica.
Captulo 3
O Formalismo Lagrangiano para o
Campo Eletromagnetico
22
3.1 Introducao
Vimos que o campo escalar, tratatado no captulo anterior, quando quantizado, possui
uma interpretacao de partculas de spin-0. O campo eletromagnetico, como veremos,
tamben possui uma interpretacao de partculas, no entanto estas sao de com spin 1
e massa nula. Chamamos essas partculas de fotons. O campo eletromagnetico e um
exemplo de campo vetorial. As partculas descritas por esse campo sao chamadas de
bosons vetoriais. Pela teoria quantica de campos, os bosons sao interpretados como
partculas responsaveis por intermediar as interacoes entre as partculas de materia.
O foton, por exemplo, e um boson vetorial nao massivo responsavel por intermediar
a interacao eletromagnetica. Existem tambem bosons massivos. Neste captulo nos
concentraremos apenas no caso do campo eletromagnetico.
Na proxima secao, veremos que as equacoes que regem o fenomeno eletromagnetico, as
equacoes de Maxwell [6], podem ser escritas em um forma covariante sob transformacoes
de Lorentz. A partir dessa forma, deduziremos a equacao de movimento, que tambem
e covariante, para o potencial 4-vetor eletromagnetico A

. Subsequentemente, a partir
desta equacao de movimento, deduziremos o formalismo lagrangiano para a teoria
eletromagnetica. Por m, de posse desse formalismo, faremos a quantizacao do campo
A

.
3.2 As equacoes de Maxwell
As leis que regem o eletromagnetismo sao descritas pelas equacoes de Maxwell [6].
Estas equacoes sao as seguintes
1
:

E = , (3.1)

B = 0, (3.2)


E +

B
t
= 0, (3.3)
1
Onde usamos um sistema de unidades, tal que e
2
/4hc = = 137.
23

E
t
=

j. (3.4)
As equacoes (3.1) e (3.4) sao chamadas de equacoes inomogeneas, enquanto que (3.2)
e (3.3) de equacoes homogeneas de Maxwell.
Denamos o potencial 4-vetor A

como sendo
A

= (,

A), (3.5)
onde

A, o potencial vetor magnetico, e , o potencial escalar eletrico, sao tais que


A =

B (3.6)
e

E =


A
t
. (3.7)
Vamos denir agora o tensor eletromagnetico F

antisimetrico da seguinte forma


F

. (3.8)
Podemos notar que o lado direito de (3.8) fornece as componentes do membro direito
das equacoes (3.6) e (3.7). Dessa forma, identicamos as componentes de F

com as
componentes do campo eletrico e do campo magnetico. Assim, o que obtemos foi uma
forma covariante para as equacoes homogeneas. Podemos vericar tambem que

= J

, (3.9)
com
J

= (,

j). (3.10)
Essa equacao, por sua vez, e a forma covariante das equacoes inomogeneas de Maxwell.
Vamos agora obter a equacao de movimento para A

. Expressando a equacao (3.9) em


termos de A

, obtemos

= J

. (3.11)
24
Sabemos da teoria eletromagnetica que os campos eletrico e magnetico sao invariantes
quando efetuamos transformacoes de gauge nesses campos
2
. Ou seja, transformacoes
do tipo
A

= A

, (3.12)
onde e uma funcao escalar arbitraria. Assim, podemos obter A

a partir de A

, tal
que

= 0. (3.13)
Esse e o chamado gauge de Lorentz. Neste gauge, a equacao (3.11) ca dada por

= J

. (3.14)
3.3 Densidade de lagrangiana e quantidades con-
servadas
Pelo aplicacao do princpio variacional de Hamilton, de modo similar ao caso do campo
escalar, obtemos que a equacao de Euler-Lagrange para o campo A

, e dada por
L
A

_
L
(

)
_
= 0. (3.15)
Assim, tendo em vista a equacao (3.14), temos que a densidade de lagrangiana pode
ser dada por
L =
1
4
F

. (3.16)
Para que a acao seja invariante sob transformacoes do tipo (3.12), devemos impor que

= 0. (3.17)
Ou seja, para que a acao seja invariante de gauge, a carga eletrica deve ser conservada.
De posse da densidade de lagrangiana, podemos obter o tensor energia-momento. Pelo
2
Apenas os campos eletrico e magnetico sao sicamente relevantes. Consequentemente, as trans-
forma coes de gauge nao mudam o que e sicamente relevante.
25
que vimos no captulo anterior, considerando as componentes de A

como sendo campos


independentes, iremos obter

=
L
(

L. (3.18)
Substituindo (3.16) em (3.18), temos

=
1
4
g

+g

. (3.19)
Calculando a divergencia de

, obtemos

= (

)A

. (3.20)
Para que tenhamos quantidades conservadas, a divergencia de

deve ser nula. Ou


seja, o lado direito da equacao (3.20) deve ser nulo. No caso particular em que a
densidade de 4-corrente J

e nula, a energia e o momento sao conservados. No entanto,


se esse nao for o caso, nao podemos garantir que essas quantidades serao conservadas.
Essa violacao da conservacao da energia e do momento se deve ao fato de termos na
teoria uma dada funcao J

(x). Essa funcao e na verdade uma fonte externa. Em


um tratamento mais completo, como veremos em um captulo posterior, J

(x) e uma
funcao de outros campos que tambem contribuem para a energia e o momento de modo
que o lado direito de (3.20) se anula. Integrando os dois lados da equacao (3.20) no
espaco tridimensional em um volume arbitrariamente grande, obtemos
d
dt
_

0
d
3
x =
_
(

)A

d
3
x. (3.21)
Assim, a energia so sera conservada se J

for independente do tempo. Ja o momento


so sera conservado se J

for espacialmente independente.


O tensor energia-momento denido em (3.19) nao e invariante de gauge, e nem simetrico.
Quando aplicamos uma transformacao de gauge, obtemos um novo tensor

que e
dado por

(F

) J

. (3.22)
26
Podemos mostrar que, se adicionarmos ao tensor energia-momento uma quantidade do
tipo

, onde

e um tensor de rank 3 anti-simetrico nos dois primeiros ndicies,


nao modicaremos em nada as quantidades conservadas. Denamos, entao, um novo
tensor energia-momento, T

, como sendo
T

. (3.23)
Para

= F

, podemos vericar, com o uso da relacao (3.22), que


T

(F

) (3.24)
e invariante de gauge. Usando as equacoes de Maxwell, teremos
T

=
1
4
g

+F

+g

. (3.25)
Com isso, obtemos que a densidade de energia e a densidade de momento linear sao
dados, respectivamente, por
= T
00
=
1
2
(

E
2
+

B
2
)

j.

A (3.26)
e
p
i
= T
0i
= (

Ex

B)
i
J
0
A
i
. (3.27)
Com o uso do teorema de Noether podemos calcular tambem o momento angular para
o campo eletromagnetico.
3.4 Quantizacao canonica do campo eletromagnetico
no gauge de radiacao
Da secao anterior, sabemos que a equacao de movimento para o campo A

sem fontes
no gauge de Lorentz e dada por

= 0, (3.28)
27
onde

= 0. (3.29)
Notemos que, com a condicao (3.29), reduzimos o n umero de componentes indepen-
dentes de A

de 4 para 3. Aplicando a transformacao (3.12) em A

de forma que o
novo A

obtido tambem satisfaca `a condicao de Lorentz, obtemos

= 0. (3.30)
Se escolhermos tal que

t
= , (3.31)
teremos que

= 0 e .

= 0. Esse e o chamado gauge de radiacao ou gauge de


Coulomb. Notemos que, nesse gauge, temos que A

possui apenas duas componentes


independentes. Esse fato esta de acordo com o que e sicamente esperado para o campo
eletromagnetico.
Vamos partir agora para a quantizacao do campo eletromagnetico nesse gauge. Para
isto, vamos comecar, em analogia ao campo escalar, denindo o momento canonica-
mente conjugado `a A

como sendo

=
L

. (3.32)
Substituindo (3.16) em (3.32), obtemos

0
=
L


A
0
= 0 (3.33)
e

i
=
L


A
i
= E
i
(3.34)
Em analogia ao que foi feito para o campo escalar vamos transformar A

em um
operador que age no espaco de Fock e impor as seguintes relacoes de comutacao a
tempos iguais
3
.
[

A
i
(x, t),
j
(x

, t)] = [

A
i
(x, t),

E
j
(x

, t)] = i
ij

3
(x x

), (3.35)
3
Devemos lembrar que
i
e conjugado `a A
i
.
28
[

A
i
(x, t),

A
j
(x

, t)] = [
i
(x, t),
j
(x

, t)] = 0. (3.36)
A condicao (3.35) nao e consistente com o gauge de Coulomb. Para mostrar isso,
tomemos a divergencia desta relacao por ambos os lados. Feito isso, teremos
[

A, E
i
(x

, t)] = i
i

3
(x x

). (3.37)
No entanto, i
i

3
(xx

) e nao nulo. Assim, temos que modicar a relacao (3.35). Para


isto, vamos substituir
ij
por
ij
, um tensor de rank-2 simetrico. Feito isso, teremos
[

A
i
(x, t),

E
j
(x

, t)] = i
ij
1
(2)
3
_
d
3

ke
i

k.(xx

)
, (3.38)
onde expressamos
3
(x x

) na forma integral. Tomando a divergencia em ambos os


lados de (3.38), obtemos
[

.

A(x, t),

E
j
(x

, t)] = i
1
(2)
3
_
d
3

k(k
i

ij
)e
i

k.(xx

)
, (3.39)
onde adotamos a convencao da soma para ndicies repetidos. Para que a relacao acima
se anule, devemos ter
k
i

ij
= 0, (3.40)
para todo

k. Essa condicao e satisfeita se tomarmos
ij
=
ij

k
i
k
j
k
2
. Portanto, a
relac ao (3.38) ca dada por
[

A
i
(x, t),

E
j
(x

, t)] = i
1
(2)
3
_
d
3

k
_

ij

k
i
k
j
k
2
_
e
i

k.(xx

)
. (3.41)
Com a transformacao de A

em um operador, a equacao (3.11), no gauge de Coulomb,


se torna

A = 0. (3.42)
Notemos que essa equacao possui a mesma forma que a equacao de Klein-Gordon com
o termo de massa nulo. Assim, a solucao para essa equacao pode ser dada por

A(x) =
_
d
3

k
(2)
3
2

k
2

=1

()
(

k)[ a
()
(

k)e
ikx
+ a
()
(

k)e
ikx
], (3.43)
29
onde k
2
= 0,

k
= k
0
=

k
2
e
()
(

k) sao vetores denominados vetores de polar-


izacao. Com o uso de (3.43) podemos mostrar que o operador campo eletrico e campo
magnetico cam dados, respectivamente, por

E(x) =
_
d
3

k
(2)
3
2

k
2

=1
i

()
(

k)
_
a
()
(

k)e
ikx
a
()
(

k)e
ikx
_
(3.44)
e

B(x) =
_
d
3

k
(2)
3
2

k
2

=1
i

k
()
(

k)
_
a
()
(

k)e
ikx
a
()
(

k)e
ikx
_
. (3.45)
Aplicando a condicao

.

A = 0 em (3.43), obtemos

k.
()
(

k) = 0. (3.46)
Assim,
()
(k) sera perpendicular `a

k, para todo

k. Obviamente, podemos tomar os
vetores
(1)
(

k) e

()
(2)
(

k) como sendo ortonormais.


Se expressarmos a
()
(

k) e a
()
(

k) em termos de

A(x) e
i
(x), podemos mostra que
[ a
()
(

k), a
(

)
(

)] = 2

k
(2)
3


3
(

), (3.47)
[ a
()
(

k), a
(

)
(

)] = [ a
()
(

k), a
(

)
(

)] = 0. (3.48)
Denindo o operador densidade de n umero com sendo

N
()
(

k) = a
()
(

k) a
()
(

k) e cal-
culando os operadores de energia e de momento, como faremos a seguir, somos levados
a interpretar os operadores que satisfazem `a relacao (3.48) como sendo operadores de
criac ao e aniquilacao de fotons. O operador de energia, obtido com o uso da com-
ponemte T
00
do tensor energia momento, e dado por

H =
1
2
(

E
2
+

B
2
). (3.49)
Substituindo (3.44) e (3.45) em (3.49), obtemos, com o uso do ordenamento normal,

H =
2

=1
_
d
3

k
(2)
3
2

N
()
(

k). (3.50)
Analogamente, obtemos, com o uso da componente T
0i
do tensor energia momento,
que o operador de momento linear e dado por

P =
2

=1
_
d
3

k
(2)
3
2

k

N
()
(

k). (3.51)
30
Os resultados (3.50) e (3.51) nos fornecem a energia (positiva denida) e o momento
linear de um conjunto de fotons com polarizacao transversa ( = 1, 2). Os calculos efe-
tuados nesse gauge fornecem resultados que sao relativsticamente invariantes, como,
por exemplo, a seccao de choque transversal. No entanto, essa invariancia nao e man-
ifesta neste gauge, uma vez que as condicoes = 0 e

.

A = 0 nao sao invariantes


de Lorentz. Para resultados mais abrangentes, partiremos para uma quantizacao, cujo
gauge e invariante de Lorentz.
3.5 Quantizacao canonica do campo eletromagnetico
no gauge de Lorentz
A m de mantermos a covariancia relativstica, vamos manter todas as componentes
de

A

, e impor as seguintes relacoes de comutacao:


[

A

(x, t),

(x

, t)] = ig

3
(x

x), (3.52)
[

A

(x, t),

A

(x

, t)] = [

(x, t),

(x

, t)] = 0. (3.53)
Com o uso da densidade de lagrangiana (3.16), obtemos

0
= 0. (3.54)
Assim,
0
nao satisfaz a relacao (3.52) para A
0
. Para sanar esse problema, adicionamos
um novo termo `a lagrangiana. Este novo termo deve ser tal que forneca um valor nao
nulo para
0
e nao modique as equacoes de Maxwell. Se a modicacao na densidade
de lagrangiana for tal que forneca uma nova lagrangiana dada por
4
,
L =
1
4
F

1
2
(

)
2
, (3.55)
teremos

= 0. (3.56)
4
O termo extra
1
2
(

)
2
e chamdo de termo de xacao de gauge.
31
Ou seja, reobtemos as equacoes de Maxwell no gauge de Lorentz. Calculando
0
para
(3.55), vamos obter

0
=

. (3.57)
O fato de

= 0 nao implica em

= 0. No entanto, vamos impor que o valor


esperado de

seja nulo para um estado [). Ou seja,


[

[) = 0. (3.58)
A solucao para a equacao (3.56) pode ser dada por

(x) =
_
d
3

k
(2)
3
2

k
3

=0

()

(k)[ a
()
(

k)e
ikx
+ a
()
(

k)e
ikx
]. (3.59)
Os 4-vetores
()

(k), com
(0)

(k) do tipo tempo e os demais do tipo espaco, sao tomados


como sendo ortonormais. Ou seja,

()

(k).
(

)
(k) = g

. (3.60)
Assim, para um vetor de onda cuja direcao, em um dado referencial, e a mesma que a
de
(3)

, teremos
k

.
(=1,2)

= 0. (3.61)
Antecipando a interpretacao de partculas, temos que os fotons com polarizacao
(0)

k)
sao chamados de fotons do tipo tempo, os com polarizacao
(3)

(k) longitudinais e os
com polarizacao
(1)

k) e
(2)

k) transversais
5
.
Vamos obter agora as relacoes de comutacao entre os operadores a
()
(

k) e a
()
(

k).
Para isto, calculemos primeiramente o operador

. Com o uso de (3.55), temos



0
=

A
0
+.

A, (3.62)

i
=
i

A
0

A
i
(3.63)
Substituindo (3.62) e (3.63) em (3.52), teremos
[

(x, t),

A

(

x

, t)] = ig

3
(x x

).(3.64)
5
Os fotons longitudinais e escalar sao nao fsicos.
32
Se expressarmos a
()
(

k) e a
()
(

k) em termos de

A

(x), podemos mostrar, com o uso


de (3.64), que
[ a
()
(

k), a
(

)
(

)] = g

k
(2)
3

3
(

), (3.65)
[ a
()
(

k), a
(

)
(

)] = [ a
()
(

k), a
(

)
(

k)] = 0. (3.66)
Com isso, para = 1, 2, 3, interpretamos os operadores a
()
(

k) e a
()
(

k) como sendo
operadores de criacao e aniquilacao de fotons transversais e longitudinais. Contudo,
para = 0, teremos
[ a
(0)
(

k), a
(0)
(

)] = 2

k
(2)
3

3
(

), (3.67)
que por ser negativo, acarreta problemas. Um deles esta relacionado com a norma do
vetor de estado de um foton escalar, que e dada por
_
1

k,=0
[1

k,=0
_
= 0[0) . (3.68)
Esse resultado constitui um problema, pois obtemos uma norma negativa. Nos de-
paramos com um outro problema ao considerarmos a energia. Utilizando um proced-
imento analogo ao da secao anterior, obteremos que o operador de energia sera dado
por

H =
_
d
3

k
(2)
3
2

k
_
3

=1
a
()
(

k) a
()
(

k) a
(0)
(

k) a
(0)
(

k)
_
. (3.69)
O operador densidade de n umero para os fotons escalares nao e dado por a
(0)
(

k) a
(0)
(

k),
mas sim por a
(0)
(

k) a
(0)
(

k). A prova disso e obtida, como podemos fazer, quando


demonstramos que

N [n) = n[n), onde [n) e o vetor de estado de n fotons escalares e

N a intergral normalizada no espaco dos momentos do operador densidade de n umero


para os fotons escalares. Assim, os autovalores de energia serao positivos. No entanto,
o calculo do valor esperado de

H pode fornecer valores de energia negativos. Problemas
similares sao encontrados quando calculamos os demais observaveis.
Os problemas mencionados acima sao, na verdade, decorrentes do fato de a teoria
carecer de um ingrediente. O fato de termos uma aparente contribuicao de fotons
33
escalares e longitudinais e sicamente incoerente com o fato de que somente fotons
transversais sao observaveis. Esses problemas podem ser sanados, como veremos a
seguir, se levarmos em conta o gauge de Lorentz. Como vimos anteriormente, nao
podemos tratar o gauge de Lorentz como uma identidade de operadores. Ao inves
disso, nos a usaremos como condicao para os vetores de estado. Nos impomos que
somente serao aceitos vetores de estado para os quais o valor esperado da condicao de
Lorentz for satisfeito, ou seja
[

(x) [) = 0. (3.70)
Para analisarmos essa condicao, vamos dividir o operador

A

(x) em duas partes. Uma


correspondente a frequencias positivas, e denotado por

A
(+)
(x), e a outra a frequencias
negativas, e denotada por

A
()
(x), de forma que

(x) =

A
(+)
(x) +

A
()
(x). (3.71)
Com essa divisao, ca claro que

(x) [) , = 0. Entretanto, podemos impor


A
(+)
(x) [) = 0. (3.72)
Tomando o conjugado hermitiano da equacao acima, obtemos
0[


A
()
(x) = 0. (3.73)
Assim, a condicao (3.70) ca garantida, uma vez que
[

(x) [) = [


A
(+)
(x) [) +[


A
()
(x) [) = 0. (3.74)
A teoria eletromagnetica quantizada descrita em um espaco de Hilbert com metrica
indenida e com a condicao (3.72) foi primeiramente formulada por S.Gupta e K.Bleur
[11, 12]. Nao abordaremos os pormenores matematicos desse formalismo, contudo
iremos mostrar a seguir um de seus aspectos principais, o relacionado com o calculo da
34
energia.
Substituindo (3.59) em (3.72), teremos
3

=0
k

()

a
()
(

k) [) = 0, (3.75)
que com o uso de (3.61) se torna
[k

(0)

a
(0)
(

k) +k

(3)

a
(3)
(

k)] [) = 0. (3.76)
Usando o fato de que k

(3)

= k

(0)

, teremos
[ a
(0)
(

k) a
(3)
(

k)] [) = 0, (3.77)
que, por sua vez, fornece
[ a
(0)
(

k) a
(0)
(

k)[) = [ a
(3)
(

k) a
(3)
(

k)[). (3.78)
Portanto, a contribuicao dos fotons escalares e longitudinais se cancelam mutuamente.
Apenas os fotons transversais contribuem. Dessa forma, nao so os autovalores de en-
ergia serao positivos, mas tambem o valor esperado da energia. Tambem podemos
mostrar, com o uso desse formalismo, que os problemas relacionados aos demais ob-
servaveis, assim como no caso da energia, sao sanados e que a norma de todos os
estados sao positivas. Assim, os problemas relacinados ao fato de termos utilizado
um formalismo covariante na teoria, podem ser superados com o uso da condicao de
Lorentz. Para os leitores interessados em maiores detalhes relacionados ao formalismo
de Gupta-bleuler, sugerimos as seguintes referencias [7, 8, 9, 11, 12, 13]
3.6 Consideracoes nais
No incio desse captulo, vimos que as equacoes que regem o fenomeno eletromagnetico,
as equacoes de Maxwell, podem ser reescritas de uma forma relativisticamente covari-
ante. Essas equacoes sao escritas em termos de um tensor antisimetrico, denominado
35
tensor eletromagnetico, e denotado por F

, cujas componentes sao as componentes do


campo eletrico e magnetico. De posse das equacoes de Maxwell escritas dessa forma, de-
senvolvemos um formalismo lagrangiano para o campo eletromagnetico, onde o campo,
a variavel dinamica, e tomado como sendo o campo 4-vetorial eletromagnetico A

.
Apos descrever o aspecto classico da teoria eletromagnetica, zemos a quantizacao de
A

em dois tipos de gauge. No primeiro, o gauge de Coulomb, temos a vantagem


que apenas as componentes fsicas de A

aparecem. A teoria quantizada nesse gauge,


assim como no caso do campo escalar, fornece um interpretacao de patculas, chamadas
fotons. Contrariamente aos resultados mensuraveis que podem ser obitidos nesse gauge,
vimos que a teoria nao e manifestamente covariamte. Feita a quantizacao nesse gauge,
partimos para a quantizacao no gauge de Lorentz. Nesse caso, a covariancia da teo-
ria e garantida, entretanto tivemos a desvantagem de termos que considerar todas as
componentes de A

. Isso nos levou a obtermos resultados aparentemente incoerentes.


Contudo, como foi visto, essas aparentes incoerencias podem ser removidas com o uso
de um ingrediente adicional, a condicao de Lorentz sob a forma de uma condic ao de
valor esperado.
Captulo 4
O Efeito Casimir
37
4.1 Introducao
Consideremos um experimento constitudo de duas placas quadradas, planas, parale-
las, perfeitamente condutoras e neutras, separadas paralelamente por uma distancia da
ordem de micrometros. Nesse experimento, as placas estao situadas em uma c amara
onde e feito um vacuo perfeito. Podemos dizer que, em uma situacao desse tipo, as
forcas eletricas entre as placas sao nulas e que a forca de atracao gravitacional e com-
pletamente desprezvel. Nesse aparato e colocado um medidor de forca entre as placas
muito sensvel. Esperamos que, para uma situacao desse tipo, o medidor de forca nao
acuse forca alguma entre as placas. Contudo, experimentos desta natureza mostram
que, contrariamente ao esperado, o medidor de forca indica uma forca de atracao entre
as placas. Este efeito e chamado de efeito Casimir, e foi previsto teoricamente pelo
fsico holandes Hendrik Brugt Gerhard Casimir em 1948 [16]. Em seus calculos, o
modulo da forca de atracao entre o arranjo de placas descrito anteriormente e dado por
F = A

2
hc
240a
4
, (4.1)
onde A e area de cada placa e a e a separacao entre as placas.
Explicamos esse fenomeno recorrendo ao conceito, utilizado na teoria quantica de cam-
pos, de energia de ponto zero (ZPE). Valendo-se desse conceito, iremos introduzir na
proxima secao o conceito de energia de Casimir. Subsequentemente, iremos calcular a
energia de Casimir para o campo escalar real submetido a condicoes de contorno de
Dirichlet homogeneas, utilizando o metodo da soma das ZPE. Por m, nalizaremos o
captulo frisando importantes aspectos desse fenomeno.
4.2 A ZPE e a Energia de Casimir
Vimos que o campo eletromagnetico, quando quantizado, pode ser tratado como uma
colec ao de innitos OHS quanticos, cujas exitacoes elementares sao interpretadas com
fotons. A energia de um O.H.S. quantico de frequencia e dada por
38
E
n,
=
_
n +
1
2
_
h, (4.2)
onde n e um n umero inteiro. A energia de ponto zero (ZPE), denotada por E
0
, e dada
por
E
0,
=
1
2
h. (4.3)
Como podemos ver, diferentemente da energia de um OHS classico, este valor e difer-
ente de zero
1
. A energia do vacuo E
0
e dada pela soma das ZPE correspondentes a
todas as possveis freqencias do campo eletrmagnetico.
Se exigirmos que o campo eletromagnetico satisfaca a certas condicoes de contorno,
como por exemplo, quando o campo e connado entre duas placas condutoras parale-
las, o espectro de frequencias so podera assumir determinados valores. O efeito Casimir
resulta da imposicao de condicoes de contorno ao vacuo do campo eletromagnetico e e
decorrente da existencia da energia de ponto zero.
Quando calculamos a energia do vacuo, a soma das ZPE, para o campo connado
entre as placas, obtemos surpreendentemente um valor innito, ou seja, mal denido,
desprovido de signicado sico
2
. A divergencia da energia do vacuo e somente uma,
dentre muitas outras divergencias com as quais nos deparamos na teoria quantica de
campos. O problema das divergencias dessas quantidades, a princpio mal denidas e
sanado atraves do processo de renormalizacao [1, 2]. A renormalizacao e constituida de
tres etapas [17]. A primeira, chamada de regularizacao, consiste em denirmos a quan-
tidade mal denida Q como sendo funcao de um parametro . Ou seja, Q = Q(). O
parametro , chamdo de parametro regularizador, e tal que, para ,=
0
, a quantidade
Q() e bem denida e, para
0
, Q() Q. A segunda etapa consiste em subtrair
1
Com o uso do ordenamento normal, visto nos capitulos anteriores, podemos obter um valor nulo
para a ZPE. No entanto, isso nao pode ser empregado quando sao aplicadas condicoes de contorno.
2
O mesmo ocorrre quando caculamos a soma das ZPE para o campo sem condicoes de contorno.
Contudo, como vimos, podemos nesse caso utilizar o ordenamento normal e assim obtermos um valor
nulo para a energia do vacuo.
39
de Q() uma quantidade esp uria Q
esp
(), que e bem denida pela regularizacao. A
terceira etapa consiste em tomarmos o limite
0
. O valor obtido com esses tres
processos e chamado de valor renormalizado de Q. Atribumos a esse valor signicado
sico. A energia de Casimir renornalizada e dada formalmente por
E
casimir
= lim

0
[E
ccc
0
() E
scc
0
()] , (4.4)
onde E
ccc
0
e a soma das ZPE para o campo submetido a condicoes de contorno e E
scc
0
e a soma das ZPE para o campo sem condicoes de contorno, no caso a nossa grandeza
esp uria.
Para termos uma certa compreensao de como e feito o calculo da energia de Casimir
e como aparecem as divergencias relativas a este calculo, vamos calcular, via soma das
ZPE, esta energia para o caso de um campo escalar real submetido a condicoes de
contorno de Dirichlet homogeneas.
Seja um campo escalar real (r, t) nao massivo em 3 + 1 dimensoes. Vamos exigir
que este campo satisfaca a condicoes de contorno de Dirichlet homogeneas sobre duas
superfcies planas, paralelas e perpendiculares `a direcao z. A equacao de movimeto
para esse campo e dada por

2
+

2

t
2
= 0. (4.5)
Para resolvermos a equacao acima vamos considerar solucoes que sejam do tipo
(r, t) = (r)(t). (4.6)
Substituindo (4.6) na equacao de movimento (4.5), teremos
1

d
2

dt
2
=
1

2
. (4.7)
O membro esquerdo da equacao acima depende exclusivamente de t, enquanto que o
membro direito depende exclusivamente de r. Essa relacao e verdadeira para todo r e
t, portanto cada um desses membros deve ser igual `a uma constante, isto e
1

d
2

dt
2
= k
2
(4.8)
40
e
1

2
= k
2
. (4.9)
A condicao de contorno aqui considerada obriga que as solucoes sejam oscilatorias.
Para isso, devemos impor que a constante k seja real. Feita esta consideracao, teremos
que a solucao para sera dada por
(t) = Aexp(ikt) +Bexp(ikt). (4.10)
Impondo as condicoes de contorno, teremos
(r, t) [
z=0
= (r, t) [
z=a
= 0. (4.11)
Das equacoes (4.11) e (4.6), conclumos que devemos nos concentrar apenas na parte
espacial de (r, t), dada pela equacao (4.9). Essa pode ser reescrita como

2
+k
2
= 0. (4.12)
Para encontrarmos (r) empregamos novamente o metodo de separacao de vari aveis,
onde rescrevemos (r) da seguinte forma
(r) = X(x)Y (y)Z(z). (4.13)
Substituindo (4.13) na equacao (4.12), obtemos para Z(z) o seguinte
Z = Aexp(ik
z
z) +Bexp(ik
z
z), (4.14)
onde k
z
e a componente z de

k. Pelas condicoes de contorno de Dirichlet, temos que
Z(z = 0) = Z(z = a) = 0. Essas imposicoes fazem com que Z(z) seja
Z(z) = 2iAsin(k
z
z), (4.15)
com k
z
dado por
k
z
=
n
a
. (4.16)
41
As outras componentes de

k podem assumir qualquer valor em um espectro contnuo.
Considerando o hamiltoniano do campo escalar, temos que a energia do vacuo com o
campo submetido a condicoes de contorno de Dirichlet homogeneas e dada por
E
ccc
0
=
h
2

N=1
_

d
2
k
(2)
2
_
k
2
+
N
2

2
a
2
_1
2
A, (4.17)
onde A e a area das superfcies, a qual tomaremos o limite A . Podemos notar que
a expressao acima e divergente. Por isso, devemos fazer uso de uma tecnica de regu-
larizacao. Utilizaremos aqui o metodo de regularizacao da funcao zeta generalizada. A
funcao zeta generalizada associada a um operador real, elptico e auto-adjunto A =
A

2
e denida por
(s) =

n
_

2
_
s
, (4.18)
onde
n
sao os autovalores do operador A

e s C. O parametro
2
e usado para
garantir que a funcao zeta generalizada seja admensional para todo s.

E possvel
mostrar que a somatoria em (4.18) converge para '(s) > d/p, onde d e a dimensao da
variedade espaco-temporal e p e a ordem do operador. Denamos agora uma funcao
zeta associada ao operador hamiltoniano, cujas auto-energias sao as ZPE, da seguinte
forma

_
s
1
2
_
=
h
2

N=1
_

d
2
k
(2)
2
_
_
k
2
+
N
2

2
a
2

2
_
_
1
2
s
A. (4.19)
Como podemos ver, equacao (4.17) e obtida pelo limite de (4.19) quando s 0 mul-
tiplicado por . Para Calcularmos a integral em (4.19), vamos fazer uso da seguinte
relacao ( Veja Apendice A ):
_

_
k
2
+A
2
_
s
d
m
k =
m
2
(s
m
2
)
(s)
(A
2
)
m
2
s
, para A
2
> 0. (4.20)
Fazendo as devidas substituicoes para A
2
, k
2
, m e s, iremos obter

_
s
1
2
_
=
A
2
4
_

a
_
32s
(s
3
2
)
(s
1
2
)

N=1
(N)
32s
. (4.21)
A funcao zeta de Riemann e denida como

R
(s) =

N=1
(N)
s
, para 'e(s) > 1. (4.22)
42
Com isso, podemos reescrever (4.21) da seguinte forma

_
s
1
2
_
=
A
2
4
_

a
_
32s
(s
3
2
)
(s
1
2
)

R
(2s 3). (4.23)
Quando tomamos o limite s 0 em (4.23), obtemos que a funcao zeta de Reimann
tende a
R
(3). Assim, nao podemos calcula-la usando a denicao (4.22). Nesse caso,
devemos usar a formula de reexao da funcao zeta de Riemann, que e dada por

z
2

_
z
2
_

R
(z) =
z1
2

_
1 z
2
_

R
(1 z). (4.24)
Fazendo uso dessa formula, obtemos para s 0 o seguinte
3

1
2
_
=
A
4
3
2
a
3

(2)
(
1
2
)

R
(4), (4.25)
que pode ser reescrito como sendo

1
2
_
=
L
2

2
720a
3

. (4.26)
Assim, teremos
E
ccc
0
=
h
2
A
1440a
3
. (4.27)
Como podemos ver, a continuacao analtica da funcao zeta de fornece a prescricao para
o calculo da energia de Casimir sem a necessidade de subtracao de polos. Assim, a
energia de Casimir e dada por
E
Casimir
=
h
2
A
1440a
3
. (4.28)
A energia de Casimir por unidade de area e
E
Casimir/ua.
=
h
2
1440a
3
. (4.29)
A forca de Casimir por unidade de area, chamada de pressao de Casimir, e, entao, dada
por
P
Casimir
=
E
Casimir/ua.
a
. (4.30)
3
A formula da reexao e o que fornece a continuacao analtica necessaria para calcularmos (
1
2
).
43
Ou seja,
P
Casimir
=
h
2
480a
4
. (4.31)
Como podemos ver esse valor corresponde `a metade daquele obtido para o caso do
campo eletromagnetico. Isso se deve ao fato de que o campo eletrmagnetico pos-
sui duas componentes independentes sicamente relevantes, que sao as componentes
transversais.
4.3 Consideracoes nais
O exemplo do qual tratamos na secao anterior e apenas um dentre outros varios.
Poderamos ter considerado outros campos, outras condicoes de contorno e ate mesmo
outros metodos de calculo da energia de Casimir. No entanto, por simplicidade, nos
atemos apenas a um caso simples, com o qual ganhamos alguma nocao de como as
divergencias surgem no calculo dessa energia.
O efeito Casimir e, em princpio, entendido como sendo o resultado de uma alteracao
do v acuo do campo eletromagnetico connado entre duas placas paralelas e planas.
Contudo, esse efeito pode ser generalizado para outros casos. Podemos, por exemplo,
considerar um campo eletromagnetico connado entre placas cilindricas ou esfericas.
Mesmo nesses casos, teremos uma alteracao do vacuo do campo eletromagnetico e,
assim, a manifestacao de forcas entre as placas. Outro caso mais interessante e o caso
em que consideramos outros campos alem do eletromagnetico. Entretanto, a forca
de Casimir para conguracoes de connamemto macroscopicas dos campos deve-se
somemte ao campo eletromagnetico.
Ao considerarmos o connamento dos quarks, somos levados a crer que o efeito Casimir
desempenha um imporante papel nesse connamento. Nesse caso, os calculos relativos
ao efeito Casimir devem ser feitos nao mais consideramdo um modelo de placas par-
alelas, mas sim um modelo de uma superfcie esferica [14] que conna os campos que
descrevem os quarks e os gl uons. O primeiro modelo teorico para explicar o conna-
44
mento que teve como um de seus ingrdientes a energia de Casimir, foi o modelo da
sacola [15].
Em resumo, podemos dizer que o que abordamos nesse captulo foi apenas uma parte
muito pequena do assunto que envolve o efeito Casimir. No entanto, com o que
zemos ate aqui, foi possvel ter uma certa nocao a respeito desse fenomeno intrig-
ante. Para uma compreensao mais detalhdada recomendamos as seguintes referencias
[18, 19, 20, 21].
Captulo 5
Eletrodinamica Escalar
46
5.1 Introducao
A eletrodinamica escalar e a teoria que descreve a interacao entre partculas carregadas
de spin-0, descritas pelo campo escalar complexo, e os fotons, descritos pelo campo
eletromagnetico. Nos captulos anteriores, descrevemos separamente o campo escalar
e o campo vetorial eletromagnetico. No entanto, na teoria de campos, esses campos
estao relacionadas por propriedades de simetria.
As propriedades de simetria parecem jogar um importante papel na fsica. Na teoria
de campos, as interacoes fundamentais aparecem como consequencia de propriedades
de simetria. Na verdade, para cada tipo de interacao, existe um grupo de simetria
associado. A existencia de quantidades conservadas e outro exemplo da consequencia
de propriedades de simetria.
O grupo de simetria associado `a interacao eletromagnetica entre as partculas de spin-0
e o grupo U(1) ou SO(2)
1
. Partindo de uma teoria para um campo escalar complexo,
mostraremos que o eletromagnetismo surge como uma consequencia da imposicao de in-
variancia da teoria sob transformacoes de gauge. Obteremos no nal uma densidade de
lagrangiana que depende do campo escalar complexo e do campo eletromagnetico. Essa
densidade de lagrangiana sera interpretada como sendo a de uma teoria, que descreve
partculas de spin-0 que interagem eletricamnete, que denominamos eletrodin amica
escalar.
5.2 Invariancia de gauge
Seja um campo escalar complexo dado por
= (
1
+i
2
)/

2, (5.1)
1
Isso se deve ao fato de que esses grupos sao isomorcos.
47
onde
1
e
2
sao campos reais. Denindo a densidade de lagrangiana como sendo
2
L = (

)(

) m
2

, (5.2)
obtemos, com o uso das equacoes de Euler-Lagrange, as seguintes equacoes:
3
(

+m
2
) = 0 (5.3)
e
(

+m
2
)

= 0. (5.4)
Notemos que a lagrangiana e invariante sob transformacoes nos campos do tipo
e
i
(5.5)
e

e
i

, (5.6)
onde e um parametro real constante. Essas sao as chamadas transformacoes de gauge
do primeiro tipo. A forma innitesimal dessas trasnformacoes sao as seguintes
= i (5.7)
e

= i

. (5.8)
Considerando a equacao (2.35), vamos obter que a densidade de corrente conservada
associada `as transformacoes (5.5) e (5.6) e dada por
J

=
L
(

)
(i) +
L
(

)
(i

). (5.9)
Com o uso das equacoes (5.3) e (5.4), podemos mostrar facilmente que

= 0. (5.10)
2
Notemos que com esta denicao a acao e real.
3
Consideramos e

como sendo campos independentes.


48
Se expressarmos os campos e

em termos de suas componetes


1
e
2
, poderemos
reescrever (5.2) da seguinte maneira
L = (

).(

) m
2

, (5.11)
onde

e um vetor em um espaco bidimensional, com bases ortonormais

i e

j e compo-
nentes reais
1
e
2
. Podemos mostrar que a transformacao (5.5) e equivalente a uma
rotacao do vetor

de um angulo no plano denido por

i e

j. As transformacoes (5.5)
sao representacoes de U(1), enquanto que as rotacoes do vetor

sao representac oes de
SO(2).
A quantidade conservada adivinda de (5.10) foi obtida da transformacao (5.5). Nessa
transformacao o parametro e tomado como sendo constante. Assim, cada vetor

,
denido em cada ponto do espaco, sofrera a mesma rotacao em um mesmo instante
de tempo. Entretanto, isso e incoerente com a teoria da relatividade
4
. Para ser-
mos relativisticamente coerentes devemos, entao, tomar como sendo uma funcao
do espaco-tempo, isto e, = (x

). A transformacao correspondente e chamada de


transformacao de gauge do segundo tipo. Para << 1 (transformacoes innitesimais),
teremos
= i (5.12)
e

= i

. (5.13)
Consequentemente, teremos
(

) = i(

) i(

) (5.14)
e
(

) = i(

) +i(

. (5.15)
4
De acordo com a teoria da relatividade, a velocidade maxima de propagacao de um sinal de um
ponto a outro do espaco e a velocidade da luz.
49
O fato de agora nao ser constante faz com que a lagrangiana (5.2) nao seja invariante.
A variacao na lagrangiana e dada por
L =
L

+
L
(

)
(

) +
L

+
L
(

)
(

). (5.16)
Substituindo (7.7), (7.8), (5.14) e (5.15) em (5.16), e fazendo uso das equac oes de
Euler-Lagrange, obtemos
L = i

_
L
(

L
(

_
+i(

)
_
L
(

L
(

_
. (5.17)
Com o uso das equacoes (5.3) e (5.4), podemos mostrar que a divergencia do termo
entre colchetes na equacao (5.17) se anula. Assim, teremos
L = i

). (5.18)
Usando a equacao (5.9), obtemos
L = J

. (5.19)
Com esse resultado conclumos que a lagrangiana nao e invariante sob transformacoes
de gauge do segundo tipo.
A m de obtermos uma lagrangiana que seja invariante sob transformacoes de gauge do
segundo tipo, vamos adicioanar novos termos `a L de maneira que a nova lagrangiana
assim obtida, que denotaremos por L
n
, seja invariante, ou seja, L
n
= 0.
Seja A

um campo vetorial que se acopla minimamente com J

e , e que fornece um
termo extra na lagrangiana dado por
L

= eJ

+e
2
A

, (5.20)
onde e e uma constante de acoplamento
5
. Vamos exigir que A

, sob transformacoes de
gauge se transforme da seguinte maneira
A

+
1
e

. (5.21)
5
A constante e e denida de maneira que eA

tenha a mesma dimensao de



x

.
50
Podemos mostrar que a nova lagrangiana denida por
L
n
= L +L

, (5.22)
e invariante sob transformacoes de gauge do segundo tipo, ou seja L
n
= 0. A obtencao
de uma lagrangiana invariante de gauge foi possvel com a introdacao de um novo
campo A

na teoria. Assim, e razoavel supor que a lagrangiana da teoria deva possuir


uma contribuicao de um termo que dependa exclusivamente de A

. Esse termo, que


chamaremos de L

, adicionado a L
n
deve fornecer uma outra lagrangiana, L
final
, que
tambem seja invariante. Podemos vericar que o tensor F

denido por
F

(5.23)
e invariante sob transformacoes de gauge do segundo tipo . Assim, podemos denir L

como sendo
L

=
1
4
F

. (5.24)
A lagrangiana ca, entao,
L
final
= (

)(

)ie(

)A

+e
2
A

m
2

1
4
F

. (5.25)
Ou equivalentemente,
L
final
= (

+ieA

)(

ieA

) m
2


1
4
F

. (5.26)
Utilizando uma notacao mais simplicada, teremos
L
final
= D

m
2


1
4
F

, (5.27)
onde as chamadas derivadas covariante e contravarianate D

e D

, respectivamente,
sao dadas por
D

+ieA

(5.28)
e
D

ieA

. (5.29)
51
A identidade (5.23) juntamente com o fato de que, se tomarmos = e, a tranformacao
(5.21) se torna identica `aquela utilizada no eletromagnetismo que mantem os campos
eletricos e magneticos invariantes, e com que sera exposto nos proximos paragrafos, nos
faz comcluir que o campo A

e na verdade o 4-vetor potencial eletromagnetico e F

o
tensor eletromagnetico. Assim, podemos, entao, interpretar o campo eletromagnetico
como sendo um campo de gauge [22] que foi introduzido para garantir a invariancia
local U(1) da teoria.
As equacoes de Maxwell inomogeneas podem ser obtidas de (5.25) com o uso das
equacoes de Euler -Lagrange, ou seja, a partir da equacao

_
L
(

)
_

L
A

= 0, (5.30)
obtemos

= ie(

), (5.31)
ou

= ej

cov
, (5.32)
onde
j

cov
= i(

) (5.33)
e a densidade de corrente covariante. Usando a equacao (5.32), podemos mostrar que

cov
= 0. (5.34)
Ou seja, a densidade de corrente covariante e conservada.
6
A substituicao da derivada ordinaria

pela covariaante D

, em termos dos operadores


da mecanica quantica, corresponde a fazermos a seguinte substituicao para o momento
p:
p p e

A. (5.35)
6
Notemos que, para o caso em que o campo eletromagnetico nao esta presente, j

cov
se reduz a J

.
52
A haniltoniana de uma partcula de carga e na presenca de um campo eletromagnetico
descrito pelo potencial escalar e pelo potencial vetorial magnetico

A, e dada por
H =
1
2m
(

P e

A)
2
+e, (5.36)
onde

P =
L
v
e o momento generalizado. Para obtermos (5.37) partindo da hamilto-
niana de uma partcula livre com momento generalizado

P, fazemos a seguinte substi-
tuicao

P

P e

A. (5.37)
Assim, alem de reforcarmos a ideia de que A

e o potencial 4-vetor eletromagnetico,


ca claro que e um campo cuja carga elementar e igual `a e. Analogamente, com o
uso de D

, podemos mostrar que

e um campo cuja carga elementar e e.


A teoria descrita pela densidade lagrangiana (5.27) e chamada de eletrodinamica es-
calar. Pelo que foi feito nessa secao, ca claro o fato de que essa teoria descreve
partculas de spin-0 eletricamente carregadas.
5.3 Consideracoes nais
Nesse captulo, vimos que da densidade lagrangiana que fornece a equacao de Klein-
Gordon para o campo escalar complexo obtemos uma lagrangiana que e invariante sob
transformacoes de gauge do primeiro tipo. Essas transformacoes sao transformacoes
de simetria do grupo U(1). Com essa invariancia foi obtida a quantidade conservada
associada a esse campo.
Ao analisarmos as tranformacoes de gauge do primeiro tipo, notamos que essas nao
possuem um carater coerente com a teoria da relatividade. Para que pudessemos ter
esse carater, buscamos uma teoria com uma lagrangiana invariante sob transformacoes
de gauge do segundo tipo, pois essas sao coerentes com a relatividade. Para esse
m, adicionamos novos termos dependentes de um novo campo `a lagrangiana original
para que pudessemos obter uma lagrangiana invariante sob transformacoes de gauge
53
do segundo tipo. Este novo campo, denotado por A

, e um 4-vetor que se acopla


diretamente com J

mediante a uma constante de acoplamento e. A interpretac ao dos


resultados nais nos levou a concluir que o campo A

e na verdade o potencial 4-vetor


eletromagnetico e a constante e a carga eletrica das partculas descritas pelo campo.
Assim, fomos levados a interpretar o campo eletromagnetico com sendo uma campo de
gauge que surge na teoria para garantir a invariancia local U(1). A teoria descrita pela
nova lagrangiana, que e chamada de eletrodinamica escalar, e um exemplo de teoria de
gauge [22].
Captulo 6
Estudo da Establidade da Solucao

0
= 0 na Eletrodinamica Escalar
em Nvel Classico
55
6.1 Introducao
Pelo que vimos, sabemos que a densidade de lagrangiana da eletrodinamica escalar sem
auto-interacao e dada por
L = D


1
2
m
2


1
4
F

. (6.1)
Assim, para o caso em que consideramos uma auto-interacao quartica do campo escalar,
teremos
L = D


1
2
m
2



4!
(

)
2

1
4
F

. (6.2)
O potencial classico para essa teoria pode ser identicado como sendo
V
cl
(,

) =
1
2
m
2

+

4!
(

)
2
=
1
2
m
2
[ [
2
+

4!
[ [
4
. (6.3)
A partir dele podemos determinar o vacuo classico da teoria. Para isto, vamos consid-
erar duas situacoes distintas com relacao ao sinal de m
2
. Sao elas:
i) se m
2
0, o vacuo da teoria e dado por
0
=[ [= 0, portanto nao ha quebra
espontanea de simetria.
ii) se m
2
< 0 (m = iM, com M real), o vacuo da teoria e degenerado,
0
=[ [=
M
_
6

. Neste caso, ha quebra espontanea de simetria.


Neste captulo iremos estudar a estabilidade da solucao de campo nulo, para o caso
em que o parametro de massa e imaginario e os campos sao submetidos a condicoes
de contorno. Na primeira secao deste captulo, vamos desenvolver um mecanismo para
analisar a estabilidade destas solucoes. Subsequentemente, vamos impor aos cam-
pos condicoes de contorno de Dirichlet homogeneas, antiperiodicas, de Neumann ho-
mogeneas e periodicas. No caso das duas primeras condicoes, a unica solucao de campo
constante permitida e a solucao de campo nulo. Se este tipo de solucao for instavel, ter-
emos, entao, que procurar uma solucao de que seja espacialmente dependente. Nas
duas ultimas condicoes sao permitidas solucoes de campo nulo e solucoes de campo
constante diferentes de zero. No entanto, veremos que, nestes casos, a solucao de
56
campo nulo para e sempre instavel a nvel classico. Em todos os casos teremos sem-
pre
1
A

0
= 0.
6.2 Analise da estabilidade da solucao
0
= 0
Consideremos o caso em que, sem condicoes de contorno, temos quebra espontanea de
simetria, ou seja m
2
< 0. Nesse caso, podemos escrever m = iM, com M real. Para
simplicar o nosso problema, vamos desconsiderar a fase de . Fazemos isto, atraves
da chamada transformacao de gauge unitaria. Com essas consideracoes, a densidade
de lagrangiana da teoria sera dada por
L =
1
2

+
1
2
M
2


4
4!

1
4
F

+
1
2
e
2
A

2
, (6.4)
onde agora e real. Vamos impor que A

satisfaca `a condicao de Lorentz,

= 0. (6.5)
Podemos escrever (6.4) equivalentemente como sendo dada por
L =
1
2


1
4
F

V (, A

), (6.6)
onde
V (, A

) =
1
2
M
2

2
+

4
4!

1
2
e
2
A

2
. (6.7)
A energia do sistema e, entao, dada por [23]
E[, A

] =
_
d
3
x

+

A

L. (6.8)
Vamos considerar apenas solucoes de campos estaticos, uma vez que as condic oes de
contorno aqui utilizadas sao independentes do tempo. Nesse caso, (6.8) pode ser ree-
scrita da seguinte forma
E[, A

] =
_
d
3
x
_
1
2
(
2
) +
1
2
A

(
2
)A

+V (, A

)
_
. (6.9)
1
Isso se deve ao fato de que, quando consideramos o hamiltoniano do campo eletromagnetico,
teremos que o estado de vacuo pode ser sempre dado por A

0
= 0.
57
Seja dado por
0
mais uma pequena perturbacao e A

dado por A

0
mais uma
pequena perturbacao

. Desta maneira, a variacao E em torno de


0
e A

0
= 0, sera
dada, para uma aproximacao de segunda ordem em e

, por
E = E[
0
+, A

0
= 0] E[
0
, A

0
= 0]
= E[
0
, A

0
= 0] +
_
d
3
x
E
(x)

0
,A

0
=0
(x) +
+
_
d
3
x
E
A

(x)

0
,A

0
=0

(x) +
+
_
d
3
x d
3
y(x)

2
E
(x)A

(y)

0
,A

0
=0

(y) +
+
1
2
_
d
3
x d
3
y(x)

2
E
(x)(y)
(y)

0
,A

0
=0
+
+
1
2
_
d
3
x d
3
y

(x)

2
E
A

(x)A

(y)

(y)

0
,A

0
=0
E[
0
, A

0
= 0]. (6.10)
Usaremos a expressao acima para estudar a estabilidade de
0
= 0. Uma das condicoes
de estabilidade e a de que as derivadas funcionais de primeira ordem devem se anular,
ou seja
E
(x)

0
,A

0
=0
= 0 (6.11)
e
E
A

(x)

0
,A

0
=0
= 0. (6.12)
Consequentemente, E sera dado por
E = E[
0
+, A

0
= 0] E[
0
, A

0
= 0]
=
_
d
3
x d
3
y(x)

2
E
(x)A

(y)

0
,A

0
=0

(y) +
+
1
2
_
d
3
x d
3
y(x)

2
E
(x)(y)
(y)

0
,A

0
=0
+
+
1
2
_
d
3
x d
3
y

(x)

2
E
A

(x)A

(y)

(y)

0
,A

0
=0
. (6.13)
As equacoes (6.11) e (6.12) fornecem

0
+
V (
0
, A

0
= 0)

0
= 0 (6.14)
58
e
V (
0
, A

0
= 0)
A

0
(x)
= 0. (6.15)
Essas sao as equacoes de movimento. O calculo das derivadas de segunda ordem, na
equacao (6.13), fornece
E =
1
2
_
d
3
x
_
(x)
_

2
M
2
+

2

2
0
e
2
A

0
A
0
_
(x)+
+(x)
_
4e
2
A
0

0
_

(x) +

(x)
_
e
2
0
_

(x)+
+

(x)
_

2
_

(x)
_

0
,A

0
=0
. (6.16)
Queremos analisar a estabilidade da solucao
0
= 0. Substituindo esse valor na ex-
press ao acima, vamos obter
2
E =
1
2
_
d
3
x
_
(x)(
2
M
2
)(x) +
i
(x)(
2
)
i
(x)
_
, (6.17)
onde subentendemos que existe uma somatoria no ndicie i ( i = 1 ate i = 3). Uma
vez que (x) e
i
(x) devem ser autovetores dos operadores (
2
M
2
) e (
2
),
respectivamente, teremos
(
2
M
2
)(x) =
n

n
(x) (6.18)
e
(
2
)
i
(x) =
i
n

i
n
(x). (6.19)
Os autovalores
n
podem ser reescritos da seguinte forma

n
= l
2
n
M
2
, (6.20)
onde l
2
n
representa os autovalores do operador
2
. Iremos considerar, nos calculos
seguintes, os menores autovalores, os quais serao denotados pelo subndicie n = 0. Para
que a solucao
0
= 0 seja estavel e, portanto, vacuo da teoria, E na equacao (6.17)
2
Com o uso da condicao de Lorentz, podemos tomar apenas as componentes espaciais de A

como
sendo independentes.
59
deve ser maior ou igual a zero. Se considerarmos as equacoes de autovalores acima,
veremos que, para isto ser verdade, o primeiro e o segundo termo da equacao (6.17)
devem ser simultaneamente nao negativos.
Os autovalores do operador (
2
) dependem fortemente das condicoes de contorno
aplicadas aos compos e A

. Para as condicoes de contorno aqui consideradas, estes


autovalores serao sempre nao negativos. Conclumos, entao, que o segundo termo de
(6.17) sera sempre nao negativo. Portanto, basta que analisemos o sinal do primeiro
termo dessa equacao, para que possamos saber se E sera nao negativo. Ou, equiva-
lentemente, o sinal de
0
= l
2
0
M
2
. O sinal desse autovalor dependera somente das
condicoes de contorno aplicadas em (x). Portanto, as condicoes de contorno men-
cionadas daqui para frente serao referentes somente ao campo . Para condic oes de
contorno de Dirichlet homogeneas e antiperiodicas, a solucao de campo nulo e permi-
tida. Veremos que, nesse caso, existe um valor crtico de uma escala de comprimento
(dependente das condicoes de contorno), denominado comprimento de compacticacao,
tal que para valores desta escala menores que o crtico
0
> 0. Sendo assim, a solucao

0
= 0 se torna estavel podendo assim ser tomada como solucao de vacuo. Porem,
quando o valor desta escala de comprimento for maior que o crtico, teremos
0
< 0.
Sendo assim, a solucao
0
= 0 nao e estavel e, assim, nao pode ser tomada como solucao
de vacuo. Nesse caso, devemos procurar solucoes de vacuo tal que o campo seja es-
pacialmente dependente. No caso de condicoes de contorno de Neumann homogeneas,
e periodicas teremos sempre que
0
< 0. Contudo, essas condicoes de controno per-
mitem solucoes de campo constante diferntes de zero. Existem solucoes constantes
para o campo
0
diferentes de zero que, juntamente com a solucao A

0
= 0, podem ser
tomadas como sendo o vacuo da teoria. Podemos, entao, para as condicoes de contorno
de Neumann e periodicas tomar essas solucoes como solucoes de vacuo.
60
6.2.1 Estudo da estabilidade da solucao
0
= 0 quando o campo
e submetido a condicoes de contorno de Dirichlet homegeneas
Nesta secao vamos analisar a estabilidade da solucao
0
= 0, quando o campo e
submetido a condicoes de contorno Dirichlet homogeneas. Vamos impor que o campo
satisfaca a essas condicoes em duas superfcies, planas, paralelas e perpendiculares
ao eixo z, nas coordenadas
3
z =
a
2
e z =
a
2
,

_
x, y, z =
a
2
_
= 0. (6.21)
Nas direcoes x e y vamos impor que o campo satisfaca essas mesmas condicoes em
superfcies dispostas, da mesma maneira que no caso anterior, ao longo desses eixos. Se
tomarmos estas superfcies referentes aos eixos x e y innitamente separadas, esperamos
que as condicoes de contorno nas direcoes x e y nao venham a ter importancia [24].
Feitas essas consideracoes, teremos que
0
=
0
(z) e a equacao (6.14) resultara em

d
2

0
dz
2
+
dV (
0
)
dz
= 0, (6.22)
onde V (
0
) = V (
0
, A

= 0). No caso da equacao de autovalores do operador


2
para o campo
n
, teremos
d
2

n
dz
2
= l
2
n

n
. (6.23)
Temos que encontrar l
2
n
na equacao acima com
0
e, consequentemente
n
, satisfazendo
a condicoes de contorno de Dirichlet homogeneas para que possamos obter
0
. As
soluc oes para (6.23) possuem a segiunte forma

n
(z) = A
n
cos(l
n
z) +B
n
sen(l
n
z). (6.24)
Pelas condicoes de contorno, devemos impor que
n
(z =
a
2
) = 0. Sendo assim, l
n
sera dado por
l
n
=
(n + 1)
a
, com n = 0, 1, 2, 3, (6.25)
3
Nesse caso, o comprimento de compacticacao corresponde `a separacao a entre as superfcies.
61
Entao, o menor auto valor, que corresponde a n = 0, sera dado por
l
2
0
=

2
a
2
. (6.26)
Portanto,
0
sera dado por

0
=

2
a
2
M
2
. (6.27)
Para obtermos o comprimento crtico a
c
, devemos fazer
0
= 0. Com isso, obtemos
a
c
=

M
. (6.28)
Consequentemente, quando a < a
c
, a solucao
0
= 0 e estavel e, portanto, vacuo da
teoria. Entretanto, quando a > a
c
a solucao
0
= 0 nao e estavel e, portanto, nao e
vacuo da teoria.
6.2.2 Solucoes
0
nao uniformes para o campo satisfazendo
a condicoes de contorno de Dirichlet homogeneas
No caso em que a > a
c
, temos que procurar solucoes para
0
do tipo
0
=
0
(z), uma
vez que a unica solucao de campo constante permitida para
0
, que satisfaz as condicoes
de contorno, e a solucao de campo nulo. Para isso, vamos considerar a equacao (6.22).
Explicitando V (
0
) nessa equacao, obtemos

d
2

0
dz
2
+
d
d
0
_

1
2
M
2

2
0
+

4
0
4!
_
= 0. (6.29)
Por conveniencia, tomemos = 2
2
. Assim a equacao acima torna-se

d
2

0
dz
2
+
d
d
0
_

1
2
M
2

2
0
+

2

4
0
12
_
= 0. (6.30)
A equacao acima pode ser manipulada de forma a obtermos a seguinte equacao:
d
dz
_
_
_

1
2
_
d
0
dz
_
2

1
2
M
2

2
0
+

2

4
0
12
_
_
_
= 0. (6.31)
Consequentemente, teremos

1
2
_
d
0
dz
_
2

1
2
M
2

2
0
+

2

4
0
12
= C

, (6.32)
62
onde C

e uma constante arbitraria. Por conveniencia, vamos fazer C

= C
3
4
M
4

2
.
Assim, a equacao acima podera ser reescrita da seguinte forma

1
2
_
d
0
dz
_
2

1
2
M
2

2
0
+

2

4
0
12
+
3
4
M
4

2
= C (6.33)
ou, ainda,

1
2
_
d
0
dz
_
2
+
_

12

2
0

3
2
M
2

_
2
= C. (6.34)
Para que
0
(z) seja contnua no intervalo [
a
2
,
a
2
] e atenda a condicoes (z =
a
2
) = 0,
deve existir pelo menos um ponto z = z
0
, tal que
d
0
(z
0
)
dz
= 0. Sendo assim, conclumos
que C deve ser nao negativo e o seu maior valor possvel e
3
4
M
4

2
. Portanto, podemos
escrever C como
C =
3
4

2
M
4

2
, com 0
2
1. (6.35)
Temos, entretanto, que descartar os valores de C correspondentes a C = 0 e C =
3
4
M
4

2
.
A razao disto e que esses valores correspondem, respectivamente, `as solucoes
0
= 0 e

0
=

3
M

que, por sua vez, nao sao solucoes permitidas. Assim, a equacao (6.35)
deve ser reescrita da seguinte forma
C =
3
4

2
M
4

2
, com 0 <
2
< 1. (6.36)
Para acharmos
0
(z), temos que reescrever a equacao (6.34) em uma forma integral.
Fazendo isto, obtemos
z +a/2 =

0
(z)
_
0
d
0
_
1
6

0
4
M
2

0
2
+
3
2
M
4

2
(1
2
)
. (6.37)
Essa equacao pode ser manipulada de maneira a obtermos uma equacao, cuja forma
corresponde a uma integral elptica de primeira especie [25]. As solucoes de
0
(z) para
a equacao assim obtida, que sao dadas em termos de funcoes elpticas de Jacobi, ja
foram obtidas em trabalhos anteriores [24, 26]. Sao elas:

0
(z) =

3
M

1 sn
_
_
M

1 +(z +
a
2
),

1
1 +
_
_
, (6.38)
63
onde

= 16exp
_

2
a
a
c
_
, (6.39)
para o caso em que nos restringimos a valores
a
ac
grandes. A solucao dada pela equacao
(6.38) e a solucao de vacuo para o caso em que a > a
c
, uma vez que, como podemos
vericar, E > 0 para essa solucao.
6.2.3 Estudo da estabilidade da solucao
0
= 0 quando o campo
e submetido a condicoes de contorno antiperiodicas
Suponhamos, agora, que seja uma funcao de coordenadas de uma espaco topologico
M
3
x S
1
, onde M
3
e o espaco de Minkowiski tridimensional e S
1
um espaco compact-
icado em uma circunferencia de comprimento a. Sendo assim, facamos = (, z),
onde sao as coordenadas do espaco de Minkowiski e z as coordenadas do espaco
compacticado. Vamos exigir que satisfaca a condicoes de contorno antiperiodicas
nas coordenadas do espaco compacticado, ou seja,
(, z) = (, z +a). (6.40)
Analogamente ao caso anterior, teremos
0
=
0
(z) e, assim, obtemos

d
2

0
dz
2
+
dV (
0
)
dz
= 0 (6.41)
e
d
2

n
dz
2
= l
2
n

n
. (6.42)
Para l
n
> 0, a solucao da equacao acima tem como solucao

n
(z) = A
n
cos(l
n
z) +B
n
sen(l
n
z). (6.43)
Aplicando as condicoes de contorno, obtemos
l
n
=
(2n + 1)
a
, com n = 0, 1, 2, 3, (6.44)
64
O menor autovalor, l
2
0
, sera, entao, dado por
l
2
0
=

a
. (6.45)
Esse valor corresponde ao mesmo caso das condicoes de contorno de Dirichlet ho-
mogeneas. Sendo assim, teremos, de maneira analoga ao caso anterior, que
a
c
=

M
. (6.46)
Assim, quando a < a
c
, as solucao
0
= 0 e estavel e, portanto, vacuo da teoria. Entre-
tanto, quando a > a
c
a solucao
0
= 0 nao e estavel e, portanto, nao pode representar
o vacuo da teoria.
6.2.4 Solucoes
0
nao uniformes para o campo satisfazendo
a condicoes de contorno antiperiodicas
Para o caso em que a > a
c
, a solucao
0
= 0 nao pode mais representar o vacuo da
teoria. Sendo assim, devemos procurar solucoes de
0
do tipo
0
=
0
(z). Da mesma
maneira que no caso anterior, obteremos para
0
a seguinte equacao:

1
2
_
d
0
dz
_
2
+
_

12

0
2

3
2
M
2

_
2
= C, (6.47)
onde
C =
3
4

2
M
4

2
, com 0 <
2
< 1. (6.48)
Por conseg uinte, seremos conduzidos, semelhantemente ao caso anterior, a uma integral
elptica de primeira especie. A diferenca e que neste caso as condicoes de contorno sao
diferentes. Para esta integral e para condicoes de contorno antiperiodicas, trabalhos
anteriores [24, 26] mostram que a solucao para
0
e dada por

0
(z) =

3
M

1 sn
_
_
M

1 +z,

1
1 +
_
_
, (6.49)
65
onde

= 16exp
_

2
a
a
c
_
(6.50)
para o caso em que nos restringimos a valores
a
ac
grandes. A solucao dada pela equacao
(6.49) e a solucao de vacuo para o caso em que a > a
c
, uma vez que, como podemos
vericar, E > 0 para essa solucao.
6.2.5 Estudo da estabilidade da solucao
0
= 0 quando o campo
e submetido a condicoes de contorno periodicas
Vamos novamente supor que seja funcao das coordenadas de um espaco topologico
M
3
x S
1
, denido de maneira identica ao caso anterior. Neste caso, entretanto, exi-
giremos que satisfaca a condicoes de contorno periodicas nas coordenadas do espaco
compacticado S
1
, ou seja,
(, z) = (, z +a). (6.51)
As coordenadas e z fazem papel identico `aquelas do caso anterior. Sendo assim,
temos de nos ater somente `a coordenada z. Com isso, temos
d
2

n
dz
2
= l
2
n

n
. (6.52)
As solucoes para este tipo de equacao, com l
2
n
0, sao dadas por

n
(z) = A
n
cos(l
n
z) +B
n
sen(l
n
z). (6.53)
Aplicando a condicao de contorno (6.51), obteremos
l
n
=
2n
a
, com n = 0, 1, 2, 3, (6.54)
Com isso, conclumos que o menor autovalor l
2
0
sera dado por
l
2
0
= 0. (6.55)
Substituindo este valor na equacao (6.22), obtemos

0
= M
2
< 0. (6.56)
66
Com isto, podemos concluir que E nao podera obedecer `a condicao de ser positivo
para toda escolha de (x) e
i
(x). Isso mostra que, para o caso de condicoes de
contorno periodicas, nao existe um valor crtico de a para o qual a solucao
0
= 0 se
torne estavel, e, consequentemente, possa representar o vacuo da teoria. Entretanto,
estas condicoes de contorno permitem outras solucoes de campo constante diferentes
de zero. Estas podem ser obtidas minimizando o potencial classico. Feito isto, vamos
obter que o vacuo da teoria sera dado por

0
=

3
M

. (6.57)
6.2.6 Estudo da estabilidade da solucao
0
= 0 quando o campo
e submetido a condicoes de contorno de Neumann ho-
mogeneas
Estudaremos, agora, a estabilidade da solucao
0
= 0, quando o campo e submetido
a condicoes de contorno de Neumann homogeneas sobre superfcies planas, paralelas e
perpendiculares ao eixo z nas coordenadas z =
a
2
,
d(z)
dz

z=a/2
= 0. (6.58)
Exigiremos tambem que estas mesmas condicoes sejam satisfeitas em superfcies planas
e paralelas localizadas nas direcoes x e y. Entretanto, vamos considerar que estas
estejam innitamente separadas. Feita estas consideracoes, teremos
d
2

n
dz
2
= l
0
2

n
, (6.59)
e consequentemente

n
(z) = A
n
cos(l
n
z) +B
n
sen(l
n
z). (6.60)
Aplicando as condicoes de contorno (6.58), teremos
l
n
=
n
a
, com n = 0, 1, 2, 3, (6.61)
67
Sendo assim, o menor autovalor l
2
0
sera dado por
l
2
0
= 0. (6.62)
Substituindo esse valor na equacao (6.22), vamos obter

0
= M
2
. (6.63)
Dessa forma, pelas mesmas razoes do caso das condicoes de contorno periodicas, a
soluc ao
0
= 0 nao e estavel e, consequentemente, nao pode representar o vacuo da
teoria. Entretanto, essas condicoes de contorno permitem solucoes de campo constante
diferentes de zero que podem ser obtidas pela minimizacao do potencial classico. Proce-
dendo dessa forma, vamos obter que o vacuo da teoria e dado por

0
=

3
M

. (6.64)
6.3 Consideracoes nais
O estado de vacuo da eletrodinamica escalar com quebra espontanea de simetria a
tree levele degenerado. As suas solucoes sao dadas por
0
=

3
M

. No entanto, foi
possvel mostrar que, para condicoes de contorno Dirichlet homogeneas e antiperiodicas,
existe um valor crtico do comprimento de compacticacao, tal que para valores abaixo
desse valor crtico o vacuo da teoria e dado por
0
= 0. Assim, mostramos que as
condicoes Dirichlet homogeneas e antiperiodicas sao capazes de restaurar a simetria
da teoria. Entretanto, para valores do comprimento de compacticacao maior que o
crtico, o vacuo da teoria nao pode ser dado por
0
= 0. Assim, uma vez que a unica
soluc ao de campo constante permitida para essas condicoes de contorno e a solucao
de campo nulo, partimos em busca de solucoes da vacuo espacialmente dependentes.
O que obtivemos foram solucoes dependentes das chamadas funcoes senos elpticos de
Jacobi. Dessa forma, mostramos tambem que as condicoes Dirichlet homogeneas e
antiperiodicas sao capazes de quebrar a simetria de invariancia translacional do vacuo.
68
Ja para o caso das condicoes de contorno de Neumann homogeneas e periodicas, vimos
que essas, para uma analise puramente classica, nao sao capazes de modicar o vacuo
da teoria de modo a restaurar a simetria. Essas condicoes de contorno permitem
soluc oes de campo constante diferentes de zero. Pela minimizacao do potencial classico
podemos mostrar que o estado de vacuo para esse caso e dado por
0
=

3
M

.
Captulo 7
Estudo da Estabilidade da Solucao

0
= 0 na Eletrodinamica Escalar
Introduzindo Correcoes Radiativas
70
7.1 Introducao
No captulo anterior, vimos que condicoes de contorno periodicas e de Neumann ho-
mogeneas, em uma analise puramente classica, sao incapazes de modicar o vacuo
da teoria de modo a fazer com que a solucao de campo nulo se torne estavel. Neste
captulo, mostraremos que, com o uso de correcoes radiativas
1
, existe um valor crtico
do comprimento de compacticacao, para as condicoes de contorno aqui mencionadas,
tal que abaixo deste valor a solucao de campo nulo se torna estavel. As condic oes de
contorno serao aplicadas em
2
e A

. Acima deste valor crtico, do mesmo modo que


na analise classica, o vacuo da teoria pode ser determinado pelo mnimo do potencial
classico.
As correcoes radiativas, aqui mencionadas, aparecem como correcoes quanticas de or-
dem h na energia do sistema. Estas correcoes correspondem `a energia da interacao dos
campos com suas utuacoes de vacuo. Iremos obter o valor do comprimento crtico de
compacticacao, para as condicoes de contorno periodicas e de Neumann homogeneas,
pela minimizacao da energia com correcoes radiativas. Neste processo iremos nos de-
parar com garandezas divergentes. Para contornar este problema, faremos uso da
tecnica de regularizacao da funcao zeta generalizada.
7.2 Condicao de estabilidade da solucao
0
= 0
A acao euclidiana, para a densidade de lagrangiana da teoria escrita no gauge unitario
e com quebra espontanea de simetria a tree level, e dada por
S[, A

] =
_
d
4
x
_
1
2
(

M
2
) +

4
4!
+
1
2
A

+e
2

2
)A

_
. (7.1)
1
No formalismo das integrais de trajetoria [27], estas correcoes sao representads pelos loopsnos
diagramas de Feynman.
2
Com o uso de correcoes radiativas, a aplicacao das condicoes de contorno em A

se torna relevante
nos resultados nais.
71
Expandinda em torno dos mnimos [29], a acao classica euclidiana, considerando uma
aproximacao ate segunda ordem, ca dada por
S[, A

] = S[
0
, 0] +
1
2
_
d
4
x d
4
y(x)
S
2
(x)(y)
(y)

0
,0
+
+
1
2
_
d
4
x d
4
y

(x)
S
2
A

(x)A

(y)

(y)

0
,0
+
+
_
d
4
x d
4
y(x)
S
2
(x)A

(y)

(y)

0
,0
. (7.2)
onde (x) =
0
+ (x) e A

(x) = 0 +

(x), com (x) e

(x) pequenos. O funcional


gerador das funcoes de Green conexas Z[J] esta relacionado ao funcional gerador das
funcoes de Green desconexas W[J] no espaco-tempo euclidiano pela seguinte relacao:
[28, 23]
Z[J] = e
1
h
W[J]
. (7.3)
Considerando a expansao da acao classica dada por (7.1), temos que Z[J

], onde J

e
a fonte do campo , e dada por
Z[J

] = e

1
h
S[
0
,J

]
_
D D
exp
_

1
2
_
d
4
x d
4
y(x)
S
2
(x)(y)
(y)

0
,0
+

1
2
_
d
4
x d
4
y

(x)
S
2
A

(x)A

(y)

(y)

0
,0
+

_
d
4
x d
y
(x)
S
2
(x)A

(y)

(y)

0
,0
_
. (7.4)
A energia do sistema perturbado adiabaticamente por uma fonte uniforme J que per-
manece por um tempo , esta relacionada a W[J] pela seguinte relacao [28]:
exp
_
1
h
W[J]
_
= exp
_

1
h
E(J)
_
. (7.5)
Fazendo uso das equacoes (7.3), (7.4) e (7.5), obtemos que a energia do sistema no
espaco-tempo euclidiano, para uma correcao de primeira ordem em h, e para solucoes
72

0
do tipo uniforme
3
, sera dada por
4
E[
0
] =
_
d
4
x
_

1
2
M
2

2
0
+

2
12

4
0
_
+
+
h
2
ln det
_

M
2
+
2

2
0
_
+
3 h
2
ln det
_

+m
2
+e
2

2
0
_
, (7.6)
onde zemos = 2
2
e introduzimos um termo de massa
5
m para o campo A

que
sera tomado no limite m 0 no nal.
Vamos obter agora os auto-valores dos operadores (

M
2
+
2

2
0
) e (

+
m
2
+e
2

2
0
). Para isso, vamos expandir uma funcao (x) em uma base de ondas planas
elementares, exp(ikx). Assim, a auto-funcao
k
(x) devera satisfazer `as equacoes
_

M
2
+
2

2
0
_

k
(x) =
k

k
(x) (7.7)
e
_

+m
2
+e
2

2
0
_

k
(x) =
k

k
(x),
com

k
(x) exp(ikx). (7.9)
Entao, teremos
_

M
2
+
2

2
0
_

k
(x) =
_
k
2
M
2
+
2

2
0
_

k
(x) (7.10)
e
_

+m
2
+e
2

2
0
_

k
(x) =
_
k
2
+m
2
+e
2

2
0
_

k
(x). (7.11)
Portanto,

k
= k
2
M
2
+
2

2
0
(7.12)
e

k
= k
2
+m
2
+e
2

2
0
. (7.13)
3
Este tipo de solucao e exatamente o que nos interessa.
4
Consideramos aqui que A

esta submetido `a condicao de Lorentz.


5
Esse termo e introduzido para evitarmos um problema de divergencia infravermelha.
73
Tomando os operadores das equacoes (7.7) e (7.8) na forma diagonal, teremos que
det
_

M
2
+
2

2
0
_
=

k
_
k
2
M
2
+
2

2
0
_
(7.14)
e
det
_

+m
2
+e
2

2
0
_
=

k
_
k
2
+m
2
+e
2

2
0
_
. (7.15)
Tomando o logaritmo natural dessas equacoes caremos com
ln det
_

M
2
+
2

2
0
_
= Tr ln(
k
) =

k
ln(
k
) (7.16)
e
ln det
_

+m
2
+e
2

2
0
_
= Tr ln(
k
) =

k
ln(
k
). (7.17)
Se os k forem contnuos, teremos
ln det
_

M
2
+
2

2
0
_
=

(2)
4
_
d
4
k ln
_
k
2
M
2
+
2

2
0
_
(7.18)
e
ln det
_

+m
2
+e
2

2
0
_
=

(2)
4
_
d
4
k ln
_
k
2
+m
2
+e
2

2
0
_
. (7.19)
Usando (7.12) e (7.13), podemos escrever a energia como
E(
0
) =
_

1
2
M
2

2
0
+

2
12

4
0
_
+
h
2
ln det
_
k
2
M
2
+
2

2
0
_
+
3 h
2
ln det
_
k
2
+m
2
+e
2

2
0
_
,
(7.20)
onde e o volume do espaco-tempo euclidiano. Usando (7.16) e (7.17), podemos ree-
screver (7.20) da seguinte forma:
E(
0
) =
_

1
2
M
2

2
0
+

2
12

4
0
_
+
h
2
ln Tr
_
k
2
M
2
+
2

2
0
_
+
3 h
2
Tr ln
_
k
2
+m
2
+e
2

2
0
_
,
(7.21)
Vamos agora analisar a estabilidade da solucao
0
= 0. Uma vez que
0
e tratado
como constante, as condicoes para que
0
= 0 seja estavel sao as seguintes:
dE(
0
)
d
0

0
=0
= 0 (7.22)
74
e
d
2
E(
0
)
d
0
2

0
=0
> 0. (7.23)
Derivando E(
0
) uma vez com relacao a
0
e tomando
0
= 0, podemos vericar que a
condicao (7.22) e satisfeita. Derivando E(
0
) duas vezes com relacao a
0
e tomando

0
= 0, obtemos
d
2
E(
0
)
d
0
2

0
=0
= M
2
+ h
2
Tr
_
_
k
2
+v
2
_
1
_
+ 3 he
2
Tr
_
_
k
2
+m
2
_
1
_
, (7.24)
onde zemos a substituicao v = iM. Essa substituicao corresponde a uma extensao
de
d
2
E(
0
)
d
0
2

0
=0
para v imaginario. Sendo assim, temos que tomar a parte real desta
derivada no nal. Essa extensao faz com que obtenhamos funcoes que sao matemati-
camente mal denidas. Isso sera discutido nas consideracoes nais.
7.2.1 Estudo da estabilidade da solucao
0
= 0 quando os
campos e A

sao submetidos a condicoes de contorno


periodicas
Suponhamos que os campos e A

estejam denidos em um espaco topologico do tipo


M
3
x S
1
, onde M
3
representa o espaco de Minkowski e S
1
e um espaco compacticado
em uma circunferencia de comprimrnto a. Vamos exigir que e A

satisfacam a
condicoes de contorno periodicas na coordenada do espaco S
1
, ou seja,
(z, +a) = (z, ) (7.25)
e
A

(z, +a) = A

(z, ). (7.26)
75
onde z representa a coordenada do espaco de Minkowski e a coordenada do espaco
compacticado. Feitas estas consideracoes, temos que a equacao (7.24) sera dada por
6
d
2
E(
0
)
d
0
2

0
=0
= v
2
+ h

2
(2)
3
a

N=
_
d
3
k
_
k
2
+
_
2N
a
_
2
+v
2
_
1
+
+3 h
e
2
(2)
3
a

N=
_
d
3
k
_
k
2
+
_
2N
a
_
2
+m
2
_
1
. (7.27)
Podemos ver que as integrais na equacao acima divergem. Para contornar essa dicul-
dade, vamos fazer uso do metodo de regularizacao da funcao zeta generalizada. Para o
problema em questao, vamos denir a funcao zeta generalizada, (s + 1), da seguinte
forma:
(s + 1) =

N=
_
d
3
k
_
k
2
+
_
2N
a
_
2
+v
2
_
(s+1)
. (7.28)
Notemos que, quando tomamos s = 0 na equacao acima, obtemos, a menos de uma
constante, o segundo termo do membro direito da equacao (7.27). Se trocarmos v
2
por m
2
nessa mesma equacao obtemos, a menos de uma constante, o terceiro termo do
membro direito da equacao (7.27). Para calcularmos a integral em (7.28), faremos uso
da seguinte relacao ( Veja Apendice A ):
_

_
k
2
+A
2
_
s
d
m
k =
m
2
(s
m
2
)
(s)
(A
2
)
m
2
s
, para A
2
> 0. (7.29)
Fazendo as devidas substituicoes nesta relacao, obtemos
(s + 1) =

N=

3/2
(s 1/2)
(s + 1)
_
4N
2

2
a
2
+v
2
_
1/2s
. (7.30)
Separando o termo do somatorio na relacao acima correspondente a N = 0, temos
(s + 1) =
3/2
(s 1/2)
(s + 1)
v
12s
+
+ 2
3/2
(s 1/2)
(s + 1)
_
2
a
_
12s

N=1
_
N
2
+
a
2
v
2
4
2
_
1/2s
. (7.31)
6
A aplicacao de condicoes de contorno em uma dada coordenada faz com a componente do momento
relativa a essa coordenada assuma um espectro discreto, ja as componentes referentes `as coordenadas
onde nao aplicamos condicoes de contorno assumen todos os valores possveis de um espectro contnuo.
76
Usando a continuacao analtica da funcao zeta de Epstein-Hurwitz, que e dada por

N=1
_
N
2
+B
2
_
p
=
1
2
B
2p
+

1
2
2B
2p1
(p)
_

_
p
1
2
_
+
+ 4

N=1
K
p
1
2
(2NB)
(NB)
1
2
p
_
, (7.32)
onde K

(x) sao as funcoes de Bessel modicadas, camos com


(s + 1) =
a
2
v
22s
s(s 1)
+
2a
(s + 1)
v
22s

N=1
K
s1
(Nav)
(Nav/2)
1s
, (7.33)
onde usamos a propriedade (s + 1) = s(s). O primeiro termo do membro direito
da equacao (7.33) diverge para s = 0. Para sanar esse probema vamos fazer uso de
uma prescricao [31] que consiste em multiplicar esse termo por s e derivar o resultado
obtido em s = 0. O termo, assim, obtido e substituido pelo termo divergente. Feito
isso, obteremos
(s + 1)

s=0
=
av
2
2
_
ln
_
v
2

2
_
1
_
+ 2av
2

N=1
K
1
(Nav)
(Nav/2)
. (7.34)
O parametro , chamado de parametro de escala, foi introduzido para mantermos a
funcao zeta adimensional para todo s.
Usando as equacoes (7.34) e (7.27), temos
d
2
E(
0
)
d
0
2

0
=0
=
_
v
2
+
h
2
v
2
16
2
_
ln
_
v
2

2
_
1
_
+
3 he
2
m
2
16
2
_
ln
_
m
2

2
_
1
_
+
h
2
v
2
4
2

N=1
K
1
(Nav)
(Nav/2)
+
3 he
2
m
2
4
2

N=1
K
1
(Nam)
(Nam/2)
_
. (7.35)
O segundo e o terceiro termo do membro direito da equacao acima sao de ordem h
e nao podem vir a se tornar de ordem classica. Dessa forma, podemos despreza-los
com relacao ao termo de ordem classica. No entanto, o quarto e o quinto termo, em-
bora sejam proporcionais `a h, dependem do parametro a adivindo das condic oes de
contorno. Sendo assim, para determinadas ordens de grandeza desse parametro, esses
77
termos podem vir a se tornarem de ordem classica, portanto, nao iremos despreza-los.
Vamos, agora, calcular explicitamente esses termos. Calcularemos a somatoria cor-
respondente a v e, depois, substuindo v por m 0, teremos calculado a somatoria
correspondente a m. Para isso, consideremos um n umero inteiro i 0, tal que iav < 1
e (i + 1)av 1, de forma que o termo correspondente `a samatoria em v possa ser
disposto da seguinte maneira
h
2
v
2
4
2

N=1
K
1
(Nav)
(Nav/2)
=
h
2
v
2
4
2
i

N=1
K
1
(Nav)
(Nav/2)
+
+
h
2
v
2
4
2

N=i+1
K
1
(Nav)
(Nav/2)
. (7.36)
A funcao K
1
e uma funcao decrescente de seu argumento. Por isso, o primeiro termo
da segunda somatoria na equacao acima ira predominar em relacao aos demais termos
dessa somatoria. Sendo assim, podemos reescreve-la da seguinte maneira
h
2
v
2
4
2

N=i+1
K
1
(Nav)
(Nav/2)

h
2
v
2
2
2
K
1
((i + 1)av)
((i + 1)av)
. (7.37)
Uma vez que (i + 1)av 1, teremos
h
2
v
2
2
2
K
1
((i + 1)av)
((i + 1)av)

h
2
v
2
2
2
K
1
(1). (7.38)
Como podemos ver esse termo e de ordem h e, por isso, podemos despreza-lo. O
primeiro termo da equacao (7.36) e proporcional a K
1
, cujo argumento e menor que
um. Assim, podemos usar a seguinte relacao [30, 32]
_
x
2
_
m
K
m
(x) =
1
2
m1

l=0
(1)
l
_
x
2
_
2l
(ml)
(l + 1)
+
+

l=0
(1)
m
_
x
2
_
2(m+l)
(l + 1)(m +l + 1)
_
(l + 1) +
+ (m +l + 1) 2 ln
_
x
2
_
_
, (7.39)
onde m e um n umero inteiro maior que zero. Usando a relacao (7.24), a somatoria
(7.36) se torna
h
2
v
2
4
2

N=1
K
1
(Nav)
(Nav/2)
=
h
2
2
2
a
2
i

N=1
1
N
2
+
78

h
2
v
2
4
2
_
(1) +(2) 2 ln
_
Nav
2
_
+ O(a
2
v
2
)
_
. (7.40)
Desprezando termos de ordem h, e tomando i sucientemente grande tal que
i

N=1
1
N
2

R
(2), teremos
d
2
E(
0
)
d
0
2

0
=0
=
_
M
2
+
h
2
12a
2
+
3 he
2
12a
2
_
. (7.41)
Para obtermos o comprimento crtico de compacticacao, fazemos
d
2
E(
0
)
d
0
2

0
=0
= 0.
Feito isso, obtemos
a
c
2
=
h
12M
2
_

2
+ 3e
2
_
. (7.42)
Portanto, se a a
c
, a estabilidade da solucao
0
= 0 e garantida e, portanto, e vacuo
da teoria. Isso mostra que as correcoes radiativas sao capazes de modicar o vacuo da
teoria, fazendo com que a estabilidade da solucao
0
= 0 seja garantida. Entretanto,
se a > a
c
, a solucao
0
= 0 e instavel e, portanto, nao e vacuo da teoria. As condicoes
de contorno periodicas permitem solucoes de campo constante. Assim, para o caso em
que a > a
c
, obtemos o vacuo da teoria pela minimizacao do potencial classico. Feito
isso, obtemos

0
=

3
M

. (7.43)
7.2.2 Estudo da estabilidade da solucao
0
= 0 quando os cam-
pos e A

sao submetidos a condicoes de contorno de


Neumann homogeneas
Vamos exigir agora que os campos e A

satisfacam a condicoes de contorno de


Neumann homogeneas em superfcies dispostas de maneira identica ao caso classico.
Assim, teremos
d
2
E(
0
)
d
0
2

0
=0
= v
2
+ h

2
(2)
3
a

N=0
_
d
3
k
_
k
2
+
_
N
a
_
2
+v
2
_
1
+
79
+3 h
e
2
(2)
3
a

N=0
_
d
3
k
_
k
2
+
_
N
a
_
2
+m
2
_
1
. (7.44)
Denindo

N=0
_
d
3
k
_
k
2
+
_
N
a
_
2
+v
2
_
(s+1)
= (s + 1), (7.45)
obteremos, por um procedimento inteiramente analogo ao caso anterior, para termos
ate a ordem h,
d
2
E(
0
)
d
0
2

0
=0
=
_
M
2
+
h
2
48a
2
+
3 he
2
48a
2
_
. (7.46)
Para obtermos o comprimento crtico de compacticacao a = a
c
, fazemos
d
2
E(
0
)
d
0
2

0
=0
=
0. Feito isso, obtemos
a
c
2
=
h
48M
2
_

2
+ 3e
2
_
. (7.47)
Portanto, se a a
c
, a estabilidade da solucao
0
= 0 e garantida e, portanto, e vacuo
da teoria. Entretanto, se a > a
c
, a solucao
0
= 0 e instavel e, portanto, nao e vacuo
da teoria. Isso mostra que as correcoes radiativas sao capazes de modicar o vacuo da
teoria, fazendo com que a estabilidade da solucao
0
= 0 seja garantida. Entretanto,
se a > a
c
, a solucao
0
= 0 e instavel e, portanto, nao e vacuo da teoria. As condicoes
de contorno de Neumann homogeneas permitem solucoes de campo constante. Sendo
assim podemos procurar solucoes de vacuo constante. Fazendo isso minimizando o
potencial classico, obtemos

0
=

3
M

. (7.48)
7.3 Consideracoes nais
Mostramos nesse captulo que, para as condicoes de contorno de Neumann homogeneas
e periodicas, as correcoes radiativas sao capazes de modicar o vacuo da teoria, fazendo
com que a solucao de campo nulo se torne estavel. Nos calculos utilizados para
mostrar isso, zemos uso da continuacao analtica da funcao de Epstein-Hurwitz, que
80
se apresenta da seguinte forma

N=1
(N
2
+B
2
)
p
. Essa funcao e denida para oper-
adores elpticos, entao, devemos ter B
2
> 0. Entretanto, em nossos calculos usamos
B
2
=
a
2
v
2

2
< 0, o que corresponde a funcoes denidas para operadores hiperbolicos.
Teramos, entao, que utilizar a rigor funcoes denidas para operadores hiperbolicos. No
entanto, nao encontramos tais funcoes na literatura. Devido a isto, utilizamos funcoes
denidas para operadores elpticos. A credibilidade de nossos resultados esta apoiada
em resultados de trabalhos anteriores [28, 33].
Captulo 8
Conclusao
82
8.1 Conclusao
Nos captulos iniciais desse trabalho, tratamos do campo escalar (real e complexo) e do
campo eletromagnetico sob o ponto de vista do formalismo lagrangiano. Nesse trata-
mento, fomos levados a importantes conclusoes acerca da ligacao entre propriedades
de simetria e quantidades conservadas. Apos isso, com o uso da segunda quantizacao,
conclumos que o campo escalar descreve partculas de spin-0 carregadas (campo com-
plexo) e partculas sem carga eletrica (campo real). Em ambos os casos as partculas
possuem massa. Ja o campo eletromagnetico descreve partculas de spin-1 desprovidas
de massa e de carga. Essas partculas sao denominadas fotons.
No captulo 5, fomos levados a concluir que o campo escalar complexo e o campo eletro-
magnetico estao relacionados por propriedades de simetria. Como vimos, o campo
eletromagnetico se acopla ao campo escalar complexo para garantir que a lagrangiana
resultante desse acoplamento seja invariante sob transformacoes de gauge locais. Es-
sas transformacoes, como vimos, sao transformacoes de fase no campo que dependem
das coordenadas do espaco-tempo. Essas transformacoes pertecem ao grupo U(1) ou,
equivalemtemente, ao grupo grupo SO(2). A teoria que obtivemos nesse captulo, que
e chamada de eletrodinamica escalar, e um exemplo de teoria de gauge. Em uma teo-
ria de gauge, temos um certo grupo de simetria e um campo de gauge que garante a
inavriancia dessa teoria sob transformacoes desse grupo. No caso da eletrodin amica
escalar, o campo de gauge e potencial 4-vetorial eletromagnetico.
No captulo seguinte, vimos que condicoes de contorno de Dirichlet homogeneas e an-
tiperi odicas, em uma abordagem puramente classica, sao capazes de fazer com que
a solucao de campo nulo da eletrodinamica escalar com um potencial com quebra
espontanea de simetria a tree levelse torne estavel, quando o comprimento de com-
pacticacao e menor ou igual a um valor crtico a
c
=

M
. Ou seja, a solucao de campo
nulo se torna o vacuo da teoria, restaurando a simetria. Um outro importante fato
mostrado e que, quando o comprimento de compacticacao e maior que o crtico essas
83
condicoes de contorno podem quebrar a invariancia translacional do vacuo. Por outro
lado, mostramos que condicoes de contorno de Neumann homogeneas e periodicas, em
uma abordagem puramente classica, nao sao capazes de fazer com que a solucao de
campo nulo se torne estavel, e, portanto de restaurar a simetria. No entanto, como foi
feito no captulo 7, com o uso de correcoes radiativas na energia, foi possvel mostrar
que essas condicoes de contorno tambem podem fazer com que a solucao de campo
nulo se torne estavel, restaurando, assim, a simetria.
Captulo 9
Apendice
85
9.1 Apendice A
Neste apendice vamos demosntrar a seguinte relacao
_

_
k
2
+A
2
_
s
d
m
k =
m
2
(s
m
2
)
(s)
(A
2
)
m
2
s
, para A
2
> 0. (9.1)
Denimos a funcao (s) como sendo
(s) =
_

0
x
s1
e
x
dx, Re(s) > 0. (9.2)
Multiplicando a equacao acima por (K
2
+A
2
)
s
, obtemos
(K
2
+A
2
)
s
(s) =
_

0
(K
2
+A
2
)
s
y
s1
e
y
dy, Re(s) > 0. (9.3)
Por conveniencia facamos y = (K
2
+A
2
)x. Feito isso, obtemos
(K
2
+A
2
)
s
(s) =
_

0
(K
2
+A
2
)
s
y
s1
e
y
dy =
_

0
x
s1
e
x(K
2
+A
2
)
dx. (9.4)
Fazendo o uso da seguinte relacao
_

f(p
2
)d
n
p =
2
N
2
(
N
2
)
_

0
p
N1
f(p
2
)dp, (9.5)
temos
_

(K
2
+A
2
)
s
d
m
K =
2
m
2
(
m
2
)
_

0
K
m1
(K
2
+A
2
)
s
dK. (9.6)
Usando (9.4) em (9.6), obtemos
_

(K
2
+A
2
)
s
d
m
K =
2
m
2
(
m
2
)(s)
_

0
x
s1
e
xA
2
dx
_

0
K
m1
e
xK
2
dK. (9.7)
Fazendo a mudanca de variavel z = K
2
x na integral em K da relacao acima, obtemos
_

0
K
m1
e
xK
2
dK =
x

m
2
2
_

0
z
m2
2
e
z
dz. (9.8)
Usando a denicao da funcao (s), podemos reescrever (9.8) da seguinte forma:
_

0
K
m1
e
xK
2
dK =
x

m
2
2

_
m
2
_
. (9.9)
86
Substituindo (9.9) em (9.7), temos
_

(K
2
+A
2
)
s
d
m
K =

m
2
(s)
_

0
x
s
m
2
1
e
xA
2
dx. (9.10)
Tomando K = 0 e fazendo a substituicao s s
1
2
em (9.4), obtemos
(A
2
)
s
m
2
=
1
(s
1
2
)
_

0
x
s
3
2
1
e
xA
2
. (9.11)
Com isso, temos que (9.10) pode ser reescrito nalmente como
_

(K
2
+A
2
)
s
d
m
K =
m
2
(s
m
2
)
(s)
(A
2
)
m
2
s
, (9.12)
demonstrando, assim, o resultado.
Referencias bibliogracas
Referencias Bibliogracas
[1] Collins, J.; Renormalization: an introduction to renormalization, the renormal-
ization group and the operator product expansion (Cambridge University Press,
Cambridge, 1984).
[2] Bezerra, V. A.; Racionalidade, Consistencia, Reticulacao e Corencia: O caso da
renormalizacao na teoria de campos. Scientiae Studia 1(2), p. 151-181 (2003).
[3] Thornton, T. S. and Marion, J. B.; Classical Dynamics of Particules and Systems
(Harcourt Brace Jovanovich, New York, 1988), 3rd Ed..
[4] Noether E.; Invariante Variationsproblemes, Nachr. d. Kgl. Ges. d. Wiss. (Math
phys. Klasse), Gottingen, 235 (1918).
[5] Ryder, L. H.; Quantum Field Theory (Cambridge University Press, Cambridge,
1985).
[6] Jackson D. J.; Classical Electrodynamics (Wiley, New York, 1975).
[7] Bogoliubov N. N. Shirkov D. V.; Introduction to the theory of quantized elds
(Interscience, New York, 1959).
[8] Mandl F.; Introduction to Quantum eld theory (Interscience, New York, 1960).
[9] Lamoureux, S. K.; Phys. Rev. Lett. 28, 5 (1997).
[10] Mohideen, U. and Roy, A.; Phys. Rev. Lett. 81, 21 (1998).
88
89
[11] Kallen G.; Quantum electrodynamics (Springer-Verlag, Berlin, 1972).
[12] S. Gupta; Proc. Roy. Soc. 63A, 681 (1950).
[13] K. Bleuler; Helv. Phys. Acta 23, 567 (1950).
[14] Boyer, T. H.; Phys. Rev. 174, 1764(1968).
[15] A. Chodos, R. L. Jae, K. Johnson, C. B. Thorn and V. F.Weisskopf, Phys. Rev.
D9, 3471 (1974);
A. Chodos, R. L. Jae, K. Johnson, C. B. Thorn, ibid.D10, 2559 (1974);
T. DeGrand, R. L. Jae, K. Johnson, J. Kiskis, ibid.D12, 2060 (1975);
J. F. Donoghue, E. Golowich and B. R. Holstein, ibid.D12, 2875 (1975).
[16] Casimir, H. G. B.; Proc. K. Ned. Akad. Wet. 51, 793 (1948).
[17] Passos Sobrinho, J. J. e A. C. Tort; Rev. Bras. Ens. Fs. 23(4), 401 (2001).
[18] Pluniem, G., Muller, B. and Greiner, W.; Phys. Rept. 134: 89-193 (1986).
[19] Mostepanenko, V. M. and Trunovv, N. N.;The Casimir eect and its applicattions
(Clarendon Press, Oxford, 1997).
[20] Elizade E. and Romeo A.; Am. J. Phys. 59, 711 (1951).
[21] Bordarg, M., Mohideen, U. and Mostepanenko, V, M.; Phys. Rept. 353, 1 (2001).
[22] Frampton, P. H.; Gauge Field Theories (The Benjamin / Cummings Pub. Com-
pany, 1987).
[23] Greiner, W. and Reinhardt, J.; Field Quantization (Springer-Verlarg, Berlin,
1996).
[24] Toms, D. J.; J. Phys. A(36), 5121 (2003).
90
[25] Ribeiro Filhp, A.; Vasconcelos, D. S.; Introducao ao Calculo das funcoes elpticas
jacobianas (Centro Editorial e Didatico da UFBA, 1994).
[26] Lira Real, F. J.; Estudo das solucoes da vacuo para campos escalares submetidos
a condicoes de contorno, Dissertacao de mestrado apresentada ao Programa de
Pos-Graduacao em Ciencias Fsicas do CCE da UFES, Vitoria-ES (2007).
[27] Feynman, R. P. Hibbs, A. R.; Quantum Mechanics and Path Integrals (McGraw
Hill, 1965).
[28] Possa, D., Pereira, F. e Nogueira, J. A.; Rev. Bras. Ens. Fis. 27(3), 413 (2005).
[29] Jackiw, R.; Phys. Rev., D 9(6), 1686 (1971).
[30] Arfken, G. B. and Weber, H. J.; Mathematical Methods for Physicist (Academic
Press, San Diego, 1995).
[31] Salam, A. and Strathdee, J.; Nucl. Phys. B90, 203 (1975).
[32] Butkov, E.; Fsica Matematica (Editora Guanabara Dois S. A., Rio de Janeiro,
1978).
[33] Pereira, F.; Condicoes de Contorno De Neumann homogeneas como restauradoras
de simetria, Dissertacao de mestrado apresentada ao Programa de Pos-Graduacao
em Ciencias Fsicas do CCE da UFES, Vitoria-ES (2005).

Potrebbero piacerti anche