ESTUDIO DE LA ECUACIÓN DE DIRAC Y

SU SOLUCIÓN FUNDAMENTAL
UTILIZANDO TEORÍA DE
DISTRIBUCIONES

Félix Humberto Maldonado Villamizar

2 de agosto de 2006
ESTUDIO DE LA ECUACIÓN DE DIRAC
Y SU SOLUCIÓN FUNDAMENTAL
UTILIZANDO TEORÍA DE
DISTRIBUCIONES

FÉLIX HUMBERTO MALDONADO

VILLAMIZAR

Director:
ARIEL REY BECERRA. Ph.D.

Trabajo de Grado.

UNIVERSIDAD DE PAMPLONA
FACULTAD DE CIENCIAS BÁSICAS
DEPARTAMENTO DE FÍSICA Y
MATEMÁTICAS
PAMPLONA
2006

1
 A mis padres:
Félix y Amanda

2
 Agradecimientos a:

Dr. Ariel Rey Becerra.

Dr. Juan Carlos López.
Dr. Ángel José Chacón.
Compañeros, entre otros, por su colaboración y observaciones que ayudaron
mucho en este trabajo.

3
 Resumen

Se estudia el comportamiento de la solución fundamental de la ecuación de

Dirac para la partı́cula libre y utilizando los conceptos de la teorı́a de las
distribuciones se calcula la velocidad y aceleración instantáneas del electrón
relativista, se concluye este trabajo con una pequeña digresión de los resul-
tados.
Índice de figuras

1.1. Función en el sentido clásico. . . . . . . . . . . . . . . . . . . . . 5

1.2. Nuevo modelo de las ”f unciones” . . . . . . . . . . . . . . . . . 11

3.1. Supp de Dt,τ Dτ,0 . . . . . . . . . . . . . . . . . . . . . . . . . . 25

3.2. Disposición de los tres puntos . . . . . . . . . . . . . . . . . . . 27
3.3. Modelo del electrón . . . . . . . . . . . . . . . . . . . . . . . . 30

A.1. Contorno para la función de Bessel . . . . . . . . . . . . . . . . . 33

A.2. Contornos para las funciones de Hankel . . . . . . . . . . . . . . 35

1
Índice general

1. Teorı́a de Distribuciones 4
1.1. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Los espacios S y S 0 . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Los espacios D y D0 . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. La Transformada de Fourier . . . . . . . . . . . . . . . . . . . 11

2. La Ecuación de Dirac 13
2.1. El espacio de Hilbert para la ecuación de Dirac . . . . . . . . 13
2.1.1. Subespacios espectrales de H0 . . . . . . . . . . . . . . 15
2.1.2. La transformación de Foldy-Wouthuysen . . . . . . . . 16
2.2. La solución fundamental . . . . . . . . . . . . . . . . . . . . . 17

3. Resultados Principales 22
3.1. Velocidad instantánea del electrón . . . . . . . . . . . . . . . . 22
3.2. Aceleración instantánea del electrón . . . . . . . . . . . . . . . 27

A. Funciones de Bessel 33

2
Introducción

Indudablemente la teorı́a cuántica representa hoy en dı́a la forma más

aproximada para describir los mecanismos que utiliza la naturaleza para ex-
presarse, y actualmente una de la teorı́as que más sobresale es la llamada
electrodinámica cuántica, siendo Paul Dirac uno de sus más importantes con-
tribuyentes, inicialmente su nombre se hizo famoso al plantear la ecuación
que lleva su nombre y que describe el comportamiento del electrón en condi-
ciones que los efectos relativistas sean de considerar, esta ecuación nos lleva
mucho más allá, no solo haciendo las correcciones antes mencionadas sino
también describiendo el movimiento interno del electrón y llevando su des-
cripción 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 teorı́a que amplı́a la mecánica clásica y que es de
naturaleza muy profunda, y por otro lado se incorpora la teorı́a especial de la
relatividad, para poder estudiar el comportamiento de partı́culas a grandes
velocidades. Esto implica que un estudio en esta área es mucha importancia
en el contexto actual de la ciencia.

3
Capı́tulo 1

Teorı́a de Distribuciones

1.1. Funciones
Las funciones en el sentido clásico de la palabra hace referencia a un
conjunto de pares ordenados, es decir que si tenemos una función f cuyo
dominio es un conjunto D, para cada elemento x ∈ D se asigna una imagen,
elemento através de f en un conjunto R el cual es único, de esta forma
podemos pensar en una función, o mejor lo que le hace una función a un
elemento x0 de D y lo cual se puede escribir como (x0 , f (x0 ))
Ahora veamos el caso de una ”función”que tiene las siguientes propiedades
y que es llamada función delta de Dirac en R, las propiedades de esta son:

0 para x 6= 0,
δ(x) = R ∞ (1.1)
−∞
δ(x)dx = 1.

De manera análoga se puede extender este concepto a un espacio de n di-

mensiones, claramente no hay una función en el sentido clásico que cumpla
con estos requisitos, por lo tanto se debe ampliar el concepto de función que
se tiene hasta ahora, y en dicha generalización deben incluirse las funciones
tal y como las conocemos hasta ahora, de aquı́ surge el nombre: Funciones
generalizadas.
Una función generalizada o distribución es un funcional lineal.

4
 Figura 1.1: Función en el sentido clásico.

1.2. Los espacios S y S 0

Antes de entrar a definir estos espacios introduzcamos primero algunos
conceptos. Sea Zn+ el conjunto deP n-uplas (α1 , ..., αn ), para cada cada αi que
pertenezca a los naturales, |α| = ni=1 αi , x = (x1 , ..., xn ) ∈ Rn y sea Dα que
|α|
denota el operador diferencial ∂xα1∂,...,∂xαn y por último
1 n
xα = xα1 1 × xα2 2 × ... × xαnn .

Definición 1.2.1 El espacio lineal complejo de los operadores acotados de

valores complejo de Rn se denota como Cb (Rn ) y está equipado con la norma:
kf k∞ = sup |f (x)|. (1.2)
x∈Rn

Definición 1.2.2 El espacio lineal de las funciones acotadas infinitamente

diferenciables sobre Rn se denota por Cbinf ty (Rn ). El espacio S(Rd ) es el sube-
spacio lineal de Cb∞ (Rn ) formado por el conjunto de funciones f sobre Rn tal
que xα Dβ f (x) está acotado en Rn para α, β ∈ Zn+ .
S(Rd ) está equipado con la familia de seminormas:
kf kα,β = sup |xα Dβ f (x)|. (1.3)
x∈Rn

5
Para α, β ∈ Zn+ . Normalmente se dice que los elementos del espacio S son
funciones de rápido decrecimiento en el infinito.

Definición 1.2.3 Se dice que una sucesión (fn ) en S(Rd ) converge a f en

S(Rd )si para cada α, β ∈ Zn+ , kfn − f kα,β → 0 cuando n → ∞.

Definición 1.2.4 Los funcionales lineales continuos sobre S(Rd ) son llama-
dos distribuciones temperadas. El espacio lineal de las distribuciones tempe-
radas se denota por S 0 (Rd ). Entonces T ∈ S 0 (Rd ) si y solo si T : S(Rd ) → C
es lineal y fn → f en S(Rd ) implica que T (fn ) → T (f ) en C.

Podemos definir ya de manera estricta la que en un principio llamamos ”fun-

ción”delta de Dirac.

Ejemplo 1.2.1 Sea a ∈ Rd fijo, sea δa el mapeo sobre S(Rd ) dado por:
f 7→ f (a), evidentemente δa es una distribución temperada, ahora sı́ podemos
llamar a esta distribución función delta de Dirac siguiendo la nomenclatura,
pero sin perder de vista lo que verdaderamente significa.

Proposición 1.2.1 Supóngase que T : S → C es lineal y que hay α, β ∈ Zd+

tal que:
|T (f )| ≤ kf kα,β , (1.4)
para todo f ∈ S(Rd ). Entonces T ∈ S 0 (Rd ).

Prueba: Para demostrar que es continuo solo debemos mostrar que es con-
tinuo en el elemento 0. Pero si f → 0 en S, se sigue en particular que
kfn kα,β → 0 y también que:

|T (fn )| ≤ kfn kα,β → 0,

a medida que n → ∞.

Teorema 1.2.1 Un funcional lineal T sobre S(Rd ) es una distribución tem-

perada si y solo si hay un C > 0 y algunos k, m ∈ Z+ tales que:

|T (f )|Ckf kk,m , (1.5)

para todo f ∈ S(Rd ).

6
Prueba: Si dicha cota existe, es claro que T ∈ S 0 (Rd ). Al contrario, supong-
amos que T ∈ S 0 (Rd ) pero que no hay dicha cota. Entonces para cualquier
n ∈ N, es falsa la afirmación:

|T (f )| ≤ nkf kn,m

para todo f ∈ S(Rd ). En otras palabras, existe una sucesión (gn ) en S tal
que:

|T (gn )| > nkgn kn,m

tomemos dicha sucesión como fn = gn /nkgn kn,m de forma que T (fn ) > 1por
tanto:
kgn kk,m 1
kfn kk,m = ≤ ,
nkgn kk,m n
siempre que n ≥ max(k, m). Se sigue que fn → 0 en S(Rd ). Pero nos lleva
a una contradicción ya que T (fn ) → 0 lo que es falso y concluye nuestra
demostración.
Proposición 1.2.2 Sea g ∈ L2 (Rd ). Entonces el mapeo lineal:
Z
Tg : f 7→ g(x)f (x)dx, (1.6)

sobre S(Rd ) define una distribución temperada.

R
Prueba: Para f ∈ S(Rd ) tomemos |Tg (f )| = | g(x)f (x)dx| ≤ kgkL2 kf kL2 ,
pero:
Z
2
kf kL2 = |f (x)||f (x)|dx
Z
≤ kf k0,0 |f (x)|dx
Z Y d
!
1
= kf k0,0 (1 + x2j ) |f (x)| Qd 2
j=1 k=1 (1 + xk )
Z
1
≤ kf k0,0 kf k2d,0 Qd 2
dx1 dx2 ...dxd
k=1 (1 + x k )
= π d kf k0,0 kf k2d,0
≤ π d kf k22d,0 .

7
Esto nos lleva a un estimativo:
d
|Tg (f )| ≤ kgkL2 π 2 kf k2d,0 ,

lo que muestra que T ∈ S(Rd ), como se propuso.

El siguiente resultado indica que funciones acotadas por polinomios determi-
nan distribuciones vı́a integración.

Teorema
Qd 1.2.2 Supongamos que g(x) es medible y que para algún
2 −m
m ∈ N, j=1 (1 + xj ) g(x) es acotado en Rd . Entonces el mapeo:
Z
Tg :7→ g(x)f (x)dx, (1.7)

es una distribución temperada.

Prueba: Sea p(x) = dj=1 (1 + x2j ). La hipótesis nos dice que para cualquier
Q

f ∈ S(Rd ):

|g(x)f (x)| = p(x)−m |g(x)|p(x)m |f (x)|

< M p(x)m |f (x)|.

Para algún M > 0, se sigue que f (x)g(x) es integrable y que Tg está bien
definida en S(Rd ).
Para mostrar que T ∈ S 0 (Rd ), hagamos un estimativo:
Z
|Tg (f )| < M p(x)m |f (x)|dx
Z
1
= M p(x)m+1 |f (x)| dx
p(x)
≤ M kf k2d(m+1),0 π d .

Por tanto Tg ∈ S 0 (Rd ).

A estas instancias podemos acercarnos una nueva idea de la generalización
de funciones, designándolo el nuevo modelo. Pensemos por su acción (valores
funcionales) en un espacio el cual aquı́ llamamos S(Rd ) y que normalmente
se les llama funciones de prueba.1 Esta acción está definida por medio de los
valores (Tg (f ), f ).
1
También se le llama espacio de Schwartz

8
Teorema 1.2.3 (Valor Principal de Cauchy) El funcional:
  Z
1 1
P : f 7→ lı́m f (x)dx (1.8)
x ↓0 |x|≥ x

pertenece a S 0 (Rd ).

Prueba: Mostremos primero que P x1 está bien definida en S(R). Para

f ∈ S(R) Z ∞
f (x) − f (−x)
Z
1
f (x)dx = dx.
|x|≥ x  x
Sin embargo, f (x)−fx
(−x)
→
2f 0 (0) cuando x → 0 y por tanto f (x)−f
x
(−x)
es
integrable en [0, ∞) y P x1 está de verdad bien definida.
Este funcional es lineal debido a la linealidad de la integral, solo nos hace
falta verificar su continuidad en S(R). Para esto veamos que cuando x > 0:
   Z x 
 f (x) − f (−x) 
 = 1 0
 
 f (t)dt
 x  x 
Z −x
1 x 0
≤ |f (t)|dt
x −x
≤ 2kf 0 k∞ .

Por tanto
   Z 1 Z ∞ 

P 1  
 =  f (x) − f (−x) f (x) − f (−x) 
dx + dx 
 x  
0 x 1 x 
Z 1 Z ∞
dx
≤ 2kf 0 k∞ dx + {|f (x)| + |f (−x)|}x 2
0 1 x
Z ∞
dx
≤ 2kf 0 k∞ + 2kxf (x)k∞
1 x2
= 2kf k0,1 + 2kf k1,0 .

De donde se sigue el resultado.

Teorema 1.2.4 Sea g (x) = x

x2 +2
. Entonces Tg → P ( x1 ) en S 0 (R) cuando
 → 0.

9
Prueba: Sea f ∈ S(R) y sea δ > 0. Entonces:
   Z ∞ 
 1   1 xf (x) 
P ( )(f ) − T g (f ) = P ( )(f ) − dx
 x  x 2 2
−∞ x + 

Z ∞ Z ∞ 
 f (x) − f (−x) xf (x) − xf (−x) 
=  dx − dx 
0 x 0 x2 + 2 
Z δ  Z ∞ 2 
 f (x) − f (−x)    f (x) − f (−x) 
≤   dx + 
 δ2
 dx.
0
 x 
δ x 

El primer término puede hacerse tan arbitrariamente

 pequeño
 escogiendo δ
 f (x)−f (−x) 
lo suficientemente pequeño, el hecho de que  x  se integrable, quiere
decir que la segunda integral se aproxima a cero cuando  → 0.
1
Teorema 1.2.5 Para  > 0, Sea h = x−x0 +i
. Entonces:
 
1
h → P − iπδx0
x − x0

en S 0 (R), cuando  → 0.

Para la demostración ver [1]

1.3. Los espacios D y D0

Se considera otro espacio y su adjunto.

Definición 1.3.1 Sea Ω ⊆ Rd un conjunto abierto de Rd . C0∞ (Ω) denota el

subconjunto lineal que consiste en aquellas funciones en C0∞ (Rd ) las cuales
tienen soporte 2 en Ω.
Supongamos que (ϕn ) es una sucesión en C0∞ (Ω) y sea ϕ ∈∞ d
0 (R ). Decimos
que ϕn → ϕ en C0∞ (Ω) si:

i Hay algún conjunto compacto K ⊂ Ω tal que supp ϕn ⊂ K para todo n.

2
El soporte de una función f en Rd , se denota por supp f es la clausura del conjunto
en el cual f no se anula:
supp f = {x ∈ Rd : f (x) 6= 0}.
C0∞ (Rd ) denota el subespacio lineal de C ∞ (Rd ) de aquellas funciones con soporte com-
pacto. Claramente C0∞ (Rd ) ⊂ S(Rd ).

10
ii Dα ϕn → Dα ϕ uniformemente cuando n → ∞ para cada α ∈ Zd+ .
Note que supp ϕ ⊂ K.
D(Ω) es el espacio C0∞ (Ω) equipado con esta noción dde convergencia y dec-
imos que ϕn → ϕ en D(Ω).
Definición 1.3.2 Se dice que (ϕn ) es una sucesión de Cauchy en D(Ω) si
hay algún conjunto compacto K ⊂ Ω tal que supp ϕn ⊆ K para todo n tal
que kDα (ϕn − ϕm )k∞ → 0 cuando n, m → ∞ para todo α ∈ Zd+ .
Definición 1.3.3 Un funcional lineal u : D(Ω) → C se dice que es continuo
si u(ϕn ) → u(ϕ) en D(Ω) cuando n → ∞. Dicho funcional lineal continuo
es llamado una distribución, el espacio lineal de las distribuciones se denota
como D0 (Ω)

D0
R
g(x)f (x)dx

Funciones regulares.

Funciones singulares.

Figura 1.2: Nuevo modelo de las ”f unciones”

1.4. La Transformada de Fourier

Daremos aquı́ algunas caracterı́sticas y algunos teoremas que son de im-
portancia.

Definición 1.4.1 La transformada de Fourier de una función f ∈ S(Rd ) es

la función Ff la cual está dada por:
Z
1
Ff (λ) = d e−iλx f (x)dx. (1.9)
(2π) 2 Rd

11
 Pd
Donde λ ∈ Rd y λx = j=1 λj xj para x ∈ Rd .

Definición 1.4.2 La transformada inversa de Fourier de f ∈ S(Rd ) es la

función F −1 f y está dada por:
Z
−1 1
F f (λ) = d eiλx f (x)dx. (1.10)
(2π) 2 Rd

Algunas veces es conveniente denotar Ff como fˆ.

Teorema 1.4.1 Para cualquier f ∈ S(Rd ),

F −1 (Ff ) = f = F(F −1 f ) (1.11)

Para la demostración del teorema anterior consultar [1] o ver también [3]
A continuación daremos un ejemplo de la aplicación de la transformada de
Fourier.
Para mayor detalle de algunas de las demostraciones dadas aquı́ ver [1].

Definición 1.4.3 La transformada de Fourier FT de la distribución tem-

perada T ∈ S 0 (Rd ) está dada po:

FT (f ) = T (Ff ) para f ∈ S(Rd )

Se puede entender esta definición como una extensión del teorema de Plancherel
en L2 (Rd ) ver [1]

Definición 1.4.4 Una distribución E ∈ D0 (Rd ) que satisface la ecuación

P (D)E = δ, se dice que es una solución fundamental para el operador difer-
encial P (D).3

3
P (x1 , ..., xd ) es un polinomio de d variables y P (D) resulta de reemplazar Dj por xj .

12
Capı́tulo 2

La Ecuación de Dirac

2.1. El espacio de Hilbert para la ecuación de

Dirac
Escribamos la ecuación de Dirac para la partı́cula libre:
∂
i~ (x, t)∂t = H0 Ψ(x, t). (2.1)
Ψ
Donde el operador H0 se llama operador de Dirac para la partı́cula libre, el
cual toma la forma:
 
2 mc2 1 −i~cσ · ∇
H0 = −i~cα · ∇ + βmc = . (2.2)
−i~cσ · ∇ −mc2 1

Donde σ · ∇ = σ1 ∂1 + ... + σ3 ∂3 y σi son las matrices de Pauli, αi y β son las

matrices de Dirac, las cuales se relacionan como:
     
0 1 0 −i 1 0
σ1 = , σ2 = , σ3 = ,
1 0 i 0 0 −1
    (2.3)
1 0 0 σi
β= , αi = , i = 1, 2, 3.
0 −1 σi 0

Si vemos las matrices (2.3) y (2.1), encontramos que H0 es un operador

matricial de 4 × 4 el cual actúa sobre una función que llamamos Ψ(x, t)
donde por lo general es de valores complejos, para que este producto sea

13
válido Ψ(x, t) debe ser un vector columna de cuatro componentes, es decir:
Ψ(x, t) = (ψ1 , ψ2 , ψ3 , ψ4 )> .
El operador H0 pertenece al espacio:

H = L2 (R2 ) ⊕ L2 (R2 ) ⊕ L2 (R2 ) ⊕ L2 (R2 ). (2.4)

Ya sabemos que la función de onda que e solución de la ecuación de Dirac

es una función de cuatro componentes, las cuales a su vez son funciones1
de las cuatro variables (x, t) para cada una de estas es posible hallar su
transformada de Fourier, la cual nos da:
Z
1
(Fψk )(p) ≡ 3 e−ip·x ψk (x)d3 x, k = 1, 2, 3, 4. (2.5)
(2π) 2 R3
Según la mecánica cuántica no relativista, la transformado o imagen de
Fourier de el espacio de coordenadas (x, y, z) es un espacio de coordenadas
(px , py , pz , ), es decir el espacio de momentos o espacio de momentum, según
la notación que hemos traı́do hasta aquı́, podemos escribir:

FL2 (R2 , d3 x)4 = L2 (R3 , d3 p)4 .

Mediante una transformación de semejanza2 para el operador de Dirac se

llega a:
 
−1 mc2 1 cσ · p
(FH0 F )(p) = h(p) ≡ . (2.6)
cσ · p −mc2 1
El producto σ · p es simbólico y quiere decir: σ · p = σ1 p1 + σ2 p1 + σ3 p1 .
Al diagonalizar esta matriz llegamos a que los autovalores de ésta son:
p
λ1 (p) = λ2 (p) = −λ3 (p) = −λ4 (p) = c2 p2 + m2 c4 ≡ λ(p). (2.7)

Se puede mostrar que la transformación unitaria que lleva a cabo dicha dia-
gonalización es:
(mc2 + λ(p))1 + βcα · p
u(p) = √
2λ(p)(mc2 + λ(p))
α·p
= a+ (p)1 + a− (p)β , (2.8)
p
1
A este tipo de funciones también se les llama espinores. Ver[1]
2
Para transformaciones de semejanza ver [6]

14
 q
mc2
donde a± = √12 1 ± λ(p) , esta ultima transformación nos lleva h(p) a la
forma diagonal βλ(p), de estas últimas ecuaciones podemos hallar fácilmente
que el operador:

W = uF, (2.9)
convierte el operador de Dirac para la partı́cula libre en una matriz diagonal:
(WH0 W −1 ) = βλ(p), (2.10)
en el espacio de momentum. Si φ = Wψ es integrable, entonces podemos
escribir:
Z
1 ip·x −1 3 1 3 4
\
ψ(x) = 3 e u(p) φ(p)d p, φ ∈ L (R ) L2 (R3 )4 . (2.11)
(2π) 2 R3

2.1.1. Subespacios espectrales de H0

En el espacio de Hilbert donde el operador de Dirac es diagonal, se puede
ver que hay dos componentes de la función de ondas que pertenecen a estados
de energı́as positivas y dos de ellas a energı́as positivas, por tanto podemos
definir un subespacio, o mejor dos, cada uno de los cuales va a ser generado
por vectores del tipo:
1
ψ± ≡ W −1 (1 ± β)Wψ, ψ ∈ L2 (R3 , d3 x). (2.12)
2
El sı́mbolo +(−) designa a los componentes que corresponden a energı́as po-
sitivas (negativas).
Estos vectores generan los espacios H+ (H− ) de energı́as positivas (negati-
vas). Los subespacios de energı́as positivas y negativas son ortogonales entre
sı́ y por tanto el espacio de Hilbert para la ecuación 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
proyección ortogonal, al igual que se puede descomponer un vector en sus
componentes cartesianas, estos operadores los podemos escribir:
 
−1 1 1 H0
P± = W (1 ± β)W = 1± . (2.14)
2 2 |H0 |

15
 √
Donde |H0 | = −c2 ∆ + m2 c4 , es de aclarar que el operador H0 conmuta
con P+ . Por tanto si el estado inicial es de energı́a positiva será de energı́a
positiva en todo instante, de esta forma:

ψ(t) ≡ e−iH0 t ψ = P+ ψ(t) si y solo si ψ = P+ ψ (2.15)

2.1.2. La transformación de Foldy-Wouthuysen

Esta transformación3 la podemos escribir como:

UF W = F −1 W. (2.16)

Esta transformación lleva el operador de Dirac a la forma diagonal:

 √ 
−1 −c2 ∆ + m2 c4 √
UF W H0 UF W = = β|H0 | (2.17)
0 − −c2 ∆ + m2 c4

Según (2.17) el operador de Dirac para la partı́cula libre es equivalente uni-

tariamente al par de ecuaciones de Klein-Gordon.

3
Ver ([5])

16
2.2. La solución fundamental
Consideremos separadamente la acción de e−iH0 t sobre las energı́as posi-
tivas y negativas de la función 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:

lı́m e−iH0 t± Ψ = e−iH0 t Ψ ; ∀Ψ ∈ H± . (2.18)

→0

Consideremos ahora:
   
−iH0 t±

−1 ∓iλt± 12 h(p)
e P± Ψ (x) = F e 1± FΨ (x)
λ(p)
Z (
±1
Z
1
= 3 3 eip·(x−y) ×
(2π) 2 (2π) 2
e∓iλ(p)t± 3

× (±λ(p) + h(p)) d p Ψ(y)d3 y
2λ(p)
Z
≡ S± (t± , x − y)Ψ(y)d3 y. (2.19)

La parte imaginaria de esta ecuación se ha escogido de tal manera que la

integral entre corchetes exista siempre que  > 0, aquı́ podemos hacer la
siguiente asignación:
±1 e∓iλ(p)t± 3
Z
ip·(x−y)
S± (t± , x − y) = 3 e × (±λ(p) + h(p)) d p, (2.20)
(2π) 2 2λ(p)
ya que:

∂ ∓λ(p)t±
e = ∓iλ(p)e∓iλ(p)t± ,
∂t
−i∇eip·(x−y) = ipeip·(x−y) . (2.21)

Descomponiendo la integral:
Z 
±1 ±λ(p) ∓iλ(p)t±
S± (t± , x − y) = 3 eip·(x−y)e +
(2π) 2 2λ(p)

ip·(x−y) h(p) ∓iλ(p)t±
+ e e d3 p. (2.22)
2λ(p)

17
Recordando que:
 
mc2 1 cσ · p
h(p) = , (2.23)
cσ · p −mc2 1
se puede escribir (2.23)como:

h(p) = mc2 β + cα · p, (2.24)

sustituyendo (2.24) en la integral (2.22) obtenemos que:

Z 
±1 ±λ(p) ∓iλ(p)t±
S± (t± , x − y) = 3 eip·(x−y) e +
(2π) 2 2λ(p)
2

ip·(x−y) mc β + cα · p ∓iλ(p)t±
+ e e d3 p, (2.25)
2λ(p)

introduciendo aquı́ las derivadas (2.21) llegamos a:

S± (t± , x − y) =
"Z   ip·(x−y)e∓iλ(p)t± #
±1 ∂ e
3 i − icα · ∇ + mc2 β , (2.26)
(2π) 2 ∂t 2λ(p)

teniendo en cuenta que la integral conmuta con operadores diferenciales,

(2.26) se puede escribir en la forma:

 
∂ 2
S± (t± , x − y) = i i − icα · ∇ + mc β ×
∂t
" ∓iλ(p)t±
#
−i eip·(x−y)e
× 3 , (2.27)
(2π) 2 2λ(p)

expresión que se puede escribir de manera más condensada como:

 
∂ 2
S± (t± , x) = i i − icα · ∇ + mc β ∆ ± (t± , x), (2.28)
∂t
donde
−i e−iλ(p)t+ 3
Z
∆+ (t+ , x) = ∆− (t− , x) = 3 eip·x d p, (2.29)
(2π) 2 2λ(p)

18
hay que analizar el integrando a fin de simplificar más la integración, intro-
duciendo coordenadas polares y haciendo uso de la simetrı́a del problema.4
Z ∞
−i e−iλ(p)t+
∆ ± (t± , x) = 3 p sen(px) dp. (2.30)
(2π) 2 0 λ(p)
p
En vista de que λ(p) = c2 p2 + m2 c4 llegamos al siguiente resultado:
p
−im2 c K1 (mc x2 − c2 t2+ )
∆+ (t+ , x) = p (2.31)
4π 2 mc x2 − c2 t2+ .

Aplicando las siguientes fórmulas para las funciones de Bessel.5

−iπ (1)
K1 (e 2 ) (z) = − π2 H1 (z) −π < arg z < π
2
iπ (2) (2.32)
K1 (e 2 ) (z) = − π2 H1 (z) −π < arg z < π
2

y estas otras para su argumento:

iπ
p
2
 √
e 2 2 2
x − c t+ → c2 t2 − x2 cuando  → 0 si ct < −x
−iπ
 p  √
e 2 x2 − c2 t2+ → c2 t2 − x2 cuando  → 0 si ct > x

tomemos finalmente el comportamiento para c|t| = 6 x cuando  → 0.


(1) √
H (mc c2 t2 −x2 )
si ct < −x


 1 √
2 t2 −x2




 mc c


√


2 

mc 2i K1 (mc c2 t2 −x2 )
∆+ (t, x) =
8π 
√
π mc c2 t2 −x2 si c|t| < x (2.33)





√


 (2)
H1 (mc c2 t2 −x2 )


√ si ct > x



mc c2 t2 −x2
4
Las coordenadas polares para el problema se introducen de la siguiente forma:

px = p cos φ py = p sen(φ) d2 p = 2πdp

.
5
z el punto en el plano complejo dado por: z = x + iy.

19
Pasemos ahora a observar el comportamiento del núcleo en el cono de luz, es
decir c|t| = x.
∆+ (t+ , x) + ∆− (t− , x) =
∞
−1
Z
sgn(t) sen(p(λ)x) sen(λ|t|)e−λ dλ, (2.34)
2π 2 c2 x mc2
√
donde tenemos que p(λ) = 1c λ2 − m2 c4 , haciendo expansión en serie de
potencias para p(λ) de la siguiente manera:
1 2 1
p(λ) = (λ − m2 c4 ) 2
c
1
m2 c4 2

λ
= 1− 2
c λ
2 4
 
∼ λ 1 m c
= 1−
c 2 λ2
λ 1 m2 c3
= − . (2.35)
c 2 λ
2 3
En vista de que 12 mλc  1 podemos introducir esto en (2.34), más especı́fi-
camente en su integrando, como seno de una suma:
1 m2 c3
   
∼ λx λx
sen(p(λ)x) = sen − cos . (2.36)
c 2 λ c
La integración del primer término es:
Z ∞  
−1 λx
2 2
sgn(t) sen sen(λ|t|)e−λ dλ =
2π c x 0 c
 
−i 1 1
sgn(t) 2 2 − ,(2.37)
4π 2 c t − x2 − c2 2 + 2ic2 |t| c2 t2 − x2 − c2 2 − 2ic2 |t|
tomando el lı́mite cuando  → 0 se llega a:
 
−i 1 1 sgn(t) 2 2
2
sgn(t) 2 2 2
− 22 2
=− δ(c t − x2 ). (2.38)
4π c t − x + i0 c t − x − i0 2πc
Para el segundo término de (2.34) tenemos lo siguiente:
Z ∞
m2 c λx −λ dλ
sgn(t) cos( ) sen(λ|t|)e λ =
4π 2 0 c
( ! )
mc2 1 2|t| π 22
sgn(t) arctan x2
+ θ(c t − x2 − 2 ) , (2.39)
4π 2 2 2 2
 − t + c2 2

20
teniendo en cuenta que:
!
π

2|t| 2
si c2 t2 − x2 = 0
lı́m+ arctan = , (2.40)
→0 2 − t2 + x2 0 si c2 t2 − x2 6= 0
c2

la integral (2.39) se convierte en:

Z ∞
m2 c λx dλ

2
sgn(t) cos( ) sen(λ|t|)e−λ λ =
4π 0 c
1
sgn(t)θ(c2 t2 − x2 ). (2.41)
2πc
Con base en lo anterior podemos decir que la solución fundamental de la
ecuación de Dirac para la partı́cula libre está dada por:
 
∂ 2
i i − icα · ∇ + βmc
∂t
m2 c2 2 2

sgn(t) 2 2 2
∆(x, t) = −δ(c t − x ) + θ(c t − x2 )
2πc 4
√ 
J1 (mc c2 t2 − x2 )
sgn(t) √ (2.42)
mc c2 t2 − x2
Siempre y cuando c|t| ≥ x.

21
Capı́tulo 3

Resultados Principales

3.1. Velocidad instantánea del electrón

La solución fundamental para la ecuación de Dirac puede escribirse como:
 
µ ∂
Dt,0 = γ − Im ×
∂xµ
 2 √
δ(t − x2 ) θ(t − x) mJ1 (m t2 − x2 )

× − √ . (3.1)
2π 4π t2 − x2
Donde la hemos escrito en forma más 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 términos carecen de importancia
exceptuando el primero que es:

∂ δ(t2 − x2 )
γµ .
∂xµ 2π
Este término podemos manipularlo de la siguiente manera: Haciendo una
suposición adicional, que es tomar t → 0+ con lo cual podemos escribir el

22
primer término como:
∂ δ(t2 − x2 )
γµ =
 ∂xµ 2π
1 ∂ ∂
γ 0 δ(t2 − x2 ) + γ 1 1 δ(t2 − x2 )+
2π ∂t ∂x

2 ∂ 2 2 3 ∂ 2 2
+γ δ(t − x ) + γ δ(t − x ) , (3.2)
∂x2 ∂x3
tomemos ahogara un elemento ϕ ∈ S(R3 ) y analicemos el comportamiento
del segundo término de (3.2).
Z
∂
C= γ 0 δ(t2 − x2 )ϕ(x)d3 x, (3.3)
R3 ∂t
dado que γ 0 es una constante, ahora teniendo en cuenta la identidad:
1
δ(t2 − x2 ) = [δ(t − x) + δ(t + x)], (3.4)
2kxk
y que el diferencial de volumen en coordenadas esféricas es:n d3 x = kxk2 sen θdxdθdφ,
nuestra integral (3.3) se convierte en:
Z
0 ∂ 1
C=γ [δ(t − x) + δ(t + x)]ϕ(x)kxk2 sen θdxdθdφ, (3.5)
∂t R3 2kxk
tomando según nuestra anterior suposición t > 0, pasamos a escribir nuestra
integral como:
Z 2π Z π Z ∞
0 ∂ 1
C=γ dφ sen θdθ δ(t − x)ϕ(x)kxkdx, (3.6)
∂t 0 0 −∞ 2

resolviendo obtenemos finalmente:

∂
C = γ0 2πϕ(t)t,
∂t
= 2πγ 0 (ϕ(t) + tϕ, (t)),
H = γ 0 (ϕ(t) + tϕ, (t)), (3.7)
en el lı́mite cuando t → 0 se concreta el siguiente resultado:
lı́m C = 2πγ 0 ϕ(0),
t→0
lı́m Dt,0 = γ 0 ϕ(0). (3.8)
t→0

23
Ya que tenemos el estudio de la solución fundamental cuando
t → 0 pasemos al estudio de la velocidad instantánea del electrón del elec-
trón relativista, para ello partamos de la velocidad media de una partı́cula
cualquiera:
∆x x − x0
v= = , (3.9)
∆t t − t0
es claro que si tomamos el lı́mite de esta expresión cuando ∆t → 0 se convierte
en la velocidad instantánea de la partı́cula, más aún, si hacemos que x0 = 0
y t0 = 0, la velocidad media toma la forma v = xt , introduciendo esto como
argumento de ϕ en (3.7) obtenemos el siguiente resultado:

H = γ 0 ϕ(1), (3.10)
cuando operamos esta función notamos que el argumento era la velocidad del
electrón relativista, tomando el lı́mite cuando t → 0 la velocidad media se
convierte en la velocidad instantánea, para nuestro caso cuando se estudia la
velocidad llegamos al resultado que la función ϕ nos arroja como resultado
su imagen en 1, que debe ser la velocidad instantánea del electrón relativista,
debido a la forma como se escogieron las unidades, la velocidad del electrón
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 método es bueno, ya que para
el electrón se obtuvo también velocidad instantánea igual a la de la luz.
La solución fundamental de la ecuación de Dirac es en forma explı́cita:

Dt,0 =
 
0 1 0 0 1
γ [δ (x + t) + δt (x − t)] − [δ(x + t) + δ(x − t)]
2t t t
3
X
i 1 0 0 xi
+ γ [δ (x − t) + δ (x + t)] −
i=1
2t x
 √ 
1 2 2 θ(t − x) mJ1 (m t2 − x2 )
−imI δ(t − x ) − √
2π 2 t2 − x2
" √ 3
!
m 2mθ(t − x)J2 (m t2 − x2 ) X
− γ0t − γ i xi +
4π (t2 − x2 ) i=1
√ 3
!#
2
J1 (m t − x ) 2 X
+ √ δ(t − x) γ 0 t − γi , (3.11)
2
t −x 2
i=1

24
busquemos ahora el soporte supp de esta función generalizada, asumiendo
que t > 0:

Dt,0 =
 
0 1 0 1
γ δ (x − t) − δ(x − t)
2t t t
3
X 1 xi
+ γ i δ 0 (x − t) −
i=1
2t x
 √ 
1 2 2 θ(t − x) mJ1 (m t2 − x2 )
−imI δ(t − x ) − √
2π 2 t2 − x2
" √ 3
!
m 2mθ(t − x)J2 (m t2 − x2 ) X
− γ0t − γ i xi +
4π (t2 − x2 ) i=1
√ 3
!#
2
J1 (m t − x ) 2 X
+ √ δ(t − x) γ 0 t − γi . (3.12)
2
t −x 2
i=1

r̂2 α r̂1

r̂3

x0 xt

τ t−τ

Soporte

Figura 3.1: Supp de Dt,τ Dτ,0

25
La ecuación (3.12) se convierte para t 6= 0 en:

Dt,0 =
 √
mθ(t − x) mJ1 (m t2
− x2 )
iI √
4π t2 − x2
√ 3
!)
2mJ2 (m t2 − x2 ) X
− γ0t − γ i xi , (3.13)
(t2 − x2 ) i=1

por definición de θ(x), llegamos a la conclusión de que (3.13) se anula excepto

cuando x < t, de modo que supp Dt,0 es una esfera de radio t.
1

1
En realidad es una esfera de radio ct, es decir un frente de onda esférico producido
por una fuente de luz puntual.

26
3.2. Aceleración instantánea del electrón
xτ

xt

x0

Figura 3.2: Disposición de los tres puntos

Para hallar la aceleración, procedemos igual al caso de la velocidad,

definiendo la aceleración promedio que tiene la aceleración promedio que
tiene la partı́cula entre x0 y xt , 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 posición de la partı́cula en un tiempo τ con tal que satisfaga 0 < τ < t,
utilizando la aceleración aceleración promedio:
vt − v0
a= . (3.14)
t − t0
Con respecto a lo que contempla (3.14), llamemos vt la velocidad promedio
entre xτ y xt , de forma análoga v0 seria la velocidad promedio entre x0 y xτ ,
entonces podemos escribir lo siguiente: vt = xtt−τ −xτ
y v0 = xτ −x
τ
0
y escribir la
aceleración en la forma: xt −xτ
t−τ
− xτ −x
τ
0

a= . (3.15)
t
Notemos que cuando τ → 0, xττ es la velocidad instantánea en x0 , si por
otra parte hacemos que t → τ obtenemos la velocidad de la partı́cula en el
punto xτ , tomando dichos lı́mites obtenemos la aceleración instantánea de la
partı́cula, dado que tenemos dos puntos, y que además están relacionados, es
decir obedecen al principio de causalidad, por eso debemos utilizar la ecuación
de Einstein-Smoulochovsky.2 Esta ecuación nos da una relación de este tipo,
para nuestro caso tenemos el producto de dos soluciones fundamentales de la
ecuación de Dirac, a saber, Dt,τ y Dτ,0 , la primera de ella es la solución que
2
La ecuación de Einstein-Smoulochovsky es una distribución que posee las siguientes

27
se escribió más haciendo el cambio t → t − τ y a la segunda se llega haciendo
t = τ , haciendo el producto de estas dos distribuciones e introduciéndolas en
la ecuación de Einstein-Smoulochovsky se llega a:
Z
A= Dt,τ γ 0 Dτ,0 d3 xτ , (3.16)
R3

este producto de dos funciones generalizadas para la ecuación de Dirac se

anula excepto para le región de la intersección de las dos esferas con radios
t − τ y τ , esta intersección tiene forma de lente esférica 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 simetrı́a. 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 éstas, en la lente forman un sistema
dextrógiro, de la siguiente forma podemos hallar el diferencial de volumen, es
decir el volumen del paralelepı́pedo formado por los elementos diferenciales
end dichas direcciones, si α es el ángulo entre r̂1 y r̂2 el elemento de volumen
viene dado por:

|dx3 r̂3 · (dx1 r̂1 × dx2 r̂2 )| = sen αdx1 dx2 dx3 . (3.17)

Ası́ el término principal cuando t → 0 es:

∂2
Z
sen α
γ0 ϕ(a)dx1 dx2 dx3 . (3.18)
∂τ ∂(t − τ ) R3 (4π)2 τ (t − τ )
propiedades:
Z ∞
W (x0 , 0; xt , t)dxt = 1,
−∞

t→0
W (x0 , 0; xt , t) δ(xt − x0 ).
−→

Además también tiene en cuenta el principio de causalidad fı́sica, es decir, que se puede
escribir de la siguiente forma:
Z ∞
W (x0 , 0; xt , t) = W (x0 , 0; xτ , τ )W (xτ , τ ; xt , 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 básicos 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 x0
hasta el punto xt el cual llamaremos A y que es en forma de vector:

A = τr̂1 − (t − τ )r̂2 ; kAk = xt − x0 ,

con esta construcción vectorial podemos hallar el radio de la dado por:

kτr̂1 × k
r =
xt − x0
τ (t − τ ) sen α
r = , (3.19)
xt − x0
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
normalización. Por tanto podemos introducir una integral que posea dicha
propiedad y que sea equivalente a (3.18), la cual podemos tomar como:
Z
0 1 t→0 0
γ ϕ(a)dxτ γ ϕ(0). (3.20)
2πr −→

Donde como se dijo anteriormente la integración se lleva a cabo a lo largo de

la circunferencia de radio r que es el término principal:

Z
0 1 t→0 0
γ ϕ(|a|)dxτ γ ϕ(∞). (3.21)
2πr −→

De esta manera, cuando t → 0 la integral (3.21) desaparece (recordemos que

ϕ(∞) = 0, ya que ϕ ∈ S). De los resultados obtenidos en (3.10) y (3.21)
llegamos a la siguiente conclusión: El electrón de Dirac se mueve con veloci-
dad instantánea igual exactamente a la velocidad de la luz, además en cada
instante de tiempo esta velocidad cambia su dirección con una aceleración
angular infinitamente grande, para dar una interpretación que no contradiga
estos dos resultados, intuitivamente es más fácil desde un punto de vista semi-
clásico, los resultados anteriores no se contradicen si miramos esto como un

29
 z

Figura 3.3: Modelo del electrón

movimiento circular uniforme, es decir el electrón se puede considerar como

una esfera masiva y cargada de radio muy pequeño la cual está girando con
velocidad de la luz. Este resultado se puede comparar con el fenómeno cono-
cido como Zitterbewegung, movimiento vibratorio del electrón relativista.
Podemos ahora, siguiendo este modelo, hallar el momento magnético de una
esfera uniformemente cargada, el cual es:

−
→ r2 r
m = eω r̂z = ec r̂z (3.22)
5 5
De medidas experimentales, se tiene que el momento magnético del elec-
trón 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 clásico del electrón, que es: rc ∼ 10−15 m vemos
que nuestro modelo es bastante aceptable con la interpretación semiclásica
que se le dio.

31
Conclusiones

La teorı́a de distribuciones se halla completamente desarrollada, pero su

aplicación a la mecánica cuántica se halla en la teorı́a de campos.poco
desarrollada, se ve aquı́ aunque en pequeña escala, la importancia de
este aparato matemático y esto no solo se puede intensificar en este
campo, sino en muchas áreas de ciencia e ingenierı́a.

El electrón relativista se mueve con velocidad instantánea igual a la de

la luz, este resultado es importante en cuanto se refiere a la naturaleza
del electrón, este resultado junto con el que se obtuvo para la acel-
eración pueden llevarnos más allá de un simple ejercicio matemático,
incluso nos pueden revelar algunos aspectos de la estructura interna del
electrón, que hasta ahora se considera como fundamental.

El estudio de esta teorı́a puede, en mi opinión, incluso resolver algunos

resolver problemas que hasta hoy tienen respuesta que no es la más
adecuada por medio de los operadores.

32
Apéndice A

Funciones de Bessel

Las funciones de Bessel aparecen en una gran variedad de problemas

fı́sicos, como lo indica este trabajo, vemos la importancia de este concepto
en la deducción de la solución fundamental.
La representación integral para la función de Bessel de primer orden está
dada por: Z
1
Jν = e(x/2)(t−1/t) t−ν−1 dt. (A.1)
2πi C
Donde C es la trayectoria en el el plano complejo como se muestra en la
figura (A.1).

=(t)

−∞
<(t)

Figura A.1: Contorno para la función de Bessel

Asociadas con esta función se encuentra las funciones de Bessel de segunda

clase.

33
La función de Neumann es una de ellas, la cual se forma por medio de una
combinación lineal de Jν (x) y J−ν (x) la cual se escribe de la siguiente forma:

cos νπJν (x) − J−ν (x)

Nν (x) = . (A.2)
sen νπ
Para ν que no sea entero.
1
Otra combinación lineal entre Jν y Nν nos lleva a definir 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 define e±θ = cos θ ± sen θ. Para argumentos

( (
reales Hν 1)(x) y Hν 2)(x) son complejas conjugadas.
De igual manera podemos dar una representación integral para la s funciones
de Hankel y que tienen la forma:
Z iπ
1 ∞e (x/2)(t−1/t) dt
Hν(1) (x)= e (A.5)
πi 0 tν+1
Z 0
1 dt
Hν(2) (x) = e(x/2)(t−1/t) ν+1 . (A.6)
πi ∞ei−π t
Los contornos de integración se muestran en la figura (A.2).

Cuando el argumento de la función de Bessel o sus asociadas cambian

de forma que su argumento sea imaginario puro, se empieza a tratar con las
denominadas funciones de Bessel modificadas. Estas funciones se representan
por medio de los sı́mbolos: Iν (x) y Kν (x), la relación con las funciones de
Bessel de primer y segundo genero son:

Iν (x) = i−ν Jν (ix). (A.7)

π ν+1
Kν (x) = i [Jν (ix) + iNν (ix)]. (A.8)
2
Para mayor información acerca de las funciones de Bessel ver [7]
1
En AMS-55 y en la mayorı́a de las tablas, se le denota por Yν (x).

34
 =(t)

C1
−∞eiπ

<(t)
−∞e−iπ

C2

Figura A.2: Contornos para las funciones de Hankel

35
Bibliografı́a

[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. Mecánica Clásica. (Editorial Ariel, Barcelona.)

[7] G. B. Arfken. H. J. Weber. Mathematical Methods for Physicists (Har-

court Academic Press, 2001)

36