Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Доброхотов

.pdf
Скачиваний:
24
Добавлен:
03.06.2015
Размер:
445.86 Кб
Скачать

ãäå δ(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ξ 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

Умножим Ψ

íà

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 = (zh| 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 = Re, φ [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φeexp{

 

(R2(cos(2φ) + i sin(2φ))} + e

4 R

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

 

 

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

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

 

 

 

L F C

t

 

 

 

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(ξ)= −∞

 

 

 

 

 

 

 

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(ξ)

 

(3.17)

 

2πh

h

 

Положим в этой формуле x = ±p. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

π

1

 

 

 

 

 

 

 

 

ipξ

 

 

 

 

 

 

 

e± 4

ψ(±p, ±

 

) =

 

−∞ exp {

0(ξ)= ψ˜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

 

 

 

 

 

 

 

0

 

 

 

2S0

 

̸= 0. Учитывая

 

psi5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

предполагая, что на носителе A

(x)

 

 

 

∂x2

 

 

(4.9), получим

 

 

 

 

 

 

 

 

 

 

 

 

iS0(x)

1

 

 

 

ip iS0( )

 

 

 

 

 

e4 A0(α(p))

 

 

i (p)

[Fxh→p(A0(x)e

 

 

)](p) =

 

−∞ eh e

 

 

 

 

 

A0(ξ)=

 

 

 

 

 

 

 

 

 

 

 

 

(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

=

 

 

(e

 

 

h

 

+ O(h)),

 

 

(3.23)

 

 

 

 

iS0( )

 

 

 

 

 

 

 

 

 

 

e4 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

Решение гамильтоновой системы имеет вид

 

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

 

 

 

 

 

 

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) =

ei4 ei4 sign cos t

exp {−

i

(

ξ2

+ p2

sin t + )}

 

(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

tildeG

Но формула (4.7) справедлива и после прохождения через особую для ˜

G(p, ξ, t) точку t = π2 , более того она определяет гладкую функцию и при t (π/2, 3π/2). Ïðè ýòîì

поскольку при t (π/2, π) множитель ei4 ei4 sign cos t = ei2 , то этот множитель мы имеем и при 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 дает множитель ei2 . Если пройдено k точек, то мы получим eik2 . Фактически этот множитель ни что

иное, как правильное извлечение корня из 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ξ + (x2 + ξ2) cos t − x2 sin t

]

 

 

 

 

 

 

 

ψ =

 

 

 

β

 

 

 

 

exp

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2πh

cos t + sin t

 

{h

 

2(cos t + sin t)

}

 

 

16

В этой формуле удобно перейти к параметру ε = 1и переписать ее в виде

 

 

 

 

 

 

e−i 4

 

 

 

 

 

 

 

i

 

(x2

+ ξ2) cos t

2+ iεx2 sin t

 

 

Gε(x, t, ξ) =

 

 

 

 

 

 

 

 

 

 

exp{

 

[

 

 

 

 

]},

(4.10)

 

 

 

 

 

 

 

h

 

 

 

2(sin t

cos t)

2πh

sin t − iε cos t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

t

cos t непрерывную ветвь функции, нормированную

где мы понимаем под

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

условием Argsin 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, ξ) =

ei2 k

 

exp

{−

(x − (1)kξ)2

,

 

(4.12)

 

 

 

 

 

 

 

 

 

ε

 

 

 

 

 

 

2πhε

 

 

2

 

 

}

 

 

Устремляя в этой формуле ε к нулю, получим

 

 

 

 

 

 

 

 

 

 

 

G0(x, πk, ξ) = e−i 2 kδ(x − (1)kξ).

 

 

 

(4.13)

Рассматривая функцию Грина G как предел при ε → +0 функции Gε, или, иначе, Gε

как регуляризацию G, получим формулы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e4

e2 (t)

exp

 

 

 

i

 

 

ξ2+x2 cos t

 

 

,

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

 

 

e2

 

δ(x − (1) ξ)

(t = πk, k = 0

±)1, ±2, . . . .

 

 

нулей функции

 

 

 

, на отрезке

 

 

 

åñëè

 

и минус число

нулей на этом отрезке, если t < 0. Вторую часть этой формулы можно переписать по другому, если в окрестности точек πk сделать от функции G преобразование Фурье. Тогда при t (πk − ε, πk − ε), получим

 

 

 

 

 

 

 

ei2 σ(0)(t)

 

 

 

 

 

i

 

ξ2 + p2

 

 

 

 

 

 

 

 

 

 

e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin t + )}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ãäå

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 = e2

σ

(t)Fph→x[

 

 

 

exp {−

 

(

 

 

 

 

sin t + )}].

 

 

(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

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)

=

 

∂α

 

 

α2

 

 

 

 

ϕ(t, ξ) +

 

sin 2t − αξ sin2 t.

 

 

 

 

4

 

 

 

Мы выберем ϕ(t, ξ) согласованным с гамильтонианом гармонического осциллятора об-

разом, так чтобы в конечном итоге получалось решение соответствующего уравнения Гамильтона-Якоби. Именно, положим

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ϕ = 0

(pHp − H) p=P (0),x=X(0) = 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

 

 

в формуле (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

преобразование Фурье 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

Рис. 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]