UNIVERSIDADE ESTADUAL DO CEAR WENDEL MACEDO MENDES

QUANTIZAO CANNICA DO CAMPO ESCALAR DE KLEIN-GORDON

FORTALEZA - CEAR 2010

WENDEL MACEDO MENDES

QUANTIZAO CANNICA DO CAMPO ESCALAR DE KLEIN-GORDON

Monografia apresentada ao Curso de Fsica do Centro de Cincias e Tecnologia da Universidade Estadual do Cear, como requisito parcial para a obteno do grau de Bacharel em Fsica. Orientador: Prof. Dr. Ricardo Renan Landim de Carvalho.

FORTALEZA - CEAR 2010

M538q

Mendes, Wendel Macedo Quantizao cannica do campo escalar de KleinGordon / Wendel Macedo Mendes . Fortaleza, 2010. 93 p. : il. Orientador: Prof. Dr. Ricardo Renan Landim de Carvalho. Monografia (Graduao em Fsica) Universidade Estadual do Cear, Centro de Cincias e Tecnologia. 1. Oscilador harmnico. 2. Transformao de Lorentz. 3 Tensores. I. Universidade Estadual do Cear, Centro de Cincias e Tecnologia. CDD: 530

WENDEL MACEDO MENDES

QUANTIZAO CANNICA DO CAMPO ESCALAR DE KLEIN-GORDON

Monografia apresentada ao Curso de Fsica do Centro de Cincias e Tecnologia da Universidade Estadual do Cear, como requisito parcial para a obteno do grau de Bacharel em Fsica.

Aprovada em: 26/08/2010.

BANCA EXAMINADORA

_______________________________________________ Prof. Dr. Ricardo Renan Landim de Carvalho (Orientador) Universidade Federal do Cear UFC

________________________________________________ Prof. Dr. Kleiton do Carmo Mendes Universidade Estadual do Cear UECE

________________________________________________ Prof. Dr. Marcony Silva Cunha Universidade Estadual do Cear UECE

Aos meus Pais Edson Mendes e Eleonita Macedo. A minha noiva Gislnia Lima. DEDICO

AGRADECIMENTOS

A Deus por tudo que ele tem feito na minha vida, me dando graa, capacidade e inteligncia para o desenvolvimento de minhas atividades. A meu pai Edson Mendes e minha me Eleonita Macedo que so de fundamental importncia na minha vida, pois sem eles eu no estaria onde estou hoje. Eles so os responsveis pelo homem que sou. A minha noiva Gislnia Lima por ser essa pessoa maravilhosa e amvel que sempre est do meu lado, seja nos momentos felizes onde sorrimos juntos, ou nos momentos tristes, onde eu encontro um ombro amigo e conselhos que sempre me faz seguir em frente. Ao Professor Makarius pelo tema desse trabalho, e por me ajudar me direcionando com um plano de estudo que segui a risca. Ao professor Ricardo Renan por ter aceitado esse desafio de me orientar nesse trabalho e por ter dado informaes de fundamental importncia. Ao professor Silas Lenz pelas preciosas aulas de alto nvel de Eletricidade e magnetismo I, Eletromagnetismo I e II que cursei que abriram meus olhos de como realmente a Fsica. Ao professor Alexandre Costa pela excelente ministrao da disciplina de Mecnica Terica III que foi vital para a realizao desse trabalho. Ao professor Kleiton do Carmo por ter me ajudado na sntese da seo que fala sobre o grupo de Lorentz. Ao demais professores e colegas do curso de graduao em Fsica da UECE. Ao professor Assis que durante o ensino mdio me fez apreciar Matemtica, disciplina que at ento eu no gostava, e olha no que deu.

Porque em tudo fostes enriquecidos nele, em toda palavra e em todo conhecimento. I Corntios 1.5

RESUMO

O presente trabalho mostra como um formalismo tpico de uma Teoria Quntica de Campos, que consiste basicamente em descrever um campo (que pode ter anlogo clssico ou no), como um conjunto de osciladores harmnicos, onde cada oscilador funciona como a unidade excitadora do campo chamada de quanta do campo. A metodologia para a quantizao consiste, em escrever o campo de forma clssica usando o formalismo Lagrangeano, por isso deve-se usar elementos da teoria clssica de campos para escrever o tensor Energia-momento do campo. H uma necessidade de formular o problema de modo quntico, e essa formulao consiste em impor que o campo um operador hermitiano, sujeito a relaes de comutao cannica com seu momento conjugado. Finalmente possvel escrever o Hamiltoniano do campo em termos do operador nmero que possui autovalores discretos, e sua principal funo contar os autoestados, os quais podem ser construdos a partir estado fundamental chamado de vcuo, usando os operadores de criao e aniquilao. O resultado dessa quantizao o aparecimento da unidade excitadora desse campo, que recebe o nome de mson escalar. Palavras-chave: Oscilador harmnico. Transformaes de Lorentz. Tensores.

ABSTRACT

This paper shows how a formalism typical of a Quantum Field Theory, which basically consists in describing a field (which may have similar classical or not) as a set of harmonic oscillators where each oscillator acts as the unit exciter field called quanta of the field. The methodology for the quantization consists in writing the field in a classical way using the Lagrangian formalism, so one should use elements of classical theory of fields to write the energy-momentum tensor of the field. There is a need to formulate the problem of quantum way, and this formulation is to impose that the field is a hermitian operator, subject to the canonical commutation relations in conjunction with their time. Finally you can write the Hamiltonian of the field in terms of the number operator which has eigenvalues discrete, and its main function is to count the eigenstates, which can be built from the ground state called the vacuum, using the creation and annihilation operators. The result of this quantization is the emergence of this field exciter unit, which is called the scalar. Keywords: Harmonic oscillator. The Lorentz transformations. Tensors.

SUMRIO

1 2 2.1 2.2 2.3 2.3.1 2.3.2 3 3.1 3.2 3.3 3.3.1 3.3.2 3.3.2.1 3.3.2.2 3.3.3 3.3.4 3.3.5 3.4 3.4.1 4 4.1 4.2 4.2.1 4.2.2 4.2.3 4.2.4 4.3 4.4 5

INTRODUO ............................................................................................. 11 OSCILADOR HARMNICO ........................................................................ 12 Descrio Clssica ....................................................................................... 12 Descrio Quntica ...................................................................................... 15 Osciladores Acoplados ................................................................................ 24 Dois osciladores acoplados .......................................................................... 24 osciladores acoplados .............................................................................. 27 A TEORIA CLSSICA DE CAMPOS .......................................................... 31 O formalismo Lagrangeano .......................................................................... 31 O formalismo Hamiltoniano .......................................................................... 36 Teoria de campos relativstica ..................................................................... 39 Os postulados da relatividade especial ....................................................... 39 As transformaes de Lorentz e os 4-vetores .............................................. 40 Intervalo invariante no espao - tempo......................................................... 42 O grupo de Lorentz ...................................................................................... 43 As leis Fsicas na forma covariante ............................................................. 45 Dinmica relativstica ................................................................................... 46 Campos relativsticos .................................................................................. 49 Teorema de Noether ................................................................................... 51 Quantidades conservadas e o Tensor Energia-momento ........................... 54 A TEORIA QUNTICA DE CAMPOS .......................................................... 57 O campo de Klein-Gordon ........................................................................... 57 A quantizao cannica do campo de Klein-Gordon ................................... 60 O Campo no espao de Fourier ................................................................... 60 O Hamiltoniano e os operadores e .......................................... 62 O operador ............................................................................................... 65 As relaes de comutao com o Hamiltoniano .......................................... 66 Nova ordenao para o produto de operadores ........................................... 68 A normalizao dos autoestados ................................................................ 71 CONCLUSO ............................................................................................. 73 REFERNCIAS .......................................................................................... 74

APNDICE A - ELEMENTOS DA LGEBRA TENSORIAL ................................... 76 APNDICE B - INTRODUO TEORIA DE GRUPOS ........................................ 91

11

1 INTRODUO

Querendo ou no a Fsica clssica est sustentada em duas propriedades distintas: partculas e ondas. Pode-se pensar que partculas so pulsos de energia e matria que esto localizados em uma poro finita do espao. J as ondas tm um carter mais difuso no espao. No entanto a teoria quntica de campos surgiu como esperana para a explicao das interaes fundamentais da natureza. Por volta dos anos que antecederam a 1925, o quantum foi a idia aplicada mecnica do movimento do movimento atmico, nascendo assim a Mecnica Quntica, que resultou na chamada dualidade onda-partcula expressada na famosa equao de Schrdinger (Ryder, 1996). O nascimento da Teoria Quntica de Campos ocorreu no final da dcada de 1920 como aplicao das regras de quantizao de Heisenberg ao campo de radiao. Ao escrever a energia do campo eletromagntico em termos dos modos normais de vibrao, ou seja, das componentes de Fourier, nota-se que ela consiste de uma superposio de osciladores harmnicos. Nessa teoria, as partculas surgem como resultado de campos quantizados, logo se pode pensar que as entidades bsicas da natureza so campos. Esse pensamento direcionou pesquisa para as interaes fortes, como fez Yukawa, para descrever as interaes fortes e Fermi para as interaes fracas durante a dcada de 1930. Mas, no entanto uma teoria que tenta descrever a natureza deve ser compatvel com a relatividade restrita de Einstein, logo ela deve ser local no sentido de que as interaes so descritas por produtos dos campos no mesmo ponto. Nesse esprito como pr-requisito de enorme importncia o

conhecimento e o domnio da quantizao de um sistema de osciladores harmnicos. Para o estudo de tal teoria, o campo escolhido foi o campo de KleinGordon que embora apresenta alguns problemas, teve uma grande importncia histrica.

12

2 OSCILADOR HARMNICO 2.1 Descrio clssica

O oscilador harmnico um sistema fsico que consiste em uma massa pontual presa a uma mola de constante elstica . O sistema est sujeito a uma

energia potencial da forma (SYMON, 1981)

Onde

a coordenada de movimento da partcula. Ela atrada para o ponto , que corresponde ao mnimo de energia potencial. Esse um ponto de

equilbrio estvel (figura 1), pois nele no h fora sobre a partcula. A fora sobre essa partcula

Aplicando a equao

em

Fazendo

a equao

se torna

De acordo com SYMON (1981) a soluo para a equao diferencial

A energia total desse sistema

13

Substituindo a equao

na equao

Logo

A equao

revela que a energia mecnica total do oscilador

harmnico constante, portanto o sistema conservativo (HALLIDAY, 1992). Para uma energia fixa .

, o movimento da partcula fica confinado entre os extremos

Figura 1- Grfico da funo energia potencial para um oscilador harmnico unidimensional. (COHEN TANNOUDJI)

Quando estudamos sistemas fsicos sujeito a pequenas oscilaes, podemos represent-lo de maneira aproximada por um modelo de osciladores

14

harmnicos.

Da

enorme

vantagem

do

conhecimento

desse

sistema.

Considerando uma energia potencial arbitrria

expandindo essa funo em temos

srie de Taylor em torno de um ponto extremo (mximo/mnimo)

Como nos extremos de energia podemos aproximar

e estamos interessados somente nas diferenas

Vemos que a equao

se parece muito com a equao

com a exceo que

deslocamos a posio de equilbrio para o ponto

. Podemos concluir que

A freqncia desse sistema para pequenas oscilaes podem ser dado por

FIGURA 2 - Em torno da vizinhana do ponto de um oscilador harmnico

pode-se aproximar

como a energia potencial

15

2.2 Descrio quntica

Antes de estudar o oscilador harmnico no formalismo da mecnica quntica vamos enunciar os postulados segundo SAKURAY (1994). POSTULADO 1 - Estado de um sistema Em cada instante de tempo, o estado de um sistema representado por um vetor )

normalizado | chamado ket no espao vetorial dos estados (espao de Hilbert que contm toda a informao do sistema. POSTULADO 2 - Quantidades fsicas

Qualquer quantidade fsica mensurvel descrita matematicamente por um operador que atua sobre os kets.

POSTULADO 3 - Medidas de quantidades fsicas O resultado de uma medida da quantidade fsica operador, que so dados pela equao um dos autovalores desse

| =
POSTULADO 4 - Decomposio espectral A probabilidade de obter um autovalor observvel

(no degenerado) numa medida um

sobre o sistema no estado normalizado |

Onde |

o autovetor normalizado de

correspondente ao autovalor

POSTULADO 5 - Reduo do pacote de onda Imediatamente aps a medida de autovalor , sobre o sistema no estado | , que resulta no

, o sistema se encontra em um novo estado | , que a projeo

16

normalizada do vetor ket original no subespao correspondente aos resultados da medida

POSTULADO 6 - Evoluo temporal A evoluo temporal de um sistema quntico determinada pelo operador Hamiltoniano ou Energia total, , atravs da equao de Schrdinger

A descrio quntica do oscilador harmnico aplicvel no estudo oscilaes de tomos numa rede cristalina, dando origem aos fnons. Esses sistemas so da ordem de grandeza do tomo. Como vimos na descrio clssica o hamiltoniano do oscilador harmnico no depende do tempo, por isso necessrio encontrar as solues da equao de Schrdinger independente do tempo.

Que uma equao de autovalor, e o que interessa nessa equao so os autovalores do operador Hamiltoniano (valores de energia). Um estado qualquer da partcula descrito por um ket genrico . Como o oscilador harmnico

unidimensional conveniente representar na base dos autoestados de posio representado por uma funo de onda tal que

representa a densidade de probabilidade de encontrar a partcula entre e . (PEREIRA, 2002). A quantizao do movimento da partcula feita associando-se a operadores Hermitianos definidos como e

17

Esses operadores satisfazer a seguinte relao e comutao

Pode-se escrever o operador Hamiltoniano em termos dos operadores de posio e momento

Pode-se ainda

Para simplificar a equao

definem-se os operadores adimensionais

Logo o operador Hamiltoniano se torna

Os operadores

satisfazem a relao de comutao

. E o Operador

Hamiltoniano se torna

Nesse ponto conveniente definir os operadores de abaixamento e levantamento, respectivamente

18

Com isso os operadores de posio e momento podem ser escritos em termos desses novos operadores

Esses operadores de abaixamento e levantamento satisfazem a relao de comutao

Substituindo as equaes fica em termos desses operadores

na equao

, o Hamiltoniano

Usando a relao de comutao

na forma

substituindo em

19

Onde definido o operador nmero

(COHEN, 1977), que est

relacionado com o nmero de autoestados do oscilador harmnico, atravs da equao de autovalor

Os autovalores desse operador satisfazem algumas propriedades: Propriedade 1: O espectro dos autovalores de Multiplicando esquerda a equao por so no-negativos.

Fazendo

tem-se

Propriedade 2: O espectro dos autovalores de

so discretos

Vamos inicialmente determinar as relaes de comutao do operador com e .

Se o operador

atuar no estado fundamental

tem-se

, pois

esse estado o de menor energia.

Usando as relaes de comutao

pode-se determinar

20

Da mesma forma

Veja que os autovetores de , respectivamente. Suponha inicialmente que

possuem autovalores

um autovalor no-inteiro de

. Vamos mostrar que

essa hiptese contradiz a propriedade 1. Se . Ento satisfaz

no-inteiro, pode-se supor que

O autovalor do autoestado de . Mas ser que para

est de acordo com nossa hiptese, pois a hiptese.

Veja que o autovalor acima viola a hiptese inicial, pois

Ento a negao da hiptese, nos revela que os autovalores de discretos, ou seja, . com e

devem ser

Agora conveniente determinar as relaes de comutao de

21

Logo a equao

fica

Da mesma forma para

Se

um autovetor do operador Hamiltoniano

, ento

tambm devem ser.

Como se v nas equaes

os autovalores desses novos . Daqui vem o

autovetores so diferentes dos autovalores da equao significado fsico dos operadores quantum de energia e

. O operador de abaixamento diminui um

e o operador de levantamento aumenta um quantum de

energia de mesmo valor. Por isso os nomes de operadores de abaixamento e levantamento, respectivamente (PEREIRA, 2002). Aplicando a equao no estado fundamental

22

Ento a energia do estado fundamental do oscilador acordo com a equao fundamental deve-se obter se o operador for aplicado

. De

vezes no estado

Logo

Os nveis de energia do oscilador harmnico quntico so positivos e quantizados. Atravs dos operadores de abaixamento e levantamento podemos modificar os autoestados. O n-simo estado excitado construdo a partir do estado fundamental aplicando o operador de criao vezes sobre o estado fundamental

Falta determinar a constante de normalizao

. Para tal primeiramente

Se o autoestado

normalizado, ento

23

Agora para outro autoestado

deve-se ter

Ento

Logo a aplicao sucessiva de

no menor autoestado

dada por

Ento a atuao dos operadores de criao e aniquilao sobre os auto estados do oscilador harmnico

24

2.3 Osciladores acoplados 2.3.1 Dois osciladores acoplados

O tratamento de problemas que envolvem mais de uma partcula usando a equao de Schrdinger independente do tempo funo das . se torna simples quando

coordenadas que informam a posio de cada partcula, Para quantizar esse sistema necessrio conhecer o

Hamiltoniano clssico em funo das quantidades canonicamente conjugadas e ento associar operadores a essas quantidades (PEREIRA, 2002). Goldstein (1980) a funo Lagrangeana desse sistema Segundo

O momento canonicamente conjugado ser

O Hamiltoniano clssico dado em termos da transformada de Legendre

Associa-se s variveis cannicas clssicas operadores de posio momento que satisfazem a relao de comutao

O problema mais simples o de um acoplamento duplo de osciladores composto por duas massas e , acopladas por uma mola de constante elstica

, ligadas pela energia potencial

25

Aprender a resolv-lo de fundamental importncia para resolver outros sistemas mais complexos, como o de um sistema de osciladores com vrios graus de liberdade. O Hamiltoniano desse sistema constitudo de duas massas

Para um sistema de duas partculas a equao de Schrdinger se torna separvel se, em vez de se trabalhar com as coordenadas individuais de cada partcula, trabalha-se com as coordenadas relativas e do centro de massa (GRIFFTHS, 1995).

Os momentos conjugados a

so

Onde

. Com essa transformao os momentos

so

Substituindo as equaes

em

, O Hamiltoniano se torna

26

Onde

a massa reduzida do sistema. Como mencionado separvel nas coordenadas e .

anteriormente o Hamiltoniano na forma

Segundo GRIFFTHS (1995) isso significa que a funo de onda e a energia dos estados podem ser escritos na forma

Dessa forma a equao de Schrdinger independente do tempo

A equao em

Onde

. A soluo da equao

uma onda plana do tipo

J para a equao em

O Hamiltoniano da equao

o de um oscilador harmnico unidimensional,

cuja soluo j conhecida. Logo a energia total desse sistema

27

O mtodo empregado sugere uma generalizao que permite tratar o caso de corpos. No caso considerado, a coordenada e corresponde a uma forma ; por sua vez,

de movimento em que tanto

vibram com freqncia e

corresponde translao conjunta de

- o que pode ser encarado como

uma vibrao de freqncia nula. Cada uma dessas formas de movimento, em que todas as partculas vibram com a mesma freqncia, chamada de um modo normal do sistema (PEREIRA, 2002).

2.3.2

osciladores acoplados

A estratgia para resolver o problema quntico de

osciladores

acoplados separar a equao de Schrdinger nas coordenadas dos modos normais e reduzir o problema a conhecida. Para tal considere (PEREIRA, 2002). osciladores harmnicos simples, cuja soluo j massas iguais acopladas por molas de constante

FIGURA 3 -

osciladores harmnicos acoplados com condies peridicas de contorno (PEREIRA,

2002)

Cada mola est sujeita a uma energia potencial da forma

O sistema est sujeito a condies de contorno peridicas

A funo Lagrangeana do sistema

28

Usando a transformada de Legendre o Hamiltoniano

O termo de energia potencial pode ser simplificado notando que cada 61) aparece duas vezes na soma. Ento

(equao

O tratamento terico mais adequado para sistemas com vrios graus de liberdade a teoria as pequenas oscilaes. Definindo o vetor de coordenadas

A Lagrangeana agora escrita na forma de um produto de matrizes

Onde

uma matriz

dos coeficientes

de

29

O superndice

denota a transposio da matriz. Como a matriz

simtrica, que

existe uma mudana de coordenadas dada por uma matriz ortogonal diagonaliza (CHOW, 2000)

Com

tal que

A matriz

a matriz diagonal. Os elementos dessa matriz so de tal forma que

Onde

so os autovalores positivos da matriz

, pois na

uma configurao e usando

de equilbrio estvel do sistema. Substituindo a equao

O Hamiltoniano associado

Onde

. A transformao ortogonal assegura que

so

canonicamente conjugados

O Hamiltoniano

tambm separvel nas coordenadas que descrevem os

modos normais de vibrao do sistema. Cada modo possui uma freqncia

30

A equao de Schrdinger admite solues da forma

Cada

tem autovalor

Portanto a energia total do sistema quantizada em termos das freqncias dos modos normais

31

3. A TEORIA CLSSICA DE CAMPOS

Partculas so pontos materiais localizados em uma posio finita do espao. As equaes de movimento de um sistema mecnico com um nmero finito de graus de liberdade so determinadas pelos formalismos Lagrangeano e Hamiltoniano. Um campo est definido em todos os pontos do espao, ou seja, ele no est localizado em uma posio especfica. Por exemplo, quando associamos um valor de temperatura a cada ponto de espao, estamos definindo um campo escalar chamado, campo de temperatura. Por sorte as teorias de campo de interesse fsico so descritas classicamente pelos formalismos Lagrangeano e Hamiltoniano. As interaes bsicas das partculas elementares, constituintes da matria, so expressas por meio de teorias qunticas de campo. Por sua vez, a construo das teorias qunticas das interaes fundamentais da natureza depende primeiro, da possibilidade de formul-las como teorias clssicas de campos, ou seja, nas linguagens Lagrangeana e Hamiltoniana (LEMOS, 2007).

3.1 O formalismo Lagrangeano

Segundo Pereira (2002), um sistema contnuo pode ser encarado como o limite de um sistema de partculas quando o nmero de graus de liberdade tende ao infinito. Toma-se o cuidado de fazer a correspondncia correta entre as grandezas do sistema discreto e suas anlogas no contnuo. O problema de partculas ligadas por molas reduz-se ao problema de e

uma corda contnua que vibra longitudinalmente, quando (mantendo vizinhos e fixo) onde

a distncia de equilbrio entre osciladores

o comprimento da associao.

32

Segundo Symon (1981), a dinmica da corda depende da densidade linear de massa e de uma constante relacionada sua elasticidade. Pode-se

representar cada deslocamento longitudinal dessa corda pela coordenada generalizada

. O ndice

est relacionado com cada partcula ligada mola, do ponto sobre a corda

deve-se tornar contnuo e relacionado com a coordenada

A grandeza

uma funo contnua no domnio

, que

define um campo escalar unidimensional. A propriedade de inrcia da corda dada pela densidade linear de massa (SYMON, 1981)

Onde

a massa total da corda. A energia cintica do sistema discreto

No limite contnuo,

Ento a equao

se torna

A energia potencial desse sistema

Identificando que

33

Logo a energia potencial da corda

A Lagrangeana desse sistema contnuo

Onde

chamada de densidade Lagrangeana. A ao mais geral para uma teoria

de campos unidimensional retirada do princpio variacional de Hamilton tem a forma

A equao de movimento desse campo escalar obtida a partir do clculo variacional. Variando a ao

Como estamos fazendo analogia com uma corda vibrante, supomos que seus extremos so fixos, de modo que e

. A variao na varivel espacial na densidade Lagrangeana

34

De acordo com

a equao

se torna e aplicando a condio de extremo na

variao da ao, ou seja,

Fazendo

E em seguida usando

Levando em conta as condies de contorno substituindo as equaes acima na equao

Como

arbitrrio, para que a igualdade da equao

seja verdadeira

A equao unidimensional. movimento

a equao de Euler-Lagrange para o campo escalar Substituindo a densidade Lagrangeana na equao de

35

A equao obtida a partir da densidade Lagrangeana com

uma equao de onda,

sendo a velocidade de propagao dessa onda. campos com trs dimenses espaciais e uma , as equaes de Lagrange

A equao de Euler-Lagrange para temporal, representados por

resultantes do princpio de Hamilton (LEMOS, 2007)

Onde

. Variando essa ao com os extremos fixos

Onde as variaes dos

so independentes e se anulam nos extremos de

integrao temporal a na superfcie que limita a regio tridimensional e uma integrao por partes

. Usando

Agora tomando com

e a identidade vetorial

36

DE posse do teorema da divergncia levando em conta que as variaes so nulas na superfcie que limita

tem-se

Ento o princpio variacional de Hamilton tem a forma

E as equaes de Lagrange para uma teoria de campos tridimensional so da forma

3.2 O formalismo Hamiltoniano

Uma vez construdo o formalismo Lagrangeano de uma teoria clssica de campos, possvel obter a formulao Hamiltoniana para sistemas contnuos. Assim como no caso de um sistema de partculas, deve-se encontrar o momento canonicamente conjugado s coordenadas de campo

Ento

37

o momento canonicamente conjugado a cada campo transformada de Legendre para esse caso se torna

. A

Segundo LEMOS (2007) conveniente definir a densidade Hamiltoniana

, que

ser interpretada fisicamente como sendo a densidade de energia do campo, como

Com essa definio a ao na forma Hamiltoniana pode ser escrita da seguinte maneira

Em todas as teorias de interesse fsico,

no depende dos gradientes de

. As

equaes de Hamilton so obtidas diretamente do princpio variacional de Hamilton,

38

Nas integraes por partes os termos de fronteira so descartados, pois os extremos so fixos. Logo

Para que a igualdade seja vlida para quaisquer multiplica deve ser nulo. Isso resulta em

cada termo que os

As equaes

so as equaes de campo na forma Hamiltoniana.

39

3.3 Teoria de campos relativstica

Quando as partculas se movem com velocidades prximas velocidade da luz no vcuo, a mecnica newtoniana entra em contradio com a experincia (RINDLER, 2006) e precisa ser reformulada luz da teoria da relatividade restrita. Baseado na correspondncia entre os sistemas discreto e contnuo de pode-se adaptar elementos da mecnica relativstica a uma teoria de campos. Essa teoria relativstica chamada teoria clssica de campos.

3.3.1 Os postulados da Teoria da Relatividade Especial

Na Teoria da Relatividade Especial, o elemento de estudo so as transformaes de grandezas fsicas transferidas de um referencial inercial para outro. Essa mudana feita mediante uma transformao de Lorentz. Essas transformaes no so feitas somente no espao tridimensional comum ,

pois os intervalos de tempo na mecnica relativstica no so os mesmos em diferentes referenciais inerciais. Dessa forma conveniente definir o chamado espao de Minkowiski onde includo o tempo como quarta coordenada espacial. Logo esse espao tem um carter quadrimensional. Ento um evento qualquer no espao-tempo caracterizado por trs dimenses espaciais e uma temporal . Segundo Shutz (1985) a relatividade especial fundamentada em dois postulados: Princpio da relatividade (Poicar): As leis da fsica no variam quando so observadas por observadores inerciais em referenciais distintos. Em outras palavras, o princpio de Galileu diz que se for possvel, por exemplo, montar um experimento que possa medir a velocidade absoluta de um observador em um determinado referencial, os resultados dessa experincia no dependem da velocidade relativa de outros observadores em outros referenciais.

40

Universalidade da velocidade da luz (Einstein): A velocidade da luz em relao a qualquer referencial inercial imutvel. No sistema internacional de unidades (S.I) essa velocidade

Como o valor da velocidade da luz fundamental, usa-se esse fato para incorporar o tempo como uma coordenada espacial. Para isso definido um novo sistema de unidades tal que . Isso implica em termos dimensionas que

devemos usar uma nova unidade de tempo: o comprimento. Veja

Um metro de tempo o tempo necessrio que a luz leva para viajar um metro. Com essa nova definio de unidade, grandezas como velocidade, acelerao, fora, energia dentre outras iro adquirir novas unidades.

3.3.2 Transformaes de Lorentz e os 4-vetores

Seja

um referencial inercial e

outro que se move em relao ao . Suponha . Logo atribudas a um

primeiro com uma velocidade na direo

de mdulo constante igual a

que as origens dos dois referenciais coincidam no instante segundo Eisberg, 1988 as coordenadas e

mesmo evento por observadores fixos nos respectivos referenciais, esto relacionados da forma

41

As transformaes de Lorentz acima so esto no que se chama na forma padro, pois o movimento do referencial S se dar ao longo do eixo . Segundo Shutz (1985) a homogeneidade e isotropia do espao-tempo asseguram que a transformao de Lorentz seja linear. As transformaes de Lorentz ainda podem conter rotaes tridimensionais, rotaes no espao-tempo e reflexes. Logo uma transformao mais geral pode ser escrita de forma geral como

Onde

o 4-vetor posio no espao de Minkowiski. Qualquer vetor que se dito ser um 4-vetor. Para explicitar

transforme de acordo com a equao suas componentes fazemos

comum usar uma notao de onde

Genericamente as coordenadas referidas em conveno os ndices gregos os ndices latinos A equao

so referidas como

. Nessa . Enquanto

iro assumir os valores assumiro os valores .

pode ser posta na forma matricial, da forma

Onde foi definido

42

E segundo Lemos, 2007 define-se a matriz de transformao de Lorentz

Claro que essa matriz no uma transformao de Lorentz geral, mas ela apenas um boost.

3.3.2.1 Intervalo invariante no espao tempo

A transformao de Lorentz e a relatividade da simultaneidade fazem com que os intervalos de tempo e as distncias sejam diferentes para observadores em diferentes referenciais inerciais. A grandeza associada a dois eventos e

infinitesimalmente prximos, com coordenadas no espao-tempo

, respectivamente, denominada intervalo e segundo Rindler (2006) definida como

O intervalo no referencial

. Substituindo as

transformaes de Lorentz nesse intervalo

Este um importante resultado: o intervalo de dois eventos invariante sob transformaes de Lorentz. Diz-se tambm que um escalar de Lorentz. No

espao euclidiano o comprimento invariante sob mudana no sistema de coordenadas. Entretanto, no caso da relatividade especial nem a distncia espacial

43

nem o intervalo de tempo so separadamente invariantes. Isso refora mais ainda a idia de um espao quadrimensional (LEMOS, 2007). Dotando a notao de ndices, o intervalo em sua verso infinitesimal fica da forma

Onde

representa os elementos da mtrica de Minkowski representada por uma

matriz da forma

importante salientar que os elementos tensor mtrico. Pode-se definir tambm a matriz consistncia igual prpria matriz.

da matriz

so componentes do que por

que a inversa de

3.3.2.2 O grupo de Lorentz

Segundo Lemos (2007) a transformao de Lorentz mais geral possvel que deixa invariante

A fim de comparar os coeficientes dos deslocamentos no segundo e ltimo membros de e notando que

fcil ver que

O grupo de Lorentz condio

definido como o conjunto das matrizes

que satisfazem a

44

Para realmente constatar que a condio

forma um grupo, devemos recorrer a

definio axiomtica que est no apndice B. Um elemento do Grupo de Lorentz satisfaz: 1. Fechamento: Se as matrizes Demonstrao: Substituindo o produto de matrizes na definio temos , ento o produto .

2. Associatividade: Se

ento vale a relao

Essa propriedade demonstrada automaticamente, porque o produto de matrizes associativo. 3. que O elemento neutro: Existe um elemento neutro, que a matriz identidade , tal .

Demonstrao: Diretamente da definio

4. O elemento inverso: Existe um elemento inverso, Demonstrao: Considerando que

, tal que

Ento

Ou seja,

Note que o determinante da equao

Por causa dessa equao o grupo de Lorentz fica dividido em mais dois: Os grupos prprio e imprprio de Lorentz definidos, respectivamente por

45

Esses dois conjuntos so disjuntos, ou seja, em

. Por outro lado, tomando

De onde conclumos que ou Dessa condio formam-se mais dois grupos

Que so as transformaes de Lorentz ortcrona e no-ortcrona, respectivamente. No sentido fsico, uma transformao de Lorentz dita ortcrona quando ela preserva o sentido do tempo. Enquanto a transformao no-ortcrona, inverte o sentido do tempo (LEMOS, 2007).

3.3.3 Leis fsicas na forma covariante

O aparato tensorial desenvolvido no apndice A tem como objetivo a expresso matemtica das leis fsicas em forma covariante, ou seja, vlida em todos os referenciais inerciais. Suponha que, num dado sistema de referncia inercial S, uma lei da fsica possa ser expressa na forma

Onde

um campo tensorial. Em virtude das leis de transformao homogneas

de Lorentz, se um campo tensorial nulo em um determinado sistema inercial ele ser nulo nos demais. Em outras palavras, em S

46

Dessa forma uma lei fsica descrita em S tem a mesma forma em S. Dizemos ento que tal lei esta manifestada na forma covariante. Isso dentre outras vantagens, facilita a determinao de como de transformam as grandezas fsicas relevantes quando se muda o referencial.

3.3.4 Dinmica relativstica

Antes de trabalharmos com campos relativsticos importante saber como so os elementos cinemticos e dinmicos de uma partcula na forma covariante. Vamos comear definido a quadrivelocidade. A idia mais imediata seria considerar (2007) , mas este objeto no um quadrivetor porque segundo Lemos no um escalar. O intervalo de tempo prprio , segundo Rindler

(2006) definido como o intervalo de tempo medido no sistema de referncia em que a partcula encontra-se imediatamente em repouso. Suponha que, no instante velocidade velocidade de um referencial S, a partcula tenha

quando vista de S. Seja S um referencial inercial que se move com relativamente a S, de modo que, do ponto de vista de S, a partcula de S. Seja o intervalo invariante definido

encontra-se em repouso no instante pela equao . Evidentemente,

, de sorte que, no referencial S,

Mas do ponto de vista de S

Isso porque no intervalo de tempo

medido em s a partcula permaneceu imvel,

uma vez que o referencial S acompanhou o movimento da partcula. Mas como o intervalo invariante

47

com escalar.

definido pela equao

. Note que a

comprova que

um

A quadrivelocidade

segundo Rindler (2006) um quadrivetor definido por

Onde

a velocidade tridimensional da partcula. Uma conseqncia

imediata desta definio que

Analogicamente a quadriacelerao definida por

Onde

a acelerao tridimensional. Um resultado importante entre a

quadrivelocidade e a quadriacelerao e que eles so vetores ortogonais. Pode-se demonstrar isso usando , e

Para o quadrimomento de uma partcula define-se

Onde

um escalar chamado massa de repouso, ou simplesmente, massa da decorre

partcula. De

o momento linear relativstico, e para baixas velocidades ele se

reduz expresso newtoniana.

48

Agora podemos propor uma verso covariante da segunda lei de Newton

Onde

a quadrifora, tambm chamada de fora de Minkowski (LEMOS, 2007). e que o quadrimomento e quadrifora

Tambm se pode mostrar usando so ortogonais

A equao tridimensional

no diz nada a no ser se for relacionada com a fora . O modo mais simples de fazer isso considerar a hiptese de

permanece vlida a conexo newtoniana entre a fora e a taxa de variao do momento linear

Comparando encontra-se

com as componentes espaciais de

e utilizando

A componente temporal

obtida atravs de

Dessa forma a equao

se torna

Podemos nos perguntar: qual o significado fsico da componente temporal da equao de movimento covariante? Segundo Lemos (2007) essa pergunta pode ser respondida fazendo uso de , e

49

Ou seja,

Como

a potncia fornecida partcula pela fora , podemos concluir que

Esta a definio da energia relativstica da partcula, e a componente temporal da equao de movimento covariante representa a lei de conservao da energia. Com esse resultado pode-se escrever a equao como

No limite no relativstico, uma expanso binomial aplicada em

Segundo Lemos (2007) o segundo termo a energia cintica newtoniana e os termos seguintes so correes relativsticas na expresso clssica. O primeiro termo no tem anlogo clssico e Einstein interpretou como sendo a energia de repouso de uma partcula

Logo a energia cintica relativstica

50

3.3.5 Campos relativsticos

As equaes de Lagrange coordenadas

permanecem inalteradas sob uma mudana das tem-se

. Em particular, fazendo

Em termos da notao covariante, as equaes de Lagrange para campos relativsticos so das por

Onde

Se para um dado valor de ,

for um campo escalar,

ser um for uma

quadrivetor covariante. Neste caso, se a densidade Lagrangeana

grandeza escalar, ser um quadrivetor contravariante e o primeiro termo esquerda ser um escalar. De modo geral, para que as equaes de Lagrange sejam

covariantes, basta impor que a densidade Lagrangeana seja um escalar. Uma vez que o elemento de volume quadrimensional Lorentz, a ao invariante sob transformaes de

Tambm ser um escalar se

for um escalar.

51

3.4 Teorema de Noether

Segundo Lemos (2007) o teorema de Noether resume a relao entre simetrias e leis de conservao na Teoria Clssica de Campos. Ele diz respeito a transformaes contnuas nos campos escritas na forma , as quais, em forma diferencial, podem ser

A variao

difere da variao usual

porque leva em conta a mudana do campo

em conseqncia da alterao tanto de sua forma funcional quanto de seu argumento. A variao provocada apenas pela mudana de forma definida por

E escrevemos a variao

como

Mas por outro lado

Lembrando que a conveno de Einstein est sendo levada em conta. Dessa forma a equao se torna

importante salientar que as derivadas

comutam com a operao em

, mas no

comutam com a operao . Aplicando a equao

52

A variao da ao definida por

A densidade Lagrangeana variada

Usando

a equao

se torna

Nesse momento conveniente definir a derivada total em relao

A partir dessa definio a equao

se torna

A equao

leva em conta a dependncia explcita e a dependncia por

intermdio dos campos. Mas por outro lado

Onde

o jacobiano da transformao

. Da eq.

53

Como

Dessa forma

fica

Levando em conta pequenas, os termos de

e considerando que as variaes so se torna

so desprezveis e a equao

Entretanto pode-se observar que o segundo termo dentro do colchete . Logo

Usando as equaes de movimento dos campos

Pode-se escrever

Substituindo aplicada

em

e impondo que a ao no varia com a transformao

54

Para todo

tem-se

O que implica que a grandeza entre chaves conservada.

3.4.1 Quantidades conservadas e o tensor energia-momento

Torna-se mais conveniente exprimir leis de conservao como a equao em termos dos parmetros infinitesimais que caracterizam a transformao. Suponha que as transformaes e sejam especificadas em termos de na forma

parmetros infinitesimais independentes

Os ndices

dos campos e dos parmetros da transformao podem ou no ter

carter tensorial, e continua vlido a conveno de ndices repetidos indicam soma. Substituindo as equaes e em

Introduzindo as equaes

na variao da ao

Definindo

55

A equao se torna

Como a regio de integrao e os parmetros se as leis de conservao local

so arbitrrios, de

deduzem-

Fazendo

escrevemos

como

Usando o teorema da divergncia a equao

pode ser posta na forma integral

Se a regio de integrao

engloba todo o espao tridimensional e os campos

tendem a zero com rapidez no infinito, a integral de superfcie nula.

E as integrais so quantidades conservadas, pois no dependem do tempo. Fica demonstrado que a cada transformao infinitesimal -paramtrica das quantidades

coordenadas e campos que deixa a ao invariante, correspondem a conservadas dadas por

conhecidas como cargas de Noether.

Considerando agora a translao no espao-tempo

56

Que no modifica os campos, isto transformao um, as equaes e

. Como o jacobiano dessa mostram que a ao invariante

desde que a densidade Lagrangeana no dependa explicitamente das coordenadas espao-temporais. Agora o tem natureza quadrivetorial, e de acordo com e

Substituindo

em

Entretanto como Momento do campo

, e fazendo

define-se o Tensor Energia-

A partir disso as cargas de Noether conservadas compem o quadrivetor

A componente zero deste quadrivetor a integral da densidade Hamiltoniana, em outras palavras, a energia. Consideraes de covarincia e o fato da conservao do momento linear esto ligados invarincia sob translaes espaciais estabelecem que o quadrimomento ou quadrivetor de energia-momento, da o

nome Tensor Energia-Momento.

57

4. A TEORIA QUNTICA DE CAMPOS

A razo para se estudar Teoria Quntica de Campos est na esperana de que ela ir nos ajudar a entender as partculas fundamentais da matria e suas interaes. Ela nasceu da necessidade de descrever processos de criao e aniquilao de partculas, e era chamada erroneamente de segunda quantizao (por razes histricas). Essa estrutura incorpora a mecnica quntica, uma vez que vamos observar fenmenos microscpicos e a relatividade especial, pois as interaes demandam muita energia (RYDER, 1996). De maneira simples essa teoria consiste em tomar campos clssicos e verificar o que a unidade de excitao desse campo. Esse processo se chama quantizao do campo. Essa unidade chamada de quanta (partcula), e responsvel pela interao desse campo com a matria. Um exemplo clssico disso o campo eletromagntico, o qual o fton a unidade excitadora dele (LE BELLAC, 1995). Esse fton na interao com a matria, que constituda de tomos, muda o seu estado quntico, ou seja, ele sai do estado fundamental e passa para um estado excitado.

4.1 O campo de Klein-Gordon

Historicamente, a primeira equao usada para descrever partculas relativsticas de spin zero foi equao de Klein-Gordon. Embora de acordo com Greiner (2000) ela apresente alguns problemas como: (i) a interpretao de energia negativa que foi resolvido posteriormente por Dirac, (ii) a densidade de corrente de probabilidade no positivo definida. Mas para o objetivo desse trabalho no ser necessrio entrar nesses detalhes. Para deduzir essa equao devemos usar alguns aspectos da Relatividade Especial em conjunto com a Mecnica Quntica formando assim a Mecnica Quntica Relativstica.

58

Para isso, usando a eq.

junto com a definio

Da mecnica quntica, associamos operadores Hermitianos ao momento linear e a energia, logo

Substituindo

em

e multiplicando pela funo de onda

, obtemos

Nesse ponto conveniente definir o operador DAlambertiano

Dessa forma

Esta equao idntica a de um oscilador harmnico clssico da equao Usando a definio em , temos

Onde

59

E para facilitar, vamos utilizar a conveno da clssica da teoria de campos , de tal forma que as equaes e se tornem

Sendo

uma funo complexa, ela tambm satisfaz

As equaes

so as equaes de Klein-Gordon para um campo

escalar livre. Vamos nos deter no decorrer desse trabalho ao campo escalar real. Embora o campo de Klein-Gordon no tenha anlogo clssico por

ser estritamente quntico, segundo Ryder (1996) podemos trat-lo como um campo clssico. Para simplificar a notao fazemos . Como j sabemos a

equao de Klein-Gordon devemos encontrar a densidade Lagrangeana que ir gerar a equao de movimento. Segundo Ryder, ela

Para descobrir a energia na forma clssica, usaremos o tensor energia-momento definido por em conjunto com a eq.

Agora temos uma energia positivo definida. Mas como isto est relacionado com a energia dos estados de uma nica partcula? A resposta para isso que a quantizao do campo nos obriga a reinterpretar como um quantum ao invs de um sistema clssico. Para o momento, temos

60

4.2 A quantizao cannica do Campo de Klein-Gordon

Nesse modo de quantizao as variveis dinmicas do campo so interpretadas como operadores Hermitianos, sujeitos a elaes cannicas de comutao (LE BELLAC, 1995). E a teoria fica quantizada encontrando os

autovalores e autoestados, em analogia com o oscilador harmnico.

4.2.1 O campo no espao de Fourier

Uma soluo para a equao de Klein-Gordon uma onda plana da forma , onde o numero de onda e com freqncia . Agora por

uma questo de se trabalhar com um notao mais compacta conveniente fazer, usando e

, de tal forma que

. Segundo Le Bellac (1995), pode-se definir uma transformada de Fourier quadrimensional, ou seja, invariante de Lorentz da forma.

As integrais acima so feitas com os limites infinitos, e a notao para mantidas. Substituindo a equao em

so

Segundo Le Bellac, Temos duas sadas aqui: (i) primeira pode ser colocada na forma

ou (ii)

. A

, e chamada camada de massa (do

61

ingls mass shell). Outra supor que proporcional a

para .

. A nica soluo para isso

A funo forma

pode ser dividida em duas partes, uma negativa e outra positiva, da

Com o auxlio da propriedade da funo delta de Dirac, fornecida por Butkov (1988), que dada da forma

Dessa forma substituindo

em

tem-se

Que justamente o campo escrito no espao de Fourier. O elemento de volume invariante de Lorentz

O campo deve ser encarado como um sendo um operador hermitiano, isso implica que . Isso conduz a

Quando escreve-se o campo dessa forma estamos escrevendo o campo em termos dos modos de vibrao.

62

4.2.2 O Hamiltoniano e os operadores

Pode-se encontrar o campo densidade de momento , fazemos uso da densidade Lagrangeana de Klein-Gordon

associado a

Onde

. Logo o momento

Com o conceito de derivada funcional, segundo Lemos (2007) os parnteses de Poisson dos campos e dado por

Aproveitando esse resultado, postulamos as relaes de comutao entre essas variveis dinmicas

conveniente escrever o campo e seu momento conjugado em termos dos operadores forma e . Para tal escrevemos as equaes e na

Usando uma transformada de Fourier, vemos que as equaes acima ficam

63

Segundo Lemos (2007), usando o conceito de derivada funcional, o colchete de Poisson dos campos e

Mais simples

A partir desse resultado clssico, podemos postular as relaes de comutao

Um detalhe importante, que as relaes de comutao entre os campos devem ser calculadas no mesmo tempo. Uma vez que se conhecem as relaes de comutao entre os campos. Pode-se com uma certa facilidade obter a relao de comutao

Usando as equaes

64

Onde foi feito

para simplificar os clculos. Usando a definio integral da

funo delta de Dirac (Arfken, 2005)

A equao

se torna

Como temos as expresses dos campos e na forma

em termos dos operadores pode ser escrito

, o operador Hamiltoniano dado pela equao

Usando a relao de comutao

, a equao

se torna

Que o Hamiltoniano em termos dos operadores

. Entretanto, o

Hamiltoniano escrito dessa forma apresenta uma divergncia. Mas isso comum uma teoria de campos que trata com infinitos graus de liberdade. Essa singularidade ser retirada mais a frente, com um processo chamado de renormalizao aditiva (GOMES, 2002).

65

4.2.3 O operador

conveniente definir o operador

que segundo McMahon (2008) escrito da forma

Os autoestados desse operador podem se usados para formar uma base, de tal forma que os autovalores podem ser encontrados atravs de

E podemos avaliar a relao de comutao

Analogicamente

Calculando

usando a relao de comutao

Da mesma forma

66

Pelas equaes autoestados de

notrio que os estados e

e , respectivamente.

so

com autovalores

denominado operador nmero. Os autovalores

so todos positivos. Para por

demonstrar esse fato, multiplica-se esquerda a equao

Similar ao caso do oscilador harmnico, os autovalores desse operador so discretos. Usando a equao instncia de vcuo denotado por para o estado fundamental, chamado nessa . O resultado

O estado fundamental no contm partculas com momento no oscilador harmnico os autovalores de

. Da mesma forma que

so inteiros no-negativos.

4.2.4 As relaes de comutao com o Hamiltoniano

Fazendo a adaptao

E calculando a relao de comutao

67

Similarmente

Rearranjando as equaes

Suponha que

um autoestado de

com autovalor

. Definindo

Da mesma maneira para

tem-se

Mas notrio que o Hamiltoniano na equao proporcional a que infinito. Fazendo com que simplesmente atue no estado fundamental

, ou

, denominado aqui de vcuo (RYDER 1996), temos

Identificamos a grandeza entre parnteses como a energia do ponto zero. Ela divergente porque representa a soma sobre todos os modos de energia de ponto zero, . No entanto isso no detectado experimentalmente, pois mede-

se apenas diferenas de energia do estado fundamental (PESKIN, 1983). O que

68

deve ser feito agora um processo chamado de renormalizao aditiva, que consiste em retirar a singularidade no Hamiltoniano , fazendo a diferena

Tratando o momento e o Hamiltoniano em termos do 4-momento,

Com

. Como os autovalores do operador nmero so discretos, nossa

teoria de campo esta quantizada. Note que o procedimento foi similar ao oscilador harmnico.

4.3 Nova ordenao para o produto de operadores

De acordo com a equao campo na forma

pode-se escrever, segundo Gomes (2002), o

Onde, de acordo com essa definio denomina-se

Vejamos se o produto dos campos est bem definido,

69

Usando a equao acima podemos calcular o valor esperado de estado de vcuo

no

Como

, ento a equao acima se torna

No entanto a equao

divergente, assim o produto convencional dos

campos no faz sentido. Deve-se ento adotar uma nova ordenao para o produto de operadores seja bem definida, como na mecnica quntica. Com essa finalidade conveniente definir o produto de Wick,

Decorrente da definio segue-se em particular que

Tambm podemos fazer

70

A equao acima fornece uma nova definio para o produto de Wick. E adotando essa ordenao, o tensor energia-momento fica redefinido como

A partir da equao

notrio que

E que um autoestado

de

tal que

Avaliando

Para um estado com duas excitaes,

Explicitando

71

Note que qualquer estado, construdo a partir do estado de vcuo, semelhante a caso do oscilador harmnico. Veja que o operador momento e energia cria um estado com

. Da mesma forma um estado com mais de com momentos e e

uma excitao criado, como mostra a equao energias e .

comum chamar tais excitaes de partculas, mas no em um sentido de serem localizadas em pores finitas no espao, mas sim no sentido de que so entidades que possuem correta relao relativstica entre momento e energia.

4.4 A normalizao dos autoestados

Os operadores de criao dos autoestados nos permitem escrever qualquer estado em termos do vcuo. O estado

Constitui de

partculas cada uma com momento

. Essas partculas so

indistinguveis, ou seja, so bsons. Elas obedecem estatstica de Bose-Einstein. Para normalizar os autoestados devemos assumir que o vcuo normalizado, pois todos os demais so formados a partir dele. Seguindo o raciocnio do caso de um nico oscilador de acordo com a equao excitao tal que , um estado de nica

E a constante de normalizao

se torna

72

Da mesma forma, para

Temos

O estado de vcuo no contm excitaes, e pode ser escrito de forma abreviada,

Somos levados a concluir que um estado generalizado, contendo com momento pode ser escrito da forma

excitaes

Esse resultado mostra que possvel descrever o estado do sistema, que vinculado ao campo escalar , atravs da criao e destruio dos quanta de

excitao. As mudanas de estado ocorrem quando h absoro ou emisso dessas quantidades discretas de energia por parte do sistema.

73

5 CONCLUSO

O problema da quantizao de campo livre basicamente um problema de osciladores harmnicos, embora no decorrer do tratamento tenham aparecido singularidades (como a divergncia da energia do ponto zero), mas isso natural nessa teoria, pois ela trata de infinitos graus de liberdade. Uma teoria quntica de campo tem como objetivo, determinar os chamados quanta de vibrao, o qual se denomina o nome de partcula. Os quanta de vibrao do campo de Klein-Gordon segundo Le Bellac (1995) so os chamados msons escalares, e recebem esse nome por no por no possurem spin. A teoria de campo desenvolvida de forma introdutria uma teoria de campo escalar livre, pois os modos (partculas) no interagem. As interaes so introduzidas atravs de termos no quadrticos nos campos na expresso Lagrangeana ou Hamiltoniana.

74

REFERNCIAS

ARFKEN G. B, WEBBER H. J. Mathematical Methods for Physicists, 2005, Elsevier. BARATA, J. C. A. Curso de Fsica-Matemtica, Departamento de FsicaMatemtica da Universidade de So Paulo, verso de 23 de maio de 2006. CHOW, T. L. Mathematical Methods for Physicists: a concise introduction. Cambridge University Press, 2000. COHEN-TANNOUDJI. Quantum Mechanics, Volume I, John Wiley & Sons, New York (1977). EISBERG, R., RESNICK, R. Fsica Quntica, 4 edio, 1 reimpresso. Editora Campus Ltda 1988. GOMES, M. O. C. Teoria Quntica dos Campos. So Paulo: Edusp, 2002. GREINER, W. Relativistic Quantum Mechanics. Wave Equations, 3rd edition Springer-Verlag Berlin Heidelberg New York. (2000) GRIFFITHS D.J. Introduction to Quantum Mechanics. EUA. Editor Prentice Hall, Inc., 1995. H. GOLDSTEIN. Classical Mechanics, second edition. Addison-Wesley. Reading. Mass (1980). HALLIDAY, D., RESNICK, R., KRANE, K. S., Fsica Volume 2, 4a. Edio, Livros Tcnicos e Cientficos Editora S.A., Rio de Janeiro 1996. LE BELLAC, M. Quantum and Statistical Field Theory. Oxford University Press, (1995). LEMOS, NIVALDO A. Mecnica Analtica. Segunda edio, Editora Livraria da Fsica, 2007 So Paulo. MCMAHON D. Quantum Field Theory Demystified. The McGraw-Hill companies. (2008).

75

MURRAY R. SPIEGEL Anlise Vetorial, coleo Schaum, Rio de Janeiro, 1961 PEREIRA, RODRIGO GONALVES, MIRANDA, EDUARDO Introduo Teoria Quntica de Campos: do Oscilador Harmnico ao Campo Escalar Livre , Revista Brasileira de Ensino de Fsica, vol. 24, no. 2, Junho, 2002. PESKIN, M. E. e SCHROEDER, D. V. An Introduction to Quantum Field Theory, Addison Wesley, Reading, mass. (1983) RINDLER, W., Relativity Special, General and Cosmological. Second Edition, OXFORD SCIENCE PUBLICATIONS, 2006. RYDER, L. H. Quantum Field Theory, second edition. Cambridge. (1996) SAKURAY, J. J. Modern Quantum Mechanics, revised edition. Addison-Wesley Publishing Company, Inc, (1994). SHUTZ, B. F. A First Course in General Relativity. Cambridge University Press 1985. SOKOLNIKOFF, I. S. Tensor Analysis: Theory and Applications to Geometry and Mechanics of Continua. Second editon, John Wiley & Sons, Inc. 1964. SYMON, K. R. Mecnica, segunda edio. Editora Campus Ltda (1982).

76

APNDICE A - ELEMENTOS DA LGEBRA TENSORIAL

Neste trecho os principais conceitos da lgebra so tratados com o objetivo de serem usados no estudo da relatividade restrita, principalmente os quadrivetores e quadritensores do espao de Minkowiski. A transformao das componentes de um vetor sob uma rotao do sistema de coordenadas preserva o vetor como uma entidade geomtrica, independente da orientao da estrutura de referncia. Em um espao tridimensional, um escalar especificado por um nmero real e um tensor de ordem zero. J um vetor, que especificado por nmeros reais que

correspondem a suas componentes, dito tensor de ordem um. fcil generalizar essa idia, dizendo que um tensor de ordem em um espao dimensional tem

componentes que se transformam de uma maneira definida (ARFKEN, 2005).

1. A mtrica do espao

Considere o vetor posio

definido em um sistema de

coordenadas contravariante (ndice em cima). Isso implica que cada componente do vetor posio pode ser escrito como e

o vetor posio infinitesimal. Foi usada a conveno de Einstein para omitir o somatrio. O termo

77

o vetor de base covariante (ndice em baixo) desse sistema de coordenadas. E para preservar a orientao do sistema de coordenadas, deve-se ter . O quadrado do elemento de linha definido como

Segundo Arfken (2005) produto

a mtrica do sistema de coordenadas. Logo

o elemento de arco pode ser escrito como

Em termos da transformao do sistema de coordenadas, a mtrica pode ser escrita como

importante notar que a mtrica simtrica com relao aos ndices Considerando um espao uma matriz uma inversa outra notao de ordem tal que

dimensional a mtrica pode ser representada como

. Como o determinante dessa matriz no nulo, existe . Onde a matriz identidade de ordem
. Em

Onde forma

o delta de Kronecker. Um elemento infinitesimal de volume escrito da

78

O termo entre colchetes na equao o jacobiano de uma transformao tridimensional, dado por

Onde

so as coordenadas cartesianas. O jacobiano nos informa se se o vlido para descrever um sistema fsico , ou seja, as

sistemas de coordenadas

(Symon, 1981). Para que isso ocorra, existe uma condio, que coordenadas so linearmente independentes. Se um elemento da matriz jacobiana, ento fazendo

Ento de

podemos concluir que

Se

para

, o sistema de coordenadas ortogonal. Por outro lado, se

, o sistema de coordenadas o cartesiano.

2. A construo contravariante

O intuito dessa seo desenvolver o que chamamos de base contravariante. Seja um vetor escrito numa base covariante, fazendo uma

multiplicao escalar em ambos os membros dessa expresso por

79

Multiplicando ambos os membros da equao

por

Define-se

Como vetor de base contravariante. Um resultado importante

Com essa definio pode-se escrever as componentes de um vetor formas: na base covariante (natural)

de duas

ou na base contravariante (dual)

. Tambm possvel obter as componentes contravariantes em termos das covariantes atravs da mtrica do espao:

Um detalhe importante, que o sistema de coordenadas cartesiano no h distino entre componentes covariantes e contravariantes.

80

3. Vetores e Tensores

A definio mais formal de um tensor aquela que o define atravs de uma mudana e coordenadas. A seguir so definidos os vetores contravariantes e contravariantes e a generalizao de um tensor, mediante uma transformao de coordenadas.

3.1 Vetores contravariantes e covariantes

Um escalar

uma quantidade invariante sob mudana no sistema de

coordenadas, ou seja, seu valor o mesmo independente do sistema de referencia (LEMOS, 2007). Seja grandezas e em um sistema de coordenadas outras e em outro sistema de

que esto ligadas a coordenadas

pelas leis de transformao

Essas grandezas so ditas formar as componentes de vetores contravariantes e covariantes, respectivamente. As equaes contravariantes e covariantes, respectivamente. Demonstrao: De acordo com a equao e so conhecidas como leis

81

Como

Multiplicando por

Multiplicando por

fica

Considerando que a entidade vetorial invariante sob mudana do sistema de coordenadas, ou seja,

Multiplicando de forma escalar por

Multiplicando por

Por outro lado tambm

82

Multiplicando por

Multiplicando por

3.2 Tensores

Um tensor que possui chamado tensor do tipo a lei de transformao

ndices contravariantes e

ndices covariantes

, um objeto invariante cujas componentes obedecem

A equao

uma definio completa e total de um tensor. Pode-se dizer que

um vetor contravariante um tensor do tipo (1,0) e um vetor covariante um tensor do tipo (0,1).

3.3 Operaes com tensores 3.3.1 Soma

Sejam

dois tensores do tipo (1,2). O tensor soma ou subtrao

definida como

83

Observe que s podemos somar ou subtrair tenses de mesma ordem.

3.3.2 Produto direto (multiplicao externa)

Define-se o produto direto entre dois vetores

pela notao

. e

Esse tipo de produto linear, mas no comuta e associativo. Se ento o produto direto entre eles so

Atravs de uma mudana no sistema de coordenadas, o produto direto transforma

se

De acordo com a equao

, o produto direto

se transforma

como um tensor do tipo (0,2), e forma uma base para tensores desse tipo. Concluise ento que esse tipo de operao usada para criar tensores de ordem mais

84

elevada. Ento, por exemplo, se

so as componentes de um tensor, podemos

escrever o tensor em sua base apropriada

3.3.3 Contrao (produto interno)

Para mostrar como funciona essa operao, conveniente tomar um exemplo. Seja coordenadas um tensor do tipo (2,2). Sob mudana do sistema de

Para fazer uma contrao deve-se igualar ndices contravariantes aos covariantes. Por exemplo, fazendo

De acordo com as leis de transformao tensorial, a equao tensor do tipo (1,1). Veja que uma contrao diminui a ordem do tensor.

revela um

3.3.4 Regra do quociente

Suponha que no se sabe se uma grandeza contrao de com um tensor arbitrrio for um tensor, ento

seja um tensor. Se a ser um tensor. Por um tensor do tipo um

exemplo, em um sistema de coordenadas (1,0) tal que tensor e de que tipo. onde

um invariante. Queremos saber se

85

Pode-se chegar em

Logo a grandeza

um tensor do tipo (0,1), pois se transforma como tal.

3.3.5 Simetria e anti-simetria

Um tensor simtrico em relao a seus ndices, se mesmo permutando eles, suas componentes continuam iguais, ou seja,

E anti-simtrico em relao aos mesmos ndices se,

A simetria e a anti-simetria uma propriedade que independe do sistema de coordenadas.

3.4 Smbolos de Christoffel

Derivando

com relao

86

Fazendo o mesmo com

Mas

Usando o resultado

nas equaes acima e somando

com

Subtraindo

de

Define-se ento o smbolo de Christoffel de primeira espcie como

Multiplicando a equao

por

fica

Ento o smbolo de Christoffel de segunda espcie

definido da seguinte forma

87

Na prtica, os smbolos de Christoffel funcional como derivadas explcitas do tensor mtrico. importante salientar que esses smbolos no so tensores, pois mediante uma transformao de sistema de coordenadas, eles no se transformam como um tensor (SOKOLNIKOFF, 1964).

3.5 Derivada covariante

Muitas vezes importante saber a derivada de um tensor ao longo de uma curva. Isso acontece principalmente quando o espao curvo. Nesse caso de extrema importncia introduzir o conceito de derivada covariante. Seja um vetor contravariante. Diferenciando com relao a

Usando o smbolo de Christoffel de segunda espcie, pode-se escrever

Dessa forma a equao

pode ser escrita na forma

Como os ndices

esto somados, eles so mudos. Trocando esses ndices no

ltimo termo do segundo membro da equao acima

A quantidade entre parnteses a derivada covariante do vetor contravariante

88

Considerando um vetor covariante

e diferenciando-o com relao a

Diferenciando a equao

Usando novamente o smbolo de Christoffel de segunda espcie, pode-se escrever

E a equao

se torna

Logo a derivada covariante de um vetor covariante

Nos sistemas de coordenadas retangulares, os smbolos de Christoffel so nulos e as derivadas covariantes so as derivadas parciais usuais. As derivadas covariantes de tensores tambm so tensores (SPIEGEL, 1961).

3.6 Operadores diferenciais

3.6.1 Gradiente Seja uma funo escalar. Segundo SPIEGEL (1961) o gradiente dessa

funo em um sistema de coordenadas generalizadas como

89

3.6.2 Divergncia e Laplaciano

A divergncia de um vetor

a contrao de sua derivada covariante

Combinando as equaes

vemos que

Quando contrados com

os dois ltimos termos da chave se anulam. E fica

E usando o resultado de ARFKEN (2005)

Onde

o determinante mtrico. Pode-se escrever

como

Dessa forma a equao

se torna

90

O operador laplaciano definido como covariante, logo devemos fazer

. Mas o gradiente um vetor

Com esta definio,

3.6.3 Rotacional

Considerando

e aplicando o rotacional nesse vetor

Por outro lado

Ento

. Logo

91

APNDICE B - INTRODUO TEORIA DE GRUPOS

A idia de grupo na Fsica nasceu atravs do advento da Teoria da Relatividade e da Mecnica Quntica. Segundo BARATA, 2006 esse conceito relevante porque est ligado ao que se chama de transformaes de simetria. Segundo o prprio BARATA ela definida como uma transformao que leva um sistema fsico a outro sistema fsico possvel que satisfaa as mesmas leis e princpios do anterior. Transladar no espao e no tempo ou girar um sistema fsico so exemplos de transformaes de simetria. Nesse raciocnio, as transformaes de Lorentz fazem parte desse conceito. Existe uma definio formal de grupo, que segundo BARATA, 2006 diz que dado um conjunto levam pares de no vazio, existem funes definidas nesse conjunto que . Por

em um elemento de

, matematicamente,

exemplo, se dois elementos

, associamos uma funo binria ,

. Na teoria de grupos designa-se uma funo desse tipo como

onde esse no um produto ordinrio, como o de dois nmeros reais, mas uma funo. Para que um conjunto seja um grupo, ele deve ser dotado de uma que satisfaz as seguintes

operao binria chamada produto, denotada por propriedades: 1. Associatividade. Para todo vale a relao

.
, existe nesse conjunto

2. Existncia de um nico elemento neutro. Para todo um nico elemento neutro que satisfaz a relao

Demonstrao: Suponha que existam dois elementos neutros propriedade e , ento pela segunda

92

Fazendo o produto tambm neutro tem-se

uma vez que

neutro. Mas p outro lado,

, mas como a ordem do elemento neutro no importa, . , existe um nico

3. Existncia de um nico elemento inverso. Para todo elemento inverso tal que

Demonstrao: Suponha que exista outro elemento inverso que , tal que . Sabendo

Outros resultados importantes na teoria de grupos so

Demonstraes Para o primeiro, podemos fazer . Para o segundo, , como neutro, fcil concluir