Anisotropic Inviscid Limit for the Navier-Stokes Equations with Transport Noise Between Two Plates

1. Il Problema

Il lavoro indaga il limite inviscido anisotropo delle equazioni di Navier-Stokes stocastiche tridimensionali (3D) poste in un dominio a strato limitato tra due piatti orizzontali ($O = \mathbb{T}^2 \times (0, 1)$), con condizioni al contorno di tipo "no-slip" (velocità nulla al bordo).

La sfida principale risiede nella natura anisotropa della viscosità turbolenta:

• La viscosità orizzontale ($\nu_h$) e quella verticale ($\nu_z$) tendono allo zero a velocità diverse.
• Si assume che il rapporto $\nu_z / \nu_h \to 0$, riflettendo la fisica dei fluidi geofisici dove la forza di Coriolis amplifica la diffusione orizzontale, rendendo la diffusione verticale trascurabile rispetto a quella orizzontale.
• Il sistema è soggetto a un rumore di trasporto-stiramento (transport-stretching noise) guidato da un Moto Browniano Cilindrico, modellato secondo il principio dello Stochastic Advection by Lie Transport (SALT).

L'obiettivo è dimostrare che, al limite in cui le viscosità tendono a zero (con $\nu_z$ che decade più velocemente di $\nu_h$), le soluzioni deboli martingala delle equazioni di Navier-Stokes stocastiche convergono alla soluzione forte dell'equazione di Eulero deterministica.

2. Metodologia e Struttura del Rumore

L'approccio metodologico introduce innovazioni significative nella modellazione del rumore e nell'analisi energetica:

• Decomposizione Anisotropa del Rumore:
  A differenza dei modelli isotropi, l'autore scompone le funzioni di correlazione spaziale ($\xi_i$) del rumore in componenti orizzontali e verticali. Queste vengono scalate rispettivamente con $\sqrt{\nu_h}$ e $\sqrt{\nu_z}$.
  L'operatore di rumore totale $\tilde{G}_i$ agisce come:
  $$\tilde{G}_i u_t = \sqrt{\nu_h} G^h_i u_t + \sqrt{\nu_z} G^z_i u_t$$
  dove $G^h$ e $G^z$ rappresentano il trasporto e lo stiramento lungo le direzioni orizzontale e verticale.

• La Sfida della Non-Conservazione della Divergenza:
  Una difficoltà tecnica fondamentale è che la scalatura anisotropa delle funzioni di correlazione ($\tilde{\xi}_i$) distrugge la proprietà di divergenza nulla ($\nabla \cdot \tilde{\xi}_i \neq 0$). Nella teoria classica del rumore di trasporto, la proprietà di divergenza nulla è cruciale per cancellare certi termini nell'analisi energetica (tramite integrazione per parti).
  L'autore dimostra che, anche senza questa proprietà, è possibile controllare i termini residui sfruttando la scala $\sqrt{\nu}$ e le disuguaglianze di Young, mostrando che i termini di errore sono dominati dai termini di viscosità.

• Correttore al Bordo (Boundary Corrector):
  Per gestire la discrepanza tra le condizioni al contorno di Navier-Stokes ($u=0$) e quelle di Eulero ($u \cdot n = 0$, ma componente tangenziale libera), viene utilizzato un correttore al bordo $B$ (costruito seguendo Masmoudi [55]). Questo termine $B$ è supportato solo vicino ai piatti e ha norma $L^2$ che decade con $\nu_z$, permettendo di allineare le condizioni al contorno per le stime energetiche.

• Spazio di Probabilità Unificato:
  Poiché le soluzioni deboli martingala non sono uniche, l'autore costruisce uno spazio di probabilità unificato come prodotto infinito degli spazi che supportano le soluzioni per ogni coppia di viscosità $(\nu_h^k, \nu_z^k)$, permettendo di studiare la convergenza di una sequenza di soluzioni.

3. Contributi Chiave

1. Generalizzazione Stocastica del Risultato di Masmoudi: Estende il risultato deterministico di Masmoudi (sull'inviscid limit anisotropo) al caso stocastico con rumore di trasporto-stiramento.
2. Gestione del Rumore Non-Conservativo: Fornisce la prima analisi rigorosa per il rumore di trasporto in cui le funzioni di correlazione spaziale non sono a divergenza nulla a causa della scalatura viscosa. Questo è un risultato tecnico nuovo, dato che la letteratura precedente assumeva quasi sempre la divergenza nulla.
3. Scalatura Critica: Dimostra che la scalatura $\sqrt{\nu}$ per il termine di trasporto è essenziale per bilanciare il termine di viscosità $\nu \Delta$ e per garantire che il rumore non distrugga la convergenza verso l'equazione di Eulero.
4. Convergenza in Norme Forti: Stabilisce la convergenza in $L^2_\omega L^\infty_t L^2_x$ della sequenza di soluzioni stocastiche verso la soluzione forte deterministica di Eulero, valida per la vita temporale di esistenza della soluzione di Eulero.

4. Risultati Principali

Il teorema principale (Teorema 3.2) afferma che, date due sequenze di viscosità $(\nu_h^k)$ e $(\nu_z^k)$ tali che $\nu_h^k \to 0$ e $\nu_z^k / \nu_h^k \to 0$:

• Esiste una sequenza di soluzioni deboli martingala $(u^k, W^k)$ per le equazioni di Navier-Stokes stocastiche anisotrope.
• Questa sequenza converge alla soluzione forte $w$ dell'equazione di Eulero deterministica nel senso:
  $$u^k \to w \quad \text{in } L^2(\Omega; L^\infty([0, T]; L^2_\sigma))$$
• Inoltre, i termini di dissipazione viscosa convergono a zero:
  $$\nu_h^k \sum_{j=1}^2 \|\partial_j u^k\| \to 0 \quad \text{e} \quad \nu_z^k \|\partial_3 u^k\| \to 0$$
  in $L^2(\Omega; L^2([0, T]; L^2_\sigma))$.

5. Significato e Implicazioni

Questo lavoro è significativo per diversi motivi:

• Fluidodinamica Geofisica: Offre un modello matematico rigoroso per fenomeni turbolenti in atmosfera e oceani, dove l'anisotropia è dominante a causa della rotazione terrestre (forza di Coriolis).
• Teoria Stocastica dei Fluidi: Colma un vuoto nella letteratura riguardante il limite inviscido stocastico in presenza di rumore multiplicative non conservativo e condizioni al contorno complesse.
• Robustezza del Modello: Dimostra che la struttura geometrica del rumore (SALT), se scalata correttamente, preserva la convergenza verso l'equazione di Eulero anche in regimi anisotropi estremi, validando l'uso di tali modelli stocastici per la simulazione di fluidi turbolenti su larga scala.

In sintesi, il paper risolve un problema aperto combinando analisi armonica avanzata, teoria delle equazioni differenziali stocastiche e fisica dei fluidi geofisici, superando l'ostacolo tecnico della perdita della proprietà di divergenza nulla nel rumore scalato.