«Призрачное уравнение» против хаоса: математики спустя 100 лет нашли способ укротить непредсказуемую реальность

Новый метод позволяет решать задачи, где условия меняются слишком резко.


97j1470s89elf23q1w8qtl7b5eibg3i6.jpg

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

Поэтому на практике используют обходной путь. Вместо точного ответа пытаются доказать, что решение ведет себя корректно, без разрывов и бесконечных скачков. Это свойство называют регулярностью. Проще говоря, функция должна меняться плавно и не давать физически невозможных значений. Если регулярность установлена, дальше подключают приближенные методы и численные схемы. Они позволяют достаточно точно восстановить картину процесса. Но для многих уравнений, которые возникают в моделях реальных сред, подтвердить такую «гладкость» долго не удавалось.

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

Чтобы приближенные методы работали надежно, нужно контролировать скорость изменения решения. Для этого математики смотрят на градиент — величину, которая показывает, насколько быстро функция меняется при малом сдвиге в пространстве. Если градиент уходит в слишком большие значения, модель начинает давать неустойчивые результаты. Вычислить его напрямую обычно так же трудно, как и само решение.