Operadores de creación/aniquilación y exponenciales positivos/negativos

Uno de los conceptos principales en QFT es considerar la expansión del campo

ϕ ( X ) = d 3 pag 2 ( 2 π ) 3 ω pag ( a ( pag ) mi i pag X + b ( pag ) mi + i pag X ) ,
con amplitudes a ( pag ) , b ( pag ) y luego "cuantificarlo" considerándolos como operadores.

Congénitamente, uno piensa en ellos como operadores de aniquilación y creación, pero me devana los sesos si

  • es necesario, o, en cambio, sólo una cuestión de convención que el exponencial mi i pag X (resp. mi i pag X ) debe estar al lado del operador de creación (aniquilación) b ( pag ) (resp. a ( pag ) )?

¿Hay alguna manera de demostrarlo?

Respuestas (2)

Sí, es bastante simple mostrar esto. El punto es que un operador de creación para un campo libre siempre aumenta la energía, mientras que un operador de aniquilación disminuye la energía. A partir de ahí, el razonamiento es idéntico al caso simple del oscilador armónico. La ecuación de Heisenberg es

d d t a = i [ H , a ] = i ω a , a ( t ) = mi i ω t / a ( 0 ) .
Suponiendo el estándar ( + ) firma, esta dependencia va con mi i pag X , por lo que el coeficiente de un operador de creación debe ser mi i pag X .

(+1), por supuesto, esta es la forma más clara de explicar esto. ¿Mi explicación a continuación es correcta o no en su opinión?
@MRT ¡Sí, me parece totalmente bien! Creo que es fundamentalmente la misma prueba también: todo se reduce a las relaciones de conmutación entre los operadores de creación y aniquilación.
@knzhou: Un punto sigue sin estar claro. De hecho, usando la expresión para a en términos de ϕ y π como MRT explicó a continuación, uno obtiene la relación
d d t a = i [ H , a ] = i ω a
y así obtenemos de hecho
a ( t , pag ) = mi i ω t / a ( 0 , pag )
Pero el argumento de que al considerar el estándar ( + ) (entonces X m = ( C t , X ) ) firma, esta dependencia "va con mi i pag X "No me queda claro. ¿Por qué no puede ser también mi i pag X . ¿Debe la exponencial cumplir esta compatibilidad con cuatro vectores?

Creo que entendí dónde estaba mi error, lo edité.
Anticipo que esto no es una convención, tiene que ser así.
yo uso la notación X m = ( t , X ) = X .
Al transferir las propiedades de los corchetes de Poisson a los conmutadores (es decir, cuantificar), se tiene que las reglas de conmutación de tiempo igual entre los operadores de campo y los momentos conjugados π = 0 ϕ y π = 0 ϕ son:

[ ϕ ( X ) , π ( y ) ] t = [ ϕ ( X ) , π ( y ) ] t = i d 3 ( X y ) ( 1 )
Los otros conmutadores son todos cero y aquí, el subíndice t , significa que los conmutadores tienen el mismo tiempo calculado.
La forma correcta de escribir los campos y los momentos conjugados es solo:
ϕ ( X ) = 1 ( 2 π ) 3 d 3 pag 2 ω pag ( a ( pag ) mi i pag X + b ( pag ) mi i pag X ) ( 2 )
ϕ ( X ) = 1 ( 2 π ) 3 d 3 pag 2 ω pag ( a ( pag ) mi + i pag X + b ( pag ) mi i pag X ) ( 3 )
π ( X ) = 0 ϕ ( X ) = i ( 2 π ) 3 d 3 pag 2 ω pag ω pag ( a ( pag ) mi i pag X b ( pag ) mi i pag X ) ( 4 )
π ( X ) = 0 ϕ ( X ) = i ( 2 π ) 3 d 3 pag 2 ω pag ω pag ( a ( pag ) mi i pag X + b ( pag ) mi i pag X ) ( 5 )
A partir de estas expresiones puede obtener los dos tipos de operadores (tenga en cuenta que hasta ahora no los estoy llamando operadores de "creación" y "aniquilación") en términos de los campos y los momentos conjugados:
a ( pag ) = d 3 X 2 ω pag ( i π ( X ) + ω pag ϕ ( X ) ) mi i pag X
a ( pag ) = d 3 X 2 ω pag ( i π ( X ) + ω pag ϕ ( X ) ) mi i pag X
b ( pag ) = d 3 X 2 ω pag ( i π ( X ) + ω pag ϕ ( X ) ) mi i pag X
b ( pag ) = d 3 X 2 ω pag ( i π ( X ) + ω pag ϕ ( X ) ) mi i pag X
Con las expresiones anteriores, se pueden calcular los conmutadores entre los operadores a y b (y su daga), descubriendo que los únicos conmutadores distintos de cero en el espacio de momento son:
[ a ( k ) , a ( pag ) ] t = [ b ( k ) , b ( pag ) ] t = d 3 ( k pag )
El punto es que solo ahora , mirando la relación encuadrada arriba, puedes identificar a , ( a ), b ,( b ) como operadores de aniquilación (creación), se refieren a dos familias diferentes de osciladores armónicos. Simplemente porque las relaciones encuadradas son precisamente las conocidas del oscilador armónico.
Al final, la única forma de obtener las relaciones encuadradas y, por lo tanto, la única forma de identificar la naturaleza de creación y aniquilación de los operadores, es construir su teoría de campos con la definición de los campos y los momentos conjugados (2),( 3), (4), (5). Si inviertes el signo de las exponenciales, no encontrarás las relaciones encuadradas, por lo que no puedes hablar de operadores de creación y aniquilación.

votado negativo sin ninguna explicación? ¿Qué tiene de malo mi respuesta?
Edité mi respuesta anterior, en cualquier caso, sería bueno si fuera una regla general escribir la motivación de los votos negativos debajo de los comentarios...
Entonces, esencialmente, la única razón para ESTA asignación de operadores a , ( a ), b ,( b ) a las exponenciales mi ± i pag X y no el invertido es solo para llegar a las relaciones del conmutador [ a ( k ) , a ( pag ) ] como ocurre con el oscilador armónico, ¿verdad? como te entendí correctamente, la elección invertida simplemente no funcionaría matemáticamente o ¿hay otra razón?
sí, si desea las reglas de conmutación como en el caso del oscilador armónico, debe elegir solo de esta manera.