Свойство 1. Производная от неопределенного интеграла равна подынтегральной функции; дифференциал от неопределенного интеграла равен подынтегральному выражению:
и
.
Доказательство.
;
.
Свойство 2. Неопределенный интеграл от дифференциала функции равен этой функции плюс произвольная постоянная:
.
Доказательство.
.
Свойство 3. Постоянный множитель можно выносить за знак интеграла:
.
Доказательство. Прежде всего подчеркнем, что данное равенство имеет условный характер: его следует понимать как равенство правой и левой частей с точностью до произвольного постоянного слагаемого, поскольку каждый из интегралов определен с точностью до произвольного постоянного слагаемого.
Действительно, пусть – первообразная для функции
, т.е.
. Тогда
– первообразная для функции
, так как
. Отсюда следует, что
,
где – произвольная постоянная.
Свойство 4. Неопределенный интеграл от алгебраической суммы функций равен алгебраической сумме неопределенных интегралов от этих функций:
.
Доказательство. Данное равенство (как и в предыдущем свойстве) следует понимать как равенство правой и левой частей с точностью до произвольного постоянного слагаемого, поскольку каждый из интегралов определен с точностью до произвольного постоянного слагаемого.
Действительно, пусть и
– первообразные для функций
и
соответственно, т.е.
. Тогда функция
является первообразной для функции
, так как
.
Следовательно,
где – произвольная постоянная.
Отметим, что данное свойство справедливо для любого конечного числа слагаемых функций.
Таблица основных интегралов
Приведем таблицу основных интегралов, которая непосредственно следует из определения интегрирования как операции, обратной дифференцированию, и таблицы производных. Справедливость всех формул легко проверить дифференцированием первообразных. Интегралы, содержащиеся в этой (или подобной ей) таблице, принято называть табличными.
Таблица интегралов в силу инвариантности формы дифференциала функции оказывается справедливой независимо от того, является ли переменная интегрирования независимой переменной
или любой её дифференцируемой функцией (
).
1. .
2. .
3. .
4. .
5. .
6. .
7. .
8. .
9. .
10. .
11. .
12. .
13. .
14. .
15. .
16. .
Отметим, что если операция дифференцирования элементарных функций снова приводит к элементарным функциям, то операция интегрирования уже может привести к неэлементарным функциям, т.е. функциям, которые не выражаются через конечное число арифметических операций и суперпозиций элементарных функций.
Например, доказано, что следующие интегралы хотя и существуют, но не являются элементарными функциями:
– интеграл Пуассона;
– интегральный логарифм;
– интегралы Френеля.