Nonexistence for effectively damped waves with time-dependent mass

Résumé Technique : Non-existence pour les ondes avec amortissement effectif et masse dépendant du temps

Énoncé du Problème
Cet article étudie le problème de Cauchy pour des équations d'ondes semi-linéaires présentant un amortissement dépendant du temps et un terme de masse dépendant du temps :
$$\begin{cases} u_{tt} - \Delta u + b(t)u_t + m^2(t)u = |u|^p, & t \ge 0, \, x \in \mathbb{R}^n, \\ u(0, x) = \varepsilon f(x), \quad u_t(0, x) = \varepsilon g(x), \end{cases}$$
où $n \ge 1$, $p > 1$, et $\varepsilon > 0$. L'amortissement $b(t)$ est supposé être « effectif » et la masse $m(t)$ est dominée par l'amortissement quand $t \to \infty$.

Les travaux antérieurs de D'Abbicco, Girardi et Reissig ont établi l'existence globale pour de petites données pour les puissances supercritiques $p$ et ont identifié une échelle critique $p_{\beta, \eta}(n) = 1 + \frac{2\eta}{n + 2\eta\beta}$ pour des données initiales dans $L^\eta \cap H^1 \times L^\eta \cap L^2$ (avec $1 \le \eta < 2$). Ici, $\beta$ est l'indice de masse inférieure défini par $\liminf_{t\to\infty} B(t)m^2(t)$, où $B(t) = \int_0^t b(\tau)^{-1} d\tau$. Bien qu'ils aient prouvé la non-existence pour l'équation de diffusion non linéaire correspondante dans le régime sous-critique, le résultat de non-existence analogue pour l'équation d'onde est resté un problème ouvert. Cet article traite précisément ce manque pour le cas $\eta = 1$, visant à prouver la non-existence de solutions faibles globales pour $1 < p < p_{\beta, 1}(n)$ et à traiter le cas critique $p = p_{\beta, 1}(n)$.

Méthodologie
Les auteurs emploient une méthode de fonction de test modifiée, reposant sur la construction d'un multiplicateur adjoint positif spécifique. Le cœur de la méthodologie implique :

1. Hypothèses sur les coefficients : Au-delà des hypothèses standards d'amortissement effectif et de masse dominée (Hypothèses 1–2 de la littérature antérieure), l'article introduit deux nouvelles conditions :

   • Équilibre Intrinsèque de Masse Accumulée (Hypothèse 3) : Cette condition contrôle l'écart de l'intégrale de la masse accumulée $Q(t, r) = \int_r^t \frac{m^2(\tau)}{b(\tau)} d\tau$ par rapport à la croissance logarithmique dictée par l'indice $\beta$. Elle définit un « excès intrinsèque » $\Omega_{\beta, T_0}(L)$ qui doit être fini.
   • Non-oscillation de Liouville Globale (Hypothèse 4) : La condition $m^2(t) \le \frac{b^2(t)}{4} + \frac{b'(t)}{2}$ est imposée pour garantir la non-oscillation de l'équation adjointe.

2. Construction du Mode Adjoint : Une étape technique clé est la construction d'une solution « lente » globale et positive $\rho(t)$ de l'équation adjointe $\rho'' - (b\rho)' + m^2\rho = 0$.

   • Pour les temps grands, $\rho$ est construite via une équation de Volterra terminale, produisant un comportement asymptotique proportionnel à $b(t)^{-1} e^{Q(t, T^*)}$.
   • Pour l'intervalle initial compact, la condition de non-oscillation de Liouville (Hypothèse 4) est utilisée pour empêcher la solution d'acquérir des zéros, garantissant que $\rho(t) > 0$ globalement.

3. Argument de la Fonction de Test : En utilisant $\rho(t)$ comme poids et une fonction de coupure spatio-temporelle $\psi_R$ basée sur l'échelle de diffusion $B(t)$, les auteurs dérivent une inégalité fondamentale. Cette inégalité relie le fonctionnel des données initiales $J_0$ aux intégrales de la solution $|u|^p$.

4. Argument d'Osgood : En appliquant un lemme de type Osgood à l'inégalité dérivée, les auteurs établissent les conditions sous lesquelles l'intégrale de la fonction de test doit diverger, conduisant à une contradiction si une solution globale existait.

Résultats Clés
L'article établit les théorèmes principaux suivants :

• Non-existence dans le Régime Strictement Sous-critique : Si les données initiales satisfont une condition de signe ($J_0 > 0$) et que l'excès intrinsèque $\Omega_{\beta, T_0}$ est sous-linéaire, il n'existe pas de solutions faibles globales pour $1 < p < p_{\beta, 1}(n) = 1 + \frac{2}{n + 2\beta}$.
• Non-existence dans le Cas Critique : Au niveau de l'exposant critique $p = p_{\beta, 1}(n)$, les solutions faibles globales n'existent pas à condition que l'intégrale $\int^\infty \exp(-(p-1)\Omega_{\beta, T_0}(L)) dL$ diverge (une condition de divergence d'Osgood).
• Estimations de Durée de Vie : Pour les solutions qui n'existent que localement, l'article fournit des bornes supérieures conditionnelles sur la durée de vie $T_\varepsilon$ :
  • Pour $1 < p < p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C(1 + \varepsilon^{-\frac{1}{\theta}})$ où $\theta = \frac{1}{p-1} - \frac{n}{2} - \beta$.
  • Pour $p = p_{\beta, 1}(n)$, $1 + B(T_\varepsilon) \le C \exp(C \varepsilon^{-(p-1)})$.
• Coefficients Admissibles : La section 7 fournit des exemples explicites de familles de coefficients (décroissance/croissance polynomiale et rationnelle) qui satisfont à la fois les conditions d'existence de D'Abbicco et al. et les conditions de non-existence de ce présent article, démontant ainsi la finesse de l'échelle dérivée.

Signification et Revendications
L'article prétend résoudre un problème ouvert concernant la finesse de l'échelle d'existence pour les équations d'ondes avec amortissement effectif et masse dépendant du temps. Plus précisément :

• Il confirme que l'échelle $p_{\beta, 1}(n)$, précédemment établie pour l'existence globale, est bien le seuil de non-existence dans le régime sous-critique, reflant le comportement de l'équation de diffusion associée.
• La technique de preuve est distincte en ce qu'elle ne postule pas l'existence d'un multiplicateur adjoint positif mais le construit rigoureusement en utilisant la condition de non-oscillation de Liouville et une approche de Volterra terminale.
• L'introduction de l'« excès intrinsèque » $\Omega_{\beta, T_0}$ permet une analyse plus raffinée de l'accumulation de masse, montrant que l'indice inférieur $\beta$ seul est insuffisant pour contrôler le seuil de non-existence sans conditions de balance supplémentaires.
• Les résultats sont présentés comme une réponse définitive pour la sous-classe de coefficients globalement non-oscillants, comblant le fossé entre le modèle de comparaison de diffusion et son équivalent pour l'équation d'onde.

Les auteurs maintiennent un ton modeste, notant que leurs résultats s'appliquent à la sous-classe spécifique de coefficients satisfaisant la condition de non-oscillation de Liouville et l'équilibre intrinsèque, et que la preuve repose sur la méthode de fonction de test modifiée développée dans la littérature antérieure.