Теорема Гелл-Манна и Лоу - это теорема в квантовой теории поля, которая позволяет связать основное (или вакуумное) состояние взаимодействующей системы с основным состоянием соответствующей невзаимодействующей теории. Это было доказано в 1951 году Мюррей Гелл-Манн и Фрэнсис Э. Лоу . Теорема полезна, потому что, среди прочего, связывая основное состояние взаимодействующей теории с ее невзаимодействующим основным состоянием, она позволяет выразить функции Грина (которые определяются как математические ожидания полей картинки Гейзенберга во взаимодействующем вакууме ) как ожидаемые значения изображения взаимодействияполя в невзаимодействующем вакууме. Хотя теорема Гелл-Манна и Лоу обычно применяется к основному состоянию, она применима к любому собственному состоянию гамильтониана. Его доказательство основано на идее начала с невзаимодействующего гамильтониана и адиабатического включения взаимодействий.
Теорема была впервые доказана Гелл-Манном и Лоу в 1951 году с использованием ряда Дайсона . В 1969 году Клаус Хепп представил альтернативный вывод для случая, когда исходный гамильтониан описывает свободные частицы, а взаимодействие ограничено нормой. В 1989 году Ненсиу и Раше доказали это с помощью адиабатической теоремы . Доказательство, не основанное на расширении Дайсона, было дано в 2007 году Молинари.
Позвольте быть собственным состоянием с энергией и пусть будет «взаимодействующий» гамильтониан , где - константа связи и член взаимодействия. Мы определяем гамильтониан, который эффективно интерполирует между и в пределе и . Обозначим через оператор эволюции в картине взаимодействия . Теорема Гелл-Манна и Лоу утверждает, что если предел от
существует, то являются собственными состояниями .
Обратите внимание, что в применении, скажем, к основному состоянию, теорема не гарантирует, что развитое состояние будет основным состоянием. Другими словами, железнодорожный переезд не исключен.
Как и в исходной статье, теорема обычно доказывается с использованием разложения Дайсона оператора эволюции. Однако его применимость выходит за рамки теории возмущений, как было продемонстрировано Молинари. Здесь мы следуем методу Молинари. Сосредоточьтесь и позвольте . Из уравнения Шредингера для оператора временной эволюции
и граничное условие можно формально записать
Сосредоточьтесь на этом деле . Путем замены переменных мы можем написать
Таким образом, у нас есть это
Этот результат можно объединить с уравнением Шредингера и его сопряженным
чтобы получить
Соответствующее уравнение между ними такое же. Его можно получить путем предварительного умножения обеих сторон на , последующего умножения на и использования
Другой интересующий нас случай, а именно, может рассматриваться аналогичным образом и дает дополнительный знак минус перед коммутатором (мы не рассматриваем здесь случай, когда имеют смешанные знаки). Таким образом, получаем
Мы переходим к случаю отрицательного времени. Сокращение различных операторов для ясности
Теперь, используя определение, мы дифференцируем и исключаем производные, используя приведенное выше выражение, находим
где . Теперь мы можем считать, как по предположению, в левой части конечно. Затем мы ясно видим, что это собственное состояние, и доказательство завершено.