![](/user_photo/2706_HbeT2.jpg)
Доброхотов
.pdf![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje11x1.jpg)
ãäå δ(x − ξ) iδ-функция Дирака. Преобразование Фурье (с параметром h)îò δ(x − ξ) |
||||||
равно exp{− |
|
kξ} è |
|
|
|
|
h |
1 |
∞ |
i |
|||
|
|
δ(x − ξ) = |
|
∫−∞ exp{ |
|
k(x − ξ)}dk. |
|
|
2πh |
h |
Ñпомощью функции Грина решение задачи Коши
ψ|t=0 = ψ0(x)
представляется в виде |
∫ ∞ |
|
|
|
|
ψ = |
G(x, ξ, t)ψ0(ξ)dξ. |
(3.2) |
−∞
Используя интеграл Дюгамеля с помощью функции Грина G можно представить в интегральной форме решение неоднородного уравнения
ih |
∂Ψ |
= |
− |
h2 ∂2Ψ |
+ V (x)Ψ + F (x, t), ψ|t=0 = 0. |
(3.3) |
|||
|
|
|
|
|
|||||
∂t |
|
2 ∂x2 |
|||||||
Имеем |
|
|
|
∫ t ∫ ∞ |
|
||||
|
Ψ = |
|
dτ |
dξ G(x, ξ, t − τ)F (ξ, τ). |
(3.4) |
0−∞
3.2.Функция Грина для гармонического осциллятора
Покажем, что функцию Грина уравнения Шредингера для гармонического осциллятора можно вычислить точно с помощью метода ВКБ. При этом, используемые соображения можно применить в задачах о построении функции Грина уравнения Шредингера с
достаточно произвольным |
потенциалом, но уже не в точном, а асимптотическом смысле. |
||||||||||||||||||||||||||||||
|
|
|
psiosc |
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
Osc1a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Вернемся к формулам |
|
|
(1.40) - |
(1.44) и рассмотрим пример, когда b = 0 è |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
S0 = k(x − ξ), A0 = 1, |
|
|
|
|
|||||||||||||||||
ãäå k, ξ R-параметры. Тогда p0 = k, A0 = 1 и формулы |
Osc1 |
|
|
|
|||||||||||||||||||||||||||
(1.35) принимают вид |
|||||||||||||||||||||||||||||||
P (α, t) = −(α − ξ) sin t + k cos t, |
|
X(α, t) = (α − ξ) cos t + k sin t, |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
α(x, t) = ξ + x/ cos t − k tan t, |
|
|
|
(3.5) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J = cos t, |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
S(x, t) = [k(α |
|
ξ) |
|
k(α |
|
|
|
ξ) sin2 t + |
|
k2 |
− (α − ξ)2 |
sin 2t] |
|
α=ξ+x/ cos t |
|
k tan t = (3.6) |
|||||||||||||||
|
|
|
|
|
4 |
|
|
||||||||||||||||||||||||
|
− |
|
− |
|
|
|
− |
1 |
|
|
|
|
|
( |
|
|
2 |
|
|
2 |
|
|
|
) |
|
|
− |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
(2kx − (k |
|
+ x |
) sin t), |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
2 cos t |
|
|
|
||||||||||||||||||
Поэтому при t (−π/2, π/2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
1 |
|
|
|
|
i |
|
|
|
|
|
kx |
|
1 |
|
|
|
|
|
|
||||||||
|
Ψ = |
√ |
|
exp{ |
|
(−kξ + |
|
|
− |
|
|
(k2 + x2) tan t)}. |
|
(3.7) |
|||||||||||||||||
|
h |
cos t |
2 |
|
|||||||||||||||||||||||||||
|
cos t |
|
psi1
Мы уже говорили, что (3.7) точное решение, (поскольку амплитуда, деленная на якобиан, не зависит от x).
Gr
Sch3
Sch4
Act10
Act20
psi1
11
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje12x1.jpg)
Умножим Ψ |
íà |
1 |
и проинтегрируем результат по k îò −∞ äî −∞. Получим функ- |
|||||||||||
|
2πh |
|||||||||||||
öèþ |
|
|
1 |
|
∞ |
i |
|
kx |
|
1 |
|
|
||
|
|
|
|
|
|
|
|
|||||||
G(x, ξ, t) = |
|
2πh√ |
|
∫−∞ exp{ |
|
( |
|
|
− kξ − |
|
(k2 + x2) tan t)}dk. |
(3.8) |
||
|
h |
cos t |
2 |
|||||||||||
|
cos t |
Поскольку фаза в этом интеграле квадратичный полином по k, то интеграл вычисля- |
|||||||||||||||||||||||||||||||||||||||||||||
ется точно. Вычислим этот интеграл. Сделаем замену k → z: |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k = (z√h√| cot t| − ξ cot t + |
|
|
). |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
cos t |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
i |
|
ξ2 + x2 |
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
|
|
|
z2 |
|
|||||||||||||
G(x, ξ, t) = |
|
|
|
|
|
|
exp { |
|
( |
|
|
|
|
|
cos t − xξ } ∫−∞ dz exp{−isign(tan t) |
|
|
}. |
|||||||||||||||||||||||||||
|
|
|
|
|
|
h sin t |
|
|
|
2 |
|
|
2 |
||||||||||||||||||||||||||||||||
2π |
h |
| |
sin t |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
√ |
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
(3.9) |
||||||||||
Таким образом задача сводится к вычислению интеграла |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I± = ∫−∞ dz exp{±i |
z |
}. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
Очевидно, I+ = |
|
, где черта означает комплексное сопряжение. Далее имеем |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
I− |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
I+ = 2 |
∫0 |
∞ dz exp{i |
z2 |
} = 2limR→∞ ∫0 |
∞ dz exp{i |
z2 |
} |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Рассмотрим на комплексной плоскости C c координатой z = x + iy контур Γ = |
|||||||||||||||||||||||||||||||||||||||||||||
{(z = x, x [0, R]) |
|
|
(z = Reiφ, φ [0, π/4]) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
iz2 |
|||||||||||||||||||||
|
|
(z = ζeiπ/4, ζ [R, 0])}. Поскольку e |
2 |
||||||||||||||||||||||||||||||||||||||||||
аналитическая |
функция |
на комплексной |
плоскости, то |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
0 = ∫Γ dz exp{i |
|
2 |
|
|
∫0 |
∞ |
|
x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
z |
} = |
dx exp{i |
|
}+ |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
π/4 |
|
|
|
|
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
0 |
|
|
|
ζ2 |
|
|
|
|
|
|
|
|
|
||||||
iR ∫0 |
|
dφeiφ exp{ |
|
(R2(cos(2φ) + i sin(2φ))} + e |
4 ∫R |
dζ exp{− |
|
}. |
|
|
|
(3.10) |
|||||||||||||||||||||||||||||||||
|
2 |
2 |
|
|
|||||||||||||||||||||||||||||||||||||||||
Разобьем отрезок интегрирования второго интеграла на две части: [0, |
|
1 |
] è [ |
|
|
1 |
, |
π ]. |
|||||||||||||||||||||||||||||||||||||
R |
3=2 |
R |
3=2 |
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
4 |
Модуль интеграла по φ по первому промежутку, очевидно, не превосходит выраже- |
||||||||||||||||||||||||
íèÿ |
|
√ |
|
. Подинтегральная функция во втором выражении на отрезке , очевидно не |
||||||||||||||||||||
1/ |
R |
|||||||||||||||||||||||
|
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
3lim.10) R ê |
|
, и меняя в третьем интеграле |
|||||||||
превосходит e− R/4. Поэтому устремляя в ( |
∞ |
|||||||||||||||||||||||
пределы интегрирования получим |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
∫ |
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∞ |
|
z2 |
i |
∞ |
2 |
i |
√ |
π |
|
|||||||||
|
|
|
|
|
|
|
|
dz exp{i |
|
} = e 4 |
|
|
dζ exp{− |
ζ |
} = e 4 |
|
. |
(3.11) |
||||||
|
|
|
|
|
|
|
0 |
2 |
0 |
|
2 |
2 |
Таким образом |
√ |
|
|
i |
|
|
I± = |
|
|
. |
|||
2πe± |
||||||
4 |
||||||
И окончательно при 0 < |t| ≤ π |
|
|
|
|
|
psi2
psi3
lim
int
|
e− |
i |
sign t |
|
i |
( |
ξ2 + x2 |
|
G(x, ξ, t) = |
4 |
exp { |
||||||
√ |
|
h sin t |
2 |
|||||
2πh| sin t| |
)
cos t − xξ }. (3.12) psi4
12
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje13x1.jpg)
psi2
Наконец при t = 0 (3.8) имеет вид
|
|
|
|
|
|
|
|
1 |
∞ |
|
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
G(x, ξ, 0) = |
|
|
∫−∞ exp{ |
|
k(x − |
ξ)}dk = δ(x − ξ). |
(3.13) |
|
psi5 |
||||||||||||||||||||||
|
|
2πh |
h |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
Таким образом, G(x, ξ, t) функция Грина уравнения Шредингера для гармонического |
|
||||||||||||||||||||||||||||||||
осциллятора. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sch3 |
|
|
Sch4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Из этого представления легко получить оценку для решения задачи Коши ( |
|
3.3)- |
|
(3.4) |
|
|
|||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||
в норме C, в случае, когда F гладкая финитная по x функция. Действительно, пусть |
|
||||||||||||||||||||||||||||||||
размер носителя функции F ïðè âñåõ t не превосходит L, a maxF ïðè R è |t| ≤ T íå |
|
||||||||||||||||||||||||||||||||
превосходит F C. Тогда при |t| < π |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
L F C |
|
t |
dτ |
|
|
|
L F C |
t |
|
|
dτ |
|
CtL F C |
|
|
|
|
|
|
|
|
|||||||||||
Ψ |
|
|
|
|
|
|
= |
|
|
|
= |
, |
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
(3.14) |
|
Sch5 |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
ãäå C некоторая |
|
√ |
|
|
|
|
|
√2πh ∫0 |
|
√ |
| sin τ| |
|
√h |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
| | ≤ |
√2πh ∫0 |
|
|
| sin(t − τ)| |
|
|
|
|
|
|
|
|
|
|
|
константа.
3.3.Функция Грина для гармонического осциллятора и преобразование Фурье.
Рассмотрим задачу Коши для уравнения Шредингера для гармонического осциллятора
Sch3
(3.3)
|
|
|
|
|
|
|
ψ|t=0 = ψ0(x). |
|
|
|
|
|
|
(3.15) |
|||||||||||||||
Используя функцию Грина, представим решение в виде |
|
|
|
|
|
|
|
||||||||||||||||||||||
∞ |
|
|
|
∞ |
e− |
i |
sign t |
|
|
|
i |
|
|
ξ2 |
+ x2 |
|
|
||||||||||||
|
|
|
4 |
|
|
|
|
||||||||||||||||||||||
ψ|t=0 = ∫−∞ G(x, ξ, t)ψ0(ξ)dξ = ∫−∞ |
|
|
|
|
|
|
|
exp { |
|
|
( |
|
|
|
cos t − xξ)}ψ0 |
(ξ)dξ. |
|||||||||||||
|
|
|
|
|
|
|
h sin t |
|
2 |
|
|||||||||||||||||||
|
|
|
2πh| sin t| |
|
|
||||||||||||||||||||||||
Положим t = ±π2 . Получим |
|
|
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
(3.16) |
||||||||||||
|
|
|
|
|
|
|
e |
i |
|
∞ |
|
|
ixξ |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
4 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
ψ(x, t)|t=± 2 |
|
= |
√ |
|
|
∫−∞ exp { |
|
}ψ0(ξ)dξ |
|
(3.17) |
||||||||||||||||||
|
2πh |
h |
|
||||||||||||||||||||||||||
Положим в этой формуле x = ±p. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
i |
|
π |
1 |
|
|
|
|
|
|
|
|
∞ |
ipξ |
|
|
|
|
|
|
|
|||||||||
e± 4 |
ψ(±p, ± |
|
) = |
√ |
|
∫−∞ exp { |
− |
}ψ0(ξ)dξ = ψ˜0(p) |
(3.18) |
||||||||||||||||||||
2 |
h |
||||||||||||||||||||||||||||
2πh |
|||||||||||||||||||||||||||||
Интеграл в правой |
части есть |
преобразование |
Фурье |
F h |
ñ |
параметром |
h (h |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x→p |
|
|||||
преобразование Фурье) от функции |
ψ0(x) . Таким образом, вычисление преобразова- |
ния Фурье может быть сведено к решению задачи Коши уравнения Шредингера для гармонического осциллятора.
3.4.Метод стационарной фазы.
|
|
Выберем в задаче |
|
Коши для уравнения Шредингера для гармонического осциллятора |
||||||||
|
|
|||||||||||
|
|
Sch3 |
|
|
|
Sch2 |
|
|
|
|
|
|
|
|
(3.3) ψ0 |
(x) â âèäå |
|
(1.2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ψ|t=0 = ψ0 |
(x) ≡ A0 |
|
iS0(x) |
|
|
|
|
|
|
|
|
|
(x)e |
|
, |
(3.19) |
||
|
|
|
|
|
|
|
h |
Cauchy2
psi5
psi6
Fourier
Cauchy2
13
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje14x1.jpg)
|
|
|
|
|
|
|
0 |
|
|
|
∂2S0 |
|
̸= 0. Учитывая |
|
psi5 |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
предполагая, что на носителе A |
(x) |
|
|
|
∂x2 |
|
|
(4.9), получим |
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
iS0(x) |
1 |
|
∞ |
|
|
ip iS0( ) |
|
|
|
|
|
eiσ 4 A0(α(p)) |
|
|
i (p) |
||||||||||||||||||||||||||
[Fxh→p(A0(x)e |
|
|
)](p) = |
√ |
|
∫−∞ e−h e |
|
|
|
|
|
A0(ξ)dξ = |
|
|
|
|
|
|
|
|
|
|
|
|
(e |
|
|
+ O(h)). |
|||||||||||||||
h |
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
h |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
2πh |
|
|
|
|
|
√| |
∂2S0 |
(α(p)) |
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
(3.20) |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Здесь α(p) есть решение уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
p0(α) ≡ |
∂S0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
(α) = p, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.21) |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
Φ(p) = [S0(α) − αp0(α)]|α=α(p), |
|
|
|
|
|
|
∂2S0 |
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
σ = sign( |
|
|
|
(α(p))). |
|
|
(3.22) |
|||||||||||||||||||||||||||||||||
|
|
|
∂x2 |
|
|
||||||||||||||||||||||||||||||||||||||
Если положить в этом равенстве p = 0, |
ξ0 = α(0) то мы получим формулу метода |
||||||||||||||||||||||||||||||||||||||||||
стационарной фазы |
|
|
|
|
|
√2πh√|∂∂x2S20 (ξ0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
∫−∞ A0(ξ)e |
h |
dξ = |
|
|
(e |
|
|
h |
|
+ O(h)), |
|
|
(3.23) |
|||||||||||||||||||||||||||
|
|
|
|
∞ |
iS0( ) |
|
|
|
|
|
|
|
|
|
|
eiσ 4 A0(ξ0) |
iS0( 0) |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
2 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
ãäå σ = sign( |
∂ |
S |
(ξ0)), è ξ0 есть решение уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
∂x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
∂S0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(ξ) = 0. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.24) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
psi7a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
psi8 |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
Нетрудно сообразить, что формула ( |
|
3.20) может быть получена из ( |
|
3.23) в результате |
|||||||||||||||||||||||||||||||||||||||
|
|
|
psi7 |
|
|||||||||||||||||||||||||||||||||||||||
замены S0(x) → S0(x) − px, для дальнейшего нам понадобиться формула ( |
|
||||||||||||||||||||||||||||||||||||||||||
5.8). |
4.Индексы Маслова и Морса.
4.1.Особенности функции Грина и фокальные точки.
psi4
Формула (3.12) получена в предположении, что время t удовлетворяет неравенствам 0 < |t| < π. Ее продолжение за большие времена связано с появлением в моменты t = πk, k =
±1, ±2, . . . , особенностей по времени t. |
|
|
|
Покажем, что эти особенности ни что иное, как |
||||||||||||||||
|
|
|
psi4 |
|
|
|
|
|
|
|
|
|||||||||
фокальные точки. Очевидно, функция ( |
|
3.12) имеет вид ВКБ-решения (зависящего от |
||||||||||||||||||
|
||||||||||||||||||||
параметра ξ). Фаза и амплитуда (с точностью до постоянного множителя) суть |
|
|||||||||||||||||||
S |
x, t |
1 |
|
ξ2 + x2 |
|
1 |
|
(4.1) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Для производной ∂S( |
|
) = sin t( |
2 |
|
cos t − xξ), |
|
A(t) = √| sin t|. |
|
||||||||||||
∂x |
имеем |
|
|
|
∂S |
1 |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
(x cos t − |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
= |
|
ξ) |
|
||||||||||
|
|
|
|
|
|
∂x |
sin t |
|
||||||||||||
Зафиксируем некоторый момент времени t0 и рассмотрим задачу Коши |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S(x;t |
) |
|
|
|
|
|
|
|
|
|
|
|
ψ|t=t0 |
= A(t0)ei |
0 |
|
. |
|
|
|
(4.2) |
||||||
|
|
|
|
|
|
h |
|
|
|
|
Применим для ее решения изложенный ранее метод ВКБ (с заменой t íà t − t0).
psi7a
alpha21
Lej
psi8
alpha21
Ind3
Ind4
14
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje15x1.jpg)
Решение гамильтоновой системы имеет вид
|
P (α, t) = −α sin(t − t0) + |
|
1 |
|
(α cos t0 |
− ξ) cos(t − t0), |
|
||||||||||||
|
|
|
|
||||||||||||||||
|
sin(t0) |
|
|||||||||||||||||
|
|
X(α, t) = α cos(t − t0) + |
|
|
|
1 |
(α cos t0 |
− ξ) sin(t − t0). |
(4.3) |
||||||||||
|
|
|
|
||||||||||||||||
|
sin(t0) |
||||||||||||||||||
Ïðè t = 0 имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
P (α, 0) = α′ = |
|
α |
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
− ξ cot t0, X(α, 0) = ξ, |
|
|||||||||||
|
|
sin t0 |
|
||||||||||||||||
|
|
|
|
Osc5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
поэтому формулы |
|
(4.3) можно переписать в виде |
|
|
|||||||||||||||
|
|
|
|||||||||||||||||
|
|
P (α, t) = α′ cos t − ξ sin t, |
X(α, t) = α′ sin t + ξ cos t, |
(4.4) |
|||||||||||||||
и якобиан J = |
|
∂X(α,t) |
|
= |
∂X(α,t) ∂α′ |
= |
sin t |
. Поэтому ВКБ решение не справедливо в |
|||||||||||
|
∂α |
|
∂α′ |
∂α |
sin t0 |
точках t = πk. Эти точки и суть фокальные, в частности является фокальной точкой |
||||||||||
è t = 0. Нетрудно убедится, что применение формул ( |
Act1 |
|
Ampl1 |
|
|
|
||||
1.37),(1.27) для решения задачи |
||||||||||
|
Ind4 |
|
Ind3 |
|
|
|
|
|
psi4 |
|
Êîøè |
(4.27) дает те же формулы ( |
4.26). Таким образом продолжение формулы ( |
3.12) |
|||||||
на времена большие π связано с переходом через фокальные точки. |
4.2.Переход через фокальные точки с помощью преобразования Фурье
Фактически мы получили функцию Грина с помощью интегрирования по параметру k, что в некотором смысле напоминает преобразования Фурье по переменной ξ. Ïî-
смотрим каким образом выглядит |
h-преобразование Фурье от функции G(x, ξ, t) ïî |
|||||||||||||||||
переменной x ïðè t (0, π). Имеем |
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
∞ |
px |
|
||
|
G˜(p, ξ, t) = [Fxh→pG(x, ξ, t)](p, ξ, t) = |
√ |
|
∫−∞ e−i h G(x, ξ, t)dx = |
(4.5) |
|||||||||||||
|
2πh |
|||||||||||||||||
|
|
e− |
i |
|
sign t |
∞ |
|
i |
|
ξ2 + x2 |
|
|
|
xξ |
|
|
||
|
4 |
|
|
|
|
|||||||||||||
Ïðè |
ìû |
|
√ |
|
∫−∞ exp {h( |
2 |
|
cot t − sin t − px)}dx. |
фазой |
|||||||||
2πh |
| sin t| |
|
||||||||||||||||
|
|
|
|
|
|
(4.6) |
t ≠ π/2 имеем интеграл от экспоненты с квадратичной по переменной x
è |
для его вычисления после соответствующих замен можно воспользоваться формулой |
||||||||||||||||||
|
int |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.11). Несложные вычисления дают при t (0, π) |
|
|
|
|
|
|
|
|||||||||||
|
|
|
G˜(p, ξ, t) = |
e−i4 ei4 sign cos t |
exp {− |
i |
( |
ξ2 |
+ p2 |
sin t + pξ)} |
|
(4.7) |
|||||||
|
|
|
|
|
|
|
|
|
h cos t |
|
|
2 |
|
||||||
|
|
|
√ |
2πh| cos t| |
|
|
|
||||||||||||
|
|
|
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|||
Мы видим, что во-первых, при t = 2 функция G(p, ξ, t) имеет особенность, во-вторых, |
|||||||||||||||||||
знак sign cos t меняется при прохождении точки t = |
π |
|
|
|
|
G(p, ξ, t)- |
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 и, в-третьих, функция |
|
|
||||
гладкая при |
|
|
. Наличие |
особенности приводит к тому факту, что при |
|||||||||||||||
t (π/2, 3π/2) |
|
|
e |
|
|
|
|
|
e |
|
|||||||||
t = π2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
π |
1 |
∞ |
|
|
i |
|
|
|
|
|||
|
G˜(p, ξ, t) = [Fxh→pG(x, ξ, t)](p, ξ, |
|
) = |
|
∫−∞ exp {− |
|
(ξ + p)x}dx = δ(p + ξ). |
(4.8) |
|||||||||||
|
2 |
2πh |
h |
Osc5
Osc6
psi7
tildeG
psi9
15
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje16x1.jpg)
tildeG
Но формула (4.7) справедлива и после прохождения через особую для ˜
G(p, ξ, t) точку t = π2 , более того она определяет гладкую функцию и при t (π/2, 3π/2). Ïðè ýòîì
поскольку при t (π/2, π) множитель e−i4 ei4 sign cos t = e−i2 , то этот множитель мы имеем и при t (π/2, 3π/2).
Поэтому для нахождения функции G(x, ξ, t) ïðè t (π, 3π/2) мы можем теперь
сделать обратное преобразование Фурье от функции ˜
G(p, ξ, t), ÷òî è äàñò íàì G(x, ξ, t).
Вычисления, аналогичные предыдущим, дают
|
|
|
|
e− |
i |
e− |
i |
|
|
i |
ξ2 + x2 |
|
|
|
|
|
||
|
|
|
4 |
2 |
|
|
|
|
|
|
|
|||||||
|
|
|
G(x, ξ, t) = |
|
|
exp { |
|
( |
|
cos t − xξ)}. |
(4.9) |
psi5 |
||||||
|
|
|
√ |
|
h sin t |
2 |
||||||||||||
|
|
|
2πh| sin t| |
|||||||||||||||
|
|
|
|
psi4 |
|
|
|
|||||||||||
|
|
|
|
|
|
|
t |
(π, 2π) |
|
|
|
|
|
|||||
Ýòà |
формула уже работает при |
и отличается от формулы ( |
3.12) множи- |
|||||||||||||||
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
телем e− |
|
|
||||||||||||||||
2 . Таким образом описанный способ, во-первых, дает возможность пройти |
через фокальную точку в момент времени t = π, и во вторых правильно определить
решение в самой фокальной точке. Описанную процедуру можно продолжить во времени; нетрудно убедиться, что каждый проход через время t = πk дает множитель e−i2 . Если пройдено k точек, то мы получим e−ik2 . Фактически этот множитель ни что
иное, как правильное извлечение корня из sin t, то есть аргумента корня из якобиа-
íà J = ∂X |
J принимает вещественные значения, то имеется всего четыре |
||||||||
|
2 можно записать в виде |
|
2 , ãäå |
√ |
|
|
целочисленная функция, определенная |
||
|
∂α . Поскольку |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J |
|
|
значения ArgJ, дающие разные значения |
|
|J| |
. Ýòî: ±1, ±i. Таким образом множитель |
||||||
e− |
ik |
|
e− |
iInd(t) |
Ind(t) |
|
|||
|
|
|
|
|
по mod 4. В этом примере число Ind и есть индекс Морса, который является частным
случаем индекса Маслова. К подробному описанию этих объектов мы скоро вернемся, а пока приведем определение и основанный на нем способ вычисления индекса, поддающийся многомерному обобщению и компьютерной реализации.
Некоторые наводящие соображения. Сначала приведем некоторые наводящие
psiosc
соображения. Рассмотрим решение (1.44). Поскольку это точное решение аналитиче- ски зависит от параметра b, мы можем считать b-комплексным параметром, считая,
÷òî Imb > 0. Нетрудно проверить, во-первых, что последнее неравенство обеспечивает, равномерную ограниченность функции ψ при всех значениях x, t è, во-вторых, что соответствующая функция ψ будет точным решением уравнения Шредингера для гар-
монического осциллятора если определить корень из якобиана J = cos t + b sin t, êàê |
||||||||||
ветвь непрерывной функции, фиксированной при t = 0 равенством √ |
|
= 1 èëè, ÷òî |
||||||||
J |
||||||||||
ей, фиксированной при t = 0 |
|
|
√ |
|
|
ArgJ|t=0 = 0. Для наших дальнейших целей |
||||
|
|
|
||||||||
тоже самое, если положить √J = |
|
|J| exp |
|
i |
ArgJ и считать ArgJ непрерывной функци- |
|||||
|
|
2 |
||||||||
|
равенством |
|
|
|
|
|
достаточно ограничится случаем чисто мнимых b, òàê ÷òî b = iβ, β > 0, а также поло- |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
psiosc |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
æèòü k = 0. Тогда формула |
(1.44) ïðè t = 0 примет вид гауссовой экспоненты (шапоч- |
||||||||||||||||||||||||||||
êè) |
ψ|t = 0 = exp{−[ |
β(x−ξ)2 |
]}. |
Умножим эту функцию на нормировочный коэффициент |
|||||||||||||||||||||||||
√ |
|
|
|
2h |
|
|
|
|
|
|
|
|
|
|
|
−∞ |
∞ |
|
|
|
|||||||||
|
2πh |
, так чтобы интеграл |
0îò íåå |
|
|
β |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
β |
|
|
|
|
|
|
|
|
|
|
ïî dx îò |
äî |
был равен 1. Тогда при больших |
|||||||||||||
|
|
|
→ δ(x − ξ) когда β → +∞.√ |
|
|||||||||||||||||||||||||
ψβ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ψ |
|||||||||||||
β (или малых ε = 1/β) ψβ = |
|
|
ψ|t = 0 есть регуляризация δ− функции Дирака: |
||||||||||||||||||||||||||
2πh |
|||||||||||||||||||||||||||||
0 |
|
|
|
|
|
|
|
|
|
|
|
При этом соответствующее нормированное решение |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
примет вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
i |
[ |
−2iβxξ + iβ(x2 + ξ2) cos t − x2 sin t |
] |
|
|
|
|||||
|
|
|
|
ψ = |
|
|
|
β |
|
|
|
|
exp |
|
. |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
√2πh√ |
cos t + iβ sin t |
|
{h |
|
2(cos t + iβ sin t) |
} |
|
|
16
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje17x1.jpg)
В этой формуле удобно перейти к параметру ε = 1/β и переписать ее в виде
|
|
|
|
|
|
e−i 4 |
|
|
|
|
|
|
|
i |
|
(x2 |
+ ξ2) cos t |
2xξ + iεx2 sin t |
|
|
|||||
Gε(x, t, ξ) = |
√ |
|
|
√ |
|
|
|
|
|
|
|
|
exp{ |
|
[ |
|
|
|
|
− |
]}, |
(4.10) |
|||
|
|
|
|
|
|
|
h |
|
|
|
2(sin t |
iε cos t) |
|||||||||||||
2πh |
sin t − iε cos t |
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
||||||||||
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
sin |
t |
− |
iε cos t непрерывную ветвь функции, нормированную |
|||||||||||||||||
где мы понимаем под |
|
|
|
π |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
условием Arg√sin t − iε cos t t=0 = −4 , òàê ÷òî |
|
|
|
|
|
|
|||||||||||||||||||
|
|
√ |
|
|
|
|
|
|
|
|
π |
|
|
1 |
|
|
(4.11) |
||||||||
Arg sin t − iε cos t = − |
|
+ arctan( |
|
tan t) + π[(t/π + 1/2)], |
|
|
|||||||||||||||||||
4 |
ε |
|
|
||||||||||||||||||||||
ãäå −π2 < arctan q < π2 |
è [q] целая часть числа q. Ïðè ε → +0 вне окрестности точек |
πk, k = 0, ±1, ±2, · · · эта функция определена как обычная (и даже гладкая) функция аргументов x, t, ξ. Мы видим также, что вне этих точек на промежутке (−2π, 2π)
она совпадает с уже изученной нами функцией Грина G(x, t, ξ) |
для гармонического |
|||||||||||||||||||||||
осциллятора. В точках t = πk имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
G |
(x, πk, ξ) = |
e−i2 k |
|
exp |
{− |
(x − (−1)kξ)2 |
, |
|
(4.12) |
||||||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
ε |
|
|
|
|
|
|
√2πhε |
|
|
2hε |
|
|
} |
|
|
||||||||
Устремляя в этой формуле ε к нулю, получим |
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
G0(x, πk, ξ) = e−i 2 kδ(x − (−1)kξ). |
|
|
|
(4.13) |
||||||||||||||||||
Рассматривая функцию Грина G как предел при ε → +0 функции Gε, или, иначе, Gε |
||||||||||||||||||||||||
как регуляризацию G, получим формулы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
i |
|
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
e− 4 |
e− 2 (t) |
exp |
|
|
|
i |
|
|
ξ2+x2 cos t |
|
xξ |
|
, |
t = πk |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
G(x, ξ, t) = √i k |
|
| sin t| |
|
|
{k |
|
|
|
|
2 |
|
|
− |
|
} |
̸ |
(4.14) |
|||||||
|
|
|
2πh |
|
|
|
|
|
h sin t |
|
|
|
|
|
|
|
|
|
||||||
Здесь σ(t) есть число |
|
|
|
|
|
|
sin t |
|
|
|
|
|
|
[+0, t] |
|
|
t > 0 |
|
||||||
|
e− 2 |
|
δ(x − (−1) ξ) |
(t = πk, k = 0 |
±)1, ±2, . . . . |
|
||||||||||||||||||
|
нулей функции |
|
|
|
, на отрезке |
|
|
|
åñëè |
|
и минус число |
нулей на этом отрезке, если t < 0. Вторую часть этой формулы можно переписать по другому, если в окрестности точек πk сделать от функции G преобразование Фурье. Тогда при t (πk − ε, πk − ε), получим
|
|
|
|
|
|
|
e−i2 σ(0)(t) |
|
|
|
|
|
i |
|
ξ2 + p2 |
|
|
|
|
|
|
|
||||||||||||
|
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin t + pξ)} |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
ãäå |
p |
|
|
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
(4.15) |
||||||||
|
|
-одинаковое |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
G = |
|
2πh| cos t| exp {−h cos t( |
|
|
|
|
|
|
|||||||||||||||||||||||
|
σ (t) |
|
|
äëÿ âñåõ |
t |
èç |
(πk −ε, πk −ε) |
|
целое число, которое равно |
σ(t) |
, åñëè |
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
t (πk + 0, πk + ε) (то есть после перехода через фокальную точку) и |
σ(t) + 1, åñëè |
|||||||||||||||||||||||||||||||||
t (πk + 0, πk + ε) (то есть до перехода через фокальную точку). |
|
Gr |
|
|
||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||
|
Используя эту формулу при t (πk − ε, πk − ε) вторую часть формулы ( |
3.2) можно |
||||||||||||||||||||||||||||||||
записать как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
i |
|
p |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
i |
ξ2 + p2 |
|
|
|
|
|
|||||||
|
G = e− 2 |
σ |
(t)Fph→x[ |
|
|
|
exp {− |
|
( |
|
|
|
|
sin t + pξ)}]. |
|
|
(4.16) |
|||||||||||||||||
|
|
|
√ |
|
|
h cos t |
2 |
|
|
|
||||||||||||||||||||||||
Здесь F h |
|
|
2πh| cos t| |
|
|
|||||||||||||||||||||||||||||
|
|
p→x обратное преобразование Фурье: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
∞ |
|
|
p x |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
[Fph→xg(p)](x) = |
√ |
|
∫−∞ g(p)ei |
|
|
dp. |
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
h |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
2πh |
|
|
|
|
|
psiosc1
reg
focus1
focus2
GR
FGR
GrF
17
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje18x1.jpg)
Osc6
Сделаем важное замечание. Вернемся к функциям P (α, t), X(α, t) (4.4), которые мы запишем, опуская штрихи у переменной α
P (α, t) = α cos t − ξ sin t, X(α, t) = α sin t + ξ cos t, |
(4.17) |
Osc6a |
Эти функции задают на фазовой плоскости прямые линии
Λt = {p = P (α, t), x = X(α, t)} |
(4.18) La |
, которые при изменении времени t поворачиваются относительно начала координат на угол t. Ïðè t = 0 Λ0 - вертикальная прямая x = ξ. На каждой из этих прямых мы можем определить функцию действия s(α, t), удовлетворяющую уравнению ds = p dx. Она определена с точностью до функции ϕ(t, ξ) зависящей от времени t и параметра ξ
α |
|
|
|
α |
∂X(α, t) |
|
|
s(α, t) = ϕ(t, ξ) + ∫0 |
P (α, t)dX(α, t) = ϕ(t, ξ) + ∫0 |
P (α, t) |
dα = |
||||
|
|||||||
∂α |
|||||||
|
|
α2 |
|
|
|
||
|
ϕ(t, ξ) + |
|
sin 2t − αξ sin2 t. |
|
|
|
|
|
4 |
|
|
|
Мы выберем ϕ(t, ξ) согласованным с гамильтонианом гармонического осциллятора об-
разом, так чтобы в конечном итоге получалось решение соответствующего уравнения Гамильтона-Якоби. Именно, положим
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕ = ∫0 |
(pHp − H) p=P (0,τ),x=X(0,τ) dτ = 4ξ2 sin 2t. |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
α2 |
+ ξ2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
s(α, t) = ϕ(t, ξ) + |
|
|
|
|
sin 2t − αξ sin2 t. |
|
|
|
|
(4.19) |
|
|
|
|
|
||||||||||||||||||
|
|
4 |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
Также на прямых Λt мы можем вычислить якобианы |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
J = |
|
∂X |
(α, t) = sin t, |
J0 = |
∂P |
(α, t) = cos t. |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
(4.20) |
|
|
jac |
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
∂α |
|
|
|
|
|
|
|
|
|
∂α |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Построенные функции на семействе Λt |
существуют при всех α, t, ξ независимо от на- |
|
|
|
|||||||||||||||||||||||||||||
личия фокальных точек, появление которых связано с обращением в ноль якобиана |
|
|
|
|
|
|
|||||||||||||||||||||||||||
J(α, t). На множествах, где J(α, t) ̸= 0 мы можем разрешить относительно α уравнение |
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
X(α, t) = 0 |
|
|
|
|
|
|
|
|
|
|
(4.21) |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xeq |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
и построить функции S(x, t) = s(α(x, t), t) è J(α(x, t), t)- |
образы s, J íà îñè Ox. Функция |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
GR |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
(в данном случае не зависящая от |
α) определяет амплитуду в ( |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
4.14). |
|
|
|
|
|
|
|
||||||||||||||||||||||||||
S(x, t) совпадает с фазой |
|
|
( |
ξ2+x2 cos t |
|
|
|
) |
0 |
|
|
|
|
|
|
|
|
|
функция |
|
|
J(α(x, t), t) |
|
|
|
|
|
|
|||||
|
|
1 |
|
|
− |
xξ |
в формуле (4.14), |
| |
| |
|
|
|
|
|
|||||||||||||||||||
|
sin t |
|
2 |
|
|
|
|
GR |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В том случае, |
|
|
|
|
|
|||
когда J = 0, не обращается в ноль якобиан J (α, t), связанный с проектированием Λt |
|
|
|
||||||||||||||||||||||||||||||
íà îñü Op, и мы можем разрешить относительно α = α(p, t) уравнение |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
P (α, t) = 0, |
|
|
|
|
|
|
|
|
|
|
(4.22) |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
peq |
|
|||||||||||||
и построить функции |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
˜ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
(α(p, t), t). |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.23) |
|
|
prepr |
||||||||||||
S(p, t) = s(α(p, t), t) − pX(α(p, t), t), J |
|
|
|
|
|
|
18
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje19x1.jpg)
преобразование Фурье G˜ от функции Грина (4.15).√| |
|
|
| |
|
|||
Легко проверить, что новая фаза ˜ |
|
J |
0 |
(α(p, t), t) почти определяют |
|||
S и функция 1/ |
|
||||||
|
FGR |
|
|
|
|
|
|
|
|
|
|||||
Теперь нам осталось связать с семейством прямых Λt целочисленные функций (ин- |
дексов) σ(t) è σp(t). Из приведенных формул видно, что они связаны с правильным
выбором аргументов якобианов J = ∂X∂α (α, t) = sin t è J(0) = ∂P∂α (α, t) = cos t. Поскольку эти функции обращаются в ноль, то правильный выбор означает их такую регуля-
ризацию, чтобы полученная в результате волновая функция была решением исходной
задачи для уравнения Шредингера (или другого соответствующего уравнения в част-
reg
ных производных). Эта регуляризация фактически уже содержится в формуле ( 4.11),
мы приведем ее, имея в виду обобщение на многомерный случай.
Введем функции C = ∂X∂α (α, t) = sin t è B = ∂P∂α (α, t) = cos t. В рассматриваемом случае они совпадают с якобианами J è J(0), а в многомерном случае они заменяются
на матрицы. Построим функцию Jε = C − iεB. Очевидно, Cε ≠ 0 åñëè ε > 0. Поэтому определена непрерывная функция ArgJε- аргумент функции Jε. Тогда для вычисления
индекса σ можно воспользоваться такой формулой. Если индекс |
σ задан при таких |
|||||||
α0, t0, ãäå J(α0, t0) ̸= 0 то при других α, t, где также J(α, t) ̸= 0 |
|
|||||||
|
|
|
|
1 |
|
α,t |
|
|
σ(α, t) = σ |
α |
, t |
0) + |
|
lim Arg |
Jε|α=α0,t=t0 |
. |
(4.24) |
|
||||||||
( |
0 |
|
π ε→0 |
|
|
Из этой формулы следует, что σ может измениться только при переходе через фокальные точки и только на +1 или −1, если при переходе изменяется знак у J, è íà 0 èëè 2
åñëè çíàê ó J не изменяется. В рассматриваемом примере J, J(0), σ, σ(0), Jε не зависят от
psiosc1
α è Jε = sin t−iε cos t стоит в определении функции (4.10). Нетрудно убедиться, что ска-
чек индекса σ всегда равен 1. Покажем, например, это для точки t = π. В окрестности |
|||
а увеличивая t, мы видим что аргумент у (t − π) − iε меняется в |
( |
) |
|
точки t = π имеем Jε ≡ sin t−iε cos t = −(t−π)−iε. Ïðè t < π |
Arg −(t−π) |
= π/2, |
левой комплексной полуплоскости и переходит в пределе к 3π/2. Это дает приращение Ind(t) равное π и приращение индекса равное 1. Такой анализ изменения индекса делается руками и
плохо алгоритмизуется для компьютерного вычисления. Для вычисления на компьютере удобно использовать интегральное представление. Именно, имеем
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
dJε |
|
|
|
|
|
|
|
|
Arg |
|
t |
= Im Log |
|
|
t |
= |
|
Im |
, |
|
|
|
|
|
|
||||||||
Jε|t0 |
Jε|t0 |
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
∫t0 |
|
|
Jε |
|
|
|
|
|
||||||||||
поэтому для приращения индекса имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
||
|
σ |
t |
= |
1 |
lim |
ε→0 ∫t0 |
Im |
dJε |
. |
|
|
|
|
|
|
(4.25) |
||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|t0 |
|
π |
|
|
Jε |
|
|
|
|
|
|||||||||||||
Посмотрим, как выглядит эта формула в рассматриваемом примере. Имеем |
|
|||||||||||||||||||||||
|
|
1 |
|
|
|
|
|
t |
|
|
ε dt |
|
|
|
|
|
|
|
|
|
|
|
||
σ|tt0 = |
limε→0 |
∫t0 |
|
|
|
|
|
. |
|
|
|
|
|
(4.26) |
||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
π |
sin2 t + ε2 cos2 t |
|
|
|
|
||||||||||||||||||
Подинтегральная функция локализована |
в окрестности точек |
πk, и именно в них ин- |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
t |
|t0 , ÷òî è äàåò âîç- |
||
декс набирает скачки, равные 1 (см.рис. |
??kInd). |
Сама функция 1 |
|
ε dt |
, конечно, |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
π |
|
t0 |
sin2 t+ε2 cos2 t |
||
не является целочисленной, но при малых ε она почти совпадает с σ t |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ind3 |
|
|
|||
можность вычисления на компьютере индекса по формуле ( |
|
. Можно посмотреть |
||||||||||||||||||||||
4.26) |
Ind
Ind2
Ind3
19
![](/html/2706/30/html_7R6p39IIlA.2_NM/htmlconvd-bkEwje20x1.jpg)
Рис. 1: Подъинтегральная функция
как меняется индекс в зависимости от знака ReJε при переходе через фокальную точку tf . Напишем Jε = u + iv, u = C, v = −εB. В фокальной точке u = 0, поэтому
|
|
|
1 |
|
tf +δ Im |
dJε |
|
1 |
|
|
|
|
|
|
tf +δ |
udv − vdu |
|
|
|
1 |
|
|
|
tf +0 |
vdu |
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
lim |
= |
lim |
|
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
, |
(4.27) |
Ind4 |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
π |
ε→0 ∫tf −δ |
|
|
Jε |
π |
ε→0 |
∫tf −δ |
u2 + v2 |
≈ −π |
|
ε→0 |
∫tf −0 |
|
|
v2 |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
и скачок индекса зависит от знаков du è v в фокальной точке tf : если они совпадают, |
|
|
|
|||||||||||||||||||||||||||||||||||||||
то скачок -1, а если разные, то +1. В примере u |
= sin |
t, v |
= − |
ε |
cos |
t, du |
= |
cos tdt. Знаки |
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ind |
|
|
|
|
|
|
|
|
||||||||||
ó u è v всегда разные, поэтому если dt > 0, то скачок всегда +1 (см. рис.4.2) |
. |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
Зафиксируем некоторый малый положительный момент времени t |
= t0 |
|
Ind2= +0 è |
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
положим |
Ind(t0) = 0 |
. Определим далее |
σ(t) = σ(t0) + σ|t0 , ãäå |
σ|t0 |
имеетGR |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
Ind3 |
|
|
|
|
|
|
|
|
|
|
|
âèä (4.25) èëè |
|
|
|
||||||||||||||||||||||||||
|
|
. Тогда именно эта σ(t) и стоит в определении функции Грина ( |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
(4.26) |
4.14). |
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
Теперь займемся определением индекса σ(0), стоящего в определении преобразова- |
|
|
|
||||||||||||||||||||||||||||||||||||||
ния Фурье ˜ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
G от функции G. Здесь можно поступить двумя способами. Первый состоит |
|
|
|
||||||||||||||||||||||||||||||||||
в согласованном с σ(t0) определении σ(0)(t0) ïðè t = t0, и затем с помощью конструк- |
|
|
|
|||||||||||||||||||||||||||||||||||||||
ции, аналогичной выше, определить его регуляризованное приращение при измене- |
|
|
|
|||||||||||||||||||||||||||||||||||||||
íèè t. Другой способ состоит в следующем: мы видим, что σ(0) может меняться только |
|
|
|
|||||||||||||||||||||||||||||||||||||||
при переходе точек, где J(0) |
обращается в ноль. Но такие точки находятся далеко от |
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
˜ |
|
|
|
фокальных точек (где равен нулю якобиан J). Поскольку преобразование Фурье G èí- |
|
|
|
|||||||||||||||||||||||||||||||||||||||
тересно именно в окрестности фокальных точек, то нужно согласовано определить σ(0) |
|
|
|
|||||||||||||||||||||||||||||||||||||||
в некоторой нефокальной точке, но лежащей в ее окрестности. Для этого построим еще |
|
|
|
|||||||||||||||||||||||||||||||||||||||
функции Bε = B + iεC, также не обращающуюся в ноль, и |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
Jε(η, α, t) = Cε cos η + Bε sin η |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4.28) |
Tranz |
||||||||||||||||||||
ствительно, в силу определения |
B |
ε, |
C |
ε равенство Cε = 0 эквивалентно равенствам |
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= Bε. Кроме того Jε ̸= 0 ïðè ε |
̸= 0. Äåé- |
|
|
|
|||||||||||||||||||||||
Легко видеть, что Jε |
|
η=0 = |
Cε è Jε |
η=π/2 |
|
|
|
C cos η + B sin η = 0, B cos η − C sin η = 0. Рассмотри их как систему для определения sin η, cos η. Но детерминант этой системы равен −(B2 + C2) ≠ 0, поэтому она имеет
20