Expansion of the time evolution operator
В теории рассеяния , части математической физики , ряд Дайсона , сформулированный Фрименом Дайсоном , представляет собой пертурбативное разложение оператора эволюции во времени в картине взаимодействия . Каждый член может быть представлен суммой диаграмм Фейнмана .
Этот ряд асимптотически расходится , но в квантовой электродинамике (КЭД) во втором порядке отличие от экспериментальных данных составляет порядка 10 −10 . Это близкое согласие сохраняется, поскольку константа связи (также известная как константа тонкой структуры ) КЭД намного меньше 1. [ нужны разъяснения ]
Оператор Дайсона [ править ]
В картине взаимодействия гамильтониан + H можно разбить на часть H 0 и взаимодействующую часть V S ( t ) как H = H 0 ( V S t свободную ) .
Потенциал во взаимодействующей картине

где
не зависит от времени и
— это, возможно, зависящая от времени взаимодействующая часть картины Шрёдингера . Чтобы избежать индексов,
означает
в дальнейшем.
В картине взаимодействия оператор эволюции U определяется уравнением:

Иногда его называют оператором Дайсона .
Оператор эволюции образует унитарную группу по параметру времени. Имеет групповые свойства:
- Идентичность и нормализация:
[1] - Состав:
[2] - Обратное время:
[ нужны разъяснения ] - Унитарность:
[3]
и из них можно вывести уравнение эволюции во времени пропагатора: [4]

В картине взаимодействия гамильтониан совпадает с потенциалом взаимодействия
и, таким образом, уравнение также можно записать в картине взаимодействия как

Внимание : на этот раз уравнение эволюции не следует путать с уравнением Томонаги-Швингера .
Формальное решение

что в конечном итоге является разновидностью интеграла Вольтерра .
серии Происхождение Дайсона
Итерационное решение приведенного выше уравнения Вольтерра приводит к следующему ряду Неймана :

Здесь,
, поэтому поля упорядочены по времени . Полезно ввести оператор
, называемый временного упорядочения оператором , и определить

Пределы интеграции можно упростить. Вообще говоря, для некоторой симметричной функции
можно определить интегралы

и

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

Применительно к предыдущему тождеству это дает

Суммируя все слагаемые, получается ряд Дайсона. Это упрощенная версия описанной выше серии Neumann, в которую входят продукты, заказанные по времени; это экспонента, упорядоченная по пути : [5]

Этот результат также называют формулой Дайсона. [6] Из этой формулы можно вывести групповые законы.
Приложение к векторам состояния [ править ]
Вектор состояния во времени
может быть выражено через вектор состояния в момент времени
, для
как

Внутренний продукт начального состояния в
с конечным состоянием в
на картине Шредингера , ибо
является:

S картинке -матрицу можно получить, записав это на Гейзенберга , приняв входное и выходное состояния как бесконечные: [7]

Обратите внимание, что порядок времени в скалярном произведении был обратным.
- ^ Сакурай, Современная квантовая механика, 2.1.10
- ^ Сакурай, Современная квантовая механика, 2.1.12
- ^ Сакурай, Современная квантовая механика, 2.1.11
- ^ Сакураи, Современная квантовая механика, 2.1 стр. 69-71.
- ^ Сакураи, Современная квантовая механика, 2.1.33, стр. 72
- ^ Тонг 3.20, http://www.damtp.cam.ac.uk/user/tong/qft/qft.pdf
- ^ Дайсон (1949), «S-матрица в квантовой электродинамике» , Physical Review , 75 (11): 1736–1755, doi : 10.1103/PhysRev.75.1736