Интегрирование рациональных функций
Ранее речь шла об общих приемах интегрирования. В этом и следующих параграфах мы будем говорить об интегрировании конкретных классов функций с помощью рассмотренных приемов.
Интегрирование простейших рациональных функций
Рассмотрим интеграл вида , где — рациональная функция. Всякое рациональное выражение можно представить в виде , где и — многочлены. Если эта дробь неправильная, т. е. если степень числителя больше или равна степени знаменателя, то ее можно представить в виде суммы многочлена (целая часть) и правильной дроби. Поэтому достаточно рассмотреть интегрирование правильных дробей.
Покажем, что интегрирование таких дробей сводится к интегрированию простейших дробей, т. е. выражений вида:

где — действительные числа, а квадратный трехчлен не имеет действительных корней. Выражения вида 1) и 2) называют дробями 1-го рода, а выражения вида 3) и 4) — дробями 2-го рода.
Интегралы от дробей 1-го рода вычисляются непосредственно

Рассмотрим вычисление интегралов от дробей 2-го рода: 
Сначала заметим, что
Чтобы свести вычисление интеграла 3) к этим двум интегралам, преобразуем квадратный трехчлен , выделив из него полный квадрат:
Так как по предположению этот трехчлен не имеет действительных корней, то и мы можем положить . Подстановка преобразует интеграл 3) к линейной комбинации указанных двух интегралов:
В окончательном ответе нужно лишь заменить на , а на . Так как , то
Рассмотрим случай .
Как и в предыдущем случае, положим . Получим:
Первое слагаемое вычисляется так:
Второй же интеграл вычисляется с помощью рекуррентной формулы.
Пример 1. Вычислим .
Решение. Имеем: . Положим . Тогда и и, следовательно,
Пример 2.Вычислим .
Решение. Имеем: . Введем новую переменную, положив . Тогда и . Заменив переменную под знаком интеграла, получим:
Положим . Имеем:
Окончательно получаем:
Интегрирование правильных дробей
Рассмотрим правильную дробь , где — многочлен степени . Не теряя общности, можно считать, что старший коэффициент в равен 1. В курсе алгебры доказывается, что такой многочлен с действительными коэффициентами может быть разложен на множители первой и второй степени с действительными коэффициентами:
где —действительные корни многочлена , а квадратные трехчлены не имеют действительных корней. Можно доказать, что тогда представляется в виде суммы простейших дробей вида 1) —4):
 (1)
где показатели у знаменателей последовательно уменьшаются от до 1, …, от до 1, от до 1, …, от до 1, а — неопределенные коэффициенты. Для того чтобы найти эти коэффициенты, необходимо освободиться от знаменателей и, получив равенство двух многочленов, воспользоваться методом неопределенных коэффициентов.
Другой способ определения коэффициентов основан на подстановке значений переменной . Подставляя в равенство, полученное из равенства (1) после освобождения от знаменателей, вместо любое число, придем к линейному уравнению относительно искомых коэффициентов. Путем подстановки необходимого количества таких частных значений переменной получим систему уравнений для отыскания коэффициентов. В качестве частных значений переменной удобнее всего выбирать корни знаменателя (как действительные, так и комплексные). При этом почти все члены в правой части равенства (имеется в виду равенство двух многочленов) обращаются в нуль, что позволяет легко находить оставшиеся коэффициенты. При подстановке комплексных значений следует иметь в виду, что два комплексных числа равны тогда и только тогда, когда равны соответственно их действительные и мнимые части. Поэтому из каждого равенства, содержащего комплексные числа, получаются два уравнения.
После нахождения неопределенных коэффициентов остается вычислить интегралы от полученных простейших дробей. Так как при интегрировании простейших дробей получаются, как мы видели, лишь рациональные функции, арктангенсы и логарифмы, то интеграл от любой рациональной функции выражается через рациональную функцию, арктангенсы и логарифмы.
Пример 3. Вычислим интеграл от правильной рациональной дроби .
Решение. Разложим знаменатель подынтегральной функции на множители:
Выпишем подынтегральную функцию и представим ее в виде суммы простейших дробей:
Освободившись в этом равенстве от знаменателей, получим:
 (2)
Для отыскания коэффициентов воспользуемся методом подстановки частных значений. Для нахождения коэффициента положим . Тогда из равенства (2) получим , откуда . Для отыскания коэффициента положим . Тогда из равенства (2) получим , откуда .
Итак, . Значит,
Пример 4. Вычислим .
Решение. Выпишем подынтегральную функцию и представим ее в виде суммы простейших дробей. В знаменателе содержится множитель , не имеющий действительных корней, ему соответствует дробь 2-го рода: множителю соответствует сумма двух дробей 1-го рода: ; наконец, множителю соответствует одна дробь 1-го рода . Таким образом, подынтегральную функцию мы представим в виде суммы четырех дробей:
 (3) Освободимся в этом равенстве от знаменателей. Получим:
 (4)
Знаменатель подынтегральной функции имеет два действительных корня: и . При подстановке в равенство (4) значения получаем , откуда находим . При подстановке получаем и соответственно определяем . Подстановка значения (корня многочлена ) позволяет перейти к равенству
Оно преобразуется к виду:
Решив систему двух уравнений с двумя переменными находим: .
Осталось определить значение коэффициента . Для этого в равенстве (4) раскроем скобки, приведем подобные члены, а затем сравним коэффициенты при . Получим:
 , то есть  .
Подставим найденные значения коэффициентов в равенство (3):
а затем перейдем к интегрированию:
Интегрирование неправильных дробей
Пусть нужно проинтегрировать функцию , где и — многочлены, причем степень многочлена больше или равна степени многочлена . В этом случае прежде всего необходимо выделить целую часть неправильной дроби , т. е. представить ее в виде
где — многочлен степени, равной разности степеней многочленов и , а — правильная дробь.
Тогда имеем .
Пример 5. Вычислим интеграл от неправильной дроби .
Решение. Имеем:
Для выделения целой части разделим на : 
Значит, 
Имеем: .
Для вычисления интеграла применяется, как и выше, метод неопределенных коэффициентов. После вычислений, которые мы оставляем читателю, получаем:
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|