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