Está en la página 1de 41

ESTUDIO DE LA ECUACI

ON DE DIRAC Y
SU SOLUCI

ON FUNDAMENTAL
UTILIZANDO TEOR

IA DE
DISTRIBUCIONES
Felix Humberto Maldonado Villamizar
2 de agosto de 2006
ESTUDIO DE LA ECUACI

ON DE DIRAC
Y SU SOLUCI

ON FUNDAMENTAL
UTILIZANDO TEOR

IA DE
DISTRIBUCIONES
F

ELIX HUMBERTO MALDONADO


VILLAMIZAR
Director:
ARIEL REY BECERRA. Ph.D.
Trabajo de Grado.
UNIVERSIDAD DE PAMPLONA
FACULTAD DE CIENCIAS B

ASICAS
DEPARTAMENTO DE F

ISICA Y
MATEM

ATICAS
PAMPLONA
2006
1
A mis padres:
Felix y Amanda
2
Agradecimientos a:
Dr. Ariel Rey Becerra.
Dr. Juan Carlos Lopez.
Dr.

Angel Jose Chacon.
Compa neros, entre otros, por su colaboracion y observaciones que ayudaron
mucho en este trabajo.
3
Resumen
Se estudia el comportamiento de la solucion fundamental de la ecuacion de
Dirac para la partcula libre y utilizando los conceptos de la teora de las
distribuciones se calcula la velocidad y aceleracion instantaneas del electron
relativista, se concluye este trabajo con una peque na digresion de los resul-
tados.

Indice de guras
1.1. Funcion en el sentido clasico. . . . . . . . . . . . . . . . . . . . . 5
1.2. Nuevo modelo de las funciones . . . . . . . . . . . . . . . . . 11
3.1. Supp de D
t,
D
,0
. . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2. Disposicion de los tres puntos . . . . . . . . . . . . . . . . . . . 27
3.3. Modelo del electron . . . . . . . . . . . . . . . . . . . . . . . . 30
A.1. Contorno para la funcion de Bessel . . . . . . . . . . . . . . . . . 33
A.2. Contornos para las funciones de Hankel . . . . . . . . . . . . . . 35
1

Indice general
1. Teora de Distribuciones 4
1.1. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Los espacios o y o

. . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Los espacios T y T

. . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. La Transformada de Fourier . . . . . . . . . . . . . . . . . . . 11
2. La Ecuacion de Dirac 13
2.1. El espacio de Hilbert para la ecuacion de Dirac . . . . . . . . 13
2.1.1. Subespacios espectrales de H
0
. . . . . . . . . . . . . . 15
2.1.2. La transformacion de Foldy-Wouthuysen . . . . . . . . 16
2.2. La solucion fundamental . . . . . . . . . . . . . . . . . . . . . 17
3. Resultados Principales 22
3.1. Velocidad instantanea del electron . . . . . . . . . . . . . . . . 22
3.2. Aceleracion instantanea del electron . . . . . . . . . . . . . . . 27
A. Funciones de Bessel 33
2
Introduccion
Indudablemente la teora cuantica representa hoy en da la forma mas
aproximada para describir los mecanismos que utiliza la naturaleza para ex-
presarse, y actualmente una de la teoras que mas sobresale es la llamada
electrodinamica cuantica, siendo Paul Dirac uno de sus mas importantes con-
tribuyentes, inicialmente su nombre se hizo famoso al plantear la ecuacion
que lleva su nombre y que describe el comportamiento del electron en condi-
ciones que los efectos relativistas sean de considerar, esta ecuacion nos lleva
mucho mas alla, no solo haciendo las correcciones antes mencionadas sino
tambien describiendo el movimiento interno del electron y llevando su des-
cripcion a una forma invariante, lo cual es muy importante y que es uno de
los principios fundamentales de la relatividad especial. De esta forma se tra-
ta de unir, por un lado la teora que ampla la mecanica clasica y que es de
naturaleza muy profunda, y por otro lado se incorpora la teora especial de la
relatividad, para poder estudiar el comportamiento de partculas a grandes
velocidades. Esto implica que un estudio en esta area es mucha importancia
en el contexto actual de la ciencia.
3
Captulo 1
Teora de Distribuciones
1.1. Funciones
Las funciones en el sentido clasico de la palabra hace referencia a un
conjunto de pares ordenados, es decir que si tenemos una funcion f cuyo
dominio es un conjunto D, para cada elemento x D se asigna una imagen,
elemento atraves de f en un conjunto R el cual es unico, de esta forma
podemos pensar en una funcion, o mejor lo que le hace una funcion a un
elemento x
0
de D y lo cual se puede escribir como (x
0
, f(x
0
))
Ahora veamos el caso de una funcionque tiene las siguientes propiedades
y que es llamada funcion delta de Dirac en R, las propiedades de esta son:
(x) =
_
0 para x ,= 0,
_

(x)dx = 1.
(1.1)
De manera analoga se puede extender este concepto a un espacio de n di-
mensiones, claramente no hay una funcion en el sentido clasico que cumpla
con estos requisitos, por lo tanto se debe ampliar el concepto de funcion que
se tiene hasta ahora, y en dicha generalizacion deben incluirse las funciones
tal y como las conocemos hasta ahora, de aqu surge el nombre: Funciones
generalizadas.
Una funcion generalizada o distribucion es un funcional lineal.
4
Figura 1.1: Funcion en el sentido clasico.
1.2. Los espacios o y o
/
Antes de entrar a denir estos espacios introduzcamos primero algunos
conceptos. Sea Z
n
+
el conjunto de n-uplas (
1
, ...,
n
), para cada cada
i
que
pertenezca a los naturales, [[ =

n
i=1

i
, x = (x
1
, ..., x
n
) R
n
y sea D

que
denota el operador diferencial

||
x

1
1
,...,x
n
n
y por ultimo
x

= x

1
1
x

2
2
... x
n
n
.
Denicion 1.2.1 El espacio lineal complejo de los operadores acotados de
valores complejo de R
n
se denota como C
b
(R
n
) y esta equipado con la norma:
|f|

= sup
xR
n
[f(x)[. (1.2)
Denicion 1.2.2 El espacio lineal de las funciones acotadas innitamente
diferenciables sobre R
n
se denota por C
infty
b
(R
n
). El espacio o(R
d
) es el sube-
spacio lineal de C

b
(R
n
) formado por el conjunto de funciones f sobre R
n
tal
que x

f(x) esta acotado en R


n
para , Z
n
+
.
o(R
d
) esta equipado con la familia de seminormas:
|f|
,
= sup
xR
n
[x

f(x)[. (1.3)
5
Para , Z
n
+
. Normalmente se dice que los elementos del espacio o son
funciones de rapido decrecimiento en el innito.
Denicion 1.2.3 Se dice que una sucesion (f
n
) en o(R
d
) converge a f en
o(R
d
)si para cada , Z
n
+
, |f
n
f|
,
0 cuando n .
Denicion 1.2.4 Los funcionales lineales continuos sobre o(R
d
) son llama-
dos distribuciones temperadas. El espacio lineal de las distribuciones tempe-
radas se denota por o

(R
d
). Entonces T o

(R
d
) si y solo si T : o(R
d
) C
es lineal y f
n
f en o(R
d
) implica que T(f
n
) T(f) en C.
Podemos denir ya de manera estricta la que en un principio llamamos fun-
ciondelta de Dirac.
Ejemplo 1.2.1 Sea a R
d
jo, sea
a
el mapeo sobre o(R
d
) dado por:
f f(a), evidentemente
a
es una distribucion temperada, ahora s podemos
llamar a esta distribucion funcion delta de Dirac siguiendo la nomenclatura,
pero sin perder de vista lo que verdaderamente signica.
Proposicion 1.2.1 Supongase que T : o C es lineal y que hay , Z
d
+
tal que:
[T(f)[ |f|
,
, (1.4)
para todo f o(R
d
). Entonces T o

(R
d
).
Prueba: Para demostrar que es continuo solo debemos mostrar que es con-
tinuo en el elemento 0. Pero si f 0 en o, se sigue en particular que
|f
n
|
,
0 y tambien que:
[T(f
n
)[ |f
n
|
,
0,
a medida que n .
Teorema 1.2.1 Un funcional lineal T sobre o(R
d
) es una distribucion tem-
perada si y solo si hay un C > 0 y algunos k, m Z
+
tales que:
[T(f)[C|f|
k,m
, (1.5)
para todo f o(R
d
).
6
Prueba: Si dicha cota existe, es claro que T o

(R
d
). Al contrario, supong-
amos que T o

(R
d
) pero que no hay dicha cota. Entonces para cualquier
n N, es falsa la armacion:
[T(f)[ n|f|
n,m
para todo f o(R
d
). En otras palabras, existe una sucesion (g
n
) en o tal
que:
[T(g
n
)[ > n|g
n
|
n,m
tomemos dicha sucesion como f
n
= g
n
/n|g
n
|
n,m
de forma que T(f
n
) > 1por
tanto:
|f
n
|
k,m
=
|g
n
|
k,m
n|g
n
|
k,m

1
n
,
siempre que n max(k, m). Se sigue que f
n
0 en o(R
d
). Pero nos lleva
a una contradiccion ya que T(f
n
) 0 lo que es falso y concluye nuestra
demostracion.
Proposicion 1.2.2 Sea g L
2
(R
d
). Entonces el mapeo lineal:
T
g
: f
_
g(x)f(x)dx, (1.6)
sobre o(R
d
) dene una distribucion temperada.
Prueba: Para f o(R
d
) tomemos [T
g
(f)[ = [
_
g(x)f(x)dx[ |g|
L
2|f|
L
2,
pero:
|f|
2
L
2 =
_
[f(x)[[f(x)[dx
|f|
0,0
_
[f(x)[dx
= |f|
0,0
_
_
d

j=1
(1 + x
2
j
)
_
[f(x)[
1

d
k=1
(1 + x
2
k
)
|f|
0,0
|f|
2d,0
_
1

d
k=1
(1 + x
2
k
)
dx
1
dx
2
...dx
d
=
d
|f|
0,0
|f|
2d,0

d
|f|
2
2d,0
.
7
Esto nos lleva a un estimativo:
[T
g
(f)[ |g|
L
2
d
2
|f|
2d,0
,
lo que muestra que T o(R
d
), como se propuso.
El siguiente resultado indica que funciones acotadas por polinomios determi-
nan distribuciones va integracion.
Teorema 1.2.2 Supongamos que g(x) es medible y que para alg un
m N,

d
j=1
(1 + x
2
j
)
m
g(x) es acotado en R
d
. Entonces el mapeo:
T
g
:
_
g(x)f(x)dx, (1.7)
es una distribucion temperada.
Prueba: Sea p(x) =

d
j=1
(1 + x
2
j
). La hipotesis nos dice que para cualquier
f o(R
d
):
[g(x)f(x)[ = p(x)
m
[g(x)[p(x)
m
[f(x)[
< Mp(x)
m
[f(x)[.
Para alg un M > 0, se sigue que f(x)g(x) es integrable y que T
g
esta bien
denida en o(R
d
).
Para mostrar que T o

(R
d
), hagamos un estimativo:
[T
g
(f)[ < M
_
p(x)
m
[f(x)[dx
= M
_
p(x)
m+1
[f(x)[
1
p(x)
dx
M|f|
2d(m+1),0

d
.
Por tanto T
g
o

(R
d
).
A estas instancias podemos acercarnos una nueva idea de la generalizacion
de funciones, designandolo el nuevo modelo. Pensemos por su accion (valores
funcionales) en un espacio el cual aqu llamamos o(R
d
) y que normalmente
se les llama funciones de prueba.
1
Esta accion esta denida por medio de los
valores (T
g
(f), f).
1
Tambien se le llama espacio de Schwartz
8
Teorema 1.2.3 (Valor Principal de Cauchy) El funcional:
P
_
1
x
_
: f lm
0
_
|x|
1
x
f(x)dx (1.8)
pertenece a o

(R
d
).
Prueba: Mostremos primero que P
_
1
x
_
esta bien denida en o(R). Para
f o(R)
_
|x|
1
x
f(x)dx =
_

f(x) f(x)
x
dx.
Sin embargo,
f(x)f(x)
x
2f

(0) cuando x 0 y por tanto


f(x)f(x)
x
es
integrable en [0, ) y P
_
1
x
_
esta de verdad bien denida.
Este funcional es lineal debido a la linealidad de la integral, solo nos hace
falta vericar su continuidad en o(R). Para esto veamos que cuando x > 0:

f(x) f(x)
x

1
x
_
x
x
f

(t)dt

1
x
_
x
x
[f

(t)[dt
2|f

.
Por tanto

P
_
1
x
_

_
1
0
f(x) f(x)
x
dx +
_

1
f(x) f(x)
x
dx

_
1
0
2|f

dx +
_

1
[f(x)[ +[f(x)[x
dx
x
2
2|f

+ 2|xf(x)|

_

1
dx
x
2
= 2|f|
0,1
+ 2|f|
1,0
.
De donde se sigue el resultado.
Teorema 1.2.4 Sea g

(x) =
x
x
2
+
2
. Entonces T
g
P(
1
x
) en o

(R) cuando
0.
9
Prueba: Sea f o(R) y sea > 0. Entonces:

P(
1
x
)(f) Tg

(f)

P(
1
x
)(f)
_

xf(x)
x
2
+
2
dx

_

0
f(x) f(x)
x
dx
_

0
xf(x) xf(x)
x
2
+
2
dx

_

0

f(x) f(x)
x

dx +
_

2
f(x) f(x)
x

dx.
El primer termino puede hacerse tan arbitrariamente peque no escogiendo
lo sucientemente peque no, el hecho de que

f(x)f(x)
x

se integrable, quiere
decir que la segunda integral se aproxima a cero cuando 0.
Teorema 1.2.5 Para > 0, Sea h

=
1
xx
0
+i
. Entonces:
h

P
_
1
x x
0
_
i
x
0
en o

(R), cuando 0.
Para la demostracion ver [1]
1.3. Los espacios T y T
/
Se considera otro espacio y su adjunto.
Denicion 1.3.1 Sea R
d
un conjunto abierto de R
d
. C

0
() denota el
subconjunto lineal que consiste en aquellas funciones en C

0
(R
d
) las cuales
tienen soporte
2
en .
Supongamos que (
n
) es una sucesion en C

0
() y sea

0
(R
d
). Decimos
que
n
en C

0
() si:
i Hay alg un conjunto compacto K tal que supp
n
K para todo n.
2
El soporte de una funcion f en R
d
, se denota por supp f es la clausura del conjunto
en el cual f no se anula:
supp f = x R
d
: f(x) ,= 0.
C

0
(R
d
) denota el subespacio lineal de C

(R
d
) de aquellas funciones con soporte com-
pacto. Claramente C

0
(R
d
) o(R
d
).
10
ii D

n
D

uniformemente cuando n para cada Z


d
+
.
Note que supp K.
T() es el espacio C

0
() equipado con esta nocion dde convergencia y dec-
imos que
n
en T().
Denicion 1.3.2 Se dice que (
n
) es una sucesion de Cauchy en T() si
hay alg un conjunto compacto K tal que supp
n
K para todo n tal
que |D

(
n

m
)|

0 cuando n, m para todo Z


d
+
.
Denicion 1.3.3 Un funcional lineal u : T() C se dice que es continuo
si u(
n
) u() en T() cuando n . Dicho funcional lineal continuo
es llamado una distribucion, el espacio lineal de las distribuciones se denota
como T

()
C
Funciones singulares.
Funciones regulares.
T

_
g(x)f(x)dx
Figura 1.2: Nuevo modelo de las funciones
1.4. La Transformada de Fourier
Daremos aqu algunas caractersticas y algunos teoremas que son de im-
portancia.
Denicion 1.4.1 La transformada de Fourier de una funcion f o(R
d
) es
la funcion Tf la cual esta dada por:
Tf() =
1
(2)
d
2
_
R
d
e
ix
f(x)dx. (1.9)
11
Donde R
d
y x =

d
j=1

j
x
j
para x R
d
.
Denicion 1.4.2 La transformada inversa de Fourier de f o(R
d
) es la
funcion T
1
f y esta dada por:
T
1
f() =
1
(2)
d
2
_
R
d
e
ix
f(x)dx. (1.10)
Algunas veces es conveniente denotar Tf como

f.
Teorema 1.4.1 Para cualquier f o(R
d
),
T
1
(Tf) = f = T(T
1
f) (1.11)
Para la demostracion del teorema anterior consultar [1] o ver tambien [3]
A continuacion daremos un ejemplo de la aplicacion de la transformada de
Fourier.
Para mayor detalle de algunas de las demostraciones dadas aqu ver [1].
Denicion 1.4.3 La transformada de Fourier TT de la distribucion tem-
perada T o

(R
d
) esta dada po:
TT(f) = T(Tf) para f o(R
d
)
Se puede entender esta denicion como una extension del teorema de Plancherel
en L
2
(R
d
) ver [1]
Denicion 1.4.4 Una distribucion E T

(R
d
) que satisface la ecuacion
P(D)E = , se dice que es una solucion fundamental para el operador difer-
encial P(D).
3
3
P(x
1
, ..., x
d
) es un polinomio de d variables y P(D) resulta de reemplazar D
j
por x
j
.
12
Captulo 2
La Ecuacion de Dirac
2.1. El espacio de Hilbert para la ecuacion de
Dirac
Escribamos la ecuacion de Dirac para la partcula libre:
i

(x, t)t = H
0
(x, t). (2.1)
Donde el operador H
0
se llama operador de Dirac para la partcula libre, el
cual toma la forma:
H
0
= ic + mc
2
=
_
mc
2
1 ic
ic mc
2
1
_
. (2.2)
Donde =
1

1
+... +
3

3
y
i
son las matrices de Pauli,
i
y son las
matrices de Dirac, las cuales se relacionan como:

1
=
_
0 1
1 0
_
,
2
=
_
0 i
i 0
_
,
3
=
_
1 0
0 1
_
,
=
_
1 0
0 1
_
,
i
=
_
0
i

i
0
_
, i = 1, 2, 3.
(2.3)
Si vemos las matrices (2.3) y (2.1), encontramos que H
0
es un operador
matricial de 4 4 el cual act ua sobre una funcion que llamamos (x, t)
donde por lo general es de valores complejos, para que este producto sea
13
valido (x, t) debe ser un vector columna de cuatro componentes, es decir:
(x, t) = (
1
,
2
,
3
,
4
)

.
El operador H
0
pertenece al espacio:
H = L
2
(R
2
) L
2
(R
2
) L
2
(R
2
) L
2
(R
2
). (2.4)
Ya sabemos que la funcion de onda que e solucion de la ecuacion de Dirac
es una funcion de cuatro componentes, las cuales a su vez son funciones
1
de las cuatro variables (x, t) para cada una de estas es posible hallar su
transformada de Fourier, la cual nos da:
(T
k
)(p)
1
(2)
3
2
_
R
3
e
ipx

k
(x)d
3
x, k = 1, 2, 3, 4. (2.5)
Seg un la mecanica cuantica no relativista, la transformado o imagen de
Fourier de el espacio de coordenadas (x, y, z) es un espacio de coordenadas
(p
x
, p
y
, p
z
, ), es decir el espacio de momentos o espacio de momentum, seg un
la notacion que hemos trado hasta aqu, podemos escribir:
TL
2
(R
2
, d
3
x)
4
= L
2
(R
3
, d
3
p)
4
.
Mediante una transformacion de semejanza
2
para el operador de Dirac se
llega a:
(TH
0
T
1
)(p) = h(p)
_
mc
2
1 c p
c p mc
2
1
_
. (2.6)
El producto p es simbolico y quiere decir: p =
1
p
1
+
2
p
1
+
3
p
1
.
Al diagonalizar esta matriz llegamos a que los autovalores de esta son:

1
(p) =
2
(p) =
3
(p) =
4
(p) =
_
c
2
p
2
+ m
2
c
4
(p). (2.7)
Se puede mostrar que la transformacion unitaria que lleva a cabo dicha dia-
gonalizacion es:
u(p) =
(mc
2
+ (p))1 + c p

2(p)(mc
2
+ (p))
= a
+
(p)1 + a

(p)
p
p
, (2.8)
1
A este tipo de funciones tambien se les llama espinores. Ver[1]
2
Para transformaciones de semejanza ver [6]
14
donde a

=
1

2
_
1
mc
2
(p)
, esta ultima transformacion nos lleva h(p) a la
forma diagonal (p), de estas ultimas ecuaciones podemos hallar facilmente
que el operador:
= uT, (2.9)
convierte el operador de Dirac para la partcula libre en una matriz diagonal:
(H
0

1
) = (p), (2.10)
en el espacio de momentum. Si = es integrable, entonces podemos
escribir:
(x) =
1
(2)
3
2
_
R
3
e
ipx
u(p)
1
(p)d
3
p, L
1
(R
3
)
4

L
2
(R
3
)
4
. (2.11)
2.1.1. Subespacios espectrales de H
0
En el espacio de Hilbert donde el operador de Dirac es diagonal, se puede
ver que hay dos componentes de la funcion de ondas que pertenecen a estados
de energas positivas y dos de ellas a energas positivas, por tanto podemos
denir un subespacio, o mejor dos, cada uno de los cuales va a ser generado
por vectores del tipo:


1
1
2
(1 ), L
2
(R
3
, d
3
x). (2.12)
El smbolo +() designa a los componentes que corresponden a energas po-
sitivas (negativas).
Estos vectores generan los espacios H
+
(H

) de energas positivas (negati-


vas). Los subespacios de energas positivas y negativas son ortogonales entre
s y por tanto el espacio de Hilbert para la ecuacion de Dirac se puede escribir
como una suma ortogonal directa de dichos subespacios:
H = H
+
H

(2.13)
Los vectores que pertenecen a cada uno de estos subespacios pueden ser
llevados a esta forma por medio de unos operadores llamados operadores de
proyeccion ortogonal, al igual que se puede descomponer un vector en sus
componentes cartesianas, estos operadores los podemos escribir:
P

=
1
1
2
(1 ) =
1
2
_
1
H
0
[H
0
[
_
. (2.14)
15
Donde [H
0
[ =

c
2
+ m
2
c
4
, es de aclarar que el operador H
0
conmuta
con P
+
. Por tanto si el estado inicial es de energa positiva sera de energa
positiva en todo instante, de esta forma:
(t) e
iH
0
t
= P
+
(t) si y solo si = P
+
(2.15)
2.1.2. La transformacion de Foldy-Wouthuysen
Esta transformacion
3
la podemos escribir como:
U
FW
= T
1
. (2.16)
Esta transformacion lleva el operador de Dirac a la forma diagonal:
U
FW
H
0
U
1
FW
=
_
c
2
+ m
2
c
4
0

c
2
+ m
2
c
4
_
= [H
0
[ (2.17)
Seg un (2.17) el operador de Dirac para la partcula libre es equivalente uni-
tariamente al par de ecuaciones de Klein-Gordon.
3
Ver ([5])
16
2.2. La solucion fundamental
Consideremos separadamente la accion de e
iH
0
t
sobre las energas posi-
tivas y negativas de la funcion de onda, ver[2] para ello empecemos toman-
do una variable temporal compleja que involucre la variable temporal real:
t

= t i con tal que se cumpla lo siguiente:


lm
0
e
iH
0
t

= e
iH
0
t
; H

. (2.18)
Consideremos ahora:
_
e
iH
0
t

_
(x) =
_
T
1
e
it

1
2
_
1
h(p)
(p)
_
T
_
(x)
=
1
(2)
3
2
_
_
1
(2)
3
2
_
e
ip(xy)

((p) + h(p))
e
i(p)t

2(p)
d
3
p
_
(y)d
3
y

_
S

(t

, x y)(y)d
3
y. (2.19)
La parte imaginaria de esta ecuacion se ha escogido de tal manera que la
integral entre corchetes exista siempre que > 0, aqu podemos hacer la
siguiente asignacion:
S

(t

, x y) =
1
(2)
3
2
_
e
ip(xy)
((p) + h(p))
e
i(p)t

2(p)
d
3
p, (2.20)
ya que:

t
e
(p)t

= i(p)e
i(p)t

,
ie
ip(xy)
= ipe
ip(xy)
. (2.21)
Descomponiendo la integral:
S

(t

, x y) =
1
(2)
3
2
__ _
e
ip(xy)
(p)
2(p)
e
i(p)t

+
+ e
ip(xy)
h(p)
2(p)
e
i(p)t

__
d
3
p. (2.22)
17
Recordando que:
h(p) =
_
mc
2
1 c p
c p mc
2
1
_
, (2.23)
se puede escribir (2.23)como:
h(p) = mc
2
+ c p, (2.24)
sustituyendo (2.24) en la integral (2.22) obtenemos que:
S

(t

, x y) =
1
(2)
3
2
__ _
e
ip(xy)
(p)
2(p)
e
i(p)t

+
+ e
ip(xy)
mc
2
+ c p
2(p)
e
i(p)t

__
d
3
p, (2.25)
introduciendo aqu las derivadas (2.21) llegamos a:
S

(t

, x y) =
1
(2)
3
2
_
_ _
i

t
ic + mc
2

_
e
ip(xy)e
i(p)t

2(p)
_
, (2.26)
teniendo en cuenta que la integral conmuta con operadores diferenciales,
(2.26) se puede escribir en la forma:
S

(t

, x y) = i
_
i

t
ic + mc
2

_
i
(2)
3
2
e
ip(xy)e
i(p)t

2(p)
_
, (2.27)
expresion que se puede escribir de manera mas condensada como:
S

(t

, x) = i
_
i

t
ic + mc
2

_
(t

, x), (2.28)
donde

+
(t
+
, x) =

(t

, x) =
i
(2)
3
2
_
e
ipx
e
i(p)t
+
2(p)
d
3
p, (2.29)
18
hay que analizar el integrando a n de simplicar mas la integracion, intro-
duciendo coordenadas polares y haciendo uso de la simetra del problema.
4
(t

, x) =
i
(2)
3
2
_

0
p sen(px)
e
i(p)t
+
(p)
dp. (2.30)
En vista de que (p) =
_
c
2
p
2
+ m
2
c
4
llegamos al siguiente resultado:

+
(t
+
, x) =
im
2
c
4
2
K
1
(mc
_
x
2
c
2
t
2
+
)
mc
_
x
2
c
2
t
2
+
.
(2.31)
Aplicando las siguientes formulas para las funciones de Bessel.
5
K
1
(e
i
2
) (z) =

2
H
(1)
1
(z) < arg z <

2
K
1
(e
i
2
) (z) =

2
H
(2)
1
(z) < arg z <

2
(2.32)
y estas otras para su argumento:
e
i
2
_
_
x
2
c
2
t
2
+
_

c
2
t
2
x
2
cuando 0 si ct < x
e
i
2
_
_
x
2
c
2
t
2
+
_

c
2
t
2
x
2
cuando 0 si ct > x
tomemos nalmente el comportamiento para c[t[ , = x cuando 0.

+
(t, x) =
m
2
c
8
_

_
H
(1)
1
(mc

c
2
t
2
x
2
)
mc

c
2
t
2
x
2
si ct < x
2i

K
1
(mc

c
2
t
2
x
2
)
mc

c
2
t
2
x
2
si c[t[ < x
H
(2)
1
(mc

c
2
t
2
x
2
)
mc

c
2
t
2
x
2
si ct > x
(2.33)
4
Las coordenadas polares para el problema se introducen de la siguiente forma:
p
x
= p cos p
y
= p sen() d
2
p = 2dp
.
5
z el punto en el plano complejo dado por: z = x + iy.
19
Pasemos ahora a observar el comportamiento del n ucleo en el cono de luz, es
decir c[t[ = x.

+
(t
+
, x) +

(t

, x) =
1
2
2
c
2
x
sgn(t)
_

mc
2
sen(p()x) sen([t[)e

d, (2.34)
donde tenemos que p() =
1
c

2
m
2
c
4
, haciendo expansion en serie de
potencias para p() de la siguiente manera:
p() =
1
c
(
2
m
2
c
4
)
1
2
=

c
_
1
m
2
c
4

2
_1
2

=

c
_
1
1
2
m
2
c
4

2
_
=

c

1
2
m
2
c
3

. (2.35)
En vista de que
1
2
m
2
c
3

1 podemos introducir esto en (2.34), mas espec-


camente en su integrando, como seno de una suma:
sen(p()x)

= sen
_
x
c
_

1
2
m
2
c
3

cos
_
x
c
_
. (2.36)
La integracion del primer termino es:
1
2
2
c
2
x
sgn(t)
_

0
sen
_
x
c
_
sen([t[)e

d =
i
4
2
sgn(t)
_
1
c
2
t
2
x
2
c
2

2
+ 2ic
2
[t[

1
c
2
t
2
x
2
c
2

2
2ic
2
[t[
_
,(2.37)
tomando el lmite cuando 0 se llega a:
i
4
2
sgn(t)
_
1
c
2
t
2
x
2
+ i0

1
c
2
t
2
x
2
i0
_
=
sgn(t)
2c
(c
2
t
2
x
2
). (2.38)
Para el segundo termino de (2.34) tenemos lo siguiente:
m
2
c
4
2
sgn(t)
_

0
cos(
x
c
) sen([t[)e

=
mc
2
4
2
sgn(t)
_
1
2
arctan
_
2[t[

2
t
2
+
x
2
c
2
_
+

2
(c
2
t
2
x
2

2
)
_
, (2.39)
20
teniendo en cuenta que:
lm
0
+
arctan
_
2[t[

2
t
2
+
x
2
c
2
_
=
_

2
si c
2
t
2
x
2
= 0
0 si c
2
t
2
x
2
,= 0
, (2.40)
la integral (2.39) se convierte en:
m
2
c
4
2
sgn(t)
_

0
cos(
x
c
) sen([t[)e

=
1
2c
sgn(t)(c
2
t
2
x
2
). (2.41)
Con base en lo anterior podemos decir que la solucion fundamental de la
ecuacion de Dirac para la partcula libre esta dada por:
i
_
i

t
ic + mc
2
_
(x, t) =
sgn(t)
2c
_
(c
2
t
2
x
2
) +
m
2
c
2
4
(c
2
t
2
x
2
)
sgn(t)
J
1
(mc

c
2
t
2
x
2
)
mc

c
2
t
2
x
2
_
(2.42)
Siempre y cuando c[t[ x.
21
Captulo 3
Resultados Principales
3.1. Velocidad instantanea del electron
La solucion fundamental para la ecuacion de Dirac puede escribirse como:
D
t,0
=
_

Im
_

_
(t
2
x
2
)
2

(t x)
4
mJ
1
(m

t
2
x
2
)

t
2
x
2
_
. (3.1)
Donde la hemos escrito en forma mas compacta, denotando en este caso con

las matrices de Dirac y haciendo caso al convenio de suma de Einstein,


respecto a las letras griegas. Cabe aclarar aqu que se han escogido unidades
de forma que la velocidad de la luz c sea igual a la unidad.
Se puede probar que cuando t 0 todos los terminos carecen de importancia
exceptuando el primero que es:

(t
2
x
2
)
2
.
Este termino podemos manipularlo de la siguiente manera: Haciendo una
suposicion adicional, que es tomar t 0
+
con lo cual podemos escribir el
22
primer termino como:

(t
2
x
2
)
2
=
1
2
_

0

t
(t
2
x
2
) +
1

x
1
(t
2
x
2
)+
+
2

x
2
(t
2
x
2
) +
3

x
3
(t
2
x
2
)
_
, (3.2)
tomemos ahogara un elemento o(R
3
) y analicemos el comportamiento
del segundo termino de (3.2).
C =
_
R
3

0

t
(t
2
x
2
)(x)d
3
x, (3.3)
dado que
0
es una constante, ahora teniendo en cuenta la identidad:
(t
2
x
2
) =
1
2|x|
[(t x) + (t + x)], (3.4)
y que el diferencial de volumen en coordenadas esfericas es:n d
3
x = |x|
2
sen dxdd,
nuestra integral (3.3) se convierte en:
C =
0

t
_
R
3
1
2|x|
[(t x) + (t + x)](x)|x|
2
sen dxdd, (3.5)
tomando seg un nuestra anterior suposicion t > 0, pasamos a escribir nuestra
integral como:
C =
0

t
_
2
0
d
_

0
sen d
_

1
2
(t x)(x)|x|dx, (3.6)
resolviendo obtenemos nalmente:
C =
0

t
2(t)t,
= 2
0
((t) + t
,
(t)),
H =
0
((t) + t
,
(t)), (3.7)
en el lmite cuando t 0 se concreta el siguiente resultado:
lm
t0
C = 2
0
(0),
lm
t0
D
t,0
=
0
(0). (3.8)
23
Ya que tenemos el estudio de la solucion fundamental cuando
t 0 pasemos al estudio de la velocidad instantanea del electron del elec-
tron relativista, para ello partamos de la velocidad media de una partcula
cualquiera:
v =
x
t
=
x x
0
t t
0
, (3.9)
es claro que si tomamos el lmite de esta expresion cuando t 0 se convierte
en la velocidad instantanea de la partcula, mas a un, si hacemos que x
0
= 0
y t
0
= 0, la velocidad media toma la forma v =
x
t
, introduciendo esto como
argumento de en (3.7) obtenemos el siguiente resultado:
H =
0
(1), (3.10)
cuando operamos esta funcion notamos que el argumento era la velocidad del
electron relativista, tomando el lmite cuando t 0 la velocidad media se
convierte en la velocidad instantanea, para nuestro caso cuando se estudia la
velocidad llegamos al resultado que la funcion nos arroja como resultado
su imagen en 1, que debe ser la velocidad instantanea del electron relativista,
debido a la forma como se escogieron las unidades, la velocidad del electron
es la velocidad de la luz, ya que estamos en un sistema de unidades en el cual
dicha velocidad es 1.
Aqu este primer resultado nos muestra que el metodo es bueno, ya que para
el electron se obtuvo tambien velocidad instantanea igual a la de la luz.
La solucion fundamental de la ecuacion de Dirac es en forma explcita:
D
t,0
=

0
_
1
2t
[

t
(x + t) +

t
(x t)]
1
t
[(x + t) + (x t)]
_
+
3

i=1

i
1
2t
[

(x t) +

(x + t)]
x
i
x

imI
1
2
_
(t
2
x
2
)
(t x)
2
mJ
1
(m

t
2
x
2
)

t
2
x
2
_

m
4
_
2m(t x)J
2
(m

t
2
x
2
)
(t
2
x
2
)
_

0
t
3

i=1

i
x
i
_
+
+
J
1
(m

t
2
x
2
)

t
2
x
2
(t x)
_

0
t
3

i=1

i
__
, (3.11)
24
busquemos ahora el soporte supp de esta funcion generalizada, asumiendo
que t > 0:
D
t,0
=

0
_
1
2t

t
(x t)
1
t
(x t)
_
+
3

i=1

i
1
2t

(x t)
x
i
x

imI
1
2
_
(t
2
x
2
)
(t x)
2
mJ
1
(m

t
2
x
2
)

t
2
x
2
_

m
4
_
2m(t x)J
2
(m

t
2
x
2
)
(t
2
x
2
)
_

0
t
3

i=1

i
x
i
_
+
+
J
1
(m

t
2
x
2
)

t
2
x
2
(t x)
_

0
t
3

i=1

i
__
. (3.12)
Soporte

r
2
r
1
x
t
x
0
t
r
3
Figura 3.1: Supp de D
t,
D
,0
25
La ecuacion (3.12) se convierte para t ,= 0 en:
D
t,0
=
m(t x)
4
_
iI
mJ
1
(m

t
2
x
2
)

t
2
x
2

2mJ
2
(m

t
2
x
2
)
(t
2
x
2
)
_

0
t
3

i=1

i
x
i
__
, (3.13)
por denicion de (x), llegamos a la conclusion de que (3.13) se anula excepto
cuando x < t, de modo que supp D
t,0
es una esfera de radio t.
1
1
En realidad es una esfera de radio ct, es decir un frente de onda esferico producido
por una fuente de luz puntual.
26
3.2. Aceleracion instantanea del electron
x
t
x

x
0
Figura 3.2: Disposicion de los tres puntos
Para hallar la aceleracion, procedemos igual al caso de la velocidad,
deniendo la aceleracion promedio que tiene la aceleracion promedio que
tiene la partcula entre x
0
y x
t
, par ello escojamos tres puntos en el espacio,
los dos que ya tenemos y un tercero que llamamos x

lo que indica que esa


es la posicion de la partcula en un tiempo con tal que satisfaga 0 < < t,
utilizando la aceleracion aceleracion promedio:
a =
v
t
v
0
t t
0
. (3.14)
Con respecto a lo que contempla (3.14), llamemos v
t
la velocidad promedio
entre x

y x
t
, de forma analoga v
0
seria la velocidad promedio entre x
0
y x

,
entonces podemos escribir lo siguiente: v
t
=
xtx
t
y v
0
=
x x
0

y escribir la
aceleracion en la forma:
a =
xtx
t

x x
0

t
. (3.15)
Notemos que cuando 0,
x

es la velocidad instantanea en x
0
, si por
otra parte hacemos que t obtenemos la velocidad de la partcula en el
punto x

, tomando dichos lmites obtenemos la aceleracion instantanea de la


partcula, dado que tenemos dos puntos, y que ademas estan relacionados, es
decir obedecen al principio de causalidad, por eso debemos utilizar la ecuacion
de Einstein-Smoulochovsky.
2
Esta ecuacion nos da una relacion de este tipo,
para nuestro caso tenemos el producto de dos soluciones fundamentales de la
ecuacion de Dirac, a saber, D
t,
y D
,0
, la primera de ella es la solucion que
2
La ecuacion de Einstein-Smoulochovsky es una distribucion que posee las siguientes
27
se escribio mas haciendo el cambio t t y a la segunda se llega haciendo
t = , haciendo el producto de estas dos distribuciones e introduciendolas en
la ecuacion de Einstein-Smoulochovsky se llega a:
A =
_
R
3
D
t,

0
D
,0
d
3
x

, (3.16)
este producto de dos funciones generalizadas para la ecuacion de Dirac se
anula excepto para le region de la interseccion de las dos esferas con radios
t y , esta interseccion tiene forma de lente esferica con los radios da-
dos anteriormente, dado que es all donde no se anula la integral debemos
hallar un diferencial de volumen que satisfaga dicha simetra. Tomando los
vectores como unitarios r
1
, r
2
y r
3
. Los cuales son respectivamente los radios
de las esferas y un vector tangente a estas, en la lente forman un sistema
dextrogiro, de la siguiente forma podemos hallar el diferencial de volumen, es
decir el volumen del paraleleppedo formado por los elementos diferenciales
end dichas direcciones, si es el angulo entre r
1
y r
2
el elemento de volumen
viene dado por:
[dx
3
r
3
(dx
1
r
1
dx
2
r
2
)[ = sen dx
1
dx
2
dx
3
. (3.17)
As el termino principal cuando t 0 es:

2
(t )
_
R
3

0
sen
(4)
2
(t )
(a)dx
1
dx
2
dx
3
. (3.18)
propiedades:
_

W(x
0
, 0; x
t
, t)dx
t
= 1,
W(x
0
, 0; x
t
, t)
t 0

(x
t
x
0
).
Ademas tambien tiene en cuenta el principio de causalidad fsica, es decir, que se puede
escribir de la siguiente forma:
W(x
0
, 0; x
t
, t) =
_

W(x
0
, 0; x

, )W(x

, ; x
t
, t)dx

,
siempre que:
0 t,
esto nos garantiza que los sucesos sean consecuentes.
28
Pasemos ahora a calcular el radio de la lente que encontramos anteriormente,
para ello tenemos dos vectores basicos que llamamos r
1
y r
2
, para elementos
en el borde de la lente.
r
1
; (t )r
2
.
Formemos ahora el tercer vector que v a estar dirigido desde el punto x
0
hasta el punto x
t
el cual llamaremos A y que es en forma de vector:
A = r
1
(t )r
2
; |A| = x
t
x
0
,
con esta construccion vectorial podemos hallar el radio de la dado por:
r =
|r
1
|
x
t
x
0
r =
(t ) sen
x
t
x
0
, (3.19)
notemos que cuando t 0 sen 0 dado que r
1
y r
2
se hacen paralelos.
Debido a que la integral (3.18) no satisface algunos de los requerimientos de
normalizacion. Por tanto podemos introducir una integral que posea dicha
propiedad y que sea equivalente a (3.18), la cual podemos tomar como:

0
1
2r
_
(a)dx

t 0


0
(0). (3.20)
Donde como se dijo anteriormente la integracion se lleva a cabo a lo largo de
la circunferencia de radio r que es el termino principal:

0
1
2r
_
([a[)dx

t 0


0
(). (3.21)
De esta manera, cuando t 0 la integral (3.21) desaparece (recordemos que
() = 0, ya que o). De los resultados obtenidos en (3.10) y (3.21)
llegamos a la siguiente conclusion: El electron de Dirac se mueve con veloci-
dad instantanea igual exactamente a la velocidad de la luz, ademas en cada
instante de tiempo esta velocidad cambia su direccion con una aceleracion
angular innitamente grande, para dar una interpretacion que no contradiga
estos dos resultados, intuitivamente es mas facil desde un punto de vista semi-
clasico, los resultados anteriores no se contradicen si miramos esto como un
29

z
Figura 3.3: Modelo del electron
movimiento circular uniforme, es decir el electron se puede considerar como
una esfera masiva y cargada de radio muy peque no la cual esta girando con
velocidad de la luz. Este resultado se puede comparar con el fenomeno cono-
cido como Zitterbewegung, movimiento vibratorio del electron relativista.
Podemos ahora, siguiendo este modelo, hallar el momento magnetico de una
esfera uniformemente cargada, el cual es:

m = e
r
2
5
r
z
= ec
r
5
r
z
(3.22)
De medidas experimentales, se tiene que el momento magnetico del elec-
tron m = 9,2847701 10
24
JT
1
.
30
igualando esto a (3.22) y despejando para r, obtenemos:
r 10
13
m. (3.23)
Comparando esto con el radio clasico del electron, que es: r
c
10
15
m vemos
que nuestro modelo es bastante aceptable con la interpretacion semiclasica
que se le dio.
31
Conclusiones
La teora de distribuciones se halla completamente desarrollada, pero su
aplicacion a la mecanica cuantica se halla en la teora de campos.poco
desarrollada, se ve aqu aunque en peque na escala, la importancia de
este aparato matematico y esto no solo se puede intensicar en este
campo, sino en muchas areas de ciencia e ingeniera.
El electron relativista se mueve con velocidad instantanea igual a la de
la luz, este resultado es importante en cuanto se reere a la naturaleza
del electron, este resultado junto con el que se obtuvo para la acel-
eracion pueden llevarnos mas alla de un simple ejercicio matematico,
incluso nos pueden revelar algunos aspectos de la estructura interna del
electron, que hasta ahora se considera como fundamental.
El estudio de esta teora puede, en mi opinion, incluso resolver algunos
resolver problemas que hasta hoy tienen respuesta que no es la mas
adecuada por medio de los operadores.
32
Apendice A
Funciones de Bessel
Las funciones de Bessel aparecen en una gran variedad de problemas
fsicos, como lo indica este trabajo, vemos la importancia de este concepto
en la deduccion de la solucion fundamental.
La representacion integral para la funcion de Bessel de primer orden esta
dada por:
J

=
1
2i
_
C
e
(x/2)(t1/t)
t
1
dt. (A.1)
Donde C es la trayectoria en el el plano complejo como se muestra en la
gura (A.1).
1(t)
(t)

Figura A.1: Contorno para la funcion de Bessel


Asociadas con esta funcion se encuentra las funciones de Bessel de segunda
clase.
33
La funcion de Neumann es una de ellas, la cual se forma por medio de una
combinacion lineal de J

(x) y J

(x) la cual se escribe de la siguiente forma:


N

(x) =
cos J

(x) J

(x)
sen
. (A.2)
Para que no sea entero.
1
Otra combinacion lineal entre J

y N

nos lleva a denir las funciones de


Hankel:
H
(1)

(x) = J

(x) + iN

(x) (A.3)
H
(2)

(x) = J

(x) iN

(x). (A.4)
De la misma forma en que se dene e

= cos sen . Para argumentos


reales H
(

1)(x) y H
(

2)(x) son complejas conjugadas.


De igual manera podemos dar una representacion integral para la s funciones
de Hankel y que tienen la forma:
H
(1)

(x) =
1
i
_
e
i
0
e
(x/2)(t1/t)
dt
t
+1
(A.5)
H
(2)

(x) =
1
i
_
0
e
i
e
(x/2)(t1/t)
dt
t
+1
. (A.6)
Los contornos de integracion se muestran en la gura (A.2).
Cuando el argumento de la funcion de Bessel o sus asociadas cambian
de forma que su argumento sea imaginario puro, se empieza a tratar con las
denominadas funciones de Bessel modicadas. Estas funciones se representan
por medio de los smbolos: I

(x) y K

(x), la relacion con las funciones de


Bessel de primer y segundo genero son:
I

(x) = i

(ix). (A.7)
K

(x) =

2
i
+1
[J

(ix) + iN

(ix)]. (A.8)
Para mayor informacion acerca de las funciones de Bessel ver [7]
1
En AMS-55 y en la mayora de las tablas, se le denota por Y

(x).
34
1(t)
(t)
e
i
e
i
C
1
C
2
Figura A.2: Contornos para las funciones de Hankel
35
Bibliografa
[1] F. Wilde Distribution Theory (Generalized Functions). (Notes Ian F.
Wilde 2005)
[2] B, Thaller.The Dirac Equation(Springer-Verlag, 1992)
[3] G. Fano.Mathematicals Methods of Quantum Mechanics. (Mc Graw Hill
1985)
[4] V. Mijailov. Ecuaciones Diferenciales en Derivadas Parciales. (Mir
1975)
[5] Jhon P. Costella, Bruce Mckellar. The Foldy-Wouthyusen Transforma-
tion. (School of physics, The University of Melbourne, Australy, 1995.)
[6] H.Goldstein. Mecanica Clasica. (Editorial Ariel, Barcelona.)
[7] G. B. Arfken. H. J. Weber. Mathematical Methods for Physicists (Har-
court Academic Press, 2001)
36