Источник / закреплённая редакция
Изложение результата Ladyzhenskaya 1969 о глобальной гладкости Navier-Stokes в 2D
Источник пакета ladyzhenskaya.two_dimensional_1969 · LADYZHENSKAYA_EXPOSITION-1
- work
- urn:doctrine:math:ladyzhenskaya-2d-1969#LADYZHENSKAYA_EXPOSITION
- номер
- LADYZHENSKAYA_EXPOSITION-1
- вид
- urn:doctrine:math:ladyzhenskaya-2d-1969#doctrine
LADYZHENSKAYA_EXPOSITION_RU
- edition
- urn:doctrine:math:ladyzhenskaya-2d-1969#LADYZHENSKAYA_EXPOSITION_RU
- язык
- ru
- официальность
- unofficial
- материализация
- PINNED_OFFICIAL_BYTES
- жизненный цикл
- —
Публикации
| URI | Тип | documentHash | Получено |
|---|---|---|---|
| urn:math:ladyzhenskaya-2d-1969:exposition:ru | text/plain; charset=utf-8 | sha256:eb0e7815d81412c99de9716ab6f95ad86ab809356da20614959428be7ca9bb3a | 2026-09-17T00:00:00Z |
Фрагменты — 1
exposition · defn · на него ссылаются: 6
ru · unofficial · sha256:eb0e7815d81412c99de9716ab6f95ad86ab809356da20614959428be7ca9bb3a
Изложение результата Ladyzhenskaya (1969) о глобальной гладкости Navier-Stokes в 2D
Это АВТОРСКОЕ ИЗЛОЖЕНИЕ (sourceFidelity = "authored_exposition"), написанное
для настоящего репозитория, а не перепечатка или перевод книги. Сама книга не
пинуется в воспроизводимом виде; её существование и локатор называются как
reference-факт этого изложения. Официальная постановка CMI/Fefferman сама
ссылается на этот результат -- пинуется отдельно в cmi.navier_stokes как
NS_PARTIAL_RESULTS, locator "partial-results": "In two dimensions, the
analogues of assertions (A) and (B) have been known for a long time
(Ladyzhenskaya [4])".
Результат. В РАЗМЕРНОСТИ 2 (не 3) для ЛЮБОГО дивергентно-свободного
начального поля u_o(x) надлежащей гладкости и нулевой (либо надлежаще
регулярной) внешней силы f, уравнения Navier-Stokes на R^2 (или на торе
R^2/Z^2) имеют ЕДИНСТВЕННОЕ ГЛАДКОЕ решение на ВСЁМ интервале [0,infinity) --
аналог постановок (A) и (B) CMI, но в размерности 2. ВАЖНО: этот результат
НЕ закрывает постановку CMI -- она сформулирована СТРОГО для n=3 (см.
cmi.navier_stokes: "Take nu > 0 and n = 3" во всех четырёх claim). Ни одно
правило этого пакета и ни одно правило набора arxo.navier_stokes не выводит
established_by_source ни для одного из четырёх claim CMI из этого
результата -- размерностная граница 2D/3D сохранена явно.
reference: O. Ladyzhenskaya, "The Mathematical Theory of Viscous
Incompressible Flow" (2nd edition), Gordon and Breach, New York, 1969.Ссылаются нормы: Ladyzhenskaya2DGlobalSmoothness, LadyzhenskayaClaim, LadyzhenskayaProof, LadyzhenskayaSource, ladyzhenskaya-proves, ladyzhenskaya_2d_global_smoothness_established
Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.