Математики наконец-то поняли поведение важного класса дифференциальных уравнений, описывающих всё — от давления воды до уровня кислорода в тканях человека.
Для изучения обтекания крыла самолета потоком воздуха, распределения напряжений на мостике или в различных других ситуациях исследователи используют эллиптические дифференциальные уравнения в частных производных. Эти уравнения, как известно, чрезвычайно сложны для понимания.
авторы: Кристина Армитедж; Майкл Каньонголо / Журнал Quanta
Траектория шторма, динамика цен на акции, распространение болезней — математики могут описать любое явление, изменяющееся во времени или пространстве, используя так называемые дифференциальные уравнения в частных производных. Но есть проблема: эти «УЧП» часто настолько сложны, что их невозможно решить напрямую. Вместо этого математики прибегают к хитрому обходному пути. Они могут не знать, как вычислить точное решение данного уравнения, но могут попытаться показать, что это решение должно быть «регулярным», или «хорошо себя ведущим» в определенном смысле — например, что его значения не будут внезапно скачкообразно изменяться физически невозможным образом. Если решение регулярное, математики могут использовать различные инструменты для его аппроксимации, получая таким образом лучшее понимание изучаемого явления. Однако многие уравнения в частных производных, описывающие реальные ситуации, остаются недоступными для решения. Математики не смогли доказать регулярность их решений. В частности, некоторые из этих недоступных уравнений принадлежат к особому классу уравнений в частных производных, теорию которых исследователи разрабатывали на протяжении столетия — теории, которую никто не мог применить к этому единственному подклассу. Они натыкались на стену.
Теперь двум итальянским математикам наконец-то удалось совершить прорыв, расширив теорию чтобы охватить эти более сложные дифференциальные уравнения в частных производных. Их статья, опубликованная прошлым летом, знаменует собой кульминацию амбициозного проекта, который впервые позволит ученым описать реальные явления, долгое время не поддававшиеся математическому анализу.
Хорошие или плохие
Во время извержения вулкана раскалённый, хаотичный поток лавы течёт по земле. Но через несколько часов или дней (а может, и дольше) он достаточно остывает, чтобы войти в состояние равновесия. Его температура больше не меняется от момента к моменту, хотя всё ещё варьируется от места к месту на огромной территории, покрываемой лавой.
Mikael Häggström/Creative Commons; Ted Kinsman/Science Source
Математики описывают подобные ситуации с помощью так называемых эллиптических дифференциальных уравнений в частных производных. Эти уравнения описывают явления, изменяющиеся в пространстве, но не во времени, такие как давление воды, протекающей через горную породу, распределение напряжений на мосту или диффузия питательных веществ в опухоли. Однако решения эллиптических дифференциальных уравнений в частных производных сложны. Например, решение уравнения в частных производных для лавы описывает ее температуру в каждой точке при заданных начальных условиях. Оно зависит от множества взаимодействующих переменных.
Исследователи стремятся получить приблизительное решение, даже если его невозможно записать. Но используемые ими методы хорошо работают только в том случае, если решение является регулярным — то есть, в нем нет резких скачков или изломов. (Не будет резких скачков температуры лавы в разных местах.) «Если что-то пойдет не так, это, вероятно, произойдет из-за [отсутствия] регулярности», — сказал Максон Сантос Лиссабонского университета.
В 1930-е годы польский математик Юлиуш Шаудер. Он стремился установить минимальные условия, которым должно удовлетворять эллиптическое дифференциальное уравнение в частных производных, чтобы гарантировать регулярность его решений. Он показал, что во многих случаях достаточно доказать лишь то, что правила, заложенные в уравнении, — например, правило скорости распространения тепла в лаве, — не меняются слишком резко от точки к точке.
За десятилетия, прошедшие с момента доказательства Шаудера, математики показали, что этого условия достаточно для того, чтобы любое дифференциальное уравнение в частных производных, описывающее хороший, «однородный» материал, имело регулярные решения. В таком материале существует предел того, насколько экстремальными могут быть основные правила. Например, если предположить, что ваша лава однородна, тепло всегда будет распространяться в пределах определенных скоростей, никогда не слишком быстро или слишком медленно. Но лава на самом деле представляет собой разнообразную смесь расплавленной породы, растворенных газов и кристаллов. В таком неоднородном материале невозможно контролировать крайние значения, и скорость распространения тепла может значительно различаться в зависимости от местоположения: некоторые участки лавы могут проводить тепло очень хорошо, а другие — очень плохо. В этом случае для описания ситуации будет использоваться дифференциальное уравнение в частных производных с «неравномерной эллиптической» структурой.
На протяжении десятилетий никто не мог доказать, что теория Шаудера справедлива для этого типа дифференциальных уравнений в частных производных. К сожалению, «реальный мир имеет неравномерную эллиптическую форму», — сказал Джузеппе Минджоне. Минджоне — математик из Пармского университета в Италии. Это означало, что математики зашли в тупик. Минджоне хотел понять, почему.
Машина времени
В августе 2000 года Мингионе — 28-летний, только что защитивший докторскую диссертацию — оказался в курортном городе в России, участвуя в конференции по дифференциальным уравнениям. Однажды вечером, не найдя себе лучшего занятия, он начал читать работы Василия Васильевича Жикова, математика, с которым познакомился в поездке, и понял, что неравномерно эллиптические дифференциальные уравнения в частных производных, которые кажутся хорошо себя ведущими, могут иметь нерегулярные решения, даже если они удовлетворяют условию, установленному Шаудером. Теорию Шаудера было не просто сложнее доказать в неравномерном случае. Она нуждалась в обновлении.
Вернувшись в Италию, он вместе с двумя коллегами предложил, что для неравномерно эллиптических дифференциальных уравнений в частных производных необходимо удовлетворять дополнительному условию. Чтобы гарантировать правильность своих решений, необходимо было не только постепенно изменять правила теплового потока от точки к точке, но и строго контролировать эти изменения, учитывая неоднородность лавы. В частности, математики предположили, что чем более неоднороден материал, тем строже должен быть этот контроль. Они представили это условие в виде неравенства, устанавливая точный порог того, какую степень неоднородности может допустить система.
Они показали, что для дифференциальных уравнений в частных производных, где неравенство не выполняется, они больше не могут гарантировать регулярность решений. Но они не смогли доказать, что неравенство точно указывает точку, где решения переходят из регулярных в потенциально нерегулярные. Мингионе потратил годы на решение этой проблемы, но безрезультатно. В конце концов он отказался от этой затеи. Прошло почти 20 лет. Затем, в 2017 году, студентка первого курса магистратуры по имени Кристиана Де Филиппис. Она услышала о попытке расширить теорию Шаудера на неравномерно эллиптические уравнения. Более опытные математики предостерегли её от решения этой проблемы, но она проигнорировала их советы и обратилась к Мингионе. Во время ночного разговора по Skype она сказала ему, что у неё есть несколько идей, как доказать его гипотезу, и она полна решимости продолжить с того места, где он остановился.
«Это было как машина времени, — сказал Мингионе. — Это было похоже на встречу с самим собой 20 лет назад и на то, как будто я постучал в дверь собственного сознания». По его словам, именно «новая энергия, энтузиазм и вера Кристианы Де Филиппис в то, что это возможно», убедили его возобновить давно забытую попытку доказать свою гипотезу.
Чудеса
Ключ к доказательству регулярности решения дифференциального уравнения в частных производных заключается в демонстрации того, что оно всегда изменяется контролируемым образом. Математики делают это, рассматривая специальную функцию, описывающую скорость изменения решения в каждой точке. Они хотят показать, что эта функция, называемая градиентом, не может стать слишком большой. Но точно так же, как обычно невозможно напрямую вычислить решение дифференциального уравнения в частных производных, обычно невозможно вычислить и его градиент.
Вместо этого Де Филиппис и Мингионе вывели из исходного уравнения в частных производных то, что они назвали «призрачным уравнением», — бледную тень того, что им действительно было нужно. Именно здесь Мингионе застрял десятилетиями ранее. Но у Де Филиппис появилась идея, как усовершенствовать «призрачное» уравнение, чтобы оно давало более четкое представление о дифференциальном уравнении в частных производных. Используя длительную многоэтапную процедуру, пара смогла получить достаточно информации из «призрачного» уравнения, чтобы восстановить градиент.
«Делать это таким образом довольно неправдоподобно», — сказал Саймон Новак Билефельдского университета в Германии: «Но это работает, и это довольно красиво». Теперь им предстояло выяснить, как показать, что восстановленный ими градиент не может стать слишком большим. Они разделили его на более мелкие части и доказали, что каждая часть не может превышать определенный размер. Это потребовало огромных усилий: даже крошечная ошибка измерения в отдельной части могла исказить их оценку градиента, отдалив их от порогового значения, которое они стремились доказать.
В препринте 2022 года им удалось достаточно хорошо упорядочить все эти элементы, чтобы показать, что большинство неравномерно эллиптических дифференциальных уравнений в частных производных. Уравнения в частных производных, удовлетворяющие неравенству Мингионе, должны иметь регулярные решения. Но некоторые дифференциальные уравнения в частных производных всё ещё отсутствовали. Чтобы доказать полную гипотезу, математикам пришлось получить ещё более точные оценки размеров частей градиента. Никакой возможности для маневра не было. Это потребовало многократного начала работы — «бесконечной игры», — сказал Де Филиппис. Но в конце концов им удалось доказать, что порог, предсказанный Мингионе десятилетиями ранее, оказался абсолютно верным. Это было «чудо, сотворенное в отчаянии», — сказал он. Де Филиппис и Мингионе не просто завершили столетний проект. Они также дали возможность математикам изучать сложные реальные процессы, которые до сих пор приходилось моделировать с помощью нереалистично упрощенных уравнений.
Исследователи также с энтузиазмом относятся к возможности применения своих методов для понимания других типов дифференциальных уравнений в частных производных, включая те, которые изменяются как в пространстве, так и во времени. «Самое удивительное в том, что они объединили всю эту глубокую теорию под одной крышей, а затем получили доказательство», — сказал Туомо Кууси Университета Хельсинки.
Математический анализ дифференциальных уравнений в частных производных всегда был практически непомерно сложным. Теперь же он стал немного проще. За ними, по словам Де Филиппис, скрывается «огромная реальность», ожидающая объяснения.
источник: https://www.quantamagazine.org/long-sought-proof-tames-some-of-maths-unruliest-equations-20260206/