Equivalencia de la ecuación de movimiento clásica y cuantificada para un campo libre

Supongamos un campo libre clásico ϕ tiene una dinámica dada en forma de paréntesis de Poisson por o ϕ = { H , ϕ } . Si promovemos este campo a un campo de operador, la dinámica después de la cuantificación canónica viene dada por o ϕ = i [ H , ϕ ] .

¿Cómo probamos la equivalencia de estas dos ecuaciones de movimientos? ¿Se descompone el procedimiento para los campos que interactúan?

Editar: Lo siguiente es mi comprensión de cómo se responde la pregunta. Considero un campo escalar por simplicidad.

1/ Como el campo es libre podemos escribir el operador ϕ como una superposición de operadores de onda plana:

ϕ ( X ) = k ( d 3 pag ) a pag mi i pag X + a pag mi i pag X

Donde K es una constante de normalización. El problema ahora es encontrar qué ecuación gobierna la evolución temporal de a pag

2/Como operador, a pag evoluciona de acuerdo a d d t a pag = i [ H , a pag ]

3/ Como el campo está libre podemos escribir H en la forma:

H = ( d 3 pag ) ω a pag a pag
4/Insertando en el conmutador y usando las relaciones de conmutación esto da
d d t a pag = i ω a pag
d 2 d t 2 a pag = ω 2 a pag
5/Estas ecuaciones para operadores son las mismas que las ecuaciones clásicas, lo que justifica el uso de las ecuaciones clásicas de Euler-Lagrange para los operadores.

¿Es esto correcto?

"¿Cómo probamos la equivalencia de estas dos ecuaciones de movimientos?" equivalencia en que sentido?

Respuestas (1)

Supongamos que no hay obstrucciones para la cuantización, problemas de orden, etc. Esto está perfectamente bien en la mayoría de los casos físicos y creo que esto hace que la respuesta sea más comprensible.

La respuesta tiene dos partes:

  1. Dado que el hamiltoniano cuántico no es más que el hamiltoniano clásico con sombreros en los campos y momentos
    H ^ = H C yo ( Π ^ , Φ ^ )
    y que la prescripción de Dirac sostiene
    [ , ] = i { , }
    con el punto y el cuadrado cualquier campo o cantidad de movimiento, entonces está claro que las ecuaciones de movimiento clásica y cuántica en la imagen de Heisenberg son formalmente las mismas.
  2. Si las ecuaciones de movimiento son lineales en los campos, entonces la equivalencia formal anterior es además "real", es decir: los valores esperados de los campos evolucionan como los campos clásicos. Este es el teorema de Ehrenfest.

Ejemplo: Para simplificar, considere el siguiente problema de mecánica cuántica (la generalización a QFT es inmediata):

H C yo ( PAG , q ) = PAG 2 2 + q 2 2 + gramo q 3 3
con los soportes estándar de Poisson. Tenga en cuenta que este es el oscilador armónico (en algunas unidades convenientes donde la masa y la frecuencia se establecen en 1) más un término de interacción. La ecuación clásica del movimiento se obtiene como bien sabes (tomando paréntesis de Poisson con el hamiltoniano) y en su forma de segundo orden es:
q ¨ + q + gramo q 2 = 0
Hasta aquí todo es clásico. Ahora, el hamiltoniano cuántico es simplemente:
H ^ = H C yo ( PAG ^ , q ^ ) = PAG ^ 2 2 + q ^ 2 2 + gramo q ^ 3 3
con las relaciones canónicas de conmutación obtenidas de la prescripción de Dirac. Estamos en la imagen de Heisenberg. Como deberías comprobar (tomando conmutadores con el hamiltoniano) la ecuación cuántica de movimiento es:
q ^ ¨ + q ^ + gramo q ^ 2 = 0

Esta es la primera parte anterior; como ves ambas ecuaciones son formalmente iguales.

Sin embargo, físicamente —más que formalmente— nos interesa más la evolución de los valores esperados de los observables que la evolución de los propios operadores. q ^ en la imagen de Heisenberg (estos operadores no dependen del tiempo en la imagen de Schrödinger y la física no puede depender de la imagen que los humanos decidan usar). Entonces, podemos tomar el valor esperado de la ecuación anterior en un estado genérico | Ψ

d 2 d t 2 Ψ | q ^ | Ψ + Ψ | q ^ | Ψ + gramo Ψ | q ^ 2 | Ψ = 0
Tenga en cuenta que, dado que estamos en la imagen de Heisenberg, los estados físicos no evolucionan en el tiempo y podemos escribir las derivadas del tiempo a partir del valor esperado. La gran pregunta es: ¿Esta ecuación implica que el valor esperado del observable cuántico (la cosa física) evoluciona clásicamente? Y la respuesta es rotundamente negativa porque:
Ψ | q ^ 2 | Ψ Ψ | q ^ | Ψ 2
es decir: en general, el valor esperado del cuadrado no es el cuadrado del valor esperado (la diferencia es el cuadrado de la desviación estándar o indeterminación).

En el gramo = 0 En caso de que el último término esté ausente, la ecuación es lineal y la evolución del valor esperado cuántico es clásica. es decir llamando q Ψ | q ^ | Ψ :

q ¨ + q = 0
que es la ecuación clásica (con gramo = 0 ).