Вы находитесь на странице: 1из 26

Казанский государственный университет.

Физический факультет.

Прошин Ю.Н., Царевский С.Л.

МЕТОД ПЕРЕВАЛА

(Учебно-методическое пособие)

Казань 2009.
Публикуется по решению Редакционно-издательского совета

физического факультета.

УДК 530.1: 51 - 72; 531.

Прошин Ю.Н., Царевский С.Л. МЕТОД ПЕРЕВАЛА Учебно-методическое


пособие. Под ред. Царевского С.Л.. Казань. 2009. - 26 с.

В данном учебно-методическом пособии подробно выводятся основные


вычислительные формулы метода перевала для асимптотической оценки
интегралов некоторого вида. Рассмотрены примеры вычисления ряда
конкретных интегралов. Рекомендуется в качестве учебно-методического
пособия для студентов-теоретиков 3 курса, изучающих спецкурс
«Качественные методы теоретической физики».

Рецензент: Тагиров Л.Р., д.ф.м.н., проф., зав. каф. физики твердого тела
Казанского rocуниверситета.

Работа частично поддержана Министерством образования и науки РФ (грант


№2.1.1/2985 по программе "Развитие научного потенциала высшей школы").

Физический факультет Казанского госуниверситета, 2009.

  2
Введение.

В настоящем учебно-методическом пособии подробно описывается


метод перевала для асимптотической оценки интегралов вида:
I (λ ) = ∫ exp(λ f ( z )) ⋅ g ( z )dz
C

при больших значениях параметра λ ∞. Интеграл может быть

действительным или комплексным, по замкнутому либо незамкнутому


контуру.
Существуют многочисленные задачи математики, математической и
теоретической физики, механики, техники, требующие исследования
интегралов подобного вида. На первый взгляд кажется, что асимптотические
методы к настоящему моменту времени потеряли свою актуальность в связи
с развитием современных ЭВМ и программного обеспечения расчетов на
них. Однако во многих случаях даже самые мощные и быстродействующие
ЭВМ не могут вычислить интегралы подобного типа. Например, в
статистической физике макроскопической системы частиц в некоторых
задачах в качестве параметра λ приходится брать число частиц в системе (т.е.
λ=1023!). Кроме того, стоящие под интегралом функции, как правило, зависят
от нескольких параметров, характеризующих систему. В этом случае метод
асимптотических оценок позволяет не просто вычислить интеграл, но и
получить явную зависимость его от этих параметров. И в то же время во
многих задачах бывает необходимо знать именно асимптотическое
поведение интегралов подобного типа (например, волновая зона излучателя,
задачи рассеяния частиц в квантовой и ядерной физике и т.д.). В настоящее
время этот метод является мощным и едва ли не единственным методом
исследования интегралов подобного вида.
Цель настоящего учебно-методического пособия – показать, как метод
перевала можно использовать для вычисления такого вида интегралов.
Подробно выводятся основные вычислительные формулы метода перевала.
Рассмотрены примеры вычисления некоторых конкретных интегралов.
Примеры подобраны таким образом, чтобы продемонстрировать «подводные
камни», которые могут встретиться при вычислении интегралов,

  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 ) −∞
Появившийся интеграл (интеграл Дирихле) равен π , так что в результате
получим асимптотическое значение исходного интеграла:

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

I (λ ) = ∫ g (t )eλ f ( t ) dt. (5)


t1

Если в интервале интегрирования встретится точка t0, в которой f(t)


принимает максимальное значение, то при λ >>1 существенный вклад в
интеграл I(λ) даст лишь малая окрестность точки t0. Мы можем
воспользоваться для асимптотической оценки интеграла формулой (4) (не
забудьте учесть множитель λ):
t2

I (λ ) = ∫ g (t )eλ f ( t ) dt ≈ g (t0 )eλ f ( t0 ) , λ >>1. (6)
t1
λ f ′′(t0 )
  5
Сделаем еще одно замечание: если заменить в (3) t – t0 на iξ. то
подынтегральное выражение превратится в растущую экспоненту. Иными
словами, в комплексной плоскости переменной t точка t0 является седловой
(см. Рис. 1). Направление интегрирования совпадает с направлением
наискорейшего спуска. Отсюда понятно название метода.
Мы рассмотрели частный случай, когда направление перевала
совпадает с действительной осью. В следующем параграфе мы рассмотрим
общий случай, когда направление перевала составляет произвольный угол с
действительной осью координат.

Рис.1.

Асимптотическое выражение для гамма-функции.

В качестве примера вычислим с помощью метода перевала асимптотическое


значение гамма-функции при больших значениях x.

Γ( x + 1) = ∫ exp( −t + x ln t )dt. (7)
0

Обозначим f(t)=-t+xlnt. Тогда f’(t)=-1+x/t. Из условия f’(t0)=0 имеем t0=x.


Далее f’’(t)=-x/t2, так что f ′′(t0 ) =1/x и f(t0)=-x+xlnx. Наконец, используя
формулу (4), получим:
Γ( x + 1) x>>1 ≈ 2π x ( x / e) x . (8)
Формула (8) – формула Стирлинга. Отсюда можно получить
асимптотическую формулу для n!. Используя свойство гамма-функции
Γ( x + 1) = xΓ( x ), для целого x=n, получим Γ( x + 1) =n!. Тогда из (8) имеем для
n>>1:
n ! ≈ 2π n ⋅ ( n / e) n , n >> 1. (9)

  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

Разложение экспоненты exp(f(x)) дает:


1 1 1
f ′′(t0 )(t − t0 ) 2 } + f ′′′(t0 )(t − t0 )3 + f IV (t0 )(t − t0 ) 4 + ...).
exp f (t ) = exp({ f (t0 ) +
2 3! 4!
Первые два члена (в фигурных скобках) в приведенном выше выражении уже
учтены в методе перевала. Оценим вклады следующих членов разложения
f(t). Для этого заметим, что
1 1
f ′′′(t0 )(t − t0 )3 + f IV (t0 )(t − t0 ) 4 + ...)  
exp f (t ) = exp{...} ⋅ exp(
3! 4!
Показатель экспоненты второго сомножителя много меньше единицы и ее
можно разложить в ряд, так что получим:
1 1
f ′′′(t0 )(t − t0 )3 + f IV (t0 )(t − t0 )4 + ...) =
exp(
3! 4!
2 6 1
= 1 + (t − x )3 − 3
(t − x )4 + 4
(t − x )6 + ...
3! 4! x 18 x
Подставляя это разложение в интеграл, получим для гамма-функции:
∞ 1
− ( t − x )2 (t − x ) 4 (t − x )6
∫e
− x + x ln x
Γ( x + 1) = e 2x
[1 − + + ...]dt. (10)
−∞
4 x3 18 x 4
(t − x ) 2
Далее – снова замена переменных: = u 2 , t − x = 2 x ⋅ u , dt = 2 x ⋅ du .
2x
Член с единицей дает приближение, полученное уже нами методом перевала.
Остальные члены дадут поправки к гамма-функции ΔΓ(x+1):

u 4 4u 6
ΔΓ( x + 1) = e − x + x ln x
2x ∫ e − u2
[− + ] ⋅ du. (11)
−∞
x x
Встречающиеся в (11) интегралы хорошо известны:

(2n − 1)!! π
∫u
2 n − pu 2
e du = , p > 0, n - целое число. (12)
−∞
(2 p ) n p
Из (10, 12), в частности, видно, почему мы не стали выписывать в (10) члены,
пропорциональные (t-x)3: вклады от них будут равны нулю, как от интегралов
по симметричному промежутку от нечетной функции. Используя (10),
  7
окончательно получим для гамма-функции с учетом поправок к методу
перевала:
1 1
Γ( x + 1) = 2π x ⋅ e − x x x (1 + + o( 2 )), x >> 1. (13)
12 x x

Метод перевала в комплексной области.

В предыдущих параграфах мы рассматривали асимптотическое


значение интеграла вида (1) , когда переменная интегрирования и
подынтегральные функции были вещественными. Однако в большинстве
случаев приходится иметь дело с интегрированием в комплексной области.
Рассмотрим снова интеграл вида (1):
z2

I (λ ) = ∫ g ( z )eλ f ( z ) dz, (14)


z1

здесь f(z) и g(z) - некоторые, в общем довольно произвольные, аналитические


функции комплексной переменной z=x+iy. Путь интегрирования в плоскости
x, y проходит по некоторому контуру С, который в частном случае может
захватывать только вещественные значения, может быть замкнутым, либо
бесконечным. В комплексной плоскости путь интегрирования в известных
пределах можно деформировать, не меняя при этом значения интеграла.
Пользуясь этим, постараемся путь интегрирования деформировать так, чтобы
можно было выделить некоторую часть пути, причем сравнительно
короткую, которая в основном и определяла бы все значение интеграла.
Тогда, как мы увидим, подынтегральную функцию удается заменить на
другую, более простую функцию, достаточно точно совпадающую с
подынтегральной функцией на этом существенном участке пути
интегрирования, не заботясь о том, какой она будет на остальном пути
интегрирования.
Выделим в f(z)вещественную и мнимую части f(z)=f(x, y)=Ref(x,y)+
iImf(x,y)= U(x,y)+iV(x,y), тогда экспонента под интегралом примет вид:
exp [iλ Im f ( x, y ) + λ Re f ( x, y )] (16)
Путь интегрирования будет удовлетворять указанному выше требованию,
если его выбрать так, чтобы на нем функция Ref(x,y)=U(x,y) имела в
некоторой точке максимум и спадала возможно быстрее при удалении от
этой точки. Линия наискорейшего спуска выбирается потому, что чем

  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

Подчеркнем еще раз, что пока никаких приближений не сделано. В (20)


экспоненту с мнимой частью f(z(t)) мы вынесли из-под знака интеграла, т.к.
вдоль линии наискорейшего спуска она не меняется. Введем обозначения:
g (t ) = g ( z (t )) zt′; f (t ) = Re f ( z (t )). (21)
Тогда интеграл в (20) примет вид:
  9
∫ g ( z )e zt′dt = ∫ g (t )eλ f ( t ) dt.
λ Re f ( z ( t ))
(22)
C C

Отметим, что в (22) интегрирование ведется вдоль линии наискорейшего


спуска, так что в экспоненте под интегралом стоит действительная функция.
Предположим далее, что вдоль линии наискорейшего спуска C на некотором
участке от t1 до t2 f (t ) = Re f ( z (t )) принимает максимальное значение в
некоторой точке t0, тогда при λ>>1 лишь малая окрестность даст основной
вклад в значение интеграла (20) (см. п.1). Теперь мы можем воспользоваться
формулой (6) для асимптотического значения интеграла (22):
t2

∫ g (t )e g (t0 )eλ f ( t0 ) .
λ f (t )
dt ≈ (23)
t1 λ f ′′(t0 )
Подставим полученное значение интеграла (23) в (22) и (20), получим:
t2

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


≈ eiλ Im f ( z ( t0 )) ⋅ g (t0 )eλ f ( t0 ) =
λ f ′′(t0 )
(24)

= eiλ Im f ( z ( t0 )) ⋅ g (t0 )eλ Re f ( z ( t0 )) =
λ f ′′(t0 )

= 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

комплексное число, причем k – абсолютная величина его, а θ – его фаза.


Отметим, что z(t) – это проекция линии наискорейшего спуска на плоскость
(x, y), так что геометрический смысл θ – угол между осью Ox и направлением
касательной к этой проекции наискорейшего спуска в точке z(t0). Назовем
df (t ) d 2 f (t )
z(t0)=z0. Найдем производные и :
dt dt 2

  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

Из (27) следует, что в точке экстремума f (t ) равна нулю производная f(z):


df ( z )
= 0. (28)
dz z0

Т.е. точка z0 является перевальной точкой для Ref(z). Такое «географическое»


название используется не случайно.

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

Отметим, что на самом деле число, определяемое формулой (29), есть


отрицательное действительное число (это видно из условия, что f (t ) в точке
t0 имеет максимум). Тогда (29) можно представить в виде:

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

Из сравнения (29) и (30) видно, что


d2 f d2 f
=− 2 e −2iϑ . (31)
dz 2 z0
dz z0

Подставим (30) и (25) в (24). В результате получим:

  12

I (λ ) ≈ g ( z0 ) ⋅ keiϑ ⋅ eλ f ( z0 ) ⋅ . (32)
⎛d f ⎞
2

λ ⎜⎜ 2 ⎟⎟ k
2

⎝ dz ⎠ z0
Окончательно для полученной методом перевала асимптотической по λ>>1
оценки интеграла (12) имеем:

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)
−∞

Так как λ предполагается большим, то под интегралом будут существенны


только малые значения s. Вследствие этого функцию G(s) целесообразно
представить в виде ряда по степени s.
1
G ( s ) = G (0) + G ′(0) s + G ′′(0) s 2 + ... (38)
2
Подставляя этот ряд в интеграл и учитывая значения интегралов (12),
получим:
π ⎡ 1 ⎤
I (λ ) = eλ f ( z0 ) ⎢⎣ G (0) + G ′′(0) + ... ⎥⎦ . (39)
λ 4λ
Таким образом, мы еще раз убеждаемся, что метод перевала позволяет
представить значение интеграла в виде ряда по обратным степеням большого
параметра λ. Если функция G(s) является достаточно медленно меняющейся
по сравнению с экспонентой exp(-λs2), т.е. если ее производные достаточно
малы, то в (39) можно ограничиться одним или несколькими первыми
членами.
Формула (39) позволяет в несколько ином виде представить интеграл
I(λ). Можно показать, что значение интеграла I(λ), определяемое формулой
(39) в точности совпадает с формулой (33).
Ограничимся первым членом разложения. В этом случае нам
понадобится значение G(0). Дифференцируя (34) по s, получаем:
dz
f ′( z ) = −2 s. (40)
ds
Выражая отсюда (dz/ds) и подставляя в (36), находим
g ( z)
G ( s ) s =0 = −2 s . (41)
f ′( z ) s=0
В (41) появилась неопределенность типа 0/0. Раскроем ее по правилу
Лопиталя:

  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

Далее, из (36) имеем:


ds g( z)
= . (45)
dz zo G ( z ) z0
Тогда из (43) получим:
2
G (0) = − ⋅ g ( z0 ). (45)
f ′′( z0 )
Если учесть явное значение фазы f ′′( z0 ) (см. (31)), то подставляя (45) в (39),
мы в точности получим формулу (33).
Интеграл (14), взятый по некоторому произвольному пути С всегда может
быть заменен интегралом от той же подынтегральной функции, взятым по
перевальному пути. Возможно только, что к нему придется добавить
некоторые слагаемые, получающиеся при обходе особых точек, если они
встретятся при деформации пути С в перевальный путь. В частности, если
нам придется обойти полюс, то добавится вычет в этом полюсе; если
функция окажется многозначной и на пути встретится точка ветвления, то
необходимо добавить интеграл по берегам разреза, проведенного
соответствующим образом из этой точки.
Если f(z) такова, что она имеет несколько седловых точек z0i, то
асимптотическое значение интеграла (14) будет содержать несколько
слагаемых вида (33), причем наибольшее слагаемое будет давать та седловая
точка, в которой Ref(z0) наибольшая. Если же Ref(z0i) одинаковы, то надо
учесть вклады от всех седловых точек.
Сделаем еще одно замечание: если контур интегрирования
заканчивается в точке перевала z0, то в этом случае в формуле (33) надо
поставить дополнительный множитель 1/2.

  16
Использование метода перевала для асимптотической оценки
некоторых интегралов.

1. Асимптотическая формула для цилиндрической функции первого рода


целого порядка n:
λ⎛ 1⎞
1 ⎜ z− ⎟ dz
J n (λ ) = ∫e
2⎝ z ⎠
. (46)
2π i z =1
z n +1

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 )

Чтобы определить, какой из стационарных точек отдать предпочтение, надо


найти значения Ref(z) в этих точках. Из (48) имеем: Ref(±i)=0. Получается,
что значения Ref(z) в обеих стационарных точках одинаковы и, согласно
сделанному выше замечанию, надо учитывать вклады от обеих точек.
Рассмотрим сначала перевальный путь через точку z0=+i. Для этого
определим линии одинакового уровня, проходящую через эту точку:
1 ⎛ 1⎞ 1 ⎛ 1 ⎞
U ( x, y ) = Re f ( z ) = Re ⎜ z − ⎟ = Re ⎜ x + iy − =
2 ⎝ z⎠ 2 ⎝ x + iy ⎠⎟
(49)
1 ⎛ x − iy ⎞ 1 ⎛ x ⎞ 1 ⎛ 1 ⎞
= Re ⎜ x + iy − 2 2 ⎟
= ⎜x− 2 2 ⎟
= x ⋅ ⎜1 − 2 = 0.
2 ⎝ x + y ⎠ 2⎝ x +y ⎠ 2 ⎝ x + y 2 ⎠⎟

  17
Отсюда получим, что линии одинакового уровня, проходящие через
стационарную точку z0=+i, - это прямая x=0 и окружность x2+y2=1 (см.
Рис.3).

Рис.3.

Направление линии перевала должно быть бисекторным по отношению


к линиям одинакового уровня. При этом надо учитывать, что перевальный
путь из отрицательного сектора в отрицательный (из «минуса» в «минус»).
Выбор направления перевального пути требует специального рассмотрения.
На Рис.4 представлена контурная карта ближайшей окрестности
седловой точки z0=+i (т.е. x0=0, y0=1).

Рис. 4.

Здесь сплошными линиями изображены проекции на плоскость (x,y) линий


одинакового уровня (U(x,y)=const), а пунктирными– линий наискорейшего
  18
спуска (V(x,y)=const). Причем проекции линий одинакового уровня,
проходящие через перевальную точку, в ближайшей окрестности становятся
прямыми линиями y=1 и x=0. Перевальный контур, как указывалось выше и
как видно из Рис.4, должен пролегать по одной из биссектрис вертикальных
углов, образованных этими линиями одинакового уровня, т.е. угол θ должен
быть либо π/4, либо 3π/4. Выбор очень важен, т.к. одно направление
определит перевал, т.е. линию наискорейшего спуска, а другое –
наискорейший подъем. Итак, перевальный контур должен проходить по
прямой либо y=x+1 (и тогда θ= π/4),либо y=-x+1 (θ= 3π/4). Чтобы сделать
выбор, надо взять U(x,y), подставить в нее y=x+1 (либо y=-x+1) и
посмотреть, как она изменяется в малой окрестности перевальной точки
(x<<1). Имеем:
1⎛ x ⎞ 1⎛ x ⎞
U ( x, y ) = ⎜ x − 2 ⎟ = ⎜ x − =
2⎝ x + y 2 ⎠ y =± x +1 2 ⎝ x 2 + ( ± x + 1) 2 ⎟⎠
1⎛ x ⎞ 1
= ⎜x− 2 2 ⎟
≈ ( x − x (1 ∓ 2 x...)) = ± x 2 .
2⎝ x + 1± 2x + x ) ⎠ 2 напомним, что x<<1

Из последней формулы видно, что если взять верхний знак (что


соответствует выбору θ= π/4), то двигаясь по этой линии, мы будем всегда
выше точки перевала, спускаемся до уровня U(0,1)=0, а затем снова
поднимаемся вверх (по принятой терминологии – двигаемся из «плюса» в
«плюс»), т.е. будем двигаться по пути наискорейшего подъема. Если взять
нижний знак (что соответствует выбору θ= 3π/4), то мы будем двигаться по
перевальному пути (из «минуса» в «минус») (см. Рис.4). Итак, θ= 3π/4.
Аналогичное исследование надо провести и для второй стационарной
точки z0=-i. (Предоставим сделать это читателю – в качестве упражнения).
Оказывается, в этой точке надо взять θ= π/4. Подставляя вычисленные ранее
необходимые в формуле (33) величины для первой и второй стационарных
точек и беря сумму вкладов от каждой из них, получим:
1 ⎛ iλ 2π π
− i n +i

1 ⎞
I n (λ ) = ⎜ e ( − i ) ⋅ e 2 4
⋅ ⎟+
2π i ⎝ 1 λ⎠
1 ⎛ − iλ 2π π
i n +i
π
1 ⎞
+ ⎜e (i ) ⋅ e 2 4
⋅ ⎟.
2π i ⎝ 1 λ⎠
Окончательно получим для асимтотической оценки In(λ) (λ>>1):

  19
2 π π
I n (λ ) = Cos(λ − n − ).
πλ 2 4

2. Поле отраженной волны.


Поле отраженной волны на больших по сравнению с длиной волны
расстояниях от источника (волновая зона) определяется следующим
интегралом (такая задача возникает при отражении акустической, либо
электромагнитной волн от гранцы двух сред):
π
−i ∞
π 2
i k ⎛ 1 ⎞
2π r π ∫
Ψ отр = e 4 eikR1 cos(θ −θ0 ) ⎜ 1 + ⎟V (θ ) sin θ dθ . (50)
+i∞
⎝ 8ikr sin θ ⎠
2

Здесь θ0 – угол падения волны на границу раздела, k – волновое число, R1 –


расстояние от мнимого источника, r – расстояние от источника волны, V(θ)-
коэффициент отражения. Предполагается, что k R1>>1. Оценим этот интеграл
методом перевала. Обозначим путь интегрирования, идущий от точки
-(π/2)+i∞ до точки (π/2)-i∞, через Γ1 (Рис. 5) и найдем по правилам,
указанным выше, перевальный путь.
Сравнивая интеграл в (50) с (14), мы полагаем
λ = kR1 , f (θ ) = i cos(θ − θ 0 ),
π (51)
i k ⎛ 1 ⎞
g (θ ) = e 4 ⎜1 + ⎟V (θ ) sin θ .
2π r ⎝ 8ikr sin θ ⎠
df
Точка перевала, определяемая уравнением = 0 , будет θ=θ0. Уравнение

(34) для перехода к переменной s в данном случае будет
cos(θ − θ 0 ) = 1 + is 2 . (52)
Перевальный путь соответствует вещественным значениям s. Взяв
вещественные части от обеих сторон равенства (52) и учтя, что при θ=θ’+i θ’’
sin θ = sin θ ′chθ ′′ + i cos θ ′shθ ′′,
(53)
cos θ = cos θ ′chθ ′′ − i sin θ ′shθ ′′,
мы получим уравнение перевального пути в комплексной плоскости θ
cos(θ ′ − θ 0 ) cos θ ′′ = 0. (54)
Нетрудно показать, что этот путь будет пересекать вещественную ось в точке
π
θ= θ0 под углом в 45о и уходить с одной стороны в − + θ 0 + i∞ , а с другой –
2
  20
π
в + θ 0 − i∞ (путь Γ на Рис.5). Теперь нам остается оценить интеграл по
2
пути Γ.
Однако, прежде чем приступить к этому, рассмотрим детально
возможность деформации пути интегрирования Γ1 в Γ.

Рис. 5.

Прежде всего, так как под интеграл входит sin θ , то мы имеем точку
ветвления θ=0. Однако она не является для нас существенной, так как может
быть обойдена контуром Γ1 сверху и, следовательно, не будет задетой при
деформации Γ1 в Γ.
Гораздо более существенными являются особые точки, привносимые в
подынтегральное выражение функцией V(θ). Для акустических волн
коэффициент отражения V(θ) имеет вид:
m ⋅ cosθ − n 2 − sin 2 θ
V (θ ) = . (55)
m ⋅ cosθ + n − sin θ
2 2

Здесь n - показатель преломления, m – отношение плотностей двух сред (для


электромагнитных волн имеется аналогичное выражение). Как видно из (55),

V(θ) содержит корень n 2 − sin 2 θ , вследствие чего точки θ= arcsin(n) будут

  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 θ

  ±i∞,  откуда  при  учете  первой  из  формул  53 ,  получим  θ’   0, θ’’  

±i∞. На Рис. 5 изображены две точки ветвления  А1 и  А2 и идущие от них 

разрезы  для  случая  n < 1 .  Входящая  под  интеграл  50   функция  V(θ)

  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
Учебные задания и вопросы.

1. Показать, что линии наискорейшего спуска и линии постоянного


уровня поверхности Ref(z) образуют два семейства ортогональных друг
другу линий.
2. Метод перевала часто называют методом наискорейшего спуска,
методом седловых точек, методом стационарной фазы. Нам чем
основана справедливость такой терминологии?
3. Как модифицируется метод перевала при появлении полюсов в
подынтегральных функциях?
4. Найти угол θ для второй перевальной точки при асимптотической
оценке цилиндрической функции первого рода целого порядка n.
5. Проверить справедливость деформации контура Γ1 в Γ при
произвольных значениях параметров m и n для поля отраженной
акустической волны.
6. При каких параметрах m и n возможно возникновение «боковых»
акустических волн на границе двух сред.

1
∫ cos( 3 t + xt )dt методом перевала при x>>1.
3
7. Вычислить интеграл:
0

π ⎛ 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
Литература.

1. М.В. Федорюк / Метод перевала // Наука. ГРФМЛ Москва. 1977. 368


стр.
2. А.Б. Мигдал / Качественные методы в квантовой теории // Наука.
ГРФМЛ Москва. 1975. 335 стр.
3. М.А. Лаврентьев, Б.В. Шабат / Методы теории функций комплексного
переменного // Наука. ГРФМЛ Москва. 1973, 736 стр.
4. Г. Арфкен / Математические методы в физике // Атомиздат. Москва.
1970. 712 стр. (Arfken, George B. Mathematical Methods for Physicists.
Academic Press, 1985).
5. А.Г. Свешников, А.Н. Тихонов / Теория функций комплексного
переменного. Из серии « Курс высшей математики и математической
физики» Вып. 4, под ред . А.Н.Тихонова, В.А.Ильина, А. Г.Свешникова
// Наука. ГРФМЛ Москва. 1979, 736 стр.
6. Л.М. Бреховских / Волны в слоистых средах // АН СССР. Москва. 1957,
502 стр.
7. P. Bamberg, Sh. Sternberg / A course in Matematics for students of
physics:2 // Cambridge University Press. 1992, 463 p.
8. M. Baker, S. Sutlief / Green’s Functions in Physics. Version 1.(Lection
Notes, 2003) Department of Physics, University of Washington (332 p.)
(http://www.phys.washington.edu/users/baker/green.pdf)
9. C. Pope / Methods of Theoretical Physics: 1. (Lecture notes, 2004),
Department of Physics, Texas A&M University (205 p.)
(http://faculty.physics.tamu.edu/pope/methods.ps)

Примечание.

При изложении материала данного учебно-методического пособия


авторы следовали в основном учебникам [2, 3] и монографии [6]. В
частности, приведенные в тексте пособия рисунки были сканированы из
книг: Рис.1 –из [2], Рис. 2 – из [4], Рис. 3 – из [3], Рис. 5 – из [6].
Ссылки [8, 9] взяты из интернета (они также доступны в сети КГУ:
[8]- ftp://chem-80a.i.ksu.ru/books/kolxo3/_djv/M_Mathematics/MP_Mathematical
physics/ и [9]- в подкаталоге /MPt_Textbooks/ соответственно.

  26