228 ГЛ. V.

ТЕОРИЯ ВЫЧЕТОВ И ЕЕ ПРИЛОЖЕНИЯ

в о к р е с т н о с т и точки z = °°:

/ ( Ж ) = ««*> У С11/3 ( - l)nz-n = ein/s (1

( + от +•••)•

Отсюда находим res / (z) = — -5- е 1Я/3 . Следовательно,

й
2=оо

\ / (z) dz = - 2яг res / (z) = ^ ei3t/3. П

1.Г-2

§ 29. Вычисление определенных интегралов

с помощью вычетов
Теоремы о вычетах позволяют сводить вычисление интегра-
лов от комплексных функций по замкнутому контуру к нахо-
ждению вычетов подынтегральной функции внутри контура. Тем
же способом могут быть вычислены и многие определенные ин-
тегралы от функций действительного переменного. Во многих
случаях удается достаточно просто находить с помощью вычетов
определенные интегралы в случаях, когда применение методов
математического анализа оказывается не эффективным. В част-
ности, если все особые точки подынтегральной функции, лежа-
щие внутри контура интегрирования, являются полюсами, то
вычисление вычетов в этих точках сводится к вычислению про-
изводных. Следовательно, в этом случае вычисление интеграла
сводится к нахождению производных.
2JI

1. Интегралы вида / = J Я (cos ф, sin ф) d(p. К интегралам по

о
замкнутому контуру сводятся интегралы вида
2Л
I = \ R (cos ф, sin ф) dq>, (1)
о
ф
где R(u, v) — рациональная функция от и, v. Пусть z = е' .
Тогда

При изменении ф от 0 до 2л переменная z пробегает окруж-

ность Ы = 1 в положительном направлении. Интеграл (1)
сводится к интегралу по замкнутому контуру /= ] Яг (z) dz,
1
1*1=1
Z
где i? x (z) = — - R i (2 + -f > TA — - ) \ — рациональная функ-
 § 29. ВЫЧИСЛЕНИЕ ОПРЕДЕЛЕННЫХ ИНТЕГРАЛОВ 229

ция от z. По теореме о вычетах

п
I = 2т 2 res Rt (z),
ft=l z=zh

где Zi, z2, ..., z n — все полюсы рациональной функции Ri(z),

лежащие в круге Ы < 1.
П р и м е р 1. Делая в интеграле

/=
1 — 2a ces ф -f- а 2
о

замену переменной z = ещ, получаем

т

1*1=1
2 2
Уравнение az — (а + 1) z + а = О имеет корни Zi = a, zz = 1/а.
Так как Ы < 1, то в круге Ы < 1 лежит лишь точка Zi — a-^
полюс первого порядка подынтегральной функции /(z). По фор-
муле (4) § 27 находим
res / (z) = -г"2 г-— = -j ,

и следовательно,/ = 2я/(1— а 2 ). [] /
2. Интегралы от рациональных
функций. Рассмотрим интеграл
-/? — О

1= J Д(*)&г, (2) Рис . 69

—оо

где i? (а;) — рациональная функция. Предполагается, что интеграл

(2) сходится.
К интегралу (2) нельзя непосредственно применить теорему
о вычетах, так как контур интегрирования — бесконечная не-
замкнутая кривая. Чтобы воспользоваться теоремой о вычетах,
введем вспомогательный замкнутый контур Г в (рис. 69), состоя-
щий из отрезка [— R, R] и полуокружности CR (Izl =R, 0<i
=£!argz<n), и рассмотрим интеграл

I R (z) dz.

Предварительно докажем следующую лемму.

Л е м м а 1. Пусть функция f{z) регулярна в области I m z >
> 0, за исключением конечного числа особых точек, и непре-
230 ГЛ. V. ТЕОРИЯ ВЫЧЕТОВ И ЕЕ ПРИЛОЖЕНИЯ

рывна вплоть до границы этой области. Если интеграл

оо

j f(x)dx (3)

сходится и
Hm [ f(z)dz = O, (4)

где СR — полуокружность \z\=R, I m z X ) , то

оо

f f(x)dx = 2ni 2 res/(z). [(5)

-оо lmzh>oz=zh

В формуле (5) вычеты берутся по всем особым точкам функ-

ции /(z), лежащим в верхней полуплоскости.
Д о к а з а т е л ь с т в о . Рассмотрим контур Г л (рис. 69) и вы-
берем R столь большим, чтобы все особые точки функции /(z),
лежащие в верхней полуплоскости, находились внутри Г в . По
теореме о вычетах
в
\ f(z)dz= j f[x)dx+ \ f(z)dz = 2ni 2 res /(z).
Гн -R CR lmzk>oz=zk

Перейдем в этом равенстве к пределу при R -*•<*>. В силу схо-

димости интеграла (3) существует
R оо

Km \ f(x)dx= \ f (x) dx.

й-оо AR _Joo

Кроме того, J /(z)dz-»-0 при R-+oo в силу условия (4). Фор-

мула (5) доказана.

Обратимся теперь к интегралу (2). Пусть R(z) = Pn(z)/
/Qm(z), где Pn(z) и Qm(z) — многочлены степени п и m соответ-
ственно. Из сходимости интеграла (2) вытекает, что к = т — га>
> 2 и функция R{z) не имеет полюсов на действительной оси.
Следовательно,
R (z) ~ A/z*, z -*• «>, к > 2 — целое,
2
так что \R(z) I ^ c|zl~ при достаточно больших Ы. Тогда на
полуокружности Сн выполняется неравенство 1 Л ( г ) | ^ с Д ~ 2 и,
следовательно,

I R (a) dz
 § 29, ВЫЧИСЛЕНИЕ ОПРЕДЕЛЕННЫХ ИНТЕГРАЛОВ 231

Тем самым доказано, что условие (4) выполнено и в силу

леммы 1
оо

R (x) dx = 2ni 2 res i?(z). (6)

-оо lmzh>oz=zk

Здесь вычеты берутся по всем полюсам функции R(z), лежа-

щим в верхней полуплоскости.
Аналогично доказывается формула
re
R (x) dx = — 2ni 2 s -ft (z).

оо

П р и м е р 2. Вычислим интеграл /= \ 2 —rj. Так как

—оо ^Ж ' '
i 1
им
функция R (z) = — - 4 = ( z _ . ) A ( z + , ) 4 еет в верхней полу-
плоскости единственный полюс четвертого порядка в точке z = i,
то по формуле (8) § 28 находим
=
res R(z) = m [ ^ r ^ i j z = i - 32 ' У>
и в силу (6) / = 2ni res R{z) =
= 5я/16. D
П р и м е р 3. Вычислим интеграл _
Ж
—^ R х
7- Г ^ ^^ J
Рис. 70
J !_!_ 2п ' где /г > 1 — натураль-
о
ное число. 2n ii2K+i) /2n
Уравнение z + 1 = 0 имеет следующие корни: zk = e " ,
к = О, 1, ..., 2га — 1. Воспользуемся следующим свойством под-
интегральной функции: R(ein/nz)^ R(z). Возьмем в качестве
контура интегрирования кривую Г н (рис. 70), состоящую из
отрезка [О, R], дуги окружности CR: z = Rei<f, 0 ^ ср < п/п и от-
резка I: z = ге' л/п , 0 ^ г sg R. По теореме о вычетах
я
[ R (z) dz = j R (x) dx + [ R (z) dz + j" i? (z) dz = 2ЯГ res i? (z), (7)
гд о cR I *=*a
так как внутри Г в функия R(z) имеет только один полюс z0 =
_ eMi/(2B)_ g b I 4 e T в т о ч к е Zo равен

res R (z) =
232 ГЛ. V. ТЕОРИЯ ВЫЧЕТОВ И ЕЕ ПРИЛОЖЕНИЯ

Далее, интеграл по отрезку I сводится к интегралу по от-

резку [О, Д];
R R
Г Д (z) & = - Г Д (геЫ1п) еы'пйг = - еы/п Г dr 2 n.
J w J J 1+ r
Оценим интеграл по CR. Так как li?(z) 1 ~ l/|zl 2 n (z-*-°°), то

Переходя в равенстве (7) к пределу при R ->- °°, получаем

(i-ein/n)l = -^einK2n\ /==2 2__. •
£
оо

3. Интегралы вида /== j eaxR{x)dx. Здесь R{x)— рациональ-

—со
ная функция. Интеграл
00

/ = j eia*R(x)dz (8)
— 00

есть преобразование Фурье функции R(x). При вычислении ин-

тегралов (8) используется
Л е м м а 2 (Ж о р д а н а). Пусть а > 0 и выполнены следую-
щие условия:
1) функция g(z) непрерывна в области 1гц z> О, Ы > Д, > 0 ;
и
2) ilf(i?)=:max|g(z)|->0 Ри i?->oo, (9)
С

где С в — полуокружность Ы = Д, Im z 5= 0.
Гог5а
lim \ g{z)eia4z = 0. (10)

Доказательство. Пусть z^ Ся, R> До. Тогда z = Де*",

{
О ^ ф < я, dz = iRe 4q),
jgiajj __ | e «a(B cos (p+iH sin Ф) j _ . g-аЯ eln Ф (11V

Так как a > 0 , то | e i a M < l (z^CR). Однако этой оценки не-

достаточно для доказательства соотношения (10). Чтобы полу-
чить более точную оценку для \eiaz\ на Ся, воспользуемся не-
равенством
!-cp, 0<ф<|, (12)