IF sudeste MG, Campus Juiz de Fora

Aspectos Clssicos da Eletrodinmica de Carol-Field-Jackiw

Autor:

Paulo Roberto Fernandes Alves

Orientador:
Disciplina:
Curso:

Victor JosVsquez Otoya

Relatrio Final PIBIC

Licenciatura em Fsica

Juiz de Fora, 9 de julho de 2015

Aspectos Clssicos da Eletrodinmica de Carol-Field-Jackiw

Autor:

Paulo Roberto Fernandes Alves

Orientador:
Disciplina:
Curso:

Victor JosVsquez Otoya

Relatrio Final BIC

Licenciatura em Fsica

Juiz de Fora, 9 de julho de 2015.

Paulo Roberto Fernandes Alves

Victor JosVsquez Otoya(Orientador)

"It is impossible to explain honestly the beauties of nature's laws will no deep understanding of mathematics"

Agradecimentos
Ao prof. Dr. Victor JosVsquez Otoya, pela conana,presteza e incentivo ao longo desse ano.

Resumo
No presente trabalho, tem-se como objetivo investigar e apresentar alguns aspectos signicativos aspectos da
eletrodinmica de Carroll-Field-Jackiw (CFJ), alm de fazer a apresentao de alguns conceitos e mtodos
bsicos usados tanto na eletrodinmica usual, quanto no modelo com violao de simetria. Tal eletrodinmica
obtida via a implementao de campos de fundo (backgrounds), responsveis pela violao da invarincia
de Lorentz, e tal investigao tem incio na lagrangeana onde recuperamos as equaes de movimento, posteriormente chegamos s equaes de onda e tambm teorema de Poynting (todos os clculos usando apenas
mtodos matemticos bsicos de graduao). Ulteriomente, iniciamos, talvez a parte mais relevante do trabalho, a busca pelo propagador

hA A i,

que de grande importncia em uma teoria de campos, pois o clculo

da mesmo permite o estudo da consistncia de uma teoria e consequente a o possibilidade da elaborao de

uma teoria de campo quantizvel a partir do modelo fazemos isso a partir do estudo de interaes (amplitude
de espalhamento) em mecnica quntica. O objetivo aqui no analise efetiva e minuciosa da teoria, como
j dito anteriomante, com presente trabalho pretende-se demonstar uma maneira de apresentar a teoria de
forma mais simples e acessivel, tornando assim mais acessivel o entendimento de alguns dos pontos chaves
do modelo e suas diferenas em relao ao eletromagnetismo usual de Maxwell, e para tal buscamos metodos
matemticos que simpliquem a maioria dos calculos, todos metodos matemticos presentes no ambito da
graduao em fsica, at mesmo nas licenciaturas.
Palavras Chave: Violao de Lorentz, Eletrodinmica de Carroll-Field-Jackiw, solues clssicas.

Captulo 1

Introduo
Sem duvida uma das mais bem sucedidas teorias do sculo XIX, foi a teoria eletromagntica proposta por
James Clerk Maxwell em 1873Maxwell, que formalizou matematicamente a unicao entre eletricidade
e magnetismo, e entre eletromagnetismo e ptica, com a comprovao matemtica de que a luz era um
fenmeno provocado por oscilaes de campos magnticos e eltricos(Ondas eletromagnticas com velocidade

c = 299792458m/s).

A teoria eletromagnetica de Maxwell teve grandes grandes implicaes que a no

somente como teoria efetiva, mas tambm pelas consequencias posteriores a sua formulaco. E a consequencia
mais importante da T.E sem duvida a Teoria da Relatividade Restrita( T.R.R.) proposta por Albert
Einstein em 1905 , tal teoria advem tambem da nessecidade da obtenao de uma nova teoria cinemtica
capaz de contemplar de forma coerente fenmenos eletromagnticos assim como a Luz . Uma das principais
caractersticas desta teoria a exibilizao dos conceitos de espao e tempo, at ento tidos como entidades
absolutas.

Uma segunda, e ainda mais fundamental caracteristica desta teoria a implementaao de um

novo pricipio da relatividade, que fosse valido para todos os fenmenos da fsica, inclusive os de natureza
eletromagntica, e tal principio estaria em contraste com o principio da relatividade de Galileu, valido somente
para a mecnica newtoniana ( baixas velocidades,

u  c).

Em seu princpio da relatividade de Einstein

postula que toda a fsica deve ser invariante segundo um determinado grupo de transformaes de coordenadas
de uma mudana de referencial, e essas transformaes, so denominadas Transformaes de Lorentz, as quis
determinam o principio da indistinguibilidade entre referenciais j que a fsica deve ser a mesma para todos.
A T.R.R. j teve sua comprovaao experimental comprovada em diversos fenomenos, tais como efeito
Doppler relativstico, e a polarizao da luz emanada de galaxias distantes entre outros, e considerada uma
dais mais bem sucedidas teorias fsicas j formuladas pelo homem, pois at o presente momento no existem
fenmenos que contrariem tal teoria. E o principio da relatividade restrita impe a existncia de uma nova
simetria da natureza: a covarincia de Lorentz.

Tal simetria diz que, considerando as transformaes de

Lorentz e as perspectivas de diferentes referenciais inerciais, possvel que se escreva toda e qualquer lei
fsica da mesma forma matemtica( em qualquer referencial inercial).
Existem inmeras evidencias, conrmadas com elevados nveis de preciso, de que a covarincia de Lorentz
seja de fato uma simetria fundamental da natureza. Neste contexto, porem, h uma questao que ainda aguarda
por respectiva resposta, questo esta diretamente associada covarincia de Lorentz: resta vericar se esta
covarincia uma simetria exata ou aproximada da natureza, ou seja, deve-se ainda vericar at que ponto
esta simetria valida. Isto equivale a impor limites mximos para uma eventual quebra da SL.
Objetivando estabelecer um limite para a validade da covarincia de Lorentz nos mais diversos sistemas
fsicos, alguns tericos propuseram modelos onde a violao da SL admitida e controlada por alguns coecientes de quebra. Este limite mximo poderia ser entendido com uma faixa de tolerncia para a admisso da
violao da simetria de Lorentz (VSL), a ser estabelecida, obviamente, respeitando a precisao de resultados
experimentais conhecidos.

Neste sentido, o pioneiro trabalho foi concebido, no inicio da dcada de 1990,

a partir de uma cooperao entre Sean M. Carroll, George B. Field e Roman Jackiw . Neste trabalho, os
referidos autores pro- puseram um modelo terico, denido em (1+3) dimenses, concebido com base no eletromagnetismo de Maxwell mais um termo tipo Chern-Simons,

V A F , no qual V um background,

ao qual se atribui a violao de Lorentz. Dessa forma no presente trabalho busca-se apresentar de [
Mas antes de analisar os aspectos no modelo CFJ , faremos uma breve reviso desses mesmos aspectos

dentro da eletrodinmica usual, livre da presena dos campos de fundo no parte III, para apenas no parte
IV tratarmos do modelo de interesse direto do trabalho.

Captulo 2

Denies importantes
Aqui deniremos alguns pontos e identidades matemticas importantes, para que ganhemos tempo nos clculos posteriores clculos aqui realizados.
1. Am de simplicar os que aqui realizaremos tomaremos sempre o sistema de unidades atmicas, onde
todas as constantes fundamentas tem valores iguais a 1 (c

= 1).

2. Como estamos usando a base matemtica da relatividade restrita, usaremos a mtrica de Minkowiski.

( = diagonal {1, 1, 1, 1}).

3.

A = (, A1 , A2 , A3 ),

o quadri-vetor potencial eletromagntico, que contem os potenciais vetorial e

escalar.
4.

J = (, J1, J2 , J3 ),
movimento(Ji ).

F = A A ,

a quadri-corrente, que contempla distribuies da cargas estticas() , e em

o tensor de campo eletromagntico. Que se trata de um tensor de segunda ordem,

que contem todas as componentes dos campos eletromagntico. E podemos obt-lo da seguinte forma:F

d
d
dt A1 dx , que corresponde a componente
montar a seguinte matriz:

0
Ex
=
Ey
Ez

Ex do campo eltrico (E =
Ex
0
Bz
By

Ey
Bz
0
Bx

dA
dt

) .

01

Dessa forma podemos

Ez
By
.
Bx
0

Como j sabemos essa uma matriz do grupo SO(1,3), logo sua inversa seguinte forma

F = F .

Com esses denies em mos, agora podemos prosseguir na obteno dos aspectos tanto da eletrodinmica
usual, quanto da eletrodinamica de C-F-J.

Captulo 3

Eletrodinmica usual
Nesta seco faremos uma breve reviso dos aspectos mais relevantes da eletrodinmica usual, mesma eletrodinmica proposta por Maxwell, mas com seu formalismo melhorado ao longo do tempo, at chegar no
formalismo covariante (tensorial), que sera o formalismo adotado no presente trabalho.

3.1

Aspectos clssicos

Na teoria de Maxwell, temos o que chamamos de campos de Gauge ou de calibre, pois tal teoria invariante
perante uma transformao de calibre,

A A + ,

nas equaes de campo.

E obviamente tal teoria

preserva a covarincia de Lorentz, tendo em vista que tal simetria surge da necessidade, de uma conj. de
mudanas de coordenadas que preserve o E.M de Maxwell. Trataremos dos seguintes aspectos: Equaes de
campo, Equaes de onda, Teorema de Poynting.

3.1.1

Equaes de campo

Para iniciar tomemos a Lagrangeana do campo eletromagntico:

1
L = F F J A .
4

(3.1.1)

E como j sabemos as equacoes de Maxwell podem ser obtidas usando o Principio Variacional ou equao
de Euler-Lagrange para campos, e por uma questao de praticidade usaremos o segundo mtodo listado:

L
L
=
.
( A )
A

(3.1.2)

ter
Tomando agora

Realizando substituio da eq. (2.1) na eq. (2.2) podemos obter :

L
= F ,
( A )
L
= J .
A
Dessa forma podemos obter a seguinte equao:

F = J .

(3.1.3)

Que se trata da equao de Maxwell em sua forma tensorial e essa equao d origem as equaes de
Maxwell inomogneas(Lei de Gauss e Lei de Ampre). Vale lembrar que no formalismo manifestadamente
covariante as equaes homogneas no decorrem da Lagrangiana, mas da chamada identidade de Bianchi:

F = 0.
2

(3.1.4)

CAPTULO 3.

ELETRODINMICA USUAL

Onde:

1
F = F ,
2
Em que

(3.1.5)

o tensor dual,

A identidade de Bianchi depende apenas de uma propriedade geomtrica do espao-tempo, o tensor dual
e garante a inexistncia de monopolos magnticos, uma possvel violao dessa identidade e portanto uma
possibilidade de existncia de monopolos magnticos foi proposta por Dirac em 1931.
As equaes (2.3) e (2.4), so as equaes de Maxwell em sua forma tensorial. A eq. (2.3) d origem as
equaes no homogneas(presena de fontes), as leis de Gauss e de Ampre-Maxwell, j a eq. 2.4 da origem
as equaes homogneas(leis de Gauss para o magnetismo e Faraday). Podemos obter tais equaes por meio
de substituio uma substituio indicial da seguinte forma:
Tomando equao

F = J

, chamemos os ndices

de

0 e faamos o somatrio em .

Dessa forma

obtemos a seguinte equao:

0 F 00 + 1 F 10 + 2 F 20 + 3 F 30 = J 0 ,

(3.1.6)

x Ex + y Ey + z Ez = ,

(3.1.7)

correspondente :

que a lei de Gauss para Campos eltricos. De forma parecida podemos obter a lei de Ampre-Maxwell.
Agora tomando equao

F = 0

, e chamando os ndices

de

1,

e fazendo o somatrio em

obtemos:

0 F 01 + 1 F 11 + 2 F 02 + 3 F 31 = 0.

(3.1.8)

t Bx + y Ez z Ey = 0.

(3.1.9)

Que igual :

Que se trata da componente

da lei de Faraday, e de forma anloga podemos obter lei de Gauss para

o magnetismo.
Dessa forma as equaes de Maxwell adquirem seguinte forma:

E = ,

(3.1.10)

B t E = J,

(3.1.11)

B = 0,

(3.1.12)

E = t B,

(3.1.13)

que sem duvidas a formulao no eletromagnetismo( formulao vetorial ). Agora podemos fazer uma
breve interpretao dessas equaes, equao (2.10) nos mostra como uma distribuio esttica de carga
pode gerar um campo eltrico com linhas divergentes, a equao (2.11), demonstra como a variao temporal
de um campo eltrico, e uma distribuio de corrente, geram um campo magntico.

A equao (2.12),

demonstra a inesistncia(experimental) de cargas magnticas, e a (2.13), diz que a variao temporal de um

campo magntico gera um campo eltrico. Estas equaes foram originalmente escritas por Maxwell na forma
de oito equaes e podem ser encontradas na referencia . Na verdade Maxwell utilizou smbolos diferentes,
e os usados acima correspondem ao uso moderno.

Ao escrever estas equaes, Maxwell sintetizou todo o

conhecimento da poca acerca dos fenmenos eltricos e magnticos na forma de um conjunto de equaes
relativamente simples.

Apenas esse fato j mereceria destaque, mas o mais importante que partindo

destas equaes Maxwell pode ir mais adiante e antecipar do ponto de vista puramente terico descobertas
experimentais que s viriam anos depois pelas mos de Heinrich Hertz.

CAPTULO 3.

ELETRODINMICA USUAL

Paralelamente (na verdade um pouco antes) ao descobrimento das equaes de Maxwell desenvolvia-se na
Matemtica uma ferramenta chamada "clculo vetorial" desenvolvido principalmente por Oliver Heaviside,
e Josiah Gibbs. Utilizando este clculo vetorial, as equaes de Maxwell podem ser escritas da forma como
conhecemos.

3.1.2

Ondas eletromanticas

Outra importante aspecto das equaes da eletrodinmica clssica, so as equaes de onda ,que so obtidas

= 0,J = 0),

a partir das equaes anteriores sem fontes(

mas como podemos ver as equaes acima,

so equaes diferenciais de primeira ordem, logo devemos torn-las equaes de segunda ordem, para tal
devemos diferencia-las novamente, da seguinte forma:

( B t E = 0),

(3.1.14)

( E = t B),

(3.1.15)

agora podemos tomar identidade vetorial,

( V) = ( V) 2 V,

e substituir nas equaes

(2.14) e (2.15), da seguinte forma:

( E) 2 E t ( E) = 0,

(3.1.16)

( B) 2 B + t ( B) = 0.

(3.1.17)

Como sabemos, numa situao sem fontes,

E = 0

B = 0,

e fazendo as devidas substituies e

manipulaes, podemos assim obter as equaes de onda para os campos

B:

2 E t2 E = 0,

(3.1.18)

2 B t2 B = 0,

(3.1.19)

que podem ser simplicadas por meio da introduao de um operador diferencial chamado D'alambertiano,
que tem a forma,

 = (2 t2 ).

Ficando assim:

E = 0,

(3.1.20)

B = 0

(3.1.21)

E essas equaes so de vital importncia para o entendimento do eletromagnetismo e da ptica, pois elas
demostraram teoricamente, o que Hertz demonstraria anos depois experimentalmente.O que levou Maxwell,
a dizer  Tenho fortes razoes para crer que a luz de fato uma excitao dos campos eltricos e magnticos

se propagando atravs ter .

A , e para tal devemos

= A A , temos que:

Outra forma interessante para as equaes de onda, fazendo uso do potencial

tomar novamente a equao (2.3),

=J

, usando a denio

A A = J .

(3.1.22)

2
Como j sabemos, na notao covariante, =  = ( t ). Outro fato importante ser considerado

o chamado calibre de Lorentz. A condio que A = 0. Isso no resolve o problema da xao de

calibre, pode-se ainda fazer uma transformao calibre A A + , onde uma funo escalar (ou

seja, uma funo escalar que satisfaz = 0 , a equao de um campo escalar sem massa). Adotando a
chamada condio de Lorentz, temos:

A = J .

(3.1.23)

Essa equao relativamente simples nos permite a obteno de importantes solues para os campos.
Solues como as leis de Coulomb e Biot-Savat, assunto que retomaremos mais frente.

CAPTULO 3.

3.1.3

ELETRODINMICA USUAL

Conservao da energia(Teorema de Poynting):

Em eletromagnetismo, o teorema de Poynting, desenvolvido por John Henry Poynting, expressa a lei de
conservao da energia.

Estabelece que a diminuio de energia eletromagntica numa regio se deve

dissipao de potncia em forma de calor (por efeito Joule) e ao uxo em direo ao exterior do vetor de
Poynting.
Relaciona a derivada temporal da densidade de energia eletromagntica com o uxo de energia e a taxa
em que o campo realiza um trabalho. Pode ser representada mediante a eq. de continuidade:

t U + S = J E,
U

onde

a densidade de energia,

o vetor de Poynting,

(3.1.24)

a densidade de corrente e

o campo eltrico.

Dado que o campo magntico no realiza trabalho, a parte direita da equao inclui todo o trabalho realizado
pelo campo eletromagntico.Essa equao pode ser obtida por meio das equaes de campo de Maxwell,
atravs de manipulaes algbricas. Primeiramente tomemos eq. (2.11), multiplicando-a escalarmente por

E:
E B Et E = EJ,
tomando identidade vetorial

(3.1.25)

E( B) = (E B) + B ( E), e realizando algumas substituies,

temos que:


(E B) t


onde

E2
2

E2 B2
+
2
2


= 0,

(3.1.26)

B2
, corresponde a densidade de energia do campo eletromagntico, e
2

(E B)

o chamado

vetor de Poynting.

3.2

Calculo do propagador

O estudo da evoluo temporal de um sistema e o calculo dos observveis relevantes pode ser feito recorrendo
a teoria dos propagadores. Como veremos, o propagador em Mecnica Quntica dene-se como um elemento
de matriz do operador evoluo temporal entre dois estados do sistema, mas a teoria e conceitualmente
baseada no mtodo das funes de Green para resolver equaes diferenciais no homogneas.
Para que seja averiguada a possibilidade de realizar uma quantizao consistente deste modelo deve se
averiguar trs aspectos bsicos de uma teoria. So eles: estabilidade, causalidade e unitariedade. Para que
seja efetivada a referida averiguao, imprescindvel o calculo do propagador
de gauge

hA A iassociado

ao campo

A .

Para obteno de tal ferramenta devemos partir da ao caracterstica do modelo:



1

dx F F J A .
4
4
acima na forma S =
d xA
A .
4

S=
Objetiva-se agora escrever a equao

(3.2.1)
Onde

chamado o

operador de onda, por razoes que cam claras quando observarmos a eq. (2.23). Para o calculo do propagador
necessria a introduo de um termo de xao de calibre para que o mesmo seja determinado de forma
unvoca pois o operador de onda tem auto valores nulos, portanto ele no tem inversa.
calculo do propagador requer a inverso
calibre

1
2

( A )

. Assim a

E o processo de

, ento podemos considerar o seguinte termo de xao de

ca da seguinte forma:

S=

dx

Colocando agora os campos de gauge

S=

dx4

1
F F J A
4

1
2
( A ) .
2

(3.2.2)

em evidencia, e desprezando as fontes, temos como consequncia:

1
1
( A A ) ( A A ) +
( A ) ( A ) .
4
2

(3.2.3)

CAPTULO 3.

ELETRODINMICA USUAL

Escrevendo a equao na forma

1
S=
4

S=

d4 xA
A ,temos:

d4 xA ( + + + ) A +

1
( A ) ( A ) ,
2

(3.2.4)

e consequentemente:

S=

1
4




d4 xA 
+
A .



(3.2.5)

A , j com o Gauge xing , porm para que as operaes com

 + 
esse operador necessrio denir, um set de operadores projetores(O nome operadores projetores advem, da

propriedade que $
e
, tem de projetar A , nos seus setores transverso e longitudinal, respectivamente.),
Onde

= 

para o caso da eletrodinmica usual, dois operadores, e podemos deni-los da seguinte forma:

$ =
=

,


(3.2.6)


.

Tomando esses operadores podemos escrever o operador de onda

=  +

(3.2.7)

,

da seguinte forma:

$
.

(3.2.8)

Mas qual a importncia do operador no calculo do propagador? Indispensvel, pois como j foi comentado
anteriormente, o mtodo dos propagadores utilizado para o estudo da evoluo temporal de um sistema e o
calculo dos observveis relevantes do mesmo conceitualmente baseada no mtodo das funes de Green (
uma reviso bem feita de tal mtodo pode ser encontrada na referencia ) para resolver equaes diferenciais
no homogneas, e do mtodo de Green sabemos que:

(x) = J(x).
Onde

um operador diferencial qualquer,

= H + p

(3.2.9)
um campo (escalar ou vetorial ) e

uma

distribuio de corrente ou de carga. A soluo desse tipo de equao diferencial se divide em duas partes, a
soluo homognea
obter a soluo

H (x) = 0

e a parte de no homognea (particular)p

devemos multiplicar a eq. diferencial por

= J .
Ento na
1 1 p = 1 J , obtendo:

inteno de

p = 1 J.

(3.2.10)

Pela denio da funo de Green temos que :

p (x) =
Fazendo

p = 1 J(x),

J(x) =

G(x y)J(y)dy.

(3.2.11)

chegamos :

G(x y)J(y)dy = J(x),

G(x y) = (x y),onde (x y) a funo delta de Dirac, pois
y)J(y)dy = J(x), por tanto para achar a funo de Green temos apenas que
logo

(3.2.12)
pela denio do delta

(x

resolver:

x G(x y) = (x y).

(3.2.13)

G(x y) = 1
x (x y)

(3.2.14)

Logo:

ou simplicando:

CAPTULO 3.

ELETRODINMICA USUAL

G(x) = 1
x

(3.2.15)

Portanto conclumos, que o mtodo de Green de solues de EDP, consiste primeiramente em encontrar
a funo de Green

(G(x)),

o que nada mais que o inverso do operador diferencial

(1
x ),

ento para o

calculo do propagador devemos fazer o mesmo procedimento de inverter o nosso operador de onda, tendo em
vista em teoria de campos prova-se por meio do teorema de resduos, que o propagador
ento tudo que temos que fazer agora calcular a inversa do operador

M = a + b$ ,

,

hA A i = iG(x),

uma matriz com a congurao

de tal maneira que:

M
= .

(3.2.16)

A partir de agora indispensvel, que se compreenda as propriedades multiplicativas dos operadores

e
, e para tal montamos a seguinte tabela:

$
$
0

Tabela 1 de propriedades multiplicativas operadores projetores.

Outro aspecto muito importante sobre esses operadores, o fato de eles serem chamados operadores
completos, o que signica que a soma deles resulta na mtrica ou seja

possamos encontrar a matriz M , devemos resolver:

(a
O que resulta em

b$ )




2$
+

a + 0 + 0 + b $ = + $ ,

+ $ = ,

ento para que

= + $ .

dai extramos que

(3.2.17)

a = 1,e b = ,

portanto a

matriz de transformao toma a forma:

M = + $ .

(3.2.18)

Como j havamos comentado anteriormente inversa do operador

(M ),

o propagador:

hA A i =  + 2$ .

(3.2.19)

Como ja havamos dito anteriormente o propagador de vital importncia em uma teoria, pois atraves
dele , que se faz o estudo da consistncia estudo da mesma, fazendo uso das relaes de disperso.

Mas

obviamente, para a obteno de uma relacao de disperso escrita de forma conveniente ( em termos do
momento

k,

e da frequncia

),

deve-se fazer uso do

ansatz

de onda plana:

A (x) = A (k)eikx ,
na qual,

k = k = (, k).

(3.2.20)

E implementando a eq. (2.46), na eq. (2.45), surge o propagador

hA (k)A (k)ido

modelo, agora escrito no espao dos momentos:

hA (k)A (k)i = k 2 + k 2 $ .

(3.2.21)

Como j dito ulteriormente o propagador de grande importncia para vericao da consistncia

(possibilidade de quantizao) de uma teoria. No caso da teoria de Maxwell j sabemos que isso que ela
quantizvel, pois obviamente ela causal, estvel e unitria.

3.3

Obteno de solues clssicas via mtodo de Green

As solues clssicas que nos referimos aqui so leis ja bem conhecidas no mundo da fsica, as leis Coulomb e
Biot-Savat. Ou seja, devemos obter as solues para a equao
de Lorentz,

A = 0),

A = J (j

imposta a condiao de calibre

a ferramenta que usamos nesse caso, a Funo de Green. Como j vimos na seo

anterior, obter a funo de Green, consiste em inverter o operador da eq. diferencial parcial ser resolvida,
e como no calculo do propagador devemos escrever a funo de Green no espao dos momenta. J sabemos
que

=
1 .
G(k)
k

CAPTULO 3.

ELETRODINMICA USUAL

Mas o objetivo aqui calcular

G(r),

ento devemos tomar a seguinte transformada de Fourier

G(k)
=
.
kk
Mas o objetivo aqui calcular

G(x),

ento devemos tomar a seguinte transformada de Fourier:

dk 4
G(k)eikx .
(2)4

G(x) =
Sabendo que

k = (k0, k)

x = (x0 , x),
G(x) =

(3.3.1)

(3.3.2)

podemos reescrever essa integral da seguinte forma:

d ke

(2)

ikx

dk0

ik0 x0

e
dk0 2
= 2iRes
k0 k 2

eik0 x0
.
k02 k2

eik0 x0
k02 k2

(3.3.3)


.

(3.3.4)

Como j sabido sobre o calculo complexo, a segunda integral pode ser resolvida via teorema dos resduos,
desde que se dena um caminho fechado

de integrao. Esse um processo de intragraao por nmeros

complexos, esse calculo completo pode ser encontrado na , mas por hora vamos nos ater a soluo esttica
para o potencial escalar

A0 onde

minha funo de Green tem a seguinte forma:

G(x) =
onde

x = r r0 ,dessa

E como j foi discutido

J0 =

(3.3.5)

forma:

G(r r0 ) =

1
|x|

A0 = =

1
.
|r r0 |

G(r r0 )J(r0 )dr0 ,

e como:

J0 (r0 )dr0 = q ,

onde

a carga pontual

a densidade de carga de uma distribuio qualquer no espao. Dessa forma o potencial ca assim:

Que integrando em condies estticas(

A0 = =

q
,
|r r0 |

E = ),

nos da a lei de coulomb:

E=

q
|r r0 |

De forma semelhante podemos obter o potencial vetor

(3.3.6)

3 r.

(3.3.7)

A.

Dessa forma podemos notar que a funo de

Green de vital importncia para o calculo de solues clssicas de qualquer modelo de eletrodinmica, e
isso no diferente com o Modelo C-F-J.
Os clculos feitos at aqui foram meramente uma apresentao dos mtodos matemticos utilizados no
trabalho, fazendo o uso da eletrodinmica usual.
mtodos na eletrodinmica de C-F-J.

partir do prximo capitulo utilizaremos esses mesmo

Captulo 4

Eletrodinmica C-F-J
O objeto de estudo deste captulo um subproduto do setor de gauge do Modelo Padro Estendido:

eletrodinmica de Carroll-Field-Jackiw (C-F-J). O setor de gauge (puro) do MPE amplamente considerado

com dois objetivos principais: (i) a determinao de novos efeitos eletromagnticos originados pelo background
e (ii) a imposio, via dados experimentais, de limites superiores rigorosos sobre a magnitude deste campo
de fundo, e de forma pioneira Sean M. Carroll, George B.Field, Roman Jackiw, publicaram em 1990 um
artigo onde consideraram o eletragnetismo de Maxwell na presena do termo
pelas violaes das simetrias de Lorentz e CPT (CPT mpar).

V A F ,

responsvel

Desta forma, os autores obtiveram um

modelo de eletrodinmica, denominado de eletrodinmica de Carroll-Field-Jackiw (CFJ), invariante sob as

transformaes de gauge (calibre).
E nesse cenrio de eletrodinmica que o presente trabalho se inicia, e nessa seo exploraremos os aspectos
clssicos desse modelo, partindo das equaes de campo e chegando as equaes de onda, e nalmente ao
teorema de Poynting. E ulteriormente, introduziremos o calculo do propagador de uma maneira um pouco
diferente daquela utilizada no capitulo III, fazendo apenas o uso das series geomtricas.

4.1

Aspectos Clssicos

Aqui reproduziremos os mesmos clculos feitos no capitulo III, porem no modelo C-F-J, e como no capitulo
anterior detalhamos os mtodos usados, no presente capitulo omitiremos propositalmente alguns passos nos
clculos. Vale lembrar que tal teoria tambm invariante perante uma transformao de calibre,

A A +,

nas equaes de campo.

4.1.1

Equaes de campo:

Para iniciarmos tal analise partimos da densidade lagrangeana do campo de Carol-Field-Jackiw:

1
1
L = F F V A F + J A .
4
4

(4.1.1)

As equaes de Maxwell estendidas, equaes de movimento da eletrodinmica de C-F-J, so obtidas via a

equao de Euler-Lagrange:

L
L
=
.
( A )
A

A partir da Eq.(3.2), tm-se:

L
= F ,
( A)
L
1
= V F + J ,
A
4
9

(4.1.2)

CAPTULO 4.

ELETRODINMICA C-F-J

10

resultados que, ao serem substitudos na Eq.(2), implicam em:

F + V F = J ,

(4.1.3)

F = 0.

(4.1.4)

A Eq.(3) a equao de Maxwell modicada (forma tensorial) prevista pela eletrodinmica de C-F-J. Vericase a presena explcita do campo V na Eq.(3). E a eq. (4) a Identidade de Bianchi.
Nestas equaes, foram usadas as seguintes denies:

F = A A ,

sendo

F o

tensor do campo

1
F = F ,
2

eletromagntico; F
o tensor dual

o smbolo de Levy-Civita escrito em 4 dimenses.

Maxwell,escritas em termos dos campos

(4.1.5)

(4.1.6)
do campo eletromagntico, enquanto

A Eq.(3.4) conduz forma explicita das equaes de

( onde (3) d origem as equaes (7)e (8) e a eq.

(4) s

equaes (9)e (10):

E + v B = ,

(4.1.7)

B t E + v0 B v E = J,

(4.1.8)

B = 0,

(4.1.9)

E = t B,
As Eqs.(7) e (8) so, respectivamente, as leis de Gauss (na qual
(na qual

(4.1.10)

a densidade de carga) e Ampre

a densidade de corrente) estendidas. Por conta da presena dos campos de fundo, impossvel

dissociar os campos eltrico e magntico. Nesta situao, uma densidade carga

ser no somente fonte do

campo eltrico, mas tambm do campo magntico. O que pode ser visto claramente observando Eq.(7).
De forma anloga podemos observar a mesma situao na eq. (8), onde a densidade de corrente

,gera no

somente campo magntico, mas tambm campo eltrico. E quando consideramos uma situao em que no
existam fontes (

= 0 e J = 0), possvel notar nas eq.

(7) e (8) que campo magntico e eltrico atuam como

fontes.

4.1.2

Ondas eletromagnticas:

Outra soluo clssica ser explorada so as ondas eletromagnticas, e tais solues podem ser obtidas
manipulando as equaes (8) e (10) da seguinte forma:

( B t E + v0 B v E = J),

(4.1.11)

( E = t B),

(4.1.12)

obtm-se as equaes de onda para os campos

Onde

,respectivamente(com

=0

J = 0)

B + v0 ( B) = (v E),

(4.1.13)

E + t (v E) = (v B) + v0 t B.

(4.1.14)

o operado D'alembertiano Nas eq. de onda podemos notar da mesma forma que nas equaes de

campo, a impossibilidade de separarmos

de

ou seja no linearidade das equaes.

CAPTULO 4.

4.1.3

ELETRODINMICA C-F-J

11

Conservao da energia(Teorema de Poynting):

Com as equaes de campo, em mos possvel agora explorar outro ponto importante de qualquer teoria
eletromagntica, sua conservao de energia. E analogamente a ao que se faz na teoria usual de Maxwell,
vamos usar o teorema de Poynting. Primeiramente tomemos eq. (8), multiplicando-a escalarmente por

E B Et E + v0 EB Ev E = 0)

E:

(4.1.15)

Tomando a seguinte identidade vetorial :

E( B) = (E B) + B ( E),
E fazendo algumas substituies simples, temos que:


E2 B2
+
(E B) t
= v0 BE,
(4.1.16)
2
2
 2

E
B2
Onde o termo (E B) o vetor de Poynting, e o termo t
+
corresponde a densidade de energia
2
2
do campo eletromagntico, no entanto o termo v0 BE no se encaixa em nenhuma parte da equao. Ento


nesse termo, necessrio a seguinte substituio:

E =
onde

o potencial vetorial e

dA
,
dt

potencial escalar. E atravs de uma manipulao algbrica relativamente

simples chegamos a seguinte forma:

(E B +

v
B A) t
2


E 2 B 2 v0
+
+ A B = 0.
2
2
2

(4.1.17)

v0
2 A B , E a parte vetorial da eq. de
v
continuidade ganhou o termo
B

A
. O que demonstra de forma clara, a inuencia do campo de fundo
2
tanto na energia quanto na parte vetorial do campo eletromagntico, portanto se por acaso a presena de

Note que agora a densidade de energia foi incrementada pelo termo

tal

background

fosse observada em algum momento seria nessessaria a modicaao das Leis Classicas do

eletromagnetismo.

4.2

Calculo do propagador:

Para que seja averiguada a possibilidade de realizar uma quantizao consistente deste modelo deve se averiguar trs aspectos bsicos de uma teoria. So eles: estabilidade, causalidade e unitariedade. Para que seja
efetivada a referida averiguao, imprescindvel o calculo do propagador
gauge
.

hA A iassociado

ao campo de

A .

Em teoria de campos o mtodo usado para esse calculo o dos operadores projetores, no entanto o

presente trabalho tem como objetivo a obteno de tal ferramenta por meio de um mtodo alternativo e

S caracterstica do modelo:


1
1
4

(4.2.1)
d x F F V A F + J A .
4
4
4
(18) com a forma S =
d xA
A , onde o termo
o chamado

simples , as series geomtricas. O propagador pode ser obtido partir a ao

S=
Objetiva-se aqui escrever a eq.

operador de onda. E como j conhecido na eletrodinmica usual o calculo da funo do propagador requer
a introduo de um termo de xao de calibre para que o memo seja determinado de forma unvoca pois
o operador de onda tem auto valores nulos, portanto ele no tem inversa. E para a Lagrangeana de C-F-J,
acontece o mesmo, ento podemos considerar o seguinte termo de xao de calibre

1
2

( A )

. Assim a

ca da seguinte forma:

S=

1
1
d x F F V A F + J A
4
4
4

1
2
( A ) .
2

(4.2.2)

CAPTULO 4.

ELETRODINMICA C-F-J

12

Logo, manipulando a equao (19) para chegarmos a forma

S=

d4 xA
A

fcil ver que nosso operador

ca assim:





1
V

=  1
+
.





1

Porm matematicamente falando no podemos usar essa notao

mada de Fourrier para que tenhamos ao invs de

(x)

(4.2.3)

 , ento necessrio aplicar a transfor
(k)( espao dos momenta). Apos tal

tenhamos um

transformao o operador de onda ca com a seguinte forma:

n





1 k k
V k

(k)
= k 2 1
+
i
,

k2
k2

como podemos ver

= ik .

Pela denio da funo de Green, temos que

(4.2.4)

1 (k).
hA (k)A (k)i

Ento

tudo que temos que fazer para encontrar a funo de Green inverter o operador de onda. A forma mais

M
= , porm muitas vezes encontrar a

matriz M , requer um arcabouo matemtico um pouco mais elaborado. Logo neste trabalho pretendemos
inverter esse operador de uma forma diferente, usando a serie geomtrica e para isso tomaremos a seguinte
usada de realizar essa inverso, atravs da seguinte relao

relao:

1

= + + 2 + 3 ....,

(4.2.5)

onde:


=
Realizando a as operaes de

S = i V k2k ; $

k k
+ S
k2

2 , 3 , 4 ...etc., precisamos
k k
k2 ; $

denir os seguintes operadores:

S = i
$

(4.2.6)

V k
k2

(4.2.7)

k k
k2

(4.2.8)

$
S S f =

Onde

S, $, , , ,

(4.2.9)


1  2 2
V k 2 2 $ + + k 2
k4
V k

(4.2.11)

V k

(4.2.12)

V k

(4.2.13)

so chamados operadores projetores.

E suas propriedades multiplicativas podem ser

observadas na tabela seguir:

$
$
0
0

k2

S
0
$
k2

S
0
S
f
0
0
0

(4.2.10)

$
$
0

V 2 k 2 $
V 2

0
0
k 2

k2
k2
0

V 2
V 2

CAPTULO 4.

ELETRODINMICA C-F-J

13

Tabela-1.lgebra dos operadores projetores.

Com essa propriedades em mos agora podemos inverter o operador

:



1 (k) = k 2 + + 2 + 3 .... ,


note que nesse caso usamos

ao invs

(4.2.14)

porm ambos, nesse caso tem o mesmo signicado.

E aps

desenvolvermos os termos dessa srie de potencias at o grau 8 temos a seguinte congurao:

1

1
{
k2


1




 2 2



 2 2
V k
V k
+
...

+
1

+
...
S +
+ ... $ +

k4
k4


 2 2



 2 2



 2 2

 2
V k

V k

V k
$
1
+
...
+
1

+
...

+
...
}
4
4
4
4
4
k
k
k
k
k
k4
(4.2.15)
onde

= + .

Como possvel ver existe uma srie geomtrica associada a cada operador projetor.

Determinando a convergncia de cada uma dessas sries, nosso operador

1

1
= 2
k

1 (k),

adquire a seguinte forma:


 2 2


 2 
 2
 
 2

V k

k
1+
+
$ +
S +

.
H
H
H
H
H
(4.2.16)

Onde a

2 2

H = k V k + Lembrando

hA (k)A (k)i =

k 2 (k 4

que a funo de Green

1 (k),
hA (k)A (k)i =

logo:

 4




1
k + 2 + (k 4 V 2 k 2 + ) 2 $ + k 2 S + .
2
2
V k + )
(4.2.17)

Deve se ressaltar que apesar do mtodo de obteno do propagador no ser o mtodo usual, ainda sim ele
eciente , pois o propagador acima esta de acordo com os calculados nos artigos . Dessa forma se introduz
uma maneira mais didtica de apresentar o calculo do propagador. Vale resaltar ainda que a funao de Green
correspondente ao modelo, apenas o propagador saturado com uma 4-corrente, isso pode ser obtido via
imposiao do calibre de Lorentz,

A = 0,no

principio do calculo.

Com o propagador em mos possvel obter varias informaes relevantes sobre a teoria. Como foi dito
anteriormente, para que se possa validar uma teoria como uma possvel teoria quntica de campos efetiva,
ela deve respeitar trs aspectos essenciais : unitariedade, causalidade e estabilidade , e para testar a validade
desses trs princpios devemos obter as relaes de dispersos via analise dos polos do propagador. No presente
trabalho o calculo sera omitido, devido ao tempo reduzido da apresentao oral. Mas vale a pena comentar
que somente para um

background do tipo espao V = (0, v), teoria pode ser dita estvel, causal e unitria.

Tal resultado tambm pode ser encontrado na referencia.

Captulo 5

Resultados e discusso:
Nessa seo pretendemos comparar os resultados obtidos pela eletrodinmica de Carol-Field-Jackiw, com os
resultados da eletrodinmica de Maxwell. Para comear tal anlise tomemos as equaes de campo de cada
um dos modelos.

Para C-F-J temos:

B t E + v0 B v E = J; E + v B =

, que so respectivamente a

lei de Ampre Maxwell modicada , e a lei de Gauss modicada.

Para Maxwell temos:

B t E = J; E = ,

que so respectivamente a lei de Ampre Maxwell,

e a lei de Gauss.
Note que que no colocamos a lei de Farada nem lei de Gauss magntica, pois elas no provm da Lagrangeana,
e sim da identidade de Bianchi, uma denio que s depende do tensor dual eletromagntico.Porm detalhes
interessantes podem extrados das duas primeiras equaes.

Um coisa que ca clara a importancia do

Background na criao de uma nova fonte, mesmo sem a presena de

ou J.

Deve ser observado tambm

a no linearidade das equaes de C-F-J, uma vez que campo magntico e campo eltrico no podem ser
separados. Outra diferena relevante est nas equaes de onda:

Para C-F-J, temos :B

+ v0 ( B) = (v E); E + t (v E) = (v B) + v0 t B.

Para Maxwell temos :B

= 0, E = 0.

Note que as equaes para C-F-J, no so lineares, ou seja por mais que se tente, se
ter somente um dos campos (Eou

B),

v6= 0,

a equao nunca

como ocorre na eletrodinmica usual. Agora comparemos a equao

de continuidade do teorema de Poynting:

(E B + v2 B A) t

Para C-F-J temos :

Para Maxwell temos :

(E B) t

E2
2

E2
2

B2
2

B 2 v0
2 + 2 A


B = 0.

= 0.

At mesmo na equao de continuidade notamos outra implicao terica do

background observvel, o campo

de fundo tem inuencia direta na densidade de energia( primeiro termo) do campo eletromagnetico, para o

V = (v0 , 0)( background tipo tempo). O mesmo podemos observar

termo), onde V
= (0, v)( tipo espao), contribui tambm de forma efetiva,
na direo do background, ao vetor S.
caso de

14

no vetor de Poynting(segundo
adicionando uma componente

Captulo 6

Concluso :
O Modelo Padro Estendido (MPE) um cenrio terico no qual as investigaes sobre violaes das simetrias de Lorentz e CPT sao desenvolvidas. Neste nterim, a identicao de violao da invarincia de Lorentz
no Modelo Padro usual representa um sinal (indicio) acerca das caractersticas de uma teoria (mais) fundamental, valida na escala de altssimas energias (escala da GUT). A prescrio de averiguao consiste em
agregar termos responsveis pela violao da invarincia de Lorentz nos diferentes setores do Modelo Padro,
prevendo, a posteriormente, possveis alteraes nas caractersticas de diversos sistemas fsicos. Finalmente,
via a comparao entre estas previses e dados experimentais minuciosos, resulta a imposio de limites
superiores sobre magnitude dos coecientes responsveis pela violao. Os limites assim obtidos, sublinha-se,
so extremamente rigorosos, uma vez que a invarincia de Lorentz gura amplamente (com grande nvel de
preciso) valida.
Este trabalho foi desenvolvido no mbito do Modelo Padro Estendido. Aqui, contemplou- se a eletrodinmica de Carroll-Field-Jackiw (CFJ), subproduto do setor de gauge puro do MPE(

k + V )

, no

intuito de vericar qual a inuencia da violao da simetria de Lorentz em alguns aspectos deste setor. Dando
enfase aos aspectos Clssicos ( mais presentes no mbito da Graduao em Fsica).
Outros aspectos que podem ser ainda muito explorados em trabalhos futuros, so as solues clssicas
, onde poderamos observar de forma clara a inuencia do background em leis simples como Coulomb e
Biot-Savart. Outro ponto importante a ser averiguado no futuro so as relaes de disperso caractersticas
do modelo, e tal averiguao tem inicio na analise dos polos do propagador

hA A i(

4.4), dessa forma poderemos obter os modos de propagao associados aos plos.

obtido na subseco

Obtidas essas relaes

de disperso podemos determinar a estabilidade da teoria, ou seja a possibilidade de a partir do modelo

formularmos uma teoria quntica de campos efetiva. E para tando como j foi comentado deve se investigar
trs aspectos:
1. Estabilidade de modos: objetiva a identicao dos modos associados a valores complexos de energia,
e encontro de algum modo de propagao com essa caracteristica impossiblitaria interpretao fsica
dos quanta por eles descritos.
2. Causalidade de modos: objetiva estabelecer os modos causais(associados a transmisso de sinais com
velocidades inferiores da luz) e no causais de uma teoria. Como modos no causais temos os chamados
sinais taquionicos ou superluminais, que levam violao do princpio da causalidade, e tal violao
indejevavel, pois impossibilita a elaborao de uma TQC consistente.
3. Unitariedade de modos: est relacionada norma dos estados denidos no espao de Hilbert, quando
todos os estados exigem norma quadrtica positiva, teoria dita unitaria.
Mas tal analise omitida nesse trabalho pois no foi o produto de interesse dos autores, porm esse procedimento pode ser encontrado de forma bastante clara na referencia
Mas o ponto de destaque do presente trabalho o fato de os mtodos de clculo realizados no necessitarem dos mtodos matemticos complexos usados na teoria quntica de campos usual, fazendo com que este
trabalho possa ser uma maneira alternativa de introduzir novos teorias eletromagnticas na disciplina eletrodinmica clssica para os cursos de graduao, e at mesmo em licenciaturas, podendo dar ao graduando em

15

CAPTULO 6.

CONCLUSO :

16

fsica uma formao ainda mais rica, tendo em vista que esse modelo de eletrodinmica uma teoria recente
e com varias aplicaes em fsica terica.

Referncias Bibliogrcas
Carroll, Sean M./Field, George B./Jackiw, Roman:

Limits on a Lorentz- and parity-violating modi-

cation of electrodynamics. Phys. Rev. D, 41 Feb 1990, 12311240

10.1103/PhysRevD.41.1231i

hURL: http://link.aps.org/doi/

Casana, Rodolfo/Ferreira Jr, Manoel M/Rodrigues, Josberg S:

Lorentz-violating contributions of

the Carroll-Field-Jackiw model to the CMB anisotropy. Physical Review D, 78 2008 Nmero 12, 125013

Casana, Rodolfo/Ferreira Jr, Manoel M/Santos, Carlos EH: Classical solutions for the Carroll-FieldJackiw-Proca electrodynamics. Physical Review D, 78 2008 Nmero 2, 025030

Colladay, Don/Kostelecky, V Alan:

CPT violation and the standard model. Physical Review D, 55 1997

Nmero 11, 6760

Dirac, Paul A. M.:

Quantised singularities in the electromagnetic eld. Proc. Roy. Soc. Lond. A133 1931,

6072

Einstein, Albert et al.:

On the electrodynamics of moving bodies. Annalen der Physik, 17 1905 Nmero 10,

891921

Jackson, John David:

a edio. New Jersey, USA: John Wiley & Sons, Inc.,

Classical Electrodynamics. 3.

1991

Maxwell, James Clerk:

A treatise on electricity and magnetism. Volume 1, Clarendon press, 1881

17