Teoria Quntica de Campos I

Prof. Alysson F. Ferrari sites.google.com/site/alyssonferrari

15 de maro de 2011

Estas notas so essencialmente um resumo das aulas da disciplina e no constituem uma fonte de referncia completa sobre os temas abordados, no substituindo assim a leitura da bibliograa recomendada. Referncias especcas bibliograa da disciplina so eventualmente feitas, mas na maioria dos casos, subentende-se que o estudante complemente os comentrios e exemplos aqui expostos com uma leitura da fonte que lhe parecer mais conveniente. Alguns conhecimentos so pr-requisitos para o estudante desta disciplina. Aqueles absolutamente fundamentais so: Mecnica Quntica: uma boa formao em nvel de graduao j suciente Relatividade Restrita: conhecimento da notao de tetravetores, geralmente vistos em cursos de Tensores ou de Relatividade um pouco mais avanados; a formulao covariante da eletrodinmica, como encontrado em qualquer bom livro de Eletromagnetismo Clssico tambm deve ser revisada pelo estudante. Alguns conceitos de matemtica so tambm muito utilizados no desenvolvimento da teoria, ento desejvel que o estudante tenha tido algum contato com: teoria de grupos de Lie integrao de funes complexas teoria de distribuies Iremos muito brevemente revisar algumas destas noes conforme elas forem sendo usadas neste curso. Esta uma verso ainda muito preliminar destas notas, portanto no divulgue este material sem comunicar ao autor. Bibliograa Recomendada: Quantum Field Theory, Mark Srednicki, Cambridge, 2007 (verso disponvel online em http://www.physics.ucsb.edu/mark/qft.html) Field Theory, a Modern Primer, Pierre Ramond, 2nd edition, Addison-Wesley, 1990 Teoria Quntica dos Campos, Marcelo O. C. Gomes, Edusp, 2002 The Quantum Theory of Fields, vol. I, Cambridge, 1997 An Introduction to Quantum Field Theory, Peskin e Schroeder Field Quantization, Greiner e Reinhardt, Springer Quantum eld theory, Itzykson & Zuber, Dover, 2005 Quantum Field Theory in a nutshell, A. Zee, Princeton, 2003 Alysson Fbio Ferrari sites.google.com/site/alyssonferrari

Sumrio

Introduo 1.1 Porque estudar Teoria Quntica de Campos (TQC)? . . . . . . . . . . . . . . . . . . . . . . Teoria Clssica de Campos 2.1 Funcional ao e equaes de movimento . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2 Simetrias e o Teorema de Noether . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.3 Solues da Equao de Klein-Gordon livre . . . . . . . . . . . . . . . . . . . . . . . . . . . Simetria Relativstica 3.1 O Grupo de Lorentz . . . . . . . . . . . 3.2 A lgebra do Grupo de Poincar . . . 3.3 Estados de uma Partcula Relativstica 3.4 Simetrias Discretas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7 7 15 15 17 21 25 25 28 30 36 39 39 45 49 51 54 61 61 67 71

Quantizao Cannica do Campo Escalar 4.1 A Quantizao Cannica do Campo Escalar Complexo 4.2 Divergncias Ultravioletas na Teoria de Campos . . . . 4.3 Invarincia Relativstica . . . . . . . . . . . . . . . . . . 4.4 Causalidade e Funes de Green . . . . . . . . . . . . . 4.5 Funes de Green . . . . . . . . . . . . . . . . . . . . . .

A Suplemento Matemtico A.1 Grupos e lgebras de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2 Noes de Teoria das Distribuies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B A funo de Pauli-Jordan

SUMRIO

Captulo

Introduo
1.1 Porque estudar Teoria Quntica de Campos (TQC)?

Em uma nica sentena, a motivao fundamental para se estudar a TQC a seguinte: A unio dos princpios da Relatividade Restrita e da Mecnica Quntica leva naturalmente Teoria Quntica de Campos. Desta forma, a TQC a resposta mais adequada pergunta: como formular uma teoria de Mecnica Quntica totalmente consistente com os princpios da Relatividade Restrita? No estudo da Relatividade Restrita, nos acostumamos idia de que interaes so naturalmente descritas por campos. O exemplo mais bvio a Interao Eletromagntica, que pode ser descrita em termos dos potenciais escalar e vetor e A, que por sua vez so componentes de um nico tetravetor: o potencial eletromagntico A . Classicamente, da eq. de Maxwell F = j segue-se a equao de onda. Da aprendemos que excitaes no campo eletromagntico se propagam como ondas eletromagnticas. Na Mecnica Quntica, sabemos que a luz quantizada ou seja, de alguma forma as excitaes do campo eletromagntico devero representar partculas de massa zero chamadas de ftons. Diz-se que o campo eletromagntico A deve ser quantizado, ou seja, tornar-se um operador A . Deixando de lado uma srie de complicaes que veremos a tempo, esta quantizao bastante simples para qualquer um que j estudou a quantizao do oscilador harmnico em termos de operadores de subida-e-descida. Partimos de uma onda plana da forma eip x = e , que obviamente uma soluo da equao de onda livre, e fazemos uma superposio arbitrria de ondas planas1 : A

i wtk x

a a p eip x + cc .

(1.1)

Aqui, a um tetravetor que dene a direo de polarizao do campo A , a p um coeciente arbitrrio, e cc signica que somamos o conjugado complexo do termo anterior, para obter um campo que seja real. Como a equao de onda linear, a soma arbitrria de solues tambm soluo trata-se de uma soluo geral, como veremos. Partindo desta soluo clssica para A , o que podemos fazer simplesmente: promover os coeci entes a p a operadores a p que satisfazem a relao de comutao de operadores de subida-e-descida: p a p , a
1A

p, p ,

(1.2)

soma em p usualmente ser uma integral, mas no vamos nos preocupar com tais detalhes agora.

CAPTULO 1. INTRODUO

p p q de tal forma que, a partir de um estado de vcuo |0 , podemos denir estados excitados a |0 , a a |0 , p p q e assim por diante. Iremos nos convencer de que podemos interpretar os estados a |0 , a a |0 como estados de um fton, dois ftons, etc... Denimos assim um campo quntico, A ( x, t)

a a p eip x + cc ,

(1.3)

ou seja, associamos a cada ponto do espao-tempo um determinado operador hermitiano A , que contem operadores de criao e aniquilao para ftons. Costumamos dizer que as excitaes do campo quntico correspondem a um certo nmero de ftons. Esta a idia essencial do que signica quantizar o campo eletromagntico. Na Mecnica Quntica, partculas so descritas por uma funo de onda ( x, t) que satisfaz a Equao de Schrdinger, h2 2 i t = h +V . (1.4) 2m A densidade de probabilidade denida por = ||2 . Pode-se reescrever a equao de Schrdinger da forma t + j = 0 , (1.5) que tem a forma de uma equao da continuidade, que sicamente entendemos como representando a conservao de probabilidade. Lembrando as regras de correspondncia, E i t h ; p i h (1.6)

vemos que a Equao de Schrdinger implica na relao no-relativstica entre energia e momento, E= p2 +V. 2m (1.7)

No de se surpreender, portanto, que a Equao de Schrdinger no invariante por uma transformao de Lorentz x = 1 2 2 ( x vt) 1v /c t = 1 2 2 t + vx/c2
1v /c

Buscando uma equao similar de Schrdinger, que poderia governar a dinmica de uma partcula quntica com velocidades relativsticas, podemos partir da relao relativstica entre energia e momento E2 = p2 c2 + m2 c4 e, usando as regras de correspondncia (1.6), propor a equao 1 2 c2 t
2

(1.8)

m2 c2 h2

KG ( x, t) = 0 .

(1.9)

Aqui, KG seria interpretada como uma funo de onda2 . O problema com esta construo que, se tentamos reescrever a equao de Klein-Gordon na forma de uma equao de continuidade, t KG +

jKG = 0 ,

2 Esta equao foi primeiramente estudada por Schrdinger, quando este buscava uma equao dinmica para as ondas piloto propostas por DeBroglie em 1925. Contudo, tal equao, aplicada ao clculo de certas transies de nveis para o tomo de Hidrognio, levava a resultados incoerentes com resultados experimentais da poca, de forma que foi abandonada por Schrdinger. Ela foi mais tarde reavaliada por Klein e Gordon, no contexto da Teoria de Campos, da ter recebido o nome de equao de Klein-Gordon.

1.1. PORQUE ESTUDAR TEORIA QUNTICA DE CAMPOS (TQC)?

chegaremos concluso que
KG KG t KG (t KG ) KG .

Da que KG no positiva-denida, e portanto no pode ser interpretada como uma densidade de probabilidade. Vamos chamar este de problema I. Outro problema com que nos defrontamos: de (1.8) segue que E = p2 c2 + m2 c4 , de forma que o espectro de energia no limitado por baixo (gura 1.1). Em princpio, a partcula sempre pode descer de um nvel com E > 0 para um nvel com E < 0 emitindo uma certa quantidade de energia E, e nada a impede de descer at niveis com E , o que obviamente gera um absurdo. A teoria seria instvel. Este o problema II. Estas duas diculdades j nos indicam que invivel interpretar KG como uma funo de onda de uma partcula relativstica. Dirac propos-se a resolver o problema I da seguinte maneira: construir uma equao de 1 ordem em derivadas temporais e espaciais que seja de alguma forma equivalente equao de Klein-Gordon. Ele propos assim a chamada Equao de Dirac que, na notao inicialmente usada por ele, escreve-se Figura 1.1: Espectro de energia da equa2 i t D = i c D + 4 mc D . h h (1.10) o de Klein-Gordon. Surpreendentemente, Dirac percebeu que e precisam ser matrizes 4 4, e portanto a funo de onda D na verdade um vetor coluna 1 D = 2 (1.11) 3 4 A equivalncia de (1.10) com (1.9) vem do fato de que as matrizes e foram construdas de forma que3 1 2 m2 c2 2 i t + i c 4 mc2 h h t 2 + 2 . (1.12) c2 h Desta forma, se D satisfaz a equao (1.10), ento cada uma das i vai satisfazer a equao (1.9)4 . Pode-se mostrar que da Equao de Dirac segue a equao de continuidade para a densidade de probabilidade D = D = i |i |2 , que positivo denida. D Resolvido o problema I, Dirac ainda precisou atacar o problema II, da instabilidade. Claramente, a Equao de Dirac tambm implica na relao entre energia e momento (1.8), logo tambm tem um espectro que no limitado por baixo. A soluo veio quando Dirac percebeu que a equao de onda D descreve uma partcula com spin 1/2 logo, um frmion. Desta forma, as partculas descritas por esta equao obedecem ao princpio de excluso de Pauli. Dirac ento supos que todos os estados com energia negativa j estavam ocupados. Nenhuma transio de uma partcula com E > 0 para uma energia negativa seria possvel (gura 1.2 esquerda). A estabilidade da soluo obtida s custas da suposio da existncia de um mar de Dirac, ou seja, uma innidade de estados qunticos j preenchidos por partculas
3 Note 4O

que no estamos escrevendo explicitamente matrizes identidade 4 4 onde elas so necessrias. inverso no verdadeiro, da porque das aspas em equivalncia

10

CAPTULO 1. INTRODUO

Figura 1.2: Espectro de energia da equao de Klein-Gordon.

indetectveis. Pago este custo, Dirac apresentou a equao (1.10) como uma equao de onda relativstica vivel para descrever o eltron. Se transies para E so proibidas pelo princpio de excluso, nada impede que energia seja fornecida ao sistema, subindo uma partcula de um nvel com E < 0 para um nvel com E > 0 (gura 1.2 direita). Do estado que inicialmente era o vcuo, surge uma partcula ferminica com energia positiva um eltron, com carga negativa. Contudo, o buraco deixado no mar de estados com energia negativa tambm se comportaria como uma partcula de energia positiva s que um frmion com carga positiva. Num primeiro momento, Dirac chegou a supor que esta partcula corresponderia ao prton, o nico frmion de carga positiva conhecido na poca, mas esta hiptese no se sustentava pois, por simetria, esta nova partcula deveria ter a mesma massa que o eltron. Posteriormente, a descoberta experimental do psitron revelou a correta interpretao para o buraco no mar de Dirac. O resultado lquido desta anlise que, excitando-se o vcuo com suciente energia, pode-se criar pares de partculas-antipartculas. Esta uma consequncia imediata da relatividade restrita. Apesar de seus sucessos, a equao (1.10) apresenta limitaes. A mais fundamental delas que a equao de Dirac e sua brilhante soluo para o problema da instabilidade s funciona para frmions, e no para bsons. Existem contudo partculas bosnicas, como msons, tomos como He4 e assim por diante, e a equao de Dirac no serve como uma equao de onda para tais sistemas. Ademais, tambm existe o chamado paradoxo que Klein, que no vamos discutir aqui mas que o leitor pode pesquisar na bibliograa do curso5 , que mostra diculdades na interpretao de D como uma funo de onda. Tais diculdades reetem uma inadequao mais fundamental da formulao da Mecnica Quntica no-relativstica para o tratamento de problemas relativsticos. De fato, um dos grandes princpios da Relatividade Restrita que no deve haver tratamento diferenciado entre o tempo e as coordenadas espaciais. Ora, ao se escrever uma equao de onda i t | (t) = H | (t) h
5 No artigo http://arxiv.org/abs/hep-th/0510040 o leitor encontrar uma descrio bastante simples do paradoxo de Klein.

1.1. PORQUE ESTUDAR TEORIA QUNTICA DE CAMPOS (TQC)?

11

existe uma diferena crucial entre tempo e espao: o tempo um parmetro de evoluo, enquanto que as coordenadas espaciais so representadas no formalismo como operadores observveis Xi 6 . Tal distino fundamental j sugere que procurar por uma equao de onda que seja plenamente compatvel com os princpios da Relatividade e da Mecnica Quntica no um caminho promissor. Cabe lembrar aqui o que comentamos sobre a quantizao do campo eletromagntico. Criamos um campo quantizado que corresponde associao de um operador A ( x, t) a cada ponto do espao-tempo. Note que aqui, tempo e espao aparecem no formalismo de forma equivalente, como etiquetas (labels) que distinguem operadores associados a diferentes pontos do espao-tempo. No caso do campo eletromagntico, o caminho seguido no foi surpreendente, j que o conceito de campo j muito familiar da teoria clssica. Que outras interaes como as foras nuclares sejam tambm descritas por campos quantizados tambm no ser, portanto, uma surpresa. O que talvez surpreender ao leitor que adotaremos o mesmo princpio para partculas de matria, como o eltron. Ao invs de buscar uma funo de onda para um eltron, iremos supor que existe um campo de eltrons D ( x, t), ou seja, uma associao de um operador de eltron a cada ponto do espao-tempo. Este campo ser responsvel por criar e destruir partculas que identicaremos como eltrons e psitrons. Assim como o fton o quanta do campo eletromagntico, eltrons e psitrons sero quantas deste campo de eltron. Ganharemos, assim, uma grande unidade conceitual entre o que usualmente chamamos de interaes (ou foras) e partculas. Tanto uma, quanto outras, sero descritas por campos qunticos. A idia fundamental de estudar campos qunticos foi sugerida, acima, como o caminho natural a se seguir para combinar de forma consistente os princpios da Mecnica Quntica e da Relatividade Restrita. Este caminho, contudo, no destituido de obstculos a serem vencidos. Ao longo de dcadas, uma srie de tcnicas e idias fsicas tiveram que ser incorporadas, como a renormalizao, a simetria de calibre e a quebra expontnea de simetrias, na busca de Teorias Qunticas de Campos que conseguissem descrever, de forma satisfatria, as observaes experimentais. Tanto que a nalizao de uma TQC capaz de descrever de forma realstica as interaes elementares conhecidas apenas foi obtida na dcada de 1970, o que tem sido ainda recentemente reconhecida pelo prmio Nobel (citando apenas os mais recentes): 2008 Nambu, Kobayashi e Masukawa pelo estudo da quebra expontnea de simetria no modelo padro 2004 Gross, Politzer e Wilczek pela descoberta da liberdade assinttica 1999 tHoot e Veltman pela prova da renormalizabilidade de teorias de calibre no-abelianas O grande sucesso da TQC representado pelo Modelo Padro das Partculas Elementares. Trata-se de uma teoria que descreve, num formalismo unicado, trs das interaes elementares conhecidas: Eletromagnetismo Fora nuclear forte Fora nuclear fraca O Modelo Padro utilizado para calcular amplitudes de espalhamento que so vericadas experimentalmente, com grande preciso, em aceleradores de partculas. Apesar do sucesso experimental, o Modelo Padro considerado insatisfatrio do ponto de vista terico, principalmente pelo grande nmero de constantes envolvidas, que no momento s podem ser xadas por dados experimentais.
notao usual D ( x, t) para a funo soluo da equao de Dirac no deve enganar o leitor: aqui t um parmetro de evoluo, enquantoque x um autovalor do operador de posio X, o que ca evidente se lembramos que | (t) = 3 d x | x x | D (t) = d3 x D ( x, t) | x .
6A

12

CAPTULO 1. INTRODUO

Note tambm que a fora da gravidade no aparece no modelo padro e, de fato, at hoje no se conseguiu propor uma teoria universalmente aceita para a gravitao quntica, seja seguindo mtodos similares aos do Modelo Padro, seja por outros. Do ponto de vista experimental, tal limitao no traz problemas, j que a interao gravitacional entre partculas microscpicas, nas escalas de energia acessveis aos experimentos, completamente desprezvel. Muitos tericos acreditam, contudo, que a quantizao da gravitao necessariamente incorporar o Modelo Padro dentro de um arcabouo terico mais fundamental, que seja capaz de predizer seus parmetros livres. Esta em particular a viso dos que estudam a Teoria das Cordas, uma das mais bem desenvolvidas candidatas a uma teoria quntica da gravidade. Se at agora defendemos que, conceitualmente, a Teoria Quntica de Campos a proposta mais promissora para conciliar os princpios da Relatividade Restrita com os da Mecnica Quntica, do ponto de vista puramente pragmtico, tambm vale a pena citar que as previses da TQC tem sido vericadas numa ampla gama de experimentos, com grande preciso. O exemplo mais citado, muitas vezes como a previso terica mais bem conrmada por experimentos da Fsica, est o clculo do momento magntico anmalo do eltron. um fato experimental que um eltron possui um pequeno momento magntico e , responsvel por gerar um campo magntico intrnseco (ver gura). Este momento magntico est associado ao spin do eltron pela relao e = gs B S , h (1.13)

onde B = e /2me e, da teoria de Dirac para o eltron segue que gs = 2. Experimentalmente, contudo, h percebeu-se que o valor de gS no exatamente 2, costumando-se escrever gs = 2 (1 + ) , (1.14)

onde o momento magntico anmalo. Em 1947, Schwinger usou os mtodos da TQC para calcular em primeira aproximao, = , (1.15) 2 onde = e2 / (4 0 ) hc. Este resultado concidiu satisfatoriamente com os primeiros valores experimen tais para , o que foi um dos primeiros grandes sucessos da TQC. Na dcada de 80, tanto o clculo terico de quanto sua medida experimental melhoraram sensivelmente. No artigo de Grabrielse e colaboradores de 19807 , foram apresentados os resultados exp = 1.159.652.200(40) 1012 teo = 1.159.652.570(140) 1012 uma concordncia de 7 dgitos signicativos. Em valores mais recentes, a concordncia ultrapassa 10 dgitos. Finalmente, algumas palavras sobre convenes: usaremos quase sempre a notao covariante para teorias relativsticas, isto signicando que coordenadas do espao-tempo sero representadas por um tetravetor x = x0 , x , onde x0 = ct. ndices de espao-tempo so sempre contrados com a mtrica espao-temporal plana de Minkowski, = diag (+1, 1, 1, 1) .
7 Physical

Review D 22, 2236 (1980).

1.1. PORQUE ESTUDAR TEORIA QUNTICA DE CAMPOS (TQC)?

13

No existe uma conveno universal sobre os sinais de : o leitor perceber que alguns livros da bibliograa usam esta mtrica, outros a com sinal trocado. Esta troca pode implicar alguns sinais diferentes em algumas expresses. O leitor deve estar atento, se optar por copiar frmulas de vrias fontes diferentes. Supe-se que o estudante j tenha aprendido que a covarincia relativstica mantida se todos os ndices so contrados de forma apropriada, por exemplo x2 = x x = x x . Perceba tambm que a conveno de Einstein utilizada: ndices repetidos so sempre somados. Tambm supe-se que conhea os tensores invariantes e , onde 0123 = +1. Ocasionalmente, iremos trabalhar com vetores tridimensionais, neste caso usaremos ndices latinos para representar as componentes: x = xi , onde i = 1, 2, 3. A notao de Einstein tambm ser utilizada neste caso: x2 = xi xi . Os tensores tridimensionais ij e ijk tambm sero utilizados, sendo que 123 = +1. muito comum, em TQC, a utilizao do sistema natural de unidades, em que h = c = 1. Em geral, quando no for dito explicitamente o contrrio, o mesmo ser feito ao longo de todas estas notas.

14

CAPTULO 1. INTRODUO

Captulo

Teoria Clssica de Campos

2.1 Funcional ao e equaes de movimento

Um campo a associao de uma certa quantidade a cada ponto do espao e do tempo. O caso mais simples o de uma funo real ( x, t), que dene um campo escalar. Exemplos que devem ser familiares no faltam: a temperatura numa determinada sala, a presso em um uido, etc. Tambm podemos associar um vetor a cada ponto do espao e do tempo: os campos eletromagnticos E ( x, t) e B ( x, t) so exemplos cannicos. Em princpio, um campo deve variar no espao e no tempo, obedecendo a certas Equaes de Movimento. Tais equaes podem ser postuladas a partir de consideraes fsicas, mas em geral so obtidas por meio de um Princpio Variacional aplicado a uma Funcional Ao que depende do campo e de suas derivadas. Queremos estudar a dinmica de teorias que envolvem um certo nmero de campos, que podem incluir campo escalares, vetoriais, etc... Mais adiante, quando estudarmos as representaes irredutveis do grupo de Lorentz, veremos que a simetria relativstica dita exatamente os tipos de campos que podemos ter numa teoria relativstica, bem a forma como estes se transformam frente a uma mudana de referencial inercial. Para obter os resultados que estamos interessados neste captulo, basta considerar um nico campo escalar ( x ). Num caso mais geral, todos os resultados podem ser obtidos para cada componente de cada campo considerado, de forma que esta simplicao no reduz em nada a generalidade destes resultados. Vamos considerar portanto a dinmica de um campo escalar, que deve ser obtida a partir de uma Funcional Ao, S [] = d4 x L , , (2.1)

onde a densidade Lagrangeana L , uma funo dos campos e de suas derivadas primeiras. Nesta notao, d4 x um elemento de volume, uma regio do espao-tempo que, se for limitada, ter uma borda . Em muitos casos, consideraremos que a integral se estende por todo o espao-tempo, o que simbolizaremos formalmente por e/ou pela omisso do volume na integral. Note que ainda no discutimos em detalhe os requerimentos para garantir a invarincia relativstica da teoria que estamos discutindo. Contudo, parece bastante natural impor que a densidade Lagrangeana seja um escalar de Lorentz, ou seja: todos os ndices espao-temporais que aparecem em L devem estar apropriadamente contrados. Isto tambm signica que L deve depender das derivadas espaciais e temporais de , e no de 0 ou i individualmente, por exemplo. Usaremos sempre unidades naturais, o que signica que h = c = 1, e S [] no tem dimenses, de 4 . forma que dimL = cm A dinmica dos campos vem do requerimento de que a ao (2.1) seja estacionria frente a uma 15

16 variao innitesimal arbitrria do campo,

CAPTULO 2. TEORIA CLSSICA DE CAMPOS

( x ) ( x ) + 0 ( x ) , ou seja, S [] S [ + ] S [] = 0 , onde|0 ( x )| em , temos

(2.2)

(2.3)

1 para x , e 0 se anula na borda do volume de integrao1 . At a primeira ordem S [] =

d4 x

L L 0 + 0 () .

(2.4)

Note que os ndices espao-temporais esto apropriadamente contrados, como deve ser j que a ao um escalar de Lorentz. Integrando por partes: L 4 S [] = d x L ( x ) 0 + 0 d , (2.5) onde L ( x ) = L L . (2.6)

Como 0 () = 0, o termo de superfcie desaparece. Generalizando o Princpio de Hamilton, vamos dizer que se ( x ) soluo das equaes de movimento, ento S [] = 0 para 0 arbitrrio, o que implica na seguinte forma das Equaes de Euler Lagrange. L L = 0. Exemplo 1. O Campo Escalar Real Considere a densidade Lagrangiana envolvendo um campo escalar real , 1 m2 V () , (2.8) 2 onde V () , tipicamente, uma soma de termos com potncias de maiores que dois. Note que usamos, aqui, o sistema de unidades naturais, em que c = h = 1. Calculando-se as derivadas L = m2 V ( ) e L 1 = = 2 (2.7)

L , =

reescrevemos a equao (2.7) na forma

m2 V ( ) = 0 ,
ou seja

+ m2 = V ( ) .
2 0

(2.9)

Escrevendo explicitamente = 2 , reconhecemos aqui (com exceo dos fatores de c e h) a equao de Klein-Gordon (1.9), no caso em que V () = 0.
1 Esta condio similar condio de que a posio inicial e nal esto xas no Princpio de Hamilton da Mecnica Clssica.

2.2. SIMETRIAS E O TEOREMA DE NOETHER

17

2.2

Simetrias e o Teorema de Noether

Emmy Noether foi uma matemtica alem que demonstrou um dos resultados mais fundamentais da fsica terica, o chamado Teorema de Noether, pois demonstra da forma mais geral a profunda relao que existe entre leis de conservao e simetrias. Iremos demonstrar o teorema no contexto de teorias de campos descritas por uma Funcional Ao, como acabamos de denir. Entendemos uma transformao de simetria como uma mudana que, aplicada a um sistema fsico, resulta numa nova congurao do sistema que idntica inicial. No contexto de teoria de campos, uma transformao de simetria em geral engloba tanto uma mudana de coordenadas quanto uma mudana no valor do campo em cada ponto do espao-tempo, ou seja, x x . (x) (x ) (2.10)

A interpretao desta ltima equao : focalizando a ateno a um determinado ponto do espao tempo, localizado pelas coordenadas x , inicialmente o valor do campo neste ponto ( x ); aps a transformao, as coordenadas deste ponto mudam para x e o valor do campo neste ponto tambm muda para ( x ). Ou seja: sicamente, a mudana no valor do campo num determinado ponto xo do espaotempo dado pela diferena = ( x ) ( x ), que chamaremos de variao total do campo. Iremos oportunamente particularizar para uma transformao innitesimal, considerando que x = x + x , ( x ) = ( x ) + ( x ) (2.11)

onde x e so muito pequenos. Neste ponto, vale lembrar a variao de forma de um campo, j denida em (2.2), 0 ( x ) = ( x ) ( x ) . (2.12) Note a diferena: a variao total corresponde variao do campo num mesmo ponto fsico. A variao de forma 0 um artifcio matemtico, que usamos para derivar as equaes de movimento (caso em que 0 era arbitrria, exceto pela condio 0 () = 0). Abaixo, precisaremos relacionar a variao de forma com a variao total, o que pode ser feito para uma transformao innitesimal da seguinte forma: ( x ) = x ( x ) = ( x ) + x ( x ) ( x ) . Note que podemos fazer a simplicao x ( x ) = x ( x ), j que a diferena entre e j de primeira ordem. Portanto: ( x ) = 0 ( x ) + x ( x ) . (2.13) Aplicando a transformao (2.10) a um determinado sistema fsico cuja dinmica descrito por uma ao S [], denimos uma ao transformada S = d4 x L x , x , (2.14)

onde = e a imagem de frente transformao de coordenadas considerada. Usando o teorema de transformao de coordenadas2 na integral acima, podemos escrever
x

S A =
2 Veja,

d4 x J

x x

L x , x

(2.15)

por exemplo, http://en.wikipedia.org/wiki/Change_of_variable.

18

CAPTULO 2. TEORIA CLSSICA DE CAMPOS

onde agora x = x ( x ) entendido como funo de x, e J x x

= det

x x

(2.16)

o determinante Jacobiano da transformao x x . A diferena entre a ao original e a transformada pode ser escrita, portanto, como S [] =

d4 x

x x

L x , x

L ,

(2.17)

Agora vamos particularizar para uma transformao innitesimal, conforme (2.11), e fazer todos os clculos apenas em primeira ordem de x e . O determinante Jacobiano, em primeira ordem em x dado por x det 1 + x , (2.18) x de forma que a variao innitesimal da ao vale S [] = d4 x L , + x L ,

(2.19)

onde

L = L x , x

L ( x ) , ( x )

x L ( x ) , ( x ) + L ( x ) , ( x ) L ( x ) , ( x ) ,
sempre desconsiderando termos de ordem mais alta. Note que a diferena envolvendo os dois ltimos termos justamente o que j calculamos na derivao das equaes de movimento podemos portanto copiar o resultado da Eq. (2.5), L = x L , + L ( x ) 0 + L 0 , (2.20)

onde aparece novamente a variao de forma 0 j denida em (2.12), e L denido em (2.6). Juntando (2.19) e (2.20), S [] =

d4 x

L 0 +

L + x L

(2.21)

Ser conveniente, contudo, aplicar (2.13) no parntesis mais interno da ltima expresso, reescrevendo 0 em termos de , pois este ltimo que efetivamente corresponde transformao fsica que estamos considerando, conforme discutido anteriormente. Desta forma, chegamos nalmente a S [] = d4 x L 0 C , (2.22)

onde C = x L ,

L .

(2.23)

2.2. SIMETRIAS E O TEOREMA DE NOETHER

19

Estamos nalmente prontos a denir o que entendemos como uma simetria da teoria. Dizemos que uma transformao da forma (2.11) uma simetria se o valor da ao S [] invariante frente a esta transformao, ou seja, se S [] = 0. Logo, se a transformao (2.11) uma simetria, para um campo arbitrrio ( x ) temos que L 0 A C = 0 . Em particular, se ( x ) soluo das equaes de movimento (2.7), L = 0 e portanto C = 0 , (2.24)

de forma que C uma corrente conservada. Tipicamente, as simetrias da natureza so descritas por grupos contnuos (ou de Lie)3 . Um resultado fundamental da teoria de grupos de Lie que qualquer transformao pode ser obtida por um nmero nito de geradores que fazem parte de uma lgebra de Lie. Suponha, portanto, que consideramos uma simetria descrita por um grupo G contendo N geradores. Isso signica que a transformao innitesimal (2.11) depende dos N geradores do grupo e de N coecientes innitesimais , ou seja, possvel escrever x = x , = 1, . . . , N , (2.25) = onde x e representam simbolicamente uma representao adequada de cada um dos geradores do grupo G . Inserindo (2.25) em (2.24), vemos que existem N correntes conservadas C , dadas por C

L L ,

L .

(2.26)

Este o enunciado do principal resultado de Noether: a cada gerador de um grupo de simetria da teoria considerada, existe uma corrente conservada associada, dada pela Eq. (2.26). Vamos discutir em mais detalhes em que sentido a equao (2.24) dene uma lei de conservao. Note que C pode ser, em princpio, uma funo complicada de e que, por sua vez, dependem de x . Logo, podemos denir a partir de C ( x, t) = C0 ( x, t) . ji ( x, t) = Ci ( x, t) De (2.24), obtemos ( x, t) + j ( x, t) = 0 , (2.28) t que uma equao da continuidade. Considere um volume tridimensional V arbitrrio, e integre os dois membros da equao anterior neste volume: de um lado, teremos d 3 d x ( x, t) = d3 x ( x, t) , t dt V V 0 C 0 + i C i = 0 por outro, d3 x
V
3O

(2.27)

j ( x, t) =
V

d3 x j ( x, t) d .

leitor encontrar uma brevssima reviso dos conceitos mais fundamentais no Suplemento Matemtico A.1.

20 Ou seja, se entendemos Q (t) = em V, mostramos que

V

CAPTULO 2. TEORIA CLSSICA DE CAMPOS

d3 x ( x, t) como a quantidade de uma determinada grandeza contida d Q (t) = dt d3 x j ( x, t) d ,
V

(2.29)

onde o membro da direita corresponde ao uxo desta grandeza que atravessa a fronteira de V. Ou seja: a grandeza que consideramos necessariamente conservada. Por outro lado, tomando o volume V como todo o espao, e supondo que j tende a zero rapidamente no innito, temos que d Q (t) = 0 . (2.30) dt Desta forma a grandeza Q (t) na verdade independente do tempo. Ou seja, embora a integral d3 x ( x, t) formalmente depende do tempo, ao efetuarmos a integral por todo o espao deniremos uma grandeza independente do tempo, Q= d3 x ( x, t) . (2.31)

Diz-se que Q a carga associada simetria considerada. Exemplo 2. Simetria de Translao As leis da fsica devem ser invariantes por uma mudana na escolha da origem do referencial de espao e tempo. Isso reete-se no fato de que uma translao, x = (2.32)

deve ser uma transformao de simetria de qualquer teoria fsica. Pelo teorema de Noether, deve haver uma carga conservada associada simetria por translao. Reescrevendo a equao (2.25) para reproduzir (2.32), lembrando que por denio o campo escalar tem que satisfazer = x ( x ) = 0 , vemos que x = , = 0 de onde podemos identicar
x

, que inserido em (2.26) fornece

C ou, equivalentemente

L L , L L .

T =

(2.33)

O tensor T chamado de tensor energia-momento, e ter fundamental importncia para a denio da teoria quntica do campo escalar que faremos no captulo 4. Conforme o teorema de Noether, a componente = 0 do tensor de energia momento dene a densidade de uma grandeza conservada, P = d3 x T 0 , (2.34) grandeza que oportunamente identicaremos como o momento linear.

2.3. SOLUES DA EQUAO DE KLEIN-GORDON LIVRE

Considere por exemplo a Lagrangiana do campo escalar real (2.8),

21

L , =

1 m2 V () . 2

Calculando explicitamente T neste caso, encontraremos 1 T = m2 + V () . 2 Em particular: T 00 = 0 1 2 00 0 ( )2 m2 + 00 V () 2 1 0 2 1 1 = + ( )2 m2 + V ( ) , 2 2 2

2

(2.35)

(2.36) (2.37)

e T 0i = 0 i . Note que T 00 uma grandeza estritamente positiva: este tinha que ser justamente o caso pois, como veremos adiante, T 00 ser interpretado como a densidade de energia associado ao campo.

2.3

Solues da Equao de Klein-Gordon livre

Na mecnica clssica, resolver um determinado problema signica encontrar uma soluo das equaes diferenciais que determinam o problema, satisfazendo determinadas condies iniciais. Da mesma forma, numa teoria de campos, podemos procurar pela funo ( x, t) que satisfaz a equao de KleinGordon + m2 ( x ) = V ( ) , (2.38) e tambm satisfaz uma determinada condio inicial, tipicamente na forma de funes conhecidas ( x, t0 ) e 0 ( x, t0 ), onde t0 xo. No caso em que V = 0, tais solues podem ser encontradas explicitamente, e o que faremos nesta seo. Tal soluo ser utilizada diretamente na quantizao cannica do campo escalar, que faremos no captulo 4. Focalizaremos nossa ateno, portanto, equao de Klein-Gordon livre,

+ m2 ( x ) = 0 .
Iremos resolv-la usando o mtodo de Fourier: tentamos uma soluo da forma d4 k ikx (x) = e (k) , (2 )2

(2.39)

(2.40)

onde kx k x = k0 x0 k x. Inserindo em (2.39), usando a independncia linear das exponenciais eikx , vemos que a equao de Klein-Gordon ser satisfeita se k 2 m2 ( k ) = 0 . Como precisamos ter (k ) = 0 para no ter uma soluo trivial, temos que impor k2 m2 = 0. Fazemos isso escrevendo ( k ) = k 2 m2 ( k ) , onde (k ) , em princpio, arbitrria (oportunamente, ser relacionada s condies iniciais do campo). Inserindo esta expresso em (2.40),

22 (x) =

CAPTULO 2. TEORIA CLSSICA DE CAMPOS

d4 k

(2 )2

eikx k2 m2 (k ) .

(2.41)

Vamos reetir sobre o resultado desta expresso: chegamos concluso que a amplitude de Fourier (k ) pode ser arbitrria, desde que as integrais sejam sobre todos os momentos k tais que k2 m2 = 0. Esta ltima condio signica que k0
2

= k 2 + m2 ,

(2.42)

ou seja, que a componente k0 do momento k deve corresponder energia fsica de uma partcula de momento k e massa m. Tornamos isto mais claro, escrevendo a funo em (2.41) da forma k 2 m2 = onde k + k 2 + m2 . (2.44) k0
2 2 k ,

(2.43)

Note que, de (2.42) segue que k0 = k , ou seja, na expresso (2.41) teremos tanto contribuies com frequncia positiva quanto com frequncia negativa. Para levar isto em conta, consideremos o seguinte truque: a identidade 1 = x0 + x0 , (2.45) em que ( x ) a funo salto (ou de Heavyside), (x) = inserida em (2.41), (x) = d4 k
2

0, x < 0 , 1, x 0

(2.46)

(2 )

i k0 x0 k x

k0

2 k

k0 + k0

(k) .

(2.47)

Fazemos a substituio k k no termo proporcional a k0 , (x) = d4 k

2

(2 )

k0

2 k k0

i k0 x0 k x

i (k) + e

k0 x0 k x

(k ) .

(2.48)

Agora efetuamos a integral em k0 , usando a identidade k0

2 2 k =

1 k0 k + k0 + k 2k

(2.49)

Como k0 + k k0 = 0, chegamos a i k x 0 k x i k x 0 k x 3k d e e (x) = k , k + k , k . 2 2k 2k (2 ) Agora algumas denies, k =

(2.50)

2 k , k , e
i k x 0 k x

(2.51)

f k (x) =

(2 )3/2

(2.52)

2.3. SOLUES DA EQUAO DE KLEIN-GORDON LIVRE

nos permitem reescrever (2.50) da forma (x) = d3 k 2k
f k ( x ) + k + f k ( x ) k

23

(2.53)

O fato de que deve ser real signica que + k = ( k ). Pausa para reexo: observe que, afora algumas normalizaes, essencialmente a soluo (2.53) corresponde a construir a soluo geral ( x ) como uma superposio linear, com coecientes arbitrrios k , de solues da equao de Klein-Gordon livre f k ( x ) eik x . O leitor atento perceber que justamente isso que zemos, sem nenhum detalhe, na equao (1.1) da introduo deste texto.

As funes f k denidas em (2.52) obedecem a relaes de ortogonalidade, i d3 x f ( x ) 0 f q ( x ) = 2k 3 k q k , i d3 x f ( x ) f q ( x ) = i d3 x f ( x ) f ( x ) = 0 0 0

k k q

(2.54)

cuja prova ca como exerccio para o leitor. Aqui, emprega-se a notao

A 0 B A0 B (0 A) B .

(2.55)

Estas relaes de ortogonalidade permitem, nalmente, relacionar as amplitudes de Fourier k com as condies iniciais do campo, num dado tempo xo t0 . Fica tambm a cargo do leitor mostrar que + k = i d3 x f ( x ) ( x, t) 0 k , (2.56) k = i d3 x ( x, t) f ( x ) 0 k o que pode ser feito facilmente usando-se as relaes de ortogonalidade (2.54). Note que o membro da esquerda destas relaes explicitamente independente de t, portanto, o membro da direita tambm deve ser. Podemos assim xar t = t0 , e desta forma encontrar as amplitudes de Fourier k em termos dos valores iniciais do campo, ( x, t0 ) e 0 ( x, t0 ). O campo ( x ) ca, assim, completamente determinado por (2.56) e (2.53) a partir de suas condies iniciais.

24

CAPTULO 2. TEORIA CLSSICA DE CAMPOS

Captulo

Simetria Relativstica
3.1 O Grupo de Lorentz

O princpio fundamental da Relatividade Restrita pode ser enunciado da seguinte maneira: Uma mudana de um referencial inercial para outro implica na mudana das coordenadas associadas a qualquer evento do espao tempo x x , de tal forma que x e x sejam relacionados por uma transformao linear que deixa o intervalo relativstico entre dois eventos 2 s2 = ( x y) ( x y) = x0 y0 ( x y)2 (3.1) constante. A restrio da linearidade da transformao x x retirada na Relatividade Geral, que invariante por reparametrizaes arbitrrias x x ( x ). Ao tratar da Relatividade Restrita, contudo, basta supor transformaes da forma x = x + b . (3.2) O parmetro b representa uma translao da origem das coordenadas. Tais transformaes obviamente deixam (3.1) invariante. Menos trivial a parte homognea da transformao, x = x ,

(3.3)

que iremos inicialmente considerar. Para respeitar (3.1), temos que ter x x = x x = x x = x x ;

(3.4)

como isto vale para x arbitrrio, tem que valer = .

(3.5)

Aqui, obviamente, a mtrica plana do espao de Minkowski, = diag (+1, 1, 1, 1). Es crevendo como uma matriz 4 4, e tambm entendendo como elementos de uma matriz 4 4, podemos reescrever (3.5) da forma matricial da forma T = . (3.6)

A equao acima dene um conjunto de matrizes que forma um grupo conhecido pelos matemticos de O (3, 1)1 , e que ser por ns chamado de grupo de Lorentz, simbolizado por L.
1 Leia-se: conjunto de transformaes que deixam invariante uma mtrica indenida com 3 autovalores de um sinal e 1 autovalor com outro sinal.

25

26

CAPTULO 3. SIMETRIA RELATIVSTICA

Tomando-se o determinante de ambos os membros de (3.6) concluimos que det2 = 1 det = 1 .

De forma que L = L+ L , onde L+ o subconjunto prprio (matrizes com determinante +1) e L o subconjunto imprprio (matrizes com determinante 1). Note que so dois subconjuntos disjuntos, e no h nenhuma mudana contnua de parmetros que leva uma matriz de um para o outro. Alm disso, tomando a componente = = 0 de (3.5) temos 0 0 = 00
2

i 0
i

= 00 = 1

logo 00 1 para qualquer L. Isto signica que podemos ter matrizes com 00 1 (chamadas ortcronas) e outras com 00 1 (chamadas no-ortcronas), novamente denindo uma diviso de L em subconjuntos que no podem ser continuamente conectados. Adota-se a seguinte simbologia e nomenclatura para estes subconjuntos: det sgn00 + + prprio ortcrono (restrito) imprprio ortcrono prprio no-ortcrono imprprio no-ortcrono

L + L L + L

+1 1 +1 1

As diferentes componentes de L so conectadas por transformaes de Lorentz especiais chamadas de transformaes discretas, que so: inverso espacial (tambm chamada de paridade), x x, representada pela matriz P = diag (1, 1, 1, 1) inverso temporal, t t, representada pela matriz T = diag (1, 1, 1, 1) inverso espao-temporal, obvimente representada por PT = . Claramente, P L e T L . Alm disso, seja L: fcil ver que o produto P tem determinante de sinal oposto ao de , enquanto que T tem determinante e a componente 00 de sinais opostos ao de . Isto signica que PL = L + ; T L = L + ; PT L = L . + + (3.7)

As transformaes discretas P, T e PT, portanto, comunicam as vrias componentes de L. Note que L , de forma que apenas o subconjunto de transformaes de Lorentz restritas um + subgrupo. Podemos, contudo, denir outros subgrupos de L da seguinte forma: L+ = L +

L +

L0 = L +

L = L +

Como o subconjunto L+ contem apenas matrizes com determinante +1, trata-se do grupo que os matemticos chamam de SO (3, 1). Toda esta informao sobre a estrutura do grupo de Lorentz representada no diagrama abaixo.

3.1. O GRUPO DE LORENTZ

27

De hora em diante, vamos sempre considerar apenas o subgrupo restrito L , e consideraremos as + transformaes discretas separadamente. Na verdade, quando dissermos que uma teoria invariante de Lorentz, estaremos nos referindo apenas ao subgrupo restrito L . Existem teorias que so invariantes + por L mas no pelo grupo L completo: por exemplo, a teoria eletrofraca, responsvel pela descrio + unicada das interaes eletromagnticas e nuclares fracas, viola a simetria de paridade (Prmio Nobel a T. D. Lee e C. N. Yang em 1957), e tambm a transformao de inverso temporal T violada em interaes elementares (Nobel de 1964 e 2008). A interpretao fsica das transformaes descritas por matrizes L vem do seguinte teorema: + Teorema 1. Seja L . Ento pode ser escrito da forma + = R2 R1 onde R1,2 = que 1 0 0 R1,2 , sendo que R1,2 so matrizes do grupo de rotao tridimensional SO (3)2 , enquanto cosh sinh = sinh cosh 0 representa uma transformao de Lorentz usual no plano x0 x1 . No vamos provar o teorema aqui, mas sua interpretao fsica clara: uma transformao de Lorentz genrica deve representar a passagem de um referencial S para outro referencial S que se move com relao a S com a velocidade constante v. Tal transformao pode ser decomposta, pelo teorema, como o produto de trs transformaes consecutivas: uma rotao que alinha os eixos x1 de S com a velocidade v, um boost, ou seja, uma transformao de Lorentz ao longo de x1 , da forma que conhecemos de cursos elementares
2 Ou

0
22

seja, matrizes 3 3 ortogonais com determinante unitrio satisfazendo R T R =

28

CAPTULO 3. SIMETRIA RELATIVSTICA

uma rotao que alinha o eixo x1 do referencial aps o boost ao do referencial S .

Vamos agora nos restringir a matrizes L , e vamos estudar os geradores do grupo de Lorentz + restrito. Para tanto, vamos considerar uma transformao innitesimal

= + ;

1.

(3.8)

Inserindo em (3.5), pode-se ver que tem que satisfazer = , ou seja, antisimtrico. Isto signica que a matriz de componentes tem seis componentes independentes, e portanto teremos seis geradores na lgebra de Lie de L . + Tais geradores sero representados por matrizes antisimtricas M . Note que, a esta altura, os ndices , variam de 0 a 3 mas no so necessariamente ndices espao-temporais (discutiremos isto mais adiante). Pode-se encontrar explicitamente a forma das matrizes L e isto ser proposto como um exerccio ao estudante; citamos aqui o resultado: M
= i

(3.9)

Desta equao, pode-se por clculo direto encontrar as relaes de comutao entre os L mas, por motivos puramente didticos, vamos proceder de forma diferente, aproveitando o fato de que em ltima instncia estaremos interessados em denir uma teoria quntica que seja invariante pelo grupo L . + Por isso, iremos posteriormente estudar como deve se implementar a simetria relativstica na mecnica quntica e, a partir da, descobrir como a lgebra dos geradores M . Antes, vamos voltar a discutir a transformao mais completa (3.2), incluindo a parte no homognea.

3.2

A lgebra do Grupo de Poincar

x = x + b = (, b) x ,

Voltando a considerar a transformao geral entre coordenadas (3.10)

vemos que alm dos seis parmetros que identicam as matrizes , devem existir mais quatro associados parte inomognea, portanto o grupo completo de transformaes (, b) possui dez geradores. Este grupo denominado de grupo de Poincar P . Matematicamente, ele dado pelo produto semi-direto do grupo L com o grupo de translaes em quatro dimenses T4 : P = L T4 . A lei de produto do + + grupo obtida calculando-se o efeito de duas transformaes consecutivas (1 , a) e (2 , b) sobre um vetor arbitrrio x , e o resultado

( 2 , b ) ( 1 , a ) = ( 2 1 , 2 a + b ) .
a inversa da transformao (1 , a) dada por 1 1 , 1 1 a .

(3.11)

Fica como exerccio ao leitor perceber que tal produto efetivamente dene um grupo. Por exemplo,

Na Mecnica Quntica, toda operao de simetria deve estar associada a operadores U (, a) que so unitrios, U (, a) = U (, a)1 , (3.12) que so responsveis por transformar um vetor de estado que descreve um estado fsico num dado referencial, no novo vetor de estado correspondente ao mesmo estado fsico visto por um outro referencial inercial, ou seja, (3.13) | U (, a) | .

3.2. A LGEBRA DO GRUPO DE POINCAR

29

Similarmente, U (, a) tambm relacionam operadores O num dado referencial para o referencial transformado: O U (, a) O U (, a)1 . (3.14) O requerimento de que U (, a) efetivamente forma uma representao que, respeitando (3.11), estes operadores devem satisfazer U ( 2 , b ) U ( 1 , a ) = U ( 2 1 , 2 a + b ) . O operador identidade corresponde a U( e uma transformao innitesimal dada por i U ( + , ) = 1 + M i P . 2 (3.17)
44 , 0 )

(3.15)

= 1,

(3.16)

Como a matriz antisimtria, M tambm o . So portanto dez geradores M e P , que devem ser hermiteanos para que U seja unitria. Examinemos agora o produto U () U ( + ) U ()1 = U ( + ) 1 , (3.18)

onde a identidade consequencia imediata de (3.11). Expandiremos os dois membros da identidade usando (3.17), obtendo i U () U ( + ) U ()1 = 1 + U () M U ()1 2 e U ( + ) 1 = 1 + i ( + ) 1 2 i = 1 + 1 1 2 M

M ,

onde, para chegar ltima identidade, temos que usar que 1 = T . Comparando-se as duas expresses para arbitrrio, conclumos que U () M U ()1 = 1

M .

(3.19)

Daqui se v que cada ndice de M se transforma, frente a uma transformao de Lorentz, exatamente como deve se transformar um ndice de espao-tempo. O fato de aparecer a matriz inversa em (3.19) vem da diferena entre a viso ativa e passiva de uma transformao de coordenadas, e de que, na mecnica quntica, sempre pensamos em transformaes ativas sobre os estados; veremos isso mais adiante. Um clculo mais completo deveria partir de U (, a) U ( + , ) U (, a)1 , incluindo tambm as translaes, o resultado que se obteria seria3 U (, a) M U (, a)1 = 1 U (, a) P U (, a)1 = 1
3O

1 P .

[ M a P + a P ] ,

(3.20a) (3.20b)

leitor interessado deve consultar Weinberg Vol I, seo 2.3.

30

CAPTULO 3. SIMETRIA RELATIVSTICA

A leitura destas equaes : P se transforma como um vetor frente a transformaes de Lorentz inomogneas, sendo invariante por translaes como todo vetor deve ser. J M se transforma como um tensor de dois ndices que no invariante por translaes. Um objeto que o leitor j deve conhecer e que tem este comportamento o momento angular. Partindo-se agora de (3.20), considerando uma transformao innitesimal U (, a) = U ( + , ), expandindo os dois lados das equaes at primeira ordem em e , aps as devidas simetrizaes obtemos nalmente as relaes de comutao entre os geradores ou, em outras palavras, a lgebra de Lie do grupo de Poincar: M , M = i M M + M M , M , P = i ( P P ) , (3.21a) (3.21b) (3.21c)

[ P , P ] = 0 .

Para facilitar a interpretao fsica destas relaes, convm decompor os geradores M e P em componentes espaciais e temporais da seguinte forma, 1 Ji = ijk M jk 2 Pode-se obter de (3.21a-b) as relaes: Ji , Jj = i ijk Jk ; Ji , K j = i ijk Kk ; Ki , K j = i ijk Jk ,
0

Ki = Mi0 .

(3.22)

(3.23a) (3.23b) (3.23c)

Ji , Pj = i ijk Pk ; Ki , Pj = iP ij Ji , P0 = 0 ; Ki , P0 = iPi Estas relaes signicam que Ji obedecem algebra do momento angular, logo correspondem a rotaes espaciais

Ki , por excluso, so os geradores responsveis por boosts na direo dos trs eixos coordenados considerando P0 como o operador que ser identicado com a Hamiltoniana, vemos que Ji conservado, mas no Ki .

3.3

Estados de uma Partcula Relativstica

Antes mesmo de introduzir a noo de campos e sua quantizao, podemos inferir apenas dos princpios fundamentais da mecnica quntica e da relatividade restrita a resposta a uma pergunta fundamental: quais so os estados qunticos de uma partcula relativstica? esperado que os estados de uma partcula relativstica seja descrita, na mecnica quntica, por um vetor identicado por um nmero adequado de rtulos,

| i ,
onde, como usual, os i so os autovalores (contnuos ou discretos) de um conjunto completo de operadores que comutam entre si. Frente a uma transformao de Lorentz, a completude deste conjunto signica que U (, a) |i = Di i (, a) | i .
i

3.3. ESTADOS DE UMA PARTCULA RELATIVSTICA

31

As matrizes Di i (, a) claramente devem corresponder a uma representao do grupo de Poincar, ou seja, devem se multiplicar respeitando (3.11):

D
i

i i

( 1 , b ) D i i ( 1 , a ) = D i i ( 2 1 , 2 a + b ) .

(3.24)

Conforme discutido no Apndice A.1, se estamos considerando uma partcula elementar, natural impor que a matriz Di i pertena a uma representao irredutvel do grupo de Poincar. Desta forma, a pergunta inicial transforma-se na seguinte: quais as representaes irredutveis do grupo de Poincar? Em particular, quais os nmeros qunticos que rotulam os vetores |i nestas representaes? A tarefa de catalogar as representaes irredutveis de um determinado grupo ou lgebra de Lie comea pela identicao dos operadores de Casimir da lgebra, basicamente porque estes operadores entraro no conjunto completo de operadores comutantes, e os autovalores correspondes servem como rtulos que diferenciam as diferentes representaes irredutveis 4 . Ou seja, os estados qunticos de uma partcula relativstica tero a forma (3.25) | i ; i , onde i so os autovalores dos operadores de Casimir, e frente a uma transformao de Lorentz teremos U (, a) |i ; i =

D
i

i i

(, a) i ; i .

(3.26)

Os operadores de Casimir da lgebra de Poincar so aqueles que comutam com M e P . Como o quadrado de um vetor x x um escalar de Lorentz, e como j provamos em (3.20b) que o gerador P se transforma como um vetor, intuitivo que P2 = P P deve ser um operador de Casimir, como pode ser facilmente vericado. O outro operador de Casimir no de interpretao fsica to imediata. Dene-se o vetor de Pauli-Lubanski como 1 W = P M , (3.27) 2 tal que M , W = i W W ; P , W = 0 . (3.28) A primeira relao indica que W se transforma como um vetor frente a transformaes de Lorentz, e portanto W 2 = W W tambm comuta com M e P e portanto tambm um Casimir. Escrevendo-se explicitamente as componentes temporais e espaciais de W , em termos de Ji e Ki denidos em (3.22), pode-se mostrar que W0 = P J ; W = P0 J P K , (3.29)

expresses que por enquanto no nos dizem muito sobre a interpretao fsica de W , mas que sero teis mais adiante quando tal interpretao for investigada. O conjunto completo de operadores comutantes cujos autovetores denem a representao portanto necessariamente inclui P2 e W 2 ; os nicos outros geradores que podemos agregar a este conjunto correspondem aos P (que comutam entre si) e uma das componentes de W , que usualmente escolhe-se como sendo W3 . No existe qualquer outro operador que pode-se agregar a tal conjunto e que ainda comute com todos os elementos que j esto neste conjunto. Isto signica que o espao de estados de uma partcula relativstica gerado pelos vetores p2 , 2 ; p , , autovetor de P2 , W 2 , P e W3 com autovalores p2 , 2 , p e , respectivamente.
4O

(3.30)

leitor pouco acostumado a tal nomenclatura deve se reportar ao Apndice A.1 para maiores esclarecimentos.

32

CAPTULO 3. SIMETRIA RELATIVSTICA

A escolhe dos operadores P como parte do conjunto completo de operadores comutantes cujos autovetores ir gerar o espao de estados da partcula relativstica bastante afortunado, j que o efeito de uma translao pura U ( , a) = eia P (3.31) sobre os vetores da base do espao de estados bastante simples: U ( , a) p2 , 2 ; p , = eia P

p2 , 2 ; p , = eia

p2 , 2 ; p , .

(3.32)

Para estudar o efeito da aplicao de uma transformao de Lorentz pura sobre um estado, U (, 0) p2 , 2 ; p , = ei/2 M

p2 , 2 ; p , ,

(3.33)

vamos primeiro reescrever a equao (3.20b) trocando por 1 , U ()1 P U () = P . Omitimos o parmetro de translao pois este nulo. Calculemos: P U ( ) p2 , 2 ; p , (3.34)

= U ( ) U ( ) 1 P U ( ) p 2 , 2 ; p ,
P

=U

() P

p2 , 2 ; p , ,

(p)| p2 , 2 ; p ,

= (p) U () p2 , 2 ; p ,

onde as diferentes notaes p = P = p no devem confundir o leitor. O que vemos desta equa o que U () p2 , 2 ; p , tambm um autovetor de P com autovalor P . Ou seja, escrevendo de forma mais sinttica, U () | p |p , o que corresponde justamente ao que esperaramos do efeito de uma transformao de Lorentz sobre uma partcula de momento p . Escrevendo de forma mais completa, temos U ( ) p2 , 2 ; p , =

(, p) p2 , 2 ; p ,

(3.35)

O problema determinar a forma das matrizes D (, p). A soluo deste problema devido, em grande parte, ao trabalho seminal de Wigner no nal dos anos 19305 , que demonstrou o seguinte resultado: Seja o vetor p tal que p = Wk onde k um dado vetor xado e W L ; ento pode-se encontrar + a matriz D (, p) a partir de D ( , k ), onde uma transformao de Lorentz que deixa k invariante: k = k . Este resultado de Wigner permite uma grande simplicao no problema: ao invs de encontrar D (, p) para qualquer p e para qualquer , podemos dividir o problema em categorias, cada uma incluindo momentos p que podem ser levados uns aos outros por transformaes de L . Em cada + categoria, basta considerar um momento xo arbitrrio k, e considerar o subconjunto das transformaes de L que deixam este vetor k xo. + De forma mais concreta: uma transformao qualquer W L aplicada a um tetravetor arbitrrio + p no muda o valor de p2 = p p (que um escalar de Lorentz) e tambm no muda o sinal de p0 (pois
leitor interessado encontrar disponvel online o principal trabalho de Wigner sobre este tema: On Unitary Representations of the Inhomogeneous Lorentz Group, The Annals of Mathematics, Vol. 40, No. 1 (Jan., 1939), pp. 149-204, no endereo http://www.jstor.org/stable/1968551.
5O

3.3. ESTADOS DE UMA PARTCULA RELATIVSTICA

33

W 00 > 0). Desta forma, por exemplo, nenhuma transformao W L leva um vetor com p2 = m2 = 0 + a um vetor com p2 = 0, ou um vetor com p0 > 0 a um vetor com p0 < 0. Portanto, as categorias de momento p que temos que considerar so: 1. p2 = 0 e p0 > 0 2. p2 = 0 e p0 < 0 3. p2 = 0 e p0 > 0 4. p2 = 0 e p0 < 0 5. p = 0 A 5 categoria corresponde representao trivial do grupo de Poincar, em que todos os geradores so nulos e o grupo se reduz transformao identidade. Fisicamente, podemos associar tal representao ao estado de vcuo, que invariante por transformaes de Poincar. Como queremos interpretar p como o vetor momento da partcula relativstica, os casos em que 0 < 0 correspondem a partculas de energia negativa, o que no sicamente aceitvel. As nicas p possibilidades sicamente aceitveis so: p2 = 0 e p0 > 0 e p2 = 0 e p0 > 0. Vamos estudar cada uma individualmente. 1 Caso: partculas com massa no nula, p2 = m2 = 0 e p0 > 0 Partculas de massa no nula possuem um referencial de repouso: neste referencial, seu vetor momento reduz-se a k = m, 0 . (3.36) O grupo de transformaes que deixa tal k invariante o grupo de rotaes em trs dimenses: SO (3). Os geradores de tal grupo so os operadores de momento angular Ji . No referencial de repouso, contudo, o momento angular orbital anula-se, de forma que Ji = Si , onde Si o operador de spin. A teoria de representaes dos operadores de spin bem conhecida: as representaes irredutveis correspondem a s = 0, 1 , 1, . . . e, em cada representao, o nmero de estados 2s + 1. Pelo teorema de Wigner, estas 2 concluses obtidas para a forma particular de k acima vale para qualquer partcula com massa no nula e energia positiva. Da conclui-se: uma partcula relativstica de massa no nula e energia positiva e momento linear p possui 2s + 1 estados, associados ao spin. De fato, de (3.29) e (3.36), conclui-se que W = m J = mS e portanto os estados qunticos correspondem a

| p , s
onde s corresponde ao spin. Pausa para a reexo: acabamos de provar, baseados unicamente na teoria de representaes do grupo de Poincar, que toda partcula relativstica com massa no nula possui graus de liberdade associados a spin. Esta a demonstrao mais fundamental do fato de que a relatividade restrita impe a introduo, na teoria quntica, do conceito de spin. 1 Caso: partculas com massa nula, p2 = 0 e p0 > 0

34

CAPTULO 3. SIMETRIA RELATIVSTICA

Partculas de massa nula viajam com a velocidade da luz e portanto no possuem referencial de repouso. Contudo, sempre podemos escolher um referencial em que o momento linear assume a forma k = p0 , 0, 0, p0 . De fato, de (3.29) e (3.37), pode-se mostrar que W 0 = W 3 = p0 J 3 . (3.38) (3.37)

Introduzindo o conceito de helicidade, como sendo a projeo do momento angular na direo do movimento, pj = | p| vemos que, neste caso = J3 . Um pouco de trabalho algbrico permite tambm demostrar que (3.39)

[W1 , W2 ] = 0 ,
e, consequentemente, W 2 = W W = + , onde = W1 iW2 . Por m, a relao de comutao (3.41) (3.42) (3.40)

[, ] = ,

signica que podem ser interpretados como operadores de subida e descida para autovalores de . Ou seja, se |, satisfazem, W 2 |, = |, , (3.43) |, = |, ento + |, = a, |, + 1 ; |, = b, |, 1 . (3.44) At agora, no especicamos quais os valores de e , o que passaremos a fazer agora. De (3.44) conclumos que se 0 pertence ao espectro de , ento 0 n, onde n Z, tambm deve pertencer. Por outro lado, de (3.39) vem que o operador que gera rotaes em torno do eixo z, e portanto est sujeito restrio de que uma rotao pelo ngulo de 2 deve resultar num sinal, ou seja ei2 J3 |, = ei2 |, = ei2 |, = |, , e portanto, deve ser necessariamente inteiro ou semi-inteiro. Isso signica que o espectro de da forma {0, 1, 2, . . .} ou 1 3 0, , , . . . 2 2

At agora, o raciocnio muito parecido como o que feito ao se estudar as repreentaes da lgebra de momento angular. Neste ponto, nos perguntamos se o espectro de pode ser nito. Isso claramente depende se a, e b, podem se anular para algum valor mximo e mnimo de , respectivamente.

3.3. ESTADOS DE UMA PARTCULA RELATIVSTICA

35

Contudo, a imposio de que os geradores da lgebra so todos hermitianos signica que (W ) = W e, portanto, de (3.41) segue que (+ ) = e portanto usando (3.40) e (3.43) 2 = , W 2 ,

= , |+ | , = | |, |2 = b,
Por outro lado a = ( , + 1 |+ | , ) ,
2

= , | | , + 1 = b,+1 .
Destas duas ltimas relaes, se = 0, ento a, e b, no se anulam para qualquer valor de . Isso signica que a representao innito-dimensional, e uma partcula de massa nula teria um nmero innito de graus de liberdade, associado ao valor de . Tal situao no considerada aceitvel, e portanto esta possibilidade descartada. Resta assim apenas a possibilidade que = 0, o que por sua vez implica que a, e b, so identicamente nulos, bem como os operadores . Neste caso, no h operador de subida e descida para , e o espao de estados descrito pelos vetores | p , onde , como j armamos, inteiro ou semi-inteiro xo. Uma sutileza aqui, contudo: at o momento consideramos apenas transformaes de Lorentz contidas em L . Ao considerar as transformaes discretas, P e T, contudo, vamos mostrar logo mais que P + inverte o sinal de , ou seja, U ( P, 0) | = | . Portanto, se consideramos uma partcula cujas interaes respeitam a simetria de paridade, temos que incluir tambm no espao de estados o estado com sinal trocado de . Neste caso, dizemos que: uma partcula relativstica de momento p de massa nula possui no mximo 2 estados, correspondes aos dois sinais da helicidade . Esta armao se aplica, por exemplo, ao fton. O fton uma partcula de spin 1 que, como veremos, ser representada na TQC por um campo vetorial A , de quatro componentes. O que acabamos de mostrar foi que um fton de determinado momento deve ter dois estados qunticos, que correspondem sicamente s duas polarizaes possveis da radiao eletromagntica. O mesmo pode-se dizer do grviton, a partcula que deve descrever a interao gravitacional numa teoria quntica da gravitao (ao menos em baixas energias): embora a partcula tenha spin 2, ela ter apenas 2 estados qunticos. A teoria de representao do grupo de Poincar, que discutimos aqui, bastante complexa. Mas mesmo ao leitor que no seja afeito a tais digresses matemticas, esperamos que os resultados obtidos, pela sua generalidade, sejam relevantes: Toda partcula relativstica de massa no nula e energia positiva e momento linear p possui 2s + 1 estados, associados ao spin. Toda partcula relativstica de massa nula, energia positiva e momento p , possui no mximo 2 estados, correspondes aos dois sinais da helicidade. Note que tais concluses vieram apenas da aplicao dos princpios mais elementares da mecnica quntica, e do estudo da estrutura do grupo de simetria associado Relatividade Restrita. Ou seja: no foi feita nenhuma considerao sobre modelos especcos, e sequer foi feito uso de todo ferramental da TQC que iremos introduzir a partir do prximo captulo.

36

CAPTULO 3. SIMETRIA RELATIVSTICA

3.4

Simetrias Discretas

Lembramos ao leitor que existem duas transformaes de Lorentz que no pertencem a L e que portanto + ainda no levamos em conta: P= 1 0 0 33 ; T=

1 0

0
33

(3.45)

Deixamos estas transformaes de lado basicamente por dois motivos, matematicamente, porque elas no pertencem a L , que o setor do grupo de Lorentz continua+ mente conectado identidade, e que portanto pode ser estudado via sua lgebra de Lie, sicamente, porque P e T no so simetrias exatas, j que as interaes fracas violam tanto P quanto T. Vamos agora supor que estejamos em uma teoria em que o segundo motivo no se aplica, e portanto estamos interessados em estudar os operadores unitrios U ( P, 0) e U ( T, 0). De ora em diante, vamos adotar o abuso de notao: U ( P, 0) = P ; U ( T, 0) = T . (3.46) Vamos estudar produtos de operadores similares ao da equao (3.18), agora envolvendo os operadores P e T: P U (, a) P1 = U P P1 , Pa (3.47) e T U (, a) T 1 = U T T 1 , Ta . (3.48)

Consideramos agora a transformao innitesimal U (, a) = U ( + , ) e utilizamos a expanso (3.17). Contudo, vamos tomar a preveno de manter os fatores de i na posio original em que eles aparecem, por motivos que logo caro claros. Iremos encontrar relaes similares a (3.19), P iM P1 = iP P M ,

(3.49) (3.50) (3.51) (3.52)

P iP P1 = iP P , T iM T 1 = iT T M ,

T iP T 1 = iT P . Considere a equao (3.50) para = 0, P iP0 P1 = i P0 P = +iP0 .

+ 0

Considerando que P0 corresponde energia (e na teoria quntica dever assumir o papel de Hamiltoniana), claramente seria indesejvel se a simetria de paridade levasse uma partcula com E > 0 a uma com E < 0. Por isso, exigimos que P i = i P, o que signica que P um operador linear, e garantimos assim que a Hamiltoniana invariante por paridade, P H P 1 = H . Considere, contudo, (3.52) para = 0: T iP0 T 1 = i T 0 P = iP0 .
0

(3.53)

3.4. SIMETRIAS DISCRETAS

37

Se o operador T fosse linear, P0 seria levado a P0 pela simetria de inverso temporal, o que queremos evitar pois queremos uma teoria quntica envolvendo apenas partculas com energias positivas. Somos forados, portanto, a admitir que o operador T antilinear: T = T , C , de forma que logo T iP0 T 1 = (i ) T P0 T 1 = iP0 , T H T 1 = H . (3.54)

Usando a antilinearidade de T, podemos nalmente escrever, das eqs. (3.49) a (3.52): P M P1 = P P M ,

(3.55a) (3.55b) , (3.55c) (3.55d)

P P P1 = P P , T M T 1 = TP T
T T M

T P

P0

conveniente reescrever as eqs. (3.55) em termos dos geradores Ji Mij e Ki Mi0 , bem como = H e Pi . O leitor deve convencer-se que o resultado P J P 1 = + J , PKP PHP
1

(3.56a) (3.56b) (3.56c) (3.56d)

= K , = +H ,

P P P 1 = P ,
1

T J T 1 = J , TKT THT
1

(3.57a) (3.57b) (3.57c) (3.57d)

= +K , = +H ,

T P T 1 = P ,
1

Quando discutimos a representao do grupo de Poincar para partculas sem massa, armamos que P | = | onde um autovetor de = J P. Usando as relaes (3.56), vemos que P J P P 1 = P J P 1 P P P 1 = J P ,
J

o que prova que realmente a operao de paridade inverte o sinal do autovalor de .

38

CAPTULO 3. SIMETRIA RELATIVSTICA

Captulo

Quantizao Cannica do Campo Escalar

4.1 A Quantizao Cannica do Campo Escalar Complexo

At o presente momento, discutimos as consequncias da simetria relativstica na Mecnica Quntica de uma forma completamente geral e independente de modelos, de forma que as concluses a que chegamos no dependem de propriedades de uma formulao especca da Teoria Quntica de Campos. O ponto de vista que tentamos advogar que estamos descobrindo as propriedades que esperamos de uma TQC, desde que esta se prope como uma teoria quntica plenamente consistente com a Relatividade Geral. Neste captulo, vamos estudar uma primeira TQC especca, partindo da Lagrangeana clssica do Campo Escalar Complexo,

L = m2 ||2 ,
e construindo, a partir dela, uma teoria quntica que satisfaz as propriedades esperadas.

(4.1)

Antes de mais nada, vamos considerar que tipo de partculas esperamos que o campo escalar possa descrever. Considere uma transformao de Lorentz x x = x que corresponde passagem de um referencial S para outro referencial S . O valor do campo escalar num dado ponto do espao-tempo denotado por ( x ) no referencial S. No referencial S , o mesmo ponto especicado pelas coordenadas x e, em princpio, o valor do campo tambm pode mudar, de forma que denotaremos por ( x ) o valor do campo neste ponto do espao tempo, conforme observado por S . Por denio, um escalar de Lorentz uma grandeza que no muda na passagem de um referencial S para um S : portanto, para um campo escalar ( x ) impomos que (x) = x . (4.2)

Por outro lado, fazendo a mudana x 1 x podemos tambm escrever ( x ) = 1 x . Para uma transformao innitesimal, 1 at 1 ordem em ,

(4.3)

= , em que antisimtrico, e expandindo

( x ) = x x

( x ) x ( x ) i = ( x ) [i ( x x )] ( x ) , 2
39

40

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

onde, para chegar ltima linha, foi usada a antisimetria de . Identicando nesta expresso o gerador de uma transformao de Lorentz innitesimal1 , i ( x ) = M ( x ) , 2 chegamos a M = i ( x x ) . Particularizando para as componentes espaciais Mij = J ij , em que J ij = Lij + Sij , e Lij = xi P j x j Pi , o momento angular orbital e Sij o spin, vemos que para o campo escalar vale que J = L, ou seja, S = 0. de se esperar, portanto, que o campo escalar possa descrever uma partcula de spin zero. Conforme o teorema geral discutido no captulo 3, isso signica que os estados qunticos de uma partcula de massa no nula sero rotulados simplesmente pelas quatro componentes do momento linear p . A construo de uma teoria quntica a partir da Lagrangeana clssica (4.1) feita a partir de um conjunto de regras que denem uma quantizao. O mtodo de quantizao mais conhecido a chamada quantizao cannica, usualmente considerada em cursos elementares de Mecnica Quntica. O nome vem de que esta quantizao baseada na formulao Hamiltoniana para a Mecnica Clssica. Partindo-se de uma Lagrangeana que tipicamente da forma L (qi (t) , qi (t)) = K (qi ) qi q j V (qi ) ,
i,j

(4.4)

(4.5)

(4.6)

dene-se os momentos canonicamente conjugados a cada coordenada qi (t), pi = e a Hamiltoniana L , qi (4.7)

H = pi qi L ( qi , qi ) .
i

(4.8)

A teoria quntica construda a partir desta teoria clssica promovendo as coordenadas qi e momentos pi a operador hermitianos qi e pi que satisfazem a uma lgebra denida a partir dos parntesis de Poisson clssicos, i qi , p j qi , p j . h (4.9) Uma vez construdos operadores qi e pi que satisfazem esta lgebra (o que usualmente feito conjuntamente com a construo do espao de estados sobre os quais estes atuam), a dinmica quntica con trolada pelo operador Hamiltoniano, obtido da funo Hamiltoniana clssica pela substituio qi qi e pi pi (salvo ambiguidades de ordenamento). Queremos aplicar as regras da quantizao cannica ao campo escalar, partindo da Lagrangeana (4.1); comparando esta equao com (4.6), vemos que ao conjunto discreto de coordenadas qi (t), podemos corresponder o conjunto innito no-enumervel de coordenadas x (t) = (t, x ), uma para cada ponto do espao tridimensional, sendo que as somas nos ndices de q e p tornam-se integrais em d3 x. Desta forma, podemos denir os momento canonicamente conjugados a e da seguinte maneira, x0 , x =
1 Note

L = 0 x 0 , x ( 0 )

x0 , x =

L = 0 x 0 , x , 0

(4.10)

que o sinal negativo aparece por tratar-se de uma transformao de Lorentz inversa, conforme (4.3).

4.1. A QUANTIZAO CANNICA DO CAMPO ESCALAR COMPLEXO

e a Hamiltoniana,

41

H=

d3 x + L ,

que, calculada explicitamente, reduz-se a H = d3 x + ( )

+ m2 .

(4.11)

Observe que, conforme exerccio da Lista, H = d3 x T 00 , em que T 0 a corrente conservada associada, pelo teorema de Noether, simetria de translao x x + a . Desta forma, lembrando que tipicamente a Hamiltoniana associada energia mecnica total do sistema, podemos identicar T 00 como a densidade de energia, e P0 = d3 x T 00 , (4.12)

corresponde efetivamente componente temporal do tetravetor-momento. Relembramos agora a soluo geral para a equao de Klein-Gordon encontrada no captulo 2, (x) = em que f k (x) = e
i k x 0 k x

d3 k 2k

f k ( x ) a k + f k ( x ) bk ,

(4.13)

(2 )3/2

(4.14)

e k = k2 + m2 . Claramente, ak e b so o que chamamos anteriormente de k ; esta mudana de k nomenclatura conveniente para tratar da quantizao. Pode-se mostrar que, se promovemos ak e bk a operadores que satisfazem as relaes de comutao q ak , a = 2k 3 k q ; bk , bq = 2k 3 k q ,

todas os demais comutadores se anulando, ento os operadores ( x ) e ( x ) assim denidos, e os correspondentes momentos canonicamente conjugados, satisfazem s relaes de comutao, x0 , x , x0 , y = x0 , x , x0 , y

= 0,

x0 , x , x0 , y

= i3 ( x y) ,

de acordo com a lgebra clssica de Parntesis de Poisson da teoria clssica, segundo a correspondncia i {, } [, ]. Da motivamos a proposta para a teoria quntica do Campo Escalar Complexo: os campos so dados por (x) = d3 k 2k
f k ( x ) a k + f k ( x ) bk ,

(4.15a) (4.15b)

( x ) = 0 ( x ) = i onde os operadores ak e bk satisfazem q ak , a = 2k 3 k q

d3 k k f ( x ) a f k ( x ) bk , 2k k k

bk , bq = 2k 3 k q .

(4.16)

42

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

O operador Hamiltoniano obtm-se diretamente de (4.11) substituindo-se os campos pelos correspondentes operadores. O uso de (4.15) e (4.16) permite reescrever a Hamiltoniana em termos dos opera dores ak e bk da seguinte forma, 3 d k H= a a + bk bk . (4.17) 2k k k k Finalmente, calculamos a lgebra de H com os operadores ak e bk , obtendo H, a k = k a k H , bk = k bk ; ; k k H, a = + k a , H , bk = + k bk . (4.18a) (4.18b)

Estas relaes j devem ser conhecidas do leitor, signicam que tanto ak , a quanto bk , b so operadores k k que sobem e descem o autovalor do operador H pela quantidade k . Por exemplo, se H | E = E | E , ento H a k | E = H, a k + a k H | E = E k a k | E . Ou seja, o operador ak diminui a energia do estado pela quantidade k = k2 + m2 , que corresponde justamente energia de uma partcula relativstica de massa m e momento linear k. Isso nos motiva a interpretar ak como o operador que destri uma partcula. De forma similar, a satisfaz
k

k k H a | E = E + k a | E , e portanto interpretamos a como o operador que cria uma partcula. Exatamente o mesmo pode-se k dizer dos operadores b e b .
k k

Para distinguir o papel dos operadores a e b, temos que considerar outra simetria da Lagrangeana (4.1): a simetria de fase eiq ; eiq , (4.19) em que [0, 2 ] e q um nmero real positivo arbitrrio. A transformao innitesimal dada por ( x ) = iq ( x ) ; ( x ) = iq ( x ) . (4.20)

Lembramos aqui a expresso derivada no captulo 2 para a corrente de Noether associada a uma simetria qualquer, devidamente generalizada para o caso do campo complexo, e omitindo termos que no sero aqui necessrios, C em que x = = Comparando com (4.20),
x x

L ,

= 0 (pois a transformao de fase no modica as coordenadas x) e

= iq ( x )

= iq ( x ) ,

4.1. A QUANTIZAO CANNICA DO CAMPO ESCALAR COMPLEXO

o que leva corrente de Noether C =
iq

43

iq

L ,

ou seja,

C ( x ) = iq ( x ) ( x ) ,

(4.21)

lembrando que A B = AB (A) B. Obtemos assim a grandeza conservada associada simetria de fase, 3 0 Q = d x C ( x ) = iq d3 x ( x ) ( x ) . (4.22)
Na teoria quntica, denimos o operador Q substituindo os campos pelos correspondentes operado em termos de a e b da forma res. Usando (4.16), reescreveremos Q Q=q d3 k 2k k a a k bk bk . (4.23)

Precisamos calcular os comutadores de Q com a e b, e com a Hamiltoniana H; os resultados so Q, ak = q ak Q, bk = +qbk e H, Q = 0 . (4.25) A segunda equao nos diz que podemos considerar vetores que so autoestados simultneos de H e Q, ; ; k Q, a = +q a , k Q, bk = qbk . (4.24a) (4.24b)

H | E, Q = E | E, Q

Q | E, Q = Q | E, Q ,

(4.26)

enquanto que as primeiras indicam que ak , a so operadores que descem/sobem o autovalor de Q por k uma unidade q, enquanto que os papis de b , b so trocados. Por hora, no temos nenhuma razo
k

para dar um nome especial ao valor Q, mas mais adiante, quando estudarmos o campo eletromagntico, veremos que ser natural interpretar Q como sendo a carga eltrica. Vamos adotar esta identicao de ora em diante. Os resultados at agora obtidos sobre os operadores ak e bk nos sugerem que eles esto associados a operadores de criao/aniquilao de partculas. Para proceder construo explcita do espao de estados onde atuam todos os operadores que consideramos, vamos postular a existncia de um estado de vcuo, que denido como o estado de menor valor de energia do sistema, denotado por |0 . Segundo (4.18), o que caracteriza o vcuo que a k | 0 = bk | 0 = 0 . (4.27) Atuando no vcuo, o operador a aumenta o valor de carga por +q e de energia por +k . Por outro k diminui o valor de carga por q e aumenta o de energia por + . Podemos dizer lado, o operador b que,
k k k

a cria uma partcula de carga positiva +q e energia positiva +k ak destri uma partcula de carga positiva +q e energia positiva +k

44

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

b cria uma partcula de carga negativa q e energia positiva +k
k

bk destri uma partcula de carga negativa q e energia positiva +k Vemos que nossa teoria inclui apenas partculas de energia positiva, de forma que no temos os problemas de instabilidade discutidos no captulo 1. Por outro lado, o campos escalar complexo descreve dois tipos de partculas, de mesma massa mas cargas de sinais opostos. Assim como no captulo 1, vemos que a mecnica quntica relativstica naturalmente descreve partculas e antipartculas. O estado geral q q p (4.28) |q1 , . . . , qn ; p1 , . . . , pm = a1 an b 1 b m |0 , p pode ser interpretado como um estado de n partculas idnticas com momentos q1 , . . . , qn e m antipar tculas idnticas de momentos p1 , . . . , pm . Note que como os a s e os b s comutam entre si, o estado |q1 , . . . , qn ; p1 , . . . , pm simtrico por qualquer permutao envolvendo os qi ou os pi , exatamente o que se espera de um estado que representa um sistema de bsons idnticos. No caso de um campo escalar real, devemos ter ( x ) = ( x ) , o que, observando (4.15), implica a k = bk . Note que, neste caso, Q = 0. Temos portanto apenas um conjunto de operadores de criao e aniquilao de partculas neutras de massa m. Note que, consistentemente, a Lagrangeana de um campo escalar real no invariante frente transformao de fase (4.19). Denindo (x) = podemos construir um estado
+

d3 k k f ( x ) a 2k k

; (x) =

d3 k f ( x ) ak , 2k k

| x = ( x ) |0 =

d3 k f (x) k , 2k k

que corresponde a uma superposio linear de autoestados de momento linear para k totalmente arbitrrio. Considerando a relao de incerteza da mecnica quntica no-relativstica xp 1, se p esperaramos ter x 0, e portanto poderamos esperar que | x corresponda a um estado de uma partcula perfeitamente localizada no ponto x. Contudo, calculando a amplitude de probabilidade de encontrar a partcula descrita pelo estado x0 , x num outro ponto arbitrrio y, encontramos x0 , y x0 , x = 0 x0 , y + x0 , x 0 3 1 d k ik(xy) = e . 3 2k (2 )

(4.29)

No fosse o fator 1/2k que compe a medida de integrao relativisticamente invariante, teramos 3 ik(xy) d ke 3 ( x y), o que justicaria a identicao de x0 , x como um estado de uma partcula perfeitamente localizada. Contudo, calculando-se explicitamente a integral em (4.29) obtemos x0 , y x0 , x K1 (mr ) , r (4.30)

4.2. DIVERGNCIAS ULTRAVIOLETAS NA TEORIA DE CAMPOS

onde K1 uma funo de Bessel, e r = | x y|. No limite mr emr K1 (mr ) , mr 1,

45

(4.31)

de forma que o mximo que podemos dizer que a partcula est bem localizada numa regio de raio r 1/m ao redor de x. Fisicamente, este resultado consistente com o que esperamos de uma teoria quntica relativstica. Anal, localizar uma partcula com uma preciso da ordem x 1/m implica na utilizao de uma partcula teste com momento da ordem p m ou, equivalentemente, energia da ordem E m. Esta quantidade de energia suciente para criar pares de partculas/antipartculas de massa m, o que efetivamente acontece numa teoria relativstica, inviabilizando portanto a localizao da partcula inicial.

4.2

Divergncias Ultravioletas na Teoria de Campos

Note que at o momento, tomamos cuidado de denir o estado de vcuo como o estado de menor energia, mas no dissemos qual o valor desta energia; tambm no armamos qual a carga do vcuo. Vamos considerar agora a resposta a estas duas perguntas, ou seja, vamos calcular 0 |H| 0 e 0 Q 0 . Calculando a energia do vcuo: 3 d k k 0 |H| 0 = 0 a a k + bk bk 0 . (4.32) 2k k Como o vcuo aniquilado por ak , o primeiro termo se anula. No segundo, escrevemos bk bk = bk , bk + bk bk ,
2k 3 0

e apenas o termo com o comutator sobrevive, fornecendo d3 k 0 |H| 0 = (2 )3 3 0 . (2 )3 k

(4.33)

Encontramos um resultado que o produto de dois fatores divergentes. Fisicamente, a energia do vcuo no pode ser innita, de forma que claramente temos um problema. Esta apenas a primeira das vrias divergncias que encontraremos em Teorias de Campo, ento vamos agora buscar entender um pouco da origem deste problema, antes de mostrar como trat-lo. Formalmente, podemos escrever o segundo fator divergente em (4.33) da forma 3 3 (2 ) 0 = d3 x ei0x = V ,
1

(4.34)

onde V o volume (innito) do espao. Podemos eliminar esta divergncia considerando que o espao seja nito, com xi [ L/2, + L/2], ou seja, uma caixa tridimensional de aresta L. Neste caso, V = L3 = nito . Parte da divergncia de 0 |H| 0 vem, portanto, de supor que o espao innito. Esta concluso natural na relatividade restrita mas, na relatividade geral, o universo pode ser muito bem fechado e

46

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

limitado, por exemplo, ento talvez esta divergncia venha apenas de uma aproximao no-adequada para a natureza global do espao-tempo. Contudo, ainda resta um fator divergente a considerar. No caso em que o universo uma caixa limitada, a expanso de Fourier de qualquer campo passa a ser sobre um conjunto discreto de momentos k i = 2 ni , de forma que temos, L 0 |H| 0 = 1

(2 )

n i Z

( k i )2 + m2 V .

(4.35)

O outro fator divergente vem de considerarmos, na expanso de Fourier (x)

n i Z

eiki x k ,
i

valores arbitrariamente altos de ni e, consequentemente, de k i . Vejamos o que isto signica, sicamente: um modo de Fourier de momento da ordem implica, no espao real, numa resoluo da ordem de x 1/. Permitir que signica essencialmente que podemos discernir pontos com separao espacial arbitrariamente pequena, x 0. Esta suposio matematicamente expressa no fato de que, em todas as teorias fsicas atualmente aceitas, o espaotempo descrito por uma variedade diferencivel em suma, um conjunto contnuo de pontos. O formalismo matemtico destas teorias permite, em princpio, distinguir pontos do espao-tempo com uma preciso arbitrariamente alta. Esta talvez seja uma suposio forte demais. Primeiro, porque todas as experincias e observaes feitas at o momento envolvem partculas com energia nita, e pode no ser vlido extrapolar estes resultados para escalas de energia arbitrariamente alta. Segundo, existem argumentos de que, em escalas de comFigura 4.1: Representao esquemtica de primento muito pequenas, efeitos qunticos da gravique, examinando o espao-tempo em escalas tao devem se tornar importantes. No existe ainda de comprimento cada vez menores, eventualuma teoria de gravitao quntica bem estabelecida, mente as utuaes qunticas da prpria geomas vrias propostas sugerem que a estrutura de variemetria tornam-se aparentes, e perde-se a sudade diferencivel pode no servir para descrever bem avidade caracterstica da noo de variedade o espao-tempo em tais escalas sendo na verdade uma diferencivel. aproximao vlida para comprimentos maiores. Vale lembrar que, na Relatividade Geral, a geometria denida pela mtrica g ( x ), que justamente o campo cuja quantizao deve descrever os grvitons. As utuaes qunticas do campo g ( x ) representam utuaes qunticas na prpria geometria do espao-tempo, que deve perder a suavidade caracterstica de uma variedade diferencivel (gura 4.1). O matemtico Alain Connes2 desde a dcada de 1980 defende que o espao-tempo descrito na verdade por uma geometria no-comutativa, uma generalizao dos conceitos de geometria usual, capaz de descrever as modicaes da gravitao quntica. Uma das motivaes de Connes aplicar para o
2 Connes,

A., Noncommutative Geometry, Academic Press, 1994.

4.2. DIVERGNCIAS ULTRAVIOLETAS NA TEORIA DE CAMPOS

47

espao-tempo o mesmo que acontece como o espao de fase na transio da Mecnica Clssica para a Mecnica Quntica: um espao tradicional, com coordenadas qi , pi substitudo por uma estrutura mais complexa, em que qi , pi tornam-se operadores que no-comutam entre si. Da mesma forma, sugere-se que as coordenadas x do espao-tempo tornem-se operadores no-comutantes x x . Na dcada de 1990, Doplicher et al3 usaram argumentos de gravitao semiclssica para argumentar que sicamente impossvel discernir dois pontos do espao-tempo com preciso melhor do que o comprimento de Planck P 1035 m. Para tanto, consideraram que a medida da posio de uma partcula com preciso x implica necessariamente no uso de uma partcula teste com momento da ordem p 1/x, e portanto energia da mesma ordem. Se x pequeno, tal processo de medida necessariamente envolve uma concentrao de energia muito alta num espao muito pequeno o que implica numa densidade de energia-momento muito alta. Esta densidade, por sua vez, fonte do campo gravitacional. Se x P , este campo gravitacional torna-se to forte que forma um horizonte de eventos, que esconde o sistema e portanto impede a medio. Desta forma, a noo de ponto no espao-tempo perde o sentido operacional, da mesma forma como a noo de simultaneidade absoluta perdeu o sentido operacional na passagem da mecnica clssica para a relativstica, por exemplo. Todos estes argumentos, embora no denitivos porque em ltima instncia tratam de uma escala de comprimentos para as quais no temos uma teoria bem estabelecida, sugerem que tomar |ni | em (4.35) seja uma aproximao sicamente no-justicvel e que, sendo mais cuidadosos, temos que supor a existncia de uma corte ultravioleta, um valor mximo para um momento k i que faa sentido sicamente, ki < . (4.36) Considerando este corte ultravioleta, temos nalmente um valor nito para a energia do vcuo, 0 |H| 0 = 1
3

(2 )

|k i |<

(ki )2 + m2 V = nito .

(4.37)

Melhor que isto, podemos facilmente ajustar a teoria para que a energia do vcuo seja nula. Basta considerar como ponto de partida, ao invs de (4.1) a Lagrangiana

L = m2 ||2 + 0 ,
em que 0 uma constante que no altera em nada as equaes de movimento. A Hamiltoniana quntica que obtemos neste caso torna-se k H = k a a k + bk bk 0 V , e portanto, 0 |H| 0 = 1

(2 )

|k i |<

( k i )2 + m2 V 0 V .
2 (k i ) + m2 , e desta forma, obtemos

Podemos ajustar o valor de 0 para 0 =

1 (2 )3

|ki |<

0 |H| 0 = 0 , um resultado sicamente bastante razovel. Neste ponto, podemos agora remover o limite ultravioleta e voltar a considerar o espao-tempo como innito, e pelo menos no que concerne ao valor da energia de vcuo, nenhuma divergncia encontrada.
3 Doplicher

et al, Commun. Math. Phys. 172, 187 (1995); Phys. Lett. B 331, 39 (1994).

48

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

Pausa para reexo: conseguimos eliminar a divergncia que encontramos inicialmente por um procedimento de duas etapas. Primeiro, tivemos que tornar a teoria nita, para que pudssemos manipular consistentemente as expresses formalmente divergentes isto se chama de regularizao. Segundo, introduzimos uma constante arbitrria na teoria, que pudemos ajustar para cancelar o termo que formalmente diverge o que se chama de renormalizao. Aps feito este cancelamento, podemos remover a regularizao, obtendo um resultado nito. Dizemos que renormalizamos a teoria. Modernamente, acredita-se que a existncia das divergncias nas teorias qunticas de campos signica que ao considerar momentos arbitrariamente altos no formalismo, estamos fazendo uma extrapolao que no vlida sicamente. A TQC portanto uma teoria efetiva que descreve bem a fsica em escalas de energia bem abaixo de um corte ultravioleta , e ao extrapolar a TQC para o regime de energias maiores que surgem as divergncias. No conhecemos ainda a teoria fsica que funciona neste regime de energias miores do que . Para alguns modelos, contudo, o procedimento de renormalizao esboado acima suciente para eliminar todas as divergncias do clculo de grandezas observveis. Estes modelos so chamados de renormalizveis, e so modelos qunticos que podem ser construdos consistentemente, apesar da extrapolao para momentos maiores que : a renormalizao consegue esconder nossa ignorncia sobre o que acontece para energias maiores que . O Modelo Padro das Partculas Elementares uma TQC renormalizvel, mas este j no o caso da gravitao, por exemplo. No caso particular da divergncia da energia do vcuo, podemos tratar formalmente do problema denindo o produto normal, ou forma normal, ou ordenamento normal, : H := H 0 |H| 0 , tal que, por construo, 0 | : H :| 0 = 0. Como 3 3 d k d k b 0 = 0 |H| 0 = k 0 a k a k + bk k b , b 2k 2k k k k temos, : H := d3 k a a + bk bk bk , bk 2k k k k d3 k a a + bk bk 2k k k k . (4.39) (4.38)

Desta forma, podemos alternativamente denir o produto normal como sendo a operao que rearranja os operadores de criao/aniquilao, fazendo com que os primeiros quem esquerda dos segundos. De (4.38) claro que a diferena entre o operador e sua forma normal um nmero, e portanto

[H, O] = [H 0 |H| 0 , O] = [: H :, O] ,
ou seja, comutadores so invariantes frente ordem normal. Isto signica que podemos, sem prejuzo para as concluses que obtivemos at agora, redenir todos os operadores compostos com que lidamos usando o ordenamento normal, 3 d k H= a a + bk bk , (4.40a) 2k k k k 3 d k =q k Q a a k bk bk , (4.40b) 2k de tal forma que, por construo, o estado do vcuo tem energia e carga nulos.

4.3. INVARINCIA RELATIVSTICA

49

De ora em diante, sempre que considerarmos uma expresso clssica O = F , , o correspondente operador quntico incluir o ordenamento normal: O =: F , :, (4.41)

o que j automaticamente eliminar as divergncias do tipo encontradas nesta seo. Isto suciente para remover divergncias da teoria livre, de forma que sequer precisaramos ter discutido o conceito de renormalizao. Contudo, na teoria em interaes, encontraremos novas divergncias que no so eliminadas por este procedimento, quando ento teremos que fazer uso de todo o ferramental da Renormalizao para conseguir elimin-las. A denio do produto normal aproveita-se de uma ambiguidade presente no formalismo que estamos construindo: o produto de operadores num mesmo ponto do espao-tempo no est bem denido. Um rpido clculo nos mostra que, por exemplo, 3 d k i k x0 y0 k(xy) ( x ) (y) 0 0 e , 2k e enquanto x = y a integral est bem denida, se x y ela diverge. Um produto da forma ( x ) ( x ) no est portanto matematicamente bem denido, e o ordenamento normal pode ser visto como uma denio formal deste produto. Numa abordagem menos formal, o que se faz desistir de trabalhar com o valor do operador ( x ) num ponto especco do espao, e introduzir operadores suavizados (smeared operators), f = d4 x ( x ) f ( x ) , em que f ( x ) uma funo bastante suave, e que diferente de zero numa regio muito pequena do espao-tempo em torno de um determinado ponto x0 . Pode-se mostrar que o operador f bem denido matematicamente, e a chamada Teoria Quntica de Campos Axiomtica parte deste f para provar de forma matematicamente rigorosa vrios teoremas gerais sobre as propriedades das Teorias Qunticas de Campo. Esta abordagem no muito utilizada para clculos de grandezas observveis, contudo, por isso no ser aqui discutida.

4.3

Invarincia Relativstica

A escolha da quantizao cannica implica na quebra da covarincia relativstica explcita, j que o formalismo trata de forma diferenciada o tempo x0 e as coordenadas x. No bvio, portanto, que a teoria quntica que denimos respeita a Relatividade Restrita. J discutimos em muito detalhe no captulo 3 os requisitos impostos sobre a teoria quntica pela relatividade: temos que construir operadores hermiteanos M e P tal que o operador unitrio U (, a) = exp i M ia P , 2 , (4.42)

satisfaa a regra de produto do grupo de Poincar, U ( 2 , b ) U ( 1 , a ) = U ( 2 1 , 2 a + b ) , (4.43)

o que mostramos ser equivalente a dizer que os operadores M e P satisfazem a lgebra de Poincar M , M = i M M + M M , M , P = i ( P P ) , (4.44a) (4.44b) (4.44c)

[ P , P ] = 0 .

50

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

Por outro lado, sobre estados de uma partcula |k devemos ter U (, a) |k = eiak k .

(4.45)

A prova completa da invarincia relativstica da teoria englobaria a construo explcita dos operadores M e P , e a prova por clculo direto de que eles satisfazem (4.44) e (4.45). Esta uma tarefa bastante longa, que apenas cumpriremos em parte nesta seo, considerando os operadores P . O operador P0 = H j foi denido a partir da densidade de Noether T 00 associada simetria por translaes no tempo. De forma similar procederemos para denir Pi , incluindo tambm o ordenamento normal, Pi = d3 x : T 0i := d3 x : 0 i + 0 i : . (4.46) Pode-se mostrar que P =
i

d3 k i k a k a k + bk bk 2k

(4.47)

Por clculo direto, pode-se mostrar que H, Pi = Pi , P j = 0 e que Pi |k = ki |k , ou seja, os estados de uma partcula |k so autovetores do operador Pi . Tudo isto garante que, de fato U ( , a) |k = eia P |k = eiak |k ,

(4.48)

mostrando que a invarincia por translaes est devidamente implementada na teoria quntica, por meio dos geradores H e Pi . Um clculo interessante a ser feito o efeito de uma translao sobre o operador de campo, U ( , a) ( x ) U ( , a) , e para tanto consideramos uma translao innitesimal, U ( , ) ( x ) U ( , ) = ei P ( x ) e+i P 1 i P ( x ) 1 + i P ( x ) i P , ( x ) .

(4.49)

Por clculo direto, pode-se mostrar que 3 d k P , ( x ) = k f k ( x ) a k + k f k ( x ) bk 2k e

k f k ( x ) = i
logo,

f (x) , x k (4.50)

P , ( x ) = i ( x ) . De (4.49) e (4.50) concluimos que U ( , ) ( x ) U ( , ) ( x ) + ( x ) ( x + ) . De forma que o operador de translao U ( , a) tem a ao esperada sobre os campos, U ( , a) ( x ) U ( , a) = ( x + a) .

(4.51)

Por m, investigamos o efeito de uma translao sobre os operadores de criao/aniquilao. De (4.48), k k k U ( , a) |k = U ( , a) a |0 = U ( , a) a U ( , a) U ( , a) |0 = eiak a |0 .

4.4. CAUSALIDADE E FUNES DE GREEN

Comparando-se os dois ltimos membros da igualde vemos que se o vcuo invariante por translao, U ( , a ) |0 = |0 , ento deve valer k k U ( , a) a U ( , a) = eiak a .

51

(4.52) (4.53)

A equao (4.52) de particular interesse. Quando uma simetria deixa o vcuo invariante, diz-se que esta uma boa simetria. Existem muitos casos fsicos de interesse, contudo, em que o vcuo no invariante por uma simetria da teoria. Neste caso, diz-se que h quebra expontnea da simetria, e este um efeito chave que aparece, por exemplo, no Modelo Padro das Partculas Elementares.

4.4

Causalidade e Funes de Green

Um dos requerimentos fsicos que impomos sobre qualquer teoria fsica a causalidade: basicamente, efeitos no podem preceder suas causas. No contexto de relatividade restrita, isto o mesmo que exigir que nenhuma inuncia pode se propagar mais rapidamente que a luz. De fato, se um evento localizado em x1 causa de outro evento localizado em x2 , ento x = x2 x1 tal que (x )0 > 0, e se o invariante relativstico (x )2 for positivo, o sinal de (x )0 invariante por transformaes de Lorentz, logo x1 precede x2 em qualquer referencial inercial. Por outro lado, dizer que (x )2 > 0 o mesmo que dizer que x1 e x2 podem ser conectados por um sinal que viaja com velocidade inferior da luz. Por isso, dado qualquer evento x1 , podemos dizer que os nicos eventos que podem ter qualquer relao causal com x1 so aqueles localizados dentro do cone de luz centrado em x1 (ver gura). Na TQC, operadores observveis so funes dos campos b sicos O = O , , e como estes campos so localizados no tempo e no espao, assim tambm so os operadores observveis: O = O x0 , x . Dois observveis O1 e O2 localizados no espao- Figura 4.2: Cone de luz centrado em tempo de forma que um esteja fora do cone de luz do outro re- um ponto do espao-tempo. presentam medidas que no podem ter qualquer inuncia uma sobre a outra: diz-se que O1 e O2 so causalmente desconexos. Matematicamente, o que temos que exigir que os operadores O1 e O2 comutem sempre que forem causalmente desconexos. Em resumo, o princpio da causalidade implica que

[O ( x1 ) , O ( x2 )] = 0 se ( x1 x2 )2 < 0 .
Como4 [ ( x ) , (y)] = 0, a equao anterior equivalente a ( x ) , (y) = 0 se ( x1 x2 )2 < 0 . Por clculo direto a partir de (4.15) e (4.16), pode-se mostrar que 3 0 0 1 d k ( x ) , (y) = eik x y eik(xy) + e+ik 3 2k (2 )

(4.54)

(4.55)

x 0 y0

eik(xy) ,

(4.56)

4 Obviamente, isto s vale para o caso do campo escalar complexo. O leitor atento no ter diculdade para adaptar esta discusso ao caso do campo escalar real.

52

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

fazendo-se k k no 1 termo, obtemos ( x ) , (y) = 1

3

(2 )

d3 k ik(xy) i e e k 2k

x 0 y0

+ e+ik

x 0 y0

2i sin k ( x0 y0 )

ou seja, ( x ) , (y) = i ( x y) , onde (z) = 1 d3 k e i k z sin k z0 , k (4.57)

(2 )3

(4.58)

a chamada funo de Pauli-Jordan. Esta funo satisfaz uma srie de propriedades importantes que no discutiremos aqui. Citaremos apenas trs: 1. (z)|z0 =0 = 0 Uma consequncia elementar que

O x0 , x , O x0 , y

= 0,

ou seja, observaes realizadas no mesmo instante, em diferentes pontos do espao, comutam entre si. 2.

+ m2 ( z ) = 0
A funo de Pauli-Jordan soluo da equao de Klein-Gordon homognea. Discutiremos logo mais a relao dela com as funes de Green desta equao.

3. (z) = 0 se z2 < 0 Esta propriedade justamente o que garante a causalidade na TQC. Por clculo direto (veja apndice B) mostra-se que (z) =

1 m z2 z0 J1 m z2 z0 z2 2 4

(4.59)

o que claramente satisfaz a propriedade 2. Uma forma mais simples de provar esta propriedade, mas menos direto, a seguinte: comece notando que (z) invariante por uma transformao de Lorentz, ou seja, (z) = (z) . (4.60)

Isto signica que necessariamente assume o mesmo valor para todos os z que so levados uns aos outros por uma transformao de Lorentz prpria L . + Quando x2 > 0, prova-se que o sinal de x0 um invariante de Lorentz, de forma que se x2 > 0, pode assumir valores diferentes nos dois hiperbolides denidos por x0 = r2 + x2 , ou seja, ( x ) = x0 f x2 + x0 g x2 se x2 > 0 ,

onde f e g so funes arbitrrias, e a funo salto de Heavyside. Se x2 < 0, o sinal de x0 j no invariante, logo ( x ) = h x2 se x2 < 0 ,

4.4. CAUSALIDADE E FUNES DE GREEN

onde h tambm uma funo arbitrria. Juntando as duas informaes: ( x ) = x2 x0 f x2 + x0 g x2

53

+ x2 h x2 .

Consideremos agora a funo sinal denida por (x) =

+1, x > 0 , 1, x < 0

que claramente est relacionada com as funes de Heavyside por x0 = o que nos permite escrever ( x ) = x2 1 f x2 + g x2 2
f ( x2 )

1 1 + x0 2

x0 =

1 1 x0 2

+ x0

1 f x2 g x2 2
g ( x2 )

+ x2 h x2 ,

onde agora f e g podem ser consideradas duas funes arbitrrias. Usando que x2 = 1 x2 , chegamos a ( x ) = h x2 + x2 f
f ( x2 )

x2 h x2

+ x0 x2 g x2 ,

onde f uma funo arbitrria (possivelmente descontnua, devido presena de uma ). O que provamos que qualquer funo (z) que satisfaz (z) = (z) necessariamente da forma (z) = f x2 + x0 x2 g x2 , onde f e g so funes arbitrrias do invariante x2 . Da denio (4.56) fcil ver que a funo de Pauli-Jordan satisfaz (4.61)

(z) = (z) .
Logo, aplicando (4.61):

(4.62)

(z) = f x2 x0 x2 g x2 = f x2 + x0 x2 g x2
( x0 )

= f x2 + x0 x2 g x2 ,
o que signica que, necessariamente, f x2 = 0, e da (z) = x0 x2 g x2 , o que efetivamente se anula se x2 < 0 devido funo de Heavyside. Note que nesta demostrao no somos capazes de dizer exatamente o que acontece em x2 = 0, j que as funes sinal e Heavyside so descontnuas neste ponto. De fato, conforme o clculo explicito mostra em (4.59), h um termo adicional, proporcional a x2 , que contudo no invalida a concluso principal de que a funo de Pauli-Jordan se anula fora do cone de luz, respeitando o princpio de causalidade.

54

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

4.5

Funes de Green

A funo de Pauli-Jordan ( x y) est relacionada s funes de Green do operador de Klein-Gordon + m2 . Vamos discutir esta relao nesta seo. Considere a equao de Klein-Gordon com um termo de fonte arbitrrio j ( x ),

+ m2 ( x ) = j ( x ) .
Trata-se de uma equao diferencial no-homognea, cuja soluo da forma ( x ) = homogenea ( x ) + particular ( x ) ,

(4.63)

(4.64)

onde + m2 homogenea = 0. A soluo da equao de Klein-Gordon homognea j foi encontrada no captulo 2. A soluo particular pode ser encontrada pelo mtodo da funo de Green. Dena a funo de Green G ( x y) como a soluo de
x

+ m2 G ( x y ) = 4 ( x y ) .

(4.65)

Note que indicamos explicitamente que o Laplaciano atua na varivel x. Se encontramos a funo de Green denida acima, ento encontramos uma soluo particular da equao (4.63) na forma, particular ( x ) = d4 y G ( x y) j (y) , (4.66) j que
x

+m

particular ( x ) =

+m

d4 y G ( x y ) j ( y )

d4 y

+ m2 G ( x y ) j ( y )
4 ( x y )

= j (x) .
Por enquanto, vamos resolver em detalhe a equao (4.65), encontrando a funo de Green correspondente equao de Klein-Gordon. Como usual, usamos a tcnica de Fourier, d4 k G ( x y) = G (k ) eik(xy) (2 )4 d4 k ik(xy) . (4.67) 4 ( x y ) = 4 e
(2 )

Como
x G ( x y) =

d4 k

(2 )

G (k)

xe

ik ( x y)

k2 eik(xy)

a equao (4.65) equivalente a k 2 + m2 G ( k ) = k 0 A soluo imediata, G (k) = 1

2

+ k 2 + m2 G ( k ) = k 0

2 + k G ( k ) = 1 .

( k 0 )2

2
k

4.5. FUNES DE GREEN

e portanto, G ( x y) = Queremos calcular a integral G (z) = 1 d ke
3

55

d4 k

eik(xy)
k

(2 )4 (k0 )2 2

i k z

(4.68)

(2 )4

dk

eik

0 z0

( k 0 )2 2
k I k,z0

(4.69)

Comeamos pela integral em k0 , que escrevemos da forma, I k, z onde u1 = k ; u2 = + k . (4.71) Fica evidente, em (4.70) que temos um problema: o integrando singular em u = u1 e u = u2 e por isso a integral diverge. Para calcular a integral, teremos que introduzir um regulador: vamos inventar um parmetro arbitrrio, que faa a integral convergir, e esperamos poder eliminar aps calcular a integral. Alm disso, para efetivamente calcular (4.70) vamos usar o seguinte truque: estender u para o plano complexo, e considerar Figura 4.3: Plano complexo para u, represeno integrando como uma funo da varivel complexa tando o caminho de integrao original e a lou C. Em outras palavras: faremos uma continuao calizao dos plos do integrando. analtica do integrando no plano complexo. Desta forma, a integral em (4.70) corresponde integrao da funo complexa (uue )(uu2 ) sobre um caminho que coincide com o eixo real, conforme a gura 4.3. 1 Note que o integrando apresenta plos sobre o caminho de integrao, o que provoca a divergncia da integral em (4.70). A regularizao adotada consistir basicamente em remover os plos da reta real, deslocando-os ligeiramente. O interessante que, dependendo da forma como fazemos este deslocamento, estamos selecionando diferentes condies de contorno sobre a funo de Green.
iuz0

eiuz du , ( u u1 ) ( u u2 )

(4.70)

A funo de Green Retardada

Modicamos (4.70) da seguinte forma, I k, z
0

(4.72) o que corresponde a deslocar os plos para acima do eixo real, conforme a gura 4.4. A integral I k, z0 pode ser calculada modicando o caminho de integrao. Para z0 > 0, ao invs de integrar sobre o eixo real, fechamos o caminho por meio de

eiuz du , [u (u1 + i)] [u (u2 + i)]

56

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

um semicrculo de raio L, por cima do eixo real, como na gura. Calculamos f (u) du =
L

f (u) du + semicrculo f (u) du .

Na integral sobre o semicrculo, u = Lei com [, ], de forma que no limite L , o integrando contem um fator exponencial da forma exp iuz0 = exp iL (cos + i sin ) z0 = exp L sin z0 exp iL cos z0 0 ,
+

ou seja, semicrculo f (u) du 0, e I k, z0 = lim

L

f (u) du .

A vantagem que a integral pelo circuito fechado pode ser calculado pelo teorema dos Resduos: f (u) du = 2i [Res f (u1 + i) + Res f (u2 + i)] . Explicitamente: Res f (u1 + i) = [u (u1 + i)] f (u)|uu1 +i

= =
e

eiuz u (u2 + i)
0 eiu1 z

u1 u2

uu1 +i ik z0

2k
0

Res f (u1 + i) = +

eik z . 2k

Note que, neste ponto, j tomamos 0 pois no existe mais nenhuma singularidade. Encontramos assim sin k z0 0 i i z0 I k, z0 = e k eik z = 2 para z0 > 0 . k k Para z0 < 0, temos que fechar o caminho por baixo do eixo real, para que exp iuz0 0. Neste caso, f (u) du = 0 pois no h plos abaixo do eixo real, e portanto I k, z0 = 0 para z0 < 0 .

Usando estes resultados em (4.69), concluimos que 1 GR ( z ) = d3 k eikz I k, z0 4 (2 ) sin k z0 1 0 = z d3 k e i k z , k (2 )3

4.5. FUNES DE GREEN

57

Figura 4.5: Pela funo de Green retardada, o campo num determinado ponto depende dos valores da fonte no interior do cone de luz do passado deste ponto (esquerda); j a funo de Green avanada tem o comportamento inverso (direita). reconhecendo a denio da funo de Pauli-Jordan (4.58), conclumos que GR ( x y ) = x 0 y0 ( x y ) . (4.73)

Ou seja, a funo de Green retardada simplesmente a funo de Pauli-Jordan multiplicada por uma funo de Heavyside. Para interpretar o resultado, voltamos a (4.66), 0 x , x = GR ( x y) j (y) dy 3 = d y dy0 x0 y0 ( x y) j y0 , y . (4.74)

A funo de Heavyside faz com que o integrando se anule sempre que y0 > x0 . Por outro lado, a funo de Pauli-Jordan se anula fora do cone de luz, i.e., se ( x y)2 < 0. Em resumo: o valor do campo no intante x0 e no ponto x recebe contribuies da fonte j y0 , y em pontos dentro do cone de luz do passado centrado em x0 , x , o que est ilustrado na gura 4.5. A funo de Green Retardada, portanto, propaga efeitos da fonte para frente no tempo, respeitando a causalidade. Na mecnica clssica, justamente este o resultado que esperaramos, de forma que GR a funo de Green adequada para problemas de campos clssicos relativsticos, por exemplo a eletrodinmica. Na teoria quntica, contudo, veremos que no esta a funo de Green adequada.

A funo de Green Avanada

Fica como exerccio para o leitor calcular a funo de Green avanada, que vem de modicar (4.70) da forma 0 eiuz I k, z0 = du , (4.75) [u (u1 i)] [u (u2 i)] de forma que os plos agora so deslocados para baixo do eixo real. O resultado o seguinte: G A ( x y ) = y0 x 0 ( x y ) . (4.76)

58

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

Figura 4.6: Pela funo de Green avanada, o campo num determinado ponto depende dos valores da fonte no interior do cone de luz do futuro deste ponto. A funo de Green avanada propaga efeitos da fonte para trs no tempo, pois o valor do campo num ponto x0 , x depende dos valores da fonte no cone de luz futuro centrado neste ponto, como mostrado na gura 4.5.

A funo de Green de Feynman

A funo de Green mais relevante na TQC a chamada funo de Feynman, que se obtm atravs da substituio m2 m2 + i, ou seja, 0 eiuz 0 I k, z = du . (4.77) (k0 )2 2 i
k

Fica como exerccio para o leitor mostrar que, neste caso, os plos so deslocados conforme a gura 4.6, e que o resultado nal para a funo de Green F ( x y ) = x 0 y0 ( x y ) y0 x 0 + ( x y ) , em que so as partes de frequncia positiva e negativa da funo de Pauli-Jordan, ( x y) = + ( x y) + ( x y) , (4.79) (4.78)

veja mais detalhes no apndice B. A funo de Feynman faz com que o operador x0 , y dependa do valor da fonte tanto em instantes do futuro quanto do passado. Alm disso: das expresses explcitas para (z) obtidas no apndice, ve-se que a funo de Feynman diferente de zero fora do cone de luz. Este comportamento parece desclassicar a funo F como uma funo de Green vlida para uma teoria fsica: no entanto, na TQC justamente a funo F que tem uma interpretao fsica fundamental, a de descrever a propagao de uma partcula entre dois pontos do espao-tempo. Para ver isto, separamos o campo ( x ) em sua parte de criao e de aniquilao, ( x ) = (+) ( x ) + () ( x ) , onde, (+) ( x ) = () ( x ) =
d3 k 2k f k ( x ) bk d3 k 2k f k ( x ) ak

4.5. FUNES DE GREEN

59

Figura 4.7: Processos elementares que correspondem ao transporte de uma carga +q do ponto x at y.

Ento pode-se mostrar que

() ( x ) , () (y)

= i() ( x y) ,

onde () so as partes de frequencia positiva e negativa da funo de Pauli-Jordan, denidas no apndice B. Alm disso, temos a propriedade

(+) (z) = () (z) .

Considere agora o seguinte processo: uma partcula de carga +q, inicialmente localizada em torno do ponto x no instante x0 posteriormente localizada em torno do ponto y no instante y0 > x0 . Tal processo est esquematicamente representado na gura 4.7 esquerda. O estado inicial dado por |i = () ( x )

|0 e o nal por f | =

() (y)

|0

= 0| () (y). A amplitude de probabilidade

para este processo dada por

f|i =

0 () (y) () ( x ) 0

0 y0 x 0

() (y) , () ( x )

0 y0 x 0

= i() (y x ) y0 x0 = i(+) ( x y) y0 x0 .

Existe outro processo fsico, contudo, que tambm envolve o transporte de uma carga +q de x at y: trata-se de uma antipartcula de carga q que se move de y at x, onde agora x0 > y0 , representado na gura

60

CAPTULO 4. QUANTIZAO CANNICA DO CAMPO ESCALAR

4.7 direita. Para este processo, |i = (+) (y) |0 e f | = 0| (+) ( x ) f|i = 0 0 (+) ( x ) (+) ( x )

, logo

(+) (y) 0 x0 y0

, (+) (y)

0 x 0 y0 0 x 0 y0

= 0

(+) (y) , (+) ( x )

= i(+) (y x ) x0 y0 = i() ( x y) x0 y0 .
A soma das amplitudes

i x0 y0 ( x y) y0 x0 + ( x y) = i F ( x y) ,
de forma que a funo de Feynman representa conjuntamente os dois processos fsicos, envolvendo partculas e antipartculas.

 Apendice

Suplemento Matemtico
A.1 Grupos e lgebras de Lie

A noo de grupo uma das mais fundamentais em matemtica, e encontra vasta aplicao na fsica terica por ser uma ferramenta matemtica feita sob medida para se estudar simetrias. De fato, o estudo da teoria de grupos pode parecer abstrata demais ou rida ao estudante de fsica, mas o que se tem aprendido que todas as poderosas ferramentas desenvolvidas pelos matemticos para estudar a estrutura de grupos reetem-se num profundo conhecimento das consequncias das simetrias da natureza nas teorias que descrevem os fenmenos naturais. Matematicamente, um grupo G um conjunto de elementos em que est denida uma operao que chamamos de produto, que satisfaz os seguintes axiomas, se g1 , g2 G , ento g1 g2 = g3 G (propriedade de fechamento) existe um elemento unidade)

G tal que, para qualquer g G , vale que

g = g

= g (existncia da

para qualquer g G , existe g1 G tal que g g1 = g1 g =

(existncia da inversa)

para quaisquer g1 , g2 , g3 G , vale que ( g1 g2 ) g3 = g1 ( g2 g3 ) (associatividade). A sugesto de que grupos so estruturas que podem representar muito bem simetrias vem de se perceber que cada um desses axiomas bastante natural se traduzido para transformaes de simetria, desde que entendemos que o produto do grupo signica a aplicao sucessiva de transformaes. Por exemplo, natural que a aplicao sucessiva de duas transformaes de simetria tambm uma simetria do sistema. Um grupo dito discreto quando seus elementos podem ser enumerados,

G = { g1 , g2 , g3 , . . . } ,
sendo que grupos discretos podem ser nitos ou innitos. Um grupo dito contnuo quando seus elementos so identicados por um certo nmero de parmetros contnuos,

G = { g (1 , 2 , 3 , . . .)}
onde i so reais, e podem ser entendidos como coordenadas de um espao chamado de variedade de grupo (group manifold). Cada ponto nesta variedade associado a um elemento do grupo.

61

62

APNDICE A. SUPLEMENTO MATEMTICO

Exemplo 3. Translaes na reta. Represente por T ( a) a operao de translao ( x ) ( x + a). Ento o conjunto dos T ( a) para a R forma grupo, com produto denido por T ( a) T (b) = T ( a + b) . Este produto claramente representa o resultado das translaes sucessivas ( x ) ( x + a) ( x + a + b). A identidade T (0) e T ( a) a inversa de T ( a). A associatividade tambm trivialmente vericada. Trata-se de um grupo contnuo com um parmetro. A variedade de grupo a reta real.

Exemplo 4. Rotaes no plano. Considere uma rotao por um ngulo num espao bidimensional. O efeito de tal transformao x sobre um vetor corresponde transformao linear y x y

cos sin sin cos

x y

= R ( )

x y

Ento o conjunto das matrizes R ( ), com [0, 2 ], forma um grupo, em que R ( ) R ( ) = R ( + ) , R ( ) = [ R ( )]1 ; R (0) = .

Novamente, um grupo contnuo, com um parmetro, s que agora este parmetro varia no intervalo [0, 2 ], que a variedade de grupo neste caso. Note que, se muito pequeno, o elemento do grupo R () resulta ser muito prximo identidade, R () = ou seja, at a segunda ordem em , R () Note que 0 1 1 0 ou seja R ()
22 2 22 +

1+

2 2

2 1 + 2
2 2

0 1 1 0

1 0 0 1

1 0 0 1 2 + 2

,
2

0 1 1 0

0 1 1 0

Esta expresso sugere que qualquer elemento do grupo R ( ) pode ser escrito na forma R ( ) = eG , onde G a matriz 0 1 1 0 , que pode ser calculada da forma G = lim
0

R ()

Chamamos G de gerador do grupo. No caso, o grupo de rotaes no plano tem um nico gerador, associado ao seu nico parmetro.

A.1. GRUPOS E LGEBRAS DE LIE

63

Num grupo contnuo, cada elemento do grupo est associado a um ponto na variedade de grupo. Esta variedade em princpio pode ter uma estrutura topolgica muito complicada, mas se ela for sucientemente suave para ser uma variedade diferencivel, ento o grupo dito um Grupo de Lie. O essencial da teoria de grupos de Lie que: para cada parmetro i podemos associar um gerador denido por g ( i = ) Gi = lim , 0 em que g (i = ) o elemento do grupo com i = e todos os demais s nulos. Os geradores representam a ao linearizada do grupo, ou seja, correspondem ao dos elementos que so muito prximos da identidade. Denidos os geradores, pode-se mostrar que os elementos do grupo so representados pelo mapa exponencial g () = ei Gi , sendo que as condies para que o mapa exponencial exista, e respeite os axiomas de fechamento e associatividade do grupo, que os geradores Gi satisfaam uma lgebra de Lie,
k Gi , Gj = cij Gk ,

bem como a identidade de Jacobi Gi , Gj , Gk

+ permutaes cclicas = 0 .

Esta descrio essencialmente correta ao menos numa proximidade da identidade. Para muitos grupos, ela vale para todos os elementos do grupo que podem ser continuamente conectados identidade. Existem casos mais sutis, envolvendo variedades de grupo com topologias no triviais, mas que no iremos discutir aqui. A vantagem de se lidar com grupos de Lie que ao invs de estudar o grupo em si, que inclui um innito no enumervel de elementos g (), essencialmente toda a estrutura do grupo pode ser investigada a partir da sua verso linearizada, ou seja, sua lgebra de Lie, que o conjunto nito de geradores Gi . Consideremos, por pura simplicidade de notaes, um grupo discreto G = { g1 , g2 , . . .}. O grupo considerado como o conjunto abstrato de elementos gi que satisfazem uma determinada lei de produto gi g j = g p(i,j) , chamada de tabela de multiplicao do grupo. Um mesmo grupo pode ter vrias representaes na forma de matrizes quadradas de uma certa dimensionalidade. Sempre que construmos um conjunto de matrizes [ gi ], uma associada a cada elemento abstrato do grupo gi , dizemos que este conjunto de matrizes dene uma representao do grupo se a multiplicao matricial reproduz a lei de produto do grupo, ou seja,

[ gi ] g j = g p(i,j)
para qualquer gi , g j G . Tipicamente, as matrizes [ gi ] so construdas como transformaes lineares num certo espao vetorial, que representam os estados fsicos que sofrem a ao do grupo considerado. O fato que um mesmo grupo G pode ter muitas representaes de diferentes dimensionalidades. Um exemplo muito familiar o do grupo SU (2), muito estudado em Mecnica Quntica quando se discute o spin. Exemplo 5. O grupo SU (2) O grupo SU (2) possui uma lgebra de Lie chamada de su (2), composta por trs geradores T1 , T2 , T3 que satisfazem as relaes de comutao Ti , Tj = i ijk Tk .

64

APNDICE A. SUPLEMENTO MATEMTICO

Em cursos de Mecnica Quntica, tradicionalmente se aprende um mtodo que permite construir representaes de su (2) da seguinte forma: dene-se T = T1 iT2 ; T 2 = ( T1 )2 + ( T2 )2 + ( T3 )2 .

Prova-se ento que Ti , T 2 = 0, de forma que a matriz T 2 pode ser diagonalizada junto com T3 , e o espao de estados ser composto por vetores da forma | j; m . Aps uma srie de anlises, se descobre que, para que as matrizes que representam os Ti tenham dimensionalidade nita, j tem que assumir valores semi-inteiros, j = 0, 1 , 1, . . ., e para cada j, m varia de unidade em unidade dentro do limite 2 |m| j. Isso signica que, para cada j, a lgebra ser representada por matrizes com dimenso 2j + 1. Desta forma, pode-se fazer um catlogo de presentaes de su (2): j = 0: a representao trivial, em que [ Ti ] = 0 e portanto o grupo associado s tem o elemento identidade. j = 1 : as matrizes Ti so representadas pelas matrizes de Pauli, 2 Ti = que so matrizes 2 2 associadas ao spin. j = 1: as matrizes Ti tem representao 0 0 0 0 0 i T1 = 0 0 i ; T1 = 0 0 0 0 i 0 i 0 0 i , 2

0 i 0 T1 = i 0 0 0 0 0

(A.1)

x1 agindo sobre um espao de vetores tridimensionais x = x2 . fcil ver que, por exemplo, x3 0 0 0 eiT1 = 0 cos sin , 0 sin cos donde se v que as transformaes geradas por Ti correspondem a rotaes em torno dos trs eixos coordenados, o que signica que su (2) = so (3), onde so (3) a lgebra de Lie do grupo de rotaes em trs dimenses1 .

Do exemplo anterior ca evidente que um mesmo grupo pode ter diferentes representaes de diferentes dimensionalidades, gi [ gi ] n n ; gi [ gi ] m m ; . . . Em geral, toda representao pode ser, por uma transformao unitria, levada a uma forma diagonal por blocos, ou seja 0 [ gi ] n 1 n 1 0 [ gi ] n 2 n 2 0 , [ gi ] = .. . 0 0 . . . .. . . . . . . .
1 Os grupos SU (2) e SO (3) no so idnticos devido diferente topologia da variedade de grupo. O fato de que ambos possuem a mesma lgebra de Lie, contudo, signica que numa vizinhana da identidade os dois grupos so de fato idnticos.

A.1. GRUPOS E LGEBRAS DE LIE

65

em que cada bloco [ gi ]ni ni no pode, por sua vez, ser reduzido da mesma forma. As representaes [ gi ]ni ni so ditas representaes irredutveis do grupo, e elas so essenciais pois prova-se que qualquer presentao pode ser construda combinando-se, da forma acima, representaes irredutveis. No caso de SU (2) discutido anteriormente, o catlogo de representaes citadas o catlogo completo de todas as representaes irredutveis. O mtodo aprendido em cursos de MQ, portanto, exaure todas as possveis representaes de SU (2). Lembrando-se que cada representao [ gi ]ni ni pode ser entendida como um grupo de matrizes que operam num dado espao vetorial v forma
ni

, ento vemos que a ao de uma representao redutvel da v

n1

gi
n1 n1

gi
n1 n1

0 0 gi
n2 n2

v
n2

v
n1

gi
n2 n2

v
n2

ou seja, o subespao v
n1

no se mistura com o subespao v

n2

frente a uma transformao do grupo.

Fisicamente, isto signica que possivelmente o espao de matrizes v

n1

v
n2

representa um sistema no elementar, composto por subsistemas menores, estes sim representados pelos subespaos irredutveis v
n1

e v
n2

. das simetrias fsicas das interaes elementani

Na Teoria de Campos, um subespao irredutvel v

res ser associado aos estados de uma partcula elementar: a irreducibilidade da representao [ gi ]ni ni a contrapartida matemtica ao fato de que a partcula elementar no pode ser quebrada em subsistemas menores, mais elementares. O catlogo de todas as representaes irredutveis do grupo que dene a simetria da natureza, portanto, tambm o catlogo de todos os tipos de partculas elementares que podem existir na natureza. Esta idia discutida em mais detalhe no captulo 3. Exemplo 6. O Campo Eletromagntico Os vetores E e B se transforam, frente ao grupo de rotaes tridimensionais SO (3) de forma Ex Ex Ey = eii Ti Ey , Ez Ez e similarmente para B, onde Ti a representao irredutvel de 3 dimenses da lgebra de SU (2) apresentada em (A.1). Frente ao grupo SO (3), portanto, os vetores E e B representam entidades sicamente distintas. Contudo, frente a uma transformao de Lorentz, que representada matematicamente pelo grupo SO (2, 1) que so estudados em detalhe nos captulos 3 e ??, as componentes de E e B se misturam entre si. Isto signica que, frente ao grupo de Lorentz, E e B constituem uma nica representao irredutvel, e portanto so sicamente entendidos como componentes de uma mesma entidade: o campo eletromagntico F .

66

APNDICE A. SUPLEMENTO MATEMTICO

Tipicamente, de grande interesse conseguir construir todas as representaes irredutveis de um dado grupo de Lie. Existe uma tecnologia bastante bem desenvolvida para este m. Tipicamente, isso feito construindo representaes dos geradores Gi do grupo como matrizes atuando sobre um certo espao de estados representados por vetores

| i ,
onde i denota coletivamente um conjunto apropriado de rtulos contnuos ou discretos. Como usual na Mecnica Quntica, estes rtulos representam autovalores de um determinado conjunto completo de operadores que comutam entre si, e que portanto podem ser simultaneamente diagonalizados. Os chamados operadores de Casimir da lgebra so de suma importncia para identicar as representaes irredutveis. Um operator Ci (que geralmente uma combinao no linear dos geradores Gi ) chamado de Casimir da lgebra se ele comuta com todos os geradores:

Ci , G j = 0 .
A relevncia dos operadores de Casimir dada pelo por um teorema devido a Schuur: numa representao irredutvel, todo operador de Casimir representado por uma matriz mltipla da identidade. Isso permite dividir os rtulos dos estados |i em dois tipos,

| i ; i ,
em que agora os i so os autovalores associados aos operadores de Casimir. Como estes comutam com todos os Gi , os autovalores i cam congelados em qualquer transformao do grupo, e portanto servem para rotular as diferentes representaes irredutveis.

Exemplo 7. As representaes irredutveis de SU (2) Os geradores da lgebra so os operadores de Momento Angular Ji . Existe apenas um operador de Casimir: J 2 = i Ji2 . O conjunto completo de operadores comutantes tradicionalmente utilizado J 2 , J3 . Os geradores so representados por matrizes que operam em estados | j; m . O autovalor j = 0, 1 , 1, . . . 2 identica cada representao irredutvel. O operador de Casimir J 2 representado pela matriz J 2 = j ( j + 1) e o operador J3 pela matriz diagonalJ J3 = j 0 0 j1 0 . .. . . . 0 . . . . . . 0 . . . . . . . . . 0 . j + 1 0 0 j

Os demais geradores J1 e J2 so representados por matrizes no diagonais: J1 | j; m =

[ J1 ]mm
m

j; m

; J2 | j; m =

[ J2 ]mm
m

j; m

A.2. NOES DE TEORIA DAS DISTRIBUIES

67

A.2

Noes de Teoria das Distribuies

Considere uma carga puntiforme q localizada na origem. Podemos nos perguntar qual a densidade de carga associada a esta carga: uma funo (r) tal que ( r ) d3 V = q todo o espao mas, ao mesmo tempo, (r) = 0 se r = 0 . O problema que no existe nenhuma funo que satisfaa, ao mesmo tempo, as duas condies acima. O fsico Paul A. M. Dirac percebeu que podia-se trabalhar com funes generalizadas, que satiszessem estas propriedades. O uso de tais funes est cuidadosamente justicado por um ramo da matemtica chamada de teoria das distribuies ou das funes generalizadas. Vamos dar uma noo intuitiva desta teoria, e mostrar as regras prticas que permitem o uso de distribuies para a modelagem e soluo de problemas fsicos. Suponha que tenhamos uma certa quantidade de carga, digamos q = 1C, numa certa regio de largura L prxima origem. Uma possvel densidade de carga seria a funo L (x) =
1 L,

0,

Note que L ( x ) dx = 1 o que justamente nos diz que L ( x ) descreve uma distribuio de carga total 1C. Pensando em modelar uma partcula pontual, tomamos o limite L 0 da funo L ( x ), obtendo uma funo ( x ) innitamente concentrada em x = 0. O problema que esta funo no est bem denida em x = 0. Seramos tentados a escrever ( x ) = lim L ( x ) =
L 0

se L < x < L 2 2 se x < L ou x > 2

L 2

0 , se x = 0 . , se x = 0

Contudo, o valor de uma integral

f ( x ) dx

no muda se mudamos o valor da funo f ( x ) num nico ponto x0 . Ou seja, mesmo que eliminemos a divergncia em x = 0 associando um valor arbitrrio qualquer para (0), a integral ( x ) dx no vai diferir da integral de uma funo f ( x ) que identicamente nula (pois e f s diferem num nico ponto) ou seja, teremos um resultado nulo. Isto signica que no existe nenhuma funo que faz o papel de uma carga puntiforme na origem. Contudo, a funo ( x ) denida acima intuitivamente representa a idia de uma carga totalmente concentrada na origem, se entendermos sua integral da forma ( x ) dx = lim L ( x ) dx = 1 .

L 0

Podemos multiplicar a funo ( x ) por uma funo contnua f ( x ), e obter uma expresso bem denida, se integrada conforme f ( x ) ( x ) dx = lim f ( x ) L ( x ) dx .

L 0

Para calcular o limite, note que L ( x ) = 0 se | x | > L/2, logo L/2 f ( x ) L ( x ) dx = f ( x ) L ( x ) dx

L/2

68

APNDICE A. SUPLEMENTO MATEMTICO

e, para L sucientemente pequeno, podemos tomar f aproximadamente constante, igual a f (0), na regio de integrao, L/2 f ( x ) L ( x ) dx f (0) L ( x ) dx = f (0) .
L/2
1

Portanto, tomando o limite L 0,

f ( x ) ( x ) dx = f (0) ,

o que nos permite escrever, no sentido de distribuio, f ( x ) ( x ) = f (0) ( x ) . Esta igualdade razovel j que ( x ) = 0 se x = 0, portanto, o produto f ( x ) ( x ) no pode depender do valor de f em qualquer x = 0. Obviamente, o ponto x = 0 no tem nada de especial, e poderamos ter escolhido um x = a qualquer. Temos assim, mais geralmente, a propriedade fundamental da funo ( x ) como sendo f ( x ) ( x a) dx = f ( a) .

A funo ( x ) chamada de funo delta de Dirac. A moral da histria que ( x ) no faz sentido se tentamos deni-la como uma funo usual, denida para todo x, mas sua integrao d um resultado bem denido, obtido por um procedimento honesto de limite de integrais de funes regulares. Um pouco mais formalmente: vamos considerar um espao de funes teste F , contendo funes ( x ) F que so contnuas, innitamente diferenciveis, e que se anulam fora de um intervalo nito. Este ltimo requerimento garante que podemos integrar por partes qualquer integral em que aparea uma funo de teste, sem gerar termos de superfcie nos extremos de integrao. Dada qualquer funo f ( x ) razoavelmente suave2 , claramente podemos denir uma operao que associa a cada funo teste ( x ) o valor f [ ] dado pela integral f [ ] = f ( x ) ( x ) dx . (A.2)

Denimos, assim, uma funcional no espao de funes teste, associada funo f . Estas funcionais sero chamadas de distribuies. Considere agora uma distribuio que chamaremos de x0 , que satisfaz x0 [ ] ( x0 ) , (A.3)

para qualquer funes de teste ( x ). Aqui, x0 uma parmetro real arbitrrio. Como vimos, no existe nenhuma funo ( x x0 ) que satisfaa ( x x0 ) ( x ) dx = ( x0 ) (A.4)

e no entanto a funcional x0 est bem denida. Como vimos, podemos construir sequencias de funes L ( x x0 ) que, num limite apropriado, produzem o resultado desejado. Ou, como tradicionalmente feito, omitimos a necessidade deste processo de limite e formalmente consideramos uma funo
2 As condies de suavidade sobre f so muito mais fracas do que sobre as funes teste : a continuidade de f j suciente para garantir a convergncia da integral.

A.2. NOES DE TEORIA DAS DISTRIBUIES

69

( x x0 ) satisfazendo (A.4). Este procedimento, aparentemente pouco formal, nunca vai nos levar a nenhuma inconsistncia desde que entendemos que a funo ( x x0 ) s faz sentido se aparecer sob o sinal de integral, e multiplicada por uma funo teste. Desta forma, podemos mesmo aplicar funo ( x x0 ) operaes como derivao, por exemplo. Por exemplo, se g ( x ) uma funo contnua, que signicado podemos dar a um produto da forma g ( x ) ( x x0 )? A resposta obtida integrando-se com uma funo teste, g ( x ) ( x x0 ) ( x ) dx = g ( x0 ) ( x0 ) . Note que, se uma funo de teste, o produto g tambm o ser, desde que g seja uma funo sucientemente bem comportada. Isto signica que podemos fazer a identicao g ( x ) ( x x0 ) = g ( x0 ) ( x x0 ) , desde que os dois membros da equao produzem o mesmo resultado quando integrado com uma funo teste. Por outro lado, podemos considerar a derivada x ( x x0 ). O resultado de tal expresso, lembrando que se anula no innito e portanto podemos integrar por partes sem produzir qualquer termo de superfcie, x ( x x0 ) ( x ) dx = ( x x0 ) ( x ( x )) dx = x ( x0 ) .

Ou seja: mesmo que ( x x0 ) no seja uma funo, no sentido de distribuio a derivada x ( x x0 ) est bem denida! Por outro lado, podemos tambm calcular a derivada de ( x x0 ) com relao ao parmetro x0 . O resultado: ( x0 ( x x0 )) ( x ) dx = x0 ( x x0 ) ( x ) dx = x0 ( x0 ) . Considere agora a expresso g ( x ) x ( x x0 ) , em que g uma funo contnua e derivvel. Integrando com uma funo teste, podemos escrever g ( x ) x ( x x0 ) ( x ) dx = ( x x0 ) x ( g ( x ) ( x )) dx = ( x x0 ) x g ( x ) ( x ) dx ( x x0 ) g ( x ) x ( x ) dx = x g ( x0 ) ( x x0 ) ( x ) dx g ( x0 ) ( x x0 ) x ( x ) dx = [ x g ( x0 ) ( x x0 ) + g ( x0 ) x ( x x0 )] ( x ) dx ou seja, g ( x ) x ( x x0 ) = g ( x0 ) x ( x x0 ) x g ( x0 ) ( x x0 ) . Este ltimo exemplo deve ser estudado com cuidado pelo leitor, j que mostra a importncia de considerar a presena da funo teste ao manipular uma expresso envolvendo funes .

70

APNDICE A. SUPLEMENTO MATEMTICO

 Apendice

B
(z) = + + (z) =
i (2 )3 i 3 (2 )

A funo de Pauli-Jordan
Primeiramente, dena, d3 k eikz e 2k
i z0
k i z

k 0 d3 k eikz e2 k

(B.1)

de forma que (z) + (z) =

+

(2 )

eikz 1 i z0 1 d k e k + eik z0 = k 2i (2 )3
3 2i sin k z0

d3 k e i k z

sin k z0 , k

ou seja, (z) = + (z) + (z) . (B.2)

As funes + (z) e (z) so chamadas de parte de frequncia positiva e parte de frequncia negativa da funo de Pauli Jordan. Note que + ( x )

d3 k e +i k z
k k

(2 )3

eik z0 = ( x ) 2k

(B.3)

e, similarmente, + ( x ) = i

d3 k e +i k z
k k

(2 )3

eik z0 = ( x ) . 2k

(B.4)

Vamos explicitamente calcular a integral em (B.1). Usamos coordenadas esfricas para o espao dos k,
0

(z) =
+

(2 )3

k d k

dk e

i k |z| cos e

ik z0

2k

onde dk um elemento de ngulo slido; como o integrando no depende de , ento dk = (2 ) sin d, 71

72 logo (z) =
+

APNDICE B. A FUNO DE PAULI-JORDAN

2 0

(2 )
i

2 eik z0 k d k 2k

sin d e
1

i k |z| cos

2 0

cos u

(2 )
i

e k d k 2k
2 ik z0

ik z0

du e
1

i k | z | u

2 0

(2 )

2 e e k d k 2k i k |z|

i k | z | u

(2 ) |z|

eik z0 k d k 2k

i k |z|

i k | z |

Agora, k uma funo par em k . Logo, fazendo a substituio k k no segundo termo em parntesis,

[ ] k d k e

i k | z |

[ ] k

d k

i k |z|

[ ] k d k e

i k |z|

logo 1

(z) =
+

(2 )2 |z|
i

eik z0 i k |z| k d k e 2k e
i k z0 + k | z |

=
Denindo a funo

2 |z| |z| 8

d k k .

f ( z0 , r ) temos que

i 2

d k

i k z0 +r k

(B.5)

+ (z) =

1 f (|z|) . 4 |z|

A funo f denida acima pode ser encontrada em tabelas de integrais. Denindo = z2 r2 , o 0 resultado que encontramos , em termos de funes de Bessel N, J e K, 1 N0 m 1 x0 J0 m , > 0 2i 2 f (x) = . i K0 m , < 0 Derivando as funes de Bessel, encontramos a frmula explicita para + , + (z) =

1 im () N1 m i z0 J1 m z0 ( ) 4 8 im + () K1 m . 4 2

73 Usando (B.3), (z) =

1 im () N1 m + i z0 J1 m z0 ( ) + 4 8 im () K1 m . 4 2

Note que + (z) e (z) assumem valores diferentes de zero tanto dentro quanto fora do cone de luz. Em particular, fora do cone de luz, as funes de Bessel tendem a zero exponencialmente, K1 em m . m

Finalmente, podemos escrever a funo de Pauli-Jordan: (z) = + (z) + (z) 1 m () z0 J1 m , = z0 ( ) 2 4 que, como requerido pela causalidade, se anula fora do cone de luz. interessante perceber que o limite de m 0 pode ser imediatamente encontrado: 1 x0 () , 2 ou seja, para uma funo de massa zero, a funo causal diferente de zero apenas sobre o cone de luz futuro, o que razovel j que partculas de massa zero s podem se mover com a velocidade da luz. D (x) =