Интеграл Римана

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

Определение

Интеграл Римана строится для вещественнозначной функции \( f \), заданной на отрезке \([a, b] \subset \mathbb{R}\). Процесс определения включает три этапа: разбиение отрезка, составление интегральной суммы и предельный переход.

Разбиение отрезка

Разбиением \( P \) отрезка \([a, b]\) называется конечное множество точек \( a = x_0 < x_1 < \dots < x_n = b \). Длина \( i \)-го частичного отрезка обозначается \( \Delta x_i = x_i - x_{i-1} \). Мелкостью (диаметром) разбиения называется величина \( \|P\| = \max_{1 \le i \le n} \Delta x_i \).

Интегральная сумма

Для каждого частичного отрезка \([x_{i-1}, x_i]\) выбирается произвольная точка \( \xi_i \in [x_{i-1}, x_i] \). Интегральной суммой Римана называется выражение: \[ S(f, P, \{\xi_i\}) = \sum_{i=1}^{n} f(\xi_i) \Delta x_i. \]

Предел интегральных сумм

Функция \( f \) называется интегрируемой по Риману на отрезке \([a, b]\), если существует число \( I \in \mathbb{R}\) такое, что для любой последовательности разбиений \( P_k \) с \( \|P_k\| \to 0 \) и любого выбора точек \( \xi_i^{(k)} \) соответствующие интегральные суммы стремятся к \( I \). Это число \( I \) называется определённым интегралом Римана от \( f \) по отрезку \([a, b]\) и обозначается: \[ \int_a^b f(x)\,dx. \]

История

Идея интеграла восходит к античным методам исчерпывания (Евдокс Книдский, Архимед). В XVII веке Готфрид Лейбниц и Исаак Ньютон ввели символ интеграла и связали его с производной через основную теорему анализа. Однако строгое определение предела и интеграла отсутствовало до XIX века.

Огюстен Луи Коши в 1823 году дал определение интеграла для непрерывных функций, используя суммы, аналогичные суммам Дарбу. Бернхард Риман в 1854 году, в своей работе «О возможности представления функции тригонометрическим рядом», обобщил определение Коши на более широкий класс функций, включая разрывные. Риман ввёл понятие интеграла как предела интегральных сумм при стремлении мелкости разбиения к нулю. Это определение стало стандартным в анализе на протяжении десятилетий.

В XX веке появились более общие теории интегрирования (интеграл Лебега, интеграл Стилтьеса), однако интеграл Римана остаётся основным инструментом в прикладных задачах и начальных курсах анализа.

Классы интегрируемых функций

Не всякая функция интегрируема по Риману. Основные достаточные условия:

• Непрерывные функции: любая функция, непрерывная на отрезке \([a, b]\), интегрируема по Риману.
• Кусочно-непрерывные функции: функция, имеющая конечное число точек разрыва первого рода, интегрируема.
• Монотонные функции: любая монотонная на отрезке функция интегрируема.
• Функции с ограниченной вариацией: также интегрируемы.

Критерий интегрируемости по Риману (критерий Лебега): функция интегрируема на отрезке тогда и только тогда, когда она ограничена и множество её точек разрыва имеет меру нуль (по Лебегу). Например, функция Дирихле (равная 1 на рациональных и 0 на иррациональных точках) не интегрируема, так как её точки разрыва — весь отрезок, мера которого ненулевая.

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

Линейность

Для любых интегрируемых функций \( f \) и \( g \) и констант \( \alpha, \beta \): \[ \int_a^b (\alpha f(x) + \beta g(x))\,dx = \alpha \int_a^b f(x)\,dx + \beta \int_a^b g(x)\,dx. \]

Аддитивность по отрезку

Если \( c \in [a, b] \), то: \[ \int_a^b f(x)\,dx = \int_a^c f(x)\,dx + \int_c^b f(x)\,dx. \]

Монотонность

Если \( f(x) \le g(x) \) для всех \( x \in [a, b] \), то: \[ \int_a^b f(x)\,dx \le \int_a^b g(x)\,dx. \]

Оценка модуля

\[ \left| \int_a^b f(x)\,dx \right| \le \int_a^b |f(x)|\,dx. \]

Интегрирование чётных и нечётных функций

Для чётной функции \( f(-x) = f(x) \) на симметричном отрезке \([-a, a]\): \[ \int_{-a}^a f(x)\,dx = 2 \int_0^a f(x)\,dx. \] Для нечётной функции \( f(-x) = -f(x) \): \[ \int_{-a}^a f(x)\,dx = 0. \]

Основная теорема анализа

Связь между интегралом и производной устанавливает основная теорема анализа (теорема Ньютона — Лейбница). Если функция \( f \) непрерывна на \([a, b]\) и \( F \) — её первообразная (то есть \( F'(x) = f(x) \) всюду на \((a, b)\)), то: \[ \int_a^b f(x)\,dx = F(b) - F(a). \] Эта формула позволяет вычислять интегралы через первообразные, что является основным методом практического интегрирования.

Методы вычисления

Непосредственное интегрирование

Использование таблицы интегралов и свойств линейности. Например: \[ \int_0^1 x^2\,dx = \left[ \frac{x^3}{3} \right]_0^1 = \frac{1}{3}. \]

Замена переменной

Если \( \varphi \) — дифференцируемая монотонная функция на \([a, b]\), то: \[ \int_a^b f(\varphi(x)) \varphi'(x)\,dx = \int_{\varphi(a)}^{\varphi(b)} f(u)\,du. \]

Интегрирование по частям

Для дифференцируемых функций \( u \) и \( v \): \[ \int_a^b u(x) v'(x)\,dx = u(x)v(x)\big|_a^b - \int_a^b u'(x) v(x)\,dx. \]

Численное интегрирование

Для функций, не имеющих аналитической первообразной, применяют численные методы: метод прямоугольников, метод трапеций, метод Симпсона и другие. Они основаны на аппроксимации интеграла конечной суммой значений функции.

Применение

Интеграл Римана используется в:

• Геометрии: вычисление площадей фигур, объёмов тел вращения, длин кривых.
• Физике: вычисление работы, массы, центра масс, момента инерции, потока поля.
• Экономике: нахождение суммарного дохода, излишка потребителя, дисконтированной стоимости.
• Теории вероятностей: вычисление вероятностей через плотность распределения.

Недостатки и обобщения

Интеграл Римана не позволяет интегрировать функции с «сильной» разрывностью (например, функцию Дирихле) и неудобен для теории пределов под знаком интеграла. Эти недостатки преодолеваются в интеграле Лебега, который является расширением интеграла Римана на более широкий класс функций и обладает лучшими свойствами сходимости. Тем не менее, для большинства прикладных задач и для непрерывных функций интеграл Римана остаётся достаточным и более простым в использовании.

Интересные факты

• Символ интеграла \(\int\) происходит от латинской буквы S (summa — сумма), введён Лейбницем в 1675 году.
• Бернхард Риман ввёл своё определение интеграла в возрасте 28 лет, работая над проблемой разложения функций в тригонометрические ряды.
• Интеграл Римана является частным случаем интеграла Стилтьеса, где в качестве меры используется длина отрезка.

Источники

• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», т. 1–3.
• Кудрявцев Л. Д. «Математический анализ», т. 1.
• Рудин У. «Основы математического анализа».
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа».
• Бернхард Риман. «О возможности представления функции тригонометрическим рядом» (1854).