Revista Brasileira de Ensino de Fsica, vol.

38, n 3, e3312 (2016) Artigos Gerais

www.scielo.br/rbef cbnd
DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Licenca Creative Commons

Representacoes da Equacao de Dirac em 1+1 Dimensoes

Representations of the Dirac Equation in 1+1 Dimensions

Andrei Smirnov, Antonio Jorge Dantas Farias Jr.

Departamento de Fsica, Universidade Federal de Sergipe, Sergipe, Brasil.

Recebido em 11 de marco de 2016. Revisado em 5 de abril de 2016. Aceito em 11 de abril de 2016

Neste trabalho descrevemos uma classificacao geral das representacoes da equacao de Dirac em
1+1 dimensoes. Na classificacao sao includas as representacoes nas quais cada matriz de Dirac , e
associada a uma unica matriz de Pauli. Esta classificacao inclui 6 representacoes principais. A inclusao das
representacoes com sinais modificados das matrizes de Pauli aumenta o numero de representacoes distintas
ate 24. Determinamos as transformacoes unitarias entre todas as representacoes na forma explcita. O
estudo da estrutura do conjunto das transformacoes leva a conclusao de que todas as representacoes sao
equivalentes, isto e, uma representacao pode ser obtida a partir de qualquer outra por uma transformacao
unitaria. Estabelecemos que o conjunto das transformacoes forma um grupo nao abeliano com respeito ao
produto matricial em classes de equivalencia, definidas atraves da indistinguibilidade das transformacoes
que diferem por um fator de fase. Este grupo possui um subgrupo nao trivial, o qual por sua vez contem
dois subgrupos nao triviais. Apresentamos a forma geral das matrizes de Dirac em 1+1 dimensoes
determinada por 3 parametros arbitrarios. Demonstramos a existencia de isomorfismo entre o par das
matrizes de Dirac e o par de vetores unitarios ortogonais. Apresentamos tambem aplicacoes dos resultados
obtidos neste trabalho.
Palavras-chave: equacao de Dirac, 1+1 dimensoes, transformacoes unitarias, grupos finitos.

In this paper a general classification of representations of the Dirac equation in 1+1 dimensions is
described. There are considered such representations in which every Dirac matrix , is associated with
a unique Pauli matrix. The classification includes 24 representations among which six representations are
main and others are ones with sign modified Pauli matrices. The unitary transformations between all the
representations are determined in the explicit form. The study of structure of the set of transformations
results in conclusions that all the representations are equivalent, so that anyone of the representations
can be obtained from any other by a unitary transformation. It is established that the set of the
transformations forms a non-abelian group in respect of matrix product in equivalence classes, which
are defined through indistinguishability of transformations, which differ by a phase factor. The group
possesses one non-trivial subgroup, which in its turn includes two non-trivial subgroups. The most
general form of the Dirac matrices in 1+1 dimensions determined by three arbitrary parameters is
presented. Isomorphism of the couple of the Dirac matrices to the couple of orthogonal unitary vectors
is demonstrated. Applications of the results obtained in the paper are presented.
Keywords: Dirac equation, 1+1 dimensions, unitary transformations, finite groups.

1. Introducao sao mais relevantes ao nosso trabalho. Menciona-

Neste artigo discutimos algumas questoes da teo-
ria de Dirac em 1+1 dimensoes. Antes de comecar
esta discussao, relembramos alguns aspectos da teo-
ria de Dirac no caso usual de 3+1 dimensoes, que
mos que existe vasto material dedicado a equacao
de Dirac, tanto nos livros de texto de Mecanica
Quantica e de Teoria de Campos, como se comprova
nas Refs. [1], [2], [3] e nas Refs. [4], [5], [6], [7], respec-

Endereco de correspondencia: smirnov.globe@gmail.com.

Copyright by Sociedade Brasileira de Fsica. Printed in Brazil.

e3312-2 Representacoes da Equacao de Dirac em 1+1 Dimensoes

tivamente; quanto em livros especializados, tambem Eq. (4) possibilita descrever a evolucao temporal
compovado nas Refs. [8], [9]. da partcula. Na construcao da equacao de onda de
Primeiramente, apresentamos uma deducao for- uma partcula relativstica e necessario obter uma
mal da equacao de Dirac para os leitores nao fa- equacao de onda em que a derivada em relacao ao
miliarizados com esta area. Iniciamos pela lei de tempo e tambem de primeira ordem.
conservacao de energia da mecanica: a energia total Para uma partcula relativstica, temos a seguinte
de um sistema mecanico conservativo e constante. formula da energia relativstica E:
Para uma partcula temos:  2
E 2 = p~2 c2 + mc2 = p2x c2 + p2y c2 + p2z c2
K + V = E = const, (1)  2
+ mc2 , (5)
onde K e a energia cinetica, V e a energia potencial
e E e a energia total da partcula. Expressamos a
onde m e a massa da partcula, c e a velocidade de
energia cinetica em termos do momento da partcula
luz e p~ e o momento relativstico. Fazendo uma subs-
p~:
tituicao das quantidades na Eq. (5) pelos operadores
p~2
K= , da Eq. (3), obtemos a equacao:
2m
onde m e a massa da partcula. Observamos que 2 2 2 2
2 2 2 2 2 2
 2
a energia potencial e uma funcao das coordenadas ~2 = c ~ c ~ c ~ + mc2
,
t2 x2 y 2 z 2
V = V (~r). Escrevemos a Eq. (1) na forma:
dividindo-a por c2 ~2 temos
p~2
E= + V (~r) . (2)
2m 1 2 2 2 2

mc
2
+ = 0. (6)
Para construir a equacao de onda nao relativstica, c2 t2 x2 y 2 z 2 ~
a partir da Eq. (2), fazemos uma substituicao da
energia total, das coordenadas e dos momentos por Na Eq. (6) a derivada em relacao ao tempo e de se-
seus operadores correspondentes que atuam em uma gunda ordem devido ao quadrado da energia na Eq.
funcao de onda : (5). Aplicando a raiz quadrada na Eq. (5), obtemos:
q
E= p~2 c2 + (mc2 )2 =
E E = i~ , x x = x,
t q
y y = y, z z = z, (3) p2x c2 + p2y c2 + p2z c2 + (mc2 )2 , (7)

px px = i~ , py py = i~ , onde o termo da energia e de primeira ordem. En-
x y
tretanto, a raiz quadrada no lado direito dificulta
pz pz = i~ . a interpretacao deste termo depois da substituicao
z
das componentes do momento pelos operadores. A
Substituindo os operadores da Eq. (3) na Eq. (2) analise dimensional das quantidades do lado direito
chegamos a equacao de onda: da Eq. (7) demonstra que os termos px c, py c, pz c
! e mc2 podem ser escritos na forma de uma com-
~2 2 2 2
i~ = + + +V (x, y, z) . binacao linear com alguns coeficientes 1 , 2 , 3 e
t 2m x2 y 2 z 2 :
(4)
E = 1 px c + 2 py c + 3 pz c + mc2 . (8)
A equacao (4) e a equacao de Schrodinger, que des-
creve uma partcula quantica nao relativstica sujeita Elevando ambos os lados da Eq. (8) ao quadrado e
a um campo potencial V . A derivada em relacao mantendo a ordem de multiplicacao dos coeficientes,
ao tempo de primeira ordem no lado esquerdo da temos:

 
E 2 = 1 px c + 2 py c + 3 pz c + mc2
 
1 px c + 2 py c + 3 pz c + mc2

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-3

= (1 2 + 2 1 ) px py c2 + (2 3 + 3 2 ) py pz c2 + (3 1 + 1 3 ) pz px c2 (9)
2 2 2
+ (1 + 1 ) px cmc + (2 + 2 ) py cmc + (3 + 3 ) pz cmc
 2
+12 p2x c2 + 22 p2y c2 + 32 p2z c2 + 2 mc2

Comparando a Eq. (9) com a Eq. (5), obtemos as seguintes condicoes para os coeficientes:

12 = 1, 22 = 1, 32 = 1, 2 = 1, (10)
1 2 + 2 1 = 0, 2 3 + 3 2 = 0, 3 1 + 1 3 = 0,
1 + 1 = 0, 2 + 2 = 0, 3 + 3 = 0.

Das condicoes da Eq. (10), conclui-se que os coe-
ficientes 1 , 2 , 3 e nao podem ser numeros,
pois os mumeros obedecem a lei de comutacao com
respeito a multiplicacao, isto e, para dois numeros
x1 e x2 , diferentes de zero, temos x1 x2 = x2 x1 e
x1 x2 + x2 x1 = 2x1 x2 . Considerando os coeficientes
1 , 2 , 3 e como matrizes, e possivel encontrar
4 matrizes que obedecem as condicoes da Eq. (10).
A dimensao mnima destas matrizes e 4 4. As
matrizes 1 , 2 , 3 e sao chamadas de matrizes
de Dirac.
Efetuando a substituicao das quantidades na Eq.
(8) pelos operadores da Eq. (3), chegamos a equacao:
i~ = 1 ic~ 2 ic~
t x y i0 = (1 i1 2 i2 3 i3 + m) .
3 ic~ + mc2 ,
z convencao de somatorio por ndices repetidos. Se
que representa a equacao de Dirac. A equacao de
Dirac descreve o comportamento quantico de uma
partcula relativstica de spin 1/2, como por exem-
plo o eletron. Como a equacao (11) e uma equacao
matricial, a funcao de onda e um objeto de 4 com-
ponentes, chamado de spinor de Dirac, que pode ser
escrito na forma de uma coluna:
1 i=1
2
= .
3
4
Dividindo os lados esquerdo e direito da Eq. (11)
por c~, obtemos:
1 mc
i = 1 i 2 i 3 i + . (13)
c t x y z ~
Introduzimos as notacoes que sao usadas na area
da teoria relativstica e de campos. As coordenadas
espaciais e de tempo sao reunidas em um quadrivetor
x , em que o ndice recebe os valores 0, 1, 2, 3:
 
x = x0 , x1 , x2 , x3
   
= x0 , xi = x0 , ~x , i = 1, 2, 3, (14)
com componentes
x0 = ct, x1 = x, x2 = y, x3 = z.
O 4-vetor x representa os pontos do espaco-tempo.
Para denotar as derivadas pelas coordenadas usamos
o smbolo = /x . Usaremos tambem as unida-
des naturais em que e aceita a convencao c = ~ = 1.
Aplicando as notacoes e convencoes indicadas acima
na Eq. (13), temos:
(15)
Na area da teoria relativstica e usada tambem uma
(11)
em uma formula existe um termo de produto de
quantidades que possuem o mesmo ndice, isto sig-
nifica que por este ndice e efetuado um somatorio.
Neste caso o smbolo de soma nao se escreve. Apli-
camos esta convencao para o somatorio dos termos
semelhantes do lado direito da Eq. (15)
3
X
1 i1 + 2 i2 + 3 i3 = i ii = i ii
e chegamos a forma compacta da equacao:
(12)
i0 = (i ii + m) . (16)
O lado direito da Eq. (16), bem como o da Eq.
(11), representa o hamiltoniano de Dirac para a
partcula livre:
H = (i ii + m) . (17)
Sendo o hamiltoniano um operador hermitiano, as
matrizes , i tambem sao hermitianas
= , i = i . (18)

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-4 Representacoes da Equacao de Dirac em 1+1 Dimensoes

Multiplicando os termos da Eq. (16) por a es- Eq. (21) como

querda, temos:
  0 i0 + i ii = i . (22)
i0 = i ii + 2 m . (19)
Assim, chegamos ao aspecto usual da equacao de
Na Eq. (19) introduzimos para a matriz e para o
Dirac que e usado comumente na teoria relativstica:
produto i a notacao

= 0 , i = i (20) ( i m) = 0. (23)

e escrevemos todos os termos no lado esquerdo apli- As matrizes tambem sao chamadas de matrizes
cando a condicao 2 = 1 da Eq. (10): de Dirac.
0 i0 + i ii m = 0. (21) Utilizando a Eq. (20) como definicoes das matri-
zes e as condicoes para as matrizes , i da Eq.
Usando a convencao de somatorio por ndices repe- (10), podemos obter as condicoes obedecidas pelas
tidos, podemos reunir os dois primeiros termos na matrizes :

 2
0 = 2 = 1,
 2
i
= i i = i i = 2 i2 = 1,

0 i + i 0 = i + i = 2 i i = 2 i 2 i = 0,
i 6= j, i j + j i = i j + j i = i j j i = 2 (i j + j i ) = 0.

De forma compacta podemos escrever as expressoes uma partcula tambem podem ser escritos na forma
acima, como: de um 4-vetor de energia-momento:
 2  2
i
0 = 1, +
   
= 1, p = p0 , p1 , p2 , p3 = p0 , pi
= { , } = 0, 6= , (24)  
= p0 , p~ , i = 1, 2, 3, (27)
onde, as chaves {, } designam o anticomutador.
Na Eq. (14) para as coordenadas x e usada uma onde p0 denota energia relativstica, p0 = p0 =
notacao de 4-vetores em que a posicao do ndice
1/2
p~2 + m2 , e p~ e o momento relativstico. Para o
e significativa: um 4-vetor com o ndice em cima somatorio p p temos
x e chamado contravariante e um 4-vetor com o
ndice em baixo x e chamado covariante. A relacao  2  2  2  2
p p = p0 p1 p2 p3
entre as componentes do 4-vetor contravariante e
2
covariante e a seguinte:

= p0 p~2 = m2 , (28)
 
0 i
(x0 , xi ) = x , x . (25)
que representa uma expressao da energia de uma
Escrevendo o somatorio x x , explicitamente, te- partcula relativstica, a Eq. (5). Escrevemos na
mos: forma explcita mais um somatorio que sera usado
 2  2  2  2 no artigo
x x = x0 x1 x2 x3
p x = p0 x0 + pi xi = p0 x0 p~~x.
2
(29)

= x0 ~x2 , (26)

vemos que ele representa um intervalo entre dois Com o uso da funcao de onda e das matrizes de
pontos do espaco-tempo. A energia e o momento de Dirac , constroi-se uma quantidade j chamada

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-5

de 4-vetor da corrente de probabilidade: nao relativstico da equacao de Dirac. O uso da repre-

    sentacao de Weyl facilita o estudo de fenomenos de
j = = j 0 , j 1 , j 2 , j 3 = j 0 , j i
quiralidade de fermions. Na representacao de Majo-
rana todas as componentes das matrizes de Dirac
 
= j 0 , ~j , i = 1, 2, 3, (30)
sao imaginarias. Uma vantagem desta representacao
onde ~j representa o 3-vetor da corrente de probabi- e que os spinores na equacao sao reais.
lidade e j 0 e a densidade de probabilidade. Na Eq. Alem disso, as matrizes de Dirac e spinores nas
(30) o smbolo denota a conjugacao de Dirac de representacoes diferentes sao relacionados por uma
definida como: transformacao unitaria, isso pode ser demonstrado
da seguinte maneira: supomos que o spinor em uma
= 0, (31)
representacao e o spinor em outra representacao
onde o smbolo e a conjugacao hermitiana, que ,
e sao relacionados por uma transformacao nao sin-
implica conjugacao complexa das componentes de gular (inversvel) U :
e a sua transposicao > :
e = U . (38)
>
= ( ) = (1 , 2 , 3 , 4 ) . (32)
A transformacao U e considerada como uma matriz
Particularmente, para a densidade de probabilidade complexa 4 4. As propriedades fsicas da partcula
j 0 temos: nao devem depender da representacao usada. Par-
ticularmente a densidade de probabilidade, que e
j 0 = 0 = 0 0 =
representada pela componente zero do 4-vetor da
= |1 |2 + |2 |2 + |3 |2 + |4 |2 . (33) corrente de probabilidade, deve satisfazer: ej 0 = j 0 .
As matrizes de Dirac nao sao definidas de forma Das Eqs. (33) e (38), temos:
unica, sao utilizadas varias representacoes. As re- j 0 = , ej 0 = e e = U U
presentacoes mais usadas sao: a representacao de
= U U , (39)
Dirac
! ! portanto,
0 12 02 i 02 i
= , = , (34) U U = 1, (40)
02 12 i 02
isto e, a matriz U e unitaria. A equacao de Dirac
a representacao de Weyl ou representacao quiral na representacao til tem a forma
! !
0 02 12 i 02 i (e i m) e = 0, (41)
= , = , (35)
12 02 i 02
onde e sao as matrizes de Dirac nesta representacao.
e a representacao de Majorana Demostraremos qual e a relacao entre as matrizes
de Dirac nas representacoes diferentes. Com o uso
! !
02 2 i 3 02
0 = , 1 = , das Eqs. (38), (40) escrevemos como = U e e
2 02 02 i 3
! ! substituimos na Eq. (23):
2 02 2 3 i 1 02
=
2 02
, =
02 i 1
.
(36) U i e mU e = 0. (42)
Muiltiplicamos os termos da Eq. (42) por U a es-
Nas Eqs. (34), (35) e (36) sao usadas as notacoes: 12
querda. Chegamos ao resultado:
e a matriz unidade 2 2, 02 e uma matriz 2 2 com
todas as componentes nulas e i sao as matrizes de U U i e mU U e = 0.
Pauli: Sendo U unitaria, isto e, U U = U U = 1, temos
! !
0 1 0 i  
1 = , 2 = , U U i m e = 0. (43)
1 0 i 0
Comparando a Eq. (43) com a Eq. (41) vemos que
!
3 1 0
= . (37)
0 1 e = U U . (44)
Determinadas representacoes sao uteis para tipos di- As matrizes de Dirac e possuem as mesmas propri-
ferentes de estudos. Por exemplo, a representacao de edades das matrizes da Eq. (24). Os quadrados
Dirac e mais conveniente para a discussao do limite das matrizes e sao

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-6 Representacoes da Equacao de Dirac em 1+1 Dimensoes

 2  2
e 0 = U 0U U 0U = U 00U = U 0 U = U U = 1, (45)
 2  2
e i = U iU U iU = U iiU = U i U = U U = 1

e elas anticomutam, se 6= ,

{e , e } = e e + e e = U U U U + U U U U (46)

= U U + U U = U ( + ) U = U { , } U = 0.

Para demonstrar como as matrizes , i sao rela- a teoria quantica relativstica exibe especificidades
cionadas em representacoes diferentes, usamos a Eq. estruturais que sao ausentes em dimensoes 3+1 de
(44) para as matrizes : espaco-tempo. Acontece que estas especificidades
nao sao somente curiosidades nao fsicas de toy mo-
e = e 0 = U 0 U = U U , (47) dels, mas sao de grande interesse em aplicacoes na
area de fsica da materia condensada e podem ter um

ei = e i = U 0 U U i U = U 0 i U = U i U .
e0
impacto na area de fsica de partculas, fornecendo
(48)
ideias novas para a construcao de modelos.
Escrevemos ainda a equacao de Dirac na forma
Nas baixas dimensoes, com uma dimensao espa-
hamiltoniana, para uma partcula livre, usando o
cial (1 + 1) ou com duas dimensoes espaciais (2 + 1),
hamiltoniano da Eq. (17):
as matrizes de Dirac sao representadas por matrizes
H = (i ii + m) = , = const, (49) complexas 2 2. Particularmente, as matrizes ,
i podem ser definidas por matrizes de Pauli da
onde denota a energia que e positiva no caso Eq.(37), porque as matrizes de Pauli obedecem as
de partcula = + = p0 > 0 e negativa no condicoes necessarias para matrizes de Dirac da Eq.
caso de antipartcula = = p0 < 0, onde (10). Uma certa escolha das matrizes de Pauli deter-

1/2
p0 = p2i + m2 . Para a funcao de onda da mina uma representacao das matrizes de Dirac e a
partcula livre da Eq. (16) temos: correspondente representacao do spinor. Nas baixas
  dimensoes e facil estimar o numero total de repre-
0
i0 = (x ) = eix xi . (50) sentacoes distintas das matrizes de Dirac. No caso de
1+1 dimensoes a equacao de Dirac possui somente
Escrevemos separadamente a funcao de onda para duas matrizes: e . O numero de opcoes da escolha
partculas de dois elementos do conjunto de tres elementos e
0
  3. Se a ordem dos dois elementos determina opcoes
+ (x ) = eip0 x + xi (51) diferentes, o numero das opcoes e dobrado: 2 3 = 6.
Alem disso, uma matriz de Pauli associada a matriz
e para antipartculas
de Dirac pode ter sinal positivo ou negativo, o que
multiplica o numero das opcoes por quatro. Entao, o
0
 
(x ) = eip0 x xi . (52)
numero total das representacoes em 1+1 dimensoes
e determinado como 6 4 = 24. No caso de 2+1
2. A equacao de Dirac em Baixas dimensoes a equacao de Dirac possui tres matrizes:
Dimensoes , 1 e 2 . O numero de opcoes de escolha de tres
elementos do conjunto de tres elementos, levando
Em livros e artigos sao indicadas varias motivacoes
em conta a ordem dos elementos, e 6. Alem disso,
para os estudos da teoria quantica relativstica em
uma matriz de Pauli associada a matriz de Dirac
baixas dimensoes. Na nossa opiniao, a motivacao
pode ter sinal positivo ou negativo, multiplicando o
mais condensada e elegante e formulada na Ref. [10].
numero das opcoes por 8. Entao, o numero total das
Citamos diretamente um paragrafo da Ref. [10].
representacoes em 2+1 dimensoes e determinado
Em baixas dimensoes de espaco-tempo, 1+1 e 2+1,

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr.
como 6 8 = 48. Como vemos, o numero de repre-
sentacoes distintas da equacao de Dirac nas baixas
dimensoes nao e grande, permitindo fazer uma des-
cricao completa das representacoes com o uso de
ferramentas matematicas bastante simples. Acha-
mos que este tipo de investigacao e compreensvel
a alunos de graduacao que possuem conhecimento
acerca de conceitos basicos de relatividade especial
e da mecanica quantica e com intencao de especia-
lizacao na area de fsica teorica.
Neste trabalho consideraremos a equacao de Di-
rac em 1+1 dimensoes. Propomos uma classificacao
unificada das representacoes e determinaremos to-
das as transformacoes unitarias entre elas na forma
explcita. A estrutura algebrica do conjunto das
transformacoes sera estudada. Apresentaremos a
forma mais geral das matrizes de Dirac em 1+1
dimensoes e discutiremos isomorfismos destas ma-
trizes. Apresentaremos tambem algumas aplicacoes
dos resultados obtidos neste trabalho.
Foi observado que, em trabalhos envolvendo a
equacao de Dirac em 1+1 dimensoes, sao usadas
varias representacoes e em alguns casos surge uma
necessidade de transicao entre representacoes. Ve-
mos que uma descricao completa das representacoes
pode ser usada como um ponto de referencia para
estudos nesse tema. Mencionamos alguns traba-
lhos onde sao usadas diferentes representacoes. Por
exemplo, no trabalho [11] e discutida a equacao
de Dirac em 1+1 dimensoes com potencial eletrico
V0 = q |x|. Para a busca de solucoes da equacao,
e usada a representacao das matrizes de Dirac
= 1 , = 3 , mas para a discussao do limite nao
relativstico e usada a representacao = 3 , = 1 , hamiltoniano e sao apresentados os seus espectros.
chamada de representacao padraoporque tem
forma diagonal nesta representacao. Uma trans-
formacao entre as duas representacoes e indicada de
forma implcita no trabalho [11]. No trabalho [12] e
considerada a equacao de Dirac em 1+1 dimensoes
com potencial escalar Vs = g |x|. Para a busca
de solucoes da equacao, e usada a representacao
das matrizes de Dirac = 1 , = 2 , chamada
por alguns autores, como o da Ref. [13], por exem-
plo, de representacao de Jackiw-Rebbi. Para a dis-
cussao do limite nao relativstico e usada a re-
presentacao = 3 , = 2 . No trabalho [12] e
apresentada tambem uma transformacao unitaria
entre as duas representacoes
! na forma explcita
1 1
U = i2 . No artigo [14] e discutida a
1 1
DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
e3312-7
equacao de Dirac com potencial confinante e indi-
cado que a representacao = 1 , = 2 e mais con-
veniente para discussao de aspectos supersimetricos,
mas a representacao = 3 , = 2 e mais util
para observacao de relacoes entre os casos de 1 + 1,
2 + 1 e 3 + 1 dimensoes. No artigo [15] sao discuti-
das as condicoes de contorno para uma partcula de
Dirac em uma caixa unidimensional. No trabalho
sao usadas a representacao = 3 , = 1 , cha-
mada de representacao de Dirac e a representacao
= 1 , = 3 chamada de representacao de Weyl.
No trabalho e indicado tambem que para discussao
do limite nao relativstico e mais conveniente a uti-
lizacao da representacao de Dirac.
Outra motivacao do nosso trabalho e o interesse
atual no tema da equacao de Dirac em 1+1 di-
mensoes. Recentemente a equacao de Dirac, ou a
equacao do tipo Dirac em 1+1 dimensoes, sao ativa-
mente utilizadas em estudos nas areas de materia
condensada e fsica atomica e molecular, para a
descricao de sistemas em baixas dimensoes que de-
monstram comportamento relativstico de partculas
ou quasi-partculas. Mencionamos alguns trabalhos
recentes desta linha de pesquisa. No trabalho [16]
sao consideradas as partculas de Dirac em uma
dimensao com massa e velocidade dependentes da
posicao. E demonstrado que as solucoes do tipo esta-
dos ligados no contnuo sao possveis apenas quando
uma relacao especial entre massa e velocidade das
partculas e satisfeita. No trabalho [17], e estudado
um hamiltoniano unidimensional do tipo Dirac, com
massa e velocidade na forma de degrau. Sao de-
terminadas as extensoes auto-adjuntas fsicas desse
E discutida uma transicao atraves de heteroestrutu-
ras unidimensionais descritas pela equacao de Dirac.
No artigo [18], e demonstrado que o limite de con-
finamento da partcula de Dirac de uma dimensao
espacial
sujeita ao potencial vetorial e escalar e
C / 2, onde C e comprimento de onda Compton
da partcula. A validade do limite de confinamento
e estendida para os potenciais nao simetricos. No
artigo [19], e construdo o operador de time of
arrivalconjugado ao hamiltoniano que descreve a
partcula relativstica de spin 1/2 de uma dimensao
espacial. No artigo e demostrado que o operador
construdo consiste de um termo Tb cuja acao e a
mesma do caso de spin-0 e outro termo Tb0 que
comuta com o hamiltoniano. Impondo a condicao
de invariancia relativa a inversao da paridade no
Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-8 Representacoes da Equacao de Dirac em 1+1 Dimensoes

operador de time of arrival, o operador contem Para partculas e antipartculas temos as relacoes
somente o termo Tb. No trabalho [20], e considerada entre as representacoes distintas:
a equacao de Dirac em 1+1 dimensoes com potenci-
ais mistos vetorial-escalar-pseudoescalar da forma e+ = U + = eipx U up = eipx u
ep , u
ep = U up ,
quadrada, que representam a mais geral estrutura de (58)
ipx ipx
Lorentz do potencial matricial. E demonstrado que = U = e U vp = e vp , vp = U vp . (59)
e e e
a existencia de estados ligados e condicionada pela
As matrizes de Dirac , sao hermitianas
magnitude do potencial pseudoescalar que possui
um valor crtico. = , = (60)

3. A Equacao de Dirac em 1+1 e obedecem as relacoes

Dimensoes
2 = 2 = 1, {, } = + = 0 . (61)
Apresentamos a equacao de Dirac em 1+1 dimensoes
As condicoes (60), (61) sao obedecidas particular-
na forma hamiltoniana
mente pelas matrizes de Pauli1 da Eq. (37). As duas
H = [i1 + m] = , (53) matrizes de Dirac , podem ser escolhidas arbi-
trariamente entre as tres matrizes de Pauli. Uma
onde sao usadas as unidades naturais, , sao as certa escolha das matrizes determina uma repre-
matrizes de Dirac e 1 = /x1 . A Eq. (53) descreve sentacao de matrizes de Dirac e a correspondente
tanto partculas quanto antipartculas. A solucao da representacao do spinor.
Eq. (53) para partculas pode ser escrita como:
q 4. Notacao e Classificacao de
+ = e ipx
up , + = p0 = m2 + p21 Representacoes

e para antipartculas como: Apresentamos todas as representacoes das matrizes

de Dirac na forma explcita como:
q
= eipx vp , = p0 = m2 + p21 , = s i , = t j ; s = 1, t = 1,
i, j = 1, 2, 3; i 6= j . (62)
onde px = p x = p0 x0 + p1 x1 e up , vp sao spinores
constantes que obedecem as equacoes:
As representacoes definidas por = i e = j
com ijk = +1, denominaremos de representacoes
[p1 + m] up = + up , [p1 + m] vp = vp .
cclicas, e com ijk = 1, denominaremos de re-
(54)
presentacoes anticclicas, sendo ijk o smbolo de
As matrizes de Dirac , nao sao definidas de forma
Levi-Civita, 123 = +1. As representacoes com valo-
unica. Uma das escolhas das matrizes de Dirac de-
res s = +1 e t = +1 da Eq. (62), denominaremos
termina uma certa representacao. Os spinores de
de representacoes principais. As representacoes com
Dirac nas representacoes distintas sao relacionados
s = 1 e/ou t = 1 chamaremos de representacoes
por uma transformacao unitaria U :
nao principais. Para as matrizes de Dirac , e
spinores em uma certa representacao usaremos a
e = U , U U = 1 . (55)
notacao:
Se obedece a equacao de Dirac (53), entao e [iq ] , [iq ] ; u[ip q ] , vp[iq ] ,
obedece a equacao onde o ndice i representa um quarteto de repre-
h i sentacoes em que , sao associadas as mesmas
i
e 1 + m
e e = e , (56) matrizes de Pauli. Para as representacoes cclicas
utilizaremos i = 1, 2, 3 e para as representacoes
onde anticclicas utilizaremos i = 4, 5, 6, conforme a Ta-
e = U U ,
e = U U . (57) bela (1). O subndice q indica as representacoes
1
O caso mais geral da forma das matrizes de Dirac e discutida separadamente no Apendice.

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-9

Tabela 1: Representacoes principais: cclicas e anticclicas.

Representacoes Representacoes
0 = 1 = 0 = 1 =
cclicas anticclicas
1 1 2 1 i 3 4 1 3 1 i 2
2 2 3 2 i 1 5 2 1 2 i 3
3 3 1 3 i 2 6 3 2 3 i 1

nao principais, com q = 1, 2, 3, o valor q = 0 e re- Para a conjugacao hermitiana das matrizes das
servado para representacoes principais, conforme a transformacoes temos:
Tabela (2). Para as manipulacoes com objetos das
u[b] [a]
p = Uba up ,
representacoes principais utilizaremos uma notacao
[i] [i] portanto
simplificada sem o subndice 0: [i] , [i] ; up , vp .
[b]
Uba up = u[a]
p .
Tabela 2: Representacoes nao principais.
q s t De outro modo
0 +1 +1 u[a] [b]
p = Uab up ,
1 +1 1
portanto
2 1 +1
Uab = Uba . (64)
3 1 1
Com o uso da regra de composicao das trans-
formacoes (63) podemos escrever no caso geral:
5. Transformacoes Unitarias entre
Representacoes Ujr iq = Ujr j0 Uj0 i0 Ui0 iq . (65)
Entao, para determinar as transformacoes entre duas
Nesta secao determinaremos as transformacoes
representacoes no caso geral, e suficiente determinar
unitarias entre as varias representacoes da forma
[i ] [j ] separadamente as transformacoes entre todas as re-
(62). Para uma transformacao de up q para up r
[i ] [j ] presentacoes principais, as transformacoes do tipo
usaremos a notacao Ujr ,iq : up q up r , tal que: Uj0 i0 , e as transformacoes entre uma representacao
principal e as representacoes nao principais dentro
u[j r] [iq ]
p = Ujr ,iq up . de um quarteto, isto e, as transformacoes do tipo
Indicaremos algumas propriedades das trans- Ui0 iq e Ujr j0 .
formacoes. Para uma escrita compacta das formulas, Para encontrar as transformacoes na
forma
utilizaremos uma notacao condensada do smbolo explcita, decompomos U na base 0 , i , onde
das representacoes: [iq ] = [a] , [jr ] = [b] , ... . Es- i sao as matrizes de Pauli e 0 e a matriz unidade
crevemos uma regra de composicao de duas trans- 2 2:
formacoes. Sendo U = a = a0 0 + ai i
!
u[c] [b] [b] [a] a0 + a3 a1 ia2
p = Ucb up , up = Uba up , = , a C . (66)
a1 + ia2 a0 a3
obtem-se Nesta decomposicao a matriz U e definida por 4
u[c] [a]
p = Ucb Uba up . coeficientes a . Juntando os coeficientes a em um
Por outro lado, ao utilizarmos a expressao objeto de 4 componentes, escreveremos tambem U
na forma:
u[c] [a]
p = Uca up ,
U = (a ) = (a0 , a1 , a2 , a3 ) = (a0 , ai ) = (a0 , ~a) .
chegamos a (67)
Uca = Ucb Uba . (63) Sendo U unitaria, U U = 1, os coeficientes a devem
satisfazer as condicoes:
Indicamos que a transformacao do tipo Uaa repre-
senta uma transformacao identidade que e represen- |a0 |2 + ~a ~a = |a0 |2 + |a1 |2
tada por uma matriz unidade. + |a2 |2 + |a3 |2 = 1 , (68)

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-10 Representacoes da Equacao de Dirac em 1+1 Dimensoes

Apresentaremos tambem as seguintes relacoes uteis

a0 aj + aj a0 + an ak inkj para calculos:
= a0~a + ~a a0 + i~a ~a = 0. (69)

U 1 = a0 1 + a1 ia2 3 + ia3 2 = (a1 , a0 , ia3 , ia2 ) , (70)

2 2 3 1
U = a0 + ia1 + a2 ia3 = (a2 , ia3 , a0 , ia1 ) ,
3
U = a0 3 ia1 2 + ia2 1 + a3 = (a3 , ia2 , ia1 , a0 ) ,
1U = a0 1 + a1 + ia2 3 ia3 2 = (a1 , a0 , ia3 , ia2 ) ,
2U = a0 2 ia1 3 + a2 + ia3 1 = (a2 , ia3 , a0 , ia1 ) ,
3U = a0 3 + ia1 2 ia2 1 + a3 = (a3 , ia2 , ia1 , a0 ) ,
h i h i h i
1 , U = 2ia2 3 2ia3 2 , 2 , U = 2ia1 3 + 2ia3 1 , 3 , U = 2ia1 2 2ia2 1 , (71)
n o n o n o
1 , U = 2a0 1 + 2a1 , 2 , U = 2a0 2 + 2a2 , 3 , U = 2a0 3 + 2a3 , (72)
onde, os colchetes [, ] designam o comutador, definido por [A, B] = AB+BA.

5.1. Transformacoes entre Representacoes Com o uso das Eqs. (70) obtemos:
Principais
(a2 , ia3 , a0 , ia1 ) = (a1 , a0 , ia3 , ia2 ) ,
Primeiramente consideraremos as transformacoes en-
tre as representacoes principais. Para a determinacao (a3 , ia2 , ia1 , a0 ) = (a2 , ia3 , a0 , ia1 ) ,
da forma explcita das transformacoes, usaremos as
Eqs. (57) escritas como: que resulta em
[j] Uji = Uji [i] , [j] Uji = Uji [i] . (73)
a0 = ia3 , a1 = a2 e a0 = ia1 , a3 = a2 ,
Dividimos este problema em duas etapas. Na pri-
meira etapa determinaremos as transformacoes entre portanto
as representacoes dentro do setor cclico e anticclico,
na segunda etapa determinaremos as transformacoes a1 = a2 = a3 = ia0 . (75)
entre as representacoes cclicas e anticclicas.
Para satisfazer a Eq. (68) temos:
5.1.1. Transformacoes do Setor Cclico 1
(Anticclico) 4 |a0 |2 = 1 a0 = ei , (76)
2
Iniciamos com a determinacao das transformacoes
entre as representacoes do setor cclico. As trans- onde ei e um fator de fase arbitrario, portanto
formacoes entre as representacoes do setor anticclico
1
serao obtidas como consequencia dos calculos. Para U21 = ei (1, i, i, i) .
[1]
a determinacao da transformacao U21 : up up
[2] 2
da Eq. (73) e da Tabela (1) temos: Substituindo os coeficientes das Eqs. (75), (76) na
U21 : 2 U = U 1 , 3 U = U 2 . (74) Eq. (66), obtemos:

! i/4 i/4 !
1 1 i i 1 1
i/4 2ei/4
2e
U21 = ei = ei
2 i + 1 1 + i 2 2e 2e
! !
1 1 ei/2 1 1 i
= ei 2ei/4 = ei ei/4 .
2 1 ei/2 2 1 i

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-11

Impondo = /4, temos Notamos que as transformacoes sao determinadas

! a menos de um fator de fase arbitrario. Para refletir
1 1 1 i este fato, em vez do sinal de igualdade usaremos
U21 = ei/4 (1, i, i, i) = = U0 .
2 2 1 i o smbolo ' que significara igualdade a menos de
(77) um fator de fase arbitrario. Unimos os resultados
Na Eq. (77) e introduzida tambem a notacao U0 dos calculos das transformacoes do setor cclico e
para esta matriz, a qual sera usada nos calculos anticclico em expressoes compactas:
futuros.
A matriz inversa e determinada pela Eq. (64): U21 ' U32 ' U13 ' U54 ' U65 ' U46 ' U0
!
1 1 i 1
1
! = ' (1, i, i, i) , (84)
1 1 2 1 i 2
U12 = U21 =
2 i i
1 i/4 U12 ' U23 ' U31 ' U45 ' U56 ' U64 ' U0
= e (1, i, i, i) = U0 . (78)
2 !
1 1 1 1
Notamos que a Eq. (74) escrita na forma = ' (1, i, i, i) . (85)
2 i i 2
3U = U 2, 2U = U 1 , Notamos que, a partir da regra de composicao da
Eq. (63), temos
pode ser interpretada como a transformacao U65 :
[5] [6] U21 U13 = U23 , U12 U23 = U13 ,
up up do setor anticclico, portanto
portanto, das Eqs. (84) e (85), obtemos
U65 = U21 = U0 , U56 = U65 = U0 . (79)
U02 ' U0 , U02 ' U0 . (86)
Para a determinacao da transformacao U32 :
[2] [3]
up up da Eq. (73) e da Tabela (1) temos:
5.1.2. Transformacoes entre Representacoes
3 2 1
U32 : U = U , U = U . 3
(80) Cclicas e Anticclicas
Determinaremos as transformacoes entre as repre-
A Eq. (80) escrita na forma
sentacoes cclicas e anticclicas. Iniciamos com a
[6] [2]
1U = U 3, 3U = U 2 , transformacao U26 : up up . Da Eq. (73) e da
Tabela (1) temos:
pode ser interpretada tambem como a transformacao
[6] [4] U26 : 2 U = U 3 , 3 U = U 2 . (87)
U46 : up up do setor anticclico.
Para a determinacao da transformacao U13 : Usando as Eqs. (70), temos
[3] [1]
up up da Eq. (73) e da Tabela (1) temos:
(a2 , ia3 , a0 , ia1 ) = (a3 , ia2 , ia1 , a0 ) ,
1 3 2 1
U13 : U = U , U = U . (81) (a3 , ia2 , ia1 , a0 ) = (a2 , ia3 , a0 , ia1 ) ,

A Eq. (81) escrita na forma que resulta em

2U = U 1, 1U = U 3 , a0 = ia1 , a2 = a3 e a0 = ia1 , ia2 = ia3 ,

pode ser interpretada como a transformacao U54 : portanto

[4] [5] a0 = a1 = 0, a2 = a3 .
up up do setor anticclico.
Realizando calculos semelhantes aos anteriores, Para satisfazer a Eq. (68) temos
chegamos a mesma condicao da Eq. (75) para os
ei
coeficientes a , portanto 2 |a2 |2 = 1 a2 = a3 = .
2
U32 = U13 = U0 , U23 = U31 = U0 . (82) Impondo = 0, obtemos
!
e 1 1 1 i
U26 = (0, 0, 1, 1) = . (88)
U46 = U54 = U0 , U64 = U45 = U0 . (83) 2 2 i 1

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-12 Representacoes da Equacao de Dirac em 1+1 Dimensoes

Notamos que Impondo = 0, obtemos

!
U26 = U26 = U62 . (89) 1 1 0 1i
U15 = (0, 1, 1, 0) = .
2 2 1+i 0
Para a determinacao da transformacao U34 : (94)
[4] [3]
up up da Eq. (73) e da Tabela (1) temos: Notamos que
U34 : 3 U = U 1 , 1 U = U 3 . (90)
U15 = U15 = U51 . (95)

Com o uso das Eqs. (70), temos: [4]

Agora determinamos a transformacao U24 : up
[2]
up . Da Eq. (73) e da Tabela (1) temos:
(a3 , ia2 , ia1 , a0 ) = (a1 , a0 , ia3 , ia2 ) ,
(a1 , a0 , ia3 , ia2 ) = (a3 , ia2 , ia1 , a0 ) , U24 : 2 U = U 1 , 3 U = U 3 (96)

que resulta em Com o uso das Eqs. (70), temos

a0 = ia2 , a1 = a3 e a0 = ia2 , a1 = a3 , (a2 , ia3 , a0 , ia1 ) = (a1 , a0 , ia3 , ia2 ) ,

(a3 , ia2 , ia1 , a0 ) = (a3 , ia2 , ia1 , a0 ) ,
portanto
a0 = a2 = 0, a1 = a3 . que resulta em
Para satisfazer a Eq. (68) temos a2 = a1 , ia3 = a0 e a1 = 0, a2 = 0 ,
ei
2 |a1 |2 = 1 a1 = a3 = . portanto
2
a1 = a2 = 0, a3 = ia0 .
Impondo = 0, obtemos
! Para satisfazer a Eq. (68) temos
1 1 1 1
U34 = (0, 1, 0, 1) = . (91)
2 2 1 1 ei ei
2 |a0 |2 = 1 a0 = a3 = i ,
2 2
Notamos que
portanto

U34 = U34 = U43 . (92) !
ei ei 1i 0
[5]
U24 = (1, 0, 0, i) = .
Para determinacao da transformacao U15 : up 2 2 0 1+i
[1]
up da Eq. (73) e da Tabela (1) temos: Impondo = 0, temos:
1 2 2 1
U15 : U = U , U = U . (93)
!
1 1i 0 1
U24 = = (1, 0, 0, i) .
2 0 1+i 2
Com o uso das Eqs. (70), temos
(97)
(a1 , a0 , ia3 , ia2 ) = (a2 , ia3 , a0 , ia1 ) , A transformacao inversa e determinada de acordo
(a2 , ia3 , a0 , ia1 ) = (a1 , a0 , ia3 , ia2 ) , com a Eq. (64):

que resulta em U42 = U24 .

a0 = ia3 , a1 = a2 e a0 = ia3 , a1 = a2 , Observamos que as equacoes (96) escritas como

3U = U 3, 2U = U 1,
portanto
a0 = a3 = 0, a1 = a2 . podem ser interpretadas como as relacoes para a
[3] [6]
Para satisfazer a Eq. (68) temos determinacao da transformacao U63 : up up ,
portanto
ei
2 |a1 |2 = 1 a1 = a2 = ,
U63 = U36
= U24 , U36 = U63
= U24 = U42 . (98)
2

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-13

Para a determinacao da transformacao U16 : portanto

[6] [1]
up up da Eq. (73) e da Tabela (1) temos: a2 = a3 = 0, a1 = ia0 .
Para satisfazer a Eq. (68) temos
U16 : 1 U = U 3 , 2 U = U 2 . (99)
ei ei
Com o uso das Eqs. (70), temos 2 |a0 |2 = 1 a0 = , a1 = i .
2 2
(a1 , a0 , ia3 , ia2 ) = (a3 , ia2 , ia1 , a0 ) , Impondo = 0, obtemos
(a2 , ia3 , a0 , ia1 ) = (a2 , ia3 , a0 , ia1 ) , !
1 1 1 i
U14 = (1, i, 0, 0) = . (103)
que resulta em 2 2 i 1

a1 = a3 , a0 = ia2 e a1 = 0, a3 = 0 , A transformacao inversa e determinada de acordo

com a Eq. (64):
portanto

U41 = U14 .
a1 = a3 = 0, a2 = ia0 .
Observamos que as equacoes (99) escritas como
Para satisfazer a Eq. (68) temos
2U = U 3, 1U = U 1
ei ei
2 |a0 |2 = 1 a0 = a2 = i . podem ser interpretadas como as relacoes para a
2 2 [3] [5]
determinacao da transformacao U53 : up up ,
Impondo = 0, obtemos portanto

!
1 1 1 1 U53 = U14 = U35 , U35 = U53 = U14 = U41 . (104)
U16 = (1, 0, i, 0) = . (100)
2 2 1 1
Todas as transformacoes entre representacoes
A transformacao inversa e determinada de acordo cclicas e anticclicas sao apresentadas nas Tabe-
com a Eq. (64): las (3) e (4) na forma matricial, e na Tabela (5) na
forma de componentes. Apresentamos tambem as

U61 = U16 . propriedades das transformacoes:

Observamos que as equacoes (99) escritas como U34 = U43 , U26 = U62 , U15 = U51 , (105)

2U = U 2, 1U = U 3, U16 = U25 , U24 = U36 , U14 = U35 . (106)

podem ser interpretadas como as relacoes para a 5.2. Transformacoes entre Representacoes
[2] [5]
determinacao da transformacao U52 : up up , dos Quartetos
portanto
Nesta secao consideraremos as transformacoes entre

U52 = U16 = U25 , U25 = U52 = U16 = U61 . (101) uma representacao principal e as representacoes nao
principais dentro de um quarteto, as transformacoes
Para a determinacao da transformacao U14 : do tipo Ui0 iq . Usaremos as Eqs. (57) na forma:
[4] [1]
up up da Eq. (73) e da Tabela (1) temos:
[i0 ] Ui0 iq = Ui0 iq [iq ] , [i0 ] Ui0 iq = Ui0 iq [iq ] .
1 1 2 3
U14 : U = U , U = U (102) (107)
Determinaremos as transformacoes com i = 1, isto
Usando as Eqs. (70), temos
e, U10 1q . Para q = 1, da Eq. (107) e da Tabela (1)
(a1 , a0 , ia3 , ia2 ) = (a1 , a0 , ia3 , ia2 ) , temos:
(a2 , ia3 , a0 , ia1 ) = (a3 , ia2 , ia1 , a0 ) , q = 1 : 1 U = U 1 , 2 U = U 2 (108)

que resulta em ou
h i n o
a2 = a3 = 0 e a2 = a3 , ia3 = ia2 , 1 , U = 1 U U 1 = 0, 2 , U = 2 U +U 2 = 0 .

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-14 Representacoes da Equacao de Dirac em 1+1 Dimensoes

Tabela 3: As transformacoes Uij das representacoes anticclicas para as representacoes cclicas na forma matricial.
Uij j = 4  j=5
  j = 6 
1 1 i 0 1i 1 1
i=1 1 1
i 1 1+i 0
 1 1 
2 2 2
   
1 1i 0 1 1 1 1 1 i
i=2
0 1+i
 1 1  i 1
2 2 2
  
1 1 1 1 1 i 1 1+i 0
i=3
2 1 1 2 i 1 2 0 1i

Tabela 4: As transformacoes Uji das representacoes cclicas para as representacoes anticclicas na forma matricial.
Uji  i=1   i=2  i = 3 
1 i 1+i 0 1 1
j=4 1 1 1

i 1 1i 1 1
0
2 2 2
    
0 1i 1 1 1 i
j=5 1 1
1
1+i 0 i 1
 1 1 
2 2 2
   
1 1 1 i 1i 0
j=6 1 1
1
2 1 1 2 i 1 2 0 1+i

Tabela 5: As transformacoes entre representacoes cclicas e anticclicas Uij , Uji na forma de componentes.
Uij j=4 j=5 j=6
i=1 1 (1, i, 0, 0) 1 (0, 1, 1, 0) 1 (1, 0, i, 0)
2 2 2
1
(1, 0, 0, i) 1 (1, 0, i, 0) 1 (0, 0, 1, 1)
i=2 2 2 2
i=3 1 (0, 1, 0, 1) 1 (1, i, 0, 0) 1 (1, 0, 0, i)
2 2 2

Uji i=1 i=2 i=3

j=4 1 (1, i, 0, 0) 1 (1, 0, 0, i) 1 (0, 1, 0, 1)
2 2 2
j=5 1 (0, 1, 1, 0) 1 (1, 0, i, 0) 1 (1, i, 0, 0)
2 2 2
j=6 1 (1, 0, i, 0) 1 (0, 0, 1, 1) 1 (1, 0, 0, i)
2 2 2

Com o uso das Eqs. (71) e (72) obtemos que da

a2 = a3 = 0; a0 = a2 = 0 ,
que da
a0 = a2 = a3 = 0 .
Para satisfazer a Eq. (68) temos:
i
|a1 | = 1 a1 = e
Escolhendo = 0, obtemos
U10 11 = (0, 1, 0, 0) = .
Para q = 2, da Eq. (107) e da Tabela (1) temos:
q = 2 : 1 U = U 1 , 2 U = U 2
ou n o h i
1 , U = 0, 2 , U = 0 .
Com o uso das Eqs. (71) e (72) obtemos
a0 = a1 = 0; a1 = a3 = 0 ,
a0 = a1 = a3 = 0 .
Para satisfazer a Eq. (68) temos:
|a2 | = 1 a2 = ei .
Escolhendo = 0, obtemos
U10 12 = (0, 0, 1, 0) = 2 . (111)
.
Para q = 3, da Eq. (107) e da Tabela (1) temos:
q = 3 : 1 U = U 1 , 2 U = U 2 (112)
1
(109) ou n o n o
1 , U = 0, 2, U = 0 .
Usando as Eqs. (71) e (72) obtemos
(110)
a0 = a1 = 0; a0 = a2 = 0 ,
que da
a0 = a1 = a2 = 0 .
Para satisfazer a Eq. (68) temos
|a3 | = 1 a3 = ei .

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-15

Escolhendo = 0, obtemos 6. Estrutura Algebrica do Conjunto das

Transformacoes Unitarias
U10 13 = (0, 0, 0, 1) = 3 . (113)
As Eqs. (108) escritas como Nesta secao estudaremos a estrutura algebrica do
conjunto das transformacoes unitarias entre as varias
2 U = U 2 , 1 U = U 1 : q = 2 representacoes. Antes disso, daremos uma nocao de
podem ser interpretadas como as relacoes para deter- grupos como entidade matematica para os leitores
minacao da transformacao U50 52 do setor anticclico, que nao tem conhecimento neste campo. Textos
portanto introdutorios sobre este assunto podem ser encon-
U50 52 = U10 11 = 1 . (114) trados, por exemplo, nas Refs. [21] e [22].

As Eqs. (110) escritas como

2 U = U 2 , 1 U = U 1 : q = 1
podem ser interpretadas como as relacoes para deter-
minacao da transformacao U50 51 do setor anticclico,
portanto
U50 51 = U10 12 = 2 . (115)
As Eqs. (112) escritas como
2 U = U 2 , 1 U = U 1 : q = 3
podem ser interpretadas como as relacoes para deter-
minacao da transformacao U50 53 do setor anticclico,
portanto
U50 53 = U10 13 = 3 . (116)
Para determinar as transformacoes com i = 2, 3
do setor cclico e as correspondentes transformacoes
com i = 6, 4 do setor anticclico procedemos de
forma semelhante e obtemos os resultados:
U20 21 = U60 62 = 2 , U20 22 = U60 61 = 3 ,
U20 23 = U60 63 = 1 .
6.1. Definicoes Basicas da Teoria de Grupos
Um conjunto de elementos G em que e definida uma
operacao (), entre dois elementos, forma um grupo,
se, para seus elementos e satisfeito o seguinte sis-
tema de axiomas:
1. Sejam g1 e g2 elementos de G, entao o elemento
g1 g2 tambem pertence a G:
g1 , g2 G, g1 g2 G. (120)
2. Para todos os elementos pertencentes a G, e satis-
feita a lei de associatividade, isto e, para quaisquer
tres elementos g1 , g2 e g3 pertencentes a G, e satis-
feita a relacao:
g1 , g2 , g3 G, (g1 g2 ) g3 = g1 (g2 g3 ) .
(121)
3. Existe o elemento neutro e em G:
(117) e G : g G, e g = g e = g. (122)

U30 31 = U40 42 = 3 , U30 32 = U40 41 = 1 , O elemento neutro e e unico.

U30 33 = U40 43 = 2 . (118) 4. Para cada elemento g em G existe um elemento
inverso g 1 que tambem pertence a G:
Os resultados dos calculos das transformacoes do
tipo Ui0 iq sao apresentados na Tabela (6).
g G, g 1 : g g 1 = g 1 g = e. (123)
Observamos que
Ui0 ,iq = Uiq ,i0 . (119) O elemento inverso g 1 e unico.

Tabela 6: As transformacoes Ui0 ,iq entre uma representacao principal e as representacoes nao principais para os quartetos
indicados por i.
Ui0 ,iq q = 1 (+) q = 2 (+) q = 3 ()
i=1 1 = (0, 1, 0, 0) 2 = (0, 0, 1, 0) 3 = (0, 0, 0, 1)
i=2 2 3 1
i=3 3 1 2
i=4 1 3 2
i=5 2 1 3
i=6 3 2 1

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-16
O axioma 1 e denominado de axioma de fecha-
mento, o 2 de associatividade, o 3 de elemento neu-
tro e o 4 de elemento inverso.
Se para os quatro axiomas acima e adicionado um
axioma de comutatividade:
5. Para quaisquer elementos g1 e g2 pertencentes a
G, e satisfeita a relacao:
g1 , g2 G, g1 g2 = g2 g1 , (124)
o grupo e denominado de grupo comutativo ou abeli-
ano. Se um grupo nao obedece o axioma de comuta-
tividade, ele e denominado de grupo nao comutativo
ou nao abeliano.
Se um subconjunto G0 de G e fechado sob a
operacao (), isto e, para todos elementos g10 e
g20 de G0 temos que g10 g20 tambem pertence a G0 :
g10 , g20 G0 , g10 g20 G0 , (125)
entao, G0 forma um grupo e e denominado subgrupo
de G.
Apresentamos alguns exemplos simples de grupos.
1. O conjunto de numeros inteiros Z com a
operacao de soma, que designamos por (Z, +). E
simples verificar os axiomas acima. A soma de quais-
quer dois numeros inteiros e um numero inteiro. A
operacao de soma para numeros inteiros e associ-
ativa. O elemento neutro em Z e o zero, 0. Para
qualquer numero inteiro n o elemento inverso e n.
Entao, (Z, +) e um grupo. A soma de dois numeros
inteiros e comutativa, isto e, o resultado nao de-
pende da ordem dos numeros somados. Portanto, o
grupo (Z, +) e abeliano.
2. O conjunto de numeros reais R com a operacao
de soma, que designamos por (R, +). A soma de
quaisquer dois numeros reais e um numero real. A
operacao de soma para numeros reais e associativa.
O elemento neutro em (R, +) e o zero, 0. Para qual-
quer numero real x o elemento inverso em (R, +)
e x. Entao, (R, +) forma um grupo. Por razoes
similares ao exemplo 1, podemos concluir que (R, +)
e um grupo abeliano.
3. O conjunto de numeros reais positivos R+ com
a operacao de multiplicacao, que designamos por
(R+ , ). O produto de quaisquer dois numeros reais
positivos e um numero real positivo. A operacao de
multiplicacao para numeros reais positivos e associ-
ativa. O elemento neutro em (R+ , ) e a unidade, 1.
Para qualquer numero real x o elemento inverso em
(R+ , ) e 1/x. Entao, (R+ , ) forma um grupo. O pro-
duto de numeros reais positivos e comutativo, isto
Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
Representacoes da Equacao de Dirac em 1+1 Dimensoes
e, o resultado nao depende da ordem dos numeros
multiplicados. Portanto o grupo (R+ , ) e abeliano.
Agora apresentamos alguns exemplos de subgru-
pos.
1. Nos exemplos 1 e 2 acima mostramos que os
conjuntos Z e R com a operacao de soma formam
grupos. Z e o subconjunto de R, portanto Z e um
subgrupo de R.
2. Consideremos o conjunto de todos os numeros
mpares com a operacao de soma que e um subcon-
junto de numeros inteiros. Este conjunto nao forma
um grupo, pois a soma de dois numeros mpares e
um numero par. Portanto, o axioma de fechamento
nao e obedecido. Entretanto, a situacao e outra com
o conjunto de todos os numeros pares, que tambem
e um subconjunto dos numeros inteiros. Ele obedece
os axiomas de grupo: a soma de dois numeros pares
e um numero par, a operacao de soma de numeros
pares e associativa, o elemento neutro e o zero, o ele-
mento inverso para um dado numero par e o numero
com o sinal oposto. Portanto, o conjunto de todos
numeros pares e um subgrupo de numeros inteiros.
6.2. Estrutura Algebrica do Conjunto das
Transformacoes
O conjunto que consideraremos nesta secao e o con-
junto das transformacoes unitarias entre as varias
representacoes das matrizes de Dirac que foi ob-
tido nas secoes anteriores. Cada transformacao e
representada por uma matriz unitaria. Uma acao
consecutiva das transformacoes, que introduz uma
composicao de transformacoes, e definida como o
produto usual de matrizes. Nosso objeto de estudo
e o conjunto de matrizes unitarias indicado na Eq.
(65):
Ujr iq = Ujr j0 Uj0 i0 Ui0 iq . (126)
Entre os elementos do conjunto e definida uma
operacao de multiplicacao: o produto matricial. O
produto de matrizes e uma operacao associativa.
Sendo U transformacoes unitarias, as transformacoes
inversas sao definidas por U 1 = U . Ressaltamos
que entre as matrizes na Eq. (126) esta presente
tambem a matriz unidade.
Na investigacao da estrutura do conjunto nao dis-
tinguiremos as transformacoes que diferem por um
fator de fase. Em outras palavras, diremos que as
transformacoes que diferem por um fator de fase
pertencem a uma mesma classe de equivalencia, que
DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-17

denotamos pelo smbolo ' Usando a Eq. (127), temos:

U ' ei U . c1 , c2 C, c1 c2 = ' C , (134)

Primeiramente, observamos que o conjunto que

c C, a A, ca = U0
inclui as matrizes de Pauli i e a matriz unidade 0 , 0

 0 i
representado por = , , forma um grupo ' U0 A; (135)
0
em classes de equivalencia, porque ac = U0 ' U0 A,

' . (127)
c C, b B, cb = U0
n o 0
O conjunto de tres transformacoes 0 , U0 , U0 ' U0 B; (136)
0
tambem forma um grupo em classes de equivalencia, bc =
U0 '
U0 B .
porque
U02 ' U0 , U02 ' U0 , (128) Usando as Eqs. (127), (130) e (131), temos:
que foi indicado na Eq. (86). a A, b B, ab = U0 U0
0 0 0 0
' U0 U0 ' ' C ;
6.2.1. Estrutura do Setor Cclico 0 0
(Anticclico) das Transformacoes ba = U0 U0 ' U0 U0
0 0
' ' C .
Na primeira etapa discutiremos as transformacoes
entre as representacoes do setor cclico (anticclico). Usando as Eqs. (127), (130), (131) e a Eq. (128),
Qualquer transformacao, inclusive as transformacoes temos:
inversas, no setor cclico (anticclico) pode ser apre-
sentada em uma das formas: a1 , a2 A, a1 a2 = U0 U0
0 0 0 0
' U02 ' U0 B ;
0
, U0 ,
U0 .
b1 , b2 B, b1 b2 = U0 U0
0 0 0 0
Levando em conta a Eq. (127), temos: ' U02 ' U0 A .
0 ' ' . Entao, o conjunto X contem o elemento neutro e
possui as propriedades:
Portanto, o conjunto das transformacoes do setor
cclico (anticclico), que denotamos por X, tem a x X, x1 X; x1 , x2 X, x1 x2 X , (137)
forma:
n o que significa que o conjunto X forma um grupo. O
X = , U0 , U0 . (129) grupo X possui a seguinte subestrutura:

Alem disso, por calculos diretos pode ser demons- a1 , a2 A, a1 a2 B;

trado que b1 , b2 B, b1 b2 A;
1 U0 ' U0 3 , 2 U0 ' U0 1 , 3 U0 ' U0 2 (130) c1 , c2 C, c1 c2 C ; (138)
a A, b B, ab C, ba C ;
e a A, c C, ac A, ca A ;
U0 1 ' 3
U0 , U0 2 ' 1
U0 , U0 3 ' 2
U0 , b B, c C, bc B, cb B .
(131)
As propriedades de multiplicacao dos elementos dos
que expressamos de forma simbolica como:
subconjuntos do grupo X sao apresentadas tambem
U0 ' U0 , U0 ' U0 . (132) na Tabela (7) e na Fig. (1). Das propriedades (130)
e (131), conclumos que o grupo X e nao abeliano.
Denotaremos os subconjuntos do conjunto X por: Alem disso, de acordo com as Eqs. (127) e (128), o
n o n o grupo X contem dois subgrupos nao triviais:
C = , A = { U0 } , B = U0 . n o
(133) GU = 0 , U0 , U0 , GC = { } . (139)

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-18 Representacoes da Equacao de Dirac em 1+1 Dimensoes

6.2.2. Estrutura do Conjunto Total das

Tabela 7: Tabela de efeito de multiplicacao dos elementos Transformacoes
dos subconjuntos A, B, C do grupo X. Agora discutiremos o conjunto total das trans-
X C A B
formacoes. O conjunto total inclui o conjunto das
C C A B
A A B C transformacoes entre as representacoes do setor
B B C A cclico (anticclico) X, estudado na secao ante-
rior, e um conjunto das transformacoes entre re-
presentacoes cclicas e anticclicas, que denotaremos
por Y. Notamos que as transformacoes entre as re-
presentacoes cclicas e anticclicas principais, que
sao apresentadas nas Tabelas (3), (4), podem ser
escritas na forma:

Ut , Ut U0 , U0 Ut , Ut U0 , U0 Ut , (140)
U0 Ut U0 , U0 Ut U0 , U0 Ut U0 , U0 Ut U0 ,

onde U0 , U0 sao definidas nas Eqs. (84) e (85), e

Ut e uma transformacao de transicao entre as re-
presentacoes cclicas e anticclicas. Para Ut e con-
veniente escolher a transformacao U26 , pois U26 =

U26 = U62 :

Ut = U26 , Ut = Ut Ut2 = 1 . (141)

Escrevemos cada uma das transformacoes da Ta-

bela (3) na forma de composicao das transformacoes
Figura 1: Esquema da estrutura do grupo X. apropriadas utilizando as Eqs. (84), (85) e (141):

U14 = U12 U26 U64 ' U0 Ut U0 , U15 = U12 U26 U65 ' U0 Ut U0 , U16 = U12 U26 ' U0 Ut ,
U24 = U26 U64 ' Ut U0 , U25 = U26 U65 ' Ut U0 , U26 ' Ut ,
U34 = U32 U26 U64 ' U0 Ut U0 , U35 = U32 U26 U65 ' U0 Ut U0 , U36 = U32 U26 ' U0 Ut .

Denotamos
n o os elementos do grupo GU = entre as representacoes cclicas e anticclicas na
0
, U0 , U0 por Vi : forma:
Y = { Vi Ut Vj } . (144)
Vi GU , i = 0, 1 : V0 = 0 ,
Por calculo direto, pode ser demonstrado que
V+1 = U0 , V1 = U0 . (142)
Para Vi temos: Ut U0 Ut ' U0 3 , Ut U0 Ut ' U0 2 (145)

Vi , Vj GU , Vi Vj ' Vk GU ; Vi ' Vj . (143) ou

As transformacoes do conjunto (140) podem ser U0 Ut ' Ut U0 3 , U0 Ut ' Ut U0 2 ,
escritas na forma simbolica como:
U0 Ut 3 ' Ut U0 , U0 Ut 2 ' Ut U0 ,
Vi Ut Vj .
que expressamos simbolicamente como:
Adicionando ainda as transformacoes nao principais,
podemos escrever o conjunto Y das transformacoes V i Ut ' Ut V j . (146)

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-19

Por calculo direto, pode ser demonstrado tambem Alem disso, escreveremos a Eq. (132) na notacao
que usada nesta secao, como

1 1 2 3 3 2
Vi ' Vi (149)
Ut = Ut , Ut = Ut , Ut = Ut ,
(147) e o conjunto X da Eq. (129):
que, por sua vez, pode ser simbolicamente expres-
sada como X = { Vi } . (150)

Ut ' Ut . (148)

O conjunto total das transformacoes denotamos por:

n o
= {X, Y} = Vk , Vi Ut Vj ; i, j, k = 0, 1; , , , = 0, 1, 2, 3 (151)

Usando as Eqs. (146), (148) e (149), temos:

0
y1 , y2 Y, y1 y2 = Vi Ut Vj Vk Ut Vl ' Vi Ut Vj Vk Ut Vl (152)
0 0
' Vi Ut Vj Vk Ut Vl ' Vi Ut Vk0 Ut Vl ' Vi Ut2 Vj Vl
0 0 0 0 0 0
' Vi Vj Vl ' Vi Vj Vl ' Vj 0 Vl ' Vl 0 X .

0
x X, y Y, xy = Vi Vk Ut Vl ' Vi Ut Vk0 Vl (153)
0 0 0 0
' Vi Ut Vk0 Vl ' Vi Ut Vm Y;
0
yx = Vk Ut Vl Vi ' Vk Ut Vl Vi
0
' V k Ut V l V i ' V k Ut V m Y ;

0
x1 , x2 X, x1 x2 = Vi Vj ' Vi Vj (154)
0 0
' Vi Vj ' Vk X .

Entao, o conjunto contem um elemento neutro e que, por sua vez, contem os dois subgrupos nao
possui as propriedades: triviais:

, 1 ; 1 , 2 , 1 2 , (155)

que significa que o conjunto forma um grupo. O

grupo possui a subestrutura:
GU = {Vi } , GC = { } . (158)
x X, y Y, xy Y, yx Y, (156)
y1 , y2 Y, y1 y2 X; x1 , x2 X, x1 x2 X .

As propriedades de multiplicacao dos elementos dos

subconjuntos do grupo sao apresentadas tambem
na Tabela (8) e na Fig. (2). Das propriedades (145),
(147), (130) e (131), conclumos que o grupo e nao
abeliano. Alem disso, de acordo com a Eq. (156) e Tabela 8: Tabela de efeito de multiplicacao dos elementos
dos subconjuntos X, Y do grupo .
as Eqs. (127), (128) o grupo contem um subgrupo
X Y
nao trivial: X X Y
GX = { Vi } , (157) Y Y X

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-20 Representacoes da Equacao de Dirac em 1+1 Dimensoes

Exigindo a normalizacao do spinor na forma

up up = 1 ,
obtemos
!
2 p21
|| 1+
( + m)2
2 + 2m + m2 + p21 22 + 2m
= ||2 2 = ||2
( + m) ( + m)2
2 ( + m)
= ||2
( + m)2
r
2 + m i
= ||2 =1= e ,
( + m) 2
onde e um fator de fase arbitrario. Portanto,
Figura 2: Esquema da estrutura do conjunto total . !r
1 + m i
up = p1 e
(+m) 2
7. Forma Explcita de Spinores de !
Partcula e Antipartcula ei +m
=p .
2 ( + m) p1
O estudo da estrutura algebrica do conjunto de
Impondo = 0, obtemos:
transformacoes nos leva a conclusao de que todas
!
as representacoes sao equivalentes, isto e, uma re- +m 1
presentacao pode ser obtida a partir de qualquer u[3]
p = nf , nf = p . (159)
p1 2 ( + m)
outra por uma transformacao unitaria. Usaremos
este fato para a determinacao da forma explcita Os spinores em outras representacoes sao obtidos a
[3]
de spinores constantes em qualquer representacao partir de up com o uso das transformacoes deter-
a partir de um spinor de uma certa representacao. minadas na Secao 5:
Por exemplo, determinaremos a forma explcita do
[3] u[ip q ] = Uiq 30 u[3] [3]
p = Uiq i0 Ui0 30 up , (160)
spinor up de partcula na representacao principal
[3]: = 3 , = 1 . Resolvemos a Eq. (54) para up . onde as transformacoes Uiq i0 foram apresentadas na
Escrevemos a equacao na forma matricial Tabela (6), e Ui0 30 foram escritas na Eq. (84) e na
! ! ! Tabela (3).
m p1 Escrevendo a equacao para spinores de anti-
= 0, up = ,
p1 m partcula da Eq. (54) na forma:

que corresponde ao par das equacoes com respeito [p1 m] vp = vp = + vp ,

as componentes: observamos que esta equacao difere da equacao para
spinores de partcula pelo sinal oposto do termo
( m) p1 = 0 , com . Portanto, se e usada uma representacao
p1 ( + m) = 0 . com = s i , o spinor de antipartcula obedece a
equacao para o spinor de partcula na representacao
Podemos expressar a componente como: com = s i . De acordo com a Tabela (2) pode-
mos estabelecer as relacoes entre spinores de anti-
p1
= , partcula e spinores de partcula nas representacoes
( + m)
correspondentes:
portanto, vp[i0 ] = u[ip 2 ] , vp[i2 ] = u[ip 0 ] ; vp[i1 ] = u[ip 3 ] , vp[i3 ] = u[ip 1 ] .
! !
1 Com o uso das transformacoes Uiq i0 da Tabela (6)
up = = p1 .
(+m) escrevemos os spinores de antipartcula a partir do

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-21

spinor de partcula da representacao principal cor- Em processo de aplicacao do metodo de transforma-

respondente: das de Darboux sao gerados o hamiltoniano novo
Hb D1 e suas autofuncoes {D } na representacao [11 ]
vp[i0 ] = u[ip 2 ] = Ui2 ,i0 u[ip 0 ] , vp[i2 ] = u[ip 0 ] , (161) (ou [61 ]). Se necessario, e facil voltar a representacao
vp[i1 ] = u[ip 3 ] = Ui3 ,i0 u[ip 0 ] , vp[i3 ] = u[ip 1 ] inicial, aplicando a transformacao inversa Uiq 11 (ou
= Ui1 ,i0 u[ip 0 ] . Uiq 61 ). Expressamos as etapas de calculos simboli-
camente como:
No caso particular da representacao [3], obtemos,
como um exemplo, a forma explcita do spinor de U D T DD D U 1 D .
antipartcula:
Para as transformacoes diretas temos:
vp[3] = vp[30 ] = up[32 ] = U32 ,30 u[3
p
0]
= 1 u[3]
p
U11 iq = U11 10 U10 i0 Ui0 iq = 1 U10 i0 Ui0 iq ;
! !
1 +m p1
= nf = nf . (162) U61 iq = U61 60 U60 i0 Ui0 iq = 3 U60 i0 Ui0 iq
p1 +m

Notamos que o caso de 2+1 dimensoes ja nao exibe e, para as transformacoes inversas,
a propriedade de equivalencia de todas as repre-
sentacoes e a possibilidade de obtencao de spinores Uiq 11 = Uiq i0 Ui0 10 1 ; Uiq 61 = Uiq i0 Ui0 60 3 .
de antipartcula a partir de spinores de partcula
por uma transformacao unitaria. 2. Discutiremos resumidamente tambem a
existencia de fermions de Majorana em 1+1 di-
8. Discussao mensoes e sua forma explcita. Segundo as Refs. [25]
e [26], os fermions de Majorana podem ser defini-
Nesta secao discutiremos algumas aplicacoes dos dos como as solucoes da equacao de Dirac, em que
resultados obtidos no trabalho. e usada a representacao em que as componentes
1. Nos trabalhos [23] e [24] e elaborado o metodo das matrizes sao imaginarias. No caso de 1+1
de transformadas de Darboux para a equacao de dimensoes estas representacoes sao [2q ] e [5q ]. Um
Dirac em 1+1 dimensoes. O metodo permite gerar spinor de Majorana obedece a condicao
um hamiltoniano novo, junto com suas autofuncoes
{D }, a partir de um hamiltoniano iniciante, cujo = 0 C ,
espectro e autofuncoes {D } sao conhecidos. Simbo-
licamente escrevemos a aplicacao do metodo como: onde o simbolo e a conjugacao complexa, C e uma
matriz unitaria que obedece a condicao:
D = T DD .
C > = C , (164)
O metodo e elaborado para o hamiltoniano que na
nossa notacao e escrito como: o simbolo > indica a matriz transposta. Os spino-
HD0 = i 2 1 + v0 , HD0 = , (163) res constantes de partcula e antipartcula de um
fermion de Majorana obedecem as condicoes:
onde v0 e um potencial de interacao de forma ma-
tricial. Na Eq. (163) e usada a representacao de vp = 0 Cup , up = 0 Cvp . (165)
= 2 e = 1 ou = 3 . De acordo com a clas-
sificacao proposta neste artigo, estas representacoes Determinaremos a forma explcita da matriz C.
Escrevendo a matriz C na base 0 , i

sao [11 ] ou [61 ].
Para utilizar o metodo de transformadas de Dar-
boux para um hamiltoniano H b 0 , em qualquer ou- C = c = c0 0 + c1 1 + c2 2 + c3 3
tra representacao [iq ], e suficiente aplicar a trans-
formacao U11 iq (ou U61 iq ) no hamiltoniano e nas e usando as relacoes das matrizes de Pauli
suas autofuncoes {} para leva-los a representacao  >  >
usada no metodo: 0 = 0, 1 = 1,
 >  >
HD0 = U H0 U , D = U . 2 = 2 , 3 = 3,

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-22 Representacoes da Equacao de Dirac em 1+1 Dimensoes

temos: Portanto
C > = c0 0 + c1 1 c2 2 + c3 3 . C = ei 2 ,
A condicao (164) leva a relacao
c0 0 + c1 1 c2 2 + c3 3 onde e um fator de fase arbitrario.
0 1
= c0 c1 c2 c3 , 2 3 Determinaremos a forma explcita de spinores
constantes de partcula e antipartcula de fermions
que da de Majorana para as representacoes principais [2]
c0 = c1 = c3 = 0 |c2 |2 = 1 c2 = ei . e [5]. Na representacao [2] eles sao:

! ! !
nf 1 1 +m nf + m p1
u[2]
p = U23 u[3]
p = = ,
2 i i p1 2 i ( + m + p1 )
! !
nf + m p1 nf + m p1
vp[2] = u[2
p
2]
= U22 ,20 u[2
p
0]
= 3 = .
2 i ( + m + p1 ) 2 i ( + m + p1 )
Na representacao [5] eles sao:
! ! !
nf 1 i +m nf + m ip1
u[5]
p = U53 u[3]
p = = ,
2 i 1 p1 2 i ( + m) p1
! !
nf + m ip1 nf i ( + m) p1
vp[5] = u[5
p
2]
= U52 ,50 u[5
p
0]
= 1 = .
2 i ( + m) p1 2 + m ip1

Justificaremos as relacoes (165) para as representacoes [2] e [5]. Para a representacao [2] usamos C = 2 ,
que da 0 C = 2 2 = 1, portanto
!
0 nf + m p1
Cu[2]
p = = vp[2] .
2 i ( + m + p1 )

Para representacao [5] usamos C = i 2 , que da 0 C = 2 i 2 = i, portanto

! !
0 inf + m + ip1 nf i ( + m) p1
Cu[5]
p = = = vp[5] .
2 i ( + m) p1 2 ( + m) ip1

9. Conclusao numero das transformacoes e 552, mas grande parte

Neste trabalho consideramos as representacoes da
equacao de Dirac em 1+1 dimensoes. Introduzi-
mos uma classificacao unificada de todas as repre-
sentacoes nas quais cada matriz de Dirac e associ-
ada a uma unica matriz de Pauli. Esta classificacao
inclui 6 representacoes principais: 3 cclicas e 3 an-
ticclicas. A inclusao das representacoes com sinais
modificados das matrizes de Pauli faz com que cada
representacao principal torne-se um membro de um
quarteto das representacoes. O numero total das
representacoes distintas portanto e 24. Determina-
mos todas as transformacoes unitarias entre as re-
presentacoes na forma explcita. Formalmente, o
delas e expressa na mesma forma. As transformacoes
entre as representacoes cclicas (anticclicas) princi-
pais sao expressas por duas transformacoes diferen-
tes. As transformacoes entre representacoes cclicas
e anticclicas sao expressas por 9 transformacoes
diferentes. Entre elas, 3 sao hermitiano conjugadas
e outras 6 compoem 3 pares em que um membro
do par e o resultado da conjugacao hermitiana do
outro. As transformacoes entre os membros de to-
dos os quartetos das representacoes sao expressas
por tres matrizes de Pauli. Estudamos a estrutura
algebrica do conjunto das transformacoes. Estabele-
cemos que o conjunto das transformacoes forma um
grupo nao abeliano com respeito ao produto matri-

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr. e3312-23

cial em classes de equivalencia, definidas atraves da
indistinguibilidade das transformacoes que diferem
por um fator de fase constante. Este grupo possui
um subgrupo nao trivial, o qual por sua vez, contem
os dois subgrupos nao triviais. O estudo de estrutura
do conjunto leva a conclusao de que todas as repre-
sentacoes sao equivalentes, isto e, uma representacao
pode ser obtida a partir de qualquer outra por uma
transformacao unitaria. A forma explcita de spino-
res constantes em qualquer representacao pode ser
determinada a partir de um spinor de uma certa re-
presentacao por uma transformacao unitaria. Alem
disso, spinores constantes de antipartcula podem
ser determinados, a partir de spinores de partcula,
por uma transformacao unitaria apropriada no caso
livre. Notamos que o caso de 2+1 dimensoes ja nao
exibe estas propriedades.
Como aplicacao dos resultados obtidos no traba-
lho, apresentamos uma adicao util ao metodo de
transformadas de Darboux para a equacao de Di-
rac em 1+1 dimensoes. Discutimos resumidamente
a existencia de fermions de Majorana em 1+1 di-
mensoes e apresentamos exemplos da sua forma
explcita. Apresentamos tambem a forma geral das
matrizes de Dirac em 1+1 dimensoes determinada
por 3 parametros arbitrarios. A forma geral pode
ser util em discussoes de problemas em dimensoes
mais altas que 1+1, por exemplo, no caso de uso
de coordenadas especiais ou para interpretacoes de
resultados. Demonstramos que ha um isomorfismo
entre o par das matrizes de Dirac e o par de vetores
unitarios ortogonais, ou por outro ponto de vista,
isomorfismo entre o par das matrizes de Dirac e
um intervalo geodesico direcionado de comprimento
/2 na variedade S 2 . Em virtude disto, indicamos
que a tarefa de classificacao de representacoes e a
busca de transformacoes unitarias entre elas pode
ser convertida numa formulacao geometrica.
Como uma continuacao deste trabalho vemos uma
consideracao de aspectos analogos da equacao de
Dirac em 2+1 dimensoes.
Apendice
No caso geral, as matrizes de Dirac , sao ma-
trizes complexas 2 2 que obedecem as seguintes
condicoes. Elas sao hermitianas
= , = ,
com traco nulo
Tr () = Tr () = 0,
seu quadrado e igual a unidade
2 = 2 = 1
e elas anticomutam
{, } = + = 0.
Escrevemos , na base de matrizes de Pauli i e
a matriz unidade 0 :

!
0 i b0 + b3 b1 ib2
= b = b0 + bi = , b C,
b1 + ib2 b0 b3
!
a0 + a3 a1 ia2
= a = a0 0 + ai i = , a C.
a1 + ia2 a0 a3

As matrizes sao definidas por coeficientes b , a os quais agrupamos do seguinte modo:

 
= (b0 , bi ) = b0 , ~b , = (a0 , ai ) = (a0 , ~a) , b , a C.

Com o uso desta notacao podemos escrever o resultado do produto das matrizes como:
 
= (a0 b0 + ai bi , a0 bi + b0 ai + iijk aj bk ) = a0 b0 + ~a~b, a0~b + b0~a + i~a ~b

e o quadrado das matrizes como:

   
2 = a20 + ~a2 , 2a0~a + i~a ~a = a20 + ~a2 , 2a0~a ,

DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016
e3312-24 Representacoes da Equacao de Dirac em 1+1 Dimensoes

 
2 = b20 + ~b2 , 2b0~b .
As matrizes hermitiano-conjugadas sao dadas por:
= b , = a ,
onde o smbolo denota conjugacao complexa.
A condicao de hermiticidade de , leva as relacoes:

b = b , a = a b = b , a = a b , a R.
A condicao de traco nulo implica:
Tr () = 2b0 = 0, Tr () = 2a0 = 0 b0 = 0, a0 = 0.
Com o uso das ultimas relacoes para o quadrado das matrizes temos:
   
2 = ~b2 , 0 = 1, 2 = ~a2 , 0 = 1 ~b2 = 1, ~a2 = 1.
Finalmente, a condicao de anticomutacao das matrizes implica em:
     
{, } = + = ~a~b, i~a ~b + ~b~a, i~b ~a = 2~a~b, 0 = 0 ~a~b = 0.
Portanto, podemos concluir que as matrizes de Dirac , sao isomorfas ao par de vetores unitarios
ortogonais com seu incio na origem:
 
~b, ~a; ~b = |~a| = 1, ~a~b = 0. (166)
 

As componentes dos vetores ~b, ~a definem os coeficientes das matrizes , na decomposicao pela base
 0 i
, :
!
i b3 b1 ib2
= bi = , bi R,
b1 + ib2 b3
!
i a3 a1 ia2
= ai = , ai R.
a1 + ia2 a3

Por exemplo, os componentes do vetor ~b podem ser escolhidos na forma:

bi = sin cos , bj = sin sin , bk = cos
com os dois parametros arbitrarios , . As componentes do vetor ~a que e localizado no plano perpendicular
ao vetor ~b sao dadas por:
ai = cos cos cos sin sin , aj = cos sin cos + cos sin , ak = sin cos
com um parametro arbitrario . Para as matrizes , temos:
!
1 2 3 cos ei sin
= sin cos + sin sin + cos =
ei sin cos

= 1 (cos cos cos sin sin ) + 2 (cos sin cos + cos sin ) + 3 ( sin cos )
!
sin cos ei (cos cos i sin )
= i .
e (cos cos + i sin ) sin cos
No caso particular = 0 temos:
ai = cos cos , aj = cos sin , ak = sin
e !
1 2 3 sin ei cos
= cos cos + cos sin + ( sin ) = .
ei cos sin

Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016 DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
Smirnov e Farias Jr.
A Eq. (166) pode ser interpretada de outra ma-
neira. As matrizes de Dirac , sao isomorfas aos
pontos na superfcie de uma esfera. Os pontos in-
dicam o incio e o fim de um intervalo curvado de
comprimento /2 na superfcie de uma esfera de raio
igual a unidade. O par das matrizes de Dirac ,
e isomorfo a um intervalo geodesico direcionado de
comprimento /2 na variedade S2 . Entao, a tarefa
de classificacao das representacoes e a busca de trans-
formacoes unitarias entre elas, pode ser reformulada
geometricamente.
Agradecimentos
Agradecemos a Fundacao de Apoio a Pesquisa
e a Inovacao Tecnologica do Estado de Sergipe
(FAPITEC-SE) pelo apoio financeiro parcial deste
trabalho. Gostariamos tambem de agaredecer ao
Prof. Osmar de Souza e Silva Junior, ao Prof. Ger-
son Cortes Duarte Filho e Thaina Aragao Sabino
do Departamento de Fsica da Universidade Federal
de Sergipe por suas contribuicoes na revisao final
do texo do artigo.
Referencias
[1] L.I. Schiff, Quantum Mechanics (McGraw-Hill, New
York, 1968).
[2] W. Greiner, Relativistic Quantum Mechanics (Sprin-
ger, Berlin, 2000).
[3] J.D. Bjorken and S.D. Drell, Relativistic Quantum
Mechanics (McGraw-Hill, New York, 1964).
[4] F. Mandl and G. Shaw, Quantum Field Theory
(John Wiley, Chichester, 1984).
[5] L.H. Ryder, Quantum Field Theory (Cambridge
University Press, Cambridge, 1996).
DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056
e3312-25
[6] C. Itzykson and J.-B. Zuber, Quantum Field Theory
(McGraw-Hill, New York, 1980).
[7] M.E. Peskin and D.V. Schroeder, An introduction
to Quantum Field Theory (Addison-Wesley, Boston,
1995).
[8] B. Thaller, The Dirac Equation (Springer-Verlag,
Berlin, 1992).
[9] V.G. Bagrov and D.M. Gitman, The Dirac Equation
and its Solutions (Walter de Gruyter, Berlin, 2014).
[10] K. Fredenhagen, in: Fields and Particles (Springer-
Verlag, Berlin, 1990), p. 53-87.
[11] H. Galic, Am. J. Phys. 56, 312 (1988).
[12] J.R. Hiller, Am. J. Phys. 70, 522 (2002).
[13] R.S. Bhalerao and B. Ram, Am. J. Phys. 69, 817
(2001).
[14] Y. Nogami, F.M. Toyama and W. van Dijk, Am. J.
Phys. 71, 950 (2003).
[15] V. Alonsoy and S. De Vincenzoz, J. Phys. A 30,
8573 (1997).
[16] O. Mustafa, Cent. Eur. J. Phys. 11, 480 (2013).
[17] L.A. Gonzalez-Daz, A.A. Daz, S. Daz-Solorzano
and J.R. Darias, J. Phys. A 48, 045207 (2015).
[18] Jian-Yuan Cheng, Found. Phys. 44, 953 (2014).
[19] J. Bunao and Eric A. Galapon, Ann. Phys. 356, 369
(2015).
[20] Luiz P. de Oliveira and Luis B. Castro, Ann. Phys.
365, 99 (2016).
[21] G.B. Arfken and H.J. Weber, Fsica Matematica.
Metodos Matematicos para Engenharia e Fsica
(Campus Elsevier, Sao Paulo, 2005).
[22] A.C. Muniz Neto, Topicos de Matematica Elementar
(SBM, Rio de Janeiro, 2012).
[23] N. Debergh, A.A. Pecheritsin, B.F. Samsonov and
B. Van den Bossche, J. Phys. A 35, 3279 (2002).
[24] L.M. Nieto, A.A. Pecheritsin and B.F. Samsonov,
Ann. Phys. 305, 151 (2003).
[25] P.B. Pal, arXiv:physics/0703214.
[26] P.B. Pal, Am. J. Phys. 79, 485 (2011).
Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016