Non-Smooth Solutions of the Navier-Stokes Equation and their Means

Sintesi Tecnica: Soluzioni Non Smooth delle Equazioni di Navier-Stokes e le loro Medie

Enunciato del Problema
Questo articolo affronta la regolarità delle soluzioni delle equazioni di Navier-Stokes incomprimibili in un dominio spaziale periodico $T^3$. Nello specifico, investiga l'esistenza di soluzioni deboli di Leray-Hopf (LH) non smooth (blowup in tempo finito) e caratterizza la relazione tra queste soluzioni singolari e i loro valori "medi". Il lavoro si pone come una risposta al problema del Millennium Prize del Clay Mathematics Institute riguardante l'esistenza e la regolarità delle soluzioni in tre dimensioni. Gli autori sostengono di aver risolto il problema in negativo, costruendo dati iniziali che portano a un blowup in tempo finito, dimostrando simultaneamente che la media di qualsiasi soluzione debole rimane smooth per tutto il tempo.

Metodologia
L'analisi è condotta all'interno del quadro delle soluzioni deboli, utilizzando spazi funzionali specifici e principi di entropia:

• Spazi Funzionali: Gli autori lavorano principalmente nello spazio duale $V^*$ (dove $V=H^1$) piuttosto che nello standard spazio di energia $H=L^2$. Questa scelta semplifica le prove riguardanti l'analiticità e il blowup. Le soluzioni sono analizzate nello spazio $W = L^p(0, T; V^*)$ con specifiche funzioni di cutoff $\phi \in L^1(0, T; V)$.
• Principio di Entropia: Uno strumento metodologico centrale è il "Principio di Entropia", che postula l'esistenza di soluzioni deboli che massimizzano la produzione di entropia. Il documento distingue tra soluzioni che "massimizzano la produzione di entropia" (associate a fluttuazioni turbolente) e soluzioni che "minimizzano la produzione di entropia" (associate alla media).
• Analisi del Tasso di Decadimento: La prova del blowup si basa sul confronto dei tassi di decadimento di diverse componenti della soluzione. Gli autori analizzano il decadimento della soluzione $u$ rispetto al decadimento degli integrandi delle fluttuazioni turbolente $\nu_t^{int}$.
  • La soluzione $u$ (nel contesto del sottospazio SRI, ovvero Summation over Repeated Indices) esibisce un lento tasso di decadimento viscoso di $O(e^{-\nu t/2})$.
  • Le fluttuazioni turbolente $\nu_t^{int}$ (nel sottospazio NSRI, ovvero Non-Summed Repeated Indices) sono mostrate decadere a un ritmo più veloce, $O(e^{-4\nu t/3})$ (o $O(t^{-4/3})$ in termini polinomiali).
• Cutoff e Limiti: La costruzione utilizza cutoff spaziali e temporali (sottospazi a dimensione finita di elementi base smooth) per definire le soluzioni deboli. I risultati sono stabiliti come limiti in cui questi cutoff vengono rimossi.
• Diagrammi di Feynman: Il meccanismo di blowup è descritto in termini di diagrammi di Feynman connessi, dove si verifica una discontinuità in specifici coefficienti di espansione non-SRI (specificamente quelli relativi alla dissipazione turbolenta) mentre transitano da modalità turbolente a modalità viscose.

Contributi Chiave e Risultati

1. Costruzione del Blowup in Tempo Finito:
   Il documento costruisce soluzioni deboli di Leray-Hopf non smooth che sperimentano un blowup in tempo finito.

   • Dati Iniziali: Il blowup è innescato da dati iniziali "turbolenti", caratterizzati da fluttuazioni turbolenti non nulle nello spazio di analisi dell'energia (specificamente, modalità di energia NSRI non nulle).
   • Meccanismo: Il blowup deriva da una contraddizione logica nei tassi di decadimento per le soluzioni che massimizzano l'entropia. La fluttuazione turbolente $\nu_t^{int}$ decade più velocemente della soluzione $u$ stessa. Alla fine, a un tempo finito $T^*$, la curva di decadimento della fluttuazione cade al di sotto del limite inferiore del decadimento viscoso permesso per la soluzione smooth. Per risolvere questa contraddizione, la soluzione deve perdere la sua regolarità (smoothness), risultando in una discontinuità nei termini di dissipazione turbolenta.
   • Risultato: Il Teorema 5.1 stabilisce che una soluzione che massimizza l'entropia con condizioni iniziali turbolenti ha solo un intervallo finito di regolarità e non è globalmente smooth.

2. Regolarità della Media:
   Il documento identifica la "media" di una soluzione debole come un'entità distinta con proprietà di regolarità differenti.

   • Definizione: La media $M(u)$ è definita nello spazio di Fourier vettoriale come una somma di medie su spazio di configurazione, spazio di fase e tempo fisso.
   • Minimizzazione dell'Entropia: La media corrisponde a una soluzione che minimizza la produzione di entropia. Per questa classe di soluzioni, il tasso di dissipazione turbolenta $\nu_t$ è zero.
   • Smoothness: Il Teorema 7.1 prova che la media di qualsiasi soluzione debole è una soluzione smooth per tutti i tempi positivi.
   • Riduzione dell'Equazione: Per la media, i termini non lineari e le fluttuazioni turbolente scompaiono ($M(\nu_t^{NL}) = 0$ e $M(\nu_t^{temp}) = 0$). Di conseguenza, l'equazione di evoluzione per la media si riduce all'equazione del calore: $\partial_t M(u) = \nu \Delta M(u)$. Poiché le soluzioni dell'equazione del calore con dati iniziali $H$ sono smooth per $t > 0$, la media è smooth.

3. Risoluzione del Problema del Millennium Prize:
   Gli autori sostengono di aver risolto il problema del Millennium Prize in negativo.

   • Dimostrano che per certe condizioni iniziali turbolente (che sono valide all'interno dei vincoli del problema di dati periodici, smooth e a divergenza nulla), la soluzione subisce un blowup in tempo finito.
   • Chiariscono che, sebbene la media di una soluzione sia sempre smooth, la media non possiede "dati iniziali generali" (è un sottoinsieme specifico derivato dalla soluzione debole). Pertanto, la regolarità della media non costituisce una soluzione positiva al problema del premio, che richiede la regolarità per tutti i dati iniziali smooth.

Significatività e Rivendicazioni
Il documento sostiene di fornire una prova costruttiva dell'esistenza di soluzioni non smooth per le equazioni di Navier-Stokes incomprimibili 3D, confutando così la congettura che le soluzioni smooth esistano globalmente per tutti i dati iniziali smooth.

• Soluzione Negativa: Mostrando che i dati iniziali turbolenti portano a un blowup in tempo finito, il documento afferma di aver risolto il problema del Millennium Prize in negativo.
• Distinzione tra Turbolenza e Media: Un contributo concettuale significativo è la separazione rigorosa della componente "turbolenta" (che subisce il blowup) dalla componente "media" (che rimane smooth e soddisfa un'equazione del calore). Il lavoro argomenta che il valore medio di una soluzione debole è sempre una soluzione smooth, ma ciò non impedisce alla soluzione debole sottostante di diventare singolare.
• Ruolo dell'Entropia: Il lavoro enfatizza il ruolo della massimizzazione della produzione di entropia nel guidare il blowup delle fluttuazioni turbolente, contrapponendolo alla minimizzazione dell'entropia che produce la media smooth.

Gli autori notano che la loro analisi è limitata a fluidi isotermi, incomprimibili e singoli in un dominio periodico. Essi si basano sull'esistenza di soluzioni che massimizzano la produzione di entropia (stabilita nella letteratura precedente) ed estendono questi risultati per dimostrare le specifiche contraddizioni nei tassi di decadimento che rendono necessario il blowup. Il documento non propone verifiche sperimentali o applicazioni future, ma inquadra il proprio contributo come una risoluzione teorica alla questione della regolarità.