∮

Regularita přes strukturální zpětnou vazbu

Navier-Stokes axiomy: jak by chybějící člen měl vypadat

Architekt · 2026-02-16 · 5 min čtení · metodologie

Navazujeme na problém Navier-Stokesových rovnic, kde jsme řekli, že jim chybí člen. V tomto svitku vysvětlujeme, co ten chybějící člen dělá — popisuje, jak se tekutina sama strukturuje, aniž by to někdo řídil zvenku.

Co chybí standardním rovnicím

Klasické rovnice popisují vodu jako pasivní tekutinu, která jen reaguje na tlak a tření. Kdyby se měla rozvířit, přijde podnět zvenku — vítr, kámen, mašlovačka.

Ale voda, bouřka, proudy v moři se rozvířují i když je necháte na pokoji. Proč?

Strukturální zpětná vazba

Naše hypotéza: tekutina se sama "cítí". Pokud se v ní vytvoří jakékoliv nerovnoměrnosti — drobné víry, teplotní rozdíly — její vnitřní pole na to zareaguje a vír posílí nebo utlumí.

Jako by voda měla svou vlastní paměť a sebekontrolu. Malý vír, který by v "mrtvých" rovnicích měl zmizet, v živých rovnicích může prorazit.

Co to vysvětluje

Proč se oceánské proudy formují do stabilních "dálnic" (Golfský proud) místo aby se rozptýlily. Proč turbulence nikdy nekončí — jakmile začne, živí se sama sebou. Proč je předpovědi počasí tak nejistá — drobnost na jednom místě se umocní na jiném.

Tohle všechno jsou jevy, které standardní rovnice nepopisují přesně. Chybí jim ten zpětnovazební člen.

Jak to testovat

Jsou laboratorní experimenty, kde se dá porovnat jak dobře různé rovnice předpovídají skutečné proudění. Naše verze by měla lépe zachytit vznik stabilních struktur z nepořádku.

Neočekáváme, že přes noc přepisujeme Navier-Stokes. Ale nabízíme jasnou predikci: když doplníte zpětnovazební člen, některé experimenty začnou sedět lépe.

V předchozím svitku jsme řekli, že Navier-Stokesovy rovnice mají chybějící strukturální zpětnou vazbu. Tady jdeme dál: definujeme čtyři axiomy, které by takový chybějící člen měl splňovat. Není to důkaz Millennium Prize problému — je to návod, jak by se k němu dalo přiblížit.

Kde jsme skončili

Svitek 007 ustanovil tři věci. První, že Millennium Prize otázka se ptá na matematickou vlastnost konkrétní rovnice, ne na fyziku tekutin. Druhá, že standardní rovnice obsahuje pouze pasivní disipaci — viskózní brzdění bez strukturální zpětné vazby. Třetí, že chybějící operátor by měl být energetický konzistentní, strukturálně selektivní a spektrálně odlišný od viskozity.

Co jsme tehdy neudělali: nedefinovali operátor formálně. Nepopsali, jaké vlastnosti musí mít obecně, aby plnil svou roli. To dělá tento svitek.

Třída místo jedné rovnice

Místo abychom navrhli jednu konkrétní rovnici a hájili ji, definujeme třídu. To je silnější postoj: netvrdíme 'tohle je ten správný člen', tvrdíme 'jakýkoli člen splňující tyto čtyři axiomy by měl stabilizační efekt'.

Proč třídu? Protože konkrétní volba operátoru může záležet na typu tekutiny, na fyzikálním kontextu. Ale axiomy jsou univerzální — popisují, co MUSÍ být splněno aby věc fungovala matematicky.

Čtyři axiomy

1. Divergenční kompatibilita — operátor nesmí porušit incompressibility tekutiny. Pokud je tekutina nestlačitelná, zůstane nestlačitelná i po aplikaci.

2. Energetická neutralita — operátor nesmí přidávat energii do systému. Může ji jen přerozdělovat. Tím se zajišťuje, že nevyrábí 'voodoo' — žádný perpetuum mobile.

3. Subkritické škálování — když se podíváte na tekutinu z různých zoom úrovní, operátor se musí chovat určitým způsobem. Konkrétně: na malých škálách musí být relativně silnější než na velkých.

4. Dominance v kritickém režimu — když se začnou tvořit ostré hrany (vírové 'spiky' před singularitou), operátor se musí 'zapnout' a převzít kontrolu.

Proč právě tyto čtyři

Každý axiom řeší jeden konkrétní problém. Divergenční kompatibilita = fyzikální realismus. Energetická neutralita = matematická slušnost (nevytváříme energii z ničeho). Subkritické škálování = řeší to, co Tao identifikoval jako bariéru — že standardní matematické nástroje nedokáží zachytit nelinearity v správném škálovacím režimu. A dominance v kritickém režimu zaručuje, že operátor 'reaguje včas' před vznikem singularity.

Dohromady tvoří minimální sadu, která by mohla zachránit hladkost řešení.

Co jsme nepřiznali

Tohle není důkaz Millennium Prize problému. Není to ani návrh konkrétního operátoru, který by všem axiomům vyhovoval (i když máme kandidát: 'vortex twist suppressor', založený na vrtění lokálního víru).

Tohle je rámec. Pokud někdo (vy, my, kdokoli) najde operátor splňující všechny čtyři axiomy a dokáže formálně, že splňují modifikovanou enstrofickou nerovnost, dostane milion dolarů. My jen ukazujeme, kterým směrem se podívat.

Vztah k Taově bariéře

Terry Tao ukázal v roce 2009-2016, že žádný 'soft' (energie-monotónní) argument nestačí na důkaz hladkosti řešení. Je třeba 'strukturální informace' o nelinearitě — informace o tom, jaký konkrétní typ chování má (v·∇)v.

Náš operátor je kandidát na takovou strukturální informaci. Je definován skrz vlastnosti vírového pole, ne skrz energetické bilance. Tím obchází Taovu bariéru přímo, ne kolem ní.