Partcula Cuasi Relativista Libre.

22. Planteamiento del problema.

La ecuacin de tipo de Schrndiger para un electrn relativista en un campo ) , ( x t U (para un
grado de libertad) tiene la forma:

=

H
t
i

(1)
con U p H + + =
2
1

, donde
x
i p

. Estamos interesados en esta tesis en estudiar

esta ecuacin para una partcula libre, por lo cual elegimos el potencial cero. Pero antes, como
nos interesa una aproximacin cuasi relativista, desarrollamos en serie
2
1 p + :

...
16
1

8
1

2
1
1 1
6 4 2 2
+ + = + p p p p

Si tomamos solo el trmino con
2
p , obtenemos el caso no relativista (2, caso 1); si tomamos
el trmino siguiente, entonces tenemos el caso cuasi relativista (3, caso 3). Nuestro estudio se
concentrara a este ltimo caso. Escribiendo la ecuacin nuevamente:

0
8 2

4
4
2
2
4 2
=
|
|

\
|

|
|

\
|
+

x
b
x
a
t
i p
b
p
a
t
i A .
(2)

Aqu introducimos las constantes a y b para generalizar la ecuacin. Buscamos un operador
diferencial de simetra de esta ecuacin de orden tres (inferior del orden de la ecuacin) con la
estructura:

) , ( ) , ( ) , ( ) , (

2 3
x t p x t p x t p x t B + + + = .

donde las funciones , , , verifican las ecuaciones impuestas por la condicin de
conmutacin: 0 ]

[ = B A . Despus de un simple clculo obtenemos solo cinco operadores

de base de simetra independientes (su combinacin lineal da la forma general del operador
diferencial de simetra del orden tres):

x p t a p t
b
B + =
2

3
1
, (3)
. 1

5
4
2
3
3
2
=
=
=
=
B
p B
p B
p B


Vemos que el operador
1

B es el operador de la coordenada inicial. En la literatura se nota que

tales operadores son operadores de simetra de la ecuacin cuasi relativista libre [2], pero en
este artculo no se menciona si tales resultados son completos.

Por definicin, la funcin de Green es la solucin de la ecuacin (1), siendo simultneamente la
funcin propia del operador de la coordenada inicial de la partcula (en nuestro caso
1

B ). Ahora
nos disponemos a resolver el sistema:

0

= A , (4.a)
= B

, (4.b)

en donde representa el valor propio del operador de la coordenada inicial. Para simplificar
este sistema, hacemos el siguiente cambio de variables:

.
) , (
) , ( , ,
4 4
t
x t
x t
t
x
x t t

=

= =

(5)

Usando la ecuacin (4b) y la consecuencia diferencial ( ) 0

= B p , excluyendo la derivada
de cuarto orden, obtenemos el siguiente sistema de ecuaciones en donde hemos eliminado las
primas para simplificar:

0
2
2
2
=
|
|

\
|

x
a
t
i , (6.a)
0
2
3
3
=
|
|

\
|
+

x
x
t a i
x
b
i . (6.b)

Visto la estructura del sistema (6), constatamos que las variables en general (si 0 ab ) no se
separan. Supongamos que el sistema (6) admite una solucin en serie de potencia con la
estructura siguiente:

=
+
=
0
) ( ) , (
n
n
n
x t c x t

(7)

con coeficientes ) ( t c
n
dependientes de t ( " "t en las denotaciones (5)). Sustituyendo (7) en
(6.a) y (6.b) obtenemos el sistema siguiente:


, 0 ) 1 (
0
= c a (8.a)
, 0 ) 1 (
1
= + c a (8.b)
, 0 ) 2 ( ) 1 (
0
= c b (8.c)
, 0 ) 1 ( ) 1 (
1
= + c b (8.d)
, 0 ) 1 ( ) 2 (
2
0 2
= + + + c t a c
b
(8.e)
, 0 ) 1 ( ) 1 ( ) 2 ( ) 3 (
2
1 3
= + + + + + c t a c
b
(8.f)
, 0 ) 2 ( ) 4 ( ) 3 ( ) 2 (
2
2 4
= + + + + + + + + + +
+ + n n n
c c n t a i c n n n
b
i (8.g)
, 0 2 ) 1 ( ) 2 (
2
= + + + + +

+
n
n
c i c n n a (8.h)

las dos ltimas ecuaciones se verifican ... 2 , 1 , 0 = n para .

Aqu con punto representamos la derivada respecto al tiempo (recordemos que se trata de t
de (5)). Ya que en el sistema (6) los coeficientes delante de las derivadas respecto a x no
dependen de x y por consecuencia las ecuaciones no tienen los puntos de singularidad,
podemos mostrar que 0 = ; este discutimos en el 3. De este sistema de ecuaciones
podemos analizar varios casos.

Como podemos ver abajo un solo caso con 0 = es interesante; en este caso el sistema (8) se
reduce al sistema siguiente:

, 0 3
1 3
= + c t a c b
, 0 ) 2 ( ) 4 ( ) 3 ( ) 2 (
2
2 4
= + + + + + +
+ + n n n
c c n t a i c n n n
b
i
, 0 2 ) 1 ( ) 2 (
2
= + + +

+
n
n
c i c n n a

para ... 2 , 1 , 0 = n .



23. Casos particulares.

Caso 1. 0 , 0 = b a (partcula no relativista). Para este caso tenemos 1 , 0 = .
Observamos que las variables en el sistema (6) se separan pero no en las coordenadas t x ,
de (5), sino en las coordenadas:

t
y
t
x
x t t

=

= = , ' ' , ' ' . (9)

Para ambos valores de la solucin (7) se presenta en la misma forma (usamos las
coordenadas t x , de (5)):

( ) ( )
n
n
x
a
i
n
t c x t
(

=
2
0
2 !
1
) , (
( )
n
n
t a
x i
n
t c x t
(

=
2
) (
!
1
) , (
2
0
(10)

con ) ( t c que verifica la ecuacin

0 ) (
2
1
) ( =

t c
t
t c
t d
d
. (11)

Al resolver esta ecuacin y realizando la suma en (10) la solucin del sistema (6) se obtiene en
forma similar de la solucin fundamental (funcin de Green) de la ecuacin de difusin
(recordamos que este es funcin en las coordenadas x t , de la formula (5)):

)
`

=
t a
x
i
t
C
x t
2
) (
exp ) , (
2
. (12)

donde C constante de normalizacin. Finalmente, la funcin de Green de la ecuacin (2) no
relativista (con b = 0) en las coordenadas iniciales t, x se presenta as:

( )
( )
( )
.
2
exp
2
1
,
1
0 , | , ) , (
2
4
0
)
`

= =
= =
t a
x
i
t a
x t
t
t t x G x t
a relativist no

(13)

Observamos las caractersticas de la funcin (13):

La solucin es funcin compleja de dos variables reales x t, .
La solucin (10) es absolutamente convergente con radio de convergencia
infinito lo que permite sumarla en la forma (13).
La funcin de Green (13) est normalizada a la funcin delta de Dirac:

( ) ( ) ( )
/
, ,
/

x d x t x t . (14)

Notamos que la integral de ortonormalizacin no depende del tiempo (vase los detalles en el
5).

Las dificultadas de interpretacin de la funcin (13) como la funcin de un
estado (no estacionario) de una partcula no relativista libre se discuten al final del 4.


Caso 2. 0 , 0 = b a (este caso solo tiene inters terico). Volvemos a estudiar el sistema
(6):

0 =

t
i (15.a)
0
2
3
3
=
|
|

\
|
+

x
x
b
i (15.b)

En este caso observamos que la ecuacin (15.a) impone ) ( x = , de lo cual resulta que las
variables del sistema (15) se separan y los coeficientes
n
c de (7) son constantes, visto la
ecuacin (8.h). Aqu . 2 , 1 , 0 = Para estos valores de se obtiene diferentes
soluciones que se reducen a solo tres soluciones independientes:

( )
( )
n
n
n
n
m n
b
x
n
m
i x
4
1
1
1
! 4
3 4
1 ) (

=
=

+ = , (16.a)
( )
( )
n
n
n
n
m n
b
x
n
m
i x x
1 4
1
1
2
! 1 4
2 4
) (
+
=
=

+ = , (16.b)
( )
( )
n
n
n
n
m n
b
x
n
m
i x x
2 4
1
1 2
3
! 2 4
1 4
) (
+
=
=

+ = . (16.c)


Estas soluciones tienen las siguientes caractersticas:

Constatamos que cada una de estas tres soluciones es una funcin compleja de
una variable real x (variable x de (5)).
Cada solucin es absolutamente convergente con radio de convergencia infinito.
Esto garantiza que podemos reordenar la serie de manera conveniente, particularmente
podemos separar la serie en la parte real y en la parte imaginaria, y ambas partes son
absolutamente convergentes. Por ejemplo presentamos la parte real e imaginaria de la solucin
(16.a):

1 2
4 8
1
1 2
1
1
1
2
8
2
1
1
)! 4 8 (
) 3 4 ( ) 1 (
)! 8 (
) 3 4 ( ) 1 (
1 ) (

=
+

=
=

+

+ =
n
n
n
n
m
n
n
n
n
n
m
n
b
x
n
m
i
b
x
n
m
x

Contrariamente al caso 1, no podemos sumar esta expresin, sino el estudio numrico del
comportamiento de funciones (16) muestra que ellas tienen las oscilaciones con las amplitudes
crecientes hasta infinito. Para la comparacin podemos mencionar la serie:

( )
( )
.
! 4
4
1 1 cos cosh
4
1
n
n
n
n
x
n
x x

=
+ =

La seria parecida a las de (16) se encuentra en la distribucin de Poya, cual funcin generatriz es
siguiente [3] (comparar por ejemplo, con (16.a)) :

=
=

+ =

1
4
1
4 / 1 4
!
) 3 4 (
1
) / 4 1 (
1
n
n
n
n
m n
b
x
n
m
i
b x i
.

Recordamos que la solucin general es la combinacin lineal de las soluciones (16):

{ } ) ( ) ( ) (
1
) , (
3 3 2 2 1 1
x c x c x c
t
x t + +

= .

Observamos que esta funcin tiene la misma estructura que la solucin (13) en la forma (10),
usando las denotaciones de la transformacin (5). Concluimos que en este caso tenemos tres
soluciones independientes, visto que la ecuacin (15.b) es de tercer orden (en el caso 1, la
ecuacin (6.b) con 0 = b (semejante a (15.b)) es de primer orden y as llegamos a una sola
solucin (13)).



3. Funcin de Green para una partcula cuasi relativista libre.

Caso 3. 0 , 0 b a (caso general, partcula cuasi relativista). Para este caso volvemos a
la resolucin del sistema (8). Para simplificar este sistema introducimos las denotaciones
siguientes:

( )
( )
( );
!
2 / 2 /

n
n n
n
T
n
N i
t c
+
(17.a)
.
2
;
2
;
2
2 2
2
= t
b
a
i z
b
i N t N
a
aqui (17.b)

Ahora el sistema (8) se presenta as :

, 0 ) 1 (
0
= T (18.a)
, 0 ) 1 (
1
= + T (18.b)
[ ] , 0 2
0 2
= T T (18.c)
( ) [ ] 0 2 1
1 3
= + T T , (18.d)
, 0 ) 1 ( 2
2 4
= + + +
+ + n n n
T n T T (18.e)
0
2
= +
+
d
T d
T
n
n
, (18.f)

las dos ltimas ecuaciones se verifican para n = 0, 1, 2, . La estructura del sistema (18)
muestra que la serie (7) se separa naturalmente en dos series: una con nmeros n pares, y
otra con los impares. La ecuacin (18.f) tiene la solucin general:

( ) ( ) ( )

0 2
1 T
d
d
T
k
k
k
k
= , (19.a)
( ) ( ) ( )

1 1 2
1 T
d
d
T
k
k
k
k
=
+
, (19.b)

aqu k = 0, 1, 2, La combinacin de (18.e) y (18.f) permite deducir la ecuacin para cada
funcin ( )
n
T :

( ) 0 1 2
2
2
= + + + +
n
n n
T n
d
T d
d
T d

(20)

A veces es til buscar la solucin de la ecuacin (20) en la forma: { }
2
exp =
n n
Q T , Las
funciones ( )
n
Q verifican la ecuacin de tipo a que pertenece la ecuacin de Hermite, que
encontramos mas abajo (n = 0, 1, 2, ):

( ) 0 1 2
2
2
= + +
n
n n
Q n
d
Q d
d
Q d

(21)

La ecuacin (20) despus la transformacin a la variable z (17.b) se presenta como la ecuacin
hipergeomtrica para ) (t T
n
:

0
4
1
2
1
2
2
= |

\
| + +
|

\
|
+
n
n n
T
n
z d
T d
z
z d
T d
z

.

Sus dos soluciones independientes son:

|

\
| + +
+ |

\
| + +
= ) ( ;
2
3
,
4
3
) ( ) ( ;
2
1
,
4
1
) (
1 1 1 1
t z
n
F t z t z
n
F t T
n n n

, (22)

donde las constantes
n n
, verifican el sistema (18).

Observamos que para entero negativo ( = - r) la serie (7), visto el sistema (18), se
empieza por el trmino con ( ) t c
r
, lo que finalmente reduce tales casos a un slo caso con
= 0. Si es un nmero entero positivo, entonces son posibles dos casos: > 1 y = 1;
en primer caso todos los coeficientes de la serie (7) se anulan: 0 =
n
c ; en el segundo caso
desaparecen todos los coeficientes con n impar y la serie (7) se reduce al caso = 0. Si
no es entero, todos los coeficientes de la serie (7) se anulan. Finalmente, tenemos que
estudiar un solo caso con = 0. Ahora de la formula (22) tenemos:

( )
{ } . ;
2
3
,
2
1
exp
;
2
3
, 1 ;
2
1
,
2
1
1 1 1 1
2
1 1 1 1 1 1 1
(

\
|
+ =
= |

\
|
+ |

\
|
=
z F z
z F z z F t T




En donde
1 1
F es la funcin ????????????
De (18.d) y de la formula (22) para ( )
3
T hallamos que . 2 , 0
1 3 3 1
i = = =
[PORQUE AQU BETA SU 3?] Por consecuencia:

( ) { }
2
1
exp = t T , (23)

y se cumple la ecuacin (18.f) para n = 1.

Estudiamos ahora separadamente las serias con n par e impar:

3.1) Para n impar (n = 2k + 1, con k = 0, 1, ... ) deducimos que existe una sola solucin del
sistema (6) en la forma (7). Usando (17.a), (19.b) y (23), hallamos:

( )
( )
( )
( )
( ) { }
2
2 / 1 2 / 1
1
2 / 1 2 / 1
1 2
exp
! 1 2
1
! 1 2

+
=
+
=
+ + + +
+ k
k k
k
k
k
k k
k
H
k
N i
T
d
d
k
N i
t c , (24)

donde ( )
k
H son los polinomios de Thebyshev-Hermite de orden k que verifican, visto las
formulas (18.e) y (18.f), las relaciones conocidas:

( )
1 1 1
2 2 ; 2
+
= =
k k k k
k
H k H H H k
d
H d

.

El mismo resultado se vea de la ecuacin (21): para , 0 = n = 2k + 1 encontramos:
( ) ( )
k k
H Q =
+ 1 2
. Entonces la solucin del sistema (6) puede escribirse:

( ) ( )
( )
( )
{ }
2
0
1 2
exp
! 1 2
,
(
(

+
=

=
+
k
k
k
k
N i x
H x t . (25)

Esta solucin se anula para x = 0 (en la denotacin (5): 0 = x , lo que corresponde a la
posicin inicial de la partcula: = x ). En este sentido la funcin (25) es similar a la (16.b).

3.2) Ahora, para n par (n = 2k, con k = 0, 1, 2 ), usando (20), la definicin (17.a) y la
frmula (22), tenemos:

( )
( )
( )
( )
( )
k
k
k
k k
k
k k
k
d
T d
k
N i
T
k
N i
t c

0
2 2
1
! 2 ! 2
= = (26.a)
con ( ) |

\
|
+ |

\
|
=
2
1 1 0
2
1 1 0 0
;
2
3
,
4
3
;
2
1
,
4
1
F F T (26.b)

Observamos que todas las funciones ( )
k
T
2
, visto las frmulas (22) y (19.a), se expresan, por
las funciones hipergeomtricas confluentes. La expresin de la funcin ( )
0
T se da por la
frmula (26.b). Usando la frmula (22) es fcil escribir la expresin de las funciones
( ) ( )
4 2
T y T . Sabiendo que ellas verifican la ecuacin (18.f) para n = 0, 2, podemos
fcilmente concluir que esto es solo posible para ) 4 , 2 , 0 ( 0 = = = i
i i
.
Entonces 0
2 2 0
= = = =
k
T T T ; y por consecuencia no hay ninguna otra solucin del
sistema (6) a parte de la funcin (25).

Notamos que en el caso 3, como en el caso 1, las soluciones del sistema (6) no dependen del
valor de . Como mencionamos arriba, para otros valores de no existen soluciones no
triviales independientes de (25). Entonces concluimos que la ecuacin (2) para una partcula
cuasi relativista libre tiene una funcin de Green en la forma de serie de potencias (7).
Finalmente, usando las denotaciones (5) y la formula (25), en las coordenadas iniciales x, t
podemos escribirla as:

( ) ( ) = = 0 , | , ,
0
t t x G t x

( )
( )
( )
( ) { } =
)
`

+
=
+
=

t
k
x t
H
t
c
k
k
k
2
1 2
0
4
exp
! 1 2
,

( ) ( )
( )
,
2
exp
! 1 2
2
2
0
1 2
)
`

=
+
t
b
a
i
k
x H
t N a
c
k
k
k
k

(28)

donde c constante de normalizacin, la variable compleja
4
t
x
N i

; aqui
( ) ( ) t H
k
son los polinomios de Thebyshev Hermite; la constante compleja
b i N / 2 . De (17.b) y (5), hallamos en las coordenadas iniciales: ( ) 2 / t N a t
y, visto las propiedades de los polinomios de Thebyshev Hermite, podemos presentar un
factor en la funcin (28) as:

( )
( )
,
2 ! 2 !
! 2
] 2 / [
0
2

=
|
|

\
|

=
k
s
S
s
k
k
k
t a
b
s k s
i
k
H

(29)

donde [k/2] es parte entero de k/2. Observamos las caractersticas de la funcin (28):

La funcin es una funcin compleja de dos variables reales t, x ; la dependencia
de i se encuentra en el factor (29) y tambin en la potencia de la funcin exponencial.
Como mostramos abajo, la serie (28) converge absolutamente con el radio de
convergencia infinita para todo t > 0. Para t = 0, la convergencia se reduce a un solo punto
= x (posicin inicial de la partcula).
La interpretacin de la funcin (28) como funcin del estado no estacionario de
la partcula cuasi relativista se hace en el 4.



25. Estudio de la convergencia.

Estudiamos la convergencia de la funcin de Green en la forma (28). El lmite del cociente del
trmino de nmero k + 1 y del trmino de nmero k se da por la expresin:

( )
( )
( )
( )
( )
( )
( ) ( )
( ) ( )( )
=
+ +
=
+
+
+

+
+
+

2 2 3 2
,
! 1 2
,
! 3 2
,
2
1
1 2
3 2
1
lim lim
k k H
x t H
k
x t
H
k
x t
H
k
k
k
k
k
k
k
k

( )
( )( )
( )
( )

k
k
k
H
H
k k
N t
x
1
2
2
2 2 3 2
1
/
lim
+

+ +

=


Esta expresin es igual a cero para todo . 0 t Para ver esto, recordamos las propiedades de
la funcin generatriz de los polinomios de Thebychev Hermite:

{ } 0
) 1 ( ) (
) (
!
) ( 2 exp
1
0
2
lim
=
+
= +
+

k H
H
n
H
k
k
k
n
k
k

para todo finito. Para el momento inicial t = 0, la convergencia de la funcin (28), como
podemos constatar, solo es posible en nico punto: = x , lo que corresponde fsicamente al
hecho que la solucin (28) es la funcin propia del operador de la coordenada inicial. Al parte
de esta particularidad, la convergencia no depende ni de la coordenada x, ni del tiempo t.
Entonces el radio de convergencia de la serie de potencias (28) inicialmente es igual a cero
(alrededor de la posicin inicial de la partcula). En el instante siguiente el radio de
convergencia ya es infinito.

Constatamos que la ecuacin cuasi relativista (2) tiene las propiedades de la ecuacin de
difusin (propagacin inicial con la velocidad infinita), lo que corresponde tambin a la
perdida de la nocin de la coordenada en momento siguiente a t = 0, visto el principio de
incertidumbre de Heisenberg. Observamos que la nocin de la velocidad inicial infinita se
interpreta naturalmente en la mecnica cuntica, contrariamente a la teora de difusin.

Notamos que en el punto inicial = x la funcin de Green (28) se anula si 0 t :
( ) 0 0 , | ,
0
= = t t G . Es fcil interpretarlo como el hecho que para t > 0 la
partcula se mueve de la posicin inicial, conformemente al principio de incertidumbre. En el
momento inicial .
2

Como comprobamos aqu, en este momento la funcin de

Green converge solo en el punto = x . Entonces podemos concluir que la solucin (28) de
la ecuacin cuasi relativista (2) tiene las propiedades de la funcin delta de Dirac con la
precisin que en el momento inicial ella no est definida fuera del punto = x (lo que
significa que la nocin de la probabilidad encontrar la partcula fuera del punto = x tiene
sentido solo para t > 0).

El mismo comportamiento tiene la densidad del corriente de la probabilidad para la partcula en
el estado no estacionario (28):

( )
( )
( ) ( )
( ) ( )
,
! 1 2 ! 1 2
2
2
0
1 2 2
0
2


=
+ +

=

+ +

=
= =
r
r k
k r
k
r k
x r k
t M
t a m
b c
i m
J

(30)

las matrices antisimtricas ) ( , ) (
p q k r
Z M se definen as:

( ) ( )
( ) .
0 1 0 1
1 0 1 0
0 1 0 1
1 0 1 0
, ; 2 / ] ) 1 ( ) 1 ( [
;
2 ! 2 ! 2 ! !
2 ! !
1
2
] 2 / [
0
] 2 / [
0
|
|
|
|
|
|

\
|

=
=
|
|

\
|

+
+
= =
+

p q
q p p q
p q q p
p q
p q
p q
k
p
r
q
k r
k r
Z
Z Z i Z
t a
b
p k q r p q
Z
k r M


Visto que la serie (28) converge absolutamente, entonces ella es derivable. Por consecuencia, la
serie doble (30) tambin converge absolutamente: su radio de convergencia en el momento
inicial es cero alrededor del punto = x y en este momento la corriente es infinita: la
partcula se va del punto = x (que fue su posicin inicial). Para t > 0 la corriente es cero
en el punto de la posicin inicial (la partcula ya no est ah).

Contrariamente a la funcin (28), la solucin (13) de la ecuacin no relativista no se puede
interpretar como la funcin de estado de una partcula libre (este hecho se nota en la literatura
[5], pero con las explicaciones no fiables). Visto que la ecuacin de Schrdinger de la partcula
no relativista se puede resolver por el mtodo de separacin de variables, la serie (10) en las
coordenadas (9) converge independientemente del tiempo: la serie (10) depende solo de
( ) t x x / = y converge absolutamente con el radio infinito de la coordenada . x Por
consecuencia, la funcin de Green (13): ( ) 0 /
2 2
= t para t const

sobre todo espacio real simultneamente, lo que no tiene sentido fsico. Tomando en cuenta
una primera aproximacin cuasi relativista resolvemos esta contradiccin (pero perdimos la
simplicidad de presentacin de la solucin de la ecuacin de Schrndiger).

5. Normalizacin de la funcin de Green

Empezamos por el estudio la normalizacin de la funcin de Green no relativista (13):

( )
=

=
t a
x
i
t
c
x t
2
exp ) , (
2

(31.a)

( )
k
k
k
k
t a
x
k
i
t
c
) 2 ( !
2
0

=

=
(31.b)

donde . 2 / 1 a c Usando la formula (31.a), calculamos el producto:

( )
( )
)
`

)
`

=
=
)
`

+

=

t a
x
i
t a
i
t
c
t a
x
i
t a
i
t
c
x t x t
2
2
exp
2
exp
2
2
2
exp ) , ( ) , (
2 2
2
2 2
2
(32.a)

Observamos que (32.a) se reduce a la: t c /
2
si = . Al desarrollar ahora las
funciones exponenciales de (32.a), llegamos al resultado siguiente:

k r
k r
k
k r
r
t a k r
i
t
c
x t x t
|
|

\
|
=
+
=
+
=

2
1
! !
) , ( ) , (
0 0
2

; (32.b)

de otro lado, usando la forma (31 b) de la solucin (13), este mismo producto se presente as:

,
2
1
! !
) , ( ) , (
0 0
2
k r
k r
k
k r
r
t a k r
i
t
c
x t x t
|
|

\
|
=
+
=
+
=

(32.c)

donde denotamos las matrices simtricas:

( ) ( ) ( ) ( ) { }
( ) ( ) ( ) ( ) { }. ) 1 ( ) 1 ( 2 / 1
, ) 2 ( ) 2 ( 2 / 1
2 2 2 2
2 2 2 2
r k k k r r
k r
r
k k
k
r r
k r
x x x x
x x


+
+


y denotamos: ! ! / ) 2 ( k r t a i
k r k r
k r
+
.

Como podemos observar, las matrices ) ( , ) (
k r k r
son totalmente diferentes: los
elementos de la primera tienen la potencia mxima de x igual al max {r, k}, mientras que
aquellos de la segunda matriz son de orden 2(r + k). En realidad son iguales no los elementos
de las sumas (32.a) y (32.c), sino solo las traces de las matrices que son en estas sumas:
( ) ( ) = r t r t . Observamos que la integral (14) se obtiene automticamente de la
forma exponencial (32.a) y de la propiedad siguiente de la funcin delta de Dirac:
( )

= k x d e
x k i
2 . As constatamos que la serie en la forma (32.b) con la matriz
) (
k r
nos debe llevar a la integral de normalizacin (14). La serie (32.c) represente el mismo
resultado pero con la matriz ) (
k r
y vemos que esta forma no nos llega explcitamente a la
integral de normalizacin (14). As concluimos que, mismo para la funcin (13), que es
relativamente sencilla, no posible a ver fcilmente a la diferencia entre la suma (32 b) y la suma
(32.c).

Constatamos que la funcin de Green (28) nos lleva a la serie ( ) de tipo (32.c) con la matriz
semejante a ) (
k r
. La comparacin hecha aqu nos permite concluir que para normalizar la
funcin (28) seria mejor encontrar la suma ( ) en la forma similar a la de (32.b) que (despus el
uso de la forma ya sumada de tipo (32.a)) nos permitir concluir relacionado a la normalizacin
de la funcin de Green (28).