OP está preguntando cómo probarPAG| pag⟩=pag | pag⟩
yX| x⟩=x | x⟩
dónde| pag⟩
es un estado de una partícula escalar (libre), yPAG
es el operador de cantidad de movimiento;| x⟩
es un "paquete de ondas" centrado enX
(definido a continuación) yX
es el "operador de posición" (también definido a continuación).
PARTE I
Dejar
PAG≡ ∫dp _( 2 pi)3pag a†pagapag
Usandoapag| 0⟩=0
, es fácil ver quePAG| 0⟩=0
, que será útil en un momento.
Los CCR son
[apag,a†q] = ( 2 π)3d( pags - q)
(ver página 30, ecuación 2.20)
Con esto, tenga en cuenta que
[ PAG,a†q]= ∫dp _( 2 pi)3pag [ a†pagapag,a†q] = ∫dp _( 2 pi)3pag a†pag[apag,a†q] == ∫dp _( 2 pi)3pags ( 2 π )3d( pags - q)a†pag= qa†q(1)
Dejar| pag⟩≡a†pag| 0⟩
. Usando( 1 )
, junto con el hechoPAG| 0⟩=0
, es fácil ver que
PAG| pag⟩=paga†pag| 0⟩=[PAG,a†pag] | 0 ⟩ = paga†pag| 0⟩≡pag | pag⟩
según sea necesario.
PARTE II
Dejar
ψ†( X ) ≡ ∫dp _( 2 pi)3a†pagmi− yo pag ⋅ X
Usandoapag| 0⟩=0
, es fácil ver queψ ( x ) | 0 ⟩ = 0
, que será útil en un momento.
Tenga en cuenta que
[ψ†( X ) ,a†q] = 0
y
[ψ†( X ) ,aq]= ∫dp _( 2 pi)3mi− yo pag ⋅ X[a†pag,aq] == − ∫dp _( 2 pi)3mi− yo pag ⋅ X( 2 pi)3d( pags - q)= −mi− yo q⋅ x
Estas relaciones implican que
[ψ†( X ) ,ψ†( y ) ] = 0
y
[ψ†( x ) , ψ ( y ) ]= ∫dp _( 2 pi)3miyo pag ⋅ y[ψ†( X ) ,apag]= − ∫dp _( 2 pi)3miyo pag ⋅ ymi− yo pag ⋅ X= − d( x − y )(2)
Dejar
X= ∫d xx ψ†( X ) ψ ( X )
Primero, tenga en cuenta queX| 0⟩=0
, lo cual es trivial de probar usandoψ ( x ) | 0 ⟩ = 0
.
A continuación, utilizando( 2 )
, es fácil ver que
[ X,ψ†( y ) ]= ∫d xx[ ψ†( X ) ψ ( X ) ,ψ†( y ) ]= ∫d xx ψ†( X ) [ ψ ( X ) ,ψ†( y ) ]= ∫d xx ψ†( x ) δ( x − y ) = yψ†( y )
Finalmente, usando la relación anterior, junto conX| 0⟩=0
, es fácil ver que
X| x⟩=Xψ†( X ) | 0 ⟩ = [ X,ψ†( X ) ] | 0 ⟩ = xψ†( X ) | 0 ⟩ ≡ x | x ⟩
según sea necesario.
□
ana v
qmecanico