К содержимому

Интеграл Римана: накопление вкладов со знаком

Как в учебнике

Пусть $f$ непрерывна на конечном отрезке $[a,b]$, где $a<b$. Разбиение задано точками $a=t_0<\cdots<t_n=b$, ширины обозначены $\Delta t_i=t_i-t_{i-1}$, а выбранные точки удовлетворяют условию $\xi_i\in[t_{i-1},t_i]$. Интеграл Римана — предел взвешенных сумм при стремлении наибольшей ширины участка к нулю:

$$\int_a^b f(t)\,dt=\lim_{\max_i\Delta t_i\to0}\sum_{i=1}^{n}f(\xi_i)\Delta t_i.$$

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

Если $f(t)=2$ на $[0,3]$, интеграл равен 6. Отрицательные значения дают отрицательный вклад: $\int_{-1}^{1}t\,dt=0$, хотя геометрическая площадь между графиком и осью положительна. Интерпретация площади требует учёта знака.

Символ $dt$ указывает переменную интегрирования. Для интегрируемой вероятностной плотности $p_X$ вероятность интервала равна $\int_a^b p_X(t)\,dt$, а вероятность отдельной точки равна нулю. Бесконечные границы, неограниченные функции и более общие виды интеграла требуют отдельных определений и проверки условий.

Множитель $\Delta t_i$ необходим: простая сумма высот росла бы вместе с числом участков даже для постоянной функции. Уточнение разбиения уменьшает ширины, одновременно увеличивая число слагаемых. Условие на наибольшую ширину не позволяет оставить один крупный участок и измельчать только остальные. Для непрерывной функции на конечном отрезке колебания значений на каждом достаточно коротком участке малы; поэтому разные допустимые выборы высот перестают существенно влиять на сумму.

Определения и обозначения: Basic Analysis I.

Связанные понятия: Предел функции: точное значение «приближается», Конечная сумма: что перебирает большая сигма.

На пальцах

Накопленный объём воды можно приближённо посчитать по коротким промежуткам: скорость потока на каждом умножается на длительность, затем вклады складываются. Литры в минуту после умножения на минуты дают литры; простая сумма показаний расходомера выдаёт ошибку уже единицами измерения. Откачка вносит отрицательный вклад, поэтому интеграл не превращает все списания в доходы ради красивого отчёта. Внутри каждого промежутка меняющийся поток временно заменён постоянным. Интеграл описывает предел таких сумм при выполнении условий, а не точность одного удобного замера.

Пример

В учебном примере $f(t)=t$ на $[0,1]$ выбраны правые концы равных участков. Суммы приближаются к $1/2$.

Интеграл Римана: накопление вкладов со знаком

Один участок

Высота в правом конце равна 1, ширина 1, сумма равна 1.

Шаг 1 из 4: Один участок

Все шаги текстом
  1. Один участок

    Высота в правом конце равна 1, ширина 1, сумма равна 1.

    Вклады
    1текущий
    Сумма
    1
  2. Два участка

    Вклады равны 0.25 и 0.5, сумма 0.75.

    Вклады
    0.25включён0.5текущий
    Сумма
    0.75
  3. Четыре участка

    Более мелкая нарезка даёт сумму 0.625.

    Вклады
    0.0625включён0.125включён0.1875включён0.25текущий
    Сумма
    0.625
  4. Общее выражение

    При n равных участках сумма равна (n + 1)/(2n), её предел — 1/2.

    Количество участков
    410100
    Суммы
    0.6250.55текущий0.505включён

У возрастающей функции $f(t)=t$ правый конец даёт на каждом участке наибольшую высоту, поэтому показанные суммы превышают интеграл. В формуле последнего шага $(n+1)/(2n)=1/2+1/(2n)$ лишний вклад виден явно и исчезает при росте $n$. Значение 0.625 при четырёх участках — ещё сумма, а не сам интеграл. Ошибка возникнет, если объявить последнюю отображённую сетку окончательным ответом только потому, что мелкие прямоугольники выглядят убедительно.

Пример использует один способ выбора точек. Определение интеграла требует того же предела для всех допустимых способов измельчения.

Авторский текст этой бесплатной статьи опубликован по лицензии CC BY-NC-ND 4.0.

Предыдущая / следующая

Предыдущая
Градиентный спуск: шаг против градиента
Следующая
Асимптотическая эквивалентность
  • Натуральные числа: счёт отдельных объектов

    Какие значения подходят для счёта и почему включение нуля нужно оговаривать.

    Читать статью
    Математика
  • Целые числа: счёт по обе стороны нуля

    Положительные и отрицательные целые, ноль и граница целочисленного деления.

    Читать статью
    Математика
  • Рациональные числа: отношение целых

    Число как отношение целых: равные дроби и обязательный ненулевой знаменатель.

    Читать статью
    Математика