Эквивалентность классического и квантованного уравнений движения для свободного поля

Предположим, что классическое свободное поле ф имеет динамику, заданную в форме скобки Пуассона формулой о ф "=" { ЧАС , ф } . Если мы преобразуем это поле в операторное поле, динамика после канонического квантования задается выражением о ф "=" я [ ЧАС , ф ] .

Как доказать эквивалентность этих двух уравнений движения? Разбивается ли процедура для взаимодействующих полей?

Изменить. Ниже я понимаю, как на этот вопрос дается ответ. Я рассматриваю скалярное поле для простоты.

1/ Поскольку поле свободно, мы можем написать оператор ф как суперпозиция операторов плоских волн:

ф ( Икс ) "=" К ( г 3 п ) а п е я п Икс + а п е я п Икс

Где K — константа нормализации. Теперь задача состоит в том, чтобы найти, какое уравнение описывает эволюцию во времени а п

2/Как оператор, а п развивается в соответствии с г г т а п "=" я [ ЧАС , а п ]

3/ Поскольку поле свободно , мы можем написать ЧАС в виде:

ЧАС "=" ( г 3 п ) ю а п а п
4/Вставка в коммутатор и использование коммутационных соотношений дает
г г т а п "=" я ю а п
г 2 г т 2 а п "=" ю 2 а п
5/Эти уравнения для операторов совпадают с классическими уравнениями, что оправдывает использование классических уравнений Эйлера-Лагранжа для операторов.

Это верно?

Связанный вопрос: physics.stackexchange.com/q/16141/2451
«Как нам доказать эквивалентность этих двух уравнений движения?» эквивалентность в каком смысле?

Ответы (1)

Предположим, что нет никаких препятствий для квантования, проблем с порядком и т. д. Это совершенно нормально в большинстве физических случаев, и я думаю, что это делает ответ более понятным.

Ответ состоит из двух частей:

  1. Учитывая, что квантовый гамильтониан есть не что иное, как классический гамильтониан со шляпами в полях и импульсах
    ЧАС ^ "=" ЧАС с л ( Π ^ , Φ ^ )
    и что он рецепт Дирака держит
    [ , ] "=" я { , }
    с точкой и квадратом любого поля или импульса, то ясно, что классическое и квантовое уравнения движения в картине Гейзенберга формально совпадают.
  2. Если уравнения движения линейны в полях, то предыдущая формальная эквивалентность дополнительно «действительна», а именно: средние значения полей эволюционируют подобно классическим полям. Это теорема Эренфеста.

Пример. Для простоты рассмотрим следующую квантово-механическую задачу (обобщение на КТП сразу):

ЧАС с л ( п , Вопрос ) "=" п 2 2 + Вопрос 2 2 + г Вопрос 3 3
со стандартными скобками Пуассона. Обратите внимание, что это гармонический осциллятор (в некоторых удобных единицах, где масса и частота установлены равными 1) плюс член взаимодействия. Классическое уравнение движения получается, как вы хорошо знаете (взяв скобки Пуассона с гамильтонианом) и в форме второго порядка:
Вопрос ¨ + Вопрос + г Вопрос 2 "=" 0
Пока все классически. Теперь квантовый гамильтониан просто:
ЧАС ^ "=" ЧАС с л ( п ^ , Вопрос ^ ) "=" п ^ 2 2 + Вопрос ^ 2 2 + г Вопрос ^ 3 3
с каноническими коммутационными соотношениями, полученными из рецепта Дирака. Мы на картинке Гейзенберга. Как вы должны убедиться (взяв коммутаторы с гамильтонианом), квантовое уравнение движения имеет вид:
Вопрос ^ ¨ + Вопрос ^ + г Вопрос ^ 2 "=" 0

Это предыдущая первая часть; как видите, оба уравнения формально одинаковы.

Однако физически — а не формально — нас интересует эволюция средних значений наблюдаемых, а не эволюция собственных операторов. Вопрос ^ в картине Гейзенберга (эти операторы не зависят от времени в картине Шредингера, и физика не может зависеть от картины, которую люди решают использовать). Итак, мы можем взять математическое ожидание предыдущего уравнения в общем состоянии | Ψ

г 2 г т 2 Ψ | Вопрос ^ | Ψ + Ψ | Вопрос ^ | Ψ + г Ψ | Вопрос ^ 2 | Ψ "=" 0
Обратите внимание, что, поскольку мы находимся в картине Гейзенберга, физические состояния не развиваются во времени, и мы можем выписать производные по времени из ожидаемого значения. Большой вопрос: подразумевает ли это уравнение, что ожидаемое значение квантовой наблюдаемой (физической вещи) эволюционирует классически? И ответ резко отрицательный, потому что:
Ψ | Вопрос ^ 2 | Ψ Ψ | Вопрос ^ | Ψ 2
то есть: в общем случае ожидаемое значение квадрата не является квадратом ожидаемого значения (разница представляет собой квадрат стандартного отклонения или неопределенности).

в г "=" 0 в случае отсутствия последнего члена уравнение является линейным и эволюция значения квантового среднего является классической. То есть звонить д Ψ | Вопрос ^ | Ψ :

д ¨ + д "=" 0
которое является классическим уравнением (с г "=" 0 ).