Cuantización del campo de Klein-Gordon (qué es el operador de creación allí y qué aniquilación)

Recientemente en mi clase estudiamos la cuantización de campos y estoy pensando en un argumento/motivación sobre la construcción de la cuantización del campo de Klein-Gordon. Recuerde que el campo de Klein-Gordon "clásico" es una solución de la ecuación de Klein Gordon y se ve como

ϕ ( X , t ) = C d 3 pag [ a ( pag ) mi + i ( pag X mi pag t ) + b ( pag ) mi i ( pag X mi pag t ) ) ]

dónde C es una constante de normalización apropiada y a ( pag ) y b ( pag ) son coeficientes con respecto a la expansión con respecto a la base del vector propio del hamiltoniano. Cuando cuantificamos el a ( pag ) y b ( pag ) convertirse en operadores a ^ ( pag ) y b ^ ( pag ) en

ϕ ^ ( X , t ) = C d 3 pag [ a ^ ( pag ) mi + i ( pag X mi pag t ) + b ^ ( pag ) mi i ( pag X mi pag t ) ) ]

y en la conferencia llamamos a ^ ( pag ) el operador "creación" y b ^ ( pag ) el operador de "aniquilación". Pero ¿por qué no al revés? no entiendo porque a ^ ( pag ) ahora es la creación y b ^ ( pag ) aniquilación. Entonces, ¿por qué la creación corresponde a la exponencia con signo negativo y al aniquilamiento con signo positivo y no al revés?

Como una "razón" o, digamos, una motivación, mi profesor lo explicó de la siguiente manera:

Si consideramos un proceso con estado inicial descrito por función de onda ϕ i mi i mi i t y estado final descrito por la función de onda ϕ F mi i mi F t y queremos calcular la amplitud de probabilidad entonces cuando integramos sobre + d t d 3 X el integrando viene dado por

( ϕ F mi i mi i F ) ϕ ^ ( X , t ) ϕ i mi i mi i t = ( ϕ F ) mi + i mi i F ) ϕ ^ ( X , t ) ϕ i mi i mi i t

Entonces, la exponencial del estado final es conjugada compleja. Esto "contiene" moralmente la razón por la cual el operador creación corresponde a exponente con signo negativo y aniquilación con signo positivo. Por supuesto, como agregó el disertante, eso no es una prueba formal sino una motivación de por qué esta elección podría ser "razonable".

Desafortunadamente, no fui lo suficientemente inteligente como para comprender por qué esta observación elemental sobre el integrando que esbocé anteriormente brinda la pista de por qué el operador de creación corresponde a la exponencia con signo negativo y la aniquilación con signo positivo y no al revés. Creo que el ingrediente esencial para resolver el problema es entender si ϕ i mi i mi i t es un estado inicial arbitrario, entonces ¿cuál es

ϕ ^ ( X , t ) ϕ i mi i mi i t   ?

Suponga que el estado inicial es | 0 . Qué es ϕ ^ ( X , t ) | 0 ? mi esperanza es ϕ ^ ( X , t ) | 0 = | X ya que la bien conocida relación entre los vectores propios de momento y los operadores de lugar da pag | | X = mi i pag X . Así que si ϕ ^ ( X , t ) | 0 = | X entonces de hecho podemos concluir que a ^ ( pag ) es el operador de creación con a ^ ( pag ) | 0 = | pag . Pero para esto necesitamos verificar que ϕ ^ ( X , t ) | 0 = | X es cierto, pero eso no está claro para mí.

¿Alguien tiene una idea de lo que mi profesor posiblemente tenía en mente al hacer este boceto y cómo esta observación proporciona una pista/motivación de por qué en la cuantización del campo de Klein-Gordon los operadores de creación y aniquilación se eligieron de esa manera y no a la inversa? No tengo idea de cómo este boceto justifica la elección.

En physics.stackexchange encontré un par de preguntas relacionadas con problemas similares como aquí , aquí o aquí . La motivación de mi pregunta es principalmente entender por qué el boceto de mi profesor que traté de reproducir arriba da una "razón" o al menos una "pista" que responde a mi problema.

Respuestas (2)

No he hecho el cálculo, pero podría intentar intercambiar la definición de los operadores de creación y aniquilación, y verificar si su ecuación aún satisface la relación de conmutación al mismo tiempo.

[ ϕ ( X ) , π ( X ) ] = i d ( 3 ) ( X X )
que por definición debe satisfacer el campo cuantificado. Mi creencia es que su cálculo dará un signo menos adicional.

Note que, cuando usted tiene un ϕ ( X , t ) , puedes obtener el impulso conjugado π ( X , t ) = ϕ ˙ ( X , t ) . Para verificar si la relación de conmutación anterior se cumple, debe recordar tomar t = 0 (o en cualquier otro momento), para que ϕ y π son al mismo tiempo. En otras palabras, debe comprobar [ ϕ ( X , t = 0 ) , π ( X , t = 0 ) ]

Debo agregar que, por supuesto, también deberíamos requerir el operador de creación y aniquilación para satisfacer la relación de conmutación correcta con [ a ( pag ) , a ( q ) ] = ( 2 π ) 3 d ( pag q )

Dado que hasta ahora nadie publicó una respuesta, me gustaría presentar un argumento ondulado de la mano heurística que se me ocurrió y que podría ser exactamente el que mi profesor también pretendía usar. Estaría agradecido si alguien pudiera leerlo y decirme si lo que escribo ahora tiene algún sentido.

Recuerde que pregunté por qué cuando tenemos nuestro campo KG cuantificado

ϕ ^ ( X , t ) = C d 3 pag [ a ^ ( pag ) mi + i ( pag X mi pag t ) + b ^ ( pag ) mi i ( pag X mi pag t ) ) ]
$$

el a ^ ( pag ) corresponde al operador de creación y b ^ ( pag ) a la aniquilación. Y la sugerencia heurística que dio mi profesor en el curso fue considerar

( ϕ F mi i mi i F ) ϕ ^ ( X , t ) ϕ i mi i mi i t = ( ϕ F ) mi + i mi i F ) ϕ ^ ( X , t ) ϕ i mi i mi i t

¿Cómo me ayuda esto? En primer lugar, una función de onda general | φ ( t ) es dado por mi i H k GRAMO t | φ ( 0 ) , tenga en cuenta que aquí tenemos menos en el exponente. En expansión | φ ( t ) en base a momentos { | pag } obtenemos | φ ( t ) = pag mi i H k GRAMO t C ( pag ) | pag = pag mi i mi pag t C ( pag ) | pag , mi pag > 0 . mi pag > 0 significa que consideramos energías únicamente positivas y, por lo tanto, no hay antipartículas involucradas. Tenga en cuenta que C ( pag ) no depender del tiempo.

Ahora bien, es razonable exigir que ϕ ^ ( X , t ) | 0 es una función de onda en el sentido habitual, es decir, el exponente en el operador de evolución temporal tiene signo negativo. Por lo tanto por arriba ϕ ^ ( X , t ) | 0 = pag mi i mi pag t C ( pag ) | pag .

Asumir b ^ ( pag ) crea y b ^ ( pag ) aniquila Entonces a ^ ( pag ) | 0 = | 0 y b ^ ( pag ) | 0 = | pag y por lo tanto ϕ ^ ( X , t ) | 0 = pag mi i ( pag X mi pag t ) ) | pag = pag mi + i mi pag t C ( pag ) | pag . Comparando los exponentes dependientes del tiempo obtenemos una contradicción, por lo tanto a ^ ( pag ) es creación. ¿Tiene sentido mi argumento?