Некоторые типы неопределённых интегралов
сводятся путём соответствующей замены к интегралам от рациональных функций. Рассмотрим
три таких случая.
Определение
2.1 Будем говорить,
что функция рациональным образом зависит от выражения
, если
можно представить в виде
где
-- рациональная функция от переменного
.
Например, функция
рациональным образом зависит от
, а функция
рациональным образом зависит от
.
Одночленом от двух переменных
и
назовём выражение вида
, где
, а показатели степени
и
-- целые неотрицательные числа. Многочленом от двух переменных
и
назовём сумму конечного числа одночленом от этих двух переменных. (Считаем, что
сумма может состоять и из одного слагаемого, так что каждый одночлен -- это
частный случай многочлена.)
Например,
,
,
-- многочлены от переменных
и
.
Рациональной функцией от двух переменных
и
назовём отношение двух многочленов от
и
:
где
и
-- многочлены от
и
.
Например, функции
--
рациональные функции от
и
.
Определение
2.2 Будем говорить,
что функция рациональным образом зависит от выражений
и
, если
можно представить в виде
где
-- рациональная функция от переменных
и
.
Например, функция
рациональным образом зависит от
и
, а функция
рациональным образом зависит от
и
: нужно взять
Теперь рассмотрим обещанные классы интегралов.
1. Интегралы
от функций, рациональным образом зависящих от экспоненты. Рассмотрим интегралы
вида
где
-- рациональная функция. Сделаем естественную замену
. Тогда
и
. Получаем:
где
. Заметим, что
-- это тоже рациональная функция, так как
-- тоже многочлен. Таким образом, мы свели дело к вычислению интеграла от
рациональной функции
, после нахождения которого нужно сделать замену
и получить ответ.
Пример
2.14 Найдём интеграл
Выполняя естественную замену
, получаем:
Подынтегральную дробь разложим в сумму простейших дробей. Разложение
будет иметь вид
Приводя правую часть равенства к общему знаменателю и приравнивая
числители, получаем:
При "удобном" значении
получаем
, откуда
При "удобном" значении
получаем
, откуда
Теперь приравниваем коэффициенты при одинаковых степенях
: при
получаем:
а при
--
или
Решая получившуюся систему уравнений
находим
,
. Значит, искомое разложение имеет вид
и
Упражнение
2.1 Запишите промежутки,
на которых кусочно постоянная функция
принимает постоянные значения. Сколько получается таких промежутков?
2. Интегралы от функций, рациональным образом зависящих от
и
.
Рассмотрим интегралы вида
где
-- рациональная функция от двух переменных
и
, а выражения
и
таковы:
,
, и
.
Такие интегралы приводятся к интегралам от рациональных функций одного переменного,
если сделать естественную замену
. Действительно, тогда
и
, а интеграл приводится к виду
где
Нетрудно заметить, что функция
рационально зависит от единственного своего аргумента
.
Заметим, что точно та же замена годится и в случае, когда подынтегральная
функция зависит рациональным образом только от
.
Пример 2.15
Вычислим интеграл
Подынтегральная функция рациональным образом зависит от
, поскольку её можно записать в виде
Сделаем замену
:
Получили интеграл от рациональной дроби
которая является неправильной дробью, поскольку степень её числителя, равная 7,
больше степени знаменателя, равной 1. Значит, нужно выделить в этой дроби целую
часть. Для этого разделим числитель на знаменатель "столбиком":
Получили частное
и остаток 2, значит, неправильная дробь представляется в виде
Теперь можно вычислить интеграл:
3. Интегралы от функций,
рациональным образом зависящих от
и .
Интегралы вида
где
-- функция, рациональным образом зависящая от
и
, можно привести к интегралу от рациональной функции от одного переменного
, если сделать так называемую "универсальную" замену
При этом
и
, откуда
С помощью этих формул исходный интеграл преобразуется к виду
где
Нетрудно заметить, что
-- рациональная функция одного переменного
.
Если имеет место частный случай рациональной зависимости от
и
, когда обе эти функции входят в выражение лишь в чётных степенях, то есть подынтегральная
функция имеет вид
то применять универсальную замену не обязательно: она, как правило,
будет приводить к слишком сложным интегралам; в этих случаях гораздо лучше применить
другую тригонометрическую замену:
В этом случае
и
, откуда
Пример
2.16 Вычислим интеграл
Выполняя замену
, получаем:
Если в том же интеграле сделать универсальную замену, то получаем:
Получили интеграл от рациональной функции переменного
. Однако вычисление этого интеграла представляется весьма трудоёмким, поскольку
непонятно даже, как искать разложение знаменателя на множители5.
Так что первая замена оказалась много лучше второй.
Замечание 2.5
Замена
годится также в случае интеграла
, в котором функция
рациональным образом зависит от
и
и обладает следующим свойством:
Тогда при замене нужно использовать формулы
Если же подынтегральная функция
зависит от своих аргументов несимметричным образом, то ничего не остаётся делать,
как применять не всегда приятную универсальную замену
.
Пример
2.17 Вычислим интеграл
Применяем универсальную замену:
В данном примере исходная подынтегральная функция была не столь уж сложна,
и универсальная замена сразу привела нас к табличному интегралу.