Модели на дифференциальных уравнениях: Мальтус, логистический рост, Вольтерра
Радиоактивный распад, остывающий кофе, популяция с пределом и зайцы с рысями Гудзонова залива: четыре балансовых закона, которые дают дифференциальные уравнения и честные прогнозы.
Дифференциальные уравнения редко появляются из воздуха: почти каждое из них — записанное словами «скорость изменения пропорциональна...» или «прирост съедается столкновениями...». Именно балансовые рассуждения порождают уравнения в экологии, химии, демографии и физике. Этот урок — сборник четырёх моделей, каждая из которых решается методами уже пройденных уроков и каждая учит одному и тому же приёму: сначала честный баланс, потом уравнение, потом — проверка модели реальностью, где и начинается самое интересное.
Экспонента: распад и охлаждение#
Радиоактивный распад: ядро распадается независимо от соседей, вероятность за малое время пропорциональна , значит, число нераспавшихся ядер убывает со скоростью, пропорциональной количеству: . Разделяем переменные, как в первом практическом уроке курса: . Привычная мера скорости — период полураспада : у цезия-137 это около 30 лет, и табличные значения из словарной статьи о законе распада сходятся с этой формулой буквально.
Той же схемой живёт охлаждение по Ньютону: скорость остывания пропорциональна разности температур с окружением, . Замена превращает уравнение в распад, ответ . Константа — постоянная времени процесса: за это время разность температур падает в раза. Кофе остывает по этой формуле с точностью до деталей конвекции, а электронный датчик калибруется по ней же.
Мальтус и его предел: логистический рост#
Модель Мальтуса (1798) проста до цинизма: прирост населения пропорционален населению, — та же экспонента, только растущая. На коротких интервалах она честна: так растут колонии бактерий в свежем бульоне первые часы. Но ресурсы конечны, и экспонента предсказывает абсурд: при темпах роста XIX века к нашему времени Земля была бы сплошным человеком. Вывод Ферхюльста (1838): коэффициент прироста сам падает с населением. Самая простая версия — линейное торможение:
Уравнение нелинейное из-за квадрата , но это в точности уравнение Бернулли, и решается оно разделением переменных с разложением на простые дроби. Ответ: , где . Картина роста — S-образная кривая: медленный старт, разгон, насыщение на уровне . Точка перегиба стоит ровно при — это максимум скорости роста, и рыбоводы используют его буквально: поголовье держат на полпути к ёмкости, чтобы улов был максимальным.
С точки зрения теории устойчивости логистическое уравнение — учебник на две строки. Равновесия: и . При малых правая часть положительна — решение уходит от нуля; около прирост отрицателен при превышении и положителен при недоборе — решения стягиваются к . Ноль неустойчив, ёмкость устойчива. То же видно на поле направлений:
Вольтерра: хищник и жертва#
В 1925 году Умберто Д’Анкона, изучавший уловы портов Адриатики, заметил странное: доли хищных рыб в улове колеблются с периодом в несколько лет. Он обратился к математику Вито Вольтерре, и тот построил модель из двух уравнений. Жертвы () размножаются свободно и гибнут от встреч с хищниками; хищники () умирают естественно, но встреча с жертвой их кормит и размножает:
Система из урока о системах ДУ нелинейна, но имеет первый интеграл — величину, сохраняющуюся вдоль каждой пары решений. Собирается он за две строки: и ; подставив правые части и сложив, получаем точный ноль. Значит,
Линии уровня — замкнутые кривые вокруг равновесия : популяции кружат по петле, жертва догоняет хищника с запаздыванием. Это объясняет данные, ради которых модель строилась: многолетние ряды пушных заготовок компании Гудзонова залива (заяц-беляк и рысь, 1845–1935) показывают циклы длиной около десяти лет — рысь то давится добычей, то голодает, и кривые выписывают кольца на плоскости «хищник—жертва». На фазовой плоскости это выглядит как вложенные овалы; точка равновесия — центр, устойчивый, но не асимптотически: выведенную колебанием систему никто не возвращает к точке, она кружит по новой петле.
Из инварианта выпадает и практический факт, поразивший биологов: средние за цикл значения обеих популяций равны координатам равновесия, и . Отсюда безжалостный вывод Д’Анконы: интенсивный лов, снижающий прирост жертв () и смертность хищников (), в среднем выгоден хищникам и невыгоден жертвам. Модель тут упрощает реальность, но направление эффекта подсказала верно — и это классический пример того, как автономное уравнение или система предсказывают качественное поведение без единого численного прогона.
- Распад и охлаждение: скорость пропорциональна отклонению — экспонента,
- Мальтус: — экспоненциальный рост; работает на коротких интервалах
- Логистика: , решение , перегиб при , равновесие устойчиво
- Вольтерра: замкнутые орбиты вокруг , первый интеграл , средние за цикл равны равновесию
Полезно увидеть модели рядом: все четыре строятся одним приёмом — баланс, уравнение, разбор равновесий. Дальше по этой лестнице стоят модели с запаздыванием, конкуррентные виды (система Лотки—Вольтерры с двумя жертвами), эпидемические модели SIR — и всё это уже не решается руками, зато качественно анализируется на фазовой плоскости и численно. Потренировать ручные решения под эти модели можно в тренажёре по дифференциальным уравнениям, а сводка методов — в шпаргалке.
Период полураспада изотопа — 10 дней. Какая доля останется через 30 дней?
В логистической модели при каком скорость роста максимальна?
В модели Вольтерры траектории на фазовой плоскости — это...
Частые вопросы
Чем логистическая модель лучше модели Мальтуса?
Она учитывает конечность ресурсов: прирост линейно тормозится близостью к ёмкости . Мальтус даёт неограниченную экспоненту и честен лишь на коротких участках; логистика выходит на насыщение и хорошо описывает дрожжи в сусле, рост рыбных популяций в водоёме ограниченного размера, эпидемию в закрытом городе. При малых обе модели совпадают — логистика уточняет Мальтуса, а не противоречит ему.
Почему в модели Вольтерры колебания не затухают?
Потому что система консервативна: у неё есть первый интеграл, и трение в модели не заложено. Реальные популяционные циклы затухают и сбиваются случайностями; для них строят модели с самолимитированием жертвы (логистический член в первом уравнении) — тогда равновесие становится устойчивым фокусом, колебания спиралью стягиваются к нему.
Как из закона охлаждения найти время до нужной температуры?
Из решения выражаем . Константу калибруют одним замером: измерили температуру в какой-то момент — вычислили , дальше прогноз работает без всякой подгонки.
Как строить такие модели самостоятельно?
Три шага. Первый: выбрать величины и написать баланс — «прирост = рождение − смерть − убыль от встреч», каждое слагаемое выразить через переменные. Второй: проверить размерности и предельные случаи (при отсутствии хищников жертвы растут, при отсутствии жертв хищники гибнут). Третий: найти равновесия и разобрать их устойчивость — это и есть предсказание модели. Численный прогон — последний шаг, а не первый.
Готовитесь к контрольной?
Чеклист тем по «Диффуры»: что вы уже умеете, что повторить и в каком порядке.
Открыть чеклист предмета →
Проверьте себя в бою
Босс-экзамен по «Диффуры»: квизы всех уроков плюс бесконечный поток сгенерированных задач. Каждая попытка — новый расклад.
Начать босс-экзамен →