§ 5.7. Интегрирование иррациональных функций
Рассмотрим случаи, когда заменой
переменной можно свести интегрирование нерациональных функций к интегрированию
рациональных функций (т. е., как говорят, рационализировать интеграл).
Пусть
- рациональная функция своих
аргументов
и
, т. е.
над
и
совершаются только
арифметические операции, чтобы получить
. Например,
- рациональная функция, а
- не является рациональной.
I. В ы ч
и с л и т ь
,
где
-
постоянные числа,
-натуральное
число,
,
- рациональная
функция.
Функцию вида
называют дробно-линейной
иррациональностью.
Покажем, что замена
рационализирует
интеграл. В самом деле,
, откуда
- рациональная функция от
. Далее,
.
Поэтому
,
где
- рациональная функция по
, интегрировать
которую мы умеем.
П р и м е р 1. Вычислить
. Здесь
. Полагая
, получим
,
,
. Таким образом,
.
П р и м е р 2.
.
II. Вычислить
, где
- постоянные числа.
Функцию
будем
называть квадратичной иррациональностью.
Если трехчлен
имеет
действительные корни
,
, то
и
и дело сводится к случаю 1.
Поэтому будем считать, что
не имеет
действительных корней и
. Тогда рационализация интеграла может
быть достигнута с помощью подстановки Эйлера:
.
Отсюда
, т. е.
- рациональная функция от
. Но тогда
- также рациональная функция от
. Поэтому
.
З а м е ч а н и е. Если
, а
, то можно сделать замену
.
П р и м е р 3. Вычислить
. Бином
не имеет
действительных корней. Поэтому полагаем
и
.
Отсюда
.
В силу этого
.
III. И н
т е г р и р о в а н и е в ы р а ж е н и й
. Рационализация
достигается с помощью подстановки
, которая
называется универсальной. В самом деле
,
,
поэтому
.
Если функция
обладает свойствами четности
или нечетности по переменным
или
, то могут употребляться и другие
подстановки, также рационализирующие интеграл.
Пусть
,
где
и
- многочлены от
и
.
1) Если один из многочленов
,
четный по
, а другой –
нечетный по
,
то подстановка
рационализирует
интеграл.
2) Если один из многочленов
,
четный по
, а другой –
нечетный по
,
то подстановка
рационализирует
интеграл.
3) Если
и
: а) оба не изменяются при
замене
соответственно
на
или б)
оба меняют знак, то интеграл рационализируется подстановкой
(или
).
П р и м е р ы:
.
.
.
.
В данном случае
, т. е.
числитель нечетный относительно
, а знаменатель четный по
, и мы имеем дело со
случаем
.
.
Здесь числитель
, а знаменатель
. Оба не меняются
при замене
соответственно
на
, т. е.
мы имеем дело со случаем
.