Коммутаторы с функциями

Ищу коммутатор:

[ е а д , п ]
Мой подход заключается в том, чтобы Тейлор расширил функцию:
[ н 1 н ! ( а д ) н , п ]
я знаю это [ д н , п ] "=" н я д н 1 Итак, как мне объяснить н коммутаторы?

Уточните, пожалуйста, что вы имеете в виду под «учетом»? н коммутаторы? Вы ищете доказательство последнего отношения, о котором вы упоминаете, которое вы уже знаете?
Связано: physics.stackexchange.com/q/78222/2451 и ссылки в нем.

Ответы (3)

Более общее отношение, чем [ д н , п ] "=" я н д н 1 является

[ ф ( А ) , Б ] "=" [ А , Б ] ф А
если [ А , [ А , Б ] ] "=" 0 . В этом случае мы можем использовать это, потому что [ д , п ] "=" я это просто число, и оно коммутирует со всем. Таким образом, вы можете просто применить эту формулу напрямую.

Еще одна вещь, которую, возможно, стоит отметить, заключается в том, что, поскольку производная является линейным оператором, вы можете применять ее к отдельным членам бесконечной суммы.

Как рассчитать более общий случай, когда [A,B] — другой оператор? Он идет до или после производной?
Если [ А , Б ] коммутирует с А , то это то же самое и не важно, до или после. Если [ А , Б ] не ездит с А , то выражение в целом усложняется. Предположим, что f имеет разложение Тейлора по степеням А н . Затем [ А н , Б ] "=" А н 1 [ А , Б ] + [ А н 1 , Б ] А . По рекурсии это [ А , Б ] н А н 1 если [ А , [ А , Б ] "=" 0 . Если нет, то вы не можете изменить порядок терминов, поэтому [ А , Б ] оказывается зажатым между А с. Но это можно сделать рекурсивно из [ А н , Б ] "=" А н 1 [ А , Б ] + [ А н 1 , Б ] А .

Если д и п удовлетворяют каноническому коммутационному соотношению, [ д , п ] "=" я , то можно использовать соотношение между классическими скобками Пуассона и коммутаторами:

(1) [ А , Б ] классический 1 я [ А , Б ]
я предполагаю А "=" А ( д , п ) и Б "=" Б ( д , п ) на данный момент. Классические скобки Пуассона задаются формулой
(2) [ А , Б ] классический "=" А д Б п А п Б д
Поскольку у вас есть А "=" А ( д ) и Б "=" п , то уравнение (1) через уравнение (2) дает
(3) [ А ( д ) , п ] "=" я А ( д ) д

Однако соотношение в (1) не всегда корректно (зависит от «красивости» функции А ( д ) , см. это и это ). Как обсуждалось в другом моем ответе (среди прочего), потребуется скобка Мойала , которая вводит поправочный коэффициент, пропорциональный 2 . Однако для актуальной проблемы А ( д ) опыт ( а д ) , (3) будет достаточно.

Это не всегда верно! Вычисление скобки через классическую скобку Пуассона в общем случае справедливо только для квадратичных функций. См. Каноническое квантование в Википедии.
@G.Bergeron: Правильно. Я обсуждаю это в более позднем ответе на аналогичный вопрос; Я просто не исправил это.

Мне кажется, что подход, сформулированный ОП, совершенно верен! ОП демонстрирует, что он знаком с коммутатором между q^n и p. Чтобы использовать эту формулу, он предлагает применить к целевой функции разложение в ряд Тейлора. Это нормально.

Единственная проблема в том, что ОП струсил и остановил свои расчеты на этом этапе. На самом деле конечный результат был почти виден. Подстановка специального коммутатора в ряд Тейлора приводит к формуле, которую можно легко пересуммировать. Это просто другая версия ряда Тейлора экспоненциальной функции!