Дифференциальным биномом называют выражение вида
где a и b – любые константы, а показатели степеней m, n и p – рациональные числа. Изучим вопрос об интегрируемости в элементарных функциях дифференциальных биномов.
Рассмотрим три случая , когда интеграл от дифференциального бинома допускает рационализирующую подстановку.
1. Первый случай соответствует целому p. Дифференциальный бином представляет собой дробно-линейную иррациональность вида , где r – наименьшее общее кратное знаменателей рациональных чисел m и n. Стало быть, интеграл от дифференциального бинома в этом случае рационализируется подстановкой
.
2.Второму случаю соответствует целое число . Сделаем подстановку
и положим для краткости
, получим
Подынтегральная функция в правой части является дробно-линейной иррациональностью следующего вида вида , где s – знаменатель рационального числа p.
Таким образом, для второго случая дифференциальный бином рационализируется подстановкой
3. Третьему случаю соответствует целому число . Подынтегральная функция в правой части является дробно-линиейной иррациональностью вида
, так что интеграл от дифференциального бинома рационализируется подстановкой вида
В середине 19-го века П.Л.Чебышев доказал, что указанными выше тремя случаями исчерпываются все случаи, когда дифференциальный бином интегрируется в элементарных функциях. (Мемуар 1853 года «Об интегрировании иррациональных дифференциалов»).
Примеры
1)Вычислить интеграл . Здесь
. Так как p – целое, значит используем подстановку из первого случая
подставим:
2) Вычислить интеграл . Здесь
. Так как
– целое (второй случай).
подставим:
,
3) Вычислить интеграл . Графиком подынтегральной функции будет:
В данном случае , так что
(второй случай). Сделав подстановку
будем иметь
4) Вычислить интеграл . Здесь
, так что
(третий случай) Сделав подстановку
будем иметь