Está en la página 1de 68

204 / Lecciones de Mec

anica Cu
antica

13

Partculas id
enticas

En este captulo se hara una introduccion al estudio de un sistema


cuantico formado por n partculas identicas, las cuales no interact
uan
entre s (n electrones por ejemplo) y que son indistinguibles[13-1], tanto
desde el punto de vista de la mecanica clasica como de la mecanica
cuantica. Como se vera, el tratamiento fsico es diferente en los dos
casos.

13.1

Trig
esima lecci
on

En mecanica clasica se describe el movimiento de un sistema fsico


de varias partculas especificando sus orbitas individuales, las cuales
se obtienen de las ecuaciones de movimiento y de las condiciones iniciales de frontera, y aunque las partculas son indistinguibles unas de
otras, tiene sentido decir que, en un instante de tiempo determinado la
partcula a se mueve en la orbita A, la partcula b se mueve en la orbita
B, la partcula c se mueve en la orbita C, etc., y cualquier permutacion de las orbitas de un par de partculas (como por ejemplo que la
partcula a se mueva en la orbita B y la partcula b en la orbita A, con
la partcula c moviendose en la orbita C, etc.), constituira una solucion
diferente al problema clasico; ya que, dicho arreglo corresponde a un
conjunto de condiciones de frontera iniciales diferentes.
205

206 / Lecciones de Mec


anica Cu
antica

13.1.1 Partculas id
enticas
En mecanica cuantica el sistema de partculas identicas esta caracterizado por una u
nica funcion de onda (vector de estado), la cual
depende de las variables de posicion q j de todas y cada una de las
partculas y del tiempo. En lugar de especificar las orbitas de cada
partcula individual, la informacion que nos da la funcion de onda es
puramente probabilstica acerca de la distribucion de las partculas sobre los estados individuales; es decir, para dos partculas identicas solo
nos informa sobre la probabilidad de hallar una de esas partculas (sin
especificar cual), en la posicion q a y la otra en la posicion q b , sin que
tenga sentido hablar de orbitas; ya que, el concepto de trayectoria clasica desaparece por completo en mecanica cuantica. As pues, contrario
a lo que ocurre en la mecanica clasica, el intercambio de dos partculas identicas no puede afectar el problema dinamico desde el punto de
vista cuantico y la informacion probabilstica que del estado se pueda
tener. Se necesita entonces introducir un nuevo postulado en la teora
que permita manejar la informacion probabilstica que da la mecanica
cuantica para un sistema de partculas identicas.

13.1.2 Caso de dos partculas id


enticas
Para iniciar el estudio del problema, se empienza por considerar un
sistema fsico formado por dos partculas identicas a y b, las cuales no
interact
uan entre s. Se describe este sistema por dos conjuntos independienets de variables q a y q b (las cuales incluyen tanto los grados
macroscopicos de libertad como las coordenadas intrnsecas del sistema
como por ejemplo el espn). Los posibles estados cuanticos individuales
de cada una de esas partculas identicas se denotan por las letras griegas , , . . . , (por simplicidad, se asume que el n
umero de estados
cuanticos es discreto y finito). Cada letra griega representa el conjunto
de todos los n
umeros cuanticos de un conjunto maximo de operadores
del sistema fsico en consideracion (operadores que deben conmutar todos entre s). En la representacion q, el conjunto de todos los estados

Partculas identicas / 207

matematicos sera entonces:


{ (q a ), (q a ), . . . , (q a )},

(13.1a)

{ (q ), (q ), . . . , (q )}.

(13.1b)

En el desarrollo que sigue es necesario tener en cuenta que debido a


la indistinguibilidad de las dos partculas, todas las magnitudes fsicas
incluyendo el
y sus operadores cuanticos asociados (observables) ,
del sistema, son simetricos con respecto al intercambio
Hamiltoniano H
de las coordenadas de las dos partculas; es decir,
a , q b ) = (q
b , q a ),
(q

a , q b ) = H(q
b , q a ).
H(q

(13.2)

Utilizando ahora los estados de las partculas individuales explcitos en


(13.1a) y (13.1b), es posible construir el conjunto de todos los estados
cuanticos disponibles para el conjunto de las dos partculas individuales,
el cual es
{ (q a ) (q b ), (q a ) (q b ), . . . , (q a ) (q b ),
(q a ) (q b ), (q a ) (q b ), . . . , (q a ) (q b ),
......,
(q a ) (q b ), (q a ) (q b ), . . . , (q a ) (q b )},
en donde el estado (q a ) (q b ) tiene por significado que la partcula
a se encuentra en el estado y la partcula b se encuentra en el estado
, el cual es matematicamente diferente al estado (q a ) (q b ) el que
tiene por significado que la partcula a se encuentra en el estado y la
partcula b se encuentra en el estado .
Debido al principio de superposicion lineal, el estado matematico
mas general que describe el sistema fsico de dos partculas identicas
esta dado por la combinacion lineal de todos los estados posibles y es
de la forma

a b
(q , q ) =
c (q a ) (q b ).
(13.3)
,=

De los postulados de la mecanica cuantica se tiene que si (q a , q b ) en


(13.3) es la funcion de onda para las dos partculas identicas, entonces

208 / Lecciones de Mec


anica Cu
antica

|c |2 es la probabilidad dehallar la partcula a en el estado y la


partcula b en el estado ; = |c |2 es la probabilidad de hallar la
partcula a en el
estado independiente del estado en que se encuentre
la partcula b, y = |c |2 es la probabilidad de hallar la partcula b en
el estado independiente del estado en que se encuentre la partcula a.
De igual manera, |c |2 es la probabilidad de hallar la partcula a en el
estado y la partcula b en el estado . Las u
nicas restricciones que dan
los postulados de la teora hasta ahora enunciados sobre los coeficientes
de
son que 0 |c |2 1, , = , beta, . . . , y
la expansi
on (13.3),
2
=
= |c | = 1.
Lo anterior esta en franca contradiccion con el hecho que el concepto de orbita carece de sentido en mecanica cuantica y que la u
nica
informacion que da la teora es la probabilidad de hallar una de las
partculas en un estado y la otra en otro estado, sin especificar cual
partcula esta en cual estado.
La u
nica manera de remediar la situacion es imponer sobre los coeficientes en (13.3) la nueva condicion matematica c = c , lo cual
puede ocurrir si se impone una de las dos siguientes restricciones sobre
la funcion de onda que representa el sistema fsico:
(q a , q b ) debe ser simetrica en las variables q a , q b .
(q a , q b ) debe ser antisimetrica en las variables q a , q b ,
restricciones que implican respectivamente que c = c y c = c .
Para lograr esta situacion es necesario introducir en la teora un nuevo
postulado, independiente de los cuatro ya enunciados en la segunda
leccion.
Postulado No. 5
Para un sistema de partculas identicas, solo son posibles aquellos
estados cuanticos para los cuales la funcion de onda es, o completamente
simetrica, o completamente antisimetrica con respecto al intercambio
de cualquier par de partculas del sistema.

Partculas identicas / 209

Operador permutaci
on
El desarrollo matematico del postulado anterior requiere la introduccion del operador permutacion Pab entre las partculas que tienen
grados de libertad q a y q b de un conjunto cualquiera de partculas identicas, el cual esta definido como:
Pab F (q a , q b ) = F (q b , q a ),
donde F (q a , q b ) es cualquier magnitud fsica o funcion de onda, funcion
de las coordenadas generalizadas q a y q b de las dos partculas.
2
lo cual puede verse inmediatamente; ya que,
= I,
Notese que Pab
2
Pab
F (q a , q b ) = Pab Pab F (q a , q b ) = Pab F (q b , q a ) = F (q a , q b ),

en cuyo caso los autovalores del operador Pab son solo 1. Efectivamente, si f (q a , q b ) y p son las autofunciones y los autovalores del operador
Pab , entonces
2
Pab
f (q a , q b ) = Pab pf (q a , q b ) = p2 f (q a , q b ) = f (q a , q b ),

lo cual tiene como consecuencia que los autovalores p del operador Pab
son solo p = 1, donde el autovalor +1 esta asociado a las funciones
simetricas respecto al intercambio de las dos partculas y el autovalor
1 esta asociado a las autofunciones antisimetricas respecto al mismo
intercambio.
Teorema
La simetra bajo el intercambio de un par de partculas, que pueda
tener la funcion de onda que representa un sistema fsico, no cambia
con el tiempo. Para la demostracion del teorema es suficiente mostrar
que
d
i

Pab = [H,
Pab ] + Pab = 0.
dt

t
Como el operador Pab no depende explicitamente del tiempo ( Pab /t =
0), basta entonces con mostrar que el operador Pab conmuta con el
Hamiltoniano del sistema fsico.

210 / Lecciones de Mec


anica Cu
antica

Pab ] = 0, es una consecuencia inmediata de la indistinguiQue [H,


bilidad de las dos partculas la cual implica un Hamiltoniano simetrico
bajo el intercambio de las coordenadas de las dos partculas; es decir,
se tiene que

Pab H
= Pab H(qa , q b )(q a , q b ) = H(qb , q a )(q b , q a )
Pab .
= H(qa , q b )(q b , q a ) = H(qa , q b )Pab (q a , q b ) = H
Lo anterior tiene como consecuencia que una funcion de onda simetrica
(antisimetrica) bajo el intercambio de dos partculas en un instante
cualquiera de tiempo, permanecera siempre simetrica (antisimetrica)
bajo el intercambio de esas partculas, en todo instante de tiempo;
condicion indispensable para que el postulado 5 tenga sentido fsico.

13.1.3 Teorema de espn y estadsticas


Aunque no es el objeto de este curso hacer una demostracion del
llamado teorema de espn y estadsticas [13-2, 13-3], es importantsimo
mencionar que en teora cuantica de campos se puede mostrar que la
funcion de onda total de un sistema de partculas identicas de espn
entero (Bosones), debe ser totalmente simetrica bajo el intercambio de
cualquier par de partculas (y se debe satisfacer la llamada estadstica
de Bose-Einstein), y la funcion de onda de un sistema de partculas
identicas de espn semi impar (Fermiones), debe ser completamente
antisimetrica bajo el intercambio de cualquier par de partculas (y se
debe satisfacer la llamada estadsitica de Fermi-Dirac).
Un estudio detallado de las estadsticas clasicas y cuanticas es el
tema de un curso de fsica estadsitica [13-4]. A manera de introduccion
veamos cual es la situacion estadstica de dos partculas identicas que
pueden ocupar solo dos estados posibles y , con q a , q b los grados de
libertad para las dos partculas las que suponemos no interact
uan entre
s:
Desde el punto de vista clasico, hay cuatro estados posibles, todos
igualmente probables:
(q a ) (q b ); (q a ) (q b ); (q a ) (q b ); (q a ) (q b ).

Partculas identicas / 211

La probabilidad de cada estado es 1/4.


Si las partculas son Fermiones cuanticos, hay un solo estado posible dado por

[ (q a ) (q b ) (q a ) (q b )]/ 2.
La probabilidad que el sistema este en este estado es uno.
Si las partculas son Bosones cuanticos, hay tres estados posibles,
igualmente probables:

(q a ) (q b ); [ (q a ) (q b )+ (q a ) (q b )]/ 2; (q a ) (q b ).
La probabilidad de cada estado es ahora 1/3.
Generalizar este analisis a un conjunto muy grande de n partculas
(n 1023 ) es el objeto de la fsica estadstica.

13.1.4 Determinante de Slater


Para el caso de dos partculas identicas que se encuentran una en el
estado y la otra en el estado , la funcion de onda antisimetrica se
puede escribir como el siguiente determinante (conocido en la literatura
como determinante de Slater [13-5]):


a
a

1

(q
)

(q
)


(q a , q b ) =
(13.4)
b
b
2 (q ) (q )
1
= [ (q a ) (q b ) (q a ) (q b )],
2

donde el factor 1/ 2 es un factor de normalizacion. Notese que para


= , el determinante es cero (las dos columnas son iguales), lo cual
no es mas que el principio de exclusion de Pauli para Fermiones.
Desafortunadamente, para una funcion de onda de dos partculas
identicas totalmente simetrica de la forma
1
(q a , q b ) = [ (q a ) (q b ) + (q a ) (q b )],
2

(13.5)

212 / Lecciones de Mec


anica Cu
antica

no existe una forma matematica cerrada similar al determinante de


Slater. Una manera simbolica de escribir esta funcion de onda podra
ser
1
(q a , q b ) =
(q a ) (q b ),
(13.6)
2 P=ab

donde P=ab se refiere a sumar sobre todas las permutaciones posibles


de los ndices a y b. De igual manera se podra escribir el determinante
de Slater de manera simbolica como
1
(q a , q b ) =
(1)P (q a ) (q b ),
(13.7)
2 P=ab
donde (1)P = 1 para una permutacion par de los ndices a y b, e igual
a 1 para una permutacion impar de esos mismos ndices.

13.1.5 Tres partculas id


enticas
Las formulas anteriores se pueden extender para el caso de tres
partculas identicas que se encuentran: una en el estado , otra en el
estado y la tercera en el estado .
La funcion de onda totalmente antisimetrica se podra escribir como
el siguiente determinante de Slater:


(q a ) (q a ) (q a )

1
a (q a , q b , q c ) = (q b ) (q b ) (q b )
3! (q c ) (q c ) (q c )

1
= [ (q a ) (q b ) (q c ) + (q b ) (q c ) (q a )
3!
+ (q c ) (q a ) (q b ) (q c ) (q b ) (q a )
(q a ) (q c ) (q b ) (q b ) (q a ) (q c )]
1
(1)P (q a ) (q b ) (q c ),
=
3! P=abc
donde (1)P = 1 para una permutacion par de los ndices a, b y c,
e igual a 1 para una permutacion impar de los mismos tres ndices.

Partculas identicas / 213

Notese que de nuevo se satisface el principio de exclusion de Pauli para


los casos = , = y = .
Para el caso de una funcion de onda totalmente simetrica de tres
partculas en estados diferentes, se tiene:
1
s (q a , q b , q c ) = [ (q a ) (q b ) (q c ) + (q b ) (q c ) (q a )
3!
+ (q c ) (q a ) (q b ) + (q c ) (q b ) (q a )
+ (q a ) (q c ) (q b ) + (q b ) (q a ) (q c )]
1
=
(q a ) (q b ) (q c ),
3! P=abc

donde P=abc se refiere a sumar sobre todas las permutaciones posibles


de los ndices a, b y c. Claro que la anterior no es la u
nica funcion
de onda simetrica que se puede construir para 3 partculas identicas.
Existen otras mas de entre las cuales se tienen por ejemplo las siguientes
tres:
(q a ) (q b ) (q c ),

(q a ) (q b ) (q c ),

(q a ) (q b ) (q c ).

13.1.6 n partculas id
enticas
Todo lo anteriores se puede generalizar para el caso de n partculas
identicas que se encuentran una en el estado , otra en el estado ,
etc. [13-6], y la enesima en el estado . La funcion de onda totalmente
antisimetrica se puede escribir entonces para este caso como el siguiente
determinante de Slater:


(q a ) (q a ) . . . (q a )


1 (q b ) (q b ) . . . (q b )
a
a b
z
... (q , q , . . . , q ) =
...
...
. . .
n! . . .
z
z
(q ) (q ) . . . (q z )

1
(1)P (q a ) (q b ) . . . (q z ),
=
n! P=ab...z
donde (1)P = 1 para una permutacion par de los ndices a, b, . . . z,
e igual a 1 para una permutacion impar de los mismos n ndices.

214 / Lecciones de Mec


anica Cu
antica

Para el caso de una funcion de onda totalmente simetrica de n


partculas en estados diferentes se tendra:

1
s... (q a , q b , . . . , q z ) =
(q a ) (q b ) . . . (q z ),
n! P=ab...z

donde P=ab...z se refiere a sumar sobre todas las permutaciones posibles de los ndices a, b . . . z.
Problemas
1. Escriba todas las funciones de onda simetricas que se pueden obtener para tres partculas identicas en 3 estados cuanticos.
2. Desarrolle el determinante de slater para el caso de 4 partculas
identicas.
3. Escriba todas las funciones de onda simetricas que se pueden obtener para cuatro partculas identicas en 4 estados cuanticos.

Bibliografa
[13-1] Ver Ref. [1] al final del texto, pp. 362-368.
[13-2] F. Ramond y A. S. Wightman, PCT, Spin and Statistics, and
All That, (Princeton University press, New Jersey, 2000).
[13-3] Ver Ref. [1] al final del texto, pp. 369-370.
[13-4] Vease por ejemplo: K. Huang, Statistical Mechanics, captulo
noveno (Wiley, New York, 1963).
[13-5] J. Slater y H. C. Verma, The Theory of Complex Spectra,
Physical Review 34-2, (1929), pp. 1293-1295.
[13-6] Ver Ref. [1] al final del texto, p. 368.

215

300 / Lecciones de Mec


anica Cu
antica

18

Dispersi
on cu
antica

Este captulo esta dedicado al estudio de la teora cuantica de la


dispersion, una de las herramientas de mayor relevancia en la mecanica
cuantica, ya que son las colisiones elasticas, inelasticas y reactivas entre
partculas, una de las pocas maneras que hay para obtener informacion
del micromundo. Igualmente, son las colisiones una ventana que nos
permite mirar el mundo atomico y subatomico, constituyendose de esta
manera en una de las formas posibles de comprobar experimentalmente
el modelo teorico de la mecanica cuantica [18-1, 18-2, 18-3].
En la practica, las colisiones entre partculas han sido el metodo
experimental por excelencia utilizado por los fsicos para obtener informacion sobre el micromundo. Vale la pena mencionar que, la vision
que se tiene hoy en da de los atomos, surgio de un experimento de
colisiones entre n
ucleos de helio (partculas ) y una lamina de oro, en
el hoy famoso experimento de Rutherford, llevado a cabo en 1909 en la
Universidad de Manchester por Hans Geiger y Ernest Mardsen [18-4],
en ese entonces estudiantes de Ernest Rutherford. De igual manera, es
mediante los resultados experimentales obtenidos en los grandes colisionadores de partculas que se ha llegado al estado de conocimiento actual
sobre los constituyentes elementales de la materia y sus interacciones
fundamentales.
Es tambien importante resaltar el impacto cientfico obtenido por
los aceleradores lineales y circulares de partculas (linac, betatron, ciclotron, sincrotron y sincrociclotron) y los colisionadores circulares [18-5].
En la actualidad hay colisionadores circulares de electrones e contra
positrones e+ en varios pases del mundo. Igualmente, funciono hasta
el a
no 2000 en el laboratorio CERN, en la frontera entre Francia y
301

302 / Lecciones de Mec


anica Cu
antica

Suiza, el colisionador e , e+ mas energetico que se ha construido a la


fecha, en los experimentos llamados LEP-I y LEP-II, donde se lograron
colisiones hasta energas de 114 GeV (114 109 electron voltios) en
el centro de masa. Igualmente, funciono en Alemania (DESY) un colisionador de electrones y protones, al igual que en los Estados Unidos
funciono el llamado Tevatron en Fermilab (Chicago), el cual estudiaba
las colisiones entre protones p+ y antiprotones p a energas del orden
de 1000 GeV (1 TeV). De especial relevancia hoy en da es el llamado
LHC (por Large Hadron Collider), aparato ubicado en el CERN y que
reemplazo al LEP, el cual entro en funcionamiento en el 2009 y que
estudia las colisiones proton-proton a energas del orden de 7000 GeV
(7 TeV) en un anillo circular de unos 27 kilometros de circunferencia.
El presente captulo se limita a estudiar solo las colisiones elasticas
entre partculas; se haran dos aproximaciones teoricas al problema: primero se analizaran las soluciones a la ecuacion integral de Schrodinger
del problema de dispersion, lo que llevara a la expansion perturbativa
de la teora, produciendo de esta manera las llamadas aproximaciones
de Born; se estudiara luego la llamada expansion en ondas parciales, la
cual esta basada en la formula de Bahuer que es la expansion de una
onda plana en sus componentes angulares o esfericos armonicos.

18.1

Cuadrag
esima tercera lecci
on

Se introduce en esta leccion el concepto de seccion eficaz y otros


conceptos fsicos necesarios para estudiar el problema de las colisiones
en mecanica cuantica. Luego, partiendo de la ecuacion diferencial de
autovalores del Hamiltoniano (ecuacion de Schrodinger independiente
del tiempo), se halla una ecuacion integral equivalente y se proponen
soluciones perturbativas para ese tipo de ecuaciones [18-6].

18.1.1 Dispersi
on por un potencial
Se estudia a continuacion la dispersion de una partcula de masa m
por un potencial V (r) estatico; es decir, independiente del tiempo. El
problema directo a resolver es: conocido el potencial, predecir, mediante

Dispersi
on cu
antica / 303

la ecuacion de Schrodinger independiente del tiempo, el comportamiento de las partculas dispersadas.


Un problema mas interesante en fsica es el conocido problema inverso de la dispersion [18-7], en el cual se desconoce la forma del potencial dispersor y mediante el conocimiento de las partculas incidentes
y sus propiedades fsicas (energa, momentum lineal, espn, etc.) y las
medidas experimentales del comportamiento de las partculas dispersadas, tratar de obtener la maxima informacion posible sobre el potencial
dispersor.
Funci
on de onda
El problema a considerar es el de una partcula de masa m incidente, descrita por una funcion de onda i0 solucion de partcula libre, la
cual se mueve desde menos infinito hacia el origen del sistema de coordenadas, donde hay un centro dispersor de masa M y rango R0 finito
[V (r > R0 ) = 0]. Luego de la colision, la partcula incidente sera dispersada en una direccion cualquiera del espacio tridimensional. A una
distancia r muy grande del centro dispersor, donde este ya no afecta
las partculas presentes, se coloca un detector que cubre un elemento
de angulo solido d, el cual medira la probabilidad que la partcula sea
dispersada en ese elemento de angulo solido.
Como puede verse de la figura (18.1), el vector de propagacion de la
partcula incidente define el eje z del sistema de referencia del problema
y el sistema dispersado se debe tomar como una onda en coordenadas
esfericas (r), con origen de estas coordenadas en el centro dispersor.
La funcion de ondas del sistema fsico descrito por la figura se puede
escribir entonces, como la superposicion de una onda plana incidente y
una onda esferica dispersada, de la forma
eikr
r
0
i (z) + (r, , )f ,

(r) eikz + f (, )

(18.1)

umero de onda; el cual, para r >> R0 ,


donde k = 2mE/2 es el n
es el mismo para la partcula incidente y para la partcula dispersada

304 / Lecciones de Mec


anica Cu
antica

Figura 18.1: Dispersion cuantica en el sistema de laboratorio.

(la primera es una onda plana libre y la segunda es una onda esferica
igualmente libre), magnitud fsica que sirve para definir los vectores de
onda k i = uz k de la partcula incidente en el eje z y k f = ur k de la
partcula dispersada en la direccion radial ur .
Que la funcion de onda (r) solucion a la ecuacion de Schrodinger
para el problema de la dispersion es de la forma dada en la ecuacion
(18.1), es algo que se va a demostrar en los desarrollos matematicos de
este captulo.
Corrientes de probabilidad
El problema siguiente es calcular las corrientes de probabilidad producidas por las ondas incidentes y dispersadas respectivamente (las
unidades fsicas de una corriente de probabilidad son T 1 L2 , corrientes de probabilidad que se interpretan como un flujo de partculas por
unidad de tiempo y por unidad de area). La forma matematica del
vector corriente de probabilidad j, para un sistema descrito por una
funcion de onda (r), esta dada por la expresion (3.9) en la seccion

Dispersi
on cu
antica / 305

(3.1.2); la cual es
r) (r)
(r)].
j = [ (r)(
2mi

(18.2)

Utilizando para la onda inciente i0 (z) = eikz , el calculo de su corriente de probabilidad es


jzi = uz [i0 (z) d i0 (z) i0 (z) d i0 (z)] = uz k/m.
(18.3)
2mi
dz
dz
Haciendo uso ahora del vector gradiente en coordenadas esfericas
= ur + u + u ,

r
r r sin
se puede calcular la corriente radial de probabilidad asociada con la onda dispersada (r, , )f f (, )eikr /r saliendo en la direccion (, ),
la cual estara dada por
ur f

[ (r, , ) f (r, , ) i (r, , ) i (r, , )]


2mi
r
r
ur k
2
=
|f (, )| ,
(18.4)
mr2

jrf =

(las componentes jf y jf son proporcionales a 1/r3 y por lo tanto despreciables en el lmite en que r tiende a infinito; ademas, no son necesarias en el desarrollo matematico que sigue, ya que: ur .u = ur .u = 0).
Secci
on eficaz
Sea dn el n
umero de partculas dispersadas por unidad de tiempo en
=
el angulo solido d en la direccion polar (, ); es decir, dn = |j f .dS|
el vector correspondiente al
| j f .ur r2 |d(, ) = jrf r2 d(, ), con dS
area del angulo solido que abarca al detector. Este n
umero de partculas
i

es obviamente proporcional a |j |, el flujo de partculas incidentes por


unidad de area, por unidad de tiempo. A la constante de proporcionalidad entre esas dos cantidades es a lo que se le llama la seccion eficaz
diferencial d(, ); es decir,
jrf r2 d(, ) = |j i |d(, ) = dn,

(18.5)

306 / Lecciones de Mec


anica Cu
antica

de donde se obtiene que la seccion eficaz diferencial esta dada por


d(, ) =

r2 jrf
d(, ).
|j i |

(18.6)

Notese que las unidades de una seccion eficaz son L2 . La seccion eficaz
total esta dada por la integral sobre todo el angulo solido de la seccion
eficaz diferencial; es decir:

r2 jrf
= d(, ) =
d
d sin
= d|f (, )|2 . (18.7)
i

|j |
0
0
Haciendo uso de las ecuaciones (18.3) y (18.4) se obtiene para la
seccion eficaz diferencial de un sistema fsico descrito por la funcion de
onda (r) en (18.1), la expresion
d(, ) = |f (, )|2 d,

(18.8)

donde para calcularla es necesario conocer f (, ), la llamada amplitud


de dispersion.

18.1.2 Ecuaci
on integral
La ecuacion de autovalores del Hamiltoniano tambien conocida como la ecuacion de Schrodinger independiente del tiempo, para el problema de una partcula de masa m que incide sobre un potencial dispersor
V (r) de masa M , es:
[ 2
]
2
+ V (r) (r) = E(r),
(18.9)
2
donde es la masa reducida entre la partcula incidente y el centro
dispersor; es decir,
1
1
1
=
+ ,

m M
( m para el caso de un potencial dispersor fijo muy masivo). Se
asumira primero que el potencial dispersor tiene un alcance finito y

Dispersi
on cu
antica / 307

que decrece mas rapido que 1/|r| en el lmite en que |r| (el
potencial Culombiano puro queda excluido de este tratamiento; ya que,
no satisface este lmite y por lo tanto requiere de un tratamiento especial
en los problemas de dispersion en mecanica cuantica).
Se definen ahora las siguientes magnitudes:

2E
2V (r)
k=
;
U (r) =
.
2

2
Con estas definiciones y luego de algunos arreglos, la ecuacion (18.9)
queda de la siguiente manera:
(2r + k 2 )(r) = U (r)(r).

(18.10)

Funci
on de Green
Se supone ahora que existe una funcion G(r r ), la cual satisface
la ecuacion
(2r + k 2 )G(r r ) = 3 (r r ),
(18.11)
[G(r r ) es llamada la funcion de Green del operador (2r + k 2 )]. Un
algebra simple permite mostrar que una solucion general a la ecuacion
(18.10) se puede escribir como

0
(r) = (r) + d3 r G(r r )U (r )(r ),
(18.12)
donde la funcion (r)0 es solucion de partcula libre; es decir, satisface
(2r + k 2 )(r)0 = 0. La demostracion que (r) en (18.12) satisface
(18.10) es simple y consiste en aplicar el operador (2r + k 2 ) sobre la
funcion de onda (r), lo cual produce:

2
2
2
2
0
2
2
(r + k )(r) = (r + k )(r) + (r + k ) d3 r G(r r )U (r )(r )

=
d3 r [(2r + k 2 )G(r r )]U (r )(r )

=
d3 r 3 (r r )U (r )(r ) = U (r)(r),

308 / Lecciones de Mec


anica Cu
antica

donde en el u
ltimo paso se ha hecho uso de una de las propiedades de la
distribucion delta de Dirac. Como puede verse, el desarrollo anterior ha
mostrado que la funcion (r) en (18.12) satisface la ecuacion (18.10).
La funcion (r) en la expresion (18.12) no es una solucion a la ecuacion (18.10) en el sentido estricto de la palabra; ya que, la funcion (r)
esta presente en ambos lados de la ecuacion. Por el contrario, la expresion (18.12) es una ecuacion integral para la funcion (r), equivalente
a la ecuacion diferencial de Schrodinger (18.10).
A una ecuacion integral como la que aparece en (18.12) se le conoce
en la literatura matematica como una ecuacion de Volterra de segunda
clase y la manera ordinaria de resolverlas es por el metodo de expansion
perturbativa, como se vera a continuacion.

18.1.3 Soluci
on por series
Para resolver la ecuacion integral (18.12) se supone que tanto (r)0
como la funcion de Green G(r r ) Grr son conocidas, ambas funciones dadas por las condiciones de frontera del problema como se vera en
la proxima leccion. Conocidas estas dos funciones, la solucion en series
de la ecuacion integral [18-8] procede por repetidas iteraciones de la
funcion (r) del lado izquierdo, en el lado derecho; donde lo que se obtiene es una serie en la perturbacion U (r) y se van a guardar terminos
en la serie hasta el orden que se desee. Se tiene entonces:

0
(r) = (r) + d3 r Grr U (r )(r )

0
= (r) + d3 r Grr U (r )(r )0

3
+ dr
d3 r Grr U (r )Grr U (r )(r )

0
= (r) + d3 r Grr U (r )(r )0

3
+ dr
d3 r Grr U (r )Grr U (r )(r )0

3
3
+ dr
dr
d3 r Grr U (r )Grr U (r )Grr U (r )(r ),

Dispersi
on cu
antica / 309

donde en la u
ltima igualdad el primer termino representa el orden cero
en la perturbacion, el segundo es el primer orden en la perturbacion
U (r), el tercero es el segundo orden en la perturbacion y el cuarto
producira el tercer orden en la perturbacion, al remplazar (r ) por
(r )0 en la triple integral; etc..

18.2

Cuadrag
esima cuarta lecci
on

En esta leccion se hallaran las diferentes funciones de Green [18-9]


del operador (2r +k 2 ) y se encontrara la funcion de onda para el problema de la dispersion cuantica, con las condiciones de frontera adecuadas.

18.2.1 Funciones de Green


Se comienza por suponer que de la funcion de Green G(x y ) = Gxy
definida en (18.11), existe una transformada de Fourier gzy con respecto
a la primera variable x; es decir, se tiene

1
Gxy =
gzy eiz.x d3 z,
(18.13)
(2)3
donde z.x = z1 x1 + z2 x2 + z3 x3 . Igualmente, del apendice (B) se puede
leer la transformada de Fourier para la distribucion delta de Dirac la
cual es

1
3
(x y ) =
eiz.(xy) d3 z.
(18.14)
(2)3
Reemplazando (18.13) y (18.14) en la ecuacion diferencial (18.11) se
tiene

(2x + k 2 )
2
2
(x + k )Gxy =
gzy eiz.x d3 z
(2)3

1
=
gzy [(2x + k 2 )eiz.x ]d3 z
(2)3

1
gzy [(z 2 + k 2 )eiz.x ]d3 z
=
(2)3

1
=
eiz.(xy) d3 z,
(2)3

310 / Lecciones de Mec


anica Cu
antica

expresion de la cual se obtiene


gzy =

eiz.y
,
(k 2 z 2 )

(18.15)

la que reemplazada en la ecuacion (18.13) produce


1
=
(2)3

Gxy

1
eiz.(xy) 3
dz=
2
2
(k z )
(2)3

dz z 2 dz

eiz.(xy)
; (18.16)
(k 2 z 2 )

integrales que hay que evaluar. Para comenzar se define w


= x y como
el eje polar del sistema coordenado, lo cual implica z.(x y ) = z.w
=
zw cos z , con w = |x y |, obteniendose de esta manera
Gxy

1
=
(2)3

z2
dz 2
(k z 2 )

dz sin z eizw cos z .

dz
0

La integral sobre dz es inmediata y da 2. Introduciendo ahora el


cambio de variable = cos z , el cual implica que d = sin z dz , la
otra integral angular se puede evaluar inmediatamente obteniendose

dz sin z e
0

izw cos z

de
1

izw

eizw
=
izw

]1
=
1

eizw eizw
;
izw

quedando por evaluar la integral sobre z = |z|. Hasta aqu se tiene:




1
1
eizw eizw
eizw
Gxy =
=
dzz
dzz
iw(2)2 0
(k 2 z 2 )
iw(2)2
(k 2 z 2 )

i
eizw
=
dzz
,
(18.17)
w(2)2
(z k)(z + k)
donde la integral desde 0 a con exponente negativo se convierte en
la integral desde a 0 con exponente positivo luego del cambio de
variable z = z. La integral que queda no existe en el sentido extricto
de la palabra; ya que, tiene dos polos, uno en z = k y el otro en z = k.
Para obviar esta dificultad se considera que z es una variable compleja
y se procede a evaluar la integral remanente por el metodo de polos,

Dispersi
on cu
antica / 311
G

G+

zR

zR

zR

Figura 18.2: Trayectorias para calcular la funcion de Green.

para lo cual se divide z en una parte real y en otra parte imaginara,


z = zR + izI , lo que tiene como consecuencia
eizw = ei(zR +izI )w = eizR w ezI w ,
lo cual implica que se debe tomar zI > 0; es decir, cerrar el contorno
en la integracion por polos en el plano superior, ya que
lm
(ezI w ) = 0,
zI
de tal manera que el semicrculo imaginario de la integral no contribuye
a la misma.
Para hacer la integral, hay tres maneras posibles de tomar el contorno cerrado en el plano superior. Estrctamente hablando, hay tres
funciones de Green, las cuales corresponden a condiciones de fronetra
diferentes. En la figura se muestran esos tres contornos posibles y el
nombre de la funcion de Green asociada con cada uno de ellos.
Se hace uso luego del teorema de Cauchy de la variable compleja
para los residuos, el cual afirma que para una variable compleja z y
f (z) una funcion de dicha variable, analtica en el punto z0 , se cumple:
I
1
f (z)
f (z0 ) =
dz
,
2i
(z z0 )

312 / Lecciones de Mec


anica Cu
antica

donde el contorno de integracion se debe tomar positivo; es decir, en el


sentido contrario al movimiento de las manecillas del reloj.

C
alculo de las funciones de Green
Se evaluara a continuacion la integral (18.17) para cada uno de los
tres contornos mostrados en la figura.
G , con polo en z = k como lo muestra la figura.
La funcion analtica en el polo es f (z) = zeizw /(z k).
El valor de la integral es
G
x
y

1
=
iw(2)2

dzz

eizw
2i eikw
eikw
=
=

.
(z k)(z + k)
i4w 2 2
4w
(18.18)

G+ , con polo en z = k como lo muestra la figura.


La funcion analtica en el polo es f (z) = zeizw /(z + k).
El valor de la integral es
G+
x
y

1
=
iw(2)2

dzz

eizw
2i eikw
eikw
=
=

.
(z k)(z + k)
i4w 2 2
4w
(18.19)

G, el llamado valor principal de Cauchy. Se demuestra en los libros


de variable compleja que esta funcion de Green esta relacionada
a G+ y G de la siguiente manera: G = (G+ + G )/2; es decir,
Gxy =

(G+
x
y

G
x
y )/2

eikw + eikw
cos kw
=
=
.
8w
4w

(18.20)

El significado fsico de estas funciones de Green es el siguiente: G+


x
y
representa una onda explosiva; es decir, teniendo como fuente el origen
y propagandose hacia el infinito. G
x
y representa una onda implosiva;
es decir, originandose en el infinito y propagandose hacia un sumidero
situado en el origen. Finalmente, Gxy representa una onda estacionaria.

Dispersi
on cu
antica / 313

Amplitud de dispersi
on f ()
Conocidas las funciones de Green, esta claro que la funcion asociada
al problema que nos ocupa es G+
erica
x
y , la que representa una onda esf
propagandose del origen hacia el infinito. Ahora, soluciones de partcula
libre moviendose en el eje z son: eikz , eikz , cos kz, y sin kz. De
nuevo, cos kz y sin kz representan ondas estacionarias, eikz representa
una onda viajera plana moviendose de menos infinito a mas infinito y
eikz representa igualmente una onda viajera plana, moviendose desde
mas infinito hacia menos infinito. De esta manera la funcion de onda
en la ecuacion (18.12) asociada al problema de la dispersion es:

0
(r) = (r) + d3 r G(r r )U (r )(r )

ikz
= e + d3 r G+ (r r )U (r )(r )

1
eik|rr |
ikz
= e
d3 r
U (r )(r ) (r)+ , (18.21)
4
|r r |
donde se ha normalizado (r)0 a uno, lo cual no es problema siempre
y cuando se normalice (r)+ de la misma manera. Se debe mostrar
finalmente que la solucion (18.21) es de la forma dada en (18.1). Lo
anterior se puede ver de inmediato si se hace la expansion de |r r | en
potencias de r = |r|; es decir,
|r r | =

2r cos r2 1/2
r2 2(r.r ) + r2 = r(1
+ 2) ,
r
r

(18.22)

donde es el angulo entre la variable de integracion r y la direccion


radial ur del vector k f = ur k, direccion que se tomara como el eje
azimutal en la integracion de la variable d3 r . El algebra muestra que
|r r | r r .ur +

|ur r |2
+ ....
2r

(18.23)

Como el potencial V (r) tiene rango finito se pueden despreciar los


terminos de orden 1/r y superiores en el exponencial; es decir,

f .
r

eik|rr | eik(rr .ur ) eikr eik(r .ur ) eikr eik

314 / Lecciones de Mec


anica Cu
antica

De manera similar se puede escribir en el denominador


|r r | (r r .ur ) r(1 r .ur /r) r.
De esta manera la funcion de onda en (18.21) se puede escribir como
+

(r)

f
1
eikr eik .r
e
d3 r
U (r ) + (r )
4
r
[
]

ikr
e
1
ikz
3 ikf .
r

+
e +

d re
U (r ) (r ) ; (18.24)
r
4
ikz

de donde se puede leer inmediatamente


1
f () =
4

f .
r

d3 r eik

U (r ) + (r ) =

1 0
|U |k+ ,
4 kf

(18.25)

f
con k0f (r) = eik .r una onda libre plana moviendose en la direccion k f =
ur k y k+ (r) es la funcion de onda total correspondiente al propagador
G+ en la ecuacion (18.12).

18.3

Cuadrag
esima quinta lecci
on

Se estudiara en esta leccion la llamada aproximacion de Born [18-10]


para el problema de la dispersion en mecanica cuantica y se aplicara a
un problema fsico de interes.

18.3.1 Aproximaci
ones de Born
Se pretende enseguida evaluar la integral en (18.25), para lo cual es
necesario manipular primero la funcion de onda (r ) = (r )+ asociada
al propagador G+ (r r ), funcion que se puede trabajar de manera
perturbativa utilizando parametros de la energa potencial para hacer
la expansion correspondiente.

Dispersi
on cu
antica / 315

Reemplazando (18.21) en (18.25) se obtiene


[
]

ik|
r
r |
1
1
3 ikf .
r

ikz
3 e

+
f () =
d re
U (r ) e
dr
U (r ) (r )
4
4
|r r |
= f ()(1)

ik|
r
r |
1
3 ikf .
r

e
+
d re
U (r ) dr
U (r ) + (r ),
16 2
|r r |

(18.26)

con f ()(1) la aproximacion en primer orden en la perturbacion U (r)


de la amplitud de dispersion, la cual esta dada por

f
(1)
f () =
d3 r eik .r U (r )eikz ,
(18.27)
4
llamada en la literatura la primera aproximacion de Born para la amplitud de dispersion. Conocida la forma del potencial, el problema se
reduce a evaluar la integral en (18.27).
Iterar el procedimiento anterior dara las otras aproximaciones llamadas aproximaciones de Born de orden superior. Un algebra simple
muestra por ejemplo que

ik|
r
r |
1

(2)
3
3 ikf .
r
e
f () =
dr
dr e
U (r )
U (r )eikz .
2

16
|r r |
(18.28)
Primera aproximaci
on de Born
Haciendo uso del vector n
umero de onda incidente el cual esta dado
por k i = uz k = (0, 0, k), se puede escribir la ecuacion (18.27) como

1
i f
(1)
f () =
d3 r ei(k k ).r U (r ).
(18.29)
4
= (k i k f ), la ecuacion (18.29) se puede escribir
Definiendo ahora K
como

1

(1)
(1)
f () =
d3 r eiK.r U (r ) = f ()k ,
(18.30)
4

316 / Lecciones de Mec


anica Cu
antica

seg
un la cual, la primera aproximacion de Born toma la forma matematica de una transformada de Fourier para el potencial dispersor
= (k i k f ) juega el papel de la variable de la
U (r), donde el vector K
transformada.
La primera aproximacion de Born se simplifica considerablemente cuando se trabaja con un potencial central V (r) = V (r); es decir,
cuando el potencial depende solo de la coordenada radial r y no de
las variables angulares y . Ya que, la mayora de los problemas de
interes practico corresponden a fuerzas centrales, vale la pena estudiar
este caso con mas detalle. Como ahora U (r ) no depende de la direccion
de integracion en d3 r , la integral en (18.30) se puede hacer de manera
como
parcial de la siguiente manera: se escoge la direccion del vector K
3
el eje polar en la integracion d r , lo cual implica que

eiK.r = eiKr

cos

d3 r = r2 sin d d .

La integral sobre d da inmediatamente 2 y definiendo de nuevo


la variable de integracion = Kr cos con d = Kr sin d , se
puede hacer de inmediato la integral sobre el angulo y obtener

1
(1)
f () =
dr r sin (Kr )U (r ),
(18.31)
K 0
que como puede verse es independiente del angulo azimutal definido
en la figura (18.1). Igualmente y para el caso de la dispersion elastica,
la figura (18.1) implica que la forma de los vectores k i = uz k y k f = ur k
permiten escribir
K
= k i .k i 2k i .k f + k f .k f = k 2 2k i .k f + k 2
K 2 = K.
= 2k 2 (1 cos ) = 4k 2 sin2 (/2),
(18.32)
de donde se puede obtener K = 2k sin(/2), lo cual da la dependencia
en de la amplitud de dispersion f (), la que para un potencial central
es independiente del angulo . Notese que es el angulo del haz saliente
respecto al eje de incidencia z en el sistema de laboratorio, como se
muestra en la figura (18.1).

Dispersi
on cu
antica / 317

18.3.2 Aplicaci
on
Como aplicacion de la primera aproximacion de Born se estudia
la dispersion elastica de un electron por un atomo neutro. Para este
problema la energa potencial se puede representar como un potencial
central, de la forma
Ze2 r/a
V (r) =
e
,
r
potencial Coulombiano apantallado de un n
ucleo de n
umero atomico Z
cuando el radio r es peque
no, pero que decae exponencialmente cuando
r es mayor que el radio a del atomo. Reemplazando este potencial en
la expresion (18.31) da:

2Ze2
2Ze2
(1)
r /a
f () =
dr
sin
(Kr
)e
=
. (18.33)
K2 0
2 (K 2 + a2 )
Notese que
lm
lm
42 Z 2 e4
|f ()(1) |2 =
a
a 4 (K 2 + a2 )2
42 Z 2 e4
m2e Z 2 e4
,
=

4 K 4
4p4 sin4 (/2)
donde se ha hecho uso de la expresion (18.32), del hecho que me es
la masa del electron para este problema y p = k. Notese que en este
lmite la seccion eficaz diferencial coincide con el resultado clasico de
Rutherford.
Para calcular la seccion eficaz total para este problema se tiene


(1) 2
=
d|f () | = 2
d sin |f ()(1) |2
0

82 Z 2 e4
sin
=
d 2
,
(18.34)
4
(K + a2 )2
0
integral que se puede evaluar haciendo el cambio de variable =
2k sin(/2), en cuyo caso sin d se reemplaza por d/k 2 , obteniendose
finalmente el valor
162 Z 2 e4 a4
= 4
.
(18.35)
(1 + 4k 2 a2 )

318 / Lecciones de Mec


anica Cu
antica

18.3.3 La matriz S
En mecanica cuantica se define la matriz S (o matriz de dispersion),
como la proyeccion de la funcion de onda (r)+ en (18.21), o ecuacion
integral de Scrhodinger, sobre una onda plana libre de n
umero de onda
k; es decir, sobre eik.r . De esta manera se obtiene
ik.
r

Sk = e |(r) = d3 reik.r (r)+


(18.36)
]
[

ik|
r
r |
1

+
3 ik.
r
ikz
3 e
U (r )(r )
=
d re
e
dr
4
|r r |

ik|
r
r |
1
3 i
3
3 ik.
re

= (2) (k k)
d rd r e
U (r )(r )+ ,
4
|r r |
+

expresion teorica de mucha utilidad, la cual se trabaja igualmente en


forma perturbativa iterando (r )+ en la u
ltima expresion.

18.4

Cuadrag
esima sexta lecci
on

En las dos lecciones siguientes se estudiara el metodo de expansion en ondas parciales y la teora del corrimiento de fase, aplicados al
problema de la dispersion en mecanica cuantica [18-11].

18.4.1 Corrimiento de fase


Como se estudio en la leccion anterior, la primera aproximacion
de Born es una tecnica muy conveniente para tratar con el problema
de la dispersion cuantica, pero suele tener limitaciones en algunas de
sus aplicaciones. Es entonces deseable mirar otras aproximaciones para
manejar el problema, en especial cuando el sistema fsico esta caracterizado por un potencial central; es decir, depende solo de la distancia
radial al origen, en cuyo caso la seccion eficaz diferencial no depende
del angulo azimutal como ya se vio.

Dispersi
on cu
antica / 319

Introducci
on matem
atica
Para el problema de un potencial central, la funcion de ondas solucion a la ecuacion de Schrodinger puede escribirse como
(r) = R(r)Ylm (, ),
donde Ylm (, ) son los esfericos armonicos. Si por alg
un motivo la
funcion de onda no depende del angulo (como es el caso para el
potencial central), entonces la forma de la funcion se simplifica a
(r) = R(r)Pl (cos ),
donde Pl son los polinomios de Legendre de orden l debidamente normalizados. La solucion as dada representa una autofuncion simultanea
de la energa y el momentum angular, asociada a un valor l de esta
u
ltima magnitud fsica.
Utilizando el Laplaciano en coordenadas esfericas
2 =

1 2
L2
(r
)

,
r2 r r
2 r 2

y haciendo uso de la propiedad L2 Pl (cos ) = l(l + 1)2 Pl (cos ), la


ecuacion radial toma la forma
[
]
2 1 2 R
l(l + 1)

(r
)
R + V (r)R = ER.
(18.37)
2m r2 r
r
r2
Definiendo de nuevo k 2 = 2mE/2 y U (r) = 2mV (r)/2 , se tiene
[
]
1 2 R
l(l + 1)
2
(r
) + k U (r)
R = 0.
(18.38)
r2 r
r
r2
Haciendo igual que antes ul,k (r) = rR(r), se obtiene para la funcion
ul,k la ecuacion diferencial
[
]
d2
l(l + 1)
2
ul,k (r) + k U (r)
ul,k (r) = 0,
(18.39)
dr2
r2
donde los subndices l y k estan relacionados a valores del momentum
angular y la energa respectivamente. Las condiciones de frontera para

320 / Lecciones de Mec


anica Cu
antica

la funcion ul,k (r) en el origen son ul,k (r = 0) = 0, funcion que se puede


suponer real y que debe normalizarse de manera conveniente.
Para la region r > R0 donde R0 es el rango del potencial, la ecuacion
diferencial anterior toma la forma
[
]
d2
l(l + 1)
2
ul,k (r) + k
ul,k (r) = 0, r > R0 ;
(18.40)
dr2
r2
ecuacion conocida como esferica de Besel y que tiene por solucion mas
general
ul,k (r) = Bl rjl (kr) + Cl rl (kr),
(18.41)
donde jl (kr) y l (kr) son las funciones esfericas de Besel y de Newman
respectivamente, las cuales estan definidas por
1 d l sen
)
,
d

1 d l cos
l () = (1)l l (
)
.
d

jl () = (1)l l (

(18.42)

Relacionadas con estas soluciones existen igualmente las funciones esfericas de Haenkel de primera y segunda clase dadas por
1 d l ei
)
,
d
1 d l ei
(2)
hl () = jl () il () = i(1)l l (
)
.
d
(1)

hl () = jl () + il () = i(1)l l (

(18.43)

Es facil ver que en el lmite en que = kr tiende a infinito, las


funciones esfericas de Besel y de Newman satisfacen:
1
l
sen(kr ),
kr
2
1
l
l (kr) cos(kr ),
kr
2
jl (kr)

(18.44)
(18.45)

las cuales reemplazadas en (18.41) producen en el lmite kr 1


ul,k (r)
sen(kr l/2)
cos(kr l/2)
Bl
Cl
,
r
kr
kr

(18.46)

Dispersi
on cu
antica / 321

la cual se puede escribir de manera conveniente como


sen(kr l/2 + l )
ul,k (r)
Al
(18.47)
r
kr
Al
=
[sen(kr l/2) cos l + sen l cos(kr l/2)] ;
kr
comparando esta expresion con la anterior se obtiene Bl = Al cos l y
Cl = Al sen l . La constante de normalizacion Al se escoge igual a 1
por conveniencia, lo cual implica una normalizacion de las funciones de
onda ul,k (r) de la forma


2

drul,k (r)ul,k (r)


r drRl (kr)Rl (k r) =
0
0

1
=
dr sen(kr l/2 + l ) sen(k r l/2 + l )

2kk

=
(k k ).
2k 2
Se puede entonces escribir la solucion radial para el problema de la
dispersion cuantica, en el lmite kr 1 como
Rl,k (r)

ul,k (r)
sen(kr l/2 + l )

,
r
kr

(18.48)

donde la constante de integracion l es llamada el corrimiento de fase


de la dispersion, nomenclatura que se aclarara en la siguiente leccion.

18.4.2 Relaci
on entre el potencial U (r) y la fase l
Es ahora conveniente tener una expresion matematica que relacione
el potencial de dispersion U (r) con el corrimiento de fase l . Para ello
notese que la funcion radial, solucion a la ecuacion de Schrodinger de
partcula libre en todo el intervalo 0 r < , es rjl (kr) y por lo tanto
satisface la ecuacion diferencial
]
[
l(l + 1)

2
[rjl (kr)] = 0,
[rjl (kr)] + k
r2

322 / Lecciones de Mec


anica Cu
antica

(aunque rl (kr) es tambien solucion, esta no satisface la condicion de


frontera en el origen). Multiplicando a izquierda la ecuacion anterior
por ul,k y restandola de la ecuacion (18.39), multiplicada previamente
a izquierda por rjl (kr), produce la relacion
ul,k [rjl (kr)] rjl (kr)ul,k =
= jl U (r)rul,k .

}
d {
ul,k [rjl (kr)] rjl (kr)ul,k ]
dr
(18.49)

Integrando ahora esta expresion entre cero e infinito y haciendo uso


del hecho que tanto ul,k como jl (kr) se anulan en r = 0, se obtiene la
expresion
]
]
(rjl (kr)) ul,k rjl (kr)ul,k 0 = (rjl (kr)) ul,k rjl (kr)ul,k
k
= 2 [cos(kr l/2) sen(kr l/2 + l )
k
sen(kr l/2) cos(kr l/2 + l )]

sen l
=
=
drjl U (r)rul,k ,
k
0
donde se ha hecho uso de las formas asintoticas de rjl (kr) en la primera
de las ecuaciones en (18.44) y de ul,k (r) en (18.48). De la expresion
anterior se concluye que

sen l = k

drrjl (kr)U (r)ul,k (r),

(18.50)

ecuacion integral bastante compleja [ya que bajo el integrando se tiene


la funcion ul,k (r) la cual depende de la forma del potencial y en el
lmite kr >> 1 tiene una dependencia en l ], pero de mucha utilidad
en la expansion en ondas parciales de la amplitud de dispersion, como
se vera en la proxima leccion.
Notese de esta u
ltima expresion que l depende del potencial U (r),
no solo por que aparece en forma explcita en la integral, sino tambien
por la dependencia en el potencial que debe tener la funcion uk,l (r).

Dispersi
on cu
antica / 323

18.5

Cuadrag
esima s
eptima lecci
on

Para hacer la expansion en ondas parciales de la funcion (r)+ que


describe la dispersion de una partcula por un potencial central, se
hara uso de la formula de Bauer la cual se introdujo en la vigesimo
quinta leccion. La expresion, asociada a la funcion de onda de una
partcula libre, representa la expansion en ondas esfericas y en valores
del momento angular l, de una onda plana de la forma eikz = eikr cos .
En forma explcita se tiene:
e

ikz

=e

ikr cos

il (2l + 1)jl (kr)Pl (cos ).

(18.51)

l=0

18.5.1 Expansi
on de + (r)
La funcion de onda que describe un sistema fsico en el caso mas
general, es una combinacion lineal de un conjunto completo de autofunciones de un conjunto maximo de operadores. Con base en los resultados
obtenidos en la leccion anterior y debido a que para un potencial central el Hamiltoniano conmuta con el momentum angular total y por lo
tanto las funciones estan rotuladas por los n
umeros cuanticos k y l, se
propone la siguiente expansion para la funcion de ondas + (r), solucion
al problema de la dispersion cuantica:
+ (r) =

al Pl (cos )

l=0

ul,k (r)
,
r

(18.52)

donde los al son los coeficientes de la expansion a ser calculados a continuacion, los que no dependen del ndice k pues la energa es constante
en los problemas de dispersion elastica. En lugar de trabajar con las soluciones exactas de la ecuacion radial ul,k (r), las cuales no se conocen, se
hara el analisis en el lmite asintotico, para valores de kr 1, haciendo
uso de la expresion (18.48) seg
un la cual ul,k (r) sen(kr l/2+ l )/k;
es decir, se usara
+ (r)

l=0

al Pl (cos )

sen(kr l/2 + l )
.
kr

(18.53)

324 / Lecciones de Mec


anica Cu
antica

Para ser consistentes se debe, de igual manera, hacer uso en la formula


de Bauer (18.51) de la forma asintotica de jl (kr) para valores kr 1
dada en la expresion (18.44); es decir, jl (kr) sen(kr l/2)/(kr), la
cual implica
ikz

ikr cos

=e

il (2l + 1)Pl (cos )

l=0

sen(kr l/2)
.
kr

(18.54)

Comparando las expresiones (18.53) y (18.54) se puede ver que, el


efecto del potencial dispersor sobre una onda incidente de momento
angular l, es desfasar dicha onda en un valor l .
Las expansiones anteriores se van a remplazar en la expresion (18.24),
seg
un la cual, para r R0 , se tiene
(r)+ eikz + f (, )

eikr
,
r

(18.55)

con f (, ) la amplitud de dispersion, la que para un potencial central


U (r) no depende de y esta dada por (18.25); es decir,

1
f
f () =
d3 r eik .r U (r )(r )+
4

1
f
2

r dr U (r ) d eik .r (r )+ .
=
4

(18.56)

Reemplazando las expresiones (18.53) y (18.54) en (18.55), se obtiene


la siguiente ecuacion valida en el lmite kr 1
(r)
+

l=0

l=0

al Pl (cos )

sen(kr l/2 + l )
kr

(18.57)

sen(kr l/2) eikr


i (2l + 1)Pl (cos )
+
f (),
kr
r
l

la cual es de gran utilidad en el analisis que sigue.

Dispersi
on cu
antica / 325

18.5.2 Amplitud de dispersi


on
Haciendo uso de la expansion (18.52) en la amplitud de dispersion
(18.56) se tiene

f () =
al r dr U (r )ul,k (r ) d eikr cos Pl (cos ),
4 l=0
de la cual se puede evaluar la integral angular haciendo uso de la formula
de Bauer en la forma
e

ikf .
r

=e

ikr cos

1
=
(2l + 1)jl (kr )Pl (cos ),
l
i
l =0

lo que implica


1 al (2l + 1)
r dr U (r )ul,k (r )jl (kr )Ill ,
f () =

l
4 l=0 l =0
i
donde la integral angular toma la forma

Ill = d Pl (cos )Pl (cos ),


la cual se puede evaluar haciendo uso del teorema de adicion de los
momentos angulares

+l

4
Yl m ( )Yl m (),
Pl (cos ) =

(2l + 1) m =l

donde el significado de los angulos es el siguiente: es el angulo entre


las direcciones r(k f ) y r , y son los angulos polares de la variable
de integracion r y y son los angulos del vector r para el sistema de
laboratorio bosquejado en la figura (18.1). Haciendo uso de la relacion
para los polinomios de Legendre

Yl0 ( , ),
Pl (cos ) =
2l + 1

326 / Lecciones de Mec


anica Cu
antica

y de la ortonormalidad de los esfericos armonicos, se obtiene finalmente


4
Ill =
Pl (cos )ll ,
(2l + 1)(2l + 1)

(18.58)

expresion que reemplazada en la amplitud de dispersion produce


f () =

l=0

1
al l Pl (cos )
i

r dr jl (kr )U (r )ul,k (r ),

(18.59)

en la cual se puede hacer uso de la relacion (18.50) para llegar finalmente


a la expresion

1
sin l
f () =
al l Pl (cos )
.
(18.60)
i
k
l=0

18.5.3 Coeficientes de la expansi


on
Reemplazando (18.60) en (18.57) se tiene

al Pl (cos )

l=0

l=0

sen(kr l/2 + l )
kr

il (2l + 1)Pl (cos )

sen(kr l/2) eikr 1


sen l
al l Pl (cos )
+
;
kr
r l=0 i
k

eliminando la dependencia en (multiplicando por sen Pl (cos ) e integrando sobre d) y haciendo uso del hecho que 1/(i)l = eil/2 se
obtiene la expresion
al

sen(kr l/2)
ei(krl/2) sen l
sen(kr l/2 + l )
= il (2l + 1)
+ al
.
kr
kr
r
k

Multilicando por kr, expandiendo el exponencial en senos y cosenos y


usando la identidad sen(krl/2+l ) = sen(krl/2) cos l +cos(kr
l/2) sen l se llega a la ecuacion
al cos l = il (2l + 1) + ial sen l ,

Dispersi
on cu
antica / 327

la cual tiene por solucion


al = il (2l + 1)eil .

(18.61)

Haciendo uso de este resultado se puede escribir la funcion de ondas en


(18.53) como
(r)
+

il (2l + 1)eil Pl (cos )

l=0

sen(kr l/2 + l )
.
kr

(18.62)

y la amplitud de dispersion en (18.60) como

1
(2l + 1)eil Pl (cos ) sen l =
f ()l .
k l=0
l=0

f () =

(18.63)

Esta expresion es la formula central del metodo de expansion en


ondas parciales, ya que, ella permite calcular la seccion eficaz diferencial
(y de ella la seccion eficaz total), una vez se conozca el corrimiento de
fase l el cual esta relacionado a la forma del potencial mediante la
expresion (18.50).

18.5.4 C
alculo de la secci
on eficaz
Para el analisis se comienza por suponer que la sumatoria en (18.63)
converge, para lo cual es necesario que los primeros terminos dominen
sobre los restantes. Se supone primero que solamente la dispersion de
las ondas S (l = 0) es importante. En este caso solo es necesario tener
en cuanta el primer termino con l = 0 en la sumatoria en (18.63).
Debido a que P0 (cos ) = 1 se tiene que
f s () =

1 i0
e sen 0 ,
k

(18.64)

lo cual permite hallar la seccion eficaz diferencial


d s () = |f s ()|2 d =

sen2 0
d,
k2

(18.65)

328 / Lecciones de Mec


anica Cu
antica

la cual es independiente del angulo . En otras palabras, la dispersion


de las ondas s (l = 0) se caracteriza por ser isotropica.
Para el caso en que tanto las ondas s como las p (l = 1) contribuyan
de manera apreciable, se tiene de acuerdo con (18.63) que
f s+p () =

1 i0
[e sen 0 + 3ei1 sen 1 cos , ]
k

(18.66)

1
(A + B cos + C cos2 )d,
k2

(18.67)

de la cual se obtiene
d s+p () =

donde A = sen2 0 , B = 6 cos(0 1 ) sen 0 sen 1 y C = 9 sen2 1 .


Como la convergencia de la sumatoria en (18.63) requiere que 1 << 0 ,
entonces, la distribucion angular anterior esta dominada por los dos
primeros terminos A y B.

18.5.5 Secci
on eficaz total
De la expresion (18.63) se puede obtener la seccion eficaz diferencial
general, la cual esta dada por
2


1

d() = 2 (2l + 1)eil Pl (cos ) sin l d

k
l=0

d
(2l + 1)(2l + 1)ei(l l ) sin l sin l Pl (cos )Pl (cos ).
=
k 2 l,l =0

Ahora, para hallar la seccion eficaz total = d() = d|f ()|2 , se


hace uso de la propiedad de ortogonalidad de los polinomios de Legendre

2
d sin Pl (cos )Pl (cos ) =
ll ,
(2l + 1)
0
la que al ser usada en la integral angular produce
=

4
2
(2l
+
1)
sin

=
l .
l
k 2 l=0
l=0

(18.68)

Dispersi
on cu
antica / 329

De esta expresion se puede ver que cada onda parcial contribuye de


manera incoherente a la seccion eficaz total, con un valor maximo dado
por
4
l
max
= 2 (2l + 1)
(18.69)
k

18.5.6 Teorema
optico
Se conoce con este nombre a la relacion que hay entre la seccion
eficaz total y la amplitud de dispersion en la direccion de incidencia.
Para hallar la relacion se toma el valor = 0 en la expresion (18.63) y
se hace uso del hecho que Pl (0) = 1. Se tiene entonces
1
f (0) =
(2l + 1)eil sin l .
k l=0

Tomando la parte imaginaria de esta u


ltima expresion se obtiene
1
(2l + 1) sin2 l ,
Im.f (0) =
k l=0

lo que comparado con la expresion (18.68) permite escribir el siguiente


resultado, simple pero importante
T =

4
Im.f (0),
k

(18.70)

conocido en la literatura como el teorema optico para la seccion eficaz


total, llamado as debido a la similitud que tiene con la relacion que
hay en optica entre la parte imaginaria del ndice de refraccion y el
coeficiente de absorcion [18-12].

Problemas
1. Calcule Jf y Jf para la funcion de onda en (18.1).

330 / Lecciones de Mec


anica Cu
antica

2. Derive la ecuacion en (18.61).


3. Haciendo uso de la primera aproximacion de Born, calcule la seccion eficaz diferencial y total para los siguientes potenciales:
a)

{
V (r) =

b)

V0
0

: 0ra
: r>a

V (r) = er , > 0, > 0

c)
V (r) =

er
, > 0, > 0.
r

4. Utilizando ul,k (r) r cos l jl (kr) en (18.50), halle la amplitud


de dispersion f s (), la seccion eficaz diferencial d (s) y la seccion
(s)
eficaz total t correspondientes al valor del momento angular
l = 0, para los 3 potenciales del problema anterior.

Bibliografa
Nota. Los tres primeros textos citados corresponden a tratados avanzados, dedicados en su totalidad a la teora cuantica de la dispersion, altamente recomendados a aquellos estudiosos que pretendan
profundizar en el tema.
[18-1] John R. Taylor, Scattering Theory: The Quantum Theory of
Nonrelativistic Collisions (Dover books on engineering and technology, 2006).
[18-2] Roger G. Newton, Scattering Theory of Waves and Particles
(Dover books on physics, second edition 2002).
[18-3] Ta-you Wu y Takashi Ohmura, Quantum Theory of Scattering
(Dover books on physics, 2011).
[18-4] H. Geiger y E. Marsden, On a Diuse Reflection of the Particles, Proceedings of the Royal Society A82 (1909) pp. 495-500.
[18-5] Edmund Wilson, An Introduction to Particle Accelerators
(Oxford University Press, 2001).
[18-6] Ver Ref. [1] al final del texto, pp. 298-312.
[18-7] Fioralba Cakoni y David Colton, A Qualitative Approach to Inverse Scattering Theory (Springer books on applied mathematical
sciences, 2014)
[18-8] F. G. Tricomi, Integral Equations (Dover Books on Mathematics, New York, 1985).
331

332 / Lecciones de Mec


anica Cu
antica

[18-9] Ivar Stakgold y Michael Holst, Greens Functions and Boundary


Value Problems (Pure and Applied Mathematical Series, Wiley,
Third Edition, 2013).
[18-10] Ver Ref. [1] al final del texto, pp. 324-326.
[18-11] Ver Ref. [1] al final del texto, pp. 328-330.
[18-12] Max Born, Emil Wolf et al, Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diraction of Light
(Cambridge University Press; 7th edition, 1999), p. 732.

19

T
opicos avanzados

En este captulo se estudiaran los rudimentos de tres topicos avanzados de la mecanica cuantica: primero la formulacion de la teora en
integrales de trayectoria, luego se introducira el formalismo de la matriz
densidad y finalmente se hara una breve introduccion a dos ecuaciones
de onda relativistas conocidas como las ecuaciones de Klein-Gordon y
de Dirac.

19.1

Cuadrag
esima octava lecci
on

En esta leccion se introduce el concepto de integrales de trayectoria


y se aplica al caso simple de la partcula libre.

19.1.1 Integrales de trayectoria


La formulacion de la mecanica cuantica conocida como integrales
de trayectoria fue desarrollada por el fsico estadounidense Richard
Feynman como parte de su trabajo doctoral y luego posdoctoral en
Princeton [19-1]. Aunque la formulacion requiere de herramientas matematicas avanzadas, lo que se pretende en esta leccion es hacer enfasis
en los aspectos conceptuales y fsicos que dan soporte a esta formulacion novedosa de la teora, la cual se ha convertido en la favorita de
los fsicos que trabajan en teoras de campos cuanticos; ya que, es la
u
nica manera consistente conocida de cuantizar las teoras de campo,
que tienen como soporte grupos continuos de simetra no Abelianos.
333

334 / Lecciones de Mec


anica Cu
antica

En esta formulacion, el elemento matematico del espacio de configuracion conocido como la amplitud de transicion o propagador, y no
la funcion de onda, es el elemento central de la teora, y su calculo
matematico, en la mayora de los casos, requiere tecnicas avanzadas de
integracion (utilizar la llamada integral de Wiener [19-2]).

19.1.2 Conceptos b
asicos
Las formulaciones de Heisenberg y de Schrodinger de la mecanica
cuantica hechas en el espacio de representaciones, tienen como finalidad determinar el conjunto completo de autovalores y autofunciones
del operador Hamiltoniano del sistema fsico. Sin embargo, se sabe que
en mecanica clasica la formulacion Lagrangiana de la teora es completamente equivalente a la formulacion Hamiltoniana.
En 1933 Dirac se pregunto si podra existir la misma equivalencia
en mecanica cuantica, dejando de paso un problema propuesto el cual
consista en hallar la forma de la Amplitud de la transici
onde un
sistema fsico que se mueve del punto inicial r0 y tiempo t0 , al punto
final rf y tiempo tf ; amplitud que se denota como
K(rf , tf ; r0 , t0 ) rf , tf |r0 , t0 ,

(19.1)

elemento matematico conocido tambien como el propagador, el cual a


diferencia de la funcion de onda, es un elemento del espacio de configuraciones del sistema fsico. Si el Hamiltoniano es independiente del
tiempo, es posible hacer t0 = 0 sin perder generalidad y trabajar solo
con la variable t = tf t0 = tf .
Richard Feynman resolvio en 1948 el problema planteado originalmente por Dirac [5], desarrollando el siguiente programa: [19-1]:
Enumerar todas las trayectorias matematicamente posibles entre
los puntos inicial y final.
Dividir cada trayectoria en segmentos rectilneos peque
nsimos
(infinitesimales).

Calcular la accion clasica S = Ldt de cada segmento en cada


trayectoria, donde L se refiere al Lagrangiano clasico del sistema.

T
opicos avanzados / 335

Asignar a cada segmento una amplitud de transicion, la cual es


proporcional a eiS[r(t)]/ , con la constante de proporcionalidad calculada al final como una constante global de normalizacion.
Sumar las amplitudes sobre todos los segmentos de una trayectoria y luego sobre todas las trayectorias matematicamente posibles
(suma que se convierte en una integral con un n
umero infinito no
contable de integrales, llamada integral de trayectoria).
La suma total resultante es la amplitud de transicion buscada y
su modulo cuadrado es la probabilidad de transicion del punto
(r0 , t0 ) al punto (rf , tf ) del sistema fsico.
De conformidad a este programa, se debe evaluar la siguiente sumatoria:

K(rf , t; r0 ) = A(t)
eiS[r(t)]/ ,
(19.2)
todas

donde la sumatoria se debe hacer sobre todas las trayectorias matematicamente posibles.
Por que la sumatoria infinita en (19.2) no diverge? Por la presencia
del factor 1/ en el exponencial, como puede verse al tomar el lmite clasico cuando 0. En dicho lmite, solo la trayectoria para la
cual S = 0 contribuye (la trayectoria clasica). Para trayectorias cuya
accion difiere en S , o valores mayores, las contribuciones al propagador sufren de interferencia destructiva y cancelan; de esta manera,
contribuciones al propagador de trayectorias alejadas de la trayectoria
clasica de mnima accion, sufren de interferencia destructiva y cancelan
en el agregado.
Si se denota la trayectoria clasica por rcl (t), la cual es la trayectoria correspondiente al valor mnimo de la accion S[rcl ], esta debe
ser estacionaria hasta primer orden en la variacion y para el sistema
macroscopico debe ser la trayectoria observada con muy poca incertidumbre. De esta manera, las trayectorias cercanas a la accion clasica no
tienen variaciones de primer orden y contribuyen con fases coherentes
a la sumatoria infinita. Trayectorias con una accion mayores que
la accion clasica estan fuera de fase e interfieren destructivamente unas
con otras. Integrar sobre mas y mas de esas trayectorias que estan fuera

336 / Lecciones de Mec


anica Cu
antica

de fase, tiene como resultado que sus contribuciones a la sumatoria dan


cero en el agregado.

19.1.3 Partcula libre unidimensional


Para el caso de una partcula libre que se mueve en una sola dimension, el Lagrangiano clasico contiene solo el termino de energa
cinetica. El primer paso es discretizar cada una de las trayectorias posibles al dividir el tiempo en intervalos muy peque
nos (infinitesimales)
t (tf t0 )/N , de tal manera que los puntos intermedios de cada
trayectoria son (x1 , t1 ), (x2 , t2 ), . . . (xN 1 , tN 1 ), con tN = tf . De esta
manera se espera recuperar la trayectoria continua al tomar el lmite
N .
Asumiendo ahora que para cada segmento de una trayectoria entre
tj y tj+1 = tj + t la energa cinetica se puede suponer constante, la
accion clasica para ese segmento tomara entonces la forma:
(
)2
tj +1
m xj+1 xj
m
m
2
Sj =
x(t)

dt
(tj+1 tj ) =
(xj+1 xj )2 .
2
2
t

t
2t
j+1
j
tj
(19.3)
El tomar todas las trayectorias matematicamente posibles entre
(x0 , t0 ) y (xN , tN ) es simplemente integrar cada variable xj , j =
1, 2, . . . , N 1 en cada instante de tiempo tj , entre < xj < . De
esta manera se tiene



K(xN , tN ; x0 , t0 ) = A(t)
dx1
dx2 . . .
dxN 1

[
]
j=N
i m
exp
(xj xj1 )2
2t j=1
[ j=N
]

= A(t)
DN x exp k
(xj xj1 )2 (19.4)
,

j=1

donde A(t) es una constante de normalizacion, seha definido el parametro k = m/(i2t) y se ha utilizado la notacion DN x para la integral
m
ultiple. Debe tenerse en cuenta que en alg
un momento es necesario

T
opicos avanzados / 337

tomar el lmite N , en cuyo caso la integral se convierte en un


n
umero infinito no contable de integrales, elemento matematico conocido como integral de Wiener.
El paso siguiente es dise
nar una estrategia para evaluar las integrales. Haciendo uso de la propiedad

j=1

j=N

j=N

(xj xj1 ) =
2

(xj xj1 )2 + (x2 x1 )2 + (x1 x0 )2 ,

j=3

2
y utilizando el valor de la integral dyey = , se puede proceder
a hacer primero la integracion sobre la variable x1 , tal que

dx1 exp{k[(x2 x1 )2 + (x1 x0 )2 ]}
(19.5)


2
2
dx1 exp[2k(x21 x1 x0 x2 x1 )]
= exp[k(x2 + x0 )]

[
]

k
2
= exp (x2 x0 ) ,
2
2k
En el resultado anterior, los terminos constantes pueden incluirse en el
factor de normalizacion A(t).
Haciendo a continuacion la integracion sobre la variable x2 se tiene

k
dx2 exp{ [2(x3 x2 )2 + (x2 x0 )2 ]}
(19.6)
2

[
]

k
2
= exp (x3 x0 ) ,
3
3k
Iterando este proceso y continuando con la integracion sobre las
variables x3 , x4 , . . . , xN 1 , se obtiene el factor k(xN x0 )/N en el
exponente. Finalmente, haciendo uso del hecho que N t = (tN t0 ) =
t, se llega al resultado final
[
]
k
2
K(xN , tN ; x0 , t0 ) = A(tN t0 ) exp (xN x0 )
(19.7a)
N
]
[
im
2
(x x0 ) .
(19.7b)
K(x, t; x0 ) = A(t) exp
2t

338 / Lecciones de Mec


anica Cu
antica

Interpretando K(x, t; x0 ) como la amplitud de transicion del punto


x0 , t0 = 0 al punto x en el tiempo t, entonces, |K(x, t; x0 )|2 correspondera a la probabilidad de la transicion y el valor para A(t) se obtendra
al normalizar esta amplitud
de transicion para un valor de t constante;

es decir, haciendo dxK(x, t; x0 ) = 1; lo que produce finalmente la


expresion:

K(x, t; x0 ) =

[
]
m
im
2
exp
(x x0 ) ,
2it
2t

(19.8)

el cual es el propagador de una partcula libre moviendose en una dimension; que como puede verse para este caso en particular, recibe
contribuciones solamente de la trayectoria clasica.
El procedimiento anterior se puede generalizar de inmediato al movimiento en tres dimensiones y a otros problemas fsicos con un Lagrangiano mas complejo, como es el caso para el oscilador armonico
unidimensional para el cual L = m2 (x 2 2 x2 ).

19.1.4 Propagadores
Para resolver el problema planteado originalmente por Dirac en 1933
en el marco de la formulacion de Schrodinger de la mecanica cuantica,
es necesario introducir el concepto del propagador [19-3]. Veamoslo para
el caso del movimiento unidimensional de la partcula libre.
Partiendo de la ecuacion de Schrodinger
i

|(x, t) = H|(x,
t),
dt

(19.9)

es independiente del
la cual, para el caso en que el Hamiltoniano H
tiempo, se puede integrar de la forma
|(x, t) = eiH(tt0 )/ |(x, t0 ),

(19.10)

donde se le llama propagador al operador exponencial que genera la


dependencia temporal del vector de estado, el que como puede verse

T
opicos avanzados / 339

t0 )/], el cual es un operador


esta dado por U (t t0 ) = exp [iH(t
Se tiene entonces
unitario debido a la hermiticidad del Hamiltoniano H.
|(x, t) = U (t t0 )|(x, t0 ).

(19.11)

Para la partcula libre unidimensional y tomando t0 = 0, se tiene




2

iHt/
iHt/

U (t) = e
=
dke
|kk| =
dkeik t/2m |kk|,

(19.12)
donde se ha hecho uso de la completez en el espacio de los momen
tums: 1 = dk|kk| (en notacion de Dirac) y de la relacion H|k
=
2 2
( k /2m)|k para la partcula libre en una dimension. De esta u
ltima
ecuacion es posible obtener

2

x|U (t, 0)|x0 =


dkeik t/2m x|kk|x0

dk ik2 t/2m ik(x0 x)


=
e
e
(19.13)
2

[
]
m
im
2
=
exp
(x x0 )
2it
2t
= K(x, t; x0 ),

2 para
donde se ha hecho uso de la relacion k|x = exp
(ikx)/
y 2
partcula libre y se ha usado de nuevo la integral dye
= .

19.1.5 Principio de Huyghens


Haciendo uso de los resultados anteriores es posible escribir

(x, t) = x, t| =
dx x, t|x , t x , t |


=
dx x, t|x , t (x , t )
(19.14)


=
dx K(x, t; x , t )(x , t ),

340 / Lecciones de Mec


anica Cu
antica

lo que no es mas que el principio de Huyghens aplicado a la onda


descrita por la funcion (x, t)!
De esta manera, es posible mirar la formulacion de la mecanica
cuantica en integrales de trayectoria y equivalentemente la teora de los
propagadores, como una formulacion que tiene como soporte fsico, el
uso del principio de Huyghens de la optica ondulatoria.

19.2

Cuadrag
esima novena lecci
on

En esta leccion se introduce el concepto de la matriz de densidad


en mecanica cuantica y se estudian algunas de sus propiedades. Este
concepto, considerado por muchos como una nueva formulacion de la
teora al mismo nivel que la formulacion matricial de Heissenberg o la
formulacion de la funcion de onda de Schrodinger, es de particular relevancia cuando se esta trabajando con estados cuanticos que son una
mezcla estadstica de varios estados puros con probabilidades (factores de peso estadsticos) bien definidas. La matriz densidad tiene su
maxima aplicacion en problemas cuanticos relacionados con la fsica
estadstica [19-4].

19.2.1 Introducci
on
Sea |i , i = 1, 2, . . . , j un conjunto de j estados puros ortonormales (j |i = ij ), los cuales son necesarios para caracterizar un
sistema fsico dado, donde cada estado
|i tiene un factor de peso es
tadstico (i) , con 0 < (i) 1 y i (i) = 1 . De conformidad con el
formalismo de la mecanica cuantica, cada estado |i se puede expandir
en un conjunto completo de vectores |n , autovectores de un conjunto
maximo de operadores del sistema fsico en consideracion; es decir,
|i =

c(i)
n |n ,

(19.15)

T
opicos avanzados / 341
(i)

(i)

con cn = n |i y con |cn |2 la probabilidad con la cual el autoestado


|n ocurre en el estado puro |i . Ademas, se debe cumplir que

2
n |m = nm ;
|c(i)
n | = 1, i = 1, 2, . . . , j.
n

En mecanica cuantica, el problema basico es calcular el valor espe asociado con la magnitud
rado de un operador (observable) arbitrario
fsica , el cual para uno de los estados puros |i esta dado por
i =

i
i ||
(i)
(i) (i)
m =

|
|
c(i)
c
=
c
n
n cm nm . (19.16)
m
n
i |i
n,m
n,m

para el sistema
El gran promedio del valor esperado del observable
descrito por los j estados puros estara dado entonces por
)
(
j
j

(i)
=
(i) =
(i) c(i)
.
(19.17)
nm

(i)
n cm
n,m

i=1

i=1

Este valor promedio de la superposicion incoherente de los j estados


puros, puede escribirse de una manera mucho mas conveniente si se
introduce el concepto de la matriz densidad , la cual se define como:
mn

(i)
(i) c(i)
n cm ,

(19.18)

i=1

con lo cual es posible escribir el gran valor promedio en la ecuacion


(19.17) como

=
mn nm =
()mm = T r.(),
(19.19)
n,m

donde T r. significa la traza (la suma de los elementos de la diagonal)


de la matrix en consideracion.
Haciedo uso de la expresion (19.18) se tiene para los elementos en
la diagonal de que

2
(19.20)
nn =
(i) |c(i)
n | ,
i

342 / Lecciones de Mec


anica Cu
antica

los que de acuerdo con la ecuacion (19.15) tienen el significado fsico


de la probabilidad con la cual el estado de la base |n ocurren en el
ensamble estadstico completo formado por la totalidad de los estados
puros |i , i = 1, 2, . . . , j.
Utilizando notacion de Dirac se tiene que
i
c(i)
n = n|i = n | ,

lo cual implica que la matriz densidad en (19.18) se puede escribir como

m|i (i) i|n,


(19.21)
mn =
i

lo cual permite escribir como un operador de la forma

=
|i (i) i| =
|i (i) i |.
i

(19.22)

Esta representacion del operador en la forma de suma sobre operadores de proyeccion resulta a menudo muy conveniente. En particular se
puede observar de inmediato que los autovectores de son precisamente
los posibles estados puros que pueda tener el sistema y los autovalores corresponden a los pesos estadsticos de cada uno de esos estados.
De esta manera, la expresion (19.22) es la representacion expectral del
operador .
Notese que si el sistema se encuentra en un estado puro | = | ,
entonces (i) = i , de tal manera que la matriz densidad para un estado
puro adquiere la forma
P = || = | |.

(19.23)

Entonces para un estado puro, el operador de densidad P se convierte


en un operador de proyeccion, el cual satisface la relacion de idempotencia (
P )2 = (| |)(| |) = | | = P . Ahora, para
se
un estado puro normalizado, los valores esperados del observable
pueden escribir, de conformidad con (19.19), como

(
P )mm =
m|||m
=
c() ||m
= ||,
m

(19.24)

T
opicos avanzados / 343

()
como debiera serlo (donde la expansion | = m cm |m ha sido utilizada). De esta manera el formalismo de calcular valores esperados de
observables utilizando la matriz densidad es valido tanto para estados
puros como para estados mixtos. Para estados puros la matriz densidad
P se reduce simplemente a un operador de proyeccion.
De este punto en adelante, es mas conveniente pensar que la ecuacion (19.19) es la definicion de la matriz densidad del sistema fsico en
consideracion, con lo cual se puede pensar que se ha logrado una nueva
formulacion de la mecanica cuantica.

19.2.2 La matriz densidad


En este punto es conveniente definir el operador , el cual caracteriza
un sistema fsico (puro o mixto), como
T r.(

),

(19.25)

del sistema fsico.


para todo observable
De esta manera, para calcular la matriz densidad de un sistema
caracterizado por n parametros, se deben tomar n observables inde r , r = 1, 2, . . . , n y resolver el conjunto
pendientes del sistema fsico

r . Una vez que ha sido determinado


de n ecuaciones T r.(
r ) =
de esta manera, el valor esperado de cualquier otro observable se puede
calcular utilizando la ecuacion (19.25). Como consecuencia de esto,
puede mirarse como un objeto el cual permite calcular cualquier valor
partiendo del conocimiento inicial de un conesperado particular ,
r . As, el formalismo de la matriz densidad
junto especial de valores
se convierte en una forma alterna de manejar un sistema fsico y se
puede mirar como una nueva formulacion de la teora, en el sentido
que un sistema fsico queda exhaustivamente caracterizado cuando se
conoce su matriz densidad .

19.2.3 Propiedades de
A continuacion se demuestran algunas propiedades que debe tener
la matriz densidad que caracteriza un sistema fsico.

344 / Lecciones de Mec


anica Cu
antica

1. es un operador Hermtico
Lo cual se sigue de su definicion (19.25), ya que para cada observable
es necesariamente un valor

(operador lineal acotado y hermtico),


real. Por lo tanto,
=
= T r.() = [T r.()]

= T r.[() ] = T r.( ) = T r.( ) = T r.( ),


donde en el u
ltimo paso se ha utilizado la ciclicidad de la traza. De lo
anterior se puede concluir que = .

2. T r.
=

n nn

= 1.

Lo cual puede verse de la definicion del operador en (19.25) uti = I,


con I el operador
lizada para el caso particular del operador
identidad el cual tiene por valor esperado 1.

3. es un operador positivo, definido


P que tiene
Para mostrar esta propiedad se considera un operador
solo los autovalores 0 y 1 (cualquier operador de proyeccion por ejem P es diagonal se tiene Pnm = nk mk , k un
plo). En la base en que
valor fijo arbitrario asociado con uno de los autovalores iguales a uno.
Entonces

P = T r.(
P) =

(P )nn =
nm Pmn
=

nm mk km = kk .

Pero el valor esperado de un operador de autovalores no negativos es


P 0, de donde se puede
siempre no negativo, lo cual implica que
concluir que es un operador positivo ya que
kk 0,

(19.26)

T
opicos avanzados / 345

resultado que es valido en cualquier base del sistema fsico en consideracion. Combinando este resultado con el hecho que T r.
= 1 se tiene
que para todos los elementos diagonales de se satisface
0 kk 1.

(19.27)

4. T r.(
2 ) 1.
Considere un sistema en el cual es diagonal. Utilizando entonces
las dos propiedades anteriores se tiene que

T r.(
2 ) =
(2 )nn (
nn )2 = (T r.)2 = 1;
(19.28)
n

pero por la ciclicidad de la traza, esta no cambia bajo una transformacion de similitud (un cambio de base), entonces en general es posible
escribir
T r.(
2 ) 1.
(19.29)
Utilizando ahora la hermiticidad de ; es decir, mn = nm , esta u
ltima
relacion se puede escribir como

T r.(
2 ) =
()mm =
mn nm =
|nm |2 1;
(19.30)
m

mn

mn

de donde es posible concluir que |nm |2 1, condicion que pone fuertes


limitaciones en cada uno de los elementos de la matriz .

19.2.4 Evoluci
on temporal de
que no
De acuerdo al teorema de Ehrenfest, para un observable
dependa explcitamente del tiempo, se tiene que
d
i
d

= T r.( d
).
= [H,
] = T r.(
)
dt

dt
dt
De la definicion de la matriz densidad se tiene igualmente que
i
i
])
= i T r.(


H)

[H,
] =
T r.(
[H,
H

H
)
= T r.( i [
),

= T r.(
H
, H]

346 / Lecciones de Mec


anica Cu
antica

donde se ha hecho uso de la ciclicidad de la traza.


Comparando las dos expresiones anteriores se puede concluir que
d

= [
, H],
dt

(19.31)

ecuacion que da la forma de la evolucion temporal del operador densidad .

19.3

Quincuag
esima lecci
on

La ecuacion de Schrodinger de la mecanica cuantica no es covariante


y por lo tanto no es invariante bajo una transformacion de coordenadas
de Lorentz (un calculo detallado muestra que la ecuacion si es invariante
bajo las transformaciones de Galileo de la mecanica clasica). Para remediar esta situacion se propusieron, en la segunda mitad de la decada
de 1920, dos ecuaciones las cuales si eran invariantes bajo las transformaciones de Lorentz. Estas ecuaciones son la base de la hoy llamada
mecanica cuantica relativista [19-5].

19.3.1 Introducci
on
La ecuacion de Schrodinger se puede obtener al hacer en el Hamiltoniano clasico de un sistema fsico las siguientes asignaciones
i ,
HH
t

r r r,
p p i,

(19.32)

donde r es el operador multiplicacion; de esta manera, la ecuacion para


el Hamiltoniano clasico
p2
H=
+ V (r)
2m
se puede escribir como la siguiente relacion entre operadores
i

2 2
=
+ V (r),
t
2m

T
opicos avanzados / 347

la cual, al operar sobre la funcion de onda del sistema fsico, produce


de inmediato la ecuacion de Schrodinger.
Para una partcula libre se tiene V (r) = 0 y entonces la ecuacion
de Schrodinger toma la forma
i

2 2
=
,
t
2m

(19.33)

la cual incluye el tiempo como una primera derivada y el espacio como


una segunda derivada y evidentemente no puede ser invariante bajo las
transformaciones de Lorentz, las cuales tratan el espacio y el tiempo de
manera equivalente.
La expresion relativista de la energa para una partcula libre de
masa m y momentum lineal vectorial p es

E = c p2 + m2 c2 ,
(19.34)
la cual con las sustituciones asignadas en (19.32) produce un Hamiltoniano de la forma

= c 2 2 + m2 c2 ,
H
(19.35)
el cual tiene el inconveniente de no estar definido de manera u
nica como
se vera a continuacion. Una expansion en series de Maclaurin de la
raz cuadrada producira un n
umero infinito de terminos con derivadas
parciales a todos los ordenes pares y por lo tanto sera equivalente a
una ecuacion y a una teora no local; lo anterior, sin abordar siquiera
el problema de la convergencia de esa posible expansion.

19.3.2 Ecuaci
on de Klein-Gordon.
Una forma de evitar el tener que sacar la raz cuadrada a la expresion (19.35), es elevar al cuadrado la ecuacion (3.22), para obtener la
relacion [19-6]:
H 2 p 2 c 2 + m2 c 4 = E 2 ,
(19.36)
igualdad que luego de los reemplazos sugeridos en (19.32), produce la
ecuacion diferencial
2

2
= 2 c2 2 + m2 c4 ,
t2

(19.37)

348 / Lecciones de Mec


anica Cu
antica

la cual se puede escribir de la forma


mc 2
1 2
2

+
(
) = 0,
c2 t2

(19.38)

conocida en la literatura como la ecuacion de Klein-Gordon. Definiendo


el operador D Alambertiano como

1 2
2 ,
c2 t2

la ecuacion (19.38) toma la forma


[
mc ]
+ ( )2 (x, t) = 0.

(19.39)

Formulaci
on covariante.
Para formular la teora de manera covariante, es conveniente definir los siguientes elementos matematicos, conocidos en la literatura
como cuadrivectores contravariantes y denotados con un ndice griego
superior el cual toma valores (0, 1, 2, 3):
x = (x0 , x1 , x2 , x3 ) = (ct, r),

E
p = (p0 , p1 , p2 , p3 ) = ( , p). (19.40)
c

Para subir y bajar ndices se define

0
g g
0
0

el tensor metrico fundamental

0
0
0
1 0
0
,
(19.41)
0 1 0
0
0 1

el cual permite definir los respectivos cuadrivectores covariantes, denotados con un ndice griego inferior

x =
g x g x = (x0 , x1 , x2 , x3 ) = (ct, r)
(19.42a)

p =

E
g p g p = (p0 , p1 , p2 , p3 ) = ( , p),
c

(19.42b)

T
opicos avanzados / 349

donde se uso la convencion de Einstein de suprimir el smbolo de la


sumatoria cuando esta aparece en una expresion donde hay un ndice
repetido arriba (contravariante) y abajo (covariante). Lo anterior permite escribir invariantes relativistas (magnitudes que no cambian bajo
transformaciones de Lorentz), como el intervalo
2

S =

x x = x0 x0 + x1 x1 + x2 x2 + x3 x3 = c2 t2 r.r,

=0

o el cuadrado del cuadrimomentum


3

p p = p0 p0 + p1 p1 + p2 p2 + p3 p3 =

=0

E2
p.p = m2 c2 ,
2
c

expresion esta u
ltima equivalente a la relacion (19.36) para la energa
total relativista de una partcula libre.
Introduciendo ahora el cuadrivector derivada espacial covariante como

1

= ( 0, 1, 2, 3) = (
, ),
(19.43)

x
x x x x
c t
que con la ayuda del tensor metrico permite hallar el respectivo cuadrivector contravariante

=(
, ),
x
c t

(19.44)

el cual puede ser usado para asociarle al cuadrimomentum p el operador cuantico p = i ; es decir,
p0 =

1
E
= i
,
c
c t

p = i,
= p = i ,

de donde se obtiene
3

p p p p = 2 = 2 2 = m2 c2 ,

(19.45)

=0

donde se hizo uso del operador D Alambertiano ahora en la forma


2 = .

350 / Lecciones de Mec


anica Cu
antica

Con la ayuda de (19.45) se obtiene de nuevo la ecuacion de KleinGordon al aplicar los operadores sobre la funcion de onda de partcula
libre ; es decir, se obtiene:
[
]
[
mc 2 ]
1
mc 2
2
2 + ( ) = 2 2 + ( ) = 0.
(19.46)

c t

19.3.3 Ecuaci
on de Dirac.
Una manera alterna de sacar la raz cuadrada al Hamiltoniano en
(19.35) fue propuesta por P.A.M. Dirac en 1928, para lo cual postulo una
expresion de la forma [19-7]:
(
)

2
2
2
2

H = c + m c ic 1 1 + 2 2 + 3 3 + mc2 ,
x
x
x
3

= ic
l l + mc2 ;
(19.47)
x
l=1
donde i , i = 1, 2, 3 y son n
umeros hipercomplejos (matrices) cuya
algebra y propiedades se determinan de condiciones fsicas.
Para estudiar las propiedades de estos n
umeros hipercomplejos se
2

eval
ua primero el operador H
(
)(
)
3
3

2 =
l l + mc2
k k + mc2
H
ic
ic
x
x
l=1
k=1
= c

2 2

3
3

1
l=1 k=1
3

imc3

(l k + k l )

(l + l )

l=1

2
xl xk

+ m2 c 4 2 ,
xl

donde se ha simetrizado el coeficiente del operador segunda derivada y


se ha hecho uso de la propiedad
2 /(xl )(xk ) = 2 /(xk )(xl ).

T
opicos avanzados / 351

La expresion anterior debe ser igual a c2 2 2 + m2 c4 , para lo cual


las matrices j y deben satisfacer el algebra siguiente:
l k + k l = 2lk
l + l = 0,
2 = 1,

(19.48a)
(19.48b)
(19.48c)

llamada en la literatura el algebra de Cliord de las cuatro matrices

y de Dirac. Notese, de (19.48a), que l2 = 1, l = 1, 2, 3.


Propiedades de las matrices de Dirac.
Las siguientes son algunas de las propiedades mas importantes de
las matrices j , j = 1, 2, 3 y .
j , j = 1, 2, 3 y son matrices Hermticas. Esto se sigue del
debe ser hermtico y que el operador
hecho que el Hamiltoniano H
pj = i/xj = i/xj es tambien Hermtico.
Los autovalores de j , j = 1, 2, 3 y son solo 1. Lo cual se
sigue inmediatamente de las ecuaciones (19.48a) para k = l y
(19.48c).
La traza de las cuatro matrices j , j = 1, 2, 3 y es nula. Se
prueba haciendo uso de la ecuacion (19.48b), ya que de ella se
puede escribir l = l , la que multiplicada por a izquierda
produce l = l . Tomando ahora la traza a ambos lados y
utilizando la propiedad de ciclicidad de la traza se obtiene T r.l =
T r.(l ) = T r.(l ) = T r.l = 0.
Las dos propiedades anteriores permiten afirmar que la dimensionalidad de las matrices j , j = 1, 2, 3 y es par, ya que como
su traza es nula, el n
umero de veces que aparece el autovalor +1
es igual al n
umero de veces que aparece el autovalor 1, cuando
estas se toman en su forma diagonal (la traza es un invariante).
La dimensionalidad de las matrices j , j = 1, 2, 3 y no puede
ser 2 2, ya que las u
nicas cuatro matrices Hermticas independientes que existen en un espacio de dimension 2 2 son las tres

352 / Lecciones de Mec


anica Cu
antica

matrices espn de Pauli y la identidad 2 2. Esta u


ltima no sirve,
ya que su traza no es nula (es dos).
De lo anterior es posible concluir que la dimension mnima en que pueden existir las cuatro matrices j , j = 1, 2, 3 y es 4 4. Dirac, en su
tratamiento original, presento las cuantro matrices siguientes, las cuales satisfacen el algebra enunciada en las ecuaciones (19.48a), (19.48b)
y (19.48c):
(
)
)
(
0 j
I2 0
j =
, =
,
(19.49)
j 0
0 I2
donde I2 es la matrix identidad 2 2 y j , j = 1, 2, 3 = x, y, z son las
tres matrices espn de Pauli dadas por:
(
)
(
)
(
)
0 1
0 i
1 0
1 =
, 2 =
, 3 =
,
(19.50)
1 0
i 0
0 1

las cuales satisfacen el algebra l j = lj + i k ljk k . Operando con


el Hamiltonino en (19.47) en una funcion de onda se obtiene la llamada
ecuacion de Dirac
(
)

= ic 1 1 + 2 2 + 3 3 + mc2 , (19.51)
H = i
t
x
x
x
donde es una matrix columna de cuatro componentes

1
2

=
3 ,
4

(19.52)

sobre la cual act


uan las matrices
y de Dirac. en (19.52) se conoce
en la literatura como un espinor de Dirac.
Notaci
on covariante.
De manera muy elegante la ecuacion de Dirac se puede escribir en
notacion de cuatro dimensiones, la cual preserva la simetra que tiene
la ecuacion entre x0 = ct y xj , j = 1, 2, 3. Para esto, se multiplica por

T
opicos avanzados / 353

la izquierda y a los dos lados la ecuacion (19.51) por /c y se hacen las


siguientes definiciones
0 ,

j j ,

j = 1, 2, 3 = x, y, z.

De esta manera se obtiene


(
)
0
1
2
3
i
+
+
+
+ mc = 0.
x0
x1
x2
x3
Donde las nuevas matrices , = 0, 1, 2, 3 toman la forma
(
)
)
(
0 j
I2 0
j
0
=
,
, =
j 0
0 I2

(19.53)

(19.54)

y satisfacen el algebra
+ = 2g I4 ,

(19.55)

para , = 0, 1, 2, 3. I4 es la matriz unidad 4 4 la cual por lo general


se sobreentiende y no se escribe.
En este punto es conveniente introducir la notacion barrada de Feynman, la cual, para un cuadrivector arbitrario K , hace uso de la definicion

K


K = K = g K = 0 K 0 .K,

=0

la que, en particular para el cuadrioperador derivada covariante, toma


la forma

+ ..
= = =
x
c t
Haciendo uso de esta notacion se puede escribir la ecuacion de Dirac
de manera abreviada como
(i mc) = (p mc) = 0,

(19.56)

donde se ha hecho uso de la asignacion cuantica p = i = i/(x ).

354 / Lecciones de Mec


anica Cu
antica

En este punto es posible introducir la interaccion electromagnetica


en la ecuacion de Dirac para una partcula de carga electrica e, haciendo
uso de la substitucion mnima p = p eA /c, para obtener
finalmente la ecuacion
e
(p A mc) = 0,
(19.57)
c
es el cuadrivector potencial del electromagnetismo,
donde A = (A0 , A)
0
A = se refiere al potecial escalar y e(r, t) = V (r, t) es la energa
potencial para la partcula de carga electrica e. Recuerde que el cuadrivector potencial esta relacionado a los campos electricos y magneticos
mediante las definiciones

= 1 A ,

=
A.

E
B
c t

Problemas
1: Haga la integral sobre la variables x2 en la ecuacion (19.4).
2: Halle el valor de A(t) en la expresion (19.7b).
3: Haga la integral en la ecuacion (19.13).
4: Halle la amplitud de transicion para el oscilador armonico unidimensional, el cual tiene por Lagrangiano L = m2 (x 2 2 x2 ).
5: Defina 5 5 = i 0 1 2 3 y i[ , ]/2. Halle:
a-[5 , ].
b-{5 , }.
6: Muestre que = 0 0 , para = 0, 1, 2, 3.
7: Para un espinor de Dirac defina 0 y L (15 )/2, R
(1 + 5 )/2. Muestre que:
a- = L + R .
b- = L R + R L .
8: Halle la forma de y j en la ecuacion de la continuidad

+ .j = 0,
t
que se deriva de las ecuaciones de Klein-Gordon y de la ecuacion de
Dirac.

Bibliografa
[19-1] R. P. Feynman, The principle of Least Action in Quantum Mechanics (Princeton University, Ann Arbor, 1942; university Microfilms Publication No. 2948); R. P. Feynman, The Space-Time
Formulation of Nonrelativistic Quantum Mechanics; Rev. Mod.
Phys., 20 (1948) 367; R. P. Feynman y A. R. Hibbs, corregido
por Daniel F. Styer. Quantum Mechanics and Path Integrals.
Mineola, N.Y.: Dover Publications, (2010). ISBN 0-486-47722-3.
unel y Moshe Zakai, Transformation of Measu[19-2] A. S
uleyman Ust
re on Wiener Space (Springer Monographs in Mathematics, 1999)
[19-3] Ver Ref. [1] al final del texto, pp. 300-302.
[19-4] Karl Blum, Density Matrix Theory and Applications (Springer
Series on Atomic, Optical, and Plasma Physics, 2012).
[19-5] Un libro excelente de mecanica cuantica relativista es: James
D. Bjorken y Sidney D. Drell, Relativistic Quantum Mechanics
(International series in Pure and Applied Physics, McGraw-Hill
B.C., 1965).
[19-6] Ver Ref. [1] al final del texto, pp. 466-471.
[19-7] Ver Ref. [1] al final del texto, pp. 472-477.

355

También podría gustarte