Professional Documents
Culture Documents
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.
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- espaciais e de tempo sao reunidas em um quadrivetor
ficientes 1 , 2 , 3 e nao podem ser numeros, x , em que o ndice recebe os valores 0, 1, 2, 3:
pois os mumeros obedecem a lei de comutacao com
x = x0 , x1 , x2 , x3
respeito a multiplicacao, isto e, para dois numeros
x1 e x2 , diferentes de zero, temos x1 x2 = x2 x1 e = x0 , xi = x0 , ~x , i = 1, 2, 3, (14)
x1 x2 + x2 x1 = 2x1 x2 . Considerando os coeficientes
com componentes
1 , 2 , 3 e como matrizes, e possivel encontrar
4 matrizes que obedecem as condicoes da Eq. (10). x0 = ct, x1 = x, x2 = y, x3 = z.
A dimensao mnima destas matrizes e 4 4. As O 4-vetor x representa os pontos do espaco-tempo.
matrizes 1 , 2 , 3 e sao chamadas de matrizes Para denotar as derivadas pelas coordenadas usamos
de Dirac. o smbolo = /x . Usaremos tambem as unida-
Efetuando a substituicao das quantidades na Eq. des naturais em que e aceita a convencao c = ~ = 1.
(8) pelos operadores da Eq. (3), chegamos a equacao: Aplicando as notacoes e convencoes indicadas acima
na Eq. (13), temos:
i~ = 1 ic~ 2 ic~
t x y i0 = (1 i1 2 i2 3 i3 + m) . (15)
Na area da teoria relativstica e usada tambem uma
3 ic~ + mc2 , (11)
z convencao de somatorio por ndices repetidos. Se
que representa a equacao de Dirac. A equacao de em uma formula existe um termo de produto de
Dirac descreve o comportamento quantico de uma quantidades que possuem o mesmo ndice, isto sig-
partcula relativstica de spin 1/2, como por exem- nifica que por este ndice e efetuado um somatorio.
plo o eletron. Como a equacao (11) e uma equacao Neste caso o smbolo de soma nao se escreve. Apli-
matricial, a funcao de onda e um objeto de 4 com- camos esta convencao para o somatorio dos termos
ponentes, chamado de spinor de Dirac, que pode ser semelhantes do lado direito da Eq. (15)
escrito na forma de uma coluna: 3
X
1 i1 + 2 i2 + 3 i3 = i ii = i ii
1 i=1
2
e chegamos a forma compacta da equacao:
= . (12)
3
i0 = (i ii + m) . (16)
4
O lado direito da Eq. (16), bem como o da Eq.
Dividindo os lados esquerdo e direito da Eq. (11) (11), representa o hamiltoniano de Dirac para a
por c~, obtemos: partcula livre:
1 mc H = (i ii + m) . (17)
i = 1 i 2 i 3 i + . (13)
c t x y z ~ Sendo o hamiltoniano um operador hermitiano, as
Introduzimos as notacoes que sao usadas na area matrizes , i tambem sao hermitianas
da teoria relativstica e de campos. As coordenadas = , 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
= 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
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. e3312-7
como 6 8 = 48. Como vemos, o numero de repre- equacao de Dirac com potencial confinante e indi-
sentacoes distintas da equacao de Dirac nas baixas cado que a representacao = 1 , = 2 e mais con-
dimensoes nao e grande, permitindo fazer uma des- veniente para discussao de aspectos supersimetricos,
cricao completa das representacoes com o uso de mas a representacao = 3 , = 2 e mais util
ferramentas matematicas bastante simples. Acha- para observacao de relacoes entre os casos de 1 + 1,
mos que este tipo de investigacao e compreensvel 2 + 1 e 3 + 1 dimensoes. No artigo [15] sao discuti-
a alunos de graduacao que possuem conhecimento das as condicoes de contorno para uma partcula de
acerca de conceitos basicos de relatividade especial Dirac em uma caixa unidimensional. No trabalho
e da mecanica quantica e com intencao de especia- sao usadas a representacao = 3 , = 1 , cha-
lizacao na area de fsica teorica. mada de representacao de Dirac e a representacao
Neste trabalho consideraremos a equacao de Di- = 1 , = 3 chamada de representacao de Weyl.
rac em 1+1 dimensoes. Propomos uma classificacao No trabalho e indicado tambem que para discussao
unificada das representacoes e determinaremos to- do limite nao relativstico e mais conveniente a uti-
das as transformacoes unitarias entre elas na forma lizacao da representacao de Dirac.
explcita. A estrutura algebrica do conjunto das Outra motivacao do nosso trabalho e o interesse
transformacoes sera estudada. Apresentaremos a atual no tema da equacao de Dirac em 1+1 di-
forma mais geral das matrizes de Dirac em 1+1 mensoes. Recentemente a equacao de Dirac, ou a
dimensoes e discutiremos isomorfismos destas ma- equacao do tipo Dirac em 1+1 dimensoes, sao ativa-
trizes. Apresentaremos tambem algumas aplicacoes mente utilizadas em estudos nas areas de materia
dos resultados obtidos neste trabalho. condensada e fsica atomica e molecular, para a
Foi observado que, em trabalhos envolvendo a descricao de sistemas em baixas dimensoes que de-
equacao de Dirac em 1+1 dimensoes, sao usadas monstram comportamento relativstico de partculas
varias representacoes e em alguns casos surge uma ou quasi-partculas. Mencionamos alguns trabalhos
necessidade de transicao entre representacoes. Ve- recentes desta linha de pesquisa. No trabalho [16]
mos que uma descricao completa das representacoes sao consideradas as partculas de Dirac em uma
pode ser usada como um ponto de referencia para dimensao com massa e velocidade dependentes da
estudos nesse tema. Mencionamos alguns traba- posicao. E demonstrado que as solucoes do tipo esta-
lhos onde sao usadas diferentes representacoes. Por dos ligados no contnuo sao possveis apenas quando
exemplo, no trabalho [11] e discutida a equacao uma relacao especial entre massa e velocidade das
de Dirac em 1+1 dimensoes com potencial eletrico partculas e satisfeita. No trabalho [17], e estudado
V0 = q |x|. Para a busca de solucoes da equacao, um hamiltoniano unidimensional do tipo Dirac, com
e usada a representacao das matrizes de Dirac massa e velocidade na forma de degrau. Sao de-
= 1 , = 3 , mas para a discussao do limite nao terminadas as extensoes auto-adjuntas fsicas desse
relativstico e usada a representacao = 3 , = 1 , hamiltoniano e sao apresentados os seus espectros.
chamada de representacao padraoporque tem E discutida uma transicao atraves de heteroestrutu-
forma diagonal nesta representacao. Uma trans- ras unidimensionais descritas pela equacao de Dirac.
formacao entre as duas representacoes e indicada de No artigo [18], e demonstrado que o limite de con-
forma implcita no trabalho [11]. No trabalho [12] e finamento da partcula de Dirac de uma dimensao
considerada a equacao de Dirac em 1+1 dimensoes espacial
sujeita ao potencial vetorial e escalar e
com potencial escalar Vs = g |x|. Para a busca C / 2, onde C e comprimento de onda Compton
de solucoes da equacao, e usada a representacao da partcula. A validade do limite de confinamento
das matrizes de Dirac = 1 , = 2 , chamada e estendida para os potenciais nao simetricos. No
por alguns autores, como o da Ref. [13], por exem- artigo [19], e construdo o operador de time of
plo, de representacao de Jackiw-Rebbi. Para a dis- arrivalconjugado ao hamiltoniano que descreve a
cussao do limite nao relativstico e usada a re- partcula relativstica de spin 1/2 de uma dimensao
presentacao = 3 , = 2 . No trabalho [12] e espacial. No artigo e demostrado que o operador
apresentada tambem uma transformacao unitaria construdo consiste de um termo Tb cuja acao e a
entre as duas representacoes
! na forma explcita mesma do caso de spin-0 e outro termo Tb0 que
1 1 comuta com o hamiltoniano. Impondo a condicao
U = i2 . No artigo [14] e discutida a
1 1 de invariancia relativa a inversao da paridade no
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-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)
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
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
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
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
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
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
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
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 Representacoes da Equacao de Dirac em 1+1 Dimensoes
O axioma 1 e denominado de axioma de fecha- e, o resultado nao depende da ordem dos numeros
mento, o 2 de associatividade, o 3 de elemento neu- multiplicados. Portanto o grupo (R+ , ) e abeliano.
tro e o 4 de elemento inverso. Agora apresentamos alguns exemplos de subgru-
Se para os quatro axiomas acima e adicionado um pos.
axioma de comutatividade: 1. Nos exemplos 1 e 2 acima mostramos que os
5. Para quaisquer elementos g1 e g2 pertencentes a conjuntos Z e R com a operacao de soma formam
G, e satisfeita a relacao: grupos. Z e o subconjunto de R, portanto Z e um
subgrupo de R.
g1 , g2 G, g1 g2 = g2 g1 , (124) 2. Consideremos o conjunto de todos os numeros
mpares com a operacao de soma que e um subcon-
o grupo e denominado de grupo comutativo ou abeli-
junto de numeros inteiros. Este conjunto nao forma
ano. Se um grupo nao obedece o axioma de comuta-
um grupo, pois a soma de dois numeros mpares e
tividade, ele e denominado de grupo nao comutativo
um numero par. Portanto, o axioma de fechamento
ou nao abeliano.
nao e obedecido. Entretanto, a situacao e outra com
Se um subconjunto G0 de G e fechado sob a
o conjunto de todos os numeros pares, que tambem
operacao (), isto e, para todos elementos g10 e
e um subconjunto dos numeros inteiros. Ele obedece
g20 de G0 temos que g10 g20 tambem pertence a G0 :
os axiomas de grupo: a soma de dois numeros pares
g10 , g20 G0 , g10 g20 G0 , (125) e um numero par, a operacao de soma de numeros
pares e associativa, o elemento neutro e o zero, o ele-
entao, G0 forma um grupo e e denominado subgrupo mento inverso para um dado numero par e o numero
de G. com o sinal oposto. Portanto, o conjunto de todos
Apresentamos alguns exemplos simples de grupos. numeros pares e um subgrupo de numeros inteiros.
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- 6.2. Estrutura Algebrica do Conjunto das
quer dois numeros inteiros e um numero inteiro. A Transformacoes
operacao de soma para numeros inteiros e associ-
ativa. O elemento neutro em Z e o zero, 0. Para O conjunto que consideraremos nesta secao e o con-
qualquer numero inteiro n o elemento inverso e n. junto das transformacoes unitarias entre as varias
Entao, (Z, +) e um grupo. A soma de dois numeros representacoes das matrizes de Dirac que foi ob-
inteiros e comutativa, isto e, o resultado nao de- tido nas secoes anteriores. Cada transformacao e
pende da ordem dos numeros somados. Portanto, o representada por uma matriz unitaria. Uma acao
grupo (Z, +) e abeliano. consecutiva das transformacoes, que introduz uma
2. O conjunto de numeros reais R com a operacao composicao de transformacoes, e definida como o
de soma, que designamos por (R, +). A soma de produto usual de matrizes. Nosso objeto de estudo
quaisquer dois numeros reais e um numero real. A e o conjunto de matrizes unitarias indicado na Eq.
operacao de soma para numeros reais e associativa. (65):
O elemento neutro em (R, +) e o zero, 0. Para qual- Ujr iq = Ujr j0 Uj0 i0 Ui0 iq . (126)
quer numero real x o elemento inverso em (R, +)
e x. Entao, (R, +) forma um grupo. Por razoes Entre os elementos do conjunto e definida uma
similares ao exemplo 1, podemos concluir que (R, +) operacao de multiplicacao: o produto matricial. O
e um grupo abeliano. produto de matrizes e uma operacao associativa.
3. O conjunto de numeros reais positivos R+ com Sendo U transformacoes unitarias, as transformacoes
a operacao de multiplicacao, que designamos por inversas sao definidas por U 1 = U . Ressaltamos
(R+ , ). O produto de quaisquer dois numeros reais que entre as matrizes na Eq. (126) esta presente
positivos e um numero real positivo. A operacao de tambem a matriz unidade.
multiplicacao para numeros reais positivos e associ- Na investigacao da estrutura do conjunto nao dis-
ativa. O elemento neutro em (R+ , ) e a unidade, 1. tinguiremos as transformacoes que diferem por um
Para qualquer numero real x o elemento inverso em fator de fase. Em outras palavras, diremos que as
(R+ , ) e 1/x. Entao, (R+ , ) forma um grupo. O pro- transformacoes que diferem por um fator de fase
duto de numeros reais positivos e comutativo, isto pertencem a uma mesma classe de equivalencia, que
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-17
' . (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:
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
Ut , Ut U0 , U0 Ut , Ut U0 , U0 Ut , (140)
U0 Ut U0 , U0 Ut U0 , U0 Ut U0 , U0 Ut U0 ,
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)
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)
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)
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
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
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 )
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 unitarios ortogonais, ou por outro ponto de vista,
indistinguibilidade das transformacoes que diferem isomorfismo entre o par das matrizes de Dirac e
por um fator de fase constante. Este grupo possui um intervalo geodesico direcionado de comprimento
um subgrupo nao trivial, o qual por sua vez, contem /2 na variedade S 2 . Em virtude disto, indicamos
os dois subgrupos nao triviais. O estudo de estrutura que a tarefa de classificacao de representacoes e a
do conjunto leva a conclusao de que todas as repre- busca de transformacoes unitarias entre elas pode
sentacoes sao equivalentes, isto e, uma representacao ser convertida numa formulacao geometrica.
pode ser obtida a partir de qualquer outra por uma Como uma continuacao deste trabalho vemos uma
transformacao unitaria. A forma explcita de spino- consideracao de aspectos analogos da equacao de
res constantes em qualquer representacao pode ser Dirac em 2+1 dimensoes.
determinada a partir de um spinor de uma certa re-
presentacao por uma transformacao unitaria. Alem Apendice
disso, spinores constantes de antipartcula podem
ser determinados, a partir de spinores de partcula, No caso geral, as matrizes de Dirac , sao ma-
por uma transformacao unitaria apropriada no caso trizes complexas 2 2 que obedecem as seguintes
livre. Notamos que o caso de 2+1 dimensoes ja nao condicoes. Elas sao hermitianas
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- com traco nulo
rac em 1+1 dimensoes. Discutimos resumidamente
Tr () = Tr () = 0,
a existencia de fermions de Majorana em 1+1 di-
mensoes e apresentamos exemplos da sua forma seu quadrado e igual a unidade
explcita. Apresentamos tambem a forma geral das
matrizes de Dirac em 1+1 dimensoes determinada 2 = 2 = 1
por 3 parametros arbitrarios. A forma geral pode
ser util em discussoes de problemas em dimensoes e elas anticomutam
mais altas que 1+1, por exemplo, no caso de uso
de coordenadas especiais ou para interpretacoes de {, } = + = 0.
resultados. Demonstramos que ha um isomorfismo
Escrevemos , na base de matrizes de Pauli i e
entre o par das matrizes de Dirac e o par de vetores
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
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
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
= 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. e3312-25
A Eq. (166) pode ser interpretada de outra ma- [6] C. Itzykson and J.-B. Zuber, Quantum Field Theory
neira. As matrizes de Dirac , sao isomorfas aos (McGraw-Hill, New York, 1980).
pontos na superfcie de uma esfera. Os pontos in- [7] M.E. Peskin and D.V. Schroeder, An introduction
dicam o incio e o fim de um intervalo curvado de to Quantum Field Theory (Addison-Wesley, Boston,
1995).
comprimento /2 na superfcie de uma esfera de raio
[8] B. Thaller, The Dirac Equation (Springer-Verlag,
igual a unidade. O par das matrizes de Dirac ,
Berlin, 1992).
e isomorfo a um intervalo geodesico direcionado de [9] V.G. Bagrov and D.M. Gitman, The Dirac Equation
comprimento /2 na variedade S2 . Entao, a tarefa and its Solutions (Walter de Gruyter, Berlin, 2014).
de classificacao das representacoes e a busca de trans- [10] K. Fredenhagen, in: Fields and Particles (Springer-
formacoes unitarias entre elas, pode ser reformulada Verlag, Berlin, 1990), p. 53-87.
geometricamente. [11] H. Galic, Am. J. Phys. 56, 312 (1988).
[12] J.R. Hiller, Am. J. Phys. 70, 522 (2002).
Agradecimentos [13] R.S. Bhalerao and B. Ram, Am. J. Phys. 69, 817
(2001).
Agradecemos a Fundacao de Apoio a Pesquisa [14] Y. Nogami, F.M. Toyama and W. van Dijk, Am. J.
Phys. 71, 950 (2003).
e a Inovacao Tecnologica do Estado de Sergipe
[15] V. Alonsoy and S. De Vincenzoz, J. Phys. A 30,
(FAPITEC-SE) pelo apoio financeiro parcial deste
8573 (1997).
trabalho. Gostariamos tambem de agaredecer ao [16] O. Mustafa, Cent. Eur. J. Phys. 11, 480 (2013).
Prof. Osmar de Souza e Silva Junior, ao Prof. Ger- [17] L.A. Gonzalez-Daz, A.A. Daz, S. Daz-Solorzano
son Cortes Duarte Filho e Thaina Aragao Sabino and J.R. Darias, J. Phys. A 48, 045207 (2015).
do Departamento de Fsica da Universidade Federal [18] Jian-Yuan Cheng, Found. Phys. 44, 953 (2014).
de Sergipe por suas contribuicoes na revisao final [19] J. Bunao and Eric A. Galapon, Ann. Phys. 356, 369
do texo do artigo. (2015).
[20] Luiz P. de Oliveira and Luis B. Castro, Ann. Phys.
365, 99 (2016).
Referencias
[21] G.B. Arfken and H.J. Weber, Fsica Matematica.
[1] L.I. Schiff, Quantum Mechanics (McGraw-Hill, New Metodos Matematicos para Engenharia e Fsica
York, 1968). (Campus Elsevier, Sao Paulo, 2005).
[2] W. Greiner, Relativistic Quantum Mechanics (Sprin- [22] A.C. Muniz Neto, Topicos de Matematica Elementar
ger, Berlin, 2000). (SBM, Rio de Janeiro, 2012).
[3] J.D. Bjorken and S.D. Drell, Relativistic Quantum [23] N. Debergh, A.A. Pecheritsin, B.F. Samsonov and
Mechanics (McGraw-Hill, New York, 1964). B. Van den Bossche, J. Phys. A 35, 3279 (2002).
[4] F. Mandl and G. Shaw, Quantum Field Theory [24] L.M. Nieto, A.A. Pecheritsin and B.F. Samsonov,
(John Wiley, Chichester, 1984). Ann. Phys. 305, 151 (2003).
[5] L.H. Ryder, Quantum Field Theory (Cambridge [25] P.B. Pal, arXiv:physics/0703214.
University Press, Cambridge, 1996). [26] P.B. Pal, Am. J. Phys. 79, 485 (2011).
DOI: http://dx.doi.org/10.1590/1806-9126-RBEF-2016-0056 Revista Brasileira de Ensino de Fsica, vol. 38, n 3, e3312, 2016