Sottoproblemi di Navier-Stokes

Nel 1934, Jean Leray ebbe un'idea. Che cosa succede se si allenta il requisito che le soluzioni siano perfettamente lisce? Eliminando questa richiesta, sorprendentemente, si può dimostrare che le soluzioni esistono sempre. I matematici chiamano queste soluzioni rilassate soluzioni deboli.

Analogia: non riesci a trovare una strada perfetta tra due città, quindi accetti invece un sentiero sterrato con qualche dosso. Leray mostrò che il sentiero sterrato esiste sempre. Il Problema del Millennio chiede se esista anche la strada perfetta e, dopo novant'anni di sforzi, nessuno è riuscito a rispondere a questa domanda.

Il punto delicato? L'unicità. Non sappiamo se le soluzioni deboli siano uniche. Partendo dalle stesse condizioni iniziali potrebbero esserci diverse soluzioni deboli valide, ciascuna delle quali soddisfa le equazioni, e le equazioni possono ammettere più di una soluzione debole ammissibile dagli stessi dati iniziali.

Leray (1934) dimostrò l'esistenza di soluzioni deboli globali $u \in L^\infty_t L^2_x \cap L^2_t \dot{H}^1_x$ che soddisfano la disuguaglianza dell'energia

$$\frac{1}{2}\|u(t)\|_{L^2}^2 + \nu \int_s^t \|\nabla u(\tau)\|_{L^2}^2 \, d\tau \leq \frac{1}{2}\|u(s)\|_{L^2}^2$$

per q.o. $s \geq 0$ e per ogni $t \geq s$. Queste sono oggi chiamate soluzioni deboli di Leray-Hopf. Questioni aperte fondamentali:

• Unicità nella classe dell'energia è ignota. Per confronto, Buckmaster-Vicol (2019) hanno dimostrato la non unicità delle soluzioni deboli in classi al di sotto della classe energetica di Leray-Hopf (specificamente in $C_t L^2_x$, senza il controllo $L^2_t \dot{H}^1_x$).
• Uguaglianza vs. disuguaglianza dell'energia: le soluzioni deboli soddisfano la disuguaglianza, ma l'uguaglianza (come per le soluzioni lisce) non è garantita. L'energia può andare perduta in tempi singolari.
• Regolarità: se una soluzione di Leray-Hopf è liscia, è l'unica soluzione classica. Quindi la regolarità implica l'unicità.

Non possiamo escludere del tutto le singolarità. Ma sappiamo che non possono essere troppo gravi. Il risultato fondamentale di Caffarelli, Kohn e Nirenberg (1982) (il teorema CKN) dimostra che l'insieme dei punti in cui una soluzione potrebbe esplodere è incredibilmente piccolo.

Quanto piccolo? Nello spazio-tempo, l'insieme delle possibili singolarità ha "misura di Hausdorff parabolica unidimensionale nulla". In parole semplici: l'insieme singolare è estremamente piccolo in senso parabolico misura-teorico (misura di Hausdorff parabolica unidimensionale nulla). Le singolarità, se esistono, non possono formare curve o superfici nello spazio-tempo, e certamente non possono riempire alcuna regione.

Anche senza dimostrare la regolarità completa, sappiamo che le singolarità sono estremamente rare.

Il teorema di Caffarelli-Kohn-Nirenberg (1982): per ogni soluzione debole adatta $(u,p)$ delle equazioni di Navier-Stokes, l'insieme singolare $\Sigma$ soddisfa

$$\mathcal{P}^1(\Sigma) = 0$$

dove $\mathcal{P}^1$ è la misura di Hausdorff parabolica unidimensionale. Equivalentemente, le singolarità non possono concentrarsi su curve nello spazio-tempo.

La dimostrazione introduce soluzioni deboli adatte che soddisfano la disuguaglianza locale dell'energia

$$\int |u|^2 \varphi(t) + 2\nu \int\!\!\int |\nabla u|^2 \varphi \leq \int\!\!\int |u|^2(\partial_t \varphi + \nu \Delta \varphi) + \int\!\!\int (|u|^2 + 2p)(u \cdot \nabla \varphi)$$

e usa un criterio di $\varepsilon$-regolarità: se la quantità invariante per scala $\frac{1}{r}\int_{Q_r} |\nabla u|^2$ è sufficientemente piccola su un cilindro parabolico $Q_r$, allora $u$ è regolare al centro. La stima CKN segue quindi da un argomento di ricoprimento.

Se esiste una singolarità, che aspetto ha? I matematici spesso distinguono i possibili blowup in base al tasso:

• Tipo I: il blowup resta entro il tasso autosimilare naturale. Può assomigliare a un profilo autosimilare, ma Tipo I non significa esattamente autosimilare. Diversi importanti scenari di tipo I o a norma critica limitata sono già stati esclusi sotto ipotesi aggiuntive.
• Tipo II: il blowup supera il tasso naturale oppure si comporta in modo più irregolare, ed è molto più misterioso e assai più difficile da inquadrare con le tecniche esistenti.

Dimostrare la regolarità significa escludere entrambi i tipi. Per questo la maggior parte degli approcci moderni distingue nettamente tra gli scenari di tipo I e di tipo II, anche se alcuni strumenti si applicano a entrambi.

Supponiamo che $T^* < \infty$ sia un ipotetico primo tempo di blowup. Classificazione:

• Tipo I: $\|u(t)\|_{L^\infty} \leq \frac{C}{\sqrt{T^* - t}}$ per $t \to T^*$. Questo è il tasso naturale di scala; un'ansatz esattamente autosimilare è il caso speciale $u(x,t) = \frac{1}{\sqrt{T^*-t}} U\left(\frac{x-x_0}{\sqrt{T^*-t}}\right)$, ma il tipo I non richiede autosimilarità esatta.
• Tipo II: $\limsup_{t \to T^*} \sqrt{T^* - t} \, \|u(t)\|_{L^\infty} = \infty$. Il blowup supera il tasso autosimilare.

Sul fronte delle norme critiche, Escauriaza-Seregin-Šverák (2003) e Seregin (2012) implicano che un controllo $L^3$ limitato fino a un tempo di blowup impedisce la singolarità; il risultato di Seregin mostra che la norma $L^3$ deve divergere al blowup. Gallagher-Koch-Planchon hanno fornito decomposizioni in profili per scenari a norma critica limitata, basandosi su Nečas-Růžička-Šverák (1996) e Tsai (1998), che esclusero soluzioni retrograde non banali autosimilari e certi scenari localmente autosimilari sotto le ipotesi corrispondenti.

Il tipo II rimane aperto. È lì che si concentrano i programmi moderni sulla regolarità.

Esistono misure specifiche di una soluzione fluida che si collocano esattamente al confine tra comportamento controllato e incontrollato. I matematici le chiamano norme critiche. Sono la linea di demarcazione.

Pensale come una fune sospesa. Diverse norme critiche importanti hanno criteri di regolarità condizionata: se rimangono limitate, ne segue la regolarità. L'energia che possiamo controllare sta sotto questa fune, frustrantemente fuori portata, e l'intera sfida consiste nel colmare quel divario dalla scala dell'energia fino alla soglia critica.

Quali norme contano? Le principali misurano la velocità in $L^3$ (il cubo della velocità, integrato nello spazio) o in spazi correlati. Lavori recenti hanno confermato qualcosa di incoraggiante: se una qualunque di queste quantità critiche rimane limitata, la soluzione resta liscia per sempre.

Una norma $\|\cdot\|_X$ è critica se è invariante rispetto allo scaling di Navier-Stokes: $\|u_\lambda\|_X = \|u\|_X$. I principali criteri critici di regolarità:

• Escauriaza–Seregin–Šverák (2003): $u \in L^\infty_t L^3_x$ vicino al blowup $\Rightarrow$ regolarità
• Ladyzhenskaya–Prodi–Serrin: $u \in L^p_t L^q_x$, $\frac{2}{p} + \frac{3}{q} = 1$, $q > 3$ $\Rightarrow$ regolarità
• Beale–Kato–Majda: $\int_0^{T^*} \|\omega(t)\|_{L^\infty} dt < \infty$ $\Rightarrow$ regularity

Il divario: la stima dell'energia dà $u \in L^{10/3}_{t,x}$ (per immersione di Sobolev), ma la condizione critica di Serrin richiede $u \in L^5_{t,x}$. Questo divario da $10/3$ a $5$ è il cuore del problema della supercriticità.

Se avviene un blowup, dove va l'energia? Si concentra. Una parte scala-critica della soluzione deve concentrarsi in modo da impedire un controllo uniforme, e capire esattamente come funzioni questo processo è la chiave per escludere il blowup oppure dimostrare che può avvenire.

La concentrazione-compattezza offre ai matematici un modo per studiare che cosa accade quando si ingrandisce attorno a un potenziale punto di blowup. Gli argomenti di decomposizione in profili classificano i modi in cui una successione cattiva potrebbe non restare compatta: può disperdersi, concentrarsi vicino a una scala, oppure sfuggire a distanze maggiori. L'obiettivo è escludere ciascuna possibilità.

La strategia? Mostrare che ognuno di questi scenari porta a una contraddizione, il che forza la regolarità.

L'approccio concentrazione-compattezza/decomposizione in profili (Kenig-Merle, 2006; adattato a Navier-Stokes da Gallagher-Koch-Planchon, Kenig-Koch e altri) procede come segue:

1. Elemento critico: Se la regolarità globale fallisce, esiste una "soluzione di blowup minimale" con la più piccola norma critica possibile che comunque esplode.
2. Compattezza: Questa soluzione minimale ha una proprietà di compattezza: modulo simmetrie, la sua orbita $\{u(\cdot, t)\}_{t \in [0,T^*)}$ è precompatta nello spazio critico.
3. Rigidità: Mostrare che qualunque soluzione a orbita compatta deve essere nulla (o globalmente regolare), contraddicendo l’ipotesi di blowup.

Questo programma è stato completato per equazioni dispersive critiche rispetto all’energia (NLS, NLW), ma incontra ostacoli gravi per Navier-Stokes a causa della mancanza di una quantità critica conservata e della non località della pressione.

Questo articolo fa parte di Progressi.

Ogni sottoproblema ha il proprio arsenale. Esplora i principali approcci alla regolarità di Navier-Stokes per avere il quadro completo, che copre tutto, dall’analisi armonica e dai metodi energetici all’integrazione convessa e alle tecniche di concentrazione-compattezza che i ricercatori stanno attivamente sviluppando oggi.

Perché è così ostinato? Vedi Perché è difficile. La formulazione di Clay: Il problema del millennio. Turbolenza: Numero di Reynolds e turbolenza.

Questo articolo fa parte di Progressi.

Per gli strumenti analitici e geometrici sviluppati per affrontare questi sottoproblemi, vedi Approcci. Per gli ostacoli legati allo scaling e alla supercriticità, vedi Perché è difficile. Per la formulazione di Clay, vedi Il problema del millennio.