Long time smooth solutions of 3D cubic quasilinear wave systems with small weakly decaying initial data

1. Problématique et Contexte

L'article s'intéresse au problème de Cauchy pour des systèmes d'ondes quasilineaires cubiques en dimension 3 avec des vitesses multiples. L'équation étudiée est de la forme :
$$\square_{c_i} u_i = G_i(u, \partial u, \partial^2 u)$$
où $\square_{c_i} = \partial_t^2 - c_i^2 \Delta$ est l'opérateur d'onde avec des vitesses $c_i > 0$, et la non-linéarité $G_i$ est de degré 3 (cubique) par rapport à $u$ et ses dérivées.

Le défi principal :

• Il est bien établi que pour des données initiales petites, lisses et à support compact (ou à décroissance rapide), des solutions globales existent (sous certaines conditions de nullité ou pour des dimensions $d \ge 4$).
• Cependant, pour des données initiales dans des espaces de Sobolev pondérés de décroissance faible (c'est-à-dire avec un poids $\langle x \rangle^\mu$ où $\mu \in (0, 1)$), l'existence globale ou même à long terme reste un problème ouvert pour les systèmes d'ondes cubiques en 3D.
• Les méthodes classiques (méthode des champs vectoriels de Klainerman) échouent ici car elles nécessitent une décroissance plus forte ($\mu \ge 1$) pour contrôler les termes non linéaires via les inégalités de Sobolev-Klainerman. De plus, les estimées de type KSS (Keel-Smith-Sogge) standards ne suffisent pas à traiter la non-linéarité cubique avec de tels poids faibles.

2. Méthodologie et Outils Techniques

Les auteurs développent une approche novatrice basée sur le principe fort de Huygens spécifique aux équations d'ondes en dimension 3, combinée à de nouvelles estimées de type Strichartz pondérées.

A. Principe fort de Huygens

En dimension 3, la solution de l'équation d'onde linéaire dépend uniquement des données sur la sphère de rayon $t$ (et non dans le cône de lumière entier). Les auteurs exploitent cette propriété pour localiser l'interaction des ondes. Ils introduisent des fonctions de coupure $\Xi_{S(x,t)}$ qui isolent la contribution de la sphère $S(x,t)$, permettant de mieux contrôler le comportement asymptotique des solutions.

B. Nouvelles estimées pondérées

Le cœur de la preuve réside dans l'établissement d'une série de nouvelles estimées $L^\infty - L^2$ pondérées et d'estimates de Strichartz pondérées.

• Contrairement aux estimées standards qui échouent pour les cas extrêmes (endpoint) en dimension 3, les auteurs dérivent des estimées avec des poids spatio-temporels de la forme $A_\nu(t, x) = (1 + t + |x|)^\nu$.
• Ils utilisent une décomposition de Littlewood-Paley (dyadique) pour séparer les fréquences et combinent cela avec le principe de Huygens pour obtenir des bornes précises sur les termes non linéaires.
• Une attention particulière est portée aux poids de classe $A_2$ (Muckenhoupt) pour garantir la stabilité des opérateurs de Riesz et des projections de Littlewood-Paley dans les espaces pondérés.

C. Stratégie de preuve

1. Estimées d'énergie : Contrôle de la norme $H^N$ de la solution via des estimées d'énergie classiques, mais couplées à des normes de Strichartz pondérées pour gérer la non-linéarité.
2. Gestion de la non-linéarité cubique : Pour éviter la perte de dérivées et le blow-up, les auteurs décomposent le terme cubique $G \sim (\partial u)^3$ en utilisant les poids temporels et spatiaux. Ils montrent que :
   $$|\partial u \cdot \partial u \cdot \partial u| \le |A^{\mu/2 -} \partial u| \cdot |A^{\mu/2 -} \partial u| \cdot |\partial u|$$
   où les deux premiers facteurs sont contrôlés dans $L^2_t L^\infty_x$ grâce aux nouvelles estimées de Strichartz, et le dernier dans $L^\infty_t H^N_x$.
3. Argument de continuité : Utilisation d'un argument de continuité (bootstrap) pour étendre la solution localement à un temps global ou presque global, en supposant que les normes restent petites.

3. Résultats Principaux

L'article établit deux théorèmes majeurs selon la nature de la non-linéarité et la décroissance des données initiales.

Théorème 1.1 : Existence « presque globale »

Pour des données initiales petites $(u_0, u_1) \in H^{N+1} \times H^N$ (avec $N \ge 6$) :

• Si la non-linéarité dépend de $u$ (cas général), il existe une solution unique sur un intervalle de temps $[0, T_\varepsilon]$ avec une durée de vie exponentielle :
  $$T_\varepsilon \ge e^{C \varepsilon^{-1}}$$
• Si la non-linéarité est indépendante de $u$ (ne dépend que de $\partial u$ et $\partial^2 u$), la durée de vie est améliorée à :
  $$T_\varepsilon \ge e^{C \varepsilon^{-2}}$$
  Ces résultats sont valables même si les données initiales ne sont pas à support compact, mais seulement dans des espaces de Sobolev standards.

Théorème 1.2 : Existence globale et diffusion (Scattering)

Si les données initiales satisfont une condition de décroissance faible pondérée :
$$\sum_{|a| \le 5} \| \langle x \rangle^\mu \partial_x^a (u_0, u_1) \|_{L^2} \le \varepsilon$$
avec $\mu \in (0, 1)$ et $N$ suffisamment grand ($N \ge \lceil 4 + 2\mu \rceil$) :

• Il existe une solution globale $u \in C([0, \infty); H^{N+1}) \cap C^1([0, \infty); H^N)$.
• La solution vérifie des estimées de décroissance optimales :
  $$(1+t)^{\mu-} (\|u(t)\|_{L^\infty} + \|\partial u(t)\|_{L^\infty}) \le C \varepsilon$$
• Propriété de diffusion (Scattering) : La solution $u$ se comporte asymptotiquement comme une solution libre de l'équation d'onde linéaire. Il existe des données initiales $(u_0^\infty, u_1^\infty)$ pour l'équation linéaire telles que :
  $$\lim_{t \to +\infty} \| \partial(u(t) - u^\infty(t)) \|_{H^{N-1}} = 0$$

4. Contributions Clés et Signification

1. Résolution d'un problème ouvert en dimension 3 : C'est l'un des premiers résultats établissant l'existence globale pour des systèmes d'ondes quasilineaires cubiques en 3D avec des données initiales faiblement décroissantes (poids $\mu < 1$), sans supposer le support compact.
2. Nouvelles estimées de Strichartz pondérées : Les auteurs ont construit des estimées de Strichartz adaptées au principe fort de Huygens en 3D, permettant de contourner l'échec des estimées standards pour les poids faibles. Ces outils sont susceptibles d'être appliqués à d'autres problèmes d'ondes non linéaires.
3. Application à des modèles physiques : Les résultats s'appliquent directement à plusieurs modèles géométriques et physiques importants, notamment :
   • L'équation de la membrane relativiste.
   • L'équation de la membrane non linéaire.
   • L'équation d'onde non linéaire (modèle de Maxwell).
   • L'équation des cristaux liquides nématiques scalaires.
   • Le système des cartes d'ondes (Wave maps).
4. Distinction entre dépendance en $u$ et $\partial u$ : L'article clarifie la différence de durée de vie entre les cas où la non-linéarité dépend de $u$ (temps $e^{C/\varepsilon}$) et où elle ne dépend que des dérivées (temps $e^{C/\varepsilon^2}$), un résultat classique pour les données à support compact, mais ici étendu aux données faiblement décroissantes.

Conclusion

Ce travail représente une avancée significative dans la théorie des équations aux dérivées partielles hyperboliques non linéaires. En combinant le principe de Huygens avec une analyse fine des espaces de Sobolev pondérés, les auteurs parviennent à établir l'existence globale de solutions pour des systèmes complexes avec des conditions initiales moins restrictives que par le passé, ouvrant la voie à l'étude de la stabilité à long terme de modèles physiques réalistes en dimension 3.