Инстантон в двухъямном потенциале

Список литературы:

  1. R. Rosenfelder, "Path Integrals in Quantum Physics", глава 1.10.
  2. R. Rattazzi, "The Path Integral approach to Quantum Mechanics", глава 4.
  3. A. I. Vainstein et. al., "ABC of instantons", Usp. Fiz. Nauk 136, 553-591 (April 1982).

Постановка задачи

Рассмотрим квантовую частицу, которая находится в двухъямном потенциале

(1)V(x)=mω28a2(xa)2(x+a)2,

изображенном на рисунке

p1

Вблизи минимумов x=±a потенциал приближенно имеет вид V(x)mω22(xa)2, и в пределе a мы имеем две несвязанных друг с другом ямы, в которых энергия основного состояния равна E0ω/2, а характерный размер волновой функции /mω. При конечном значении параметра a/mω туннелирование между ямами снимает вырождение, и наша задача состоит в отыскании энергий двух низколежащих уровней (расщепление основного состояния). Поскольку гамильтониан инвариантен относительно xx, то волновые функции этих уровней будут характеризоваться определенной четностью:

(2)ψ0,1(x)12(ϕ0(xa)±ϕ0(x+a)),

где ϕ0(x) – волновая функция основного состояния обычного осциллятора. Задачу будем решать в квазиклассическом приближении с помощью интеграла по траекториям.

Перейдем к мнимому времени и рассмотрим амплитуду перехода из одной ямы в другую:

(3)UE(a,β/2;a,β/2)=x(β/2)=ax(β/2)=aDxeSE[x]/=nψn(a)ψn(a)eβEn/.

Нас интересует предельный случай β, когда основной вклад в эту сумму дают два первых слагаемых

(4)nψn(a)ψn(a)eβEn/ψ0(a)ψ0(a)eβE0/+ψ1(a)ψ1(a)eβE1/,

вклады от других уровней малы по параметру eβω1.

Классическая траектория

Выражение для классического действия имеет вид

(5)SE[x]=β/2β/2dτ[m2x˙2+V(x)],

что соответствует движению в перевернутом потенциале. Классическую траекторию находим из принципа наименьшего действия. Уравнение движения имеет вид второго закона Ньютона:

(6)mx¨cl=V(xcl),xcl(β/2)=a,xcl(β/2)=a.

Нас интересует β, поэтому начальная скорость частицы должна быть равна нулю (иначе она довольно быстро перейдет из a в a), что соответствует нулевой полной энергии. Интегрируя закон сохранения энергии в перевернутом потенциале, находим выражение для траектории:

(7)x1(τ)xcl(ττ0)=atanh[ω2(ττ0)],

которое называется инстантоном (частица большую часть времени проводит спускаясь с холма или карабкаясь на него и очень быстро проходит саму яму, за время порядка 1/ω – отсюда и название).

p2

Теперь вычисляем действие на классической траектории. Для упрощения вычислений опять используем закон сохранения энергии

(8)S1=β/2β/2dτmx˙12=maadx1x˙1=aadx2mV(x)=23mωa2.

Индекс 1 означает, что здесь учтено только решение с одним инстантоном. Можно представить себе ситуацию, когда переход из одной ямы в другую происходит по пути, который включает возвращение в исходное состояние (например, инстантон + анти-инстантон + инстантон). Как мы увидим позднее, такие траектории тоже необходимо учитывать, но пока мы концентрируемся на решении с одним инстантоном.

Флуктуации на фоне инстантона

Теперь возвращаемся к вычислению функционального интеграла и рассматриваем флуктуации относительно одно-инстантонного решения. В этом случае для траектории мы можем записать

(9)x(τ)=xcl(ττ0)+η(τ,τ0)

и тогда в перевальном приближении

(10)SE[x1+η]=S1+12β/2β/2dτdτδ2Sδx(τ)δx(τ)|x=xclη(τ)η(τ),

где

(11)δ2Sδx(τ)δx(τ)|x=xcl=[md2dτ2+V(xcl(τ))]δ(ττ)O^δ(ττ).

Введем в рассмотрение собственные функции оператора O^yn(τ)=λnyn(τ), которые предполагаются нормированными на единицу ym|yn=β/2β/2dτyn(τ)ym(τ)=δnm и разложим наше возмущение по этим собственным функциям η(τ)=cnyn(τ). В итоге функциональный интеграл сводится к произведению гауссовых интегралов, которые легко вычисляются

(12)UE(a,β/2;a,β/2)=eS1/Nn=0[dcneλncn2/2]=eS1/m2πnλn=eS1/m2πdetO^.

Здесь нормировочная константа равна N=m2πn=0(2π)1/2. Отметим также, что детерминант оператора можно также вычислять с помощью формулы Гельфанда-Яглома. Однако, все эти способы перестают работать, если в спектре оператора присутствует нулевое собственное значение.

Нулевая или голдстоуновская мода

Проанализируем теперь непосредственно наш случай. Поскольку V(x)=mω22(3x2/a21), то уравнение на собственные значения принимает вид

(13)md2dτ2yn(τ)+mω2(132cosh2(ω(ττ0)/2))yn(τ)=λnyn(τ),

которое хорошо известно. У этого уравнения есть нетривиальное решение с нулевой правой частью (нулевая мода). Этот факт легко установить непосредственно, если классическое уравнение движения mx¨1=V(x1) продифференцировать по τ0:

(14)md2dτ2x1τ0V(x1)x1τ0=0.

Тогда получаем, что

(15)y0(τ)=A0x1τ0=A0x˙1=A0aω2cosh2[ω(ττ0)/2],

где константа определяется из условия нормировки

(16)1=A02dτx˙12=A02S1/mA0=m/S1.

С физической точки зрения нулевая мода связана с тем, что положение "центра" инстантона τ0 может принимать любое значение в пределе β (трансляционная инвариантность).

 

Если резюмировать, то наша проблема – расходимость интеграла вследствие λ0=0 – связана с тем, что наш функциональный интеграл плохо определен из-за того, что мы производим лишние интегрирования по физически эквивалентным конфигурациям. Действительно, при вычислении амплитуды перехода UE(a,;a,) мы должны учитывать все возможные классические пути. Рассмотрим два таких пути, которые немного отличаются положением центров инстантонов, τ0 и τ0. Оба эти пути должны быть приняты во внимание. Проблема с нулевой модой состоит в том, что если мы рассматриваем флуктуации на фоне классической траектории с параметром τ0, то приращения соответствующие нулевой моде могут перевести ее в другую (близкую) классическую траекторию с параметром τ0. Таким образом, мы должны исключить нулевую моду из класса возможных вариаций классической траектории и проинтегрировать по координате τ0 в явном виде. Это можно сделать с помощью трюка Фадеева-Попова. Рассмотрим проекцию вариации классической траектории на нулевую моду

(17)f(τ0)=η|y0=A0β/2β/2dτ[x(τ)xcl(τ,τ0)]xcl(τ,τ0)τ0

и домножим наш функциональный интеграл на единицу

(18)1=β/2β/2dτ0δ[f(τ0)]|fτ0|.

Дельта-функция означает, что теперь учитываются только флуктуации, которые ортогональны нулевой моде. То есть с учетом этой вставки коэффициент разложения c0 для нулевой моды равен нулю и интегрирование по c0 заменено интегрированием по τ0. Окончательно находим,

(19)UE(a,β/2;a,β/2)=eS1/Nβ/2β/2dτ0A0n=1(2πλn)1/2.

Связь между мерами интегрирования dc0 и dτ0 можно установить из того факта, что dc0 связано с трансляцией во времени τ0 положения инстантона. Поскольку

(20)x(τ)=xcl(τ)+c0y0(τ)=xcl(τ)c0A0xcl(τ)τxcl(τc0A0)

и с другой стороны xcl(τ)=f(ττ0), то мы находим, что dτ0=A0dc0 или dc0=dτ0/A0.

 

Таким образом, приходим к выражению:

(21)UE(a,a;β)=eS1/F1;F1=βA0m2πdetO^12π.

Задача свелась к вычислению функционального детерминанта без учета нулевой моды.

Функциональный детерминант

Редуцированный функциональный детерминант будем вычислять методом Гельфанда-Яглома. Для этого отметим, что в случае конечного, но большого значения β, собственное значение λ0 больше не равно нулю (мы ожидаем, что λ0eβω). Сначала мы определим полный детерминант методом Гельфанда-Яглома, а затем найдем λ0 и разделим на него ответ.

Полный детерминант

Уравнение на функцию Гельфанда-Яглома принимает вид:

(22)d2dτ2f(τ)ω2(132cosh2(ω(ττ0)/2))f(τ)=0,f(β/2)=0,f˙(β/2)=1,

и тогда detO^=f(β/2). Одно из его решений нам известно, оно пропорционально нулевой моде:

(23)f1(τ)y0(τ)=A0aω2cosh2[ω(ττ0)/2]2ωaA0eω|τ|,τ±.

Нам нужно отыскать второе решение и построить из них комбинацию, которая бы удовлетворяла записанным выше граничным условиям. Поскольку вронскиан в нашем случае равен константе (в уравнении отсутствует член с первой производной), то второе решение формально можно определить

(24)f2(τ)=Wf1(τ)τdτf12(τ).

Однако, в дальнейшем нам важно только асимптотическое поведение этого решения. Его можно установить из следующих соображений. Поскольку исходный Лагранжиан инвариантен относительно обращения времени и решения f1 и f2 линейно независимы, то решение f2 должно иметь на бесконечности противоположное поведение (растет с τ) и противоположную симметрию относительно обращения времени (нечетное). То есть

(25)f2(τ)2ωaA0eω|τ|,τ±

Теперь составим из этих двух линейно независимых решений комбинацию

(26)f(τ)=C[f1(β/2)f2(τ)f2(β/2)f1(τ)],

которая удовлетворяет граничному условию f(β/2)=0. Константу С определим из второго граничного условия (как нетрудно понять C=1/W):

(27)C=1W=18ω3a2A02.

В итоге для детерминанта оператора O^ находим:

(28)detO^=f(β/2)=1ω.

Упражнение 1. Проделайте вычисления и получите записанные выше ответы для C и detO^.

Собственное значение λ0

Теперь нам осталось отыскать собственное значение λ0, которое стремится к нулю в пределе β. Для этого построим функцию Грина для оператора O^, которая удовлетворяет нулевому граничному условию на левом конце τ=β/2:

(29)g(τ,τ)=θ(ττ)mW(f1(τ)f2(τ)f2(τ)f1(τ)).

Уравнение на собственный вектор имеет вид (граничные условия нулевые, поскольку флуктуации равны нулю на концах):

(30)md2dτ2Y0(τ)+mω2(132cosh2(ω(ττ0)/2))Y0(τ)=λ0Y0(τ),Y0(β/2)=Y0(β/2)=0,

и его решение запишем в виде суммы решений однородного и неоднородного (здесь уже потребовано выполнение левого граничного условия):

(31)Y0(τ)=Af(τ)+λ0β/2β/2dτg(τ,τ)Y0(τ).

Константу A можно устранить заменой Y0Y0/A

(32)Y0(τ)=f(τ)+λ0β/2β/2dτg(τ,τ)Y0(τ)

и мы должны потребовать выполнение второго граничного условия Y0(β/2)=0, которое остается неизменным:

(33)detOλ0=β/2β/2dτg(β/2,τ)Y0(τ).

Здесь мы воспользовались тем, что f(β/2)=detO^.

 

Это уравнение решаем методом последовательных приближений. Поскольку λ0 ожидается очень малым, то из исходного уравнения (32) заключаем, что Y0(τ)f(τ). Теперь подставляем явные выражения для g(β/2,τ) и f(τ) через функции f1 и f2:

(34)detOλ01mW2[f1(β/2)f1(β/2)f2|f2+f2(β/2)f2(β/2)f1|f1],

где мы учли, что f1|f2=0, поскольку эти функции имеют разную четность. В пределе β находим:

(35)detOλ01m(2ωaA0W)2[eωβf2|f2eωβf1|f1].

Скалярное произведение f2|f2β/2dte2ωteβω, а для f1|f1y0|y0=1, поэтому второе слагаемое доминирует. Окончательно получаем:

(36)detO^λ0=detO^=eβω24mω3.

 

Резюмируя результаты этого раздела, мы решили задачу для одного инстантона. Амплитуда перехода равна

(37)UE(a,a;β)=eS1/F1;F1=βmωπeωβ/2K1,K1=4ma2ω3π,

где ответ без фактора K1 соответствует обычному гармоническому осциллятору (если в уравнении Гельфанда-Яглома считать V(x)=mω2/2).

Газ инстантонов

Наконец, нам нужно учесть траектории, в которых переход между состояниями происходит n раз, где n – некоторое нечетное число. Мы предполагаем, что τkτk11/ω – предел разреженного газа инстантонов, в этом случае такое решение будет с хорошей точностью удовлетворять классическим уравнениям движения. В противном случае нелинейность уравнений все испортит.

p3

Выражение для классического действия Sn=nS1, поскольку интеграл набирается в момент перехода и переходы независимы. Для вычисления пред-экспоненты, необходимо проинтегрировать по коллективным модам, которых теперь тоже n-штук. Рассмотрение производится аналогично случаю n=1 и в итоге мы получаем:

(38)dc0(1)dc0(n)β/2β/2dτnβ/2τndτn1β/2τ2dτ1(12πA0)n=1n!(β2πA0)n

и соответственно Kn=K1n. Теперь просуммируем по всем возможностям:

(39)UE(a,a;β)=n=1,3,5,mωπeωβ/21n!(K1βeS1/)n=mωπeωβ/2sinh(K1βeS1/)==12mωπeωβ/2[exp(K1βeS1/)exp(K1βeS1/)].

Сравнивая со спектральным разложением, находим

(40)ΔE=2K1eS1/=4ωmωa2πexp[23mωa2/].

Упражнение 2. Нерелятивистская частица находится в потенциале V(x)=(x4a4)232a6 (используется система единиц, где =m=ω=1, m – масса частицы, ω2 – вторая проиводная потенциала в минимумах), причем параметр a1. Найдите основной и первый возбужденный уровни энергии частицы.

Решение. A) Рассмотрим переход частицы из левой ямы в правую. Инстантон соответствует движению в перевернутом потенциале с нулевой полной энергией. Закон сохранения энергии принимает вид:

(41)x˙22(x4a4)232a6=0.

После разделения переменных и интегрирования находим, что классическая траектория удовлетворяет соотношению:

(42)2arctan(x1/a)+lna+x1ax1=tt0.

Действие на таком решении принимает значение:

(43)S1=aadx2V(x)=2a25.

Б) Рассматривая квантовые флуктуации на фоне инстантона, мы приходим к заключению, что оператор обладает нулевой модой:

(44)y0(τ)=A0x˙1(ττ0),A0=1/S1,

где коэффициент A0 определяется нормировкой. Полный детерминант оператора будем искать через уравнение Гельфанда-Яглома. Одно его решение совпадает с нулевой модой, f1(τ)=y0(τ), и нас интересует его асимптотика в пределе τ±. Эту асимптотику находим из анализа классической траектории (инстантона):

(45)x1(τ)=±a(1δ),δ=2eπ/2exp(|ττ0|),

и поэтому

(46)f1(τ)2aA0eπ/2e|τ|,τ±.

Второе линейно независимое решение будет содержать растущую экспоненту и будет обладать другой четностью по времени:

(47)f2(τ)2aA0eπ/2e|τ|,τ±.

Теперь строим из этих двух решений функцию Гельфанда-Яглома, которая удовлетворяет граничным условиям f(β/2)=0 и f˙(β/2)=1:

(48)f(τ)=1W[f1(β/2)f2(τ)f2(β/2)f1(τ)],W=8a2A02eπ.

Наконец, полный детерминант оператора:

(49)detO^=f(β/2)=1.

С) Теперь ищем редуцированный детерминант. Повторяя анализ, проведенный на семинаре, находим:

(50)detOλ01W2f2(β/2)f2(β/2)f1|f1=eβπ40,

и соответственно

(51)F1=βeβ/22aπeπ/2,K1=4a2eππ.

Амплитуда перехода между ямами

В самом начале мы обсуждали, что расщепление энергий основного состояния связано с возможностью перейти из одной ямы в другую. Полезно обсудить это на количественном уровне. Для удобства введем обозначения ψl(x)=ϕ0(x+a) и ψr(x)=ϕ(xa) – волновые функции частиц, которые локализованы в левой и правой ямах соответственно. Нас интересует только основное состояние, поэтому полный базис состоит из пары волновых функций ψl,r или ψ0,1. Последние являются собственными функциями для гамильтониана и обладают энергиями E0,1=ω/2ΔE/2.

Будем искать волновую функцию частицы в виде ψ(t)=(ar(t)ψr+al(t)ψl)eiωt/2, где |al2|+|ar2|=1. Подставляя такой анзатц в уравнение Шредингера и переходя к базису ψ0,1, мы находим систему уравнений на коэффициенты al,r(t):

(52)ia˙r=ΔE2al,ia˙l=ΔE2ar.

Таким образом, мы видим в явном виде, что расщепление энергий ΔE определяет амплитуду перехода из одной ямы в другую. Для простоты рассмотрим предельный случай βΔE1 (но при этом как и раньше βω1), тогда уравнение можно легко проинтегрировать и мы получаем:

(53)ψr|U^(iβ)|ψlβΔE2eβω/2.

Обратим внимание, что при условии βΔE1 переход между состояниями происходит только один раз и поэтому для амплитуды перехода можно ограничиниться выражением (37). Также учтем, что выражение (37) соответствует амплитуде перехода a|U^|a, то есть:

(54)ψr|U^(iβ)|ψla|U^|aa|ψrψl|a=a|U^|amω/π.

Такое соотношение получается, если в числитель формулы между оператором U^ и состояниями |±a вставить единичный оператор |ψlψl|+|ψrψr|. Сравнивая левую и правую части, находим:

(55)ΔE=2K1eS1/.