Квантовые и классические операторы Лиувилля

В представлении Гейзенберга о квантовой механике для наблюдаемого А ^ , мы имеем знаменитое уравнение Гейзенберга, определяющее эволюцию оператора во времени: ( ЧАС ^ — оператор Гамильтона)

я А ^ т "=" [ ЧАС ^ , А ^ ]
Какой из них можно переписать, определив оператор Лиовиля как:
л ^ "=" 1 [ ЧАС , . ]
Таким образом
(1) А ^ ( т ) "=" е я л ^ т А ^ ( 0 ) "=" е я ЧАС ^ т / А ^ ( 0 ) е я ЧАС ^ т /

Точно так же в классической статистической механике для некоторой классической дифференцируемой переменной А имеем уравнение Пуассона: ( ЧАС здесь классический гамильтониан)

А т "=" { А , ЧАС }
Теперь определяем классический вариант оператора Лиувилля:
(*) л "=" я { ЧАС , . } "=" я "=" 1 н [ ЧАС п я д я ЧАС д я п я ]
Таким образом, снова определяя временную эволюцию А с соответствующим пропагатором:
(2) А ( т ) "=" е я л т А ( 0 )

Вопрос:

  • В ( 1 ) мы смогли еще больше расширить унитарного оператора е я л ^ т в два унитарных перевода времени, генерируемых ЧАС ^ (прослоение значения оператора во время т "=" 0 ), но глядя на ( 2 ) , есть ли способ еще больше расширить пропагатор е я л т , с использованием ( * ) , в вид выражения, который был получен в версии QM, а именно уравнение ( 1 ) ?
Выражение, включающее оператор Лиувилля, является формальным, т. е. способом суммировать серию операций, которые необходимо выполнить. Заметим, что в классической постановке имеют дело с коммутативными структурами, так что сопряжение унитарами неэффективно.

Ответы (1)

Вопрос ОП (v1) по существу спрашивает

Идентифицирует ли себя оператор

(1) е я т [ ЧАС ^ ,     ] А ^   "="   е я ЧАС ^ т / А ^ е я ЧАС ^ т /
иметь аналог с использованием функций/символов ЧАС и А а не операторы ЧАС ^ и А ^ , соответственно?

Ответ: Да, с точки зрения звездного продукта Грёневольда-Мойяля. . Если скобка Пуассона записывается как

(2) { А , Б } п Б   "="   А я ю я Дж Дж Б , я     г я , { г я , г Дж } п Б   "="   ю я Дж ,

где г 1 , , г 2 н канонические координаты и А , Б являются функциями/символами (в отличие от операторов), то звездный продукт читается

(3) А Б   "="   А опыт ( я я 2 ю я Дж Дж ) Б   "="   А Б + я 2 { А , Б } п Б + О ( 2 ) .

И тогда аналог экв. (1) есть

(4) е я т [   ЧАС   ,     ] А   "="   е я ЧАС т / А е я ЧАС т / ,

где

(5) [ А , Б ]   "=" А Б Б А   "="   я { А , Б } п Б + О ( 3 )

является звездным коммутатором, и

(6) е Б   "="   1 + Б н "=" 1 ( Б ) н 1 / н !

является звездной экспонентой.

Большое спасибо, я действительно искал что-то в этом роде, но мне действительно трудно понять, что здесь означает продукт Мойал. Не будете ли вы так любезны дать краткое основное объяснение этому? (данная ссылка крайне кратка).
Я обновил ответ.
Тождество (4) является квазиклассическим степенным рядом в . Член нулевого порядка в обозначает классический вклад.