On a system of semilinear damped $\sigma$-evolution equations with different damping types in the critical case

Résumé Technique : Sur un système d'équations de $\sigma$-évolution semi-linéaires amorties avec différents types d'amortissement dans le cas critique

Énoncé du Problème
Cet article étudie le problème de Cauchy pour un système faiblement couplé, non symétrique, d'équations de $\sigma$-évolution semi-linéaires amorties dans $\mathbb{R}^n$. Le système est donné par :
$$\begin{cases} u_{tt} + (-\Delta)^\sigma u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} + (-\Delta)^\sigma v + v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
avec des données initiales $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$. Ici, $\sigma \ge 1$ et les termes d'amortissement diffèrent : la première équation présente un amortissement structurel $(-\Delta)^\sigma u_t$ (comportement de type parabolique), tandis que la seconde présente un amortissement standard $v_t$ (comportement de type $\sigma$-évolution). Les exposants $(p^*, q^*)$ se situent sur la courbe critique définie par l'interaction de ces deux types d'amortissement distincts. Les non-linéarités incluent des modules de continuité $\mu_1$ et $\mu_2$, qui apportent une régularité supplémentaire au-delà des simples lois de puissance classiques. L'objectif principal est de déterminer les conditions précises sur $\mu_1$ et $\mu_2$ qui distinguent l'existence globale de solutions de Sobolev pour petites données de l'explosion en temps fini.

Méthodologie
Les auteurs emploient deux cadres analytiques distincts correspondant aux deux principaux résultats :

1. Existence Globale (Argument de Point Fixe) :

   • La preuve utilise le théorème du point fixe de Banach dans un espace de solutions $X(t)$ soigneusement construit.
   • L'élément clé de cette approche est la dérivation d'estimations de décroissance pour les problèmes linéarisés associés aux deux types d'amortissement différents.
   • Pour traiter le cas critique et la nature non symétrique, les auteurs introduisent des fonctions de poids $\ell_1(t)$ et $\ell_2(t)$ qui rendent compte de la « perte de décroissance » dans les termes non linéaires. Ces poids dépendent des modules de continuité et de la position spécifique de $(p^*, q^*)$ par rapport aux seuils critiques.
   • Des inégalités de Gagliardo-Nirenberg fractionnaires et des estimations intégrales spécifiques impliquant les modules de continuité sont utilisées pour clore l'argument de la contraction de l'application.

2. Résultat d'Explosion (Méthode de la Fonction Test) :

   • Les auteurs adaptent la méthode de la fonction test au cadre non symétrique et fractionnaire.
   • Un défi technique important abordé est la nature non locale du Laplacien fractionnaire $(-\Delta)^\sigma$ lorsque $\sigma$ n'est pas un entier. Les fonctions tests à support compact standard sont insuffisantes car le support de $(-\Delta)^\sigma \phi$ dépasse généralement le support de $\phi$.
   • Pour surmonter cela, les auteurs construisent une famille modifiée de fonctions tests $\phi_{j,R}$ à support non compact, possédant des ordres d'échelle spécifiques dans l'espace et le temps.
   • Le domaine d'intégration est décomposé en plusieurs régions ($Q^1_{j,R}, Q^2_R, Q^3_{j,R}$) pour gérer le comportement singulier des fonctionnelles auxiliaires près de l'origine et à l'infini.
   • En définissant des fonctionnelles auxiliaires $G_p$ et $G_q$ et en dérivant un système d'inégalités différentielles ordinaires, les auteurs démontrent que les conditions intégrales sur les modules de continuité mènent à une contradiction si une solution globale pouvait exister.

Résultats Clés

• Existence Globale (Théorème 1.1) : Sous l'hypothèse $1 < \sigma < n < 2\sigma$ et $p^* \ge 2$, l'article établit l'existence d'une solution de Sobolev globale unique pour de petites données initiales si les modules de continuité satisfont des conditions d'intégrabilité spécifiques.

  • Si les conditions d'intégrabilité standards $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$ sont satisfaites, l'existence globale est garantie.
  • Si celles-ci échouent, l'article fournit des conditions alternatives précises impliquant des intégrales couplées de $\mu_1$ et $\mu_2$ (par exemple, $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$) qui assurent tout de même l'existence globale.
  • La solution présente des taux de décroissance spécifiques avec un facteur de « perte de décroissance » déterminé par les modules de continuité.

• Explosion (Théorème 1.2) : Inversement, si les modules de continuité sont « trop faibles » (c'est-à-dire si les intégrales correspondantes divergent), l'article prouve qu'aucune solution de Sobolev globale n'existe, conduisant à une explosion en temps fini.

  • Les conditions d'explosion sont la divergence des mêmes intégrales qui garantissent l'existence dans le cas global.
  • Ce résultat est valable pour $\sigma$ entier et fractionnaire, à condition que $n \ge 2\lfloor \sigma \rfloor$ dans le cas fractionnaire.

• Modèles Symétriques (Théorème 3.2) : En adaptant les techniques de preuve d'explosion, les auteurs résolvent un problème ouvert concernant les modèles symétriques où les deux équations possèdent le même type d'amortissement (soit tous deux structurels, soit tous deux standards) mais avec des paramètres fractionnaires. Ils établissent des résultats d'explosion pour ces systèmes symétriques dans le cas critique.

Signification et Contributions
L'article revendique une amélioration non triviale par rapport à la littérature existante de la manière suivante :

1. Systèmes Critiques Non Symétriques : Il traite le cas critique pour un système couplant des équations de type « parabolique » et de type « $\sigma$-évolution », un cadre où les rôles des variables et des exposants ne sont pas interchangeables, contrairement aux systèmes symétriques.
2. Gestion du Laplacien Fractionnaire : Le travail étend avec succès la méthode de la fonction test aux systèmes impliquant des opérateurs d'amortissement fractionnaires ($(-\Delta)^\sigma$) où $\sigma$ est fractionnaire. Cela est réalisé par la construction de fonctions tests à support non compact et une gestion rigoureuse des effets non locaux, une difficulté qui limitait auparavant de telles analyses aux $\sigma$ entiers.
3. Seuils Précis : L'article détermine le seuil précis pour les modules de continuité $\mu_1$ et $\mu_2$ qui sépare l'existence globale de l'explosion, affinant la compréhension de la non-linéarité critique dans les systèmes faiblement couplés.
4. Résolution de Problèmes Ouverts : La méthodologie développée est appliquée avec succès pour apporter une réponse positive à un problème ouvert concernant l'explosion de modèles symétriques avec des paramètres fractionnaires, qui étaient jusqu'alors non résolus dans la littérature.

Les auteurs soulignent que leurs résultats reposent sur l'interaction entre les deux mécanismes d'amortissement distincts et la régularité spécifique fournie par les modules de continuité, offrant une perspective affinée sur le comportement critique de tels systèmes d'évolution.