Liouville Theorems Above the Critical $9/2$ Threshold for Stationary Navier-Stokes Equations

1. Il Problema di Ricerca

Il lavoro si concentra sulle equazioni di Navier-Stokes stazionarie nello spazio tridimensionale $\mathbb{R}^3$:
$$-\Delta u + u \cdot \nabla u + \nabla P = 0, \quad \nabla \cdot u = 0$$
dove $u$ è il campo di velocità e $P$ la pressione.
Il problema centrale affrontato è un teorema di Liouville: dimostrare che l'unica soluzione regolare $u \in \dot{H}^1(\mathbb{R}^3)$ che decade all'infinito ($u(x) \to 0$ per $|x| \to \infty$) è la soluzione banale $u \equiv 0$.

Sebbene sia noto che soluzioni esistono in $\dot{H}^1(\mathbb{R}^3)$ (che per embedding di Sobolev implica $u \in L^6(\mathbb{R}^3)$), l'unicità e la trivialità in questa classe rimangono problemi aperti.
La letteratura storica ha stabilito che la condizione di integrabilità globale $u \in L^{9/2}(\mathbb{R}^3)$ è sufficiente per garantire $u \equiv 0$ (Galdi, 1994). Successivamente, risultati parziali hanno rilassato questa condizione (ad esempio, miglioramenti logaritmici di Chae-Wolf o condizioni sulle frequenze di Lerner), ma la domanda se la soglia critica $9/2$ possa essere ulteriormente rilassata o localizzata rimaneva aperta.

2. Metodologia e Approccio

L'autore introduce un approccio innovativo basato sugli spazi di Lebesgue a esponente variabile ($L^{p(\cdot)}$). Invece di richiedere un'esponente costante globale, il metodo permette di gestire diversi regimi di integrabilità all'interno dello stesso dominio funzionale.

I pilastri metodologici sono:

• Spazi $L^{p(\cdot)}$: L'uso di funzioni $p(x)$ che variano nello spazio, permettendo di imporre un'integrabilità più forte ($L^6$) vicino all'origine e un'integrabilità più debole (avvicinamento a $L^{9/2}$) all'infinito.
• Condizioni di Log-Hölder: Si dimostra che l'esponente variabile scelto soddisfa le condizioni di continuità log-Hölder (locale e al decadimento). Questo è cruciale perché garantisce la limitatezza degli operatori di Riesz in questi spazi. Poiché la pressione $P$ può essere espressa in termini di $u$ tramite gli operatori di Riesz ($P = \sum R_i R_j (u_i u_j)$), la limitatezza di tali operatori permette di stimare la pressione direttamente dalla velocità, evitando condizioni separate su $P$.
• Analisi Asintotica: Il cuore della prova risiede nello studio del comportamento asintotico delle norme su anelli $C_R = \{x : R/2 < |x| < R\}$ quando $R \to \infty$. Si sfrutta il fatto che la soluzione appartiene a $\dot{H}^1$ per mostrare che la norma locale tende a zero, combinato con stime precise sull'evoluzione dell'esponente $p(x)$ verso il valore critico.

3. Risultati Principali

Teorema 1.1 (Risultato Principale)

L'autore dimostra che se una soluzione $u \in \dot{H}^1(\mathbb{R}^3)$ appartiene a uno spazio $L^{p(\cdot)}(\mathbb{R}^3)$ con un esponente variabile definito come:
$$\varepsilon(x) = \begin{cases} 3/2 & \text{se } |x| < R_0 \\ \frac{3}{2} \frac{R_0}{|x|} & \text{se } |x| \ge R_0 \end{cases}$$
allora $u \equiv 0$.
In termini pratici, questo significa che $u$ deve essere in $L^6$ in una sfera fissa (poiché $9/2 + 3/2 = 6$) e in $L^{9/2 + \varepsilon(x)}$ all'esterno, dove $\varepsilon(x)$ decresce verso zero. La trivialità è garantita anche se l'esponente si avvicina asintoticamente alla soglia critica $9/2$, purché lo faccia da valori superiori.

Corollario 1.1 (Localizzazione)

Un risultato diretto e potente è che la condizione di integrabilità può essere completamente localizzata all'infinito. Non è necessario imporre alcuna condizione specifica sul comportamento di $u$ all'interno di una sfera compatta $B(0, R_0)$, purché $u$ soddisfi la condizione di esponente variabile nella regione esterna $\{|x| \ge R_0\}$. Questo evidenzia che il meccanismo che forza la trivialità è puramente asintotico.

Teorema 1.2 (Generalizzazione)

Il risultato è generalizzato a una classe più ampia di esponenti variabili $p(x)$ che:

1. Sono uguali a 6 in una sfera $B(0, R_0)$.
2. Sono continui, radialmente decrescenti e $\ge 9/2$ ovunque.
3. Decadono verso $9/2$ con un tasso controllato ($|p(x) - 9/2| \le C/|x|$).

4. Contributi Chiave e Innovazioni

• Superamento della soglia globale $L^{9/2}$: Il paper mostra che la condizione globale $u \in L^{9/2}$ non è necessaria; è sufficiente una condizione "più forte" localmente (vicino all'origine) che si indebolisce gradualmente verso la soglia critica all'infinito.
• Primo risultato di questo tipo: L'autore afferma che questo è il primo risultato che utilizza spazi a esponente variabile per rilassare la condizione di Galdi in modo continuo, interpolando tra il regime di Sobolev ($L^6$) e quello critico ($L^{9/2}$).
• Indipendenza dalla decomposizione frequenziale: A differenza di lavori recenti (es. Lerner) che rilassano la condizione separando le frequenze basse e alte, questo approccio è puramente nello spazio fisico e si basa sul controllo del comportamento all'infinito.
• Gestione della pressione: L'uso di spazi $L^{p(\cdot)}$ con esponenti log-Hölder continui risolve il problema tecnico della stima della pressione senza richiedere ipotesi aggiuntive su $P$, sfruttando la continuità degli operatori di Riesz in tali spazi.

5. Significato e Implicazioni

Questo lavoro rappresenta un passo significativo nella comprensione della struttura delle soluzioni stazionarie delle equazioni di Navier-Stokes.

• Raffinamento delle condizioni di regolarità: Dimostra che la rigidità del problema (la forza che impone $u=0$) non dipende da una condizione di integrabilità uniforme, ma dalla distribuzione spaziale dell'integrabilità.
• Nuova prospettiva sui teoremi di Liouville: Sposta il focus dalla ricerca di condizioni globali forti allo studio delle proprietà asintotiche. Se una soluzione decade abbastanza velocemente all'infinito (anche se con un esponente che tende al limite critico), non può esistere una soluzione non banale.
• Strumenti Analitici: L'applicazione degli spazi a esponente variabile alla fluidodinamica matematica apre nuove strade per trattare problemi con eterogeneità spaziali o condizioni al contorno non uniformi.

In sintesi, Vergara-Hermosilla dimostra che la soglia critica $9/2$ può essere "aggirata" imponendo una condizione di integrabilità che è leggermente superiore a $9/2$ all'infinito, ma che si avvicina a tale valore in modo controllato, confermando che la trivialità è una proprietà determinata dal comportamento asintotico della soluzione.