Дадим теперь такое название
множеству всех первообразных данной функции:
Определение
1.1 Пусть
-- функция, заданная на объединении интервалов вещественной оси. Набор всех
первообразных для
называется неопределённым интегралом от
и обозначается
. Операция нахождения неопределённого интеграла по заданной функции
называется интегрированием этой функции; найти неопределённый
интеграл означает проинтегрировать данную функцию. Функция
, записанная после знака интеграла (или, как часто говорят, под
знаком интеграла), называется подынтегральной функцией.
Согласно доказанным выше теоремам о виде
первообразных, неопределённый интеграл от функции
состоит из функций вида
, где
-- какая-либо фиксированная первообразная для
, а
-- величина, постоянная на каждом из непересекающихся интервалов, на которых
задана функция
. Поэтому можно написать такую формулу:
(Точнее было бы
, но фигурные скобки, обозначающие множество всех функций вида
, писать в данной ситуации не принято.)
Итак, для того чтобы доказать равенство
, достаточно проверить, что
-- первообразная для
, то есть что
. Поэтому таблица неопределённых интегралов для многих часто встречающихся функций
сразу следует из таблицы производных, которую мы получили в первом семестре.
1) Поскольку
, то при
и
, если взять
. Поэтому при
В частности, получаем при
(заметим, что
):
при
(тогда
):
при
:
при
(тогда
):
(заметим, что здесь
-- кусочно постоянная величина, принимающая постоянные значения
при
и
при
), при
(тогда
):
при
(тогда
):
при
(тогда
):
(здесь
-- кусочно постоянная, поскольку подынтегральная функция задана на объединении
двух интервалов
), и т. п.
2) Пусть
. Тогда
не задаётся формулой предыдущего пункта. Однако, согласно таблице производных,
при
мы имеем
, следовательно,
-- первообразная для
на интервале
. Проверим, что при
функция
-- первообразная для
на интервале
. Действительно, по правилу дифференцирования сложной функции получаем
Итак, на объединении интервалов
) функция
служит первообразной для
, то есть
(здесь
-- кусочно постоянная величина).
3) Поскольку, согласно таблице производных,
при
то
В частности, при
получаем:
4) Поскольку
, получаем
5) Поскольку
, получаем
6) Так как
, то
(здесь
-- кусочно постоянная функция; см. пример в замечании
1.1).
7) Аналогично, поскольку
, получаем
(здесь
-- кусочно постоянная функция на интервалах вида
, где
).
8) Табличная формула
означает, что
-- первообразная для
на интервале
. Значит,
Заметим, что в соответствии с примером
1.3 мы можем также написать:
(Значения
в двух последних формулах означают разные постоянные.)
Докажем также
обобщение полученной формулы: если
, то на интервале
имеем
Для доказательства достаточно показать, что производная правой части
равна подынтегральной функции:
Разумеется, верна и формула
9) Из табличной формулы
(при
) получаем, что
Поскольку
при любом
, то функция
так же, как и
, служит первообразной для
. Значит, мы можем также написать
(с другим, однако, значением постоянной
, нежели в предыдущей формуле).
Докажем также следующее обобщение полученной
формулы: если
, то
Для доказательства найдём производную правой части:
Получили подынтегральную функцию, что и доказывает формулу.
где
-- произвольное постоянное число. (Заметим, что при
формула имеет смысл для всех
, а при
-- для
, так что во втором случае величина
-- кусочно постоянная.) Для доказательства надо рассмотреть два случая:
(при
возможен только этот случай; это неравенство имеет место также при
и
) и
(при
и
; поскольку
, случай равенства нулю невозможен). В первом случае имеем:
Поскольку получили подынтегральную функцию, формула в этом случае доказана.
Второй случай, когда
, рассматривается аналогично.
Заметим, что функцию в правой части формулы (1.1)
часто называют кдлинным логарифмом", в отличие от правой
части формулы следующего пункта, тоже содержащей логарифм.