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

Определение первообразной

Для начала, дадим определение понятиям, которые будут использоваться в данном разделе. В первую очередь это первообразная функции. Для этого введем константу $C$.

Следует учитывать тот факт, что производная от константы $C$ будет равна нулю, что позволяет нам считать верным следующее равенство ${\left(F\left(x\right)+C\right)}^{\text{'}}=f\left(x\right)$.

Получается, что функция $f\left(x\right)$ имеет множество первообразных $F\left(x\right)+C$, для произвольной константы $C$. Эти первообразные отличаются друг от друга на произвольную постоянную величину.

Определение неопределенного интеграла

Все множество первообразных функции $f\left(x\right)$ можно назвать неопределенным интегралом этой функции. С учетом этого формула будет иметь вид $\int f\left(x\right)dx=F\left(x\right)+C$. При этом, выражение $f\left(x\right)dx$ является подынтегральным выражением, а $f\left(x\right)$ – это подынтегральная функция. Подынтегральное выражение представляет собой дифференциал функции $f\left(x\right)$.

Имея заданный дифференциал функции, мы можем найти неизвестную функцию.

Результатом неопределенного интегрирования будет не одна функция $F\left(x\right)$, а множество ее первообразных $F\left(x\right)+C$.

• Зная свойства производной, мы можем сформулировать и доказать свойства неопределенного интеграла (свойства первообразной).

${\left(\int f\left(x\right)dx\right)}^{\text{'}}={\left(F\left(x\right)+C\right)}^{\text{'}}=f\left(x\right)$

• Производная результата интегрирования равна подынтегральной функции.

$\int d\left(F\right(x\left)\right)=\int F\text{'}\left(x\right)dx=\int f\left(x\right)dx=F\left(x\right)+C$

• Неопределенный интеграл дифференциала функции равен сумме самой функции и произвольной константы.

$\int k·f\left(x\right)dx=k·\int f\left(x\right)dx$, где $k$ – произвольная константа. Коэффициент можно выносить за знак неопределенного интеграла.

• Неопределенный интеграл суммы/разности функций равен сумме/разности неопределенных интегралов функций.

$\int \left(f\left(x\right)\pm g\left(x\right))dx=\int f(x)dx\pm \int g(x)dx\right)$

Промежуточные равенства первого и второго свойств неопределенного интеграла мы привели в качестве пояснения.

Для того, чтобы доказать третье и четвертое свойства, необходимо найти производные от правых частей равенств:

$$\begin{gathered} {\left(k·\int f\left(x\right)dx\right)}^{\text{'}}=k·{\left(\int d\left(x\right)dx\right)}^{\text{'}}=k·f\left(x\right) \\ {\left(\int f\left(x\right)dx\pm \int g\left(x\right)dx\right)}^{\text{'}}={\left(\int f\left(x\right)dx\right)}^{\text{'}}\pm {\left(\int g\left(x\right)dx\right)}^{\text{'}}=f\left(x\right)\pm g\left(x\right) \end{gathered}$$

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

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

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

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

Рассмотрим пример.

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

Подробнее эту тему мы рассмотрим в следующем разделе  «Таблица первообразных (таблица неопределенных интегралов)».