Интегралы в полубесконечных и конечных пределах

В третьей части даются методические указания по использованию контурного интегрирования для вычисления определенных интегралов в полубесконечных (п.п. 3.1-3.5) и конечных пределах (п.п. 3.6-3.7).

3.1. Интегралы от рациональных функций в полубесконечных пределах

Рассмотрим интеграл

(1)

где f(x) - рациональная функция, удовлетворяющая лемме 1. Для четных f(x) интеграл (1) равен , и применим метод п.2.2. Если же f(x) не является четной функцией, то можно воспользоваться двумя способами, один из которых мы разберем сейчас, а другой отложим до п. 3.7. Первый способ прост, но применим лишь к функциям специального вида; второй является общим методом, но более трудоемк.

Пример 1.

Вычислим интеграл , где m, n - положительные целые числа и m Ј n + 2.

Уравнение zn + 1 = 0 имеет такие корни: zk = exp [ i ( 2k - 1 ) p / n ]
Следуя первому способу, рассмотрим контурный интеграл , где замкнутый контур Г (см. рис.1) состоит из трех частей: отрезка [0, R] действительной оси, дуги CR ( | z | = R, 0 Ј arg z Ј j0 ) и отрезка l ( 0 Ј | z | Ј R, arg z = j0 ). Значение угла j0 определим ниже. Соответственно

Рис 1.
(2)

Попытаемся выразить интеграл по отрезку l через интеграл по действительной оси. Подставив z = r exp ( ij0 ), получим

(3)

Выберем j0 так, чтобы exp( inj0 ) = 1. А именно, возьмем j0 = 2p / n (при этом j0 = 2 arg z1 и отрезок l проходит точно посередине между особыми точками z1 и z2 ). Тогда

(4)

и из (2) имеем

(5)

Контурный интеграл в (5) может быть через вычет в особой точке z1 = expi p / n, как . После предельного перехода R ® Ґ, при котором интеграл по дуге СR в силу леммы 1 дает нуль, из (5) находим

(6)

Далее следует вычислить вычет и убедиться, что полученное выражение преобразуется к виду, не содержащему мнимой единицы, поскольку искомый интеграл действителен. Имеем

(7)

очевидно, что этим методом можно пользоваться только при интегрировании таких функций, которые на луче arg z = j0 оказываются пропорциональными значениями функции на действительной оси.


дальше