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

Résumé Technique : Existence Globale et Comportement à Temps Long des Solutions Fortes du Système de Navier-Stokes-Korteweg Compressible Généralisé

Énoncé du Problème
Cet article étudie l'existence globale et le comportement asymptotique à temps long des solutions fortes du système de Navier-Stokes-Korteweg (NSK) périodique compressible en deux et trois dimensions avec des données initiales arbitrairement grandes $(\rho_0, u_0) \in H^3 \times H^2$. Le système est caractérisé par des coefficients de viscosité dépendant de la densité satisfaisant la relation de Bresch-Desjardins (BD), $\mu(\rho) = \nu\rho^\alpha$ et $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$, ainsi qu'un coefficient de capillarité $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

Les principaux défis mathématiques abordés sont :

1. Existence Globale avec de Grandes Données : Établir l'existence de solutions fortes globales sans hypothèses de petitesse sur les données initiales, particulièrement dans des dimensions supérieures ($N=2,3$).
2. Bornes Uniformes sur la Densité : Prouver que la densité reste uniformément bornée loin du vide et de la concentration (c'est-à-dire $C^{-1} \le \rho(x,t) \le C$) pour tout temps, ce qui est un prérequis pour la régularité d'ordre supérieur.
3. Comportement à Temps Long : Démontrer la convergence des solutions vers l'état d'équilibre lorsque $t \to \infty$.

Des travaux antérieurs avaient établi l'existence globale pour des régimes de paramètres spécifiques (par exemple, Gu-Huang-Meng-Zhou [16] pour $\alpha < 1$ et Huang-Meng-Zhang [25] pour $\alpha=1$), mais comportaient souvent des exposants adiabatiques $\gamma$ restreints ou ne permettaient pas d'établir des bornes de densité uniformes dans le temps et la convergence à temps long pour des données arbitrairement grandes.

Méthodologie
Les auteurs emploient une stratégie analytique multifacette centrée sur la transformation de la vitesse effective et une structure doublement parabolique du système reformulé.

1. Formulation de la Vitesse Effective : Le système est reformulé en utilisant la vitesse effective $v := u + c\rho^{\alpha-2}\nabla\rho$, où $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. Cela transforme le système original en un système couplé densité-vitesse effective (Équation 11), qui présente une structure doublement parabolique. Cette structure est cruciale pour dériver une régularité supplémentaire et contrôler la densité.

2. Argument de Bootstrap pour les Paramètres Admissibles :

   • Pour le cas $\alpha < 1$, les auteurs améliorent la plage admissible de l'exposant adiabatique $\gamma$. Ils utilisent un argument de bootstrap qui fait le pont entre l'estimation d'énergie standard (pondérée $L^2$) et l'estimation critique (pondérée $L^3$). En améliorant de manière itérative l'intégrabilité de la vitesse effective et de la densité, ils étendent la plage de $\gamma$ au-delà des résultats précédents (spécifiquement, jusqu'à $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ en 3D).

3. Stratégie de Discrétisation Temporelle pour les Bornes Supérieures :

   • Pour établir une borne supérieure uniforme pour la densité, les auteurs adoptent une stratégie de discrétisation temporelle. Ils partitionnent l'axe temporel $[0, \infty)$ en sous-intervalles $[t_n, t_{n+1}]$ de longueur uniformément bornée.
   • En utilisant les estimations de dissipation, ils identifient des points $t_n$ où la densité et la vitesse effective satisfont des bornes quantitatives uniformes.
   • Sur chaque sous-intervalle, ils appliquent un schéma d'itération de Nash-Moser modifié (inspiré de Gu-Huang-Meng-Zhou [16]) pour dériver une borne supérieure de densité indépendante du sous-intervalle spécifique, produisant ainsi une borne supérieure globale uniforme.

4. Bootstrap Inductif pour les Bornes Inférieures ($\alpha < 1$) :

   • L'établissement d'une borne inférieure positive uniforme nécessite une intégrabilité plus forte de la vitesse effective ($L^p$ avec $p > \frac{2}{1-\alpha}$).
   • Les auteurs développent une nouvelle procédure de bootstrap inductif. En supposant les estimations du $(k-1)$-ième niveau, ils dérivent les estimations uniformes et de dissipation du $k$-ième niveau. Ce processus est répété un nombre fini de fois jusqu'à ce que l'intégrabilité requise soit atteinte, permettant l'application de l'itération de Nash-Moser à la variable réciproque $\tau = \rho^{-1}$ pour obtenir une borne inférieure positive uniforme.
   • Pour le cas critique $\alpha = 1$, l'article établit une borne supérieure uniforme mais note que la borne inférieure reste un problème ouvert en raison de l'incapacité à clore le bootstrap au niveau $L^\infty$ pour la vitesse effective.

5. Estimations d'Ordre Supérieur et Décroissance :

   • Avec les bornes de densité uniformes établies, les auteurs dérivent des estimations globales d'ordre supérieur pour la densité et la vitesse effective.
   • Ils exploitent la structure elliptique inhérente au système de vitesse effective pour contrôler les dérivées d'ordre supérieur.
   • Ces estimations mènent à la preuve du comportement à temps long, montissant que la norme $H^3$ de la déviation de densité et la norme $H^1$ du gradient de vitesse tendent vers zéro.

Contributions Clés et Résultats

• Théorème 1.1 (Cas $\alpha < 1$) :

  • Établit l'existence globale de solutions fortes uniques pour des données initiales arbitrairement grandes en 2D et 3D.
  • Plage de Paramètres Élargie : Étend de manière significative la plage admissible de l'exposant adiabatique $\gamma$ par rapport aux travaux précédents (par exemple, [16]). En 3D, $\gamma$ peut désormais atteindre $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$.
  • Bornes Uniformes : Prouve que la densité satisfait $C^{-1} \le \rho(x,t) \le C$ pour tout $t \ge 0$, garantissant que la solution reste loin du vide et de la concentration.
  • Comportement à Temps Long : Prouve que $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ quand $t \to \infty$, où $\rho_s$ est la densité moyenne. Cela s'applique sans aucune hypothèse de petitesse sur les données initiales.

• Théorème 1.2 (Cas $\alpha = 1$) :

  • Établit l'existence globale pour le cas critique $\alpha = 1$ (qui inclut le modèle de Saint-Venant visqueux et le système Navier-Stokes quantique sous certaines conditions).
  • Plage de Paramètres Améliorée : Élargit davantage la plage admissible de $\gamma$ en 3D à $[1, 11/4)$, améliorant les plages $[1, 8/3)$ de [22] et $[1, 7/3)$ de [25].
  • Borne Supérieure Uniforme : Prouve une borne supérieure uniforme pour la densité ($\rho(x,t) \le C$).
  • Limitation : L'article stipule explicitement que l'établissement d'une borne inférieure positive uniforme pour la densité dans le cas critique $\alpha=1$ demeure un défi ouvert et est laissé pour des travaux futurs.

Signification
L'article apporte une réponse affirmative aux questions de savoir si des solutions fortes globales avec des données initiales arbitrairement grandes admettent des bornes de densité uniformes dans le temps et convergent vers l'équilibre dans le système NSK périodique multidimensionnel.

• Résolution de Problèmes Ouverts : Il résout le problème ouvert concernant le comportement à temps long et les bornes de densité uniformes pour le système NSK généralisé avec de grandes données, qui étaient restés non résolus même après l'établissement de l'existence globale dans [16] et [25].
• Avancée Méthodologique : Le développement de la stratégie de discrétisation temporelle combinée à l'argument de bootstrap pour l'intégrabilité représente une avancée méthodologique significative. Elle permet de dériver des bornes uniformes sans dépendre du régime intermédiaire restrictif ($\varepsilon = \nu$) souvent requis dans les analyses de Navier-Stokes quantiques, couvrant ainsi le régime parabolique plus large ($\varepsilon < \nu$).
• Optimisation des Paramètres : En affinant les plages admissibles de $\gamma$, les résultats élargissent l'applicabilité physique de la théorie de l'existence globale pour les fluides compressibles avec effets de capillarité.

Les auteurs soulignent que leurs résultats sont dérivés sans imposer de conditions de petitesse sur les données initiales, rendant les conclusions robustes pour des scénarios physiquement pertinents impliquant de grandes perturbations. Le travail laisse l'extension au problème de Cauchy et l'établissement des bornes inférieures pour le cas critique $\alpha=1$ comme directions pour la recherche future.