Liouville Theorems for Stationary Navier-Stokes Equations via the Radial Velocity Component

Sintesi Tecnica: Teoremi di Liouville per le Equazioni di Navier-Stokes Stazionarie tramite la Componente Radiale della Velocità

Enunciato del Problema
Il lavoro affronta il problema di Liouville per le equazioni di Navier-Stokes stazionarie in $\mathbb{R}^3$:
$$\begin{cases} -\Delta u + (u \cdot \nabla)u + \nabla \pi = 0, \\ \nabla \cdot u = 0, \end{cases}$$
dove $u$ è il campo di velocità e $\pi$ è la pressione. La domanda centrale, nota come Congettura 1.1 (proposta da Galdi e Seregin), chiede se ogni soluzione $u \in \dot{H}^1(\mathbb{R}^3)$ che decade a zero all'infinito debba essere identicamente nulla. Mentre il caso bidimensionale è risolto (Gilbarg-Weinberger) e il caso quadridimensionale è definito (Galdi), il caso tridimensionale rimane un problema aperto significativo.

I risultati esistenti si basano tipicamente su condizioni di integrabilità isotrope globali (ad esempio, $u \in L^{9/2}(\mathbb{R}^3)$) o condizioni anisotrope che coinvolgono norme miste delle componenti cartesiane. L'autore nota che, sebbene $u \in \dot{H}^1(\mathbb{R}^3)$ implichi $u \in L^6(\mathbb{R}^3)$ tramite l'immersione di Sobolev, questo decadimento è di per sé insufficiente per dimostrare la trivialità.

Metodologia
Il lavoro impiega una tecnica basata su funzioni di taglio combinata con stime energetiche e disuguaglianze di Hölder sia negli spazi di Lebesgue standard che in quelli a esponente variabile.

1. Funzione di taglio e identità energetica: Le dimostrazioni utilizzano una funzione di taglio radiale $\psi_R$ per localizzare l'identità energetica. Testando le equazioni con $\psi_R u$ e integrando per parti, l'autore deriva una disuguaglianza che limita l'energia di Dirichlet locale $\int_{B(R/2)} |\nabla u|^2$ mediante termini al bordo che coinvolgono la pressione e la velocità sull'anello $C(R) = \{x : R/2 < |x| < R\}$.
2. Decomposizione radiale: Un cambiamento metodologico chiave è la decomposizione del termine non lineare e del termine di pressione basata sulla componente radiale della velocità, $u_\rho$. L'autore sfrutta il fatto che il gradiente della funzione di taglio radiale, $\nabla \psi_R$, è puramente radiale. Ciò consente di riscrivere i termini integrali contenenti $\nabla \psi_R \cdot u$ come $\partial_\rho \psi_R u_\rho$, isolando la componente radiale della velocità.
3. Spazi a esponente variabile: Per il secondo risultato principale, l'autore utilizza il quadro degli spazi di Lebesgue a esponente variabile, $L^{p(\cdot)}(\mathbb{R}^3)$. Ciò permette un trattamento unificato di condizioni di integrabilità che variano spazialmente, passando specificamente da una condizione più forte vicino all'origine a una condizione critica all'infinito.
4. Controllo della pressione: La pressione $\pi$ è controllata tramite la rappresentazione di trasformata di Riesz $\pi = \sum R_i R_j (u_i u_j)$, sfruttando la limitatezza delle trasformate di Riesz sugli spazi $L^r$ per relazionare $\|\pi\|_{L^3}$ a $\|u\|_{L^6}^2$.

Contributi e Risultati Chiave

Teorema 1.1 (Condizione di integrabilità radiale):
L'autore dimostra che se $u \in \dot{H}^1(\mathbb{R}^3)$ è una soluzione e la sua componente radiale $u_\rho$ soddisfa $u_\rho \in L^p(\mathbb{R}^3)$ per $3/2 < p \le 3$, allora $u \equiv 0$.

• Significato: Questo risultato migliora le precedenti condizioni isotrope (come $L^{9/2}$) e le condizioni anisotrope cartesiane. Dimostra che la trivialità può essere dedotta imponendo vincoli di integrabilità solo sulla componente radiale della velocità, senza alcuna restrizione sulle componenti tangenziali.
• Meccanismo: La dimostrazione si basa su una specifica distribuzione della non linearità cubica nella stima energetica. Applicando la disuguaglianza di Hölder con esponenti $p_1=6$ (per l'intera velocità $u$, giustificata dall'immersione di Sobolev) e $p_2=p$ (per la componente radiale $u_\rho$), l'autore bilancia i termini per permettere $p$ fino a $3/2$.

Teorema 1.2 (Condizione a esponente variabile):
L'autore stabilisce un risultato di unicità più raffinato in cui la condizione di integrabilità sulla componente radiale è consentita di variare. Nello specifico, se $u_\rho \in L^{3+\eta(\cdot)}(\mathbb{R}^3)$, dove l'esponente $\eta(x)$ è definito in modo da essere uguale a 3 per $|x| < R_0$ (implicando $u_\rho \in L^6$ localmente) e decade come $3R_0/|x|$ per $|x| \ge R_0$ (avvicinandosi all'esponente critico 3 all'infinito), allora $u \equiv 0$.

• Significato: Questo teorema mostra che la condizione critica $L^3$ per la componente radiale deve essere soddisfatta solo asintoticamente. Una maggiore integrabilità (fino a $L^6$) è richiesta solo su un insieme compatto fisso, mentre la condizione si rilassa alla soglia critica all'infinito. Ciò evidenzia la "rigidità" del sistema guidata da proprietà localizzate e radiali piuttosto che da condizioni globali uniformi.

Teorema 3.1 (Risultato generale a esponente variabile):
Questo è il motore tecnico alla base del Teorema 1.2. Dimostra che per qualsiasi esponente variabile continuo e radialmente decrescente $p(x)$ che è uguale a 6 vicino all'origine e tende a 3 all'infinito con un tasso di decadimento specifico ($|p(x)-3| \le C/|x|$), la condizione $u_\rho \in L^{p(\cdot)}(\mathbb{R}^3)$ implica $u \equiv 0$.

Significato e Affermazioni
Il lavoro afferma di offrire una "prospettiva diversa" sul problema di Liouville spostando il focus dalle condizioni isotrope o anisotrope cartesiane all'anisotropia radiale.

• Ipotesi più deboli: I risultati impongono condizioni strettamente più deboli rispetto ai risultati isotropi noti (ad esempio, $L^{9/2}$) e distinti dai risultati anisotropi esistenti che si basano su norme miste delle componenti cartesiane.
• Localizzazione: L'analisi rivela che la rigidità del sistema di Navier-Stokes stazionario può essere guidata da proprietà di integrabilità localizzate. Il Teorema 1.2 dimostra specificamente che la soglia critica di integrabilità può essere avvicinata asintoticamente, permettendo una transizione da un comportamento locale forte a un comportamento critico all'infinito.
• Novità metodologica: L'uso di spazi di Lebesgue a esponente variabile fornisce un quadro flessibile per catturare questi comportamenti di integrabilità variabili spazialmente, superando i limiti degli spazi a esponente fisso in questo contesto.

L'autore afferma esplicitamente che questi risultati non risolvono l'intera Congettura 1.1 (che richiede nessuna assunzione aggiuntiva di integrabilità oltre a $\dot{H}^1$ e il decadimento), ma forniscono nuove condizioni sufficienti che sono strutturalmente distinte e meno restrittive sulle componenti del campo di velocità rispetto a quanto noto in precedenza.