On the semilinear damped wave equation with Riesz potential-type power nonlinearity and initial data in pseudo-measure spaces

1. Problématique et Contexte

L'article étudie le problème de Cauchy pour l'équation des ondes amorties semi-linéaire avec un terme de non-linéarité de type potentiel de Riesz et des données initiales appartenant à des espaces de pseudo-mesures. L'équation considérée est :

$$\begin{cases} u_{tt} - \Delta u + u_t = I_\gamma(|u|^p), & x \in \mathbb{R}^n, \, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$

où :

• $n \ge 1$ est la dimension spatiale.
• $\gamma \in [0, n)$ est le paramètre du potentiel de Riesz $I_\gamma$, défini comme l'inverse de l'opérateur Laplacien fractionnaire $(-\Delta)^{-\gamma/2}$.
• $p > 1$ est l'exposant de la non-linéarité.
• $\varepsilon > 0$ est un petit paramètre contrôlant la taille des données initiales.
• Les données initiales $(u_0, u_1)$ appartiennent à l'espace de pseudo-mesures $Y_q$, défini par la norme :
  $$\|f\|_{Y_q} := \sup_{\xi \in \mathbb{R}^n} |\xi|^q |\hat{f}(\xi)| < \infty,$$
  où $\hat{f}$ désigne la transformée de Fourier. Cet espace capture le comportement des données aux basses fréquences (autour de $\xi = 0$).

Objectif principal : Déterminer l'exposant critique $p_{crit}$ qui sépare l'existence globale de solutions pour de petites données initiales de l'explosion (blow-up) en temps fini, même pour des données petites. De plus, l'article vise à établir des estimations précises (sharp) sur la durée de vie (lifespan) des solutions dans le régime sous-critique.

2. Méthodologie

Les auteurs adoptent une approche combinant l'analyse harmonique et la théorie des équations aux dérivées partielles (EDP) :

1. Estimations de décroissance linéaire :

   • Ils analysent d'abord le problème linéaire associé ($u_{tt} - \Delta u + u_t = 0$).
   • En utilisant la transformée de Fourier et des découpages fréquentiels (basses et hautes fréquences), ils établissent des estimations de décroissance temporelle pour la solution linéaire dans des normes $L^2$ et de Sobolev homogènes ($\dot{H}^s$).
   • Une contribution clé est l'adaptation de ces estimations aux données initiales dans $Y_q$. Ils montrent que la régularité des basses fréquences (mesurée par $q$) améliore ou modifie le taux de décroissance par rapport aux espaces classiques comme $L^1$.

2. Existence globale (Cas sur-critique et critique) :

   • Pour prouver l'existence globale, ils utilisent le principe de Duhamel pour formuler la solution comme un point fixe d'un opérateur non linéaire.
   • Ils définissent un espace de Banach adapté $X_s(T)$ muni d'une norme pondérée par le temps, reflétant les taux de décroissance linéaires.
   • L'application du théorème du point fixe de Banach repose sur des inégalités de Gagliardo-Nirenberg fractionnaires et l'inégalité de Hardy-Littlewood-Sobolev pour contrôler le terme non linéaire $I_\gamma(|u|^p)$.

3. Explosion (Blow-up) et Durée de vie (Cas sous-critique) :

   • Pour le régime sous-critique, ils utilisent la méthode des fonctions tests (test function method).
   • Ils construisent une fonction test spécifique $\chi_R(t)\phi_R(x)$ adaptée à la géométrie du problème et à la singularité des données initiales.
   • En intégrant par parties et en utilisant des inégalités de Hölder, ils dérivent une inégalité différentielle conduisant à une contradiction si l'on suppose l'existence globale.
   • Pour les estimations de durée de vie, ils combinent les bornes supérieures (via la méthode des fonctions tests) et les bornes inférieures (via l'existence locale dans l'espace $X_s(T)$) pour obtenir des estimations optimales.

3. Résultats Principaux

A. Nouvel Exposant Critique

Les auteurs démontrent que l'exposant critique pour ce problème, avec des données dans $Y_q$, est donné par :

$$p_{crit}(n, q, \gamma) := 1 + \frac{2 + \gamma}{n - q}$$

sous les hypothèses $1 \le n \le 4$ et $0 \le \gamma < q < n/2$.

• Cas sur-critique ($p > p_{crit}$) et Cas critique ($p = p_{crit}$) :
  Pour des données initiales suffisamment petites ($\varepsilon$ petit), il existe une solution globale unique dans l'espace $C([0, \infty), H^1 \cap \dot{H}^{-s})$. De plus, la solution satisfait des estimations de décroissance temporelle précises :
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{n}{4} - \frac{q}{2}}.$$
  Le paramètre $q$ (contrôle des basses fréquences) accélère la décroissance de la solution par rapport au cas classique $L^1$ (où $q=0$).

• Cas sous-critique ($1 < p < p_{crit}$) :
  Si les données initiales satisfont une condition de signe positive ($u_0 + u_1 \gtrsim \langle x \rangle^{-n+q}$), alors aucune solution faible globale n'existe. Les solutions explosent en temps fini.

B. Estimations de Durée de Vie (Lifespan)

Dans le régime sous-critique, la durée de vie $T_\varepsilon$ de la solution satisfait une estimation précise (sharp) :

$$T_\varepsilon \sim \varepsilon^{-\frac{2(p-1)}{2 + \gamma - p(n-q)}}$$

Cette formule généralise les résultats connus pour l'équation des ondes amorties standard (cas $\gamma=0, q=0$) et l'équation de la chaleur.

C. Cas Particuliers et Généralisation

• Si $q = \gamma = 0$, on retrouve l'exposant de Fujita classique $p_{Fuj}(n) = 1 + 2/n$.
• L'article montre que l'utilisation des espaces $Y_q$ permet de traiter des données initiales qui ne sont pas nécessairement dans $L^1$ mais qui ont un comportement contrôlé en basse fréquence, élargissant ainsi la classe de données pour lesquelles les résultats d'existence et d'explosion sont valables.

4. Signification et Contributions

1. Extension des espaces fonctionnels : C'est l'une des premières études à appliquer les espaces de pseudo-mesures $Y_q$ (souvent utilisés pour les équations de Navier-Stokes) aux équations des ondes amorties. Cela permet de mieux comprendre l'influence du spectre basse fréquence sur la dynamique à long terme des systèmes dissipatifs.
2. Unification des résultats : La formule de l'exposant critique $p_{crit}(n, q, \gamma)$ unifie plusieurs résultats antérieurs :
   • Elle redonne l'exposant de Fujita pour $L^1$ ($q=0, \gamma=0$).
   • Elle généralise les résultats pour les données dans les espaces de Sobolev négatifs $\dot{H}^{-\gamma}$ (où $q$ joue un rôle similaire à la régularité négative).
3. Précision des estimations : L'article fournit non seulement l'existence ou la non-existence, mais aussi des estimations de durée de vie optimales, ce qui est crucial pour comprendre la stabilité des solutions près du seuil critique.
4. Impact sur la physique mathématique : Ces résultats éclairent la compétition entre l'effet de dissipation (amortissement $u_t$), l'effet de diffusion (lié à l'équation de la chaleur) et la singularité de la non-linéarité non locale (potentiel de Riesz).

En résumé, cet article établit un cadre rigoureux pour l'analyse qualitative des équations des ondes amorties avec non-linéarités non locales, en démontrant que la structure des basses fréquences des données initiales est un paramètre déterminant pour la survie ou l'explosion des solutions.