On semilinear damped wave equations with initial data in homogeneous Sobolev spaces

1. Problématique et Contexte

L'article étudie le problème de Cauchy pour l'équation des ondes amorties semi-linéaire en dimension $n$ :
$$\begin{cases} \partial_t^2 u + \partial_t u - \Delta u = |u|^p, & x \in \mathbb{R}^n, \, t > 0, \\ (u(0, x), \partial_t u(0, x)) = (\epsilon u_0, \epsilon u_1), & x \in \mathbb{R}^n, \end{cases}$$
où $p > 1$ et $0 < \epsilon \ll 1$ est un paramètre de petite amplitude.

Le défi principal : Déterminer l'exposant critique $p_c$ qui sépare l'existence globale de solutions (pour de petites données initiales) de l'explosion en temps fini (blow-up), ainsi que l'estimation de la durée de vie $T$ des solutions lorsque l'explosion se produit.

Cadre des données initiales :
Contrairement aux études antérieures utilisant des données dans $L^1 \cap H^s$ (où l'exposant critique est l'exposant de Fujita $p_F = 1 + 2/n$) ou dans des espaces $L^m \cap H^s$, ce papier se concentre sur des données initiales appartenant à l'espace produit :
$$(u_0, u_1) \in (\dot{H}^{-\gamma} \cap H^s) \times (\dot{H}^{-\gamma} \cap L^2),$$
avec $\gamma > 0$ et $s \in (0, 1]$. L'espace $\dot{H}^{-\gamma}$ est l'espace de Sobolev homogène défini par la norme $\|f\|_{\dot{H}^{-\gamma}} = \||\xi|^{-\gamma} \hat{f}\|_{L^2}$.

État de l'art :
Chen et Reissig [1] avaient déjà établi que pour $0 < \gamma < n/2$, l'exposant critique est donné par :
$$p_{crit} = 1 + \frac{4}{n + 2\gamma}.$$
Cependant, le cas $\gamma \ge n/2$ restait non résolu. Ce papier vise à combler cette lacune.

2. Méthodologie

L'auteur utilise une approche mixte combinant des estimations de décroissance pour l'existence globale et la méthode des fonctions test (test function method) pour les résultats d'explosion.

A. Preuve d'existence globale (Théorème 1)

Pour le cas $\gamma \ge n/2$, l'auteur ne peut pas appliquer directement les résultats de Chen-Reissig car les conditions sur les paramètres ne sont plus satisfaites.

• Stratégie : Il utilise un lemme d'inclusion monotone (Lemme 2) montrant que si $\tilde{\gamma} < \gamma$, alors $\dot{H}^{-\gamma} \subset \dot{H}^{-\tilde{\gamma}}$.
• Réduction : Il choisit un paramètre $\tilde{\gamma}$ tel que $0 < \tilde{\gamma} < n/2$ et qui satisfait les conditions requises par le théorème d'existence de Chen-Reissig (Lemme 1).
• Application : Puisque les données initiales appartiennent à $\dot{H}^{-\gamma}$, elles appartiennent automatiquement à $\dot{H}^{-\tilde{\gamma}}$. Il applique donc le résultat connu pour $\tilde{\gamma}$ pour obtenir une solution globale pour le cas $\gamma \ge n/2$, avec des estimations de décroissance adaptées.

B. Preuve d'explosion (Théorèmes 2 et 3)

Pour démontrer la non-existence de solutions globales, l'auteur utilise la méthode des fonctions test (inspirée de l'approche de Fujita et Kato).

• Construction de fonctions tests : Il construit des fonctions de lissage (bump functions) $\phi_R(x)$ et $\eta_R(t)$ basées sur une fonction radiale $\tilde{\phi}$ et une fonction temporelle $\tilde{\eta}$, satisfaisant des propriétés de positivité et de décroissance spécifiques (Lemmes 3 et 4).
• Fonctionnelle intégrale : Il définit une fonctionnelle $I(R) = \iint |u|^p \phi_R \eta_R \, dx dt$.
• Estimations : En utilisant l'inégalité de Hölder et les propriétés des fonctions tests, il établit des inégalités différentielles reliant $I(R)$ aux données initiales.
• Cas distincts :
  • Théorème 2 : Traite le cas où $p < p_{crit}$ (mais $p$ peut être supérieur à $p_F$). Il utilise des données initiales dont la transformée de Fourier se comporte comme $|\xi|^{-n/2+\gamma}(\log|\xi|)^{-1}$ près de l'origine.
  • Théorème 3 : Traite le cas où $p < p_F$ (l'exposant de Fujita). Il montre que même pour des données régulières (comme des gaussiennes), l'explosion est inévitable si $p < p_F$.

3. Résultats Principaux

Théorème 1 : Existence Globale

Pour $1 \le n \le 6$ et $\gamma \ge n/2$ (avec une condition plus précise sur $\gamma$ pour $n \ge 3$), si l'exposant $p$ satisfait :
$$p > \max\left(1 + \frac{2}{n}, \frac{\sqrt{n^2+16n}+n}{2n}\right) \quad \text{et} \quad p \le \frac{n}{n-2s} \text{ (si } n > 2s),$$
alors, pour des données initiales suffisamment petites dans $(\dot{H}^{-\gamma} \cap H^s) \times (\dot{H}^{-\gamma} \cap L^2)$, il existe une solution unique globale $u \in C([0, \infty); H^s)$.

• Décroissance : La solution décroît en temps comme $(1+t)^{-\tilde{\gamma}/2}$ dans $L^2$ et $(1+t)^{-(s-\tilde{\gamma})/2}$ dans $H^s$, où $\tilde{\gamma}$ est un paramètre intermédiaire.

Théorème 2 : Explosion pour $p < p_{crit}$

Si $1 < p < 1 + \frac{4}{n+2\gamma}$ et que les données initiales satisfont certaines conditions de positivité dans l'espace de Fourier (comportement singulier contrôlé), alors aucune solution faible globale n'existe.

• Durée de vie : $T \lesssim \epsilon^{-\frac{1}{p' - 1 - \gamma/2 - n/4}}$.

Théorème 3 : Explosion pour $p < p_F$

Si $1 < p < 1 + \frac{2}{n}$ (exposant de Fujita) et que les données initiales sont strictement positives presque partout dans l'espace de Fourier, alors aucune solution globale n'existe.

• Durée de vie : $T \lesssim \epsilon^{-\frac{p}{p' - 1 - n/2}}$.

4. Contributions Clés et Signification

1. Extension du domaine de validité : L'article résout le problème pour la région $\gamma \ge n/2$, qui était hors de portée des travaux antérieurs de Chen et Reissig (limités à $\gamma < n/2$).
2. Unification des exposants critiques :
   • Pour $n=1$ et $n=2$, l'exposant critique coïncide avec l'exposant de Fujita $p_F = 1 + 2/n$.
   • Pour $n \ge 3$, l'exposant critique est déterminé par la formule $p_{crit} = 1 + \frac{4}{n+2\gamma}$ tant que $\gamma$ est dans la plage admissible, mais le papier montre que pour $\gamma$ très grand, le comportement est dominé par la structure de l'espace $\dot{H}^{-\gamma}$.
3. Estimations de durée de vie (Lifespan) : L'auteur fournit des estimations précises de la durée de vie $T$ en fonction de $\epsilon$, $p$, $n$ et $\gamma$. Il identifie deux régimes d'explosion :
   • Un régime dominé par l'exposant de Fujita ($p < p_F$).
   • Un régime dominé par l'exposant critique lié à la dissipation et à la régularité négative ($p_F \le p < p_{crit}$).
4. Rôle de la régularité négative : Le travail met en évidence comment la régularité négative des données initiales ($\dot{H}^{-\gamma}$) modifie la balance entre la diffusion (amortissement) et la non-linéarité, déplaçant le seuil d'existence globale par rapport au cas classique $L^1$.

5. Conclusion

Ce papier complète la théorie des équations des ondes amorties semi-linéaires en caractérisant complètement le comportement des solutions pour des données initiales dans des espaces de Sobolev homogènes de régularité négative, y compris le cas critique et super-critique $\gamma \ge n/2$. Il établit que l'existence globale est possible pour des exposants $p$ plus grands que $p_F$ lorsque $\gamma$ est suffisamment grand, mais que l'explosion inévitable se produit dès que $p$ tombe en dessous de $p_F$ ou de $p_{crit}$ selon le régime considéré. Les résultats sont illustrés par des diagrammes dans le plan $(\gamma, p)$ montrant les frontières entre existence globale et explosion.