401

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

Uma Introduc~ao aos Metodos de

Calculo da Energia de Casimir
J.J. Passos Sobrinho e A.C. Torty
Instituto de F
sica
Universidade Federal do Rio de Janeiro
Cidade Universit
aria, Ilha do Fund~
ao, Caixa Postal 68528
21945-970 Rio de Janeiro, Brasil

Recebido em 20 de Marco de 2001. Aceito em 09 de Outubro de 2001.

O efeito Casimir e um dos aspectos mais intrigantes da fsica moderna. A previs~ao da exist^encia de
uma forca macroscopica de origem qu^antica entre condutores neutros e sua posterior comprovac~ao
experimental e sem duvida um dos triunfos da teoria qu^antica dos campos. Complementando
uma introduca~o conceitual publicada recentemente nesta revista, apresentamos alguns metodos de
calculo da energia de Casimir, que e a grandeza fundamental que origina o efeito Casimir.
The Casimir eect is one of the most intriguing aspects of modern physics. The prediction of
the existence of a macroscopic force of quantum origin between two neutral conductors and its
subsequent experimental verication is without doubt the hallmark of quantum eld theory. The
present work complements a conceptual introduction recently published in this journal by presenting
some of the methods of evaluation of the Casimir energy which gives rise to the Casimir eect.

I Introduc~ao
Em 1948 H.B.G. Casimir [1] previu que duas placas
condutoras planas, paralelas e bem proximas sofreriam uma forca de atrac~ao mesmo quando postas completamente descarregadas no vacuo. Tal forca, que
chamamos de forca de Casimir, seria dada por:

F= A

2 ~c
;
240 a4

(1)

onde A e a area de cada uma das placas, a a separaca~o entre elas e o sinal menos e uma indicac~ao de que
a forca e atrativa. Para placas de 1 cm2 de area e
separac~ao de 1 m, a forca atrativa e de 0; 013 dynas,
muito pequena, porem observavel. De fato, em 1958 M.
Sparnaay [2] mediu tal forca, embora seu experimento
fosse muito pouco preciso. Contudo, em experimentos
recentes realizados por Lamoreaux [3] e, de modo independente, por Mohideen e Roy [4], a forca de Casimir
foi medida com grande precis~ao. Essas medidas n~ao
deixam qualquer duvida sobre a exist^encia concreta do
efeito descoberto por Casimir e que leva seu nome.
 jandir@if.ufrj.br
y tort@if.ufrj.br

Figura 1. A introduc~ao de placas condutoras neutras no

vacuo qu^antico eletromagnetico distorce as oscilac~oes de
ponto zero deste ultimo. A consequ^encia e uma forca de
atrac~ao macroscopica entre as placas, sendo este o efeito
Casimir.

De acordo com Casimir [1], o vacuo qu^antico

eletromagnetico e alterado pela presenca das placas
metalicas. Essas imp~oem condic~oes de contorno ao
campo eletromagnetico, mesmo ao que existe apenas
como utuaco~es do vacuo qu^antico. As condic~oes de
contorno alteram a energia do vacuo e a alterac~ao, que
e chamada de energia de Casimir, e que da origem ao
efeito de atrac~ao entre as placas. A alteraca~o de energia
calculada por Casimir e dada por:

E0 = A

~c 2

720 a3

(2)

402

J.J. Passos Sobrinho e A.C. Tort

limite 0 e (ii) Q() e bem denida quando  6=0 . O

par^ametro  e chamado neste contexto de par^ametro
de regularizac~ao. A segunda etapa no processo de renormalizac~ao consiste em subtrair da express~ao regularizada uma quantidade Qesp (), que e bem denida
devido a regularizac~ao e que a teoria nos indica como
espuria, obtendo Q() Qesp (). A terceira etapa consiste em tomar o limite dessa diferenca quando  ! 0 .
Esse limite e o que chamamos de valor renormalizado da
grandeza Q, originalmente mal denida. O valor renormalizado e aquele ao qual atribumos signicado fsico
e supomos em tese, mensuravel. A energia de Casimir
fornece um exemplo simples do processo de renormalizaca~o. Como e facil notar, ela e a renormalizac~ao da
energia do vacuo sob condic~oes de contorno. De fato,
o primeiro somatorio em (3) e essa energia, em geral,
mal denida. Seja

Derivando-se essa energia em relac~ao a separac~ao a,

obtem-se a forca atrativa dada por (1).
Embora o efeito Casimir original seja um efeito
do campo eletromagnetico, todo campo relativstico
qu^antico pode sofrer uma alterac~ao de energia do seu
vacuo quando submetido a condic~oes de contorno. Tal
alterac~ao tambem e chamada de energia de Casimir, assim como o efeito dela decorrente e chamado de efeito
Casimir do campo em quest~ao. Neste trabalho, consideraremos o efeito Casimir de um campo escalar. O
objetivo sera fazer uma apresentac~ao didatica de alguns dos metodos de calculo da energia de Casimir. O
presente trabalho deve ser visto como uma continuaca~o
de um trabalho mais conceitual publicado nesta revista
[26].
Dissemos que a energia de Casimir e a alterac~ao da
energia do vacuo de um campo qu^antico quando este e
submetido a condic~oes de contorno. Se o espectro de
energias do sistema e dado pelas frequ^encias !n , onde
n varre um determinado conjunto de ndices, teremos
que a energia de Casimir sera dada por:
"

ECasimir =

X ~!n

"

X ~!n

com c: de c:

"

X ~!n

sem c: de c:

(3)
onde com c. de c : indica que na primeira soma, o espectro e o do sistema submetido a condico~es de contorno, enquanto que sem c. de c. indica que, na segunda soma, o espectro e o do sistema livre de condic~oes
de contorno. Entretanto, essa denic~ao de energia de
Casimir, e outras equivalentes, e problematica, pois
cada uma das somas acima e divergente assim como
a diferenca entre elas. Trata-se de quantidades mal
denidas. Para dar sentido fsico a essas quantidades,
e necessario realizar nelas o que costuma ser chamado
de renormalizac~ao. A renormalizac~ao de uma quantidade e feita normalmente em tr^es etapas. A primeira e
chamada de regularizac~ao da quantidade mal denida.
Para regularizar uma quantidade Q mal denida, devemos denir uma nova quantidade dependente de um
novo par^ametro; digamos que  seja o novo par^ametro
e Q() a nova quantidade. Dizemos que Q() e a regularizac~ao de Q se possuir as seguintes propriedades:
(i) Q() tem Q por limite quando  tende para algum

#()

(4)

com c: de c:

sua vers~ao regularizada pelo par^ametro de regularizaca~o . No nosso contexto de teoria de campos, a energia
do vacuo puro e simples, sem condic~oes de contorno ou
outra in u^encias externas e uma grandeza espuria. Ela
e o segundo somatorio em (3), que representamos por
"

X ~!n

#()

(5)

sem c: de c:

sua express~ao regularizada. Ao contrario de (3), a

diferenca:
"

X ~!n

#()

"

com c: de c:

X ~!n

#()

sem c: de c:

(6)

e, por denic~ao de regularizac~ao, livre de innidades e

perfeitamente regular, embora n~ao tenha sentido fsico,
pois depende da regularizac~ao utilizada e, portanto, em
ultima analise, de quem esta fazendo o calculo e escolheu a regularizac~ao em quest~ao. Tomando, ent~ao,
o limite em que desaparece o par^ametro da regularizaca~o obtemos a energia renormalizada do vacuo sob
condic~oes de contorno, que e a energia de Casimir:

c
8"
< X

(ren:)
ECasimir
= lim
!0 : n

~!n

#()

com c: de c:

"

X ~!n

#()

sem c: de c:

9
=
;

(7)

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

O processo de renormalizac~ao depende, e claro, da regularizac~ao utilizada. A regularizac~ao pode ser feita de
varias maneiras, que s~ao conhecidas na literatura especializada como metodos ou tecnicas de regularizac~ao.
S~ao os metodos de regularizac~ao que permitem atribuir
um siginicado fsico sensato a (3), e as denic~oes que
lhe s~ao equivalentes. Outras quantidades divergentes
que aparecem quando aplicamos a teoria qu^antica de
campos em outros contextos tambem ganham sentido
fsico gracas aos metodos de regularizac~ao. Como consequ^encia dos esforcos de varias gerac~oes de fsicos
teoricos, hoje em dia temos ao nosso dispor um certo
numero de metodos de regularizac~ao que podem ser empregados, de acordo com o problema em quest~ao, com
maior ou menor ecacia. Acreditamos rmemente que
os resultados sicamente relevantes n~ao dependem dos
metodos particulares de regularizac~ao e renormalizac~ao
que foram escolhidos.
Neste trabalho, queremos introduzir o leitor a quatro metodos de regularizac~ao que permitem calcular
energias de Casimir, a saber:
(a) o metodo do corte nas frequ^encias;
(b) o metodo da discretizaca~o do espaco (ou regularizac~ao na rede);
(c) o metodo da func~ao zeta generalizada;
(d) e o metodo da func~ao de Green.

403

Exemplicaremos cada um desses metodos com sistemas simples: o ubquo oscilador harm^onico simples e o campo escalar real sem auto-interac~ao ou outras interac~oes hipoteticas, exceto as que est~ao sendo
simuladas pelas condic~oes de contorno que lhe ser~ao
impostas. Essa escolha de exemplos permitira que
ressaltemos os aspectos principais das etapas assinaladas acima, sem que a nossa atenc~ao seja desviada
por detalhes que n~ao s~ao importantes a compreens~ao
dos metodos. A lista acima n~ao esgota os metodos de
calculo, pois a ela poderamos acrescentar, por exemplo,
o metodo da regularizac~ao dimensional ou os metodos
locais, como o da func~ao zeta local, mas a sua inclus~ao e
sua discuss~ao detalhada tornaria este trabalho demasiadamente longo.
Como e costumeiro em teoria qu^antica de campos,
faremos uso de unidades naturais, mantendo a constante de Planck ~ e a velocidade da luz c iguais a unidade
em todos os calculos. Em unidades naturais a energia tem dimens~ao do inverso do comprimento. Para
restaurar a unidade de energia usual, basta multiplicar
o resultado dado em unidades naturais pelo fator ~c.

II A energia de Casimir
Comecemos por recordar como a energia do vacuo surge
na teoria qu^antica de campos. Consideremos, para xar
ideias, um campo escalar real e livre em 3+1 dimens~oes.
A densidade lagrangiana desse campo e dada por:

c


L = 12 @'(@tx; t)

1
r'(x; t)
r'(x; t) 12 m2'2(x; t);
(8)
2
onde m e a massa da partcula escalar associada ao campo. Das equac~oes de Euler-Lagrange segue-se, ent~ao, a
equac~ao de movimento classica para o campo '(x; t), que se l^e:
2

@ 2 '(x; t)
r2'(x;t) + m2'(x; t) = 0:
(9)
@t2
Na aus^encia de condic~oes de contorno, escrevemos a soluca~o geral dessa equac~ao como uma combinac~ao linear de
ondas planas:
Z
d3 k
p [a exp (ik
x i!kt) + ak exp ( ik
x + i!kt)] ;
'(x; t) =
(10)
(2)3 2!k k
p
onde k e o vetor de onda, !k = k2 + m2 , de acordo com a relac~ao de dispers~ao do campo livre; ak e ak s~ao as
amplitudes das ondas planas, e ak , e o complexo conjugado de ak para garantir o carater real do campo escalar. O
momento can^onico por unidade de volume e dado por  = @ L=@'=@t, e obtemos por meio de (10):
(x;t) = ( i)

d3 k
(2)3

!k
[a exp (ik
x i!k t) ak exp ( ik
x + i!k t)] :
2 k

(11)

404

J.J. Passos Sobrinho e A.C. Tort

A quantizac~ao do campo escalar segue o procedimento

can^onico, que consiste em transformar o campo e
seu momento conjugado em operadores denotados por
'^(x; t) e ^ (x;t), respectivamente, e postular para eles
as relac~oes de Heisenberg para tempos iguais:
['^(x; t); ^ (x0 ;t)] = i(x x0 );

(12)

['^(x; t); '^(x0 ;t)] = [^(x; t); ^(x0 ;t)] = 0:

(13)

A quantizac~ao can^onica do campo escalar implica

na transformac~ao em operadores dos coecientes de
Fourier em (10) e (11). O coeciente ak torna-se o operador a^k e o coeciente ak torna-se o operador a^yk , que
e o hermitiano conjugado de a^k. Em termos desses operadores, tambem chamados de osciladores do campo, as
relac~oes de Heisenberg (12) e (13) tomam a forma:
h

i
a^k ; a^yk = (2)3 (k k0 ) ;

(14)

h
i
[^ak ; a^k ] = a^yk ; a^yk = 0:

(15)

O hamiltoniano da teoria e obtido do lagrangeano (8)

pelo procedimento usual de efetuar uma transformaca~o
de Legendre. Depois de quantizado, o hamiltoniano assume a forma:
1
H^ =
2

d3 x ^ 2 + (r'^)2 + m2 '^2 :

(16)

Fazendo-se uso da vers~ao quantizada de (10) e (11), esse

hamiltoniano pode ser expresso em termos dos operadores a^k (t) e a^yk . O resultado e:

H^ =

d3 k a^yk a^k +

1
! :
2 k

(17)

Como podemos inferir da forma da (17), a quantizaca~o

can^onica de um campo escalar real livre mostra-nos que
ele pode ser considerado como uma colec~ao formada por
um numero innito de osciladores harm^onicos quantizados independentes, uma vez que a hamiltoniana do
campo e uma soma de hamiltonianas de osciladores
harm^onicos de diferentes frequ^encias. Os operadores
a^k (t) e a^yk (t), assim como '^(x; t) e ^ (x; t), atuam sobre vetores que pertencem a um particular espaco vetorial complexo chamado espaco de Fock, ou de numero
de ocupaca~o. Este espaco vetorial e um produto direto
dos espacos de Hilbert associados a cada oscilador independente que representa um modo normal de vibraca~o
do campo.
A imposic~ao de condic~oes de contorno no campo escalar afeta sua parte espacial e, portanto, modica os
possveis modos normais de vibrac~ao do campo e suas
respectivas frequ^encias. Os modos normais s~ao ent~ao
dados por certas func~oes modais Fk (x) e frequ^encias
!k , onde agora k assume apenas os valores ditados pelas
condic~oes de contorno. O campo assume ent~ao a forma:

c
^(x; t) =

X h

i
a^k Fk (x) exp( i!kt) + a^yk Fk (x) exp(i!k t) ;

(18)

d
que devemos comparar com (10). Notemos que, em
(18), usamos o smbolo de somatorio { que tambem
usaremos na (21) { enquanto que, em (10), foi usado o
smbolo de integrac~ao sobre k; com isto queremos indicar que condic~oes de contorno em geral discretizam
o espectro. As func~oes modais Fk (x) substituem as
exponenciais harm^onicas, que s~ao as func~oes modais
na aus^encia de condic~oes de contorno. O somatorio
estende-se sobre os valores de k ditados pelas condic~oes
de contorno. As func~oes modais Fk (x) s~ao determinadas resolvendo-se a equac~ao de Helmholtz associada
com a (9), acrescida das ditas condic~oes de contorno:

r Fk (x) + k Fk (x) = 0:
2

(19)

As func~oes modais formam um conjunto completo e

ortonormal:

d3 x Fk (x) Fk (x) = kk :

0

(20)

As modicac~oes no campo ocasionadas pelas condic~oes

de contorno nos levam agora a express~ao analoga a (17),
dada por:


X
1
y
^
H=
a^k a^k + !k :
(21)
2
k

onde a soma estende-se aos valores de k ditados pelas

condic~oes de contorno. No estado de vacuo, nenhum
modo normal esta excitado e a energia e dada apenas pelo termo !k=2 em (16) e (21), nos casos em que,
respectivamente, ha ou n~ao ha condic~oes de contorno.
Desse modo obtemos a energia de Casimir (7). Passemos, ent~ao, a alguns metodos de regularizac~ao e renormalizac~ao usados para calcular essa energia.

405

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

III O metodo do corte

Consideremos, por simplicidade, um campo escalar real
'^ (x; t), sem massa, em uma dimens~ao temporal e uma
dimens~ao espacial, isto e, em 1 + 1 dimens~oes espacotemporais. A soluc~ao da equac~ao Helmholtz unidimensional pode ser escrita na forma:

Fk (x) = C exp(ikx) + C  exp( ikx)

= A cos (kx) + B sin (kx) :

(22)

Vamos supor que as condic~oes de contorno impostas a

parte espacial do campo escalar sejam as de Dirichlet em x = 0 e em x = a. Nesse caso, segue que
Fk (0) = Fk (a) = 0. A soluc~ao dada pela (22) reduz-se
ent~ao a:
 nx 
;
(23)
Fn (x) = B sin
a
onde n 2 N = f1; 2; 3; : : :g e as frequ^encias normais s~ao
dadas por !n = jkn j = n=a. A energia do vacuo a ser
regularizada e:
1 X n
E0 (a) =
:
2 n2N a

(24)

A regularizac~ao por corte consiste na introduc~ao de

um fator no somatorio que torne a soma convergente.
Tal fator corta a contribuic~ao de parte do espectro das
frequ^encias, da o nome desse metodo de regularizac~ao.
Escolheremos, aqui, o fator como sendo exp ( !n ),

onde !n = n=a e  e um numero real positivo. Observemos que o corte exponencial e uma das possibilidades, talvez a mais simples, mas n~ao a mais geral.
Usando-o na equaca~o anterior, podemos escrever:
1 X n
exp ( n=a)
2 n2N a
1 d X
=
exp ( n=a)
2 d n2N

E0 (a; ) =

(25)

O somatorio pode ser identicado como uma progress~ao

geometrica formada por um numero innito de termos
cuja raz~ao e exp ( =a) e sua formula de soma:
X
q
; jqj < 1:
(26)
qk =
1 q
k2N
Somando tal progress~ao, obtemos:

E0 (a; ) =

1 d
exp ( =a)
:
2 d 1 exp ( =a)

(27)

E conveniente que, antes de efetuar a derivac~ao indicada, exploremos um pouco mais o termo entre
colchetes na (27). Os polin^omios de Bernoulli Bk (x)
s~ao denidos por [5]:
X
t exp (xt)
tk
=
Bk (x) ;
exp (t) 1 k2N 1
k!

(28)

Usando essa formula em (27), obtemos:



1 d X Bk (1)
 k 1
E0 (a; ) =
2 d k2N 1 k!
a




B0 a B1 B2 
1 d
+
+ O 3 ;
=
2 d
0!  1! 2! a

(29)

d
onde usamos a abreviac~ao Bk = Bk (1). Temos que
B0 = 1, B1 = 1=2 e B2 = 1=6 [5]. Fazendo a derivada
em (29), obtemos:


1 a
1
E0 (; a) =
+ O 2 :
(30)
2
2 
24 a
A seguir, redeniremos (renormalizaremos) a energia do
vacuo no esprito da denic~ao dada por (7). Considere-

mos dois universos unidimensionais nitos, um formado

por uma cavidade unidimensional de comprimento L
com uma partic~ao que a subdivide em uma cavidade
de comprimento a, outra de comprimento L a, (veja
a Fig. 2) e outro universo formado por uma segunda
cavidade de comprimento L. A denic~ao dada por (3)
pode ser rescrita na forma:

E0 (a) =

lim

!0; L!1

[E0 (a; ) + E0 (L a; ) E0 (L; )] ;

(31)

406

J.J. Passos Sobrinho e A.C. Tort

onde:

E0 (L a; ) =
e:

1 (L a)
2 2

 1
+ O 2 ;
24 (L a)
(32)

1 L  1
+ O 2 ;
(33)
2
2 
24 L
Fazendo uso da (31), obtemos o resultado fsico procurado:

E0 (a) =
:
(34)
24a
Consequentemente, a forca de Casimir e:

E0 (L; ) =

@E0 (a)

=
:
(35)
@a
24 a2
O sinal algebrico negativo indica que a forca entre os
pontos da fronteira e atrativa. O resultado nal dado
por (34) poderia ser parcialmente antecipado por meio
da utilizac~ao de argumentos dimensionais, os quais nos
teriam levado a concluir que a energia do vacuo deveria
ser proporcional a 1=a, ja que em unidades naturais a
energia tem dimens~oes do inverso do comprimento. Entretanto, o sinal algebrico e o fator numerico corretos
so podem ser obtidos por meio de calculos explcitos.
Esta impossibilidade de antecipar o carater atrativo ou
repulsivo da forca de Casimir, que depende do tipo de
campo estudado e das condic~oes de contorno impostas
a esse campo, e conhecida como o \misterio da forca de
Casimir " [7].
F (a) =

Figura 2. Esquema de subtrac~ao para a obtenc~ao da energia de Casimir de um campo escalar sem massa em 1 + 1
dimens~oes e que obedece condico~es de Dirichlet em x = 0; a
e L.

raz~ao, esse metodo e chamado de regularizaca~o na rede.

Em uma dimens~ao espacial, o processo de discretizac~ao
do espaco leva-nos a substituir a equaca~o de movimento classica para o campo em quest~ao por um sistema de N equac~oes diferenciais ordinarias acopladas,
com N 2 N . Na interpretac~ao usual, cada uma dessas
equaco~es representa um oscilador acoplado a seus vizinhos adjacentes. Em seguida, diagonalizamos o sistema
reduzindo-o a um conjunto de osciladores harm^onicos
desacoplados que s~ao ent~ao quantizados. A energia do
ponto zero e a soma das frequ^encias normais multiplicada pelo fator 1=2. Convem ressaltar que esse metodo
e aplicado no contexto da mec^anica classica no estudo
dos modos normais de um sistema constitudo por massas discretas e id^enticas acopladas [6].
Como exemplo concreto, consideremos o campo escalar real ' em 1 + 1 dimens~oes da seca~o anterior.
A equac~ao de movimento classica para tal campo e a
equac~ao da onda:

@ 2 '(x; t)
@x2

@ 2 '(x; t)
= 0:
@t2

(36)

Suponhamos que condic~oes de contorno sejam impostas

sobre o campo em x = 0 e x = L. Essas condico~es
podem ser condic~oes de Dirichlet, Neuman, mistas,
periodicas ou mesmo antiperiodicas. Deixemo-las, no
momento, em aberto. Essencialmente, o metodo consiste em substituir os valores do campo no intervalo
[0; L] por um conjunto de N + 2 valores em N + 2
pontos intervalos (N 2 N ). Os pontos s~ao igualmente
espacados entre si por uma dist^ancia d > 0, denominada de par^ametro de rede. Nesse espaco unidimensional discreto, cada ponto recebe um endereco dado
por xj = jd , onde j 2 f0; 1; 2; :::; N + 1g. O campo,
com todos os seus valores no intervalo, e recuperado
fazendo-se N ! 1 e d ! 0, mas de tal forma que a
quantidade (N + 1)d = L permaneca constante. Esse
limite e tomado ao nal dos calculos para obter a energia de Casimir do campo.

IV O metodo da regularizac~ao
na rede
Uma vez que a origem da diverg^encia da energia do
vacuo esta na soma da energia de ponto zero de um
numero innito de osciladores obtidos na quantizac~ao
do campo em quest~ao, uma abordagem possvel consiste
na reduc~ao deste numero innito de graus de liberdade
a um numero nito. Isso pode ser feito considerandose o espaco, n~ao contnuo, mas sim discreto, i.e.: como
se este fosse uma rede tridimensional formada por pontos que mant^em uma dist^ancia xa entre si. Por esta

Figura 3. A discretizac~ao do espaco. Em uma dimens~ao

espacial, o numero de frequ^encias normais e nito e igual ao
numero de graus de liberdade N .

Para discretizar a equac~ao da onda, fazemos as substituic~oes: x 7! xj , '(x; t) 7! '(xj ; t)  'j (t) e:

@'(x; t)
@x

7! 'j (t) d'j (t) ;

1

(37)

407

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

e ainda,

@ '(xj ; t)
@x2

1 'j+1 (t) 'j (t)

d
d

'j (t) 'j 1 (t)

7!
:
d
(38)
Nesse caso, a equac~ao de onda para o campo escalar
discretizada transforma-se em um sistema de equac~oes
diferenciais ordinarias acopladas que se l^e:
2

d2 'j (t)
+2 !02'j (t) !02 ('j+1 (t) + 'j 1 (t)) = 0; (39)
dt2
onde denimos !02 := 1=d2 . As equac~oes acima s~ao totalmente analogas as equac~oes de movimento para uma
rede unidimensional formada por partculas de massas
id^enticas unidas por molas id^enticas, ou, se for o caso,
contas id^enticas presas a uma corda tensa de massa
nula. Adotando o procedimento usual de soluc~ao deste
sistema [6], escrevemos a soluc~ao tentativa:

'j (t) = C exp i(j  !t);

(jn) (t) = A(n) sin (jn ) exp (i!n t) ;

onde,

E0

com C 2 C e  e ! a serem determinados. Substituindo

essa express~ao para o campo em (39), obtemos:

(42)

Segue, ent~ao, que:

0 (t) = D exp (i!t) = 0 ;

(43)

que leva a D = 0 e,

E sin[(N + 1)] exp (i!t) = 0:

Consequentemente, temos que  e dado por:
n
;
(n = 1; 2; :::N );
n =
(N + 1)

(44)

(45)

ja que inteiros n~ao-positivos geram soluc~oes linearmente

dependentes e valores de n tais que n = N +1; N +2; :::
tambem n~ao contribuem pelo mesmo motivo. Este fato
n~ao deve ser surpresa, pois em uma dimens~ao, como n~ao
ha degeneresc^encia, os N graus de liberdade correspondem exatamente a N modos de vibrac~ao. A soluc~ao
dada por (42) ent~ao sera:


= !0
sin n
2
n=1


(48)
= !0 = exp i n :
2
n=1
Agora, utilizando a formula de soma de uma progress~ao
geometrica com um numero de termos nito:
k=1

'j (t) = [D cos(j) + E sin(j)] exp (i!t);

N
X

N
X

N
X


(41)
2
Para determinar completamente a soluc~ao, devemos especicar as condic~oes de contorno. Como um exemplo,
tomemos novamente as condic~oes de Dirichlet. Traduzidas em termos de condic~oes de contorno sobre o campo
na rede, temos: '0 (t) = 0, e 'N +1 (t) = 0. Para aplicalas, e conveniente escrever (40) na forma:


!n = 2!0 sin n ; (n = 1; 2; :::N )
(47)
2
s~ao as frequ^encias dos modos normais com n dado por
(45). A energia de ponto zero e dada pela soma dessas
frequ^encias:

(40)

! = 2!0 sin

( j = 1; 2; :::N ) ;
(46)

qk

qN 1
;
q 1

q 6= 1;

e denindo o ^angulo pela relac~ao:


n
n : n =
;
2 2(N + 1)
obtemos, apos algumas manipulac~oes:
[exp(iN ) 1]
E0 = !0 = exp(i)
exp(i) 1




sin N
2

:
= !0 sin (N + 1)
2 sin 2

 


1
1 :
= !0 cot
2
2
Substituindo por sua denic~ao, chegamos a:




1
d
E0 (L) = !0 cot
1 :
2
4L

(49)

(50)

(51)

(52)

Utilizando a expans~ao da cotangente proximo a x = 0

[5]:
1 3
1 1
x
x + O(x5 );
(53)
cot x =
x 3
45
obtemos nalmente de (52) o resultado:
2L

 3 d2
+



2
d 24L 5760L3
2L

 d
;
(54)
2
24L
onde ja desprezamos os termos que se anular~ao no limite contnuo da rede (d ! 0 e N ! 1).
Apos esses resultados preliminares, passemos ao
caculo da energia de Casimir. Consideremos, por conveni^encia, uma rede unidimensional de comprimento 2L

E0 (L) =

408

J.J. Passos Sobrinho e A.C. Tort

com o objetivo de, no nal, tomar o limite L ! 1 para

que o campo seja denido em todo o espaco. Suponhamos, ainda, que as condic~oes de contorno de Dirichlet
sejam impostas nos pontos x = L; 0; a e x = L. A
denic~ao de energia de Casimir associada a essa rede e,
ent~ao, dada por:

unitarias. Consideremos, no momento, apenas os operadores de posic~ao nas duas formulac~oes mencionadas.
Na formulaca~o de Schrodinger, os autovetores jxiS de
X^S s~ao independentes do tempo e satisfazem a equaca~o
de autovalores:

E0 = Llim
[E (j Lj) + E0 (a) + E0 (L a) E0 (2L)] ;
!1 0
(55)
veja a Fig. 4. Fazendo as substituic~oes necessarias e
tomando o limite contnuo, obtemos o resultado nal:

onde x e um numero real que representa o autovalor de

posic~ao associado ao autovetor jxiS . O autovalor x e
um resultado possvel de uma medida de posic~ao sobre a
reta. O mesmo problema na formulaca~o de Heisenberg
se escreve:


;
(56)
24 a
que esta em acordo com o obtido com o metodo do
corte. Esse resultado e o obtido por Cooke [8] para o
efeito Casimir em 1 + 1.

X^S jxiS = x jxiS ;

E0 (a) =

Figura 4. Esquema de subtrac~ao para a obtenc~ao da energia

de Casimir.

V A energia do vacuo como o logaritmo de um determinante

Uma maneira elegante e ecaz de calcular a energia de
Casimir consiste em expressa-la como o logaritmo de
um determinante que e denido pela teoria em considerac~ao, seja por meio de seu lagrangeano seja por
meio de sua equac~ao de movimento. Esta e geralmente
dada por um operador do tipo dito elptico e o determinante e dado diretamente em termos desse operador.
Seguindo [13], comecaremos recordando um pouco das
formulac~oes de Schrodinger e Heisenberg de um sistema
com um grau de liberdade classicamente descrito pela
coordenada cartesiana x e pelo momento linear p. O lagrangeano classico associado a tal sistema e dado por:

L=

m dx
2 dt

2

V (x) :

(57)

onde V (x) e o potencial ao qual a partcula de massa

m esta submetida.
Do ponto de vista da mec^anica qu^antica, o sistema e
descrito pelos operadores hermitianos independentes do
tempo X^ S e P^S na formulac~ao de Schrodinger, e pelos
operadores hermitianos dependentes do tempo X^H (t)
e P^H (t) na formulac~ao de Heisenberg. Na verdade,
o sistema admite uma innidade de formulac~oes, todas
elas relacionadas entre si por meio de transformac~oes

(58)

X^H (t) jx; tiH = x jx; tiH ;

(59)

onde denotamos jx; tiH o autovetor de X^H (t) associado ao autovalor x. As formulaco~es de Schrodinger
e Heisenberg conectam-se por meio da transformaca~o
unitaria:


^ ;
U^ (t) = exp iHt
(60)
onde H^ = H^ (t) e o operador hamiltoniano que descreve
a din^amica do sistema e e da forma:


P^ 2
(61)
H^ = S + V^ X^S :
2m
Os autovetores de posic~ao associados ao mesmo autovalor x nas duas formulac~oes relacionam-se por:


^ jxi ;
jx; ti = exp iHt

(62)

e os operadores de posic~ao por:



^ X^ S exp
X^H (t) = exp iHt

^ :
iHt

(63)

Suponhamos, agora, que no instante t1 medimos a

posic~ao da partcula e obtemos o autovalor x1 . Qual
e a amplitude de probabilidade de que no instante t2 a
encontremos na posic~ao x2 ? Essa amplitude pode ser
escrita na formulac~ao de Heisenberg ou de Schrodinger.
De fato, de (62) temos:
h

hx ; t jx ; t i = hx j exp iH^ (t
2

t1 ) jx1 i :

(64)

Pode-se mostrar que, para sistemas qu^anticos descritos

por hamiltonianos da forma dada por (61), o lado direito da equac~ao acima pode ser escrito em termos da
soma de todas as curvas no espaco-tempo x : t 7! x(t),
que unem os pontos 1 e 2, isto e, da soma de todos
os movimentos classicos imaginaveis, reais ou n~ao, que
comecam em x1 no instante t1 e terminam em x2 no instante t2 , veja a Fig. 5. Cada curva tem peso unitario
e uma fase que depende do funcional ac~ao avaliado sobre a curva em quest~ao. Formalmente, a resposta a
pergunta formulada acima se escreve [14]:

409

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

h x ; t jx ; t i
2

=
=

Z x(t2 )=x2

x(t1 )=x1
Z x(t2 )=x2
x(t1 )=x1

D [x] exp (iS [x])

 Z t2

D [x] exp i

t1

dt L [x (t) ; x_ (t)] ;

(65)

onde o smbolo D [x] denota a medida usada nesta integral peculiar.

Elaboremos um pouco mais a nossa resposta formal. Primeiramente, convem rescrever a ac~ao classica no espaco
euclidiano. Com este m, escrevemos t = i , com  2 R. Segue, ent~ao, que S = iSE , onde SE e a ac~ao euclidiana
dada por:
#
"  
Z 2
m dx 2
+ V (x) :
(66)
SE =
d
2 d
1
Este resultado sera empregado mais adiante quando reescrever a amplitude de transic~ao no espaco euclidiano.
Queremos relacionar a amplitude de transic~ao dada por (65) com a energia do estado fundamental do nosso
sistema qu^antico. Para isso, e conveniente considerar x2 = x1 ; t1 = T=2 e t2 = T=2. Nesse caso, a amplitude de
transic~ao sera dada por:



^  x1 i :
hx1 ; T=2j x1 ; T=2i = hx1 exp iHT
(67)
Vamos supor que o operador hamiltoniano
H^ tenha um conjunto de auto-estados H^ jni = En jni, ortonormais e
P
completos, isto e, hn jmi = nm e n jni hnj = ^1: Ent~ao:
(x1 ; T=2j x1 ; T=2i =
=

^ jni hnj x i
hx j exp iHT
1

exp ( iEnT ) hx1 jni hnj x1 i :

(68)

Integrando em x1 e fazendo uso da relac~ao de ortonormalidade:

Z

dx1 hx1 jni hnj x1 i =

obtemos
X

exp ( iEn T ) =

dx1 (x1 )  (x1 ) = 1;

dx1 hx1 ; T=2j x1 ; T=2i

dx1

Z x(T=2)=x1

x( T=2)=x1

x( T=2)=x1 (T=2)

Para obtermos a vers~ao euclidiana deste resultado, fazemos T

X

exp ( En TE ) =

(69)

D [x] exp (iS [x])

D [x] exp (iS [x]) :

(70)

! iTE e S ! iSE , o que resulta em:

x( TE =2)=x(TE =2)

D [x] exp ( SE [x]) :

(71)

Facamos a hipotese adicional de que o espectro de energia do operador hamiltoniano seja constitudo por autovalores positivos e n~ao-nulos. Neste caso, fazendo TE ! 1, vemos que o termo predominante e exp ( E0 TE ) e,
consequentemente, podemos escrever:
1
E0 = lim
ln
TE !1 TE

x( TE =2)=x(TE =2)

D [x] exp ( SE [x]) ;

(72)

410

J.J. Passos Sobrinho e A.C. Tort

ser explicitamente calculada. Vejamos dois exemplos

que levam a integrais de trajetoria gaussianas:

t2

O oscilador harm^onico simples

Considere-se primeiro, o oscilador harm^onico de

massa unitaria. Seu potencial e dado por V (x) =
(1=2) kx2 . Integrando o termo de energia cinetica por
partes e fazendo uso do fato de que o movimento e
periodico, podemos escrever a ac~ao euclidiana na forma:

t1
O

x2

1
SE [x] =
2

Figura 5. Curvas no espaco-tempo.

que e o resultado formal que buscavamos. Para uma

certa classe de integrais de trajetoria, ditas integrais
gaussianas (veja o Ap^endice A), a express~ao acima pode

TE
2

TE

d x ( )

d2
+ !2 x ( ) ; (73)
d 2

que leva a uma integral de trajetoria gaussiana. Consequentemente, a energia do estado fundamental do oscilador sera dada por:

c
E0 =
=

1
lim
ln
TE !1 TE
1
lim
ln
TE !1 TE

(Z
(

"

x( TE =2)=x(TE =2)

det

d2
+ !2
d 2

D [x] exp


1)
2

1
2

TE
2

TE

d x ( )

d2
+ ! 2 x ( )
d 2

#)

(74)

d
onde zemos uso de A10) do Ap^endice A. Observe-se
que o determinante deve ser calculado no subespaco
das curvas no espaco-tempo euclidiano, que obedecem
a condic~ao: x ( TE =2) = x (TE =2).

O campo escalar massivo

O segundo exemplo que consideraremos mais adiante e dado pelo campo escalar real massivo ' (; x),
em, por exemplo, d + 1 dimens~oes, isto e: x =
(x1 ; x2 ; : : : xd ), cuja densidade lagrangiana se escreve:

LE ['] = 21

"

@'
@

2

rd '
( )

2

+ m ' ; (75)
2

onde m e a massa da excitac~ao associada ao campo

qu^antico em quest~ao. Novamente, uma integrac~ao
por partes do termo cinetico e o uso da condic~ao
' ( TE =2; x) = ' (TE =2; x) conduzem a:
Z


1
SE ['] =
d dd x ' (x) @E2 + m2 ' (x) : (76)
2
Em analogia ao caso do oscilador harm^onico, a energia
do estado fundamental do campo sera dada por:

E0 =

1
lim
ln
TE !1 TE

(Z

'( TE =2)='(TE =2)

D [']

exp
=

lim

1
2

TE !1

d dd x ' (x)
n

1
ln det
TE

@E + m ' (x)
2

@E2 + m

 12 o
2



; (77)

onde @E2 e o operador de D 'Alembert no espaco euclidiano:

@2
(78)
@E2 := 2 + r2(d) ;
@
e o determinante deve ser calculado no espaco das
func~oes que obedecem as condic~oes dadas acima no
tempo euclidiano e, possivelmente, condic~oes de contorno impostas sobre algumas ou todas as variaveis espaciais, como ocorre no efeito Casimir. Nosso resultado
e puramente formal. E natural, portanto, que nos perguntemos sobre como proceder para calcular tais determinantes e extrair deles resultados fsicos.

411

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

V.1 O metodo da func~ao zeta generalizada

O metodo da func~ao zeta generalizada e um metodo
de calcular determinantes funcionais. Ele foi introduzido na teoria de campos no calculo da energia associada ao efeito Casimir e ac~oes efetivas por varios autores
[9], [10]. Veja, tambem, a refer^encia [11] quanto a uma
apresentac~ao mais detalhada. Aqui nos ateremos aos
seus aspectos principais remetendo o leitor a literatura
especializada para maiores detalhes.
Se A^ e um operador que satisfaz a equac~ao de autovalores () do Ap^endice A, denimos a func~ao zeta
generalizada que lhe e associada por:


 A^; s :=

(n ) s ;

(s 2 C ) ;

(79)

onde n s~ao os autovalores do operador A^ e < s e

sucientemente grande para dar sentido matematico
a esta denic~ao. De fato, e possvel mostrar que
P
s
n (n ) converge para < s > d=p, onde d e a dimens~ao da variedade espaco-temporal compacta sem
fronteiras em tela e p e a ordem do operador (elptico)
A^ [11], [12]. A func~ao zeta generalizada admite uma
continuac~ao analtica para uma func~ao meromorfa. Se
ela for analtica em s = 0, podemos escrever para o
determinante de A^:
 

det A^ := exp

d ^ 
 A; s js=0 :
ds

(80)

A motivac~ao por tras dessa denic~ao e facilmente percebida. De fato, suponhamos que haja um numero nito
de autovalores n de A^. Ent~ao, podemos escrever:
 

det A^

= n n
= n exp (ln n )
X

= exp

n
X

= exp

 s ln n

X d  s 

s=0 !

(81)

ds

s=0


d
 A^; s
:
ds
s=0

(82)

Entretanto, quando temos um numero innito de autovalores, mesmo que o produtorio construdo com os
autovalores de A^ seja convergente, a relac~ao entre o determinante e a func~ao zeta pode n~ao ser bem denida.

d
=
ds
s=0

ds

s=0

(83)

a menos que o somatorio convirja absolutamente, invalidando a (82). Nesse caso, e necessario prescrever
uma receita para o calculo do determinante. A receita
se l^e: (i) calcule os autovalores do operador A para as
condic~oes de contorno em quest~ao e construa a func~ao
zeta pertinente, (ii) faca a extens~ao analtica da func~ao
zeta para o plano complexo s, ou pelo menos para um
domnio que contenha a origem. Finalmente, (iii) faca
uso de (80). Se adotarmos o exposto acima, podemos
escrever a energia do estado fundamental dada por (72)
como:
1
ln(det A) 1=2
E0 =
lim
TE !1
TE
1
= + lim
ln(det A)
TE !1
2TE 

1
d ^ 
=
lim

A
;s
; (84)
TE !1
2TE ds
s=0
onde naturalmente, o operador A^ deve estar relacionado
com uma ac~ao euclidiana que leve a integrais funcionais
gaussianas encontradas nos dois exemplos precedentes.
Vejamos, a seguir, como esta relac~ao se aplica a duas
situac~oes concretas.

V.1.1. O oscilador harm^

onico simples
Como primeiro exemplo, consideremos o oscilador
harm^onico simples (que tambem pode ser visto como
um exemplo de uma teoria de campos em 0 + 1 dimens~oes). A energia do estado fundamental sera dada
por (74). Para calcular o determinante relevante, o
primeiro passo e resolver a equac~ao de autovalores:


ln n

Xd s

= exp
= exp

A raz~ao e que talvez n~ao seja possvel escrever:

d2
+ !2 n ( ) = n n ( ) ;
d 2

(85)

com a condic~ao de contorno n ( TE =2) = n (TE =2).

Reconhecemos facilmente que a soluc~ao dessa equaca~o
de autovalores e proporcional a exp (i ). Ao fazermos uso da condic~ao de contorno, os valores de  cam
restritos a multiplos inteiros positivos e negativos de
2=TE : Segue que o espectro de autovalores de (85) e
dado por:


2n
n =
TE
A func~ao zeta sera:

2

+ !2 ; n 2 Z:

(86)

412

J.J. Passos Sobrinho e A.C. Tort

d2
+ !2 ; s
d 2

2
TE

sX"

 # s

T ! 2
=
n + E
2
n2Z
"



 # s
2 2s X 2
TE ! 2
2s
= ! +2
n +
:
TE
2
n2N
2

(87)

O somatorio do lado direito pode ser identicado com uma func~ao de Epstein unidimensional n~ao-homog^enea (veja
o Ap^endice B). Em particular, nossa func~ao de Epstein tem a forma:
1
X
2
1
;
(88)
E1M (z ; 1) =
2
2 z
n=1 (n + M )
onde < z > 1=2 e M 2 e uma constante positiva. A continuac~ao analtica desta func~ao e dada por (veja o Ap^endice
B):


p
p
z 21
2
1
2  X  n z 12
M
E1 (z ; 1) =
+
+
K z+ 12 (2nM ) ;
(89)
2M 2z 2M 2z 1
(z )
(z ) n2N M

onde (z ) e a func~ao gama de Euler e K (z ) e uma func~ao de Bessel modicada de segunda especie. Fazendo as
adaptac~oes necessarias, obtemos:

d2
+ !2 ; s
d 2

s 12
!TE
1 2s
(s)
2 2 !

 s
22s ! 2s 2
+
(s)
!TE

1
2

n 2N

ns

1
2

K s+ 12 (n!TE ) :

(90)

Resta calcular a derivada da zeta em relac~ao a s e tomar o limite s ! 0. Essa tarefa torna-se simples quando
recorremos a um resultado importante que envolve a func~ao gama, a saber: quando s ! 0, a func~ao (s) tende
para 1=s. Se, por hipotese, G (s) for uma func~ao regular quando s ! 0, ent~ao,


d G (s)
lim
s!0 ds
(s)

1 dG(s) G(s) d (s)

= slim
2 (s)
!0 (s) ds
ds




1 dG(s) G(s)
2
= slim
1=s
!0 1=s ds
1=s2
= G (0) :

(91)

Identicando G (s) em (90) e calculando a derivada com (91), obtemos:

G(0) =

!TE
2 21

1
2
+2
2
!TE

1
2

n2N

1
2

K 21 (n!TE ) :

(92)

d
Substituindo este resultado em (84) e tomando o limite indicado, vemos que o segundo termo tende a zero,
pois TE 1=2 K 21 (n!TE ) ! 0 neste limite. Portanto, a
energia do estado fundamental do oscilador harm^onico
unidimensional e:
!
E0 = ;
(93)
2
resultado sobejamente conhecido. O leitor perguntarse-a se vale a pena empregar tecnica t~ao sosticada para

obter um resultado que pode ser obtido com tecnicas

mais familiares. A utilidade desta tecnica esta na sua
aplicac~ao em teoria qu^antica de campos, mas como
muitas vezes soi acontecer, o oscilador harm^onico simples (sempre ele) e o sistema ideal para ilustrar uma
tecnica nova de calculo. O exemplo seguinte, n~ao obstante sua simplicidade, diz respeito a teoria de campos.

413

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

V.1.2 Campo escalar sem massa em 1+1

dimens~
oes
Como segundo exemplo, consideremos a energia de
Casimir do campo escalar real ' (; x), sem massa, em
1 + 1 dimens~oes. Como antes, consideramos que esta
submetido a condic~oes de Dirichlet impostas em x = 0
e x = a, isto e: ' (; 0) = ' (; a) = 0. A equac~ao de
autovalores () se l^e:

@E2 n (; x) = n n (; x) :

(94)

As autofunc~oes n (; x) de @E2 formam uma base

ortonormal no espaco das func~oes que satisfazem as
condic~oes de Dirichlet. E facil ver que as autofunc~oes
ortonormalizadas s~ao:
 nx 
1 1
n (; x) = p p sin
exp (i ) ;
(95)
a 2
a
e que os autovalores s~ao dados por:
 n 2

;
(96)
a
N . Segue que a func~
ao zeta e dada

n = 2 +

2Ren2

com 
por:

1 dk X 
 n 2  s
2
2
 @E ; s = TE
k +
;
a
1 2 n2N
(97)
P
onde zemos uso da substituic~ao ! (TE =2) dk para
a parte contnua do espectro de autovalores dado por
(96). Para dar prosseguimento ao calculo, fazemos uso
do resultado:

d
dd u
= 2
z
2
2
(u +b )

d

(z )

d


b2 z+ 2 ;

(98)

que pode ser obtido com o auxlio de dois resultados.

Primeiro usamos:
Z
Z

1
d
du ud 1f (u);
(99)
d u f (u) = 2 d
0

onde u = juje depois [5]:

Z 1


c+2 2  
dx x 1 x2 + c2  1 =
B ;1 
2
2
0
onde:


;
2
(100)

(x) (y)
;
(101)
(x + y)
e < ( + =2) < 1 e <  > 0. Fazendo uso de (98) em
(97), obtemos:

B (x; y) =

T 1
@E ; s = E  2
2
2

(s)

1
2

 


2 +1

n2N

2 +1

(102)

Observemos que, como no caso do oscilador, a funca~o

zeta e da forma G (s) = (s) e que o somatorio no lado
direito de (102) e a func~ao zeta de Riemann R (2s 1).
Procedendo como antes, i.e.: calculando a derivada com
(91) e substituindo em (84), obtemos o resultado nal:

E0 (a) =
;
(103)
24 a
onde zemos uso do resultado R ( 1) = 1=12, que
pode ser obtido fazendo z = 1 na formula de re ex~ao
[5]:
 z 
2z (1 z ) R (1 z ) sin
= 1 z R (z ) : (104)
2
O resultado obtido para a energia do vacuo do campo
escalar real sem massa em 1 + 1 e o mesmo que obtivemos anteriormente com outros metodos. O sinal
negativo indica que os pontos de Dirichlet atraem-se
mutuamente.

VI O metodo da func~ao de
Green
Um segundo metodo de calculo do determinante e, consequentemente, da energia do estado fundamental, e o
metodo da func~ao de Green. De fato, como:
h

 i

ln det A^

 i

= T r ln A^ ;

(105)

onde o smb olo T r signica traco, ou seja, a soma dos

autovalores do operador A^ em quest~ao. Na representaca~o em que este e diagonal, podemos escrever [veja
(77)]:
h  i
1
E0 = lim
T r ln A^ ;
(106)
TE !1 2TE
onde A^ e o operador de interesse. Com isso eliminamos
o expoente 1=2 dentro do determinante em (77) e camos com o logaritmo do operador de interesse. A
ideia por tras do metodo e expressar o traco do operador A^ em termos da func~ao de Green que lhe e associada. Passemos aos exemplos.

VI.1 O oscilador harm^onico simples

Comecemos com o oscilador harm^onico simples.
Nesse caso:
 

d2
1
2
T r ln
+!
:
(107)
E0 = lim
TE !1 2TE
d 2
Derivando esta relac~ao em relac~ao a !2, temos:

@E0
1
= lim
Tr
@!2 TE !1 2TE

d2
+ !2
d 2

(108)

414

J.J. Passos Sobrinho e A.C. Tort

onde agora o traco e sobre o inverso do operador em

quest~ao. O operador inverso na representac~ao  e a
func~ao de Green e satisfaz a equac~ao diferencial:


d2
+ !2 G (;  0 ; !) = (
d 2

 0) ;

Consequentemente:

G (

 0 ; !) =

1 d exp [i (  0 )  ]
:
 2 + !2
1 2

(116)

(109)
Im

onde,

G (;  0 ; !) =
ou,

d2
+ !2
d 2

 0) ;

(

(110)

Re

G (;  0 ; !) = h j G^ j 0 i :

(111)

-i

Como queremos o traco da func~ao de Green, fazemos

 =  0 e escrevemos:
1
@E0
= lim
@!2 TE !1 2TE

TE
2

TE

d G (;  ; !) :

(112)

Vemos ent~ao que para prosseguir devemos, em primeiro

lugar, resolver o problema do calculo explcito da func~ao
de Green do oscilador harm^onico simples, o que pode
ser feito com o metodo da transformada de Fourier.
Substituindo em (109) as representac~oes de Fourier:
Z +1
d
0
G (;  ; !) =
exp [i (  0 )  ] g ( ; !) ;
2
1 
(113)
e,
Z +1
d
0
(  ) =
exp [i (  0 )  ] ;
(114)
2
1 
obtemos:

 2 + !2 g ( ; !) = 1:

Figura 6. O plano complexo  .

(115)

O integrando apresenta dois polos simples em  = i!,

veja a Fig. 6.
Se  >  0 , como exp [i (  0 )  ] =
exp [i (  0 ) <  (  0 ) =  ], fechamos o contorno
no plano =  > 0 no sentido anti-horario e usamos o
teorema de Cauchy, obtendo:
1
exp [ (  0 ) !] ;
(117)
2!
e se  <  0 , fechamos o contorno no plano =  < 0 no
sentido horario, obtendo nesse caso:

G+ (

 0 ; !) =

1
exp [ ( 0  ) !] :
(118)
2!
A func~ao de Green correta e ( ( ) e a func~ao degrau
de Heaviside):

G (

 0 ; !) =

c
G (

1
[ (  0 ) exp [ (
2!
1
=
exp ( j  0 j !) :
2!

 0 ; !) =

Como queremos o traco, escrevemos G (0; !) = 1= (2!)

e portanto:

@E0
1
1
=
lim
@!2
2! TE !1 2TE
1
=
:
4!
Logo, escrevendo @E0 =@!2 =

TE
2

TE

d

(120)

@!=@!2 (@E0 =@!),

 0 ) ! ] +  ( 0

 ) exp [ ( 0

 ) !]]
(119)

temos:

@E0 1
= :
(121)
@! 2
Integrando em relac~ao a !, obtemos nalmente:
!
E0 = + C;
(122)
2
onde C e uma constante de integrac~ao que podemos
escolher com sendo nula, recuperando deste modo o resultado familiar da mec^anica qu^antica usual.

415

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

VI.1.1 Campo escalar em 3+1 dimens~oes

Como segundo exemplo, consideremos uma vez mais
o campo escalar real ', mas desta feita, com um pouco
mais de realidade, em 3 + 1 dimens~oes. Para que possamos aplicar a tecnica da func~ao de Green ao calculo
do determinante bos^onico, admitiremos a hipotese de
que o campo escalar e massivo. A massa m associada
ao quantum do campo fara o papel da frequ^encia !
no caso do oscilador. Ao nal, se nos for conveniente,
poderemos tomar o limite de massa nula. A ac~ao euclidiana se escreve ent~ao:
Z


1
d d3 x ' (; x) @E2 + m2 ' (; x) :
SE ['] =
2
(123)
Suponhamos que, em z = 0 e z = a, o campo tenha que
satisfazer condic~oes de contorno de Dirichlet. Tambem
neste caso, a energia do estado fundamental sera dada
por:



1
E0 (a) = T lim
T r ln @E2 + m2 ; (124)
E !1 2TE
estando subentendido que o traco deve ser calculado
no espaco das func~oes que obedecem as condic~oes
de Dirichlet, alem da condic~ao ' ( TE =2; x) =
' (TE =2; x). Repetindo os passos que demos no caso
do oscilador harm^onico, derivamos a energia E0 (a) em
relac~ao a massa ao quadrado para obter:


@E0 (a)
1
2
= lim
T
r
@
+ m2 1 : (125)
E
2
TE !1 2TE
@m
Como antes:


@E2 + m2 G (; x;  0 ; x0 ) = (  0 ) (x x0 ) ;
(126)
o que signica que na representac~ao de coordenadas:


G (; x;  0 ; x0 ) = @E2 + m2 1 (  0 ) (x x0 ) ;
(127)
ou ainda:


G (; x;  0 ; x0 ) = h; xj @ 2 + m2 1 j 0 ; x0 i : (128)
E

A geometria do sistema que estamos estudando permite que a func~ao de Green possa ser construda com o
metodo das imagens. De fato, para condic~oes de contorno de Dirichlet e possvel mostrar que [15]:
X
G (; x;  0 ; x0 ) =
G0 (  0 ; x x0 +2anu^)
n2Z
X
G0 ( +  0 ; x + x0 +2anu^) ;
(129)
n2Z
onde G0 (  0 ; x x0 ) e o propagador da partcula
escalar livre e u^ = (0; 0; 0; 1). O primeiro somatorio

representa a propagac~ao entre ( 0 ; x0 ) e (; x) com

um numero par de re ex~oes; o segundo somatorio (e
o sinal negativo) representa a propagac~ao entre ( 0 ; x0 )
e (; x) com um numero mpar de re ex~oes, veja a
Fig. 7. O termo 2anu^ no argumento da funca~o de
Green livre localiza a posic~ao das imagens. Mais adiante mostraremos que, no calculo do traco, o segundo
somatorio n~ao depende da dist^ancia a e, portanto, pode
ser descartado. No momento, porem, deixemos este
ponto de lado e concentremos nossa atenc~ao no propagador G0 (  0 ; x x0 ). Como mostrado no Ap^endice
C, este propagador pode ser calculado com o metodo
do tempo proprio introduzido por J. Schwinger em um
famoso artigo publicado em 1951 [16]. O resultado se
l^e:

G0 ( 

 0 ; x x0 ) =

m
K (m j
j) ;
42 j
j 1

(130)

onde K1 (m j
j) e uma func~ao de Bessel modicada com

2 := (  0 )2 +(x x0 )2 . Fisicamente, esse resultado
pode ser interpretado como descrevendo a propagac~ao
de uma partcula escalar livre em quatro dimens~oes euclidianas na representac~ao de coordenadas. Passemos,
agora, ao calculo da energia de Casimir do campo em
quest~ao.
P'

Figura 7. A geometria simples das superfcies de Dirichlet

paralelas permite o uso do metodo das imagens no calculo
da func~ao de Green relevante.

VI.1.2 A energia de Casimir do campo

escalar em 3 + 1 dimens~oes
Voltemos ao problema original e construamos a
func~ao de Green para as condic~oes de Dirichlet. Substituindo (130) em (129), temos:

G (; x;  0 ; x0 ) =
=

G0 (

n2Z

 0 ; x x0 +2anu^)

m X K1 (m j
+ 2anu^j)
:
42 n2Z j
+ 2anu^j
(131)

416

J.J. Passos Sobrinho e A.C. Tort

A subtrac~ao do termo n = 0 corresponde a subtraca~o

de (129) ou (131) do propagador da partcula livre
na aus^encia de placas. Outro modo de justicar essa
subtrac~ao e reconhecer que esse termo n~ao depende da
dist^ancia entre as placas. Substituindo este resultado
na (125), obtemos:

Como queremos o propagador no mesmo ponto do

espaco-tempo euclidiano, segue que:
(am) X 1
G (; x; ; x) = 2 2
K (2ma jnj) ; (132)
8 a n2Z f0g jnj 1

em que o termo (divergente) correspondente a n = 0

foi excludo e o propagador, portanto, renormalizado.

TE

2
@E0
1
= lim
d dx
2
TE
TE !1 2TE
@m
2
(am) X 1
= A 2
K (2man) ;
8 a n2N n 1

dy

Z a
0

dz G (; x; ; x)
(133)

d
onde A e a area da superfcie sobre a qual as condic~oes
de Dirchlet vigoram e um fator 2 foi introduzido ao
fazermos a troca Z f0g por N . Para integrar (133),
fazemos uso da relaca~o [5]:



d j 
[z K (z )] = ( 1)j z  j K j (z ) ;
zdz

(134)

(135)

1 @E0
1 @ X m2
=
K (2amn) :
2
A @m
82 a @m2 n2N n2 2

(136)

(140)

valida para n 2 N . Segue, ent~ao, que:

1 X 1
:
162a3 n2N n4

(141)

A soma n2N n 4 dene a func~ao zeta de Riemann

R (4). Seu valor numerico e [5]:

R (4) =

4
:
90

(142)

Portanto, a energia de Casimir por unidade de area no

limite de massa zero sera:

A integrac~ao em m2 e imediata e leva a:

(137)

onde a constante de integrac~ao ca determinada pelo

fato de que, no limite extremo em que a massa da excitac~ao do campo vai ao innito, a energia de Casimir
deve ser nula. Essa condic~ao combinada com o fato de
que K (z ) ! 0 para z ! 1 (veja a (138) abaixo) nos
leva a concluir que a constante de integrac~ao e zero.
No limite em que am  1, apenas o termo correspondente a n = 1 em (137) e signicativo, e fazendo
uso de:
  1=2
K (z ) 
exp ( z ) ; z ! 1;
(138)
2z
com z = 2am, obtemos:

E0 (a)
1  am 3=2
exp ( 2am) ;

A
16a3 
de acordo com a literatura [21].

lim Kn (z )  (n 1)! 2n 1z n ;

z !0

E 0 ( a)
A

com a qual podemos mostrar que:


1 d  2
K1 (2amn) =
m K2 (2amn) :
2
amn dm
Segue ent~ao que:

(am)2 X 1
E0 (a)
=
K (2amn) ;
A
82 a3 n2N n2 2

Outro limite importante e o limite de massa nula, o

qual pode ser obtido se zermos o uso da relac~ao [5]:

(139)

E0 (a)
A

2
:
1440 a3

(143)

Esse resultado tambem concorda perfeitamente com o

encontrado na literatura [21]. Convem lembrar que a
multiplicac~ao desse resultado por um fator 2 reproduz
o efeito Casimir eletromagnetico para placas paralelas
perfeitamente condutoras separadas por uma dist^ancia
a. O fator 2 toma conta dos graus de liberdade de polarizaca~o do campo eletromagnetico. Entretanto, isso
acontece somente para a geometria simples das placas
paralelas, para outras geometrias a simulac~ao do campo
eletromagnetico por um campo escalar real n~ao e t~ao
simples assim.
Resta justicar a raz~ao pela qual a parcela do propagador correspondente a um numero mpar de re ex~oes
n~ao contribui para o efeito Casimir [17].
Em 3 + 1 o calculo do traco leva ao calculo da integral:

417

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

I=

dx

dy

Z a
0

dz

G0 (2; 2x; 2y; 2z +2anu^) :

(144)

n2Z

Introduzindo-se a variavel  := z + na, n 2 N, a integral pode ser rescrita como:

I=

dx

dy

X Z (n+1)a

n2Z na

dG0 (2; 2x; 2y; 2 ) :

(145)

Mas e facil ver que:

X Z (n+1)a

n2Z na

dG0 (2; 2x; 2y; 2 ) =

Z a

+
=

d : : : +

Z 2a

d : : : +

d : : : +

a
a

Z 3a
2

d : : : +

dG0 (2; 2x; 2y; 2 ) ;

d : : :

2
3

d : : :
(146)

d
e, portanto, esta integral n~ao dependera da dist^ancia a
entre as superfcies planas.

VII Considerac~oes nais e indicac~oes bibliogracas

Neste trabalho, procuramos contribuir para a literatura pedagogico-cientca em lngua portuguesa de
modo geral e para aquela que concerne aos efeitos da
vacuo qu^antico em particular, apresentando ao leitor
alguns dos metodos de calculo da energia de Casimir.
Comecamos discutindo o conceito de energia de Casimir
e salientamos a import^ancia da sua regularizac~ao. Depois mostramos, por meio do formalismo can^onico,
que a energia de Casimir e uma caracterstica das
teorias qu^anticas de campo relativsticas submetidas
a condic~oes de contorno. A seguir, apresentamos os
metodos de calculo da energia de Casimir, comecando
com dois metodos diretos: o metodo do corte e o
metodo da regularizac~ao na rede. Depois introduzimos
a noc~ao mais sosticada da energia do vacuo como o
logaritmo de um determinante funcional bos^onico e calculamos essa quantidade por meio do metodo da func~ao
zeta generalizada e depois por meio da func~ao de Green.
Em todos os casos discutimos exemplos cuja simplicidade facilita a compreens~ao do metodo em quest~ao.
Como ja mencionado anteriormente, os quatro metodos
discutidos aqui n~ao esgotam o arsenal de metodos utilizados no calculo da energia de Casimir, mas s~ao signicativos.
Finalmente, gostaramos de concluir dando ao leitor

algumas indicac~oes bibliogracas. Parte da literatura sobre o efeito Casimir e apresentada em um levantamento bibliograco recente que se deve a Lamoreaux [18]. Ao leitor interessado em aprofundar seus
conhecimentos, sem por isso ser aterrado por uma montanha de detalhes tecnicos, recomendamos o artigo de
Elizalde e Romeo [7] e a monograa de Mostepanenko
e Trunov [19], que contem uma vis~ao geral completa
e mais avancada do efeito Casimir e suas aplicaco~es a
diversos campos da fsica, especialmente a cosmologia
e a fsica das partculas elementares. Dos mesmo autores, o leitor desejoso de um aprendizado mais tecnico
e profundo podera consultar a refer^encia [20]. Neste
sentido, o artigo de revis~ao de Pluniem et al. [21], embora n~ao t~ao recente, e tambem recomendado. Progressos recentes, experimentais e teoricos, s~ao apresentados por Bordag, Mohideen e Mostepanenko em [22].
Na refer^encia [23], alem do efeito Casimir, o leitor encontrara discuss~oes sobre outros topicos relacionados
com a fsica do vacuo qu^antico, como por exemplo, as
forcas de van der Waals de dispers~ao e sua relac~ao com
o efeito Casimir. Todas essas refer^encias cont^em extensas colec~oes de refer^encias bibliogracas sobre o tema.
O artigo original de Casimir pode ser lido em [24], veja
tambem [25] quanto a uma vers~ao com notac~ao atualizada. Uma traduc~ao para o portugu^es do artigo original de Casimir pode ser encontrada no ap^endice da
refer^encia [26], que traz tambem uma sinopse (em portugu^es) da evoluc~ao do conceito de vacuo ao longo da
historia.

418

J.J. Passos Sobrinho e A.C. Tort

Agradecimentos
Os autores agradecem aos professores M. V. CougoPinto, C. Farina e F. C. Santos pela leitura atenta do
manuscrito original e sugest~oes. J. J. Passos Sobrinho
agradece ao CNPq pelo auxlio recebido.

Ap^endice A: integrais gaussianas

A energia do estado fundamental dada por (72) pode
ser calculada de modo exato nos casos em que a integral

dy1 :::dyN exp

funcional e da forma dita gaussiana em analogia com

as integrais gaussianas ordinarias. Vejamos ent~ao, sem
muito rigor matematico, e sim com argumentos de plausibilidade, como integrais funcionais gaussianas podem
ser explicitamente calculadas.
Considere-se a integral gaussiana ordinaria:


Z +1
1
1
1 2
dy exp
ay = (2) 2 a 2 ; a > 0: (A1)
2
1
Queremos generalizar este resultado e mostrar que:



N 
1
h
Y j A^ jY i = (2) 2 det A^
2

1
2

(A2)

d
onde jY i e um vetor pertencente a um espaco vetorial
real de dimens~ao nita,
0

y1
..
.
yN

jY i = B
@

1
C
A

(A3)

com yi 2 R. O operador A^ e um operador denido

positivo representado por uma matriz real e simetrica,
isto e: seus autovalores s~ao numeros reais, positivos e
nenhum deles e nulo. Suponhamos que o operador A^
possua um conjunto ortonormal completo de autovetores jn i tal que:

A^ jn i = n jn i ;

(A4)

n=1

jn i hn j = ^1:

(A5)

Podemos expandir o vetor jY i na base formada pelos

autovetores de A^:

jY i =

N
X
n=1

cn jn i :

(A6)

Segue que podemos escrever:

 

hY A^ Y i =

N X
N
X
m=1 n=1

N
X
n=1

c2n n :

(A7)

Observando que a transformac~ao de base e linear e que

seu jacobiano vale a unidade, escrevemos:

1
hY j A^ jY i
2

N
1X
c2 
2 n=1 n n

dc1 :::dcN exp

N

N
= (2) 2 det A^

1
2
1
2

(A8)

que e o resultado que nos propusemos obter. Quando o

vetor jY i tem uma innidade contnua de componentes,
a equac~ao acima torna-se uma integral funcional gaussiana, que formalmente representamos por:
Z

D [Y ] exp



1
hY j A^ jY i
2

1
2

det A^

E possvel mostrar que:

Z

D [Y ] exp



1
h
Y j A^ jY i = det A^
2

1
2

(A9)

onde o fator (2) 2 , que diverge no limite N ! 1,

e levado em conta na medida da integral funcional.
Tomando o logaritmo de (A9) obtemos
N

ln

cm cn hm j A^ n i

dy1 :::dyN exp

= (2) 2 N
n=1 n

com hn j m i = mn e,
N
X

D [Y ] exp



1
h
Y j A^ jY i = ln det A^
2

1
2

(A10)

Ap^endice B: func~oes de Epstein

As func~oes de Epstein multidimensionais inomog^eneas [27] (veja tambem Elizalde et al. [11] para uma
apresentac~ao moderna) s~ao denidas por:

419

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

ENM (z ; a1 ; a2 ; :::aN ) =

1
X

n1 ;n2 ;::nN =1

a1 n21 + a2 n22 +


+ aN n2N + M 2 z ;

(B1)

for < z > N=2 and a1 ; a2 ; :::aN > 0. Esta func~ao possui uma continuac~ao analtica para uma func~ao meromorca
que para N = 1 e dada por:
  1=2
1
1
+
2
z
2
z
2M
a
2M 1 (z )

E1M (z ; a) =
2


#

1 a(1 2z)=4
X
2Mn
1
:
 z 2 + 4 (Mn)(1=2) z K(1=2) z a1=2
n=1
Para prova-lo, consideremos inicialmente:
" 

E1M (z ; a) =
2

=a z

1
X
n=1

1
X

n=1

(B2)

an2 + M 2 z

n2 + C 2 z ;

(B3)

onde C 2  M 2=a. Com a representac~ao integral da func~ao gama de Euler:

Z 1
(z ) z =
dt tz 1 exp ( t) ; <z > 0 ;

(B4)

podemos escrever:

E1M (z ; a) =
2

a z
(z )

Z
0

dt tz 1 exp

X

C 2t

n=1

n2t

exp

(B5)

A seguir introduzimos a formula de Poisson [28]:

1
X

exp( n t) =
2

1
1 X
exp
t n= 1

n2 =t ;

(B6)

1
a qual, fazendo a substituic~ao t ! t, reescrevemos aqui de forma mais conveniente:
n=

1
X
n=1

1



1
1
1 X
exp n2  =t :
+ p +p
2 2 t
t n=1

exp( n2 t) =

(B7)

Segue ent~ao que podemos escrever para E1M (z ; a) a express~ao:

Z
Z 1

1 a zp
2
1a z 1 z 1
E1M (z ; a) =
dt t exp C 2 t +

dt tz 1=2 1 exp
2 (z ) 0
2 (z )
0
1 Z1





a zp X
+

dt tz 1=2 1 exp C 2 t exp n2  =t :
(z ) n=1 0
2

C 2t

(B8)

d
Recorrendo-se novamente a denic~ao da func~ao gama
de Euler, o primeiro termo reduz-se a 1=2M 2z , e o
segundo a:
r

1  (z 1=2) 1
:
2 a
(z ) M 2z+1
O terceiro termo pode ser tratado com a representac~ao

integral da func~ao de Bessel modicada do segundo

tipo, veja (C9) no Ap^endice C. O terceiro termo e ent~ao:
2

na1=2
M

z

1 2

Kz 1=2

2nM
pa

Coletando todos os termos e rearranjando-os de

420

J.J. Passos Sobrinho e A.C. Tort

modo conveniente, obtemos a continuac~ao analtica

2
de E1M (z ; a), a equac~ao (146), pois as continuac~oes
analticas da func~ao gama, (z ), e da func~ao de Bessel
modicada do segundo tipo, K (z ), s~ao bem conheci2
das. Observe-se que a estrutura de polos de E1M (z ; a)
ca determinada pela func~ao (z 1=2). Deste modo,
2
E1M (z ; a) e uma func~ao meromorca com polos simples
situados em z = 21 ; 21 ; 23 ; ::: .

Schwinger [16]:
1
=
@E2 + m2

Z
0

ds exp

onde s e um par^ametro invariante com dimens~oes de

comprimento ao quadrado. Outro resultado importante para os nossos propositos e a equac~ao de autovalores para o operador momentum linear ao quadrado
no espaco euclidiano:

Ap^endice C: o propagador da
partcula livre

P^ 2 j!; pi = p2 j!; pi ;

1
G0 (  0 ; x x0 ) = h; xj 2
j 0 ; x0 i
@E + m2
Z 1





=
ds exp m2 s h; xj exp
@E2 s j 0 ; x0 i :

(C3)


@E2 s j 0 ; x0 i =

h; xj exp

d! d p h; xj exp


@E2 s j!; pi h!; p j 0 ; x0 i

=
=

d! d3 p exp

d! d3 p
exp
2 (2)3

(C2)

onde p2 = !2 + p2 , e na representac~ao de coordenadas

P^ 2 ! @E2 . Portanto, para o propagador podemos escrever:

Comecemos com a representa

c~ao de tempo proprio


para o operador
@E2 + m2 1 introduzida por

Agora,



@E2 + m2 s ; (C1)


p2s h; xj !; pi h!; p j 0 ; x0 i

 0 ) + p
(x x0 )] ;

p2 s exp [i! (

(C4)

onde zemos uso da equac~ao de autovalores para o operador P^ , (C2), e suas autofunc~oes na representaca~o de
coordenadas:
h; xj !; pi = 1 4 exp i (! + p
x) :
(C5)
(2)
Cada uma das quatro integrais no espaco euclidiano dos momentos que devemos calcular e da forma:
r


Z +1



b2
2
du exp au + bu =
exp
;
(C6)
a
4a
1
e o resultado da integrac~ao e:

h; xj exp
onde denimos
2 := (



@E s j 0 ; x0i =
2

 0 )2 + (x x0 )2 . Segue que:
1
 0 ; x x0 ) =
162

G0 (

Agora fazemos uso da integral [5]:

Z 1
0

du u

exp

"

1
4s

 12 #4

1 ds
exp
s2

+
0

m s exp
2

 



=2
u

exp

2
;
4s


 p

2
:
4s


K 2  ;

(C7)

(C8)

(C9)

Revista Brasileira de Ensino de F

sica, vol. 23, no. 4, Dezembro, 2001

onde <  > 0, < > 0 e K (z ) e uma func~ao de Bessel modicada, obtendo:
m
G0 (  0 ; x x0 ) = 2 K1 (m j
j) ;
4 j
j

421

(C10)

que e o propagador da partcula escalar livre em quatro dimens~oes euclidianas na representac~ao de coordenadas.

References
[1] H.B.G. Casimir, Proc. K. Ned. Akad. Wet. 51, 793
(1948).
[2] M.J. Sparnaay, Physica 34 (1958) 751.
[3] S.K. Lamoreaux, Phys. Rev. Lett. 78, 5 (1997); erratum Phys. Rev. Lett. 81, 5475 (1988).
[4] U. Mohideen e A. Roy, Phys. Rev. Lett. 81, 4549
(1998).
[5] I.S. Gradshteyn and I. M. Ryzhik, Tables of Integrals,
th edition, (Academic Press, New
Series and Products, 5
York, 1994).
[6] A.P. French, Vibraciones y Ondas, (Editorial Reverte,
Barcelona 1974).
[7] E. Elizalde e A. Romeo, Am. J. Phys. 59, 711 (1991).
[8] J.H. Cooke, Am. J. Phys. 66, 569 (1998).
[9] J.R. Ruggiero, A.H. Zimerman e A. Villani, Rev. Bras.
Fs. 7, 663 (1977).
[10] A. Salam and J. Strathdee, Nuc. Phys B 90, 203 (1975);
J.S. Dowker and R. Critchley, Phys. Rev. D 13, 3224
(1976); S.W. Hawking, Commun. Math. Phys. 55, 133
(1977); G. W. Gibbons, Phys. Lett. A 60, 385 (1977).
[11] E. Elizalde, S.D. Odintsov, A. Romeo, A.A. Bytsenko
and S. Zerbini, Zeta Regularization Techniques with
Applications, (World Scientic, Singapore, 1994).
[12] P.B. Gilkey, Invariance Theory, The Heat Equation and
the Atiyah-Singer Theorem, 2a ed. (CTC Press, Boca
Raton, 1995).
[13] M. Reuter e W. Dittrich, Eur. J. Phys. 6, 33 (1985).

[14] R.P. Feynman e A.R. Hibbs, Quantum Mechanics and

Path Integrals (New York, McGraw-Hill, 1965).
[15] L.S. Brown e G.J. Maclay, Phys. Rev. 184, 1372 (1969).
[16] J. Schwinger, Phys. Rev. 82, 664 (1951).
[17] L.C. Albuquerque, C. Farina e L.G.A. Theodoro, Braz.
J. Phys. 27, 488 (1997).
[18] S.K. Lamoreaux, Am. J. Phys. 10, 850 (1999).
[19] V.M. Mostepanenko e N.N. Trunov, Sov. Phys. Usp.
31, 965 (1988).
[20] V.M. Mostepanenko e N.N. Trunov, The Casimir Effect and its Applications, (Clarendon, Oxford, 1997).
[21] G. Plunien, B. Muller e W. Greiner, Phys. Rep. 134,
664 (1987).
[22] M. Bordag, U. Mohideen e V. M. Mostepanaenko;
Phys. Rep. 353, 1 (2001).
[23] P.W. Milonni, The Quantum Vacuum: An Introduction to Quantum Electrodynamics,
(Academic Press
Inc., New York, 1994).
[24] T. Appelquist, A. Chodos e P.G.O. Freund (editores),
Modern Kaluza-Klein Theories (Addison-Wesley Publishing Co., Reading, 1987).
[25] C. Itzkinson e J.B. Zuber, Quantum Field Theory
(McGraw-Hill, New York, 1980).
[26] M.V. Cougo Pinto, C. Farina e A.C. Tort, Rev. Bras.
Ens. Fs. 22, 122 (2000).
[27] P. Epstein, Math. Ann. 56, 615, (1903); 63, 205 (1907).

[28] S.D. Poisson, J. Ecole
Polytechnique XII, Cahier XIX,
420 (1823).