Well-Posedness and Asymptotic Decay of Solutions to the Three-Dimensional Euler Equations with Damping

Résumé Technique : Bien-posé global et décroissance asymptotique des solutions des équations d'Euler tridimensionnelles avec amortissement

Énoncé du Problème
L'article traite du problème de longue date de la bien-poséité globale des équations d'Euler compressibles multidimensionnelles avec amortissement. Bien que l'existence globale de solutions lisses pour des données initiales petites dans le régime isentropique ($\gamma > 1$) ait été partiellement établie dans des travaux antérieurs (par exemple, [29, 31]), le cas permettant des données initiales partiellement grandes en trois dimensions reste difficile. Plus précisément, les auteurs étudient le problème de Cauchy pour les équations d'Euler amorties en trois dimensions, tant dans le régime isentropique ($\gamma > 1$) que dans le régime isotherme ($\gamma = 1$). La difficulté principale réside dans le fait qu'en l'absence d'amortissement, les solutions développent typiquement des singularités (chocs) en un temps fini, quelle que soit la régularité des données initiales. Bien que l'amortissement améliore la régularité pour des données petites, il ne prévient pas la formation de singularités pour des données larges en général. Ce travail cherche à établir l'existence globale et les taux de décroissance optimaux pour des données initiales où la norme $L^2$ peut être grande, à condition que la norme de Sobolev d'ordre trois soit suffisamment petite.

Méthodologie
Les auteurs emploient une combinaison de méthodes d'énergie, d'analyse de la fonction de Green et d'arguments de compacité.

1. Transformation en un système hyperbolique symétrique : Pour le cas isentropique ($\gamma > 1$), les auteurs introduisent une nouvelle variable $\phi = \frac{2}{\gamma-1}(\sigma(\rho) - \sigma(\rho^*))$, où $\sigma(\rho) = \sqrt{P'(\rho)}$ est la vitesse du son. Cela transforme le système original en un système hyperbolique symétrique avec un amortissement partiel. Cette reformulation est cruciale pour dériver les estimations a priori.
2. Critère de régularité : Une étape clé consiste à établir un critère de régularité (Théorème 3.1). Les auteurs prouvent que si l'intégrale des normes $L^\infty$ des gradients de $\phi$ et de $u$ sur le temps reste suffisamment petite, la solution locale peut être étendue globalement.
3. Fonction de Green et analyse de décroissance : Le système linéarisé est analysé via sa fonction de Green $G$. En décomposant la solution en parties à basse fréquence ($G^\ell$) et haute fréquence ($G^h$), les auteurs dérivent des taux de décroissance précis.
   • La partie basse fréquence satisfait des taux de décroissance algébrique optimaux similaires à ceux de l'équation de la chaleur, dérivés des valeurs propres de l'opérateur linéarisé.
   • La partie haute fréquence est contrôlée par des estimations d'énergie et la structure d'amortissement, ce qui fournit une décroissance exponentielle.
4. Gestion des données initiales larges : Le cadre permet des données initiales $L^2$ larges ($\|( \rho_0 - \rho^*, u_0) \|_{L^2} \le M_0$) en supposant que la norme d'ordre supérieur est petite ($\|D^3(\rho_0 - \rho^*, u_0)\|_{L^2} \le \delta_0$). La preuve repose sur la petitesse de $\delta_0$ pour fermer les estimations a priori, en utilisant des inégalités d'interpolation (Gagliardo-Nirenberg) pour borner les normes $L^\infty$ des gradients par les normes d'ordre supérieur petites et les normes d'ordre inférieur potentiellement grandes.
5. Limite isotherme : Pour traiter le cas $\gamma = 1$, où la transformation $\phi$ devient singulière, les auteurs utilisent un argument de compacité. Ils établissent d'abord des estimations uniformes pour les solutions par rapport à $\gamma \in (1, 3]$. Ensuite, en utilisant le lemme d'Aubin-Lions, ils prouvent la convergence forte de la suite de solutions lorsque $\gamma \to 1$, justifiant ainsi rigoureusement la limite isotherme.

Contributions Clés et Résultats

• Bien-posé global avec données partiellement larges : L'article établit l'existence de solutions classiques uniques globales pour les équations d'Euler amorties en 3D, tant dans le régime isentropique ($\gamma > 1$) qu'isotherme ($\gamma = 1$). Les données initiales peuvent avoir une norme $L^2$ large, à condition que la norme de Sobolev d'ordre trois soit petite. Cela étend les résultats précédents qui nécessitaient généralement une petitesse dans la norme de Sobolev complète.
• Taux de décroissance algébrique optimaux : Les auteurs dérivent des taux de décroissance optimaux pour les solutions globales. Spécifiquement, pour $k=0, 1, 2, 3$ :
  • $\|D^k(\rho - \rho^*)(t)\|_{L^2} \le C(1+t)^{-k/2}$
  • $\|D^k u(t)\|_{L^2} \le C(1+t)^{-(k-1)/2}$
    Ces taux correspondent à ceux du système linéarisé correspondant, confirmant leur optimalité.
• Limite isotherme : L'article prouve rigoureusement qu'à mesure que $\gamma \to 1$, les solutions du système d'Euler amorti isentropique convergent fortement vers la solution du système d'Euler amorti isotherme. Ce résultat établit simultanément la bien-poséité globale et la décroissance asymptotique pour le cas isotherme ($\gamma = 1$).
• Nouveau cadre analytique : Pour le cas isentropique, un nouveau cadre est développé où toutes les estimations a priori requises sont dérivées sous la condition que $\int_0^T (\|\nabla \rho\|_{L^\infty} + \|\nabla u\|_{L^\infty}) dt$ reste petit. Cette condition est vérifiée en utilisant les taux de décroissance optimaux dérivés.

Signification
L'article prétend résoudre une lacune importante dans la théorie de la dynamique des fluides compressibles en traitant des données initiales "partiellement larges" en trois dimensions. En découplant la taille de la norme $L^2$ des exigences de régularité d'ordre supérieur, les auteurs démontrent que des solutions lisses globales existent même lorsque la perturbation initiale de la densité et de la vitesse est large au sens $L^2$, tant que les composantes haute fréquence sont petites. De plus, le traitement unifié de la limite isotherme fournit une base mathématique rigoureuse pour la transition entre les modèles isentropiques et isothermes en présence d'amortissement, une transition qui était auparavant difficile à justifier en raison de la singularité de la transformation de variable standard à $\gamma = 1$. Les résultats sont présentés comme une conséquence directe des techniques analytiques développées, sans invoquer de propositions expérimentales ou d'applications futures non vérifiées.