bilim.techО проекте

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

Сколько пульпы прошло через расходомер за смену, если есть только замеры каждые 10 минут? Тяни точки, сравнивай прямоугольники, трапеции и Симпсона и смотри, как падает ошибка.

01 Что это такое

Численное интегрирование находит площадь под графиком по таблице замеров, когда формулы у графика нет.

Счетчик электроэнергии сломался, а в журнале диспетчера есть мощность привода каждые 10 минут. Сколько энергии взял конвейер за час? Энергия это площадь под графиком мощности, как в теме «Интеграл». Только формулы мощности нет, есть семь чисел. Соединим соседние точки отрезками и сложим площади трапеций. Если вместо отрезков провести через каждые три точки параболу, ответ станет еще точнее при тех же замерах. Это метод Симпсона.

t, минP, кВт0180102102026030320403005034060290≈ 277,5 кВт·ч за час0102030405060время, минмощность, кВт
Каждая трапеция это энергия за 10 минут: средняя мощность двух соседних замеров на 1/6 часа. Сумма трапеций дает энергию за час.
yᵢ
Замер номер i. Показание прибора в момент tᵢ: расход, мощность, скорость. Всего n + 1 замер от y₀ до yₙ.
h
Шаг между замерами. Интервал опроса датчика, например 10 минут. Отрезок [a, b] делится на n интервалов: h = (b − a) / n.
S
Площадь, интеграл. Накопленная величина: объем по расходу, энергия по мощности, путь по скорости.
02 Опыт
Тяни точки замеров вверх и вниз. Меняй метод и частоту замеров, следи за ошибкой справа. РАСЧЕТ ПО ТАБЛИЦЕ ЗАМЕРОВ
ЧИСЛЕННЫЕ МЕТОДЫ

Сколько прокачали, если есть только замеры?

Рис. 8.2
ГОТОВЫЕ СЛУЧАИ
Прямоугольники
Трапеции
Симпсон

ⓘ «Точный» ответ посчитан по настоящей кривой с 4096 интервалами. Перетаскивание добавляет к кривой плавный горб в этом месте, поэтому кривая и замеры всегда согласованы.

03 Формулы по буквам

Трапеции, Симпсон и порядок ошибки

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

Как сложить замеры в площадь?

S ≈ h · (y₀2 + y₁ + ... + yₙ₋₁ + yₙ2)

Площадь трапеции: средняя высота на ширину, h · (yᵢ + yᵢ₊₁) / 2. Складываем все трапеции. Каждый внутренний замер входит в две соседние трапеции, поэтому берется целиком, а крайние только наполовину.

h
шаг между замерами в единицах времени ответа
y₀, yₙ
первый и последний замер, вес 1/2
y₁ ... yₙ₋₁
внутренние замеры, вес 1

Как точнее по тем же замерам?

S ≈ h3 · (y₀ + 4y₁ + 2y₂ + 4y₃ + ... + yₙ)

Через каждые три соседних замера проводим параболу и берем площадь под ней точно: h / 3 · (yᵢ + 4yᵢ₊₁ + yᵢ₊₂). Средняя точка пары весит в 4 раза больше крайних. Где пары стыкуются, веса складываются, отсюда двойки.

4
вес нечетных замеров: середины пар
2
вес четных внутренних: стыки пар
n
обязательно четное число интервалов

Во сколько раз точнее при частых замерах?

ошибка ~ h² и ~ h⁴

У трапеций ошибка пропорциональна h²: замеры вдвое чаще, ошибка в 4 раза меньше. У Симпсона пропорциональна h⁴: в 16 раз меньше. У прямоугольников по левому краю только h: в 2 раза. На правом графике это прямые с наклоном 1, 2 и 4.

h²
трапеции не видят изгиб кривой между замерами
h⁴
парабола учитывает изгиб, остается только более тонкая ошибка
f″, f⁗
чем сильнее кривая изгибается, тем больше ошибка при том же h

Откуда берутся веса и порядок ошибки

Трапеции заменяют кривую на каждом интервале прямой через два замера. Прямая не видит изгиб, и на одном интервале ошибка равна примерно h³ · f″ / 12. Интервалов (b − a) / h, поэтому общая ошибка порядка h² · (b − a) · f″ / 12. Где кривая выпуклая вверх, хорды проходят под ней, и трапеции занижают; где вниз, завышают.

Симпсон через три точки на расстояниях −h, 0, h проводит параболу y = A + B · u + C · u². Интеграл от −h до h равен 2Ah + 2Ch³ / 3, член с B сокращается. Подставляем A = y₁ и C = (y₀ − 2y₁ + y₂) / (2h²) и получаем h / 3 · (y₀ + 4y₁ + y₂). Парабола точно повторяет любую кубическую кривую на паре интервалов, поэтому ошибка начинается только с четвертой производной: порядок h⁴.

Эти же формулы стоят внутри методов решения уравнений. Если правая часть зависит только от t, метод Хойна совпадает с трапециями, а Рунге-Кутта 4 с Симпсоном. Сравни с темой «Метод Эйлера»: там ошибки тоже ~ h, h² и h⁴.

y₀вес 1y₁вес 4y₂вес 1хорды: трапециипарабола: Симпсонпунктир: настоящая кривая
Хорды срезают горб кривой, парабола через три замера почти совпадает с ней.
04 Где и зачем это применяют

Везде, где из журнала замеров нужен итог за смену

Допущения модели+

Замеры идут через равный шаг и без погрешности датчика. На практике у каждого замера есть шум, и Симпсон не помогает против шума: при шумных данных трапеции часто надежнее. Порядок h² и h⁴ работает, когда кривая плавная и шаг мельче ее изгибов. Если процесс резко меняется между замерами, например насос включился и выключился за 5 минут при опросе раз в 10 минут, никакой метод этого не увидит: нужно замерять чаще. Прямоугольники в опыте взяты по левому краю, как в простом счетчике, который держит последнее показание до следующего замера.

Еще в направлении «Математика»

Все темы направления «Математика» →