Supongamos un campo libre clásico tiene una dinámica dada en forma de paréntesis de Poisson por . Si promovemos este campo a un campo de operador, la dinámica después de la cuantificación canónica viene dada por .
¿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:
Donde K es una constante de normalización. El problema ahora es encontrar qué ecuación gobierna la evolución temporal de
2/Como operador, evoluciona de acuerdo a
3/ Como el campo está libre podemos escribir en la forma:
¿Es esto correcto?
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:
Ejemplo: Para simplificar, considere el siguiente problema de mecánica cuántica (la generalización a QFT es inmediata):
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. 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
En el 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 :
qmecanico
usuario10001