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

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

Определение

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

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

$\int \limits _{a}^{b}f(x)\,dx=F(b)-F(a).$

Это соотношение называется формулой Ньютона — Лейбница. Благодаря этой связи семейство первообразных для данной функции $f(x)$ называют неопределённым интегралом $f$ и записывают в виде интеграла без указания пределов:

$\int f(x)\,dx$

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

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

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

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

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

${\hat {C}}(x)=\left\{{\begin{aligned}C_{1},{\text{ если }}x<0\\C_{2},{\text{ если }}x>0\end{aligned}}\right.$

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

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

$F(x)=\int \limits _{a}^{x}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,\qquad \int {\frac {\sin(x)}{x}}\,dx,\qquad \int {\frac {1}{\ln x}}\,dx$.

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

• Первообразная суммы равна сумме первообразных.
• Первообразная произведения константы и функции равна произведению константы и первообразной функции.

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

Основная статья: Методы интегрирования

См. также: Список интегралов элементарных функций

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

• линейность интегрирования позволяет разбивать сложные интегралы на части,
• интегрирование через подстановку, часто применяемое вместе с тригонометрическими тождествами или натуральным логарифмом,
• интегрирование по частям для операций с произведениями функций,
• метод обратной цепочки, особый случай интегрирования по частям,
• метод интегрирования рациональных дробей позволяет интегрировать любые рациональные функции (дроби с полиномами в числителе и знаменателе),
• алгоритм Риша - алгоритм для интегрирования любых элементарных функций,
• некоторые интегралы можно найти в таблице интегралов,
• при многократном интегрировании можно использовать дополнительную технику, для примера см. двойной интеграл и полярные координаты, Якобиан и теорема Стокса,
• Системы компьютерной алгебры помогают автоматизировать некоторые вышеприведённые символьные операции (в частности алгоритм Риша), что очень удобно, когда алгебраические вычисления становятся слишком громоздкими,
• если функция не имеет элементарной первообразной (как, например, $\exp \left(-x^{2}\right)$), её интеграл может быть вычислен приближённо с помощью численного интегрирования.

Литература

• Выгодский М. Я. Справочник по высшей математике. — 12-е изд.. — М.: Наука, 1977. — 872 с.
• Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления в трёх томах. — Изд. 6-е. — М.: Наука, 1966. — Т. 2. — 800 с.
• Шибинский В. М. Примеры и контрпримеры в курсе математического анализа. Учебное пособие. — М.: Высшая школа, 2007. — 543 с. — ISBN 978-5-06-005774-4.

Ссылки

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