Замена переменной в неопределенном интеграле

Первообразная и неопределенный интеграл

Ниже в качестве берется любой из промежутков: (концы и могут быть бесконечными).

Определение 1. Говорят, что функция является первообразной для функции на множестве если Разыскание всех первообразных функции называется интегрированием

Например, функция является первообразной для на всей оси так как

Теорема 1 (об общем виде всех первообразных данной функции). Пусть фиксированная первообразная функции (на множестве). Тогда множество всех первообразных функции (на множестве) описывается формулой

где произвольная постоянная.

Доказательство вытекает из того, что если и две первообразные функции, то а, значит, разность является постоянной величиной на множестве, т.е.

Определение 2. Совокупность всех первообразных функции (на множестве) называется неопределенным интегралом на этой функции. Обозначение: При этом сама функция называется подынтегральной функцией и если интеграл от нее существует, то говорят, что интегрируема на.

Из теоремы 1 вытекает, что где фиксированная первообразная функции (на множестве), а произвольная постоянная. Отметим, что равенство равносильно равенству. Таким образом, для доказательства того, что некоторая функция является неопределенным интегралом от функции надо продифференцировать ее по если при этом будет получена подынтегральная функция, то равенство будет истинным. Используя этот факт, легко докажем следующие формулы.

Таблица неопределенных интегралов (ниже везде произвольная постоянная)

Докажем, например, формулу 10. Дифференцируем правую часть равенства 10 по:

Получена подынтегральная функция левой части 10. Значит, равенство 10 верно. Точно так же доказываются остальные формулы этой таблицы.

Свойства неопределенного интеграла (везде ниже предполагается, что интегралы от соответствующих функций существуют):

Свойство называют свойством линейности интеграла. Первые два свойства показывают, что операции дифференцирования и интегрирования взаимно обратны.

Немного позже будет установлено, что всякая непрерывная на промежутке функция интегрируема на этом промежутке.

Перейдем к формулировке теоремы о замене переменной в неопределенном интеграле, которая часто используется при вычислении интегралов. Здесь имеются в виду два утверждения[1]:

где функция, обратная к функции

Теорема 2. а) Пусть выполнены условия: 1) функция непрерывна в своей области определения б) функция непрерывно дифференцируема на множестве таком, что

Тогда для всех имеет место равенство

б) Пусть выполнены условия: 1) функция непрерывна в своей области определения

2) функции и непрерывны на множестве таком, что

3) 4) функция имеет на множестве обратную функциюТогда для всех имеет место равенство

Замечание 1. Преобразования в часто называют процедурой введения множителя под знак дифференциала. Формулу удобно применять в тех случаях, когда функция легче интегрируется, чем исходная функция Её применяют, например, при вычислении интегралов от иррациональностей вида (здесь рациональная функция). В первом случае делается замена во втором случае подбирают такую замену чтобы исчезла иррациональность. Например,

= Далее надо вернуться к старой переменной с помощью обратной функции и получить ответ:

3. Интегрирования по частям в неопределенном интеграле

При вычислении интегралов часто используется операция интегрирования по частям, законность которой регламентируется следующим утверждением.

Теорема 3. Пусть функции непрерывно дифференцируемы на множестве Тогда на этом множестве справедливо равенство

Доказательство вытекает из цепочки тождеств

Замечание 2. Операция интегрирования по частям применяется к интегралам вида

(многочлен степени).

При этом в интегралах типа 1 для получения дифференциала надо ввести под знак дифференциала трансцендентную функцию а в интегралах типа 2 под знак диффере-

нциала надо ввести многочлен Например,

Дата добавления: 2014-01-06