Global existence for a 3D Tropical Climate Model with damping and small initial data in $\dot H^{1/2}(\mathbb{R}^3)$

Titolo: Esistenza globale per un Modello Climatico Tropicale 3D con termini di smorzamento e dati iniziali piccoli in $\dot{H}^{1/2}(\mathbb{R}^3)$

Autori: Diego Berti, Luca Bisconti, Davide Catania.

---

1. Il Problema Matematico

Gli autori studiano l'esistenza globale di soluzioni forti per un Modello Climatico Tropicale (TCM) tridimensionale, che descrive l'interazione tra flussi su larga scala e precipitazioni nell'atmosfera tropicale. Il sistema considerato include termini di smorzamento (damping) non lineari nelle equazioni per la modalità barotropica della velocità ($u$) e per la prima modalità baroclina ($v$), mentre l'equazione per la temperatura ($\theta$) rimane priva di smorzamento.

Il sistema di equazioni è dato da:
$$\begin{cases} \partial_t u + (u \cdot \nabla)u - \nu\Delta u + \sigma_1|u|^{\alpha-1}u + \nabla\pi + \text{div}(v \otimes v) = 0, \\ \partial_t v + (u \cdot \nabla)v - \eta\Delta v + \sigma_2|v|^{\beta-1}v + (v \cdot \nabla)u + \nabla\theta = 0, \\ \partial_t \theta + (u \cdot \nabla)\theta - \mu\Delta\theta + \text{div} v = 0, \\ \text{div } u = 0, \end{cases}$$
con condizioni iniziali $(u_0, v_0, \theta_0)$.
I parametri $\sigma_1, \sigma_2 > 0$ sono i coefficienti di smorzamento, mentre $\alpha, \beta \ge 1$ sono gli esponenti non lineari. Il caso senza smorzamento ($\sigma_1=\sigma_2=0$) corrisponde al modello viscoso classico.

La sfida principale: Nel caso tridimensionale (3D), la ben-postezza globale (esistenza e unicità per ogni tempo $t>0$) delle soluzioni forti è un problema aperto, specialmente quando i termini di smorzamento sono deboli ($1 \le \alpha, \beta < 4$). La difficoltà risiede nel controllo delle stime a priori necessarie per prevenire il "blow-up" (esplosione della norma) in tempo finito.

2. Metodologia e Strumenti Analitici

Il lavoro si basa su una combinazione di stime energetiche in spazi di Sobolev omogenei e criteri di regolarità basati su spazi di funzioni a oscillazione media limitata (BMO).

A. Criterio di Blow-up (Teorema 2.1)

Gli autori derivano un nuovo criterio di blow-up per le soluzioni locali. Essi dimostrano che una soluzione forte $(u,v,\theta)$ può estendersi globalmente se la seguente quantità è finita:
$$\Pi(T) = \int_0^T C(1 + \|u\|_{BMO}^8 + \|v\|_{BMO}^8 + \|\theta\|_{BMO}^2 + \|u\|_{\alpha+1}^{\alpha+1} + \|v\|_{\beta+1}^{\beta+1}) dt < +\infty.$$
Se $\Pi(T^*) = +\infty$, allora la soluzione esplode in $T^*$. Questo criterio generalizza risultati precedenti, incorporando i termini di smorzamento.

B. Stime Energetiche in Spazi Omogenei

Per applicare il criterio di blow-up, è necessario dimostrare che le norme $\dot{H}^{3/2}$ rimangono limitate. Per fare ciò, gli autori utilizzano una strategia a due livelli basata sulla piccolezza dei dati iniziali nella norma $\dot{H}^{1/2}$:

1. Stime in $\dot{H}^1$ e $\dot{H}^{1/2}$:

   • Vengono moltiplicate le equazioni per $-\Delta u, -\Delta v, -\Delta \theta$ (per $\dot{H}^1$) e per $\Lambda^{1/2} u, \Lambda^{1/2} v, \Lambda^{1/2} \theta$ (per $\dot{H}^{1/2}$).
   • Un risultato chiave (Lemma 4.3 e Corollario 4.4) dimostra che, sotto l'ipotesi di dati iniziali sufficientemente piccoli in $\dot{H}^{1/2}$, le norme $\|(u,v,\theta)(t)\|_{\dot{H}^{1/2}}$ e $\|(u,v,\theta)(t)\|_{\dot{H}^1}$ sono decrescenti (o comunque limitate superiormente dai dati iniziali) per tutto il tempo di esistenza.
   • Questa monotonia è ottenuta combinando le stime energetiche e sfruttando la struttura dei termini di smorzamento, che forniscono un controllo positivo quando $\alpha, \beta \ge 5/2$.

2. Stime in $\dot{H}^{3/2}$:

   • Utilizzando la limitatezza delle norme di ordine inferiore ($\dot{H}^{1/2}$ e $\dot{H}^1$) ottenuta nel passo precedente, gli autori stimano l'evoluzione della norma $\dot{H}^{3/2}$.
   • Si applicano disuguaglianze di Gagliardo-Nirenberg, stime di Kato-Ponce per prodotti e stime di commutatori per gestire i termini non lineari e i termini di smorzamento frazionari.
   • Si dimostra che la norma $\dot{H}^{3/2}$ rimane limitata uniformemente nel tempo.

C. Trattamento dei Termini di Smorzamento

Una parte tecnica cruciale riguarda la stima dei termini non lineari di smorzamento $\Lambda^s(|u|^{\alpha-1}u)$. Gli autori distinguono due casi:

• Caso $5/2 \le \alpha \le 3$: Si utilizzano stime di commutatore per gestire la singolarità della derivata frazionaria sulla funzione non lineare.
• Caso $3 < \alpha < 4$: Si utilizzano stime dirette basate sulle disuguaglianze di Gagliardo-Nirenberg.
  In entrambi i casi, si riesce a mostrare che i termini di smorzamento aiutano a controllare le non linearità critiche.

3. Risultati Principali

Il risultato centrale è il Teorema 2.2 (Esistenza Globale e Regolarità):

• Ipotesi: Si assumono $\alpha, \beta \in [5/2, 4)$. I dati iniziali $(u_0, v_0, \theta_0)$ appartengono a $H^2(\mathbb{R}^3)^3$ con $\text{div } u_0 = 0$.
• Condizione di Piccolezza: Esiste una costante $c_0 > 0$ (dipendente dalla norma $H^2$ dei dati iniziali, o indipendente se $\alpha, \beta \le 3$) tale che se:
  $$\|u_0\|_{\dot{H}^{1/2}} + \|v_0\|_{\dot{H}^{1/2}} + \|\theta_0\|_{\dot{H}^{1/2}} \le c_0,$$
  allora il sistema ammette una soluzione forte globale unica $(u, v, \theta)$.
• Regolarità della Soluzione: La soluzione soddisfa:
  $$u, v, \theta \in L^\infty([0, T); H^2(\mathbb{R}^3)) \cap L^2([0, T); H^3(\mathbb{R}^3)) \quad \forall T > 0.$$

Inoltre, nell'Appendice, gli autori mostrano come la loro metodologia permetta di recuperare e generalizzare i risultati di esistenza globale per il caso senza smorzamento ($\sigma_1=\sigma_2=0$) già noti in letteratura, fornendo una prova alternativa basata sulle stesse tecniche di stime in $\dot{H}^{1/2}$.

4. Contributi Chiave e Significato

1. Nuovo Criterio di Regolarità: Il lavoro stabilisce un criterio di blow-up che dipende dalle norme BMO e dalle norme $L^{\alpha+1}, L^{\beta+1}$, adattato specificamente per sistemi con smorzamento non lineare.
2. Estensione del Raggio di Piccolezza: Mentre lavori precedenti richiedevano spesso $\alpha, \beta \ge 4$ per garantire regolarità globale (dove lo smorzamento è molto forte), questo articolo estende il risultato al caso $5/2 \le \alpha, \beta < 4$. In questo intervallo, lo smorzamento è più sottile e richiede un'analisi più raffinata delle stime energetiche.
3. Uso Strategico di $\dot{H}^{1/2}$: L'articolo dimostra che la piccolezza dei dati iniziali nello spazio critico $\dot{H}^{1/2}$ è sufficiente a garantire la limitatezza delle norme di ordine superiore ($\dot{H}^{3/2}$), sfruttando la struttura dissipativa del sistema. Questo è un risultato significativo perché $\dot{H}^{1/2}$ è lo spazio critico per la scala di invarianza del sistema (in assenza di smorzamento).
4. Unificazione dei Casi: La metodologia sviluppata copre sia il caso con smorzamento che quello senza, offrendo una prova unificata e alternativa per il caso senza smorzamento, dimostrando la robustezza dell'approccio basato sulle stime in spazi di Sobolev omogenei.

Conclusione

Questo articolo risolve il problema della ben-postezza globale per il Modello Climatico Tropicale 3D con smorzamento debole ($5/2 \le \alpha, \beta < 4$), sotto l'ipotesi di dati iniziali piccoli in $\dot{H}^{1/2}$. Il lavoro rappresenta un avanzamento significativo nella teoria delle equazioni alle derivate parziali non lineari applicate alla fluidodinamica atmosferica, fornendo strumenti analitici nuovi per gestire l'interazione tra termini di trasporto, diffusione e smorzamento non lineare in dimensioni superiori.