Существование и гладкость решений уравнений Навье-Стокса простыми словами

Abyssus abyssum invocat

В новостях мелькнула математическая сенсация. Получено решение одной из задач тысячелетия¹ — существование и гладкость решений уравнений Навье-Стокса.

\frac{\partial\vec v}{\partial t}+(\vec v\cdot\nabla)\vec v=-\frac{1}{\rho}\nabla p+\nu\Delta\vec v+\vec f(\vec x,\;t)

Понятно, что ничего не понятно. Давайте разбираться.

Суть задачи

Уравнения Навье-Стокса описывают движение жидкости или газа. Но если у настоящего вещества на микроуровне есть молекулы, атомы и прочие лямбды, дельты, омеги, кси², то для матмодели мы разбиваем пространство на бесконечно малые области и описываем их поведение.

В каждый момент времени у каждой области есть:

• скорость;
• давление;
• направление движения.

В уравнении есть два конкурирующих эффекта.

И вопрос тысячелетия был примерно такой:

До сих пор никто не мог доказать ни «нет, никогда», ни «да, вот конкретный способ, как это происходит».

Гладкость

Что, вообще, такое «совершенно гладкий поток»?

Это математический термин. Грубо говоря, скорость жидкости меняется по пространству и времени плавно, без скачков, разрывов и бесконечных величин.

Представь, что мы можем поставить датчик в каждую точку жидкости и измерять скорость.

Если поток гладкий, то соседние точки ведут себя примерно согласованно:

→ → → → →
→ → → → →
→ → → → →

Скорость постепенно меняется от точки к точке.

А вот нечто вроде:

→ → → | ← ← ←
→ → → | ← ← ←
→ → → | ← ← ←

означало бы резкий скачок скорости на границе. Такое поле уже не является гладким в математическом смысле.

Момент со звёздочкой. В математике можно требовать разные степени гладкости.

Например:

• функция непрерывна;
• у неё существует первая производная;
• существуют первая и вторая производные;
• производные существуют сколько угодно раз.

Для классического решения Навье–Стокса требуется достаточно высокая регулярность, чтобы все производные, которые стоят в уравнениях, существовали и были конечными.

Ну вы поняли. Поток должен всегда вести себя адекватно, не давая всплесков.

Пример. В нулевой момент времени t мы видим такой поток:

   ↗     →     ↘
      ↗  ↑  ↘
    →    ⟳    ←
      ↘  ↓  ↗
   ↘     ←     ↙

Ну и вопрос:

Может ли из такого гладкого начального состояния сама динамика Навье–Стокса за конечное время создать бесконечность?

Математически это выражается так:

В начальной точке:

u(x,0)<∞

Всё гладенько.

И вот, в какой-то точке ВНЕЗАПНО:

| u ( x _ { 0 }, t ) | \to \infty \quad \mathrm { n p n } \quad t \to T.

Это и называется blow-up.

Физически это можно представить как образование всё более резкого и концентрированного вихря.

И именно поэтому формулировка задачи Навье–Стокса фактически спрашивает:

Ну и, если решение, созданное нейросетью Open AI верно, ответ «нет».

Суть открытия

OpenAI построила конструкцию, в которой возникает вихрь, примерно такой:

Он начинает закручиваться внутрь и вытягиваться.

Представьте водоворот, который одновременно:

1. сжимается;
2. вращается всё быстрее;
3. вытягивается вдоль оси;
4. концентрирует всё более сильное вращение в крошечной области.

Причём происходит это не за бесконечное время, а за конечный промежуток времени.

В пределе скорость в центральной области стремится к бесконечности.

Это самый классический blow-up, или образование сингулярности.

Для самых сильных котят — что такое сингулярность в контексте задачи

В контексте задачи Навье–Стокса сингулярность — это момент, когда решение уравнений, начавшееся как гладкое и конечное, за конечное время перестаёт оставаться гладким.

Математика вопроса

Формально пусть $\mathbf u(x,t)$ — поле скорости. Сингулярность возникает в некоторый конечный момент $T$, если при $t\to T$ какая-либо величина, необходимая для гладкого решения, становится неограниченной. Например,

\underset { t \, \to \, T } { \operatorname* { l i m } } \left\| u ( \, \cdot \,, t ) \right\| _ { \infty } = \infty

или, что особенно существенно для вихревой динамики,

\underset { t \, \to \, T } { \operatorname* { l i m } } { \| \nabla u ( \, \cdot \,, t ) \| } _ { \infty } = \infty.

То есть до $T$:

\left\| \nabla u ( \cdot, t ) \right\| _ { \infty } < \infty,

а при приближении к $T$:

\left\| \nabla u ( \, \cdot \,, t ) \right\| _ { \infty } \to \infty.

Физический смысл

Понимаю, формулы вас несколько подавили. Сейчас будет понятнее.

Представьте вихрь. В нормальном гладком потоке скорость меняется постепенно:

→  →  ↗
→  ↗  ↑
↘  ↓  ←

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

Получается не просто «очень быстро движущаяся вода». Возникает математическая точка, в которой поле перестаёт обладать требуемой гладкостью.

И ключевое слово здесь — конечное время. Если величина стремилась бы к бесконечности только при

t \to \infty,

это не было бы конечновременной сингулярностью. Проблема Навье–Стокса именно в том, может ли из конечного гладкого начального состояния возникнуть такой blow-up при некотором $T<\infty$.

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

* * *

Вы скажете — так они просто подсунули в уравнение бесконечную силу, это же бессмысленно, так не бывает. Так ведь нет, внешнее воздействие остаётся гладким, энергия потока конечна. А сингулярность вылезает из самой динамики уравнений.

Так и что, водичка может литься бесконечно быстро?

Нет, потому что это математическая модель.

В некоторый момент модель непрерывной жидкости перестаёт адекватно описывать происходящее. В реальном веществе есть молекулы, атомы и другие физические эффекты, которых в идеализированных уравнениях нет.

То есть математический вывод примерно такой:

«Если мы будем считать жидкость идеальным непрерывным континуумом и заставим её развиваться строго по этим уравнениям, то существует сценарий, при котором математическая скорость становится бесконечной за конечное время».

А не:

«Вода в стакане может физически разогнаться до бесконечной скорости».

А что конкретно сделала нейронка Open AI?

OpenAI сначала дала нескольким десяткам агентов более простой вариант задачи: уравнения Эйлера, то есть Навье–Стокс без вязкости.

Ничто не способствует совершенствованию ума больше, чем изучение математики

Леонард Эйлер

выдающийся математик, механик, физик и астроном

Для идеальной несжимаемой жидкости оно записывается так:

{ \frac { \partial u } { \partial t } } + ( u \cdot \nabla ) u = { } - \frac { 1 } { \rho } \nabla p + f

при условии несжимаемости:

\nabla \cdot { u } = 0

Где:

• $\mathbf{u}$ — поле скорости жидкости;
• $t$ — время;
• $\rho$ — плотность;
• $p$ — давление;
• $\mathbf{f}$ — внешняя сила, например гравитация;
• $(\mathbf{u}\cdot\nabla)\mathbf{u}$ — нелинейное ускорение, возникающее из-за движения самой жидкости.

А вот Навье–Стокс:

{ \frac { \partial u } { \partial t } } + ( u \cdot \nabla ) u = { } - \frac { 1 } { \rho } \nabla p + \nu \Delta u + f

Здесь появляется дополнительный член

\nu \Delta u

Это и есть вязкость.

Поэтому концептуально:

Эйлер = движение + давление + внешние силы

а

Навье-Стокс = Эйлер + вязкость

И именно поэтому уравнение Эйлера оказалось полезным для истории с OpenAI: если убрать вязкость, проще увидеть механизм, который способен концентрировать вихрь и приводить к blow-up. В Навье–Стоксе затем приходится доказывать, что вязкость не успевает этот механизм подавить.

Агенты нашли там вариант blow-up. После этого OpenAI фактически сказала системе: «Хорошо, а теперь попробуйте проделать то же самое с настоящими Навье–Стоксом».

Дальше работали тысячи агентов параллельно. OpenAI сообщает о примерно 10 000 одновременно работавших агентов, 2,7 млн сообщений и около 130 млрд выходных токенов именно на работу над Navier–Stokes. Само решение было найдено примерно за 88 часов, а затем ещё 17 часов ушло на формализацию и проверку в Lean.

Причём OpenAI выложила не только математическую статью, но и формализованное доказательство на Lean. Это существенно: Lean позволяет машине независимо проверить большое количество логических переходов доказательства.

a+b=b+a

example (a b : Nat) : a + b = b + a := by
  exact Nat.add_comm a b

Но есть очень важная оговорка

Я бы пока не говорил: «OpenAI окончательно решила задачу тысячелетия».

На данный момент это заявление OpenAI с опубликованным доказательством, а не уже принятое математическим сообществом решение. Независимая проверка ещё идёт.

И вокруг происхождения идеи уже возник серьёзный спор. В частности, математики Tristan Buckmaster и Levent Alpöge утверждают, что работа OpenAI связана с методами, над которыми они работали, а более ранняя идея механизма сингулярности восходит к работам Diego Córdoba и Luis Martínez-Zoroa. OpenAI утверждает, что не использовала их закрытую работу непосредственно, хотя признаёт, что полностью исключить косвенное влияние обезличенных данных не может.

Поэтому на сегодня я бы сформулировал статус так:

OpenAI предъявила 165–166-страничное доказательство того, что трёхмерные уравнения Навье–Стокса допускают конечновременную сингулярность. Если независимые математики подтвердят доказательство, это действительно будет решение одной из семи задач тысячелетия.

И, пожалуй, самое неожиданное здесь не то, что ИИ «посчитал очень много». Он фактически нашёл конструкцию конкретного патологического вихря, где нелинейность выигрывает у вязкости. Именно эта идея и является сердцем результата.

1. Семь фундаментальных математических проблем, определённых Математическим институтом Клэя (США) в 2000 году. За решение каждой из них обещано вознаграждение в 1 миллион долларов США. Эти задачи охватывают ключевые области науки: от топологии и теории чисел до математической физики и теоретической информатики. ↩︎
2. Названия странных адронов (тяжёлых барионов) — это частицы, состоящие из трёх u или d-кварков и одного s-кварка (или одного u-кварка и двух s-кварков). Их названия происходят от букв греческого алфавита: лямбда (λ), дельта (δ), омега (ω) и кси (ξ)  ↩︎

Источники

1. OpenAI. On the Navier–Stokes Millennium Prize Problem. 8 September 2026. Это основной источник для моего рассказа о том, что именно заявляет OpenAI: конечновременная сингулярность, вихревая конструкция, роль вязкости, связь с предварительным результатом для уравнений Эйлера и формализация в Lean. (OpenAI)
2. Fefferman, Charles L. Existence and Smoothness of the Navier–Stokes Equations. Official problem description for the Clay Mathematics Institute Millennium Prize Problems. В частности, отсюда берётся строгая постановка понятия гладкого решения: $u,p\in C^\infty$, гладкое начальное поле и условие $\nabla\cdot u=0$. (Clay Mathematics Institute)
3. Clay Mathematics Institute. Navier–Stokes Equation. Официальная страница задачи тысячелетия. Использовал её для контекста самой проблемы существования, единственности и гладкости решений. (Clay Mathematics Institute)
4. Clay Mathematics Institute. The Navier–Stokes Equations and Related Topics. Материалы конференции по уравнениям Навье–Стокса и Эйлера, включая вопросы регулярности и возможного blow-up решений уравнений Эйлера. (Clay Mathematics Institute)
5. Clay Mathematics Institute. Convex integration and synthetic turbulence. Материал Ласло Секейхиди о слабых решениях уравнений Эйлера и Навье–Стокса, их нерегулярности и неединственности. Я использовал его скорее как дополнительный контекст к терминам «гладкое/слабое решение». (Clay Mathematics Institute)