Results for blow-up and sharp lifespan estimates to a weakly coupled system of structurally damped wave equations with critical nonlinearities

1. Problématique et Contexte

L'article étudie un système faiblement couplé d'équations d'ondes semi-linéaires avec amortissement structurel, caractérisées par des termes non linéaires critiques incluant des modules de continuité. Le système considéré est le suivant :

$$\begin{cases} u_{tt} - \Delta u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} - \Delta v + (-\Delta)^\sigma v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
défini sur $\mathbb{R}^n \times [0, \infty)$, avec des conditions initiales appropriées.

Points clés du problème :

• Amortissement structurel : L'opérateur d'amortissement est $(-\Delta)^\sigma$ avec $\sigma \in [0, 1/2]$. Ce cas correspond aux modèles dits "paraboliques" (amortissement efficace), par opposition aux modèles "hyperboliques" ($\sigma \in (1/2, 1]$).
• Exposants critiques : Les puissances $p^*$ et $q^*$ appartiennent à la courbe critique définie par :
  $$\frac{1 + \max\{p^*, q^*\}}{p^*q^* - 1} = \frac{n - 2\sigma}{2}$$
  Cette courbe sépare le régime d'existence globale (pour des données petites) du régime d'explosion en temps fini.
• Non-linéarités critiques : Au lieu de simples puissances $|u|^p$, les auteurs introduisent des modules de continuité $\mu_1$ et $\mu_2$ (ex: $\mu(s) = (\log(1/s))^{-\alpha}$) pour affiner la régularité de la non-linéarité et déterminer des conditions de blow-up plus précises.

L'objectif principal est de déterminer les conditions optimales sur les modules de continuité $\mu_1, \mu_2$ qui garantissent soit l'existence globale de solutions pour de petites données, soit l'explosion en temps fini, et d'estimer la durée de vie (lifespan) $T_\varepsilon$ de la solution locale dans le cas d'explosion.

2. Méthodologie

Les auteurs utilisent une approche combinant l'analyse fonctionnelle, la théorie des équations aux dérivées partielles (EDP) et des techniques de test fonctionnel avancées.

A. Construction de nouvelles fonctions tests

Contrairement aux travaux antérieurs (comme [7] pour $\sigma=0$) qui utilisaient des fonctions tests à support compact, la présence de l'opérateur fractionnaire $(-\Delta)^\sigma$ (non-local) pour $\sigma > 0$ rend cette approche insuffisante.

• Les auteurs construisent de nouvelles fonctions tests $\phi_R(x, t)$ basées sur des fonctions $\phi(x)$ et $\eta(t)$ qui ne sont pas à support compact.
• Ces fonctions sont conçues pour gérer les propriétés d'échelle de l'opérateur fractionnaire et traiter les domaines non compacts $Q_R$ générés par l'action de $(-\Delta)^\sigma$.
• Ils établissent des estimations précises pour les dérivées temporelles et spatiales (y compris l'opérateur fractionnaire) de ces fonctions tests.

B. Méthode de l'énergie (Test Function Method)

Pour prouver l'explosion (Blow-up) :

• Ils définissent des fonctionnelles intégrales $I_R$ et $J_R$ liées aux solutions.
• En utilisant l'inégalité de Jensen généralisée et les propriétés de convexité des fonctions $\Phi_p(s) = s^{p^*}\mu_1(s)$, ils dérivent un système d'inégalités différentielles couplées pour des fonctions auxiliaires $G_p(R)$ et $G_q(R)$.
• L'analyse asymptotique de ce système conduit à une contradiction si l'intégrale suivante diverge :
  $$\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds = \infty$$

C. Estimation de la durée de vie (Lifespan)

Pour obtenir les estimations de la durée de vie $T_\varepsilon$ :

• Majoration (Upper Bound) : En utilisant la méthode de contradiction basée sur les fonctionnelles précédentes, mais avec des données initiales de taille $\varepsilon$, ils établissent une relation entre le temps d'explosion et l'intégrale divergente.
• Minoration (Lower Bound) : Ils construisent un espace de solution adapté $X(T)$ avec des normes pondérées dépendant du temps. En utilisant des estimations de dispersion pour l'équation linéaire associée (Proposition 2.1) et un argument de point fixe (contraction), ils prouvent l'existence locale et déduisent la borne inférieure de $T_\varepsilon$.
• Une étape cruciale consiste à optimiser le poids $\ell(t)$ dans les normes pour obtenir une estimation "sharp" (précise).

3. Résultats Principaux

Théorème 1.1 : Condition d'Explosion (Blow-up)

Sous l'hypothèse que les données initiales ont une masse positive ($\int u_1 > 0, \int v_1 > 0$) et que les modules de continuité satisfont certaines conditions de régularité ($s^k \mu_j^{(k)}(s) = O(\mu_j(s))$), le système n'admet pas de solution globale dans l'espace de Sobolev si :
$$\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds = \infty$$
Cela généralise les résultats connus pour les puissances pures (où $\mu \equiv 1$) au cas des non-linéarités critiques avec modules de continuité.

Théorème 1.2 : Estimations de Durée de Vie (Sharp Lifespan)

Pour de petites données initiales de taille $\varepsilon$, si la condition d'explosion ci-dessus est satisfaite, la durée de vie $T_\varepsilon$ de la solution locale satisfait les estimations suivantes (avec $C$ une constante positive) :

• Cas $p^* = q^*$ :
  $$T_\varepsilon \sim \left( \psi^{-1}(C \varepsilon^{-(p^*-1)}) \right)^{1-\sigma}$$
• Cas $p^* < q^*$ :
  $$T_\varepsilon \sim \left( \psi^{-1}\left(C \varepsilon^{-\frac{q^*(p^*q^*-1)}{q^*+1}}\right) \right)^{1-\sigma}$$

Où $\psi(\tau)$ est une fonction croissante définie par l'intégrale des modules de continuité :
$$\psi(\tau) = \int_{R_0}^\tau \frac{1}{r} \left(\mu_1(C r^{-\frac{n}{2}+\sigma})\right)^{\frac{q^*}{q^*+1}} \left(\mu_2(C r^{-\frac{n}{2}+\sigma})\right)^{\frac{1}{q^*+1}} dr$$
et $\psi^{-1}$ est sa fonction réciproque.

Cas particuliers notables :

• Si $\mu_1 \equiv \mu_2 \equiv 1$ (cas des puissances pures), on retrouve les résultats exponentiels classiques (ex: $T_\varepsilon \sim \exp(C\varepsilon^{-(p-1)})$) multipliés par un facteur $(1-\sigma)$, confirmant l'effet de l'amortissement structurel.
• Si $\sigma = 0$, on retrouve les résultats récents pour les équations d'ondes amorties classiques.

4. Contributions et Significativité

1. Résolution d'un problème ouvert : L'article répond positivement à la question de l'existence de solutions globales ou d'explosion sur la courbe critique pour le système d'ondes amorties structurellement avec $\sigma \in (0, 1/2]$, un cas qui restait ouvert dans la littérature précédente.
2. Gestion de la non-localité : La construction de nouvelles fonctions tests non à support compact est une avancée méthodologique majeure permettant de traiter l'opérateur fractionnaire $(-\Delta)^\sigma$ dans un contexte de systèmes couplés.
3. Précision des estimations : Les auteurs fournissent des estimations de durée de vie optimales (sharp) qui dépendent explicitement de la nature des modules de continuité. Cela permet de quantifier comment la régularité de la non-linéarité (via $\mu$) influence le temps d'explosion.
4. Unification des résultats : Le cadre théorique proposé englobe et généralise plusieurs résultats antérieurs (cas $\sigma=0$, cas $\mu \equiv 1$, systèmes découplés) en un seul résultat cohérent.

Conclusion

Ce travail établit une théorie complète pour les systèmes faiblement couplés d'ondes amorties structurellement avec des non-linéarités critiques. Il démontre que la condition de divergence de l'intégrale impliquant les modules de continuité est la condition nécessaire et suffisante pour l'explosion en temps fini, et fournit des bornes précises pour la durée de vie des solutions. Ces résultats ouvrent la voie à l'étude de systèmes plus généraux, comme les équations d'évolution $\sigma$ avec des termes d'amortissement et de dispersion fractionnaires mixtes (problème mentionné comme ouvert dans la conclusion).