Large-data $L^2$-decay for attractive-dissipative nonlinear Schrödinger equations without the strong dissipative condition

Résumé Technique : Décroissance $L^2$ pour de Grandes Données dans le Cas d'Équations de Schrödinger Non Linéaires Attractives-Dissipatives

Énoncé du Problème
Ce papier traite du problème de la décroissance $L^2$ pour de grandes données de l'équation de Schrödinger non linéaire (ESNL) avec une non-linéarité de puissance attractive-dissipative :
$$i\partial_t u + \frac{1}{2}\Delta u = \lambda |u|^{p-1}u, \quad (t, x) \in (0, \infty) \times \mathbb{R}^d,$$
où le coefficient complexe $\lambda$ satisfait $\text{Re } \lambda < 0$ et $\text{Im } \lambda < 0$. La condition $\text{Im } \lambda < 0$ assure une dissipation $L^2$, tandis que $\text{Re } \lambda < 0$ introduit une composante attractive (focalisante).

L'objectif principal est d'établir des taux de décroissance optimaux pour la norme $L^2$, $\|u(t)\|_2$, pour des données initiales arbitraires $u_0$ dans l'espace d'énergie pondéré $\Sigma = H^1(\mathbb{R}^d) \cap \mathcal{F}H^1(\mathbb{R}^d)$. La plage naturelle pour ce problème de décroissance est $1 < p \leq 1 + 2/d$.

Contexte et Difficultés
Des travaux antérieurs de Hayashi, Li et Naumkin [11] ont établi les taux de décroissance optimaux (1.2) sous la « condition dissipative forte » $(p-1)|\lambda| \leq (p+1)|\text{Im } \lambda|$. Lorsque $\text{Re } \lambda \geq 0$ (répulsif-dissipatif), l'énergie standard $E(u) = \frac{1}{2}\|\nabla u\|_2^2 + \frac{\text{Re } \lambda}{p+1}\|u\|_{p+1}^{p+1}$ est de signe défini, fournissant une borne uniforme sur le gradient $\|\nabla u(t)\|_2$ et permettant la dérivation des taux de décroissance [9].

Cependant, dans le cas attractif-dissipatif ($\text{Re } \lambda < 0$), l'énergie standard n'est pas de signe défini. Par conséquent, elle ne parvient pas à contrôler directement la norme du gradient $\|\nabla u(t)\|_2$. Des tentatives récentes pour surmonter cela [8, 18] reposaient sur des arguments d'itération, où des estimations préliminaires de décroissance $L^2$ étaient substituées dans les estimations d'énergie pour améliorer les bornes sur le gradient. Ces méthodes étaient limitées à des plages restreintes de $p$, spécifiquement $p \leq 1 + \frac{4}{3d}$. La plage $1 + \frac{4}{3d} < p \leq 1 + \frac{2}{d}$ restait ouverte pour des données arbitraires.

Méthodologie
Les auteurs introduisent une approche novatrice qui contourne les arguments itératifs utilisés dans la littérature précédente. Le cœur de la méthodologie consiste en la construction d'une énergie augmentée :
$$E_{\text{aug}}(u) = E(u) + \gamma \|u\|_2^2,$$
où $\gamma > 0$ est une constante appropriée dépendant de la taille des données initiales.

1. Argument de l'Énergie Augmentée : La dérivée temporelle du terme ajouté $\gamma \|u\|_2^2$ génère une contribution négative $-2\gamma |\text{Im } \lambda| \|u\|_{p+1}^{p+1}$. Ce terme est suffisamment fort pour absorber la partie non coercive de l'estimation d'énergie standard provenant de $\text{Re } \lambda < 0$.
2. Borne Uniforme Directe : En choisissant $\gamma$ de manière appropriée (via un argument d'échelle pour de grandes données), les auteurs démontrent que $E_{\text{aug}}(u(t))$ est non croissante. Cela fournit une borne uniforme directe en temps pour $\|\nabla u(t)\|_2$ sans nécessiter d'estimations de décroissance intermédiaires ni d'itérations de type bootstrap.
3. Dérivation de la Décroissance : Une fois la borne uniforme sur le gradient établie, la preuve procède via des outils standards :
   • Une estimation de type viriel reliant la norme pondérée $\|xu(t)\|_2$ à l'intégrale temporelle de $\|\nabla u(t)\|_2$.
   • Une inégalité d'interpolation pondérée (Lemme 2.4) reliant $\|u\|_q$ à $\|u\|_2$ et $\|xu\|_2$.
   • La combinaison de ces éléments avec l'identité de dissipation $L^2$ pour dériver une inégalité différentielle pour $\|u(t)\|_2$.

Résultats Clés
Le papier établit le théorème principal suivant (Théorème 1.1) :

Pour des données initiales arbitraires $u_0 \in \Sigma$ avec $\|u_0\|_\Sigma \neq 0$, l'ESNL admet une solution globale unique $u \in C([0, \infty); \Sigma)$. La solution satisfait les taux de décroissance optimaux sur toute la plage $1 < p \leq 1 + 2/d$ :

• Cas Critique ($p = 1 + 2/d$) :
  $$\|u(t)\|_2 \lesssim (\log(1+t))^{-\frac{2}{(d+2)(p-1)}}$$
• Cas Sous-critique ($1 < p < 1 + 2/d$) :
  $$\|u(t)\|_2 \lesssim (1+t)^{-\frac{2}{(d+2)(p-1)}\left(1 - \frac{d(p-1)}{2}\right)}$$

Ces estimations valident le cas attractif-dissipatif ($\text{Re } \lambda < 0, \text{Im } \lambda < 0$) sans imposer la condition dissipative forte (1.1).

Signification et Revendications
Les auteurs affirment que ce travail lève la dernière restriction $p \leq 1 + \frac{4}{3d}$ qui limitait auparavant la compréhension de la décroissance pour de grandes données dans le régime attractif-dissipatif.

• Suppression de l'Itération : La contribution technique principale est l'élimination de l'argument d'itération requis dans les travaux antérieurs [8, 18]. En utilisant la dissipation de la masse elle-même pour restaurer le contrôle coercif de l'énergie via l'énergie augmentée, les auteurs obtiennent une borne uniforme directe sur le gradient.
• Généralité : Le résultat s'applique à des données arbitraires dans $\Sigma$, contrairement à d'autres travaux connexes qui exigent souvent une régularité supplémentaire, une décroissance spatiale ou des conditions structurelles sur les données initiales.
• Portée : La méthode est suffisamment robuste pour s'appliquer au cas répulsif-dissipatif ($\text{Re } \lambda \geq 0$) également, retrouvant les mêmes taux de décroissance sans la condition dissipative forte, bien que l'énergie standard suffise déjà pour la borne sur le gradient dans ce scénario.

En résumé, ce papier résout le problème ouvert de la décroissance $L^2$ pour de grandes données dans la plage optimale complète $1 < p \leq 1 + 2/d$ pour l'ESNL attractive-dissipative en introduisant un fonctionnel d'énergie augmentée qui contrôle directement la norme du gradient.