Функция, имеющая первообразную
Функция, имеющая первообразную — функция, которая может быть получена в результате дифференцирования некоторой функции. Обычно термин употребляется по отношению к вещественнозначным функциям одного вещественного переменного, определённых на промежутке. Именно о таких функциях пойдёт речь далее в статье.
Определение
Пусть [math]\displaystyle{ f:X\rightarrow \mathbb{R} }[/math], где [math]\displaystyle{ X\in \mathbb{R} }[/math] — нетривиальный промежуток (то есть не пустое множество и не точка). Функция [math]\displaystyle{ F:X\rightarrow \mathbb{R} }[/math] называется первообразной [math]\displaystyle{ f }[/math], если [math]\displaystyle{ F' = f }[/math]. Если такая функция [math]\displaystyle{ F }[/math] существует, то говорят, что [math]\displaystyle{ f }[/math] имеет первообразную.
Примеры
Любая непрерывная функция имеет первообразную. Это следует из свойств интеграла Римана с верхним переменным пределом. Используя его можно легко восстановить первообразную. Однако не все функции, имеющие первообразную, непрерывны. Именно такие функции представляют интерес.
Пример 1. Ограниченная функция с одним разрывом
Самым известным примером разрывно-дифференцируемой функции является следующая:
- [math]\displaystyle{ G(x)=\begin{cases} x^2 \sin \dfrac{1}{x},& x \neq 0; \\ 0, & x = 0. \end{cases} }[/math]
Производную этой функции во всех точках кроме нуля можно посчитать по обычным правилам дифференцирования. Производную же в нуле придётся считать по определению:
- [math]\displaystyle{ g(0) = \lim_{x \to 0} \dfrac{x^2\sin\dfrac{1}{x}-0}x = \lim_{x \to 0} x\sin\dfrac{1}{x} = 0 }[/math]
Её производная получается:
- [math]\displaystyle{ g(x)=\begin{cases} 2x \sin \dfrac{1}{x}-\cos\dfrac{1}{x},& x \neq 0; \\ 0, & x = 0. \end{cases} }[/math][1]
Можно легко проверить, что в нуле у этой функции не существует предела. Действительно, составим две стремящиеся к нулю последовательности [math]\displaystyle{ \{y_n\} }[/math] и [math]\displaystyle{ \{x_n\} }[/math] так, чтобы они обнуляли синус, но [math]\displaystyle{ \cos y_n = 1 }[/math], а [math]\displaystyle{ \cos z_n = -1 }[/math]. Тогда:
- [math]\displaystyle{ \lim_{n \to \infty}g(y_n) = \lim_{n \to \infty} \left(2y_n \sin \dfrac{1}{y_n}-\cos\dfrac{1}{y_n}\right) = \lim_{n \to \infty} (0 - 1) = -1 }[/math]
- [math]\displaystyle{ \lim_{n \to \infty}g(z_n) = \lim_{n \to \infty} \left(2z_n \sin \dfrac{1}{z_n}-\cos\dfrac{1}{z_n}\right) = \lim_{n \to \infty} (0 + 1) = 1 }[/math]
Таким образом, предел в [math]\displaystyle{ 0 }[/math] не существует и функция в нём разрывается.
Теперь докажем ограниченность. Пусть [math]\displaystyle{ x\in(-1;1) }[/math]. Тогда:
- [math]\displaystyle{ \left|2x \sin \dfrac{1}{x}-\cos\dfrac{1}{x}\right| \leq 2|x| \left| \sin \dfrac{1}{x} \right| + \left|\cos\dfrac{1}{x}\right|\leq 2+1=3 }[/math]
Таким образом на [math]\displaystyle{ [-1;1] }[/math] функция ограничена. Найдём предел при стремлении аргумента к бесконечности.
- [math]\displaystyle{ \lim_{x\to \infty}\left( 2x \sin \dfrac{1}{x}-\cos\dfrac{1}{x} \right) = \lim_{x\to \infty} \left(2x \sin \dfrac{1}{x}\right)- \lim_{x\to \infty} \cos\dfrac{1}{x} = 2-1=1 }[/math]
Предел в бесконечности конечен, а значит, функция ограничена в некоторой окрестности бесконечности [math]\displaystyle{ (-\infty;-a) \cup (a;+\infty) }[/math] ([math]\displaystyle{ a }[/math] возьмём больше [math]\displaystyle{ 1 }[/math]). На отрезках [math]\displaystyle{ [-a;-1] }[/math] и [math]\displaystyle{ [a;1] }[/math] функция непрерывна, а функция, непрерывная на отрезке, ограничена на нём. Объединение всех этих множеств составляет всю числовую прямую и мы доказали, что функция ограничена на каждом из них в отдельности, а так как их конечное число, то она будет ограничена и на всей числовой прямой (максимум из мажорант на каждом множестве даст мажоранту на всей прямой).
Пример 2. Функция с одним разрывом, неограниченная в его окрестности
Модифицируем предыдущий пример, чтобы получить неограниченную функцию.
- [math]\displaystyle{ H(x)=\begin{cases} x^2 \sin \dfrac{1}{x^2},& x \neq 0; \\ 0, & x = 0. \end{cases} }[/math]
Аналогично считается её производная.
- [math]\displaystyle{ h(0) = \lim_{x \to 0} \dfrac{x^2\sin\dfrac{1}{x^2}-0}x = \lim_{x \to 0} x\sin\dfrac{1}{x^2} = 0 }[/math]
- [math]\displaystyle{ h(x)=\begin{cases} 2x\sin \dfrac{1}{x^2}-\dfrac{2}{x}\cos\dfrac{1}{x^2},& x \neq 0; \\ 0, & x = 0. \end{cases} }[/math][2]
Разрывность в нуле докажем иначе. Берём стремящуюся к нулю последовательность [math]\displaystyle{ \{y_n\} }[/math] так, чтобы она обнуляла синус, но [math]\displaystyle{ \cos y_n = 1 }[/math]. Тогда:
- [math]\displaystyle{ \lim_{n \to \infty}h(y_n) = \lim_{n \to \infty} \left(2y_n \sin \dfrac{1}{y_n^2}-\dfrac{2}{y_n}\cos\dfrac{1}{y_n^2}\right) = \lim_{n \to \infty} \left(0 - \frac{2}{y_n}\right) = \infty }[/math]
Это автоматически доказывает также неограниченность функции в окрестности нуля.
Интересен также факт, что в точке [math]\displaystyle{ 0 }[/math] у функции существенный разрыв, а не бесконечный. Для проверки этого достаточно взять последовательность такую, чтобы она обнуляла косинус, а синус превращала в единицу. Нетрудно посчитать, что предел функции в таком случае [math]\displaystyle{ 0 }[/math]. Две последовательности дали разный предел, а значит, предела не существует.
Пример 3. Функция со счётным множеством точек разрыва
Построить функцию с двумя, трёмя, четырьмя, пятью, любым конечным количеством точек разрыва нетрудно: достаточно просто сложить нужное количество функций с одной точкой разрыва. Первообразной для них тогда будет сумма их первообразных. Например, функция с трёмя точками разрыва:
- [math]\displaystyle{ g(x)+g(x-1)+g(x-2) }[/math], где [math]\displaystyle{ g }[/math] — функция примера 1.
Логично предположить, что для получения функции со счётным множеством точек разрыва нужно сложить ряд из таких функций. Однако здесь возникает трудность: ряд может не сходиться. Для получения требуемой функции нужно каким-то образом обеспечить сходимость этого ряда. Мало того, не факт, что после этого сумма этого ряда будет производной суммы ряда из первообразных. Всё это требует дополнительного анализа.
Возьмём некоторую последовательность [math]\displaystyle{ a_n }[/math] и некоторый положительный сходящийся числовой ряд [math]\displaystyle{ b_n }[/math]. Тогда ряд
- [math]\displaystyle{ \sum_{n=1}^\infty b_ng(x-a_n) }[/math]
равномерно сходится по признаку Вейерштраcса (функция [math]\displaystyle{ g }[/math], как мы помним, ограничена). Ряд из первообразных
- [math]\displaystyle{ \sum_{n=1}^\infty b_nG(x-a_n) }[/math]
сходится поточечно. Можно применить теорему о почленном дифференцировании ряда.
Непрерывность во всех точках, кроме точек последовательности [math]\displaystyle{ a_n }[/math], следует из свойств равномерно сходящихся рядов. Разрывность же в целых неотрицательных следует из следующего соображения. Для каждого такого числа можно выкинуть слагаемое, разрывное в нём. Оставшиеся слагаемые непрерывны и их сумма также непрерывна. Сумма же разрывной и непрерывной в точке функции разрывна.[3]
На графике изображена такая функция для последовательности рациональных чисел и геометрической прогрессии в качестве ряда.
Свойства
- Для любой функции, имеющей первообразную, выполняется свойство промежуточного значения: пусть в область определения входят точки [math]\displaystyle{ x_1 }[/math] и [math]\displaystyle{ x_2 }[/math]. Тогда
- [math]\displaystyle{ \forall \eta \in (f(x_1),f(x_2)) \ \exists \xi \in (x_1,x_2):f(\xi)=\eta }[/math][4]
- Все точки разрыва (точки, в которых функция определена, но не непрерывна) являются существенными.[5]
- Односторонний предел в точке области определения не может быть бесконечным. Если точка является точкой разрыва, то хотя бы один из односторонних пределов не существует.
- Двусторонние, левые, правые множества неопределённости для любой точки области определения являются отрезком расширенной числовой прямой. Отрезки могут быть любыми, кроме одноточечных, содержащих только бесконечности. Правые и левые множества неопределённости могут не совпадать.
- Если область определения функции интервал или полуинтервал, то у неё есть предельная точка, не входящая в область определения. Предел в такой точке уже может быть бесконечным. Множество неопределённости такой точки также отрезок расширенной числовой прямой, но на этот раз одноточечные отрезки с одной лишь бесконечностью допустимы.
- Значение в любой точке области определения всегда есть частичный предел с обеих сторон (если точка концевая, то с одной стороны).[6]
- Функции, имеющие первообразную, относятся к первому классу Бэра.[7]
- Множество точек разрыва функции, имеющей первообразную, является [math]\displaystyle{ G_\delta }[/math]-множеством первой категории Бэра. Более того, любое [math]\displaystyle{ G_\delta }[/math]-множество первой категории Бэра является множеством точек разрыва некоторой функции, имеющей первообразную.[8]
Интегрирование
Неопределённый интеграл
Неопределённый интеграл от функции это по определению множество всех её первообразных. Поэтому любая функция, имеющая первообразную, имеет и неопределённый интеграл.
Все первообразные функции отличаются на константу и любая функция, отличающаяся от некоторой первообразной на константу, также есть первообразная. Поэтому неопределённый интеграл есть множество, полученное прибавлением к некоторой первообразной всех возможных констант, то есть
- [math]\displaystyle{ \int f(x) \,dx = F(x) + C }[/math]
Для выполнения этого свойства играет большую роль то, что [math]\displaystyle{ f }[/math] определена на промежутке. Если в определении позволить области определения быть не промежутком, а объединением непересекающихся нетривиальных промежутков, то первообразные уже не будут обязаны отличаться на константу. На каждом из промежутков области определения разность между первообразными есть константа, однако на разных промежутках эти константы могут быть разными. То есть, пусть [math]\displaystyle{ f }[/math] определена на [math]\displaystyle{ X=X_1 \cup \ldots \cup X_n }[/math], где [math]\displaystyle{ X=X_1,\ldots, X_n }[/math] непересекающиеся нетривиальные промежутки, причём никакие два из них нельзя объединить в промежуток. Тогда
- [math]\displaystyle{ \int f(x) \,dx = \begin{cases} F(x)+C_1, & x \in X_1 \\ \cdots \\ F(x)+C_n, & x \in X_n. \end{cases} }[/math]
Константы [math]\displaystyle{ C_1, \ldots ,C_n }[/math] здесь пробегают все возможные значения.
Примечания
- ↑ Bruckner, 1978, с. 45.
- ↑ Bruckner, 1978, с. 73.
- ↑ Bruckner, 1978, с. 47.
- ↑ Bruckner, 1978, с. 3.
- ↑ Bruckner, 1978, с. 4.
- ↑ Bruckner, 1978, с. 9.
- ↑ Bruckner, 1978, с. 12.
- ↑ Bruckner, 1978, с. 46.
Литература
- Bruckner A. M. Differentiation of Real Functions (англ.). — Springer-Verlag Berlin Heidelberg, 1978. — 251 p. — (Lecture Notes in Mathematics). — ISBN 978-3-540-35776-6.