Как напрямую оценить интеграл пути для гармонического осциллятора методом грубой силы?

Легко оценить функцию Грина, используя подход интеграла по путям, оценивая классическое действие и используя метод функционального исчисления. Можно ли вычислить интеграл по траектории для гармонического осциллятора напрямую, оценивая интеграл для каждого временного интервала до последнего фиксированного временного интервала? Это громоздко, но я думаю, что это возможно.

Ответы (2)

  1. Что касается гармонического осциллятора, то хорошо известно, что после вращения Вика

    т Е     я т М
    к евклидову времени, то пропагатор Фейнмана /ядро/амплитуда равен
    (1) К ( Икс 2 , т 2 Е ; Икс 1 , т 1 Е )   "="   м ю 2 π грех ( ю Δ т 21 Е ) опыт { 1 С Е ( Икс 2 , т 2 Е ; Икс 1 , т 1 Е ) } ,
    где
    (2) С Е ( Икс 2 , т 2 Е ; Икс 1 , т 1 Е )   "="   м ю 2 ( ( Икс 2 2 + Икс 1 2 ) ткань ( ю Δ т 21 Е ) 2 Икс 2 Икс 1 грех ( ю Δ т 21 Е ) )
    является евклидовым действием Дирихле на оболочке.

  2. Есть много способов установить экв. (1) путем прямой/грубой интеграции путей. Например:

    • Самый простой/элементарный метод, возможно, состоит в том, чтобы вставить конечное число Н отношений полноты в перекрытие Икс 2 , т 2 Е ; Икс 1 , т 1 Е , тем самым разбив его на Н + 1 перекрытия равных временных шагов. Затем выведите отношение рекурсии в Н , и возьмем континуальный предел Н см., например, ссылки. 4 и 5.

    • Вычислите функциональный определитель , см., например, Ref. 2 и связанный с ним пост Phys.SE. В качестве альтернативы используйте формулу Гельфанда-Яглома .

    • Для ю Δ т 21 Е 1 , можно использовать пертурбативные методы ВКБ.

    • Если пропагатор Фейнмана/ядро/амплитуда К ( Икс 2 , т 2 Е ; Икс 1 , т 1 Е ) известна свободная частица, есть гениальный прием, чтобы вывести К ( Икс 2 , т 2 Е ; Икс 1 , т 1 Е ) для гармонического осциллятора см. Ссылка 3.

  3. После того, как экв. (1) найдено, возможно, с помощью ручных аргументов, есть строгий способ проверить это: выполнить одно интегрирование по Гауссу по Икс 2 чтобы проверить свойство интеграла пути

    (3) К ( Икс 3 , т 3 Е ; Икс 1 , т 1 Е )   "="   р г Икс 2   К ( Икс 3 , т 3 Е ; Икс 2 , т 2 Е )   К ( Икс 2 , т 2 Е ; Икс 1 , т 1 Е ) ,
    которое является сигнатурным свойством суммы по историям. Уравнение (3) следует непосредственно из уравнений. (1)-(2), формула интегрирования Гаусса и формулы сложения для ткань & грех .

  4. В частности, если ур. (1) изначально был установлен только для небольших времен, ю Δ т 21 Е 1 , затем повторное применение ур. (3) можно использовать для установления уравнения. (1) для больших времен, в самом духе интеграции пути.

Использованная литература:

  1. Р. П. Фейнман и А. Р. Хиббс, Квантовая механика и интегралы по траекториям, 1965; уравнения (3.59)-(3.60).

  2. Дж. Полчински, Теория струн, том. 1, 1998, Приложение А.

  3. Л. Морикони, Элементарный вывод пропагатора гармонического осциллятора, Am. Дж. Физ. 72 (2004) 1258 , arXiv: физика/0402069 . (Подсказка: ОП .)

  4. С. М. Коэн, Интеграл по траекториям для квантового гармонического осциллятора с использованием элементарных методов , Am. Дж. Физ. 66 (1998) 537 .

  5. К. Хира, евро. Дж. Физ. 34 (2013) 777 .

Заметки на потом: задача Ландау. Двумерная точечная частица в магнитном поле. Фейнман и Хиббс, задача 3-10; Кляйнерт, подраздел 2.23.3, с. 197. л   "="   м 2 ( Икс ˙ 2 + у ˙ 2 ) U     1 2 ( Икс у ) ( м г т 2 Б г т Б г т м г т 2 ) ( Икс у ) ; U   "="   д ( А Икс Икс ˙ + А у у ˙ )   "="   Б 2 ( Икс у ˙ у Икс ˙ ) ; Б "=" д Б г ; Координаты положения Икс и у не коммутируют, поэтому требование Дирихле до н.э. для обоих несовместимо, ср. ХУП. Вместо этого наложим периодический БК.
Примечания на потом: ю   "="   2 π н Т ; н е Н ; дет ( м ю 2 λ я Б ю я Б ю м ю 2 λ )   "="   0 ; λ ±   "="   м ю 2 ± Б ю ; ( м г т 2 λ Б г т Б г т м г т 2 λ ) ( Икс у )   "="   ( 0 0 ) ; ( Икс ± у ± )   "="   ( потому что / грех ю т грех / потому что ю т ) ; Неотрицательные собственные значения, если Б достаточно мал.
Примечания на потом: дет   "="   н е Н ( м 2 ю 4 Б 2 ю 2 )   "="   [ н е Н н ] 2 [ н е Н м 2 ю 1 4 ] [ н е Н ( 1 ( Б м ю 1 н ) 2 ) ] "=" Т 2 м с я н с Б Т 2 м ср. регуляризация дзета-функции .
Примечания на потом: Пропагатор в том же положении: К ( Икс , т 2 Е ; Икс , т 1 Е )   "="   м ю 2 π грех ( ю Δ т 21 Е ) опыт { м ю Икс 2 танх ю Δ т 21 Е 2 } ; Интеграл пути: Z   "="   р г Икс   К ( Икс , т 2 Е ; Икс , т 1 Е )   "="   ( 2 грех ю Δ т 21 Е 2 ) 1   "="   н е Н 0 е ( н + 1 / 2 ) ю Δ т 21 Е ;
Примечания на потом: что произойдет, если мы добавим исходный термин Дж Икс к лагранжиану? лагранжиан л М м 2 Икс ( г 2 г т М 2 + ю 2 ) Икс + Дж Икс . л Е м 2 Икс ( г 2 г т Е 2 + ю 2 ) Икс Дж Икс "=" м 2 ( Икс г Е Дж ) ( г 2 г т Е 2 + ю 2 ) ( Икс г Е Дж ) 1 2 Дж г Е Дж . Функция зелени г М ( т М ) "=" с г н ( т М ) грех ( ю т М ) 2 м ю . г Е ( т М ) "=" с г н ( т Е ) грех ( ю т Е ) 2 м ю .
Примечания на потом: Икс 2 , т 2 Е | Икс 1 , т 1 Е Дж "=" Икс 2 г Е ( т 2 Е ) Дж , т 2 Е | Икс 1 г Е ( т 1 Е ) Дж , т 1 Е 0   опыт ( 1 2 Дж г Е Дж ) . Сравните с MS Swanson, раздел 3.2, уравнения. (3.19)-(3.21); и Feynman & Hibbs, задача 3-11 ур. (3-66).

Интеграл по путям в квантовой механике можно определить как

опыт { я Δ т я л ( Икс я , Икс я + 1 Икс я Δ т , я ) } г Икс 0 г Икс Н

где, как отметил ОП, время «нарезается» на Н + 1 отрезки, и идея состоит в том, что пропагатор задается формальным пределом как Н . Основываясь на этой статье , кажется, что сходимость была установлена ​​Фудзикавой в топологии оператора нормы, в Б ( л 2 ( р г ) ) при условии, что потенциал является гладким с не более чем квадратичным ростом (например, гармонический осциллятор).

Это было расширено, чтобы показать, что сходимость сохраняется, при условии, что производные во втором пространстве существуют в ЧАС г + 1 ( р г ) . Эти результаты показывают, что мы можем ожидать действительного восстановления исходного пропагатора в континуальном пределе.

Однако для любого конечного Н , мы не можем ожидать ничего, кроме аппроксимации пропагатора; мы можем, конечно, просто провести интегрирование конечное число раз. Фактически это то, что изначально делается для того, чтобы заметить возникающий паттерн, который позволяет принять Н предел.