Математики наконец-то поняли поведение важного класса дифференциальных уравнений, описывающих всё — от давления воды до уровня кислорода в тканях человека. Комментарий Сохранить статью Прочитать позже
Для изучения обтекания крыла самолета потоком воздуха, распределения напряжений на мостике или в различных других ситуациях исследователи используют эллиптические дифференциальные уравнения в частных производных. Эти уравнения, как известно, чрезвычайно сложны для понимания.
Введение
Траектория шторма, динамика цен на акции, распространение болезней — математики могут описать любое явление, изменяющееся во времени или пространстве, используя так называемые дифференциальные уравнения в частных производных. Но есть проблема: эти «УЧП» часто настолько сложны, что их невозможно решить напрямую.
Вместо этого математики прибегают к хитрому обходному пути. Они могут не знать, как вычислить точное решение данного уравнения, но могут попытаться показать, что это решение должно быть «регулярным», или «хорошо себя ведущим» в определенном смысле — например, что его значения не будут внезапно скачкообразно изменяться физически невозможным образом. Если решение регулярное, математики могут использовать различные инструменты для его аппроксимации, получая таким образом лучшее понимание изучаемого явления.
Однако многие уравнения в частных производных, описывающие реальные ситуации, остаются недоступными для решения. Математики не смогли доказать регулярность их решений. В частности, некоторые из этих недоступных уравнений принадлежат к особому классу уравнений в частных производных, теорию которых исследователи разрабатывали на протяжении столетия — теории, которую никто не мог применить к этому единственному подклассу. Они натыкались на стену.
Теперь двум итальянским математикам наконец-то удалось совершить прорыв, расширив теорию на более сложные дифференциальные уравнения в частных производных. Их статья, опубликованная прошлым летом, знаменует собой кульминацию амбициозного проекта, который впервые позволит ученым описать реальные явления, долгое время не поддававшиеся математическому анализу.
Хорошие или плохие
Во время извержения вулкана раскалённый, хаотичный поток лавы течёт по земле. Но через несколько часов или дней (а может, и дольше) он достаточно остывает, чтобы войти в состояние равновесия. Его температура больше не меняется от момента к моменту, хотя всё ещё варьируется от места к месту на огромной территории, покрываемой лавой.
Математики описывают подобные ситуации с помощью так называемых эллиптических дифференциальных уравнений в частных производных. Эти уравнения описывают явления, изменяющиеся в пространстве, но не во времени, такие как давление воды, протекающей через горную породу, распределение напряжений на мосту или диффузия питательных веществ в опухоли.
Однако решения эллиптических дифференциальных уравнений в частных производных сложны. Например, решение уравнения в частных производных для лавы описывает ее температуру в каждой точке при заданных начальных условиях. Оно зависит от множества взаимодействующих переменных.
Исследователи стремятся получить приблизительное решение, даже если его невозможно записать. Но используемые ими методы хорошо работают только в том случае, если решение является регулярным — то есть, в нем нет резких скачков или изломов. (Не будет резких скачков температуры лавы в разных местах.) «Если что-то пойдет не так, это, вероятно, произойдет из-за [отсутствия] регулярности», — сказал Максон Сантос из Лиссабонского университета.
В 1930-х годах польский математик Юлиуш Шаудер попытался установить минимальные условия, которым должно удовлетворять эллиптическое дифференциальное уравнение в частных производных, чтобы гарантировать регулярность его решений. Он показал, что во многих случаях достаточно доказать лишь то, что правила, заложенные в уравнении, — например, правило скорости распространения тепла в лаве, — не меняются слишком резко от точки к точке.
За десятилетия, прошедшие с момента доказательства Шаудера, математики показали, что этого условия достаточно для того, чтобы любое дифференциальное уравнение в частных производных, описывающее хороший, «однородный» материал, имело регулярные решения. В таком материале существует предел того, насколько экстремальными могут быть основные правила. Например, если предположить, что ваша лава однородна, тепло всегда будет распространяться в пределах определенных скоростей, никогда не слишком быстро или слишком медленно.
Но лава на самом деле представляет собой разнообразную смесь расплавленной породы, растворенных газов и кристаллов. В таком неоднородном материале невозможно контролировать крайние значения, и скорость распространения тепла может значительно различаться в зависимости от местоположения: некоторые участки лавы могут проводить тепло очень хорошо, а другие — очень плохо. В этом случае для описания ситуации будет использоваться дифференциальное уравнение в частных производных с «неравномерной эллиптической» структурой.
На протяжении десятилетий никто не мог доказать, что теория Шаудера справедлива для этого типа дифференциальных уравнений в частных производных.
К сожалению, «реальный мир имеет неравномерную эллиптическую форму», — сказал Джузеппе Минджоне, математик из Пармского университета в Италии. Это означало, что математики зашли в тупик. Минджоне хотел понять, почему.
Машина времени
В августе 2000 года Мингионе — 28-летний, только что защитивший докторскую диссертацию — оказался в обветшалом старом курортном городе в России, участвуя в конференции по дифференциальным уравнениям. Однажды вечером, не найдя себе лучшего занятия, он начал читать работы Василия Васильевича Жикова, математика, с которым познакомился в поездке, и понял, что неравномерно эллиптические дифференциальные уравнения в частных производных, которые кажутся хорошо себя ведущими, могут иметь нерегулярные решения, даже если они удовлетворяют условию, установленному Шаудером. Теорию Шаудера было не просто сложнее доказать в неравномерном случае. Она нуждалась в обновлении.
Джузеппе Минджоне помог доказать свою гипотезу, выдвинутую 20 лет назад. Окончательное доказательство, по его словам, было «чудом, совершенным в отчаянии».
Вернувшись в Италию, он вместе с двумя коллегами предложил, что для неравномерно эллиптических дифференциальных уравнений в частных производных необходимо дополнительное условие, гарантирующее регулярность их решений. Закономерности изменения теплопередачи должны были не только постепенно изменяться от точки к точке, но и строго контролироваться с учетом неоднородности лавы. В частности, математики предположили, что чем более неоднороден материал, тем строже должен быть этот контроль. Они представили это условие в виде неравенства, устанавливая точный порог допустимой неоднородности системы.
Они показали, что для дифференциальных уравнений в частных производных, где неравенство не выполняется, они больше не могут гарантировать регулярность решений. Но они не смогли доказать, что неравенство точно указывает точку, где решения переходят из регулярных в потенциально нерегулярные. Мингионе потратил годы на решение этой проблемы, но безрезультатно. В конце концов он отказался от этой затеи.
Прошло почти 20 лет. Затем, в 2017 году, студентка первого курса магистратуры по имени Кристиана Де Филиппис услышала о попытке расширить теорию Шаудера на неравномерно эллиптические уравнения. Более опытные математики предостерегли её от решения этой проблемы, но она проигнорировала их совет и обратилась к Мингионе. Во время ночного разговора по Skype она сказала ему, что у неё есть несколько идей, как доказать его гипотезу, и она полна решимости продолжить его работу.
Кристиана Де Филиппис разрабатывает обширную теорию для лучшего понимания решений дифференциальных уравнений в частных производных, уделяя все большее внимание сложным случаям.
«Это было как машина времени, — сказал Мингионе. — Это было похоже на встречу с самим собой 20 лет назад и на то, как будто я постучал в дверь собственного сознания».
По его словам, именно «новая энергия, энтузиазм и вера Де Филипписа в то, что это возможно», убедили его возобновить давно забытую попытку доказать свою гипотезу.
Чудеса
Ключ к доказательству регулярности решения дифференциального уравнения в частных производных заключается в демонстрации того, что оно всегда изменяется контролируемым образом. Математики делают это, рассматривая специальную функцию, описывающую скорость изменения решения в каждой точке. Они хотят показать, что эта функция, называемая градиентом, не может стать слишком большой.
Но точно так же, как обычно невозможно напрямую вычислить решение дифференциального уравнения в частных производных, обычно невозможно вычислить и его градиент.
Вместо этого Де Филиппис и Мингионе вывели из исходного уравнения в частных производных то, что они назвали «призрачным уравнением», — бледную тень того, что им действительно было нужно.
Именно здесь Мингионе застрял десятилетиями ранее. Но у Де Филипписа появилась идея, как усовершенствовать «призрачное» уравнение, чтобы оно давало более четкое представление о дифференциальном уравнении в частных производных. Используя длительную многоэтапную процедуру, пара смогла получить достаточно информации из «призрачного» уравнения, чтобы восстановить градиент.
«Это несколько надуманно, — сказал Симон Новак из Билефельдского университета в Германии. — Но это работает, и это довольно красиво».
Теперь им предстояло выяснить, как показать, что восстановленный ими градиент не может стать слишком большим. Они разделили его на более мелкие части и доказали, что каждая часть не может превышать определенный размер. Это потребовало огромных усилий: даже крошечная ошибка измерения в отдельной части могла исказить их оценку градиента, отдалив их от порогового значения, которое они стремились доказать.
В препринте 2022 года им удалось достаточно хорошо упорядочить все эти части, чтобы показать, что большинство неравномерно эллиптических дифференциальных уравнений в частных производных, удовлетворяющих неравенству Мингионе, должны иметь регулярные решения. Но некоторые дифференциальные уравнения в частных производных все еще отсутствовали. Чтобы доказать полную гипотезу, математикам пришлось получить еще более точные оценки размеров частей градиента. Полного зазора не было. Это потребовало многократного начала работы — «бесконечной игры», — сказал Де Филиппис. Но в конце концов им удалось доказать, что порог, предсказанный Мингионе десятилетиями ранее, был абсолютно верным.
Это было «чудо, сотворенное в отчаянии», — сказал он.
Де Филиппис и Мингионе не просто завершили столетний проект. Они также дали возможность математикам изучать сложные реальные процессы, которые до сих пор приходилось моделировать с помощью нереалистично упрощенных уравнений.
Исследователи также с энтузиазмом относятся к возможности применения своих методов для понимания других типов дифференциальных уравнений в частных производных, включая те, которые изменяются как в пространстве, так и во времени. «Самое удивительное в том, что они объединили всю эту глубокую теорию под одной крышей, а затем получили доказательство», — сказал Туомо Кууси из Хельсинкского университета.
Математический анализ дифференциальных уравнений в частных производных всегда был практически непомерно сложным. Теперь же он стал немного проще. За ними, по словам Де Филипписа, скрывается «огромная реальность», ожидающая объяснения.
Источник: www.quantamagazine.org
