Свойства определённого интеграла¶
Определённый интеграл — одно из центральных понятий математического анализа, обобщающее идею вычисления площади криволинейной трапеции и накопления бесконечно малых величин. Для функции \( f(x) \), заданной на отрезке \([a; b]\), он обозначается \(\int_a^b f(x)\,dx\), где числа \(a\) и \(b\) называются пределами интегрирования (нижним и верхним соответственно), а \(f(x)\) — подынтегральной функцией. Совокупность правил, описывающих поведение этой конструкции при различных преобразованиях, и составляет свойства определённого интеграла.
¶Основные свойства
¶Линейность
Определённый интеграл линеен относительно подынтегральной функции. Это означает два правила:
- Постоянный множитель можно выносить за знак интеграла: \(\int_a^b c\,f(x)\,dx = c\int_a^b f(x)\,dx\), где \(c\) — любое действительное число.
- Интеграл суммы равен сумме интегралов: \(\int_a^b (f(x) + g(x))\,dx = \int_a^b f(x)\,dx + \int_a^b g(x)\,dx\).
Вместе эти свойства позволяют интегрировать линейные комбинации функций почленно.
¶Аддитивность по отрезку
Если точка \(c\) лежит между \(a\) и \(b\), то интеграл по всему отрезку разбивается на сумму интегралов по частям:
\[ \int_a^b f(x)\,dx = \int_a^c f(x)\,dx + \int_c^b f(x)\,dx. \]
Это свойство лежит в основе разбиения области интегрирования и широко применяется при работе с кусочно-заданными функциями.
¶Ориентация пределов
При перемене местами пределов интегрирования знак интеграла меняется на противоположный:
\[ \int_a^b f(x)\,dx = -\int_b^a f(x)\,dx. \]
Если пределы совпадают, интеграл равен нулю: \(\int_a^a f(x)\,dx = 0\).
¶Свойства, связанные со знаками и оценками
¶Знак интеграла
Если подынтегральная функция неотрицательна на отрезке (\(f(x) \ge 0\)), то и интеграл неотрицателен: \(\int_a^b f(x)\,dx \ge 0\) при \(a < b\). Аналогично, если \(f(x) \le 0\), то интеграл неположителен. Это прямое следствие геометрического смысла: интеграл выражает площадь со знаком.
¶Оценка интеграла
Если на отрезке \([a; b]\) выполнено неравенство \(m \le f(x) \le M\), то значение интеграла заключено в пределах:
\[ m(b-a) \le \int_a^b f(x)\,dx \le M(b-a). \]
Отсюда вытекает важное следствие — теорема о среднем значении: для непрерывной функции существует такая точка \(c \in [a; b]\), что
\[ \int_a^b f(x)\,dx = f(c)(b-a). \]
Величина \(f(c)\) называется средним значением функции на отрезке.
¶Неравенство для модуля
Модуль интеграла не превосходит интеграла от модуля функции:
\[ \left|\int_a^b f(x)\,dx\right| \le \int_a^b |f(x)|\,dx. \]
Это свойство используется при доказательстве сходимости и в оценках.
¶Связь с первообразной
¶Теорема Ньютона — Лейбница
Ключевое свойство связывает определённый интеграл с неопределённым. Если \(F(x)\) — первообразная для \(f(x)\) на отрезке \([a; b]\), то
\[ \int_a^b f(x)\,dx = F(b) - F(a). \]
Эта формула, называемая основной теоремой анализа, сводит вычисление интеграла к нахождению первообразной и подстановке пределов. Она была независимо получена Исааком Ньютоном и Готфридом Лейбницем в XVII веке.
¶Производная интеграла с переменным верхним пределом
Если определить функцию \(\Phi(x) = \int_a^x f(t)\,dt\), то при непрерывной \(f\) она дифференцируема, и \(\Phi'(x) = f(x)\). Это означает, что интегрирование и дифференцирование — взаимно обратные операции.
¶Методы, основанные на свойствах
¶Замена переменной
При замене переменной \(x = \varphi(t)\) пределы интегрирования пересчитываются:
\[ \int_a^b f(x)\,dx = \int_{\alpha}^{\beta} f(\varphi(t))\,\varphi'(t)\,dt, \]
где \(\alpha\) и \(\beta\) — значения \(t\), при которых \(\varphi(t) = a\) и \(\varphi(t) = b\).
¶Интегрирование по частям
Формула интегрирования по частям для определённого интеграла имеет вид:
\[ \int_a^b u\,dv = \big[u\,v\big]_a^b - \int_a^b v\,du. \]
Она применяется при интегрировании произведений функций, например полиномов и тригонометрических или показательных функций.
¶Применение
Свойства определённого интеграла используются в геометрии (вычисление площадей, объёмов тел вращения, длин дуг), физике (работа, путь, масса неоднородного стержня, моменты инерции), теории вероятностей (математическое ожидание непрерывной величины). В инженерных расчётах на их основе строятся численные методы — метод трапеций, метод Симпсона, метод Монте-Карло.
¶Значение
Свойства определённого интеграла образуют логически связную систему, позволяющую преобразовывать сложные выражения к более простым, оценивать величины без точного вычисления и переходить между дифференциальным и интегральным описанием процессов. Интеграл Римана, введённый в XIX веке, был позднее обобщён в интеграл Лебега и другие конструкции, однако перечисленные свойства в той или иной форме сохраняются и в обобщённых теориях.
Источники: Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления»; Кудрявцев Л. Д. «Курс математического анализа»; Никольский С. М. «Курс математического анализа».