Первообразная

Первообра́зная для функции $f(x)$ (иногда называемая антипроизводной или примити́вной функцией) — это такая функция, производная которой равна $f(x)$. Это одно из важнейших понятий математического анализа вещественной переменной (существуют также обобщения этого понятия для комплексных функций).

Определение

Первообразной для данной функции $f(x)$ называют такую функцию $F(x)$, производная которой равна $f$ (на всей области определения $f$), то есть $F^{\prime }(x)=f(x)$. Нахождение первообразной является операцией, обратной дифференцированию — последнее по заданной функции находит её производную, а найдя первообразную, мы, наоборот, по заданной производной определили исходную функцию.

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

$\underset{a}{\overset{b}{\int }}f(x)dx=F(b)-F(a).$

Это соотношение называется формулой Ньютона — Лейбница.

Технически нахождение первообразной заключается в вычислении неопределённого интеграла для $f(x)$, а сам процесс называется интегрированием. О применении этой теории в геометрии см. Интегральное исчисление.

Пример: функция $F(x)=\frac{x^3}{3}$ является первообразной для $f(x)=x^2,$ потому что $F^{\prime }(x)=f(x).$

Неоднозначность

Поле направлений функции $F(x)=\frac{x^3}{3}-\frac{x^2}{2}-x+c$, показывающий три решения постоянной интегрирования Шаблон:Mvar.

Если $F$ — первообразная для $f$, то любая функция, полученная из $F$ добавлением константы: $G(x)=F(x)+C$ тоже является первообразной для $f$. Таким образом, если функция имеет первообразную, то она входит в целое семейство первообразных $F(x)+C,$ которое называется неопределённым интегралом $f(x)$ и записывается в виде интеграла без указания пределов:

$\int f(x)dx$

Верно и обратное: если $F$ — первообразная для $f$, и функция $f$ определена на каком-либо интервале, тогда каждая первообразная $G$ отличается от $F$ на константу: всегда существует число $C$, такое что $G(x)=F(x)+C$ для всех $x$. Графики таких первообразных смещены вертикально относительно друг друга, и их положение зависит от значения $C.$ Число $C$ называют постоянной интегрирования.

Например, семейство первообразных для функции $x^2$ имеет вид: $F(x)=\frac{x^3}{3}+C$, где $C$ — любое число.

Если область определения функции $f$ не является сплошным интервалом, то её первообразные не обязаны отличаться на константуШаблон:Sfn. Так, например, функция $\frac{1}{x^2}$ не существует в нуле, поэтому её область определения состоит из двух интервалов: $x>0$ и $x<0.$ Соответственно получаются два независимых семейства первообразных на этих интервалах: $-\frac{1}{x}+\hat{C}$, где $\hat{C}$ является константой при $x>0$ и, вообще говоря, другой константой при $x<0$:

$\hat{C}(x)=\{\begin{array}{c}{C}_1,\text{ если }x<0\\ C_2,\text{ если }x>0\end{array}$

Существование

Каждая непрерывная функция $f$ имеет первообразную $F$, одна из которых представляется в виде интеграла от $f$ с переменным верхним пределом:

$F(x)=\underset{a}{\overset{x}{\int }}f(t)dt.$

Также существуют не непрерывные (разрывные) функции, которые имеют первообразную. Например, $f(x)=2x\sin \frac{1}{x}-\cos \frac{1}{x}$ с $f(0)=0$ не непрерывна при $x=0$, но имеет первообразную $F(x)=x^2\sin \frac{1}{x}$ с $F(0)=0$. Для разрывных ограниченных функций вместо интеграла Римана удобно использовать более общий интеграл Лебега. Необходимыми условиями существования первообразной являются принадлежность функции $f$ первому классу Бэра и выполнение для неё свойства Дарбу.

Многие первообразные, даже несмотря на то, что они существуют, не могут быть выражены через элементарные функции (то есть через многочлены, экспоненциальные функции, логарифмы, тригонометрические функции, обратные тригонометрические функции и их комбинации). Например:

$\int e^{-x^2}dx,\int \frac{\sin (x)}{x}dx,\int \frac{1}{\ln x}dx$.

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

Свойства первообразной

• Первообразная суммы функций равна сумме первообразных для слагаемых.
• Первообразная произведения константы и функции равна произведению константы и первообразной функции.
• У всех функций, непрерывных на отрезке, существуют и первообразная, и интеграл по Риману. Однако в общем случае существование первообразной и интегрируемость функции не связаны:
  • Функция знака (sgn) интегрируема по Риману, но не имеет первообразной (из-за разрыва в нуле).
  • У функции $f(x)=x^2\sin \frac{1}{x^2}$ (положим также $f(0)=0$) на отрезке $[-1,1]$ имеется конечная производная $g(x);$ таким образом, у функции $g(x)$ существует первообразная (а именно, $f(x)$), но $g(x)$ не ограничена на $[-1,1]$ и поэтому не интегрируема по Риману.

Техника интегрирования

Шаблон:Main Шаблон:Also Нахождение первообразных значительно сложнее, чем нахождение производных. Для этого имеется несколько методов:

• линейность интегрирования позволяет разбивать сложные интегралы на части,
• интегрирование подстановкой, часто применяемое вместе с тригонометрическими тождествами или натуральным логарифмом,
• интегрирование по частям для операций с произведениями функций,
• метод обратной цепочки, особый случай интегрирования по частям,
• метод интегрирования рациональных дробей позволяет интегрировать любые рациональные функции (дроби с полиномами в числителе и знаменателе),
• алгоритм Риша — алгоритм для интегрирования любых элементарных функций,
• некоторые интегралы можно найти в таблицах, см. Категория:Списки интегралов,
• при многократном интегрировании можно использовать дополнительную технику, для примера см. двойной интеграл и полярные координаты, Якобиан и теорема Стокса,
• Системы компьютерной алгебры помогают автоматизировать некоторые вышеприведённые символьные операции (в частности алгоритм Риша), что очень удобно, когда алгебраические вычисления становятся слишком громоздкими.

Литература

• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Книга

Ссылки

• Wolfram Integrator — вычисление интегралов онлайн с помощью системы Mathematica
• Mathematical Assistant on Web — символьные вычисления онлайн Шаблон:Wayback
• Онлайн Калькулятор Интегралов Шаблон:Wayback