Глава 5. Навье–Стокс и синтез

Где стоит глава

Кульминация триптиха

Три предыдущие главы разобрали три роли пространственного оператора по отдельности: теплопроводность сглаживала, волна распространяла, перенос двигал профиль. Уравнения Навье–Стокса — движения вязкой несжимаемой жидкости — соединяют все три в одной системе:

$${\partial }_{t}u+(u\cdot \nabla )u=-\nabla p+\nu \Delta u,\nabla \cdot u=0.$$

Здесь $\nu \Delta u$ — вязкость, та же диффузия, что в тепле; $(u\cdot \nabla )u$ — конвекция, нелинейный перенос (аналог бюргерсовой нелинейности в векторном поле, Глава 9.4); $-\nabla p$ и условие $\nabla \cdot u=0$ — давление, связывающее поле через несжимаемость. Это венец Части IX и одна из задач тысячелетия.

Глава отличается от предыдущих по статусу честности, и это надо сказать прямо. Во-первых, опорный НС-кластер ToS — большой формальный слой, но он не 0-аксиомен: он несёт доменную аксиому об антисимметрии нелинейного члена (плюс classic). Во-вторых, трёхмерная регулярность доказана лишь условно; безусловная — открытая проблема, честная <<стена>>. Глава предъявляет, что доказано, и ровно очерчивает, что нет.

Что эта глава утверждает — и что нет

Доказанное ядро — энергетическое, на модальном (галёркинском) процессе. Безусловно: энергия диссипирует и ограничена начальной; двумерное течение регулярно (нет вытяжения вихря). Условно (в инвариантной области, при докритической энстрофии): трёхмерная регулярность.¹

Чего глава не делает: она не доказывает безусловную трёхмерную регулярность (задача тысячелетия открыта), не строит завершённое непрерывное решение и не претендует на 0-аксиомность НС-слоя. Эти рубежи помечены прямо.

Три уровня. Первый — доказанное (с доменной аксиомой): диссипация энергии, двумерная регулярность безусловно, трёхмерная — условно. Второй — процессные чтения: НС как соединённый процесс (диффузия$+$конвекция$+$связь), регулярность как свойство процесса. Третий — безусловная трёхмерная регулярность, завершённое решение — открытая граница и роль-предел.

Навье–Стокс как соединение триптиха

Разложим правую часть на три знакомые роли. Вязкость $\nu \Delta u$ — это диффузия Главы 9.2: лапласиан сглаживает поле скоростей, гася мелкие масштабы; именно она диссипирует энергию. Конвекция $(u\cdot \nabla )u$ — это перенос Главы 9.4, но нелинейный: поле переносит само себя, и здесь живёт вся трудность — та самая бюргерсова нелинейность, что рождала ударные волны. Давление $-\nabla p$ с условием $\nabla \cdot u=0$ — связь, глобально согласующая поле через условие несжимаемости (эллиптическое ограничение/проекция, а не волновой перенос).

ToS ведёт это как процесс — галёркинский (модальный): поле раскладывается по конечному числу мод, и эволюция каждой амплитуды задаётся системой обыкновенных уравнений с триадным взаимодействием $B(k,l,m)$ между модами. Ключевое свойство нелинейности выражено одной структурной аксиомой: коэффициент антисимметричен, $B(k,l,m)=-B(k,m,l)$.² Антисимметрия означает: нелинейность энергию только перераспределяет, как линейный перенос перераспределял массу (Глава 9.4). Тогда единственный сток энергии — вязкая диффузия.

Навье–Стокс — роль-соединение триптиха: вязкость играет роль диффузии, конвекция — роль нелинейного переноса, давление — роль связи. Триадный коэффициент с его антисимметрией — роль-правило сохранения энергии нелинейностью; диссипирует только диффузия.

Энергетический метод и диссипация

Из антисимметрии нелинейности следует энергетическое тождество: скорость изменения энергии есть минус удвоенная вязкость на энстрофию,

$$\frac{dE}{dt}=-2\nu \Omega \le 0.$$

В модальном (галёркинском) слое это записано как эволюционное тождество для скорости энергии (energy_rate_formula, над рациональными процессами); классическая запись $dE/dt$ — его непрерывное чтение. Здесь $\Omega$ — энстрофия (норма градиента/завихренности). Конвекция в это уравнение не входит (антисимметрия её убрала), давление — тоже; остаётся лишь вязкий сток. Поэтому энергия монотонно убывает и ограничена начальной, $E(t)\le E(0)$ — и это безусловный результат.³ Это прямой родственник диссипации тепла (Глава 9.2): там убывала $L^2$-энергия профиля, здесь — кинетическая энергия течения, и по той же причине — из-за лапласиана.

Энергетический метод — главный инструмент теории НС. Он даёт безусловный контроль над энергией; вопрос регулярности — это вопрос о контроле над высшими нормами (энстрофией и далее), и здесь двумерный и трёхмерный случаи расходятся.

Энергия течения — роль-диссипирующая величина, как и в тепле: единственный её сток — вязкая диффузия. Энергетическое тождество $dE/dt=-2\nu \Omega$ — роль-правило; оно безусловно и есть фундамент всего, что доказано о НС.

Два измерения, три измерения и <<стена>>

Различие размерностей — в вытяжении вихря. В двух измерениях завихренность — скаляр, переносимый течением; механизма её усиления нет, вытяжение тождественно нулевое. Поэтому энстрофия остаётся под контролем, и в формальном галёркинском (модальном) слое кластера двумерное течение регулярно безусловно.⁴

В трёх измерениях завихренность — вектор, и течение может его вытягивать, усиливая энстрофию. Энергетический метод контролирует энергию, но не энстрофию: возникает зазор. В том же модальном слое регулярность доказана условно — если поле остаётся в инвариантной области (энстрофия докритична относительно $\nu$), оно регулярно; но что система туда попадает и там остаётся безусловно, не доказано.⁵

Здесь — честная <<стена>>. Безусловная трёхмерная регулярность — открытая задача тысячелетия; в ToS она помечена точно: между двумя показателями (квадратичной нелинейностью и тем, что было бы нужно для безусловного контроля) лежит зазор, который ни один известный приём не закрывает.⁶ ToS не претендует на её решение — он формализует, что именно доказуемо (диссипация, двумерная регулярность, условная трёхмерная) и где проходит граница.

Регулярность — роль-свойство процесса (остаются ли высшие нормы под контролем). В двух измерениях она безусловна; в трёх — условна, а безусловная трёхмерная регулярность — открытая граница, честная <<стена>>. ToS очерчивает рубеж, а не выдаёт желаемое за доказанное.

Синтез Части IX

Часть IX вела одну систему — уравнение в частных производных как процесс grid-функций на пространственно-временной сетке — сквозь четыре роли пространственного оператора. Соберём её E/R/R-структуру и карту границ.

Единая структура. Rules: на всех уровнях — сетка, конечно-разностная схема $u^{n+1}=u^n+\Delta t{\mathcal{L}}_h{u}^n$ и конечные законы (энергия, масса, причинность, максимум). Roles: профиль $u^n$ — роль-состояние; пространственный оператор ${\mathcal{L}}_h$ — роль, и его форма задаёт тип (сглаживание / распространение / перенос / их соединение в НС); устойчивость — роль-режим (CFL). Elements: рациональные значения в узлах, конечные сетки и шаги; завершённые решения — вне элементов (P4).

Карта границ Части IX. Доказанное распадается на три честных слоя:

Глава	Доказанное ядро	Статус
9.2 Тепло	принцип максимума, диссипация энергии, CFL	0 аксиом
9.3 Волна	причинность, конечная скорость	0 аксиом
9.4 Перенос	сохранение массы, бокс, сдвиг	0 аксиом
9.5 Навье–Стокс	диссипация, 2D регулярно, 3D условно	1 доменная аксиома (+ L3)
Граница всей Части	непрерывный предел, слабые решения в $L^2$/Соболеве, ударные волны, безусловная 3D-регулярность	роль-пределы / открыто

Триптих (тепло, волна, перенос) — 0-аксиомный над ℚ; Навье–Стокс — доказательно богаче, но честно несёт одну доменную аксиому и упирается в открытую трёхмерную стену. Непрерывный предел, слабые решения и завершённые уравнения — единая роль-предельная граница всей Части.

Уравнение в частных производных — роль-процесс grid-функций; тип уравнения — роль пространственного оператора; законы сохранения и оценки — конечные суммы; устойчивость — CFL; завершённое решение — роль-предел. Навье–Стокс соединяет все роли и доводит до честной границы знания — открытой задачи тысячелетия.

Закрытие

От чисел к процессам, от процессов к уравнениям изменения — таков был путь. Часть II показала число как роль-количество; Части о анализе — предел как процесс, а не завершённый объект; Часть VIII — решение обыкновенного уравнения как Коши-процесс приближений; Часть IX — решение уравнения в частных производных как процесс grid-функций на пространственно-временной сетке. Одна онтология держала всё: актуально конечное, на каждой стадии рациональное; бесконечность и непрерывность — роль-пределы, к которым процессы направлены, но которые во многих ключевых конечных слоях не нужно актуализировать как завершённый фундамент, чтобы вести математику.

Уравнения в частных производных — предельная проверка этого взгляда, ибо именно здесь континуум кажется неустранимым. Часть IX показала, что и тут содержательное ядро — конечно и рационально: тепло сглаживает, волна распространяется, перенос движет, а Навье–Стокс соединяет их и доводит до честной границы открытого знания. Завершённый континуум остаётся направлением, а не фундаментом.

Решение уравнения в частных производных есть процесс конечных рациональных профилей, а не завершённая функция континуума; типы уравнений суть роли пространственного оператора; а граница доказуемого — от непрерывного предела до трёхмерной регулярности — очерчена честно. Таков итог Части IX и образ всего тома: математика как процесс, чьи пределы — роли, а не вещи.

---

---

Часть: Часть IX. Уравнения в частных производных · Том: «Математика»

Навигация: ← Глава 4. Перенос и нелинейность · Глава 1. Множество как Система, а не объект — Часть X →

Footnotes

1. Опорный кластер — каталог navier_stokes/ Rocq-репозитория ToS: energy_bounded_by_initial (EnergyEstimate.v, $E(t)\le E(0)$ безусловно), unconditional_2d (AttackSynthesis.v, двумерное вытяжение нулевое), conditional_regularity_theorem (трёхмерная регулярность при условии), millennium_gap_precise (точная формулировка открытого зазора). Аксиомы: кластер несёт B_antisym (антисимметрия триадного коэффициента, GalerkinSystem.v — ровно одна доменная аксиома) и classic (L3); это не 0-аксиомный слой, в отличие от триптиха Глав 9.2–9.4. Точные имена и счётчики — по README/CLAUDE репозитория. ↩

2. B_antisym в GalerkinSystem.v — единственная аксиома файла. Она формализует, что конвекция сохраняет энергию (лишь перебрасывает её между модами), не создавая и не уничтожая — дискретный аналог того, что $\int (u\cdot \nabla u)\cdot u=0$. ↩

3. energy_rate_formula (GalerkinSystem.v: $dE/dt=-2\nu \Omega$; нелинейный вклад нулевой — nonlinear_energy_zero) и energy_bounded_by_initial, energy_monotone (EnergyEstimate.v): $E$ монотонна и ограничена начальной, безусловно. Опираются на B_antisym. ↩

4. unconditional_2d: stretching_2d == 0 (AttackSynthesis.v). Отсутствие вытяжения — причина безусловной двумерной регулярности. ↩

5. conditional_regularity_theorem и инвариантная область (ConcentrationBound.v, EnergyEstimate.v): при докритической энстрофии регулярность сохраняется. Безусловного перехода в эту область нет — это и есть зазор. ↩

6. millennium_gap_precise (AttackSynthesis.v): точная формулировка зазора $\alpha =2$ против $\alpha =1$; сопровождается честной оценкой (HonestAssessment.v), что задача остаётся открытой. ↩