M. A.

Gusmao IF-UFRGS - 2013 1

FIP10601 - 2013/2 Texto 14
Funcoes de Green no estudo da interacao eletron-eletron
J a comentamos anteriormente que em problemas de muitas partculas interagentes como
e o caso dos eletrons de um metal nao tem sentido denir energias individuais de cada
partcula. Por outro lado, o calculo da energia total, pela natureza das aproximacoes
usuais, e praticamente restrito ao estado fundamental. Do ponto de vista da comparacao
com resultados experimentais, e mais relevante a descricao das excita coes elementares.
Comentamos, tambem, que e especialmente importante obter o espectro de energias para
excita coes de uma partcula, por sua conexao com as energias individuais no limite nao
interagente. Essas excita coes sao descritas por meio de uma Funcao de Green, conforme
o desenvolvimento a seguir.
Funcao de Green
Para o problema especco de eletrons interagentes na banda de conducao de um solido
met alico, a funcao de Green (FG) relevante para o estudo de excita coes de uma partcula
e denida como segue:
g

k
(t) i(t){c
k
(t), c

k
(0)} . (1)
A deni cao envolvendo o anticomutador e conveniente para operadores de fermions (uma
deni cao equivalente para operadores de bosons envolveria o comutador). A dependencia
temporal dos operadores indica que estamos trabalhando na representa cao de Heisenberg.
Os sinais + e - referem-se, respectivamente, `as FGs retardada (denida para t > 0) e
avancada (denida para t < 0).
Sobre a deni cao (1), cabem os seguintes comentarios:
A deni cao com um operador no tempo t e outro no tempo 0 (zero) nao e restritiva.
Pode-se mostrar facilmente que ela e equivalente `a deni cao com um operador no
tempo t e outro no tempo t

, isto e, a FG depende somente da diferenca de tempos.

Para o calculo em T = 0, o valor medio que aparece na deni cao deve ser interpretado
como uma media de ensemble. Como estaremos interessados em trabalhar com ope-
radores que mudam o n umero de partculas, o ensemble apropriado e o gran-canonico.
Nesse caso, a media e denida como
X = Z
1
Tre

H
X , Z = Tre

H
, (2)
onde

1
k
B
T
,

H HN , (3)
sendo N o operador n umero (total) de partculas.
2 M. A. Gusm ao IF-UFRGS - 2013

E conveniente redenir a representa cao de Heisenberg para usar o hamiltoniano

H,
ou seja,
A(t) e
i

Ht
Ae
i

Ht
. (4)
Essa deni cao nao afeta a evolucao temporal de qualquer operador que conserve o
n umero de partculas (desde que o hamiltoniano tambem conserve).
Interpretacao da FG
Como veremos no desenvolvimento que segue, a FG aqui denida descreve excita coes de
uma partcula e permite obter o espectro de energias dessas excita coes.
Explicitando o anticomutador na deni cao da FG, temos
g

k
(t) i(t)

c
k
(t)c

k
(0) +c

k
(0)c
k
(t)

. (5)
Vamos calcular formalmente os valores medios utilizando a representa cao de energia, isto
e, as solucoes do problema de autovalores

H|n =

E
n
|n ,

E
n
E
n
N , (6)
que satisfazem as rela coes
n|m =
nm
,

n
|nn| = 1 . (7)
Note que |n representa, de forma compacta, um autoestado de energia do conjunto de
todos os eletrons (interagentes), que pode ser escrito como uma combinacao linear de
vetores da base da representa cao de n umero de ocupacao, |n
k
1

1
n
k
2

2
n
k
3

3
. . . .
Podemos desenvolver a primeira media do lado direito da Eq. (5) como segue:
c
k
(t)c

k
(0) = Z
1
Tre

H
e
i

Ht
c
k
e
i

Ht
c

k
= Z
1

n
n|e

H
e
i

Ht
c
k
e
i

Ht
c

k
|n
= Z
1

nm
n|e

H
e
i

Ht
c
k
e
i

Ht
|mm|c

k
|n
= Z
1

nm
e

En
e
i(

En

Em)t
n|c
k
|mm|c

k
|n . (8)
Da mesma forma, para a segunda media,
c

k
(0)c
k
(t) = Z
1
Tre

H
c

k
e
i

Ht
c
k
e
i

Ht
= Z
1

m
m|e

H
c

k
e
i

Ht
c
k
e
i

Ht
|m
= Z
1

nm
m|e

H
c

k
|nN|e
i

Ht
c

k
e
i

Ht
|m
= Z
1

nm
e

Em
e
i(

En

Em)t
m|c

k
|nn|c
k
|m . (9)
M. A. Gusmao IF-UFRGS - 2013 3
Portanto,
g

k
(t) = i(t)Z
1

nm

En
+ e

Em

n|c
k
|mm|c

k
|ne
i(

En

Em)t
. (10)
Denindo a transformada de Fourier,
G

k
()

dte
it
g

k
(t) , (11)
temos
G

k
() = iZ
1

nm

En
+ e

Em

n|c
k
|mm|c

k
|n

dte
i[(

Em

En)]t
(t)] .
(12)
Usando a identidade

dte
it
(t) = lim
0
1
i( i)
(13)
e deixando implcito, de agora em diante, o limite 0, resulta
G

k
() = Z
1

nm

En
+ e

Em

n|c
k
|mm|c

k
|n
(

E
m


E
n
) i
. (14)
Inspecionando o lado direito desta ultima equa cao, notamos que as funcoes G

k
() apre-
sentam polos no espaco de frequencias complexas. As partes reais desses polos fornecem o
espectro de energias das excitacoes de uma partcula, pois cada polo ocorre para
uma frequencia correspondente `a diferenca entre dois estados de energia (total) de siste-
mas descritos pelo mesmo hamiltoniano mas diferindo por uma unidade no n umero de
partculas. Se considerarmos que o estado |n corresponde a N partculas, o elemento de
matriz m|c

k
|n so e nao nulo se |m corresponde a (N + 1) partculas. Entao,

E
m


E
n
= E
(N+1)
m
(N + 1) E
(N)
n
+ N = E
(N+1)
m
E
(N)
n
. (15)
Isto caracteriza uma energia de excitacao pela cria cao de uma partcula extra no sistema.
A Eq. (5) e, portanto, a (14) contemplam tanto a possibilidade de criar uma partcula e
depois aniquila-la (exemplicada acima), quanto a possibilidade de aniquilar e depois
criar (envolvendo estados com N e N1 partculas). Esta ultima refere-se a uma excita cao
que envolve a supressao de uma partcula (ou cria cao de um buraco).
Deve-se notar que, interpretando como uma variavel complexa, as funcoes G

k
() sao
funcoes analticas de , exceto por polos imediatamente abaixo (FG retardada) ou acima
(FG avancada) do eixo real.
4 M. A. Gusm ao IF-UFRGS - 2013
Representacao espectral
Podemos expressar as FGs retardada e avancada em uma forma integral simples,
G

k
() =

d

k
()
i
, (16)
onde denimos a fun cao espectral

k
() Z
1

nm

En
+ e

Em

n|c
k
|mm|c

k
|n (

E
m
+

E
n
) . (17)
A quantidade

()
1
N

k
() (18)
pode ser vista como uma generaliza cao da deni cao de densidade de estados introduzida
para eletrons independentes, sendo a densidade de estados de excitacoes de uma
partcula.
Explicitando as partes real e imagin aria na equa cao (16) e tomando o limite 0, podemos
vericar que

k
() =
1

ImG

k
() . (19)
Esta rela cao e relevante pois a densidade espectral nao pode ser diretamente calculada a
partir das solucoes do hamiltoniano completo, usadas aqui apenas formalmente para obter
as propriedades das novas funcoes denidas.

E necessario utilizar metodos de calculo das
pr oprias FGs (que veremos mais tarde), obtendo a densidade espectral pela equa cao (19),
o que permite obter a densidade de estados pela (18).
FG causal
Pode-se denir uma FG que coincida com a retardada para t > 0 e com a avancada para
t < 0. Trata-se da FG causal , denida como
g
c
k
(t) i

Tc
k
(t)c

k
(0) , (20)
onde aparece o operador de ordenamento temporal,

T, que atua sobre operadores.
Sua acao sobre operadores genericos A e B e

TA(t)B(t

) A(t)B(t

)(t t

) B(t

)A(t)(t

t) , (21)
sendo o sinal superior (inferior) aplicavel para o caso de bosons (fermions).
Seguindo o mesmo desenvolvimento anterior, obtem-se que a representa cao espectral da
FG causal tem a forma
G
c
k
() =

A
k
()
+ i
+
B
k
()
+ i

, (22)
M. A. Gusmao IF-UFRGS - 2013 5
onde
A
k
() Z
1

nm
e

En
n|c
k
|mm|c

k
|n (

E
m
+

E
n
) ,
B
k
() Z
1

nm
e

En
n|c

k
|mm|c
k
|n ( +

E
m


E
n
) . (23)
Portanto, a representa cao espectral da FG causal tem duas partes: uma retardada (t > 0),
correspondente a excita coes do tipo partcula, e uma avancada (t < 0), correspondente a
excita coes do tipo buraco.
FG de temperatura ou de Matsubara
Como veremos no estudo dos metodos de calculo de FGs, e conveniente tratar em pe de
igualdade o tempo, que aparece na dependencia temporal dos operadores, e o inverso da
temperatura (), que aparece no calculo dos valores medios (fun cao de parti cao). Para isso
introduzimos um tempo imagin ario , denido no intervalo [0, ], tal que a evolucao
temporal de um operador nesse tempo imagin ario seja dada por
A() e

H
Ae

H
. (24)
Denimos a FG de Matsubara como a versao de tempo imagin ario da FG causal,
g
k
()

Tc
k
()c

k
(0) . (25)

E importante salientar que, no argumento desta funcao, esta denido no intervalo [, ],

pois trata-se, como vimos antes para tempos reais, de uma diferenca de dois tempos.
Representacao espectral para a FG de Matsubara
Atraves da representa cao espectral, vamos obter uma conexao entre a FG de Matsubara e
as FGs de tempo real denidas anteriormente.
Sendo denido em um intervalo nito, nao podemos fazer uma transformada de Fourier,
mas sim uma serie de Fourier.
Inicialmente, vamos obter uma propriedade importante de g
k
() que denir a o intervalo
relevante para o calculo das componentes de Fourier. Explicitando o ordenamento tempo-
ral, temos
g
k
() = ()c
k
()c

k
(0) + ()c

k
(0)c
k
() . (26)
Desenvolvendo a segunda media,
c

k
(0)c
k
() = Z
1
Tre

H
c

k
e

H
c
k
e

H
= Z
1
Tre

H
c
k
e

H
e

H
c

k
= Z
1
Tre

H
e

H
e

H
c
k
e

H
e

H
c

k
= c
k
( + )c

k
(0) , (27)
6 M. A. Gusm ao IF-UFRGS - 2013
vericamos que
g
k
( < 0) = g
k
( + ) . (28)
Para que esta ultima rela cao seja satisfeita, escrevendo g
k
() como uma serie de Fourier
na forma
g
k
()
1

n
e
in

G
k
(
n
) , (29)
e necessario que
e
in
= 1
n
= (2n + 1) , n = 0, 1, 2, . . . (30)
As quantidades
n
sao chamadas frequencias de Matsubara (fermi onicas).
A rela cao entre g
k
() e g
k
( + ) permite escrever os coecientes da serie, isto e, as
funcoes dependentes de frequencia, como uma integral no intervalo [0, ],

G
k
(
n
) =

0
de
in
g
k
() . (31)
Assim, apenas o termo correspondente a > 0 no ordenamento temporal contribui, e
podemos escrever

G
k
(
n
) =

0
de
in
c
k
()c

k
(0) . (32)
Mais uma vez, usamos formalmente a representa cao de energia do hamiltoniano completo
para calcular a media que aparece na ultima equa cao,
c
k
()c

k
(0) = Z
1

nm
e

En
e
(

En

Em)
n|c
k
|mm|c

k
|n . (33)
Portanto,

G
k
(
n
) = Z
1

nm
e

En
n|c
k
|mm|c

k
|n

0
de
[in(

Em

En)]
. (34)
A solucao da integral e

0
de
[in(

Em

En)]
=
1 + e
(

En

Em)
i
n
(

E
m


E
n
)
. (35)
Com isso, obtemos

G
k
(
n
) = Z
1

nm

En
+ e

Em

n|c
k
|mm|c

k
|n
i
n
(

E
m


E
n
)
. (36)

E evidente a semelhanca com a equa cao (14) para as FGs retardada e avancada. A unica
diferenca e no denominador, onde aparece i
n
em lugar de i.
M. A. Gusmao IF-UFRGS - 2013 7
Portanto, com a mesma funcao espectral denida anteriormente, equa cao (17), podemos
escrever uma FG generalizada, dependente de uma frequencia complexa z,
G
k
(z)

k
()
z
. (37)
Temos, entao, como casos particulares,
G

k
() = G
k
( i) , (38)

G
k
(
n
) = G
k
(i
n
) . (39)
Esta unica cao permite utilizar um metodo de calculo apropriado para obter um dos tipos
de FG, gerando as demais por continuacao analtica no plano complexo de z (frequencia).
Note que, ao contr ario das FGs de tempo real, a FG de Matsubara e analtica sobre o
eixo real de frequencia, tendo polos discretos sobre o eixo imagin ario. Sem entrar nos
detalhes matem aticos, mencionamos que existem teoremas que garantem a possibilidade
de realiza cao da continuacao analtica i
n
i.