Cuantificación de campo de Klein Gordon: ¿por qué esta es la forma correcta de expresar el campo?

Estoy leyendo un libro en QFT y lo primero que se aborda es la cuantización del campo de Klein Gordon. El campo clásico de Klein Gordon satisface la ecuación diferencial parcial

( m m + metro 2 ) ϕ = 0 ( t 2 2 + metro 2 ) ϕ = 0.

Tomando la transformada de Fourier obtenemos

( t 2 + ω pag 2 ) ϕ ^ = 0 ,

donde ahora ω pag 2 = pag 2 + metro 2 . En otras palabras ϕ ^ ( pag , t ) satisface la ecuación de movimiento del oscilador armónico simple para cada pag . En este caso tenemos

ϕ ( X , t ) = d 3 pag 1 ( 2 π ) 3 ϕ ^ ( pag , t ) mi i X pag .

Eso está bien, y es todo clásico. Ahora, queremos cuantizar el campo. Como explica el libro, cuantificar el campo significa promover ϕ ( X , t ) a un operador, tal que

[ ϕ ( X ) , ϕ ( y ) ] = [ π ( X ) , π ( y ) ] = 0 ,

[ ϕ ( X ) , π ( y ) ] = ( 2 π ) 3 d ( y X ) .

de la misma forma que lo hacemos con la posición X y el impulso PAG en mecánica cuántica.

Ahora, para hacer esto, el autor usa los operadores de escalera del oscilador armónico cuántico. En ese caso si X y PAG son la posición y el momento, los operadores de escalera satisfacen

X = 1 2 ω ( a + a ) , PAG = i ω 2 ( a a ) .

El autor por analogía con esto, luego dice que

ϕ ( X ) = d 3 pag 1 ( 2 π ) 3 1 2 ω pag ( a pag mi i X pag + a pag mi i X pag )
π ( X ) = d 3 pag 1 ( 2 π ) 3 ( i ) ω pag 2 ( a pag mi i X pag a pag mi i X pag )

Ahora bien, esto no me queda nada claro. Mis principales problemas son:

  1. Primero, ¿qué lleva a esta expansión del campo cuantificado? ϕ ? Quiero decir, supongo que el autor consideró ϕ ^ ( pag ) se comporta como la coordenada de un oscilador armónico, por lo que podemos escribir ϕ ^ ( pag ) en términos de operadores de escalera a pag y a pag . Sin embargo, si se hace eso, obtendríamos

ϕ ( X ) = d 3 pag 1 ( 2 π ) 3 1 2 ω pag ( a pag + a pag ) mi i X pag

Esta sería la analogía en mi opinión, donde establecemos ϕ ^ ( pag ) como la posición del oscilador armónico. ¿Por qué conseguimos ( a pag mi i X pag + a pag mi i X pag ) ¿en cambio?

  1. Si esta analogía se lleva a cabo, ¿por qué π ^ ( pag ) Cuál sería el impulso del oscilador armónico? No veo ninguna razón para esto directamente por la ecuación diferencial.

Respuestas (1)

  1. El a pag y a pag se supone que son adjuntos hermitianos entre sí, tanto clásica como cuánticamente. Aplicando el conjugado complejo a la expresión usual, vemos que mapea a pag mi i pag X a a pag mi i pag X y viceversa bajo el supuesto de que a pag es de hecho el adjunto de a pag , por lo que la expresión es invariante al tomar el adjunto, que es requerido por el campo escalar en cuestión siendo real, es decir ϕ ( X ) = ϕ ( X ) . Su propuesta, por otro lado, requeriría ( a pag ) = a pag - que es una opción posible para definir los coeficientes de Fourier, pero en notación bastante confusa.

  2. π ( pag ) es el análogo a la variable de momento del oscilador armónico simplemente porque cumple la versión de dimensión infinita de la relación de conmutación correcta con el análogo de la variable de posición ϕ ( pag ) . No es "el" impulso de "el" oscilador armónico: el operador de impulso real en QFT es

    PAG m = pag m a pag a pag d 3 pag ( 2 π ) 3 .