On the Cauchy problem to the axially-symmetric solutions to the Navier-Stokes equations

Sintesi Tecnica: Soluzioni Regolari Globali per le Equazioni di Navier-Stokes Assialsimmetriche

Definizione del Problema
Questo articolo affronta il problema di Cauchy per le equazioni di Navier-Stokes assialsimmetriche in $\mathbb{R}^3$. L'obiettivo primario è dimostrare l'esistenza di soluzioni regolari globali per dati iniziali arbitrari, a condizione che le soluzioni possiedano una regolarità sufficiente per soddisfare specifiche espansioni vicino all'asse di simmetria. Gli autori si concentrano sulla derivazione di una stima a priori globale per soluzioni regolari, la quale, combinata con l'esistenza di soluzioni locali, implica l'esistenza globale.

Le equazioni sono formulate in coordinate cilindriche $(r, \phi, z)$, dove il campo di velocità $v$ e la vorticità $\omega$ sono decomposti in componenti radiali, angolari e assiali. Una caratteristica critica del caso assialsimmetrico è il comportamento della componente di "swirl" (rotazione attorno all'asse) $v_\phi$ e delle associate componenti di vorticità vicino all'asse di simmetria ($r=0$), dove potrebbero potenzialmente sorgere singolarità nelle equazioni.

Metodologia
Gli autori impiegano una strategia di localizzazione dell'analisi in due regioni distinte: un intorno dell'asse di simmetria e la regione lontana dall'asse. Questa separazione è ottenuta tramite una partizione dell'unità $\{\zeta(r), \vartheta(r)\}$, dove $\zeta$ è supportata vicino a $r=0$ e $\vartheta$ è supportata lontano dall'asse.

1. Funzione di Flusso Modificata e Formulazione della Vorticità:
   L'analisi utilizza la funzione di flusso modificata $\psi_1 = \psi/r$ e le componenti di vorticità normalizzate $\Phi = \omega_r/r$ e $\Gamma = \omega_\phi/r$. Gli autori derivano stime ellittiche per $\psi_1$ negli spazi $H^2$ e $H^3$, che sono cruciali per controllare i gradienti di velocità vicino all'asse.

2. Espansioni di Liu-Wang:
   Un requisito metodologico centrale è l'assunzione che le soluzioni soddisfino le espansioni derivate da Liu e Wang vicino all'asse di simmetria. Nello specifico, si assume che le componenti di velocità radiale e angolare e la funzione di flusso si comportino come:
   $$v_r \sim a_1(z,t)r + a_2(z,t)r^3 + \dots$$
   $$v_\phi \sim b_1(z,t)r + b_2(z,t)r^3 + \dots$$
   $$\psi \sim d_1(z,t)r + d_2(z,t)r^3 + \dots$$
   Queste espansioni garantiscono che i termini che comportano la divisione per $r$ rimangano limitati e regolari.

3. Stime di Energia e Controllo dello Swirl:
   Gli autori derivano stime di tipo energetico per le grandezze $\Phi$ e $\Gamma$. Una parte significativa del lavoro consiste nel stimare il termine di accoppiamento non lineare $I = \int (v_\phi/r) \tilde{\Phi} \tilde{\Gamma} \, dx dt'$. Per gestire questo termine senza restrizioni sulla magnitudo dello swirl, gli autori suddividono l'analisi in due regimi complementari basati sul rapporto $L(s) = \|\tilde{v}'_\phi\|_{s, \infty} / \|\tilde{v}'_\phi\|_{\infty}$:

   • Regime 1 ($L(s) \geq c_0$): Corrisponde a un profilo di swirl non concentrato. Le stime sono derivate utilizzando disuguaglianze di interpolazione ed espansioni di Liu-Wang.
   • Regime 2 ($L(s) \leq c_0$): Corrisponde a un profilo di swirl concentrato. Le stime sono derivate tramite limiti $L^s$ e interpolazione.
     Coprendo entrambi i regimi, gli autori evitano la condizione restrittiva precedentemente richiesta in lavori correlati (ad esempio, richiedere un limite inferiore specifico sulla magnitudo dello swirl).

4. Bootstrapping della Regolarità:
   Una volta stabilita la stima a priori globale per le norme di energia di $\Phi$ e $\Gamma$, gli autori utilizzano la teoria della solvibilità per il sistema di Stokes non stazionario in spazi di Sobolev con norme miste (facendo riferimento a [MS]) per aumentare iterativamente la regolarità della velocità $v$ e del gradiente di pressione $\nabla p$. Questo processo eleva la soluzione dalla regolarità iniziale alla classe $W^{3, 3/2}_3$.

Contributi Chiave e Risultati

• Stima A Priori Globale: Il risultato principale è il Teorema 1.1, che stabilisce la stima a priori globale:
  $$\|\omega_r/r\|_{V(\Omega_t)} + \|\omega_\phi/r\|_{V(\Omega_t)} \leq \phi(\text{data})$$
  dove $V(\Omega_t)$ è la norma di energia e $\phi$ è una funzione positiva crescente dei dati iniziali e delle forze esterne. Questa stima è valida per ogni tempo finito $t < \infty$.

• Rimozione di Condizioni Restrittive: A differenza dei lavori precedenti (ad esempio, [Z1, Z2, OZ]) che richiedevano condizioni specifiche sulla magnitudo dello swirl o condizioni di annullamento all'asse, questo articolo deriva la stima globale senza assumere le condizioni $(*)$ o $(* *)$ introdotte nell'introduzione. Ciò è ottenuto trattando indipendentemente le regioni vicino all'asse e lontano dall'asse e utilizzando l'analisi a due regimi per il termine di swirl.

• Esistenza di Soluzioni Regolari Globali: Il Teorema 1.2 dimostra che se i dati iniziali e la forza esterna possiedono una regolarità sufficiente ($v(0) \in W^{3-2/3}_3$ e $f \in W^{1, 1/2}_3$), e se esiste una soluzione locale, la stima a priori globale implica l'esistenza di una soluzione regolare globale $v \in W^{3, 3/2}_3(\mathbb{R}^3_t)$ con $\nabla p \in W^{1, 1/2}_3(\mathbb{R}^3_t)$.

• Caso di Dati Piccoli: La Sezione 8 fornisce un risultato complementare per dati iniziali piccoli, provando l'esistenza tramite approssimazioni successive. Gli autori osservano che il regime di dati piccoli corrisponde a uno swirl piccolo, che è il complemento del regime di swirl grande analizzato nel corpo principale del testo.

Significato e Rivendicazioni
L'articolo sostiene di fornire una prova rigorosa per l'esistenza di soluzioni assialsimmetriche regolari globali alle equazioni di Navier-Stokes sotto l'assunzione che le soluzioni siano sufficientemente regolari da soddisfare le espansioni di Liu-Wang vicino all'asse. Gli autori sottolineano che queste espansioni sono "assolutamente necessarie" per le loro dimostrazioni.

La significatività del lavoro risiede nel:

1. Completamento della Stima Globale: Fornire un limite a priori globale che non dipenda dalle restittive condizioni sullo swirl presenti nella letteratura precedente.
2. Novità Tecnica: L'uso di una partizione dell'unità per separare l'asse singolare dal resto del dominio, permettendo tecniche di stima indipendenti in ciascuna regione.
3. Propagazione della Regolarità: Dimostrare come l'limitatezza delle norme di energia delle componenti di vorticità normalizzate possa essere utilizzata per fare il bootstrapping della soluzione verso una regolarità di Sobolev superiore.

Gli autori riconoscono con modestia che l'assunzione di regolarità sufficiente (specificamente la validità delle espansioni di Liu-Wang) è un prerequisito per il loro teorema principale. Essi citano la teoria della regolarità parziale di Caffarelli, Kohn e Nirenberg, notando che eventuali singolarità per soluzioni assialsimmetriche devono verificarsi sull'asse. Pertanto, i loro risultati si applicano a soluzioni che non sviluppano tali singolarità. Resta un problema aperto se il limite globale possa essere derivato senza assumere tali espansioni.