Dispersive estimates for wave-type equations with time-dependent damping

Résumé Technique : Estimations Dispersives pour les Équations de Type Ondulatoire avec Amortissement Temporel Dépend de l'Échelle

Énoncé du Problème
Cet article étudie le problème de Cauchy pour une classe d'équations d'évolution semi-linéaires présentant un amortissement temporel invariant d'échelle. L'équation principale étudiée est :
$$\begin{cases} u_{tt} + L_{w^2}u + \frac{\mu}{1+t}u_t = \Delta^\theta f(u), & t > 0, \, x \in \mathbb{R}^n, \\ u(0, x) = 0, \\ u_t(0, x) = u_1(x), \end{cases}$$
où $\mu > 0$, $\theta \in \{0, 1\}$, et $f(u)$ représente une non-linéarité de type puissance (spécifiquement $|u|^\alpha$ ou $\Delta|u|^\alpha$). L'opérateur $L_{w^2}$ est défini via le multiplicateur de Fourier $w(\xi)^2$. Les auteurs se concentrent sur le régime $0 < \mu < 1$, qui correspond à un comportement hyperbolique faiblement amorti où les effets dissipatifs ne dominent pas les effets dispersifs. L'objectif central est d'établir l'existence globale (dans le temps) de solutions pour de petites données et de déterminer les exposants critiques ($\alpha_{\text{crit}}$) qui distinguent l'existence globale de l'explosion en temps fini.

Méthodologie
L'analyse repose fondamentalement sur la dérivation d'estimations de décroissance dispersive $L^p-L^q$ nettes pour le problème linéaire correspondant. La méthodologie procède comme suit :

1. Analyse de Fourier et Réduction par ODE : En appliquant la transformée de Fourier spatiale, l'équation d'évolution linéaire est réduite à une équation différentielle ordinaire du second ordre en temps avec un paramètre de fréquence dépendant de la fréquence. Par un changement de variables $\tau = (1+t)w(\xi)$, cette ODE est transformée en une équation de type Bessel.
2. Représentation via les Fonctions de Hankel : La solution de l'ODE transformée est exprimée à l'aide de fonctions de Hankel ($H^\pm_\rho$), où $\rho = 1 - \mu/2$. Cette représentation permet une caractérisation précise du comportement oscillatoire et de la décroissance de la solution à travers différents régimes de fréquences.
3. Décomposition de l'Espace des Phases : L'espace des phases étendu est divisé en zones distinctes basées sur l'amplitude de la fréquence $\xi$ et la variable temporelle :
   • Hautes fréquences ($Z_{\text{high}}$) : Où $|\xi| \geq 1$.
   • Basses fréquences ($Z_1, Z_2, Z_3$) : Décomposées selon la relation entre $(1+s)w(\xi)$ et $(1+t)w(\xi)$.
     Dans chaque zone, les auteurs utilisent le théorème du multiplicateur de Mikhlin-Hörmander pour estimer les multiplicateurs de Fourier. Une attention particulière est portée aux symboles non homogènes (par exemple, dans le cas de Boussinesq) où les basses et hautes fréquences présentent des comportements différents.
4. Argument de Point Fixe : Pour le problème semi-linéaire, la solution est construite comme un point fixe d'un opérateur $N$ défini via le principe de Duhamel. L'existence globale est prouvée en utilisant le principe de contraction dans un espace de Banach pondéré approprié $X(T)$, à condition que les données initiales soient suffisamment petites et que l'exposant de la non-linéarité $\alpha$ se situe dans la plage supercritique.

Contributions Clés et Résultats

1. Équations de Type Plaque ($\sigma$-évolution)
Pour les opérateurs où $w(\xi) = |\xi|^\sigma$ avec $\sigma \geq 2$ (incluant l'équation de plaque où $\sigma=2$), les auteurs établissent l'existence globale pour de petites données initiales dans $L^1 \cap L^2$.

• Paramètres Améliorés : Le Théorème 2.1 étend les résultats précédents en relaxant la contrainte de dimension de $n < \sigma$ à $n < 2\sigma$ et en simplifiant la borne supérieure pour le paramètre d'amortissement $\mu$.
• Exposant Critique : L'exposant critique est de type Fujita. L'existence globale est garantie pour $\alpha > 1 + \frac{2}{\mu + n/\sigma - 1}$.
• Estimations de Décroissance : La solution satisfait des estimations de décroissance de la forme $\|u(t)\|_{L^q} \lesssim (1+t)^{1-\mu - \frac{n}{\sigma}(\frac{1}{1+\delta} - \frac{1}{q})}$. Les auteurs notent une légère perte du taux de décroissance due à l'absence d'estimations $L^1-L^q$ dans certains régimes.

2. Équations de Type Boussinesq
Pour les opérateurs où $w(\xi) = \sqrt{|\xi|^2 + |\xi|^4}$ (modélisant l'équation de Boussinesq) avec une non-linéarité de type dérivée $\Delta|u|^\alpha$, les auteurs dérivent un exposant critique de type Strauss.

• Exposant Critique : Le Théorème 2.2 identifie $\alpha_{\text{crit}}$ comme la solution positive de l'équation :
  $$\frac{n}{2}\frac{\alpha-1}{\alpha+1} + \frac{\mu}{2} = \frac{1}{\alpha}\left(1 + \frac{\mu}{2}\right).$$
  Ce résultat est valable pour $0 < \mu < 1$ et pour de petites données initiales dans des espaces de Sobolev homogènes d'ordre négatif.
• Signification de $\mu$ : L'article souligne que dans le régime d'amortissement faible ($0 < \mu < 1$), la compétition entre la dispersion et la faible dissipation préserve la nature hyperbolique de l'équation, conduisant à un exposant de type Strauss (dépendant de la dimension et de $\mu$) plutôt qu'à un exposant de type Fujita.

Signification et Revendications
L'article prétend combler des lacunes spécifiques dans la littérature existante concernant les résultats d'existence globale pour les petites solutions de données pour ces équations d'évolution amorties.

• Affinement des Résultats sur l'Équation de Plaque : Les auteurs affirment que leurs résultats pour l'équation de type plaque améliorent les travaux précédents (spécifiquement [15]) en élargissant la plage admissible des dimensions spatiales et en simplifiant les conditions sur le paramètre d'amortissement $\mu$, tout en supprimant les bornes supérieures sur l'exposant de non-linéarité $\alpha$.
• Nouveauté pour les Équations de Boussinesq : Les auteurs déclarent que, à leur connaissance, le problème de Cauchy pour l'équation de Boussinesq avec un amortissement temporel invariant d'échelle n'avait pas été traité auparavant. Ils fournissent la première dérivation de l'exposant critique de type Strauss pour ce modèle spécifique dans le régime de faible amortissement.
• Distinction des Régimes : Le travail renforce la distinction théorique entre l'amortissement faible ($0 < \mu < 1$), qui produit des exposants critiques de type hyperbolique (Strauss), et l'amortissement fort ($\mu > 1$), qui est attendu pour produire des exposants de type diffusif (Fujita), bien que ce dernier ne soit que conjecturé pour le cas de Boussinesq dans ce travail.

L'article conclut que l'interaction entre la dispersion et la structure spécifique de l'amortissement temporel est le facteur déterminant dans le comportement qualitatif des solutions et la détermination des exposants critiques.