Progressi sul problema di Navier-Stokes

Dagli anni Trenta, i matematici hanno affrontato il problema da molte angolazioni, dalle stime di energia e dalla geometria fino alla probabilità e all'analisi assistita dal calcolatore. La questione completa di esistenza e regolarità in 3D resta completamente, ostinatamente aperta.

Ma ecco ciò che spesso sfugge: abbiamo imparato moltissimo da novant'anni di attacchi falliti, e il quadro collettivo è molto più ricco di quanto suggerisca una semplice etichetta di "irrisolto". Intere strategie eliminate. Sottocasi chiusi. Sappiamo, con progressi sostanziali: alcuni sottocasi sono risolti, diversi criteri condizionali sono compresi, e le principali barriere sono molto più chiare. Quella che segue è una mappa di questi progressi.

Il problema della regolarità di Navier-Stokes chiede esistenza globale e regolarità delle soluzioni del sistema incomprimibile 3D con dati lisci e rapidamente decrescenti. Ha resistito alla soluzione fin dalla sua formulazione moderna. Le principali linee di attacco includono la teoria delle soluzioni deboli di Leray–Hopf, la regolarità parziale tramite la teoria geometrica della misura, la regolarità condizionale mediante criteri di continuazione, metodi probabilistici e stocastici, e l'integrazione convessa per la non unicità.

Nessun approccio ha risolto il problema completo. Nel loro insieme, però, hanno chiarito le barriere critiche: lo scaling supercritico, il divario tra soluzioni nella classe di energia e soluzioni lisce, e la possibilità inquietante che la stessa unicità possa fallire nelle classi di soluzioni deboli.

Cinque risultati che hanno rimodellato il campo:

• 1934, Leray: Dimostrò che esistono soluzioni deboli globali nel tempo per qualunque dato iniziale ragionevole. Qualcosa persiste per sempre. Ma resta liscio? Questa è la domanda a cui Leray non riuscì a rispondere, e dopo novant'anni non ci riesce ancora nessun altro.
• 1982, Caffarelli, Kohn, Nirenberg: L'insieme delle possibili singolarità è estremamente piccolo: nella geometria parabolica naturale per queste equazioni, ha misura unidimensionale nulla. Infinitesimale. Se si verifica blowup, è raro oltre ogni immaginazione.
• 1984, Beale, Kato, Majda: Risultato enorme. Una soluzione liscia può rompersi solo se la vorticità esplode, il che ha dato all'intero campo un obiettivo preciso: controllare la norma di vorticità rilevante abbastanza fortemente, e una soluzione liscia non può rompersi in quell'istante.
• 2016, Tao: Costruì blowup per una Navier-Stokes mediata che condivide le stesse proprietà di energia e di scaling del sistema reale; ciò significa che una dimostrazione per l'equazione reale deve usare una struttura più fine delle sole stime di energia e dello scaling. Una barriera. Non una soluzione.
• 2022, Albritton, Brué, Colombo: Le soluzioni deboli di Leray-Hopf non sono uniche quando si ammette una forza esterna. Cattiva notizia: la classe di soluzioni più debole non è addomesticata come speravamo, e questo costringe a ripensare che cosa significhi persino "soluzione" a questo livello.

• 1934, Leray: Esistenza globale di soluzioni deboli in \(L^2\) per dati a divergenza nulla \(u_0 \in L^2(\mathbb{R}^3)\), che soddisfano la disuguaglianza di energia (J Math Pures Appl).
• 1982, Caffarelli–Kohn–Nirenberg (CKN): Regolarità parziale; \(\mathcal{P}^1(\mathrm{sing}\, u)=0\), cioè la misura di Hausdorff parabolica unidimensionale dell'insieme singolare si annulla. È ancora il risultato generale più forte di cui disponiamo (Comm Pure Appl Math).
• 1984, Beale–Kato–Majda (BKM): Il criterio di continuazione che ha rimodellato il campo: una soluzione liscia su \([0,T)\) si estende oltre \(T\) se e solo se \(\int_0^T \|\omega(\cdot,t)\|_{L^\infty}\,dt < \infty\), riducendo la regolarità al controllo della vorticità. Originariamente per Euler; adattato a Navier-Stokes (Comm Math Phys).
• 2016, Tao: Blowup in tempo finito per un'equazione di Navier-Stokes mediata che obbedisce alle stesse proprietà di energia e di scaling del sistema vero, il che significa che qualunque dimostrazione di regolarità deve sfruttare una struttura più fine (J Amer Math Soc).
• 2022, Albritton–Brué–Colombo: Non unicità delle soluzioni di Leray-Hopf per Navier-Stokes 3D forzata, costruita tramite soluzioni autosimili instabili (Ann of Math).

Questa pagina è una mappa, non il territorio. Per i dettagli:

Per una trattazione dettagliata di specifiche direzioni di ricerca:

• Sottoproblemi: casi risolti e parzialmente risolti, inclusa la regolarità globale 2D (Ladyzhenskaya 1959), il caso assialsimmetrico senza swirl, risultati in spazi critici (\(L^3\), \(\dot{H}^{1/2}\), \(BMO^{-1}\)) e criteri di regolarità condizionale oltre BKM.
• Approcci: le principali strategie di dimostrazione oggetto di indagine attiva, inclusi metodi di energia ed enstrofia, decomposizione in profili, teoria delle soluzioni mild, Navier-Stokes stocastica, programmi di integrazione convessa e stime assistite dal calcolatore.

Ultima revisione: marzo 2026. Questa pagina è una directory viva. Man mano che compaiono nuovi risultati e vengono pubblicati articoli più approfonditi, sarà aggiornata.

Ultima revisione: marzo 2026. Questa pagina funge da hub di navigazione. Per correzioni o suggerimenti, consulta il repository del sito.