Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Cap19 PDF
Cap19 PDF
Cap19 PDF
87
88 / Lecciones de Mecánica Cuántica
∂ψ ~2 2
i~ =− ∇ ψ + V (~r, t)ψ, (6.1)
∂t 2m
para hacer luego de ψ un operador cuántico del cual hallaremos su
canónico conjugado, cuantizándolo luego de la manera canónica.
y pedir luego que dicha acción sea estacionaria, es decir pedir que δS =
0 en un trayecto para el cual δqi (t1 ) = δqi (t2 ) = 0. De esta manera se
tiene
Z t2 Z t2
∂L ∂L
δS = dtδL(qi , q̇i ; t) = dt[ δqi + δ q̇i ]
t1 t1 ∂qi ∂ q̇i
Z t2
∂L ∂L dδqi
= dt[ δqi + ]
t1 ∂qi ∂ q̇i dt
Z t2 · ¸
∂L d ∂L d ∂L
= dt δqi + [ δqi ] − [ ]δqi
t1 ∂qi dt ∂ q̇i dt ∂ q̇i
Z t2 · ¸ ¸t2
∂L d ∂L ∂L
= dt − δqi + δqi = 0.
t1 ∂qi dt ∂ q̇i ∂ q̇i t1
Segunda Cuantización / 89
d ∂V (qi , t)
(mq̇i ) = − i = 1, 2, 3, . . . ,
dt ∂qi
que no es más que la segunda ley de Newton, o ecuación de movimiento
del sistema fı́sico.
Se define a continuación pi ≡ ∂L/(∂ q̇i ) como la variable canónico
conjugada a qi . El Hamiltoniano del sistema fı́sico aparece entonces
como la transformación de Legendre
X X p2
H= pi q̇i − L = [ i + V (qi , t)],
i i
2m
escribiéndolo como
Z Z I
4 ~ ∂L ~ ∂L δψ],
d r∇.[ δψ] = dt dS.[
~
∂ ∇ψ ~
∂ ∇ψ
con la integral cerrada hecha sobre la superficie de una esfera de radio
infinito (la densidad Lagrangiana es una integral sobre todo el espacio)
donde los campos deben de anularsen en el infinito, es decir:
~
r
lı́m → ∞[δψ(~r)] = 0.
i~ ~ ~ i ~2 ~ ∗ ~
H = π ψ̇ − L = − ∇π.∇ψ − V (~r, t)πψ = ∇ψ .∇ψ + V ψ ∗ ψ;
2m ~ 2m
(6.8)
de esta densidad Hamiltoniana podemos hallar el Hamiltoniano del sis-
tema el cual toma la forma:
Z Z Z
3 3 ~2 ~ ∗ ~ ~2 2
H = d rH = d r[ ∇ψ .∇ψ+V ψ ψ] = d3 rψ ∗ [−
∗
∇ +V ]ψ,
2m 2m
(6.9)
donde la última forma del Hamiltoniano se obtuvo luego de integración
por partes y de haber despreciado el término proporcional a
Z I
3 ~ ∗~ ~
d r∇.(ψ ∇ψ) = d~s.(ψ ∗ ∇ψ).
∂L ∂L ∂L ~2 ~
= i~ψ̇ − V ψ; = 0; =− ∇ψ. (6.12)
∂ψ ∗ ∂ ψ̇ ∗ ~ ∗
∂ ∇ψ 2m
Segunda Cuantización / 93
∂L ∂L ∂L ~2 ~ ∗
= −V ψ ∗ ; = i~ψ ∗ ; =− ∇ψ , (6.13)
∂ψ ∂ ψ̇ ~
∂ ∇ψ 2m
donde los coeficientes son ahora las funciones φ(~r, t) yR el conjunto com-
pleto de operadores se define por la relación ân ≡ dξφn (ξ)ψ̂(ξ). El
álgebra detallada nos muestra ahora que los operadores ân y â†n deben
satisfacer relaciones de conmutación especı́ficas y compatibles con los
conmutadores postulados en (6.14) y (6.17). Es decir, tenemos que
XX
[ψ̂(~r, t), ψ̂(~r0 , t)† ] = φn (~r0 , t)φ∗l (~r, t)[ân , â†l ] = δ 3 (~r − ~r0 ),
n l
donde
~2 2
H (0) = − ∇ + V (~r, t) (6.23)
2m
96 / Lecciones de Mecánica Cuántica
Z X Z X X
N̂ = 3 †
d rψ̂ ψ̂ = â†n âl d3 rφ∗n φl = â†l âl = n̂l , (6.24)
n.l l l
[n̂l , n̂k ] = [â†l âl , â†k âk ] = â†l [âl , â†k âk ] + [â†l , â†k âk ]âl
= â†l [âl , â†k ]âk + â†l â†k [âl , âk ] + â†k [â†l , âk ]âl + [â†l , â†k ]âk âl
= â†l âk δlk − â†k âl δkl = (â†l âk − â†k âl )δkl = 0,
conmutadores tales como [ψ̂, Ĥ], [ψ̂ † , Ĥ] y [N̂ , Ĥ]. Veámos:
Z
i
[ψ̂(~r, t), Ĥ] = [ψ̂(~r, t), − d3 r0 π̂(~r0 , t)H (0) ψ̂(~r0 , t)]
~
Z
i
= − d3 r0 [ψ̂(~r, t), π̂(~r0 , t)H (0) ψ̂(~r0 , t)]
~
Z
i
= − d3 r0 [ψ̂(~r, t), π̂(~r0 , t)]H (0) ψ̂(~r0 , t)
~
Z
i
− d3 r0 π̂(~r0 , t)H (0)ˆ[ψ̂(~r, t), ψ(~r0 , t)]
~
Z
i
= − d3 r0 i~δ 3 (~r − ~r0 )H (0) ψ̂(~r0 , t)
~
~2 2
= H (0) ψ̂(~r, t) = {− ∇ + V (~r, t)}ψ̂(~r, t)
2m
˙ dψ̂(~r, t)
= i~ψ̂(~r, t) = i~ ,
dt
˙ dψ̂ i
ψ̂ = = − [ψ̂(~r, t), Ĥ], (6.26)
dt ~
˙ dÔ i
Ô = = − [Ô, Ĥ], (6.27)
dt ~
Z
ˆ i i
Ṅ = − [N̂ , Ĥ] = − d3 r[ψ̂ † ψ̂, Ĥ]
~ ~
Z
i
= − d3 r{ψ̂ † [ψ̂, Ĥ] + [ψ̂ † , Ĥ]ψ̂}
~
Z
i
= − d3 r{ψ̂ † H (0) ψ̂ − (H (0) ψ̂ † )ψ̂}
~
Z
i
= − d3 r{ψ̂ † H (0) ψ̂ − (H (0) ψ̂)† ψ̂} = 0,
~
Segunda Cuantización / 99
H (0) φE r, t) = En(0) φE
n (~ n (~
r, t),
[n̂k , âl ] = [â†k âk , âl ] = â†k [âk , âl ]+[â†k , âl ]âk = [â†k , âl ]âk = −âk δkl , (6.29)
[n̂k , â†l ] = [â†k âk , â†l ] = â†k [âk , â†l ] + [â†k , â†l ]âk = â†k [âk , â†l ] = â†k δkl , (6.30)
donde se hizo uso reiterado de los conmutadores en (6.20) y (6.21).
Sea ahora |n0l i el autovector de n̂l de autovalor n0l . Mostremos los
siguientes teoremas:
Teorema 1
n̂l (â†l |n0l i) = (n̂l â†l )|n0l i = (â†l n̂l + â†l )|n0l i = (â†l n0l + â†l )|n0l i
= (n0l + 1)(â†l |n0l i),
Teorema 2
Si |n0l i es autovector de n̂l de autovalor n0l , entonces âl |n0l i es también
autovector de n̂l de autovalos (n0l − 1).
De manera similar, apliquemos el operador n̂l al vector âl |n0l i y
hagamos uso de la relación de conmutación (6.29) para el caso de n = l;
tenemos:
n̂l (âl |n0l i) = (n̂l âl )|n0l i = (âl n̂l − âl )|n0l i = (âl n0l − âl )|n0l i
= (n0l − 1)(âl |n0l i).
Hemos mostrado de esta forma que
âl |n0l i ∼ |n0l − 1i
la cual podemos iterar (âl )2 |n0l i ∼ |n0l − 2i, . . . (âl )k |n0l i ∼ |n0l − ki para
k un número entero positivo.
Los dos teoremas anteriores nos permiten llamar a los operadores
â†l y âl , operadores de creación y de destrución respectivamente, del
número de ocupación del estado l.
Teorema 3
Los valores esperados del operador n̂l son positivos definidos.
Para la demostración, asumamos que |φi es el vector de estado nor-
malizado (hφ|φi = 1) que me representa mi sistema fı́sico. Entonces:
Z Z
hφ|n̂l |φi = hn̂l iφ = dξφ n̂l φ = dξφ∗ â†l âl φ
∗
Z Z
= dξ(âl φ) âl φ = dξ|âl φ|2 ≥ 0,
∗
102 / Lecciones de Mecánica Cuántica
donde se ha hecho uso de la relación (â†l )† = âl . Este último teorema nos
ha mostrado que para todo l = 0, 1, 2, . . . , el operador n̂l está acotado
inferiormente.
Combinando todo lo anteror tenemos que aplicaciones repetidas del
operador de destrucción âl a un ket arbitrario va a conducir a dificul-
tades ya que el operador número de ocupación es positivo definido, a
no ser que exista un estado de ocupación fundamental |0l i para el cual
âl |0l i = 0.
De esta manera, la teorı́a de campos cuánticos comienza por postu-
lar la existencia de un estado fundamental |0l i para el elésimo estado
cuántico, el cual está normalizado a la unidad (h0l |0l i = 1) y satisface
n̂l |0l i = 0. A partir de este estado y por una aplicación sucesiva del
operador de creación â†l sobre |0l i, obtenemos el conjunto completo de
autoestados del operador número de ocupación del estado l, el cual
está dado por:
|00l i , |10l i , |20l i , |30l i , . . . |n0l i , . . . .
Es decir, los autovalores del operador número de ocupación del elési-
mo estado n̂l son los números enteros positivos 0, 1, 2, 3, . . . los cuales
interpretamos de la siguiente manera:
...
p
|n0l i = (â†l )nl |00l i/ n0l !, autoestado con n0l partı́culas de número
0
cuántico l.
Segunda Cuantización / 103
n̂l |n00 , n01 , n02 , . . . , n0l , . . . i = n0l |n00 , n01 , n02 , . . . , n0l , . . . i
X
N̂ |n00 , n01 , n02 , . . . , n0l , . . . i = n̂k |n00 , n01 , n02 , . . . , n0l , . . . i
k=0
X
N̂ |n00 , n01 , n02 , . . . , n0l , . . . i = n0k |n00 , n01 , n02 , . . . , n0l , . . . i
k=0
= N |n00 , n01 , n02 , . . . , n0l , . . . i,
P
donde hemos definido N = k=0 n0k como el número total de partı́culas
asociadas con el estado |n00 , n01 , n02 , . . . , n0l , . . . i.
Este conjunto completo de vectores es ortonormal; es decir, satisfa-
cen la relación:
hn000 , n001 , n002 , . . . , n00l , . . . |n00 , n01 , n02 , . . . , n0l , . . . i = δn000 n00 δn001 n01 . . . δn00l n0l ,
Z
= d3 rψ̂ † (~r, t){ψ̂(~r, t)ψ̂ † (~r1 , t)}|~0i
Z
= d3 rψ̂ † (~r, t){ψ̂ † (~r1 , t)ψ̂(~r, t) + δ 3 (~r1 − ~r)}|~0i
donde en el último paso hemos usado el hecho que ψ̂2† ψ̂1† = ψ̂1† ψ̂2† .
Podemos entonces interpretar el vector |Φ(~r1 , ~r2 , t)i como un vector
que describe dos partı́culas del campo, una en la posición (~r1 , t) y la
otra en la posisción (~r2 , t) del espacio-tiempo. Ninguna de las partı́culas
posee un único valor de la energı́a ya que el estado es una combina-
(0) (0)
ción lineal de todos los estados posibles de energı́a En + El , n, l =
0, 1, 2, 3, . . . ,, cada estado con amplitud de probabilidad dada por la
función de onda de Schrödinger φn (~r1 , t)∗ φl (~r2 , t)∗ .
Un álgebra simple nos permite ahora mostrar las siguientes propie-
dades del vector |Φ(~r1 , ~r2 , t)i:
hΦ(~r1 , ~r2 , t)|Φ(~r10 , ~r20 , t)i = [δ 3 (~r1 − ~r10 )δ 3 (~r2 − ~r20 ) + δ 3 (~r1 − ~r20 )δ 3 (~r2 − ~r10 )]
h0, 0, . . . 2l , 0l+1 , . . . , |Φ(~r1 , ~r2 , t)i = φl (~r1 , t)∗ φl (~r2 , t)∗
√
el cual está normalizado a la unidad debido al denominador f ! y es
ortogonal a los estados
|Φ(~r1 , t)i, |Φ(~r1 , ~r2 , t)i, |Φ(~r1 , ~r2 , ~r3 , t)i . . . , |Φ(~r1 , ~r2 , ~r3 , . . . ~rf −1 , t)i.
f
∂φ X ~2 X
i~ = [− ∇i + V (~r1 , ~r2 , . . . , ~rf , t) + V (~ri , ~rj )]φ, (6.42)
∂t i=1
2m i<j
entre dos partı́culas del campo se debe mirar como una interacción del
campo consigo mismo, lo cual nos conduce de manera inmediata a una
ecuación de campo no lineal.
Para construir el término de autointeracción del campo, razonemos
de la siguiente manera: si una unidad del campo situado en la posición
~r interactúa con otra unidad del campo en la posición ~r0 mediante un
potencial de la forma V 0 (~r0 , ~r), entonces la cantidad total de materia
del campo,
R producirá en el punto ~r, un potencial total de la forma
V (~r) = d3 r0 ρ(~r0 )V 0 (~r0 , ~r), donde ρ(~r0 ) es la densidad de materia del
campo. Haciendo ahora uso del hecho que el número total de partı́culas
N está dado por
Z X X
N = d3 rψ ∗ ψ = a∗k aa = nk , (6.43)
k k
int ∗ ~2 ~ ∗ ~
L = i~ψ ψ̇ − ∇ψ .∇ψ − V (~r, t)ψ ∗ ψ (6.45)
Z 2m
+ d3 r0 ψ ∗ (~r0 , t)ψ ∗ (~r, t)V 0 (~r, ~r0 , t)ψ(~r, t)ψ(~r0 , t)
= L + L0 ,
112 / Lecciones de Mecánica Cuántica
= Ĥ + Ĥ0 , (6.46)
con Z
0
Ĥ = d3 r0 ψ̂ ∗ (~r0 , t)ψ̂ ∗ (~r, t)V 0 (~r0 , ~r, t)ψ̂(~r, t)ψ̂(~r0 , t).
Teorema 1
Para el caso de Fermiones, los operadores número de ocupación o
número de partı́culas son idempotentes, es decir, satisfacen la relación
n̂2k = n̂k .
La demostración de este teorema puede hacerse de manera inmedia-
ta haciendo uso de las relaciones de anticonmutación (6.57) y (6.58),
las cuales implican que:
n̂2k = n̂k n̂k = â†k âk â†k âk = â†k (1−â†k âk )âk = â†k âk −(â†k )2 (âk )2 = â†k âk = n̂k ,
Teorema 2
Los autovalores de n̂k , ; k = 0, 1, 2, . . . pueden ser solamente cero y
uno (lo cual es una propiedad de cualquier operador idempotente).
Para la demostración de este teorema comencemos por suponer que
χk son las autofuncione del operador n̂k de autovalor n0k . La idempo-
tencia de los operadores nos permite realizar ahora el siguiente cálculo:
n̂l (â†l |00l i) = (n̂l â†l )|00l i = (â†l âl â†l )|00l i = â†l (1 − â†l âl )|00l i
= [â†l − (â†l )2 âl ]|00l i = â†l |00l i,
âl |10l i = âl â†l |00l i = (1 − â†l âl )|00l i = |00l i, (6.62)
Problemas
1: Para
P el Hamiltoniano del campo en la representación de la energı́a
(0)
Ĥ = k n̂k Ek , muestre que el conmutador [n̂k , Ĥ] es cero. Haga la
demostración tanto para el caso de Bosones como para el caso de Fer-
miones.
2: Muestre que hΦ(~r1 , t)|Φ(~r2 , ~r3 , t)i = 0, para representaciones de
Fock de campos o bién Bosónicos o bién Fermiónicos.
3: Calcule el valor de hΦ(~r1 , ~r2 , t)|Φ(~r10 , ~r20 , t)i, tanto para el caso de
Bosones como para el caso de Fermiones.
4: En la representación número de partı́culas, halle los elementos
matriciales diferentes de cero para los operadores â†l y âl . Haga el cálculo
tanto para Bosones como para Fermiones.
5: Para Bosones, calcule hΦ(~r1 , t)|âl |Φ(~r2 , ~r3 , t)i = 0.
6: Haciendo uso de la ecuación de movimiento para los campos
˙
cuánticos Ô = −i[Ô, Ĥ]/~ [ecuación (6.27)], halle para el caso de Fer-
˙ ˙
miones ψ̂ y N̂ .
176 / Lecciones de Mecánica Cuántica