On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

Sintesi Tecnica: Esistenza Globale e Comportamento a Tempi Grandi di Soluzioni Forti del Sistema Generalizzato Navier-Stokes-Korteweg Compressibile

Enunciato del Problema
Questo articolo investiga l'esistenza globale e il comportamento asintotico a tempi grandi di soluzioni forti del sistema periodico Navier-Stokes-Korteweg (NSK) compressibile in due e tre dimensioni con dati iniziali arbitrariamente grandi $(\rho_0, u_0) \in H^3 \times H^2$. Il sistema è caratterizzato da coefficienti di viscosità dipendenti dalla densità che soddisfano la relazione di Bresch-Desjardins (BD), $\mu(\rho) = \nu\rho^\alpha$ e $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$, e un coefficiente di capillarità $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

Le principali sfide matematiche affrontate sono:

1. Esistenza Globale con Grandi Dati: Stabilire l'esistenza di soluzioni forti globali senza assunzioni di piccolezza sui dati iniziali, particolarmente in dimensioni superiori ($N=2,3$).
2. Limiti Uniformi della Densità: Dimostrare che la densità rimanga uniformemente limitata lontano dal vuoto e dalla concentrazione (ovvero $C^{-1} \le \rho(x,t) \le C$) per tutto il tempo, un prerequisito per la regolarità di ordine superiore.
3. Comportamento a Tempi Grandi: Dimostrare la convergenza delle soluzioni verso lo stato di equilibrio.

Lavori precedenti avevano stabilito l'esistenza globale per specifici regimi di parametri (ad esempio, Gu-Huang-Meng-Zhou [16] per $\alpha < 1$ e Huang-Meng-Zhang [25] per $\alpha=1$), ma spesso con esponenti adiabatici $\gamma$ ristretti o senza stabilire limiti di densità uniformi nel tempo e la convergenza a tempi grandi per dati arbitrariamente grandi.

Metodologia
Gli autori impiegano una strategia analitica multifasica centrata sulla trasformazione della velocità efficace e una struttura doppiamente parabolica del sistema riformulato.

1. Formulazione della Velocità Efficace: Il sistema viene riformulato utilizzando la velocità efficace $v := u + c\rho^{\alpha-2}\nabla\rho$, dove $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. Questa trasformazione porta il sistema originale a un sistema accoppiato densità-velocità efficace (Equazione 11), che presenta una struttura doppiamente parabolica. Questa struttura è cruciale per derivare regolarità aggiuntiva e controllare la densità.

2. Argomento di Bootstrap per Parametri Ammissibili:

   • Per il caso $\alpha < 1$, gli autori migliorano l'intervallo ammissibile dell'esponente adiabatico $\gamma$. Utilizzano un argomento di bootstrap che colma il divario tra la stima di energia standard (pesata $L^2$) e la stima critica (pesata $L^3$). Migliorando iterativamente l'integrabilità della velocità efficace e della densità, estendono l'intervallo di $\gamma$ oltre i risultati precedenti (specificamente, fino a $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ in 3D).

3. Strategia di Discretizzazione Temporale per Limiti Superiori:

   • Per stabilire un limite superiore uniforme per la densità, gli autori adottano una strategia di discretizzazione temporale. Partizionano l'asse temporale $[0, \infty)$ in sottointervalli $[t_n, t_{n+1}]$ di lunghezza uniformemente limitata.
   • Utilizzando le stime di dissipazione, identificano punti $t_n$ in cui la densità e la velocità efficace soddisfano limiti quantitativi uniformi.
   • Su ogni sottointervallo, applicano uno schema di iterazione Nash-Moser modificato (ispirato a Gu-Huang-Meng-Zhou [16]) per derivare un limite superiore della densità che sia indipendente dal sottointervallo specifico, ottenendo così un limite superiore globale uniforme.

4. Bootstrap Induttivo per Limiti Inferi ($\alpha < 1$):

   • Stabilire un limite inferiore positivo uniforme richiede un'integrabilità più forte della velocità efficace ($L^p$ con $p > \frac{2}{1-\alpha}$).
   • Gli autori sviluppano una nuova procedura di bootstrap induttivo. Assumendo le stime del livello $(k-1)$, derivano le stime uniformi e di dissipazione del livello $k$. Questo processo viene ripetuto un numero finito di volte fino a raggiungere l'integrabilità richiesta, permettendo l'applicazione dell'iterazione Nash-Moser alla variabile reciproca $\tau = \rho^{-1}$ per ottenere un limite inferiore positivo uniforme.
   • Per il caso critico $\alpha = 1$, l'articolo stabilisce un limite superiore uniforme ma nota che il limite inferiore rimane un problema aperto a causa dell'impossibilità di chiudere il bootstrap al livello $L^\infty$ per la velocità efficace.

5. Stime di Ordine Superiore e Decadimento:

   • Con i limiti uniformi della densità stabiliti, gli autori derivano stime globali di ordine superiore per la densità e la velocità efficace.
   • Sfruttano la struttura ellittica inerente al sistema della velocità efficace per controllare le derivate di ordine superiore.
   • Queste stime conducono alla prova del comportamento a tempi grandi, mostrando che la norma $H^3$ della deviazione della densità e la norma $H^1$ del gradiente della velocità decadono a zero.

Contributi Chiave e Risultati

• Teorema 1.1 (Caso $\alpha < 1$):

  • Stabilisce l'esistenza globale di soluzioni forti uniche per dati iniziali arbitrariamente grandi in 2D e 3D.
  • Ampliamento dell'Intervallo dei Parametri: Espande significativamente l'intervallo ammissibile dell'esponente adiabatico $\gamma$ rispetto ai lavori precedenti (ad esempio, [16]). In 3D, $\gamma$ può ora raggiungere $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$.
  • Limiti Uniformi: Dimostra che la densità soddisfa $C^{-1} \le \rho(x,t) \le C$ per tutto $t \ge 0$, garantendo che la soluzione rimanga lontana dal vuoto e dalla concentrazione.
  • Comportamento a Tempi Grandi: Dimostra che $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ quando $t \to \infty$, dove $\rho_s$ è la densità media. Ciò avviene senza alcuna assunzione di piccolezza sui dati iniziali.

• Teorema 1.2 (Caso $\alpha = 1$):

  • Stabilisce l'esistenza globale per il caso critico $\alpha = 1$ (che include il modello di Saint-Venant viscoso e il sistema Navier-Stokes quantistico sotto specifiche condizioni).
  • Miglioramento dell'Intervallo dei Parametri: Amplia ulteriormente l'intervallo ammissibile di $\gamma$ in 3D a $[1, 11/4)$, migliorando rispetto agli intervalli $[1, 8/3)$ in [22] e $[1, 7/3)$ in [25].
  • Limite Superiore Uniforme: Dimostra un limite superiore uniforme per la densità ($\rho(x,t) \le C$).
  • Limitazione: L'articolo dichiara esplicitamente che l'instaurazione di un limite inferiore positivo uniforme per la densità nel caso critico $\alpha=1$ rimane una sfida aperta ed è lasciata a ricerche future.

Significato
L'articolo fornisce una risposta affermativa alle domande se le soluzioni forti globali con dati iniziali arbitrariamente grandi ammettano limiti di densità uniformi nel tempo e convergano all'equilibrio nel sistema NSK periodico multidimensionale.

• Risoluzione di Problemi Aperti: Risolve il problema aperto riguardante il comportamento a tempi grandi e i limiti di densità uniformi per il sistema NSK generalizzato con grandi dati, che erano precedentemente irrisolti anche dopo l'instaurazione dell'esistenza globale in [16] e [25].
• Avanzamento Metodologico: Lo sviluppo della strategia di discretizzazione temporale combinata con l'argomento di bootstrap per l'integrabilità rappresenta un significativo avanzamento metodologico. Permette di derivare limiti uniformi senza dipendere dal regime intermedio restrittivo ($\varepsilon = \nu$) spesso richiesto nelle analisi dei Navier-Stokes quantistici, coprendo così il più ampio regime parabolico ($\varepsilon < \nu$).
• Ottimizzazione dei Parametri: Perfezionando gli intervalli ammissibili per $\gamma$, i risultati ampliano l'applicabilità fisica della teoria dell'esistenza globale per i fluidi compressibili con effetti di capillarità.

Gli autori sottolineano che i loro risultati sono derivati senza imporre condizioni di piccolezza sui dati iniziali, rendendo le scoperte robuste per scenari fisicamente rilevanti che coinvolgono grandi perturbazioni. Il lavoro lascia l'estensione al problema di Cauchy e l'instaurazione dei limiti inferiori per il caso critico $\alpha=1$ come direzioni per la ricerca futura.