Несколько лет назад я пытался вычислить оператор эволюции в вашем случае. Я хотел показать, что такой гамильтониан никогда не имеет квантового состояния. Решение, которое я нашел, состоит в том, что такая модель имеет когерентное состояние только в бесконечное время. Я до сих пор не знаю о промежуточных временах, даже если приведенное ниже решение позволит вам рассчитать все, что вы хотите, в любое время. Метод возмущений можно найти у Ландау (по квантовой механике). Кроме того, приведенный ниже результат можно найти в книге Гардинера и Золлера о квантовом шуме, если я правильно помню. Наконец, самое старое исследование этого вопроса, которое я нашел, — это анализ Carruthers and Nieto (1965); они используют функцию Грина, чтобы показать, что в бесконечное время квантовый гармонический осциллятор описывается когерентным состоянием.
Я использовал так называемый алгебраический метод Ли (хороший обзор см. в Wei and Norman 1963; я полагаю, что мой рабочий лист является автономным), потому что это общий метод, который позволяет довольно легко вычислить оператор эволюции для простого гамильтониана. Этот метод не так известен
Прежде чем углубиться в вывод, позвольте мне дать ссылки (если их не хватает, дайте мне знать), которые я использовал
- Каррутерс, П., и Ньето, М. (1965). Когерентные состояния и вынужденный квантовый осциллятор. Американский журнал физики, 33 (7), 537. doi: 10.1119/1.1971895
- Вей, Дж., и Норман, Э. (1963). Алгебраическое решение Ли линейных дифференциальных уравнений. Журнал математической физики, 4 (4), 575. doi: 10.1063/1.1703993
- Ло, CF (1991). Генерация смещенных и сжатых числовых состояний с помощью зависящего от времени осциллятора с общим приводом. Physical Review A, 43 (1), 404–409. doi: 10.1103/PhysRevA.43.404
Теперь мой файл LaTeX (я не пытался редактировать его для настоящего дисплея, так что может быть так, что некоторые замечания совершенно глупы):
Затем предположим, что мы рассматриваем следующий гамильтониан
ЧАС= ℏюа^+а^+ ф( т )а^++ф*( т )а^
для любой заданной функции
ф
и
ф*
в зависимости от времени и с
а^
и
а^+
аннигиляция и создание бозона на частоте
ю
оператор режима. Унитарная временная эволюция этого гамильтониана может быть записана в соответствии с методом алгебраической резолюции Ли
ЧАС(тф) =U^+(тф,тя) . ЧАС(тя) .U^(тф,тя)
с пропагатором (см. \cite{Wei1963} для первой математической обработки и \cite{Lo1993} для примера квантового осциллятора):
U^(тф,тя) =е− яа^+а^ω (тф−тя)еа^+α (тф,тя)е−а^α*(тф,тя)е−| α (тф,тя) |2/ 2еγ(тф,тя)
с
α (тф,тя) =∫тфтяф( т )ея т_гтя ℏ и γ(тф,тя) = - я∫тфтяIm { α ( τ)∂∂тα*( т) } дт
действуют как два параметра для унитарного преобразования.
Теперь обратите внимание на частный случай, когда обатя
итф
стремится к бесконечности,γ(тф,тя)
средние значения равны нулю и:
U^( + ∞ , - ∞ ) знак равноеа^+αе−а^α*е−| а |2/ 2"="еа^+α -а^α*"="Д^( а )
где
α = f( ω ) / я ℏ
это
ю
компонент преобразования Фурье
ф( т )
, деленная на размер квантового ящика
ℏ
. Таким образом, унитарная эволюция квантовой системы, движимой классической силой, соответствует оператору смещения когерентных состояний, найденному в \cite{Carruthers1965}. Затем за достаточно большое время взаимодействия одномодовый квантовый гармонический осциллятор переходит в квазиклассический осциллятор.
Доказательство с использованием алгебраического метода Ли
Фрист, перепиши гамильтонианЧАС
как
ЧАС( т ) =а0а^+а^+а+( т )а^++а−( т )а^
где
а0
не зависит от времени. Затем заметим, что операторы
1^
,
а^+а^
,
а^+
и
а^
образуют замкнутую алгебру в смысле Ли, \emph{ie} относительно своих коммутаторов:
[а^+а^,а^+] =а^+ ; [ а^+а^,а^] =-а^ ; [ а^,а^+] =1^
Затем заметим, что уравнение Шрёдингера
ЧАС( т ) | Ψ ( т ) ⟩ знак равно я ℏ∂∂т| Ψ ( т ) ⟩ ⇒ | Ψ ( т ) ⟩ знак равноU^( т ) | Ψ ( 0 ) ⟩
принять унитарный оператор
U^( т )
как зависящее от времени решение с
U^( 0 ) =1^
. Таким образом, мы имеем следующее уравнение:
ЧАС( т )U^( т ) знак равно я ℏ∂∂тU^( т ) ⇒ Н( т ) знак равно я ℏ∂U∂тU+( т )
соответствующее шредингеровскому. Второе выражение получается из первого умножением на
U+
справа. Теперь, поскольку все операторы, встречающиеся в
ЧАС( т )
образуют алгебру Ли, общую форму
U^( т )
является :
U^( т ) =еα0( т )а^+а^еα+( т )а^+еα−( т )а^еα ( т )1^
где функции
α ( т )
,
α0( т )
,
α+( т )
и
α−( т )
надо найти. Будьте осторожны, эти
α
не имеют ничего общего с
α
определены в основном тексте. Для этого сначала вычислим
∂U^∂тU^+"=""="[∂α0∂та^+а^+∂α∂т] +∂α0∂теα0( т )а^+а^а^+е−α0( т )а^+а^+∂α−∂теα0( т )а^+а^еα+( т )а^+а^е−α+( т )а^+е−α0( т )а^+а^[а^+а^∂α0∂т+∂α∂т+а^+∂α+∂теα0( т )−α+( т )∂α−∂т+а^∂α−∂те−α0( т )]
с помощью следующих соотношений:
еλа^+а^а^"="а^еλа^+а^е− λ ; еλа^+а^а^+"="а^+еλа^+а^еλ и еλа^+а^= (а^− λ )еλа^+
плюс определение унитарного оператора
UU+"="1^
. Точно так же мы можем использовать известную лемму Адамара, которая утверждает, что
еС^А^е−С^"="А^+ [С^,А^] +12 ![С^, [С^,А^] ] +13 ![С^, [С^, [С^,А^] ] ]+…
и коммутационные соотношения. Обычно для простых групп этот метод работает быстрее, потому что ряд имеет только нулевые компоненты после нескольких итераций. Введение вышеуказанного
( ∂U^/ ∂т )U+
в уравнение Шрёдингера
ЧАС( т ) знак равно я ℏ( ∂U^/ ∂т )U+
, у нас есть :
⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪я ℏα˙0"="а0α˙−α+( т )α˙−= 0я ℏα˙−е−α0( т )"="а−( т )я ℏα˙+еα0( т )"="а+( т )⇔⎧⎩⎨⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪⎪α0"="а0( т -тя) / я ℏα−( т ) =∫ттяа−( т)еа0тгтя ℏα+( т ) =∫ттяа+( т)е−а0тгтя ℏ
где
α˙0= ∂α0/ ∂т
,
α˙"="
... и приравнивая каждый оператор самому себе в каждой части уравнения Шрёдингера. Мы предполагали, что
тя
начальный момент, где
α0( т =тя) = 0
,
α (тя) = 0
, ... потому что оператор унитарной эволюции должен проверять
U^( т = 0 ) =U^( т , т ) =1^
, за один раз
U^( т )
или два раза
U^(тя,тф)
унитарный оператор эволюции. Теперь найдем фазовый множитель
а ( т)
. В силу интегрирования по частям имеем:
α ( т )"=""="∫ттяα+( т)α˙−( т) дт"="[α+( т )α−( т ) ]ття−∫ттяα˙+( т)α−( т) дт∫ттяα+( т )α˙−( т ) -α˙+( т )α−( т )2гт +12[α+( т )α−( т ) ]ття
для более удобной формы. Если эта последняя форма может быть более сложной, чем предыдущие, в нашем случае ее легче вычислить, потому что
α−( т ) знак равно -α*+( т )
(это верно до тех пор, пока выбранный гамильтониен является эрмитовым), так что:
α ( т ) знак равно - я∫ттяя {α+( т)α˙*+( т) } дт−12[|α+( т) |2]ття
которая является формой, используемой в основном тексте. Теперь, потому что
тя
это начальный момент,
α+(тя) = 0
, и поэтому
[|α+( т) |2]тт я"="
|α+( т ) |2
. Заметьте, что предыдущее выражение — это лишь одна из нескольких возможностей выражения
α ( т )
. У нас вообще
α ( т )"=""="− ∫α+гα*+= - ∫α*−гα−− ∫α−гα*−+|α−|2= - ∫α*+гα−+|α+|2
для этого фазового члена.
Любош Мотл