Regularity and singularity of the blow-up curve for a wave equation with a derivative nonlinearity and a scale-invariant damping

Titre : Régularité et singularité de la courbe d'explosion pour une équation d'onde avec non-linéarité dérivée et amortissement invariant d'échelle

Auteurs : Ahmed Bchatnia, Makram Hamouda, Firas Kaabi, Takiko Sasaki, Hatem Zaag.

---

1. Problème Étudié

L'article se concentre sur l'analyse du comportement d'explosion (blow-up) des solutions de l'équation d'onde non linéaire unidimensionnelle avec un terme d'amortissement invariant d'échelle et une non-linéarité dépendant de la dérivée temporelle :

$$\partial_t^2 u - \partial_x^2 u + \frac{\mu}{1+t}\partial_t u = |\partial_t u|^p, \quad x \in \mathbb{R}, t > 0$$

avec $p > 1$ et $\mu \ge 0$. Les données initiales sont supposées suffisamment grandes et régulières.

Le problème central est de caractériser la courbe d'explosion $T(x)$, définie comme le temps maximal d'existence de la solution en un point $x$ :
$$T(x) := \sup \{ t \in (0, T^*) : |\partial_t u(x, t)| < \infty \}.$$

Contrairement aux équations d'onde semi-linéaires classiques ($\square u = |u|^p$) où la structure variationnelle permet d'utiliser des estimations d'énergie, cette équation ne possède pas de structure variationnelle en raison de la non-linéarité $|\partial_t u|^p$. De plus, la présence du terme d'amortissement $\frac{\mu}{1+t}$ complique l'analyse par rapport au cas sans amortissement ($\mu=0$).

L'objectif est de prouver que la courbe d'explosion $T(x)$ est de classe $C^1$ (continûment différentiable) sous des hypothèses appropriées sur les données initiales.

---

2. Méthodologie

La stratégie de preuve s'inspire des travaux fondateurs de Caffarelli et Friedman, adaptés par Sasaki pour les non-linéarités dérivées, mais avec des adaptations cruciales pour gérer le terme d'amortissement.

A. Transformation en Système du Premier Ordre

Les auteurs introduisent les invariants de Riemann :
$$\phi = \partial_t u + \partial_x u, \quad \psi = \partial_t u - \partial_x u.$$
L'équation originale est transformée en un système hyperbolique du premier ordre :
$$\begin{cases} D_- \phi = 2^{-p}|\phi + \psi|^p - \frac{\mu}{1+t}\frac{\phi + \psi}{2}, \\ D_+ \psi = 2^{-p}|\phi + \psi|^p - \frac{\mu}{1+t}\frac{\phi + \psi}{2}, \end{cases}$$
où $D_- = \partial_t - \partial_x$ et $D_+ = \partial_t + \partial_x$ sont les dérivées le long des caractéristiques. Cette transformation permet de déplacer la non-linéarité du terme dérivé vers des termes non dérivés ($\phi, \psi$).

B. Schéma d'Approximation Successive

Pour établir l'existence et la régularité des solutions, les auteurs utilisent un schéma itératif basé sur les caractéristiques. Ils construisent des suites $\{\phi_n\}$ et $\{\psi_n\}$ en résolvant des équations intégrales le long des rayons caractéristiques $x \pm t = c$.

• Monotonie : Ils prouvent que les approximations successives sont croissantes et positives sous des conditions initiales adéquates.
• Contrôle des dérivées : Une étape clé consiste à établir des estimations de gradient montrant que la dérivée temporelle domine la dérivée spatiale ($\partial_t \phi \ge (1+\varepsilon_0)|\partial_x \phi|$), ce qui est essentiel pour la régularité de la courbe d'explosion.

C. Analyse par Homothétie (Scaling)

Pour étudier le comportement local près de la courbe d'explosion, les auteurs introduisent des fonctions redimensionnées (blow-up sequences) :
$$\phi_\lambda(y, s) = \lambda^q \phi(x_0 + \lambda y, T(x_0) + \lambda s), \quad \text{où } q = \frac{1}{p-1}.$$
En faisant tendre $\lambda \to 0$, ils analysent les limites de ces fonctions. Le terme d'amortissement $\frac{\mu}{1+t}$ devient négligeable à l'échelle de l'explosion (car $t \approx T(x_0)$ est fini et constant localement), permettant de se ramener à un système limite sans amortissement.

D. Caractérisation du Profil d'Explosion

L'analyse des limites montre que le profil d'explosion est asymptotiquement auto-similaire. Les solutions limites satisfont un système d'ODEs le long des caractéristiques, conduisant à des profils explicites de la forme :
$$\partial_t u \sim \left[ \frac{1}{(p-1)(T(x)-t)} \right]^{1/(p-1)}.$$

---

3. Contributions Clés et Résultats Principaux

Théorème Principal : Régularité $C^1$ de la Courbe d'Explosion

Sous des hypothèses techniques sur les données initiales (suffisamment grandes, régulières, et satisfaisant certaines conditions de croissance), les auteurs prouvent :

1. Existence et unicité d'une fonction $T \in C^1(B_{R^*})$ définissant la courbe d'explosion.
2. Lipschitzianité : La courbe est Lipschitzienne avec une constante de Lipschitz strictement inférieure à 1 (elle est donc de type "espace-temps" ou space-like).
   $$|T(x) - T(y)| \le \frac{1}{1+\varepsilon_0} |x - y|.$$
3. Différentiabilité : La fonction $T$ est continûment différentiable ($C^1$).

Caractérisation du Profil d'Explosion

L'article identifie et caractérise précisément le profil d'explosion de la solution. Il est démontré que :

• Le taux d'explosion est le même que dans le cas d'un amortissement constant : $(T(x)-t)^{-1/(p-1)}$.
• Le profil spatial est approximativement auto-similaire (de type "pic" ou peaking).
• La présence de l'amortissement $\mu$ affecte la constante de proportionnalité mais pas l'exposant critique de l'explosion, car le terme $\frac{\mu}{1+t}$ varie lentement près du temps d'explosion.

Structure Linéaire de la Limite

Un résultat intermédiaire crucial (Théorème 3.6) montre que la courbe d'explosion limite, obtenue par redimensionnement autour d'un point, est une droite :
$$T_0(y) = \alpha y, \quad \text{avec } \alpha \in (-1, 1).$$
Cela implique que la courbe d'explosion originale est localement bien approchée par une droite, ce qui garantit sa différentiabilité.

---

4. Difficultés Techniques et Innovations

• Gestion de l'Amortissement : Le terme $\frac{\mu}{1+t}$ introduit des termes supplémentaires dans les équations le long des caractéristiques qui brisent la symétrie simple du cas sans amortissement. Les auteurs ont dû développer des conditions structurelles supplémentaires (hypothèses A4, A5) et des réductions techniques pour recréer un cadre comparable au cas non amorti.
• Absence de Structure Variationnelle : Contrairement aux équations $\square u = |u|^p$, la méthode d'énergie de Merle-Zaag ne s'applique pas. L'approche repose entièrement sur l'analyse des caractéristiques et des ODEs, une méthode plus délicate pour les non-linéarités dérivées.
• Preuve de la Différentiabilité : La preuve de la $C^1$-régularité repose sur une argumentation par l'absurde utilisant la convergence des profils limites. Si $T$ n'était pas différentiable, il existerait deux pentes limites distinctes ($\alpha_1 \neq \alpha_2$), ce qui entraînerait une contradiction via l'analyse des dérivées directionnelles dans des secteurs angulaires spécifiques.

---

5. Signification et Impact

Ce travail représente une avancée significative dans la théorie des équations d'onde non linéaires :

1. Extension des Résultats : Il étend les résultats de régularité de la courbe d'explosion (initialement établis par Caffarelli-Friedman pour les équations semi-linéaires et Sasaki pour les équations dérivées sans amortissement) au cas plus complexe incluant un amortissement invariant d'échelle.
2. Robustesse de la Méthode : Il démontre que la méthode des caractéristiques et l'analyse asymptotique par redimensionnement sont robustes face à la présence de termes d'amortissement dépendant du temps, tant que le comportement asymptotique de l'amortissement est contrôlé.
3. Compréhension Géométrique : La preuve que la courbe d'explosion est $C^1$ confirme que, même avec des non-linéarités dérivées et de l'amortissement, la géométrie de l'explosion reste "lisse" et ne présente pas de points singuliers (contrairement à certains cas d'équations semi-linéaires où des points singuliers peuvent apparaître).

En résumé, cet article établit rigoureusement la régularité géométrique de l'explosion pour une classe importante d'équations d'onde dissipatives, comblant une lacune dans la littérature concernant l'interaction entre l'amortissement invariant d'échelle et les non-linéarités dérivées.