Efeitos de v acuo em teoria qu^ antica de campos deformada

Jayme Felipe Martins Mendes Orientador: Marcus Venicius Cougo Pinto

 EFEITOS DE VACUO ^ EM TEORIA QUANTICA DE CAMPOS DEFORMADA

Jayme Felipe Martins Mendes

Tese de Doutorado apresentada ao Programa de P os-gradua c~ ao do Instituto de F sica da Universidade Federal do Rio de Janeiro, como parte dos requisitos necess arios a obten c~ ao do t tulo de Doutor em Ci^ encias (F sica).

Orientador: Marcus Venicius Cougo Pinto

Rio de Janeiro 08 de abril de 2003

Mendes, Jayme Felipe Martins. M538 Efeitos de v acuo em teoria qu^ antica de campos deformada/ Jayme Felipe Martins Mendes.-Rio de Janeiro: UFRJ/IF, 2003. xi, 133f.: il. ; 29,7cm. Orientador: Marcus Venicius Cougo Pinto Tese (doutorado) - UFRJ/ Instituto de F sica/ Programa de p os-gradua c~ ao em F sica , 2003. Refer^ encias Bibliogr acas: f. 128-133. 1. Teoria de Campos. 2. Efeito Casimir. 3. De forma c~ ao. 4. Deforma c~ ao capa. 5. Algebra de Poincar e. 6. V acuo qu^ antico. 7. A c~ ao efetiva. I. Cougo-Pinto, Marcus Venicius. II. Universidade do Brasil, Instituto de F sica, Programa de p os-gradua c~ ao em F sica. III. T tulo.

Resumo
Efeitos de v acuo em teoria qu^ antica de campos deformada
Jayme Felipe Martins Mendes Orientador: Marcus Venicius Cougo Pinto

Resumo da tese de Doutorado apresentada ao Programa de P os-gradua c~ ao do Instituto de F sica da Universidade Federal do Rio de Janeiro, como parte dos requisitos necess arios a obten c~ ao do t tulo de Doutor em Ci^ encias (F sica).

Nesta tese s~ ao considerados efeitos de v acuo para estudar teorias de campo deformadas. Uma teoria deformada e aquela que depende de um par^ ametro vari avel e, em um certo limite do par^ ametro, reduz-se a uma teoria conhecida, dita n~ ao-deformada. Os efeitos de v acuo considerados s~ ao o efeito Casimir, efeitos de polariza ca ~o do v acuo e a cria c~ ao de excita c~ oes calculada a a de campo por condi c~ ao de contorno. E c~ ao efetiva e a energia livre de Casimir de um campo escalar carregado sob condi c~ ao de contorno peri odica com deforma c~ ao teta. Nessa condi c~ ao o campo ganha uma fase sempre que se desloca de uma dist^ ancia xa numa dada dire c~ ao. A principal deforma c~ ao estudada e a deforma c~ ao capa da algebra de Poincar e. Trata-se de uma algebra qu^ antica, ou algebra de Hopf, dependente de um par^ ametro e que reduz-se a algebra de Poincar e no limite em que vai a innito. S~ ao chamadas de teorias de campo com deforma c~ ao capa aquelas cujas simetrias espa co-temporais s~ ao regidas pela deforma c~ ao capa da algebra de Poincar e. Em especial, apresentam um mecanismo de cria c~ ao desenvolvido de excita c~ oes do campo quando este e submetido a condi co ~es de contorno. E o formalismo de quantiza c~ ao can^ onica para um campo escalar com deforma c~ ao capa, at ea

 obtida uma express~ obten c~ ao da express~ ao da energia do v acuo como soma sobre modos. E ao com soma sobre modos para a a c~ ao efetiva de Schwinger. A express~ ao tem uma parte real, em acordo com o resultado obtido para a energia do v acuo, e uma parte imagin aria que esclarece o mecanismo de cria c~ ao de excita c~ oes de um campo com deforma c~ ao capa. S~ ao propostas equa c~ oes de Maxwell com deforma c~ ao capa e as partes real e imagin aria da correspondente a c~ ao efetiva com condi c~ oes de contorno s~ ao calculadas.

Rio de Janeiro 08 de abril de 2003

Abstract
Vacuum eects in deformed quantum eld theory
Jayme Felipe Martins Mendes Orientador: Marcus Venicius Cougo Pinto

Abstract da tese de Doutorado apresentada ao Programa de P os-gradua c~ ao do Instituto de F sica da Universidade Federal do Rio de Janeiro, como parte dos requisitos necess arios a obten c~ ao do t tulo de Doutor em Ci^ encias (F sica).

In this thesis we consider vacuum eects in deformed eld theories. A theory is said to be deformed if it depends on a variable parameter and, in a given limit of this parameter, it tends to a known theory, which is then called non-deformed. The vacuum eects considered here are the Casimir eect, eects of vacuum polarizations and the creation of eld excitations due to boundary conditions. We obtain the eective action and the free Casimir energy for a scalar charged eld under theta-deformed boundary condition. In this deformed boundary condition the phase of the eld changes by when the eld is displaced by a xed distance in a given direction. The most important deformation that we study is the kappa-deformed Poincar e algebra. Field theories with kappa-deformation are those whose spacetime symmetries are dictated by the quantum algebra known as kappa-deformation of the Poincar e algebra. Those deformed elds present the distinguished mechanism of creation of eld excitations when they are submitted to boundary conditions. The formalism of canonical quantization for a scalar kappa-deformed eld is developed up to the point of obtaining the energy of the vacuum as a sum of modes. It is also obtained for the Schwinger's

eective action an expression as sum of modes. The expression presents a real part in accordance to the previous result for the vacuum energy and an imaginary part, which claries the above mentioned mechanism of creation of excitations for a kappa-deformed eld. We propose kappa-deformed Maxwell's equations and obtain the real and imaginary parts for the corresponding eective action with boundary conditions.

Rio de Janeiro 08 de abril de 2003

Para Lilian, Pedro e Thom as

Agradecimentos
Desejo incialmente agradecer ao professor Marcus Venicius pela amizade, excelente orienta c~ ao e brilhantes interpreta c~ es ao longo da tese, que muito me auxiliaram e estimularam a continuar na minha pesquisa. Ao professor Farina, pelas in umeras discuss~ oes e pela sua ineg avel presteza e amizade. Ao meu amigo Mauro Alvarez, que criou a oportunidade para que eu ingressasse no curso de doutoramento. Aos professores Alexandre Tort e Filadelfo, pelas cr ticas e coment arios, principalmente durante as reuni~ oes do grupo de Efeito Casimir e aos professores Arvind Vaidya e Henrique Boschi, tamb em pelas observa c~ oes emitidas quando membros da banca de defesa. Aos meus companheiros de sala durante estes tr^ es u ltimos anos, Rosa Bunchaft, Milton Ribeiro e Franz Peter, pela amizade sincera e pelas agrad aveis discuss~ oes. Agrade co tamb em a Guida, Ronaldo e Edu pelo apoio no in cio do trabalho, assim como aos que vieram depois, Fabr cio e Leonardo. Sou imensamente grato ao Instituto de Pesquisa e Desenvolvimento, assim como aos chefes da minha se c~ ao naquela institui c~ ao ao longo deste per odo: Rubem Arag~ ao, Sousa Lima e Pedro Cosentino, cujo apoio prestado mostrou-se imprescind vel. Aos funcion arios da secretaria de p os-gradua c~ ao, Carlos Jos e Delgado e Ros^ angela Leonardo, da gr aca, D^ enis Oliveira, Julio Costa e Ledivando Seabra e da biblioteca, C cero, Cr esio, H ercules, Josu e, Mimi e Norma. Ao meu pai, Jos e Ildefonso Mendes, que partiu durante este trabalho, mas deixou em mim o seu est mulo e o seu exemplo. Aqueles a quem considero quase que como pais, Paulo e Maria Vicentina, obrigado por tudo que zeram para que eu pudesse realizar esta tese. Aos meus queridos lhos Pedro e Thom as que, ainda que n~ ao percebessem, sempre me deram ^ animo e paz de esp rito. Agrade co especialmente a minha mulher, Lilian, a quem devo o maior reconhecimento. A ela reservo a u nica possibilidade para o questionamento sobre todo esse tempo de aten c~ ao e carinho sacricados.

 Indice
Introdu c~ ao 1 Efeitos de v acuo qu^ antico e teorias de campo deformadas 1.1 Efeitos de v acuo qu^ antico . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Deforma c~ oes em teorias de campos . . . . . . . . . . . . . . . . . . . . . . . 1.3 Limite n~ ao-relativ stico do efeito Casimir . . . . . . . . . . . . . . . . . . . . 1.4 Deforma c~ ao teta das condi c~ oes de periodicidade . . . . . . . . . . . . . . . . 2 Deforma c~ ao capa da algebra de Poincar e 2.1 Grupos Qu^ anticos, algebras qu^ anticas e b gebras de Hopf . . . . . . . . . . . 2.2 Algebra qu^ antica da deforma c~ ao capa da algebra de Poincar e. . . . . . . . . 2.3 Teoria de campo com deforma c~ ao capa . . . . . . . . . . . . . . . . . . . . . 2.4 Campo escalar com deforma c~ ao capa . . . . . . . . . . . . . . . . . . . . . . 2.5 Quantiza c~ ao do campo escalar com deforma c~ ao capa . . . . . . . . . . . . . 3 Efeitos de v acuo e teoria de campo com deforma c~ ao capa 3.1 Efeito Casimir e gera c~ ao de excita c~ oes de campos com deforma c~ ao capa . . . 3.2 Rela c~ ao entre a c~ ao efetiva e somas de modos . . . . . . . . . . . . . . . . . . 1 12 13 21 26 31 43 43 51 57 63 71 86 86 96

3.3 Efeito Casimir do campo eletromagn etico com deforma c~ ao capa . . . . . . . 108 3.4 Taxa de cria c~ ao de f otons com deforma c~ ao capa . . . . . . . . . . . . . . . . 114 Conclus~ ao Refer^ encias 122 128

xi

Introdu c~ ao
O conceito de v acuo tem ocupado os pensadores desde a antig uidade grega. Os atomistas o identicavam com o vazio absoluto, sin^ onimo de nada. Arist oteles julgava absurdo tal conceito e considerava que todo o espa co do universo devia estar preenchido com alguma subst^ ancia material. Com Newton o v acuo voltou a ser pensado como espa co totalmente vazio, mera extens~ ao geom etrica onde os corpos se movem livremente na aus^ encia de for cas. Maxwell voltou a preencher esse vazio com o eter, meio de propaga c~ ao das ondas eletromagn eticas previstas em suas equa c~ oes. O v acuo como vazio completo cedeu lugar ao eter onipresente, at e que ele, por sua vez, foi banido da exist^ encia por experimentos que mostravam suas propriedades contradit orias como meio de propaga c~ ao da luz. Voltou-se ao v acuo como espa co vazio at e o surgimento da teoria qu^ antica dos campos. Nessa teoria, a jun c~ ao da relatividade restrita a mec^ anica qu^ antica, tem como conseq u^ encia a exist^ encia de utua c~ oes qu^ anticas em todos os pontos do espa co. O v acuo como vazio absoluto deixa de existir e d a lugar a essas incessantes utua c~ oes. Passa a ser um meio no qual, embora n~ ao haja part culas detect aveis de mat eria ou radia c~ ao, h a part culas virtuais, na forma das men fato singular cionadas utua c~ oes qu^ anticas. Esse meio e o chamado v acuo qu^ antico [1, 2]. E que um tal conceito, que tem sido objeto de disputas los ocas, possa ter sua exist^ encia vericada em v arios fen^ omenos observ aveis [1], como o desvio de Lamb, a emiss~ ao at^ omica espont^ anea e o efeito Casimir. Dentre os efeitos do v acuo qu^ antico, talvez o mais espetacular seja o predito por H. B. G. Casimir em 1948 [3]. O efeito consiste na atra c~ ao entre duas placas condutoras neutras, colocadas no v acuo, ou seja, entre as placas de um capacitor descarregado. Casimir mostrou que a for ca de atra c~ ao pode ser calculada a partir somente da express~ ao da energia das

utua c~ oes qu^ anticas do campo eletromagn etico no v acuo. Tal energia, chamada de energia do v acuo, ou energia de ponto zero do campo, e dada por E0 =
X
n

1 h !n ; 2

onde n numera os modos normais de oscila c~ ao do campo e !n e a freq u^ encia de oscila c~ ao do en esimo modo. A energia do v acuo e a semi-soma sobre todos os modos, de suas freq u^ encias de oscila c~ ao. A varia c~ ao dessa energia da situa c~ ao em que as placas n~ ao est~ ao presentes, para a situa c~ ao em que est~ ao, e a chamada energia de Casimir. Dela obt em-se a for ca e a press~ ao atrativas entre as placas, que s~ ao chamadas de for ca e press^ ao de Casimir. A pr opria atra c~ ao entre as placas e chamada de efeito Casimir. Casimir se prop^ os em seu trabalho original [3] a considerar o caso em que as placas condutoras s~ ao quadrados, digamos de lado `, paralelas e separadas por uma dist^ ancia a, tal que ` a a m de evitar efeitos de borda. Obteve para a energia de intera c~ ao E (a) entre as placas, que chamamos de energia de Casimir, a express~ ao: E (a) 2h c 1 = : 2 ` 720 a3 Derivando-se essa energia em rela c~ ao a separa c~ ao a entre as placas obtemos a for ca de atra c~ ao entre elas. O efeito e especialmente importante porque pode ser observado diretamente, em escala macrosc opica, entre placas com dimens~ oes lineares da ordem de cent metro, separadas por dist^ ancias da ordem de micr^ ometros. Nesse caso a for ca de atra c~ ao entre as placas e da ordem de cent esimos de dyn. Algo como um d ecimo do peso de um confete. A for ca de Casimir foi submetida a medi c~ ao pela primeira vez por Sparnaay [4], em 1958. No entando, a precis~ ao desse experimento era muito pequena, de modo que Sparnaay concluiu apenas que os resultados do experimento \n~ ao eram incompat veis com a teoria" de Casimir. Quase quarenta anos se passaram at e que o efeito Casimir fosse novamente submetido a experimenta c~ ao direta com placas met alicas. Em janeiro de 1997, Lamoreaux publicou os resultados de seus experimentos [5], conrmando a teoria de Casimir com incerteza da ordem de apenas 5%. Posteriormente, foram divulgados resultados de experimentos ainda mais precisos [6, 7, 8, 9], conrmando a exist^ encia do efeito Casimir e a teoria proposta por Casimir para explic a-lo. O efeito Casimir original que acabamos de considerar, deve-se ao fato de que o v acuo 2

do campo eletromagn etico quantizado e submetido as condi c~ oes de contorno implementadas pelas placas condutoras. Qualquer outro campo relativ stico quantizado tem energia de v acuo e pode ser submetido a condi c~ oes de contorno. Quando isso e feito, a energia do v acuo e variada pelas condi c~ oes de contorno e a varia c~ ao e uma energia que tamb em chamamos de energia de Casimir. Na verdade, sob o nome de efeito Casimir se engloba atualmente uma enorme variedade de fen^ omenos, al em do efeito Casimir original. Esse efeito Casimir em sentido lato tem sido objeto de muito interesse e pesquisa, n~ ao s o em teoria qu^ antica dos campos, como tamb em em cosmologia, mat eria condensada, o ptica qu^ antica e tecnologia de nano-artefatos [1, 10, 11, 12, 13, 14]. Vemos que o efeito Casimir e por um lado um efeito que se refere a um dos aspectos mais profundos da F sica, o v acuo qu^ antico. Por outro lado e, pelo menos na forma original proposta por Casimir, um efeito diretamente observ avel em escala macrosc ocopica. Al em da propriedade not avel de apresentar essas duas caracter sticas, ele pode ser calculado com um m nimo de teoria do campo qu^ antico em considera c~ ao, aquela necess aria para chegar a express~ ao da sua energia do v acuo. Essas propriedades do efeito Casimir fazem dele um t opico privilegiado para se estudar novas teorias, cujos pr oprios formalismos est~ ao em fase de constru c~ ao e investiga c~ ao. Esse e exatamente o caso de muitas teorias sob intenso interesse atual na f sica de altas energias. A f sica moderna tem buscado novas id eias para resolver problemas que t^ em resistido ao tempo, tais como a unica c~ ao de todas as for cas na natureza ou a quantiza c~ ao da gravidade. Acrescente-se tamb em que ainda hoje n~ ao dispomos de um formalismo matem atico bem fundamentado para a Teoria Qu^ antica de Campos, ao contr ario do que acontece na Mec^ anica Qu^ antica e na Teoria da Relatividade [15]. Acredita-se que a solu c~ ao desses problemas deva ser encontrada em teorias capazes de descrever fen^ omenos na escala de Planck, caracterizada pela energia e comprimento de Planck, respectivamente: EP =

h c5 G

!1=2

1; 221 10 GeV ;

19

`P =

h G c3

!1=2

1; 6161 1033 cm :

Tais teorias devem descrever fen^ omenos que envolvem energias da ordem de EP , ou que ocorrem em dimens~ oes da ordem de lP . Nessas escalas existiriam simetrias que, nas escalas 3

que atualmente conseguimos alcan car, n~ ao s~ ao observadas, a n~ ao ser na forma quebrada das simetrias que hoje observamos, ou em um limite particular a que hoje temos acesso. Essas simetrias que observamos s~ ao descritas em geral por grupos de Lie e suas algebras de Lie. Os exemplos mais importantes s~ ao os grupos de calibre que descrevem simetrias internas e os grupos de simetrias espa co-temporais, como o grupo de Poincar e. J a as simetrias na escala de Planck seriam descritas por estruturas matem aticas mais gerais, que t^ em os grupos e algebras de Lie, ou como subestruturas, ou como limites das estruturas mais gerais. Nesse ponto surge a id eia de deforma c~ ao de uma estrutura matem atica. Em seu sentido mais amplo, uma deforma c~ ao de uma estrutura matem atica e uma outra estrutura matem atica dependente de um ou mais par^ ametros que, ao tenderem para certos valores limites, reproduzem a estrutura original. A deforma c~ ao de uma estrutura matem atica tem por nalidade produzir novos resultados, que generalizem ou esclare cam resultados da estrutura original. As deforma c~ oes importantes, longe de serem arbitr arias, produzem estruturas deformadas bem espec cas a partir da estrutura dada. Por exemplo, dada uma algebra comutativa produzem uma algebra n~ ao-comutativa. Al em disso, espera-se que as quantidades da teoria deformada possam ser escritas como s eries de pot^ encias nos par^ ametros de deforma c~ ao, de modo que o termo independente dos par^ ametros sejam as correspondentes quantidades da teoria n~ ao-deformada. Em linguagem mais comum em f sica, podemos dizer que as quantidades da estrutura deformada devem ser obtidas perturbativamente a partir da correspondente quantidade n~ ao-deformada. Sem essas restri c~ oes fundamentais o conceito de deforma c~ ao seria por demais gen erico para ser de utilidade. A primeira formaliza c~ ao matem atica do conceito de deforma c~ ao de uma estrutura alg ebrica deve-se a Gerstenhaber [16], que cita a id eia de deforma ca ~o previamente aplicada por Kodaira, Nirenberb e Spencer ao estudo de objetos geom etricos e anal ticos como superf cies de Riemann. Fica completamente fora do escopo de nosso trabalho estudar as teorias matem aticas das deforma c~ oes. Basta-nos o conceito gen erico de deforma c~ ao e a considera c~ ao de alguns exemplos provenientes da f sica. O conceito de deforma c~ ao n~ ao e novo na F sica, embora nem sempre seja explicitado quando aparece. Talvez seu exemplo mais not avel seja a deforma c~ ao pela qual passamos da Mec^ anica Cl assica para a Qu^ antica [17]. Neste, a Mec^ anica Qu^ antica e considerada uma 4

deforma c~ ao da Mec^ anica Cl assica com par^ ametro de deforma c~ ao h . No limite em que h !0 o formalismo qu^ antico reduz-se ao cl assico. Essa abordagem da Mec^ anica Qu^ antica e devida a Hermann Weyl [17, 18, 19]. A id eia de deforma c~ ao e usada para se construir os chamados grupos qu^ anticos, conceito introduzido por Drinfeld [20] e de grande import^ ancia por suas aplica c~ oes em diversas partes da f sica atual [21, 22, 23]. Um grupo qu^ antico e um tipo especial daquilo que os matem aticos chamam de algebra de Hopf. O nosso principal objeto de interesse nesta tese e um grupo qu^ antico chamado de deforma c~ ao capa da algebra de Poincar e [24, 25, 26]. Na verdade, como veremos, e mais apropriado designar essa deforma c~ ao por algebra qu^ antica do que por grupo qu^ antico. A deforma c~ ao capa da algebra de Poincar e e uma deforma c~ ao dependente de um par^ ametro real positivo , que no limite em que ! 1 reduz-se a algebra de Poincar e usual. Nesta tese estudamos campos qu^ anticos cujas simetrias espa co-temporais s~ ao governadas pela deforma c~ ao capa da algebra de Poincar e, do mesmo modo que os campos qu^ anticos relativ sticos usuais t^ em suas simetrias espa co-temporais governadas pela algebra de Poincar e. Os campos cuja algebra subjacente e a deformada s~ ao chamados de campos com deforma c~ ao capa, pois eles se reduzem a campos relativ sticos usuais no limite em que ! 1. Consideramos os campos escalar e de Dirac com deforma c~ ao capa, propostos por Lukierski, Nowicki e Ruegg [26] e o campo eletromagn etico com deforma c~ ao capa [27]. A deforma c~ ao capa apresenta propriedades interessantes que recomendam a sua investiga c~ ao. Em primeiro lugar, ela e uma algebra qu^ antica que cont em uma deforma c~ ao de uma algebra de Lie, duas estruturas alg ebricas importantes. Em segundo lugar, apesar de afetar de modo n~ ao trivial as simetrias espa co-temporais, ela e relativamente simples, deixando intactas na algebra de Poincar e as sub algebras de transla c~ oes espa co-temporais e de rota c~ oes espaciais e diversas outras rela c~ oes de comuta c~ ao, como veremos em detalhe mais adiante. Em terceiro lugar, ela e gerada da algebra de anti-de Sitter por meio de dois processos interessantes [26]: primeiro deforma-se a algebra de anti-de Sitter para obter-se uma algebra qu^ antica e depois realiza-se sobre essa uma contra c~ ao de Wigner-In on u [28, 29] para chegar-se a deforma c~ ao capa da algebra de Poincar e. Finalmente, o fato do par^ ametro de deforma c~ ao ter dimens~ ao de massa, permite introduzir na teoria uma escala fundamental de energia 5

ou de comprimento, dados, respectivamente, por: E = c2 ; ` = h =c :

As precisas verica c~ oes experimentais da relatividade restrita conrmam que as simetrias espa co-temporais s~ ao descritas com grande precis~ ao pela algebra de Poincar e. Isso signica que o par^ ametro da deforma c~ ao capa deve ser muito grande, caso ela de fato descreva simetrias observ aveis. Uma escolha natural da magnitude do par^ ametro seria dada pela identica c~ ao da escala de comprimento ` , da deforma c~ ao capa, com o comprimento de Planck `P [30]. Teorias qu^ anticas de campo com deforma c~ ao capa apresentariam-se assim com as caracter sticas das teorias que mencionamos acima em rela c~ ao a fen^ omenos na escala de Planck. A algebra de Poincar e tem como primeiro invariante de Casimir uma quantidade que leva a rela c~ ao de dispers~ ao relativ stica: h ! (p) =
q

p2 c2 + m2 c4

e a equa c~ ao de Klein-Gordon para qualquer campo relativ stico ':

2 (r2 @0 m2 ) '(x; x0 ) = 0 :

A deforma c~ ao capa da algebra de Poincar e, por sua vez, tem um correspondente invariante de Casimir que leva a rela c~ ao de dispers~ ao: h !(p) = 2c2 senh1

1 q 2 2 p c + m2 c4 2c2

e a equa c~ ao de Klein-Gordon com deforma c~ ao capa [26]:

"

1 r 2 sen @0 2
2

'(x; x0 ) = 0 ;

onde ' e agora um campo de uma teoria com deforma c~ ao capa. Notemos que nessa equa c~ ao a ordem das derivadas temporais e ilimitada. Trata-se de uma equa c~ ao n~ ao-local no tempo. No limite ! 1, em que a deforma c~ ao desaparece, a rela c~ ao de dispers~ ao deformada 6

reduz-se a rela c~ ao de dispers~ ao relativ stica usual, o mesmo ocorrendo com a equa c~ ao de Klein-Gordon com deforma c~ ao capa, como e de se esperar do conceito de deforma c~ ao. Tendo em vista as rela c~ oes de dispers~ ao mostradas acima, podemos armar que os campos com deforma c~ ao capa apresentam propriedades bem distintas dos campos relativ sticos usuais, pelo menos no que diz respeito aos seus modos de propaga c~ ao. Na verdade, veremos que apresentam diferen cas muito mais profundas e fen^ omenos novos e interessantes, como um poss vel mecanismo de cria c~ ao de mat eria e radia c~ ao, devido a condi c~ oes de contorno no campo deformado [31]. As teorias de campo com deforma c~ ao capa tamb em apresentam um formalismo mais complicado e os c alculos com suas grandezas s~ ao mais intrincados, comparados com as teorias relativ sticas usuais. Podemos dizer informalmente que uma teoria com deforma c~ ao capa e mais complicada que a n~ ao-deformada em medida semelhante ao quanto a fun c~ ao y = senh 1 (x) e mais complicada do que a fun c~ ao y = x. Podemos sempre tra car a fonte de complexidade das teorias de campo com deforma c~ ao capa na rela c~ ao de dispers~ ao deformada e na n~ ao-localidade da equa c~ ao de Klein-Gordon deformada. A n~ ao-localidade do campo pode ser evitada as custas de consider a-lo denido em um espa co n~ ao-comutativo [30]. Em nosso trabalho mantemos a concep c~ ao original [26], em que o espa co-tempo eo usual e os campos obedecem as equa c~ oes n~ ao-locais. Dada a diculdade em se desenvolver as teorias qu^ anticas de campos com deforma c~ ao capa, e importante obter resultados que possam ser considerados sem fazer uso de uma teoria pronta e acabada e que, por sua vez, sirvam de orienta c~ ao a constru c~ ao da teoria completa. Nesse ponto o efeito Casimir aparece como um t opico ideal para ser estudado nas teorias com deforma c~ ao capa. Como dissemos acima ele refere-se a um aspecto fundamental das teorias qu^ anticas de campo, o v acuo qu^ antico, e requer uma parte pequena de uma teoria qu^ antica de campo, a necess aria para obter a express~ ao da energia do v acuo. Nesta tese desenvolvemos o formalismo necess ario para calcular a energia de Casimir de campos com deforma c~ ao capa, para aplicar ao caso do campo eletromagn etico com deforma c~ ao capa entre placas condutoras, como no efeito Casimir original. Antes de considerar o efeito Casimir em teorias de campo com deforma c~ ao capa, consideramos dois problemas mais simples relacionados com a id eia de deforma c~ ao e efeitos de v acuo. No primeiro, investigamos, por meio do efeito Casimir, a quest~ ao de um campo 7

relativ stico poder ser considerado como uma deforma c~ ao de um campo n~ ao-relativ stico. interessante Encontramos que o efeito Casimir e mais um obst aculo a essa vis~ ao [32]. E observar nesse caso o poder elucidativo do efeito Casimir no estudo de uma teoria. Ele d a informa c~ oes interessantes para entender a quest~ ao levantada, requerendo para isso apenas a express~ ao da energia do v acuo do campo relativ stico. O segundo problema considera a id eia de deforma c~ ao aplicada as condi c~ oes de contorno sobre um campo qu^ antico relativ stico. Consideramos uma deforma c~ ao da condi c~ ao de contorno peri odica, com um par^ ametro real de deforma c~ ao (0 2 ), dada por: '(x; y; z + a) = ei '(x; y; z ) ; onde ' e o campo em considera c~ ao e z e a coordenada escolhida para implementar a condi c~ ao de periodicidade. Para = 0 a condi c~ ao deformada reduz-se a condi c~ ao peri odica. A medida que cresce a condi c~ ao vai perturbativamente afastando-se da condi c~ ao peri odica e aproximando-se da anti-peri odica quando vai se acercando de . Chamamos a equa c~ ao acima de deforma c~ ao teta da condi c~ ao de contorno peri odica. Essa deforma c~ ao tem suas origens e motiva c~ oes no efeito Bohm-Aharonov [33], em teorias de campos no cone [34] e, de um modo geral, em teorias qu^ anticas em espa cos de congura c~ ao n~ ao-simplesmente conexos [35]. Em nosso trabalho propomos encarar a condi c~ ao de deforma c~ ao teta tamb em de um ponto de vista geom etrico, como uma condi c~ ao deformada sobre campos em uma dimens~ ao compacticada, na qual os campos ganham uma fase a cada ciclo ao longo da dimens~ ao. Nesse sentido nossos resultados interpolam, por meio do par^ ametro resultados obtidos para os chamados campos torcidos e n~ ao-torcidos [36, 37]. A simplicidade dessa deforma c~ ao permite que obtenhamos, al em do efeito Casimir com e sem temperatura, outros efeitos de v acuo: os de polariza c~ ao, por campos eletromagn eticos aplicados, tais como descritos pela lagrangiana efetiva de Euler-Heisenberg [38, 39, 40]. Os efeitos de polariza c~ ao do v acuo por campo eletromagn etico aplicado s~ ao efeitos de v acuo qu^ antico de grande import^ ancia em teoria qu^ antica de campos [41, 42], embora ainda n~ ao tenham sido observados pela indisponibilidade em laborat orio de campos aplicados fortes o bastante. Passemos agora a uma breve descri c~ ao do conte udo desta tese. A esta introdu c~ ao segue8

se o cap tulo 1, no qual fazemos uma exposi c~ ao sobre os efeitos de v acuo qu^ antico e as teorias deformadas que s~ ao abordadas em nossos estudos. A exposi c~ ao sobre os efeitos de v acuo qu^ antico visam mostrar que s~ ao t opicos fundamentais de qualquer teoria qu^ antica de campos e especialmente apropriados para investigar novas teorias, ainda em elabora c~ ao. A abordagem sobre deforma c~ oes visa apresentar as deforma c~ oes que iremos tratar nesta tese. Ao inv es de apresentar a teoria matem atica de deforma c~ ao, algo completamente fora de nosso escopo, desenvolvemos a id eia de deforma c~ ao em seu sentido mais lato, baseando-nos principalmente no exemplo fundamental fornecido pela mec^ anica qu^ antica. Explicamos as diculdades em se considerar uma teoria qu^ antica relativ stica como deforma c~ ao de uma relativ stica e apresentamos o conceito de deforma c~ ao teta como uma geom etrica, da variedade de base dos campos considerados. Apresentamos a deforma c~ ao capa, brevemente, pois a ela dedicamos todos os cap tulos que ent~ ao se seguem. No cap tulo 2 come camos nosso estudo da deforma c~ ao capa da algebra de Poincar e. Primeiramente, apresentamos a deni c~ ao de grupo qu^ antico. Nesta tese n~ ao trabalhamos na teoria dos grupos qu^ anticos. Na verdade usamos apenas resultados da teoria do grupo qu^ antico constitu do pela deforma c~ ao capa da algebra de Poincar e. No entanto, julgamos u til apresentar a estrutura algebrica que d a origem a essa rela c~ ao. Em primeiro lugar, para denir o contexto matem atico em que surge a deforma c~ ao capa da algebra de Poincar e e, com isso, melhor apreciar sua deni c~ ao e suas propriedades. Em segundo lugar, para proporcionar uma exposi c~ ao did atica do que seja um grupo qu^ antico, que poder a ser u til a quem deseja estudar os fundamentos da deforma c~ ao capa, ao inv es de suas conseq u^ encias, como o fazemos. Em terceiro lugar, por um motivo muito importante: para que que claro que a rela c~ ao de dispers~ ao deformada, na qual se baseiam as teorias de campo com deforma c~ ao capa, n~ ao e arbitrariamente postulada ou conjecturada, mas aparece como uma conseq u^ encia natural de uma importante estrutura alg ebrica com grande n umero de rela c~ oes de compatibilidade interna. Dada a deni c~ ao de grupo qu^ antico, passamos a deni c~ ao de deforma c~ ao capa da algebra de Poincar e, tal como formulada por Lukierski, Nowicki e Ruegg [26]. Essa deforma c~ ao e o que propriamente se chama de uma algebra qu^ antica, um tipo especial de algebra de Hopf. Essa algebra pode ser tomada como a algebra de simetrias espa co-temporais de um campo, que e dito ent~ ao um campo com deforma c~ ao capa. Na se c~ ao 9

seguinte do cap tulo explicamos as caracter sticas desses campos e apresentamos aqueles que s~ ao estudados nesta tese. Nas se c~ oes seguintes estudamos especicamente o campo escalar com deforma c~ ao capa e desenvolvemos o seu formalismo de quantiza c~ ao at e o ponto de obter a express~ ao da energia de seu v acuo. No cap tulo 3 estudamos o efeito Casimir e o mecanismo de cria c~ ao de mat eria e radia c~ ao devido a condi c~ oes de contorno em campos com deforma c~ ao capa. Na primeira se c~ ao fazemos uma exposi c~ ao do trabalho no qual tal mecanismo foi proposto [31]. Ao nal da se c~ ao, seguindo as id eias do trabalho, que foram aplicadas ao campo escalar, fazemos uma extens~ ao simples ao caso do campo de Dirac. Sabemos que a energia de Casimir pode ser obtida pela express~ ao da energia do v acuo como soma de modos, proveniente do formalismo de quantiza c~ ao can^ onica, ou pelo m etodo de Schwinger [43], que usa a a c~ ao efetiva a um la co. Na segunda se c~ ao obtemos no caso deformado a rela c~ ao entre a a c~ ao efetiva de Schwinger e a soma de modos do formalismo can^ onico, que encontramos na u ltima se c~ ao do cap tulo 2. Encontramos para a a c~ ao efetiva uma parte real e uma imagin aria, ambas dadas como soma sobre os modos do campo. Usamos essas somas de modos para calcular a energia de Casimir e a taxa de cria c~ ao de f otons, no caso do campo eletromagn etico com deforma c~ ao capa sujeito a condi c~ oes de contorno de placas met alicas. Esse trabalho e o conte udo das duas u ltimas se c~ oes do cap tulo. Ap os o cap tulo 3 temos as conclus~ oes da tese. Os resultados que obtivemos nos assuntos desta tese aparecem nas se c~ oes 1.3, 1.4, 2.3, 2.4, 2.5, 3.1 (onde aparece a extens~ ao do mecanismo de cria c~ ao de mat eria [31] ao campo de Dirac), 3.2, 3.3 e 3.4. Os c alculos envolvendo campos com deforma c~ ao capa s~ ao apresentados com algum detalhe, pois, ao contr ario dos que envolvem os campos usuais e s~ ao tema de livros-textos, os do caso deformado s~ ao novos e mais intrincados. Se n~ ao s~ ao agrad aveis, s~ ao de qualquer modo necess arios para que as conclus~ oes sejam tiradas e esperamos que os m etodos e artif cios que encontramos ao realiz a-los sejam de utilidade em futuras investiga c~ oes sobre teorias com deforma c~ ao capa. Usamos normalmente unidades naturais, mas tomamos a liberdade de inserir h e c onde pareceu conveniente a discuss~ ao. A contra c~ ao de ndices e feita com a m etrica g = diag (1; 1; 1; 1). 10

As equa c~ oes s~ ao numeradas sem interrup c~ ao ao longo de cada cap tulo, antecedidas pelos n umeros do cap tulo e da se c~ ao. As refer^ encias s~ ao numeradas pela ordem de suas primeiras cita c~ oes.

11

Chapter 1 Efeitos de v acuo qu^ antico e teorias de campo deformadas

Na primeira se c~ ao deste cap tulo apresentamos uma exposi c~ ao sobre os efeitos de v acuo qu^ antico que abordamos nesta tese, o efeito Casimir e os efeitos de polariza c~ ao do v acuo por campo eletromagn etico aplicado, tais como descritos pela lagrangiana efetiva de EulerHeisenberg, para o campo de Dirac, e a lagrangiana efetiva para o campo escalar carregado, que chamamos de lagrangiana efetiva de Weisskopf-Schwinger. Apresentamos os m etodos de c alculo do efeito Casimir que ser~ ao usados: o de soma de modos e o de Schwinger. Tamb em apresentamos o m etodo de Schwinger para o c alculo das lagrangianas efetivas. A explica c~ ao desse m etodo ser a retomada na primeira se c~ ao do cap tulo 3. Na segunda se c~ ao apresentamos a id eia de deforma c~ ao de estruturas matem aticas, sem entrar em detalhes ou pretender rigor matem atico, como e apropriado para nossas nalidades. Mencionamos as deforma c~ oes teta e capa, que ser~ ao estudadas nesta tese, e comentamos sobre a diculdade de encarar teorias de campo relativ sticas como deforma c~ oes de n~ ao-relativ sticas. Os estudos que desenvolvemos nos cap tulos seguintes usam os efeitos de v acuo qu^ antico da primeira se c~ ao para estudar as deforma c~ oes da segunda. Na terceira se c~ ao fazemos a an alise do limite n~ ao-relativ stico do campo escalar relativ stico, mencionado na segunda se ca ~o. Na quarta se c~ ao apresentamos nosso estudo dos efeitos Casimir e de polariza c~ ao do v acuo para um campo escalar carregado sob condi c~ oes de contorno com deforma c~ ao teta.

12

1.1

Efeitos de v acuo qu^ antico

A teoria qu^ antica de campos, como jun c~ ao da relatividade restrita a mec^ anica qu^ antica, tem como uma de suas predi c~ oes mais fundamentais a exist^ encia do que podemos chamar de v acuo qu^ antico. Enquanto o v acuo cl assico e o vazio completo, com propriedades meramente geom etricas, o v acuo qu^ antico possui propriedades f sicas que o identicam como um meio, um meio no qual n~ ao h a part culas reais de mat eria ou radia c~ ao, mas h a incessantes utua c~ oes qu^ anticas constitu das de part culas virtuais. Nenhuma das propriedades desse v acuo s~ ao percept veis sem alguma inu^ encia externa, mas se manifestam quando suas utua c~ oes interagem com algum sistema f sico. Em particular, um sistema f sico macrosc opico neste v acuo pode alterar suas utua c~ oes e a altera c~ ao manifestar-se como um efeito em princ pio observ avel. Um tal efeito e chamado de efeito de v acuo qu^ antico e sua observabilidade depende da escala de energia em que ele se manifesta. Talvez o mais espetacular dos efeitos de v acuo qu^ antico seja o predito por H. B. G. Casimir em 1948 [3]. O efeito consiste na atra c~ ao entre duas placas condutoras neutras no v acuo, ou seja, entre as placas de um capacitor descarregado. Casimir mostrou que essa for ca pode ser calculada como efeito da varia c~ ao da energia do v acuo qu^ antico eletromagn etico, varia c~ ao provocada pela presen ca das placas. Sup^ os que as duas placas condutoras s~ ao planas, paralelas e bem pr oximas para serem evitados efeitos de borda, e obteve que a varia c~ ao da energia de ponto zero do campo eletromagn etico e dada por: 2h c 1 E (a) = ; 2 ` 720 a3 (1.1.1)

onde ` e o comprimento de cada lado das placas, supostas quadradas e id^ enticas, e a ea separa c~ ao entre elas, sujeita, como dito acima, a restri c~ ao a `. A depend^ encia da energia E (a) em rela c~ ao a separa c~ ao a entre as placas d a origem a uma for ca entre elas. Essa for ca e obtida da rela c~ ao F (a) = @ E (a)=@a e, em virtude de (1.1.1), e dada por: F (a) 2h c 1 1 = = 0; 013 dyn=cm2 ; 2 4 ` 240 a (a=m)4 (1.1.2)

onde o sinal menos indica que se trata de uma for ca atrativa. Chamamos E (a), F (a) e F (a)=`2 de energia de Casimir, for ca de Casimir e press~ ao de Casimir, respectivamente. Chamamos a pr opria atra c~ ao entre as placas, descrita por essas grandezas, de efeito Casimir. De acordo 13

com o resultado (1.1.2) de Casimir, a for ca de atra c~ ao entre duas placas de 1 cm de lado e separadas por 1 m e de 0; 013 dyn, isto e, 0; 013 105 N. Essa e uma for ca pequena, mas n~ ao est a al em da escala de for cas de nossa experi^ encia cotidiana ( e cerca do peso de um d ecimo de confete). A for ca de Casimir (1.1.2) foi medida em 1958 por Sparnaay [4] e, recentemente, em diversos experimentos de alta precis~ ao [5, 6, 7, 8, 9]. Todos os resultados experimentais conrmam as previs~ oes de Casimir expressas em (1.1.1) e (1.1.2). O c alculo da for ca de Casimir requer uma parte m nima do arsenal te orico da teoria qu^ antica de campos. De fato, o c alculo e feito a partir da express~ ao da energia de ponto zero do campo eletromagn etico, que e obtida logo no in cio do formalismo de quantiza c~ ao do campo. A energia de ponto zero E0 e dada por: E0 =
X
n

1 h !n ; 2

(1.1.3)

onde !n indica a en esima freq u^ encia natural de oscila c~ ao do campo e n numera os modos poss veis de oscila c~ ao do campo. Assim dizemos que a energia de ponto zero e a soma, sobre todos os modos, das semi-freq u^ encias (vezes h ). Sabemos que E0 e divergente e n~ ao observ avel, embora dela possamos extrair o efeito observ avel descoberto por Casimir. Vejamos como isso e feito seguindo bem de perto a exposi c~ ao original de Casimir, como publicada nas Atas da Academia Real Holandesa de Artes e Ci^ encias [3]. N~ ao apresentaremos exatamente os c alculos de Casimir, mais elegantes, baseados no uso de uma fun c~ ao de regulariza c~ ao gen erica e da f ormula de Euler-MacLaurin. Aqui usaremos uma fun c~ ao regularizadora exponencial que permite uma exposi c~ ao did atica e um c alculo r apido da energia de Casimir. A energia de Casimir corresponde a diferen ca entre a energia de ponto zero (1.1.3) na situa c~ ao com placas e na situa c~ ao sem placas. Essa u ltima situa c~ ao e implementada no formalismo fazendo a separa c~ ao entre as placas tornar-se innita. A diferen ca das energias de ponto zero e ent~ ao:
2 1 Z 1 q X 1XX `2 h c 1 Z 1 2 E (a) = h !k = kk dkk + dkk kk (n=a)2 + kk 2 2 k =1 2 2 0 n=1 0

"

`2h c 2

Z 1
0

dkk kk 14

Z 1
0

dn

(n=a)2

+ kk

(1.1.4)

onde a u ltima integral e a energia do v acuo na aus^ encia de placas (notemos que nessa integral n e vari avel cont nua de integra c~ ao) e o fator 1=2 em frente da primeira integral se deve ao fato de que para n = 0 s o h a contribui c~ ao de uma polariza c~ ao. Fazendo kk = na primeira
2 integral e kk + (n=a)2 = 2 ( > 0) na segunda e terceira integrais, obtemos:

Z 1 Z 1 1 Z 1 X `2h c 1 Z 1 2 2 E (a) = d + d dn 2 d : 2 2 0 0 n=a n=1 n=a

"

(1.1.5)

Casimir observa nesse ponto que a diferen ca de energias e diferente e necessita de regulariza c~ ao. Nesse ponto ele introduz uma fun c~ ao gen erica f de regulariza c~ ao para prosseguir os c alculos. Aqui vamos introduzir fun c~ oes regularizadoras exponenciais: e" e e" , onde " e positivo e tende a zero no nal dos c alculos. Integrando (1.1.5) com essa regulariza c~ ao obtemos:
1 X `2h c 1 @2 E (a) = + 2 "3 n=1 @"2

"

e"n=a "
#

Z 1
0

# @ 2 Z 1 " dn 2 e d : @" n=a

(1.1.6)

O segundo termo entre colchetes pode ser escrito como:

1 @2 1 X @2 1 1 "n=a : e = @"2 " n=1 @"2 " e"=a 1

"

Sabendo que [45]:

1 X 1 tn1 = Bn ; et 1 n=0 n!

(1.1.7)

onde Bn e um n umero de Bernoulli, temos:

1 `2 h c 1 @2 1 X Bn + 2 E (a) = 3 2 " @" " n=0 n!

"

" a

n1

6a 4 : "

(1.1.8)

Fazendo as derivadas obtemos: `2h c a 1 1 B4 3 6(B0 1) 4 +(1 + 2B1 ) 3 + E (a) = 2 " " 12 a # 1 n 1 X Bn n4 + (n 2)(n 3)" : a n=5 n! chegamos nalmente a energia de Casimir (1.1.1): E (a) 2 1 = h c 3 ; 2 ` 24 30 a 15 (1.1.10)
"

(1.1.9)

Sabendo que quando " ! 0+ o somat orio desaparece e que B0 = 1, B1 = 1=2 e B4 = 1=30,

tal qual aparece em seu artigo original [3]. Notemos que a subtra c~ ao da energia de ponto zero com as placas no innito foi suciente para, neste caso, eliminar os termos divergentes na energia de ponto zero com as placas. Esse m etodo de obter a energia de Casimir diretamente da energia de ponto zero e chamado de m etodo de soma de modos. Vamos us a-lo para calcular a energia e Casimir do campo eletromagn etico com deforma c~ ao capa. H a outros m etodos de c alculo de energias de Casimir, como, por exemplo, o m etodo da fun c~ ao de Green, o m etodo da fun c~ ao zeta generalizada e o m etodo de Schwinger. Na se c~ ao 3.1 usaremos o m etodo de Schwinger e na se c~ ao 3.3 o m etodo de soma de modos, aplicados a campos com deforma ca ~o capa. Antes de prosseguir, observemos que o efeito de atra c~ ao entre placas condutoras tamb em pode ser explicado pelas for cas de van der Waals entre as placas neutras. Tais for cas ocorrem entre placas diel etricas e as placas condutoras podem ser consideradas como o caso limite de constante diel etrica innita. No entanto, e importante observar que o efeito de atra c~ ao pode ser explicado usando apenas a energia de ponto zero e a condi c~ ao de contorno connante das placas, sem mencionar qualquer modelo molecular para os dipolos das placas. A energia das utua c~ oes do v acuo qu^ antico deve ser considerada uma explica c~ ao mais fundamental do efeito Casimir por ser mais simples e por dar conta de outros efeitos em que n~ ao existem for cas de van der Waals presentes, e ainda assim, h a efeitos de v acuo do mesmo tipo do efeito descoberto por Casimir; cada um deles e considerado como um efeito Casimir em sentido lato. Atualmente e chamado de efeito Casimir a qualquer efeito sobre as utua c~ oes do v acuo qu^ antico decorrente de altera c~ ao da variedade de base do campo, da trivial de lR 3 , ou em geral lR n , para outra variedade qualquer. As ditas altera c~ oes de variedade s~ ao usualmente provocadas por condi c~ oes de contorno. Nesse sentido amplo o efeito Casimir tem sido objeto de constante interesse [1, 10, 11, 12, 13, 14]. O efeito Casimir original caracteriza-se pelo fato das utua c~ oes do v acuo serem as do campo eletromagn etico e pela altera c~ ao da variedade de base de lR 3 para lR 2 [0; a], devido ao efeito connante das placas met alicas sobre as utua c~ oes do campo eletromagn etico. De uma forma mais geral, o efeito Casimir e hoje importante em outras areas al em da teoria qu^ antica dos campos, como por exemplo, em cosmologia e gravita c~ ao. 16

O efeito Casimir tem propriedades que lhe d~ ao um signicado singular dentro da teoria qu^ antica dos campos. De um lado e um efeito de um dos aspectos mais fundamentais da teoria: o seu v acuo. De outro, no caso eletromagn etico, e observ avel macroscopicamente, pela atra c~ ao de duas plaquinhas vis veis a olho n u. N~ ao s~ ao muitos os fen^ omenos com esses dois aspectos: est~ ao nos fundamentos da teoria e s~ ao diretamente observ aveis. Passemos agora a outros efeitos not aveis do v acuo qu^ antico que ser~ ao de nosso interesse. Eles est~ ao associados as propriedades de polariza c~ ao do v acuo, que ocorrem quando o campo qu^ antico considerado e eletricamente carregado. Suas utua c~ oes de v acuo t^ em o car ater de dipolos el etricos e magn eticos. Sob a a c~ ao de um campo eletromagn etico aplicado essas utua c~ oes d~ ao ent~ ao origem aos chamados efeitos de polariza c~ ao do v acuo. Para discut -los, e elucidativo recordarmos o caso do campo eletromagn etico cl assico no v acuo cl assico, isto e, no vazio completo e inerte. Esse campo e descrito pela lagrangiana de Maxwell: 1 1 L(0) = E2 B2 : 2 2 (1.1.11)

Suponhamos agora que desejamos descrever tal campo em um meio material polariz avel no qual existem, em escala microsc opica, momentos de dipolo el etrico e magn etico, que podem ser afetados ou criados pelo campo eletromagn etico aplicado. Esse meio gera um campo que, junto com o aplicado, d a o campo eletromagn etico total observ avel. Ele e descrito por uma nova lagrangiana L = L(0) + L(1) 1 2 1 2 = E B + L(1) ; 2 2

(1.1.12)

na qual L(1) , tal qual a lagrangiana de Maxwell L(0) , e uma fun c~ ao apenas das vari aveis din^ amicas E e B. Essa fun c~ ao L(1) , acrescentada a lagrangiana de Maxwell, resulta em uma costume chamar tanto a lagrangiana total L, quanto a a presen ca do meio polariz avel. E lagrangiana total que, embora s o dependa do campo eletromagn etico, descreve efetivamente fun c~ ao L(1) , de lagrangiana efetiva do campo eletromagn etico no meio em considera c~ ao. A

lagrangiana efetiva L(1) e fun c~ ao de E2 e B2 e (E B)2 , que podemos escrever como a parte quadr atica em E e B somada a termos de grau superior: L
(1)

1 1 = ( 1)E2 2 2 17

1 1 B2 + L(1) 0 ;

(1.1.13)

onde as constantes e s~ ao, respectivamente, a permissividade e a permeabilidade do meio, que descrevem suas propriedades lineares, enquanto a fun c~ ao L(1) 0 s o tem pot^ encias de ordem superior no campo e descreve as propridades n~ ao-lineares do meio. Desse modo, a lagrangiana efetiva total (1.1.12) tamb em pode ser escrita como L= 2 1 2 E B + L(1) 0 : 2 2 (1.1.14)

Essa lagrangiana efetiva descreve o campo eletromagn etico no meio, desde que o campo el etrico n~ ao atinja um valor cr tico Ecr , caracter stico do meio, quando ent~ ao rompem-se os seus dipolos e surgem pares de cargas livres. Voltemos agora ao caso do v acuo qu^ antico de um campo carregado. Sabemos que suas utua c~ oes de pares virtuais d~ ao origem a efeitos polarizat orios, como se fosse um meio material. Desse modo, o campo eletromagn etico cl assico nesse v acuo qu^ antico e descrito por uma lagrangiana efetiva. No caso do v acuo do campo de Dirac temos a lagrangiana efetiva de Euler-Heisenberg LEH [38, 39, 40]. Em termos dos escalar F e pseudoescalar G , F = B2 E2 ela pode ser escrita como:
(1) LEH (1)

G =BE;
#

(1.1.15)

1 Z 1 ds sm2 Re cosh(esX ) 2 = 2 e (se)2 G 1 (se)2 F 3 8 0 s Im cosh(esX ) 3 3 h 2 i h=mc) 2 ( (E2 B2 )2 + 7(E B)2 + ; = 45 mc2
q

"

(1.1.16)

onde m e a massa do el etron, e, sua carga e X , a combina c~ ao: X= 2(F + iG ) : (1.1.17)

No caso do v acuo do campo escalar carregado temos a lagrangiana efetiva que chamamos de lagrangiana efetiva de Weisskopf-Schwinger [39, 40]:
(1) LW S

1 Z1 = 16 2 0 2 ( h=mc)3 = 90 mc2

ds sm2 (se)2 G 1 e 1 + (se)2 F 3 s Im cosh(esX ) 3 7 2 (E B2 )2 + (E B)2 + ; 4

"

(1.1.18)

onde m e e representam agora a massa e a carga do campo escalar. 18

A magnitude dos efeitos de polariza c~ ao do campo eletromagn etico sobre o v acuo carregado depende da grandeza dos campos el etrico e magn etico, comparados com os valores cr ticos Ecr = Bcr = m2 =e. No caso em que o campo qu^ antico e o do el etron temos que Ecr 1; 7 1016 V/cm e Bcr 4; 4 1013 Gauss. Os efeitos polarizat orios do campo el etrico E e magn etico B s~ ao tanto maiores quanto maiores forem as raz~ oes E=Ecr e B=Bcr . Estaremos interessados nas situa c~ oes nas quais o campo aplicado e puramente magn etico ou puramente el etrico. No primeiro caso a lagrangiana de Euler-Heisenberg tem a forma:
(1) LEH (B )

1 = 2 8

Z 1
s0

ds sm2 1 e (seB ) coth (seB ) 1 (seB )2 : 3 s 3

(1.1.19)

A do campo puramente el etrico e obtida trocando-se na express~ ao acima B por iE: LEH (E ) =
(1)

1 Z 1 ds sm2 1 2 e ( seE ) cot ( seE ) 1 + ( seE ) : 8 2 s0 s3 3

(1.1.20)

Nessa integral, o integrando tem p olos no caminho de integra c~ ao, de modo que a integral acima e a soma de uma parte principal real com uma parte imagin aria proveniente da soma dos semi-res duos:
(1) LEH (E ) =

Z 1 ds 1 1 2 2 3 esm (seE ) cot (seE ) 1 + (seE )2 8 3 s0 s ( ) ! 1 2 3 2 2 X 1 nm c eE : +i exp 2 2 3 eEh 8 h c n=1 n

(1.1.21)

A parte real descreve os efeitos de polariza c~ ao para campos el etricos fracos E Ecr e a parte imagin aria d a a probabilidade de cria c~ ao de pares el etron-p ositron. A probabilidade de cria c~ ao de pares aumenta com o crescimento da raz~ ao E=Ecr , como e evidente no exponencial exp fnc3 Ecr =E h g, presente em (1.1.21). No caso do campo escalar carregado temos analogamente a lagrangiana do campo aplicado puramente magn etico,
(1) LW S (B )

1 Z 1 ds sm2 1 2 = e (seB ) csch (seB ) 1 + (seB ) ; 16 2 s0 s3 6

(1.1.22)

e a lagrangiana do campo puramente el etrico:

(1) LW S (E )

1 Z 1 ds sm2 1 2 = e (seE ) csc (seE ) 1 (seE ) : 16 2 s0 s3 6

(1.1.23)

19

Devido aos p olos no caminho de integra c~ ao temos que essa lagrangiana tamb em tem partes real e imagin aria:
(1) LW S (E ) = 1 ds 1 1 2 esm (seE ) csc (seE ) 1 (seE )2 2 3 16 6 s0 s ! 1 ( ) 2 2 n1 2 3 X eE (1) nm c +i exp : n2 eEh 16 3 h 2 c n=1

(1.1.24)

Notemos que todas essas lagrangianas descrevem apenas efeitos n~ ao-lineares, j a que n~ ao apresentam contribui c~ oes quadr aticas em E ou B. Isso e esperado por raz~ oes f sicas, pois, retirado o campo aplicado o v acuo n~ ao sofre inu^ encias externas e, portanto, n~ ao deve apresentar propriedades a princ pio observ aveis [39]. Essas lagrangianas efetivas foram originalmente calculadas a partir da energia do v acuo (1.1.3) [39, 44], que depende, no presente contexto, dos campos aplicados E e B. Elas tamb em podem ser calculadas a partir do que Schwinger chama de a c~ ao bem ordenada e que podemos chamar de a c~ ao efetiva a um la co W (1) . Ela e dada, como conseq u^ encia imediata do princ pio de a c~ ao de Schwinger [40], por: h0t2 j 0t1 i = eiW
(1)

(1.1.25)

onde h0 + j0i e a amplitude do sistema persistir no v acuo no instante t2 se ele se encontra no v acuo no instante t1 . Em geral considera-se que t1 ! 1 e t2 ! +1. Na chamada representa c~ ao de tempo pr oprio de Schwinger, temos a seguinte express~ ao para a a c~ ao efetiva no caso do campo escalar [40]: W
(1)

i Z 1 ds T reisH ; = 2 s0 s

(1.1.26)

onde s e o tempo pr oprio de Schwinger, s0 e um par^ ametro de corte que deve ser tomado como zero ap os as necess arias renormaliza c~ oes e H e o hamiltoniano do tempo pr oprio de Schwinger, dado no caso essencialmente pelo operador de Klein-Gordon com acoplamento m nimo com o quadripotencial A do campo cl assico aplicado: H = (P eA)2 + m2 ; onde m e a massa do campo escalar e P = i@ : 20 (1.1.28) (1.1.27)

A lagrangiana efetiva L(1) e obtida pelo m etodo de Schwinger como sendo a lagrangiana da a c~ ao efetiva W (1) em (1.1.25) [40]. Notemos ainda que, no caso em que o v acuo do campo qu^ antico e submetido a condi c~ oes de contorno est aticas, como e o caso do efeito Casimir, temos que h0t2 j 0t1 i = exp(iE0 (t2 t1 )). Comparando essa express~ ao com (1.1.25) obt em-se que a energia do v acuo e dada pela a c~ ao efetiva de acordo com E0 = W (1) =(t2 t1 ). Schwinger [43] obt em a energia de Casimir E a partir partir da a c~ ao efetiva W (1) em (1.1.25), usando a rela c~ ao: E = W (1) ; T

(1.1.29)

onde T = t2 t1 , sendo t2 e t1 os instantes nal e inicial da a c~ ao W (1) , e as grandezas envolvidas devem ser submetidas aos procedimentos necess arios de regulariza c~ ao e renormaliza c~ ao. No caso em que a a c~ ao efetiva tem uma parte imagin aria, como ocorre no caso descrito pelas equa c~ oes (1.1.21) e (1.1.24), a probabilidade de persist^ encia no v acuo associada a amplitude (1.1.25) e menor do que 1. Nesse caso ocorre a cria c~ ao de excita c~ oes do campo qu^ antico em considera c~ ao, devido ao agente externo que ocasiona o aparecimento da parte imagin aria. No caso das equa c~ oes (1.1.21) e (1.1.24) o agente externo e o campo el etrico aplicado. O m etodo de Schwinger ser a usado na se c~ ao 1.4 e voltaremos a discut -lo na se c~ ao 3.1, quando ser a usado no estudo da deforma c~ ao capa da algebra de Poincar e. H a outros efeitos importantes devidos as utua c~ oes do v acuo, como o desvio de Lamb ou o decaimento at^ omico espont^ aneo [1] mas, neste trabalho usamos, para investigar deforma c~ oes em teorias de campos, os dois explicados acima, o efeito Casimir e os efeitos de polariza c~ ao do v acuo.

1.2

Deforma c~ oes em teorias de campos

Em seu sentido mais abrangente, uma deforma c~ ao de uma estrutura matem atica e uma outra estrutura matem atica dependente de um ou mais par^ ametros que, ao tenderem para certos valores limites, reproduzem a estrutura original. A estrutura matem atica deformada e constru da de modo a produzir novos resultados, que generalizem ou esclare cam resultados 21

da estrutura original. As deforma c~ oes importantes, longe de serem arbitr arias, produzem estruturas deformadas bem espec cas a partir da estrutura dada. Por exemplo, dada uma algebra de Lie, produzem uma b gebra de Hopf, ou dada uma algebra comutativa produzem uma algebra n~ ao-comutativa. Al em disso, espera-se que as quantidades da teoria deformada possam ser escritas como s eries de pot^ encias nos par^ ametros de deforma c~ ao, de modo que o termo independente dos par^ ametros sejam as correspondentes quantidades da teoria n~ ao-deformada. Em linguagem mais comum em f sica, podemos dizer que as quantidades da estrutura deformada devem ser obtidas perturbativamente a partir da correspondente quantidade n~ ao-deformada. Sem essas restri c~ oes fundamentais o conceito de deforma c~ ao seria por demais gen erico para ser de utilidade. A primeira formaliza c~ ao do conceito de deforma c~ ao de uma estrutura algebrica e devida ao matem atico Gerstenhaber [16]. Ele cita a id eia de deforma c~ ao como previamente aplicada por Kodaira, Nirenberb e Spencer ao estudo de objetos geom etricos e anal ticos como superf cies de Riemann. Uma tal teoria formal est a fora de nossos objetivos e interesses. Para nosso trabalho e suciente o conceito gen erico de deforma c~ ao e a considera c~ ao de alguns exemplos provenientes da f sica. O conceito de deforma c~ ao e importante na F sica, embora nem sempre seja usado formalmente. Talvez seu exemplo mais importante seja a deforma c~ ao pela qual passamos da Mec^ anica Cl assica para a Qu^ antica [17]. Neste, a Mec^ anica Qu^ antica e considerada uma deforma c~ ao da Mec^ anica Cl assica com par^ ametro de deforma c~ ao h . No limite em que h !0 o formalismo qu^ antico reduz-se ao cl assico. Esta deforma c~ ao qu^ antica da Mec^ anica Cl assica pode ser esbo cada nos passos que descrevemos a seguir. Inicia-se com um espa co de fase X munido de um colchete de Poisson e com a algebra A = C 1 (X ) das observ aveis cl assicas, isto e, das fun c~ oes reais suaves denidas no espa co de fase X . Dene-se ent~ ao o espa co vetorial A do pelas s eries de pot^ encias em h com coecientes em A. Dene-se ent~ ao uma h constitu multiplica c~ ao em A h que tenha elemento unidade e que seja associativa e da forma ' = ' + h f'; g + ; 2i (1.2.30)

onde ' e o produto usual de fun c~ oes e f'; g e o colchete de Poisson das fun c~ oes. O formalismo da Mec^ anica Qu^ antica e constru do a partir dessa algebra deformada A h. A 22

Mec^ anica Cl assica e obtida tomando-se o limite h ! 0 no qual A h ! A e o colchete de Poisson e recuperado como i f'; g = lim (' ') : h!0 h Essa abordagem da Mec^ anica Qu^ antica e devida a Hermann Weyl [17]. O exemplo anterior nos leva a perguntar se a Relatividade Restrita pode ser considerada como algum tipo de deforma c~ ao da Mec^ anica Cl assica Newtoniana, se tomarmos a velocidade c da luz como um par^ ametro vari avel de deforma c~ ao. Sabemos que, de um modo geral, no limite em que c e muito maior do que as velocidades das part culas envolvidas no formalismo, as f ormulas da Relatividade Restrita reduzem-se as f ormulas da Mec^ anica Cl assica Newtoniana. Temos, por exemplo, a rela c~ ao entre energia e momento linear, que na Relatividade Restrita e dada por Ec =
q
2 2 4 p2 cc + m c ;

(1.2.31)

(1.2.32)

onde Ec e pc s~ ao as express~ oes relativ sticas da energia e momento linear. A mesma rela c~ ao na Mec^ anica Cl assica Newtoniana, pode ser obtida como o limite n~ ao-relativ stico: E = clim (Ec mc2 ) = !1 p2 ; 2m (1.2.33)

onde E e p = limc!1 pc s~ ao a energia e momento linear n~ ao-relativ sticos. Esse limite n~ ao-relativ stico pode ser formalizado nas a lgebras de simetrias espa co-temporais da Relatividade Restrita e da Mec^ anica Cl assica Newtoniana, respectivamente, as algebras de Poincar e e de Galilei. De fato, a segunda pode ser obtida como o limite n~ ao-relativ stico da primeira pelo m etodo de contra c~ ao de Wigner-In on u [28, 29]. Desse modo podemos encarar a Relatividade Restrita como uma deforma c~ ao, da Mec^ anica Cl assica Newtoniana, com par^ ametro de deforma c~ ao c. Tamb em podemos construir teorias qu^ anticas de campo cujas simetrias espa co-temporais s~ ao governadas pelas a lgebras de Poincar e ou de Galilei e perguntamo-nos se as segundas s~ ao limites das primeiras ou em que sentido as primeiras podem ser deforma c~ oes das segundas. Parece problem atico construir teorias desse tipo. De fato, as teorias qu^ anticas de campo relativ sticas t^ em o setor de freq u^ encias negativas, respons avel pela exist^ encia das antipart culas e pela simetria entre part culas e antipart culas. 23

J a as teorias qu^ anticas de campo n~ ao-relativ sticas s o apresentam o setor de freq u^ encias positivas, e parece dif cil imaginar algum esquema te orico para conectar por deforma c~ ao cont nua essas propriedades dos dois tipos de teoria qu^ antica de campos. A diculdade de se obter limites n~ ao-relativ sticos de grandezas relativ sticas em teorias qu^ anticas de campos pode ser exemplicada no n vel mais fundamental dessas teorias, por um efeito do v acuo qu^ antico: o efeito Casimir. Essa quest~ ao ser a discutida na pr oxima se c~ ao. Na se c~ ao 1.4 consideramos uma deforma c~ ao de car ater geom etrico, na variedade de base de um campo qu^ antico relativ stico, que tomamos como sendo um campo escalar carregado e determinamos as conseq u^ encias desse tipo de deforma ca ~o em efeitos de v acuo do campo. As congura c~ oes de um campo s~ ao usualmente denidas no espa co lR 3 . Suponhamos agora que o campo esteja sujeito a condi c~ ao peri odica ao longo de uma dire c~ ao, digamos, a do eixo OZ : '(x; y; z + a) = '(x; y; z ) ; (1.2.34) onde designamos o per odo espacial por a. Geometricamente, essa condi c~ ao signica que a variedade de base lR 3 foi mudada para um hiper-cilindro, pela compactica c~ ao de uma u nica dimens~ ao, pela transforma c~ ao de lR no c rculo S 1 . Consideremos agora uma outra condi c~ ao sobre o campo, que estabelece que a cada deslocamento a ao longo da dire c~ ao de OZ , o campo sofre uma mudan ca de fase : '(x; y; z + a) = ei '(x; y; z ) : (1.2.35)

Chamamos tal condi c~ ao de deforma c~ ao teta da condi c~ ao peri odica. Para = 0, ou no limite 2 , essa condi c~ ao reduz-se a condi c~ ao peri odica (1.2.34) e para = , a uma condi c~ ao antiperi odica. Para os valores intermedi arios a condi c~ ao pode ser vista como uma deforma c~ ao, com par^ ametro , da condi c~ ao de contorno peri odica. De um ponto de vista geom etrico, podemos considerar que a dimens~ ao ao longo da qual ocorre a periodicidade deformada e
1 transformada em um espa co que denotaremos por S , que podemos chamar de uma curva 1 torcida de . Naturalmente que em = 0 temos que S e o c rculo propriamente dito, S 1 .

Nesse caso temos a compactica c~ ao comum de R em S 1 . Para = a condi c~ ao de antipe1 riodicidade induz em S algo como a tor c~ ao de uma ta de M obius. Para 6 = 0 a geometria 1 do espa co S n~ ao parece ter uma descri c~ ao intuitiva. De qualquer modo podemos considerar

24

1 S como uma deforma c~ ao de S 1 , com par^ ametro de deforma c~ ao . O campo e ent~ ao denido

no espa co lR 2 S1 c~ ao teta da variedade de base lR 2 S1 . Na se c~ ao 1.4 obtido pela deforma calculamos a depend^ encia de efeitos de v acuo em rela c~ ao ao par^ ametro de deforma c~ ao e encontramos que essa depend^ encia e suave e leva a alguns resultados interessantes. Ap os tratar esses dois exemplos mais simples nos quais exploramos a id eia de deforma c~ ao em teoria qu^ antica dos campos, vamos voltar nossa aten c~ ao nos cap tulos seguintes para o nosso objeto de maior interesse nesta tese: a deforma c~ ao capa da algebra de Poincar e [26], que leva a uma teoria qu^ antica de campos com um formalismo bem mais complicado e com propriedades inusitadas. Vamos nos limitar aqui a uma brev ssima descri c~ ao dessa deforma c~ ao, uma vez que dedicaremos a ela os cap tulos 2 e 3 inteiros. A deforma c~ ao capa da algebra de Poincar e e uma deforma c~ ao alg ebrica, no sentido uma estrutura alg matem atico estrito, da algebra de Poincar e. E ebrica dependente de um par^ ametro de deforma c~ ao , com dimens~ ao de massa, e o limite em que a deforma c~ ao desaparece e obtido quando ! 1. A deforma c~ ao capa da algebra de Poincar e faz parte de uma estrutura alg ebrica chamada de algebra de Hopf ou de b gebra de Hopf na literatura matem atica, e mais conhecida na literatura f sica como grupo qu^ antico ou algebra qu^ antica. Enquanto o invariante quadr atico de Casimir da algebra de Poincar e leva a rela c~ ao de dispers~ ao relativ stica (1.2.32), o invariante correspondente da deforma c~ ao capa da algebra de Poincar e leva a seguinte rela c~ ao de dispers~ ao dependente do par^ ametro : E (p) = 2 senh
1

1q 2 p + m2 2

(1.2.36)

No limite em que ! 1 essa rela c~ ao reduz-se a rela c~ ao relativ stica (1.2.32). Todas as aplica c~ oes em teoria qu^ antica de campos que vamos considerar dependem basicamente dessa rela c~ ao de dispers~ ao deformada. A gura (1.1) mostra gr acos dessa rela c~ ao de dispers~ ao para v arios valores de com a massa normalizada em m = 1 . Notemos que nesse caso a curva correspondente a = 10 e visualmente indisting u vel da curva do caso n~ ao-deformado ( = 1). Notemos tamb em que a medida que diminui e, portanto, a deforma c~ ao aumenta, vai abrandando o problema ultravioleta. A deforma c~ ao capa e um regulador ultravioleta natural.

25

Figure 1.1: De cima para baixo: rela c~ ao de camada de massa (m = 1) sem

deforma c~ ao ( = 1), e com = 10, = 3, = 1 e = 0; 5 .

1.3

Limite n~ ao-relativ stico do efeito Casimir

Na se c~ ao anterior ponderamos sobre a diculdade de se considerar teorias qu^ anticas de campo relativ sticas como deforma c~ oes de teorias qu^ anticas de campo n~ ao-relativ sticas. Para ajudar a entender essa quest~ ao estudamos um efeito de v acuo nas duas teorias, o efeito Casimir. Ele aparece nas teorias qu^ anticas de campo relativ sticas e n~ ao existe nas n~ ao-relativ sticas. Examinando-se a express~ ao (1.1.1) da energia de Casimir, vemos que ela se anula no limite n~ ao-qu^ antico h ! 0, como e de se esperar, pois ela deve ser nula na aus^ encia de utua c~ oes qu^ anticas. J a o limite n~ ao-relativ stico da energia de Casimir deve ser considerado com mais cuidado. Para come car, o efeito Casimir original e o do campo eletromagn etico, que e intrinsecamente relativ stico, dado que o f oton tem massa nula. Conseq uentemente, n~ ao faz sentido tomar o limite c ! 1 em (1.1.1). No caso de um campo com massa m diferente de zero, a interpreta c~ ao usual do efeito Casimir e que ele e devido as modica c~ oes nas utua c~ oes de pares virtuais de part culas e antipart culas, causadas pela imposi c~ ao de condi c~ oes externas, tais como condi c~ oes de contorno. No caso de um campo qu^ antico n~ aorelativ stico, n~ ao h a antipart culas e, conseq uentemente a interpreta c~ ao usual n~ ao se aplica. Do ponto de vista alg ebrico, a aus^ encia do setor de antipart culas faz com que n~ ao haja 26

o problema de ordena c~ ao normal que d a origem a energia de ponto zero na express~ ao do hamiltoniano do campo. Devemos pois concluir que n~ ao h a energia de Casimir de campos n~ ao-relativ sticos. Esse fato e conrmado pelos c alculos usuais e ser a obtido logo adiante. Por em, se esta energia de Casimir e nula, resta a quest~ ao de como a energia relativ stica se comporta pr oxima a seu limite n~ ao-relativ stico nulo, no caso de um campo com massa. Dito de outro modo, quais seriam as corre c~ oes relativ sticas a energia nula de um campo n~ ao-relativ stico. A expectativa ing^ enua seria a de uma energia de Casimir pequenina para uma teoria ligeiramente relativ stica. Veremos que tais expectativas s~ ao contornadas pelo formalismo de modo sutil. Simplesmente n~ ao h a energia de Casimir innitesimal no limite c ! 1, pelo menos dentro do contexto usual que estamos considerando o problema. Com isso a energia de Casimir oferece mais um argumento para recusar a possibilidade de interpretar teorias qu^ anticas de campos relativ sticas como deforma c~ oes de n~ ao-relativ sticas, conforme discutido anteriormente. Passemos agora aos c alculos que tratam dessas quest~ oes [32]. Primeiramente, consideremos um campo real neutro n~ ao-relativ stico, de massa m diferente de zero, connado entre dois planos paralelos separados por uma dist^ ancia a, tal como o campo eletromagn etico do efeito Casimir original. O connamento e implementado pela condi c~ ao de contorno de Dirichlet sobre o campo nos dois planos. A rela c~ ao de dispers~ ao para o campo n~ ao-relativ stico e h !(p) = p2 =2m, tal como dado em (1.2.33). A condi c~ ao de contorno resulta na discretiza c~ ao da componente do momento linear p perpendicular aos planos, que e ent~ ao dada por p? = nh =a (n = 1; 2; :::). A componente pjj , paralela aos planos permanece livre para assumir qualquer valor em lR 2 . Podemos denir a energia de ponto zero desse campo como sendo a soma das energias dos modos do campo, usando agora a rela c~ ao de dispers~ ao n~ ao-relativ stica h !(p) = p2 =2m. Essa e a deni c~ ao que resulta da simples substitui c~ ao, na energia de ponto zero do campo escalar relativ stico, da rela c~ ao de dispers~ ao relativ stica pela n~ ao-relativ stica. Naturalmente, tamb em essa energia de ponto zero n~ ao-relativ stica deve ser escrita de uma maneira regularizada, que tomamos como sendo a seguinte: ENR (a; s) = `2 (mc) (2h )2
2s

d2 pjj

n=1

1 X

2 =a)2 1 pjj + (nh 2 2m

i1s

(1.3.37)

onde o par^ ametro real s e grande o bastante para regularizar a express~ ao. Seguindo as 27

t ecnicas costumeiras, faremos uma extens~ ao anal tica de E (a; s) para uma regi~ ao do plano complexo s que contenha a origem. Usando a representa c~ ao integral da fun c~ ao beta de Euler [45], obtemos para (1.3.37): ENR (a; s) = `2
2s

a h mc

1 X 1 1 3 h 2 ; (s 2) n1 n2s4 8 m a4

(1.3.38)

ou, em termos da fun c~ ao zeta de Riemann: ENR (a; s) = `

2

a h mc

2s

(2s 4) 3h 2 : (s 2) 8 m a4

(1.3.39)

Uma vez que na reta real s o tem singularidade quando seu argumento e igual a um, isto e, para s = +5=2 na equa c~ ao anterior, podemos tomar o limite s ! 0 para obter a energia de Casimir n~ ao-relativ stica: ENR (a) = lim E (a; s) = `2
s!0

2h c 45 h (4) : 3 720 a amc

(1.3.40)

Ela e nula, como esperado. Nessa f ormula o valor nulo se deve a propriedade da fun c~ ao zeta de Riemann ser igual a zero quando seu argumento e um par negativo. Esse resultado j a fora obtido por Bordag, Hennig e Robaschik [46] e nosso objetivo e investigar a possibilidade de se obter corre c~ oes relativ sticas ao valor nulo de (1.3.40). Consideremos agora um campo escalar relativ stico de massa m diferente de zero e submetido as mesmas condi c~ oes de contorno do campo n~ ao-relativ stico considerado anteriormente. Partindo-se da energia de ponto zero do campo e usando-se a rela c~ ao de dispers~ ao relativ stica (1.2.32) obt em-se para o campo escalar relativ stico a seguinte energia de Casimir [14]: ER (a) =
1 (amc=h )2 X 1 K2 (2amc=h ) : 2 4 4 a n=1 n2

(1.3.41)

Hays apresenta uma discuss~ ao muito interessante da energia correspondente ao caso de um espa co-tempo bidimensional [47]. Para examinar o limite n~ ao-relativ stico dessa energia consideramos amc=h 1 e aproximamos (1.3.41) pela express~ ao: m2 c3 ER (a) = 16 2 ah
! !1=2

h amc

exp

2amc h

(1.3.42)

No limite em que c ! 1 essa energia vai a zero e, portanto, coincide com a energia n~ ao-relativ stica (1.3.40). Na tentativa de obter corre c~ oes relativ sticas a energia n~ ao-relativ stica 28

nula, consideramos a expans~ ao da rela c~ ao de dispers~ ao relativ stica: Ec mc2 = onde bj

(1=2) 1 X (1=2)

bj

j =1

p2 1 p2 p2 j = 1 + ::: ; m2j 1 c2j 2 2m 4 m2 c2

(1.3.43)

s~ ao os coecientes binomiais da expans~ ao. O primeiro termo da expans~ ao levar a

a energia de Casimir n~ ao-relativ stica nula, obtida em (1.3.40). Para acrescentar a esse resultado as corre c~ oes relativ sticas at e ordem N , truncaremos a expans~ ao (1.3.43) em j = N + 1, de modo a ter a seguinte rela c~ ao de dispers~ ao: Ec mc2 =
N +1 X j =1

bj

(1=2)

p2 j : m2j 1 c2j 2

(1.3.44)

Para regularizar a energia de ponto zero com rela c~ ao de dispers~ ao dada por essa s erie truncada, vamos substituir j nos expoentes de (1.3.43) por j s e supor s grande o bastante para tornar a energia regularizada. Obtemos assim a energia: EN (a; s) = onde Tj (a; s) = `2 (mc) (2h )2
2(j 1+s) N +1 X j =1

Tj (a; s) ;

(1.3.45)

d2 pjj

n=1

1 X

1 1=2 b 2 j

p2 n=a)2 jj + ( h m

ij s

(1.3.46)

Usando novamente a representa c~ ao integral da fun c~ ao beta de Euler [45], e identicando na s erie resultante a fun c~ ao zeta de Riemann, obtemos: (mc)2(j 1+s) 1 Tj (a; s) = ` 2 2m s j 1 (2h )
2

h a

!2j +22s

(2s 2j 2) :

(1.3.47)

Essa express~ ao e bem denida e continua assim no limite s ! 0, em que eliminamos o par^ ametro regularizador. Fazendo ent~ ao s = 0 obtemos que:
!2j 1

2h c Tj (a; 0) = ` 720 a3
2

h amc

90 (2j 2) : j +1

(1.3.48)

Vemos que Tj (a; 0) e proporcional a fun c~ ao zeta de Riemann com argumento par negativo e, portanto, e igual a zero. Conseq uentemente, obtemos que, no limite s ! 0 em (1.3.45), a 29

energia de Casimir n~ ao-relativ stica com corre c~ oes relativ sticas at e ordem N e identicamente nula:
+1 X 2h c N EN (a) = ` 720 a3 j =1 2

h amc

!2j 1

90 (2j 2) = 0 : j+1

(1.3.49)

A contribui c~ ao em cada ordem tem como fator a fun c~ ao zeta de Riemann com um argumento par negativo. Dessa forma, as corre c~ oes relativ sticas em cada ordem s~ ao identicamente nulas. Nenhuma corre c~ ao relativ stica pode alterar o valor nulo da energia de Casimir n~ ao-relativ stica. Esse resultado, mostrando a impossibilidade de corre c~ oes relativ sticas a energia de Casimir n~ ao-relativ stica, indica que o efeito Casimir e um efeito completamente relativ stico, sem possibilidade de ser obtido perturbativamente a partir do limite n~ ao-relativ stico. N~ ao podemos por passos innitesimais deformar esse limite at e obter uma energia de Casimir diferente de zero. Para entender o resultado obtido podemos voltar a interpreta c~ ao usual do efeito Casimir, como efeito essencialmente ligado a exist^ encia de antipart culas. A exist^ encia de dois ramos na fun c~ ao raiz quadrada que d a a rela c~ ao de dispers~ ao relativ stica (1.2.32) e a raz~ ao matem atica das freq u^ encias negativas na expans~ ao do campo qu^ antico e, portanto, da exist^ encia do setor de antipart culas. J a na rela c~ ao de dispers~ ao quadr atica do caso n~ aorelativ stico (1.2.33), e tamb em na rela c~ ao polinomial (1.3.44), n~ ao h a ramos que descrevam a exist^ encia do setor de antipart culas. O c alculo da energia de Casimir com rela c~ oes de dispers~ ao mais gen ericas podem conrmar ou n~ ao uma tal interpreta c~ ao. Notemos que na rela c~ ao de dispers~ ao com deforma c~ ao capa (1.2.36) h a dois ramos. O efeito Casimir nesse caso e diferente de zero, como veremos no cap tulo 3. Resta entender o limite em que N ! 1 na rela c~ ao (1.3.44). Esse limite, no raio de converg^ encia da s erie resultante (jpj < mc), e a rela c~ ao de dispers~ ao relativ stica (1.2.32). Mas o limite em que N ! 1 na express~ ao nula da energia de Casimir (1.3.49) e identicamente nulo, e n~ ao igual a energia de Casimir relativ stica (1.3.41). Para entender esse resultado observamos primeiramente que o raio de converg^ encia da expans~ ao n~ ao-relativ stica e ultrapassado pelo somat orio e pela integral no c alculo das corre c~ oes (1.3.46) a energia de Casimir n~ ao-relativ stica. Isso n~ ao nos impede de calcular tais contribui c~ oes e obter resultados bem denidos, mas certamente nos impede de concluir que a soma de todas as contribui c~ oes e 30

necessariamente a energia de Casimir relativ stica, como de fato n~ ao e. Em segundo lugar podemos observar que a express~ ao da energia de Casimir relativ stica no regime fracamente relativ stico amc=h 1 e dada, de acordo com (1.3.42), por m2 c3 ER (a) = 16 2 ah
!

h amc

!1=2

2 exp h (1=amc)

(1.3.50)

onde escrevemos o expoente como fun c~ ao da vari avel de expans~ ao fracamente relativ stica 1=amc. Devido a exponencial, a energia de Casimir relativ stica (1.3.50) tem uma singularidade essencial no limite (1=amc) ! 0 e, conseq uentemente, n~ ao admite expans~ ao em s erie de pot^ encias em 1=amc. Desse modo, n~ ao e surpreendente que o limite N ! 1 das chamadas corre c~ oes relativ sticas (1.3.49) n~ ao seja igual a energia de Casimir relativ stica. Dada a singularidade essencial dessa energia em (1=amc) = 0, a s erie obtida de (1.3.49), no limite N ! 1, poderia dar qualquer valor e at e mesmo ser divergente. Nosso resultado e que ela e identicamente nula, refor cando a id eia de que o efeito Casimir e essencial e n~ aoperturbativamente relativ stico. Esse resultado e an alogo ao obtido no fen^ omeno de cria c~ ao de pares el etron-p ositron em presen ca de um campo el etrico E constante e uniforme. A taxa temporal de cria c~ ao por unidade de volume e dada por [40, 48],
(1) 2 Im LEH

1 X e2 E 2 1 nm2 c3 exp eEh 4 3 h 2 c n=1 n2

(1.3.51)

conforme se obt em de (1.1.21). Como fun c~ ao da constante de acoplamento e, essa fun c~ ao tem uma singularidade essencial no limite e ! 0, mostrando que a cria c~ ao de pares e um fen^ omeno essencialmente n~ ao-perturbativo.

1.4

Deforma c~ ao teta das condi c~ oes de periodicidade

teta da variedade de base lR 2 S1 . Como discutimos na se c~ ao 2.2, tal deforma c~ ao e a

Seja um campo escalar carregado , denido no espa co lR 2 S1 c~ ao obtido pela deforma

formula c~ ao geom etrica da deforma c~ ao da condi c~ ao de contorno peri odica, dada em (1.2.35). Vamos calcular o efeito dessa deforma c~ ao em efeitos de v acuo do campo escalar carregado. Especicamente, vamos obter como a lagrangiana efetiva de Weisskopf-Schwinger e do efeito Casimir dependem do par^ ametro de deforma c~ ao teta. 31

Consideramos o campo escalar carregado sob as condi c~ oes de contorno e submetido a um campo magn etico constante e uniforme. O v acuo sob condi c~ oes de contorno d a origem ao efeito Casimir e o mesmo v acuo, em um campo magn etico aplicado, d a origem a efeitos n~ aolineares de magnetiza c~ ao descritos pelas lagrangianas efetivas. Al em disso, quando submetido simultaneamente as condi c~ oes de contorno e ao campo aplicado, novos efeitos surgem pela interfer^ encia desses dois fatores que inuenciam o v acuo do campo carregado [49, 50, 51, 52, 53]. O efeito Casimir e alterado pelo campo magn etico aplicado e os efeitos de magnetiza c~ ao descritos pela lagrangiana efetiva de Weisskopf-Schwinger s~ ao modicados pelas condi c~ oes de contorno. Em particular surgem efeitos lineares de magnetiza c~ ao que n~ ao aparecem nas lagrangianas efetivas de Euler-Heisenberg e de Weisskopf-Schwinger. Todos esses efeitos de interfer^ encia entre condi c~ oes de contorno e campo magn etico aplicado aparecem nos c alculos dessa se c~ ao. Sabe-se que o v acuo do campo escalar carregado sob condi co ~es de contorno peri odicas tem permeabilidade diamagn etica e sob condi c~ oes de contorno antiperi odicas, paramagn eticas [50]. Os resultados dessa se c~ ao interpolam continuamente esses dois comportamentos. Vamos tomar o campo magn etico constante e uniforme aplicado ao v acuo do campo escalar carregado, na mesma dire c~ ao em que as condi c~ oes de contorno com deforma c~ ao teta s~ ao implementadas, a dire c~ ao do eixo OZ , de acordo com a escolha feita em (1.2.35) '(x; y; z + a) = ei '(x; y; z ) ; (1.4.52)

Para efeito de regulariza c~ ao, consideramos esses planos como quadrados de lado `, como ` a e em momento oportuno podemos tomar o limite ` ! 1. Finalmente, todo o sistema e considerado a temperatura nita. Para isso usamos o m etodo do tempo imagin ario e freq u^ encia de Matsubara [54]. Temos ent~ ao que a fun c~ ao de parti c~ ao Z para o campo bos^ onico e dada pela representa c~ ao de tempo pr oprio de Schwinger (1.1.26): 1 log Z = 2
Z 1
s0

ds T reisH ; s

(1.4.53)

onde o hamiltoniano de tempo pr oprio H para o campo escalar carregado e dado por H =
2 2 (P eA)2 + m2 , onde P 2 = P2 (P 0 )2 . Os autovalores de Px + Py s~ ao dados pelos n veis

de Landau eB (2n + 1), onde n 2 lN . A componenete Pz tem autovalores pz = (2n1 + )=a 32

(n1 2 6 Z), ditados pela condi c~ ao de contorno com deforma c~ ao teta (1.4.52). Finalmente, as freq u^ encias de Matsubara d~ ao para P0 os autovalores p0 = (2n2 i= ), onde e o inverso da temperatura T e n2 2 6 Z. Portanto, o tra co em (1.4.53) e dado por: T r eisH = 2
1 1 1 X X eB`2 X 2 2 2 eiseB (2n+1) eis((2n1 )=a) eis(2n2 i= ) eism : 2 n=0 n1 =1 n2 =1

(1.4.54)

O fator dois e devido aos graus de liberdade de cargas em um campo escalar complexo e eB`2 =2 e o fator que leva em conta a degeneresc^ encia dos n veis de Landau. Usando que o primeiro somat orio e igual a csch(iseB )=2, e que as somas em n1 e em n2 podem ser transformadas por meio da f ormula de soma de Poisson [55],
1 X

ein

2 +2inz

n=1

1 ei=4 X 2 = p e(zn) =i ; n=1

(1.4.55)

o tra co e modicado para que a fun c~ ao de parti c~ ao tenha a forma: i`2 a Z 1 ds 2 (seB )csch(iseB )eism log Z = 2 3 16 s0 s " #" 1+2
n1 =1 1 X

cos(n1 )e

i(n1 a)2 =4s

1+2

n2 =1

1 X

i(n2 )2 =4s

(1.4.56)

Fazendo uma rota c~ ao hor aria de =2 no caminho de integra c~ ao, teremos: `2 a Z 1 ds 2 log Z = (seB )csch(seB )esm 2 3 16 s# s 0 " " # 1 1 X X 2 2 1+2 cos(n1 )e(n1 a) =4s 1 + 2 e(n2 ) =4s :
n1 =1 n2 =1

(1.4.57)

A lagrangiana efetiva a temperatura nita [56] e dada ent~ ao por L(1) = log Z =a`2 , de modo a obter para a lagrangiana completa a seguinte express~ ao: 1 1 Z 1 ds L= 2 + B 16 2 s0 s3 (seB )csch(seB )esm
2 41 + 2
1 X
2

cos(n1 )e

(n1 a)2 =4s

+2

n1 =1

n2 =1

1 X

e(n2 )
3 5

2 =4s

+ (1.4.58)

+4

n1 =1 n2 =1

1 X 1 X

cos(n1 )e(n1 a)

2 =4s(n )2 =4s 2

33

que pode ser reescrita como: L = B2 2 1 Z 1 ds sm2 + e (seB )csch(seB ) 16 2 0 s3 Z 1 1 1 X ds 2 2 + cos(n1 ) (seB )csch(seB )esm (n1 a) =4s 2 3 8 n1 =1 s 0 + +
1 Z 1 ds 1 X 2 2 (seB )csch(seB )esm (n2 ) =4s 2 3 8 n2 =1 0 s

Z 1 1 X 1 ds 1 X 2 2 2 cos( n ) (seB )csch(seB )esm (n1 a) =4s(n2 ) =4s : (1.4.59) 1 2 3 4 n1 =1 n2 =1 s 0

Nessa express~ ao temos a lagrangiana de Maxwell no primeiro termo e, somada a ela, as integrais que descrevem a inu^ encia dos diversos fatores sobre o meio constitu do pelo v acuo qu^ antico do campo escalar carregado. A primeira integral d a a contribui c~ ao do campo magn etico, a segunda, a contribui c~ ao do efeito de interfer^ encia entre o campo magn etico e as condi c~ oes de contorno, e a terceira, a contribui c~ ao do efeito de interfer^ encia entre o campo magn etico e a temperatura. A terceira integral d a a contribui c~ ao do efeito de interfer^ encia entre campo magn etico, condi c~ oes de contorno e temperatura. Analisemos a primeira integral em (1.4.59), na qual podemos usar a expans~ ao de (seB ) csch(seB ) em pot^ encias de B , que tem a forma 1 (seB )2 =6 + O ((seB )4 ). O primeiro termo da expans~ ao d a uma contribui c~ ao divergente a integral, igual a m4 (2)=162 . Esta constante innita pode ser simplesmente subtra da da lagrangiana por n~ ao apresentar signicado f sico. O segundo termo da expans~ ao, proporcional a B 2 , tamb em e divergente, por em dependente do campo externo B. Sua contribui c~ ao e da forma (e2 (0)=48 2 )(B 2 =2) que, somada a lagrangiana de Maxwell, resulta em (Cf.,e.g., [48]):
1 Z3

B2 2

onde

1 Z3 =1+

e2 (0) 48 2

(1.4.60)
1=2

Seguindo o procedimento usual, denimos o campo magn etico renormalizado BR = Z3

1=2

e a carga renormalizada eR = Z3 e. Assim, podemos reescrever o termo de Maxwell em

2 (1.4.60) como BR =2. Isso d a conta da diverg^ encia do segundo termo da expans~ ao de

(seB )csch(seB ) na primeira integral em (1.4.59). Os demais termos da expans~ ao, bem como as outras tr^ es integrais em (1.4.59), s~ ao nitos. Al em disso, todos eles s o dependem 34

de B e de e por meio do produto eB , que e igual a eR BR . Conseq uentemente j a est~ ao automaticamente renormalizados. Sem perigo de confus~ ao, vamos abandonar o sub ndice R para indicar grandezas renormalizadas e designar carga e campo magn etico renormalizados por e e B. O ((seB )4 ) d a nas tr^ es u ltimas integrais em (1.4.59) s~ ao nitas, mas n~ ao dependem de B, As contribui c~ oes que o primeiro termo na expans~ ao (seB )csch(seB ) = 1 (seB )2 =6 +

conseq uentemente, podem ser ignoradas na express~ ao da a c~ ao efetiva. Finalmente, para remoldar (1.4.59) em forma conveniente para nossos prop ositos, separamos nas tr^ es u ltimas integrais em (1.4.59) o termo quadr atico em B . Ap os todos os procedimentos que descrevemos, (1.4.59) pode ser escrita como: L= onde
Z 1 1 1 e2 X ds sm2 (n1 a)2 =4s =1 + cos(n1 ) e 2 24 n1 =1 s 0
1 Z 1 e2 X ds sm2 (n2 )2 =4s + e 2 24 n2 =1 0 s

1 2 0(1) 0(1) 0(1) 0(1) B + LW S (B ) + LW SC (B; a) + LW ST (B; ) + LW SCT (B; a; ) ; 2

(1.4.61)

Z 1 1 X 1 e2 X ds sm2 (n1 a)2 =4s(n2 )2 =4s cos( n ) e ; 1 12 2 n1 =1 n2 =1 s 0

(1.4.62)

prov em dos termos quadr aticos em B na express~ ao (1.4.59), enquanto as pot^ encias superiores de B 2 contribuem com as quantidades: LW S (B ) =
0(1) 0(1)

1 Z 1 ds sm2 1 2 e ( seB )csch( seB ) 1 + ( seB ) ; 16 2 s0 s3 6 Z 1 1 1 X ds sm2 (n1 a)2 =4s cos( n ) e 1 2 8 n1 =1 s3 0

(1.4.63)

LW SC (B; a) =

1 (seB )csch(seB ) 1 + (seB )2 ; 6

(1.4.64)

LW ST (B; ) =

0(1)

1 Z 1 1 X ds sm2 (n2 )2 =4s e 8 2 n2 =1 s0 s3

1 (seB )csch(seB ) 1 + (seB )2 6

(1.4.65)

35

e LW SCT (B; a; ) =
0(1)

Z 1 1 X 1 ds sm2 (n1 a)2 =4s(n2 )2 =4s 1 X cos( n ) e 1 2 4 n1 =1 n2 =1 s0 s3 1 2 (seB )csch(seB ) 1 + (seB ) ( : 1.4.66) 6

Na express~ ao da permeabilidade magn etica as integrais podem ser escritas como fun c~ oes de Bessel [45], de modo a obtermos:
X 1 1 X e2 1 =1+ cos( n ) K ( amn ) + K0 (mn2 ) 1 0 1 12 2 n1 =1 n2 =1

+2

n1 =1 n2 =1

1 X 1 X

cos(n1 )K0 m (n1

a)2

+ (n2

)2

(1.4.67)

Nessa express~ ao temos que o primeiro somat orio e respons avel pela contribui c~ ao da condi c~ ao de contorno a permeabilidade magn etica do v acuo qu^ antico do campo escalar carregado, o segundo, pela contribui c~ ao da temperatura e o terceiro, pela contribui c~ ao conjunta da condi c~ ao de contorno e da temperatura. Estamos particularmente interessados no fato de que a permeabilidade depende continuamente do par^ ametro de deforma c~ ao . Nos limites em que tende a 0 e em que tende a a express~ ao para a permeabilidade reproduz resultados da permeabilidade sob condi c~ oes peri odica e antiperi odica, respectivamente. Em particular, tomando esses limites e fazendo a temperatura igual a zero, (1.4.67) coincide com resultados anteriores [50]. Por esses resultados sab amos que a condi c~ ao de contorno peri odica leva o v acuo a exibir comportamento diamagn etico e a condi c~ ao antiperi odica, comportamento paramagn etico. Agora, nosso resultado (1.4.67) mostra como a condi c~ ao de contorno com deforma c~ ao teta interpola continuamente o inverso da permeabilidade diamagn etica e o inverso da paramagn etica. Al em disso, as f ormulas obtidas podem ser expandidas em pot^ encias de , isto e, t^ em expans~ ao perturbativa no par^ ametro de deforma c~ ao . No regime em que m1, podemos usar as formas assint oticas das fun c~ oes de Bessel [45] para escrever a seguinte express~ ao da permeabilidade a baixas temperaturas: p2 2 r r 1 e2 X em em a + 1 q p 1 + cos(n)K0 (amn) + +2 cos( ) : (1.4.68) p 12 2 n=1 2 m 2 m a2 + 2 36

Vamos obter tamb em a express~ ao da permeabilidade a altas temperaturas. Para isso, voltamos a express~ ao (1.4.54) do tra co e agora aplicamos a f ormula de soma de Poisson (1.4.55) somente a soma em n1 que aparece em (1.4.54). Realizando ent~ ao c alculos an alogos aos que deduzem (1.4.58) a partir de (1.4.54), obtemos a lagrangiana total na forma: L= 1 1 + 3=2 2 B 8
Z 1
0

ds s5=2

(seB )csch(seB )esm

1+2

+4

n1 =1 n2 =1

n1 =1 1 1 X X

1 X

cos(n1 )e(n1 a) cos(n1 )e

2 =4s

+2

n2 =1 (n1 a)2 =4ss(2n2 = )2

1 X

es(2n2 = ) +

(1.4.69)

Usando procedimentos similares aos j a realizados anteriormente, da lagrangiana efetiva na forma (1.4.69) obtemos a seguinte express~ ao para a permeabilidade: 1 e2 1 =1+ 12 2 2 +
s s
1 1 X 2a X n1 1=2 cos(n1 )K1=2 (amn1 ) + K0 (mn2 ) m n1 =1 n2 =1

1 X 1 K1=2 amn1 1 + (2n2 =m)2 2a X q n1 1=2 cos(n1 ) ; 4 m n1 =1 n2 =1 1 + (2n2 =m)2

(1.4.70)

No limite em que a ! 1, tanto (1.4.67) quanto (1.4.70) reduzem-se a:

1 1 e2 X =1+ K0 (mn) ; 122 n=1

coerente com resultados anteriores para a inu^ encia da temperatura na lagrangiana efetiva [57]. Agora vamos usar nas somas em (1.4.70) as f ormulas:
1 X

1=2

n=1

1 cos(n)K1=2 (nx) = 2

2x

cos() ex ; cosh(x) cos( )

3

(1.4.71)

e [45]
1 X x 1 1 5 1 4q K0 (nx) = log + + ; [x > 0]; 2 4 2x x2 + (2p)2 2p p=1 n=1 1 X

(1.4.72) 1=m

onde = 1; 781072::: e a constante de Euler, denida por log = C = lims!1 (

log s) = 0; 577215:::. A f ormula (1.4.71) pode ser facilmente deduzida a partir da expres~ ao expl cita da fun c~ ao de Bessel K1=2 em termos de uma exponencial. 37

Ps

m=1

Usando em (1.4.70) a f ormula (1.4.71) e a express~ ao aproximada da f ormula (1.4.72), no regime x = m 1, obtemos
!

1 e2 1 + 2 12 2m

sinh(am) 1 m + log cosh(am) cos() 2 4 ! 1 2 an= cos() e 1X1 + ; 2 n=1 n cosh(2an= ) cos()

(1.4.73)

que e a express~ ao da permeabilidade a altas temperaturas. Passemos agora ao c alculo da energia livre de Casimir do mesmo sistema, o campo escalar carregado sob condi c~ oes de contorno com deforma c~ ao teta e na presen ca do campo magn etico B. Obtemos a energia livre F substituindo a express~ ao (1.4.57) da fun c~ ao de parti ca ~o Z em F = log Z = . Temos: a`2 Z 1 ds 2 F = (seB )csch(seB )esm 2 3 16 s0 s 2
41 + 2
n1 =1 1 X

cos(n1 )e(n1

a)2 =4s

32

Nessa express~ ao h a termos proporcionais ao volume espacial a`2 . S~ ao densidades uniformes de energia a serem subtra das para ns de renormaliza c~ ao, como zemos com a lagrangiana efetiva, ou s~ ao energias t ermica e magn etica que n~ ao dependem das condi c~ oes de contorno. Nenhuma delas contribui para a energia livre de Casimir, de modo que ser~ ao descartadas para chegarmos a F =
Z 1 1 a`2 X ds 2 cos( n ) (seB )csch(seB)esm 1 2 3 8 n1 =1 s 0 2 4e(n1
a)2 =4s

5 41 + 2

n2 =1

1 X

e(n2

)2 =4s

3 5

: (1.4.74)

+2

n2 =1

1 X

(n1 a)2 =4s(n2 )2 =4s

3 5

: (1.4.75)

Usando para a cossecante hiperb olica a expans~ ao csch(x) = 2

1 X

e(2n1)x

n=1

(x 0);

(1.4.76)

a energia livre de Casimir toma a forma:

Z 1 1 X 1 ds (2n3 1)eBsm2 s(n1 a)2 =4s a`2 eB X F = cos(n1 ) e 2 4 n1 =1 n3 =1 s2 0

Z 1 1 X 1 X 1 a`2 eB X ds (2n3 1)eBsm2 s(n1 a)2 =4s(n2 )2 =4s cos(n1 ) e : 2 2 n1 =1 n2 =1 n3 =1 s2 0

(1.4.77)

38

As integrais na equa c~ ao acima s~ ao representa c~ oes da fun c~ ao de Bessel K [45]. Assim, podemos nalmente escrever: a` eB F = 2 +2
2 1 X 1 X

n2 =1

v 1 u X u m2 t

n1 =1 n3 =1

q + (2n3 1)eB 2 2 2 [(n1 a) + (n2 ) ][m + (2n3 1)eB ] 5 (1.4.78) K1 (n1 a)2 + (n2 )2

cos(n1 ) 4

2q

m2 + (2n3 1)eB n1 a

K1 n1 a

m2

+ (2n3 1)eB
3

Vemos que tamb em a energia livre de Casimir e fun c~ ao cont nua do par^ ametro de deforma c~ ao . Usando essa express~ ao podemos obter as energias livres nos casos de condi c~ oes de contorno peri odicas e antiperi odicas e tamb em investigar a interpola c~ ao cont nua entre as duas, proporcionada pela deforma c~ ao teta. Abaixo examinaremos essa interpola c~ ao no caso mais simples, que e suscet vel a tratamento anal tico. Antes vamos acrescentar a express~ ao da energia livre de Casimir no importante regime de campo magn etico forte [41], isto e, quando B Bcr (Bcr = m2 =e). Para analisar esse regime devemos fazer em (1.4.75) a mudan ca de vari avel de integra c~ ao: s 7 ! s=m2 , de modo que os termos da energia livre de Casimir, afetados pelo regime de campo magn etico forte, quem escritos como fun c~ oes de B=Bcr . Fazemos ent~ ao a aproxima c~ ao para B Bcr retendo apenas o primeiro termo da expans~ ao (1.4.76), o que corresponde a tomar apenas o termo com n3 = 1 em (1.4.78). Com isso obtemos a seguinte express~ ao para a energia livre de Casimir em presen ca de campo magn etico forte: F =
1 a`2 eB X mB cos( n ) K1 (n1 amB ) + 1 2 n1 =1 n1 a

+2

n2 =1

1 X

mB

(n1 a)2 + (n2 )2

K1 mB

3 (n1 a)2 + (n2 )2 5 ;

(1.4.79)

onde usamos a deni c~ ao de mB [51]: mB = p m2 + eB : (1.4.80)

Notemos que a energia livre (1.4.79) depende do campo forte por um fator linear fora do som atorio e no mais somente por meio da quantidade mB . Exceto pelo fator linear o campo magn etico forte exerce seu efeito sobre a energia livre apenas por meio do que podemos

39

chamar de massa efetiva mB . Esse tipo de comportamento do campo magn etico forte j a havia aparecido no caso de temperatura nula e condi c~ ao de contorno peri odica [51]. Vamos agora analisar a interpola c~ ao realizada pela deforma c~ ao teta no caso mais simples, em que n~ ao h a campo magn etico aplicado, a temperatura e zero e o campo escalar tem massa nula. Tomando na energia livre de Casimir (1.4.75) B = 0, = 1 e m = 0 obtemos depois da mudan ca de vari avel de integra c~ ao s 7 ! 1=s:
Z 1 1 a`2 X 2 F = 2 cos(n) dsses(na) =4 ; 8 n=1 0

(1.4.81)

isto e, E (a; ) =
1 cos(n) 2a`2 X ; 2 4 a n=1 n4

(1.4.82)

onde substitu mos o simbolo F da energia livre por E (a; ). A s erie que aparece nessa express~ ao e igual ao polin^ omio de Bernoulli de quarto grau [58]: cos(n) 1 1 = 4 4 4 n 90 3 n=1
2
1 X

!2

2 + 3

!3

1 3

Assim, temos para a energia de Casimir sob condi c~ oes de contorno com deforma c~ ao teta: 2`2 2 1 1 E (a; ) = 3 4 a 90 3 6 2 1 1 p(a; ) = 4 4 a 90 3
2

!4 3 5

(0 < < 2 ) :

(1.4.83)

!2

2 + 3

!3

1 3

!4 3 5

(0 < < 2 ) : (1.4.84)

A correspondente press~ ao de Casimir e dada por:

!2

2 + 3

!3

1 3

Das quatro ra zes do polin^ omio em , duas est~ ao no intervalo 0 < < 2 e s~ ao dadas por: 1 4 = 1 1 p 0; 48067 ; 30 s 2 4 = 1 + 1 p 1; 51933 : 30
s

!4 3 5

(0 < < 2 ) :

(1.4.85)

(1.4.86) (1.4.87)

Para = 0 (ou = 2 ) temos a condi c~ ao de contorno peri odica e (1.4.85) reduz-se a press~ ao de Casimir atrativa: p(a; 0) = 40 2 : 15 a4 (1.4.88)

Para = temos a condi c~ ao de contorno antiperi odica e (1.4.85) reduz-se a press~ ao de Casimir repulsiva: 7 2 p(a; ) = : 8 15 a4 Hart e Isham [36]. O resultado (1.4.85) proporciona uma descri c~ ao exata da interpola c~ ao realizada pela deforma c~ ao teta entre a press~ ao de Casimir atrativa da condi c~ ao de contorno peri odica e a press~ ao de Casimir repulsiva da condi c~ ao de contorno antiperi odica. Levando em conta o comportamento do polin^ omio de Bernoulli no intervalo de 0 a 2 , como mostra a gura (1.2), podemos analisar o sinal da press~ ao de Casimir para todos os valores de . (1.4.89)

Esses casos particulares est~ ao de acordo com resultados obtidos anteriormente por DeWitt,

Figure 1.2: Polin^ omio de Bernoulli B4 A press~ ao de Casimir e uma fun c~ ao cont nua de , e atrativa entre 0 e 1 , repulsiva entre 1 e 2 e volta a ser atrativa entre 2 e 2 . Em 1 e 2 ocorre a propriedade not avel da press~ ao de Casimir se anular. Os valores peculiares (1.4.86) de 1 e 2 , e o fato de que para eles as utua c~ oes do v acuo tornam-se insens veis as condi c~ oes de contorno, recomendam mais investiga c~ oes sobre essa propriedade. Ela pode ser de relev^ ancia nos problemas da usual nesses problemas supor que n~ estabilidade de dimens~ oes extras compacticadas. E ao h a press~ ao de Casimir devido a compactica c~ ao porque as energia de Casimir dos diversos campos cancelam-se entre parceiros supersim etricos. A propriedade a que nos referimos poderia zerar independentemente a energia de Casimir de cada campo, se supusermos para ele 41

uma condi c~ ao de contorno apropriadamente deformada. Para a energia de Casimir (1.4.84) e poss vel fazer uma an alise similar baseada nas propriedades do polin^ omio de Bernoulli B4 . Em todas as grandezas dependentes do par^ ametro e poss vel fazer uma expans~ ao em s eries de pot^ encia de . Em particular podemos calcular efeitos de ordem mais baixa para 1. A deforma c~ ao teta nas condi c~ oes de contorno transfere-se sem problemas para a deforma c~ ao na teoria qu^ antica de campos, ao contr ario da deforma c~ ao relativ stica da rela c~ ao de dispers~ ao, que encontra diculdades em se implementar na teoria qu^ antica de campos.

42

Chapter 2 Deforma c~ ao capa da algebra de Poincar e

Na primeira se c~ ao deste cap tulo apresentamos a deni c~ ao de grupo qu^ antico. Nesta tese n~ ao trabalhamos na teoria dos grupos qu^ anticos propriamente dita. Nosso trabalho consiste em calcular o efeito Casimir e taxas de cria c~ ao de excita c~ oes de campos com simetria espa cotemporal dada por um grupo qu^ antico espec co, obtido da deforma c~ ao capa da algebra de Poincar e. A deni c~ ao de grupo qu^ antico nesta primeira se c~ ao tem por objetivo contextualizar essa deforma c~ ao e mostrar que sua propriedade mais importante para n os, sua rela c~ ao de dispers~ ao, deriva de uma estrutura alg ebrica bem fundamentada. Na segunda se c~ ao denimos a deforma c~ ao capa da algebra de Poincar e e na terceira apresentamos o que se entende por um campo com deforma c~ ao capa. Nas duas se c~ oes seguintes apresentamos os resultados que obtivemos em nosso estudo de um campo escalar livre com deforma c~ ao capa. Desenvolvemos o formalismo de sua quantiza c~ ao at e conseguirmos a express~ ao de sua energia de v acuo, se bem que nesse processo outros resultados foram sendo obtidos.

2.1

Grupos Qu^ anticos, algebras qu^ anticas e b gebras de Hopf

Grupos qu^ anticos e algebras qu^ anticas podem ser entendidos como exemplos de uma 43

estrutura matem atica chamada de algebras de Hopf ou b gebras de Hopf. Para certos autores, o que caracteriza uma b gebra de Hopf como um grupo qu^ antico ou uma algebra qu^ antica e o processo espec co pelo qual a b gebra 'e constru da. H a tamb em quem dena grupo qu^ antico como uma b gebra de Hopf n~ ao-comutativa e n~ ao-co-comutativa, e quem ainda acrescenta que ela deve ser quase-triangular, uma propriedade cujo signicado n~ ao e de nosso interesse nesta tese. De qualquer modo, para entender as diversas acep c~ oes de grupo qu^ antico e algebra qu^ antica e necess ario denir o que seja uma b gebra de Hopf. Para isso podemos iniciar pela recorda c~ ao do que seja uma algebra associativa. Uma algebra sobre o corpo lR ou C l , que denotaremos indistintamente por lK , e um espa co vetorial A sobre lK , munido de uma opera c~ ao bilinear fechada m : A A ! A : (a; b) 7 ! ab ; (2.1.1)

que chamamos de multiplica c~ ao. A algebra e dita associativa se, para quaisquer a; b; c 2 A, (a b) c = a (b c) : (2.1.2)

Ela e dita unital se existir nela uma unidade, isto e, um elemento 1A , tal que, para qualquer a 2 A, 1A a = a e a 1A = a : (2.1.3) Note que a unidade da algebra foi denotada por 1A para n~ ao ser confundida com a unidade do corpo lK , o n umero 1. Para denir grupo qu^ antico, e conveniente manter o s mbolo m(a; b) para indicar a multiplica c~ ao de a por b, ao inv es de usar a nota c~ ao simplicada a b. Usaremos na deni c~ ao os conceitos de produto tensorial de espa cos vetoriais e de produto tensorial de transforma c~ oes lineares, familiares do formalismo da mec^ anica qu^ antica. O conceito de produto tensorial de espa cos vetoriais permite expressar a bilinearidade de m por meio da seguinte transforma c~ ao linear, tamb em denotada por m: m : A A ! A : ab7 ! a b : 44 (2.1.4)

Usando essa transforma c~ ao, e tamb em o conceito de produto tensorial de transforma c~ oes, temos para o membro esquerdo da igualdade (2.1.2): (a b) c = m(a b) c = m(m(a b) c) = m(m idA (a b c)) = m (m idA )(a b c), onde usamos a nota c~ ao costumeira para composi c~ ao de fun c~ oes e, idA para o operador identidade no espa co vetorial A. Analogamente, o membro direito da igualdade (2.1.2) pode ser escrito como m (idA m)(a b c). Dado que a, b e c s~ ao arbitr arios, temos ent~ ao que a associatividade da algebra tamb em pode ser expressa pela igualdade entre operadores: m (m idA ) = m (idA m) : (2.1.5)

Essa rela c~ ao foi deduzida de (2.1.2) e podemos voltar a (2.1.2) a partir dela. Portanto, (2.1.2) e (2.1.5) s~ ao express~ oes equivalentes da associatividade da algebra A. Tamb em a exist^ encia da unidade 1A na algebra, expressa na equa c~ ao (2.1.3), pode ser escrita como uma igualdade entre operadores. Para isso, denimos em primeiro lugar a transforma c~ ao linear: u : lK ! A : 7 ! 1A ; (2.1.6)

que permite escrever: 1A = u(1). A transforma c~ ao u e chamada de transforma c~ ao unidade. Em segundo lugar, consideramos os isomormos naturais: inlK A : lK A ! A : a7 ! a e inAlK : A lK ! A : a7 ! a : (2.1.8) (2.1.7)

Com eles temos as igualdades: a = inlK A (1 a) e a = inAlK (a 1). Os dois isormosmos podem ser representados indistintamente por in. Usando as propriedade de u reescrevemos a primeira equa c~ ao em (2.1.3) como: m(u(1) idA (a)) = a, isto e, m (u idA )(1 a) = inlK A (1 a). Dado que a e arbitr ario, obtemos que a primeira igualdade em (2.1.3) e 45

equivalente a m (u idA ) = inlK A . Por racioc nio semelhante, obtemos que a segunda igualdade em (2.1.3) e equivalente a m (idA u) = inAlK . Portanto, a propriedade (2.1.3) e equivalente a m (u idA ) = inlK A e m (idA u) = inAlK : (2.1.9)

A transform c~ ao linear (2.1.6) e sua propriedade (2.1.9) foram obtidas a partir da unidade 1A da algebra. Reciprocamente, dada uma algebra A com multiplica c~ ao m, se existe uma f na algebra A, dado por u(1). E acil demonstrar essa propriedade a partir de (2.1.9). Temos ent~ ao que (2.1.3), e a exist^ encia de (2.1.6) com a propriedade (2.1.9), s~ ao maneiras equivalentes de armar que a algebra A e unital. As considera c~ oes precedentes permitem denir algebra associativa unital usando express~ oes nas quais n~ ao aparecem explicitamente os elementos da algebra, mas apenas as transforma c~ oes lineares m e u. Refaremos a seguir a deni c~ ao nesses moldes. Uma algebra sobre o corpo lK e um espa co vetorial A sobre lK , munido de uma transforma c~ ao linear m : A A ! A ; chamada de multiplica c~ ao da algebra. A multiplica c~ ao m e dita associativa se (A1) m (m idA ) = m (idA m) : (2.1.11) (2.1.10) transforma c~ ao u : lK ! A com a propriedade (2.1.9), ent~ ao existe um elemento unidade

Nesse caso tamb em a algebra e dita associativa. A algebra e dita unital se existir uma transforma c~ ao u : lK ! A ; que satisfaz: (A2) m (u idA ) = inlK A e m (idA u) = inAlK : (2.1.13) (2.1.12)

Chamamos u de transforma c~ ao unidade da algebra, ou simplesmente de unidade da algebra. A algebra associativa unital sobre lK , com multiplica c~ ao m e transforma c~ ao unidade u e representada por (A; m; u; lK ). Quando n~ ao h a perigo de confus~ ao a algebra e representada simplesmente por A, embora A seja apenas o espa co vetorial com o qual formamos a algebra. 46

 primeira vista, a substitui A c~ ao de (2.1.2) e (2.1.3), por (2.1.11) e (2.1.13), parece uma complica c~ ao despropositada. No entanto, express~ oes envolvendo apenas transforma c~ oes lineares associadas a algebra, como (2.1.11) e (2.1.13), ao inv es de express~ oes envolvendo elementos da algebra, como (2.1.2) e (2.1.3), s~ ao mais convenientes na teoria dos grupos qu^ anticos. Sejam dois espa cos vetoriais A e A0 . Denimos operador de transposi c~ ao AA0 como sendo a extens~ ao linear de: AA0 : A A0 ! A0 A : a a0 7 ! a0 a : (2.1.14)

Temos ent~ ao para um espa co vetorial A o operador de transposi c~ ao AA , que denotamos simplesmente por A : A : A A ! A A : ab7 ! b a : Uma algebra (A; m; u; lK ) e dita comutativa se m A = m : (2.1.16) (2.1.15)

Agora que denimos o que e um espa co vetorial com estrutura de algebra, passaremos a seguir as deni c~ oes de outras estruturas que podem ser associadas a um espa co vetorial e que culminar~ ao na deni c~ ao de grupo qu^ antico. Uma c ogebra sobre o corpo lK e um espa co vetorial A sobre lK , munido de uma transforma c~ ao linear : A ! A A ; (2.1.17)

chamada de co-multiplica c~ ao da algebra. A co-multiplica c~ ao e dita co-associativa se (C1) ( idA ) = (idA ) : (2.1.18)

Nesse caso tamb em a c ogebra e dita co-associativa. A c ogebra e dita co-unital se existir uma transforma c~ ao " : A ! lK ; 47 (2.1.19)

que satisfaz: (C2)

1 (" idA ) = in lK A

1 (idA ") = in AlK :

(2.1.20)

Chamamos " de transforma c~ ao co-unidade da c ogebra, ou simplesmente de co-unidade da c ogebra. A c ogebra co-associativa co-unital sobre lK , com co-multiplica c~ ao e transforma c~ ao co-unidade " e representada por (A; ; "; lK ). Quando n~ ao h a perigo de confus~ ao a c ogebra e representada simplesmente por A, embora A seja apenas o espa co vetorial com o qual formamos a c ogebra. Uma c ogebra (A; ; "; lK ) e dita co-comutativa se A = : (2.1.21)

A estrutura de c ogebra pode ser vista como uma estrutura inversa da estrutura de algebra. Em uma algebra, a multiplica c~ ao transforma qualquer soma de produtos tensoriais de vetores em um u nico vetor: m(a1 b1 + a2 b2 + + an bn ) = c. J a em uma c ogebra a comultiplica c~ ao transforma qualquer vetor em uma soma de produtos tensoriais de vetores: (c) = a01 b01 + a02 b02 + + a0n b0n . Por esse motivo, talvez fosse mais descritivo chamar a co-multiplica c~ ao de desmultiplica c~ ao. Tamb em a trasnforma c~ ao co-unidade leva o contradom nio da transforma c~ ao unidade no dom nio: u transforma n umero em vetor, enquanto " transforma vetor em n umero. Mencionemos que na adi c~ ao de momentos angulares em Mec^ anica Qu^ antica h a uma estrutura de c ogebra que n~ ao e normalmente explicitada. Vamos agora dar exemplos de algebra e c ogebra baseados em um fato elementar da algebra linear, qual seja, um corpo lK pode ser considerado como um espa co vetorial sobre ele mesmo. Deste modo, nas deni c~ oes acima podemos considerar o caso em que A = lK . Nesse espa co vetorial o operador identidade idlK associa a cada n umero ele mesmo, em particular, idlK (1) = 1. Vamos denir a transforma c~ ao linear mlK por meio de mlK ( ) = , onde e s~ ao n umeros e o membro direito da igualdade indica a multiplica c~ ao usual desses n umeros do corpo lK . Obt em-se imediatamente que nessa algebra o isomorsmo natural f inK K e simplesmente a multiplica c~ ao: inK K = m. E acil vericar que (lK ; mlK ; idlK ; lK ) e uma algebra associativa unital, na qual a transforma c~ ao unidade e o operador identidade 48

idlK . Tamb em podemos denir no corpo a transforma c~ ao linear lK : lK ! lK lK , de acordo com a prescri c~ ao lK () = 1 = 1. Segue-se que o inverso do isomorsmo
1 natural inK K e a opera c~ ao de co-multiplica c~ ao: in em e f acil vericar K K = lK . Tamb

que (lK ; lK ; idlK ; lK ) e uma c ogebra co-associativa co-unital, na qual a transforma c~ ao counidade e o operador identidade idlK . Estes s~ ao os mais triviais dos exemplos de algebra e c ogebra, mas s~ ao u teis na deni c~ ao de b gebra. Uma b gebra e, resumidamente, um espa co vetorial munido da estrutura de algebra e de c ogebra, com as duas estruturas entrela cadas de um modo especial. Em seguida damos sua deni c~ ao precisa. Seja um espa co vetorial A sobre lK , munido de transforma c~ oes lineares m : A A ! A ; u : lK ! A ; que satisfazem (B1) (B2) m (m idA ) = m (idA m) ; m (u idA ) = inlK A ; m (idA u) = inAlK ; (2.1.24) (2.1.25) (2.1.22) (2.1.23)

e de transforma c~ oes lineares : A ! A A ; " : A ! lK ; que satisfazem (B3) (B4) ( idA ) = (idA ) ;
1 (" idA ) = in lK A

(2.1.26) (2.1.27)

(2.1.28) (2.1.29)

1 (idA ") = in AlK :

Se al em disso, essas transforma c~ oes lineares satisfazem (B5) (B6) (B7) (B8) m = (m m) (idA A idA ) ( ) ; u = (u u) lK ; " m = mlK (" ") ; " u = idlK ; 49 (2.1.30) (2.1.31) (2.1.32) (2.1.33)

dizemos que o espa co vetorial A sobre lK , munido das transforma c~ oes lineares m, u, e " natural chamar m, u, e " de, e uma b gebra, que denotamos por (A; m; u; ; "; lK ). E respectivamente, multiplica c~ ao, unidade, co-multiplica c~ ao e co-unidade da b gebra. evidente que, se (A; m; u; ; "; lK ) E e b gebra, ent~ ao (A; m; u; lK ) e algebra e (A; ; "; lK ) e c ogebra. Este e o conte udo das propriedades (B1)-(B4). O mais importante na deni c~ ao de b gebra s~ ao as propriedades (B5)-(B8) que entrela cam os conceitos da algebra com os da c ogebra. Essas propriedades s~ ao chamadas de condi c~ oes de compatibilidade entre a algebra (A; m; u; lK ) e a c ogebra (A; ; "; lK ). Uma b gebra (A; m; u; ; "; lK ) e dita comutativa se vale a propriedade (2.1.16) e e dita co-comutativa se vale a propriedade (2.1.21). Seja (A; m; u; ; "; lK ) uma b gebra e S : A ! A (2.1.34)

um operador linear. Dizemos que (A; m; u; ; "; S ; lK ) e uma b gebra de Hopf se S satisfaz a propriedade: m (S idA ) = u " = m (idA S ) : O operador linear S e chamado de ant poda da b gebra de Hopf. Agora estamos prontos para apresentar as deni c~ oes correntes na literatura para grupo qu^ antico e algebra qu^ antica. Um grupo qu^ antico pode ser denido como uma b gebra de Hopf que n~ ao e comutativa nem co-comutativa. Tamb em se encontra na literatura a deni c~ ao em que se acrescenta a condi c~ ao de que a b gebra de Hopf possua uma certa propriedade chamada de quase-triangularidade [20, 21, 23]. Em uma outra deni c~ ao [59] reserva-se o nome de grupo qu^ antico apenas para b gebras de Hopf n~ ao-comutativas e n~ ao-co-comutativas que s~ ao obtidas a partir de um grupo topol ogico por um m etodo bem espec co. Nesse m etodo, inicia-se com a algebra associativa unital das fun c~ oes num ericas cont nuas sobre um grupo topol ogico G n~ ao-abeliano. Dene-se ent~ ao uma co-multiplica c~ ao e uma co-unidade para essas fun c~ oes, obtendo-se uma b gebra de Hopf n~ ao-co-comutativa, por em comutativa. Finalmente, deforma-se tal b gebra de modo a torn a-la tamb em n~ ao-comutativa. O resultado e ent~ ao chamado de grupo qu^ antico. Quando se usa essa deni c~ ao, ela e acompanhada de uma outra deni c~ ao: a de algebra qu^ antica. Essa tamb em e uma b gebra de Hopf n~ ao-comutativa 50 (2.1.35)

e n~ ao-co-comutativa, por em obtida por um outro m etodo. Nesse caso inicia-se por uma algebra de Lie g n~ ao-abeliana. Sua algebra envelopante universal U (g) e uma algebra associativa unital. Deni-se ent~ ao uma co-multiplica c~ ao e uma co-unidade para os vetores dessa algebra, obtendo-se uma b gebra de Hopf n~ ao-comutativa, por em co-comutativa. Finalmente, deformar-se tal b gebra de modo a torn a-la tamb em n~ ao-co-comutativa. O resultado deste segundo m etodo e chamado de algebra qu^ antica [59]. Quando nos referirmos a deforma c~ ao capa da algebra de Poincar e como grupo qu^ antico, esse termo estar a sendo usado no sentido gen erico, de uma b gebra de Hopf n~ ao-comutativa e n~ ao-co-comutativa. J a quando nos referirmos como algebra qu^ antica estaremos indicando que tal b gebra de Hopf foi obtida pelo segundo m etodo descrito no par agrafo anterior. Finalmente, algumas vezes entendemos por deforma c~ ao capa da algebra de Poincar e apenas a algebra deformada que, junto com a c ogebra, forma a b gebra de Hopf. Ao usar essa multiplicidade de nomes e signicados, estamos acompanhando a literatura e conando que o contexto do uso n~ ao permitir a confus~ oes.

2.2

Algebra qu^ antica da deforma c~ ao capa da algebra de Poincar e

postulado b E asico das teorias de campo relativ sticas que as simetrias do espa co-tempo s~ ao governadas pelo grupo de Poincar e, constitu do pelas transla c~ oes no espa co-tempo, as rota c~ oes espaciais e as transforma c~ oes de Lorentz restritas, ou transforma c~ oes de Lorentz, simplesmente. A correspondente algebra de Lie, a algebra de Poincar e, e denida pelas rela c~ oes de comuta c~ ao:
h

P i; P j J i; J j

K i; K j K i; P j

= 0;

J i; P j

i i i i

= i "ijk J k ; = i "ijk P k ; = i "ijk J k ; = i ij P 0 ;

P i; P 0 = 0 ;
h i

(2.2.36) (2.2.37) (2.2.38) (2.2.39) (2.2.40)

J i; P 0 = 0 ;

51

K i; P 0 J i; K j

= iPi ; = i "ijk K k ;

(2.2.41) (2.2.42)

nas quais P i (i = 1; 2; 3) s~ ao os geradores de transla c~ oes espaciais, P 0 e o gerador de transla c~ ao temporal, J i (i = 1; 2; 3) s~ ao os geradores de rota c~ oes espaciais, e K i (i = 1; 2; 3), os de transforma c~ oes de Lorentz. Apesar da incontest avel comprova c~ ao experimental da relatividade restrita, isto e, das simetrias espa co-temporais governadas pela algebra de Poincar e, considera-se pelo menos plaus vel que essas simetrias devam ser modicadas, ou substitu das, em intervalos espa cotemporais muito pequenos, como, por exemplo, o comprimento e o tempo de Planck. De fato, as diculdades com teorias de campo relativ sticas ocorrem em escalas pequenas de comprimento e grandes de energia, e os exemplos fornecidos pela mec^ anica qu^ antica e pela relatividade de Einstein est~ ao a para mostrar que, se h a mudan cas muito grandes de escala, ocorrem mudan cas radicais no formalismo. Espera-se que o novo formalismo seja matematicamente mais complexo, generalize o antigo e tenda para ele em algum limite apropriado. Desse modo, vem a mente a possibilidade de deformar-se a algebra de Poincar e, de modo que no limite em que as simetrias dessa algebra s~ ao vericadas, a deforma c~ ao v a a zero, enquanto fora desse limite a deforma c~ ao seja relevante e descreva fen^ omenos caracter sticos dos intervalos espa co-temporais muito pequenos. Do mesmo modo que as simetrias espa co-temporais usuais s~ ao descritas por uma estrutura alg ebrica bem espec ca, a de uma algebra de Lie, espera-se que as simetrias modicadas devam ser descritas por uma estrutura alg ebrica bem espec ca nascida da deforma c~ ao da algebra de Poincar e. Ora, uma not avel estrutura deformada obtida de uma algebra de Lie e exatamente a de uma algebra qu^ antica, tal como a descrevemos na se c~ ao anterior. Da a import^ ancia de obter-se uma deforma c~ ao da algebra de Poincar e que seja uma algebra qu^ antica. Desse modo, o formalismo das b gebras de Hopf e posto a servi co da descri c~ ao de poss veis simetrias espa co-temporais que generalizem as simetrias associadas a algebra de Poincar e, isto e, a invari^ ancia relativ stica usual. N~ ao se passou muito tempo depois da deni c~ ao formal de grupo qu^ antico para que se procurasse deformar a algebra de Poincar e para obter-se uma b gebra de Hopf, dada a im52

port^ ancia da algebra de Poincar e em F sica e as not aveis propriedades matem aticas das algebras de Hopf, como j a mencionamos acima. Dentre as deforma c~ oes propostas destacase a chamada deforma c~ ao capa da algebra de Poincar e [25, 26]. Em oposi c~ ao a outras deforma c~ oes que foram propostas, nela o par^ ametro de deforma c~ ao e um par^ ametro dimensional, especicamente, um par^ ametro positivo com dimens~ ao de massa. No limite em que vai a innito a deforma c~ ao desaparece e recuperamos a algebra de Poincar e usual. A deforma c~ ao capa apresenta propriedades interessantes que recomendam a sua investiga c~ ao. Em primeiro lugar, como j a dissemos, ela e uma a lgebra qu^ antica, isto e, uma b gebra de Hopf obtida pelo processo de deforma c~ ao de uma algebra de Lie, como explicado na se c~ ao anterior. Em segundo lugar, apesar de afetar de modo n~ ao trivial as simetrias espa co-temporais, ela e relativamente simples, deixando intactas na algebra de Poincar e as sub algebras de transla c~ oes espa co-temporais e de rota c~ oes espaciais e diversas outras rela c~ oes de comuta c~ ao, como veremos em detalhe mais adiante. Em terceiro lugar, ela e gerada da algebra de anti-de Sitter por meio de dois processos interessantes: primeiro deforma-se a algebra de anti-de Sitter para obter-se uma algebra qu^ antica e depois realiza-se sobre essa uma contra c~ ao de Wigner-In on u para chegar-se a deforma c~ ao capa da algebra de Poincar e [26]. Finalmente, o fato do par^ ametro de deforma c~ ao ter dimens~ ao de massa, permite introduzir na teoria uma escala fundamental de energia ou de comprimento, dados, respectivamente, por: E = c2 ; l = h =c : (2.2.43)

Se a deforma c~ ao capa da algebra de Poincar e descreve simetrias da natureza, podemos supor que elas se manifestem para energias que se aproximem de c2 , ou em escalas de comprimento compar aveis a h =c. A comprova c~ ao experimental atualmente dispon vel da invari^ ancia relativ stica indicaria que o par^ ametro tem um valor muito grande, de modo que c2 e muito maior do que as energias atualmente dispon veis e h =c e muito menor do que as dist^ ancias hoje acess veis. Podemos entender a energia E como um corte ultravioleta natural, que limita a validade das simetrias relativ sticas a energias muito menores do que E. A hip otese de que as simetrias relativ sticas s~ ao v alidas em qualquer escala de energia, signica que devemos ter E ! 1, que e o limite em que a deforma c~ ao desaparece. Analoga53

mente, podemos entender l como uma cota inferior de comprimentos, que limita a validade das simetrias relativ sticas a regi~ oes de dimens~ oes muito maiores do que l . A validade das simetrias relativ sticas em qualquer escala requer l ! 0, mostrando uma outra maneira de encarar o limite em que desaparece a deforma c~ ao capa da algebra. Na hip otese de que, em qualquer escala, sejam mantidas as simetrias espa co-temporais da algebra de Poincar e, ainda temos na sua deforma c~ ao capa um poss vel formalismo regularizador em teoria qu^ antica dos campos. Veremos em nossos estudos mais adiante, que o par^ ametro exerce de fato um efeito regularizador nas teorias. A deforma c~ ao da algebra de Poincar e e dada por deforma c~ oes das rela c~ oes de comuta c~ ao da algebra de Poincar e, que geram uma algebra associativa unital, acompanhadas de transforma c~ oes lineares que denem uma co-multiplica c~ ao co-associativa, uma unidade e uma ant poda. As deforma c~ oes das rela c~ oes de comuta c~ ao da algebra de Poincar e, (2.2.36)(2.2.42), s~ ao dadas por [26] :
h i i h i

P i; P j J i; J j

= 0;

P i; P 0 = 0 ;
h i

(2.2.44) (2.2.45) (2.2.46)

!

K i; K j K i; P j

J i; P j

i i

= i "ijk J k ; = i "ijk P k ; = i "ijk

J i; P 0 = 0 ; P0 Pk 2 PJ 4 ;

J k cosh P0 ;

(2.2.47) (2.2.48) (2.2.49) (2.2.50)

K i; P 0 J i; K j

= i ij senh = iPi ;

= i "ijk K k ;

onde e o par^ ametro positivo j a mencionado, que tem dimens~ ao de massa e d a o nome a deforma c~ ao. A algebra associativa livre com os geradores da algebra de Poincar e, por em com essas rela c~ oes deformadas e uma algebra associativa unital, cujo espa co vetorial denotamos por A. Transforma c~ oes lineares , " e S , podem ser denidas sobre os geradores e estendidas a todo o espa co A de acordo com a teoria das b gebras de Hopf [22, 23]. As transforma c~ oes s~ ao dadas por: (P i ) = P i eP
0 =2

+ eP 54

0 =2

Pi ;

(P 0 ) = P 0 1 + 1 P 0 ;

(2.2.51)

(J i ) = J i 1 + 1 J i ; (K i ) = K i eP =2 + eP =2 K i + 1 ijk j 0 0 + " P J k eP =2 + eP =2 J j P k ; 2 "(P i ) = "(P 0 ) = "(J i ) = "(K i ) = 0 e S (P i ) = P i ; S (P 0 ) = P 0 ; S (J i ) = J i S (K i ) = K i ; A algebra deformada (2.2.44)-(2.2.50) possui dois invariantes de Casimir: P0 C1 = P 2 senh 2
2
0 0

(2.2.52)

(2.2.53) (2.2.54)

(2.2.55)

!2 !

(2.2.56)

P0 P2 2 C2 = W2 cosh 4 onde W = J senh P0 PK;

2 W0 ;

(2.2.57)

W0 = P J :

(2.2.58)

Essas express~ oes denem as componentes W 0 e W do que e natural chamar de deforma c~ ao capa do quadrivetor de Pauli-Lubanski. O espa co A, munido das transforma c~ oes lineares denidas em (2.2.51) e (2.2.54) e uma c ogebra. Junto com a algebra associativa denida por (2.2.44)-(2.2.50), essa c ogebra forma uma b gebra. Finalmente, temos que a transforma c~ ao S denida em (2.2.55) e uma ant poda evidente nas rela nessa b gebra, que e, portanto, uma b gebra de Hopf. E c~ oes de comuta c~ ao (2.2.44)-(2.2.50) que tal algebra de Hopf e n~ ao-comutativa e e imediato vericar, a partir de (2.2.51), que tamb em n~ ao e co-comutativa. Desse modo ca estabelecido que a deforma c~ ao capa da algebra de Poincar e e uma algebra qu^ antica [26]. Com esse resultado termina a tarefa a que nos propusemos, de apresentar o contexto matem atico de nosso trabalho com campos qu^ anticos com deforma c~ ao capa. O estudo que zemos de tais campos explora apenas algumas propriedades f sicas que s~ ao conseq u^ encias da estrutura matem atica que apresentamos. Mais especicamente, da parte alg ebrica denida em (2.2.44)-(2.2.50). Passamos agora a essas propriedades f sicas.

55

Na algebra de Poincar e capa deformada, temos apenas as rela c~ oes (2.2.47) e (2.2.48) afetadas pela deforma c~ ao. Desse modo, com a deforma c~ ao os geradores de transla c~ oes espa cotemporais continuam a formar a mesma algebra abeliana (2.2.44), com a conseq u^ encia de que as representa c~ oes desses geradores podem ser simultaneamente diagonalizadas. Tamb em a sub algebra das rota c~ oes espaciais (2.2.45) n~ ao e alterada pela deforma c~ ao. Em (2.2.46) permanece o car ater de trivetor do gerador de transla c~ oes espaciais e o car ater de escalar, sob rota c~ oes, da energia. Em (2.2.49) e (2.2.50) temos as transforma c~ oes de Lorentz restritas mantendo a mesma rela c~ ao com as rota c~ oes espaciais e as transla c~ oes temporais. Voltando agora nossa aten c~ ao para as rela c~ oes efetivamente deformadas, temos primeiramente que (2.2.47) e (2.2.48) reduzem-se a (2.2.39) e (2.2.40), respectivamente, no limite em que tende a innito. Com isso, a deforma c~ ao desaparece e (2.2.44)-(2.2.50) reduz-se a algebra de Poincar e usual (2.2.36)-(2.2.42), justicando assim denominar (2.2.44)-(2.2.50) uma deforma c~ ao da algebra de Poincar e (2.2.36)-(2.2.42). Al em da deforma c~ ao desaparecer continuamente quando tende a innito, temos que ela aumenta exponencialmente quando tende a zero, de acordo com (2.2.47) e (2.2.48). Assim podemos dizer que, para grandes valores de a deforma c~ ao e pequena e para pequenos valores, grande. Como j a mencionamos, as evid^ encias experimentais comprovam a relatividade restrita com tal precis~ ao, que a deforma c~ ao capa, a ser realidade, deve ter o valor de grande, comparado com as escalas de massa associadas aos experimentos. Como veremos, as corre c~ oes ao efeito Casimir devidas a deforma c~ ao capa imp~ oem cotas inferiores ao par^ ametro , embora a precis~ ao experimental do efeito Casimir n~ ao seja muito grande. Resta calcular corre c~ oes devidas a deforma c~ ao capa em efeitos suscet veis a medi c~ oes mais precisas. Como era de se esperar, no limite ! 1, os invariantes de Casimir (2.2.56) e (2.2.57) reduzem-se aos invariantes de Casimir da algebra de Poincar e usual:
2 lim C1 = P2 P0 ;

!1

!1

lim C2 = W W W 0 W 0 ;

(2.2.59)

onde agora W = J P 0 P K.

O primeiro invariante de Casimir C1 , dado em (2.2.56), e um m ultiplo da identidade m2

nas representa c~ oes irredut veis da algebra com deforma c~ ao capa. Temos, pois, a condi c~ ao de

56

camada de massa capa deformada, ou rela c~ ao de dispers~ ao capa deformada, dada por: P0 P 2 senh 2
2

!2

= m2 ;

(2.2.60)

onde supomos que o n umero m e positivo e, por deni c~ ao, e a massa da part cula associada a representa c~ ao. Obviamente, no limite ! 1 essa condi c~ ao reduz-se a condi c~ ao usual de camada de massa
2 P2 P0 = m2 :

(2.2.61)

O resultado (2.2.60) da deforma c~ ao capa da algebra de Poincar e e o ponto de partida de nossas investiga c~ oes em teorias de campo capa deformadas.

2.3

Teoria de campo com deforma c~ ao capa

Suponhamos agora P 0 e P simultaneamente diagonalizados com autovalores p0 e p, respectivamente. A condi c~ ao de camada de massa (2.2.60) se escreve ent~ ao como: p0 p 2 senh 2
2

!2

= m2 ;

(2.3.62)

que tem para p0 duas solu c~ oes, de mesmo m odulo e sinais opostos: po = ! (p) ; onde usamos a deni c~ ao: !(p) = 2 senh Para grandes valores de , temos: ! (p) =
q
1

(2.3.63)

1q 2 p + m2 2

(2.3.64)

p2 + m2

1 1 3 1 (p2 + m2 )3=2 + (p2 + m2 )5=2 + O(6 ) 2 4 6 (2) 10 (2)

(2.3.65)

conveniente denir um outro par^ E ametro de deforma c~ ao q , com dimens~ ao de comprimento e relacionado a , o par^ ametro de deforma c~ ao original, por meio de: q= 1 ; 2 (2.3.66)

57

ou, em unidades SI: q = h =2c. Obviamente, o par^ ametro q tem o mesmo signicado que o comprimento fundamental l , denido em (2.2.43), pois q = l =2. Com esse par^ ametro a deforma c~ ao desaparece, obviamente, no limite em que q ! 0. Usando o par^ ametro q, temos para a rela c~ ao de dispers~ ao (2.3.62): 1 p senh (q p0 ) q
2

!2

= m2 ;

(2.3.67)

e para a freq u^ encia em (2.3.64):

q 1 ! (p) = senh1 q p2 + m2 q

(2.3.68)

Sabemos que em teorias de campos usuais, as equa c~ oes de movimento s~ ao postuladas de modo a obedecer a condi c~ ao de camada de massa usual:
2 p2 p2 0 = m :

(2.3.69)

A equa c~ ao fundamental das teorias de campo relativ sticas e a equa c~ ao de Klein-Gordon:

2 (r2 @0 m2 ) '(x; x0 ) = 0 ;

(2.3.70)

onde ' e o campo em considera c~ ao. Essa equa c~ ao e determinada pela condi c~ ao de camada de massa (2.2.61), usando-se nela a representa c~ ao: P = i r ; P 0 = i@0 : (2.3.71)

Usando essa mesma representa c~ ao na condi c~ ao de camada de massa deformada (2.2.60), Lukierski, Novicki e Ruegg [26] obtiveram a deforma c~ ao capa da equa c~ ao de Klein-Gordon:
" #

1 r 2 sen @0 2
2

'(x; x0 ) = 0 ;

(2.3.72)

que e a equa c~ ao fundamental das teorias de campo com deforma c~ ao capa. e somente se (p; p0 ) satisfaz a condi c~ ao de camada de massa (2.3.69). Do mesmo modo s~ ao solu c~ oes da equa c~ ao de Klein-Gordon deformada (2.3.72) se e somente se (p; p0 ) satisfaz a condi c~ ao de camada de massa deformada (2.3.62). 58 As ondas planas exp(p x p0 x0 ) s~ ao solu c~ oes da equa c~ ao de Klein-Gordon (2.3.70) se

Vamos associar ao par^ ametro q , denido em (2.3.66), o seguinte operador diferencial: @q = 1 sen(q @0 ) ; q (2.3.73)

que, na aus^ encia de deforma c~ ao, reduz-se a derivada temporal:

q !0

lim @q = @0 :

(2.3.74)

Em termos do operador diferencial (2.3.73) a equa c~ ao de Klein-Gordon, com deforma c~ ao capa (2.3.72), pode ser escrita como:
2 (r2 @q m2 ) '(x; x0 ) = 0 ;

(2.3.75)

ou, mais abreviadamente: (@ @ + m2 ) '(x; x0 ) = 0 ; (2.3.76)

onde estamos usando a conven c~ ao de que os ndices barrados varrem os valores q , 1, 2 e 3, diferentemente dos ndices usuais (n~ ao-barrados), que varrem os valores 0, 1, 2 e 3. Temos: 2 f0; 1; 2; 3g e 2 fq; 1; 2; 3g : (2.3.77)

No caso em que ' e um campo de Klein-Gordon ele tem uma u nica componente e a equa c~ ao de movimento e a pr opria equa c~ ao de Klein-Gordon. No caso de outros campos suas componentes satisfazem equa c~ oes diferenciais de primeira ordem que implicam na equa c~ ao de Klein-Gordon, como, por exemplo, a equa c~ ao de Dirac e as equa c~ oes de Maxwell implicam na equa c~ ao de Klein-Gordon para os respectivos campos. As equa c~ oes de movimento das teorias de campo com deforma c~ ao capa s~ ao postuladas dentro desse mesmo princ pio. Para o campo escalar temos a equa c~ ao [26]:
2 (r2 @q m2 ) (x; x0 ) = 0

(2.3.78)

e para o campo de Dirac, a equa c~ ao [26]: (i i @i + i 0 @q m) (x; x0 ) = 0 ; onde 0 , 1 , 2 e 3 s~ ao as matrizes de Dirac usuais: f ; g = 2g 59 (; = 0; 1; 2; 3) : (2.3.80) (2.3.79)

Multiplicando (2.3.79) a esquerda por (i i @i + i 0 @q + m) e usando as rela c~ oes de anticomuta c~ ao das matrizes de Dirac, chegamos ao resultado: (@ @ + m2 ) (x; x0 ) = 0 ( = q; 1; 2; 3) ; (2.3.81)

isto e, o campo que satisfaz a equa c~ ao de Dirac com deforma c~ ao capa, tamb em satisfaz a equa c~ ao de Klein-Gordon com deforma c~ ao capa, conforme o princ pio enunciado acima. Sejam agora as seguintes equa c~ oes para os campos E e B [27]: rE=0; r E = @q B ; rB=0; r B = @q E : (2.3.82) (2.3.83) (2.3.84) (2.3.85)

Elas se reduzem as equa c~ oes de Maxwell no limite q ! 0, em que a deforma c~ ao desaparece, e implicam que os campos E e B, que a satisfazem, tamb em satisfazem a equa c~ ao de KleinGordon deformada com massa nula, isto e, a equa c~ ao de d'Alembert deformada:
2 (r2 @q ) E(x; x0 ) = 0

2 (r2 @q ) B(x; x0 ) = 0 :

(2.3.86)

Essas propriedades nos levam a chamar as equa c~ oes (2.3.82)-(2.3.85) de deforma c~ ao capa das equa c~ oes de Maxwell. As equa c~ oes deformadas de d'Alembert (2.3.86) s~ ao obtidas das equa c~ oes de Maxwell deformadas pelo mesmo m etodo usado para se obter as equa co ~es de d'Alembert a partir das de Maxwell no caso n~ ao-deformado. Tomando-se o rotacional de (2.3.83) e usando-se (2.3.82) e (2.3.85), chegamos a primeira equa c~ ao em (2.3.86). Tomando-se o rotacional de (2.3.85) e usando-se (2.3.84) e (2.3.83), chegamos a segunda equa c~ ao em (2.3.86). importante observar que as equa E c~ oes de Maxwell deformadas (2.3.82)-(2.3.85) diferem das usuais apenas nos termos que envolvem derivadas temporais dos campos. Especicamente: obtemos as equa c~ oes de Maxwell deformadas substituindo nas equa c~ oes de Maxwell usuais cada derivada temporal @0 pelo operador diferencial @q . Dessa propriedade decorrem v arias propriedades f sicas importantes. Em primeiro lugar uma decorr^ encia imediata: a deforma c~ ao n~ ao e detect avel em campos est aticos. Um segundo exemplo importante e dado 60

pelas ondas eletromagn eticas deformadas. Suas propriedades de polariza c~ ao n~ ao s~ ao afetadas pela deforma c~ ao, enquanto suas propriedades de dispers~ ao no v acuo s~ ao radicalmente afetadas. De fato, substituindo na equa c~ ao de onda deformada (2.3.86) os campos E(x; t) = E0 ei(kx!t) e B(x; t) = B0 ei(kx!t) ; (2.3.87)

onde E0 e B0 s~ ao vetores constantes, obtemos que os campos satisfazem a dita equa c~ ao se e somente se forem ondas com a rela c~ ao de dispers~ ao: senh(q ! ) = q jkj ; (2.3.88)

que e a condi c~ ao deformada de camada de massa, dada por (2.3.68), no caso de massa zero. A gura (2.1) mostra que para maiores valores de q , aumento da deforma c~ ao , a freq u^ encia assume menores valores para um dado valor do momento k .

Figure 2.1: De cima para baixo: rela c~ ao de dispers~ ao para q = 0, q = 0; 5 ; q = 1,

q = 2, q = 10 e q = 100 .

Supondo essa rela c~ ao de dispers~ ao satisfeita e substituindo os campos (2.3.87) nas equa c~ oes de Maxwell deformadas (2.3.82)-(2.3.85), obtemos k E0 = 0 ; k B0 = 0 ; jkj B0 = k E0 : 61 (2.3.89) (2.3.90) (2.3.91)

Vemos nessas equa c~ oes, completamente independentes da deforma c~ ao, que as ondas eletromagn eticas planas deformadas t^ em as mesmas propriedades de polariza c~ ao das ondas eletromagn eticas planas usuais: s~ ao ondas transversas com duas polariza c~ oes independentes. J aa rela c~ ao de dispers~ ao (2.3.88) de tais ondas depende da deforma c~ ao e mostra que h a dispers~ ao de pacotes propagando-se no v acuo. Sejam agora as equa c~ oes de Maxwell com deforma c~ ao capa na presen ca de mat eria: rE=; r E = @q B ; rB=0; r B = j + @q E ; (2.3.92) (2.3.93) (2.3.94) (2.3.95)

nas quais e j descrevem a inu^ encia da mat eria presente sobre o campo eletromagn etico deformado. Aplicando a essas equa c~ oes os teoremas de Gauss e Stokes nas interfaces que separam meios distintos, e seguindo o mesmo procedimento usado no caso n~ ao-deformado, obt em-se que as condi c~ oes de contorno nas interfaces de meios s~ ao as mesmas no caso deformado e no caso usual. Esse e uma outra conseq u^ encia importante da deforma c~ ao capa s o afetar os termos das equa c~ oes de Maxwell com derivadas temporais. Em particular podemos considerar o caso do campo deformado entre dois planos condutores paralelos. O espectro dos n umeros de onda que se acomodam entre os planos e o mesmo que no caso n~ ao-deformado, embora agora as freq u^ encias de resson^ ancia dependam do n umero de onda de acordo com a rela c~ ao de dispers~ ao deformada (2.3.88). A presen ca do operador diferencial @q nas equa c~ oes de movimento fazem delas equa c~ oes diferenciais de ordem innita. Como conseq u^ encia, as teorias dos campos com deforma c~ ao capa s~ ao teorias n~ ao-locais. Tais teorias s~ ao muito diferentes das teorias com equa c~ oes diferenciais de primeira e segunda ordem, e mesmo das teorias com equa c~ oes diferenciais de ordem N + 1 com N maior do que um, mas nito. Podem surgir grandes diculdades na constru c~ ao de uma teoria n~ ao-local. Algumas j a aparecem no formalismo can^ onico cl assico de um sistema de part culas, quando o lagrangiano depende de derivadas temporais at e ordem N , com N maior do que um. Esse formalismo e devido a Ostrogradski [60, 61], que mostrou que o hamiltoniano associado a esse lagrangiano e linear em algumas vari aveis can^ onicas. 62

Como conseq u^ encia o sistema e necessariamente inst avel em um volume signicativo de seu espa co de fase. Um hamiltoniano sem cota inferior apresenta diculdades ainda maiores se o sistema for quantizado. Teorias n~ ao-locais podem ser obtidas como o limite de teorias can^ onicas de Ostrogradski no limite em que N ! 1 e e de se esperar que nesse limite persistam ou se agravem os problemas de instabilidade. Em nosso estudo de teorias de campo com deforma c~ ao capa a n~ ao-localidade n~ ao impede de encontrarmos um gerador de transla c~ oes temporais inferiormente cotado e positivo, como o das teorias usuais sem deforma c~ ao. Isso e indica c~ ao de que formalismos gerais, como o de Ostrogradski no limite N ! 1, podem n~ ao ser indicados para o tratamento de todas as teorias n~ ao locais, que devem, pelo contr ario, ser tratadas caso a caso. Grande parte do interesse nessas teorias vem da rela c~ ao entre localidade e diverg^ encias ultravioletas. Espera-se ent~ ao que a n~ ao-localidade regularize naturamente as teorias. Pais e Uhlenbeck [62] investigaram essa quest~ ao para uma certa classe de teorias e encontraram que, al em da regulariza c~ ao, a n~ ao-localidade d a origem a problemas de comportamento n~ ao causal e de aus^ encia de positividade da energia de campos livres, este u ltimo proporcionando um exemplo de campo com as diculdades encontradas no formalismo de part culas de Ostrogradski. Devemos mencionar a import^ ancia de teorias n~ ao-locais no estudo das teorias de cordas, nas quais os termos de intera c~ ao s~ ao n~ ao-locais na coordenada de modo zero [63]. As diculdades em formular uma teoria f sica n~ ao-local tornam u teis resultados parciais que usem poucas hip oteses e possam servir para orientar na constru c~ ao da teoria completa. Nosso trabalho concentra-se nos efeitos do v acuo qu^ antico, que que t^ em essa caracter stica de requerer uma parte pequena da teoria sobre o campo em considera c~ ao.

2.4

Campo escalar com deforma c~ ao capa

Nesta se c~ ao estudamos a deforma c~ ao capa do campo escalar, tal como proposta por Lukierski, Nowicki e Ruegg [26]. O campo escalar com deforma c~ ao capa e um campo real com equa c~ ao de movimento dada por (2.3.78), isto e,
2 (r2 @q m2 ) (x; x0 ) = 0 ;

(2.4.96)

63

ou usando a nota c~ ao de ndices barrados estabelecida em (2.3.77) (@ @ + m2 ) '(x; x0 ) = 0 ; (2.4.97)

Esse e um campo escalar no sentido em que e descrito por uma u nica fun c~ ao real e tem deforma c~ ao capa porque as simetrias do espa co-tempo no qual ele e denido obedecem a deforma c~ ao capa da algebra de Poincar e. Obviamente, ele n~ ao e um campo escalar de Lorentz, exceto, naturalmente, no limite em que a deforma c~ ao desaparece. Desenvolvemos aqui, para esse campo, a teoria qu^ antica necess aria para atingir a sua respectiva energia de ponto zero. Cada passo no desenvolvimento da teoria esbarra na diculdade de se calcular express~ oes nas quais est~ ao presentes innitas derivadas de ordem superior, no operador diferencial @q = 1 sen(q @0 ) ; q (2.4.98)

ao inv es de uma u nica derivada @0 , como no formalismo n~ ao-deformado. O operador @q e linear e comuta com @ , mas n~ ao obedece a regra de Leibniz, da derivada do produto. Temos uma primeira amostra do tipo de diculdade de c alculo que aparece na teoria deformada ao obtermos a equa c~ ao de movimento (2.4.97) a partir do princ pio da a c~ ao. Consideremos a seguinte lagrangiana do campo escalar deformado, equivalente a proposta por Lukierski, Nowicki e Ruegg [26]: 1 1 1 L = @q @q r r m2 2 ; 2 2 2 isto e, 1 1 L = @ @ m2 2 : 2 2 (2.4.100) (2.4.99)

Nas teorias n~ ao-deformadas de um campo , a lagrangiana depende de e de suas quatro derivadas @ = (@0 ; @1 ; @2 ; @3 ). J a a lagrangiana deformada (2.4.99) depende de e de suas derivadas: = (@q ; @1 ; @2 ; @3 ) ; @ (2.4.101)

isto e, depende de innitas derivadas de ordem superior por interm edio do operador diferencial @q . Sendo assim, a a c~ ao do sistema em uma regi~ ao do espa co-tempo e dada por: W () =
Z

(x)) : d4 x L((x); @

(2.4.102)

64

Consideremos a a c~ ao no intervalo de tempo [t1 ; t2 ] ( = lR 3 [t1 ; t2 ]), fa camos uma varia c~ ao innitesimal no campo e calculemos a varia c~ ao correspondente na a c~ ao: W () =
Z t2
t1 4

d x

"

@L @L + (@ ) ; @ @ (@ )

(2.4.103)

As integra c~ oes por parte nas vari aveis espaciais podem ser feitas como no caso n~ ao-deformado, mas a integra c~ ao por parte na vari avel temporal exige a transfer^ encia em (2.4.103) de innitas derivadas temporais de (@q ) para @ L=@ (@q ). Para isso necessitamos encontrar a diferen ca entre @q e (@q ), onde e s~ ao duas fun c~ oes arbitr arias do espa co-tempo. Temos: @q =
1 X (1)n 2n+1 2n+1 (1)n 2n+1 2n+1 q @0 = q @0 : n=0 (2n + 1)! n=0 (2n + 1)! 1 X

(2.4.104)

Para qualquer derivada @ temos a identidade: (1)p @ p @ sp (1)p @ (@ p @ sp1 ) (1)p @ p+1 @ sp1 ; onde s e um inteiro positivo e p = 0; 1; :::; (s 1). Realizando a soma sobre todos estes valores de p:
s 1 X p p sp s 1 X p p sp1 s 1 X

(2.4.105)

p=0

(1) @ @

p=0

(1) @ (@ @

p=0

(1)p @ p+1 @ sp1

(2.4.106)

e, destacando o primeiro termo do somat orio do lado esquerdo e o u ltimo do segundo somat orio do lado direito, temos: @ s +
s 1 X s 1 X

p=1

(1)p @ p @ sp =

p=0

(1)p @ (@ p @ sp1 ) (2.4.107)

Sabendo que
Ps2

p=0

s 2 X

(1)p @ p+1 @ sp1 (1)s1 (@ s ): =

Ps1
p1 p @ @ sp , p=1 (1)

p p+1 @ sp1 p=0 (1) @

v^ e-se que o somat orio do

lado esquerdo e o segundo do lado direito se cancelam, ent~ ao: @ s =

s X

p=1

(1)p1 @ (@ p1 @ sp ) + (1)s @ s ;

(2.4.108)

onde zemos p ! p + 1, no ndice do somat orio. Finalmente, a m de facilitar os c alculos que vir~ ao, fa camos p 1 ! s p, nos ndices dos termos do somat orio acima: @ = @
s p=1 s X

(1)sp (@ sp @ p1 ) + (1)s (@ s ) : 65

(2.4.109)

Agora, aplicamos essa identidade ao caso em que @ ! @0 e s = 2n + 1, com n um inteiro n~ ao-negativo. Usando o resultado assim obtido em (2.4.104) obtemos o seguinte lema:
1 n+1 1X q 2n+1 2X 2n+1p p1 @q = @0 4 (1)n (1)p (@0 @0 )5 (@q ) : q n=0 (2n + 1)! p=1

(2.4.110)

No limite em que q ! 0, somente o termo n = 0 do somat orio sobrevive e obtemos a regra de Leibniz para @0 , de resto v alida tamb em para @i : @ = @ () (@ ) : (2.4.111)

Por analogia podemos chamar o lema (2.4.110) de deforma c~ ao capa da regra de Leibniz. Essa e a regra procurada para usarmos na integra c~ ao por partes de (2.4.103). Aplicando-a ao caso em que = @ L=@ (@q ) e = , temos: @L @L @q = @0 (0 ) @q : @ (@q ) @ (@q ) onde, por deni c~ ao, 0 e o operador diferencial dado por:
1 2X n+1 2n+1 1X 2n+1p @ L p1 n q = (1) (1)p @0 @0 ; q n=0 (2n + 1)! p=1 @ (@q ) 0

(2.4.112)

(2.4.113)

Observemos que
q !0

lim 0 = @ L=@ (@0 ) ;

(2.4.114)

como era de se esperar. conveniente denir tamb E em: i = @L : @ (@i )

! #

(2.4.115)

Voltando agora a (2.4.103), usamos o resultado (2.4.112) para chegar a W () =

Z t2
t1

@L @L dx @ + @ ( ) @ @ (@ )
4

"

(2.4.116)

Obtemos assim uma integral no espa co-tempo somada a um termo de superf cie, como no caso n~ ao-deformado. Entretanto, no caso deformado que estamos considerando, o termo de superf cie depende de derivadas temporais de todas as ordens da varia c~ ao . Nos formalismos lagrangianos de ordem superior igual a N o princ pio da a c~ ao leva as equa c~ oes de movimento, supondo que s~ ao nulas as derivadas temporais at e ordem N 1 da varia c~ ao 66

virtual do campo nos extremos do intervalo temporal da a c~ ao. Uma vez que nossa teoria deformada e de ordem innita, o postulado natural para obter-se a correspondente equa c~ ao de movimento e o de que s~ ao nulas todas as derivadas temporais de nos extremos do intervalo temporal. A partir dessa hip otese, obtemos da equa c~ ao anterior: W () =
Z !

dx

@L @L @ : @ @ (@ )

(2.4.117)

De resto, como no princ pio da a c~ ao usual, supomos que os movimentos poss veis do campo s~ ao os que extremizam a a c~ ao e usamos a arbitrariedade da varia c~ ao na equa c~ ao anterior para obter a seguinte equa c~ ao de movimento lagrangiana: @L @L @ =0; @ @ (@ ) ou, abrindo o somat orio no ndice barrado: @L @L @L @q @i =0; @ @ (@q ) @ (@i ) (2.4.119) (2.4.118)

No limite q ! 0 essa equa c~ ao reduz-se a equa c~ ao lagrangiana usual para campos. Devemos notar que, pela dedu c~ ao da equa c~ ao (2.4.119), ela continua v alida se o campo for substitu do por um campo arbitr ario ' = ('1 ; :::; '` ), com ` componentes. De fato, (2.4.119) e a equa c~ ao lagrangiana de movimento para qualquer lagrangiana cujas vari aveis din^ amicas = (@q '; @1 '; @2 '; @3 '). Podemos cham s~ ao um campo ' e as suas derivadas @' a-la de equa c~ ao lagrangiana com deforma c~ ao capa. Estamos interessados em aplic a-la a lagrangiana (2.4.100). Temos nesse caso que @L = m2 @ e @L = @ : @ (@ ) (2.4.120)

Substituindo esses resultados na equa c~ ao lagrangeana de movimento (2.4.119), obtemos: (@ @ + m2 ) = 0 ; que e (2.4.97), a equa c~ ao de Klein-Gordon com deforma ca ~o capa. Em nosso intento de chegar-se a energia de ponto zero do campo deformado, vamos considerar a sua simetria sob transla c~ ao temporal. Na verdade, sem muito acr escimo de trabalho, podemos considerar a simetria do campo sob transla c~ oes espa co-temporais. Temos que a lagrangiana (2.4.99) do campo escalar deformado n~ ao depende explicitamente das coordenadas 67 (2.4.121)

espa co-temporais e podemos nos perguntar se, como no caso n~ ao-deformado, o teorema de Noether pode ser aplicado para obtermos as correspondentes grandezas conservadas. Primeiramente, consideremos transforma c~ oes innitesimais nas coordenadas espa co-temporais e no campo: x7 ! x0 = x + x
Z

7 ! 0 = + :
Z

(2.4.122)

A correspondente varia c~ ao da a c~ ao (2.4.102) e: W () =

0

0 (x)) d x L( (x); @
4 0

(x)) ; d4 x L((x); @

(2.4.123)

onde 0 e a regi~ ao transformada pela mudan ca de coordenada em (2.4.122). Fazemos na primeira integral dessa varia c~ ao a mudan ca usual de vari aveis de integra c~ ao para obter: W () =
Z

dx

"

@x0 0 0 (x0 )) L((x); @ (x)) ; L(0 (x0 ); @ @x

(2.4.124)

onde (@x0 =@x) e o Jacobiano da transforma c~ ao. No caso de transla c~ ao no espa co-tempo temos que o quadrivetor innitesimal x em (2.4.122) e constante, digamos x = . al em disso, a mudan ca no campo e tal que o valor (x) do campo n~ ao muda. Temos ent~ ao: x0 = x + e 0 (x0 ) = (x) : (2.4.125)

Nesse caso o Jacobiano da transforma c~ ao de coordenadas e 1 e a varia c~ ao da a c~ ao (2.4.124) e dada por: W () =

Z

0 0 (x0 )) L((x); @ (x)) ; d4 x L(0 (x0 ); @

Usando a invari^ ancia do valor do campo e de suas derivadas, decorrente de (2.4.125), a varia c~ ao (2.4.126) reduz-se a W () =
Z

(2.4.126)

d x

@L @x

(2.4.127)

(x) (x);@

onde usamos a nota c~ ao termodin^ amica que indica derivada parcial mantendo constantes as (x) de L. Essa derivada vari aveis (x) e @ e nula se a lagrangiana n~ ao depende explicitamente das coordenadas, i.e., se o sistema f sico e isolado. Nesse caso temos a invari^ ancia da a c~ ao sob as transforma c~ oes de pura transla c~ ao (2.4.125): W () = 0 : 68 (2.4.128)

A a c~ ao (2.4.102) do campo escalar deformado tem essa invari^ ancia, pois a lagrangiana (2.4.99) desse campo n~ ao depende explicitamente das coordenadas. Para obter as correntes de Noether, voltamos a varia c~ ao da a c~ ao (2.4.126) e a escrevemos com a soma de duas varia c~ oes: a que vem da varia c~ ao das coordenadas e a que vem da varia c~ ao do campo. Obtemos em primeira ordem em : W () =
Z

(x)) + L(0 (x); @ 0 (x)) L((x); @ (x)) : d4 x @ L((x); @

(2.4.129)

A varia c~ ao do campo e obtida da invari^ ancia do valor do campo, como aparece na segunda equa c~ ao em (2.4.125). Temos 0 (x) = (x ) = (x) @ (x) e, portanto, a seguinte varia c~ ao do campo no ponto x: ()(x) = (0 )(x) = @ (x) : Desse resultado obtemos tamb em a varia c~ ao das derivadas do campo no ponto x: (@ )(x) = @ ()(x) = @ @ (x) : (2.4.131) (2.4.130)

De posse dessas varia c~ oes podemos calcular a diferen ca de lagrangianas em (2.4.129): @L 0 (x)) L((x); @ (x)) = @ L ()(x) + L(0 (x); @ (@ )(x) @(x) @ (@ (x)) (2.4.132)

Usando (2.4.130) e (2.4.131) nessa express~ ao e substitutindo o resultado obtido em(2.4.129), obtemos: W () =
Z
4

d x

"

@L @L @ L @ @ @ ; @ @ (@ )

(2.4.133)

onde voltamos a deixar subentendido os argumentos das fun c~ oes, pois n~ ao h a mais perigo de confus~ ao entre as varia c~ oes do campo e de seus valores. Usando a equa c~ ao lagrangiana de movimento (2.4.119) em (2.4.133) obtemos W () =
Z

d x

"

@L @L @ L @ @ @ @ : @ (@ ) @ (@ )

(2.4.134)

Agora e necess ario abrir o somat orio no ndice barrado, pois o operador diferencial @q n~ ao obedece a regra de Leibniz e exige tratamento especial, como veremos a seguir. a express~ ao acima se escreve: @L @L @L @L W () = d x @ L @q (@ ) @q (@ ) @i (@ ) @i (@ ) @ (@q ) @ (@q ) @ (@i ) @ (@i ) (2.4.135)
4

"

69

Os dois u ltimos termos do integrando formam automaticamente uma derivada em rela c~ ao x i , enquanto nos termos com o operador diferencial @q faz-se usar o lema (2.4.110) da deforma c~ ao capa da regra de Leibniz. Com isso chegamos a:
1 n+1 1X q 2n+1 2X 2n+1p @ L W () = d4 x @ L @0 @ (1)n (1)p @0 @ p1 @ A q n=0 (2n + 1)! p=1 @ (@q ) 0

"

@i

@L (@ ) @ (@i )

!#

(2.4.136)

Podemos identicar os operadores diferenciais 0 e i , tais como denidos em (2.4.115) e (2.4.113), agindo sobre @ : e @L (@ ) = i @ : @ (@i ) Com isso podemos escrever (2.4.136) como: W () = ou seja: W () = Denindo o tensor : = @ g L ; obtemos nalmente para a varia c~ ao da a c~ ao: W () =
Z Z
1 n+1 q 2n+1 2X 1X 2n+1p @ L p1 (1)n (1)p @0 @0 @ = o @ q n=0 (2n + 1)! p=1 @ (@q )

(2.4.137)

(2.4.138)

d4 x [@ L @0 (0 @ ) @i (i @ )] ;
Z

(2.4.139)

d4 x @ [g L @ ] :

(2.4.140)

(2.4.141)

d4 x @ :

(2.4.142)

Mas, como vimos em (2.4.128), a a c~ ao do campo escalar deformado e invariante sob transla c~ oes espa co-temporais, de modo que obtemos de (2.4.142):
Z

d4 x @ = 0 :

(2.4.143)

Levando em conta que e s~ ao arbitr arios, obtemos a conserva c~ ao das correntes de Noether : @ = 0 : 70 (2.4.144)

Integrando (2.4.144) em todo o espa co, obtemos:

Z

d3 x @0 0 =

d dx0

d3 x 0 =

d3 x @i i :

(2.4.145)

Aplicando na u ltima integral o teorema da diverg^ encia de Gauss e supondo que os campos e suas derivadas caem rapidamente no innito, obtemos a conserva c~ ao das seguintes grandezas associadas as correntes : P = ou usando a deni c~ ao (2.4.141) de : P =
Z Z

d3 x 0 ;

(2.4.146)

d3 x(0 @ g 0 L):
Z

(2.4.147)

Temos ent~ ao as quatro grandezas conservadas, dadas por P = e pelo vetor P=

0

d3 x (0 @ 0 L)
Z

(2.4.148)

d3 x 0 r :

(2.4.149)

Naturalmente, chamamos de tensor de energia-momento, P de quadrimomento, P 0 de energia e P de momento linear, todos do campo escalar deformado.

2.5

Quantiza c~ ao do campo escalar com deforma c~ ao capa

Nesta se c~ ao estudamos a quantiza c~ ao do campo escalar com deforma c~ ao capa, a m de chegarmos a sua energia de ponto zero. Uma teoria qu^ antica completa de um campo com deforma c~ ao capa ainda est a por ser feita e sua formula ca ~o deve ser tarefa dif cil, dado o car ater n~ ao-local da teoria. Por isso procuramos obter a energia de ponto zero fazendo um n umero m nimo de hip oteses, procurando as mais plaus veis e mais pr oximas do procedimento padr~ ao de quantiza c~ ao. Com isso esperamos que os resultados obtidos sejam de utilidade na elabora c~ ao de uma teoria qu^ antica completa para os campos com deforma c~ ao capa. A equa c~ ao de movimento (2.4.96) do campo escalar com deforma c~ ao capa tem solu c~ oes () (p) na forma de ondas planas com rela c~ ao de dispers~ ao deformada:
()

(p) = e

i(px!(p) t)

( (! (p) = q 71

senh [q p2 + m2 ] ) :

(2.5.150)

Como a equa c~ ao de movimento e linear, ela tamb e tem como solu c~ oes as superposi c~ oes dessas ondas planas, i.e. solu c~ oes da forma: (x) =
Z

d3 p (p) a(p) eipx + a (p) eipx ;

(2.5.151)

onde a(p) e uma amplitude arbitr atria, a (p) sua complexa conjugada, (p) e um fator de normaliza c~ ao a ser determinado posteriormente, e considera-se implementada a rela c~ ao de dispers~ ao deformada: p0 = ! (p) =
q 1 senh1 q p2 + m2 q

(2.5.152)

O processo usual de quantiza c~ ao de um campo e dado em tr^ es passos fundamentais. O primeiro consiste em promover o valor do campo (x), em cada ponto x, a um operador sobre um espa co de estados. Isso pode ser feito considerando-se em (2.5.151) que a amplitude a(p) e um operador e substituindo-se a (p) pelo operador hermitiano conjugado ay (p). Os operadores a(p) e ay (p) s~ ao chamados indistintamente de osciladores do campo. Esses pr oprios operadores s~ ao usados para construir o espa co de Fock, a partir do qual obt em-se o espa co de estados. O segundo passo consiste em postular para os operadores da teoria rela c~ oes de comuta c~ ao. A maneira mais elementar de faz^ e-lo e postular para os osciladores as rela c~ oes de comuta c~ ao usuais de osciladores harm^ onicos simples. No terceiro passo postulam-se as equa c~ oes de movimento de Heisenberg para o campo. Elas determinam a derivada temporal do campo a partir de seu comutador com o operador de energia do campo, que normalmente identica-se com o operador hamiltoniano, obtido por transforma c~ ao de Legendre do lagrangiano. A consist^ encia entre as rela c~ oes de comuta c~ ao e as equa c~ oes de Heisenberg e vericada encontrando-se a partir delas as equa c~ oes de movimento lagrangianas do campo. Consideramos ent~ ao o operador de campo como dado por (x) =
Z

d3 p (p) a(p) eipx + ay (p) eipx ;

(2.5.153)

onde a(p) e ay (p) s~ ao operadores que obedecem as rela c~ oes can^ onicas de comuta c~ ao: [a(p); a(p0 )] = [ay (p); ay (p0 )] = 0 [a(p); ay (p0 )] = (p p0 ) 72 (2.5.154) (2.5.155)

Notemos que essas rela c~ oes s~ ao estabelecidas entre operadores independentes do tempo, e portanto s~ ao rela c~ oes consideradas apropriadas no processo de quantiza c~ ao de campos natural ent~ bos^ onicos com as mais diversas equa c~ oes de movimento. E ao que elas sejam postuladas tamb em para o campo escalar com equa c~ ao de movimento com deforma c~ ao capa. Poder amos postular rela c~ oes para os operadores de campo, todos no mesmo instante. Mas j a n~ ao e t~ ao claro que rela c~ oes devam ser postuladas para operadores de campo em instantes diferentes. De fato, tais rela c~ oes devem ser obtidas das rela c~ oes de comuta c~ ao (2.5.154) e (2.5.155) dos osciladores e do campo em evolu c~ ao temporal determinada pela equa c~ ao de movimento deformada (2.4.96), como faremos logo adiante. Postulamos agora para o campo a equa c~ ao de movimento de Heisenberg: @ 0 = i[P 0 ; ] ; (2.5.156)

onde P 0 e o operador obtido pela quantiza c~ ao da energia (2.4.148) encontrada na se c~ ao anterior: P0 =

Z

d3 x(0 @ 0 L) ;

(2.5.157)

onde 0 e o operador dado por (2.4.113),

1 2X n+1 2n+1 1X 2n+1p @ L p1 n q = (1) (1)p @0 @0 q n=0 (2n + 1)! p=1 @ (@q ) 0

(2.5.158)

eL e a vers~ ao quantizada da lagrangiana (2.4.99) de nosso campo deformado, 1 1 1 L = @q @q r r m2 2 ; 2 2 2 (2.5.159)

Vamos agora obter uma express~ ao do operador P 0 em termos dos osciladores. Come camos pela parte correpondente ao integrando 0 @ 0 em (2.5.157). Substituindo nela a express~ ao (2.5.158) de 0 , na qual trocamos @ L=@ (@q ) pelo seu valor @q determinado por (2.5.159), obtemos:
Z

d3 x 0 @ 0 =

Para obter essa quantidade em termos dos osciladores, usamos a express~ ao (2.5.153) do campo em termos dos osciladores. Come camos por obter @q = i
Z

1 n+1 1X q 2n+1 2X 2n+1p p A d3 x @ (1)n (1)p @0 @q @0 : q n=0 (2n + 1)! p=1

(2.5.160)

d3 p (p)

i senh(q! (p)) h a(p)eipx ay (p)eipx : q

(2.5.161)

73

Para derivar essa express~ ao, empregando a f ormula

n ipx @0 e = (i!(p))n eipx ;
0 0

(2.5.162)

e obtemos
2n+1p @0 @q

= i

2np

d3 p (p)

h i senh(q! (p)) !(p)2n+1p (1)p a(p)eipx + ay (p)eipx ; q (2.5.163)

Usamos novamente (2.5.162) para derivar p vezes a express~ ao (2.5.153) de e formamos com a express~ ao anterior o resultado:
2n+1p p @0 @q @0

= i
0

2n

dp

d3 p0 (p) (p0 )
0

senh(q! (p)) ! (p)2n+1p ! (p0 )p q

0

a(p)a(p0 )ei(p+p )x + (1)p ay (p)a(p0 )ei(pp )x + (1)p a(p)ay (p0 )ei(pp )x + +a (p)a (p )e que integrado em todo o espa co d a:
Z
y y 0 i(p+p0 )x

(2.5.164)

2n+1p p x @0 @q @0

(3) (p + p0 )a(p)a(p0 )ei(!(p)+!(p ))t + (1)p (p p0 )ay (p)a(p0 )ei(!(p)!(p ))t + (1) (p p )a(p)a (p )e
p 0 y 0 i(!(p)! (p0 ))t

= i

2n

dp

d3 p0 (2 )3 (p) (p0 )
0

senh(q! (p)) ! (p)2n+1p ! (p0 )p q

0

+ (p + p )a (p)a (p )e

i(!(p)+!(p0 )t

: (2.5.165)

Integramos agora essa express~ ao em p0 e fazemos a soma em p presente em (2.5.158), para chegarmos a:
2X n+1 p=1

(1)p

2n+1p p d3 x @0 @q @0 = (1)n y

d3 p(2)3 (p)2
y

senh(q! (p)) ! (p)2n+1 q

y y 2i!(p)t

a(p)a(p)e

2i!(p)t

(2n + 1)a (p)a(p) (2n + 1)a(p)a (p) + a (p)a (p)e

(2.5.166)

Finalmente, multiplicamos a express~ ao acima por (1=q )(1)n q 2n+1 =(2n + 1)!, fazemos a soma sobre n de 0 a 1 e obtemos:
Z Z

d3 x 0 @0 =

d3 p (p)2

senh(q! (p)) (2)3 q

74

senh(q! (p)) a(p)a(p)e2i!(p)t + ay (p)ay (p)e2i!(p)t q

+! (p)cosh(q! (p)) ay (p)a(p) + a(p)ay (p)

(2.5.167)

Passemos agora a parte do operador de energia (2.5.157) que envolve a lagrangiana (2.5.159):
Z

d3 x L =

d3 x

1 1 1 @q @q r r m2 2 2 2 2

(2.5.168)

O quadrado da express~ ao (2.5.161) de (@q )2 e (@q ) =

dp

senh(q! (p)) senh(q! (p0 )) d p (p) (p ) q q

3 0 0
0 0 0

a(p)a(p0 )ei(p+p ):x ay (p)a(p0 )ei(pp ):x a(p)ay (p0 )ei(pp ):x + ay (p)ay (p0 )ei(p+p ):x e sua integral no espa co d a:
Z

(2.5.169)

d3 x(@q )2 =

d3 p

d3 p0 (2 )3 (p)(p0 )
0

senh(q! (p)) senh(q! (p0 )) q q

0

(p + p0 )a(p)a(p0 )ei(!(p)+!(p ))t (p p0 )ay (p)a(p0 )ei(!(p)!(p ))t (p p )a(p)a (p )e e obtemos imediatamente:
Z
0 y 0 i(!(p)!(p0 ))t

+ (p + p )a (p)a (p )e

i(!(p)+! (p0 ))t

(2.5.170)

1 1Z 3 senh(q! (p)) d x (@q )2 = d p(2)3 (p)2 2 2 q

3

!2

a(p)a(p)e2i!(p)t ay (p)a(p) a(p)ay (p) + ay (p)ay (p)e2i!(p)t : ao anterior e mais simples. Obtemos:
Z

(2.5.171)

O c alculo correspondente aos outros dois termos da lagrangiana em (2.5.168) e semelhante

1Z 3 1 d3 x (r)2 = d p(2 )3 (p)2 p2 a(p)a(p)e2i!(p)t + ay (p)a(p) 2 2 +a(p)ay (p) + ay (p)ay (p)e2i!(p)t :

(2.5.172)

1 2 2 1Z 3 dx m = d p(2 )3 (p)2 m2 a(p)a(p)e2i!(p)t + ay (p)a(p) 2 2

3

75

+a(p)ay (p) + ay (p)ay (p)e2i!(p)t : Substituindo (2.5.171), (2.5.172) e (2.5.173) em (2.5.168) obtemos
Z !2

(2.5.173)

d x L = d p(2 ) (p)

senh(q! (p)) q

a(p)a(p)e

2i!(p)t

+ a (p)a (p)e

2i!(p)t

(2.5.174)

Substituindo os resultados (2.5.174) e (2.5.167) na express~ ao do operador de energia (2.5.157) e usando a rela c~ ao de dispers~ ao deformada para simplicar o resultado, obtemos esse operador em termos dos osciladores, na forma seguinte: P =
0

d p (p) 2(2 )

"

3 senh(2q! (p))

2q

1 ! (p) ay (p)a(p) + a(p)ay (p) : 2

(2.5.175)

Com essa express~ ao e facil vericar a consist^ encia entre a equa c~ ao de Heisenberg e as rela c~ oes de comuta c~ ao. Substituindo o operador de energia (2.5.175) e o campo (2.5.153) na equa c~ ao de Heisenberg (2.5.156), repetida abaixo, @ 0 = i[P 0 ; ] ; (2.5.176)

e usando as rela c~ oes de comuta c~ ao (2.5.154) e (2.5.155) para os osciladores, obtemos por um lado que: @ 0 = i
Z

!(p)

d3 p (p)3 2(2 )3

h i senh(2q! (p)) ! (p) a(p)eipx ay (p)eipx :(2.5.177) 2q

Por outro lado, derivando o operador de campo (2.5.153) em rela c~ ao ao tempo, obtemos: @ 0 = i
Z

d3 p(p)! (p) a(p)eipx ay (p)eipx :

(2.5.178)

Comparando (2.5.177) com a (2.5.178) vemos que a consist^ encia entre os postulados depende apenas do fator de normaliza c~ ao (p), que deve satisfazer: 2 (p) 2(2 )3 senh(2q! (p)) =1: 2q (2.5.179)

Podemos pois escolher o fator de normaliza c~ ao como sendo (p) = 2(2 )

"
3 senh(2q! (p))

2q

#1=2

(2.5.180)

76

Notemos que, no limite em que a deforma c~ ao desaparece, esse fator de normaliza c~ ao reduz-se a (p) = 1 1 q p ; 3 = 2 (2 ) 2 p2 + m2 (2.5.181)

que e o fator de normaliza c~ ao da teoria do campo escalar usual com rela c~ oes de comuta c~ ao para os osciladores da forma (2.5.154) e (2.5.155). Com a normaliza c~ ao (2.5.180) a expans~ ao (2.5.153) do campo em ondas planas toma a forma: (x) = 1 (2 )3=2
Z q

d3 p 2 senh(2q! (p))=2q

a(p) eipx + ay (p) eipx ;

(2.5.182)

e o operador de energia e dado pela express~ ao de apar^ encia familiar: P0 =

Z 1 d3 p ! (p) ay (p)a(p) + a(p)ay (p) : 2

(2.5.183)

Agora que temos o fator de normaliza c~ ao xado, n~ ao h a mais par^ ametros livres na teoria e devemos examinar a quest~ ao crucial da compatibilidade da equa c~ ao de Heisenberg com a equa c~ ao lagrangiana de movimento, no caso a equa c~ ao de Klein-Gordon deformada. Para isso usamos o fato trivial de que @q pode ser fatorado como:
1 1X (1)n q 2n+1 2n+1 @q = @ = q n=0 (2n + 1)! 0

1 1X (1)n q 2n+1 2n @ @0 ; q n=0 (2n + 1)! 0

(2.5.184)

isto e,
[ @q = @q @0

(2.5.185)
!

onde
[ @q

1 1X (1)n q 2n+1 2n @ q n=0 (2n + 1)! 0

(2.5.186)

Aplicando esse operador diferencial aos dois membros da equa c~ ao de Heisenberg (2.5.156), obtemos
[ [ @q @0 = @q = i[P 0 ; @q ]:

(2.5.187)

Agora aplicamos sobre os dois membros dessa equa c~ ao o operador diferencial @q e chegamos a:
2 [ @q = i[P 0 ; @q @q ] :

(2.5.188)

77

O membro esquerdo dessa equa c~ ao j a apresenta um termo da equa c~ ao de movimento de Klein-Gordon deformada (2.4.97). Basta ent~ ao mostrar que o membro direito d a origem aos
[ termos restantes. Sendo assim, comecemos pelo c alculo de @q . [ @q 1 h i 1X (1)n q 2n+1 2n Z 3 = @0 d p (p) a(p)eipx + ay (p)eipx q n=0 (2n + 1)! 1 h i (1)n q 2n+1 Z 3 1X = d p (p)(i!(p))2n a(p)eipx + ay (p)eipx q n=0 (2n + 1)! Z i senh(q! (p)) h = d3 p (p) a(p)eipx + ay (p)eipx : (2.5.189) q! (p)

Agora operamos com @q sobre essa express~ ao e obtemos:

[ @q @q = 1 i 1X (1)n q2n+1 2n+1 Z 3 senh(q! (p)) h @0 d p (p) a(p)eipx + ay (p)eipx q n=0 (2n + 1)! q! (p) Z 1 2 i 1 3 senh(q! (p)) X (q! (p)) n+1 h = d p (p) i a(p)eipx + ay (p)eipx : (2.5.190) q q! (p) n=0 (2n + 1)!

Somando a s erie em n chegamos ent~ ao a

[ @q @q

= i

i senh2 (q! (p)) h ipx y ipx a ( p ) e a ( p ) e : d p (p) q 2 ! (p)

3

(2.5.191)

Substituindo esse resultado e a express~ ao (2.5.183) do operador de energia no membro direito da equa c~ ao (2.5.188), teremos: i[P
0 [ ; @q @q ]

=i

"

1Z 3 0 d p ! (p0 ) ay (p0 ) a(p0 ) + a(p0 ) ay (p0 ) ; 2

senh2 (q! (p)) ipx y ipx a ( p ) e a ( p ) e : (2.5.192) d p (p) q 2 ! (p)

3

O comutador no membro direito dessa equa c~ ao e facilmente calculado com o aux lio das rela c~ oes de comuta c~ ao entre os osciladores, de modo que obtemos:
[ i[P 0 ; @q @q ] =

d3 p (p)

senh2 (q! (p)) (a(p)eipx + ay (p)eipx ): q2

(2.5.193)

Gra cas a rela c~ ao de dispers~ ao deformada obtemos dessa equa c~ ao que

[ i[P 0 ; @q @q ] =

= d3 p (p)p2 (a(p)eipx + ay (p)eipx) m2

Z

d3 p (p)(p2 + m2 )(a(p)eipx + ay (p)eipx)

d3 p (p)(a(p)eipx + ay (p)eipx )

(2.5.194)

78

isto e,
[ i[P 0 ; @q @q ] = r2 m2 :

(2.5.195)

Substituindo esse resultado no membro direito da equa c~ ao (2.5.188) obtemos, nalmente:

2 @q = r2 m2 ;

(2.5.196)

que e a equa c~ ao de Klein-Gordon deformada, a equa c~ ao de movimento lagrangiana do campo. Fica pois demonstrada a consist^ encia da equa c~ ao de movimento de Heisenberg e a equa c~ ao de movimento lagrangiana. Vericadas essas condi c~ oes fundamentais de compatibilidade da quantiza c~ ao, vamos obter mais alguns resultados no formalismo. Primeiramente, usamos as rela c~ oes de comuta c~ ao postuladas para os osciladores para calcular o comutador entre os valores do campo em dois pontos x e x0 do espa co-tempo. Obtemos: [(x); (x0 )] = i q (x x0 ) ; onde q (x x0 ) =
h i i Z d3 p ip(xx0 ) ip(xx0 ) e e : (2)3 senh (2q! (p))=q

(2.5.197)

(2.5.198)

Naturalmente, a fun c~ ao q ser a chamada de fun c~ ao de Pauli-Jordan com deforma c~ ao capa. No limite em que a deforma c~ ao desaparece ela reduz-se a fun c~ ao de Pauli-Jordan usual :
q !0

lim q = :

(2.5.199)

Do mesmo modo que a fun c~ ao de Pauli-Jordan usual, ela e trivialmente invariante por transla c~ oes espa co-temporais e e mpar q (x x0 ) = q (x0 x) : Al em disso, tamb em como no caso da fun c~ ao de Pauli-Jordan usual, temos que q (x x0 )jx0 =x0 0 = 0 : (2.5.201) (2.5.200)

Esse resultado leva-nos a rela c~ ao can^ onica de comuta c~ ao a tempos iguais entre os valores do campo em dois pontos do espa co: [(x; t); (x0 ; t)] = 0 : 79 (2.5.202)

Tomando agora derivadas temporais da fun c~ ao de Pauli-Jordan deformada surgem diferen cas fundamentais em rela c~ ao ao caso n~ ao-deformado, como devemos esperar de qualquer resultado que depende do modo de evolu c~ ao temporal do campo. Temos para a fun c~ ao de Pauli-Jordan deformada, como e f acil de vericar, que: @2q q (x x0 )jx0 =x0 0 = (x x0 ) : No limite em que a deforma c~ ao desaparece, esse resultado reduz-se a @0 (x x0 )jx0 =x0 0 = (x x0 ) ; (2.5.204) (2.5.203)

que e o resultado esperado para a fun c~ ao de Pauli-Jordan usual. Mas a derivada temporal da fun c~ ao de Pauli-Jordan deformada n~ ao e proporcional a um delta de Dirac: @0 q (x x0 )jx0 =x0 0 6 = (x x0 ) ; Tamb em temos:
0 0 @2q @2 q q (x x )

(2.5.205)

x0 =x0 0

=0:

(2.5.206)

Desse modo, temos o comutadores

[(x; t); 2q (x0 ; t)] = i (x x0 ) e [2q (x; t); 2q (x0 ; t)] = 0 : onde denimos: 2q (x) = @2q (x) :

(2.5.207)

(2.5.208)

(2.5.209)

Desse modo, 2q aparece como campo conjugado de para compor as rela c~ oes can^ onicas de comuta c~ ao a tempos iguais. O campo que nos vem a mente como conjugado de , a partir da equa c~ ao lagrangiana de movimento e da id eia de transforma c~ ao de Legendre, e o campo: q (x) = @L = @q (x) ; @ (@q ) (2.5.210)

onde L e a lagrangiana (2.4.99) do campo escalar com deforma c~ ao capa. No entanto,

0 [(x; t); q (x0 ; t)] = i @q q (x x0 )jx0 =x0 0 ;

(2.5.211)

80

onde a fun c~ ao singular no membro direito dessa equa c~ ao n~ ao e proporcional a um delta de Dirac: @q q (x x0 )jx0 =x0 0 6 = (x x0 ) : (2.5.212)

Assim, o candidato a campo conjugado ingenuamente esperado em um formalismo hamiltoniano da teoria com deforma c~ ao capa, n~ ao obedece as rela c~ oes can^ onicas de comuta c~ ao a tempos iguais. Tamb em o momento conjugado = @0 da teoria n~ ao-deformada e incapaz de obedecer tais rela c~ oes, como vimos em (2.5.205). Notemos nesse contexto, que na express~ ao (2.4.148) do operador de energia P 0 , o que substitui o campo conjugado na teoria n~ ao-deformada e a quantidade 0 : 0 =
1 n+1 q 2n+1 2X 1X 2n+1p @ L p1 (1)n (1)p @0 @0 : q n=0 (2n + 1)! p=1 @ (@q )

(2.5.213)

0 n~ ao e, portanto, um campo conjugado, mas um operador que carrega o campo , derivadas temporais deste e e tamb em um operador diferencial temporal em todas as ordens. interessante notar que as tr^ E es quantidades que desempenham em algum contexto o papel de campo conjugado de tem o mesmo limite quando desaparece a deforma c~ ao, que e, na verdade, o limite esperado: lim 2q = lim q = lim 0 = @0 :
q !0 q !0

q !0

(2.5.214)

Note que evitamos a escolha de um campo conjugado a , porque em uma teoria n~ aolocal como a que estamos tratando n~ ao e claro qual deve ser tal campo e, principalmente, se um u nico campo conjugado pode desempenhar todos os pap eis que desempenha o da teoria n~ ao-deformada. Ademais, seremos capazes de obter os resultados que procuramos sem nos comprometer com nenhuma deni c~ ao de campo conjugado. Com isso nossos resultados podem ser u teis em diferentes teorias que venham a ser propostos para o campo escalar com deforma c~ ao capa. Agora chegamos ao objetivo principal dessa se c~ ao, obter a energia de ponto zero do campo escalar deformado. Naturalmente, vamos procur a-la no operador de energia do campo, que, como vimos em (2.5.183) pode ser escrito como: P0 =
Z 1 d3 p ! (p) ay (p)a(p) + a(p)ay (p) : 2

(2.5.215)

81

Nessa express~ ao, tal qual aparece, h a uma quantidade divergente, de modo que o operador de energia P 0 que temos usado pressup~ oe que alguma regulariza c~ ao esteja sendo usada na integral em (2.5.215), mesmo que n~ ao esteja explicitada. Vamos explicit a-la agora na forma de uma fun c~ ao de corte exponencial: P0 =
Z 1 d3 p !(p) e !(p) ay (p)a(p) + a(p)ay (p) : 2

(2.5.216)

onde e o par^ ametro regularizador, que tomamos igual a zero no momento apropriado. Usando as rela c~ oes de comuta c~ ao dos osciladores, obtemos P0 =
Z

d3 p ! (p) e !(p) ay (p)a(p) +

V (2 3 )

1 d3 p ! (p) e !(p) : 2

(2.5.217)

onde V e o volume do espa co que aparece na express~ ao usual da delta de Dirac regularizada, (p p) = V =(2 )3 . A primeira integral em (2.5.217) e um operador bem denido sobre o espa co de Fock mesmo no limite ! 0, quando dene a energia das excita c~ oes do campo, dada por:
0 Pexc =

d3 p ! (p) ay (p)a(p) :

(2.5.218)

A segunda integral em (2.5.217) diverge no limite ! 0 e dene uma densidade uniforme e constante de energia do v acuo do campo, dada em forma ainda regularizada por:
Z E0 1 3 1 = d p ! (p) e !(p) : V (23 ) 2
() ()

(2.5.219)

onde E0 e a energia do v acuo propriamente dita, ainda regularizada. A densidade uniforme e constante e destituida de signicado f sico, de modo que a energia E0 e simplesmente
0 subtra da de P 0 para obtermos a energia renormalizada do campo, Pexc dada em (2.5.218). ()

Vamos terminar nossa discuss~ ao usando a normaliza c~ ao de caixa, na qual a energia do v acuo (2.5.219) toma a forma E0 =
()

X
p

1 ! (p) e !(p) : 2

(2.5.220)

Na aus^ encia de regulariza c~ ao essa e uma quantidade innita que escrevemos informalmente como: E0 = 82
X
p

1 ! (p) : 2

(2.5.221)

Essa e a energia do v acuo ou energia de ponto zero do campo escalar deformado. Ela tem a mesma forma que a energia de ponto zero do campo n~ ao-deformado: e a semi-soma de todas as freq u^ encias naturais do campo. A deforma c~ ao s o se manifesta na rela c~ ao de dispers~ ao, que no caso deformado leva-nos a: E0 =
X
p

q 1 senh1 (q p2 + m2 ) : 2q

(2.5.222)

Confome nos ensinou Casimir, embora essa quantidade seja destitu da de signicado f sico em teoria de campo, a diferen ca entre essa quantidade regularizada, com condi c~ oes de contorno, e a mesma quantidade regularizada, sem condi c~ oes de contorno, d a origem a uma grandeza que, livre da regulariza c~ ao, e, em princ pio, observ avel. Trata-se, naturalmente, da energia de Casimir. Mais adiante, vamos partir da energia de ponto zero (2.5.222), para obter a energia de Casimir com deforma c~ ao capa. Estamos particularmente interessados na energia P 0 do campo deformado, mas o momento linear tamb em pode ser tratado por m etodos an alogos. Antes de terminar essa se c~ ao, vamos tamb em obter a express~ ao do operador de momento linear do campo em termos dos osciladores. Temos que o operador de momento linear do campo e dado por: P =
i

d3 x 0 @ i :

(2.5.223)

Substituindo nessa express~ ao a deni c~ ao (2.4.113) de 0 , obtemos: Pi = ou

Z
1 n+1 1X q 2n+1 2X 2n+1p @ L p1 i A d3 x @ (1)n (1)p @0 @0 @ ; q n=0 (2n + 1)! p=1 @ (@q ) V

(2.5.224)

Pi =

Z 1 n+1 1X q 2n+1 2X 2n+1p @ L (1)n (1)p d3 x@0 @ p1 @ i : q n=0 (2n + 1)! p=1 @ (@q ) 0 V Z

(2.5.225)

As derivadas do campo s~ ao dadas por:

p1 i @0 @ = ip

d3 p(p)pi ! (p)p1 (1)p a(p)eipx + ay (p)eipx :

Z Z

(2.5.226)

Multiplicando essa express~ ao pela (2.5.163), teremos:

2n+1p p1 i @0 @q @0 @ = i2n

d3 p

d3 p0 (p) (p0 )

senh(q! (p)) i ! (p)2n+1p ! (p0 )p1 p0 q

83

 a(p)a(p0 )ei(p+p ):x + (1)p ay (p)a(p0 )ei(pp ):x +

0 0

(1)p a(p)ay (p0 )ei(pp ):x + ay (p)ay (p0 )ei(p+p ):x :

Z Z

(2.5.227)

Integrando a express~ ao acima sobre todo o espa co, vem:

Z

2n+1p p1 i x@0 @q @0 @ i

= (2 ) (1)

dp
0

d3 p0 (p)(p0 )

senh(q! (p)) q

! (p)2n+1p ! (p0 )p1 p0 a(p)a(p0 )ei(!(p)+!(p) )t (p + p0 ) +(1)p ay (p)a(p0 )ei(!(p)!(p ))t (p p0 ) + (1)p a(p)ay (p0 )ei(!(p)!(p )t (p p0 ) +a (p)a (p )e
y y 0 i(!(p)+!(p0 ))t
0 0

(p + p ) :

(2.5.228)

Agora, integramos a equa c~ ao sobre o espa co dos momentos e somando sobre p de 1 a 2n + 1:

2X n+1 p=1

(1)

a(p)a(p)e2i!(p)t + (2n + 1)ay (p)a(p) +(2n + 1)a(p)a (p) + a

y y 2i!(p)t (p)ay p e

2n+1p p1 i x@0 @q @0 @

= (2 ) (1)

d3 p (p)2

senh(q! (p)) ! (p)2npi q

(2.5.229)

Substituindo essa express~ ao em (2.5.225), teremos: P =

i

senh(q! (p)) i p q " 1 1 X (q! (p))2n+1 y 2i!(p)t 2i! (p)t a (p)ay e + a ( p ) a ( p ) e p q! (p) n=0 (2n + 1)! d3 p (p)2 (2 )3
(q! (p))2n y + a (p)a(p) + a(p)ay (p) ; (2n)! n=0 Z
1 X

(2.5.230)

ou ainda,
i

P =

d3 p(p)2 (2 )3

"

senh(q! (p)) i p q

senh(q! (p)) y 2i!(p)t a (p)ay + a(p)a(p)e2i!(p)t p e q! (p)

+cosh(q! (p)) a (p)a(p) + a(p)a (p)

(2.5.231)

As integrais onde aparecem o tempo s~ ao nulas, uma vez que seus integrandos s~ ao mpares em pi e pares para as outras componentes do momento. Sendo assim chega-se a express~ ao nal para o operador momento linear, descrito a partir dos operadores de cria c~ ao e aniquila c~ ao, P =
i

d p (p) 2(2 )

"

3 senh(2q! (p))

2q 84

1 i p a(p)ay (p) + ay (p)a(p) 2

(2.5.232)

e, da express~ ao para (p) obtida em (2.5.180), vem que: Pi =

1 Z 3 i d p p a(p)ay (p) + ay (p)a(p) 2

(2.5.233)

Vemos que P i no caso deformado tamb em apresenta a mesma forma que a do caso n~ aodeformado. Pelas express~ oes (2.5.183) de P 0 e (2.5.233) de P i , em termos de osciladores, e evidente que tais operadores comutam entre si: [P 0 ; P i ] = 0 ; [P i ; P j ] = 0 : (2.5.234)

85

Chapter 3 Efeitos de v acuo e teoria de campo com deforma c~ ao capa

Na primeira se c~ ao apresentamos o c alculo do efeito Casimir de um campo escalar deformado, usando o m etodo da a c~ ao efetiva de Schwinger, conforme feito na refer^ encia [31]. Esse c alculo resulta tamb em em uma parte imagin aria para a a c~ ao efetiva, que descreve a cria c~ ao de excita c~ oes do campo devido a condi c~ oes de contorno aplicadas ao campo deformado. Ao nal da se c~ ao, apresentamos nosso resultado em que as id eias da refer^ encia supracitada s~ ao aplicadas ao caso de um campo de Dirac. Nas se c~ oes seguintes apresentamos nossos resultados sobre a energia de Casimir e a taxa de cria c~ ao de excita c~ oes de campos deformados sob condi c~ oes de contorno. Na segunda se c~ ao mostramos que as partes real e imagin aria da a c~ ao efetiva podem ser escritas como somas sobre os modos do campo. Essas express~ oes de somas sobre modos s~ ao usadas para calcular, para o campo eletromagn etico com deforma c~ ao capa, a energia de Casimir, na terceira se c~ ao e a taxa de emiss~ ao de f otons, na quarta e u ltima se c~ ao.

3.1

Efeito Casimir e gera c~ ao de excita c~ oes de campos com deforma c~ ao capa

A amplitude de persist^ encia no v acuo h0t2 j 0t1 i e a amplitude de probabilidade de um 86

sistema estar no seu estado de v acuo no instante t2 , se e certo que estava nesse estado de v acuo em um instante anterior t1 . Normalmente, como aqui, se est a interessado na situa c~ ao em que t1 est a no passado remoto e t2 no futuro distante (t1 ! 1 e t2 ! +1). Se a evolu c~ ao temporal do sistema e estacion aria, ele permanece sempre no estado de v acuo, a probabilidade de persit^ encia no v acuo jh0t2 j 0t1 ij2 = 1 e a amplitude e dada por h0t2 j 0t1 i = eiE0 (t2 t1 ) ; (3.1.1)

onde E0 e a energia do v acuo. Essse e o caso para um sistema isolado, para dentro do qual n~ ao est a havendo fornecimento de energia. Por outro lado, pode ocorrer que agentes externos cedam energia ao sistema, dando a ele uma probabilidade de sair do estado de v acuo, de modo que jh0t2 j 0t1 ij2 < 1. O caso mais not avel e o do mecanismo de Schwinger de cria c~ ao de pares [40], como descrevemos no cap tulo 2. Nesse mecanismo, um campo el etrico externo, uniforme e constante, cria pares de part cula e antipart cula no v acuo do campo do el etron, ou de outro campo carregado. Em uma descri c~ ao pitoresca do fen^ omeno podemos dizer que o campo el etrico aplicado torna o v acuo cintilante, como no caso do efeito corona, em que um campo el etrico ioniza o ar e produz cintila c~ oes. A cria c~ ao de pares por campos el etricos intensos e bem fundamentada em f sica nuclear e astrof sica [41]. J a a cria c~ ao por campo aplicado de laborat orio ainda n~ ao foi conrmada, embora os valores dispon veis para esses campos estejam aproximando-se dos valores cr ticos necess arios para a observa c~ ao do fen^ omeno [64]. No formalismo de Schwinger, a amplitude de persist^ encia no v acuo e dada por h0t2 j 0t1 i = eW
(1)

(3.1.2)

onde W (1) e o que ele chama de a c~ ao bem ordenada e que, em nossos estudos, e sempre dada pela a c~ ao efetiva a um la co. A representa c~ ao de tempo-pr oprio de Schwinger para essa a c~ ao, no caso de um campo bos^ onico, e dada por: W
(1)

i = 2

Z 1
so

ds T r eisH ; s

(3.1.3)

onde s e o chamado tempo-pr oprio, s0 e um corte regularizador e T r indica o tra co do operador diferencial H , caracter stico da teoria. Estaremos interessados, neste cap tulo, 87

somente na situa c~ ao em que os campos s~ ao livres, embora sujeitos a condi c~ oes de contorno. Nesse caso temos
2 H = P2 Po + m2 ;

(3.1.4)

onde P 0 = i@0 , P i = i@i e m e a massa do campo. Evidentemente, esse operador, chamado por Schwinger de hamiltoniano de tempo-pr oprio, e o operador de Klein-Gordon, dado pelo primeiro invariante de Casimir da algebra de simetrias espa co-temporais do campo considerado, a algebra de Poincar e. No caso do efeito Casimir, o campo encontra-se em estado estacion ario (n~ ao consideramos nesta tese o efeito Casimir din^ amico), de maneira que a amplitude de persist^ encia no v acuo e determinada pela energia do v acuo, de acordo com (3.1.1). O m etodo de Schwinger de calcular a energia de Casimir [43] consiste em calcular a a c~ ao efetiva W (1) na representa c~ ao de tempo pr oprio (3.1.3) e substitu -la na igualdade E0 = W (1) =(t2 t1 ), que se obt em diretamente da compara c~ ao das equa c~ oes (3.1.1) e (3.1.2). Descontados de E0 os termos esp urios, obt em-se a energia de Casimir E , de modo que escrevemos: W (1) E = ; T (3.1.5)

onde T = t2 t1 , e a a c~ ao W (1) tamb em e considerada j a renormalizada. Nesse m etodo, a energia de Casimir devido as condi c~ oes de contorno dadas, surge da a c~ ao efetiva (3.1.3) pela alteracao que essas condi c~ oes provocam no espectro do operador H que aparece nessa a c~ ao. No caso em que agentes externos cedem energia ao sistema, a probabilidade de persist^ encia no v acuo e menor do que 1, jh0t2 j 0t1 ij2 < 1. Nesse caso a a c~ ao efetiva deve ter uma parte imagin aria diferente de zero, como ca claro pelo exame da equa c~ ao (3.1.2). A probabilidade de persit^ encia no v acuo e ent~ ao dada por: jh0t2 j 0t1 ij2 = e2 =W
(1)

(3.1.6)

Obviamente, a parte imagin aria da a c~ ao efetiva deve ser positiva, para n~ ao se violar a propriedade de que probabilidades nunca s~ ao maiores do que 1. Consideremos, como um exemplo simples do m etodo de Schwinger, o c alculo da energia de Casimir de um campo escalar sujeito a condi c~ ao de contorno de Dirichlet em dois planos paralelos separados por uma dist^ ancia a. Os planos s~ ao considerados como duas placas 88

quadradas de lados iguais a ` (` a) e a situa c~ ao idealizada de dois planos e recuperada no limite ` ! 1. Uma aplica c~ ao direta do m etodo leva a seguinte a c~ ao efetiva: W (1) = T a`2
1 X 1 m4 K2 (2amn) : 2 2 8 (am) n=1 n2

(3.1.7)

Substituindo esse resultado em (3.1.5), obt em-se a energia de Casimir do campo escalar : E (a) =
1 1 (am)2 X K2 (2amn) : 8 2 a3 n=1 n2

(3.1.8)

Observemos agora que o c alculo da energia de Casimir pelo m etodo de Schwinger requer unicamente o conhecimento do hamiltoniano de tempo-pr oprio H , dado pelo primeiro invariante de Casimir (3.1.4) da algebra de simetrias espa co-temporais do campo bos^ onico. Surge ent~ ao a quest~ ao de qual seria o resultado do c alculo correspondente a um campo cujas simetrias espa co-temporais fossem dadas pela deforma ca ~o capa da algebra de Poincar e [31]. Essa deforma c~ ao tem um primeiro invariante de Casimir P2 2senh

Po 2 = m2 ; 2

(3.1.9)

onde m, um escalar caracter stico da representa c~ ao da algebra, e a massa do campo com deforma c~ ao capa. Esse invariante de Casimir leva ao seguinte Hamiltoniano de tempopr oprio: H = P2 2senh

Po 2 + m2 ; 2

(3.1.10)

que tem por limite, quando ! 1, o hamiltoniano de tempo pr oprio usual (3.1.4). Podemos esperar para o campo com deforma c~ ao capa uma energia de Casimir que depende do par^ ametro e que reduz-se a energia de Casimir usual no limite ! 1. O c alculo da a c~ ao efetiva (3.1.3) com hamiltoniano de tempo pr oprio (3.1.10) foi feito para o campo escalar com deforma c~ ao capa, sujeito a condi c~ ao de Dirichlet em dois planos paralelos com separa c~ ao a [31], a mesma condi c~ ao considerada no exemplo acima do campo escalar sem deforma c~ ao. Nesse caso a a c~ ao efetiva de fato leva a uma energia de Casimir que reduz-se, no limite ! 1, a energia de Casimir (3.1.8) do campo escalar comum. No entanto, essa a c~ ao efetiva apresenta tamb em uma parte imagin aria que descreve a cria c~ ao de excita c~ oes do campo pela a c~ ao conjunta da deforma c~ ao e da condi c~ ao de contorno. Vamos agora descrever como eles foram obtidos. 89

Considera-se um eixo OZ perpendicular aos planos que connam o campo escalar com deforma c~ ao capa por meio da condi c~ ao de contorno de Dirichlet. Como de h abito, tomam-se os dois planos como grandes placas quadradas de lado ` muito maiores do que a separa c~ ao a entre elas. O hamiltoniano de tempo pr oprio (3.1.10) e diagonalizado em uma base de ondas planas, exatamente como no caso n~ ao-deformado, mas agora com a rela c~ ao de dispers~ ao com deforma c~ ao capa. A componente de P ao longo do eixo OZ tem como autovalores n=a, com n inteiro positivo e as componetes de P perpendiculares ao eixo OZ , bem como P0 , t^ em como espectro de autovalores o conjunto total dos reais. Desse modo, obt em-se o seguinte espectro para o hamiltoniano de tempo pr oprio: Spec(H ) =
( )

p2 x

p2 y

! 2 n 2 + 2senh + m2 2 lR j px ; py 2 lR ; n 2 6 Z+ e ! 2 lR a 2 (3.1.11)

Com h diagonalizado obt em-se facilmente o tra co: Tr e

isH

` 2

is

!2

n=1

1 X

eis(n=a)

t Z1 2 2 d! ei(s+i)[2senh(!=2)] eism 2 1

(3.1.12)

onde e usado, para efeito de regulariza c~ ao , um pequeno real positivo , que e igualado a zero mais abaixo. Em nada prejudica os c alculos consider a-lo impl cito nas equa c~ oes que seguem, como o faremos. A integral em ! pode ser resolvida em termos de uma fun c~ ao de Bessel K [45] e o tra co toma a forma: T r eisH t`2 = 2 8 is
s
1 X 2 eis(n=a) is n=1

2(is 22 ) is 22 2 e K0 (is 22 ) eism : (3.1.13)

Usando-se nessa express~ ao a f ormula de soma de Poisson [65]

1 X

en

n=1

1 1 1 1 X 2 = p +p en = ; 2 2 n=1

(3.1.14)

obt em-se tr^ es termos para o tra co, sendo que dois deles divergem com a retirada do corte no tempo-pr oprio s0 . Como bem explica Schwinger [43], esses dois termos s~ ao esp urios e p devem ser subtra dos da a c~ ao efetiva. O primeiro termo, proveniente do termo 1=2 em (3.1.14), e proporcional ao volume a`2 entre as placas e representa uma grandeza de densidade uniforme e constante, preenchendo o espa co inteiro. Independe de condi c~ ao de contorno, de pois vari aveis din^ amcias ou de qualquer grandeza observ avel e, al em disso, e innita. E 90

grandeza destitu da de signicado f sico. Quando o sistema est a em regime estacion ario, ela e a energia do v acuo, pr e-existente as condi c~ oes de contorno e sempre descartada em teoria de campos como quantidade esp uria. Como vimos no cap tulo 2, essa e a energia de ponto-zero sem condi c~ oes de contorno, que deve ser subtra da da energia de ponto-zero com condi c~ oes de contorno, para chegar-se a energia de Casimir. O segundo termo, proveniente do termo 1=2 em (3.1.14), e proporcional a area de cada placa e representa uma quantidade associada a cada placa individualmente. Tamb em independe das condi c~ ao de contorno, de vari aveis din^ amicas ou de qualquer grandeza observ avel e e innita. Tamb em e grandeza sem signicado f sico e deve ser subtra da da a c~ ao efetiva. Se o sistema est a em regime estacion ario ela pode ser interpretada como a soma das autoenergias innitas de cada placa. Ap os a subtra c~ ao dos dois termos esp urios o tra co toma a forma: Tr e
isH

t`2 = 2 8 is

1 X 2 eis(n=a) is n=1

2(is 22 ) is 22 2 e K0 (is 22 ) eism : (3.1.15)

Levando essa express~ ao do tra co em (3.1.3), obtemos a a ca ~o efetiva:

1 Z 1 a`2 t X ds is(22 +m2 )+i(an)2 =s e W= 2 16 n=1 so s3

2(is)22 K0 (is22 ) :

(3.1.16)

Nessa express~ ao usa-se ent~ ao a identidade K0 (z ) = K0 (z ) iI0 (z ), levando-se em conta a exist^ encia do par^ ametro introduzido em (3.1.12), que permite evitar o corte no plano complexo do dom nio das fun c~ oes de Bessel [45]. Troca-se tamb em, por conveni^ encia, a vari avel de integra c~ ao para = a2 =is e, nalmente, toma-se o limite so ! 1. O resultado nal assim obtido e:
1 Z 1 2(a)2 2(a)2 a`2 t X 2 2(a)2 n2 (22 +m2 )a2 = W= d e I + iK : 0 0 16 2 a4 n=1 0 (3.1.17)

"

Como vemos, essa a c~ ao efetiva tem uma parte real e uma imagin aria. A parte real e dada por
1 Z 1 2(a)2 2 2(a)2 a`2 t X n2 (22 +m2 )a2 = <W = d e I 0 16 2 a4 n=1 0

(3.1.18)

e a imagin aria por

1 Z 1 2(a)2 a`2 t X 2 2(a)2 n2 (22 +m2 )a2 = =W = d e K : 0 16 2 a4 n=1 0

(3.1.19)

91

No limite ! 1 em que a deforma c~ ao desaparece a parte imagin aria tende a zero e a parte real reduz-se a a c~ ao efetiva do caso n~ ao-deformado (3.1.7). Assim obt em-se a energia de Casimir (3.1.8) do caso n~ ao-deformado, usando-se a parte real (3.1.18) para calcular o limite [18]: lim !1
1 (am)2 X 1 <W =t = K2 (2amn) : `2 8 2 a3 n=1 n2

(3.1.20)

Desse modo, a parte real (3.1.17) da a c~ ao efetiva fornece a energia de Casimir do campo escalar com deforma c~ ao capa, que, de acordo com (3.1.5) e (3.1.18), e dada por
1 Z 1 2(a)2 X 1 2 2(a)2 2 n2 (22 +m2 )a2 = E1=2(a) = ` d e I : 0 16 2 a3 n=1 0

(3.1.21)

Supondo que e pequena a deforma c~ ao capa da algebra de Poincar e, isto e, que o par^ ametro e grande, pode-se obter as corre c~ oes que a deforma c~ ao imp~ oe a energia de Casimir em diversas ordens de 1= [31, 66]. O resultado inesperado e a parte imagin aria (3.1.19) da a c~ ao efetiva. Ela e positiva e, substitu da em (3.1.6), d a uma amplitude de probabilidade diferente de zero para a cria c~ ao de excita c~ oes do campo com deforma c~ ao capa e sujeito a condi c~ ao de contorno. A forma dessa parte imagin aria deixa claro que ela vai a zero no limite em que o produto a ! 1. Desse modo o mecanismo de cria c~ ao de excita c~ oes desaparece, quer desapare ca a deforma c~ ao ( ! 1), quer despare ca a condi c~ ao de contorno (a ! 1). O mecanismo e um efeito conjunto da simetria espa co-temporal ser deformada e do v acuo estar submetido a condi c~ ao de contorno. Os c alculos anteriores mostram que o mecanismo permanece no limite de massa nula e indicam n~ ao haver raz~ ao para que n~ ao ocorra com campos fermi^ onicos. Tamb em a condi c~ ao de contorno de Dirichlet n~ ao parece ser essencial para sua ocorr^ encia; outras condi c~ oes de contorno devem igulamente provocar a gera c~ ao de excita c~ oes do campo. Desse modo, podemos esperar que, de um modo geral, condi c~ oes de contorno, sobre um v acuo qu^ antico com simetria espa co-temporal com deforma c~ ao capa, d~ ao origem a um mecanismo de cria c~ ao de mat eria e radia c~ ao. A imensa evid^ encia de que a simetria espa co-temporal e a relativ stica, isto e, a da algebra de Poincar e usual, mostra que nas presentes condi c~ oes nenhum fen^ omeno observado apresenta sinais da deforma c~ ao capa. Isso signica que, se tal deforma c~ ao for real o valor atual de e imensamente grande. A precis~ ao de qualquer experimento conrmando a invari^ ancia 92

relativ stica estabelece uma cota inferior para o par^ ametro . Quanto mais preciso o experimento maior a cota. Se e assim grande, vale a simetria relativ stica com grande precis~ ao, as corre c~ oes a energia de Casimir devido a deforma c~ ao capa s~ ao impercept veis e o mecanismo de cria c~ ao n~ ao e observado, pois, um valor razo avel de a para que ele acontecesse exigiria a implementa c~ ao de condi c~ oes de contorno em regi~ oes de dimens~ ao a imensamente pequena, evidente, como discutido anteriorpara compensar o valor imensamente grande de . E mente, que a deforma c~ ao capa e considerada como conceito de poss vel relev^ ancia somente no contexto de dimens~ oes espaciais muito pequenas, por exemplo, na escala do comprimento de Planck. Contudo, e poss vel montar um cen ario no qual a deforma c~ ao capa desempenharia um papel not avel. Suponhamos que o universo primitivo fosse completamente vazio por em de dimens~ oes diminutas. Ter amos ent~ ao o v acuo connado nessa pequena dimens~ ao. Supondo, al em disso, que nessa era a simetria espa co-temporal fosse dada pela deforma c~ ao capa da algebra de Poincar e, com um par^ ametro capa que n~ ao fosse muito maior do que o inverso das dimens~ oes lineares do universo, ter amos a cria c~ ao de mat eria e radia c~ ao como conseq u^ encia da deforma c~ ao capa e do connamento do v acuo. Com o aumento da dimens~ ao a do universo tal mecanismo tenderia a se extinguir, principalmente se acompanhado de um aumento do par^ ametro de deforma c~ ao , a medida que o tempo passasse. Como comentado acima, o valor atual de deve ser muito grande, dada a precis~ ao com que se verica a Relatividade Restrita. Embora o cen ario descrito n~ ao esteja ainda enquadrado em nehum modelo cosmol ogico desenvolvido para que possa ser submetido a verica c~ ao experimental, ele serve para mostrar que e poss vel considerar deforma c~ oes a algebra de Poincar e com conseq u^ encias interessantes para a cosmologia. No cen ario descrito para a cria c~ ao de mat eria no universo primitivo, torna-se delicada a quest~ ao da conserva c~ ao da energia. De fato, temos que o mecanismo de gera c~ ao de mat eria e radia c~ ao viola a conserva c~ ao da energia. Nesse contexto o primeiro ponto a observar e que essa lei de conserva c~ ao n~ ao pode ser exigida acima de quaisquer considera c~ oes no in cio do universo. O segundo e que um per odo de crescimento da energia do universo, causada pela gera c~ ao de mat eria e radia c~ ao, simult^ aneo a uma diminui c~ ao da deforma c~ ao capa, enquadra-se perfeitamente na id eia geral dos princ pios de conserva c~ ao. O pr oprio princ pio 93

de conserva c~ ao da energia foi sendo ampliado em seu signicado a medida que se descobria a n~ ao conserva c~ ao de formas de energias at e ent~ ao consideradas. N~ ao seria estranho a f sica um princ pio de conserva c~ ao mais geral que considerasse o balan co entre energia e deforma c~ ao. O nosso estudo da deforma c~ ao capa em teorias de campo tem como uma de suas nalidades investigar as id eias do trabalho [31] que acabamos de expor. Nesse sentido, zemos o trabalho preliminar de vericar as conseq u^ encias de substituir nos c alculos do trabalho citado [31] o campo escalar por um campo de Dirac. De acordo com Schwinger [40], no caso de um campo de Dirac a representa c~ ao de tempo pr oprio da a c~ ao efetiva e dada por i Z 1 ds W= T reisH ; 2 s0 s onde o hamiltoniano de tempo pr oprio do campo de Dirac e dado por: H= P P

(3.1.22)

0 2

+m

1 l4 ;

(3.1.23)

onde m e a massa do campo e 1 l4 e a matriz identidade que leva em conta os graus de liberdade de carga e spin. Esse hamiltoniano de tempo pr oprio e obtido no formalismo de Schwinger, Klein-Gordon do campo de Dirac: H = ( P + m1 l4 )( P m1 l4 ) = [P2 (P 0 )2 + m2 ], onde usamos as rela c~ oes de anticomuta c~ ao + = g das matrizes de Dirac. a partir do operador de Dirac P m1 l4 , pela opera c~ ao usual que leva ao operador de

No caso do campo de Dirac com deforma c~ ao capa, a equa c~ ao de movimento (2.3.79) proposta por Lukierski, Nowicki e Ruegg [26] nos leva ao seguinte operador de Dirac com deforma c~ ao capa: i Pi + 0 2 senh (P0 =2) m1 l4 , onde i (i = 1; 2; 3) e 0 s~ ao as matrizes de Dirac usuais. O operador de Klein-Gordon para o campo de Dirac com deforma c~ ao capa e ent~ ao dado por: H = ( i Pi + 0 2 senh (P0 =2) + m1 l4 )( i Pi + 0 2 senh (P0 =2) m1 l4 ) ; isto e, por: H = P (2) senh
"
2 2 2

(3.1.24)

P0 2

+m

1 l4 :

(3.1.25)

O connamento do campo de Dirac n~ ao pode ser descrito pela condi c~ ao de Dirichlet e a condi c~ ao MIT [67] leva a um formalismo complicado [68], que obscurece o foco de nosso 94

interesse, que e a deforma c~ ao capa do campo. Uma condi ca ~o de contorno simples e natural para o campo de Dirac e a antiperi odica em uma dire c~ ao xa. Ela descreve ent~ ao o campo connado em uma dimens~ ao compacticada. Consideremos a condi c~ ao antiperi odica ao longo do eixo OZ , com per odo espacial a. Os planos perpendiculares a essa dire c~ ao ser~ ao simulados, como de costume, por quadrados de lado ` (` >> a). Nesse caso os autovalores de Pz s~ ao dados por pz = n=a, onde n varre o conjunto dos mpares positivos, enquanto os autovalores de P o , Px e Py varrem o conjunto dos reais. A partir desse ponto os c alculos s~ ao muito similares aos do caso do campo escalar, que explicamos logo acima. Chegamos a uma a c~ ao efetiva que tamb em apresenta, al em da parte real, uma parte imagin aria diferente de zero. Elas s~ ao dadas por:
Z 1 1 a`2 T X 2 2(a)2 n1 n2 =4(22 +m2 )a2 = 2 <W = ( 1) de I 2( a ) = ; (3.1.26) 0 8a4 n=1 0 s

Z 1 1 a`2 t X 2 2(a)2 2 2 2 2 n1 =W = 2 4 (1) den =4(2 +m )a = K0 2(a)2 = : (3.1.27) 8 a n=1 0

Para chegarmos a esses resultados foram descartados termos esp urios dados por densidades uniformes e constantes em todo o espa co, e innitas na aus^ encia da regulariza c~ ao. A parte real d a a energia de Casimir do campo de Dirac com deforma c~ ao capa sob condi c~ oes de contorno antiperi odicas:
Z 1 1 X 2 2(a)2 2(a)2 n1 n2 =4(22 +m2 )a2 = 2 1 ( 1) de I : (3.1.28) E1=2 (a) = ` 0 8a3 n=1 0 s !

No limite ! 1 ela se reduz, como desejado, a energia de Casimir do campo fermi^ onico usual, sem deforma c~ ao, previamente obtido por Ford [37]. A parte imagin aria (3.1.27) da a c~ ao efetiva e positiva, pelo crit erio de Leibnitz de converg^ encia de s eries alternadas, e d a origem a uma taxa de cria c~ ao de mat eria fermi^ onica. Esse resultado conrma o que era aparente nos c alculos no caso do campo escalar connado com deforma c~ ao capa, que o mecanismo de cria c~ ao de excita c~ oes do campo ocorreria para interessante notar que o uso de condi outros tipos de campo. E c~ oes de contorno peri odicas para o campo de Dirac deformado leva a uma parte imagin aria negativa para a a c~ ao efetiva. A incompatibilidade entre o campo de Dirac e a condi c~ ao de contorno peri odica j a havia sido observada por Ford, na ocorr^ encia de viola c~ ao de causalidade [37]. 95

3.2

Rela c~ ao entre a c~ ao efetiva e somas de modos

Vimos que a energia de Casimir pode ser calculada a partir da energia de ponto-zero e pelo m etodo de Schwinger, que usa a a c~ ao efetiva a um la co. Na verdade, a pr opria a c~ ao efetiva pode ser calculada pela soma de modos da energia de ponto-zero. De fato, foi esse o m etodo de c alculo usado por Weisskopf [39, 44] e e mesmo poss vel obter a express~ ao da soma de modos a partir da representa c~ ao de tempo-pr oprio de Schwinger para a a c~ ao efetiva [69]. No cap tulo 3, obtivemos a energia de ponto zero do campo escalar com deforma c~ ao capa e podemos agora nos perguntar que rela c~ ao ela tem com a a c~ ao efetiva do campo escalar com deforma c~ ao capa, que obtivemos na se c~ ao anterior. Se, como no caso n~ ao-deformado, elas forem iguais, ent~ ao ser a poss vel obter da energia de ponto zero deformada as partes real e imagin aria da a c~ ao efetiva, como ocorre no caso n~ ao-deformado em que h a um campo el etrico aplicado a um campo qu^ antico carregado. Como no caso em que estamos considerando o campo escalar n~ ao e carregado e n~ ao h a campos aplicados, podemos tamb em conjecturar que, no caso do campo escalar com deforma c~ ao capa, a energia de ponto zero e igual somente a parte real da a c~ ao efetiva. Surge ent~ ao a quest~ ao do que acontece com a parte imagin aria da a c~ ao efetiva ao tentarmos reduz -la a uma soma de modos. Na aus^ encia de uma teoria completa de campos com deforma c~ ao capa essa pergunta somente pode ser respondida pelo o que faremos a seguir. c alculo direto que reduz a a c~ ao efetiva a uma soma de modos. E Consideremos a a c~ ao efetiva a um la co na representa c~ ao de tempo-pr oprio de Schwinger, para o caso de campo escalar W= i 2
Z 1
0

ds s T r eis(H i) ; s

(3.2.29)

onde a regulariza c~ ao da integral em s = 0 e feita pela regulariza c~ ao dita anal tica, na qual a pot^ encia s e introduzida no integrando com par^ ametro complexo de parte real grande o bastante para efeito de regulariza c~ ao. No momento oportuno o par^ ametro poder a ser analiticamente estendido at e o valor zero. Tamb em explicitamos na representa c~ ao de tempopr oprio (3.2.29) o par^ ametro positivo usual, que regulariza a integral em s ! 1. Para o desenvolvimento que faremos e importante ter expl citos esses par^ ametros de regulariza c~ ao. Usaremos na a c~ ao efetiva (3.2.29) o hamiltoniano de tempo pr oprio H de um campo 96

escalar com deforma c~ ao capa: H = P (2) senh ou seja: W= i 2

Z 1
0 2 2 2

Po + m2 ; 2

(3.2.30)

ds s T r exp [is(P2 (2senh(Po =2))2 + m2 i)]; s

(3.2.31)

Desejamos ent~ ao obter essa express~ ao em termos de soma de modos. O fato do campo estar ou n~ ao submetido a condi c~ oes de contorno em nada afeta o desenvolvimento que segue. Para deixar isso claro consideramos uma das componentes de P discretizada, ao longo do eixo OZ . Desse modo teremos express~ oes do tipo das usadas no c alculo do efeito Casimir com placas paralelas. De qualquer modo a dedu c~ ao que fazemos pode ser repetida com todas as componentes de P cont nuas ou com tantas delas discretas quanto se queira. Temos ent~ ao que o tra co em (3.2.31) pode ser escrito como uma soma em um ndice discreto n, correspondente aos autovalores discretos de Pz e integrais varrendo autovalores do espectro cont nuo das demais componentes do quadrivetor P : i T `2 W= 2 (2 )3
Z 1
0 1 ds X s s n=1

d!

dk1

dk2
2 2 (2senh(!=2))2 +m2 i]

eis[k1 +k2 +(n=a)

: (3.2.32)

Derivando essa a c~ ao em rela c~ ao a m2 , obtemos:

Z Z Z 1 1 Z 1 @W 1 1 X 2 = d! dk1 dk2 dss 2 3 ` T @m 2 (2 ) n=1 0

eis[k1 +k2 +(n=a)

2 (2senh(!=2))2 +m2 i]

(3.2.33)

A integral no tempo-pr opio s e uma representa c~ ao integral da fun c~ ao Gama de Euler da forma (z ) = x
z

Z 1
0

ext tz1 dt

(<z > 0; <x > 0) ;

(3.2.34)

de maneira que (3.2.33) toma a forma: 1 @W i +1 = ( + 1)(2)2( +1) `2 T @m2 2 ( +1) 1 ZZ X dk1 dk2 Z d! ! 1 2 senh ( 1) ; (2 )2 2 2 2 n=1 97

(3.2.35)

onde denimos = 1 + (=)2 =2 e

2 2 2 = k1 + k2 + (n=a)2 + m2 i :

(3.2.36)

Devemos notar que j j > 1 e que tem uma pequena parte imagin aria negativa devido a presen ca de i em . Agora reescrevemos (3.2.35) na seguinte forma: 1 @W 1 +1 = i ( + 1)(22 )( +1) 2 2 ` T @m 2 ( +1) 1 Z Z X dk1 dk2 Z d! ! cosh ; (2 )2 2 n=1

(3.2.37)

conveniente para o passo crucial em nossa dedu c~ ao: vamos calcular a integral em ! e obter uma parte real e uma imagin aria. Em (3.2.37) devemos necessariamente ter > 0 para efeitos de regulariza c~ ao, como veremos explicitamente mais adiante. Com isso, a integral em ! tem a diferen ca cosh(!=) no denominador. Por ora e conveniente considerar como um inteiro positivo, desde que grande o bastante para realizar a regulariza c~ ao requerida. Para calcular a integral em ! usaremos a integral:
q d! 2i 1Z1 2 p p = + log ( + 2 1) 1 cosh(!=) 2 1 2 1

(3.2.38)

v alida para com m odulo maior do que 1 e parte imagin aria negativa, que s~ ao condi c~ oes satisfeitas por , tal qual denido em (3.2.36). Essa integral e resolvida facilmente pelo m etodo dos res duos, se come carmos pela troca da vari avel de integra c~ ao para x = e!= . Agora derivamos a integral (3.2.38) vezes em rela c~ ao a , para obter a integral em ! que aparece na a c~ ao efetiva (3.2.37).
Z 1 " #

d! [cosh(!=) ]( +1)

q @ 2i 2 p p = log ( + 2 1) : (3.2.39) ! @ 2 1 2 1

Notemos que feita a integra c~ ao em ! n~ ao h a mais necessidade de usar a regulariza c~ ao com o par^ ametro . Podemos pois considerar de agora em diante que foi tomado o limite ! 0+ . Nesse caso temos que est a no intervalo real (1; 1). Substituindo (3.2.39) na a c~ ao efetiva (3.2.37), obtemos:
1 Z Z X 1 1 @W i +1 dk1 dk2 1 2 ( +1) = ( + 1)(2 ) 2 AT 2 @ 2 (2 )2 2 ! n=1

98

onde usamos a igualdade @ W =@ = 22 @ W =@m2 , obtida facilmente a partir da rela c~ ao entre e m2 denida em (3.2.36). Agora integramos ambos os membros da equa c~ ao (3.2.40) em rela c~ ao a para obter a a c~ ao W (1) . Sabemos que a a c~ ao efetiva e nula no limite em que m2 ! 1, de modo que e conveniente fazer a integra c~ ao de 1 at e um valor arbitr ario de : 1 W i AT
1 Z Z X dk1 dk2 = 2 (2 ) n=1 (2)3

q 2i @ 2 p 2 p 2 log ( + 2 1) @ 1 1

"

(3.2.40)

q @ i 0 p p d + log ( + 02 1) : @ 0 02 1 02 1 1
0

"

(3.2.41)

Uma vez que os limites de integra c~ ao est~ ao bem entendidos, voltaremos a representar a vari avel de integra c~ ao por , sem que haja perigo de confus~ ao. A express~ ao (3.2.41) tem uma parte real: 1 W < 2 i `T e uma parte imagin aria
" # 1 ZZ q 1 W X dk1 dk2 Z @ i 2 = 2 = 2 d p 2 log ( + 1) : (3.2.43) i `T (2 ) n=1 (2 )3 1 @ 1
1 Z Z X dk1 dk2 Z @ p 2 = d 2 3 (2 ) n=1 (2 ) 1 @ 1

(3.2.42)

A nossa experi^ encia anterior com os campos usuais e os resultados da se c~ ao anterior, nos levam a crer que a parte real (3.2.42) dar a origem a energia de ponto zero. Sobre a parte imagin aria (3.2.43) nada podemos avan car, mas esperamos que ela nos ajude a entender os resultados da se c~ ao anterior. A demonstra c~ ao de que a parte real (3.2.42) e a energia de ponto zero se faz em dois passos. Em primeiro lugar devemos vericar que a express~ ao (3.2.42) est a bem denida, isto e, que as regulariza c~ oes usadas foram ecientes. Essa verica ca ~o ser a feita demostrando-se que existe um valor de para o qual a integral em (3.2.42) e nita. Notemos que, a rigor, esse primeiro passo e essencial para fazermos qualquer arma c~ ao sobre a quantidade (3.2.42), como, por exemplo que ela e uma express~ ao regularizada da energia de ponto zero. O segundo passo consiste exatamente em mostrar que no limite em que a regulariza c~ ao e abolida, (3.2.42) claro que existem regulariza transforma-se na energia de ponto zero. E c~ oes da energia de 99

ponto zero que a tornam irreconhec vel como tal, e esse e exatamente o caso da express~ ao (3.2.42). Por isso e necess ario eliminar a regulariza ca ~o e certicar-se que a express~ ao e de fato a energia de ponto zero. O primeiro passo e feito por t ecnicas de majora c~ ao de integrais e pode ser considerado como extremamente entediante. O segundo passo e o mais interessante para n os e e feito informalmente, j a que a regulariza c~ ao foi abolida. Nessa altura poder amos trocar a regulariza c~ ao no par^ ametro por outra mais simples para realizar o segundo passo mais formalmente, no entanto, e mais elucidativa a deriva c~ ao informal da energia de ponto zero sem usar regulariza c~ oes. Para isso, come camos por trocar para um valor arbitr ario 0 o limite inferior de integra c~ ao em , na express~ ao (3.2.42), o que corresponde a variar a express~ ao por uma constante irrelevante. Abolimos ent~ ao a regulariza c~ ao do par^ ametro e obtemos: <

W `2 T

n=1

1 ZZ X

Usando as deni c~ oes de e em (3.2.36), a identidade trigonom etrica 2senh2 (x=2) = coshx 1, e a rela c~ ao de dispers~ ao deformada (2.3.64), obtemos: senh isto e, arcosh = !(k1 ; k2 ; n)= : Substituindo esse resultado em (3.2.44), obtemos: W < 2 `T

2

1 ZZ X dk1 dk2 Z d dk1 dk2 p = arcosh( ) : (3.2.44) 3 0 (2 )3 0 2 1 (2 ) n=1

arcosh 1 = ( 1)= 2 2 2

!2

2 k 2 + k2 + (n=a)2 + m2 ! = 1 = senh2 2 (2) 2

; (3.2.45)

(3.2.46)

n=1

1 Z Z X

dk1 dk2 1 ! (k1 ; k2 ; n): ; (2 )2 2

(3.2.47)

onde ignoramos o termo correspondente ao limite inferior de integra c~ ao 0 . Em uma express~ ao regularizada da energia de ponto zero ele corresponderia a um limite inferior de massa m2 c~ ao nula para a energia. Na express~ ao n~ ao regularizada 0 ! 1, que daria contribui ele n~ ao d a uma contribui c~ ao nula e representa um termo esp urio a ser ignorado. O resultado (3.2.47) mostra que a parte real da a c~ ao efetiva do campo com deforma c~ ao capa e igual a energia de ponto zero desse campo. Esse resultado e id^ entico ao obtido no caso sem deforma c~ ao, onde a a c~ ao efetiva tem somente parte real enquanto que no caso 100

deformado a a c~ ao efetiva tem a parte imagin aria (3.2.43), cuja rela c~ ao com soma de modos necessita ser esclarecida. Como no caso da parte real vamos eliminar a regulariza c~ ao da parte imagin aria para descobrir informalmente essa sua rela c~ ao com soma de modos. Posteriormente demonstraremos que a parte imagin aria e bem denida matematicamente para dar sustenta c~ ao rigorosa a rela c~ ao encontrada. Eliminando a regulariza c~ ao da parte imagin aria (3.2.43), obtemos: p Z 1 Z Z X dk1 dk2 log( + 2 1) W p 2 = 2 = d : `T (2 )3 0 1 n=1 A integral em nesse caso e imediata: W = 2 `T

1 Z Z X

(3.2.48)

n=1

dk1 dk2 arcosh2 ( ) : (2 )3 2

(3.2.49)

Usando nessa express~ ao o resultado arcosh( ) = ! (k1 ; k2 ; n)=, obtido em (3.2.46), chegamos a: W = 2 `T

1 Z Z 1 1 X dk1 dk2 = ! (k1 ; k2 ; n)2 : 2 2 2 n=1 (2 )

(3.2.50)

Desse maneira, a parte imagin aria da a c~ ao efetiva do campo com deforma c~ ao capa e essencialmente a soma dos quadrados das freq u^ encias naturais do campo, freq u^ encias essas dadas, naturalmente, pela rela c~ ao de dispers~ ao deformada. Esse e um resultado inusitado pela sua simplicidade. Temos ent~ ao a seguinte express~ ao para a a c~ ao efetiva do campo com deforma c~ ao capa, em normaliza c~ ao de caixa e sem regulariza c~ ao: W 1X 1 1 X 2 = !~ !k ; k +i T 2 ~ 2 2 ~ ~
k k

(3.2.51)

ou, em termos do par^ ametro de deforma c~ ao q = 1=2: W 1X q X 2 = !~ + i !k : T 2 ~ k 2 ~ ~

k k

(3.2.52)

ou ainda, com a rela c~ ao de dispers~ ao deformada explicitada:

p p 1X1 W q X 1 = senh1 q k2 + m2 + i senh1 q k2 + m2 T 2 ~ q 2 ~ q
k k

"

#2

(3.2.53)

101

No limite q ! 0 em que a deforma c~ ao desaparece a parte imagin aria dessa a c~ ao efetiva vai a zero e a parte real tende para o limite esperado: W lim q !0 T
X
~ k

1p 2 k + m2 ; 2

(3.2.54)

Desse ponto at e o nal dessa se c~ ao vamos nos ocupar em demonstrar a validade desse resultado, obtido informalmente por meio de express~ oes n~ ao-regularizadas. Como explicamos mais acima, devemos mostrar que o par^ ametro regulador cumpre o seu papel, isto e, que existe algum valor de que torna a a c~ ao (3.2.41) bem denida. Vamos considerar separadamente a sua parte real (3.2.42) e a sua parte imagin aria (3.2.43). Consideremos primeiramente a integral em que aparece na parte real (3.2.42). Vamos agora considerar os seus limites de integra c~ ao como 1 e 2 com 1 < 1 < 2 < 1. Para aliviar a nota c~ ao eles ser~ ao mantidos impl citos no que segue, exceto quando for conveniente explicit a-los. Comecemos pela procura de uma fun c~ ao f ( ) que satisfa ca a seguinte desigualdade:
Z @ 1 d p 2 @ 1 Z @ d @ p 2 1 @ f ( ) d @

(3.2.55)

Vamos experimentar o ansatz f ( ) = ( 1 )1 . Ele satisfaz (3.2.55) se

@ @ @ p 2 1 @

Usando as expans~ oes:

1 : 1

(3.2.56)

1 X @ 1 (2j + )! (2j + +1) p = ( 1) j 2 2 @ 1 j =0 (2 j !)

( > 1)

(3.2.57)

e
1 X 1 (2j + )! (2j + +1) @ = ( 1) 1 @ (2j )! j =0

( > 1) ;

(3.2.58)

temos (3.2.56) garantida se

1 (2j + )! (2j + +1) X (2j + )! (2j + +1) ; j 2 (2j )! j =0 (2 j !) j =0 1 X

(3.2.59)

o que e verdade se 1 1 ; (2j j !)2 (2j )! 102 (3.2.60)

que, por sua vez, e equivalente a

2j 22j : j

(3.2.61)

Mas essa desigualdade e claramente verdadeira se levarmos em conta que na expans~ ao binomial 2 =
2j 2j X

n=0

2j X 2j 2j 2j = + ; n n j n=0;n6 =j

(3.2.62)

todos os termos s~ ao positivos. Fica assim demonstrado que a fun c~ ao f ( ) = ( 1 )1 satisfaz a desigualdade (3.2.55):
Z @ 1 d p 2 @ 1 Z @ d @ 1 : 1

(3.2.63)

As derivadas de ( 1 )1 podem ser calculadas facilmente ap os a separa c~ ao em fra c~ oes parciais, 1 1 1 = + ; 1 2 +1 2 1 e o c alculo da primeira derivada: @ 1 1 1 1 1 = : 1 2 @ 2 ( + 1) 2 ( 1)2 obtemos: @ 1 (1) ! 1 1 = + 1 +1 @ 2 ( + 1) ( 1) +1 Usando esse resultado em (3.2.63) obtemos
Z @ 1 ! Z 1 1 p d d + +1 2 @ 2 ( + 1) ( 1) +1 1 " # " #

(3.2.64)

(3.2.65)

(3.2.66)

(3.2.67)

Fazemos ent~ ao a restri c~ ao > 0, que n~ ao prejudicar a nossas necessidades de regulariza c~ ao, para obter dessa igualdade que:
Z 2 1 @ 1 ! d p 2 @ 2 1 " #1
2

1 1 + ( + 1) ( 1)

(3.2.68)

onde o lado direito da desigualdade e positivo, visto que 1 < 1 < 2 < 1. Estamos interessados no limite 2 ! 1, no qual obtemos:
Z 1 @ d 1 @ p 2 1

! 1 1 + 2 (1 + 1) (1 1)

"

(3.2.69)

103

Com esse resultado podemos majorar a integral na parte real (3.2.42) da a c~ ao :

1 < " # 1 Z Z W ! X dk1 dk2 1 1 + : i `2 T 2 (2 2 ) n=1 (2 )3 ( + 1) ( 1)

(3.2.70)

Pela deni c~ ao (3.2.36) de , temos que

"

1 n 2 2 = 1 + 2 k1 + k2 + m2 + 2 a onde usamos as deni c~ oes :

2 kk

2 #

2 kk = 2 + n ; 2

(3.2.71)

2 k1

2 k2

n 1 n = 1 + 2 m2 + 2 a

"

2 #

(3.2.72)

Notemos que n 1. Usando essas deni c~ oes, podemos escrever (3.2.70):

1 X 1 Z 2 1 W ( 1)! X < i `2 T 2(22 ) 0
n=1 s=1

dkk kk d Z 1 h i ; 3 2 (2 ) 0 (kk =22 ) + n + s

(3.2.73)

onde o somat orio em s responde pelos dois termos no integrando de (3.2.70). A integral em kk converge desde que > 1 e e dada por:
Z 1
0

dkk kk

2 (kk =22 ) + n + s

2 1 : 1 [n + s] 1

(3.2.74)

Usando-a em (3.2.73), obtemos:

1 1 W 3 ( 2)! X X < i `2 T 8 (22 )

1 ; 1 s=1;1 n=1 [n + s]

(3.2.75)

ou, mais explicitamente:

1 X 1 W 3 ( 2)! X < i `2 T 8(22 )

n=1 s=1;1

1+

1 22

1 +

n a

m2

+s

(3.2.76)

Podemos ent~ ao escrever essa express~ ao na forma:

1 < 1 W a 2 X X 1 ( 2)! ; 2 2 2 1 i AT 16a s=1;1 n=1 (n + s ) s p 2a m2 s = 1+s+ 2 : 2

(3.2.77)

onde

(3.2.78)

104

Em (3.2.77) identicamos uma fun c~ ao de Epstein, denida por: E1

(M 2 )

(z; b) =

1 2 2 z n=1 (b n + M )
q

1 X

(< z >
q

1 ; b > 0 ; M 2 > 0) : 2

(3.2.79)

A fun c~ ao de Epstein tem extens~ ao anal tica na vari avel z , dada por [70]:
(M 2 ) E1 (z; b)

1 = 2z + M

2M 2z1 (z )

=b(z 1=2)

1 2 =b X

(z )

n=1

n p M b

!z 1=2

p Kz1=2 2n z= b

(3.2.80)

No nosso caso, dado pela expres~ ao (3.2.76), temos que z = 1, b = 1 e M = s , com s dado por (3.2.78). A condi c~ ao de converg^ encia da s erie que dene a fun c~ ao de Epstein (3.2.79), requer que nosso par^ ametro de regulariza c~ ao satisfa ca a desigualdade > 3=2. Usando, sob essas condi c~ oes, a deni c~ ao da fun c~ ao de Epstein (3.2.79) em (3.2.76), obtemos nalmente:
1 W < ( i `2 T 2 X a

2)!

16a2

E1

(2 s)

s=1;1

( 1; 1)

( > 3=2) :

(3.2.81)

Uma vez que o lado direito dessa igualdade e nito e majora a parte real da a c~ ao efetiva (3.2.42), ca demonstrado que essa parte real regularizada pelo par^ ametro e bem denida para > 3=2. Passemos agora a verica c~ ao da regulariza c~ ao da parte imagin aria (3.2.43) da a c~ ao efetiva. Comecemos considerando a integral em que nela aparece: 1 W = 2 i `T Temos:
Z p p Z @ log ( + 2 1) @ log ( + 2 1) p 2 p 2 d d : @ @ 1 1

p 1 Z Z X dk1 dk2 Z @ log ( + 2 1) p 2 = d : (22 ) n=1 (2 )3 @ 1

(3.2.82)

(3.2.83)

Denamos as fun c~ oes

h( ) = log( +

2 1)

g ( ) =

@h( ) 1 =p 2 : @ 1

(3.2.84)

A derivada de ordem no integrando de (3.2.82) e ent~ ao dada por:

X @ @ l g ( ) @ l h( ) ( g ( ) h ( )) = = @ @ l @ l l=0 l

X @ g ( ) @ l g ( ) @ l h( ) = h ( ) + : @ l @ l @ l l=1

(3.2.85)

105

Mas @ l h( ) @ l1 @h( ) @ l1 g ( ) = = ; @ l @ l1 @ @ l1 logo:

X @ g ( ) @ l g ( ) @ l1 g ( ) @ (g ( )h( )) = h( ) + : @ @ @ l @ l1 l=1 l

(3.2.86)

(3.2.87)

Portanto:

@ ( g ( ) h ( )) @

Agora vamos encontrar fun c~ oes que majorem g ( ) e h( ). A fun c~ ao g ( ) e suas derivadas de ordem s~ ao majoradas pela fun c~ ao f ( ) = ( 1 )1 e suas respectivas derivadas, conforme j a vimos em (3.2.56). Quanto a h( ), veriquemos se existe ( ) tal que: 0h( ) = log( + isto e, tal que
q

! @ g ( ) X @ l g ( ) @ l1 g ( ) h( ) + l l 1 @ @ @ l=1 l ! l @ g ( ) X l1 g ( ) @ @ g ( ) h ( ) + ; @ l @ l @ l1
l=1

(3.2.88)

2 1) log[ ( )] ;

(3.2.89)

p Vemos que e suciente escolher ( ) como sendo o valor m aximo de 1 + 2 1= ( 1), que e 2. Assim, temos as desigualdades : 0 h( ) = log( + ou seja, h( ) = log( +
q

p 2 1 ( ) 1 + :

(3.2.90)

2 1) log(2 ) < log(e2 ) = 2 ;

q

(3.2.91)

2 1) < 2 :

(3.2.92)

Usando essa desigualdade, a desigualdade (3.2.56) e as deni c~ oes (3.2.84), obtemos de (3.2.88) que:
@ @ q

log( + 2 1) p 2 1

@ 1 2 @ 1 ! l @ l1 X 1 @ + l 1 l @ @ l1
l=1

106

1 : 1

(3.2.93)

Usando agora a igualdade (3.2.66), obtemos:

@ @

X l=1

(l 1)! 1 1 ( l)! 1 1 + + = l l l +1 l 2 ( + 1) ( 1) 2 ( + 1) ( 1) l+1

" !l !l 3 5 #

"

log( + 2 1) 1 1 ! 2 p 2 + + +1 2 ( + 1) ( 1) +1 1
# " #

"

1 1 1 ! 4 + + + +1 +1 ( 1) ( + 1) +1 l=1 4l ( + 1) < 2 isto e

@ @

1 1 ! = 2 + + +1 2 ( + 1) ( 1) +1 +1 1 1 + ( 1) +1 1 +1 < (3.2.94)

X ! ! !( + 2 ) + = ; +1 +1 ( 1) ( 1) +1 l=1 ( 1)

Usando essa desigualdade em (3.2.83) e supondo > 1, obtemos:

Z p Z ( + 2 ) @ log ( + 2 1) p 2 ! d d @ ( 1) +1 1

log( + 2 1) !( + 2 ) p 2 : ( 1) +1 1

(3.2.95)

(3.2.96)

Substituindo esse resultado em (3.2.82), obtemos

1 W = i `2 T

Z @ d 0 0 1 @

" # p log ( 0 + 0 2 1) 2 +2 p 02 ! + ( 1)( 1) 1 ( 1) 1

(3.2.97)

<

Usando nessa express~ ao a deni c~ ao (3.2.36), vemos que as integrais em k1 e k2 s~ ao elementares. Resolvendo-as, chegamos nalmente a:
1 W = i `2 T 1 ! X (22 ) (

1 Z Z ! X (22 )
n=1

dk1 dk2 2 +2 + 3 1 (2 ) ( 1)( 1) ( 1)

"

(3.2.98)

<

1 2 n=1 (2 ) +

( 1)( 2)

+2
1 22

( 1)

m2

Essas s eries s~ ao convergentes para > 5=2 e denem fun c~ oes de Epstein. Fica assim demonstrada a nitude tamb em da parte imagin aria. Para demonstrar a nitude da parte real da 107

) : 2 1 n
a

2
1 22

m2 +

n a

2 2

(3.2.99)

a c~ ao foi necess ario supor que > 3=2. Conseq uentemente a a c~ ao toda e nita para > 5=2. Lembrando que nos c alculos anteriores supusemos que e inteiro, tomamos, por exemplo, = 3. Naturalmente, dessa a c~ ao regularizada s~ ao subtra dos os termos esp urios, ap os o que continua-se analiticamente o resultado para sair de = 3 e chegar em = 0, como e usual no m etodo de regulariza c~ ao anal tica que estamos usando.

3.3

Efeito Casimir do campo eletromagn etico com deforma c~ ao capa

Na se c~ ao anterior obtivemos que a a c~ ao efetiva de um campo escalar com deforma c~ ao capa tem uma parte real e uma imagin aria. A parte real e igual a energia de ponto zero do campo, dada pela soma das semi-freq u^ encias sobre todos os modos do campo. No limite em que a deforma c~ ao desaparece essa soma reduz-se a energia de ponto-zero usual, do campo n~ ao deformado. A parte imagin aria da a c~ ao efetiva, por sua vez, e proporcional a soma dos quadrados das freq u^ encias sobre todos os modos do campo. Desse modo, tamb em no caso deformado, podemos calcular a a c~ ao efetiva por soma de modos. Esse resultado, obtido para o campo escalar, e facilmente estendido ao caso do campo eletromagn etico, que pode ser tratado como um par de campos escalares que descrevem as suas duas polariza c~ oes independentes. Consideraremos o campo eletromagn etico com deforma c~ ao capa [27] connado entre placas perfeitamente condutoras e calcularemos a a c~ ao efetiva por soma de modos. Nessa se c~ ao calcularemos a parte real para chegarmos a energia de Casimir e na se c~ ao seguinte, a parte imagin aria, para obtermos a taxa de cria c~ ao de f otons com deforma c~ ao capa. Para o campo eletromagn etico com deforma c~ ao capa a energia de ponto-zero e dada por: W < T

1X !k ; 2 k;

(3.3.100)

onde e a polariza c~ ao do campo e !k , a freq u^ encia deformada !k = q 1 arcsenh(q jkj). Consideremos esse campo eletromagn etico connado entre duas placas quadradas de lado `, perfeitamente condutoras, paralelas e separadas por uma dist^ ancia a, com (a << `). 108

Como vimos no cap tulo 3, a deforma c~ ao n~ ao afeta as derivadas espaciais das equa c~ oes de Maxwell, de modo que as condi c~ oes de contorno implementadas pelas placas paralelas d~ ao origem ao mesmo espectro de n umeros de onda obtido no caso n~ ao-deformado. Temos ent~ ao jkj =
q
2 2 , onde k kk + kn odulo da componente de k paralela as placas, kn = n=a k e o m

(n = 0; 1; 2:::) e a componente perpendicular as placas e para todos os modos, exceto o de n = 0, h a uma degeneresc^ encia, que e dupla devida as polariza c~ oes do campo. Portanto, as freq u^ encias do campo connado entre as placas s~ ao
q 1 2 2 !k = arcsenh q kk + kn : q

(3.3.101)

Com essas freq u^ encias a parte real (3.3.100) da a c~ ao efetiva toma a forma: <

W T

= =

1 `2 X Z Z dk1 dk2 !k 2 (2 )2 n;

1 q X 1 `2 Z 1 2 2 2 dk k 2 arcsenh q k + k ; k k n k 2q (2 )2 0 n=(0)

(3.3.102)

onde (0) no s mbolo de soma signica que o fator 2 no somando deve ser ignorado para n = 0. Na verdade, o termo com n = 0 e obviamente independente de a e divergente. Como j a explicado anteriormente, ele e esp urio e, para simplicar, vamos descart a-lo agora. Tal como est a, a express~ ao (3.3.102) para a parte real da a c~ ao efetiva e mal denida e precisa ser regularizada. Vamos introduzir uma fun c~ ao exponencial de atenua c~ ao com um par^ ametro positivo e um corte k nos n umeros de onda paralelos as placas, de modo a termos a seguinte parte real da a c~ ao regularizada. W < T

1 Z k `2 X = dkk kk e 2q n=1 0

2 +k2 kk n

2 2 senh1 q kk + kn

(3.3.103)

O corte k parece aqui redundante, mas ser a necess ario para permitir quantidades complexas nessa express~ ao ao usarmos o teorema do argumento. Tomando a derivada em rela c~ ao a q da express~ ao acima multiplicada por q , isto e, de q <fW =T g, obtemos: W @ < q @q T

` 2 n=1 109

1 Z k X 0

dkk kk q

2 2e kk + kn

2 +k2 kk n

2 2) 1 + q2 (kk + kn

(3.3.104)

Vamos trabalhar nas somas em (3.3.104) e, ao nal, integrando o lado esquerdo em rela c~ ao a q de zero a um valor arbitr ario, recuperar a igualdade (3.3.103) para obter a resposta nal. Para somar a s erie que aparece em (3.3.104) vamos usar o princ pio do argumento, que estabelece a igualdade:
X
n

(zn )

X
n

(pn ) =

d 1 Z (z ) log f (z )dz ; 2i C dz

(3.3.105)

onde e uma fun c~ ao anal tica na regi~ ao do plano complexo interior a curva C e sobre ela, exceto por um n umero nito de p olos na regi~ ao interior a C , f e uma fun c~ ao anal tica na regi~ ao interior e sobre C e as somas s~ ao tomadas sobres os zeros zn e os p olos pn de na regi~ ao interior a C . Para aplicar o princ pio a soma em (3.3.104) vamos usar as fun c~ oes:
q
2 kk

(z ) = q

z 2e

2 +z 2 kk

2 1 + q 2 (kk + z 2)

(3.3.106)

f (z ) = sen (a z ) :

(3.3.107)

A fun c~ ao e facilmente identicada na express~ ao (3.3.104) e os zeros de sen (az ), s~ ao dados por zn = n=a (n 2 6 Z). Escolheremos ent~ ao um contorno C no plano complexo de z , que tenha em sua regi~ ao interior apenas os zeros zn = kn = n=a (n = 1; 2; :::), que aparecem em (3.3.104).
00 2 + q 2 e pontos de ramica c~ ao nas mesmas posi c~ oes A fun c~ ao tem p olos em z = i kk

0 desses p olos e tamb em em z = ikk . Tomamos os cortes de ramica c~ ao de como sendo 00 0 0 00 os segmentos de z+ a z+ e de z a z .

A curva C est a esbo cada na gura (3.1) e consiste de duas partes. A primeira delas e um segmento reto paralelo ao eixo imagin ario, de + iR at e iR, que ca a uma dist^ ancia a direita do eixo imagin ario. A segunda parte da curva e um semic rculo no semiplano positivo que vai no sentido anti-hor ario, de iR at e + iR. Note que os p olos e cortes da fun c~ ao cam na regi~ ao exterior a curva C . Al em disso, supomos que e pequeno o bastante para que o p olo z1 = k1 = =a de f esteja dentro do contorno C , e que R e tal que o contorno n~ ao passe sobre nenhum p olo de f . Tomando o limite de 110

Figure 3.1: Contorno e ramica c~ oes relativas ao c alculo da parte real da a c~ ao

efetiva.

uma seq u^ encia de valores de R que v a a innito, e fazendo tender a zero, o princ pio do argumento transforma a s erie em (3.3.104) em uma integral de contorno, de tal modo que (3.3.104) toma a forma @ W < q @q T
q

` 2

Z k
0

dkk kk

1 2i

dz q

2 kk + z2e

2 +z 2 kk

1+

2 q 2 (kk

z 2)

d log(sen(az )) dz

(3.3.108)

A integral no semic rculo de C , com raio agora innito, e igual a zero devido ao exponencial
q

2 + z 2 g, que pode ser omitido de agora em diante. Para a integral amortecedor expf kk

na reta (+i1; i1), tocando pela direita o eixo imagin ario, obtemos que sobrevive somente a parte integrada nos peda cos de caminho em frente aos cortes da fun c~ ao , isto e, nos
2 2 + q 2 ; ikk ) e (ikk ; i kk + q2 ). Ficamos ent~ ao com o resultado: intervalos (i kk

@ W < q @q T

Z `2 Z k = 2 dkk kk 2 0 kk

2 +q 2 kk

dy q

d log(senh(ay )) (3.3.109) 2 dy 1 q 2 (y 2 kk )

2 y 2 kk

Nessas integrais h a termos proporcionais a separa c~ ao a entre as placas, pois: d log(senh(ay )) d log(1 e2ay ) =a+ dy dy 111 (3.3.110)

Esse termos d~ ao origem, junto aos fatores `2 em frente as integrais, a densidades uniformes e innitas que s~ ao destitu das de signicado f sico, como j a foi explicado anteriormente em mais de uma ocasi~ ao. Descartamos esses termos e eliminamos o corte k , j a agora desnecess ario. No resultado temos uma integral em kk , de 0 a 1, e uma integral em y . Trocamos a ordem dessas integra c~ oes para obter, ap os um c alculo longo, por em elementar: @ W < q @q T `2 + 2 2
Z 1
2

` = 2 2

Z 1=q
0

d log(1 e dy dy

2ay

Z y
0

dkk kk q
q

2 1 q 2 (y 2 kk )

2 y 2 kk

Agora voltamos a parte real da a c~ ao por meio da integral de 0 a q : W < q T

2 Z y 2 kk d log(1 e2ay ) y dy : p 2 2 dkk kk q 2 dy 1=q y q 1 q 2 (y 2 kk )

(3.3.111)

Finalmente, usando a expans~ ao log(1 e2ay ) = em q0 para dar a express~ ao a seguinte forma: W < q T

Z 1=y `2 Z 1 dq 0 2 2ay q dyy log(1 e ) 2 2 1=q 0 1 (q 0 y )2 P1

n=1

Z q `2 Z 1=q dq 0 2 2ay q = 2 dyy log(1 e ) 2 0 0 1 (q 0 y )2

(3.3.112)

e2nay =n podemos resolver a integral

1 1 1 `2 X 1 Z 1=q 1 `2 X 1Z1 2any 1 = dyye sen (qy ) + dyye2any 2 2 2 n=1 n 0 2 n=1 n 1=q

(3.3.113)

Desse modo, obtemos nalmente a a c~ ao efetiva reduzida a uma u nica quadratura: <W =
1 T a`2 X 1 Z 1=q 1 e2any q dy y + (2a)2 n=1 n2 0 2an 1 (qy )2

(3.3.114)

A energia de Casimir do campo eletromagn etico com deforma c~ ao capa, entre as placas condutora e, portanto, dada por:
1 `2 X 1 Z a=q 1 e2ny q dy y + Eq (a) = 2 3 4 a n=1 n2 0 2n 1 (qy=a)2

(3.3.115)

No limite em que a deforma c~ ao desaparece temos:

1 1 `2 X 1 Z1 1 2 `2 90 X 1 2ny lim Eq (a) = 2 3 dy y + e = : 2 3 4 q !0 4 a n=1 n 0 2n 720a n=1 n4

(3.3.116)

112

que reduz-se a energia de Casimir usual ao substituirmos a soma acima pelo seu valor dado pela zeta de Riemann (4) = 4 =90. O nosso resultado (3.3.114) e perfeitamente consistente com o obtido para o campo escalar com deforma c~ ao capa [31], como mostraremos a seguir. Consideremos a parte real (3.1.18) da a c~ ao efetiva do campo escalar com deforma c~ ao capa
1 Z 1 2(a)2 T a`2 X 2 2(a)2 n2 x(22 +m2 )a2 =x <W = dxxe I ; 0 16 2 a4 n=1 0 x x

(3.3.117)

para comparar com o caso eletromagn etico com deforma c~ ao capa, que acabamos de obter, devemos tomar a massa do campo escalar como nula, o que reduz a express~ ao anterior a W < T

`2 16 3=2 a2 q

n=1 0

1 Z 1 X

p 2 2 2 dx xen xa =2q x I0 (a2 =2q 2 x);

(3.3.118)

Agora usaremos tr^ es f ormulas envolvendo fun c~ oes de Bessel [45]. A primeira e a representa c~ ao integral da fun c~ ao I0 , 1 I0 (=x) == de integra c~ ao u = 1=x: <
Z 1

que substitu da em (3.3.118), nos fornece a seguinte express~ ao ap os a mudan ca para a vari avel

et=x ; dt p 1 1 t2

(3.3.119)

W T

`2 16 5=2 a2 q

n=1 1

1 Z 1 X

dt p 1 t2
!3=2

Z 1
0

du n2 =ua2 (1+t)u=2q2 e : u5=2

(3.3.120)

A segunda e a que d a a integral em u em termos de uma fun c~ ao de Bessel K3=2 :

Z 1
0

du n2 =ua2 (1+t)u=2q2 a e =2 5 = 2 u nq

1+t 2

3=4

K3=2 an 2(1 + t)=q

(3.3.121)

e a terceira e a que permite escrever essa fun c~ ao como: K3=2 (an 2(1 + t)=q ) =
q 0 @1 + q

an 2(1 + t)=q

1v u Au t

2an 2(1 + t)=q

an

2(1+t)=q

: (3.3.122)

Usando essas f ormulas em (3.3.120), vem:

1 p X T `2 1 Z 1 dt 4 q 5 ean 2(1+t)=q : q p <W = 9=2 2 2 1 + 2 aq n=1 n2 1 1 t an 2(1 + t)

(3.3.123)

113

Finalmente, fazemos a mudan ca de vari avel de integra c~ ao de t para y , de acordo com t = 2(qy )2 1, para obtermos: <W =
Z 1 1 T a`2 X 1 1=q 1 e2any q dy y + ; 2 (2a)2 n=1 n2 0 2an 1 (qy )2

(3.3.124)

que e exatamente a metade da parte real (3.3.114) da a c~ ao efetiva do campo eletromagn etico com deforma c~ ao capa. Levando-se em conta as duas polariza c~ oes do caso eletromagn etico, conclu mos que o resultado (3.3.114) que obtivemos para o caso eletromagn etico e o resultado anteriormente obtido para o caso do campo escalar [31] s~ ao perfeitamente consistentes entre si.
2 correspondente ao segmento (i(kk + q 2 )1=2 ; i1) teve o seu sinal trocado. Essa troca

Em nosso trabalho anterior [27], na integral ao longo do contorno C em (3.3.108), a parte

corresponde a uma mudan ca de folha de Riemann no percurso de i1 a i1, de modo que o contorno no princ pio do argumento n~ ao se fechou. O sinal errado n~ ao afeta o c alculo da parte real de W (1) , que chega ao mesmo resultado obtido nesta se c~ ao. O intrigante e que, al em de n~ ao afetar a obten c~ ao da parte real, ele resulta, sem nenhum esfor co extra, na f ormula exata da parte imagin aria de W (1) , obtida por dois outros m etodos independentes, o da refer^ encia [31] e o que apresentaremos na pr oxima se ca ~o. Temos assim que, na express~ ao da energia de ponto zero (3.3.100), est a de algum modo presente a parte imagin aria de W (1) , por uma raz~ ao que ainda n~ ao conseguimos elucidar. De qualquer maneira, sabemos calcular de modo rigoroso a parte imagin aria de W (1) a partir da soma dos quadrados das freq u^ encias do campo, como apresentamos a seguir, na pr oxima se c~ ao.

3.4

Taxa de cria c~ ao de f otons com deforma c~ ao capa

Na se c~ ao anterior calculamos por soma de modos a parte real da a c~ ao efetiva de um campo eletromagn etico com deforma c~ ao capa, connado entre placas perfeitamente condutoras. Nessa se c~ ao vamos ocupar-nos da parte imagin aria da a ca ~o efetiva do mesmo sistema f sico. O seu c alculo e mais complicado e longo do que o da parte imagin aria. Mas aproveitaremos o fato de que, em sua maior parte, ele e semelhante ao c alculo da parte real, para explic a-lo de forma mais resumida. A exposi c~ ao car a clara se nos lembrarmos das t ecnicas usadas na 114

se c~ ao anterior para calcular a parte real da a c~ ao efetiva. Obtivemos na se c~ ao 4.2 que a parte imagin aria da a c~ ao efetiva com deforma c~ ao capa pode ser escrita, como a parte real, em termos de uma soma sobre os modos do campo. Mas, enquanto na parte real somamos sobre esses modos as freq u^ encias naturais, na parte imagin aria somamos os quadrados das freq u^ encias naturais, tal qual aparece na equa c~ ao (3.2.53). No presente caso esse resultado e dado por: W = T

q X 2 ! ; 2 k; k

(3.4.125)

onde e a polariza c~ ao do campo e !k , a freq u^ encia deformada !k = q 1 arcsenh(q jkj). Como na se c~ ao anterior, consideramos esse campo eletromagn etico connado entre duas placas quadradas de lado `, perfeitamente condutoras, paralelas e separadas por uma dist^ ancia a, com a << `. As freq u^ encias de resson^ ancia nesse caso s~ ao dadas por
q 1 2 + k !k = arcsenh q k2 n k q

(3.4.126)

onde kk (kk 2 lR 2 ) e a componente de k paralela as placas, kn = n=a (n = 0; 1; 2:::) e a componente perpendicular as placas e para todos os modos, exceto o de n = 0, h a uma degeneresc^ encia, que e dupla devida as polariza c~ oes do campo. Com essas freq u^ encias a parte imagin aria (3.4.125) da a c~ ao efetiva ca dada por: =

W T

q `2 = 2 (2 )2

q `2 X Z Z 2 dk1 dk2 !k 2 (2 )2 n;
Z 1
0

2dkk kk

n=(0)

1 X

q 1 2 2 2 arcsenh q k + k n ; k q2

(3.4.127)

onde novamente usamos o s mbolo (0) para indicar que o fator 2 na soma deve ser ignorado para o termo com n = 0. Como na se c~ ao anterior, esse termo e esp urio e, como tal, vamos subtra -lo da express~ ao acima. Tamb em como na se c~ ao anterior, a express~ ao restante ser a regularizada com um corte k em kk e uma exponencial dependente de um par^ ametro positivo , de modo que ela ca na forma: W = T

q `2 X Z Z 2 = dk1 dk2 !k 2 2 (2 ) n; = q 115

2`2 Z k dkk kk S (q; kk ) ; (2 )2 0

(3.4.128)

onde S (q; kk ) :=
1 X

2 +k2 kk n

n=1

q2

2 2 : + kn arcsenh2 q kk

(3.4.129)

Come camos o nosso c alculo tomando a derivada em rela c~ ao a q de q 2 S (q; kk ), e obtemos:

k 2e 1 q + kn X @ 2 2 2 q S (q; kk ) = 2 arcsenh(q kk + kn ) q 2 2) @q 1 + q 2 (kk + kn n=1

2 kk

2 k2 +kn

(3.4.130)

Agora associamos a esse resultado uma nova grandeza auxiliar, dependente de um par^ ametro no intervalo real [0; 1] e dada por:
1 X

( ; q; kk ) = 2

n=1

2 2) q arcsenh(q kk + kn

2 2e kk + kn

2 +k 2 kk n

2 2) 1 + q 2 (kk + kn

(3.4.131)

Para = 0 e = 1, temos: (0; q; kk ) = 0 e (1; q; kk ) =

@ 2 q S (q; kk ) : @q

(3.4.132)

Tomando a derivada de (3.4.131) em rela c~ ao a , obtemos:

k 2 2 1 X (kk + kn )e @ q q ( ; q; kk ) = 2q 2 2 ) 1 + (q )2 (k 2 + k 2 ) @ 1 + q 2 (kk + kn n=1 n k

2 k2 +kn

(3.4.133)

Desse modo, podemos voltar a igualdade (3.4.130) simplesmente integrando os dois lados da igualdade (3.4.133) em rela c~ ao a , de = 0 at e = 1. Para somar a s erie que aparece em (3.4.133) vamos novamente usar o princ pio do argumento (3.3.105):
X
n

(zn )

X
n

(pn ) =

1 Z d (z ) log f (z )dz : 2i C dz
q

(3.4.134)

Agora a fun c~ ao e dada por

2 (kk

(z ) = q

+ z )e
q

2 +z 2 kk

2 2 1 + q 2 (kk + z 2 ) 1 + (q )2 (kk + z2)

(3.4.135)

e a fun c~ ao f e a mesma da se c~ ao anterior: f (z ) = sen(az ) : 116 (3.4.136)

0 00 2 2 A fun c~ ao tem p olos em z = i kk + q 2 e em z = i kk + (q )2 , onde n~ ao

devemos nos esquecer que 0 1. Tomamos os cortes de ramica c~ ao de como o anterior. Consiste do segmento de + iR at e iR e o semic rculo anti-hor ario de iR at e + iR.

0 00 0 00 segmento de z+ to z+ e o segmento de z a z . A curva fechada e a mesma da se c~ ao

Figure 3.2: Contorno e ramica c~ oes relativas ao c alculo da parte imagin aria da
a c~ ao efetiva.

No limite em que R ! 1 e ! 0, obtemos para a soma em (3.4.133): 1 @ ( ; q; kk ) = 2q @ 1 = 2i

I q
2 (kk

+ z )e
q

1+

2 q 2 (kk

+ z 2) 1 +

2 +z 2 kk

2 (q )2 (kk

d log (sen(az )) dz : dz + z 2)

(3.4.137)

nula a integral no semic E rculo de C , agora com raio innito, devido ao exponencial amorte2 cedor expf kk + z 2 g. Podemos agora tomar ! 0 e eliminar esse exponencial. Da

integral na reta (i1; i1), somente sobrevivem as partes integradas nos segmentos em frente aos cortes. Como conseq u^ encia, obtemos:
2 2 kk y2 1 @ 1 Z kk +(q )2 q q q 0 ( ; q; kk ) = 2 +q 2 2 2 2q @ i kk 1 + q 2 (kk y 2 ) 1 + (q)2 (kk y2)

117

d log (senh(ay )) dy: dy Integrando ambos os lados dessa igualdade em kk , temos:

Z k Z k2 +q2 k 1 @ Z k 1 dkk kk 0 ( ; q; kk ) = 2 dkk kk q 2 dy 2q @ 0 q 0 kk +(q )2 q
2 kk + (q )2 y 2 2 y 2 kk

(3.4.138)

Nessa express~ ao h a um termo esp urio, proporcional a a, que isolamos com o aux lio de d log(senh(ay )) d log(1 e2ay ) =a+ ; dy dy (3.4.140)

d log (senh(ay )) : 2 dy y 2 kk q2

(3.4.139)

e eliminamos do resultado. Agora podemos tomar o limite k ! 1, de modo a integrar sob todos os valores de kk . Trocando a ordem das integrais em kk e y , e realizando um c alculo longo, por em elementar, chegamos a: 1 @ 2q @
Z 1
0

dkk kk 0 ( ; q; kk ) =

(Z " # 1 1 d log (1 e2ay ) 2 = 2 dy (1 + ) + q (q )1 dy 4q2

Z (q )1
q 1

d log((1 e2ay )) (1 + 2 ) (yq )2 1 A @ dy arcsenh dy 2q 2 2 1

q 1 q 2 (yq )2 1 2 (yq )2 2q #)

"

0s

(3.4.141)

Essa express~ ao pode ser imensamente simplicada se nos aproveitarmos da derivada do logar tmo para realizar integra c~ oes por partes nas integrais em y . Termos provenientes das duas integrais se cancelam e obtemos: @ @
Z 1
0

2q dkk kk 0 ( ; q; kk ) =

Z (q )1
q 1

Agora integramos em , de = 0 at e = 1, e usamos (3.4.132) para retornarmos a grandeza S (q; kk ), denida em (3.4.129). A ordem dessa integra c~ ao em pode ser trocada com a ordem da integra c~ ao em y da express~ ao acima, para chegarmos ao resultado:
Z 1 Z 1 @ log(1 e2ay ) 2 q dkk kk S0 (q; kk ) = dy y 2 q : @q 0 1=q (yq )2 1

dy q

(yq )2 1 2 (yq )2

y 3 log(1 e2ay )
q

(3.4.142)

(3.4.143)

118

Essa equa c~ ao, por sua vez, pode ser integrada de q = 0 a um q arbitr ario, e essa integra c~ ao e a integra c~ ao em y podem ter suas ordens trocadas para obtermos: q
2

Z 1
0

dkk kk S0 (q; kk ) =

Z 1
1=q

dy y log(1 e

2ay

Z q

1=y

A integra c~ ao em q 0 e feita facilmente, de maneira que essa express~ ao assume a forma:

Z 1
0

dq 0 (yq0 )2 1

(3.4.144)

1 dkk kk S0 (q; kk ) = 2 q

Z 1
1=q

dy y log(1 e2ay ) arcosh(yq ) :

(3.4.145)

Usando esse resultado e a equa c~ ao (3.4.128), chegamos nalmente a parte imagin aria da a c~ ao efetiva do campo eletromagn etico com deforma c~ ao capa: W = T

2`2 Z 1 = q dkk kk S0 (q; kk ) (2 )2 0 2`2 Z 1 = dy y log(1 e2ay ) arcosh(yq ) ; (2 )2 q 1=q

(3.4.146)

isto e, T a`2 Z 1 dy y log(1 e2y ) arcosh(yq=a) ; =W = 2 2 a3 q a=q

P1

(3.4.147)

conveniente dispor desse resultado em uma outra forma, mais f E acil de ser comparada com resultados anteriores. Para isso, usamos a expans~ ao log(1 e2ay ) = para reescrever (3.4.145) como:
Z 1
0 1 1 X 1Z1 dy y e2nay arcosh(yq ) = dkk kk S0 (q; kk ) = 2 q n=1 n 1=q 1 1 X 1 @ Z1 = 2 dy e2nay arcosh(yq ) = 2 q n=1 2n @a 1=q n=1

e2nay =n

Z 1 1 1 1 X 1 @ 4 e2nay e2nay q 5= q = 2 arcosh( yq ) dy 2 2 q n=1 2n @a 2na 2 na 1 =q (yq ) 1 1=q

ou seja:
Z 1
0

1 1 X 1 @ Z 1 e2nay q q dy ; 2 2 q n=1 2n @a 1=q 2na (yq )2 1

(3.4.148)

1 1 X 1 Z1 1 e2nay q dkk kk S0 (q; kk ) = dy y + 2aq n=1 n2 1=q 2na (yq )2 1

(3.4.149)

119

Esse resultado, juntamente com (3.4.128), nos d a: W = T a`2 isto e:

1 1 X 1 Z1 1 e2nay q = dy y + ; (2a)2 n=1 n2 1=q 2na (yq )2 1

(3.4.150)

que e a parte imagin aria da a c~ ao efetiva do campo eletromagn etico com deforma c~ ao capa. A essa parte corresponde uma taxa de cria c~ ao de f otons com deforma c~ ao capa, por unidade de volume, dada por: W =T = a`2
( ) 1 1 X 1 Z1 1 e2ny q dy y + ; 42 a4 n=1 n2 a=q 2n (yq=a)2 1

Z 1 T a`2 X 1 1 1 e2ny q =W = 2 4 dy y + ; 4 a n=1 n2 a=q 2n (yq=a)2 1

(3.4.151)

(3.4.152)

Note que no limite em que desaparece a deforma c~ ao (q ! 0), essa taxa vai a zero e, portanto, cessa completamente a cria c~ ao de f otons. A taxa igualmente vai a zero na aus^ encia de condi c~ ao de contorno (a ! 1). A parte imagin aria (3.4.151) que obtivemos e consistente com o resultado anterior para o campo escalar com deforma c~ ao capa [31]. Podemos ver isso partindo da express~ ao da parte imagin aria da a c~ ao efetiva do campo escalar com deforma c~ ao capa (3.4.153):
1 Z 1 2 2(a)2 a`2 T X n2 (22 +m2 )a2 = 2 =W = d e K 2( a ) = : 0 16 2 a4 n=1 0

(3.4.153)

Fazemos nessa f ormula m = 0 e trocamos o par^ ametro de deforma c~ ao para q = 1=2 para obter:
1 Z 1 X p n2 a2 =2q2 T `2 =W = d e K0 (a2 =2q 2 ) : 5 = 2 2 16 qa n=1 0 2 2

(3.4.154)

Usando

ea t=2q K0 (a =2q ) = dt p 2 : 1 t 1 em (3.4.154) e trocando a vari avel de integra c~ ao de para u = 1= , vem que: =W =
1 Z 1 X `2 T dt Z 1 du n2 =ua2 (1+t)u=2q2 p e : 16 5=2 a2 q n=1 1 t2 1 0 u5=2

Z 1

(3.4.155)

(3.4.156)

Usando as f ormulas (3.3.121) e (3.3.122) nessa express~ ao, ela pode ser posta na forma:
1 p X `2 T 1 Z 1 dt 4 q 5 ean 2(1+t)=q : q p =W = 9=2 2 2 1 + 2 aq n=1 n2 1 t1 an 2(1 + t)

(3.4.157)

120

O passo nal consiste em trocar a vari avel de integra c~ ao de t para y por meio de t = 2(qy )2 1. obtemos:
Z 1 1 a`2 T X 1 1 1 e2any q =W = dy y + : 2 (2a)2 n=1 n2 1=q 2an (qy )2 1 1 1 Z1 1 e2any 1 T a`2 X q =W = dy y + : 2 (2a)2 n=1 n2 1=q 2an (qy )2 1

(3.4.158)

ou

(3.4.159)

Essa parte imagin aria da a c~ ao efetiva do campo escalar com deforma c~ ao capa e exatamente a metade da parte imagin aria da correspondente ao campo eletromagn etico com deforma c~ ao capa. Levando em conta os dois graus de liberdade de polariza c~ ao do campo eletromagn etico, ca clara a consist^ encia entre os dois resultados, o do campo eletromagn etico que obtivemos e o do campo escalar obtido por outros m etodos, anteriormente.

121

Conclus~ ao
Estudamos nesta tese efeitos de v acuo em teorias qu^ anticas de campo deformadas. Este estudo foi motivado pelo fato de que deforma c~ ao de uma teoria e um conceito u til, e pelo fato de que em teoria qu^ antica de campos os efeitos de v acuo s~ ao um t opico privilegiado. Deforma c~ oes de teorias tem-se mostrado u teis porque podem estender sua validade ou permitir sua melhor compreens~ ao e os efeitos de v acuo s~ ao um t opico privilegiado porque est~ ao no cerne das teorias qu^ anticas de campos e porque alguns, como os que consideramos nesta tese, podem ser obtidos no in cio do formalismo das teorias. Primeiro estudamos o limite n~ ao-relativ stico do efeito Casimir. As f ormulas da relatividade restrita reduzem-se as da mec^ anica n~ ao-relativ stica no limite em que c ! 1 e podemos obter grandezas relativ sticas de modo aproximado, a partir das n~ ao-relativ sticas, perturbativamente, em ordens crescentes de v=c, onde v e a velocidade t pica das part culas envolvidas. A implementa c~ ao dessas id eias em teoria qu^ antica de campos parece problem atica e usamos o efeito Casimir do campo escalar com massa para ajudar na compreens~ ao desse problema. Obtivemos que nenhuma contribui c~ ao a energia de Casimir, que e essencialmente relativ stica, pode ser obtida perturbativamente a partir da energia de Casimir nula do caso n~ ao-relativ stico. N~ ao s o a energia de Casimir tem uma singularidade essencial em 1=c, que impede expans~ oes em s eries de pot^ encias, como todas as contribui c~ oes a energia de v acuo, com s eries de pot^ encias truncadas da rela c~ ao de dispers~ ao relativ stica, s~ ao contribui c~ oes identicamente nulas. Desse modo, o c alculo de um efeito de v acuo da teoria qu^ antica de campos relativ stica, ajuda a compreender a id eia de que ela n~ ao deve ser considerada como uma deforma c~ ao de alguma teoria n~ ao-relativ stica, pelo menos no sentido que desejamos atribuir ao conceito de deforma c~ ao. Ao analisar os resultados de nosso estudo, conjecturamos

122

que a exist^ encia das antipart culas na teoria relativ stica, que e o que d a origem ao efeito Casimir, faz-se presente no c alculo dessa energia pela exist^ encia de dois ramos na rela c~ ao de dispers~ ao relativ stica, considerada em sua extens~ ao anal tica completa no plano complexo. De fato, a energia de ponto zero, como soma sobre modos das semi-freq u^ encias, d a origem a energia de Casimir a partir de um u nico dado, a rela c~ ao de dispers~ ao da teoria, que por sua vez guarda mem oria de descrever uma teoria com part culas e antipart culas somente no fato de que possui dois ramos. Essa explica c~ ao s o pode merecer conan ca ap os c alculos conrmat orios completos, pois s~ ao conhecidas as surpresas que ocorrem nos resultados de c alculos de energias de Casimir. Podemos pois dar continuidade a esse tema calculando energias de Casimir por soma de modos com rela c~ oes de dispers~ ao com os mais variados tipos de ramica c~ oes. Na verdade, uma conrma c~ ao da conjectura j a foi obtida ao calcularmos a energia de Casimir no caso deformado, em que h a energia de Casimir e a rela c~ ao de dispers~ ao envolve a fun c~ ao raiz quadrada. Notemos que no caso eletromagn etico as part culas e antipart culas, ainda que id^ enticas, se fazem presentes nas duas solu c~ oes com freq u^ encias p ! (k) = jkj = k2 . O segundo problema estudado foi a deforma c~ ao teta da condi c~ ao de contorno peri odica sobre um campo escalar carregado submetido a um campo magn etico aplicado, para o qual obtivemos o efeito Casimir e a lagrangiana de Weisskopf-Schwinger, em temperatura nita e a temperatura zero. Nossos resultados apresentam a energia de Casimir com as contribui c~ oes da temperatura e do campo magn etico aplicado. Essas contribui c~ oes cont^ em termos com a inu^ encia apenas da temperatura e apenas do campo aplicado, bem como termos que cont^ em a inu^ encia dos dois fatores. Tamb em obtemos as contribui c~ oes a lagrangiana de WeisskopfSchwinger provenientes das condi c~ oes de contorno e da temperatura. Tamb em nesse caso h a termos com a inu^ encia de apenas um desses fatores e termos de interfer^ encia, em que esses fatores apresentam uma inu^ encia conjunta. Em particular obtivemos a constante de permeabilidade do v acuo do campo escalar sob condi c~ oes de contorno a temperatura nita:
X 1 1 X 1 e2 =1+ cos(n1 )K0 (amn1 ) + K0 (mn2 ) 12 2 n1 =1 n2 =1

+2

n1 =1 n2 =1

1 X 1 X

cos(n1 )K0 m (n1 123

a)2

+ (n2

)2

Essa constante e particularmente importante por estar totalmente ausente na lagrangiana de Weisskopf-Schwinger. Todos os resultados dependentes do par^ ametro de deforma c~ ao reduzem-se aos resultados da teoria n~ ao-deformada, do campo sob condi c~ ao de contorno peri odica, no limite em que ! 0, quando a deforma c~ ao desaparece. Al em disso, tais resultados podem ser expandidos em s eries de pot^ encias em , de modo que os resultados deformados podem se obtidos perturbativamente a partir do n~ ao-deformado. Desse modo, o conceito de deforma c~ ao aplica-se bem a esse problema, em contraste com o problema anterior. O par^ ametro , ao variar de 0 a , interpola continuamente o caso em que o campo est a submetido a condi c~ oes peri odicas e antiperi odicas e os resultados que obtivemos mostram a exist^ encia, para cada grandeza obtida, de um valor cr tico cr , no qual a grandeza muda seu car ater, de deforma c~ ao do caso peri odico para deforma c~ ao do caso antiperi odico. Consideremos por simplicidade o caso da constante de permeabilidade acima do zero absoluto. Nesse caso, apenas o primeiro somat orio sobrevive e ca f acil de perceber que o inverso da permeabilidade passa de valores positivos para negativos, quando varia de 0 a . Temos, pois, que o v acuo tem transformado seu car ater diamagn etico em paramagn etico quando passa por um valor cr tico cr , que pode ser calculado numericamente, mas para o qual n~ ao obtivemos uma express~ ao expl cita como no caso que tratamos a seguir. De fato, a mudan ca e particularmente clara no caso mais simples do efeito Casimir, no limite de massa nula, a temperatura zero e na aus^ encia de campo magn etico aplicado. Nessse caso obtivemos para a energia e press~ ao de Casimir as express~ oes: E (a; ) = 2`2 2 B4 () a3 e p(a; ) = 6 2 B4 ( ) ; a4

onde B4 () e o polin^ omio de Bernoulli de quarto grau. Das quatro ra zes reais desse polin^ omio podemos considerar apenas uma para exibir a mudan ca de car ater a que nos referimos. Em cr = 1
s

4 1 p 0; 48067 ; 30

a energia e press~ ao de Casimir reduzem-se a zero, quando passam de seus valores negativos, t picos das condi c~ oes peri odicas para seus valores positivos, t picos das condi c~ oes antiperi odicas. Esses nossos resultados interpolam resultados anteriormente obtidos nos casos peri odico e antiperi odico e podem ser de utilidade no estudos de dimens~ oes compacticadas. 124

De fato, como discutimos na se c~ ao 2.4, a deforma c~ ao teta das condi c~ oes peri odicas podem ser vistas como deforma c~ oes de uma dimens~ ao compacticada em S 1 . Uma quest~ ao interessante a ser tratada nessa perspectiva e a da anula c~ ao da press~ ao de Casimir associada a essa compactica c~ ao, a m de garantir sua estabilidade. A anula c~ ao pode ser pensada como conseq u^ encia do cancelamento das press~ oes entre parceiros supersim etricos, o que normalmente exigiria que eles tivessem a mesma massa. A exist^ encia de valores cr ticos aponta para outros poss veis mecanismos de cancelamento de press~ oes de Casimir, embora seja por demais especulativo elaborar sobre essa possibilidade sem aplic a-la a algum modelo concreto. O terceiro e principal problema que estudamos foi o efeito Casimir de teorias de campo com deforma c~ ao capa. Esse estudo tinha como pano de fundo o desejo de melhor entender o mecanismo de cria c~ ao de excita co~ es desses campos, quando eles s~ ao submetidos as condi c~ oes de contorno que causam o efeito Casimir. Procedemos a quantiza c~ ao can^ onica do campo escalar com deforma c~ ao capa at e o ponto de obtermos a sua energia de v acuo. Encontramos que, semelhantemente ao caso n~ ao-deformado, tal energia e dada como soma sobre os modos da semi-freq u^ encias do campo, embora com a rela c~ ao de dispers~ ao deformada: E0 =
X
p

q 1 1 senh (q p2 + m2 ) 2q

(q = 1=2) :

No limite q ! 0 em que a deforma c~ ao desaparece essa express~ ao reduz-se a energia de ponto zero usual. Notemos que se entende por energia nesse caso a grandeza conservada noetheriana associada a simetria do sistema sob transla c~ oes temporais. Obtivemos tamb em para a a c~ ao efetiva de Schwinger, W (1) , a seguinte express~ ao em somas sobre modos:
p p W X 11 q X 1 = senh1 q k2 + m2 + i senh1 q k2 + m2 T 2q 2 ~ q ~
k k

"

#2

Temos a uma parte real id^ entica a energia do v acuo mostrada acima, u nico resultado que se obt em no caso n~ ao-deformado, mas tamb em uma parte imagin aria decorrente da deforma c~ ao capa. No limite q ! 0 em que a deforma c~ ao desaparece a parte imagin aria dessa a c~ ao efetiva vai a zero e a parte real tende para o limite esperado. A parte imagin aria tem uma caracter stica que nos parece inusitada: a de ser uma soma sobre quadrados de freq u^ encias. Essa contribui c~ ao a ac~ ao efetiva e dimensionalmente poss vel devido a exist^ encia do par^ ametro dimensional de deforma c~ ao q = 1=2. 125

Dado que a a c~ ao efetiva de Schwinger descreve a evolu c~ ao temporal do v acuo, do passado remoto ao futuro distante, temos no caso deformado que esse gerador de evolu c~ ao temporal n~ ao e id^ entico a energia obtida pelo teorema de Noether. Esse tipo de complica c~ ao ou, quem sabe, riqueza te orica, e t pica da deforma c~ ao capa. Encontramos tamb em que nessa deforma c~ ao s~ ao diferentes as quantidades associadas as diversas acep c~ oes que se d~ ao ao conceito de campo conjugado nas teorias sem deforma c~ ao: de vari avel conjugada na transforma c~ ao de Legendre, de parceiro do campo nas rela c~ oes can^ onicas de comuta c~ ao e de densidade presente no integrando de grandezas conservadas. Quando o campo est a submetido a condi c~ oes de contorno, a parte real d a origem a uma energia de Casimir com deforma c~ ao capa. Ela reduzse, como esperado a energia de Casimir usual no limite em que a deforma c~ ao desaparece. J a a parte imagin aria de nosso resultado leva a uma taxa de cria c~ ao de excita c~ oes do campo, devido as condi c~ oes de contorno, em total acordo com resultados obtidos previamente. No limite em que a deforma c~ ao desaparece, essa taxa de cria c~ ao desaparece completamente. Vericamos essas propriedades no caso do campo eletromagn etico com deforma c~ ao capa, sujeito a condi c~ oes de contorno implementadas por placas met alicas quadradas e paralelas, como no efeito Casimir original. Obtivemos a seguinte energia de Casimir:
1 `2 X 1 Z a=q 1 e2ny q Eq (a) = 2 3 dy y + 4 a n=1 n2 0 2n 1 (qy=a)2 ( )

e a seguinte taxa de cria c~ ao de f otons com deforma c~ ao capa, por unidade de volume: W =T = a`2 =
1 1 X 1 Z1 1 e2ny q dy y + 4 2 a4 n=1 n2 a=q 2n (yq=a)2 1

A forma relativamente simples desses resultados n~ ao revela a complexidade dos c alculos no formalismo deformado. Em nosso trabalho de obter esses resultados v arios outros se zeram necess arios no correr dos c alculos. Esperamos que tantos uns como outros possam ser de utilidade na constru c~ ao de uma completa teoria qu^ antica de campos com deforma c~ ao capa. Os resultados que obtivemos apontam para algumas continua c~ oes naturais. A primeira consiste em completar o formalismo de quantiza c~ ao can^ onica de uma teoria com deforma c~ ao capa. Devemos, nesse sentido, continuar os c alculos feitos nas se c~ oes 3.4 e 3.5, e construir a representa c~ ao da algebra de Poincar e com deforma c~ ao capa a partir do campo escalar deformado. Devemos, tamb em, tratar a quest~ ao da equa c~ ao de movimento deformada desse 126

campo, quest~ ao essa certamente muito complexa devido ao car ater temporalmente n~ aolocal da equa c~ ao. O passo seguinte seria, naturalmente, introduzir intera c~ oes. Finalmente, devemos tratar a quantiza c~ ao de teorias com deforma c~ ao capa no formalismo funcional. O nosso resultado para a a c~ ao efetiva com deforma c~ ao capa, pode indicar que a rela c~ ao entre os dois formalismos n~ ao ser a a mesma que no caso n~ ao-deformado, de modo a exigir ou dar origem a novas e interessantes id eias, ausentes no caso n~ ao-deformado, e trazidas a tona gra cas a deforma c~ ao. Finalmente, podemos nos perguntar quanto a possibilidade e utilidade de considerar conjuntamente a deformacao alg ebrica capa e a deforma c~ ao geom etrica teta.

127

Refer^ encias
[1] Milonni P W 1994 The Quantum Vacuum (Boston: Academic Press) [2] Cougo-Pinto M V, Farina C e Tort A C 2000 Revista Brasileira de Ensino de F sica 22 122 [3] Casimir H B G 1948 Proc. Kon. Nederl. Akad. Wetensch. 51 793 [4] Sparnaay M J 1958 Physica 24 751 [5] Lamoreaux S K 1997 Phys. Rev. Lett. 78 5 [6] Mohideen U and Roy A 1998 Phys. Rev. Lett. 81 4549 [7] Roy A and Mohideen U 1999 Phys. Rev. Lett. 82 4380 [8] Roy A, Lin C-Y and Mohideen U 1999 Phys. Rev. D 60 111101 [9] Harris B W, Chen F and Mohideen U 2000 Phys. Rev. A 62 052109 [10] Bordag M, Mohideen U and Mostepanenko V M 2001 Phys. Rep. 353 1 [11] Mostepanenko V M and Trunov N N 1997 The Casimir Eect and its Applications (Oxford: Clarendon) [12] Krech M 1994 The Casimir Eect in Critical Systems (Singapore: World Scientic) [13] Mostepanenko V M and Trunov N N 1988 Sov. Phys. Usp. 31 965 [14] Plunien G, Muller B and Greiner W 1986 Phys. Rep. 134 89 128

[15] Witten E 2002 Bull. Amer. Math. Soc. 40 21 [16] Gerstenhaber M 1964 Ann. of Math. 79 59 [17] Lichnerowicz A 1983 in Quantum Theory, Groups, Fields and Particles Barut A (editor) (Dordrecht: Riedel) [18] Weyl 1932 The theory of Groups and Quantum Mechanics (New York: Dover) [19] Wigner E P 1932 Phys. Rev. 40 749 [20] Drinfeld V 1987 Quantum groups in Proceedings of the International Congress of Mathematics, ed. Gleason A M (Berkeley: American Mathematical Society) [21] Takhtajan L A 1990 Introduction do quantum groups and integrable massive models of quantum eld theory em: Nankai Lectures on Mathematical Physics, eds. Ge M L and Zao B H (Singapore: World Scientic) [22] Chaichian M and Demichev A 1996 Introduction to Quantum Groups (Singapore: World Scientic) [23] Gomez C., Ruiz-Altaba M. and Sierra G. 1996 Quantum groups in twodimensional physics (Cambridge: University Press) [24] Lukierski J, Ruegg H, Nowicki A and Tolstoy V N 1991 Phys. Lett. B 264 331 [25] Giller S, Kosinski P, Majewski M, Maslanka P and Kunz J 1992 Phys. Lett. B 286 57 [26] Lukierski J, Nowicki A and Ruegg H 1992 Phys. Lett. B 293 344 [27] Cougo-Pinto M V, Farina C and Mendes J F M 2002 Phys. Lett. B 529 256

129

[28] Wigner E P 1939 Ann. of Math. 40 149 [29] In on u E and Wigner E P 1952 Nuovo Cimento IX 705 [30] Kosi nski P, Lukierski J and Ma slanka P 2000 Phys. Rev. D 62 025004 [31] Cougo-Pinto M V and Farina C 1997 Phys. Lett. B391 67. [32] Cougo-Pinto M V, Farina C, Mendes J F M and Tort A C 1999 Brazilian Journal of Physics A 31 45 [33] Felsager B 1987 Geometry, Particles and Fields (Odense University Press) [34] Dowker J S 1977 J. Phys. A10 115 Dowker J S 1978 Phys. Rev. D18 1856 [35] Rivers R J 1987 Path integral methods in quantum eld theory (Cambridge: University Press) [36] DeWitt B, Hart C and Isham C 1979 Physica 96A 197 [37] Ford L 1980 Phys. Rev. D 21 933 [38] Heisenberg W 1935 Z. Phys. 90 209 Euler H e Kockel B 1935 Naturwissensch. 23 246 Heisenberg W e Euler H 1936 Z. Phys. 98 714 [39] Weisskopf V S 1936 K. Dan. Vidensk. Selsk. Mat. Fys. Medd. 14 3 Reimpresso em: Schwinger J 1958 Quantum Electrodynamics (New York: Dover) e traduzido para o ingl^ es em: Miller A I 1994 Early Quantum Electrodynamics: a source book (Cambridge: University Press) [40] Schwinger J 1951 Phys. Rev. 82 664

130

[41] Greiner W, Muller B and Rafelski J 1985 Quantum Electrodynamics of Strong Fields (Berlin: Springer-Verlag) [42] Grib A A, Mamayev S G and Mostepanenko V M 1994 Vacuum quantum Eects in Strong Fields (St. Petersburg: Friedmann Laboratory) [43] Schwinger J 1992 Lett. Math. Phys. bf 24 59 [44] Landau L et Lifchitz E 1972 M ecanique Quantique Relativiste - Deuxieme Partie (Moscou: Mir) [45] Gradshteijn I S and Ryzhik I M 1965 Tables of Integrals, Series, and Products (New York: Academic Press) [46] Bordag M, Hennig D and Robaschik D 1992 Journal of Physics A 25 4483 [47] Hays P 1979 Ann. Phys. (N. Y.) 121 32 [48] Dittrich W e Reuter M 1985 Lecture Notes in Physics 220 Eective Lagrangians in Quantum Electrodynamics (Berlin: Springer-Verlag) [49] Cougo-Pinto M V, Farina C, Rafelski J and Tort A C 1998 Phys. Lett. B 434 388 [50] Cougo-Pinto M V, Farina C, Negr~ ao M R and Tort A C 2000 Phys. Lett. B 483 144 [51] Cougo-Pinto M V, Farina C, Negr~ ao M R e Tort A C 1999 Journal of Physics A 32 4457 [52] Negr~ ao M M R 1999 Tese de Doutorado V acuo connado da eletrodin^ amica qu^ antica em campo magn etico externo (IF-UFRJ) [53] Cougo-Pinto M V, Farina C and Tort A C 2001 Braz. J. Phys. 31 84

131

[54] Kapusta J I 1989 Finite-Temperature Field Theory (Cambdrige: University Press) [55] Whittaker E T e Watson G N 1945 A course of Modern Analysis (Cambdrige: University Press) [56] Weinberg S 1974 Phys. Rev. D 9 3320 [57] Dittrich W 1979 Physics Letters 83B 67 Dittrich W 1979 Phys. Rev. D 19 2385 [58] Jordan C 1965 Calculus of Finite Dierences (New York:Chelsea) [59] Faddeev L, Reshetikhin N and Takhtajan L 1989 Algeb. Anal. 1 178 [60] Ostrogradski M 1850 Mem. Ac. St. Petersbourg VI 4 [61] Whittaker E T 1970 A Treatise on the Analytical Dynamics of Particles and Rigid Bodies (Cambridge: University Press) [62] Pais A and Uhlenbeck G E 1950 Phys. Rev. 79 145 [63] Eliezer D A and Woodard R P 1989 Nucl. Phys. B325 389 [64] Melissinos A C 1998 Quantum aspects of Beam Physics, Proc. 15th Advanced ICFA Beam Dynamics Workshop, Monterrey, Calif., 4-9 Jan 1998, ed. P. Shen (Singapore: World Scientic) [65] Wittaker E T and Watson G N 1927 A Course of Modern Analysis (Cambridge: University Press) [66] Bowes J P and Jarvis P D 1996 Class. Quantum Grav. 13 1405 [67] Chodos A, Jae R L, Johnson K, Thorn C B and Weisskopf V F 1974 Phys. Rev. D9 3471 [68] Mamaev S G and Trunov N N 1980 Sov. Phys. J. 23 551

132

[69] Albuquerque L C, Farina C, Rabello S J and Vaidya A N 1995 Lett. Math. Phys. 34 373 [70] Ambjorn J, Wolfram S 1981 Ann. of Phys. (N. Y.) 147 1

133