Existence and uniqueness of weak solutions to quasilinear PDEs with critical data

1. Énoncé du problème

Les auteurs étudient le problème de valeur initiale pour une classe d'équations aux dérivées partielles (EDP) paraboliques quasilineaires dans l'espace entier $\mathbb{R}^n$ :
$$\partial_t u - \text{div}(a(t, x, u)\nabla u) = 0, \quad u(0, x) = u_0(x).$$
Caractéristiques clés du problème :

• Non-linéarité : Le coefficient de diffusion $a(t, x, u)$ dépend de la solution $u$ elle-même.
• Données critiques : Les données initiales $u_0$ sont supposées bornées ($u_0 \in L^\infty$) et potentiellement uniformément continues ($u_0 \in \text{BUC}$). Ceci est considéré comme « critique » car la bornitude est une condition invariante d'échelle sous le changement d'échelle parabolique, et les auteurs visent à travailler avec des hypothèses de régularité minimales sur $a$ et $u_0$.
• Domaine : Le problème est posé sur le domaine non borné $(0, \infty) \times \mathbb{R}^n$. Cela exclut l'utilisation d'arguments de compacité classiques (comme Rellich-Kondrachov) qui reposent sur des domaines bornés et complique les preuves d'unicité en raison de la masse initiale potentiellement infinie.
• Hypothèses sur $a$ : La fonction coefficient satisfait :
  1. Ellipticité locale : Uniformément elliptique sur les sous-ensembles compacts de l'image de $u$.
  2. Continuité lipschitzienne locale : Par rapport à la variable $u$.
  3. Équilibre borné : Bornitude au voisinage de $u=0$.
  4. Continuité uniforme locale : Par rapport à $(t, x)$ pour des plages de $u$ compactes fixes.

L'objectif est d'établir l'existence, l'unicité et la régularité de solutions faibles globales et bornées.

2. Méthodologie

Les auteurs emploient une combinaison sophistiquée de la théorie linéaire pour les équations paraboliques non autonomes et d'arguments de point fixe dans des espaces fonctionnels spécialisés.

A. Espaces fonctionnels (Espaces Z pondérés)

Une innovation centrale est l'utilisation d'espaces Z pondérés ($Z^{\infty, q}_{-1/2}$) pour contrôler le gradient de la solution. Au lieu d'exiger un contrôle ponctuel de $\nabla u$ (ce qui est trop fort pour des données de faible régularité), ils contrôlent le gradient d'une manière moyennée et invariante d'échelle :
$$\|f\|_{Z^{\infty, q}_{-1/2}(T)} := \sup_{t \in (0,T)} \sup_{x \in \mathbb{R}^n} \left( \int_{t/2}^t \int_{B(x, \sqrt{t})} |s^{1/2} f(s, y)|^q \, dy \, ds \right)^{1/q} < \infty.$$
Cet espace respecte le changement d'échelle parabolique et permet de traiter des données « critiques » où les bornes de gradient standard en $L^\infty$ peuvent ne pas être valables initialement.

B. Théorie linéaire (Les blocs de construction)

Les auteurs établissent d'abord des résultats robustes pour les équations paraboliques linéaires :

1. Cas linéaire non autonome : Ils prouvent des propriétés a priori pour les solutions de $\partial_t u - \text{div}(A(t,x)\nabla u) = 0$ avec des coefficients mesurables et uniformément elliptiques. Les résultats clés incluent la préservation de l'image des données initiales (principe du maximum) et la continuité uniforme de la solution si $u_0$ est uniformément continue.
2. Cas linéaire autonome : Pour les équations avec des coefficients indépendants du temps, ils prouvent le bon positionnement dans les espaces Z. Crucialement, ils montrent que pour des données initiales bornées, le gradient $\nabla u$ appartient à $Z^{\infty, q}_{-1/2}$ et satisfait une condition de petitesse lorsque $t \to 0$ :
   $$\lim_{t \to 0} \|\nabla u\|_{Z^{\infty, q}_{-1/2}(t)} = 0.$$
   Cette petitesse est vitale pour le principe de l'application contractante.

C. Approche quasilineaire (Argument de point fixe)

Pour résoudre le problème quasilineaire, les auteurs utilisent un argument de point fixe de Banach :

1. Linéarisation : Étant donné une fonction d'essai $v$, ils définissent un problème linéaire auxiliaire où le coefficient est figé à $a(t, x, v)$, mais la partie principale est traitée comme une perturbation d'un opérateur autonome fixe $A_0 = a(0, x, u_0)$.
2. Application : Ils définissent une application $\Theta: v \mapsto u$, où $u$ est la solution du problème linéarisé.
3. Contraction : En utilisant la petitesse du gradient dans la norme Z pour de petits intervalles de temps (dérivée de la théorie linéaire), ils prouvent que $\Theta$ est une contraction stricte sur un espace métrique approprié de fonctions bornées.
4. Existence globale : Ils construisent une solution maximale et utilisent un argument d'explosion. Puisque la solution reste bornée et que son image reste dans le domaine de définition de $a$ (grâce au principe du maximum), la solution ne peut pas exploser en temps fini, assurant ainsi l'existence globale.

3. Contributions et résultats clés

Théorème principal (Théorème 1.4) : Bon positionnement pour des données BUC

Pour des données initiales $u_0 \in \text{BUC}(\mathbb{R}^n)$ dont l'image est dans le domaine de $a$ :

• Existence et unicité : Il existe une unique solution faible globale et bornée $u$.
• Régularité : La solution $u$ est uniformément continue sur $[0, \infty) \times \mathbb{R}^n$.
• Contrôle du gradient : Le gradient satisfait la borne invariante d'échelle dans les espaces Z :
  $$\sup_{t \in (0,T)} \|\nabla u\|_{Z^{\infty, q}_{-1/2}(t)} < \infty.$$
• Stabilité : La solution préserve l'image des données initiales ($\text{ran}(u) = \text{ran}(u_0)$) et converge vers les données initiales en $L^\infty$ lorsque $t \to 0$. Si $u_0$ admet une limite à l'infini, la solution converge vers cette limite lorsque $t \to \infty$.

Corollaire 1.5 : Existence pour des données bornées générales

Si les données initiales sont simplement bornées ($u_0 \in L^\infty(\mathbb{R}^n)$) mais pas nécessairement uniformément continues :

• Existence : Une solution faible globale et bornée existe.
• Compromis : L'unicité, la régularité du gradient et la stabilité en $t=0$ ne sont pas garanties dans ce cas général. La solution est construite via un argument de compacité (mollification de $u_0$) plutôt que par un argument de point fixe.
• Régularité : Malgré des données initiales rugueuses, la solution devient Hölderienne pour tout $t > 0$ (régularité de Nash) et finit par être uniformément continue.

4. Importance et nouveauté

1. Régularité critique d'échelle : L'article aborde un régime de régularité minimale qui n'avait pas été couvert précédemment. Les résultats antérieurs (par exemple, ceux de Ladyzhenskaya et al.) exigeaient une régularité plus élevée sur $a$ et $u_0$. Ce travail pousse la théorie jusqu'au seuil « critique » où $u_0$ est seulement bornée.
2. Domaine non borné : Contrairement à de nombreux résultats classiques qui reposent sur des domaines bornés, ce travail traite de l'espace entier $\mathbb{R}^n$. Cela nécessite de nouvelles techniques pour gérer le manque de compacité et la masse infinie, en évitant spécifiquement les arguments d'unicité basés sur $L^1$.
3. Nouveaux espaces fonctionnels : L'introduction et l'application des espaces Z pondérés fournissent un cadre puissant pour contrôler les gradients dans les problèmes quasilineaires avec des données rugueuses. Cette approche remplace les bornes de gradient ponctuelles par des bornes moyennes locales, ce qui est le cadre naturel pour les problèmes invariants d'échelle.
4. Mécanisme d'unicité : La preuve d'unicité pour les données BUC repose sur la petitesse automatique du gradient dans la norme Z près de $t=0$. Cela permet de redémarrer l'argument de point fixe à n'importe quel temps $t$, prouvant que deux solutions doivent coïncider globalement.
5. Coefficients dégénérés/non bornés : Le cadre accepte des coefficients $a(t, x, u)$ qui peuvent être non bornés ou dégénérés en $u$ (par exemple, le type équation des milieux poreux $u^m$), à condition que les données initiales maintiennent la solution dans une plage sûre où l'ellipticité est vérifiée.

Conclusion

Auscher et Bechtel établissent avec succès une théorie complète de bon positionnement pour les équations paraboliques quasilineaires avec des données initiales bornées et critiques sur l'espace entier. En exploitant les espaces Z pondérés et une stratégie de point fixe affinée, ils comblent le fossé entre la théorie classique lisse et le régime difficile des données rugueuses, fournissant un cadre robuste pour les études futures sur les processus de diffusion non linéaires.