Mostrar código-fonte de Teoria quântica de campos

{{Mais notas|data=dezembro de 2020}}
{{Mecânica-quântica|Topico-c=Tópicos_avançados}}{{Modelo padrão da física de partículas}}
A '''teoria quântica de campos''' ou '''teoria quântica de campo''' (abreviada para TQC ou QFT, do inglês, ''Quantum field theory'') é um conjunto de ideias e técnicas matemáticas usadas para descrever quanticamente sistemas físicos que dispõem de um número infinito de graus de liberdade. TQC fornece a estrutura teórica usado em diversas áreas da física, tais como [[Física de partículas|física de partículas elementares]], [[cosmologia]] e [[física da matéria condensada]].<ref>{{citar livro|título=Quantum Field Theory in a Nutshell|ultimo=Zee|nome=Anthony|editora=Princeton University Press|ano=2010|isbn=0691010196|edição=second}}</ref><ref>{{citar livro|título=Quantum Field Theory|ultimo=Ryder|nome=Lewis H.|editora=Cambridge University Press|ano=1996|isbn=0521478146}}</ref>

O arquétipo de uma teoria quântica de campos é a [[eletrodinâmica quântica]] (tradicionalmente abreviada como QED, do inglês ''Quantum Eletrodynamics''), e que descreve essencialmente a interação de partículas eletricamente carregadas através da emissão e absorção de [[fótons]].

Dentro desse paradigma, além da interação [[Eletromagnetismo|eletromagnética]], tanto a [[Força fraca|interação fraca]] quanto a [[Força forte|interação forte]] são descritas por teorias quânticas de campos, que reunidas formam o que conhecemos por [[Modelo padrão|Modelo Padrão]] que considera tanto as partículas que compõem a matéria (quarks e léptons) quanto as partículas mediadoras de forças ([[bósons|bósons de gauge]]) como excitações de campos fundamentais.<ref>{{citar livro|título=Michael E. Peskin; Dan V. Schroeder; An Introduction To Quantum Field Theory|nome=|editora=Westview Press;|isbn=0201503972}}</ref>

==História==
===Advento da teoria clássica dos campos===
[[Imagem:James Clerk Maxwell big.jpg|thumb|direita|200px|James Clerk Maxwell]]
Pode-se considerar que a noção de campo surgiu inicialmente como uma construção matemática na descrição da [[gravidade|gravitação newtoniana]]. No século XIX, tal formalismo logo foi estendido tanto para fenômenos elétricos quanto magnéticos por físicos como [[André-Marie Ampère|Ampère]], [[George Simon Ohm|Ohm]] e [[Michael Faraday|Faraday]].

Devido aos trabalhos de [[James Clerk Maxwell|Maxwell]], o conceito de campo passa a ocupar o papel de maior importância na descrição fenomenológica da realidade. Maxwell mostrou, através de um conjunto de equações que recebem seu nome, que os fenômenos magnéticos e elétricos estão intrinsecamente associados e que devem ser descritos por uma única entidade: o  [[campo eletromagnético]].<ref>{{citar livro|título=Classical Electrodynamics|ultimo=Jackson|nome=John David|editora=Wiley|ano=1998|isbn=047130932X|edição=Third}}</ref>

Conceitualmente, Maxwell mostrou a relação entre campos elétricos e magnéticos, bem como o reconhecimento de que a [[luz]] ([[óptica]]) é uma manifestação particular deste [[campo eletromagnético]]. Dentro dessa perspectiva histórica, a unificação dos fenômenos eletromagnéticos realizado por Maxwell foi a segunda grande unificação, a primeira sendo a unificação da dinâmica celeste e terrestre realizada por [[Isaac Newton]] ainda no século XVII.<ref>{{citar livro|título=The Road to Reality: A Complete Guide to the Laws of the Universe|ultimo=Penrose|nome=Roger|editora=Vintage|isbn=0679776311}}</ref>

===Mecânica, Eletromagnetismo e Relatividade===
O [[eletromagnetismo]] foi a ''razão de ser'' do surgimento da relatividade. Com a inadequação das [[transformações de Galileu]] quando aplicadas à [[Equação de onda|equação de onda tridimensional]], surgiu um dilema: ou se preservava a [[mecânica clássica]] e abandonava-se o nascente eletromagnetismo, ou se preservava este e abandonava-se quase três séculos de previsões solidamente confirmadas pela experimentação.

O caminho foi achado, surpreendentemente, numa espécie de conciliação entre as duas alternativas.

Inicialmente, [[Woldemar Voigt]] derivou em [[1887]] um conjunto de relações, baseado apenas na [[Equação diferencial de d'Alembert|equação de onda ordinária]], devida a [[Jean le Rond d’Alembert|Jean D'Alembert]]. Essas relações eram transformações espaciais e temporais que deixavam invariante a forma desta equação.

Estas relações são as que se conhecem como [[Transformação de Lorentz|transformações de Lorentz-Fitzgerald]], cientistas que redescobriram estas transformações mais tarde. Em particular, [[Lorentz]] o fez num contexto diferente, na tentativa de se reconciliar as teorias do [[Éter (elemento)|éter]] com os resultados de experiências físicas, tais como a de [[Experiência de Michelson-Morley|Michelson-Morley]]. [[Albert Einstein|Einstein]] então entra em cena, com seu trabalho seminal de [[1905]], "Sobre a Eletrodinâmica dos Corpos em Movimento", onde introduz a relatividade, interpretando corretamente as transformações de Lorentz-Fitzgerald como alterações do espaço e do tempo em função da velocidade relativa entre os referenciais.

=== Termodinâmica e mecânica quântica ===
[[Imagem:Bundesarchiv Bild 183-R0116-504, Max Planck.jpg|thumb|direita|200px|Max Planck em 1901.]]
A mecânica quântica surgiu da incapacidade conjunta da [[termodinâmica]] e do [[eletromagnetismo]] clássicos de prever a correta distribuição de energias em função da [[frequência]] no problema da radiação de [[corpo negro]].

A tentativa de derivação feita por [[Lord Rayleigh]] e por [[James Hopwood Jeans|James Jeans]] postulava que cada [[onda eletromagnética]] estava em equilíbrio com as paredes do forno. Isso se traduz num teorema que mantém sua validade mesmo na mecânica quântica:

{{Quote|
 Numa cavidade fechada em equilíbrio térmico com o campo eletromagnético confinado, o campo é equivalente a um conjunto enumeravelmente infinito de osciladores harmônicos, e a sua energia é igual à soma das energias desses osciladores. Cada frequência corresponde aos osciladores tomados dois a dois.}}

[[Max Planck]] obteve a forma correta da distribuição porque postulou a quantização da energia dos [[oscilador harmônico|osciladores harmônicos]] que comporiam as paredes da cavidade que confina a radiação. Essa hipótese teve por efeito introduzir um limite máximo de frequência acima do qual há um corte (''cutoff'') nas contribuições dos entes (ondas eletromagnéticas) que estão em equilíbrio.

Einstein, para explicar o [[Efeito fotoeléctrico|efeito fotoelétrico]], ampliou o conceito da quantização para a energia radiante, postulando a existência do [[fóton]] (o que "implicitamente" quer dizer que as [[equações de Maxwell]] não tem validade ilimitada, porque a existência do fóton implica [[não-linearidade]]s).

A antiga teoria quântica cedeu lugar à mecânica quântica moderna quando [[Erwin Schrödinger|Schrödinger]] desenvolveu a famosa equação que leva o seu nome. Entretanto, a primeira versão que ele desenvolveu foi a equação que hoje é conhecida como equação de Klein-Gordon, que é uma equação relativista, mas que não descrevia bem o [[átomo de hidrogênio]], por razões que só mais tarde puderam ser entendidas. Assim, ele abandonou a primeira tentativa, chegando à sua equação ([[equação de Schrödinger]]):
<center><math>\left[- \frac{\hbar^2\nabla^2}{2m} + V\left(\mathbf{r},t\right) \right]\Psi\left(\mathbf{r},t\right) = i\hbar\frac{\partial\Psi\left(\mathbf{r},t\right)}{\partial t}</math></center>
A equação de Schrödinger acima colocada é a equação "dependente do tempo", pois o tempo aparece explicitamente. Neste caso, as soluções <math>\Psi</math> são funções das coordenadas espaciais e do tempo.

Quando o potencial <math>\mathbf{V}</math> não depende do tempo, ou seja, quando o campo de força ao qual a partícula está submetida é conservativo, é possível separar as variáveis <math>\mathbf{r}</math> e <math>\mathbf{t}</math>.

A equação que a parte espacial da função de onda <math>\Psi</math> obedece é:
<center><math>\left[-\frac{\hbar^2\nabla^2}{2m}+V\left(\mathbf{r}\right)\right]\psi\left(\mathbf{r}\right)= E\psi\left(\mathbf{r}\right)</math></center>
conhecida como equação de Schrödinger "independente do tempo". Esta é uma [[equação de autovalores]], ou seja, através dela se obtêm simultaneamente autofunções (no caso as funções de onda <math>\psi</math>) e [[autovalor]]es (no caso, o conjunto das energias estacionárias <math>E</math>).

== Formulação matemática ==
=== Mecânica clássica e mecânica quântica ===
A dinâmica de uma partícula pontual de massa <math>m</math> em um regime não-relativístico, ou seja, em velocidades muito menores que a velocidade da luz, pode ser determinada através da [[Mecânica de Lagrange|função lagrangiana]]<ref>{{citar livro|título=Mathematical Methods of Classical Mechanics|ultimo=Arnold|nome=V. I.|editora=Springer|ano=1997|isbn=0387968903|edição=Second}}</ref><ref>Usando a [[Notação de Einstein|convenção de Einstein]] para somas, de modo que índices repetidos significam soma. Por exemplo, o [[produto interno]] de dois vetores no espaço <math>\mathbb{R}^N</math> é: <math>\vec{v}\cdot \vec{u}=\sum_{i=1}^N v^i u^i\equiv v^i u^i</math>.</ref> 
<center>
<math>L= \frac{1}{2}m(\dot{q}^i)^2-V(q)</math>,
</center>
em que <math>(q^i, \dot{q}^i)</math> (que são respectivamente coordenadas generalizadas para a posição e a velocidade da partícula) determinam o espaço de fase do sistema e <math>V(q)</math> é o potencial em que a partícula se move. Minimizando o [[funcional]] ação
<center>
<math>S=\int dt L(q, \dot{q})</math>
</center>
encontra-se a equação de movimento para esse sistema,
<center>
<math>m\frac{d^2q^i}{dt^2}=-\frac{\partial V(q)}{\partial q^i}</math>,
</center>
que é a equação de Newton, desde que <math>\mathbf{F}=-\nabla V(q)</math>. 

Existe outra formulação equivalente da mecânica clássica, conhecida como [[Mecânica hamiltoniana|formulação hamiltoniana]] e que pode ser diretamente relacionada a formulação lagrangiana acima. Para se fazer contato entre as duas formulações, define-se o momento  
<center>
<math>p^i=\frac{\partial L}{\partial \dot{q}^i}</math>,
</center>
de maneira que a função hamiltoniana é dada por
<center>
<math>H(q,p)=p^i\dot{q}^i-L(q^i,\dot{q}^i)</math>,
</center>
que para a escolha da lagrangiana acima, tem-se
<center>
<math>H(q,p)=\frac{(p^i)^2}{2m}+V(q)</math>.
</center>
Assim como no caso da função lagrangiana, a hamiltoniana descreve toda a dinâmica de um sistema clássico, portanto, considerando uma variação de <math>H(q^i,p^i)</math> tem-se um par de equações diferenciais de primeira ordem conhecidas como equações de Hamilton 
<center>
<math>\dot{q}^i=\frac{\partial H}{\partial p^i}, \quad \dot{p}^i=-\frac{\partial H}{\partial q^i}</math>,
</center>
e que equivale a equação de Newton, que é de segunda ordem. No formalismo hamiltoniano, usando a [[regra da cadeia]], pode-se escrever qualquer variação temporal de uma função <math>F=F(t;q(t);\dot{q}(t))</math>, em termos das equações de Hamilton acima, de modo que, 
<center>
<math>\begin{align}
\dot{F}&=\frac{\partial F}{\partial t}+\frac{\partial F}{\partial q^i}\dot{q^i} +\frac{\partial F}{\partial p^i}\dot{p^i} \\
&=\frac{\partial F}{\partial t}+\frac{\partial F}{\partial q^i}\frac{\partial H}{\partial p^i} -\frac{\partial F}{\partial p^i}\frac{\partial H}{\partial q^i}\\
&=\frac{\partial F}{\partial t}+\{H,F\},
\end{align}
</math>
</center>
onde o [[Parênteses de Poisson|parêntese de Poisson]] é definido como 
<center>
<math>\{A,B\}=\frac{\partial A}{\partial p^i}\frac{\partial B}{\partial q^i}-\frac{\partial A}{\partial q^i}\frac{\partial B}{\partial p^i}
</math>.
</center>
Existem diversas maneiras de realizar a quantização de um sistema clássico, tais como quantização por [[Integração funcional|integrais funcionais]] e quantização canônica. Esse último método em particular, consiste na substituição do parêntese de Poisson por [[Comutador (matemática)|comutadores]]<ref>{{citar livro|título=Introduction to Quantum Mechanics|ultimo=Griffiths|nome=David J.|editora=Pearson Prentice Hall|ano=2004|isbn=0131118927|edição=Second}}</ref>
<center>
<math>\{A,B\}\to \frac{i}{\hbar}[\hat{A},\hat{B}]
</math>,
</center>
onde <math>\hat{A}, \hat{B}</math>, são operadores num [[espaço de Hilbert]]. Com essas substituições, o parêntese de Poisson entre duas coordenadas generalizadas torna-se
<center>
<math>[\hat{p}^i,\hat{q}^j]=-i \hbar \delta^{ij}
</math>.
</center>
Um aspecto importante a ser observado é que os operadores <math>\hat{p}^i</math> e <math>\hat{E}</math> podem ser representados como os operadores diferenciais 
<center>
<math>\hat{p}^i=-i \hbar \frac{\partial}{\partial q^i},\quad ,\hat{E}=i \hbar \frac{\partial}{\partial t}</math>
</center>
de maneira que a função hamiltoniana, torna-se um operador no espaço de Hilbert, chamado operador hamiltoniano que atua em uma função <math>\psi(q,t)</math>
<center>
<math>\left(-\frac{\hbar^2}{2m}\nabla^2+\hat{V}(q)\right)\psi=i\hbar \frac{\partial \psi}{\partial t}</math>,
</center>
que é a [[equação de Schrödinger]].

=== Teoria Clássica de Campos ===
A formulação lagrangiana e a hamiltoniana da mecânica clássica são refinamentos da mecânica newtoniana e permite o tratamento de sistemas com um número finito de graus de liberdade. Considerando um sistema mecânico unidimensional com <math>N</math> graus de liberdade, que consiste de <math>N</math> partículas pontuais de massa <math>m</math>, separadas por uma distância <math>\epsilon</math> e conectadas entre si por uma mola de [[Lei de Hooke|constante elástica]] <math>\kappa
</math>. A lagrangiana para esse sistema é:
<center>
<math>L=\sum_{i=1}^N\left[\frac{1}{2}m\dot{x}^2-\frac{\kappa}{2}(x_i-x_{i+1})^2\right]</math>.
</center>
Esse sistema pode ser estendido facilmente para o limite em que <math>N\to \infty</math> e <math>L=\epsilon N\to \infty</math>. No entanto, se o comprimento total do sistema estiver fixo, tem-se o limite contínuo <math>\epsilon \to 0</math>, de modo que a lagrangiana terá a forma
<center>
<math>L=\int dx \frac{1}{2}\left[\mu \dot{\phi(t,x)}^2-\nu \left(\frac{d\phi(t,x)}{d x}\right)^2\right]</math>,
</center>
onde <math>\phi(t,x)</math> representa o deslocamento da partícula relativa a posição <math>x</math> no instante de tempo <math>t</math>. Também, define-se as quantidades <math>\mu=\lim_{\epsilon\to 0}\frac{m}{\epsilon}</math> <math>\nu=\lim_{\epsilon\to 0}\kappa\epsilon</math>.

Generalizando essa discussão prévia para um sistema relativístico, tem-se uma lagrangiana que será uma função do campo <math>\phi(x)</math>, em que <math>x=x^\mu</math> e das derivadas <math>\partial_\mu \phi(x)</math>, dessa maneira, o funcional ação pode ser escrito como 
<center>
<math>S=\int dt L(\phi,\partial_\mu\phi)</math>.
</center>
Finalmente, a lagrangiana pode ser escrita como  
<center>
<math>L(\phi,\partial_\mu\phi)=\int d^3 x \mathcal{L}(\phi,\partial_\mu\phi)</math>,
</center>
onde <math> \mathcal{L}(\phi,\partial_\mu\phi)</math>, é conhecida como densidade lagrangiana.<ref>Em teoria de campos, a densidade lagrangiana <math>\mathcal{L}</math> é usada com uma frequência muito maior que a lagrangiana <math>L</math>. Por isso, quando usa-se o termo lagrangiana, significa na verdade densidade lagrangiana.</ref> A equação de Euler-Lagrange é: 
<center>
<math>\partial_\mu \frac{\partial\mathcal{L}}{\partial (\partial_\mu\phi)}-\frac{\partial\mathcal{L}}{\partial \phi}=0</math>.
</center>

==Primeiras unificações. Equações relativísticas==
===Equação de Klein-Gordon===
Como foi dito acima, quando Schrödinger primeiro procurou uma equação que regesse os sistemas quânticos, pautou sua busca admitindo uma aproximação relativista, encontrando a depois redescoberta equação de Klein-Gordon:
<center><math>\left[\square + \left(\frac{mc}{\hbar}\right)^2\right]\psi = 0</math></center>
onde
<center><math>\square \equiv \eta_{\nu\mu}\partial_\nu\partial^\nu</math></center>
A equação de Klein-Gordon, às vezes chamada de equação de Klein-Fock-Gordon (ou ainda Klein-Gordon-Fock) pode ser deduzida de algumas maneiras diferentes.

Usando-se a definição relativística de energia
<center><math>E^2 = \left. p^2c^2 + m^2c^4 \right. </math></center>
chega-se à equação:
<center><math>\sqrt{(-i\mathbf{\nabla})^2 + m^2} \psi= i \frac{\partial}{\partial t}\psi</math></center>

Essa expressão, por conter [[Operador diferencial|operadores diferenciais]] sob o radical, além de apresentar dificuldades computacionais, também apresenta dificuldades conceituais, já que se torna uma teoria [[Não-localidade|não-local]] (pelo fato de a raiz poder ser expressa como uma [[série infinita]]). Por ser uma equação de segunda ordem não permite que fique bem definida a questão da normalização da [[função de onda]].

[[Método de Hartree-Fock|Fock]] deduziu-a através da generalização da equação de Schrödinger para [[Campo magnético|campos magnéticos]] (onde as forças dependem da velocidade). Fock e Klein usaram ambos o [[Teoria Kaluza-Klein|método de Kaluza-Klein]] para deduzi-la. O motivo, só mais tarde entendido, da inadequação desta equação ao átomo de hidrogênio é que ela se aplica bem somente a partículas sem carga e de spin nulo.

===Equação de Dirac===
Em 1928 [[Paul Dirac]] obteve uma equação relativística baseada em dois princípios básicos
#A equação deveria ser linear na derivada temporal;
#A equação deveria ser relativisticamente covariante.

A equação obtida por ele tinha a seguinte forma:
<center><math> i\hbar \frac{\partial \psi}{\partial t} = \frac{\hbar c}{i} \left(\alpha_0 mc\psi + \alpha_1 \frac{\partial\psi}{\partial x^1} + \alpha_2 \frac{\partial\psi}{\partial x^2} + \alpha_3 \frac{\partial\psi}{\partial x^3} \right)</math></center>
onde <math>\alpha_0</math>, <math>\alpha_1</math>, <math>\alpha_2</math> e <math>\alpha_3</math> não são números reais ou complexos, mas sim matrizes quadradas com N² componentes. Semelhantemente, as funções <math>\psi</math> são na verdade matrizes coluna da forma
<center><math>\psi = \begin{bmatrix} \psi_1 \\ \psi_2 \\ \vdots \\ \psi_N \end{bmatrix} </math></center>
e as matrizes <math>\alpha_0</math>, <math>\alpha_1</math>, <math>\alpha_2</math> e <math>\alpha_3</math> devem ser [[Operadores Hermitianos|hermitianas]].

A equação de Dirac, diferentemente da equação de Klein-Gordon, é uma equação que dá bons resultados para partículas de spin ½. Aliás, um dos sucessos é que esta equação incorpora o [[spin]] de forma natural, o que não ocorre com a equação de Schrondinger, onde o spin é admitido posteriormente como uma hipótese ''[[ad hoc]]''. Não obstante, isso levou certos autores a afirmarem que o spin é um grau de liberdade relativístico, o que é contestado. Outro sucesso da equação de Dirac foi prever a existência do [[pósitron]], já que a equação previa valores negativos de energia, o que foi inicialmente interpretado, à luz da [[teoria dos buracos], como indicação de elétrons com energias negativas. Essa teoria afirmava que os pósitrons seriam vacâncias produzidas pela promoção desses elétrons para estados com energias positivas. O [[Vácuo quântico|vácuo]] é então visto como um mar de elétrons onde eles estariam compactamente colocados. Hoje, entretanto, essa teoria cedeu lugar à questão de criação e aniquilação de partículas num contexto mais geral da quantização canônica dos campos.

===Desenvolvimento da teoria quântica dos campos===
A origem da teoria quântica dos campos é marcada pelos estudos de [[Max Born]] e [[Pascual Jordan]] em [[1925]] sobre o problema da computação da potência irradiada de um átomo em uma transição energética.

Em 1926, Born, Jordan e [[Werner Heisenberg]] formularam a teoria quântica do campo eletromagnético desprezando tanto a [[polarização]] como a presença de fontes, levando ao que se chama hoje de uma teoria do campo livre. Para tanto, usaram o procedimento da quantização canônica.

Três razões principais motivaram o desenvolvimento da teoria quântica dos campos:
*A necessidade da uma teoria que lidasse com a variação do número de partículas;
*A necessidade de conciliação entre as duas teorias: mecânica quântica e a relatividade;
*A necessidade de lidar com estatísticas de sistemas multipartículas.

===Quantização canônica dos campos===
Um campo, no esquema conceitual da teoria dos campos, é uma entidade com infinitos [[Graus de liberdade (física)|graus de liberdade]].

O estado de mais baixa energia, chamado de vácuo, corresponde à ausência de partículas.

Estas, entretanto, podem ser criadas ou destruídas através de dois operadores:
*<math>\mathbf{a}^{+}_k</math>: operador criação
*<math>\mathbf{a}^{-}_k</math>: operador aniquilação
que agem sobre a função de onda do campo, respectivamente simbolizando a criação e a aniquilação de partículas dotadas de momento <math>\mathbf{k}</math>, possibilidade exigida pela relatividade.

Os operadores, agindo sobre os estados de um tipo específico de [[espaço de Hilbert]], chamado [[espaço de Fock]], criam e destroem as partículas. Entretanto, uma restrição é:
<center><math>\mathbf{a}^{-}_k\left|0\right\rangle = 0</math></center>
o que quer dizer que não pode haver aniquilação sobre o estado básico, já que nesse caso não há partículas a serem aniquiladas.

== Ver também ==
* [[Teoria quântica de campos em espaço-tempo curvo]]

{{Referências}}

== Bibliografia ==
* ''Quantum Field Theory: A Modern Introduction'', Michio Kaku, Oxford University Press, 1993.
* ''Quantum Field Theory in a Nutshell, ''Anthony Zee'','' Princeton University Press, 2010.
* ''Quantum Field Theory, ''Lewis H. Ryder'','' Cambridge University Press, 1996.
* Teoria Quântica de Campos. Scott, G.L.N, Instituto Federal de Educação, Ciência e Tecnologia do Ceará - IFCE, 2015.

== Ligações externas ==
{{Link|pt|2=http://www.revistapesquisa.fapesp.br/?art=3095&bd=1&pg=1&lg= |3=A Cidade Proibida - Revista Fapesp  }}

{{Portal3|Ciência|Física}}
{{Controle de autoridade}}

{{DEFAULTSORT:Teoria Quantica Campos}}
[[Categoria:Teoria quântica de campos| ]]
[[Categoria:Mecânica quântica]]
[[Categoria:Física teórica]]