Линейность неопределенного интеграла
Опр: Функция F(x) называется первообразной функции f(x) на промежутке I,
если
. В конце промежутка, если он принадлежит I,
производная односторонняя. Если не оговорено обратное, то функции
считаются комплекснозначными.
Опр:
Неопределенным интегралом функции f(x)
на промежутке I называется совокупность
всех ее первообразных, обозначается как
f(x)dx
. Если F(x)-
фиксированная первообразная, то
f(x)dx=F(x)+C
Из определения вытекает, что и
(f(x)dx)'=f(x).
Второе равенство понимаем так: Производная любой из функций,
составляющих неопределённый интеграл, даёт один и тот же результат,
равный подынтегральной функции (это определение первообразной). Из
двух написанных равенств получаем взаимную обратность
дифференцирования и интегрирования.
Имеет место равенство:
,где
k- произвольная const.
Док-во: Обозначим F(x)-первообразная
от f(x),
G(x)-первообразная
для kf(x).Тогда
из равенства следует
,
где C- const.Равенство
верно, тк производные левой и правой частей одинаковы:
,
G(x)-
первообразная для kf(x),
=kf(x),
постоянный множитель вынесли за знак производной.
Итак, постоянный множитель можно вынести за знак интеграла.
Интеграл от суммы равен сумме
интегралов:
Пусть первообразная для f(x) равна F(x),
для g(x) равна G(x) ,
для f(x)+g(x) равна H(x) .
Тогда равенство означает, что H’(x)=F(x)+G(x)+C, где С=const .
Тк H'(x)=f(x)+g(x) и (F(x)+G(x)+C)'=F'(x)+G'(x)=f(x)+g(x), => равенство верно; воспользовались тем, что производная суммы равна сумме производных.
Свойства
2 и 3 называются свойствами линейности неопределённого интеграла. Из
них следует, что для любых постоянных
и
и
Интегрирование по частям.
Пусть U(x) и V(x) дифференцируемы на промежутке I.
Тогда
.
(Интегрирование по частям.)
Если существует один из интегралов, то существует и второй. И равенство имеет место.
Док-во:
,
чтд
Интегрирование подстановкой. (Замена переменной в неопр.интеграле)
ТОЛЬКО для действительных функций!!!
Пусть
на промежутке I. Далее, пусть х=
(t)
– дифференцируемая функция на промежутке I,
причем
(I)
I. Тогда
.
Док-во:
F’(x)=(x),
x
.
По производной сложной функции:
чтд