Universidade do Estado do Rio de Janeiro Centro de Tecnologia e Ciência Instituto de Física Armando Dias Tavares Pedro Henrique Amantino Manso Teoria quântica de campos para férmions interagentes no plano a temperatura e potencial químico finitos, na presença de um campo magnético externo oblíquo Rio de Janeiro 2011 Pedro Henrique Amantino Manso Teoria quântica de campos para férmions interagentes no plano a temperatura e potencial químico finitos, na presença de um campo magnético externo oblíquo Dissertação apresentada como requisito parcial para obtenção do título de Mestre, ao Programa de Pós-Graduação em Física, da Universidade do Estado do Rio de Janeiro. Orientador: Prof. Dr. Rudnei de Oliveira Ramos Rio de Janeiro 2011 CATALOGAÇÃO NA FONTE UERJ/ REDE SIRIUS/ BIBLIOTECA CTC/D M 289 Manso, Pedro Henrique Amantino. Teoria quântica de campos para férmions interagentes no plano a temperatura e potencial químico finitos, na presença de um campo magnético externo oblíquo / Pedro Henrique Amantino Manso. – Rio de Janeiro, 2011. 88 f. : il. color. Orientador: Rudnei de Oliveira Ramos. Dissertação (Mestrado) – Universidade do Estado do Rio de Janeiro, Instituto de Física Armando Dias Tavares. 1. Teoria quântica de campos (Física) - Teses. I. Ramos, Rudnei de Oliveira. II. Universidade do Estado do Rio de Janeiro. Instituto de Física Armando Dias Tavares. III. Título. CDU 530.145 Autorizo, apenas para fins acadêmicos e científicos, a reprodução total ou parcial desta dissertação, desde que citada a fonte. __________________________________________________________ Assinatura _______________________ Data Pedro Henrique Amantino Manso Teoria quântica de campos para férmions interagentes no plano a temperatura e potencial químico finitos, na presença de um campo magnético externo oblíquo Dissertação apresentada como requisito parcial para obtenção do título de Mestre, ao Programa de Pós-Graduação em Física, da Universidade do Estado do Rio de Janeiro. Aprovada em 01 de Dezembro de 2011. Banca Examinadora: Prof. Dr. Rudnei de Oliveira Ramos (Orientador) Instituto de Física Armando Dias Tavares – UERJ Prof. Dr. Eduardo Cantera Marino Universidade Federal do Rio de Janeiro Prof. Dr. Daniel Gustavo Barci Instituto de Física Armando Dias Tavares – UERJ Rio de Janeiro 2011 AGRADECIMENTOS Agradeço a minha família, a minha namorada Larissa, ao professor Rudnei Ramos e a todos os meus amigos. Agradeço também ao Programa de Pós-Graduação em Física da UERJ e ao CNPq pelo apoio financeiro. RESUMO MANSO, Pedro Henrique Amantino. Teoria quântica de campos para férmions interagentes no plano a temperatura e potencial químico finitos, na presença de um campo magnético externo oblíquo. 2011. 88 f. Dissertação (Mestrado em Física) – Instituto de Física Armando Dias Tavares, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2011. Neste trabalho, os efeitos de um campo magnético oblíquo externo no modelo de GrossNeveu (2+1)-dimensional, que inclui as componentes paralela e perpendicular do campo em relação ao sistema, são estudados no contexto da simetria quiral e discreta do modelo. Nosso principal interesse está nos efeitos deste campo sobre o diagrama de fase do sistema, onde também incluímos os efeitos combinados de temperatura e potencial químico. Os diagramas de fase são obtidos através do potencial efetivo a 1 loop para o modelo, derivado em primeira ordem na expansão 1/N . Transições de fase relevantes que podem ser estudadas através deste modelo são, por exemplo, metal-isolante em matéria condensada e na teoria quântica de campos de férmions planares em geral. A relação entre a transição de fase com quebra da simetria quiral e discreta e o surgimento de um gap (ou a presença de um valor esperado no vácuo do campo escalar diferente de zero), como função do campo magnético oblíquo, é analisada em detalhes. Palavras-chave: Teoria de campos a temperatura finita. Sistemas fermiônicos planares. Transições de fase. Quebra de simetria quiral. ABSTRACT MANSO, Pedro Henrique Amantino. Quantum field theory for interacting planar fermions at finite temperature and chemical potential, in the presence of an external oblique magnetic field. 2011. 88 f. Dissertação (Mestrado em Física) – Instituto de Física Armando Dias Tavares, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2011. In this work, the effects of an external oblique magnetic field in the (2+1)-dimensional Gross-Neveu model, and that therefore includes both parallel and perpendicular components of the applied field, are studied in the context of the model’s discrete chiral symmetry. Our main concern is in the effects of such a field in the system’s phase diagram and that also includes the combined effects of temperature and chemical potential. The phase diagrams are obtained through the one-loop effective potential for the model, derived in the leading order in the 1/N expansion. Relevant phase transitions that can be studied through this model are, for example, metal-insulator ones in condensed matter and in the quantum field theory of planar fermions in general. The relation between the phase transition with (discrete) chiral symmetry breaking and the emergence of a gap (or the presence of a chiral nonvanishing vacuum expectation value) in the planar fermionic system, as a function of the external oblique magnetic field, is analyzed in details. Keywords: Field theory at finite temperature. Planar fermionic systems. Phase transitions. Chiral symmetry breaking. LISTA DE ILUSTRAÇÕES Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura Figura 1 - Esboço do potencial dado por (56). . . . . . . . . . . . . . . . . . . . . . 2 - Contorno Cq utilizado em (73). . . . . . . . . . . . . . . . . . . . . . . . . 3 - Potencial efetivo Vef f,R (para T = µ = 0) para os casos λR < 0 e λR > 0. . 4 - Potencial efetivo Vef f,R (para µ = 0) para T < Tc , T = Tc e T > Tc . . . . . 5 - Parâmetro de ordem σ̄ (para µ = 0) em função da temperatura T . . . . . . 6 - Potencial efetivo Vef f,R (para T = 0) para µ < µc , µ = µc e µ > µc . . . . . 7 - Parâmetro de ordem σ̄ (para T = 0) em função do potencial químico µ. . . 8 - Parâmetro de ordem σ̄ em função do potencial químico µ para T = 0, 2σ0 , T = 0, 5σ0 e T = 0, 7σ0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 - Parâmetro de ordem σ̄ em função da temperatura T para µ = 0, 1σ0 , µ = 0, 7σ0 e µ = 0, 9σ0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 - Diagrama de fase T × µ. . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 - (a) Potencial efetivo a T = µ = 0 e δµ = 0 em função de σ para B⊥ = 1e−1 σ02 , B⊥ = 5e−1 σ02 e B⊥ = 10e−1 σ02 . (b) A variação de σ̄ com o campo B⊥ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 - (a) Potencial efetivo Vef f,R (T = µ = B⊥ = 0) para δµ < δµc , δµ = δµc e δµ > δµc . (b) Parâmetro de ordem σ̄ (para T = 0) em função da assimetria δµ. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 - Potencial efetivo a T = µ = 0 em função de σ, com B⊥ = 1, 0e−1 σ02 fixo: (a) Para δµ = 0, δµ = 0, 30σ0 , δµ = δµc ≈ 0, 76σ0 e δµ = 1, 40σ0 ; (b) Comportamento do potencial efetivo devido aos níveis de Landau. . . . . . 14 - Potencial efetivo a T = µ = 0 e δµ = δµc ≈ 0, 76σ0 (fixo) em função de σ para B⊥ = 0, 7e−1 σ02 , B⊥ = 1, 0e−1 σ02 e B⊥ = 1, 3e−1 σ02 . . . . . . . . . . 15 - Diagramas de fase T × µ com δµ = 0 fixo, para B⊥ = 0, B⊥ = 5e−1 σ02 , B⊥ = 7e−1 σ02 e B⊥ = 10e−1 σ02 . . . . . . . . . . . . . . . . . . . . . . . . 16 - Diagramas de fase T × µ com B⊥ = 0 fixo, para δµ = 0, δµ = 0, 50σ0 , δµ = 0, 80σ0 e δµ = 0, 95σ0 . . . . . . . . . . . . . . . . . . . . . . . . . . 17 - Diagramas de fase T × µ. (a) Campo B⊥ = 7e−1 σ02 é mantido fixo e casos δµ = 0, δµ = 0, 800σ0 , δµ = 0, 897σ0 e δµ = 1, 500σ0 ; (b) assimetria δµ = 1, 5σ0 é mantida fixa e casos B⊥ = 5e−1 σ02 , B⊥ = 7e−1 σ02 , B⊥ = 9e−1 σ02 e B⊥ = 35e−1 σ02 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 - Diagramas de fase T × µ com campo magnético perpendicular B⊥ = 7e−1 σ02 . (a) δµ = 0; (b) δµ = 0, 800σ0 ; (c) δµ = 0, 897σ0 ; e (d) δµ = 1, 500σ0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 26 39 41 42 43 44 45 46 47 59 60 62 63 68 69 71 72 SUMÁRIO 1 1.1 1.2 1.3 1.3.1 1.3.2 1.4 1.5 2 2.1 2.1.1 2.2 2.2.1 2.2.2 2.2.3 2.2.4 2.3 3 3.1 3.2 3.2.1 3.2.2 3.2.3 3.2.4 3.2.5 INTRODUÇÃO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . TEORIA QUÂNTICA DE CAMPOS A TEMPERATURA FINITA . . . . A função de partição termodinâmica . . . . . . . . . . . . . . . . . . . . . O formalismo de tempo imaginário (Matsubara) . . . . . . . . . . . . . . . Introdução do potencial químico . . . . . . . . . . . . . . . . . . . . . . . Teoria de campos escalares carregados . . . . . . . . . . . . . . . . . . . . . Teoria de campos fermiônicos de spin 1/2 . . . . . . . . . . . . . . . . . . . . Quebra espontânea de simetria . . . . . . . . . . . . . . . . . . . . . . . . Cálculo das somas sobre as frequências de Matsubara . . . . . . . . . . . INTRODUÇÃO ÀS CARACTERÍSTICAS DO MODELO DE GROSSNEVEU EM 2+1 DIMENSÕES . . . . . . . . . . . . . . . . . . . . . . . . O modelo de Nambu-Jona-Lasinio e o potencial efetivo . . . . . . . . . . . O potencial efetivo a 1 loop na expansão 1/N . . . . . . . . . . . . . . . . . . O modelo de Gross-Neveu em 2+1 dimensões . . . . . . . . . . . . . . . . . Caso 1: T = µ = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 2: T 6= 0 e µ = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 3: T = 0 e µ 6= 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 4: T 6= 0 e µ 6= 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Aplicação de campos magnéticos (separadamente) ao modelo de GrossNeveu em 2+1 dimensões . . . . . . . . . . . . . . . . . . . . . . . . . . . . ESTUDO DO SISTEMA PLANAR FERMIÔNICO NA PRESENÇA DE CAMPO MAGNÉTICO OBLÍQUO . . . . . . . . . . . . . . . . . . . . . Densidade de Lagrangiana e o potencial efetivo a 1 loop . . . . . . . . . . . Resultados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 1: T = µ = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 2: T 6= 0 e µ = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 3: T = 0 e µ 6= 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso 4: T 6= 0 e µ 6= 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Caso onde a constante de acoplamento tem sinal oposto . . . . . . . . . . . . CONCLUSÃO . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . REFERÊNCIAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APÊNDICE A – Formalismo funcional para o cálculo do potencial efetivo e a expansão 1/N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APÊNDICE B – Cálculo do traço da equação (110) . . . . . . . . . . . . . . APÊNDICE C – Níveis de Landau e autofunções . . . . . . . . . . . . . . . APÊNDICE D – Cálculos relativos à função zeta de Riemman generalizada . 8 10 10 17 19 20 21 22 25 29 29 31 36 39 40 41 44 46 54 54 57 58 61 64 65 70 74 76 79 82 84 87 8 INTRODUÇÃO Teoria de campos em duas dimensões espaciais tem sido de fundamental importância para a compreensão de muitos sistemas físicos que podem ser aproximados para planares, como supercondutores a temperaturas elevadas e o efeito Hall quântico. Em física da matéria condensada, existem exemplos tais como a transição metal-isolante (metal-insulator transition-MIT) (ABRAHAMS; KRAVCHENKO; SARACHIK, 2001) ou o grafeno, que consiste numa camada de carbono de espessura de um átomo, na qual o transporte eletrônico é essencialmente governado pela equação de Dirac relativística (NOVOSELOV et al., 2005) num plano. No entanto, é possível tratar muitos desses sistemas planares da física da matéria condensada usando modelos de teoria quântica de campos para férmions em 2+1 dimensões (duas dimensões espaciais e uma temporal). Há vários modelos úteis em teoria de campos para descrever um grande número de fenômenos em matéria condensada; entre eles, aqueles que consideram uma interação de quadriférmions têm sido muito utilizados. Modelos como os de Nambu-Jona-Lasinio (NJL) (NAMBU; JONA-LASINIO, 1961a; NAMBU; JONA-LASINIO, 1961b) e Gross-Neveu (GN) (GROSS; NEVEU, 1974), uma particularização do primeiro, são exemplos de modelos fermiônicos usados para descrever tais sistemas. O modelo de NJL foi proposto com motivação justamente na teoria BCS da supercondutividade (BARDEEN; COOPER; SCHRIEFFER, 1957), em 1961, enquanto o modelo de GN foi proposto mais tarde, em 1974. O modelo de GN, por exemplo, tem sido considerado apropriado para estudar baixas excitações de energia de supercondutores a altas temperaturas (LIU, 1999). Tais modelos também são atraentes para a cromodinâmica quântica, principalmente no estudo de transição de fase hadrônica para a fase de plasma de quark-glúon (associada à quebra da simetria quiral), que representa um dos maiores objetivos dos experimentos de colisão de íons pesados em física de altas energias (HARRIS; MüLLER, 1996). A matéria que interage fortemente é descrita pela QCD, que é assintoticamente livre. Isto significa que, a curtas distâncias (altas energias), quarks e glúons parecem ser fracamente acoplados, enquanto que a grandes distâncias (baixas energias), a constante de acoplamento torna-se forte, caracterizando o confinamento de quarks e glúons dentro dos hádrons. Com isso, a teoria de perturbação usual da teoria quântica de campos torna-se inviável. Os modelos de NJL e GN servem como teorias efetivas para a QCD, para tratar, por exemplo, de propriedades relacionadas à transição de fase relativa à simetria quiral. O modelo que vamos desenvolver neste trabalho é o modelo de Gross-Neveu em 2+1 dimensões, que consiste basicamente de N tipos de férmions de quatro componentes que interagem entre si no plano. Estudaremos os efeitos de um campo magnético externo oblíquo, com componentes perpendicular e paralelo ao plano de interação, quando este é aplicado ao sistema. O estudo consistirá da obtenção de diagramas de fase T × µ e sua evolução estrutural com a 9 variação das componentes do campo magnético externo. Um campo magnético aplicado na direção paralela ao sistema fermiônico planar acoplase apenas com os spins dos férmions, gerando um efeito Zeeman intrínseco que polariza o sistema; este caso foi estudado em Caldas e Ramos (2009), para o modelo de GN em 2+1 dimensões, onde foi mostrado que o campo magnético paralelo contribui simplesmente com um deslocamento no potencial químico para férmions de spin up e down (assimetria na densidade de spins). Por outro lado, um campo magnético aplicado perpendicularmente ao mesmo plano acopla-se com o movimento orbital dos férmions, gerando os conhecidos níveis de Landau, como estudado em Gusynin, Miransky e Shovkovy (1995); e Vshivtsev, Klimenko e Magnitsky (1996). Um efeito interessante devido a presença de campo perpendicular é a catálise magnética, que consiste na geração de massa dinâmica para os férmions não só para valores negativos da constante de acoplamento, mas também para valores positivos, diferentemente do caso sem este campo. O estudo realizado nesta dissertação é calcado na teoria quântica de campos a temperatura finita. Em particular, utilizamos o formalismo de tempo imaginário, ou formalismo de Matsubara, que definimos no primeiro capítulo. Neste capítulo, o objetivo principal é introduzir a teoria quântica de campos a temperatura finita requerida através do formalismo funcional que, para nossos interesses, tem vantagens sobre os demais do ponto de vista prático. No segundo capítulo, desenvolvemos o modelo de GN em 2+1 dimensões, na intenção de calcularmos o potencial efetivo a 1 loop na expansão 1/N a temperatura e potencial químico finitos. Este objeto é de fundamental importância para o estudo de transições de fase de um sistema físico que possa vir a ser descrito pelo modelo, pois a partir dele podemos estudar a quebra de simetria, intimamente ligada à transição de fase. No final, calculamos o potencial efetivo para os casos nos quais um campo magnético externo paralelo ou perpendicular ao sistema é considerado. O objetivo principal deste capítulo é familiarizar o leitor com as características do modelo de GN em 2+1 dimensões e com o cálculo do potencial efetivo. No terceiro capítulo, o potencial efetivo a 1 loop, sob temperatura e potencial químico finitos, é calculado para o modelo de GN em 2+1 dimensões na presença de um campo magnético oblíquo. Através dele, obtemos todos os elementos interessantes para a construção dos diagramas de fase, como pontos críticos, tricríticos e linhas de transição de fase. Observamos como tais diagramas se comportam frente a uma variação das componentes paralela e perpendicular do campo magnético externo. Como uma prévia dos resultados, podemos adiantar que os diagramas de fase que obtemos têm estrutura detalhada em elementos, com efeitos interessantes originados da combinação dos campos magnéticos paralelo e perpendicular. 10 1 TEORIA QUÂNTICA DE CAMPOS A TEMPERATURA FINITA Neste capítulo, apresentamos de maneira sucinta o formalismo da teoria de campos a temperatura finita, principal ferramenta utilizada para o desenvolvimento deste trabalho. Isto porque estamos interessados basicamente em investigar as transições de fase (e, possivelmente, a termodinâmica) de um certo sistema físico. Este, por sua vez, será considerado imerso em um meio, que consiste em um reservatório de volume infinito de partículas reais e em equilíbrio termodinâmico. O formalismo que adotamos neste trabalho é o chamado formalismo (funcional) de tempo imaginário, ou Matsubara. Portanto, iniciamos o assunto com a usual conexão entre a mecânica estatística e a teoria quântica de campos, através da função de partição e do funcional gerador das funções de Green. Obtemos, sem maiores detalhes, as formas para os funcionais geradores das funções de Green para campos escalares bosônicos e fermiônicos, com suas condições de periodicidade e antiperiodicidade, respectivamente. Em seguida, fazemos uma redefinição particular para o parâmetro tempo (utilizando o contorno de Matsubara), tornando-o imaginário e, consequentemente, encontrando as conhecidas frequências de Matsubara. Por fim, mostramos como inserir o potencial químico na teoria, além de uma breve revisão de quebra de simetria em teoria quântica de campos e do método de integrais de contorno para o cálculo das somas sobre frequências de Matsubara. 1.1 A função de partição termodinâmica Sabemos, da mecânica estatística no equilíbrio, que podemos encontrar três tipos básicos de ensembles1 : o microcanônico, que descreve um sistema isolado com energia E, número de partículas N e volume V fixos; o canônico, que descreve um sistema em contato com um reservatório a temperatura T , N e V fixos; e o grã-canônico, que descreve um sistema que troca energia e partículas com o reservatório, ou seja, o potencial químico µ, T , e V são fixos. Aqui, T e µ determinam, respectivamente, a energia média e o número médio de partículas de um sistema. Por conveniência, vamos utilizar o ensemble grã-canônico em nosso desenvolvimento. 1 Coleção de um número grande de “cópias” de um sistema, idênticas macroscopicamente, porém diferentes microscopicamente. 11 A média no ensemble de um operador  é A = Tr ρ̂ Tr ρ̂ A = Tr e−β (Ĥ−µi N̂i )  , Tr e−β (Ĥ−µi N̂i ) (1) onde ρ̂ é a matriz densidade estatística, Ĥ é o operador hamiltoniano do sistema, β ≡ 1/kb T e uma soma em i deve ser considerada2 . O denominador da equação acima é chamado de função de partição grã-canônica (KAPUSTA, 1993; TODA; KUBO; SAITô, 1983), Z = Tr e−β (Ĥ−µi N̂i ) , (2) que é uma função de extrema importância para a termodinâmica, uma vez que dela (ou mais precisamente de seu logaritmo natural e derivadas) podem ser extraídas as propriedades termodinâmicas do sistema em estudo. Para fins práticos 3 , consideraremos a função de partição sem o termo de potencial químico Z = Tr e−β Ĥ (3) e o reintroduziremos mais tarde. Para tratarmos de fenômenos quânticos e relativísticos, necessitamos de uma teoria quântica de campos. Isto significa que tratamos partículas como sendo excitações de campos. No Modelo Padrão, existem dois tipos de partículas: bósons, com spin inteiro e férmions, com spin semi-inteiro, segundo o teorema spin-estatística. As partículas fundamentais conhecidas são: férmions de spin 1/2, como quarks e elétrons, bósons escalares (Higgs) e vetoriais, como os campos mediadores das interações. Não desenvolveremos neste trabalho os cálculos para um embasamento em teoria de campos a temperatura zero, mas estes podem ser encontrados na extensa literatura já existente, particularmente em Peskin e Schroeder (1995); e Das (1993). Relembrando da mecânica quântica, podemos reescrever a equação (3) utilizando um conjunto completo de autoestados de um operador campo Φ̂(x) bosônico4 , na representação de 2 A constante kb é a constante de Boltzmann, que faremos igual a 1 por simplicidade, bem como c = } = 1. 3 O desenvolvimento a seguir é baseado em Das (1997); Modugno (1998); e Palhares (2008). 4 Usamos campos escalares bosônicos de spin zero e sem carga (reais) para os cálculos e, com o resultado, prolongamos para o caso de campos fermiônicos. 12 Heisenberg5 (Φ̂(x) ≡ eiĤt φ̂(0, x)e−iĤt ), num instante t Φ̂(x) |φ(x), ti = φ(x) |φ(x), ti , (4) sabendo também que, por esta ser uma base contínua, calcular o traço significa integrar em φ: Z Z= dφ hφ(x), t| e−β Ĥ |φ(x), ti . (5) Esta forma de escrevermos a função de partição nos mostra uma semelhança com o propagador bosônico (amplitude de probabilidade de uma partícula bosônica se propagar de (x, 0) para (y, t)), que pode ser escrito como: hφ(y), t|φ(x), 0i = hφ(y), 0| e−iĤt |φ(x), 0i , (6) pois |φ(x), ti = eiĤt |φ(x), 0i. Portanto, o operador exp(−β Ĥ) age sobre o estado |φ(x), ti como um operador de evolução temporal, porém para tempos imaginários. Logo, a função de partição toma a forma Z Z = dφ hφ(x), 0| e−iĤt e−β Ĥ |φ(x), ti Z Z = dφ hφ(x), t − iβ|φ(x), ti . (7) Como passaremos a trabalhar no plano complexo (agora os campos dependem de tempos complexos!), é interessante definirmos um operador de ordenamento temporal de produto de campos Tc , análogo ao operador de ordenamento temporal usual, para um contorno geral t = zc (τ ) no plano complexo6 , onde τ é uma variável real que parametriza o contorno: Tc Φ̂(x)Φ̂(x0 ) = θc (t − t0 )Φ̂(x)Φ̂(x0 ) + θc (t0 − t)Φ̂(x0 )Φ̂(x). (8) Na definição acima, θc (t − t0 ) ≡ θ(τ − τ 0 ), onde θc (t − t0 ) = 1 se t > t0 e θc (t − t0 ) = 0 se t0 > t. Podemos agora definir funções de Green termodinâmicas, análogas aquelas da teoria 5 Vetores em 3 dimensões espaciais são escritos em negrito (x), enquanto quadrivetores são escritos normalmente (x). Portanto, x = (t, x), com a métrica (+, −, −, −). 6 Não necessariamente o contorno de Matsubara, que será apresentado mais adiante. 13 quântica de campos usual: 1 Tr Tc Φ̂1 (x) . . . Φ̂n (x)e−β Ĥ Z ≡ hTc Φ̂1 (x) . . . Φ̂n (x)i. G(c) (x1 , . . . , xn ) ≡ (9) Essas funções podem ser geradas pelo funcional gerador que, convenientemente, é definido por Z[J], onde J = J(x) é chamada de fonte: Z[J] = Z[0]hTc ei R c dD xJ(x)Φ̂(x) i, (10) Aqui, Z[0] = Z é a função de partição definida em (7) e D ≡ 1 + d é o número de dimensões do espaço-tempo (d é o número de dimensões espaciais). Em uma forma compacta, podemos escrever: δ n Z[J(x)] (−i)n (c) , (11) G (x1 , ..., xn ) = Z[0] δJ(x1 ) . . . δJ(xn ) J=0 onde o operador δ/δJ(xi ) representa a derivada funcional em relação a J(xi ), definida por: δZ[J(y)] Z[J(y) + δ(x − y)] − Z[J(y)] ≡ lim . →0 δJ(x) (12) Precisamos garantir que as funções de Green de todas as ordens sejam analíticas em seus argumentos temporais, o que implica em certas condições que devemos impor ao contorno C. Como a função de Green de dois pontos Gc (x, x0 ) está associada com o propagador bosônico, vamos começar por estudá-la. Para isso, vamos reescrevê-la da seguinte forma: G(c) (x1 , ..., xn ) = θc (t − t0 )C > (x, x0 ) + θc (t0 − t)C < (x, x0 ) , (13) D E onde C > (x, x0 ) = Φ̂(x)Φ̂(x0 ) = C < (x0 , x) e é chamada de função de correlação de dois pontos. Introduzindo um conjunto completo de autoestados do operador hamiltoniano, |ni, de 14 modo que Ĥ |ni = En |ni e P = |ni hn| = 1, podemos escrever7 : n 1 Tr Φ̂(x)Φ̂(x0 )e−β Ĥ Z 1X = hn| Φ̂(x) |mi hm| Φ̂(x0 )e−β Ĥ |ni Z n,m 1X 0 0 = hn| eiĤt φ̂(0, x)e−iĤt |mi hm| eiĤt φ̂(0, x0 )e−iĤt e−β Ĥ |ni Z n,m 1X 0 0 = hn| φ̂(0, x) |mi hm| φ̂(0, x0 ) |ni eiEn (t−t +iβ) e−iEm (t−t ) . Z n,m C > (x, x0 ) = (14) Para que a soma acima convirja, é necessária a condição −β < Im(t − t0 ) < 0. Fazendo o procedimento análogo para C < (x, x0 ) 1 Tr Φ̂(x0 )Φ̂(x)e−β Ĥ Z 1X = hn| Φ̂(x0 ) |mi hm| Φ̂(x)e−β Ĥ |ni Z n,m 1X 0 0 hn| eiĤt φ̂(0, x0 )e−iĤt |mi hm| eiĤt φ̂(0, x)e−iĤt e−β Ĥ |ni = Z n,m 1X 0 0 = hn| φ̂(0, x0 ) |mi hm| φ̂(0, x) |ni eiEn (t −t+iβ) e−iEm (t −t) , Z n,m C < (x, x0 ) = (15) obtemos a condição para que a soma acima convirja: 0 < Im(t − t0 ) < β. Portanto, a condição de convergência para (13) é: −β < Im(t − t0 ) < β. (16) Vale lembrar que esta condição é suficiente para garantir que as funções de Green de ordens superiores sejam analíticas. Além disso, esta condição claramente restringe o contorno C. Nosso objetivo agora é encontrar uma expressão simplificada para o funcional gerador Z[J]. Para isso, vamos relembrar, por meio de integrais de caminho8 , a forma do elemento de matriz de um produto ordenado de campos9 dado por um funcional F [Φ̂]: 0 0 00 00 Z +∞ hφ , t | T F [Φ̂] |φ , t i = N Z φ00 (x) Dπ −∞ DφF [φ]ei R t00 t0 dt R dd x[π φ̇−H] , φ0 (x) (17) 7 Importante lembrar que En é um número real. 8 Para revisão de integrais de caminho, ver Peskin e Schroeder (1995); Das (1993); e Palhares (2008). 9 Esta é conhecida como a fórmula de Feynman-Matthews-Salam (MODUGNO, 1998). 15 onde T é o operador de ordenamento temporal usual, N é uma constante de normalização dependente de t − t0 e do volume espacial Vd , dd x é o diferencial de volume espacial (d é o número de dimensões espaciais), π ≡ ∂L/∂ φ̇ é o momento canônico conjugado a φ, com L sendo a densidade de Lagrangiana10 , φ̇ ≡ dφ/dt e H é a densidade de Hamiltoniana11 . Além ~ ~ disso, vale ressaltar que φ = φ(x), φ̇ = φ̇(x), π = π(x), H = H(φ, π, ∇φ), L = L(φ, φ̇, ∇φ) e as condições de contorno para os campos foram definidas como φ(t0 , x) ≡ φ0 (x) e φ(t00 , x) ≡ M Q dπi dφi /2π simboliza a integração funcional. φ00 (x), e DπDφ ≡ lim M →∞ i=1 Fazendo uma continuação analítica no tempo para que este possa assumir valores complexos, num contorno C que satisfaça às condições dadas por (16) e as condições de contorno requeridas acima para os campos, temos: 0 0 00 +∞ Z 00 hφ , t | Tc F [Φ̂] |φ , t i = N Z φ00 (x) DφF [φ]ei Dπ R c dD x[π φ̇−H] . φ0 (x) −∞ (18) Agora temos condições de reescrever o funcional gerador das funções de Green Z[J], dado em (10), na forma encontrada em (18) e obtermos Z[J] = Z[0]hTc ei R R c dD xJ(x)Φ̂(x) i D i c d xJ(x)Φ̂(x) −β Ĥ = Tr e Z Tc e R D = dφ hφ(x), t − iβ| Tc ei c d xJ(x)Φ̂(x) |φ(x), ti Z Z φ(t−iβ,x) Z +∞ R D Dφei c d x[πφ̇−H+Jφ] Dπ dφ = N −∞ +∞ φ(t,x) Z = N Z Dφei Dπ −∞ R c dD x[π φ̇−H+Jφ] , φ(t,x)=φ(t−iβ,x) (19) onde escrevemos (PESKIN; SCHROEDER, 1995) Z Z Dφ = φ(t,x)=φ(t−iβ,x) Z φ(t−iβ,x) dφ Dφ (20) φ(t,x) e as condições de contorno para campos bosônicos são periódicas (DAS, 1997; PALHARES, 10 11 Podemos chegar à densidade de Lagrangiana de um sistema a partir de sua densidade de Hamiltoniana fazendo simplesmente uma transformada de Legendre do tipo H ≡ π φ̇ − L. R Lembrando que H ≡ dd xH. 16 2008), ou seja, φ(t − iβ, x) = φ(t, x). (21) Supondo que a Hamiltoniana não possui acoplamentos de derivadas, podemos integrar12 sobre os momentos canônicos π(x) e absorver o resultado na constante de normalização, de modo a obtermos finalmente a forma do funcional gerador das funções de Green para campos escalares bosônicos: Z R D Z[J] = N Dφei c d x[L+Jφ] . (22) φ(t,x)=φ(t−iβ,x) Até agora não foi dada atenção especial à constante de normalização N propositalmente, uma vez que esta não depende dos campos e, para os cálculos de valores médios usando (11), ela sempre se cancelará. O funcional gerador das funções de Green para campos fermiônicos pode ser obtido analogamente ao caso de campos escalares, porém devemos tomar o cuidado de expressá-los como campos de Grassman, cuja estrutura é ψ(x) = X ψi ϕi (x) , (23) i onde ψi são números de Grassman (DAS, 1993; PESKIN; SCHROEDER, 1995; PALHARES, 2008), cuja álgebra é construída de forma que os campos fermiônicos obedeçam ao Princípio de exclusão de Pauli13 , ou seja, que os campos satisfaçam relações de anti-comutação (diferentemente dos bosônicos, que satisfazem relações de comutação). As funções ϕi (x) formam uma base para campos fermiônicos. No caso de campos de Dirac, ϕi (x) são espinores de quatro componentes. Portanto, podemos escrever o funcional gerador das funções de Green para campos fermiônicos como Z R D Z[η̄, η] = N Dψ̄Dψei c d x[L+η̄ψ+ψ̄η] , (24) ψ(t−iβ,x)=−ψ(t,x) onde η = η(x) e η̄ = η̄(x) são as fontes e ψ̄ = ψ̄(x) ≡ ψ † (x)γ 0 , com o símbolo “†” represen~ tando o transposto conjugado de ψ e L = L(ψ, ψ̄, γ 0 ψ̇, ~γ · ∇ψ) (os objetos γ 0 e ~γ ≡ (γ 1 , γ 2 , γ 3 ) são as matrizes de Dirac e serão definidas mais adiante). Além disso, é importante notarmos 12 Como temos termos quadráticos em π(x) na densidade de Hamiltoniana, podemos completar o quadrado e transformar a integração nos momentos numa integral Gaussiana para campos, que tem solução bem conhecida (KAPUSTA, 1993). 13 Num dado sistema físico, dois ou mais férmions não podem ocupar o mesmo estado quântico. 17 as condições de contorno anti-periódicas na integração funcional dos campos, características de campos fermiônicos. A formulação de integrais de caminho da teoria de campos a temperatura finita difere da usual, formalmente, somente no fato de a integração temporal, no caso da temperatura finita, ser realizada num contorno complexo C (com certas condições de contorno) que, em princípio, não definimos ainda. Este será o assunto da próxima seção. 1.2 O formalismo de tempo imaginário (Matsubara) Para o estudo das propriedades de um sistema físico em equilíbrio, existe um formalismo relativamente simples que consiste na escolha de um contorno C no plano complexo denominado contorno de Matsubara. Tal formalismo apresenta a vantagem de gerar diagramas similares aos da teoria de campos a temperatura zero, quando fazemos a expansão perturbativa. O contorno resume-se na definição da variável tempo como τ ≡ it ∈ [0, β] , (25) para que seja satisfeita a condição de contorno −β < Im(t − t0 ) < 0, para t > t0 (ver equação (15)). Isto implica nas seguintes mudanças, por exemplo, em (22) Z ∂0 = i∂τ e i Z β dτ , dt = (26) 0 A derivada temporal foi redefinida pois esta se encontra (implicitamente) na densidade de Lagrangiana em (22). Além disso, é conveniente definirmos a notação de quadrivetor usual14 de coordenadas xµ = x0 , x1 , x2 , x3 ≡ (t, x, y, z) (27) e as derivadas em relação às coordenadas como ∂ = ∂xµ ∂ ∂ ∂ ∂ , 1, 2, 3 0 ∂x ∂x ∂x ∂x ≡ ∂ ∂ ∂ ∂ , , , ∂t ∂x ∂y ∂z . (28) O tensor métrico é aquele do espaço de Minkowski, definido por g µν = diag(1, −1, −1, −1) , 14 (29) Mesmo fazendo esta definição, continuaremos escrevendo nas expressões integrações em d dimensões espaciais por ser mais geral. 18 onde diag significa “diagonal principal” da matriz g µν (únicos elementos não-nulos), e g µν possui a propriedade de elevar e abaixar índices dos tensores T αβ = g αµ Tµβ . (30) Voltando para o ponto principal, o funcional gerador das funções de Green para bósons escalares no formalismo de tempo imaginário é Z Z[J] = N Dφe Rβ 0 dτ R ~ dd x[L(φ,i∂τ φ,∇φ)+Jφ ] . (31) φ(τ,x)=φ(τ +β,x) O análogo ocorre para o funcional gerador das funções de Green para férmions no mesmo formalismo: Z Rβ R d 0 ~ (32) Z[η̄, η] = N Dψ̄Dψei 0 dτ d x[L(ψ,ψ̄,iγ ∂τ ψ,~γ ·∇ψ)+η̄ψ+ψ̄η] . ψ(τ +β,x)=−ψ(τ,x) Sabemos que a solução φ(x) da equação de Klein-Gordon, que descreve bósons escalares com spin zero, pode ser escrita como uma transformada de Fourier da seguinte forma15 Z φ(x) = dD p ip·x ∗ −ip·x φ(p)e + φ (p)e , (2π)D (33) com p ≡ (ω, p) e x ≡ (t, x), que implica em p · x = ωt − p · x. Quando adaptamos esta solução para o formalismo de tempo imaginário, temos Z dd p i X φn (p)ei(ωn τ −p·x) + φ∗n (p)e−i(ωn τ −p·x) , φ(τ, x) = d β n (2π) (34) onde foram feitas as mudanças t = −iτ , ω = iωn e Z Z dD p i X dd p → , (2π)D β n (2π)d (35) uma vez que somente valores discretos de frequências de Matsubara ωn são permitidos. Quando consideramos as condições de contorno periódicas, encontramos φ(τ, x) = φ(τ + β, x) φn (p)ei(ωn τ −p·x) + φ∗n (p)e−i(ωn τ −p·x) = φn (p)ei(ωn (τ +β)−p·x) + φ∗n (p)e−i(ωn (τ +β)−p·x) , (36) 15 Na verdade, para bósons de spin zero, ou seja, φ(x) real, devemos ter φ(p) = φ∗ (−p). 19 onde, para que tenhamos os valores permitidos para ωn , simplesmente igualamos as exponenciais com o mesmo coeficiente nos dois lados, de modo que é suficiente escrever (lembrando que eiθ ≡ cos(θ) + isen(θ)) ei(ωn τ −p·x) = ei(ωn (τ +β)−p·x) 1 = eiωn β ωn = 2πn . β (37) O análogo pode ser feito para a solução ψ(x) da equação de Dirac, que descreve férmions de spin 1/2. Tal solução, por também satisfazer a equação de Klein-Gordon (PESKIN; SCHROEDER, 1995), tem a mesma forma de (33) e, consequentemente, a mesma forma de (34). Porém, agora devemos utilizar as condições de contorno anti-periódicas ψ(τ + β, x) = −ψ(τ, x) e, procedendo de maneira análoga ao cálculo de ωn para bósons, temos ei(ωn (τ +β)−p·x) = −ei(ωn τ −p·x) eiωn β = −1 ωn = (2n + 1)π . β (38) Portanto, podemos resumir: ωn = (2n + 1)π/β para férmions 2nπ/β para bósons (39) Por último, é interessante ressaltar que as funções de Green geradas pelos funcionais (31) e (32) sofrerão uma pequena mudança em relação àquela expressão dada por (11), como consequência da escolha do contorno de Matsubara: 1 δ n Z[J(τ, x)] G (τ1 , ..., τn , x1 , ..., xn ) = . Z[0] δJ(τ1 , x1 ) . . . δJ(τn , xn ) J=0 (c) (40) 1.3 Introdução do potencial químico Neste capítulo, como havíamos mencionado na Seção 1.1, vamos reintroduzir o potencial químico µ na equação da função de partição. A descrição termodinâmica de um sistema que possua cargas conservadas é um pouco diferente do formalismo que desenvolvemos anteriormente. O vínculo de conservação de carga deve ser incluído no cálculo da função de 20 partição através do método de multiplicadores de Lagrange (PALHARES, 2008; KAPUSTA, 1993; MODUGNO, 1998). No contexto de mecânica estatística, o mutiplicador de Lagrange é denominado potencial químico. Vamos escrever uma expressão mais geral para a função de partição dada pela equação (2), cujas cargas conservadas referiam-se ao número de partículas Ni do ensemble grã-canônico: Z ≡ Tr e−β(Ĥ−µQ̂) , (41) onde Q̂ é o operador carga conservada. Podemos ilustrar a maneira de como é inserido o potencial químico nas equações (31) e (32) com dois exemplos: a teoria para campos escalares carregados (complexos) e a teoria para campos fermiônicos de spin 1/2. 1.3.1 Teoria de campos escalares carregados Esta teoria é dada pela densidade de Lagrangiana L = (∂ µ φ)(∂µ φ)∗ − m2 φφ∗ − V (φ, φ∗ ). (42) Supondo que o potencial V (φ, φ∗ ) é tal que mantenha invariante a densidade de Lagrangiana frente à transformação global U (1) (α = cte. e muito pequeno) φ → φe−iα ≈ φ − iαφ , (43) segundo o Teorema de Noether, associada a esta simetria existe uma corrente conservada dada por Z d µ d xj = Z ∂L ∂L ∗ (−iφ) + (iφ ) , d x ∂(∂µ φ) ∂((∂µ φ)∗ ) d ou seja, ∂µ j µ = 0. A carga conservada é a componente Q ≡ densidade de corrente é, portanto jµ = i(φ∗ ∂µ φ − φ(∂µ φ)∗ ) , R (44) dd xj 0 da expressão acima. A (45) Lembrando da equação (19), onde ainda não havíamos integrado sobre os momentos canonicamente conjugados, o argumento da exponencial deve ser modificado de modo a conter o termo relativo à carga conservada dado por (41) H → H − µj0 , (46) 21 o que nos leva a um novo argumento que possui mais dependências nos momentos canonicamente conjugados 16 além daqueles usuais (das formas π φ̇ e π 2 ), pois agora temos a presença de j0 = i(φ∗ π ∗ − φπ). Podemos completar o quadrado no novo argumento da exponencial em questão, de modo que esta obtenha a forma de uma integral Gaussiana para campos, cuja solução é conhecida, e obter, já no formalismo de Matsubara, Z 0 Rβ DφDφ∗ e Z[J, J ] = N 0 dτ R dd x[Lµ=0 +µ2 φ∗ φ+µj0 +Jφ+J 0 φ∗ ] . (47) φ(τ,x)=φ(τ +β,x) 1.3.2 Teoria de campos fermiônicos de spin 1/2 A teoria é caracterizada pela densidade de Lagrangiana ψ̄(iγ µ ∂µ − m)ψ − V (ψ̄ψ) , onde utilizaremos, daqui por diante, a notação γ µ ∂µ ≡ P (48) γ µ ∂µ , com γ µ = γµ . A densidade de µ Lagrangiana (48) é visivelmente invariante frente à transformação U (1) ψ → e−iα ψ. (49) Analogamente ao caso anterior temos, pelo Teorema de Noether, a existência de uma corrente conservada e esta é dada por Z d µ d xj = Z ∂L ∂L (−iψ) + (iψ̄) d x ∂(∂µ ψ) ∂(∂µ ψ̄) d , (50) cuja densidade de corrente é jµ = ψ̄γµ ψ , (51) com j0 = ψ̄γ0 ψ sendo a densidade de carga conservada. Neste caso, podemos fazer diretamente a mudança no argumento da exponencial na equação (32), que já se encontra no formalismo de tempo imaginário, uma vez que o momento canonicamente conjugado ao campo ψ é proporcional ao campo ψ † : Z Z[η̄, η] = N Dψ̄Dψei Rβ 0 dτ R dd x[L+µψ̄γ 0 ψ+η̄ψ+ψ̄η ] ψ(τ +β,x)=−ψ(τ,x) 16 Agora temos dois momentos canonicamente conjugados: π = ∂φ̇ L e π ∗ = ∂φ˙∗ L. . (52) 22 O interessante dessas novas formas para os geradores funcionais bosônico e fermiônico no formalismo de Matsubara é que, para se introduzir o potencial químico µ, basta fazermos um deslocamento no operadores ∂τ , que se encontram nas densidades de Lagrangiana das equações (31) e (32), do tipo ∂τ → ∂τ − µ , (53) de modo que resgatamos as formas (47) e (52) encontradas. 1.4 Quebra espontânea de simetria O formalismo de teoria quântica de campos a temperatura finita é particularmente interessante para o estudo da quebra ou restauração de simetrias de uma teoria descrevendo um certo sistema físico. Em especial, a temperatura zero, a quebra espontânea de simetria está relacionada a quebra de invariância (frente a uma transformação no campo) da teoria devido ao aparecimento de um valor esperado no vácuo do campo diferente de zero. Podemos rapidamente ilustrar isto com o exemplo simples a seguir (PESKIN; SCHROEDER, 1995). Vamos supor uma densidade de Lagrangiana para um campo escalar real da teoria φ4 : 1 λ 1 L = (∂µ φ)2 + µ2 φ2 − φ4 , 2 2 4! (54) onde o termo de massa tradicional m2 foi modificado por m2 → −µ2 e λ > 0. Esta Lagrangiana tem uma simetria discreta: φ → −φ. Usando o fato de que H = π φ̇ − L, podemos escrever a Hamiltoniana do sistema como Z H = dd xH Z 1 2 1 ~ 2 1 2 2 λ 4 d (55) = d x π + (∇φ) − µ φ + φ . 2 2 2 4! O valor do campo correspondente ao mínimo de energia é aquele obtido da parte potencial da Hamiltoniana acima, ou seja 1 λ V (φ) = − µ2 φ2 + φ4 2 4! (56) O potencial tem dois mínimos, dados pela equação d V (φ) . dφ φ=φ0 (57) 23 Figura 1 - Esboço do potencial dado por (56). r φ0 = ±v = ± 6 µ, λ (58) onde v é chamado o valor esperado no vácuo de φ. Vamos considerar agora que o sistema está próximo do mínimo positivo. Logo, podemos definir φ(x) = v + σ(x) , (59) onde agora podemos reescrever a densidade de Lagrangiana (54) em termos de σ(x). A menos de uma constante, podemos escrever 1 1 L = (∂µ σ)2 − (2µ2 )σ 2 − 2 2 r λ 3 λ 4 µσ − σ . 6 4! (60) Podemos observar que a densidade de Lagrangiana agora descreve um campo escalar √ simples de massa 2µ, com interações do tipo σ 3 e σ 4 . A simetria φ → −φ não é mais explicita, ou seja, temos um exemplo de quebra espontânea de simetria. Vamos agora desenvolver brevemente um formalismo funcional associado ao estudo de quebra espontânea de simetria. O funcional que representa o valor esperado termodinâmico de um campo Φ̂ na presença de fontes pode ser escrito como ϕ[J] ≡ hΦ̂iJ = δln Z[J] , δJ (61) onde, como veremos mais adiante, no caso de quebra espontânea de simetria, ϕ desempenha 24 um papel de parâmetro de ordem17 . Assumindo que a relação entre ϕ e J é inversível, podemos definir um funcional F [ϕ] como uma transformada de Legendre de ln Z[J] como β Z Z dτ F [ϕ] = dd xJϕ − ln Z[J] , (62) 0 o que nos fornece δF = J. δϕ (63) Da equação (63), vemos que no limite J → 0: δF = 0. δϕ J=0,ϕ=ϕ̄ (64) Aplicando esta condição para a equação (62), encontramos F [ϕ̄] = −ln Z[0] , (65) que é imediatamente identificada com a energia livre do sistema Ω[0], quando recordamos da termodinâmica do equilíbrio (REIF, 1965; TODA; KUBO; SAITô, 1983) F [ϕ̄] = βΩ[0] , (66) com Ω[0] = − β1 ln Z[0]. É interessante notarmos que as condições termodinâmicas δϕ[J] δ 2 Ω[J] 2 = −β = (Φ − hΦi) ≥0 δJ δJ 2 (67) 2 −1 δ 2 Ω[J] δ Ω[J] =− β ≥0, δϕ2 δJ 2 (68) são satisfeitas, e obtidas através de (61) e da diferenciação de (62), respectivamente, com o cuidado de perceber que a última relação ocorre devido a primeira. Em poucas palavras, essas condições nos mostram que ϕ[J] é uma função crescente de J (desde que δϕ/δJ = 0), além de F [ϕ] ser uma função convexa de ϕ[J]. Agora vamos voltar para a quebra espontânea de simetria. Utilizando a mesma densidade de Lagrangiana dada por (54) como exemplo (porém agora no formalismo de tempo imaginário), sabemos que esta possui invariância frente à transformação φ → −φ, ou seja, 17 Em termodinâmica, é uma variável necessária para descrever uma fase ordenada de um certo sistema físico. 25 L(φ) = L(−φ). Com isso, o funcional gerador das funções de Green para bósons Z[J], dada por (31), pode ser escrita como18 Z[J] = Z[|J|] e, portanto, Ω = Ω[|J|]. Quando fazemos o limite J → 0± : − lim+ ϕ[J] = lim+ β J→0 J→0 δΩ δΩ = − lim− β = lim− ϕ[J]. J→0 J→0 δJ δJ (69) Isto significa que ϕ[0+ ] = −ϕ[0− ]; como solução desta equação, temos duas possibilidades: ϕ[0] = 0 ou ϕ[0+ ] = −ϕ[0− ] ≡ ϕ̄ 6= 0, que claramente mostra a quebra de simetria (a invariância da teoria é quebrada devido a um valor esperado do campo diferente de zero, ou seja, ϕ̄ = hΦ̂i = 6 0). Como veremos no Capítulo 2, a presença de temperatura T e potencial químico µ na quantidade denominada “potencial efetivo”19 , que consiste no potencial clássico somado a correções quânticas, tem a capacidade de restaurar simetrias espontaneamente quebradas. 1.5 Cálculo das somas sobre as frequências de Matsubara Vimos na Seção 1.2 que, quando passamos do formalismo usual da teoria quântica de campos para o formalismo de tempo imaginário, a integração na componente zero do momento é substituída por uma soma discreta em frequências de Matsubara Z Z dD p i X dd p → . (2π)D β n (2π)d (70) No entanto, para resolver tais somas, existem certas técnicas (DAS, 1997; KAPUSTA, 1993; BELLAC, 1996). Nesta seção, apresentamos uma delas, o método de integração de contorno, que consiste em transformar a soma sobre frequências de Matsubara em integrais de contorno no plano complexo, usando o Teorema de Cauchy (ARFKEN; WEBER, 2005). O desenvolvimento desta seção foi baseado em Palhares (2008) e resultados análogos são encontrados em Landsman e Weert (1987); Modugno (1998); Kapusta (1993); e Bellac (1996). Vamos começar por identificar uma função cujos pólos se localizem sobre as frequências de Matsubara fermiônicas e cujos resíduos reproduzam os termos da soma fermiônica, que tem a forma SF ≡ 1X f (p0 = iωnF + µ) , β n (71) 18 O termo de fonte em (31) é Jφ, de modo que, pela transformação de simetria, este é o único termo que sofre uma mudança, tal que o novo termo é −Jφ; ou seja, podemos escrever |J|φ, com Z[|J|]. 19 O formalismo matemático associado ao potencial efetivo será apresentado mais adiante. 26 onde ωnF são as frequências fermiônicas (ωnF = (2n + 1)π/β) e µ é o potencial químico (veremos futuramente que ele pode ser absorvido desta forma na componente zero do momento). Definindo uma nova função tal que f¯(q 0 = iωnF ) = f (p0 = iωnF + µ), podemos escrever: SF = 1X¯ 0 f (q = iωnF ). β n (72) O truque consiste em saber que a função (β/2)tanh(βq 0 /2) possui pólos com resíduos iguais a 1 situados sobre as frequências de Matsubara fermiônicas. Portanto, segundo o teorema de Cauchy, podemos reescrever a soma fermiônica como 1 SF = 2πiβ I β dq f¯(q ) tanh 2 Cq 0 0 1 0 βq 2 , (73) onde Cq é um contorno fechado que envolve todos os pólos nas frequências de Matsubara fermiônicas sobre o eixo imaginário (Figura 2). Escolhemos Cq como sendo duas retas infinitesimalmente próximas do eixo imaginário (distância = , com → 0) e paralelas a este, conectadas em Im(q 0 = ±∞). Figura 2 - Contorno Cq utilizado em (73). A função tanh 1 βq 0 2 tanh pode ser escrita em termos de exponenciais como: 1 0 βq 2 0 eβq − 1 1 1 = βq0 = , 0 − 0 −βq βq e +1 1+e e +1 (74) de onde reconhecemos de imediato, da física estatística, a relação com a função distribuição de 27 Fermi-Dirac (TODA; KUBO; SAITô, 1983; REIF, 1965; KAPUSTA, 1993) nF (q 0 ) = 1 . +1 eβq0 (75) Com isso, podemos escrever a equação (74) como tanh 1 0 βq 2 = 1 − 2nF (q 0 ) = −1 + 2nF (−q 0 ) , (76) e, substituindo em (73) convenientemente, temos SF = lim →0 1 2πi Z −i∞− i∞− Z i∞+ 1 1 1 0 0 0¯ 0 0 ¯ dq f (q ) − + nF (−q ) + dq f (q ) − nF (q ) 2 2πi −i∞+ 2 0 (77) Fazendo o limite → 0 para os termos que têm somente f¯(q 0 ) no integrando (estamos supondo que esta função é analítica sobre o eixo imaginário), obtemos: SF Z i∞− Z i∞+ 1 1 0 0 0¯ 0 0¯ 0 dq f (q )nF (−q ) − dq f (q )nF (q ) + = lim − →0 2πi −i∞− 2πi −i∞+ Z i∞ 1 + dq 0 f¯(q 0 ). (78) 2πi −i∞ Agora, podemos fazer uma mudança na variável de integração q 0 → p0 = q 0 + µ e, usando a relação anterior f¯(q 0 ) = f (p0 ), obtemos finalmente SF Z i∞+µ− Z i∞+µ+ 1 1 0 0 0 0 0 0 = lim − dp f (p )nF (µ − p ) − dp f (p )nF (p − µ) + →0 2πi −i∞+µ− 2πi −i∞+µ+ Z i∞+µ 1 dp0 f (p0 ). (79) + 2πi −i∞+µ Interessante apontarmos o fato de que este método separa as contribuições devido à temperatura finita (T 6= 0 ou β finito), no caso das duas primeiras parcelas do lado direito da equação (79) e a contribuição do vácuo (T = 0 ou β → ∞), última parcela, obtida com o formalismo de teoria quântica de campos usual. Todos os termos dependem do potencial químico µ, de modo que o caso em que µ = 0 é facilmente obtido de (79). O caso da soma bosônica SB ≡ 1X f (k 0 = iωlB + µ) , β l (80) com ωlB = 2nπ/β, é completamente análogo ao anterior, porém agora recorremos à função (β/2)cotanh(βq 0 /2), com q 0 = k 0 − µ e f¯(q 0 ) = f (k 0 ), que possui os pólos nas frequências bosônicas e resíduos unitários. Portanto, analogamente ao caso fermiônico, pelo teorema de 28 Cauchy, podemos escrever: 1 SB = 2πiβ I β dq f¯(q ) cotanh 2 Cq 0 0 1 0 βq . 2 (81) Além disso, é possivel escrever cotanh(βq 0 /2) em termos de exponenciais, das quais reconhecemos prontamente a distribuição de Bose-Einstein (TODA; KUBO; SAITô, 1983; REIF, 1965; KAPUSTA, 1993) nB (q 0 ) = 1 . −1 (82) eβq0 Sob os mesmos passos do caso anterior, obtemos SB 1 = 2πi Z 1 + 2πi Z i∞−µ+ 0 0 0 Z i∞+µ+ dk −i∞+µ 2 0 0 dk f (k )nB (k − µ) + dk f (−k )nB (µ + k ) + −i∞−µ+ i∞+µ 01 0 −i∞+µ+ f (k 0 ) + f (−k 0 ) , (83) onde os termos que dependem de T são os dois primeiros do lado direito de (83), enquanto o último está associado à temperatura zero. Em geral, o caso bosônico não envolve o potencial químico µ. Então, a equação (83) quando µ = 0 torna-se SB Z i∞+ 1 dk 0 f (−k 0 ) + f (k 0 ) nB (k 0 ) + = 2πi −i∞+ Z i∞ 1 1 + dk 0 f (k 0 ) + f (−k 0 ) . 2πi −i∞ 2 (84) 29 2 INTRODUÇÃO ÀS CARACTERÍSTICAS DO MODELO DE GROSS-NEVEU EM 2+1 DIMENSÕES Começamos o capítulo com o modelo de Nambu-Jona-Lasinio (NAMBU; JONA-LASINIO, 1961a; NAMBU; JONA-LASINIO, 1961b) D-dimensional, devido a possibilidade de resgatarmos o modelo de Gross-Neveu (GROSS; NEVEU, 1974) em 2+1, que é o caso de nosso interesse, como um caso particular do mesmo. Citamos as transformações quirais (contínua e discreta) e mostramos a condição para que o modelo de Nambu-Jona-Lasinio seja invariante sob as mesmas. O potencial efetivo a 1 loop numa expansão 1/N , ou aproximação para N → ∞, é calculado a temperatura zero e estendido para o formalismo de tempo imaginário. Em seguida, apresentamos o modelo de Gross-Neveu em 2+1 dimensões simplificado, que é invariante sob uma transformação quiral e discreta quando o termo de massa para férmions é nulo. Através da sua expressão para o potencial efetivo para T e µ finitos, mostramos alguns resultados conhecidos que dizem respeito a transições de fase (quebra espontânea de simetria quiral e discreta) de um sistema planar de férmions que possa vir a ser modelado pela teoria. Finalmente, na última seção, discutimos o modelo de Gross-Neveu em 2+1 dimensões quando um campo magnético, perpendicular ou paralelo ao sistema planar de férmions, é aplicado, e o cálculo do potencial efetivo a 1 loop para cada caso é mencionado. 2.1 O modelo de Nambu-Jona-Lasinio e o potencial efetivo O modelo de Nambu-Jona-Lasinio (NJL), proposto em 1961, foi inicialmente introduzido para descrever a interação forte entre núcleons (NAMBU; JONA-LASINIO, 1961a; NAMBU; JONA-LASINIO, 1961b) e foi baseado numa analogia com a teoria da supercondutividade de Bardeen, Cooper, Schrieffer e Bogoliubov (BARDEEN; COOPER; SCHRIEFFER, 1957). Uma característica motivadora da teoria BCS é a produção de um gap de energia entre o estado fundamental e os estados excitados de um supercondutor, fato que foi confirmado experimentalmente. Este gap é gerado devido ao fato de que uma interação atrativa entre elétrons (mediada por fônons) produz pares correlacionados de elétrons com momentos e spins opostos (férmion e antiférmion) próximos à superfície de Fermi; para se quebrar esta correlação, é necessária uma quantidade finita de energia (gap). Além disso, podemos utilizar o modelo de NJL como modelo efetivo para a descrição de fenômenos da cromodinâmica quântica (QCD) onde, em especial, a interação entre quarks e glúons pode ser aproximada por uma interação efetiva do tipo quark-antiquark (MODUGNO, 1998). 30 O modelo de NJL é definido pela densidade de Lagrangiana20 L = ψ̄(iγ µ ∂µ − M )ψ + λ (ψ̄ψ)2 − (ψ̄γ5 ψ)2 , 2N (85) onde nós consideramos N sabores dos campos ψ, que por sua vez são campos de quadriférmions 21 e uma soma sobre os sabores está implícita para não carregar a notação; λ é uma constante de acoplamento e é considerada fixa; M é uma matriz representando a massa dos férmions; e o termo de derivada, é uma forma compacta de se escrever µ 0 γ ∂µ ≡ γ ∂0 + d X γ i ∂i , (86) i=1 onde d novamente representa o número de dimensões espaciais. As matrizes γ µ são as matrizes de Dirac22 4 × 4; delas, podemos definir apropriadamente uma matriz de traço nulo, que anticomuta23 com todas as γ µ , representada por γ5 . Por exemplo, para D = 3 + 1 temos, na representação quiral (RYDER, 1996): γ0 = 0 1 1 0 ! , γi = 0 −τ i τi 0 ! , γ5 = 1 0 0 −1 ! . (87) Nas matrizes acima, cada elemento é uma matriz 2 × 2 e τ i (i = 1, 2, 3) representam as bem conhecidas matrizes de Pauli. Voltando nossa atenção para a densidade de Lagrangiana (85), podemos observar que a transformação quiral contínua e global ψ → eiθγ5 ψ , ψ̄ → ψ̄eiθγ5 , (88) onde usamos {γ5 , γ 0 } = 0 e consideramos θ infinitesimal, quando aplicada em (85), nos fornece: L0 = ψ̄eiθγ5 (iγ µ ∂µ − M )eiθγ5 ψ + λ (ψ̄eiθγ5 eiθγ5 ψ)2 − (ψ̄eiθγ5 γ5 eiθγ5 ψ)2 . 2N (89) 20 Poderíamos também levar em conta uma soma sobre spins fermiônicos, mas o faremos mais tarde. 21 Férmions com quatro componentes espinoriais. Utilizaremos esta representação pois atende a nossos interesses, como será mencionado mais adiante. 22 Estamos considerando uma teoria D-dimensional em princípio, mas com o objetivo de particularizar para 2+1 dimensões mais adiante; a escolha do número de componentes das matrizes de Dirac é determinada pela dimensionalidade da teoria e, a rigor, não seria correto determinarmos tal número sem determinar o número de dimensões primeiro. No entanto, se considerarmos, no decorrer desta seção, que D = 2 + 1 ou D = 3 + 1, não teremos problemas quanto a isso. 23 Em nossa notação, isto significa escrever que o anticomutador {γ µ , γ5 } ≡ γ µ γ5 + γ5 γ µ = 0. 31 Utilizando {γ5 , γ µ } = 0, encontramos L0 = ψ̄(iγ µ ∂µ − ei2θγ5 M )ψ + λ (ψ̄ei2θγ5 ψ)2 − (ψ̄ei2θγ5 γ5 ψ)2 . 2N (90) O termo entre colchetes, quando desenvolvido, utilizando a propriedade (γ5 )2 = 1 e desprezando termos de ordem O(θ2 ) ou superior, se mostra invariante. Portanto, L0 = ψ̄(iγ µ ∂µ − ei2θγ5 M )ψ + λ (ψ̄ψ)2 − (ψ̄γ5 ψ)2 . 2N (91) Outra transformação de interesse é a denominada transformação quiral e discreta, que se escreve como ψ → γ5 ψ , ψ̄ → −ψ̄γ5 , (92) onde utilizamos {γ5 , γ 0 } = 0. Aplicando a transformação em (85), obtemos L0 = −ψ̄γ5 (iγ µ ∂µ − M )γ5 ψ + λ (−ψ̄γ5 γ5 ψ)2 − (−ψ̄γ5 γ5 γ5 ψ)2 . 2N (93) Usando novamente {γ5 , γ µ } = 0 e a propriedade (γ5 )2 = 1, obtemos L0 = ψ̄(iγ µ ∂µ + M )ψ + λ (ψ̄ψ)2 − (ψ̄γ5 ψ)2 . 2N (94) Sob as duas transformações, claramente notamos que o termo de massa M é o que impede que a teoria tenha uma simetria quiral contínua e global ou quiral e discreta, ou seja, o termo de massa quebra explicitamente a invariância da densidade de Lagrangiana. De qualquer forma, vamos realizar os cálculos de nosso interesse com a teoria descrita por (85), para fins de generalidade e, ao final, fazemos o caso particular conveniente. 2.1.1 O potencial efetivo a 1 loop na expansão 1/N Como vimos na Seção 1.4, o potencial de uma teoria quântica de campos tem enorme importância no estudo da quebra de simetria. No entanto, quando fazemos as correções quânticas à teoria, podemos encontrar diferenças no comportamento do potencial clássico24 , como por exemplo, o mínimo do potencial clássico pode ser instável quando corrigido quanticamente. Uma simetria que é espontaneamente quebrada no nível clássico pode ser restaurada (e viceversa) quando efeitos quânticos são considerados. O interessante aqui é notarmos que, quando 24 Potencial clássico é o negativo da parte não-cinética da densidade de Lagrangiana. 32 construímos um potencial efetivo Vef f , estamos realizando uma íntima conexão entre as correções radiativas (quânticas) e as quebras de simetria (DAS, 1997; RYDER, 1996) de teorias quânticas de campos. No entanto, o potencial efetivo não tem uma forma fechada e, portanto, precisa ser calculado ordem a ordem numa determinada expansão25 . Nesta seção, vamos calcular o potencial efetivo a temperatura zero no formalismo funcional e realizar a expansão 1/N para o modelo de NJL apresentado em (2.1), para N → ∞ ou, equivalentemente, aproximação a 1 loop. Em seguida, faremos a extensão do potencial efetivo a temperatura zero para o formalismo de tempo imaginário apresentado na Seção 1.5. Partindo da densidade de Lagrangiana dada por (85) L = ψ̄(iγ µ ∂µ − M )ψ + λ (ψ̄ψ)2 − (ψ̄γ5 ψ)2 , 2N (95) podemos, da equação (24), escrever Z[η̄, η] como (as condições anti-periódicas estão implícitas) Z Z[η̄, η] = Dψ̄Dψ ei R λ dD x{ψ̄(iγ µ ∂µ −M )ψ+ 2N [(ψ̄ψ)2 −(ψ̄γ5 ψ)2 ]+η̄ψ+ψ̄η} . (96) Um procedimento muito utilizado em teoria de campos é a introdução de um campo auxiliar do tipo φ ≡ (φσ , φπ ), onde φσ é um escalar e φπ é um pseudoescalar. Este procedimento modifica a forma da Lagrangiana, mas não a física da teoria. Tal transformação é denominada uma transformação de Hubbard-Stratonovich e, matematicamente, é justificada pela invariância translacional do funcional integral (MODUGNO, 1998). Na prática, multiplicamos à (96) a identidade (as condições periódicas estão implícitas) Z i Dφ e− 2 R dD x N λ 2 (φ− Nλ ψ̄ψ− Nλ ψ̄iγ5 ψ) = 1 , (97) para obtermos Z Z[η̄, η] = Dψ̄DψDφ ei R N 2 dD x[ψ̄(iγ µ ∂µ −M +a·φ)ψ− 2λ φ +η̄ψ+ψ̄η ] , (98) onde definimos a ≡ (1, iγ5 ), a · φ ≡ φσ + iγ5 φπ e φ2 = φ2σ + φ2π . Portanto, temos uma nova, porém equivalente, densidade de Lagrangiana L = ψ̄(iγ µ ∂µ − M + a · φ)ψ − N 2 φ. 2λ (99) A equivalência entre as teorias descritas por (95) e (99) pode ser verificada quando escrevemos 25 Por exemplo, podemos ter uma expansão em potências de } ou, em nosso caso, uma expansão em potências de 1/N . 33 as equações de Euler-Lagrange para o campo φ, ∂L − ∂µ ∂φσ ∂L ∂(∂µ φσ ) ∂L − ∂µ ∂φπ =0 , ∂L ∂(∂µ φπ ) =0, (100) e, substituindo seus resultados, φσ = λ iλ ψ̄ψ , φπ = ψ̄γ5 ψ , N N (101) na equação (99), resgatamos a forma original da densidade de Lagrangiana do modelo de NJL (85). Interessante notarmos o caráter escalar e pseudoescalar (NAMBU; JONA-LASINIO, 1961a; NAMBU; JONA-LASINIO, 1961b) de φσ e φπ , respectivamente, em acordo com a definição do campo φ. Podemos agora resolver a integração sobre os campos fermiônicos de (98) utilizando o método usual (RYDER, 1996): Z Dψ̄Dψ ei IF [η̄, η] ≡ = e−i R R dD x[ψ̄(iγ µ ∂µ −M +a·φ)ψ+η̄ψ+ψ̄η ] dD xdD y [η̄(x)(iγ µ ∂µ −M +a·φ)−1 η(y)] N det S −1 [φ] , (102) onde foram desprezadas quaisquer constantes multiplicativas que apareçam devido à integração e definimos o operador S −1 [φ] ≡ iγ µ ∂µ − M + a · φ; o expoente N surge devido ao fato de termos N sabores de férmions (a soma está implícita). Quando as fontes η̄ e η são nulas obtemos, substituindo (102) em (98), Z Z[0, 0] ≡ Z = Dφ ei R N 2 φ ] dD x[− 2λ i R N 2 φ ] ln dD x[− 2λ Z = Dφ e N det S −1 [φ] e n N (det S −1 [φ]) o . (103) Se efetuarmos uma transformação no campo φσ → φσ − M , adquirimos Z Z= Dφ e −i R h i N 2 NM M2 dD x 2λ φ + λ φσ + N2λ N ln{det G−1 [φ]} e , (104) com G−1 [φ] ≡ iγ µ ∂µ + a · φ. Sabemos que a relação entre Z[J] e a ação bosônica é dada, pela teoria de campos usual (DAS, 1997; RYDER, 1996; MODUGNO, 1998), por Z Z[J] = J Dφ eiSB ≡ eiW [J] , (105) onde W [J] é o funcional gerador das funções de Green conexas. Portanto, para o nosso caso, 34 com J = 0: N 2 NM2 = d x − φ − N αφσ − − iN ln det G−1 [φ] 2λ 2λ Z N 2 D = d x − φ − N αφσ − iN ln det G−1 [φ] , 2λ Z SB D (106) onde definimos α ≡ M/λ e o termo constante da ação foi desprezado, uma vez que sempre podemos redefinir a ação a menos de uma constante. Através do procedimento acima, conseguimos passar de uma descrição de uma teoria de campos fermiônicos elementares para uma em termos de campos bosônicos, uma vez que, a esta altura, não resta qualquer dependência em ψ ou ψ̄. No Apêndice A, definimos o potencial efetivo a temperatura zero por meio do formalismo funcional, além de apresentarmos a expansão 1/N , que consiste num método nãoperturbativo usualmente utilizado para se calcular o potencial efetivo para modelos como os desse trabalho (CALDAS; RAMOS, 2009; GUSYNIN; MIRANSKY; SHOVKOVY, 1995; VSHIVTSEV; KLIMENKO; MAGNITSKY, 1996) e equivale, em matéria condensada, à aproximação de campo médio. É recomendável, neste ponto, a leitura do Apêndice A para o leitor menos familiarizado com o assunto. O funcional gerador W [J], na aproximação de N → ∞, ou aproximação de 1 loop, para a ação encontrada em (106), é dada por (241), onde foi feita √ uma expansão em potências de 1/N através da redefinição do campo φ = ϕ̄ + φ0 (x)/ N , com ϕ̄ sendo constante: Z W0 [J] = N 2 d x − ϕ̄ − N αϕ̄σ + J ϕ̄ − iN ln det G−1 [ϕ̄] , 2λ D (107) Aqui, ϕ̄ ≡ (ϕ̄σ , ϕ̄π ). Uma relação bem conhecida em teoria quântica de campos é a igualdade (RYDER, 1996) ln det G−1 [ϕ̄] = Tr ln G−1 [ϕ̄] , (108) de modo que, quando J = 0, e lembrando que G−1 [ϕ̄] = iγ µ ∂µ + a · ϕ̄, podemos escrever (107) como Z N 2 D W0 [0] ≡ W0 (ϕ̄) = d x − ϕ̄ − N αϕ̄σ − iN Tr ln (iγ µ ∂µ + a · ϕ̄) . (109) 2λ R O objeto Tr A ≡ tr dD x hx| A |xi representa o traço tanto sobre os índices matriciais quanto sobre as coordenadas. Por simplicidade (GUSYNIN; MIRANSKY; SHOVKOVY, 1995), é suficiente considerarmos o caso ϕ̄π = 0 e, consequentemente, ϕ̄ = ϕ̄σ ≡ σ. Portanto, reescrevemos (109) 35 como Z W0 (σ) = N 2 d x − σ − N ασ − iN Tr ln (iγ µ ∂µ + σ) . 2λ D (110) No Apêndice B, calculamos explicitamente o traço da expressão acima. Portanto, utilizando (244) e (246), podemos escrever (110) como Z W0 (σ) = Z dD p N 2 2 2 ln σ − p . d x − σ − N ασ − i2N 2λ (2π)D D (111) Somente para fins ilustrativos, podemos calcular o próximo termo de W na expansão 1/N , através de (242). Tal termo é dado por (MODUGNO, 1998): i W1 (σ) = 2 Z D d x Z −1 dD p ln iD (p; σ) , 0 (2π)D (112) onde iD0−1 (p; σ) é o inverso do propagador bosônico a temperatura zero. Este termo W1 é de ordem 1/N em relação ao termo W0 e, portanto, pode ser desprezado quando tomamos o limite N → ∞. A partir de (111) e da relação (236) entre o potencial efetivo e o funcional gerador W [0] Vef f (ϕ̄) = − R D , d x (113) escrevemos o potencial efetivo a temperatura zero para o modelo de NJL: N 2 Vef f (σ) = σ + N ασ + i2N 2λ Z dD p 2 2 ln σ − p . (2π)D (114) A extensão para o formalismo de temperatura finita desenvolvido neste trabalho é direta e pode ser obtida fazendo-se simplesmente as seguintes mudanças: Vef f → −W ln Z R R = − ≡ Vef f . −iβ dd x β dd x (115) Portanto, usando (35), podemos escrever o potencial efetivo a temperatura finita, na aproximação de campo médio (N → ∞) , para o modelo de NJL: Z N 2 2N X dd p Vef f (σ, β) = σ + N ασ − ln σ 2 + p2 + ωn2 . d 2λ β n (2π) (116) A equação de gap no formalismo de temperatura finita, de acordo com a equação (235), 36 é expressada por: ∂Vef f (σ, β) =0, ∂σ σ=σ0 (117) que fornece o valor esperado no vácuo do campo σ como função da temperatura. No caso em que o potencial químico µ também é finito, o potencial efetivo ganha uma dependência em µ e a equação de gap fornece o valor esperado no vácuo do campo σ em termos de µ e T . 2.2 O modelo de Gross-Neveu em 2+1 dimensões O modelo que efetivamente estudaremos neste trabalho é conhecido como o modelo de Gross-Neveu (GN), originalmente proposto em 1974 (GROSS; NEVEU, 1974), e, na pŕatica, é uma particularização do modelo de NJL, dado por (85), quando consideramos dimensões menores que 3+1. Em nosso caso, trabalharemos com o modelo mais simplificado, ou seja, sem o termo ψ̄γ5 ψ: L = ψ̄(iγ µ ∂µ − M )ψ + λ (ψ̄ψ)2 . 2N (118) Em princípio, o modelo de GN foi desenvolvido como uma TQC fermiônica em 1+1 dimensões, admitindo a expansão 1/N . Além de permitir o estudo das interações fermiônicas, o modelo apresenta características interessantes relacionadas à QCD como liberdade assintótica, quebra de simetria quiral e transmutação dimensional (STAUDT, 2007; MODUGNO, 1998). A teoria também é renormalizável (ROSENSTEIN; WARR; PARK, 1991) nas dimensões 1+1 e 2+1 (na expansão 1/N ). Vamos considerar daqui em diante a teoria em 2+1 dimensões (d = 2 e D = 3). Estamos particularmente interessados no fato de que a transformação ψ → γ5 ψ , ψ̄ → −ψ̄γ5 (119) denominada transformação quiral e discreta, como visto anteriormente, seja uma simetria da densidade de lagrangiana (118). Para começar, devemos dizer explicitamente qual a álgebra adequada para o caso (2+1)-dimensional da teoria. Naturalmente, escolheríamos a representação fundamental das matrizes de Dirac, que seriam matrizes 2 × 2; no entanto, não existe qualquer matriz que anti-comute com as demais nesta representação. Por isso, escolhemos uma representação 4 × 4 para as matrizes de Dirac, com a intenção de implementar a transformação (119). A representação que utilizaremos é (APPELQUIST et al., 1986) γ0 = τ3 0 0 −τ 3 ! , γ1 = i τ1 0 0 −τ 1 ! , γ2 = i τ2 0 0 −τ 2 ! . (120) 37 As matrizes que anti-comutam com as γ µ são γ3 = i 0 1 1 0 ! , γ5 = i 0 1 −1 0 ! . (121) Quando aplicamos a transformação (119) na densidade de Lagrangiana (118), obtemos L0 = ψ̄(iγ µ ∂µ + M )ψ + λ (ψ̄ψ)2 6= L , 2N (122) que mostra que o termo de massa não permite a invariância da densidade de Lagrangiana frente à transformação quiral e discreta. Como estamos interessados no caso em que há simetria, trabalharemos numa teoria na qual a densidade de Lagrangiana de GN descreva férmions sem massa, de modo que (118) seja escrita como L = ψ̄iγ µ ∂µ ψ + λ (ψ̄ψ)2 . 2N (123) Portanto, a teoria possui invariância quiral inicialmente porém, devido às correções quânticas, esta simetria quiral pode ser quebrada. Equivalentemente, fazendo uma transformação de Hubbard-Stratonovich, como aquela dada por (97) sem o campo φπ e com φσ ≡ φ e a = (1, 0), temos a densidade de Lagrangiana L = ψ̄(iγ µ ∂µ + φ)ψ − N 2 φ , 2λ (124) com σ = (λ/N )ψ̄ψ. E agora, a densidade de Lagrangiana é invariante frente às transformações ψ → γ5 ψ , ψ̄ → −ψ̄γ5 , φ → −φ. (125) O cálculo do potencial efetivo pode ser feito de maneira análoga ao calculado na seção anterior, sendo que, se preferirmos, podemos aproveitar a equação (116) e fazer α = M/λ = 0 e d = 2, de modo a obtermos a expressão para o potencial efetivo a temperatura finita no modelo de GN em 2+1 dimensões: Z N 2 2N X d2 p Vef f (σ, β) = ln σ 2 + p2 + ωn2 , (126) σ − 2 2λ β n (2π) onde φ̄ = cte ≡ σ. No caso em que o potencial químico µ é diferente de zero, utilizando a regra (53), podemos facilmente perceber que inserir o potencial químico em (126) implica em fazer uma mudança no momento p0 do tipo p0 → p0 + µ ou, no caso de temperatura finita, iωn → iωn + µ. 38 Portanto, o potencial efetivo levando em conta também o potencial químico é Z 2 N 2 2N X d2 p 2 2 Vef f (σ, β, µ) = σ − . ln σ + p − (iω + µ) n 2λ β n (2π)2 (127) Para encontrarmos a forma explícita do potencial efetivo acima, precisamos realizar a soma sobre as frequências de Matsubara fermiônicas (ωn = (2n + 1)π/β) e integrar nos momentos. Para resolver a soma, podemos utilizar tanto o método de integração de contorno, visto na Seção 1.5, quanto o método empregado em Staudt (2007), e integrar nos momentos utilizando as técnicas usuais de TQC26 . Feito isso, podemos encontrar a forma explícita para o potencial efetivo na aproximação de N → ∞ do modelo de GN em 2+1 dimensões: N π N 3 Λ Vef f,R (σ, T, µ) = σ2 + −√ |σ| + π λ 3π π o |σ|+|µ| N T 2 n − |σ|−|µ| + Li2 −e− T + |σ| Li2 −e T + π o |σ|+|µ| N T 3 n − |σ|−|µ| + Li3 −e T + Li3 −e− T , π (128) onde Λ → ∞ é o cut-off utilizado para regularizar um termo divergente que aparece na parte do potencial efetivo na qual T = µ = 0, e β = 1/T . A função Liν (x) é denominada função polilogarítmica (ABRAMOWITZ; STEIGEN, 1972) e é definida por Liν (x) = ∞ X xk k=1 kν . (129) Se utilizarmos a condição de renormalização 1 1 d2 Vef f (σ, 0, 0) , = λR N dσ 2 σ=σ0 (130) podemos escrever o potencial efetivo renormalizado N 2 N 3 σ + |σ| + 2λR 3π o |σ|+|µ| N T 2 n − |σ|−|µ| − T T + |σ| Li2 −e + Li2 −e + π o |σ|+|µ| N T 3 n − |σ|−|µ| + Li3 −e T + Li3 −e− T , π Vef f,R (σ, T, µ) = − (131) onde a constante λR é a constante de acoplamento renormalizada e σ0 em (130) é o mínimo 26 Os cálculos em maiores detalhes não serão apresentados neste ponto pelo fato de que, mais adiante, cálculos para um modelo mais geral serão feitos e estes podem ser particularizados para o presente caso. 39 não-trivial do potencial efetivo Vef f,R (σ, 0, 0), obtido pela sua equação de gap. Podemos, agora, apresentar alguns resultados interessantes em diferentes casos no que diz respeito a temperatura e potencial químico. A análise a seguir foi baseada principalmente em Staudt (2007). 2.2.1 Caso 1: T = µ = 0 Facilmente podemos ver de (131) que, no limite T = µ → 0 temos: Vef f,R (σ, 0, 0) = − N 2 N 3 σ + |σ| . 2λR 3π (132) O potencial clássico (nível árvore) é identificado como a primeira parcela do lado direito e a outra parcela vem da contribuição quântica obtida pela expansão 1/N . Como podemos ver na Figura 3, o potencial (132) só apresenta quebra de simetria (o potencial tem um mínimo em um σ não trivial) quando λR > 0. Além disso, podemos perceber que é o termo quântico que produz a possibilidade de quebra de simetria e que é suficiente analisarmos o caso σ > 0, uma vez que o potencial é simétrico em relação ao eixo vertical. Figura 3 - Potencial efetivo Vef f,R (para T = µ = 0) para os casos λR < 0 e λR > 0. Legenda: Potencial efetivo Vef f,R (para T = µ = 0) em unidades de N σ03 /π, com σ em unidades de σ0 , onde σ0 = π/λR . O gráfico de linha tracejada está associado ao caso λR < 0 enquanto o de linha cheia está associado ao caso λR > 0. O valor não-trivial do campo σ0 que minimiza o potencial efetivo é obtido utilizando a 40 equação de gap (fazendo λR > 0): dVef f,R (σ, 0, 0) = 0 dσ σ=σ0 N N − σ0 + σ02 = 0 λR π π σ0 = . λR (133) Com isso, podemos reescrever a densidade de Lagrangiana (124) em termos de σ = σ 0 − σ0 : 1 N 02 N 0 σ + σ σ0 + 2λ λ 1 N + σ 0 ψ̄ψ − σ0 ψ̄ψ − σ2 , 2λ 0 L0 = ψ̄iγ µ ∂µ ψ − (134) e, com a densidade de Lagrangiana desta forma, é fácil ver a quebra dinâmica de simetria quiral discreta, pois agora os férmions ganharam um termo de massa. 2.2.2 Caso 2: T 6= 0 e µ = 0 O caso µ = 0 também é facilmente obtido de (131) e é representado por |σ| N 3 2N T 2 N σ0 σ 2 + |σ| + |σ|Li2 −e− T + 2π 3π π 3 |σ| 2N T + Li3 −e− T , π Vef f,R (σ, T, 0) = − (135) onde substituímos λR = π/σ0 . Quando utilizamos a equação de gap para (135), encontramos dVef f,R (σ, T, 0) = 0 dσ σ=σ̄ h i |σ̄| |σ̄| = σ0 − 2T ln 1 + e− T (136) Claramente, no limite T → 0, resgatamos o valor esperado no vácuo σ0 do caso anterior. A temperatura pode influenciar na simetria quebrada de certos sistemas físicos, restaurandoa, quando atinge determinado valor crítico Tc . Como existe um valor esperado no vácuo do campo σ diferente de zero (σ̄), temos um termo de massa dinâmica fermiônica na densidade de Lagrangiana associada a ele, como vimos anteriormente. No presente caso, este termo depende da temperatura e, quando σ̄(T = Tc ) = 0, temos a simetria restaurada, e Tc é o valor a partir do qual o sistema está na fase simétrica, considerando um aumento de temperatura. Em outras palavras, quando T ≥ Tc , temos a simetria restaurada, e quando T < Tc , temos a simetria 41 quebrada. Portanto, fazendo σ̄ = 0 em (136), encontramos Tc = σ0 . 2 ln 2 (137) A Figura 4 nos mostra os esboços do potencial efetivo para diferentes temperaturas, onde podemos ver claramente a restauração da simetria quiral. Já a Figura 5 nos mostra σ̄ × T ; interessante notarmos que, como foi mencionado anteriormente, σ̄(T ) se comporta como um parâmetro de ordem e, neste caso, ele varia continuamente até seu valor σ̄ = 0, caracterizando uma transição de fase de segunda ordem (CHAIKIN; LUBENSKY, 1995). Figura 4 - Potencial efetivo Vef f,R (para µ = 0) para T < Tc , T = Tc e T > Tc . Legenda: Potencial efetivo Vef f,R (para µ = 0) em unidades de N σ03 /π, com σ e T em unidades de σ0 . O gráfico de linha tracejada está associado ao caso T < Tc (simetria quebrada), o de linha pontilhada está associado ao caso T = Tc (simetria restaurada) e o de linha cheia está associado ao caso T > Tc (simetria restaurada). 2.2.3 Caso 3: T = 0 e µ 6= 0 Este caso exige um pouco mais de cuidado, sendo necessário tomarmos o limite quando T → 0, uma vez que as exponenciais nos polilogarítmos em (131) podem divergir dependendo da relação entre |σ̄| e |µ|. Tendo isso em mente e utilizando a conhecida expansão do logarítmo ln 1 + e ||σ̄|−|µ|| T = ∞ X k=1 k (−1) e ||σ̄|−|µ|| T k k , (138) 42 Figura 5 - Parâmetro de ordem σ̄ (para µ = 0) em função da temperatura T . Legenda: Parâmetro de ordem σ̄ (para µ = 0) em função da temperatura T , todos em unidades de σ0 . Sua variação é contínua até σ̄ = 0, caracterizando uma transição de fase de segunda ordem. A temperatura crítica é Tc ≈ 0, 721σ0 . obtemos o potencial efetivo desejado: N N 3 N |σ| σ0 σ 2 + |σ| − (|µ| − |σ|)2 Θ (|µ| − |σ|) + 2π 3π 2π N (|µ| − |σ|)3 Θ (|µ| − |σ|) , − 6π Vef f,R (σ, 0, µ) = − (139) onde Θ(x) é a função de Heaviside. A Figura 6 mostra o potencial efetivo para alguns valores de µ. Podemos notar que existe uma curva (a curva tracejada) com um certo valor de µ = µc a partir do qual o potencial efetivo restaura a simetria quiral (σ = 0 minimiza o potencial) de modo que, quando µ < µc , a simetria é a quebrada e quando µ ≥ µc , a simetria é a restaurada. Portanto, concluímos que uma variação no potencial químico também pode provocar a restauração de uma simetria. Para encontrarmos o potencial químico crítico µc , devemos escrever a seguinte relação: Vef f,R (0, 0, µc ) = Vef f,R (σ̄, 0, 0). (140) Então, a partir de (139), obtemos Vef f,R (0, 0, µc ) = − N |µc |3 , 6π (141) 43 Figura 6 - Potencial efetivo Vef f,R (para T = 0) para µ < µc , µ = µc e µ > µc . Legenda: Potencial efetivo Vef f,R (para T = 0) em unidades de N σ03 /π, com σ e µ em unidades de σ0 . O gráfico de linha cheia está associado ao caso µ < µc (simetria quebrada), o de linha tracejada está associado ao caso µ = µc (simetria restaurada) e o de linha pontilhada está associado ao caso µ > µc (simetria restaurada). e, substituindo (133) em (132) (com λR = π/σ0 ), encontramos Vef f,R (σ̄, 0, 0) = − N σ03 . 6π (142) Logo, o potencial químico crítico é µc = σ 0 . (143) O interessante deste caso é a ocorrência de uma transição de fase de primeira ordem, caracterizada por uma descontinuidade na curva σ̄ × µ, como mostrado na Figura 7. A equação de gap para este potencial efetivo nos fornece |σ̄| − σ0 + (|µ| − |σ̄|)Θ(|µ| − |σ̄|) = 0 , que gera a Figura 7. (144) 44 Figura 7 - Parâmetro de ordem σ̄ (para T = 0) em função do potencial químico µ.. Legenda: Parâmetro de ordem σ̄ (para T = 0) em função do potencial químico µ, todos em unidades de σ0 . A descontinuidade na curva caracteriza uma transição de fase de primeira ordem. O potencial químico crítico é µc = σ0 . 2.2.4 Caso 4: T 6= 0 e µ 6= 0 Neste caso, o potencial efetivo é aquele dado por (131): N N 3 σ0 σ 2 + |σ| + 2π 3π o |σ|+|µ| N T 2 n − |σ|−|µ| − T T + |σ| Li2 −e + Li2 −e + π o |σ|+|µ| N T 3 n − |σ|−|µ| Li3 −e T + Li3 −e− T . + π Vef f,R (σ, T, µ) = − (145) A equação de gap para este potencial nos fornece h i |σ̄|−|µ| |σ̄|+|µ| |σ̄| = σ0 − T ln 1 + e− T + ln 1 + e− T , (146) onde foram utilizados a equação (138) e a relação ∞ X dLiν (x(t)) 1 d xk (t) = x(t) . ν−1 dt x(t) dt k k=1 (147) Quando consideramos o valor esperado no vácuo σ̄ igual a zero em (146), podemos encontrar a linha de transição de fase T × µ. Logo, σ0 = T ln [2 + 2cosh(µ/T)] . (148) 45 As Figuras 8 e 9 nos mostram o comportamento do parâmetro de ordem σ̄ com a variação de µ e T , respectivamente. É interessante notar que σ̄ em função de µ varia continuamente, desde que a temperatura não seja zero. Ou seja, em todos os casos, há sempre uma transição de fase de segunda ordem, salvo o caso T 6= 0. A Figura 10 é denominada diagrama de fase, e consiste na curva T × µ gerada pela equação (148). O diagrama nos dá uma clara ideia das transições de fase (primeira ou segunda ordem) que ocorrem no sistema em estudo. No caso da Figura 10, temos uma linha de transição de fase de segunda ordem e um ponto que representa a transição de fase de primeira ordem (T = 0). Além disto, o ponto que representa a transição de fase de primeira ordem está sobre a linha de transição de fase de segunda ordem: isto significa que tal ponto é um ponto tricrítico (CHAIKIN; LUBENSKY, 1995). Para finalizar, a Figura 10 ainda nos mostra as regiões nas quais a simetria quiral é quebrada ou restaurada através dos pequenos gráficos Vef f,R × σ. Figura 8 - Parâmetro de ordem σ̄ em função do potencial químico µ para T = 0, 2σ0 , T = 0, 5σ0 e T = 0, 7σ0 . Legenda: Parâmetro de ordem σ̄ em função do potencial químico µ (em unidades de σ0 ) para T = 0, 2σ0 (curva cheia), T = 0, 5σ0 (curva tracejada) e T = 0, 7σ0 (curva pontilhada). Notamos que para T 6= 0, não existe descontinuidade no parâmetro de ordem e, com o aumento da temperatura, menor é o potencial químico necessário para a restauração da simetria. O resultado encontrado na Figura 10 pode ser aplicado, por exemplo, em QCD ou matéria condensada (STAUDT, 2007): • Em QCD, a fase hadrônica corresponderia ao caso de pequenos valores de (T, µ), enquanto a fase de plasma de quark-glúon estaria associada ao caso de grandes valores de (T, µ); • Em matéria condensada, o caso de pequenos valores de (T, µ) estaria associado à fase su- 46 Figura 9 - Parâmetro de ordem σ̄ em função da temperatura T para µ = 0, 1σ0 , µ = 0, 7σ0 e µ = 0, 9σ0 . Legenda: Parâmetro de ordem σ̄ em função da temperatura T (em unidades de σ0 ) para µ = 0, 1σ0 (curva cheia), µ = 0, 7σ0 (curva tracejada) e µ = 0, 9σ0 (curva pontilhada). Notamos que, com o aumento do potencial químico, menor é a temperatura necessária para a restauração da simetria. percondutora, enquanto o caso de grandes valores de (T, µ) corresponderia à fase normal de certo material. 2.3 Aplicação de campos magnéticos (separadamente) ao modelo de Gross-Neveu em 2+1 dimensões Na última seção, estudamos brevemente algumas características do modelo de GrossNeveu em 2+1 dimensões. O objetivo desta seção é iniciar o estudo de tal modelo considerando os campos fermiônicos interagindo com campos magnéticos constantes, um na direção paralela ao plano espacial bidimensional, que representaremos por Bk , e outro na direção perpendicular ao plano, que representaremos por B⊥ . Existem alguns trabalhos onde o estudo de modelos de GN em 2+1 dimensões, ou sistema planar de férmions, na presença de campo magnético foi realizado, como por exemplo em Caldas e Ramos (2009); Gusynin, Miransky e Shovkovy (1995); Gusynin, Miransky e Shovkovy (1994); e Vshivtsev, Klimenko e Magnitsky (1996). No entanto, tais trabalhos apresentam um estudo do modelo com a presença ou do campo magnético paralelo (CALDAS; RAMOS, 2009) ou do campo perpendicular (GUSYNIN; MIRANSKY; SHOVKOVY, 1995; GUSYNIN; MIRANSKY; SHOVKOVY, 1994; VSHIVTSEV; KLIMENKO; MAGNITSKY, 1996) ao plano de interação entre férmions. A ideia do presente trabalho é simplesmente fazer 47 Figura 10 - Diagrama de fase T × µ. Legenda: Diagrama de fase T × µ. A linha cheia representa a linha de transição de fase de segunda ordem. O ponto negro indica o ponto tricrítico. Todas as quantidades em unidades de σ0 . A área dentro da curva contém os pontos (T, µ) associados à quebra da simetria quiral; a área fora representa os pontos no plano T × µ associados à simetria quiral restaurada. Os pequenos gráficos representam as formas do potencial efetivo Vef f,R × σ. um estudo do modelo na presença simultânea dos campos Bk e B⊥ , que será feito no próximo capítulo. Vamos começar por considerar somente a aplicação do campo magnético paralelo Bk ao sistema planar de férmions. Da mecânica quântica, é sabido que um férmion possui duas componentes para o seu momento angular total: uma componente associada ao seu spin e outra associada ao seu movimento orbital. Um campo magnético aplicado paralelamente ao sistema planar acopla-se apenas com o spin dos férmions. O resultado desta interação é o bem conhecido efeito Zeeman, que polariza o sistema, ou seja, gera um desbalanço entre as densidades de spin-up e spin-down que, com Bk → 0, tendem a se igualar. A Hamiltoniana de Dirac (PESKIN; SCHROEDER, 1995) para um férmion27 , nesse caso, ganha uma contribuição devido ao acoplamento entre spin e campo magnético Bk (CALDAS; RAMOS, 2009): hD = γ 0~γ · p + γ 0 m − γ 0 σs gL µB Bk , 2 (149) onde σs pode ser σ↑ = 1 ou σ↓ = −1, gL é o fator de Lande e µB é o magneton de Bohr. Além 27 Definimos livre de R d † a0Hamiltoniana R Dirac para um férmion hD,0 através da relação H0 = d xψ γ ~γ · p + γ 0 m ψ ≡ dd xψ † hD,0 ψ. R dd xψ̄(~γ · p + m)ψ = 48 disso, para o nosso modelo de GN, devemos desprezar o termo de massa m na expressão acima. Toda a discussão do parágrafo anterior se traduz, em termos de densidade de Lagrangiana do modelo de GN em 2+1 dimensões, em assumir o seguinte modelo: L= λ X ¯s s 2 X ¯s 0 σs ( ψ ψ ) + ψ γ gL µB Bk ψ s , ψ¯s iγ µ ∂µ ψ s + 2N 2 s=↑,↓ s=↑,↓ s=↑,↓ X (150) onde a soma em s indica a degenerescência dos férmions (spin-up ou “↑” e spin-down ou “↓”). Daqui em diante, assumiremos Bk ≥ 0. A partir da relação (53), podemos inserir o potencial químico na equação anterior fazendo i∂t → i∂t + µ: λ X ¯s s 2 X ¯s 0 σs ( gL µB Bk ψ s ψ ψ ) + ψ¯s iγ µ ∂µ + γ 0 µ ψ s + ψ γ 2N 2 s=↑,↓ s=↑,↓ s=↑,↓ h i X σs λ X ¯s s 2 ψ¯s iγ µ ∂µ + γ 0 µ + gL µB Bk ψ s + = ( ψ ψ ) 2 2N s=↑,↓ s=↑,↓ X X µ λ ψ¯s ψ s )2 , (151) ψ¯s iγ ∂µ + γ 0 µs ψ s + ( = 2N s=↑,↓ s=↑,↓ Lµ = X onde definimos µs ≡ µ + σs gL µB Bk , 2 (152) e, portanto, X ψ¯s γ 0 µs ψ s = µ↑ ψ ↑† ψ ↑ + µ↓ ψ ↓† ψ ↓ . (153) s=↑,↓ As definições µ↑ ≡ µ + δµ e µ↓ ≡ µ − δµ, com δµ ≡ gL µB Bk /2, nos mostram que podemos interpretar µ↑,↓ como “potenciais químicos efetivos” onde, em matéria condensada por exemplo, µ pode ser interpretado como uma densidade extra de elétrons fornecida ao sistema através de dopantes (CALDAS; RAMOS, 2009), enquanto δµ mede a quantidade de assimetria introduzida devido a um campo magnético paralelo e externo Bk . Inserindo o tradicional campo escalar φ, podemos obter uma densidade de Lagrangiana equivalente à (151): Lµ = N ψ¯s iγ µ ∂µ + γ 0 µs + φ ψ s − φ2 2λ s=↑,↓ X (154) e, seguindo os passos realizados na Seção 2.1, encontramos, no formalismo de tempo imaginá- 49 rio, Z 2 N 2 N XX d2 p 2 2 Vef f (σ, β, µ) = σ − ln σ + p − (iω + µ ) . n s 2λ β s n (2π)2 (155) Se executarmos cálculos idênticos aqueles realizados para encontrar (131) e (145), o resultado é um potencial efetivo (CALDAS; RAMOS, 2009) a temperatura e potencial químico finitos para Bk 6= 0 (no limite N → ∞): N 3 N σ0 σ 2 + |σ| + 2π 3π |σ|−|µ↑ | |σ|+|µ↑ | NT 2 − − T T + |σ| Li2 −e + Li2 −e + 2π |σ|−|µ↑ | |σ|+|µ↑ | NT 3 − − T T + Li3 −e + Li3 −e + 2π + (µ↑ → µ↓ ) , Vef f,R (σ, T, µ↑,↓ ) = − (156) onde (µ↑ → µ↓ ) significa “termos com µ↓ no lugar de µ↑ ”. Podemos observar que o único efeito da presença de Bk no potencial efetivo é “quebrar” os termos dependentes do potencial químico µ em duas partes com a mesma estrutura (cada uma com um “peso” 1/2), uma dependente de µ↑ e outra de µ↓ . Agora, vamos inserir o campo magnético perpendicular ao sistema planar, B⊥ . Para isto, devemos modificar a densidade de Lagrangiana dada em (123) utilizando o acoplamento mínimo, que significa fazer a transformação ∂µ → Dµ = ∂µ + ieAµ , (157) onde e representa a carga elétrica do férmion e Aµ é o potencial vetor, com µ = 0, 1, 2. Portanto, a densidade de Lagrangiana toma a forma L = ψ̄iγ µ Dµ ψ + λ (ψ̄ψ)2 . 2N (158) O fato de aplicarmos um campo magnético perpendicular B⊥ a um sistema planar de férmions gera os conhecidos níveis de energia de Landau (DAS, 1997; MAK, 1994; BHATTACHARYA, 2007) (ou simplesmente níveis de Landau), pois B⊥ acopla-se com o movimento orbital dos férmions. No Apêndice C se encontra o cálculo explícito dos níveis de Landau para a densidade de Lagrangiana de Dirac. O desenvolvimento a seguir é baseado em Vshivtsev, Klimenko e Magnitsky (1996). De acordo com (110), o funcional gerador W , na aproximação N → ∞, para a teoria 50 em (158) é dado por Z W (σ, B⊥ ) = − d3 x N 2 σ − iN Tr ln (iγ µ Dµ + σ) , 2λ (159) e, através da equação (236), podemos escrever o potencial efetivo como Vef f (σ, B⊥ ) = N 2 iN σ + R 3 Tr ln (iγ µ Dµ + σ) . 2λ dx (160) Vamos primeiramente calcular o potencial efetivo a temperatura e potencial químico zero. Como o potencial efetivo é simétrico frente à transformação σ → −σ, vamos considerar somente o caso σ ≥ 0. Se escolhermos um gauge do tipo A = (0, 0, B⊥ x) , (161) e sabendo que podemos escrever a função de Green do operador G−1 (σ) ≡ iγ µ Dµ + σ como 0 0 0 0 Gαβ (x, y, t; x , y , t ) = −iΘ(t − t ) XZ + + dp ψinpα (x, y, t)ψ̄inpβ (x0 , y 0 , t0 ) + i,n + iΘ(t0 − t) XZ − − dp ψinpα (x, y, t)ψ̄inpβ (x0 , y 0 , t0 ) , (162) i,n onde i = 1, 2, n = 0, 1, 2, . . . e α e β representam o número da linha e coluna da matriz 4 × 4. ± As funções ψinp são as soluções ortonormalizadas correspondentes às frequências positivas e negativas da equação de Dirac G−1 (σ)ψ = 0 (ver Apêndice C): q En ∓σ I (x) 4πEn n,p q En ±σ I (x) ± ∓iEn t+ipy ± 4πEn n−1,p ψ1np (x, y, t) = e 0 0 ± ∓iEn t+ipy ψ2np (x, y, t) = e 0 0 ± q En ±σ I (x) 4πEn n,p q En ∓σ I (x) 4πEn n−1,p . (163) Além disso, definimos 1 ξ2 eB 4 In,p (x) = p ⊥√ e− 2 Hn (ξ) , 2n n! π (164) 51 √ com Hn (ξ) sendo os polinômios de Hermite, I−1,p (x) ≡ 0, ξ ≡ eB⊥ [x − p/(eB⊥ )] e En = √ σ 2 + 2eB⊥ n, com eB⊥ > 0, são os níveis de Landau. Uma propriedade interessante da função In,p (x) é Z dx 2 In,p (x) 1 = eB⊥ Z 2 dp In,p (x) = 1. (165) Derivando o potencial efetivo (160) em relação a σ, obtemos d N iN Vef f (σ, B⊥ ) = σ + R 3 Tr G(σ). dσ λ dx (166) Utilizando a relação ∓Θ(±t)e ∓iEn t dω f (±ω)e−iωt , 2πi ω ∓ (En − i) Z f (En ) = (167) com → 0. Quando substituímos a expressão obtida para a função de Green dada por (162) e a expressão anterior em (166), obtemos N iN d Vef f (σ, B⊥ ) = σ − 2 R 3 dσ λ 4π d x Z Z 3 2 ∞ 2 X (x) (x) + In,p 2σ In−1,p dp . (168) ω 2 − En2 + i n=0 Z dx dω Com a ajuda da propriedade (165), podemos resolver a integração no momento p e encontrar ∞ Z d N iN eB⊥ X 2σsn Vef f (σ, B⊥ ) = σ − dω 2 , 2 dσ λ 4π ω − En2 + i n=0 (169) onde sn = 2 − δ0n . Passando para a métrica Euclideana em (169), ou seja, ω → iω, e utilizando a relação 2 (ω + En2 )−1 Z ∞ = dαe−α(ω 2 +E 2 ) n , (170) 0 podemos integrar em ω, fazer o somatório em n e obter Z d N N eB⊥ Vef f (σ, B⊥ ) = σ − σ 3 dσ λ 2π 2 ∞ dα α 0 1 2 2 e−ασ coth(eB⊥ α). (171) Agora, basta integrarmos sobre σ os dois lados da equação anterior e, a menos de constantes independentes de σ, obtemos (GUSYNIN; MIRANSKY; SHOVKOVY, 1995) N 2 N eB⊥ Vef f (σ, B⊥ ) = σ + 3 2λ 4π 2 Z 0 ∞ dα α 3 2 2 e−ασ coth(eB⊥ α). (172) A equação acima é divergente no limite inferior e, por isso, vamos estabelecer um cut-off 52 Λ → ∞ da seguinte forma: N 2 N eB⊥ σ + Vef f (σ, B⊥ ) = 3 2λ 4π 2 Z ∞ 1/Λ2 dα α 3 2 2 e−ασ coth(eB⊥ α). (173) Para resolvermos a integral acima, devemos notar a relação da mesma com a função zeta de Riemman generalizada (GRADSHTEYN; RYZHIK, 2007; AGUILERA-NAVARRO et al., 1999) (ou função de Hurwitz). O cálculo desta relação pode ser encontrado no Apêndice D. Portanto, o potencial efetivo a temperatura e potencial químico zero, para o modelo de GN em 2+1 dimensões na presença de B⊥ = |B⊥ | é, explicitamente, N π Λ σ2+ Vef f (σ, B⊥ ) = − √ π 2λ 2 π √ 3 σ2 |eB⊥ |σ 1 2 − +1 − , 2|eB⊥ | ζ − , 2 2|eB⊥ | 2 (174) e ∞ α X 1 ν , ζ ν, = 2 n + α2 n=0 ν > 1. (175) A generalização da função zeta para ν = −1/2 é feita por continuação analítica. A renormalização do potencial efetivo não foi executada propositalmente e será realizada no próximo capítulo. O potencial efetivo a temperatura e potencial químico finitos é obtido a partir da equação (169), fazendo a tradicional extensão para o formalismo de tempo imaginário Z ∞ i X dω f (ω) → f (iωm + µ) ; 2π β m=−∞ ωm = π (2m + 1). β (176) Portanto: ∞ ∞ d 2σsn N N |eB⊥ | X X Vef f (σ, B⊥ ) = σ + . dσ λ 2πβ n=0 m=−∞ (iωm + µ)2 − En2 + i (177) Realizando a soma sobre as frequências de Matsubara com o método da integração de contorno ou como feito em Jackiw (1974), temos ∞ d σ |eB⊥ | X sn 1 1 Vef f (σ, B⊥ ) = − σ + . dσ λ 2π En 1 + e−β(En +µ) 1 + e−β(En −µ) n=0 (178) Daqui em diante, vamos representar eB⊥ > 0 por |eB⊥ |. Por fim, devemos integrar em σ a equação acima para obtermos explicitamente o potencial efetivo a temperatura e potencial 53 químico finitos para o modelo de GN em 2+1 dimensões na presença de B⊥ : Vef f (σ, β, µ, B⊥ ) = Vef f (σ, B⊥ ) − + 2 + 2 ∞ X k=1 ∞ X N |eB⊥ | 2πβ √ 2 h ln 1 + e−β( ( ln 1 + e−β(σ+µ) + σ +2k|eB⊥ |+µ) i + ln 1 + e−β(σ−µ) + ) h i √ 2 ln 1 + e−β( σ +2k|eB⊥ |−µ) , k=1 onde relembramos que sn = 2 − δ0n e En = p σ 2 + 2n|eB⊥ |. (179) 54 3 ESTUDO DO SISTEMA PLANAR FERMIÔNICO NA PRESENÇA DE CAMPO MAGNÉTICO OBLÍQUO Apresentamos aqui o caso para o qual o modelo de GN em 2+1 dimensões está submetido a um campo magnético oblíquo (com componentes B⊥ e Bk ) e deduzimos a equação para o potencial efetivo na aproximação de N → ∞. Obtemos alguns resultados interessantes, principalmente no que diz respeito às estruturas dos diagramas de fase e sua evolução com a variação das componentes do campo. 3.1 Densidade de Lagrangiana e o potencial efetivo a 1 loop A densidade de Lagrangiana que descreve um sistema planar de férmions submetidos, simultaneamente, a um campo perpendicular B⊥ e outro Bk paralelo tem a forma28 , baseando-se em (150) e (158), L= λ X ¯s s 2 X ¯s 0 σs ψ γ ψ ψ ) + ( gL µB Bk ψ s , ψ¯s iγ µ Dµ ψ s + 2N 2 s=↑,↓ s=↑,↓ s=↑,↓ X (180) ou, após inserirmos µ e um campo escalar φ, Lµ = N ψ¯s iγ µ Dµ + γ 0 µs + φ ψ s − φ2 , 2λ s=↑,↓ X (181) onde µ↑ ≡ µ + δµ , µ↓ ≡ µ − δµ , δµ ≡ gL µB Bk ≥ 0. 2 (182) Sabemos qual o efeito que o campo magnético paralelo tem sobre o potencial efetivo: ele simplesmente “quebra” os termos dependentes do potencial químico µ em duas parcelas com a mesma estrutura (cada uma com um “peso” 1/2), uma dependente de µ↑ e outra dependente de µ↓ . Portanto, podemos refazer todos os cálculos do potencial efetivo na aproximação N → ∞ e numa configuração de campo constante φ = σ para esta nova densidade de Lagrangiana, ou simplesmente aproveitar o potencial efetivo para o caso B⊥ 6= 0 (e Bk = 0), dado por (179), e 28 Na verdade, rigorosamente falando, o termo q de Zeeman no modelo descrito pela equação (180) deve conter o 2 + B 2 ; no entanto, foi mostrado (PYATKOVSKIY; GUSYNIN, módulo do campo magnético total B = B⊥ k 2011) que na prática, em modelos desse tipo, o termo de Zeeman só produz efeito significativo quando B⊥ Bk , o que leva a B ≈ Bk . 55 escrever (é suficiente considerar o caso σ > 0): ( N |eB | ⊥ β,µ Vef ln 1 + e−β(σ+µ↑ ) + f (σ, B⊥ , δµ) = Vef f (σ, B⊥ ) − 4πβ ∞ i √ 2 X h + 2 ln 1 + e−β( σ +2k|eB⊥ |+µ↑ ) + ln 1 + e−β(σ−µ↑ ) + k=1 + 2 ∞ X h √ ln 1 + e−β( σ 2 +2k|eB ⊥ |−µ↑ ) i ) + (µ↑ → |µ↓ |) , (183) k=1 onde Vef f (σ, B⊥ ) é o potencial efetivo a temperatura (e potencial químico) zero: N π Λ Vef f (σ, B⊥ ) = − √ σ2+ π 2λ 2 π √ 3 1 σ2 |eB⊥ |σ − +1 − 2|eB⊥ | 2 ζ − , . 2 2|eB⊥ | 2 (184) Como foi feito em (183), daqui por diante, devido à relação linear entre a assimetria δµ e o campo paralelo, escreveremos δµ nas equações ao invés de Bk . O potencial efetivo Vef f (σ, B⊥ ) acima ainda possui dependência explícita no cut-off introduzido anteriormente, Λ → ∞. É interessante notar que somente o termo associado a temperatura (e potencial químico) zero, com δµ = B⊥ = 0, contém o termo divergente no β,µ potencial efetivo (183). Portanto, para renormalizar Vef f (σ, B⊥ , δµ), precisamos renormalizar somente Vef f (σ), através da condição d2 N = 2 Vef f (σ) . λR dσ σ=σ0 (185) Acima, σ0 é um ponto de renormalização que escolhemos ser o valor de σ que minimiza o potencial efetivo quando T = µ = B⊥ = δµ = 0. Esperamos que esta renormalização seja exatamente aquela feita na Seção 2.2, para o modelo livre de campos magnéticos. De fato esperamos que, fazendo o limite quando B⊥ → 0 no potencial efetivo dado por (184), seja resgatada a forma do potencial efetivo renormalizado dado por (132). Somente para fins didáticos, vamos calcular tal limite, utilizando algumas propriedades (GUSYNIN; MIRANSKY; SHOVKOVY, 1995) da função zeta de Riemman generalizada. Primeiramente, vamos reescrever (184) para a forma N π Λ σ2+ Vef f (σ, B⊥ ) = − √ π 2λ 2 π √ 3 1 σ2 |eB⊥ |σ − 2|eB⊥ | 2 ζ − , + , (186) 2 2|eB⊥ | 2 56 onde utilizamos a relação (Apêndice D) σ2 1 +1 ζ − , 2 2|eB⊥ | − 1 1 σ2 2|eB⊥ | 2 =ζ − , − . 2 2|eB⊥ | σ2 (187) O limite B⊥ → 0 em (186) deve ser feito com muito cuidado, uma vez que a função zeta terá um infinito em seu argumento. Para isto, podemos utilizar a fórmula assintótica (GUSYNIN; MIRANSKY; SHOVKOVY, 1995) da função zeta de Riemman generalizada, dada por 1 z−1 ζ (z, q → ∞) = 1+ + ··· , (z − 1)q z−1 2q (188) onde, comparando com (186), notamos que z = −1/2 e q = σ 2 /(2|eB⊥ |). Portanto, para nosso caso, temos: lim ζ z, B⊥ →0 σ2 2|eB⊥ | σ3 =− √ 3 , 3 2|eB⊥ | 2 (189) e, portanto, podemos escrever (186), quando B⊥ → 0, como N Vef f (σ) = π Λ π − √ 2λ 2 π σ3 σ + . 3 2 (190) Aplicando a condição de renormalização dada por (185), obtemos: N N = λR π π Λ −√ λ π + 2σ0 π Λ π = − 2σ0 . −√ λ λR π (191) Substituindo esta última relação em (190), encontramos N π 2 1 3 2 Vef f (σ) = σ + σ − σ0 σ , π 2λR 3 (192) que tem exatamente a mesma forma da equação (132), após substituírmos a relação λR = π/σ0 (gerada pela equação de gap para Vef f (σ)): Vef f (σ) = − N 2 N 3 σ + σ . 2λR 3π (193) Com a constante de acoplamento já devidamente renormalizada, podemos escrever a forma final do potencial efetivo renormalizado quando T = µ = 0: N Vef f,R (σ, B⊥ ) = 2π ( ) √ 3 π 2 1 σ2 − σ − 2 2|eB⊥ | 2 ζ − , + |eB⊥ |σ . (194) λR 2 2|eB⊥ | 57 O potencial efetivo para T e µ diferentes de zero, renormalizado, é, portanto, β,µ Vef f,R (σ, B⊥ , δµ) = Vef f,R (σ, B⊥ ) − + 2 + 2 ∞ X k=1 ∞ X N |eB⊥ | 4πβ √ 2 h ln 1 + e−β( h √ ln 1 + e−β( ( ln 1 + e−β(σ+µ↑ ) + σ +2k|eB⊥ |+µ↑ ) i σ 2 +2k|eB⊥ |−µ↑ ) i + ln 1 + e−β(σ−µ↑ ) + ) + (µ↑ → |µ↓ |) . (195) k=1 E a equação de gap é d β,µ 0 = Vef f,R (σ, B⊥ , δµ) dσ σ=σ̄ ( dVef f,R (σ, B⊥ ) N |eB⊥ | 1 1 = + + β(σ̄+µ ) + β(σ̄−µ ) ↑ + 1 ↑ + 1 dσ 4π e e σ=σ̄ " # ∞ X 1 1 1 √ + √ 2 + + 2σ̄ 1 2 + 2k|eB |) 2 β σ̄ 2 +2k|eB⊥ |−µ↑ β σ̄ +2k|eB⊥ |+µ↑ (σ̄ ⊥ k=1 +1 e +1 e ) + (µ↑ → |µ↓ |) , (196) onde √ 1 N dVef f,R (σ, B⊥ ) N 2 1 σ̄ 2 N 2 = − σ̄ − |eB⊥ | σ̄ζ , + |eB⊥ |. dσ λR 2π 2 2|eB⊥ | 2π σ=σ̄ (197) 3.2 Resultados A exemplo do Capítulo 2, vamos apresentar alguns resultados relativos ao estudo do modelo de GN em 2+1 dimensões, porém agora na presença de campos magnéticos para diversas situações de temperatura e potencial químico. Somente para facilitar a leitura, vamos recordar a forma do potencial efetivo a T = µ = δµ = 0: Vef f,R (σ, B⊥ ) = N 2π ( ) 2 √ 3 π 1 σ − σ 2 − 2 2|eB⊥ | 2 ζ − , + |eB⊥ |σ , (198) λR 2 2|eB⊥ | ou, utilizando a propriedade da função zeta de Riemman generalizada ζ (z, q + 1) = ζ (z, q) − 1 , qz (199) 58 podemos reescrevê-lo como Vef f,R (σ, B⊥ ) = N 2π ( ) 2 √ 3 1 π σ − σ 2 − 2 2|eB⊥ | 2 ζ − , + 1 − |eB⊥ |σ .(200) λR 2 2|eB⊥ | Esta última forma é particularmente interessante pois facilita a obtenção dos resultados numéricos. Tais resultados foram obtidos utilizando-se o aplicativo Maple, em suas versões 12 e 13. 3.2.1 Caso 1: T = µ = 0 Nestas condições, o potencial efetivo dado por (195) se reduz a β→∞,µ=0 Vef (σ, B⊥ , δµ) = Vef f,R (σ, B⊥ ) + f,R " # ∞ X N |eB⊥ | − Θ(δµ − σ)(δµ − σ) + 2 Θ(δµ − Ek )(δµ − Ek ) , 2π k=1 (201) p onde Ek = σ 2 + 2k|eB⊥ |. A forma da equação anterior é obtida após fazermos cuidadosamente o limite quando β → ∞ em (195), além de se fazer µ = 0. Fazendo também o limite quando β → ∞ e µ = 0 na equação (196), obtemos a equação de gap para este caso: √ 1 1 σ̄ 2 N 2 N N 0 = − σ̄ − |eB⊥ | 2 σ̄ζ , + |eB⊥ | + λR 2π 2 2|eB⊥ | 2π ∞ N |eB⊥ | N |eB⊥ | X Θ(δµ − Ēk ) + Θ(δµ − σ̄) + σ̄ , 2π π Ēk k=1 (202) p onde Ēk = σ̄ 2 + 2k|eB⊥ |. Quando δµ = 0, obtemos β→∞,µ=0 Vef (σ, B⊥ , δµ = 0) = Vef f,R (σ, B⊥ ) , f,R (203) e, consequentemente, √ 1 N N 2 1 σ̄ 2 N 0 = − σ̄ − |eB⊥ | 2 σ̄ζ , + |eB⊥ |. λR 2π 2 2|eB⊥ | 2π (204) Um ponto interessante, como ilustrado na Figura 11(a), é que a existência de um campo magnético aplicado perpendicularmente ao sistema induz a não existência da solução trivial (σ̄ = 0) para a equação de gap (204) sendo, portanto, o valor não-trivial de σ̄ o único ponto que 59 Figura 11 - (a) Potencial efetivo a T = µ = 0 e δµ = 0 em função de σ para B⊥ = 1e−1 σ02 , B⊥ = 5e−1 σ02 e B⊥ = 10e−1 σ02 . (b) A variação de σ̄ com o campo B⊥ . (a) (b) Legenda: (a) Potencial efetivo (em unidades de N σ03 , com λR = π/σ0 ) a T = µ = 0 e δµ = 0 em função de σ (em unidades de σ0 ): podemos notar que, para B⊥ 6= 0, existe somente a solução não-trivial σ̄ 6= 0 que minimiza o potencial; a linha preta representa o caso B⊥ = 1e−1 σ02 , a vermelha está associada a B⊥ = 5e−1 σ02 e a azul representa o caso B⊥ = 10e−1 σ02 . (b) A variação de σ̄ com o campo B⊥ : o campo magnético aumenta o valor esperado no vácuo de σ. extremiza (ou minimiza) o potencial efetivo (203). Além disso, como podemos ver na Figura 11(b), quanto maior o campo magnético B⊥ , maior é o valor não-trivial σ̄. Quando B⊥ → 0, o potencial efetivo toma a forma dada por (156) no limite T = µ = 0, que nos fornece β→∞,µ=0 Vef (σ, B⊥ f,R N 2 N 3 N → 0, δµ) = − σ + |σ| + 2λR 3π 2π (δµ)3 2 3 2 − − σ + δµσ Θ(δµ − σ) , 3 3 (205) com a equação de gap π + (δµ − σ̄)Θ(δµ − σ̄) = 0 λR (206) σ̄ − σ0 + (δµ − σ̄)Θ(δµ − σ̄) = 0. (207) σ̄ − ou O potencial efetivo (205) tem a mesma forma que (139), caso livre de campos magnéti- 60 Figura 12 - (a) Potencial efetivo Vef f,R (T = µ = B⊥ = 0) para δµ < δµc , δµ = δµc e δµ > δµc . (b) Parâmetro de ordem σ̄ (para T = 0) em função da assimetria δµ. (a) (b) Legenda: (a) Potencial efetivo Vef f,R (para T = µ = B⊥ = 0) em unidades de N σ03 /π, com σ e δµ em unidades de σ0 . O gráfico de linha cheia está associado ao caso δµ < δµc (simetria quebrada), o de linha tracejada está associado ao caso δµ = δµc (simetria restaurada) e o de linha pontilhada está associado ao caso δµ > δµc (simetria restaurada). (b) Parâmetro de ordem σ̄ (para T = 0) em função da assimetria δµ, todos em unidades de σ0 . A descontinuidade na curva caracteriza uma transição de fase de primeira ordem. A assimetria crítica é δµc = σ0 . cos onde somente µ era diferente de zero. Portanto, o aumento do campo magnético paralelamente aplicado ao sistema, ou da assimetria δµ, provoca os mesmos efeitos que o aumento de potencial químico no caso livre de campos magnéticos. Para exemplificar, podemos observar a Figura 12. O potencial efetivo com os dois tipos de campos magnéticos aplicados simultaneamente (201) em função de σ é plotado nas Figuras 13 e 14. Na primeira, o campo magnético perpendicular é mantido fixo, enquanto variamos a assimetria δµ. O interessante aqui é notarmos o efeito dos níveis de Landau na forma do potencial efetivo: para um dado valor de B⊥ , com o aumento do valor da assimetria (ou campo magnético paralelo), os termos relativos aos níveis de Landau vão se tornando relevantes, ordem a ordem. Por exemplo, na Figura 13(a), todos os valores de assimetria são menores que o termo relativo ao k = 1 da equação (201), ou seja, p δµ < E1 , onde E1 = σ 2 + 2|eB⊥ | e, portanto, os termos relativos aos níveis de Landau com k > 1 não contribuem. Além disso, a transição de fase de primeira ordem do sistema ocorre neste domínio. O valor da assimetria crítica δµc pode ser calculado através da condição β→∞,µ=0 β→∞,µ=0 Vef (σ = 0, B⊥ , δµc ) = Vef (σ = σ̄, B⊥ , δµ = 0) , f,R f,R (208) 61 onde σ̄ é gerado pela equação de gap (202), quando δµ < σ̄. Com isso, encontramos a expressão para δµc : δµc = −2 ∞ X Θ(δµc − p p 2k|eB⊥ |)(δµc − 2k|eB⊥ |) + σ̄ − k=1 √ π σ̄ 2 + |eB⊥ |λR 1 σ̄ 2 1 + 2 2|eB⊥ | ζ − , +1 −ζ − , 2 2|eB⊥ | 2 1 2 (209) com ζ − 12 ≈ −0, 21. Esta expressão pode ser resolvida numericamente e, por exemplo, para o caso B⊥ = 1e−1 σ02 , o valor da assimetria crítica é δµc ≈ 0, 76σ0 , (210) como vemos na Figura 13(a). A Figura 13(b) nos mostra algumas formas do potencial efetivo quando os primeiros níveis de Landau têm alguma relevância. É importante lembrar que as descontinuidades surgem justamente devido à presença das funções de Heaviside em (201). Além disso, olhando mais uma vez para a Figura 13(b), a fase do sistema tende a permanecer restaurada para as demais contribuições dos termos relativos aos níveis de Landau. A Figura 14 nos mostra que uma variação no campo magnético perpendicular, ao mantermos o campo paralelo fixo, pode ocasionar uma transição de fase (um aumento em B⊥ tende a quebrar a simetria do sistema), além de modificar o valor esperado no vácuo σ̄ (não-trivial) e, consequentemente, o valor da assimetria crítica δµc . 3.2.2 Caso 2: T 6= 0 e µ = 0 Esta situação nos leva a um potencial efetivo cuja forma é dada por ( N |eB | ⊥ β,µ=0 Vef ln 1 + e−β(σ+δµ) + f,R (σ, B⊥ , δµ) = Vef f,R (σ, B⊥ ) − 2πβ ∞ h i √ 2 X + 2 ln 1 + e−β( σ +2k|eB⊥ |+δµ) + ln 1 + e−β(σ−δµ) + + 2 k=1 ∞ X k=1 h √ ln 1 + e−β( σ 2 +2k|eB ⊥ |−δµ) i ) (211) 62 Figura 13 - Potencial efetivo a T = µ = 0 em função de σ, com B⊥ = 1, 0e−1 σ02 fixo: (a) Para δµ = 0, δµ = 0, 30σ0 , δµ = δµc ≈ 0, 76σ0 e δµ = 1, 40σ0 ; (b) Comportamento do potencial efetivo devido aos níveis de Landau. (a) (b) Legenda: Potencial efetivo (em unidades de N σ03 , com λR = π/σ0 ) a T = µ = 0 em função de σ (em unidades de σ0 ), com B⊥ = 1, 0e−1 σ02 fixo; (a) a linha preta representa o caso δµ = 0, a vermelha está associada a δµ = 0, 30σ0 , a azul representa o caso δµ = δµc ≈ 0, 76σ0 e a marrom, δµ = 1, 40σ0 . Os valores escolhidos para δµ são todos menores que E1 . (b) Comportamento do potencial efetivo devido aos níveis de Landau: a linha preta representa o caso δµ = 1, 00σ0 < σ, a vermelha está associada a δµ = 1, 50σ0 < E1 , a azul representa o caso δµ = 2, 10σ0 < E2 e a marrom, δµ = 2, 50σ0 < E3 . 63 Figura 14 - Potencial efetivo a T = µ = 0 e δµ = δµc ≈ 0, 76σ0 (fixo) em função de σ para B⊥ = 0, 7e−1 σ02 , B⊥ = 1, 0e−1 σ02 e B⊥ = 1, 3e−1 σ02 . Legenda: Potencial efetivo (em unidades de N σ03 , com λR = π/σ0 ) a T = µ = 0 e δµ = δµc ≈ 0, 76σ0 (fixo) em função de σ (em unidades de σ0 ); com o aumento de B⊥ , a simetria do sistema tende a ser restaurada. A curva vermelha representa o caso B⊥ = 0, 7e−1 σ02 , a preta está associada a B⊥ = 1, 0e−1 σ02 , enquanto a azul é relativa ao caso B⊥ = 1, 3e−1 σ02 . A equação de gap correspondente é √ 1 N 2 1 σ̄ 2 N N |eB⊥ | 2 σ̄ζ , +1 − |eB⊥ | + 0 = − σ̄ − λR 2π 2 2|eB⊥ | 2π ( N |eB⊥ | 1 1 − + + 2π eβ(σ̄−δµ) + 1 eβ(σ̄+δµ) + 1 " #) ∞ X 1 1 1 √ + 2σ̄ + √ 2 . 1 2 + 2k|eB |) 2 β σ̄ 2 +2k|eB⊥ |−δµ β σ̄ +2k|eB⊥ |+δµ (σ̄ ⊥ k=1 e +1 e +1 (212) Se isolarmos cuidadosamente a solução trivial σ̄ = 0 da equação anterior, teremos a equação para o valor esperado no vácuo σ̄ não-trivial; se fazemos σ̄ → 0, como na Seção 2.2.2, podemos obter uma equação para a temperatura crítica Tc , cuja forma é: 1 N N 2 1 N |eB⊥ | 0 = − − |eB⊥ | 2 ζ − λR 2π 2 2πTc √ ∞ N |eB⊥ | X 1 p + π 2k|eB⊥ | k=1 " √ e 1 2k|eB⊥ |−δµ Tc e δµ −T c e + +1 δµ −T c √ e +1 2 + e e δµ Tc +1 2 + # 1 2k|eB⊥ |+δµ Tc δµ Tc . +1 (213) 64 3.2.3 Caso 3: T = 0 e µ 6= 0 O caso em que somente o potencial químico µ é diferente de zero é obtido quando fazemos cuidadosamente o limite β → ∞ na expressão do potencial efetivo completo (195). Desse modo, podemos escrever β→∞,µ Vef f,R (σ, B⊥ , δµ) = Vef f,R (σ, B⊥ ) + " N |eB⊥ | − (µ↑ − σ) Θ (µ↑ − σ) + (|µ↓ | − σ) Θ (|µ↓ | − σ) + 4π + 2 ∞ X (µ↑ − Ek ) Θ (µ↑ − Ek ) + 2 k=1 ∞ X # (|µ↓ | − Ek ) Θ (|µ↓ | − Ek ) . k=1 (214) A equação de gap para este caso é √ 1 1 σ̄ 2 N 2 N N 2 |eB⊥ | σ̄ζ , |eB⊥ | + + 0 = − σ̄ − λR 2π 2 2|eB⊥ | 2π N |eB⊥ | + [Θ(µ↑ − σ̄) + Θ(|µ↓ | − σ̄)] + 4π "∞ # ∞ N |eB⊥ | X Θ(µ↑ − Ēk ) X Θ(|µ↓ | − Ēk ) + σ̄ + . 2π Ē Ē k k k=1 k=1 (215) O potencial químico crítico µc é obtido da maneira usual, ou seja, é o valor de µ para o qual os valores médios do campo σ trivial e não-trivial geram o mesmo valor (mínimo) do potencial efetivo: β→∞,µc β→∞,µc Vef (σ = 0, B⊥ , δµ) = Vef (σ = σ̄, B⊥ , δµ). f,R f,R (216) Portanto, a equação para o potencial químico crítico é, explicitamente, ( |eB⊥ | µ↑c + |µ↓c | − (µ↑c − σ̄)Θ(µ↑c − σ̄) − (|µ↓c | − σ̄)Θ(|µ↓c | − σ̄)+ 0 = 4π ∞ h X p p + 2 µ↑c − 2k|eB⊥ | Θ↑,0 + |µ↓c | − 2k|eB⊥ | Θ↓,0 + k=1 − i p p µ↑c − σ̄ 2 + 2k|eB⊥ | Θ↑,σ̄ − |µ↓c | − σ̄ 2 + 2k|eB⊥ | Θ↑,σ̄ ) + √ − 3 1 2 σ̄ 2 1 σ̄ 2 |eB⊥ | |eB⊥ | 2 ζ − , +1 −ζ − − − σ̄. π 2 2|eBp⊥ | 2 2λR 2π Aqui, utilizamos as definições Θ↑,σ̄ ≡ Θ(µ↑c − (217) p σ̄ 2 + 2k|eB⊥ |), µ↑c ≡ µc + δµ, Θ|µ↓c |,σ̄ ≡ 65 Θ(|µ↓c | − p σ̄ 2 + 2k|eB⊥ |) e µ↓c ≡ µc − δµ. 3.2.4 Caso 4: T 6= 0 e µ 6= 0 O caso mais geral do potencial efetivo na aproximação de N → ∞ para o modelo de GN em 2+1 dimensões, em nosso estudo, é aquele dado por (195): ( N |eB | ⊥ β,µ ln 1 + e−β(σ+µ↑ ) + Vef f,R (σ, B⊥ , δµ) = Vef f,R (σ, B⊥ ) − 4πβ ∞ i √ 2 X h + 2 ln 1 + e−β( σ +2k|eB⊥ |+µ↑ ) + ln 1 + e−β(σ−µ↑ ) + k=1 + 2 ∞ X h √ ln 1 + e−β( σ 2 +2k|eB⊥ |−µ↑ ) i ) + (µ↑ → |µ↓ |) . (218) k=1 Já vimos também que a equação de gap correspondente tem a forma d β,µ Vef f,R (σ, B⊥ , δµ) 0 = dσ σ=σ̄ ( 1 dVef f,R (σ, B⊥ ) N |eB⊥ | 1 + β(σ̄+µ ) + = + β(σ̄−µ ) ↑ + 1 ↑ + 1 dσ 4π e e σ=σ̄ # " ∞ X 1 1 1 √ + 2σ̄ + √ 2 + 1 2 + 2k|eB |) 2 β σ̄ 2 +2k|eB⊥ |−µ↑ β σ̄ +2k|eB⊥ |+µ↑ (σ̄ ⊥ k=1 +1 e +1 e ) + (µ↑ → |µ↓ |) , (219) onde √ 1 dVef f,R (σ, B⊥ ) N 2 1 σ̄ 2 N N 2 = − σ̄ − |eB⊥ | σ̄ζ , +1 − |eB⊥ |. dσ λR 2π 2 2|eB⊥ | 2π σ=σ̄ (220) Nosso maior interesse neste caso mais geral é obter os diagramas de fase T × µ, do qual podemos extrair informações relevantes a respeito das transições de fase que ocorrem no sistema. Como vimos na Seção 2.2, em diagramas deste tipo podemos localizar linhas de transição de fase de segunda ordem, de primeira ordem ou pontos tricríticos e, portanto, identificar mais claramente (e graficamente) as regiões, ou pares (µ, T ), nas quais a simetria quiral é quebrada ou restaurada. De fato, o caso onde T e µ são diferentes de zero, quando campos magnéticos perpendicular e paralelo ao sistema são aplicados, nos fornece diagramas T × µ interessantes do ponto 66 de vista estrutural, uma vez que apresentam riqueza de detalhes. Tais diagramas podem ser construídos basicamente seguindo alguns passos: • Para determinarmos as linhas de transição de fase de segunda ordem, como vimos anteriormente, basta isolar a solução σ̄ = 0 da equação de gap (219) e fazer σ̄ = 0 ou, equivalentemente, calcular d2 β,µ V (σ, B , δµ) =0, ⊥ ef f,R dσ 2 σ=0 (221) que nos fornece 1 N 2 N |eB⊥ | 1 N − |eB⊥ | 2 ζ − 0 = − λR 2π 2 4πT √ ∞ N |eB⊥ | X 1 p + 2π k=1 2k|eB⊥ | " √ e 1 2k|eB⊥ |−µ↑ T e µ − T↑ e + +1 µ − T↑ √ e +1 2 + e e µ↑ T +1 2 + # 1 2k|eB⊥ |+µ↑ T µ↑ T + (µ↑ → |µ↓ |) . +1 (222) • A temperatura crítica Tc pode ser encontrada simplesmente fazendo µ = 0 na equação acima, o que é equivalente a fazer σ̄(Tc ) = 0 quando µ = 0 (uma vez que tenhamos isolado a solução σ̄ = 0 da equação de gap); • O potencial químico crítico µc é encontrado através da equação (217) a temperatura zero, que vem da condição de igualdade do potencial efetivo para os valores esperados do campo σ̄(T = 0, µ) = 0 e σ̄(T = 0, µ) 6= 0; • Para a determinação dos pontos tricríticos, podemos proceder da seguinte forma. Vamos considerar uma expansão em série de Taylor do potencial efetivo dado por (218) em torno do valor esperado trivial σ̄ = 0: 1 1 1 β,µ β,µ 2 4 6 Vef f,R (σ, B⊥ , δµ) ≈ Vef f,R (0, B⊥ , δµ) + a2 σ + a4 σ + a6 σ . 2 4 6 (223) Esta aproximação é conhecida da teoria de Ginzburg-Landau (SASAKI; FRIMAN; REDLICH, 2008) e é válida para valores de σ próximos de zero, ou seja, próximos de uma linha de transição de fase de segunda ordem. Tal informação é importante quando reconhecemos imediatamente que o coeficiente a2 está associado à derivada segunda do potencial efetivo no ponto σ = 0 que, como vimos, quando igualada a zero, nada mais é do que a condição que gera as linhas de transição de fase de segunda ordem no diagrama de fase T × µ. Os pontos tricríticos são aqueles derivados da interseção das curvas geradas por a2 = 0 e a4 = 0 (associado à derivada quarta do potencial efetivo) no diagrama de fase (SASAKI; FRIMAN; REDLICH, 2008). 67 Através desses passos, podemos, numericamente, obter os desejados diagramas T × µ. A Figura 15 nos mostra o comportamento dos diagramas de fase quando variamos o campo magnético perpendicular e fixamos o campo paralelo em zero. Podemos notar que, na ausência de assimetria (δµ = 0), quando aumentamos o campo magnético perpendicular, aumentamos também a temperatura crítica necessária para que o sistema tenha sua simetria restaurada (valor esperado do campo que minimiza o potencial efetivo é nulo); além disso, quando aplicamos um campo magnético B⊥ 6= 0, uma transição de fase de primeira ordem do sistema passa a ser possível mesmo para temperaturas diferentes de zero29 . Graficamente, isto significa que surge uma linha de transição de primeira ordem cada vez maior com o aumento de B⊥ 6= 0, como pode ser visto na Figura 15. Interessante ressaltar também que o aumento da intensidade do campo magnético perpendicular tende a aumentar a área interna do diagrama de fase, relativa à fase ordenada do sistema (valor esperado do campo que minimiza o potencial efetivo é diferente de zero), o que significa que o campo perpendicular possui a tendência de preservar a simetria quiral quebrada. A Figura 16 nos mostra o efeito que a variação do campo paralelo, ou assimetria δµ, provoca no diagrama de fase, quando mantemos nulo o campo magnético perpendicular. Este resultado é bem conhecido e foi estudado em detalhes em Caldas e Ramos (2009). Podemos observar que os diagramas de fase para diferentes valores de assimetria possuem transição de fase de primeira ordem somente a temperatura zero, sendo todas as transições de fase a T 6= 0 de segunda ordem, como ocorria no caso livre de campos magnéticos. No entanto, com o aumento da assimetria, a temperatura crítica Tc , a partir da qual a simetria quiral é restaurada, é diminuída, o que indica a tendência de δµ em manter a fase simétrica (ou desordenada), uma vez que a área interior dos diagramas é cada vez menor com o aumento da assimetria. A Figura 17(a) nos mostra um exemplo de como o diagrama de fase evolui quando aplicamos no sistema um campo magnético oblíquo (B⊥ e Bk 6= 0) e mantemos fixo o campo perpendicular, variando o paralelo (ou assimetria). Quando aumentamos o valor da assimetria, temos uma diminuição na temperatura crítica, como vemos nas curvas relativas a δµ = 0, δµ = 0, 800σ0 e δµ = 0, 897σ0 . Após aumentarmos mais um pouco a assimetria, como por exemplo para um valor δµ = 1, 500σ0 , não há mais a necessidade em se falar de temperatura crítica, uma vez que, para µ = 0, qualquer temperatura T a qual esteja submetido o sistema é suficiente para mantê-lo com simetria restaurada. Além disso, podemos notar que a variação da assimetria δµ para o caso de B⊥ fixo, também é capaz de produzir diagramas de fase com mais uma linha de transição de fase de primeira ordem, mais um ponto crítico e tricrítico, como vemos nos casos onde δµ = 0, 897σ0 e δµ = 1, 500σ0 , por exemplo. As linhas de primeira ordem tendem a diminuir com o aumento da assimetria e a área interna do diagrama, relativa 29 Para o caso onde B⊥ = δµ = 0, feito na Seção 2.2, uma transição de fase de primeira ordem só era possível quando T = 0. 68 Figura 15 - Diagramas de fase T × µ com δµ = 0 fixo, para B⊥ = 0, B⊥ = 5e−1 σ02 , B⊥ = 7e−1 σ02 e B⊥ = 10e−1 σ02 . Legenda: Diagramas de fase T × µ para λR = π/σ0 , com T e µ em unidades de σ0 e δµ = 0, fixo. Os elementos (linhas e pontos) verdes estão associados ao caso onde B⊥ = 0, os azuis representam o caso B⊥ = 5e−1 σ02 , os pretos representam B⊥ = 7e−1 σ02 e os vermelhos estão relacionados ao caso onde B⊥ = 10e−1 σ02 . As linhas cheias representam linhas de transição de fase de segunda ordem, as pontilhadas representam linhas de transição de fase de primeira ordem, os pontos grandes nas interseções entre linhas de primeira e segunda ordem são pontos tricríticos, os pontos sobre o eixo µ são os potenciais químicos críticos µc , enquanto que os pontos sobre o eixo T são as temperaturas críticas Tc . A área interna da curva contém os pontos (T, µ) associados à quebra da simetria quiral (fase quebrada); a área externa representa os pontos no plano T × µ associados à simetria quiral restaurada (fase restaurada). 69 Figura 16 - Diagramas de fase T × µ com B⊥ = 0 fixo, para δµ = 0, δµ = 0, 50σ0 , δµ = 0, 80σ0 e δµ = 0, 95σ0 . Legenda: Diagramas de fase T × µ para λR = π/σ0 , com T e µ em unidades de σ0 e B⊥ = 0, fixo. A linha vermelha está associada ao caso onde δµ = 0, a preta representa o caso δµ = 0, 50σ0 , a azul representa δµ = 0, 80σ0 e a linha verde está relacionada ao caso onde δµ = 0, 95σ0 . As linhas cheias representam linhas de transição de fase de segunda ordem, o ponto sobre o eixo µ é o potencial químico crítico µc , enquanto que os pontos sobre o eixo T são as temperaturas críticas Tc . A área interna da curva contém os pontos (T, µ) associados à quebra da simetria quiral (fase quebrada); a área externa representa os pontos no plano T × µ associados à simetria quiral restaurada (fase restaurada). Interessante notar que, sem campo magnético perpendicular, não há linhas de transição de fase de primeira ordem, pois esta só ocorre a temperatura zero. 70 à fase quebrada, tende a diminuir também, como esperado. Ainda considerando estruturas dos diagramas de fase dos casos onde δµ = 0, 897σ0 e δµ = 1, 500σ0 , a temperatura zero, podemos notar que o ponto µ = δµ está entre os valores críticos do potencial químico. A Figura 17(b) nos mostra o aumento da região cuja fase tem simetria quebrada quando mantemos a assimetria fixa e variamos o campo perpendicular, como esperado, uma vez que o campo perpendicular tende a conservar a simetria quebrada (ordenar o sistema). Além disso, mantendo a assimetria fixa e aumentando o campo magnético até valores suficientemente grandes, podemos recuperar a estrutura do diagrama de fase semelhante aquelas observadas na Figura 17(a) (assimetrias δµ = 0 e δµ = 0.800σ0 ). O interessante aqui é justamente o fato de que existem situações para as quais o sistema planar de férmions, submetido a um campo magnético oblíquo, pode ter sua fase com simetria restaurada tanto para potenciais químicos mais baixos quanto para potenciais químicos mais elevados, a qualquer temperatura, e que a região no plano T × µ para a qual a fase tem simetria quebrada é restrita somente a certos valores de µ e T . Podemos ver na Figura 18 a riqueza de detalhes dos diagramas de fase produzidos na Figura 17: agora, são explicitadas também as linhas nas quais os mínimos não-triviais locais (σ 6= 0) nos potenciais efetivos, que representam estados metaestáveis do sistema, desaparecem (ou aparecem, dependendo do ponto de vista), e as linhas a partir das quais se dá o surgimento (ou desaparecimento) dos mínimos triviais locais (σ = 0). Pequenos desenhos da forma do potencial efetivo foram feitos para uma melhor visualização da dinâmica dos seus pontos críticos em cada região do diagrama de fase. Podemos notar uma espécie de “descolamento” do diagrama de fases do eixo T , com o aumento da assimetria δµ. 3.2.5 Caso onde a constante de acoplamento tem sinal oposto A condição de renormalização utilizada para a obtenção das equações e resultados numéricos até aqui foi aquela que fixa uma escala de energia associada ao valor esperado no vácuo não-trivial σ0 do potencial efetivo a B⊥ = Bk = µ = T = 0 Vef f,R (σ, 0, 0) = − N 2 N 3 σ + |σ| , 2λR 3π (224) que possui uma relação com a constante de acoplamento renormalizada λR da forma σ0 = π/λR > 0. No entanto, podemos mostrar que o potencial efetivo acima pode ter a forma Vef f,R (σ, 0, 0) = N 2 N 3 σ + |σ| , 2g 3π (225) onde g é uma constante de acoplamento que independe tanto do cut-off Λ quanto de uma escala de energia arbitrária m, fixada na condição de renormalização (VSHIVTSEV; KLIMENKO; 71 Figura 17 - Diagramas de fase T × µ. (a) Campo B⊥ = 7e−1 σ02 é mantido fixo e casos δµ = 0, δµ = 0, 800σ0 , δµ = 0, 897σ0 e δµ = 1, 500σ0 ; (b) assimetria δµ = 1, 5σ0 é mantida fixa e casos B⊥ = 5e−1 σ02 , B⊥ = 7e−1 σ02 , B⊥ = 9e−1 σ02 e B⊥ = 35e−1 σ02 . (a) (b) Legenda: Diagramas de fase T × µ para λR = π/σ0 , com T e µ em unidades de σ0 . Em (a), o campo B⊥ = 7e−1 σ02 é mantido fixo: os elementos (linhas e pontos) azuis estão associados ao caso onde δµ = 0, os pretos representam o caso δµ = 0, 800σ0 , os vermelhos estão relacionados ao caso δµ = 0, 897σ0 e os verdes, δµ = 1, 500σ0 . Em (b), a assimetria δµ = 1, 5σ0 é mantida fixa: os elementos azuis estão associados ao caso onde B⊥ = 5e−1 σ02 , os verdes representam o caso B⊥ = 7e−1 σ02 , os pretos, B⊥ = 9e−1 σ02 , enquanto os vermelhos estão relacionados ao caso B⊥ = 35e−1 σ02 . As linhas cheias representam linhas de transição de fase de segunda ordem, as pontilhadas representam linhas de transição de fase de primeira ordem, os pontos grandes nas interseções entre linhas de primeira e segunda ordem são pontos tricríticos, os pontos sobre o eixo µ são os potenciais químicos críticos µc , enquanto que os pontos sobre o eixo T são as temperaturas críticas Tc . A área interna da curva contém os pontos (T, µ) associados à quebra da simetria quiral (fase quebrada); a área externa representa os pontos no plano T × µ associados à simetria quiral restaurada (fase restaurada). 72 Figura 18 - Diagramas de fase T × µ com campo magnético perpendicular B⊥ = 7e−1 σ02 . (a) δµ = 0; (b) δµ = 0, 800σ0 ; (c) δµ = 0, 897σ0 ; e (d) δµ = 1, 500σ0 . (a) (b) (c) (d) Legenda: Diagramas de fase T × µ para λR = π/σ0 , com T e µ em unidades de σ0 , com campo magnético perpendicular B⊥ = 7e−1 σ02 . Em (a), temos o caso δµ = 0; em (b), δµ = 0, 800σ0 ; em (c), δµ = 0, 897σ0 ; e em (d), o caso onde δµ = 1, 500σ0 . Aqui, linhas cheias representam linhas de transição de fase de segunda ordem, pontilhadas representam linhas de transição de fase de primeira ordem, as tracejadas representam as linhas onde desaparecem (ou aparecem) os mínimos não-triviais e as que intercalam pontos e traços representam linhas a partir das quais os mínimos triviais desaparecem (ou aparecem). Todos estes casos são exemplos das diferentes estruturas para o diagrama de fase que podem ser obtidas aplicando-se um campo magnético oblíquo no sistema planar em estudo. Os pequenos gráficos representam a forma do potencial efetivo para a região correspondente. 73 MAGNITSKY, 1996). Além disso, para este potencial, como vimos anteriormente, g > 0 não permite quebra da simetria discreta, enquanto que g < 0 permite, com um valor esperado no vácuo do campo σ sendo M ≡ −π/g > 0. Estes detalhes estão sendo mencionados devido a necessidade de se falar sobre um interessante fenômeno que ocorre quando inserimos um campo magnético perpendicular B⊥ no modelo de GN em 2+1 dimensões: a catálise magnética (GUSYNIN; MIRANSKY; SHOVKOVY, 1995). Este fenômeno é caracterizado pelo fato de que a inserção do campo magnético B⊥ no modelo faz com que a simetria quiral e discreta seja quebrada mesmo para valores de g < 0. Ou seja, se o potencial efetivo na presença de B⊥ pode ser escrito como ( ) √ 3 1 σ2 N π 2 σ − 2 2|eB⊥ | 2 ζ − , + |eB⊥ |σ , (226) Vef f,R (σ, B⊥ ) = 2π g 2 2|eB⊥ | através da propriedade assintótica da função zeta de Riemman, para campos magnéticos pequenos (B⊥ → 0), temos, para o valor esperado do campo no vácuo σ̄, (GUSYNIN; MIRANSKY; SHOVKOVY, 1995; VSHIVTSEV; KLIMENKO; MAGNITSKY, 1996) 1 g|eB⊥ | + · · · , g>0 2π h i σ̄ = 2 M 1 + |eB⊥ |4 + · · · . , g < 0 12M (227) ou, quando B⊥ → ∞, σ̄ ≈ p 0, 2|eB⊥ | , para g > 0 ou g < 0. (228) Isto significa que o campo magnético perpendicular provoca quebra espontânea da simetria quiral e discreta para o caso g > 0 (o que não acontecia no modelo sem campo magnético!) e tende a conservar a fase com simetria quebrada para g < 0. Do ponto de vista de um estudo numérico semelhante ao feito anteriormente neste capítulo, levando-se em conta o caso g > 0 (uma vez que, com nossa escala de energia σ0 na condição de renormalização, estudamos o caso onde g < 0), os diagramas de fase obtidos para o caso onde T , µ, B⊥ e δµ diferentes de zero possuem comportamento e estruturas semelhantes aos resultados obtidos, quando fazemos as variações dos campos magnéticos30 . No entanto, um estudo mais cuidadoso pode revelar diferenças, principalmente para campos magnéticos pequenos. 30 Devemos lembrar que uma diferença clara existe no caso onde o campo B⊥ → 0: a simetria tende a ser restaurada para g > 0, enquanto tende a permanecer quebrada quando g < 0. 74 CONCLUSÃO Neste trabalho, nosso objetivo principal foi o de estudar o modelo de Gross-Neveu em 2+1 dimensões, que descreve N férmions sem massa de quatro componentes que interagem entre si num sistema planar, sob a ação de um campo magnético externo oblíquo (com componentes perpendicular e paralela ao plano). Tal estudo foi direcionado no sentido de se obter informação sobre as transições de fase que um sistema planar fermiônico real pode vir a ter, se o mesmo puder ser descrito pelo nosso modelo. Vimos que tais transições de fase estão intimamente ligadas com a quebra da simetria quiral e discreta da teoria que, em nosso formalismo, está associada ao aparecimento de um novo mínimo global para o potencial efetivo a 1 loop na expansão 1/N , ligado a um valor esperado no vácuo do campo σ diferente de zero, σ̄, ou gap. O potencial efetivo no caso de um campo magnético externo oblíquo pôde ser derivado facilmente, uma vez que sabíamos calcular o potencial para o caso onde uma ou outra componente do campo magnético era aplicada. O cálculo do potencial efetivo foi feito utilizando o formalismo funcional de teoria quântica de campos a temperatura finita ou, mais especificamente, o formalismo de tempo imaginário (Matsubara), que era suficiente para nossos interesses, além da usual expansão 1/N , ou aproximação de campo médio. Com isso, o potencial efetivo mais geral que obtivemos foi aquele onde a temperatura e potencial químico eram finitos, na aproximação de N → ∞. Foi mencionado que a componente paralela do campo magnético externo acopla-se com o spin dos férmions, gerando o efeito Zeeman. Mostramos que, no potencial efetivo, isso simplesmente se traduz em um desbalanço no potencial químico dos férmions com spin up e down, ou uma assimetria nos mesmos. Já a componente do campo magnético perpendicular, gera os níveis quânticos de Landau, pois se acopla com o movimento orbital dos férmions. Isto tem um efeito muito interessante no potencial efetivo de nossa teoria: a constante de acoplamento agora pode tomar valores positivos ou negativos para que haja quebra da simetria quiral e discreta, diferentemente do que ocorria para o caso sem campo perpendicular. Esta é a conhecida catálise magnética (GUSYNIN; MIRANSKY; SHOVKOVY, 1995; VSHIVTSEV; KLIMENKO; MAGNITSKY, 1996). De posse do potencial efetivo de nosso interesse, fizemos uma renormalização fixando uma escala de energia, de modo que a constante de acoplamento fosse negativa, e obtivemos alguns resultados relativos à transições de fase. No caso T = µ = 0, obtivemos o comportamento do potencial efetivo para os campos magnéticos B⊥ e Bk separadamente, além de observarmos como variava o gap com cada um deles. Um aumento em B⊥ tende a provocar um aumento no valor do gap σ̄, enquanto que um aumento em Bk (ou δµ) tende a levar o valor de σ̄ para zero. Com um campo magnético oblíquo, percebemos que os níveis de Landau no potencial efetivo vão se tornando cada vez mais importantes com o aumento da assimetria e com a diminuição do campo magnético perpendicular. Mostramos que podemos, numericamente, obter o valor da 75 assimetria crítica, dado um valor para o campo magnético perpendicular: em nosso exemplo, encontramos, para B⊥ = 1e−1 σ02 , o valor δµc ≈ 0, 76σ0 . Para o caso onde T 6= 0 e µ = 0, mostramos que podemos obter uma equação para a temperatura crítica Tc , que é um ponto de transição de fase de segunda ordem, dividindo a fase cuja simetria quiral e discreta é quebrada (σ̄ 6= 0) e restaurada (σ̄ = 0). Já na situação onde T = 0 e µ 6= 0, encontramos uma equação para o potencial químico crítico que representa um ponto de transição de fase de primeira ordem. A situação mais geral possível, ou seja, T 6= 0 e µ 6= 0, apresenta diagramas de fase com estrutura rica de detalhes, quando observamos o comportamento do sistema ao variarmos os campos magnéticos perpendicular e paralelo. Para construí-los numericamente a partir do potencial efetivo, seguimos alguns passos para a determinação das diferentes linhas e pontos críticos, que delimitam as diferentes fases do sistema. Encontramos linhas de transição de fase de segunda ordem, primeira ordem, pontos tricríticos, além de linhas a partir das quais estados metaestáveis aparecem (ou desaparecem) e linhas que delimitam o surgimento (ou desaparecimento) dos mínimos triviais. Pudemos observar também que a variação do campo magnético paralelo ou perpendicular, quando mantemos um ou outro fixo, pode ocasionar uma mudança na estrutura do diagrama de fase, com o surgimento de, por exemplo, mais de um potencial químico crítico, ou a redução da temperatura crítica (a µ = 0) a zero, ou ainda um segundo ponto tricrítico e linha de transição de fase de primeira ordem. Todos estes detalhes se encontram no Capítulo 3. Por fim, falamos brevemente sobre a catálise magnética provocada pela componente perpendicular do campo magnético externo e a semelhança dos diagramas de fase obtidos para o caso de uma constante de acoplamento com sinal contrário com os obtidos nos resultados, no que diz respeito à evolução das estruturas dos diagramas com a variação das componentes do campo magnético oblíquo. Como perspectiva de trabalhos futuros, poderíamos aproveitar a abordagem feita neste trabalho para obter as propriedades termodinâmicas de um sistema físico real que possa ser descrito por este modelo, como um sistema bidimensional de elétrons cuja fase varia de metal para isolante ou vice-versa. Algo neste sentido já foi feito, por exemplo, em Caldas e Ramos (2009), onde a magnetização e a susceptibilidade magnética foram obtidas e estudadas, porém para um campo magnético externo com componente B⊥ = 0. Outra aplicação, como foi falado no texto anteriormente, pode ser feita, ainda em matéria condensada, em supercondutores à altas temperaturas, efeito Hall quântico e grafeno. 76 REFERÊNCIAS ABRAHAMS, E.; KRAVCHENKO, S. V.; SARACHIK, M. P. Metallic behavior and related phenomena in two dimensions. Rev. Mod. Phys., New York, v. 73, n. 2, p. 251–266, Mar 2001. Disponível em: <http://link.aps.org/doi/10.1103/RevModPhys.73.251>. Acesso em: 2 nov. 2011. ABRAMOWITZ, M.; STEIGEN, I. A. Handbook of mathematical functions: with formulas, graphs, and mathematical tables. 10. ed. New York, EUA: Dover, 1972. AGUILERA-NAVARRO, M. C. K. et al. A função Zeta de Riemann. Revista Ciências Exatas e Naturais, Guarapuava, v. 1, n. 1, p. 23–47, 1999. Disponível em: <http://revistas.unicentro.br/index.php/RECEN/article/view/538>. Acesso em: 2 nov. 2011. APPELQUIST, T. W. et al. Spontaneous chiral-symmetry breaking in three-dimensional QED. Phys. Rev. D, New York, v. 33, n. 12, p. 3704–3713, Jun 1986. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevD.33.3704>. Acesso em: 2 nov. 2011. ARFKEN, G. B.; WEBER, H. J. Mathematical methods for physicists. 6. ed. EUA: Elsevier, 2005. BARDEEN, J.; COOPER, L. N.; SCHRIEFFER, J. R. Microscopic theory of superconductivity. Phys. Rev., New York, v. 106, n. 1, p. 162–164, Abr 1957. Disponível em: <http://link.aps.org/doi/10.1103/PhysRev.106.162>. Acesso em: 2 nov. 2011. BELLAC, M. L. Thermal field theory. 1. ed. Cambridge, UK: Cambridge University Press, 1996. BHATTACHARYA, K. Solution of the Dirac equation in presence of an uniform magnetic field. S.l: Cornell University Library, 2007. 16 p. Disponível em: <http://arxiv.org/abs/0705.4275v2>. Acesso em: 2 nov. 2011. CALDAS, H.; RAMOS, R. O. Magnetization of planar four-fermion systems. Phys. Rev. B, New York, v. 80, n. 11, p. 115428, Set 2009. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevB.80.115428>. Acesso em: 2 nov. 2011. CHAIKIN, P. M.; LUBENSKY, T. C. Principles of condensed matter physics. 1. ed. Cambridge, UK: Cambridge University Press, 1995. COLEMAN, S. Aspects of symmetry. 1. ed. Cambridge, UK: Cambridge University Press, 1985. DAS, A. Field Theory: A path integral approach. 1. ed. Singapore: World Scientific, 1993. DAS, A. Finite temperature field theory. 2. ed. Singapore: World Scientific, 1997. GRADSHTEYN, I. S.; RYZHIK, I. M. Table of integrals, series and products. 7. ed. EUA: Elsevier, 2007. GROSS, D. J.; NEVEU, A. Dynamical symmetry breaking in asymptotically free field theories. Phys. Rev. D, New York, v. 10, n. 10, p. 3235–3253, Nov 1974. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevD.10.3235>. Acesso em: 2 nov. 2011. 77 GUSYNIN, V. P.; MIRANSKY, V. A.; SHOVKOVY, I. A. Catalysis of dynamical flavor symmetry breaking by a magnetic field in 2 + 1 dimensions. Phys. Rev. Lett., New York, v. 73, n. 26, p. 3499–3502, Dec 1994. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevLett.73.3499>. Acesso em: 2 nov. 2011. GUSYNIN, V. P.; MIRANSKY, V. A.; SHOVKOVY, I. A. Dynamical flavor symmetry breaking by a magnetic field in 2+1 dimensions. Phys. Rev. D, New York, v. 52, n. 8, p. 4718–4735, Out 1995. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevD.52.4718>. Acesso em: 2 nov. 2011. HARRIS, J. W.; MüLLER, B. The search for the quark-gluon plasma. Annual Review of Nuclear and Particle Science, California, v. 46, n. 1, p. 71–107, 1996. Disponível em: <http://www.annualreviews.org/doi/abs/10.1146/annurev.nucl.46.1.71>. Acesso em: 2 nov. 2011. JACKIW, R. Functional evaluation of the effective potential. Phys. Rev. D, New York, v. 9, n. 6, p. 1686–1701, Mar 1974. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevD.9.1686>. Acesso em: 2 nov. 2011. KAPUSTA, J. I. Finite-temperature field theory. 1. ed. Cambridge, UK: Cambridge University Press, 1993. LANDSMAN, N.; WEERT, C. van. Real- and imaginary-time field theory at finite temperature and density. Physics Reports, Amsterdam, v. 145, n. 3–4, p. 141 – 249, 1987. Disponível em: <http://www.sciencedirect.com/science/article/pii/0370157387901219>. Acesso em: 2 nov. 2011. LIU, W. Parity breaking and phase transition induced by a magnetic field in high Tc superconductors. Nuclear Physics B, Amsterdam, v. 556, n. 3, p. 563 – 572, 1999. Disponível em: <http://www.sciencedirect.com/science/article/pii/S0550321399003090>. Acesso em: 2 nov. 2011. MAK, K. W. Dirac thermal propagator in a constant external magnetic field. Phys. Rev. D, New York, v. 49, n. 12, p. 6939–6942, Jun 1994. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevD.49.6939>. Acesso em: 2 nov. 2011. MODUGNO, M. The chiral phase transition in the Gross-Neveu model in 1+1 and 2+1 dimensions. 1998. 113 f. Tese (Doutorado em Física) — Dipartimento di Fisica, Universita degli Studi di Firenze, Firenze, Itália, 1998. NAMBU, Y.; JONA-LASINIO, G. Dynamical model of elementary particles based on an analogy with superconductivity. i. Phys. Rev., New York, v. 122, n. 1, p. 345–358, Abr 1961. Disponível em: <http://link.aps.org/doi/10.1103/PhysRev.122.345>. Acesso em: 2 nov. 2011. NAMBU, Y.; JONA-LASINIO, G. Dynamical model of elementary particles based on an analogy with superconductivity. ii. Phys. Rev., New York, v. 124, n. 1, p. 246–254, Out 1961. Disponível em: <http://link.aps.org/doi/10.1103/PhysRev.124.246>. Acesso em: 2 nov. 2011. NOVOSELOV, K. S. et al. Two-dimensional gas of massless Dirac fermions in graphene. Nature, London, v. 438, n. 7065, p. 197–200, Nov 2005. Disponível em: <http://dx.doi.org/10.1038/nature04233>. Acesso em: 2 nov. 2011. 78 PALHARES, L. F. D. Matéria densa e fria: Termodinâmica, transições de fase e renormalização. 2008. 156 f. Dissertação (Mestrado em Física) — Instituto de Física, Universidade Federal do Rio de Janeiro, Rio de Janeiro, 2008. PESKIN, M. E.; SCHROEDER, D. V. An introduction to quantum field theory. 1. ed. EUA: Perseus Books, 1995. PYATKOVSKIY, P. K.; GUSYNIN, V. P. Dynamical polarization of graphene in a magnetic field. Phys. Rev. B, New York, v. 83, n. 7, p. 075422, Fev 2011. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevB.83.075422>. Acesso em: 2 nov. 2011. REIF, F. Fundamentals of statistical and thermal physics. 1. ed. EUA: McGraw-Hill, 1965. RIVERS, R. J. Path integral methods in quantum field theory. 1. ed. Cambridge, UK: Cambridge University Press, 1987. ROSENSTEIN, B.; WARR, B. J.; PARK, S. H. Dynamical symmetry breaking in four-fermion interaction models. Physics Reports, Amsterdam, v. 205, n. 2, p. 59 – 108, 1991. Disponível em: <http://www.sciencedirect.com/science/article/pii/037015739190129A>. Acesso em: 2 nov. 2011. RYDER, L. H. Quantum field theory. 2. ed. Cambridge, UK: Cambridge University Press, 1996. SASAKI, C.; FRIMAN, B.; REDLICH, K. Chiral phase transition in the presence of spinodal decomposition. Phys. Rev. D, New York, v. 77, n. 3, p. 034024, Fev 2008. Disponível em: <http://link.aps.org/doi/10.1103/PhysRevD.77.034024>. Acesso em: 2 nov. 2011. STAUDT, E. Teorias fermiônicas efetivas sob condições extremas. 2007. 114 f. Tese (Doutorado em Física) — Centro de Ciências Físicas e Matemáticas, Universidade Federal de Santa Catarina, Florianópolis, Brasil, 2007. TODA, M.; KUBO, R.; SAITô, N. Statistical Physics I: Equilibrium statistical mechanics. 1. ed. Berlin, Heiderberg: Springer-Verlag, 1983. VSHIVTSEV, A.; KLIMENKO, K.; MAGNITSKY, B. Vacuum structure of the (ψ̄ψ)23 -model, accounting for the magnetic field and chemical potential. Theoretical and Mathematical Physics, Moscow, v. 106, n. 3, p. 319–327, 1996. Disponível em: <http://dx.doi.org/10.1007/BF02071476>. Acesso em: 2 nov. 2011. 79 APÊNDICE A – Formalismo funcional para o cálculo do potencial efetivo e a expansão 1/N Em geral, em teoria quântica de campos, existe um interesse especial em funções de Green conexas (RYDER, 1996), e estas não são geradas diretamente pelo funcional gerador Z[J], mas sim pelo funcional gerador das funções de Green conexas W [J]. A relação entre estes funcionais é: Z[J] ≡ eiW [J] = 0+ 0− J ⇒ W [J] = −i lnZ[J]. (229) A partir deste objeto, podemos desenvolver o formalismo funcional necessário para a expressão do potencial efetivo a temperatura zero. Vamos começar acoplando uma fonte J(x) para o campo φ(x), e considerar uma transformação no campo de modo a expressarmos o mesmo em termos do funcional ϕ̄[J]: φ(x) = φ0 (x) + ϕ̄[J] δW [J] ϕ̄[J] = 0+ φ(x) 0− J = δJ(x) (230) Admitindo que ϕ̄[J] tenha forma inversa, então J[ϕ̄] existe, de modo que podemos definir a ação efetiva Γ[ϕ̄] como uma transformada de Legendre de W [J]: Z Γ[ϕ̄] = W [J] − dD x J ϕ̄ , (231) Da equação anterior, podemos escrever δΓ[ϕ̄] = −J , δ ϕ̄ (232) de modo que, para J → 0, ϕ̄ = cte e deve satisfazer a equação estacionária ∂Γ[ϕ̄] =0, ∂ ϕ̄ ϕ̄=ϕ̄c (233) onde ϕ̄c é o valor esperado do campo no vácuo, por vezes denominado condensado. Em diversas situações, a presença ou ausência de um condensado nos fornece informação sobre as características de simetria de um sistema. O potencial efetivo Vef f é definido por Z Γ[ϕ̄]|J=0 ≡ −Vef f (ϕ̄) dD x , (234) de modo a determinar o valor do condensado e, por isso, carregar importante informação sobre R transições de fase (PALHARES, 2008). Na equação acima, dD x é o volume espaço-temporal. 80 Podemos reescrever (233) como ∂Vef f (ϕ̄) = 0. ∂ ϕ̄ ϕ̄=ϕ̄c (235) Uma outra forma de escrevermos o potencial efetivo, a partir de (231) e (234), é W [0] Vef f (ϕ̄) = − R D . d x (236) A expressão para o potencial efetivo não é fechada. Na teoria quântica de campos usual, é natural que se expanda a ação, na equação (105) Z[J] = e i W [J] } Z = i J Dφ e } SB , (237) em potências de } (aqui, } foi propositalmente explicitado); para isto, representa-se o campo √ φ(x) como φ(x) = ϕ̄(x) + }φ0 (x) e faz-se a expansão. Esta expansão também é conhecida como expansão em loops31 e seu desenvolvimento pode ser encontrado em, por exemplo, Peskin e Schroeder (1995); Das (1997); Ryder (1996); e Jackiw (1974). Com isso, encontra-se uma expressão para W [J] até a ordem de perturbação desejada e, consequentemente, Γ[ϕ̄], que fornece Vef f (ϕ̄). Entretanto, no modelo de NJL descrito por (85), ou no modelo de Gross-Neveu dado por (118), é usual na literatura (CALDAS; RAMOS, 2009; GUSYNIN; MIRANSKY; SHOVKOVY, 1995; VSHIVTSEV; KLIMENKO; MAGNITSKY, 1996) um tratamento não-perturbativo, mantendo λ fixo e N muito grande, conhecido como expansão em potências de 1/N , ou aproximação N → ∞ (COLEMAN, 1985; RIVERS, 1987). Duas razões interessantes nos levam a estudar a expansão 1/N (COLEMAN, 1985): • Pode ser usada para se analizar modelos de teoria de campos. Teoria quântica de campos essencialmente oferece soluções baseadas em teoria de perturbação ou alguns poucos modelos solúveis exatamente. A expansão 1/N nos permite aumentar esse grupo; • É possível que a expansão 1/N possa ser aplicada a QCD. Não há como comprovar que a expansão 1/N em QCD seja tão eficiente quanto a teoria de perturbação em eletrodinâmica quântica (QED) mas, a princípio, não há razão para rejeitá-la de imediato. A nossa idéia é fazer uma expansão 1/N , com N → ∞, para encontrarmos a expressão para o funcional gerador W [J] até a primeira ordem (1 loop), que corresponde, em matéria condensada, à aproximação de campo médio. Sem muito rigor e somente a título de ilustração, 31 O termo “loop” está relacionado aos diagramas de Feynman. 81 ao final será mostrada a expressão correspondente ao termo após a primeira ordem (“next to leading order”). Vamos começar por expandir o campo φ em torno de sua solução clássica ϕ̄ 1 φ(x) = ϕ̄ + √ φ0 (x) , N (238) √ onde reescalamos a parte não-clássica com um fator 1/ N (analogamente ao que ocorre na tradicional expansão em }). Dessa forma, podemos expandir funcionalmente a ação SBJ na equação (237), em potências de √1N φ0 (x) SBJ (φ) √ 0 = ϕ̄ + 1/ N φ Z 1 δSBJ D 0 J d x φ (x) = SB (ϕ̄) + √ + δφ(x) φ=ϕ̄ N Z δ 2 SBJ 1 D D 0 φ0 (y) + . . . d xd y φ (x) + 2N δφ(x)δφ(y) φ=ϕ̄ SBJ (239) O campo ϕ̄ é escolhido de forma a minimizar a ação SBJ ; portanto, a parcela linear em φ0 (x) é nula, pois a derivada funcional é nula. Com isso, podemos separar o funcional W [J] em duas partes: iW [J] e Z = Z = = e J Dφ eiSB √ Dφ eiSB (ϕ̄+1/ J J (ϕ̄) iSB Z Dφ e ≡ eiW0 [J] eiW 0 [J] i 2N N φ0 ) R J δ 2 SB dD xdD y φ0 (x) δφ(x)δφ(y) φ0 (y)+... φ=ϕ̄ , (240) com W0 [J] correspondendo à parte de W [J] que sobrevive a uma aproximação onde N → ∞, ou aproximação de campo médio W0 [J] = SBJ (ϕ̄) (241) e W 0 [J] correspondendo aos termos de ordens superiores da expansão 1/N W 0 [J] = −i ln Z Dφ e i 2N R J δ 2 SB dD xdD y φ0 (x) δφ(x)δφ(y) φ=ϕ̄ φ0 (y)+... ! . (242) 82 APÊNDICE B – Cálculo do traço da equação (110) Podemos escrever a relação Z µ Tr ln (iγ ∂µ + σ) = Z = dD x tr hx| ln (iγ µ ∂µ + σ) |xi dD x hx| ln detDirac (iγ µ ∂µ + σ) |xi , (243) onde “detDirac ” é o determinante sobre os índices de Dirac (matrizes 4×4). Podemos reescrever o termo da direita de (243) como uma integração no espaço de momentos: Z tr D Z µ d x hx| ln (iγ ∂µ + σ) |xi = tr dD xdD pdD p0 hx|pi hp| ln (iγ µ ∂µ + σ) |p0 i hp0 |xi 0 e−i(p−p )·x = tr d xd pd p ln(−γ µ pµ + σ) δ D (p − p0 ) D (2π) Z D d p ln(−γ µ pµ + σ) = tr dD x (2π)D Z Z dD p D d x = tr ln(−γ µ pµ + σ) (2π)D Z Z dD p D d x = ln detDirac (−γ µ pµ + σ) , (244) D (2π) Z D D D 0 onde utilizamos hp| (iγ µ ∂µ + σ) |p0 i = (−γ µ pµ + a · ϕ̄)δ D (p − p0 ) e, como G−1 (σ) = iγ µ ∂µ + σ é diagonal na base de momentos, hp| ln G−1 (σ) |p0 i = ln hp| G−1 (σ) |p0 i. Vamos voltar nossa atenção para o cálculo do determinante detDirac (−γ µ pµ + σ). O truque aqui é lembrar que a matriz γ5 é construída de modo que detDirac γ5 = 1 e utilizar a propriedade dos determinantes det(AB) = (det A)(det B). Com isso, podemos escrever detDirac (−iγ µ pµ + σ) = detDirac (γ5 )detDirac (−iγ µ pµ + σ) detDirac (γ5 ) = detDirac [γ5 (−iγ µ pµ + σ) γ5 ] = detDirac (iγ µ ∂µ + σ) , (245) onde usamos a propriedade de anti-comutação entre γ5 e γ µ . Portanto, 1 [ln detDirac (−iγ µ pµ + σ) + ln detDirac (iγ µ pµ + σ)] 2 1 = ln [detDirac (−iγ µ pµ + σ) detDirac (iγ µ pµ + σ)] 2 1 = ln detDirac −p2 + σ 2 14×4 2 (246) = 2ln −p2 + σ 2 ln detDirac (−iγ µ pµ + σ) = 83 Na relação acima, utilizamos o anti-comutador {γ µ , γ ν } = 2g µν , detDirac (14×4 ) = 1 e a propriedade dos determinantes det(λA) = λn det A, onde λ é um número e n é o número de linhas/colunas da matriz A. 84 APÊNDICE C – Níveis de Landau e autofunções Consideremos a densidade de Lagrangiana de Dirac cujos férmions interajam com o campo eletromagnético Aµ : L = iψ̄γ µ (∂µ + ieAµ )ψ − mψ̄ψ , µ = 0, 1, 2. (247) Os campos ψ têm 4 componentes: ψ= ψ1 ψ2 ! , ψ1 = ψ1+ ψ1− ! , ψ2 = ψ2+ ψ2− ! . (248) Neste caso, podemos utilizar a seguinte representação das matrizes γ µ : 0 γ = τ3 0 0 −τ 3 ! 1 , γ = ! iτ 1 0 0 −iτ 1 2 , γ = iτ 2 0 0 −iτ 2 ! . (249) A equação de Euler-Lagrange para a densidade de Lagrangiana (247) é [iγ µ (∂µ + ieAµ ) − m] ψ = 0. (250) As equações de movimento em termos de ψ1 e ψ2 são iτ 3 (∂t + ieA0 ) − τ 1 (∂x + ieA1 ) − τ 2 (∂y + ieA2 ) − m ψ1 = 0 3 iτ (∂t + ieA0 ) − τ 1 (∂x + ieA1 ) − τ 2 (∂y + ieA2 ) + m ψ2 = 0. (251) As formas das duas equações acima são idênticas, a menos do sinal contrário no termo de massa m. Portanto, vamos analisar somente a solução de ψ1 . Primeiro, vamos fixar um gauge do tipo A = (0, 0, B⊥ x) (a escolha do gauge não influencia nos resultados físicos) e encontrar as equações para as componentes do espinor ψ1 , da equação (251): (i∂t − m) ψ1+ + (−∂x + i∂y − eB⊥ x) ψ1− = 0 (−∂x − i∂y + eB⊥ x) ψ1+ − (i∂t + m) ψ1− = 0. (252) Podemos notar que a solução será da forma de ondas planas em t e y, ou seja, 0 ψ1± ∝ e−iEt+ipy ψ1± (x) , (253) 85 e, substituindo em (252), obtemos: 0 0 (E − m)ψ1+ (x̄) − (∂x̄ + eB⊥ x̄) ψ1− (x̄) = 0 0 0 (∂x̄ − eB⊥ x̄) ψ1+ (x̄) + (E + m)ψ1− (x̄) = 0 , (254) com x̄ ≡ x − p . eB⊥ (255) Podemos desacoplar as equações em (254), notando que: 0 0 0 0 2 2 +0 (∂x̄ + eB⊥ x̄) (∂x̄ − eB⊥ x̄) ψ1+ (x̄) = ∂x̄2 ψ1+ − eB⊥ ∂x̄ x̄ψ1+ + eB⊥ x̄∂x̄ ψ1+ − e2 B⊥ x̄ ψ1 0 2 2 (256) x̄ − eB⊥ ψ1+ . = ∂x̄2 − e2 B⊥ Logo, aplicando (∂x̄ − eB⊥ x̄) e (∂x̄ + eB⊥ x̄) (257) em cada uma das equações (254), respectivamente, obtemos 0 2 2 ∂x̄2 − e2 B⊥ x̄ + E 2 − m2 − eB⊥ ψ1+ (x̄) = 0 0 2 2 ∂x̄2 − e2 B⊥ x̄ + E 2 − m2 + eB⊥ ψ1− (x̄) = 0 , (258) que têm a forma ∂2 − ξ 2 f (ξ) + a± f (ξ) = 0 , ∂ξ 2 (259) com a definição ξ≡ p E 2 − m2 ± eB⊥ eB⊥ x̄ e a± ≡ . eB⊥ (260) As soluções e propriedades desta equação são bem conhecidas (ARFKEN; WEBER, 2005; GRADSHTEYN; RYZHIK, 2007) e, portanto, podemos escrevê-las como (DAS, 1997; 86 VSHIVTSEV; KLIMENKO; MAGNITSKY, 1996): q En ±m I (x) 4πEn n,p q n ∓m In−1,p (x) ± E4πE ± n (x, y, t) = e∓iEn t+ipy ψ1np 0 0 ± (x, y, t) = e∓iEn t+ipy ψ2np 0 0 q En ∓m I (x) 4πEn n,p q n ±m ± E4πE In−1,p (x) n . (261) Nas últimas equações, definimos 1 ξ2 eB 4 In,p (x) = p ⊥√ e− 2 Hn (ξ) , 2n n! π (262) √ com Hn (ξ) sendo os polinômios de Hermite, I−1,p (x) ≡ 0 e En = m2 + 2eB⊥ n, com eB⊥ > 0, são os níveis quânticos de Landau. Uma propriedade interessante da função In,p (x) é Z dx 2 In,p (x) 1 = eB⊥ Z 2 dp In,p (x) = 1. (263) 87 APÊNDICE D – Cálculos relativos à função zeta de Riemman generalizada A função zeta de Riemman generalizada é definida por 1 ζ (z, q) = Γ(z) ∞ ∞ z−1 −qt Z X t e 1 dt = , −t 1−e (n + q)z n=0 0 (264) para z > 1. Queremos, primeiramente, uma relação entre a integral ∞ Z dα α 0 3 2 2 e−ασ coth(eB⊥ α) (265) e a função zeta de Riemman. A integral acima tem a forma ∞ Z ds sµ−1 e−βs coth s. I= (266) 0 Portanto, partindo da equação acima, temos: ∞ es + e−s coth s = ds sµ−1 e−βs s e − e−s Z0 ∞ Z ∞0 −βs −βs −2s e e e = ds sµ−1 + ds sµ−1 . −2s 1−e 1 − e−2s 0 0 Z ∞ µ−1 −βs I = ds s Z e (267) Fazendo a mudança de variável s → 2s, temos Z ∞ β −( β2 +1)s e− 2 s −µ µ−1 e I = 2 ds s +2 ds s 1 − e−s 1 − e−s 0 0 β β = 2−µ ζ µ, Γ(µ) + ζ µ, + 1 Γ(µ) . 2 2 −µ Z ∞ µ−1 (268) Agora, podemos aproveitar e encontrar uma propriedade importante da função zeta, que é utilizada algumas vezes neste trabalho. Sabemos que ζ (z, q) = ∞ X n=0 ∞ X 1 1 1 1 = + + z z z (n + q) q (q + 1) (n + q)z n=2 (269) e ζ (z, q + 1) = ∞ X n=0 1 (n + q + 1)z ∞ X 1 1 = + z (q + 1) (n + q + 1)z n=1 ∞ X 1 1 = + , z (q + 1) (n + q)z n=2 (270) 88 fazendo n → n + 1. Subtraindo as duas últimas equações, encontramos a propriedade ζ (z, q + 1) = ζ (z, q) − 1 . qz (271) Logo, aplicando esta propriedade em (268), encontramos 1−µ I = Γ(µ) + 2 β ζ µ, 2 −β −µ . (272) Através de uma continuação analítica para o caso µ = −1/2, podemos encontrar a equação (174).