Интеграл Ньютона-Лейбница
Пусть и множество не имеет изолированных точек. Функция называется первообразной (точной первообразной) функции на множестве , если и . В дальнейшем для всех функций считаем, что множество является промежутком из , содержащим более одной точки.
Если — первообразная функции на множестве , то функция также является первообразной для на множестве , поэтому первообразная определена неоднозначно и специального обозначения не имеет.
Составим таблицу первообразных для некоторых функций на области их определения, воспользовавшись таблицей производных.
Множество называется связным, если его любые две точки и можно соединить отрезком . В дальнейшем считаем, что множество содержится в области определения рассматриваемой функции и является связным множеством.
Теорема 1. Пусть . Если , то является постоянной на .
Теорема 2. Пусть и первообразные функции на множестве . Тогда существует такая постоянная , что .
Функция называется интегрируемой в смысле Ньютона-Лейбница на множестве , если она имеет первообразную на этом множестве. При этом 
Функция называется интегралом Ньютона-Лейбница с фиксированным нижним пределом интегрирования и переменным верхним пределом . Её значение в точке называется называется определённым интегралом Ньютона-Лейбница и обозначается , — переменная интегрирования, от выбора которой величина интеграла не зависит.
Теорема 3 (Формула Ньютона-Лейбница). Если функция интегрируема в смысле Ньютона-Лейбница на и — её первообразная, то интеграл существует, определён однозначно и имеет место формула Ньютона-Лейбница:
Теорема 4. Если функция интегрируема в смысле Ньютона-Лейбница, то выполняются равенства
– перестановка пределов интегрирования;
– аддитивность интеграла относительно его пределов;
– дифференцирование интеграла Ньютона-Лейбница по верхнему и нижнему пределах интегрирования.
Теорема 5 (линейность интеграла). Если функции и интегрируемы в смысле Ньютона-Лейбница на множестве , то функция также интегрируема на и выполняется равенство
Теорема 6 (замена переменной). Пусть и . Если дифференцируема в каждой точке , а функция интегрируема в смысле Ньютона-Лейбница, то функция также интегрируема и справедливо равенство
Теорема 7 (интегрирование по частям). Пусть функции и дифференцируемы в каждой точки множества и функция интегрируема в смысле Ньютона-Лейбница на . Тогда функция также интегрируема на и справедлива формула
которая называется формулой интегрирования по частям.
Методы интегрирования (нахождения первообразных) элементарных функций
1. Алгебраический многочлен интегрируется непосредственно по таблице первообразных:
2. Каждую правильную рациональную дробь , где — многочлены, можно представить в виде суммы простых дробей:
и, таким образом, интегрирование правильной рациональной дроби сводится к интегрированию четырёх типов элементарных дробей:
3. Остроградский М. предложил метод нахождение суммы рациональных слагаемых, которая называется рациональной частью первообразной правильной рациональной дроби . Пусть — НОД многочленов и , , и — многочлены с неопределёнными коэффициентами, каждый из которых имеет формально степень на единицу меньше степени многочленов и соответственно. Метод Отсроградского приводит к тождеству , которое сводит поиск первообразной функции к анологичной, но более простой задаче для функции .
4. Композицию отображений и рациональной функции назовём функцией, рациональной относительно синуса и косинуса. Её значение в каждой точке обозначим через . Замена переменной называется универсальной тригонометрической подстановкой. Поскольку
то универсальная подстановка приводит к интегрированию рациональной функции. Принимая во внимание, что , указанной подстановкой можно пользоваться на промежутках, не содержащих нулей функции , если речь идёт о нахождении точной первообразной.
5. В отдельных случаях, а именно, когда
применяют соответственно подстановки:
6. При интегрировании композиций отображений
и рациональной функции подстановка , где — общий знаменатель дробей , приводит к интегрированию рациональной функции.
7. При интегрировании дифференциальных биномов, то есть функций вида , П. Чебышев доказал, что только в трёх случаях первообразная может быть выражена через элементарные функции. Укажем эти случаи вместе с подстановками, приводящими к интегрированию рациональных функций:
1) , если . Здесь — общий знаменатель дробей и ;
2) , если . Здесь — знаменатель дроби ;
3) , если . Здесь — знаменатель дроби .
8. Композиция отображений и рациональной функции рационализируется с помощью подстановок Эйлера:
1) , если ;
2) , если ;
3) , где — действительный корень уравнения .
9. Иногда подстановок Эйлера, приводящих зачастую к сложным вычислениям, можно избежать. Так, для интеграла вида
где — многочлен степени , имеет место равенство
где — многочлен -ой степени с неопределёнными коэффициентами, — постоянная (тоже неопределённый коэффициент).
Дифференцируя это равенство, получим тождество
Приравнивая коэффициенты при одинаковых степенях , получим систему линейных алгебраических уравнений для нахождения неопределённых коэффициентов.
Функция называется первообразной в широком смысле функции на множестве , если непрерывна и имеет производную , равную во всех точках множества , за исключением не более счётной его части.
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|