ESCUELA POLITCNICA NACIONAL

FACULTAD DE CIENCIAS
POLARIZACIN DE UN ELECTRN RELATIVISTA EN
PRESENCIA DE UN CAMPO MAGNTICO ULTRA
FUERTE
PROYECTO PREVIO A LA OBTENCIN DEL TTULO DE FSICO
OSCAR ANDRS LASSO ANDINO
DIRECTOR: PROF. ERICSON LPEZ IZURIETA PHD.
Quito, Septiembre del 2007
DECLARACIN
Yo Oscar Andrs Lasso Andino, declaro bajo juramento que el trabajo aqu
escrito es de mi autora; que no ha sido previamente presentada para ningn
grado o calificacin profesional; y que he consultado las referencias
bibliogrficas que se incluyen en este documento.
A travs de la presente declaracin cedo mis derechos de propiedad
intelectual correspondientes a este trabajo, a la Escuela Politcnica
Nacional, segn lo establecido por la Ley de Propiedad Intelectual, por su
reglamento y por la normatividad institucional vigente.
Oscar Andrs Lasso Andino
CERTIFICACIN
Certifico que le presente trabajo fue desarrollado por Oscar Andrs Lasso
Andino, bajo mi supervisin.
Prof. Ericson Lpez Izurieta PhD.
DIRECTOR DE PROYECTO
AGRADECIMIENTOS
Mi sincero a agradecimiento al Seor Jesucristo, Creador del Universo
DEDICATORIA
El presente trabajo est dedicado a la memoria de Richard Wurmbrand, El
Pastor, y a todos los que murieron por la fe en Cristo Jess.
Oscar Andrs
CONTENIDO:
RESUMEN
PRESENTACIN
INTRODUCCIN
CAPITULO 1. La ecuacin de Dirac y la Mecnica Cuntica.1
1.1 La Ecuacin de Klein Gordon.1
1.2 La Ecuacin de Dirac...4
1.3 El formalismo de la Mecnica Cuntica8
1.4 El espacio de Hilbert para la ecuacin de Dirac10
1.5 Operadores para los dems observables...10
1.6 El operador de Dirac en el espacio de Fourier .11
1.7 La transformacin de Foldy-Wouthuysen...13
1.8 Las energas negativas..14
CAPITULO 2. La ecuacin de Dirac en presencia de un campo
electromagntico16
2.1 Supersimetra..16
2.1.1. La involucin unitaria..17
2.1.2. Las supercargas..17
2.1.3. Operadores de Dirac con supersimetra..21
2.1.4. Supersimetra en campos electromagnticos.22
2.2 Campos magnticos..23
2.2.1. Campo magntico homogneo25
CAPITULO 3. Polarizacin de un electrn relativista..31
3.1. Los parmetros de Stokes...31
3.2. Polarizacin de fotones33
3.3 Polarizacin de electrones33
3.4 Estados mezclados35
3.5 Clculo de los parmetros de Stokes, comparaciones
experimentales y Conclusiones.36
CAPITULO 4. Interpretaciones fsicas del ZIitterbewegung...46
4.1. El operador Velocidad..47
4.2 El operador posicin..48
4.3 Los operadores de momento angular48
4.4 Localizacin y acausalidad..51
4.4.1 Nociones de localizacin.51
4.4.2 Propagacin super-lumnica...54
4.4.3 La desigualdad de Bell.55
4.5 Interpretacin y Conclusiones59
REFERENCIAS67
BIBLIOGRAFA70
RESUMEN
Se hace el anlisis terico de la polarizacin de un electrn relativista en
presencia de un campo magntico ultra fuerte, calculando los parmetros de
Stokes se pasa a la comparacin con publicaciones ya hechas de mediciones
semi-empricas de la polarizacin en campos fuertes. Haciendo nfasis en la
utilizacin del espinor completo para los clculos, lo que al parecer provoca
una mezcla entre estados con energa positiva y estados con energa
negativa, mas an, al introducir la nocin de supersimetra aparecen estados
ferminicos y bosnicos, para resolver stos inconvenientes se plantea una
interpretacin basados en la interpretacin transaccional de la mecnica
cuntica no relativista hecha por Wheeler y Feynman
Se observa que los clculos tericos se acoplan bastante bien a los
semi-empricos, y mejor an, nos dan el comportamiento de la polarizacin
para un rango ms amplio del campo y de los niveles de energa.
Finalmente se analiza el comportamiento de la polarizacin de partculas y
antipartculas en experimento del tipo Aspect, llevando a violar la desigualdad
de Bell. Se establece la dicotoma entre propagaciones super-lumnicas y
localizacin exacta, pues debemos aceptar solo uno de los dos fenmenos
como real.
PRESENTACIN
El presente trabajo est organizado en cuatro captulos, dos de los cuales
presentan el background fsico-matemtico necesario para el desarrollo de la
investigacin; y los otros dos presentan una combinacin entre teora y el
aporte mismo de sta investigacin.
As, en el captulo uno se deduce la ecuacin de Dirac, para luego dar el
formalismo matemtico necesario para estudiar fenmenos
cuntico-relativistas con esta ecuacin. Aqu se definen los operadores que
vamos a usar y los espacios en los cuales vamos a trabajar.
En el captulo dos se hace una presentacin de la teora de supersimetra y
su relacin con los campos magnticos, haciendo hincapi en el espectro de
los operadores.
En el captulo tres aparece la teora de polarizacin que vamos a utilizar para
nuestro clculo, para al final de ste captulo presentar las conclusiones en
base a la comparacin con las curvas de polarizacin ya publicadas.
Finalmente, en el ltimo captulo se da un tratamiento matemtico a lo que se
conoce como Zitterbewegung. Al trmino de ste captulo se presenta nuestro
aporte a la interpretacin de la teora desarrollada, y usando los clculos de
los parmetros de Stokes, que son el eje central de ste trabajo, se da las
conclusiones finales.
INTRODUCCIN
El estudio del comportamiento de partculas en condiciones extremas ha sido
objeto de estudio durante algunos aos, sin embargo, el descubrimiento de
entes fsicos capaces de poseer tales intensidades de campo a puesto sobre
la mesa la validez de tales estudios, en particular, en el presente trabajo se
pretende efectuar un estudio del comportamiento del spin del electrn
relativista en presencia de un campo magntica ultra fuerte, tanto en la parte
fenomenolgica como en la interpretacin en el marco de la teora cuntica ;
claro est que la manera correcta de realizar tal anlisis es involucrndose
profundamente en el formalismo matemtico de la mecnica cuntica
relativista dado que los problemas filosficos de la mecnica cuntica se
heredan a la versin relativista de sta.
Fundamentalmente se inicia definiendo el espacio de Hilbert en el que vamos
a trabajar, puesto que uno de los problemas que aparece posteriormente est
relacionado con la medicin. Se da un tratamiento matemtico con la teora
de Lebesgue de la medida, ms an, se recalca el uso de la teora espectral
de los operadores autoadjuntos o como mnimo esencialmente autoadjuntos.
Pretendiendo inmiscuirnos en los problemas fundamentales de la teora
cuntica se hace un estudio, que aunque elemental, pretende esbozar la
relacin entre las funciones de onda relativistas y la paradoja EPR.
Finalmente, surgir el problema de la localizacin y la acausalidad, que
aunque el primero no es significativo al instante de la medicin nos lleva a un
estudio interesante de la teora fsico-matemtica, adems nos ayudar a
comprender mejor la relacin entre la Matemtica y la Fsica. El problema de
la acausalidad ya ha sido estudiado por varios autores, muchos de los cuales
han dado varias demostraciones de proposiciones que vamos a utilizar en
ste anlisis.
La polarizacin del electrn relativista es uno de los pasos fundamentales
antes de iniciar el debate acerca de la teora cuntica relativista, puesto que el
spin es una propiedad intrnseca de las partculas y ms que todo, es la
magnitud preferida e ideal para efectuar los famosos "Gedankenexperiment"
(experimentos pensados) que darn ms luz a los problemas que nos vamos
a enfrentar. Aunque lo ideal sera efectuar una comprobacin experimental, la
interpretacin que se dar, por su carcter no permite el desarrollo de
tcnicas experimentales como veremos al final de las conclusiones
El objetivo fundamental de ste trabajo es al anlisis terico de la mecnica
cuntica relativista en espacios de Hilbert, sin embargo, no es desubicado
pretender una comprobacin experimental, especialmente en lo que
corresponde al estudio del electrn relativista para lo cual se efecta la
comparacin con datos experimentales ya publicados, esencialmente en el
campo de la Astrofsica.
En el desarrollo de la teora cuntica moderna un factor preponderante
representa la Matemtica usada para el anlisis, ya que la intuicin fsica se
ve traicionada en el mundo cuntico es necesario aferrarse a un formalismo
estricto, pero que a su vez preste facilidad a la interpretacin para finalmente
llegar a la comprobacin experimental. Una herramienta potente para el
desarrollo de una teora que nos permita interpretar de alguna manera el
formalismo es la supersimetra, que no se la desarrollar por completo
simplemente se dar algunas pautas para el anlisis matemtico de los
sistemas supersimtricos
Finalmente la teora cuntica relativista nos introduce en el estudio de
paradojas que sern tratadas elementalmente, haciendo nfasis en la
propagacin super-lumnica, brindando una interpretacin fsica a los clculos
efectuados. Nuestra interpretacin se desarrolla en base al estudio tanto
fsico como matemtico de lo que se conoce como Zitterbewegun, y que al
parecer podra ser analizado o al menos enfocado a partir de la supersimetra.
Hay que recalcar que los problemas mencionados anteriormente han sido
estudiados a lo largo de dcadas y en la mayora de ellos las paradojas
siguen vigentes, por tanto las interpretaciones de la teora, abiertas.
CAPTULO 1
LA ECUACIN DE DIRAC Y LA MECNICA
CUNTICA
En el presente captulo se hace una deduccin directa de las ecuaciones
relativistas de Klein-Gordon y de Dirac, para luego comenzar a dar el
formalismo matemtico para sustentar la ecuacin de Dirac, que como se
ver, es la nica ecuacin que nos permite estudiar a electrones relativistas.
Adems se definen los operadores relativistas, basados en el principio de
correspondencia y en analoga con la mecnica cuntica no relativista.
1.1. LA ECUACIN DE KLEIN-GORDON
Se conoce de la mecnica cuntica elemental que la evolucin de los estados
puros del sistema viene dada por la ecuacin:
ih
c
ct
(x, t) = (x, t) (1.1)
conocida como la ecuacin de Schrdinger, donde el operador
Hamiltoniano, tiene la forma:
=
p
2
2m
+ V(x) (1.2)
para una partcula sometida a la accin de un potencial V(x) y donde p es el
operador momento:
p = ihV

(1.3)
1
que corresponden a la energa no relativista de la partcula.
Puesto que necesitamos definir una nueva ecuacin que pueda ser utilizada
para la descripcin de las partculas relativistas es necesario considerar el
Hamiltoniano relativista:
H
2
= p
2
c
2
+ m
2
c
4
(1.4)
Tomando V(x) = 0 en (1.2) y reemplazando este resultado en (1.4), se
obtiene; aplicando sobre una funcin de onda (x, t), la siguiente ecuacin:
h
2 c
2
ct
2
(x, t) = h
2
c
2
V
2
(x, t) + m
2
c
4
(x, t) (1.5)
conocida como la ecuacin de Klein Gordon.
Consideremos la ecuacin relativista
p
j
p
j
=
E
2
c
2
p

. p

= m
o
2
c
2
(1.6)
Reemplazando en la ecuacin (1.6) el operador p
j
por el operador
cuadri-momento:
p
j
= ih
c
cx
j
= ih(
c
c(ct)
,
c
cx
,
c
cy
,
c
cz
) (1.7)
obtenemos, aplicando sobre la funcin de onda (x, t)
p
j
p
j
(x, t) = m
o
2
c
2
(x, t) (1.8)
lo que muestra que la ecuacin de Klein-Gordon es covariante, ya que p
j
p
j
es un invariante de Lorentz. Se puede observar claramente que la ecuacin
de Klein-Gordon es la ecuacin de onda que incluye el termino adicional
m
o
2
c
2
h
2
. Las soluciones de (1.8) son de la forma
(x, t) = exp|
i
h
(p. x Et)] (1.9)
Reemplazando (1.9) en (1.8) obtenemos directamente la ecuacin (1.4) que
resulta en:
E = (p
2
c
2
+ m
o
2
c
4
)
1
2
(1.10)
ms adelante se aclarar el problema del signo negativo en la ecuacin
(1.10). Identificando con la energa E del sistema
Es importante enfatizar, que del mismo modo que en la teora cuntica no
2
relativista se define una densidad de probabilidad y una corriente de
probabilidad, en la teora relativista deben existir magnitudes anlogas que
cumplan una ecuacin de continuidad (conservacin de la probabilidad); todo
esto para satisfacer la interpretacin estadstica de Born.
Calculemos la cuadri-corriente j
j
para la ecuacin de Klein Gordon, partiendo
de la ecuacin (1.8) en la forma
(p
j
p
j
m
o
2
c
2
) = 0 (1.11)
tomamos la compleja conjugada de esta ecuacin
(p
j-
p
j
-
m
o
2
c
2
)
-
= 0 (1.12)
multiplicando a ambas ecuaciones por la izquierda, la primera (1.11) por +
-
,
la segunda (1.12) por +, y restando las dos ecuaciones resultantes
obtenemos finalmente:
V
j
(
-
V
j
V
j

-
) = V
j
j
j
= 0 (1.13)
c
ct

ih
2m
o
c
2
(
- c
ct

c
ct

-
)) + V
ih
2m
o
(
-
V
j
V
j

-
)) = 0 (1.14)
Lo que nos lleva a identificar la cuadri-corriente como:
j
j
=
ih
2m
o
(
-
V
j
V
j

-
) (1.15)
a la que hemos multiplicado por el factor
ih
2m
o
por cuestiones de
dimensionalidad (i.e. para que la componente j
o
tenga dimensiones de
densidad de probabilidad, lo cual nos asegura que podremos obtener el limite
no relativista correcto de (1.14)). La expresin (1.14 ) es una ecuacin de
continuidad de la forma:
c
ct
+ Vj = 0 (1.16)
comparando (1.16), (1.14) podemos escribir
=
ih
2m
o
c
2
(
- c
ct

c
ct

-
) (1.17)
Sin embargo, existe un problema en la interpretacin de como densidad de
probabilidad, ya que a cualquier tiempo tanto como
c
ct
pueden tomar
cualquier valor; de ese modo puede tomar tanto valores positivos como
negativos indistintamente, por eso ya no podemos interpretar a como
densidad de probabilidad, ya que para lo cual debera tomar solo valores
positivos. De ah que no se puede utilizar la ecuacin de Klein- Gordon por no
3
tener una interpretacin fsica acorde con la interpretacin estadstica de
Born.
Sera algn tiempo despus que se dara una interpretacin diferente a ,
multiplicndola por la carga elctrica e la densidad se convierte en la
densidad de carga, interpretacin que rescatara nuevamente a la ecuacin
de Klein-Gordon.
Se puede mostrar que la formulacin de Klein-Gordon introduce un grado de
libertad adicional de las partculas: La CARGA
|1]
. Es claro que la ecuacin de
Klein-Gordon no incluye el spin de las partculas, si queremos estudiar
partculas con spin debemos buscar una nueva ecuacin.
1.2.LA ECUACIN DE DIRAC
Al observar que la ecuacin de Klein-Gordon no da como resultado una
densidad de probabilidad positiva, Dirac en 1928 comenz a buscar una
ecuacin covariante con densidad de probabilidad positiva partiendo de la
ecuacin de Schrdinger. Puesto que la ecuacin de Schrdinger es lineal
en la derivada temporal era natural buscar una ecuacin lineal tambin en las
derivadas con respecto a las otras coordenadas, as la ecuacin (1.1) tiene
que ser de la forma:
ih
c
ct
(x, t) =
h
i
([

x
c
cx
+ [

y
c
cy
+ [

z
c
cz
+ [

o
)(x, t) (1.18)
ih
c
ct
(x, t) = ([

x
p
x
+ [

y
p
y
+ [

z
p
z
+ [

o
)(x, t) (1.19)
en forma compacta se escribe
ih
c
ct
(x, t) = ([

. p + [

o
)(x, t) (1.20)
Comparando (1.20) con (1.1) podemos concluir que:
= ([

. p + [

o
) (1.21)
Se suele definir
[

i
= co
i
[

o
= m
o
c
2
[

(1.22)
(1.23)
con lo cual la ecuacin (1.20) se convierte en
ih
c
ct
(x, t) = (co . p + m
o
c
2
[

)(x, t) (1.24)
La ecuacin (1.24) se conoce como la ecuacin de Dirac. Los coeficientes o
4
no pueden ser elementos de los reales, de otro modo (1.24) no sera
invariante bajo rotaciones espaciales, lo que nos lleva a concluir que los o
deben ser matrices, evidentemente [

tambin debe serlo. Adems (x, t) ya

no puede ser un escalar, deber ser un vector columna.
(x, t) =

1
(x, t)

2
(x, t)

3
(x, t)
-
-

n
(x, t)

n
(1.25)
y la densidad de probabilidad vendr dada por
=
+
(x, t)(x, t) (1.26)
debemos exigir tambin otros requerimientos, como la ecuacin de
continuidad para la densidad (1.26), y claro est, la Lorentz-covarianza de
(1.24)
|2]
Nuevamente como en (1.4) igualamos con E, de modo que adquiera un
significado fsico, a saber, la energa del sistema; aclarando que en mecnica
cuntica los valores de la energa son los valores propios del operador
Hamiltoniano. Sustituyendo (1.21) en (1.4) se obtiene:
([

x
p
x
+ [

y
p
y
+ [

z
p
z
+ [

o
)
2
= (p
x
2
+ p
y
2
+ p
z
2
)c
2
+ m
o
2
c
4
(1.27)
Evidentemente para que se satisfaga (1.27) es necesario que cada
componente de (x, t) satisfaga individualmente la ecuacin de Klein-Gordon;
por otra parte iterando la ecuacin (1.19) se llega a determinar
|3]
h
2 c
2
ct
2
+ = h
2
c
2
_
i,k1
3
o
i
o
k
+ o
k
o
i
2
c
2
+
cx
i
cx
k
+
hm
o
c
3
i
_
i=1
3
(o
i
[

+ [

o
i
)
c+
cx
i
+ [
2
c
4
m
o
2
+
(1.28)
comparando con (1.5) se llega a determinar los siguientes requerimientos
para las matrices o
o
x
2
= o
y
2
= o
z
2
= 1
o
i
2
= 1
o
i
o
k
+ o
k
o
i
= 0 i = k
o
i
[

+ [

o
i
= 0 i = 1, 2, 3
(1.29)
(1.30)
(1.31)
(1.32)
5
que en funcin de los matrices [

se escriben:
[

x
2
= [

y
2
= [

z
2
= c
2
[

o
2
= m
o
2
c
4
[

i
[

k
+ [

k
[

i
= 0 i = k
[

i
[

o
+ [

o
[

i
= 0 i = 1, 2, 3
(1.33)
(1.34)
(1.35)
(1.36)
Tomando en cuenta que debe ser hermtico las matrices o y [

deben serlo
tambin, es decir:
o
+
= o
[
+
= [

(1.37)
(1.38)
lo que implica que los valores propios de las matrices deben ser reales, y
acorde con (1.30) y (1.34), los valores propios de las matrices deben ser
nicamente 1. Siguiendo las relaciones de conmutacin para las matrices o y
[

se puede demostrar que:

|4]
Tr(o
i
) = Tr([

) = 0 (1.39)
Nuestra tarea consiste en determinar n, el orden de las matrices o , para esto
consideremos las siguientes ecuaciones:
det(o
k
[

) = det(o
k
) det([

) = det([

) det(o
k
)
o
k
[

= [

o
k
= I[

o
k
k = x, y, z
(1.40)
(1.41)
Igualando (1.40) con (1.41) llegamos a
det(o
k
[

) = det([

o
x
) = (1)
n
det(o
k
[

) (1.42)
esto nos lleva concluir que n debe ser par, ahora, si n = 2 se puede verificar
que la ecuacin (1.20) no es covariante
|5]
; se concluye finalmente que la
menor dimensin para que (1.20) sea covariante es n = 4, est claro que la
dimensin del espacio-tiempo hace que las matrices sean de dimensin
cuatro, pero sta no es una condicin suficiente. Sin embargo, para
demostraciones ms profundas se aconseja observar la bibliografa
recomendada. (Ver por ejemplo: GREINER W. Relativistic Quantum
Mechanics,wave equations. Third edition.)
En funcin de las matrices de Pauli o
i
, las matrices de Dirac se pueden
escribir
o
i
=
0 o
i
o
i
0
, [

=
I 0
0 I
(1.43)
6
o
x
=
0 0 0 1
0 0 1 0
0 1 0 0
1 0 0 0
o
y
=
0 0 0 i
0 0 i 0
0 i 0 0
i 0 0 0
o
z
=
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
[

=
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
(1.44)
Ahora podemos escribir el Hamiltoniano para la ecuacin de Dirac en funcin
de las matrices de Pauli

D
= c
0 o
x
o
x
0
p
x
+ c
0 o
y
o
y
0
p
y
+ c
0 o
z
o
z
0
p
z
+ m
o
c
2
I 0
0 I
(1.45)

D
(x, t) =

1
(x, t)

2
(x, t)

3
(x, t)

4
(x, t)

4
(1.46)
Efectuando el mismo procedimiento que en la ecuacin de Klein Gordon
podemos encontrar la densidad y la corriente de probabilidad para la ecuacin
de Dirac, las cuales se escriben
=
D
(x, t)
D
-
(x, t)
j =
D
(x, t)o
D
-
(x, t)
(1.47)
(1.48)
Originalmente y debido a la asimetra entre la derivada temporal y las
derivadas espaciales, Dirac demostr la imposibilidad de incluir los campos
electromagnticos en forma relativisticamente invariante en la ecuacin de
Klein-Gordon y busc una nueva ecuacin en la cual poder incluir tales
campos, dicha ecuacin debera describir la estructura interna de los
electrones: el Spin. Adems una ecuacin que describa la evolucin temporal
de los estados en mecnica cuntica debera ser de primer orden en la
derivada temporal y ciertamente la ecuacin de Klein-Gordon no lo es. Si
m = 0 la ecuacin (1.20) se convierte en
ih
c
ct

D
(x, t) = (co . p)
D
(x, t) (1.49)
con +
D
(x, t) ahora de dos componentes, sta ecuacin se denomina la
ecuacin de Weyl.
Para finalizar sta primera seccin es necesario observar la forma de las
soluciones para la ecuacin de Dirac, para lo cual anunciamos el siguiente
7
teorema:
Teorema 1.1. La ecuacin (1.20) tiene como soluciones a los siguientes
vectores (espinores), que son funciones de onda que se desplazan en la
direccin z y z = 1 representa las soluciones positivas y negativas con el
factor de evolucin temporal zE
p

p,z,+
1
2
=
m
o
c
2
+ zE
p
2zE
p
1
0
co
z
p
m
0
c
2
+ zE
p
1
0
e
(i
(pz zE
p
t)
h
)
(1.50)

p,z,
1
2
=
m
o
c
2
+ zE
p
2zE
p
0
1
co
z
p
m
0
c
2
+ zE
p
0
1
e
(i
(pz zE
p
t)
h
)
(1.51)
Los estados a los que corresponden energas negativas se interpretan como
antipartculas con energa positiva, aunque esta interpretacin nos lleva a
concluir a posteriori como veremos ms adelante, que existen estados que
son superposicin de estados de energa positiva y negativa, lo cual es
imposible que suceda; por tanto es necesario establecer ciertas restricciones
para el Hamiltoniano de modo que un estado que posea energa positiva siga
teniendo energa positiva todos los instantes de tiempo.
1.3.EL FORMALISMO DE LA MECNICA CUNTICA
De acuerdo a uno de los postulados de la mecnica cuntica se define un
espacio de Hilbert H para cada sistema cuntico. Todo "observable" (i.e. toda
cantidad medible) debe ser representado por un operador autoadjunto. El
estado de un sistema al tiempo t
o
viene dado por (t
o
) H ; asumimos que
ste estado esta normalizado, es decir:
](t
o
)]
2
= 1 (1.52)
entonces, al tiempo t el estado viene dado por:
(t) = e
(iHt)
(t
o
) (1.53)
donde H (el Hamiltoniano) representa la energa del sistema; y de acuerdo al
teorema de Stone
|6]
, (t) es la nica solucin fuerte para el problema de
Cauchy:
ih
c
ct
(t) = +(t) , (t
o
) D(H) . H (1.54)
8
Sea un operador autoadjunto con dominio de definicin D(), entonces:
(t) = e
(iHt)
e
(iHt)
(1.55)
es autoadjunto en D((t)) = e
(iHt)
D().
Con la ayuda de el teorema espectral
|7]
podemos formular la siguiente
definicin
Definicin (Interpretacin estadstica de Born). Si un sistema cuntico est
(en cierto instante) en el estado descrito por , entonces:
(, _(A B)) = ]
B
d(, E
A
(z)).
( , ), denota el producto escalar en H.
(1.56)
es la probabilidad de obtener, al medir el observable representado por , un
resultado en B.
Donde
_(A B) = ]
R
_(z B)dE
A
(z) = ]
B
dE
A
(z) (1.57)
es la medida espectral y B es un Boreliano de , E
A
(z) es la familia espectral
de , y _(z B) es la funcin caracterstica de B. Se puede demostrar que el
operador _(A B) es una proyeccin ortogonal.
|8]
Por tanto los nicos resultados posibles de la medicin de un observable son
nmeros reales contenidos en o(), el espectro de . A partir de (1.55) y
puesto que la evolucin temporal es unitaria se encuentra que:
(, _((t) B)) = ((t), _(A B)(t)) t (1.58)
y si adems (t) = e
(iHt)
definido en D() para todo t, entonces podemos
definir el valor esperado:
(, (t)) = ((t), (t)) t (1.59)
el cual representa el valor medio de los resultados obtenidos de varias
mediciones efectuadas en sistemas idnticos que se encuentran en el estado
.
El operador de proyeccin = (, ) corresponde al observable que
determina si el sistema est o no en el estado , y los nicos posibles
9
resultados de su medicin son 1 (si el sistema est en ), y 0 (si el sistema no
est en ). si el sistema est en el estado , entonces el valor esperado de E,
es decir, la probabilidad de encontrar este sistema en el estado viene dado
por:
(, ) = |(, )|
2
(1.60)
y se denomina la probabilidad de transicin de a .
1.4 EL ESPACIO DE HILBERT PARA LA ECUACIN DE DIRAC
Segn (1.45) el operador diferencial autoadjunto es una matriz 4 4 que
acta sobre la funciones a valores en
4
de x
3
. Tomaremos por tanto el
espacio de Hilbert:
H = L
2
(
3
) q L
2
(
3
) q L
2
(
3
) q L
2
(
3
) = L
2
(
3
)
4
= L
2
(
3
) ;
4
(1.61)
El cual consiste de vectores de cuatro componentes = (
1
,
2
,
3
,
4
)
f
,
donde cada componente
i
es una Lebesgue-clase de equivalencia
|9]
de
funciones a valores complejos de variable x.
El producto escalar viene dado por:
(, ) = (, ) = ]
R
3
_
i=1
4

i
(x)
i
(x)d
3
x (1.62)
la barra denota el complejo conjugado.
En este espacio de Hilbert nosotros definimos el operador de Dirac:
= (ico .

+ m
o
c
2
[

) D() (1.63)
el cual es autoadjunto en D() (Hay que definir correctamente el espacio
D()), con esto y usando el teorema de Stone la ecuacin (1.20) es un
problema de valores iniciales bien definido en el espacio de Hilbert H.
1.5 OPERADORES PARA LOS DEMS OBSERVABLES
Puesto que ya hemos definido el operador autoadjunto H de energa para un
electrn libre nos resta definir los operadores autoadjuntos para los dems
observables. Las siguientes definiciones se motivan en la teora cuntica no
relativista para el electrn.
El operador x = (x
1
, x
2
, x
3
) de multiplicacin por x se denomina operador de
posicin estndar. Por tanto x consiste de tres operadores autoadjuntos x
i
que se definen en:
10
D(x
i
) = L
2
(
3
)
4
,] _
i=1
4
|x
i

k
(x)|
2
d
3
x < , i = 1, 2, 3 (1.64)
(x
i
)(x) =
x
i

1
(x)
-
-
x
i

4
(x)
para en el dominio dado en (1.25), e i = 1, 2, 3
(1.65)
Definimos un operador de proyeccin evaluado en
3
tomando:
E(B) = _(x
1
B
1
)_(x
2
B
2
)_(x
3
B
3
) (1.66)
para cada B = B
1
B
2
B
3
. Entonces la probabilidad de encontrar a una
partcula en la regin B .
3
es:
(, E(B)) = ]
B
|(x)|
2
d
3
x t |(x)|
2
=
_
k=1
4
|
k
(x)|
2
(1.67)
donde |(x)|
2
se puede interpretar como la densidad de probabilidad de la
posicin.
El operador diferencial p = ih

= ih(
c
cx
1
,
c
cx
2
,
c
cx
3
) que acta sobre el
vector , se denomina operador momento, el cual puede ser definido
matemticamente como la transformada de Fourier del operador de posicin
estndar, que se puede intuir a partir de :
(e
(i.p )
)(x) = (x a) a = vector de traslacin (1.68)
Adems vamos a definir los operadores de momento angular como:
=
i
4
(o o ) =
1
2
0
0
(Operador de momento angular de spin) (1.69)
L

=
i
4
(x p ) (Operador de momento angular orbital) (1.70)
= L

+ (Operador de momento angular total) (1.71)

en particular, vamos a estar interesados en el momento angular de Spin, el
cual es acotado, definido en toda parte y autoadjunto en C
0

(
3
)
4 |10]
1.6 EL OPERADOR DE DIRAC EN EL ESPACIO DE FOURIER
La transformada de Fourier para funciones integrables es un operador
unitario F en L
2
(
3
)
4
definido por:
11
(F
k
)(p) =
1
(2m)
3
2
]
R
3
e
(ip.x)

k
(x)d
3
x, k = 1, 2, 3, 4 (1.72)
notaremos FL
2
(
3
, d
3
x)
4
= L
2
(
3
, d
3
p)
4
, el cual suele llamarse espacio de
momentos. Cualquier operador diferencial matricial en L
2
(
3
, d
3
x)
4
puede ser
transformado a travs de F en un operador matricial en L
2
(
3
, d
3
p)
4
. En
particular para el operador de Dirac de una partcula libre se obtiene:
(FF
1
)(p ) = h(p ) =
mc
2
1 c. p
c. p mc
2
1
(1.73)
para cualquier p la matriz (1.73) es Hermtica y sus valores propios son:
z
1
(p) = z
2
(p) = z
3
(p) = z
4
(p) = c
2
p
2
+ m
2
c
4
= z(p), |p
| = p (1.74)
La transformacin unitaria u(p ) la cual transforma h(p ) a su forma diagonal se
expresa como:
|11]
u(p ) =
(mc
2
+ z(p))1 + [c. p
2z(p)(mc
2
+ z(p))
= a
+
(p)1 +a

(p)[
. p
p
(1.75)
u(p )
1
= a
+
(p)1 a

(p)[
. p
p
(1.76)
con:
a

(p) =
1
2
1
mc
2
z(p)
, y 1 es la matriz identidad 4 4 (1.77)
se puede demostrar que:
|12]
u(p )h(p )u(p )
1
= [z(p) (1.78)
De lo anterior se puede ver que la transformacin unitaria definida por :
W =uF (1.79)
convierte al operador a travs de la multiplicacin de las matrices
diagonales en:
(WHW
1
)(p) = [z(p) (1.80)
en el espacio de Hilbert L
2
(
3
, d
3
p)
4
. Si = W es integrable, entonces
podemos escribir:
(
k
)(x) =
1
(2m)
3
2
]
R
3
e
(ip.x)
u(p )
1
(p )d
3
p, L
1
(
3
)
4
, L
2
(
3
)
4
(1.81)
12
Claramente se puede observar que u(p )
1
(p ) es una combinacin lineal de
los cuatro vectores propios de la matriz h(p ). Estos vectores pueden ser
tomados simultneamente como vectores propios de la Helicidad

= . p
|13]
En el espacio de Hilbert donde el operador de Dirac es diagonal las dos
componentes superiores de la ecuacin de onda corresponden a energas
positivas, mientras que las dos componentes inferiores corresponden a
energas negativas, por esto definimos el subespacio de energas positivas
H
p
. L
2
(
3
)
4
como el subespacio generado por los vectores del tipo:

pos
= W
1 1
2
(1 + [)W, L
2
(
3
, d
3
x) (1.82)
similarmente, el subespacio de energas negativas H
n
. L
2
(
3
)
4
es generado
por los vectores:

neg
= W
1 1
2
(1 [)W, L
2
(
3
, d
3
x) (1.83)
y puesto que H
n
es ortogonal a H
p
podemos escribir:
H = H
pos
qH
neg
(suma ortogonal directa) (1.84)
Todo estado H puede ser escrito de manera nica como la suma de
pos
y
neg
. Se demuestra a partir de (1.72) y (1.73) que:
|14]
H
pos
= + c
2
V
2
+ m
2
c
4
1
pos
(1.85)
H
neg
= c
2
V
2
+ m
2
c
4
1
neg
(1.86)
1.7. LA TRANSFORMACIN DE FOLDY-WOUTHUYSEN
La transformacin
U
FW
= F
1
W (1.87)
se denomina la transformacin de Foldy-Wouthuysen; sta transforma al
Hamiltoniano H en:
U
FW
HU
FW
1
=
+ c
2
V
2
+ m
2
c
4
0
0 c
2
V
2
+ m
2
c
4
(1.88)
de aqu se puede ver que la ecuacin de Dirac es equivalente a un par de
ecuaciones de Klein-Gordon de dos componentes, elevadas a la potencia
1
2
.
Teorema 1.2. El operador de Dirac para una partcula libre es esencialmente
autoadjunto
|15]
en el dominio denso C
0

(
3
`0)) y autoadjunto en el espacio
13
de Sobolev
|16]
D() = H
1
(
3
)
4
, adems su espectro es pura y absolutamente
continuo y viene dado por:
o() = (, mc
2
] |mc
2
, ) (1.89)
1.8.LAS ENERGAS NEGATIVAS
Podemos observar que el operador en la ecuacin de Dirac representa la
energa del sistema descrito por dicha ecuacin, puesto que el espectro del
operador posee una parte negativa se requiere una interpretacin de tales
valores ya que el sistema ahora se puede encontrar en uno de estos estados.
Hay que recordar que la intencin de Dirac fue describir al electrn en un
contexto cuantico-relativista, (un electrn que suponemos esta en un estado
con energa positiva). Adems se aade otra dificultad, ya que el operador H
no es acotado, lo que nos provee de un reservorio infinito de energa.
A lo largo de la historia han aparecido muchas interpretaciones para las
energas negativas, sin embargo una de las mejores y ms aceptadas es,
como ya sealamos en la seccin 1.2, la de los positrones. Para esto
consideraremos el operador de Dirac en presencia de un campo externo, si
tal campo es electromagntico con potenciales (, A

) el operador de Dirac,
viene dado por
(e) = c. (p
e
c
(t, x)) + m
o
c
2
[

+ e(t, x) (1.90)
Ahora consideremos la transformacin antiunitaria:
C = U
T
(1.91)
donde U
C
es una matriz unitaria 4 4 que satisface [

U
C
= U
C
[

, y
o
k
U
C
= U
C
o
k
para k = 1, 2, 3. Si (t) es una solucin para el operador (e)
entonces C(t) es una solucin para (e). de modo que:
C(e)C
1
= (e) (1.92)
La ecuacin anterior muestra que el espacio de las energas positivas est
conectado con el de las energas negativas a travs de una transformacin de
simetra para una partcula de carga opuesta (antipartcula), Para C en el
espacio de las energas positivas de (e) podemos interpretar |C(x)|
2
como
la densidad de probabilidad de la posicin, por lo que la ecuacin.
|C(x)|
2
= |(x)|
2
(1.93)
nos muestra que el movimiento de un estado (correspondiente al electrn)
es indistinguible del movimiento del estado correspondiente (positrn con
energa positiva). Finalmente podemos concluir que:
14
Un estado H
neg
describe a una antipartcula con energa positiva.
Evidentemente podra suceder como ya se seal en una seccin anterior,
que el espacio de Hilbert H = L
2
(
3
)
4
contendra estados que son la
superposicin de otros con energa positiva y negativa, lo que nos motiva a
plantear nuevas restricciones para el Hamiltoniano, ya que resulta imposible
concebir a una partcula como una superposicin de electrones y positrones.
Lo que se tratar de hacer, es restringir todo al espacio H
pos
con la ayuda del
operador P

pos
definido como
P

pos
=
p
=
1
2
(1 +

) con |H| = + c
2
V
2
+ m
2
c
4
(1.94)
ste operador conmuta con y por lo tanto con exp(it), de modo que :
(t) = exp(it) = P

pos
(t) P

pos
(1.95)
lo que nos permite afirmar que un estado inicial con energa positiva tendr
energas positivas en todo instante. El nico problema es que algunos
observables no dejan invariante H
pos
., lo cual no ser analizado totalmente en
el presente trabajo.
15
CAPTULO 2
LA ECUACIN DE DIRAC EN PRESENCIA DE UN
CAMPO ELECTROMAGNTICO.
Ahora vamos a iniciar el estudio de una partcula relativista cargada en
presencia de un campo magntico ultra fuerte, para esto es necesario dar
cierto formalismo y algunas herramientas antes de efectuar tal anlisis para la
ecuacin de Dirac considerada anteriormente. Ahora nos enfocaremos en el
estudio del espectro del operador de Hamilton para sta ecuacin. Adems es
de nuestro inters encontrar las funciones de onda que describen al electrn
relativista. Es importante notar que la cuantizacin de los valores propios del
Hamiltoniano aparece solo por el hecho de considerar campos ultra fuertes, lo
que nos muestra que estamos usando la teora adecuada para estudiar tal
fenmeno
2.1. SUPERSIMETRA
Con motivo de analizar el comportamiento de un electrn relativista en
presencia de un campo magntico es necesario estudiar algunos aspectos
matemtico-fsicos que nos permitan dar una interpretacin ms certera y nos
faciliten los clculos. Una de las herramientas que vamos a utilizar para tal
estudio es la supersimetra; la cual proviene del hecho de que siempre
podemos separar al Hamiltoniano de Dirac en la suma de dos partes, una par
y otra impar, adems, ste tratamiento nos permitir a futuro dar una
interpretacin fsica al sistema estudiado y a las consecuencias de la
aceptacin de los postulados fsico-matemticos; como se ver ms adelante,
el caso de una partcula de spin
1
2
es un ejemplo de un sistema
16
supersimtrico.
2.1.1. LA INVOLUCIN UNITARIA
Una involucin es un operador acotado k en H que satisface k
2
= 1. Si un
operador posee dos de las tres propiedades: unitario, autoadjunto e
involutorio, entonces ste operador posee tambin la tercera.
k
2
= k
-
k = kk
-
= 1 (2.1)
dado que k
2
= 1, los valores propios de k sern nicamente 1, notaremos a
los correspondientes subespacios propios como H
+
y H

. respectivamente. El
espacio de Hilbert H se descompone en la suma ortogonal directa de estos
subespacios propios, y los operadores de proyeccin en H

se definen por
P

=
1
2
1 k (2.2)
de tal definicin podemos ver que L
2

4
es un espacio con involucin
unitaria, si tomamos k = [

.
En H dotado con una involucin unitaria k definimos el operador abstracto de
Dirac, como un operador autoadjunto H

con dominio DH

tal que es
invariante bajo k por la izquierda, es decir: kDH

= DH

Lema 2.1. Todo operador abstracto de Dirac H

puede ser escrito de forma

unvoca como la suma de dos operadores H

par
, H

impar
, los cuales son
simtricos en DH

(No necesariamente autoadjuntos), de modo que H

impar
anticonmuta con k , mientras que H

par
conmuta con k , lo que significa:
H

impar
, k = k H

impar
+ H

impar
k = 0 en DH

par
, k = k H

par
H

par
k = 0 en DH

(2.3)
(2.4)
El operador simtrico H

impar
se denomina la parte ferminica de H

, y H

par
se
denomina la parte bosnica de H

, en gran parte de las aplicaciones, los

operadores H

impar
y H

par
se pueden extender a operadores autoadjuntos.
2.1.2.LAS SUPERCARGAS
Un operador abstracto de Dirac Q

para el cual Q

= Q

impar
se denomina
supercarga con respecto a k . Una supercarga es auto-adjunta, con
k DQ

= k DQ

, k , Q

= 0 en DH

(2.5)
el operador positivo Q
2
se suele denominar Hamiltoniano con supersimetra;
ste conmuta con k y por lo tanto es un operador par.
17
Normalmente los operadores de Dirac vienen dados por la suma de una
supercarga Q

y un operador V

el cual es simtrico y par.

Lema 2.2. Sea Q

una supercarga respecto a k entonces el operador

Q
'
= iQ

k , definido en DQ

tambin es una supercarga respecto a k , el cual

satisface:
Q
2
= Q
2
, Q
'
, Q

= 0 en DQ
2

'
= Q

en DQ

(2.6)
(2.7)
Sea k una involucin unitaria en H y sea H

= P

H con P

dado en (2.2); se
define la representacin standard escribiendo H = H
+
q H

como el
vector columna =
+
,

, donde
+
H
+
y

. Con sta notacin,

la involucin unitaria k se puede escribir como:
k =
1 0
0 1
en H = H
+
q H

(2.8)
Un operador abstracto de Dirac se escribir:
H

= P

+
H

+
+ P

+
P

+
H

+ P

+
=
H

+
H

+
H

+
H

en H = H
+
q H

(2.9)
P

+
H

=
0 H

+
0 0
en H
+
q PDH

(2.10)
el operador H

par
(H

impar
) es la diagonal (la matriz sin diagonal) de H

Para un operador par V se obtiene la representacin

H

= P

+
VP

+
+ P

VP

=
V

+
0
0 V

(2.11)
es decir, V

es la suma directa de los operadores V

+
y V

, por lo tanto V ser

autoadjunto (esencialmente autoadjunto, simtrico cerrado ) si y solamente si
los operadores V

+
y V

son ambos (esencialmente autoadjuntos, simtricos

cerrados ) en DV

. H

. Para un operador impar las cosas se complican,

sin embargo podemos anotar el siguiente lema que nos permite determinar
cuando un operador es autoadjunto, simtrico o esencialmente autoadjunto.
Lema 2.3. Sean H
+
y H

espacios de Hilbert, asumimos que

D

+
: D
+
. H
+
H

, y D

: D

. H

H
+
son operadores densamente
cerrables
17
. En D
+
q D

se define el operador:
18
Q

=
0 D

+
1
en H = H
+
q H

(2.12)
Entonces
Q
-
=
0 D

+
-
D

-
1
, Q
--
=
0 D

--
D

+
--
1
en H = H
+
q H

(2.13)
Lo que muestra claramente que un operador impar Q

es autoadjunto si y
solamente si D

+
es cerrado en D
+
y D

= D

+
-
(que es equivalente al hecho de
que D

es cerrado en D

y D

+
= D

-
). del mismo modo Q

es esencialmente
autoadjunto (i.e.,Q
--
= Q
-
) si y solamente si D

--
= D

+
-
. Finalmente, Q es
simtrico (i.e.,Q
--
. Q
-
) si D

--
. D
+
-
Para el operador de Dirac en un campo magntico, el operador
D

+
= D

= D

= c . iV

e
c
A

en C
o

2
(2.14)
es simtrico si cada una de las componentes es localmente cuadrado
integrable y un operador simtrico siempre es cerrable. Aqu Q es
(esencialmente) autoadjunto, si D es (esencialmente) autoadjunto.
Por lo que podemos afirmar que existe una correspondencia uno a uno entre
los operadores cerrados densamente definidos D y los operadores
autoadjuntos Q de la forma
Q

=
0 D
-
D

0
en DQ

= DD

q DD
-
(2.15)
Con esto es posible efectuar varias demostraciones para operadores cerrados
usando los resultados para operadores autoadjuntos A continuacin se
anuncian varios resultados importantes, los cuales no se demostrarn en el
presente trabajo. Para su demostracin se recomienda ver la Bibliografa
recomendada.
Teorema 2.4. Si D

es un operador cerrado definido densamente, de DD

.
H
+
en H

, entonces ambos operadores D

D
-
y D
-
D

son densamente
definidos, autoadjuntos y positivos, y DD

D
-
(resp DD
-
D

) es un ncleo
para D
-
(resp D

), adems podemos escribir

D

= Q

= Q

+
(2.16)
con los operadores autoadjuntos y positivos Q

+
y Q

definidos como
19
Q

+
= D
-
D

1
2
, Q

= D

D
-

1
2
(2.17)
definidos en DQ

= DD

, DQ

= DD

, con la isometra parcial definida

como
S =
Q

1
D

= D

+
1
, en (Ker D

0. . . . . . . . . . . . . . . . en (Ker D

)
(2.18)
donde Ker D

= DD

/ D

= 0, y "" denota el complemento ortogonal

de el conjunto.
Para cualquier Q

dada como en (2.15) se tiene que

Ker Q

= Ker D

q Ker D
-
(2.19)
adems la frmula Ker Q

=Ker Q
2
= Ran Q

es equivalente a
Ker D

= Ker D
-
D

= RanD
-

= RanD
-
D

Ker D
-
= Ker D

D
-
= RanD

= RanD

D
-

(2.20)
El operador sgnQ

es una aplicacin unitaria de (Ker Q

en (Ker Q

(i.e.
isometra parcial). En la representacin estndar viene dado por
sgnQ

=
0
-
0
en KerQ

(2.21)
entonces es unitaria de (Ker D

en (Ker D
-
)

Corolario 2.5. El operador D

-
D

en (Ker D

es unitariamente equivalente al
operador D

D
-
en (Ker D
-
)

. En particular, el espectro de D
-
D

y de D

D
-
son
iguales a excepcin del cero
oD

D
-
` 0 = oD
-
D

` 0 (2.22)
Para cualquier supercarga Q

y cualquier funcin acotada f se define en DQ

el operador
Q

fQ
2
= ] zfz
2
dE
Q
z = fQ
2
Q

(2.23)
puesto que:
fQ
2
=
fD
-
D

S
-
S fD

D
-

en KerQ

(2.24)
se tiene que para cualquier operador cerrado densamente definido D

se
20
cumplen las siguientes ecuaciones.
fD
-
D

D
-
= D
-
fD

D
-

fD

D
-
D

= D

fD
-
D

(2.25)
(2.26)
2.1.3 OPERADORES DE DIRAC CON SUPERSIMETA
Definimos el operador de Dirac con supersimetra, el cual cave notar, es un
caso particular de los operadores abstractos de Dirac, tal operador tendr la
siguiente forma
= Q

+ M

k (2.27)
donde Q

es una supercaraga respecto a k y M

es un operador autoadjunto
positivo, el cual conmuta con Q

y con k lo que significa que M

es un operador
par;
M

DQ

. DQ

, [M

, Q

] = 0 en DQ

. DM

k DM

= DM

, ........[M

, k ] = 0.......en DM

(2.28)
(2.29)
Asumiremos por simplicidad que M

es invertible y que M

y M
1
son acotados y
definidos en todo H, de lo cual concluimos
M

: DM

= H H es biyectiva y M

DQ

= DQ

(2.30)
Claramente podemos notar que el operador definido en (1.21), es un
operador de Dirac con supersimetra, donde la matriz Q

= ic.

es una
supercarga con respecto a [

en el espacio de Hilbert L
2

4
.
Teorema 2.6. Sea = Q

+ M

k un operador de Dirac con supersimetra ,

entonces es autoadjunto en D = DQ

. El operador
2
es autoadjunto en
D
2
= DQ
2
, y

2
= Q
2
+ M
2
en DQ
2
(2.31)
Adems
2
es estrictamente positivo
,
2
_
1
M
1
2
para todo con ]] = 1 (2.32)
En la representacin estndar = Q

+ M

k tiene la representacin
=
M

+
D
-
D

en KerQ

(2.33)
en la misma representacin
2
se convierte en
21

2
=
D
-
D

+ M

+
2
0
0 D

D
-
+ M

+
2
en KerQ

(2.34)
2.1.4 SUPERSIMETRA EN CAMPOS ELECTROMAGNTICOS
El operador de Dirac para una partcula de spin
1
2
en un campo
electromagntico se escribe
=
mc
2
c . iV

e
c
A

c . iV

e
c
A

mc
2
(2.35)
si tomamos como
M

+
= M

= mc
2
, D

= D
-
= c . iV

e
c
A

(2.36)
usando las propiedades de las matrices de Pauli, podemos obtener
D
-
D

= D

D
-
= c
2
iV

e
c
A

2
ec . B (2.37)
En la ecuacin anterior se ve que comienza a aparecer la relacin no
relativista de la ecuacin de Pauli.
El operador supersimtrico de Dirac puede ser diagonalizado por cierta
transformacin de Foldy-Wouthuysen U
FW
. Para el operador de Dirac de una
partcula libre, U
FW
coincide con la transformacin definida en (1.88). Para un
operador de Dirac supersimtrico en general tenemos el siguiente resultado
Teorema 2.7. Sea = Q

+ M

k un operador de Dirac Supersimtrico,

definimos

FW
=
+
+ k sgnQ

, a

=
1
2
1 M

1
(2.38)
entonces
FW
es es unitario, y adems

FW

FW
-
= k = k Q
2
+ M
2
=
FW
(2.39)

FW
es un operador par y satisface

FW
2
=
2
(2.40)
En la representacin estndar
FW
diagonaliza al operador . de la siguiente
forma
22

FW
M

+
D
-
D

FW
-
=
D
-
D

+ M

+
2
0
0 D

D
-
+ M

2
(2.41)
Corolario 2.8. Sea = Q

+ m k , con m > 0 una constante cualquiera.

Entonces el espectro de es simtrico con respecto a 0 (excepto
posiblemente a m), y tiene un salto de m a +m, y es determinado por el
espectro de D
-
D

(excepto en m). El punto +m m es un valor propio de

si 0 es un valor propio de D

D
-
.
2.2.CAMPOS MAGNTICOS
Para cualquier espacio de dimensin n _ 2m la intensidad del campo
magntico se describe por la forma bilineal
Bx =
_
i,k=1
i<k
n
F
ik
xdx
i
/ dx
k
(2.42)
que satisface dB = 0, donde
F
ik
x =
cA
i
x
cx
k

cA
k
x
cx
i
(2.43)
es el tensor de Faraday. Adems se define el vector potencial magntico
como
Ax =
_
i=1
n
A
i
xdx
i
(2.44)
que como se conoce el vector potencial no es un observable y presenta
varios problemas con respecto a la medicin, ya que se conoce que puede
ser distinto de cero an cuando el campo magntico es cero. Asumiremos
que cada componente de B es una funcin suave en C

n
.
El operador de Dirac en un campo magntico se escribe a continuacin
A =
c
_
i=1
3
o
i
p
i

i
+ [

mc
2
si n = 3
c
_
i=1
2
o
i
p
i

i
+ o
3
mc
2
si n = 2
(2.45)
el cual es esencialmente autoadjunto en C
o

4
(resp.C
o

2
), sin
restriccin en el crecimiento de B o A incluso hacia el infinito
23
En la representacin estndar A tiene la forma (supersimtrica)
A =
mc
2
cD
-
cD

mc
2
(2.46)
donde
D

=
_
i=1
3
o
i
p
i

i
si n = 3
p
1

1
+ ip
2

2
si n = 2
(2.47)
Se define el operador de Pauli como

P
A =
1
2m
D
-
D

S
A1
1
2m
o. B si n = 3

S
A
1
2m
B si n = 2
(2.48)
el cual puede ser deducido obteniendo el lmite no relativista de A, y donde

S
A =
1
2m
iV A
2
se denomina el operador de Schrdinger para una
partcula no relativista, sin spin y en presencia de un campo magntico. Por
otro lado la estructura (supersimtrica) de (2.46) y el corolario 2.8 nos
permiten anunciar el siguiente teorema.
Teorema 2.9. El espectro de A es simtrico con respecto a 0 excepto
posiblemente a mc
2
. El intervalo abierto mc
2
, mc
2
no est dentro del
espectro. Adems se tiene:
A+ = mc
2
+ (2.49)
si y solamente si
+ =

1
0
con D
-
D

1
= 0 (2.50)
por otro lado
A+ = mc
2
+ (2.51)
si y solamente si
+ =
0

2
con D

D
-

2
= 0 (2.52)
En tres dimensiones, donde D

= D
-
, el espectro es siempre simtrico an en
24
mc
2
2.2.1 CAMPO MAGNTICO HOMOGNEO
Ahora necesitamos estudiar el comportamiento del espectro del operador de
Dirac en un campo magntico homogneo con el objetivo de estudiar la
polarizacin de los electrones usando la funcin de onda para los electrones
en presencia de un campo magntico homogneo ultra fuerte..
La supersimetra nos ayudar en los clculos y nos permitir estudiar
fcilmente el espectro del operador de Dirac, para lo cual consideremos un
campo magntico a lo largo del eje z
A = 0, B
o
x, 0 (2.53)
es suficiente considerar el operador bidimensional A con el vector
potencial
A =
B
o
2
y, x (2.54)
con D

= ic
x
A
x
+ c
y
iA
y
podemos obtener:
D

D
-
= D
-
D

+ 2B
o
(2.55)
lo que muestra que el espectro del operador D

D
-
es igual al espectro del
operador D
-
D

corrido en 2B
o
. Puesto que D
-
D

_ 0, podemos concluir que

D

D
-
_ 2B
o
, lo que significa que el espectro de D

D
-
no toma ningn valor en
el intervalo 0, 2B
o

Adems la supersimetra implica que oD

-
D

= oD

D
-
excepto en 0 y por lo
tanto oD
-
D

, 0, 2B
o
= , por esto, el primer valor propio distinto de cero
de D
-
D

solo puede alcanzarse en 2B

o
, del mismo modo podramos hacer
para el siguiente intervalo 2B
o
, 4B
o
, y as sucesivamente , por consiguiente
podemos afirmar
oD
-
D

. 0, 2B
o
, 4B
o
, . . . . . .
oD

D
-
. 2B
o
, 4B
o
, . . . . . .
(2.56)
(2.57)
por lo que finalmente escribimos
oA . 2nB
o
+ mc
2
, 2n + 1B
o
+ mc
2
; n = 0, 1, 2, 3, . . . . . (2.58)
Par obtener la inclusin en el otro sentido asumamos que D
-
D

o
= 0 para
algn
o
L
2

2
, al mismo tiempo
o
es un vector propio de D

D
-
debido a
que de (4.53) obtenemos D

D
-

o
= 2B
o

o
, esto muestra que 2B
o
oD

D
-
,
25
adems 0 oD

D
-
. la supersimetra implica que
1
= D
-

o
es un vector
propio de D
-
D

que tiene el mismo valor propio 2B

o
, usando (4.53)
encontramos que D

D
-

1
= 4B
o

1
. Si continuamos en esta forma podemos
obtener la secuencia de vectores propios
n
= D
-

o
, n = 0, 1, 2, . . . que
satisfacen
D
-
D

n
= 2nB
o

n
D

D
-

n
= 2n + 1B
o

n
, n = 0, 1, 2, . . . .
(2.59)
(2.60)
Los vectores propios de la ecuacin de Dirac se pueden obtener a partir de la
transformacin inversa de Foldy-Wouthuysen de la siguiente forma
A
FW
1

n
0
= 2nB
o
+ mc
2
U
1

n
0
A
FW
1
0

n
= 2n + 1B
o
+ mc
2
U
1
0

n
(2.61)
(2.62)
Definimos un campo escalar auxiliar del siguiente modo
=
B
o
4
x
2
, y
2
(2.63)
tal que
= V / = c
y
, c
x
(2.64)
entonces se puede verificar que si D
o
= 0 la funcin
o = e

o
(2.65)
satisface
0 = De

o = ie

c
x
+ ic
y
o (2.66)
La ecuacin
co
cx
+ i
co
cy
= 0 (2.67)
es equivalente a las ecuaciones de Cauchy -Riemann; o debe ser una funcin
entera y analtica de x + iy. adems se debe cumplir e

o = e
Box
2
4
o =
o
,
debe ser cuadrado integrable.
Sin embargo, cualquier polinomio en x + iy dar una solucin o
m
j
de Do
m
j
= 0,
si tomamos
26
o
m
j
= e

B
o
4
x
2
+y
2

x + iy
m
j

1
2
(2.68)
donde m
j

1
2
,
3
2
,
5
2
, . . . . . . adems
ixc
y
iyc
x
+
o
3
2

o
m
j
0
= m
j
o
m
j
0
(2.69)
se nota claramente que ixc
y
iyc
x
+
o
3
2
es el momento de la partcula. Con
esto podemos enunciar el siguiente teorema
Teorema 2.10. El operador de Dirac en dos dimensiones en un campo
magntico uniforme B
o
tiene los valores propios
2nB
o
+ mc
2
, 2n + 1B
o
+ mc
2
n = 0, 1, 2, . . . . (2.70)
cada valor propio infinitamente degenerado.
Si consideramos un campo B
o
< 0 se procede anlogamente a lo expuesto
en esta seccin y obtendremos el valor propio mc
2
de A.
Para el caso en tres dimensiones existe un teorema similar, pero aqu ya no
se har uso de la supersimetra puesto que es imperativo calcular
explcitamente las funciones de onda para el electrn, por lo tanto
procederemos a buscar directamente la forma de esta funcin de onda.
Tomemos el potencial vectorial definido en (2.53), que provocar que la
ecuacin de Dirac ahora dependa solo de la coordenada x, esto lleva a que
los momentos p
y
y p
z
sean constantes del movimiento permitindonos tomar
una funcin de onda de la siguiente forma
+x, t = fx expip

. r

Et p
x
x (2.71)
donde = es el signo de la energa cuya magnitud es E.
Insertando en la ecuacin de Dirac (ecuacin 1.24), y reemplazando p
j
por
p
j
eA
j
(donde e es la carga elctrica) se obtiene
ih
c
ct
+ c
0 o
o 0
p + eBx
0 o
o 0
+ m
o
c
2
I 0
0 I
+ = 0 (2.72)
en donde se ha considerado al potencial elctrico como cero, puesto que
queremos calcular la funcin de onda para campos magnticos ultra fuertes,
por lo que el aporte del campo elctrico a la energa es muy pequeo.
27
Desarrollando (2.72) en funcin de los espinores podemos obtener despus
de algunos clculos
ih
c
ct

mc
2
0 cp
z
R

1
0 mc
2
R

2
cp
z
cp
z
R

1
mc
2
0
R

2
cp
z
0 mc
2

4
= 0 (2.73)
con R

1
= cp
x
ip
y
+ eB
o
x, y R

2
= cp
x
+ ip
y
+ eB
o
x
reemplazando (2.71) en (2.73), se llega al siguiente sistema de ecuaciones
E + mc
2
0 cp
z
R

1
0 E + mc
2
R

2
cp
z
cp
z
R

1
E mc
2
0
R

2
cp
z
0 E mc
2
f
1
x
f
2
x
f
3
x
f
4
x
= 0 (2.74)
si hacemos el cambio de variable = eB
1
2
x +
p
y
eB
o
el sistema anterior se
convierte en
E mc
2
f
1
cp
z
f
3
cieB
o

1
2
+
d
d
f
4
= 0
E mc
2
f
2
+ cp
z
f
4
+ cieB
o

1
2
+
d
d
f
3
= 0
E + mc
2
f
3
cp
z
f
1
cieB
o

1
2
+
d
d
f
2
= 0
E + mc
2
f
4
+ cp
z
f
2
+ cieB
o

1
2
+
d
d
f
1
= 0
(2.75)
donde se ha hecho fx = f
1
, f
2
, f
3
, f
4

Finalmente despus de algunos clculos se obtiene

c
2
f
1
c
2
+
E
2
+ m
2
c
4
c
2
p
2
eB
o
f
1

2
+ 1f
1
= 0
c
2
f
2
c
2
+
E
2
+ m
2
c
4
c
2
p
2
eB
o
f
2

2
1f
2
= 0
c
2
f
3
c
2
+
E
2
+ m
2
c
4
c
2
p
2
eB
o
f
3

2
+ 1f
3
= 0
c
2
f
4
c
2
+
E
2
+ m
2
c
4
c
2
p
2
eB
o
f
4

2
1f
4
= 0
(2.76)
(2.77)
(2.78)
(2.79)
que tienen exactamente la misma forma de la ecuacin de Schrdinger para
el oscilador armnico simple, de ah que las soluciones de las ecuaciones
diferenciales son normalizables si definimos n _ 0 como
28
n =
E
2
+ m
2
c
4
c
2
p
2
eB
o
(2.80)
donde se interpreta a n como el nmero cuantico que determina la energa
perpendicular de la partcula con respecto a la direccin del campo
magntico, adems si se define
2n + 1 = 2l + 1 (2.81)
entonces se tiene que 2l + 1eB
o
es la contribucin del movimiento armnico
simple y seB
o
es la contribucin debida al spin. De esto se sigue que las
soluciones normalizadas son las funciones de onda correspondientes al
oscilador armnico cuntico; a saber, una funcin de los polinomios de
Hermite
v
n
=
1
m 2
n
n!
1
2
H
n
exp

2
2
(2.82)
Con esto al funcin fx de (2.71) se escribe
fx =
Av
n1

Bv
n

Cv
n1

Dv
n

(2.83)
con A, B, C, D constantes.
Reemplazando (2.81) en (2.74) obtenemos
E
n
+ mc
2
0 cp
z
i2neB
1
2
0 E
n
+ mc
2
i2neB
1
2
cp
z
cp
z
i2neB
1
2
E
n
mc
2
0
i2neB
1
2
cp
z
0 E
n
mc
2
Ax
Bx
Cx
Dx
= 0 (2.84)
con E
n
= m
2
c
2
+ c
2
p
z
2
+ 2neB
1
2
.
Tomando las dos primeras columnas de la matriz en (2.84) y tomando en
cuenta (2.83) obtenemos finalmente la funcin de onda para un electrn
relativista en presencia de un campo magntico ultra fuerte (2.11*10 ^17
Teslas):
+
q
k
t, x=
expip

. r

Et p
x
x
2kE
n
kE
n
+ mV
1
2
1 + s
2
U
1
+
1 s
2
U
2
(2.85)
29
U
1
=
kE
n
+ mc
2
v
n1

0
kp
z
v
n1

ip
n
v
n

U
2
=
0
kE
n
+ mc
2
v
n

ip
n
v
n1

p
z
v
n

(2.86)
donde se ha hecho p
n
= 2neB
1
2
1819
El valor del campo magntico puede ser calculado considerando a un electrn
con energa ho de modo que podemos escribir
ho =
heB
mc
_ mc
2
(2.87)
de aqu se obtiene que
B _
m
2
c
3
he
= 2. 1104748 - 10^17 Teslas (2.88)
30
CAPTULO 3
POLARIZACIN DE UN ELECTRN RELATIVISTA
En ste captulo se pretende dar una concisa introduccin a la teora de
polarizacin, la cual finalmente nos va a servir para el clculo de la
polarizacin del electrn, usando la funcin de onda (2.85), para luego pasar
a la interpretacin de los resultados, que estar enmarcada en la comparacin
con datos experimentales ya publicados en el campo de la Astrofsica. Hay
que recalcar que para el clculo de los parmetros de Stokes se considerar
al espinor completo, con sus cuatro componentes, que aunque fsicamente es
correcto, matemticamente parece no serlo, ya que se comienzan a mezclar
estados de partculas con antipartculas; con la interpretacin que vamos a
presentar se pretende evitar la interaccin de la polarizacin de antipartculas
con la de las partculas para que las observaciones experimentales estn
acorde con los clculos que aqu vamos a efectuar. Al comparar los grficos
obtenidos de los clculos tericos que en ste captulo se proponen se
observar que las curvas publicadas, obtenidas semi-empricamente se
acoplan perfectamente al modelo terico, mas an, el clculo terico presenta
curvas ms completas, permitindonos estudiar lo que sucede ms all y
predecir lo que sucedera con la polarizacin para campos ms altos.
3.1. LOS PARMETROS DE STOKES
La forma ms general posible para una onda que satisface las leyes de
Maxwell y que se propaga en la direccin k

kn

viene dada por

E

(x

, t) (a
1
E

1
a
2
E

2
) exp(ik

. x

io) (3.1)
31
Las amplitudes a
1
, a
2
son nmeros complejos con el fin que exista la
posibilidad de una diferencia de fase entre ondas de distinta polarizacin. Si
a
1
y a
2
estn en fase, entonces (3.1) representa una onda polarizada
linealmente, cuyo vector de polarizacin forma un ngulo 0 tg
1
(
a
2
a
1
) con E

1
y cuyo mdulo es A a
1
2
a
2
2
. Si a
1
y a
2
presentan diferencia de fase,
entonces (3.1) est polarizada elpticamente
Los vectores unitarios E
1
y E
2
que pueden ser reales o complejos son
perpendiculares a k

y forman la base de polarizacin Para vectores reales la

base est formada por dos direcciones de polarizacin lineales o planas que
se las toma como perpendiculares entre s. Para vectores complejos la base
es elptica. Normalmente se suele hablar en ste caso como vectores de
polarizacin circular izquierda y derecha
Los parmetros de Stokes son cuadrticos en a
1
y a
2
y pueden ser usados
para determinar la polarizacin de una onda electromagntica a travs de la
intensidad de la onda solamente. Introduciendo un sistema de coordenadas
cuyos ejes x, y, z estn ordenados en el sentido contrario a las manecillas
del reloj, y asumiendo que la onda viaja en la direccin z positiva, los
parmetros de Stokes se definen a continuacin
I
0
= Intensidad de la onda
P
1
= Grado de polarizacin lineal con respecto a los ejes x y y, Si las
intensidades son I
x
, y I
y
, P
1
(I
x
I
y
),I
0
P
2
= Grado de polarizacin con respecto a los ejes orientados 45
0
a la
derecha de los ejes previos x y y. En este caso las intensidades son I
45
y
I
135
, P
2
(I
45
I
135
),I
0
P
3
= Grado de polarizacin circular: Si las intensidades para la polarizacin
circular izquierda y derecha son I
l
y I
r
, respectivamente, P
3
(I
l
I
r
),I
0
Expresando en trminos de a
1
y a
2
y tomando como base E

1
, E

2
) los
parmetros de Stokes se convierten en
I
0
a
1
a
1
-
a
2
a
2
-
P
1

a
1
-
a
1
a
2
-
a
2
I
0
P
2

a
1
-
a
2
a
2
-
a
1
I
0
P
3
i
a
1
-
a
2
a
2
-
a
1
I
0
(3.2)
(3.3)
(3.4)
(3.5)
32
Los parmetros de Stokes son reales y satisfacen P
1
2
P
2
2
P
3
2
1. Es
necesario notar que el valor de estos parmetros depende de la base de
polarizacin que hayamos escogido. Lo que pretendemos a continuacin es
darle un tratamiento cuntico .
3.2. POLARIZACIN DE FOTONES
Las ecuaciones de Maxwell se pueden escribir usando el cuadrivector
potencial A
j
(, A

). Puesto que el campo electromagntico solo tiene dos

componentes independientes, dos de las cuatro componentes de A
j
son
superfluas para la descripcin del campo, ambas componentes "sobrantes"
pueden ser eliminadas haciendo uso de la invariancia de gauge. En el gauge
de coulomb se toma por ejemplo 0, y V

. A

0.
La cuantizacin del campo en ste gauge nos lleva a escribir el potencial
vectorial en funcin de los operadores de creacin a
(z)
(k)y de aniquilacin
a
(z)
(k) de la siguiente forma
A

(x) ]
d
3
k
(2m)
3
2k
o
_
z1
2
A
(z)
(k)|a
(z)
(k)e
ikx
a
(z)
(k)e
ikx
] (3.6)
donde k es el cuadrimomento que satisface k
2
0 o k
0
k

, la condicin de
gauge V

. A

0. nos lleva a k

A
(z)
(k) 0. Ambos vectores de polarizacin
A
(z)
(k) son perpendiculares a k y pueden ser tomados el uno ortogonal al otro
por conveniencia.
De la ecuacin (3.6) se puede ver que para cierto momento k dos estados
ortogonales independientes pueden ser creados del vaco |0). Un fotn
arbitrario con momento k

es la combinacin lineal de estos dos estados. Los

estados polarizados
1
a
(1)
(k)|0) y
2
a
(2)
(k)|0) forman un conjunto
completo, en trminos del cual un estado arbitrario siempre puede escribirse
como
a
1

1
a
2

2
(3.7)
donde |a
1
|
2
y |a
2
|
2
son las probabilidades de encontrar al fotn en uno de los
estados base. Un solo fotn siempre est en un estado de polarizacin puro,
para el cual los parmetros de Stokes se dan en (3.2),(3.3),(3.4),(3.5).
3.3. POLARIZACIN DE ELECTRONES
Ahora estamos listos para el estudio del electrn relativista. Las soluciones de
la ecuacin de Dirac obtenidas en la seccin (2.2.1) son soluciones que tienen
cuatro componentes, dos soluciones para el electrn y dos soluciones para el
33
positrn, las cuales son independientes Si las dos soluciones para el electrn
son
1
y
2
, la funcin de onda para un electrn se puede escribir como (3.7).
En el sistema propio del electrn la polarizacin se define como el valor
esperado de la matriz definida en (1.69)
S
x
(|o
x
|) (a
1
-
, a
2
-
)
0 1
1 0
a
1
a
2
a
1
-
a
2
a
2
-
a
1
S
y
(|o
y
|) (a
1
-
, a
2
-
)
0 i
i 0
a
1
a
2
i(a
1
-
a
2
a
2
-
a
1
)
S
z
(|o
z
|) (a
1
-
, a
2
-
)
1 0
0 1
a
1
a
2
a
1
-
a
1
a
2
-
a
2
(3.8)
(3.9)
(3.10)
Comparando las ecuaciones anteriores con la definicin de los parmetros de
Stokes definidos en (3.2),(3.3),(3.4),(3.5).se puede apreciar que
P
1
S
z
, P
2
S
x
y P
3
S
y
si I se toma como
I (|I|) (a
1
-
, a
2
-
)
1 0
0 1
a
1
a
2
a
1
-
a
1
a
2
-
a
2
(3.11)
los parmetros de Stokes se pueden usar para describir la polarizacin de un
electrn del mismo modo en que se usan para describir la polarizacin de los
fotones , sin embargo, para el electrn el significado de las componentes de
P (P
1
, P
2,
P
3
) es fijado con el escogitamiento de una base en el sistema de
laboratorio, puesto que la direccin de polarizacin del electrn no depende
necesariamente con la direccin de movimiento del electrn.
Si hacemos un cambio de base los parmetros de Stokes van cambiar de
valor como ya se mencion; si las bases, tanto la inicial como la final son
ortogonales la transformacin de los parmetros de Stokes se describe a
travs de una matriz M.
Para una rotacin en un ngulo 0 al rededor de el eje de P
3
viene dada por
M
1 0 0 0
0 cos o sino 0
0 sino cos o 0
0 0 0 1
(3.12)
donde o 0 para los electrones y o 20 para los fotones. Una rotacin al
rededor de P
1
se tiene
34
M
1 0 0 0
0 1 0 0
0 0 cos o sino
0 0 sino cos o
(3.13)
Usando los parmetros de Stokes el efecto de una interaccin
electromagntica se puede escribir como una matriz 4 4 , T de modo que la
ecuacin de transformacin nos queda
I

T
I
P

(3.14)
3.4. ESTADOS MEZCLADOS
Hasta ahora solo hemos considerado estados puros, es decir, estados en los
que existe una direccin definida en la cual la polarizacin es igual a uno.
Para describir estados mezclados se utiliza el formalismo de la matriz de
densidad . En tal formalismo un chorro de electrones o fotones se representa
por una matriz hermtica 2 2 con valores propios no negativos, y traza uno,
lo que implica que el estado es normalizado. Para un estado puro la matriz de
polarizacin es

a
1
-
a
1
a
2
-
a
1
a
1
-
a
2
a
2
-
a
2
(3.15)
la cual puede ser transformada a

1 0
0 0
(3.16)
a travs de una transformacin unitaria. Un estado mezclado se obtiene a
partir de una superposicin incoherente de estados puros. En este caso
puede ser diagonalizada pero en general los elementos de la diagonal son
distintos de cero. La matriz resultante es una superposicin incoherente de
estados no polarizados y de estados polarizados

a
0
0
b
(1 p)
1
2
0
0
1
2
p
1 0
0 0
(3.17)
donde p
a

b
es el grado de polarizacin Se puede escribir

1
2
(I S

) (3.18)
para un estado puro S

1, mientras que para un estado mezclado

35
S

p 1
3.5.CLCULO DE LOS PARMETROS DE STOKES,
COMPARACIONES EXPERIMENTALES Y CONCLUSIONES
Usando la funcin de onda (2.28) podemos calcular el valor medio de S
definido en (1.69), sin embargo por lo extenso de los clculos estos no se
presentarn desarrollados totalmente y los resultados finales se presentan a
continuacin
S
x
(
q
1
(t, x))

0 1 0 0
1 0 0 0
0 0 0 1
0 0 1 0
(
q
1
(t, x))
S
y
(
q
1
(t, x))

0 i 0 0
i 0 0 0
0 0 0 i
0 0 i 0
(
q
1
(t, x))
S
z
(
q
1
(t, x))

1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
(
q
1
(t, x))
(3.19)
(3.20)
(3.21)
aqu denota transpuesto y conjugado
S
x

(m
2
c
2
2kE
n
m ikp
z
(2neB)
1
2
)
4E
n
2
4E
n
m
v
n
v
n1
S
y

p
z
(2neB)
1
2
s
(kE
n
2
E
n
m)V
v
n
v
n1
S
z

1
2E
n
2
2kE
n
m
(1 s
2
)
2
2(m
2
c
2
p
z
2
c
2
neB)
(1 s
2
)
4
(2neB) v
n1
2
()
1
2E
n
2
2kE
n
m
(1 s
2
)
4
2(m
2
c
2
p
z
2
c
2
neB)
(1 s
2
)
4
(2neB) v
n
2
()
I
1
2E
n
2
2kE
n
m
(1 s
2
)
2
2(m
2
c
2
p
z
2
c
2
neB)
(1 s
2
)
4
(2neB) v
n1
2
()
1
2E
n
2
2kE
n
m
(1 s
2
)
4
2(m
2
c
2
p
z
2
c
2
neB)
(1 s
2
)
4
(2neB) v
n
2
()
(3.22)
(3.23)
(3.24)
(3.25)
A continuacin se presentan las grficas de los parmetros de Stokes
discretizadas por n 0, 1, 2, . . . .
36
Grfico1. Polarizacin lineal con resp. al eje x, orientado a 45 grados
resp. del eje anterior
Grfico 2. Grado de polarizacin circular
37
Grfico 3.- Grado de polarizacin lineal con resp. al eje x , y al eje y
Para obtener un anlisis ms profundo en lo que nos interesa es necesario
observar el comportamiento de los grficos para un n grande, por eso
presentamos a continuacin los grficos para n entre 0 y 1000.
Grfico 4. Polarizacin lineal con resp. al eje x, orientado a 45 grados
resp. del eje anterior (n 1,2,....1000)
38
Grfico 5. Grado de polarizacin circular (n1,2,.....1000)
Grfico 6.- Grado de polarizacin lineal con resp. al eje x , y al eje y
Con tales clculos efectuados podemos observar el comportamiento de los
parmetros de Stokes, incluso para n grande (Grficos 4,5,6). Sin embargo es
necesario analizar profundamente la validez de estos, y uno de los campos
que se presta para hacerlo, debido a la magnitud de los campos que ah se
manejan es la astrofsica. Reconociendo que varios cientficos a lo largo de
los aos han tratado de estudiar estos fenmenos, generalmente basados en
suposiciones un tanto elementales, y ms bien tratando de obtener curvas
semi-empricas (un ejemplo es la grfico 7, del cual se hablar ms adelante)
que les permitan calcular o predecir la polarizacin de las estrellas.
Se piensa que la emisin trmica de las atmsferas de una estrella de
neutrones fuertemente magnetizada es altamente polarizada, sin embargo,
debido a las diferentes orientaciones del campo magntico sobre la superficie
39
de la estrella, se asume que la polarizacin neta es relativamente reducida, ya
que las polarizaciones de distintas regiones se cancelan mutuamente. Cada
elemento de una estrella de neutrones (en su superficie) emite radiacin
trmica altamente polarizada ( 50%) en frecuencias que van, del ptico a los
rayos X
|20],|21].
En el rea de emisin la direccin de polarizacin est correlacionada con la
direccin del campo magntico. Sin embargo la orientacin del campo
magntico vara sobre la superficie de la estrella de neutrones Al sumarse las
intensidades polarizadas se obtiene como resultante una polarizacin neta
relativamente baja, tpicamente se obtienen valeres que van del 5% al 25% de
polarizacin. Se considera que la polarizacin observada es igual en magnitud
ala polarizacin producida.
La polarizacin intrnseca de la radiacin emitida de la superficie de una
estrella de neutrones con un campo magntico fuerte del orden de 10
11
Gauss
y superiores, es bastante alta ( 50% al 80%), el piso de la emisin trmica est
en v 10
18
Hz, por lo tanto se puede concluir que los pulsares, en promedio,
deben ser altamente polarizados, incluso en el ptico, su polarizacin neta
debe ser significativamente alta.
Actualmente, polarimetra en el ptico o en el ultra violeta puede ser realizada
para una estrella de neutrones, sin embrago la radiacin trmica, de incluso
las estrellas ms cercanas, es muy dbil y requiere de largas exposiciones
con los instrumentos mas grandes disponibles. debido a que la radiacin
trmica alcanza su pico en frecuencias de rayos X, probablemente la
polarimetra en rayos X sea la ms favorable.
Los magnetares, que son estrellas de neutrones aisladas con una superficie
dipolar de 10
15
Gauss, campos mucho ms altos que los de un pulsar
ordinario (10
12
Gauss), emiten radiacin en forma de rayos gamma y rayos X.
Como mecanismo de generacin de sta radiacin se ha considerado la
presencia de electrones relativistas que se mueven en estos campos fuertes,
dispersin Compton inversa y emisin cincrotrnica pueden dar lugar a
radiacin de alta energa y polarizada, debido a las energas involucradas se
tiene que pensar necesariamente en estos mecanismos, dejando a un lado
procesos trmicos tradicionales.
En el presente trabajo se usa una muy conveniente herramienta para la
descripcin de la polarizacin, basada en el formalismo de los parmetros de
Stokes, el cual es desarrollado para la descripcin, tanto de radiacin
electromagntica como de partculas elementales, formalismo propuesto
40
originalmente en 1954 por Mc.Master
|22]
El estudio de un plasma en un campo magntico se constituye en objeto
tradicional de estudio en las investigaciones astrofsicas, suficiente es
recordar que un gran trabajo se ha realizado para analizar en detalle la
radiacin de electrones relativistas en campos magnticos.
Observaciones de la polarizacin circular de la radiacin continua de las
estrellas, sen constituye en un mtodo efectivo de estudio de sus campos
magnticos; justamente, estos estados de la polarizacin circular de la
radiacin de enanas blancas dio lugar al crecimiento y desarrollo de
investigaciones tericas en sa direccin
|23]
.
En ste contexto, los procesos relacionados con el comportamiento de la
materia y de la radiacin en campos magnticos fuertes B 10
12
Gauss
tambin han sido estudiados. As por ejemplo, una aproximacin cualitativa
para la seccin transversal de fotoionizacin en un campo magntico fuerte
fue obtenida por Hasegave H. y Hovard R
|24]
Para las aplicaciones en astrofsica es necesario conocer el espectro de
emisin que se emite desde un plasma magneto activo. La ley de conduccin
trmica para la radiacin en un plasma con campo magntico fuerte fue
establecida por Pavlov G.G. y Yakovlev D. G.
|25]
. Igualmente Pavlov G. G. y
Shabanov determinaron el espectro de emisin en el ptico de un plasma
caliente, desarrollando en serie la funcin de Planck, en funcin de la
profundidad ptica. en sta aproximacin tambin calcularon la polarizacin
de la radiacin emitida por una atmsfera de plasma estratificada, inmersa en
un campo magntico fuerte
|26]
El mayor resultado obtenido por estos autores es que para o
B
_ 3kT
e
, con
T
e
temperatura de la estrella, el grado de polarizacin lineal y polarizacin
circular pueden ser comparables en magnitud y alcanzar algunas decenas
porcentuales (~ 50%). En la posibilidad de aparecimiento de polarizacin
circular en la radiacin de fuentes trmicas compactas en campos magnticos
fuertes, puso atencin Kemp
|27]
. Particularmente, al mismo tiempo el problema
de transporte de radiacin en polarizacin circular en una atmsfera en
equilibrio trmico fue resuelto por Shipman H.L
|28]
utilizando la frmula
obtenida por Kemp para el grado de polarizacin de una fuente pticamente
delgada en el caso de libre-libre transiciones.
Si el campo magntico en la superficie de una estrella de neutrones es lo
suficientemente grande (B _ 10
12
-10
13
Gauss) y o o
B
la seccin eficaz de
41
dispersin y de absorcin de la radiacin se vuelve anisotrpica.
El campo magntico juega un papel importante en la formacin del diagrama
de direccionamiento de la radiacin en pulsares conduce el material en el
disco de acrecin y en las regiones de los polos magnticos de las estrellas
de neutrones.
|29]
Con mucho inters se ha considerado los diferentes modelos tericos
relacionados con el estudio de las emisiones polarizadas en rayos X de
pulsares. Estudios detallados se muestran varios trabajos
|30]
En un campo magntico fuerte se esperara que la radiacin que se mueven a
lo largo del campo magntico est altamente polarizada circularmente y la
que se mueve transversalmente tenga una componente lineal. En el campo
magntico el movimiento transversal del electrn ocurre por rbitas circulares
cuantizadas , segn la mecnica cuntica en niveles discretos, los
denominados niveles de Landau. Para valores altos de energa ocurren saltos
espontneos entre los niveles de Landau con diferente n, lo cual conlleva a la
bien conocida emisin sinclotrnica de un plasma caliente en las frecuencias
armnicas o
s
so
B
, con s 0, 1, 2, 3, . . .
La mayora de estrellas tienen un campo magntico tal que o
B

kT
e

Caso o
B
o,
En ste caso la polarizacin de la radiacin se puede considerar circular para
cualquier ngulo de propagacin excepto para el intervalo cerca de 0
m
2
.
Por lo tanto la polarizacin de tales fuentes debe ser preferentemente circular
. El grado de polarizacin lineal es una contribucin adicional pequea, del
orden de
o
B
o
. el grado de polarizacin circular de la radiacin estelar con
campo magntico fuerte se puede determinar en dos situaciones diferentes:
en equilibrio termodinmico local y en dispersin pura.
a) Equilibrio termodinmico local .- Comunmente las atmsferas de las
estrellas se pueden considerar lo suficientemente densa, tal que la
aproximacin de equilibrio termodinmico local se puede utilizar. los modos
de vibracin en la radiacin son ortogonales; se puede determinar que el
grado de polarizacin lineal, para el caso en que el campo magntico de la
estrella es considerado dipolar vara peridicamente, aproximadamente como
P
v
(o, B, T) ~ k(o, B, T)Cos, (3.26)
42
, es el ngulo entre la direccin del campo magntico y la del observador.
Si las no homogeneidades del campo magntico son fuertes en comparacin
con la componente dipolar, el grado de polarizacin de la radiacin disminuye.
sin embargo, para frecuencias altas (o _ kT
e
), las no homogeneidades se
manifiestan en menor grado debido a la disminucin del rol que juegan las
zonas ecuatoriales en comparacin con las zonas polares. como resultado, el
mximo de la curva peridica de polarizacin circular se mueve al lado de la
regin de todava ms altas frecuencias.
En conclusin, la contribucin debido a la polarizacin debido a las zonas
polares es significativamente mayor que la contribucin de las zonas
ecuatoriales; adems, sta diferencia es mayor para menores valores del
coeficiente de absorcin. se debe poner atencin, tambin en el hecho de que
el mximo de polarizacin se encuentra en las regiones de altas frecuencias
(o 10kT) La dependencia del grado de polarizacin circular de la
frecuencia puede ser considerada como P
v
(o) ~ o

3
7
|31]
Recientemente, en las enanas blancas se descubri que la polarizacin
circular detectada evidenciaba la presencia de campos magnticos del orden
de 10
6
10
8
Gauss en las atmsferas de stas estrellas
|32]
Caso o
B
o
Para ste caso se puede determinar los parmetros de Stokes
correspondientes a la polarizacin lineal y circular. El grado de polarizacin
lineal puede ser mucho mayor que en el caso anterior y alcanzar niveles
comparables con la polarizacin circular
V
~
L
~ 10%. ste caso se ha
verificado observacionalmente que puede tener lugar en enanas blancas del
tipo AMHer, fuentes que pueden tener un grado considerable (hasta 30%) de
polarizacin circular y lineal.
|33]
En conclusin, objetos del tipo AMHer existentes en la naturaleza poseen
radiacin que contiene alto grado de polarizacin tanto circular como lineal.
Las curvas semi-empricas para estrellas calientes han mostrado ser bastante
aproximadas a la realidad. Como se ve en el Grfico 7, las curvas presentan
un comportamiento sinusoidal que al parecer se va atenuando despus del
mximo, se esperara que la atenuacin contine hasta el infinito, pero por ser
stas graficas semi-empricas los campos no pueden alcanzar ms de
10
8
10
9
Gauss.
Si comparamos el Grfico 7 con el Grfico 5 se observa que los clculos
efectuados se apegan mucho a la curva semi-emprica, sin embargo los
43
clculos efectuados por su naturaleza terica se pueden extender para
campos tan altos como se quiera, resta por ver si tales campos pueden ser
encontrados en el Universo
Grfico 7.-Polarizacin circular en funcin de la frecuencia para atmsferas
de estrellas calientes con campo magntico fuerte (curvas semi-empricas)
[34]
Finalmente, hay que notar que si bien es complicado encontrar en el Universo
campos extremadamente altos como para verificar la validez de la curva
obtenida tericamente, podemos utilizar estos resultados para el anlisis
interpretacional de la teora cuntica relativista, a lo cual se proceder en el
siguiente captulo.
Puntualizando el anlisis anterior podemos anotar que:
1. Existen indicios cientficos de que uno de los factores fundamentales en la
generacin de radiacin de alta energa y polarizada son los electrones
movindose a velocidades relativistas.
2. La polarizacin debido a las zonas polares de las estrellas es mayor que la
de las zonas ecuatoriales.
3.-Existen objetos en el Universo cuya polarizacin se comporta como se ha
descrito en los grficos (4,5,6).
4.- La polarizacin lineal y circular debida a electrones relativistas flucta al
44
rededor de cero atenundose conforme n aumenta. Existe una especie de
Zitterbewegung al rededor de n, que mezcla estados de polarizacin positiva y
negativa, en el sistema en reposo del electrn.
5.- Las curvas semi-empricas representan una parte de las curvas tericas,
se espera que si se encuentran campos mas altos la polarizacin se comporte
como en las curvas tericas.
45
CAPTULO 4
INTERPRETACIN E IMPLICACIONES FSICAS DEL
ZITTERBEWEGUNG
Las conclusiones obtenidas en el captulo anterior a base de la comparacin
con resultados ya publicados nos muestran que los clculos efectuados se
aproximan a las curvas obtenidas experimentalmente, aunque en el modelo
terico el campo pude ser tan grande como se quiera. No se tiene una razn
a priori para considerar campos no susceptibles de incrementarse hasta el
infinito. En el Universo encontramos campos bastante altos, aunque no lo
suficiente como para poder testear las graficas (4,5,6). Como se anot en el
captulo anterior, para el clculo de los parmetros de Stokes se uso el
espinor completo, lo que provocara mezclas de estados de polarizacin de
partculas y antipartculas. En ste captulo daremos una interpretacin que
permite eliminar tal posibilidad en los resultados obtenidos
experimentalmente, de modo que la teora se acople a las observaciones.
Antes es necesario dar una introduccin formal al estudio de los problemas
que acarrea la mecnica cuntica relativista, adems se har incapi en el
formalismo matemtico fundamental, para observar la interrelacin entre la
Matemtica (el lenguaje) y la Fsica (el fenmeno). La interpretacin que se
va a aportar tiene como eje central al fenmeno que denominamos
Zitterbewegung, que es el que causa los ms grandes problemas de
interpretacin y desarrollo matemtico, y cuya contraparte en la mecnica
cuntica no relativista no existe. Se estudian algunos problemas de mecnica
cuntica fundamental.
46
4.1.EL OPERADOR VELOCIDAD
En los captulos anteriores ya definimos los operadores asociados a los
observables que se usan generalmente en la mecnica cuntica no relativista,
ahora vamos a analizar como varan esos operadores en el tiempo, y que
relacin tienen con el Hamiltoniano de Dirac .
Para partculas libres el operador velocidad se define como la derivada
temporal del operador de posicin xt = expiHtxexpiHt. Si tomamos x
como el operador definido en (1.65) podemos construir el operador velocidad
standard
d
dt
xt = expiHtiH, x expiHt = expiHtc expiHt = ct (4.1)
La matriz c tiene como valores propios +c, c. el operador ct es
unitariamente equivalente a c, por lo tanto su espectro tambin ser +c, c
para todo t, lo que muestra que los nicos valores posibles de la medicin de
la velocidad son +c, c.
En correspondencia con la cinemtica relativista clsica se esperara que el
operador c
2
p H
1
sea el operador asociado a la velocidad, este operador es
acotado y conmuta con , adems tiene un espectro puramente continuo, a
saber, el intervalo c, c; llamaremos a c
2
p H
1
el operador clsico de
velocidad. La derivada del operador standard viene dada por
d
dt
ct = expiHtiH, ct expiHt = 2iHFt (4.2)
de lo cual podemos concluir que el operador t no es una constante del
movimiento. El operador Ft se define como
F = c c
2
p H
1
(4.3)
el cual es acotado, y cada una de sus componentes anticonmuta con ,
fcilmente podemos obtener de la relacin de anticonmutacin la siguiente
expresin
Ft = exp2iHtF (4.4)
Integrando (4.2) y tomando c0 = c se obtiene
ct = c
2
p H
1
+ Ft (4.5)
Podemos observar claramente que la velocidad oscila al rededor del valor
medio c
2
p H
1
el cual es justamente el operador de velocidad clsico. ste
fenmeno de oscilacin se suele denominar "Zitterbewegung"
47
4.2.EL OPERADOR POSICIN
Se puede hacer el mismo anlisis para la evolucin temporal de x,
obtenindose un resultado anlogo, el cual se sintetiza a continuacin, en el
siguiente teorema
Teorema 4.1. El dominio Dx = Dxt del operador multiplicativo x es
invariante por la izquierda bajo la evolucin temporal .
Dxt = expiHtDx = Dx (4.6)
en este dominio se tiene
xt = x + c
2
p H
1
t +
1
2iH
exp2iHt 1F (4.7)
Se puede demostrar que Dx es denso en H y adems que el trmino
1
2iH
exp2iHt 1F tiende a cero cuando t tiende al infinito
El Zitterbewegung es una consecuencia de las energas negativas, dado que
F anticonmuta con H podemos escribir
FP
pos
= P
neg
F
FP
neg
= P
pos
F
(4.8)
(4.9)
Lo que muestra claramente que el operador acotado F mapea el espacio de
las energas positivas en el espacio de energas negativas y viceversa, en
particular P
pos
FP
pos
= 0. Todo esto podemos enunciarlo en el siguiente
teorema:
Teorema 4.2. El valor esperado de x en el estado t = expit, donde
Dx, tiene la forma:
t, xt = , x +
1
2iH
F + , c
2
p H
1
t +
1
2iH
exp2iHt 1F (4.10)
Si es un estado inicial con energa positiva (negativa), entonces el valor
esperado de x en el estado t no efecta Zitterbewegung siempre. en tal
caso tenemos:
t, xt = , x + , c
2
p H
1
t H
pos
o H
neg
(4.11)
La velocidad de una partcula con energa negativa es siempre antiparalela a
su momento puesto que c
2
p H
1

neg
= c
2
p
|H
1
|
neg
4.3.LOS OPERADORES DE MOMENTO ANGULAR
48
Es necesario notar que adems de xt existen otras magnitudes que
presentan el fenmeno llamado Zitterbewegung, y es de nuestro inters
particular el comportamiento de los operadores de momento angular , L

y .
Se puede mostrar sin dificultad que el operador L

y el operador . cumplen
con las siguientes ecuaciones:
L

t = xt/p = L

+
1
2iH
exp2iHt 1F

/ p
t =
i
4
t / t =
1
2iH
exp2iHt 1F

/ p
(4.12)
(4.13)
De las ecuaciones anteriores se puede observar que tanto L

como no se
conservan a causa de las Zitterbewegung. sin embargo el operador = L

+ ;
como se ve claramente en funcin de (4.12) y (4.13), se conserva, puesto que
los trminos que provocan Zitterbewegung se anulan quedando t = .
Del mismo modo que en (4.5) se observa que las matrices t vienen dadas
por un trmino Zitterbewegung, as se puede hacer para el estudio de las
matrices [

; anunciamos aqu el resultado:

c[t =
mc
2
H
+ Gt (4.14)
donde
G =[
mc
2
H
(4.15)
el operador describe la diferencia entre la matriz [

y el operador clsico
mc
2
E
= 1
v
2
c
2
(4.16)
Los operadores y F

se relacionan a travs de H
2
= p
2
c
2
+ m
o
2
c
4
como
F

. p +mc
2
G =0 (4.17)
lo que muestra finalmente que el operador de Dirac H permanece invariante si
reemplazamos co por c
2
p H
1
y [

por mc
2
H
1
adems podemos agregar las
siguientes relaciones:
1
c
. p +[

. = 3
3
F

2
c
2
=
2
(4.18)
(4.19)
Las oscilaciones Zitterbewegung son difciles de interpretar fsicamente,
aunque matemticamente son bien entendidas. El problema fundamental se
49
encuentra en la forma en la que escogimos los operadores para los
observables (posicin estndar, velocidad estndar) la cual es incorrecta, ya
que hemos visto que el operador x mezcla los estados de energa positiva y
negativa en una forma compleja; esto es lo que origina las Zitterbewegung.
Lo que nos hace pensar que si restringimos el espacio de estados solo al de
las energas positivas (negativas ) para ser consistentes con la interpretacin
de los estados de energa negativa como antipartculas de energa positiva;
podemos evitar por decirlo as las oscilaciones, todo esto a travs de las
transformaciones (4.8) y (4.9).Por ejemplo, podemos considerar el operador x
dado por
x=P
pos
xP
pos
+ P
neg
xP
neg
= x
1
2iH
F (4.20)
el cual es acotado y autoadjunto en Dx = Dx, De (4.5) y el Teorema 4.1
podemos tambin deducir que:
xt = x + c
2
p H
1
t (4.21)
de la misma forma podemos restringir el resto de operadores que mezclan los
estados de energa positiva con los de energa negativa.
El operador x tiene la propiedad de que sus componentes no conmutan , lo
que implica que la localizacin en una zona finita ya no tiene significado. sin
embargo se puede construir otro operador de posicin el cual deja invariante
los subespacios de energa positiva y de energa negativa, el cual tiene
componentes que si conmutan y cuya derivada temporal es c
2
p H
1
,este
operador se denomina "operador de posicin de Newton-Wigner"; el cual se
define como la transformacin inversa de Foldy-Wouthuysen de x:
x
NW
= U
FW
1
xU
FW
(4.22)
adems para la evolucin temporal podemos obtener:
x
NW
t = x
NW
+ c
2
p H
1
t (4.23)
el cual en la representacin estndar viene dado por:
x
NW
= x
[
2iO
co
c
2
OO + mc
2

co . p. p
c
2
OO + mc
2

/ p
O = p
2
c
2
+ m
o
2
c
4

1
2
(4.24)
(4.25)
La representacin de Foldy-Wouthuysen nos ayuda a determinar fcilmente
todos los operadores y luego nos permite pasarlos a la forma estndar. Los
operadores restantes en la representacin de Foldy-Wouthuysen se muestran
en el apndice.
50
4.4.LOCALIZACIN Y ACAUSALIDAD
4.4.1 NOCIONES DE LOCALIZACIN
Por lo expuesto en la seccin anterior podemos afirmar que existen varias
formas de escoger los operadores de posicin, sin embargo existen varias
propiedades que sin importar cual sea el operador de posicin, ste debe
cumplir. Para esto consideremos una partcula que tiene la propiedad de estar
localizada en un subconjunto B de
3
. Si esta propiedad es un observable
entonces debe existir un operador autoadjunto EB en el espacio de Hilbert
de esta partcula que describe las dos posibilidades de encontrar a la
partcula; dentro de B o fuera de B . Lo que provoca que el operador EB
solo debe tener los valores propios 1 (dentro de B) y 0 (fuera de B). Un
operador EB con stas propiedades debe ser un operador de proyeccin.
Cualquier observable que describe si un sistema fsico tiene o no tiene cierta
propiedad debe ser un operador de proyeccin.
Se requiere que dicho operador cumpla las siguientes propiedades
35
:
1. Para todo conjunto (Borel-medible) B .
3
existe un operador de
proyeccin EB tal que , EB es la probabilidad de encontrar la
partcula en B, si sta se encuentra en el estado , ]] = 1 . La partcula
debe estar donde quiera , dado que
E
3
= 1 (4.26)
2. Si el sistema est al mismo tiempo localizado en B
1
y B
2
entonces ste
est localizado en B
1
, B
2
EB
1
, B
2
= EB
1
EB
2
B
1
, B
2
(4.27)
3. El rango de EB
1
B
2
es el subespacio de estados que estn localizados
en B
1
B
2
, ste subespacio debe ser extendido sobre los vectores en EB
1
,
y aquellos en EB
2
, ya que
EB
1
B
2
= EB
1
+ EB
2
EB
1
, B
2
B
1
, B
2
(4.28)
si B
1
, B
2
, . . . . . son disjuntos, entonces
EB
1
B
2
. . . . . . =
_
i=1

EB
i
(4.29)
4. Sea Ua, R, a
3
, R SO3, una representacin unitaria de el grupo
euclidiano en el espacio de Hilbert de la partcula. Para cualquier boreliano
B
3
, el conjunto denotado por RB + a obtenido de B por una rotacin R y
51
una traslacin con el vector a, entonces
ERB + a = Ua, REBUa, R
-
(4.30)
si EB satisface las cuatro condiciones anteriores, entonces ste es una
medida espectral de un operador de posicin nico q = q
1
, q
2
, q
3
. Adems
podemos definir las familias espectrales E
q
i
z = Ex
3
/x
i
_ z, y los
operadores
q
i
= ]

+
zdE
q
i
z, i = 1, 2, 3 (4.31)
Usando (4.27) se obtiene
E
q
i
zE
q
k
z = E
q
k
zE
q
i
z, i, k = 1, 2, 3 (4.32)
es decir; las componentes de q conmutan. Por otro lado, para cualquier
operador de posicin con componentes que conmutan podemos definir
EB = _x B a travs del teorema espectral. Aqu _ denota la funcin
caracterstica de B
Para el operador de Newton Wigner x
NW
, la medida espectral
EB = _x
NW
B = U
FW
1
_x BU
FW
(4.33)
satisface los cuatro requerimientos impuestos puesto que nos son afectados
por una transformacin unitaria Si , EB = 1, entonces la partcula est
localizada en B lo cual no significa que la funcin de onda est localizada en
B
Finalmente presentamos un teorema (Newton,Wigner,Wightman) que nos
aclarar y mostrar que el operador de Newton-Wigner permite la localizacin
en una zona B
Teorema 4.3 Sea q = q
1
, q
2
, q
3
un conjunto de operadores autoadjuntos en
H = L
2

4
tal que EB = _q B cumple con los requerimientos del 1 al 4
y adems satisface
5. E
q
B deja invariante H
pos
, y H
neg
, es decir
E
q
BH
pos
neg
. H
pos
neg
(4.34)
entonces q es un operador de Newton-Wigner.
Sin embargo aunque el operador de Newton-Wigner. nos permite definir
52
claramente el sentido de la "localizacin en B" existen varios argumentos a
priori en contra de la localizacin estricta de partculas con signo definido de
la energa.
En la teora relativista los estados de una partcula se transforman de
acuerdo a una representacin irreducible del grupo no-homogneo de
Lorentz con m _ 0 y energa positiva.
Consideremos vectores de estado
t
, normalizados y dependientes del
tiempo, adems una regin fija V. Asumimos que
i Existe un operador TV tal que
t
,TV
t
representa la probabilidad de
encontrar la partcula en V al instante t, claramente TV es autoadjunto y es
tal que 0 _ TV _ 1.
Se dice que un a partcula est localizada en V al instante t si la probabilidad
de encontrar la partcula en V es 1, se dice que no est localizada en V al
tiempo t si la probabilidad es 0 .Por otro lado definimos formalmente la nocin
de causalidad:
ii Si al tiempo t
o
= 0 el estado de la partcula est localizado en V, entonces
existe una constante r = r
t
, tal que, al tiempo t > 0, la partcula cuando es
trasladada por v

, |v

| _ r
t
, no est en V. Con esto podemos enunciar el
siguiente teorema:
Teorema 4.4. Supngase que se cumple la suposicin de probabilidad i.
Entonces en la teora relativista no existe el estado de una partcula
localizado en la regin finita del espacio V que satisfaga la condicin de
causalidad ii
36
El teorema establece que si se satisfacen ambas condiciones i, ii entonces
es imposible preparar el estado de una partcula que est estrictamente
localizado en una regin finita del espacio V, en particular el operador TV no
es un proyector. Sin embargo dependiendo de las propiedades de TV la
probabilidad de localizacin fuera de V se podra hacer lo suficientemente
pequea, aunque, incluso si se considera el estado localizado en una regin
finita con colas exponenciales y acotadas fuera de la regin finita, despus de
cierto tiempo se viola la causalidad. Por otro lado, si se insiste en localizar
estrictamente al estado de la partcula en V entonces, igualmente se viola la
causalidad . Un ejemplo se puede obtener al considerar el operador de
posicin de Newton-Wigner
Directamente se puede extender el teorema anterior para una regin del
53
espacio tiempo arbitraria, incluso para una regin sometida a un campo.
Generalizando los resultados anteriores
37
se puede demostrar que en
cualquier teora cuntica relativista con energa positiva, y cualquier
espacio-tiempo traslacionalmente covariante, la nocin de localizacin es
incompatible con el requerimiento de causalidad , lo que nos lleva tomar la
decisin de considerar estados estrictamente localizados siempre y cuando
abandonemos la nocin de causalidad, o permitirnos asumir que el operador
de energa no es acotado ni superior ni inferiormente. Se puede interpretar
que se necesita infinita energa para localizar al estado del la partcula en una
regin finita
Sin embargo hay que diferenciar dos tipos de no localidad, la no localidad del
primer tipo que surge al interpretar al vector de estado como una onda fsica
real, y la no localidad de segundo tipo que est asociada con la
obligatoriedad de la correlacin entre dos mediciones espacialmente
separadas.
4.4.2. PROPAGACIN SUPER-LUMNICA
Uno de los postulados de la relatividad especial de Einstein establece que la
mayor velocidad a la que se pueden propagar en ste caso las partculas es
la velocidad de la luz c. Por lo que cualquier solucin de la ecuacin de Dirac
tenga energa positiva o no; no puede propagarse ms rpido que la
velocidad de la luz . Por otro lado en la representacin de Foldy-Wouthuysen
se espera que las partculas (sus funciones de onda) alcancen velocidades
super-lumnicas en el espacio de Hilbert U
FW
H, de aqu que si tomamos el
operador de Newton-Wigner (el cual es exactamente la multiplicacin por x
en la representacin de Foldy-Wouthuysen) como un observable de posicin
entonces tenemos que lidiar con una propagacin acausal de las partculas
inicialmente localizadas; ste problema surge con todos los operadores de
posicin que conmutan con el signo de la energa, lo cual queda expresado
en el siguiente teorema
Teorema 4.4 Sea H un espacio de Hilbert. Para todo Boreliano B .
3
sea
FB un operador acotado y autoadjunto en H tal que para todo H con
]] = 1, , FB es una medida de probabilidad con las siguientes
propiedades
1. , FB = 1 y , FB = 0 implica que , = 0
2. Existe un operador autoadjunto p (el generador de las traslaciones
espaciales) tal que para todo a
3
54
expipa, FB + a expipa = , FB (4.35)
Adems, definimos H = zp, donde z es una funcin positiva y distinta de la
funcin constante. Sea H con ]] = 1, entonces para todo conjunto no
vaco B .
3
y para todo c > 0 existe un tiempo t 0, c tal que
expiHt, FB expiHt = FB
1
2
expiHt
2
= 0 (4.36)
4.4.3.LA DESIGUALDAD DE BELL
Los valores propios de la helicidad

son S
z
1
por lo que se interpreta, como ya
dijimos, a las soluciones de la ecuacin de Dirac como soluciones con spin
1
2
, que es una consecuencia de la estructura de la ecuacin y no una
imposicin a priori como en la teora cuntica no relativista. En el caso (lmite)
de una partcula en reposo en que las cuatro funciones propias son tambin
funciones propias de

z
.
Evidentemente la proyeccin del spin sobre un eje dado no nos servir para
caracterizar un estado cualquiera. Se puede demostrar que si se conserva la
proyeccin del spin en la direccin del movimiento, es decir la helicidad,
puesto que como vimos, solo se conserva el momento angular ,
evidentemente se puede escribir.
1
2
X

.
p

|p

|
=
1
2
X

+ r

/ p

.
p

|p

|
= .
p

|p

|
= . n

(4.37)
Los estados de una partcula con valores de helicidad determinados se llaman
estados de helicidad. Fsicamente, la helicidad se interpreta como la
proyeccin del spin sobre la direccin del movimiento. Dado que X

. n

2
= 1,
los valores propios de X

. n

son 1, y adems al conmutar con el Hamiltoniano

nos permite buscar soluciones comunes. Para el caso sencillo de ondas
planas podemos considerar la ecuacin de valores propios

1
2
X

. n

p
= p
p
(4.38)
y tratemos a las componentes de energa positiva y negativa por separado:

p
+
=
u
1
u
2
0
0
,
p

=
0
0
v
1
v
2
(4.39)
Reemplazando (4.39) en (4.38) obtenemos
55
1
2
o

. n

u
1
u
2
= p
u
1
u
2
(4.40)
1
2
o

. n

v
1
v
2
= p
v
1
v
2
(4.41)
Es conveniente expresar el vector unitario n

en trmino de variables angulares

0, , 0 < < 2m; 0 < 0 < m,
n

= cos . sin0, sin. sin0, cos 0 (4.42)

la ecuacin (4.40) se convierte en
1
2
cos 0 expi sin0
expi sin0 cos 0
u
1
u
2
= p
u
1
u
2
(4.43)
de aqu se sigue que los valores propios p son
1
2
los vectores propios
asociados son
up =
1
2
=
expi

2
cos
0
2
expi

2
sin
0
2
up =
1
2
=
expi

2
sin
0
2
expi

2
cos
0
2
(4.44)
(4.45)
del mismo modo para v
1
, y v
2
, obtenindose un resultado similar
vp =
1
2
=
expi

2
cos
0
2
expi

2
sin
0
2
vp =
1
2
=
expi

2
sin
0
2
expi

2
cos
0
2
(4.46)
(4.47)
Todos los estados unitarios de spin los podemos representar como
_

+
=
1
0
0
0
, _

+
=
0
1
0
0
, _

=
0
0
1
0
, _

+
=
0
0
0
1
(4.48)
podemos expresar cada uno de los espinores (4.46) como una combinacin
56
lineal de los vectores propios. La funcin total ser

p
= u
1
1
0
0
0
+ u
2
0
1
0
0
+ v
1
0
0
1
0
+ v
2
0
0
0
1
(4.49)
sin embargo para nuestro caso consideraremos la las componentes de las
partculas

p
+
= u
1
1
0
+ u
2
0
1
(4.50)
expandiendo _

=
0
1
y _

=
1
0
como una combinacin lineal de
up =
1
2
, y up =
1
2
se tiene
0
1
= sin
0
2
expi

2
cos
0
2
expi

2
sin
0
2
+ cos
0
2
expi

2
sin
0
2
expi

2
cos
0
2
1
0
= cos
0
2
expi

2
cos
0
2
expi

2
sin
0
2
sin
0
2
expi

2
sin
0
2
expi

2
cos
0
2
(4.51)
(4.52)
suponiendo que la primera medicin resulta en +
h
2
, la segunda medicin
necesariamente tiene que ser negativa. La probabilidad de que la segunda
medicin nos de un valor positivo ser P
++
= sin
2

2
, del mismo modo se
definen las probabilidades P
+
, P
+
, P

para los resultados posibles de los

dos experimentos. Similares consideraciones nos llevan a
P
++
= sin
2

2
P
+
= cos
2

2

P
+
= cos
2

2
P

= sin
2

2

(4.53)
(4.54)
aqu introducimos el coeficiente de correlacin C,definido como el
promedio del producto S
z
1
S

2
, promediado sobre un gran nmero de medidas
de pares de partculas . Entonces
C =

2
8
P
++
P
+
P
+
+ P

2
4
cos (4.55)
Si estudiamos una teora de variables ocultas la cual asume todos los valores
posibles de las componentes del spin (solamente una puede ser determinada
57
a cierto tiempo) fijas, pero con valores desconocidos. Esto significa que un
vector de spin "real " debera existir, en el mismo sentido de un vector de
momento angular clsico debe existir, fue J.S.Bell quien dio una demostracin
de la imposibilidad de las teoras de variables ocultas, demostracin que
reproducimos a continuacin:
Primero necesitamos establecer los requerimientos mnimos que una teora
de variables ocultas local y determinista debe cumplir en el caso del
experimento hipottico de Bohm. Despus de que las dos partculas se han
separado, el sistema debera tener la propiedad de determinar por adelantado
el resultado de la medicin de cualquier componente del spin de cualquier
partcula, esto estara garantizado con la existencia de un vector de spin
"real", en el caso ms general una variable oculta no necesariamente debe
corresponder a un parmetro de un modelo fsico en especial.
El resultado de la medicin de la componente z del spin S de la primera
partcula se designa como S
z
1
z donde los nicos valores permitidos para
S
z
1
son
1
2
y z representa la variable oculta (evidentemente z puede ser
sustituida por mltiples variables ocultas, y la demostracin pude ser
extendida a tales variables). Una teora de ste tipo se denomina
determinista, puesto que los valores de S
z
1
y S

2
quedan determinados por el
valor z. La teora es local puesto que el resultado del experimento no
depende de un experimento que determine el valor de spin de la otra
partcula.
Todo par de partculas tiene un valor definido de z, nosotros definimos la
densidad de probabilidad pz, que da la probabilidad de que un par tenga
un valor de z que se encuentra entre z y z + dz de modo que la condicin de
normalizacin debe ser
] pzdz = 1 (4.56)
Ahora consideremos un experimento que determina las componentes del spin
S
z
1
y S

2
de un gran nmero de pares . El valor medio C"de los productos
S
z
1
S

2
viene dado por
C" = ] S
z
1
zS

2
zpzdz (4.57)
Consideremos un segundo experimento de medida, as como el anterior
mediremos la componente z del spin de la partcula, pero ahora el aparato de
medicin esta ubicado a un ngulo 0 del eje z . Con esta suposicin
obtenemos un resultado anlogo a (4.57) para el coeficiente de correlacin
58
C" C"0 = ]S
z
1
zS

2
z S
z
1
zS
0
2
zpzdz (4.58)
Sabemos que los spines de las partculas tendrn iguales magnitudes pero
direcciones opuestas, es decir
S
0
1
z = S
0
2
z S

1
z = S

2
z (4.59)
Insertando (4.59) en (4.58) obtenemos
C" C"0 = ] S
z
1
zS

1
z S
0
1
zpzdz
= ] S
z
1
zS

1
z1
4

2
S

1
zS
0
1
zpzdz (4.60)
donde hemos usado S

1
z
2
=
1
4

2
La magnitud de (4.60) se puede estimar
como
|C" C"0| _ ] S
z
1
zS

1
z1
4

2
S

1
zS
0
1
zpz dz (4.61)
Dado que pz siempre toma valores positivos y los spines siempre toman los
valores
1
2
(As S
z
1
zS

1
z =
1
2
) de modo que se obtiene
|C" C"0| _ ]

2
4
S

1
zS
0
1
zpzdz
=

2
4
+ ] S

1
zS
0
1
zpzdz (4.62)
Nos vamos a restringir a los casos en los que el eje z y las direcciones dadas
por y 0 estn en el mismo plano. Los valores medios definidos en (4.58)
solamente dependen de la orientacin relativa de las mediciones individuales
no de la direccin absoluta del eje z . Por lo tanto podemos reemplazar en
(4.62), as llegamos al resultado
|C" C"0| C"0 _

2
4
(4.63)
La desigualdad (4.63) se conoce como la Desigualdad de Bell. Esta es una
consecuencia directa de toda teora determinista y local de variables ocultas
38
4.5. INTERPRETACIN Y CONCLUSIONES
Desde el ao en que la mecnica cuntica moderna surgi (1925-1927), el
formalismo matemtico de sta, que reemplazo a la teora cuntica antigua
desarrollada por Planck, Einstein, y Bohr, jams haba sido retado
tericamente ni experimentalmente hasta 1930. Sin embargo la controversia
59
acerca de la interpretacin de la teora, y el significado de la Matemtica con
respecto a la realidad subyacente en tales herramientas ha sido debatido por
varias dcadas, sin que se llegue a clarificar hasta la actualidad.
Claro est, que como hemos definido en las secciones anteriores, nuestro
estudi se enfocar en la teora cuntica relativista, que como puede
discernirse con la ayuda de la seccin 4.4, hereda los mismos problemas
filosficos y de interpretacin de la mecnica cuntica no relativista, especial
inters hemos puesto en las teoras de variables ocultas. Sin embargo para el
efecto de interpretar los resultados obtenidos en el anlisis de ste trabajo es
necesario puntualizar ciertas definiciones.
Consideraremos a la mecnica cuntica susceptible de ser dividida en
formalismo y su interpretacin, asumiremos para el propsito de ste trabajo
que el formalismo de la mecnica cuntica es correcto (analizaremos ciertas
excepciones) y est muy bien soportado por la evidencia experimental, por lo
tanto nos enfocaremos en la interpretacin de la teora y en particular de la
interpretacin de Copenhagen.
Vamos a identificar los elementos que para nuestro propsito sern los que
conformen la interpretacin de Copenhagen:
a El principio de incertidumbre de Heisenberg, que incluye la dualidad
onda-partcula, el rol de las variables cannicas conjugadas, y la imposibilidad
de medir simultneamente pares de tales variables con precisin arbitraria.
b La interpretacin estadstica de Born, que incluye el significado del vector
de estado, dado por la ley de probabilidad P = ++
-
, y la predictividad del
formalismo solo por el comportamiento promedio de un grupo de eventos
similares.
c El principio de complementariedad de Bohr, que incluye la totalidad del
sistema microscpico y el aparato de medida macroscpico, la naturaleza
complementaria de la onda y la partcula , y el carcter del principio de
incertidumbre como una propiedad intrnseca de la naturaleza en lugar de una
peculiaridad del proceso de medicin.
d Identificacin del vector de estado con "conocimiento del sistema" por
Heisenberg: esto es; la identificacin misma, como el uso de ste concepto
para explicar el colapso del vector de estado, par eliminar problemas simples
de no-localidad
e El positivismo de Heisenberg, esto incluye, dejar de debatir acerca del
60
significado o realidad, y enfocarnos en la discusin interpretativa
exclusivamente en los observables
39
Una de las ms serias objeciones de Schrdinger a la interpretacin
semi-clsica del vector de estado (VE), es que ste vector es una cantidad
compleja; puesto que usualmente en fsica la valores complejos sirven para
indicar que tal solucin no tienen significado fsico, la interpretacin
estadstica de Born es la que resuelve el problema, puesto que el VE no es
una cantidad fsica real y por tanto un observable, de ah que su carcter
complejo es irrelevante, ya que todos los observables fsicos dependen de los
cuadrados del valor absoluto de las componentes del vector de estado, que
siempre son reales. Claro, surge siempre la pregunta, porqu la probabilidad
depende del cuadrado del valor absoluto de las componentes del vector de
estado y no del valor absoluto o la parte real, o alguna cantidad similar? algo
de luz podemos obtener al analizar el operador inversin temporal de Wigner
que no es ms que la conjugacin compleja, as el carcater complejo del VE
es una manifestacin de su estructura temporal.
La parte real del vector de estado es inverso temporal derecha, y la parte
imaginaria es inverso temporal izquierda, adems el inverso de la fase
compleja del vector de estado invierte su sentido de tiempo y los signos de
sus observables de energa y frecuencia, as la ley de probabilidad de Born
nos dice implcitamente que la probabilidad de una observacin particular se
obtiene tomando el producto de la componente del VE con su inversa en el
tiempo. Pero la interpretacin de Copenhagen no nos dice, porqu; es decir,
porqu la probabilidad debe estar compuesta por conocimiento y
conocimiento invertido temporalmente (falta de conocimiento)?
Cave notar que una interpretacin que d significado fsico al VE del
formalismo, provee una solucin al problema de la incompletitud de la teora
propuesta en la paradoja EPR.
Los problemas interpretativos escenciales, para nuestro trabajo, van ms all
de la determinacin o identificacin fsica de ciertas herramientas y objetos
matemticos, es ms bien tratar de relacionar el experimento con la teora,
incluso modificar el formalismo matemtico si es necesario, para acomodar la
realidad fsica a los clculos. Es en ste contexto en que los resultados
(3.22,3.23,3.24,3.25) muestran que el valor medio del spin calculado con la
ayuda de la funcin de onda de Jhonson - Lippman, toma valores tanto
positivos como negativos en funcin de la frecuencia (en el caso de S
x
y S
y
) y
se pude observar claramente que los mximos relativos de las grficas se van
atenuando con el aumento de n (aumento de la frecuencia relativista),
evidentemente si consideramos lo valores de la energa negativos se
61
producir el mismo comportamiento (n ).
Lo que estamos observando es una clara manifestacin de lo que
denominamos Zitterbewegung, aunque en ste caso es en funcin de la
energa, que segn la ecuacin (4.13) el spin tambin se ve afectado por ste
fenmeno. Sin embargo hay que recordar que el Zitterbewegung son
fluctuaciones al rededor de un valor medio tomando como variable
independiente el tiempo, es decir, necesitamos considerar la evolucin
temporal del operador para comprobar efectivamente estos "temblores"; hay
que notar que los parmetros de Stokes fueron calculados para el sistema
propio del electrn y considerando la funcin de onda como dependiente del
tiempo, adems tomamos a priori el valor k = 1 en la funcin de onda (2.85);
lo que muestra que a pesar de que escogimos la funcin de onda para un
electrn los valores de los parmetros de Stokes fluctan al rededor de
cero.(nicamente en el caso de S
x
y S
y
).
Lo que nos interesa analizar es el comportamiento asinttico de la
polarizacin, puesto que el spin presenta Zitterbewegung y adems flucta al
rededor de polarizacin cero, y dado que estos dos tipos de fluctuaciones
desaparecen cuando la energa tiende al infinito es claro que existe algn
vinculo matemtico y talvez, fsico que relaciona los dos fenmenos, el primer
fenmeno para el operador de spin, y el segundo para el valor medio de ste
en un sistema en reposo.
Ms an, como se mencion en la seccin 4.4.2 , ligado con el
Zitterbewegung aparece la propagacin super-lumnica; para esto tomemos
un caso especial. Sea FB la medida espectral de algun operador de posicin
en H = H
pos
. Como hemos dicutido en la seccin 4.4.1 existen estados
H, ]] = 1, que satisfacen , FB = ]FB]
2
= 1, puesto que FB
es una proyeccin. Se dice que estos estados estn localizados en B . Ahora
tomemos un estado localizado en B
o
.
3
. sea B otro subconjunto
localizado lejos de B
o
. si d es la distancia entre B y B
o
entonces esperaramos
que est localizado fuera de B como mnimo al tiempo
d
c
(el tiempo en que
una seal de luz tarad en llegar de B a B
o
). pero la probabilidad de encontrar
al sistema en B al tiempo t viene dado 4.36 , si H es el Hamiltoniano del
sistema. Puesto que sta probabilidad es distinta de cero para algun t
arbitrario lo suficientemente pequeo, tenemos que admitir que la probabilidad
de que el sistema est fuera de B
o
es para un tiempo arbitrariamente corto
distinta de cero , es decir, mcomo en el teorema 4.4 aparece la propagacin
super-lumnica. Lo que nos lleva a concluir que las nociones de localizacin
definidas en 4.4.1 estn en contradiccin con los principios de la teora de la
relatividad
62
Hegerfeldt G. C. demostr
40
que incluso si un estado esta localizado
aproximadamente al tiempo t = 0 en una regin finita del espacio, con
probabilidad que decae exponencial y acotadamente fuera de la regin, ste
estado violar la causalidad en el futuro. es decir si queremos mantener la
nocin de localizacin debemos renunciar a una interpretacin causal.
Debemos puntualizar que el Zitterbewegung es el responsable de no poder
definir un operador de posicin en sentido anlogo a la teora cuntica no
relativista, y aunque restringimos el dominio de los operadores solo al espacio
de las energas positivas o negativas, el problema de localizacin, si bien por
parte del Zitterbewegung (al considerar el operador de Newton - Wigner) fue
eliminado, persiste en las definiciones de la teora como tal, puesto que el
teorema 4.4 no incluye de manera a priori el operador de Newton Wigner,
sino ms bien se establece como un problema en la postulacin de las
nociones de localizacin.
Por un lado, mantengamos las nociones de localizacin as tendremos que
renunciar a la propagacin con velocidades menores a la de la luz, lo que nos
llevar a tener una violacin de la desigualdad de Bell (4.63) que como
podemos observar en la seccin 4.4.3 fue deducida a partir de la aceptacin
de la existencia de variables ocultas y la localidad de la teora. sin embargo es
necesario aclarar que la teora cuntica relativista tambin debe llevar a sta
desigualdad, puesto que estamos considerando partculas aisladas de las
antipartculas, es decir considerando la mitad del espinor. Ahora, los
parmetros de Stokes fueron calculados considerando el espinor completo, lo
que significa que la polarizacin en ste caso flucta entre estados para
partculas y para antipartculas.
Lo que habra que considerar es un par partcula-antipartcula y as efectuar
los clculos ya hechos en la seccin 4.4.3 lo que nos llevar a encontrar que
la polarizacin intrnseca de ste par puede ser interpretada como una
variable oculta en el experimento EPR como sugerira De Hass Paul (2004)
41
Por el otro lado, mantengamos la ausencia de propagacin super-lumnica lo
que nos lleva a cuestionar las nociones de localizacin definidas en 4.4.1
llevandonos a contradecir la definicin estadstica de Born uno de los pilares
de la interpretacin de Copenhagen, puesto que por los problemas en las
nociones de localizacin la posicin ya no es un observable mecano-cuntico
en el sentido usual. Ya que las nociones establecidas en 4.4.1 provienen al
considerar la definicin estadstica de Born para un espacio de Hilbert
completo es evidente que la teora desarrollada usando la teora de Lebesgue
es incompleta, y al parecer la paradoja EPR se mantiene vigente en algn
63
sentido hasta no dar una interpretacin fsica al VE.
A lo largo de la Historia han existido varias interpretaciones que ayudan a
aclarar los conceptos en mecnica cuntica, sin embargo, y por el momento
en la historia en el que nos encontramos, tomamos como interpretacin la
propuesta por Wheeler y Feynman. Aunque el objetivo de ste trabajo no es
desarrollar completamente sta interpretacin, esbozaremos sus
fundamentos para la teora cuntica relativista.
El elemento bsico de la interpretacin transaccional, es la emisin-absorcin
de una transaccin, a travs del intercambio de ondas avanzadas y
retardadas, como fue descrita en principio por Wheeler y Feynman. Las ondas
avanzadas son soluciones de la ecuacin de onda electromagntica y otras
ecuaciones de onda similares que contienen solo la segunda derivada en el
tiempo. Las ondas avanzadas tienen valores propios caractersticos de
energa y frecuencia negativas y se propagan en la direccin negativa del
tiempo las soluciones avanzadas de la ecuacin de onda electromagntica
usualmente no se toman en cuenta puesto que no tienen su contraparte en el
mundo fsico.
Wheeler y Feynman. postularon que era posible que un electrn interaccione
con las ondas avanzadas enviadas por otros electrones, los cuales
absorberan en el futuro la radiacin retardada. As, este modelo puede ser
utilizado para la emisin y absorcin, ya no de ondas, sino de partculas
masivas como los electrones. El nico requerimiento para ste modelo es que
las ecuaciones de onda que describen las partculas de inters , tengan
soluciones retardadas y adelantadas. En el caso de la ecuacin de
Schrdinger (recordando que sta ecuacin no es correcta, puesto que no es
invariante relativisticamente) solo posee soluciones retardadas, sin embargo,
se suele tomar una combinacin lineal de la solucin retardada y su
conjugada.
En el caso de la ecuacin de Dirac podemos ver que de acuerdo a la seccin
1.4 (La transformacin del Foldy-Wouthuysen) sta ecuacin corresponde a
dos ecuaciones de Klein Gordon elevadas a la potencia
1
2
, que al tener
segunda derivada temporal poseen soluciones retardadas y avanzadas; y la
ecuacin de Schrdinger pude ser interpretada como el caso limite de una
ecuacin de onda relativisticamente invariante cuando la velocidad de la luz
tiende al infinito.
Es interesante recalcar el hecho de que la ecuacin de Dirac corresponde a
dos ecuaciones de Klein-Gordon elevadas a la potencia
1
2
, dado que la
ecuacin de Klein-Gordon sirve para estudiar partculas de spin cero, aunque
64
en general la ecuacin de Dirac en ste contexto se usa para el estudio de
partculas de spin
1
2
. Asumimos en ste caso que la propiedad supersimtrica
del Hamiltoniano de Dirac permite no solo establecer una transformacin que
lleva de fermiones en bosones (transformacin de Foldy-Wouthuysen ) sino
una transformacin que nos permite establecer matemticamente una
interpretacin clara que maneja tanto partculas como antipartculas.
El aporte principal que hacemos es mostrar como la supersimetra, aunque en
un sentido elemental, no solo tiene que ver con las transformaciones entre
bosones y fermiones, sino tambin con transformaciones entre partculas y
antipartculas, aunque fsicamente no est claro como se da el intercambio
entre estados de energa positiva y estados de energa negativa,
matemticamente el comportamiento no es ajeno, incluso cuando
restringimos el espacio de energas solo al de positivas o al de negativas. De
aqu que si queremos eliminar estos problemas debemos enfocarnos en las
nociones de localizacin, que como sabemos dan origen a la teora de la
medida de Lebesgue, puesto que el completado del espacio de funciones con
derivada continua es el espacio de las funciones de Lebesgue cuadrado
integrables. Quedan planteadas las preguntas se puede generalizar an ms
la teora de Lebesgue? o ms bien la interpretacin transaccional deja de
lado algunos aspectos importantes sin incluir?
Existe tambin otra implicacin de la teora cuntica, que es la imposicin de
una nueva relacin de incertidumbre como en a puesto que la imposicin de
la velocidad de la luz como lmite nos lleva a Ap =
h
cAt
, algo parecido sucede
con la posicin, lo que nos lleva a invalidar b, pero cuando en la
electrodinmica cuntica las magnitudes de campo no se representan por
funciones puntuales, sino por funciones en una zona del espacio tiempo,
desaparece la discrepancia entre los lmites impuestos por el principio de
incertidumbre relativista y la posibilidad fsica de la medicin. El VE no puede
ser identificado simplemente como el que lleva la probabilidad en el dominio
relativista. La interpretacin b debe ser generalizada para el caso relativista.
Estos elementos nfimos de la interpretacin transaccional nos ayudan a ver
que si las antipartculas se interpretan como partculas viajando en el eje
negativo del tiempo, las soluciones avanzadas de las ecuaciones podran ser
identificadas con tales antipartculas y as bajo el marco de esta interpretacin
interactuar partculas con antipartculas tanto en el pasado como en el futuro y
considerar a la polarizacin de un par partcula-antipartcula como una
variable oculta en la teora de Bell, claro est, aceptando la propagacin
super-lumnica.
65
Quedara por analizar el comportamiento de dos partculas polarizadas (una
partcula y una antipartcula ) en el marco de la paradoja de Bell,
evidentemente sera imposible efectuar un experimento del tipo Aspect para
verificar tal teora, en lo que si nos ayudara sera en analizar el
comportamiento del tiempo y como interaccionan sucesos en el pasado con
sucesos en el presente. Finalmente quedara por estudiar el comportamiento
de una partcula relativista en presencia de un campo gravitatorio ultra- fuerte,
en el sentido de el anlisis del tiempo como magnitud fsica, dado que en el
Universo si se pueden encontrar tales campos gravitatorios.
Todava queda sin aclarar la forma en que la supersimetra modifica el VE, y
ms an, si con la interpretacin que estamos dando podemos efectuar un
anlisis ya no de una sola partcula sino de un conjunto de partculas, y
tambin efectuar un tratamiento estadstico para poder determinar en que
instante la mecnica cuntica pasa a ser estocstica para luego convertirse
en mecnica clsica. En futuros trabajos sera indispensable efectuar tales
aproximaciones y consideraciones.
66
REFERENCIAS
1 Walter Greiner, Relativistic Quantum Mechanics, wave equations. Third
edition. Pag 11-12
2 Para demostraciones ms detalladas ver por ejemplo:Walter Greiner,
Relativistic Quantum Mechanics, wave equations. Third edition
3 Ibid.
4 James D. Bjorken. Sidney D Drell, Relativistic Quantum Mechanics, 1964.
Pag 6-9
5 Walter Greiner, Relativistic Quantum Mechanics, wave equations. Third
edition. Pag 100-103
6 Edward Prugovecky, Quantum Mechanics in Hilbert Space (1981), Pag
335
7 Ibid. Pag 241-242
8 Josef Jouch, Foundations of Quantum Mechanics, 1968 Pag 37
9 Walter Rudin, Functional Analysis (1973) Pag.35
10Bernd Thaller, The Dirac equation (1992) Pag.8
11 Ibid.Pag 8-9
67
12 Ibid Pag.9-10
13 Ibid. Pag 39-41
14 Ibid. Pag 9
15 Josef Jouch, Foundations of Quantum Mechanics, 1968 Pag 41
16 Walter Rudin, Functional Analysis (1973) Pag.198-199
17 The Dirac Equation, THALLER Bernd, Springer - Verlag 1992, Pag 142
18 G.H. Dumitrescu, Romanian Reports in Physics, Vol 56, N 2, Pag
170-177, 2004
19 Exact Solution of relativistic wave equations, BAGROV V.G, GITMAN
D.M, Kluwer academic publishers, 1990
20 Pavlov G.G and Sibanov I.A., Astron. Zh. 55,373,1978
21 Ventura J. Astrophysical Journal, 233,L125, 1979
22 McMaster William, American Journal of Physics, 22, 6, 1954
23 Angel J.R.P, Mechanisms that produces linear and circular polarization,
In: Planets, stars and nebulae studied with photopolarimetry, Edited by
T.Gehrels, Univ. of Arizona Press, Tucson, 1974
24 Hosegave H; Hovard R., Journal of Phys. Chem. sol; 1961, 21,179
25 Pavlov G.G. y Yakovlev D. G, Astrofsica, 1977,13,173
26 Pavlov G. G. y Shabanov A. Astronomical Journal , 1978, 55, 373
27 Kemp J.C., Astrophysical Journal, 1970, 162, 169
28 Shipman H.L, Astrophysical Journal, 1971, 167, 165
29 Pringle J.E. and Rces M.J , Astron. astrophysics, 1972, 21, 1
30 Lightman A.P; Rees M. J, Shapiro S.L., Summer school on physics and
astrophysics of Newton stars an Black Holes, Varemna, Italy, 1975
68
Tsuruta S, Some observational tests for possible Models Her X -1, 1974
31 Pavlov G. G. et al Astronomicheskii Zhurnal; 1978, 55, 79
32 Shulov O.S; Astrofsica, 1975, 163
33 Mitofanov I. G., Letter to Astronomicheskii Zhurnal; 1977, 3, 391
34 Pavlov G. G. et al Astronomicheskii Zhurnal; 1975, 52, 956
35 THALLER Bernd,The Dirac Equation, Springer - Verlag 1992.
36 Hegerfeldt Gerhard C; Remark on causality and particle localization;
Physical Review D, Vol 10, N 10, 15 November 1974
37 Perez J. Fernando, Wilde Ivan F; Localization and causality in relativistic
quantum mechanics; Physical Review D, Vol 16, N 2, 15 July 1977
38 Greiner Walter, Quantum Mechanics: An introduction ,Fourth edition
(2000) Pag. 462-468
39 Cramer John; The transactional interpretation of quantum mechanics;
Reviews of Modern Physics, Vol 58, No 3, July 1986
40 Hegerfeldt Gerhard C; Violation of Causality in Relativistic Quantum
Theory?; Physical Review Letters, Vol 54, N 22, 3 June 1985
41 de Hass Paul J. Diracs electron polarization can be interpreted as the
hidden variable in the EPR experiment, April, 26, 2004
69
BIBLIOGRAFA
THALLER Bernd, The Dirac Equation, , Springer - Verlag 1992
Relativistic Quantum Mechanics, Wave equations, GREINER Walter,
Springer-Verlag tercera edicin, 2000
Quantum electrodynamics of strong fields, GREINER Walter, MLLER
Berndt, Johann Rafelski, Springer Verlag, 1985
Quantum Mechanics, an introduction. GREINER Walter, Springer
Verlag,cuarta edicin, 2000
Quantum Mechanics, Vol I, Vol 2. GALINDO Alberto, PASCUAL Pedro,
Springer-Verlag 1991
The principles of quantum mechanics, DIRAC P.A.M, Oxford University Press,
Cuarta edicin, 1958
Atoms and molecules in strong external fields, Edited by, SCHMELCHER P,
SCHWEIZER W, Kluwer academic publishers, 2002
Foundations of quantum mechanics, JAUCH Josef M. Adisson-Wesley 1968
Exact Solution of relativistic wave equations, BAGROV V.G, GITMAN D.M,
Kluwer academic publishers, 1990
Quantum Mechanics in Hilbert space, PRUGOVECKY Eduard, Academic
70
Press Inc. 1971
Measure, Lebesgue Integrals, and Hilbert Space, KOLMOGOROV, A.N.,
FOMIN S.V. Academic Press, 1961
Functional Analysis, RUDIN Walter, McGraw Hill book company, 1973
Real and complex Analysis, RUDIN Walter, McGraw Hill book company, 1970
G.H. Dumitrescu, Romanian Reports in Physics, Vol 56, N 2, Pag 170-177,
2004
Perez, F. Wilde, I., Physical Review D 16, 315 (1977)
Hegerfeldt Gerhard, Physical Review D10, 3320 (1974)
Hegerfeldt Gerhard, Physical Review Letters, Vol 54,N 22 ,2395, (1985)
71