Конспекты по ТОЭ | Лабораторные работы | Основы ТОЭ | Электрические цепи | Функции | Производные | Матрицы | Алгебра | Первообразная | Интегралы | Геометрия | Комплексные числа | Задачи Баланс мощностей | Постоянного тока | На главную

Интегралы Определение первообразной и её свойства

 

  Замечание 1.1   Заметим, что если равенства $ F'(x)=f(x)$ и $ G'(x)=f(x)$ выполнены для функций $ F$ и $ G$ не на одном интервале $ (a;b)$ , а на двух или больше непересекающихся интервалах $ (a_k;b_k)$ , $ k=1,2,\dots$ , то мы можем лишь утверждать, что, согласно доказанной теореме, $ G(x)=F(x)+C_k$ , где постоянные $ C_k$ могут быть разными для разных интервалов $ (a_k;b_k)$ . С другой стороны, очевидно, что при любых $ C_k$ функция $ G(x)=F(x)+C_k$ даёт ту же производную, что и $ F(x)$ , в любой точке $ x$ объединения интервалов.

Например, поскольку $ (\mathop{\rm tg}\nolimits x)'=\frac{1}{\cos^2x}$ при всех $ x\ne\frac{\pi}{2}+k\pi$ , где $ k\in\mathbb{Z}$ (то есть функция $ \mathop{\rm tg}\nolimits x$  -- это первообразная для функции $ \frac{1}{\cos^2x}$ на каждом из непересекающихся интервалов $ \bigl(-\frac{\pi}{2}+k\pi;\frac{\pi}{2}+k\pi\bigr)$ области определения тангенса $ \mathcal{D}(\mathop{\rm tg}\nolimits )$ ), то при любых постоянных $ C_k$ функция $ G$ , заданная на объединении всех этих интервалов равенством

$\displaystyle G(x)=\mathop{\rm tg}\nolimits x+C_k$ при $\displaystyle x\in
\bigl(-\frac{\pi}{2}+k\pi;\frac{\pi}{2}+k\pi\bigr),\ k\in\mathbb{Z},$

будет давать $ G'(x)=\frac{1}{\cos^2x}$ . Эту функцию можно назвать первообразной для $ f(x)=\frac{1}{\cos^2x}$ с тем же правом, что и функцию $ F(x)=\mathop{\rm tg}\nolimits x$ . Заметим, что мы не можем утверждать, что $ G(x)=F(x)+\mathrm{const}$ в этом случае: $ C=C(x)=C_k$  -- это не постоянная, а кусочно постоянная на интервалах области определения тангенса функция. Итак, утверждение, что первообразная для $ \frac{1}{\cos^2x}$ имеет вид $ \mathop{\rm tg}\nolimits x+C$ , нужно правильно понимать: либо имеется в виду, что при этом $ x$ изменяется лишь в пределах только одного из интервалов непрерывности тангенса, либо что $ C=C(x)$  -- кусочно постоянная на объединении этих интервалов функция.

Аналогично обстоит дело и в случае других функций, имеющих в качестве области определения объединение непересекающихся интервалов. Например, поскольку при всех $ x\ne0$ имеет место равенство

 

$\displaystyle \Bigl(-\frac{1}{x}\Bigr)'=\frac{1}{x^2},$

то на объединении двух интервалов $ (-\infty;0)\cup(0;+\infty)$ первообразной для $ f(x)=\frac{1}{x^2}$ будет служить
вольные постоянные.     

 

Главы учебника "Высшая математика в примерах и задачах"

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

Нахождение неопределённых интегралов

 

;