Global strong solutions to a one-dimensional full non-Newtonian fluid with far field vacuum

1. Problème Étudié

L'article s'intéresse au problème de Cauchy pour un fluide non newtonien compressible, conducteur de chaleur et non homogène en dimension un. Le système d'équations gouvernant la dynamique du fluide (densité $\rho$, vitesse $u$, température $\theta$) est donné par :

$$\begin{cases} \partial_t \rho + (\rho u)_x = 0, \\ (\rho u)_t + (\rho u^2)_x - (|\partial_x u|^{q-2}\partial_x u)_x + (R\rho\theta)_x = 0, \\ (\rho\theta)_t + (\rho u\theta)_x - (|\partial_x \theta|^{p-2}\partial_x \theta)_x + R\rho\theta \partial_x u = |\partial_x u|^q. \end{cases}$$

Caractéristiques clés du modèle :

• Fluide non newtonien : La contrainte visqueuse suit une loi de puissance non linéaire $(|\partial_x u|^{q-2}\partial_x u)_x$ avec $1 < q < 2$. Cela modélise des fluides dont la viscosité augmente rapidement sous l'effet du taux de cisaillement (comportement pseudoplastique ou dilatant selon le contexte, ici $q<2$ suggère une viscosité décroissante avec le taux de cisaillement, typique des fluides à seuil ou certains polymères).
• Conduction de chaleur non linéaire : Le flux de chaleur est donné par $(|\partial_x \theta|^{p-2}\partial_x \theta)_x$ avec $1 < p < 2$.
• Condition aux limites : Le problème est posé sur tout l'espace $\mathbb{R}$ avec une condition de vide à l'infini (far field vacuum), c'est-à-dire que la densité initiale $\rho_0(x)$ tend vers zéro lorsque $|x| \to \infty$.
• État initial : Les données initiales $(\rho_0, u_0, \theta_0)$ peuvent présenter un vide (densité nulle) à l'infini, mais sont strictement positives sur tout compact.

L'objectif principal est d'établir l'existence et l'unicité de solutions fortes globales (valables pour tout temps $T > 0$) malgré la présence de ce vide à l'infini et la singularité des termes non linéaires.

2. Méthodologie

Les auteurs utilisent une approche analytique rigoureuse basée sur plusieurs étapes clés :

A. Transformation de Lagrange

Pour contourner les difficultés liées au vide (où la densité s'annule) et aux termes de transport, le système est transformé en coordonnées de Lagrange. On introduit l'application de flot $\eta(y,t)$ et les nouvelles variables :

• $J = \eta_y$ (le déterminant du jacobien, lié à la densité par $J\rho = J_0\rho_0$),
• $v = u(\eta, t)$ (vitesse),
• $\Theta = \theta(\eta, t)$ (température),
• $\varrho = \rho(\eta, t)$.

Le système devient un système parabolique dégénéré où la densité initiale $\rho_0$ apparaît comme un poids dans les estimations d'énergie.

B. Approximation et Existence Locale

Pour prouver l'existence locale (Théorème 1.1), les auteurs :

1. Régularisent la densité initiale : Ils remplacent $\rho_0$ par $\rho_{0,\epsilon} = \rho_0 + \epsilon$ pour éviter la singularité immédiate.
2. Utilisent une méthode itérative : Ils construisent une suite de solutions approchées dans un espace de Banach approprié (espaces de Sobolev pondérés).
3. Estimations a priori : Ils dérivent des estimations d'énergie pondérées par des puissances de la densité initiale $\rho_0^\alpha$ (avec $\alpha < 0$). Ces poids sont cruciaux pour contrôler les termes non linéaires singuliers $(|\cdot|^{q-2}\cdot)$ et $(|\cdot|^{p-2}\cdot)$ lorsque la densité tend vers zéro.
4. Passage à la limite : Grâce au théorème de Banach-Alaoglu et à l'argument diagonal de Cantor, ils extraient une sous-suite convergente vers une solution forte locale.

C. Extension Globale (Le cœur de la contribution)

L'extension de la solution locale à un temps global (Théorème 1.2) est le défi majeur. Dans les systèmes classiques (Navier-Stokes), le vide à l'infini peut entraîner une explosion de la solution ou une perte de régularité.

• Contrôle de $J$ : Les auteurs montrent que l'infimum de $J(y,t)$ ne s'annule pas en temps fini, même si la densité décroît à l'infini.
• Inégalité de Grönwall généralisée : Ils utilisent une version locale de l'inégalité de Grönwall (Lemme 1.2) pour contrôler la croissance de l'énergie.
• Série divergente de temps : C'est la technique innovante. Au lieu de prouver que la solution existe sur un intervalle fixe, ils construisent une suite de temps $T_1, T_2, \dots$ où la solution peut être prolongée. Ils démontrent que la somme des intervalles de temps successifs $\sum (T_l - T_{l-1})$ diverge vers l'infini. Cela repose sur une analyse fine de la dépendance des bornes de l'énergie par rapport à la densité initiale et à la décroissance spatiale de celle-ci.

3. Résultats Principaux

Théorème 1.1 (Existence Locale) :
Sous des hypothèses de régularité sur les données initiales (densité positive localement, décroissance contrôlée à l'infini, régularité des dérivées pondérées), il existe un temps $T > 0$ et une unique solution forte $(J, \varrho, v, \Theta)$ au problème. La solution possède une régularité spécifique dans des espaces de Sobolev pondérés par $\rho_0^\alpha$.

Théorème 1.2 (Existence Globale) :
Si, en plus des hypothèses locales, la densité initiale $\rho_0(y)$ décroît lentement à l'infini selon une loi de puissance :
$$\rho_0(y) \geq \frac{A_0}{(1+|y|)^l}$$
avec $l$ appartenant à un intervalle strictement positif dépendant de $p, q$ et $\alpha$, alors la solution forte existe globalement en temps ($T = \infty$).

Propriétés de la solution globale :

• La densité reste non négative.
• L'énergie totale est bornée dans le temps (bornes dépendantes du temps mais finies).
• La solution conserve la régularité forte requise pour tout $t > 0$.

4. Contributions Clés et Innovations

1. Traitement du Vide à l'Infini pour les Fluides Non Newtoniens : C'est l'un des premiers résultats établissant l'existence globale de solutions fortes pour un système de fluide non newtonien complet (avec température) en présence de vide à l'infini. La plupart des travaux antérieurs se concentraient sur des fluides incompressibles ou sans conduction de chaleur.
2. Gestion des Non-Linéarités Singulières ($1 < p, q < 2$) : Les termes $(|\cdot|^{q-2}\cdot)$ et $(|\cdot|^{p-2}\cdot)$ sont singuliers lorsque le gradient s'annule. Les auteurs développent des estimations d'énergie pondérées spécifiques pour maîtriser ces singularités sans supposer que la densité est uniformément bornée inférieurement (ce qui est impossible avec un vide à l'infini).
3. Différence avec les Résultats de Li et Xin (Navier-Stokes) : L'article met en évidence une différence fondamentale avec le système de Navier-Stokes compressible (traité par Li et Xin). Pour les fluides newtoniens, la viscosité constante permet un contrôle différent. Ici, la viscosité variable (dépendante du gradient) impose des contraintes plus fortes sur la décroissance de la densité initiale ($l$ doit être suffisamment petit) pour garantir la stabilité globale.
4. Méthode de Prolongement par Série Divergente : L'utilisation d'une suite de temps croissants dont la somme diverge pour prouver l'existence globale est une technique élégante qui contourne les obstacles classiques liés à l'annulation de la densité.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Théorique : Il comble un vide dans la littérature mathématique concernant les fluides non newtoniens compressibles avec conduction de chaleur et vide. Il étend la théorie des solutions fortes au-delà du cas newtonien et du cas sans vide.
• Physique : Les modèles de fluides non newtoniens (polymères, boues, sang, etc.) sont omniprésents en ingénierie chimique et en mécanique des fluides. Comprendre le comportement de ces fluides dans des régimes de faible densité (vide) est crucial pour des applications en astrophysique ou en micro-fluidique.
• Analyse Mathématique : Les techniques développées, notamment les estimations pondérées et la méthode de prolongement itératif, offrent de nouveaux outils pour aborder d'autres problèmes aux limites libres ou avec vide dans les systèmes d'équations aux dérivées partielles non linéaires.

En résumé, cet article établit un cadre rigoureux pour l'analyse mathématique des écoulements de fluides complexes dans des conditions extrêmes (vide), démontrant que la structure non linéaire spécifique du fluide, combinée à une décroissance lente de la densité, permet de maintenir la régularité de la solution indéfiniment.