Свойства интегралов¶

Интеграл — одно из центральных понятий математического анализа, обобщающее идею суммирования бесконечно малых величин. Различают два основных типа: неопределённый интеграл, представляющий собой совокупность первообразных функции, и определённый интеграл, выражающий числовое значение (площадь, объём, массу и другие величины). Обе конструкции обладают набором устойчивых свойств, которые позволяют преобразовывать выражения, упрощать вычисления и устанавливать связи между интегрированием и дифференцированием.

¶Неопределённый интеграл и его свойства

Неопределённым интегралом функции \(f(x)\) называют множество всех её первообразных:

\[ \int f(x)\,dx = F(x) + C, \]

где \(F'(x) = f(x)\), а \(C\) — произвольная постоянная. Основные свойства:

• Производная интеграла возвращает подынтегральную функцию: \(\left(\int f(x)\,dx\right)' = f(x)\).
• Интеграл от производной: \(\int F'(x)\,dx = F(x) + C\).
• Линейность: интеграл от суммы равен сумме интегралов, а постоянный множитель выносится за знак интеграла:

\[ \int (af(x) + bg(x))\,dx = a\int f(x)\,dx + b\int g(x)\,dx. \]

• Инвариантность формы: если \(\int f(u)\,du = F(u) + C\), то эта же формула верна и при замене \(u\) на любую дифференцируемую функцию от \(x\).

Последнее свойство лежит в основе метода замены переменной — одного из главных приёмов интегрирования.

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

Определённый интеграл функции \(f(x)\) на отрезке \([a, b]\) обозначается \(\int_a^b f(x)\,dx\) и определяется как предел интегральных сумм при стремлении шага разбиения к нулю. Его свойства во многом повторяют свойства неопределённого интеграла, но добавляются специфические правила для пределов:

• Линейность: \(\int_a^b (af + bg)\,dx = a\int_a^b f\,dx + b\int_a^b g\,dx\).
• Аддитивность по отрезку: для любой точки \(c\) между \(a\) и \(b\)

\[ \int_a^b f\,dx = \int_a^c f\,dx + \int_c^b f\,dx. \]

• Ориентация: при перестановке пределов знак меняется: \(\int_a^b f\,dx = -\int_b^a f\,dx\). Если \(a = b\), интеграл равен нулю.
• Оценка: если \(m \le f(x) \le M\) на \([a, b]\), то \(m(b-a) \le \int_a^b f\,dx \le M(b-a)\).
• Сохранение знака: если \(f(x) \ge 0\) на отрезке, то и интеграл неотрицателен.

¶Основные теоремы

¶Теорема о среднем

Если функция непрерывна на \([a, b]\), то существует такая точка \(c \in [a, b]\), что

\[ \int_a^b f(x)\,dx = f(c)(b-a). \]

Геометрически это означает, что площадь под кривой равна площади прямоугольника с основанием \(b-a\) и высотой, равной некоторому значению функции.

¶Формула Ньютона — Лейбница

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

\[ \int_a^b f(x)\,dx = F(b) - F(a), \]

где \(F\) — любая первообразная функции \(f\). Эта формула превращает вычисление определённого интеграла в разность значений первообразной на концах отрезка и является основным рабочим инструментом.

¶Теорема Барроу

Устанавливает, что функция \(\Phi(x) = \int_a^x f(t)\,dt\) является первообразной для \(f(x)\), то есть \(\Phi'(x) = f(x)\). Тем самым доказывается существование первообразной у любой непрерывной функции.

¶Методы, основанные на свойствах

Свойства интегралов напрямую порождают методы вычисления:

Интегрирование по частям выводится из формулы производной произведения и имеет вид:

\[ \int u\,dv = uv - \int v\,du. \]

Для определённого интеграла формула принимает вид \(\int_a^b u\,dv = uv\big|_a^b - \int_a^b v\,du\).

¶Свойства, связанные с чётностью и периодичностью

Для симметричного отрезка \([-a, a]\):

• если \(f\) — чётная функция, то \(\int_{-a}^a f\,dx = 2\int_0^a f\,dx\);
• если \(f\) — нечётная, то \(\int_{-a}^a f\,dx = 0\).

Для периодической функции с периодом \(T\) интеграл по любому отрезку длины \(T\) одинаков:

\[ \int_a^{a+T} f\,dx = \int_0^T f\,dx. \]

Эти свойства широко применяются в физике и технике при расчёте сигналов, моментов инерции и симметричных конструкций.

¶Применение

Свойства интегралов используются при вычислении площадей плоских фигур, длин дуг, объёмов тел вращения, работы переменной силы, координат центра масс, моментов инерции. В теории вероятностей интеграл задаёт функцию распределения и математическое ожидание непрерывной случайной величины. В физике — это связь между ускорением, скоростью и перемещением, а также основа для уравнений Максвелла, Шрёдингера и других фундаментальных моделей.

¶Значение

Свойства интегралов образуют логический каркас интегрального исчисления. Именно они позволяют переходить от сложных выражений к табличным, оценивать величины без точного вычисления, устанавливать фундаментальную связь между операциями дифференцирования и интегрирования. Развитие этих свойств привело к появлению кратных, криволинейных и поверхностных интегралов, а также интеграла Лебега, обобщающего классическую конструкцию Римана на более широкий класс функций.

Источники: Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления»; Никольский С. М. «Курс математического анализа»; Демидович Б. П. «Сборник задач по математическому анализу».