Академический Документы
Профессиональный Документы
Культура Документы
Физический факультет.
МЕТОД ПЕРЕВАЛА
(Учебно-методическое пособие)
Казань 2009.
Публикуется по решению Редакционно-издательского совета
физического факультета.
Рецензент: Тагиров Л.Р., д.ф.м.н., проф., зав. каф. физики твердого тела
Казанского rocуниверситета.
2
Введение.
3
встречающихся в конкретных задачах математической физики. Ответы на
учебные вопросы, приведенные в заключительной части пособия, позволяют
более полно освоить метод и проиллюстрировать его возможности. Этому же
способствуют и предлагаемые читателю примеры для самостоятельного
вычисления некоторых интегралов.
Данное учебно-методическое пособие предназначено для студентов-
теоретиков 3 курса, изучающих спецкурс «Качественные методы
теоретической физики». Пособие может оказаться полезным и студентам 3 -4
курсов физического факультета.
Рассмотрим интеграл:
∞
I = ∫ g (t )e f ( t ) dt , (1)
0
где f(t) - функция, которая имеет резкий максимум при t = to>0. Пусть вблизи
точки to функция g (t) меняется медленно. Тогда в окрестности максимума
функцию g (t )e f ( t ) можно заменить более простой функцией. Для этого
разложим f(t) в ряд Тейлора в окрестности ее максимума to:
1
f (t ) = f (t0 ) + f ′(t0 )(t − t0 ) +
f ′′(t0 )(t − t0 ) 2 + ... (2)
2
В точке максимума t0 f ′(t0 ) =0, f ′′(t0 ) < 0 . Предположим, что f ′′(t0 ) > > 1/ t02.
Это – математическое выражение предположения о резком максимуме
функции f(t).
Действительно, существенные в интеграле I значения (t − t0 )2 , как мы увидим
ниже, имеют порядок 1/ f ′′(t0 ) . Таким образом, (t − t0 )2 t02 << 1 . Это условие
делает законным отбрасывание следующих членов в приведенном выше ряде
Тейлора для f(t). Имеем:
+∞
1
I ≈ g (t0 ) ∫ exp[ f (t0 ) − f ′′(t0 ) (t − t0 ) 2 ]dt = (3)
−∞
2
+∞
1
= g (t0 ) exp[ f (t0 )] ∫ exp[ − f ′′(t0 ) (t − t0 ) 2 ]dt.
−∞
2
Пределы интегрирования заменены здесь на (- ∞, ∞), так как
подынтегральное выражение экспоненциально затухает в области
4
1
δt > << t0 .
f ′′(t0 )
2 2
Сделаем замену переменных t − t0 = u, dt = du , получим:
f ′′(t0 ) f ′′(t0 )
+∞
2
∫ du.
− u2
I ≈ g (t0 )e f ( t0 )
e
f ′′(t0 ) −∞
Появившийся интеграл (интеграл Дирихле) равен π , так что в результате
получим асимптотическое значение исходного интеграла:
2π
I≈ g (t0 )e f ( t0 ) . (4)
f ′′(t0 )
Оценим поправку, вносимую следующими членами ряда Тейлора. Если
ограничиться только кубическим членом и разлагать экспоненту по нему в
ряд, то первый член разложения не вносит вклада из-за нечетности
подынтегрального выражения. По этой причине рассмотрим член четвертого
(t − t0 ) 4 ( IV )
порядка в ряде Тейлора для f. Он равен f (t0 ) .
4!
Разлагая далее экспоненту в ряд, находим, что поправочный член по
отношению к (4) имеет оценку f(IV)/(f ")2. Если функция f(t) характеризуется
только одним параметром, то, оценивая производные от f, находим:
f(IV)/(f ")2~1/f(t0).
Таким образом, метод перевала применим при условии, что f(t0)>>1.
Это эквивалентно выше сделанному предположению |f "(t0)|>>1/to2.
Чтобы явно учесть асимптотическое значение интеграла (1), введем в
него параметр λ >> 1 следующим образом:
t2
Рис.1.
6
Проведем оценку точности формулы Стирлинга. Для этого продолжим
разложение функции f(t) ряд по степеням (t-t0) с точностью до (t-t0)4
(напомним, что t0=x в данном примере). Имеем:
d3 f 2x 2 d4 f 6x 6
= 3 = 2, =- = .
dt 3 t0 = x
t t0 = x
x dt 4 t0 = x
t4 t0 = x
x2
8
быстрее спадает от точки t0 Ref(t), тем меньший участок пути интегрирования
даст основной вклад в интеграл и тем точнее будет асимптотическое
значение интеграла. Но мнимая и вещественная части аналитической
функции - в нашем случае U(x,y) и V(x,y)- обладают тем свойством, что в
плоскости комплексного переменного линии быстрейшего спада одной из
них являются линиями постоянных значений другой. Покажем это. Линия
наискорейшего спуска функции U(x,y), проходит, как известно, по
направлению ее градиента gradU(x,y), то есть, в каждой точке этой линии
должно выполняться условие gradU(x,y)|| dl , где dl (dx,dy). Тогда уравнение
для линии наискорейшего спуска будет иметь вид:
dx dy ∂U ∂U
= , или ⋅ dx − ⋅ dy = 0. (17)
∂U ∂U ∂y ∂x
∂x ∂y
Примем во внимание, что функция f(x,y) – аналитическая, т.е. U(x,y) и
V(x,y) должны удовлетворять условиям аналитичности:
∂U ∂V ∂U ∂V
= ; =− . (18)
∂x ∂y ∂y ∂x
Используя соотношения (18), получим для Imf(x,y)= V(x,y):
∂V ∂V
− − = 0, или − dV = 0. (19)
∂x ∂y
Из (19) следует, что действительно вдоль линии наискорейшего спуска
V(x,y)=Imf(x,y)=const! Деформируем контур С в контур C по линии
наискорейшего спуска. По теореме Коши при такой деформации значение
интеграла F(λ) не изменится, поскольку под интегралом находится
аналитическая функция. Далее, пусть уравнение линии наискорейшего
спуска имеет вид z=z(t), так что dz = zt′ ⋅ dt . Тогда для интеграла (14) получим:
I (λ ) = ∫ g ( z )eλ f ( z ) dz = ∫ g ( z )eλ (Re f ( z )+i Im f ( z )) dz =
C C
(20)
= ∫ g ( z )e λ Re f ( z ( t ))+iλ Im f ( z ( t ))
zt′dt = eiλ Im f ( z ( t )) ⋅ ∫ g ( z )eλ Re f ( z ( t )) zt′dt.
C C
I (λ ) = e iλ Im f ( z ( t ))
⋅ ∫ g ( z )e λ Re f ( z ( t ))
zt′dt =e iλ Im f ( z ( t ))
⋅ ∫ g (t )eλ f ( t ) dt =
C t1
2π
≈ eiλ Im f ( z ( t0 )) ⋅ g (t0 )eλ f ( t0 ) =
λ f ′′(t0 )
(24)
2π
= eiλ Im f ( z ( t0 )) ⋅ g (t0 )eλ Re f ( z ( t0 )) =
λ f ′′(t0 )
2π
= eλ f ( z ( t0 )) ⋅ g (t0 ).
λ f ′′(t0 )
Обратим внимание читателя, что во второй строчке (24) в аргументе Imf(z(t0))
мы положили t=t0, поскольку на пути наискорейшего спуска Imf(z(t))=const.
Далее имеем:
g (t0 ) = g ( z (t0 )) ⋅ zt′ t = g ( z (t0 )) ⋅ keiθ . (25)
0
Здесь zt′ t = keiθ - значение производной z(t)=x(t)+iy(t)в точке t0, это есть
0
10
df (t ) d Re f ( z (t )) df ( z (t )) df ( z ) dz
= = = ⋅ ;
dt dt dt dz dt
d 2 f (t ) d 2 Re f ( z (t )) d df ( z (t ))
= = = (26)
dt 2 dt 2 dt dt
2
d ⎛ df ( z ) dz ⎞ d 2 f ( z ) ⎛ dz ⎞ df ( z ) d 2 z
= ⎜ ⋅ ⎟= ⋅⎜ ⎟ + ⋅ .
dt ⎝ dz dt ⎠ dz 2 ⎝ dt ⎠ dz dt 2
Условие, что в t0 f (t ) имеет максимум, означает, что в этой точке ее
производная равна нулю, т.е.:
df (t ) df ( z (t )) df ( z ) dz df ( z )
= = ⋅ = ⋅ keiϑ = 0. (27)
dt t dt t0 dz z0 dt t0 dz z0
0
Рис. 2.
11
Заметим, что максимальное значение U(x, y) достигается только на заданном
контуре. В ограниченной области ни реальная, ни действительная части
аналитической функции не имеют абсолютного максимума (см. Рис.2). В
этом можно убедиться, если вспомнить, что U и V удовлетворяют уравнению
∂ 2U ∂ 2U ∂ 2U ∂ 2U
Лапласа + = 0. Поэтому, если >0, то <0, так что ни U, ни V
∂x 2 ∂y 2 ∂x 2 ∂y 2
не могут достигать абсолютного максимума или минимума. По условию f(z)
– аналитическая функция, следовательно, особые точки исключаются. Тогда
условие (28) означает, что в z0 мы имеем седловую точку, в которой U(x, y)
принимает максимальное значение на одном контуре и минимальное на
другом. Если использовать «географическую» терминологию, то, как видно
из Рис.2, линия наискорейшего спуска является линией перевала. Будем
называть ее в дальнейшем линией перевала или перевальной линией. Итак,
перевальная линия определяется условием, что на ней V(x, y)=const и она
проходит через z0.
d 2 f (t )
Вычислим вторую производную в точке перевала. Используя
dt 2
(26), получим:
2
d 2 f (t ) d 2 f ( z) ⎛ dz ⎞ df ( z ) d 2z d2 f
= ⋅⎜ + ⋅ 2 = 2 ⋅ k 2 e 2iϑ . (29)
dt 2 t dz 2 ⎜ dt t ⎟⎟ dz z0 dt t dz
0 z0 ⎝ o ⎠ 0 z0
=0
d 2 f (t ) ⎛ d2 f ⎞ −2 iϑ 2 iϑ ⎛ d2 f ⎞
2
= − ⎜ 2 ⎟ e ⋅ k ⋅ e = − ⎜ 2 ⎟ ⋅ k 2.
2
(30)
dt t ⎝ dz ⎠ z0 ⎝ dz ⎠ z0
0
12
2π
I (λ ) ≈ g ( z0 ) ⋅ keiϑ ⋅ eλ f ( z0 ) ⋅ . (32)
⎛d f ⎞
2
λ ⎜⎜ 2 ⎟⎟ k
2
⎝ dz ⎠ z0
Окончательно для полученной методом перевала асимптотической по λ>>1
оценки интеграла (12) имеем:
2π
I (λ ) ≈ g ( z0 ) ⋅ eiϑ ⋅ eλ f ( z0 ) ⋅ . (33)
⎛d f ⎞
2
λ ⎜⎜ 2 ⎟⎟
⎝ dz ⎠ z0
Итак, для асимптотической оценки интеграла I(λ) (14) необходимо,
прежде всего, определить стационарную точку (точку перевала) z0(x0,y0) из
уравнения (28), затем деформировать контур интегрирования так, чтобы он
проходил по перевальной линии наискорейшего спуска и определить угол θ.
Топология поверхности Ref(z)=U(x,y) такова, что линии наискорейшего
спуска V(x,y)=const и линии одинакового уровня U(x,y)=const представляют
собой два семейства ортогональных друг другу кривых (см. Рис.2). Линии
одинакового уровни, проходящие через точку перевала, разбивают плоскость
(x,y) в окрестности точки z0 на секторы так, что внутри одной пары секторов
U(x,y) меньше значения U(x0,y0) (назовем такие сектора отрицательными), а
внутри другой пары секторов уровень U(x,y) больше U(x0,y0) (назовем такие
сектора положительными). Из Рис. 2 видно также, что перевальный путь в
ближайшей окрестности z0 проходит по биссектрисе углов, определяющих
эти сектора. Надо иметь в виду, что перевальный путь должен проходить из
отрицательного сектора в отрицательный, т.е. чтобы вдоль линии перевала
U(x,y)≤ U(x0,y0) (это полностью соответствует смыслу слова «перевал»).
Заметим, что через точку перевала проходит еще одна линия, которая также
определяется уравнением V(x,y)=const. Однако на этой линии при удалении
от точки z0 мы имеем не убывание, а, наоборот, возрастание U(x,y). Такой
путь является не путем наискорейшего спада, а путем быстрейшего
возрастания U(x,y) (см. Рис.2).
В приложениях особенно часто приходится рассматривать интегралы
типа (14) в неограниченной области с кривой интегрирования С, уходящей в
бесконечность. Из проведенных рассмотрений очевидно, что для сходимости
интеграла (14) необходимо, чтобы кривая интегрирования уходила в
бесконечность в отрицательных секторах седловой точки z0.
13
В этих случаях бывает полезным перейти к новым переменным, в
которых перевальный путь сразу определен, как действительная парабола,
проходящая через стационарную точку. Допустим, что решая уравненпе (28),
мы получили для точки перевала значение z=z0. Тогда нетрудно видеть, что
перевальным путем будет геометрическое место точек, определяемое
уравнением:
f ( z ) = f ( z0 ) − s 2 , (34)
где s пробегает все вещественные эначения от -∞, до +∞. Точка перевала
соответствует значению s = 0. Действительно, взяв от (34) мнимую и
вещественную части, получаем:
Im f ( z ) = V ( z ) = V ( z0 ),
(35)
Re f ( z ) = U ( z ) = U ( z0 ) − s 2 .
Отсюда видно, что мнимая часть функции f(z) остается постоянной, а
вещественная часть, максимальная при s = 0, убывает при удалении s от нуля
в ту и другую сторону.
IIерейдем в интеграле (14) от переменной z к новой комплексной
переменной s при помощи уравнения (34). На плоскости s перевальный путь
интегрирования совпадает, как мы только что видели, с вещественной осью.
Однако интересно исследовать выражение (34) для f(z) не только для
вещественных, но и для произвольных комплексных значений s. Положив
s = s′ + is′′ , получаем, отделив друг от друга мнимую и вещественную части:
U = U ( z0 ) − ( s′2 − s′′2 ),
V = V ( z0 ) − 2 s′s′′.
Отсюда видно, что в плоскости s линиями U=const и V=const представляются
двумя ортогональными друг другу семействами гипербол. В этих новых
переменных, как уже было только что показано, точкой перевала является
точка s=0, а перевальным путем – вещественная ось ( s′′ =0). Отметим, что,
как это было сказано и в прежнем изложении метода перевала, через точку
перевала s=0 проходит еще одна линия V=const=V(z0), а именно – мнимая ось
( s′ =0). Однако на этой линии при удалении от точки s=0 мы имеем не
убывание, а, наоборот, возрастсние U.
Обозначим при замене переменной z на s
dz
g( z) ⋅ = G ( s ). (36)
ds
14
Учитывая также (34), интеграл (14), взятый по перевальному пути,
запишем в виде:
+∞
∫e
λ f ( z0 ) − λ s2
I (λ ) = e G ( s )ds. (37)
−∞
15
s 1 1 ds
= = . (42)
f ′ s =0 ⎛ dz ⎞ f ′′ dz z
f ′′ ⎜ ⎟ 0
⎝ ds ⎠ z0
Подставляя (42) в (41), получим:
g ( z) 2 g ( z0 ) ds
G (0) = −2 s =− ⋅ . (43)
f ′( z ) z0
f ′′ z dz zo
0
16
Использование метода перевала для асимптотической оценки
некоторых интегралов.
1⎛
1 1⎞
Здесь g ( z ) =f ( z ) = ⎜ z − ⎟ . Контур интегрирования проходит
n+1
,
z 2⎝ z⎠
по окружности z = 1 , g(z) и f(z) –аналитические функции за исключением
начала координат и ∞. Прежде всего, найдем точки перевала. Они
определяются уравнением (28). Имеем:
df ( z ) 1 ⎛ 1⎞
= ⎜ 1 + 2 ⎟ = 0, отсюда z02 = 1, или z01 = +i, z02 = −i.
dz 2⎝ z ⎠
Итак, имеем две стационарные точки z0=±i, причем обе они находятся на
пути интегрирования. Далее проведем выкладки, необходимые для формулы
(33):
d 2 f ( z) 1
2
=− 3. (47)
dz z
1⎛ 1⎞ 1
f ( z0 = ± i ) = ⎜ ± i − ⎟ = ( ± i ± i ) = ± i ;
2⎝ ±i ⎠ 2
π (48)
d 2 f ( z) 1 1 ∓i n
= − 3 = 1, g ( z0 = ±i ) = n +1
= ∓i ⋅ e 2 .
dz 2 z0 =± i
i ( ±i )
17
Отсюда получим, что линии одинакового уровня, проходящие через
стационарную точку z0=+i, - это прямая x=0 и окружность x2+y2=1 (см.
Рис.3).
Рис.3.
Рис. 4.
19
2 π π
I n (λ ) = Cos(λ − n − ).
πλ 2 4
Рис. 5.
Прежде всего, так как под интеграл входит sin θ , то мы имеем точку
ветвления θ=0. Однако она не является для нас существенной, так как может
быть обойдена контуром Γ1 сверху и, следовательно, не будет задетой при
деформации Γ1 в Γ.
Гораздо более существенными являются особые точки, привносимые в
подынтегральное выражение функцией V(θ). Для акустических волн
коэффициент отражения V(θ) имеет вид:
m ⋅ cosθ − n 2 − sin 2 θ
V (θ ) = . (55)
m ⋅ cosθ + n − sin θ
2 2
21
точками ветвления. Коэффициент отражения V(θ) при каждом θ может
принимать два значения, в зависимости от того, какой из знаков корня мы
выбирем. Удобно говорить, как это всегда и делают, о двух листах плоскости
θ (образующих двухлистную риманову поверхность), на каждом из которых
функция V(θ) будет уже однозначной. На одном листе (назовем его
«верхним») мы будем полагать, что Im n 2 − sin 2 θ > 0 , а на другом,
«нижнем», Im n 2 − sin 2 θ < 0 . Отметим, что путь интегрирования Γ1 должен
проходить по верхнему листу ( в противном случае амплитуда волны начнет
неограниченно возрастать). Оба листа будут соединяться по линиям
Im n 2 − sin 2 θ = 0,
начинающимся в точках ветвления.
Для удобства мы проведем вдоль этих линий «разрезы» комплексной
плоскости. Уравнения этих разрезов будет:
n 2 − sin 2 θ = x 2 ,
где x2 – вещественная положительная величина, изменяющаяся в пределах
(0, ∞). Значение x=0 дает sin θ=n (точка ветвления). При x2 ∞ имеем sin θ
22
имеет в качестве особых точек также полюсы θ =θp , которые находятся из
уравнения:
m cos θ p + n 2 − sin 2 θ = 0. (56)
Отсюда находим:
m2 − n2
sin θ p = ± . (57)
m2 − 1
Найдя отсюда θp и подставляя в (56), мы можем найти n 2 − sin 2 θ p и из
знака его мнимой части определить, на каком листе находится данный
полюс. Рассмотрим сначала случай n<1, m>1. Из (57) видно, что в этом
случае sin θ p вещественен причем sin θ p > 1 . Это дает четыре значения для
θ p = θ p′ + iθ p′′ :
π
1) θ p′ = , θ p′′ > 0,
2
π
2) θ p′ = − , θ p′′ < 0,
2
π
3) θ p′ = , θ p′′ < 0,
2
π
4) θ p′ = − ,
θ p′′ > 0.
2
Полюс 2 симметричен полюсу 1,а полюс 4 симметричен полюсу 3 по
отношению к началу координат.
Определяя при помощи (56) знак Im n 2 − sin 2 θ p для каждого из
полюсов, нетрудно убедиться, что полюсы 1 и 2 лежат на верхнем листе, а 3
и 4 – на нижнем. Отсюда, а также из Рис. 5, мы видим, что ни один из
полюсов при деформации Γ1 в Γ не затрагиваются потому, причем полюсы 1
и 2 не затрагиваются потому, что они не лежат между Γ1 и Γ, а полюсы 3 и 4
– потому, что они лежат на нижнем листе, в то время как Γ1 и Γ – на верхнем.
Читателю предлагается проверить, что аналогичным образом на
затрагиваются полюса и при других значениях величин m и n.
23
Итак, мы видим, что полюсы подинтегрального выражения можно не
учитывать при анализе поля отраженной волны. Теперь мы вернемся к
оценке интеграла (50). При помощи формул (39), (45) и (51) эта оценка
делается элементарно. Роль переменной в этом случае будет выполнять угол
θ. В результате получим:
eikR1
Ψ отр = V (θ 0 ). (58)
R1
Однако проведенный анализ не совсем полный. Надо отметить еще
одно обстоятельство: первоначальный путь интегрирования Γ1 лежал на
верхнем листе соответствующего листа Римана, но деформация его в
перевальный путь интегрирования Γ возможна только тогда, когда по
крайней мере начало и конец последнего лежат на одном и том же листе. Так,
на Рис. 5 показано, что перевальный путь пересекает линию разреза дважды.
Переход от пути Γ1 к перевальному пути Γ производится без всяких
осложнений. При этом путь Γ за исключением некоторой части, отмеченной
на рисунке пунктиром, будет лежать на верхнем листе. При других значениях
параметров двух сред возможна ситуация, при которой перевальный путь
пересекает линию разреза только один раз. Чтобы применить метод перевала
в этом случае, надо сконструировать более сложный путь интегрирования,
дополнив перевальный путь контуром, охватывающий разрез так, что у этого
более сложного пути начало и конец снова будут лежать на верхнем листе.
Учет этого обстоятельства приводит к появлению так называемых «боковых»
волн.
24
Учебные задания и вопросы.
π ⎛ 2 3/2 ⎞
Ответ: exp ⎜ − x ⎟.
24 x ⎝ 3 ⎠
∞
⎛ b ⎞
8. Вычислить интеграл: ∫ x exp ⎜⎝ −ax −
0
⎟ dx. Показать, что метод
x⎠
b π ⎛ 3 ⎞
перевала годится при ab2>>1. Ответ: exp ⎜ − 3 2ab2 ⎟ .
a 3a ⎝ 2 ⎠
25
Литература.
Примечание.
26