Maximal regularity for time-fractional Schrödinger equations and application to nonlinear equations

1. Problématique et Contexte

L'article étudie l'équation de Schrödinger à dérivée fractionnaire en temps, régie par l'équation abstraite suivante dans un espace de Hilbert $H$ :
$$\partial_t^\alpha (u - u_0) - iAu = f, \quad t \in (0, T)$$
où :

• $\alpha \in (0, 1)$ est l'ordre de la dérivée fractionnaire (au sens de Riemann-Liouville).
• $A$ est un opérateur auto-adjoint, défini négatif, à résolvante compacte sur $H$.
• $u_0$ est la donnée initiale et $f$ est le terme source.

Contexte scientifique :
Les équations de Schrödinger fractionnaires modélisent des phénomènes de diffusion anormale et d'effets de mémoire dans les systèmes quantiques (optique, physique de la matière condensée, etc.). Contrairement à l'équation de Schrödinger classique ($\alpha=1$) qui préserve l'unitarité et la symétrie de renversement du temps, la version fractionnaire brise ces propriétés, permettant une dissipation ou une accumulation de la densité de probabilité.

Objectif principal :
Établir des résultats de régularité maximale pour cette équation. La régularité maximale signifie que si le terme source $f$ appartient à un espace $L^p(0, T; H)$, alors la solution $u$ possède une régularité optimale, c'est-à-dire que $\partial_t^\alpha u$ et $Au$ appartiennent également à $L^p(0, T; H)$. Ce résultat est crucial pour prouver l'existence et l'unicité de solutions pour des équations non linéaires via des arguments de point fixe.

---

2. Méthodologie

Les auteurs adoptent une approche analytique combinant l'analyse fonctionnelle, les propriétés des fonctions de Mittag-Leffler et la théorie des multiplicateurs de Fourier.

A. Outils Préliminaires

• Fonctions de Mittag-Leffler : Utilisation intensive de la fonction $E_{\alpha, \beta}(z)$, en particulier avec un argument imaginaire pur ($z = -i\lambda_n t^\alpha$). Les auteurs établissent des estimations asymptotiques et des bornes pour $|E_{\alpha, \beta}(it)|$ sans recourir à la monotonie complète (qui est difficile à prouver pour un argument imaginaire).
• Dérivation fractionnaire : Définition rigoureuse de l'opérateur $\partial_t^\alpha$ via l'opérateur d'intégration de Riemann-Liouville $J^\alpha$ et son inverse. Introduction des espaces de Sobolev fractionnaires $W^{\alpha, p}(0, T; H)$.
• Solution faible : Définition de la solution faible via une formulation variationnelle utilisant l'opérateur dual $(\partial_t^\alpha)'$.

B. Preuve de la Régularité Maximale $L^2$

Pour le cas $p=2$, les auteurs utilisent une méthode élémentaire basée sur le développement spectral de la solution.

• La solution est exprimée sous forme de série de Fourier par rapport à la base propre $\{\phi_n\}$ de $A$.
• Chaque mode satisfait une équation différentielle ordinaire fractionnaire.
• L'estimation de la norme $L^2$ de $\partial_t^\alpha u$ et $Au$ repose sur l'intégrabilité de la fonction $s^{\alpha-1} |E_{\alpha, \alpha}(-is^\alpha)|$.
• Innovation clé : Contrairement aux travaux antérieurs sur les équations de diffusion fractionnaire (qui utilisent la monotonie complète de $E_{\alpha, 1}(-s^\alpha)$), cette preuve évite cette propriété, car elle n'est pas valable ou difficile à établir pour l'argument imaginaire $-i\lambda_n$.

C. Preuve de la Régularité Maximale $L^p$ ($1 < p < \infty$)

Pour le cas général $p$, les auteurs utilisent le théorème de multiplicateur de Mikhlin à valeurs d'opérateurs.

• Ils identifient le noyau de la solution comme un opérateur de convolution $K(t)$.
• Ils calculent la transformée de Fourier du noyau $\widehat{AK}(s)$, qui s'exprime en fonction de la résolvante de $A$ : $m(s) = -iA R(-i(is)^\alpha, A)$.
• En exploitant le fait que $A$ génère un semi-groupe analytique borné, ils montrent que $m(s)$ et $s m'(s)$ sont bornés dans l'espace des opérateurs bornés $B(H)$.
• Cela permet d'étendre l'opérateur de convolution à un opérateur borné sur $L^p(0, T; H)$.

D. Application aux Équations Non Linéaires

Une fois la régularité maximale établie, les auteurs l'appliquent à deux types d'équations non linéaires :

1. Équations Quasi-linéaires : $\partial_t^\alpha (u - u_0) - iA(u)u = 0$. L'opérateur $A$ dépend de la solution $u$.
2. Équations Semi-linéaires : $\partial_t^\alpha (u - u_0) - iAu = F(u)$.

La méthode consiste à reformuler le problème comme un point fixe dans un espace de régularité maximale $MR_{\alpha, p}(T)$, en utilisant le théorème de contraction de Banach. Des embeddings continus entre espaces de Sobolev fractionnaires et espaces de Hölder/Besov sont utilisés pour gérer les termes non linéaires.

---

3. Résultats Principaux

1. Régularité Maximale $L^2$ (Théorème 4.2) :
   Pour $f \in L^2(0, T; H)$, la solution unique $u$ vérifie $u \in L^2(0, T; D(A))$ et $\partial_t^\alpha u \in L^2(0, T; H)$. La preuve est nouvelle car elle ne dépend pas de la monotonie complète des fonctions de Mittag-Leffler.

2. Régularité Maximale $L^p$ (Théorème 4.5) :
   Pour tout $p \in (1, \infty)$ et $f \in L^p(0, T; H)$, la solution satisfait la régularité maximale. Cela inclut l'estimation :
   $$\|u\|_{W^{\alpha, p}} + \|Au\|_{L^p} \leq C \|f\|_{L^p}$$
   Ce résultat est obtenu via le théorème de Mikhlin.

3. Cas Homogène et Données Initiales (Théorème 4.6) :
   Des estimations de régularité sont fournies pour le problème homogène ($f=0$) avec des données initiales $u_0$ appartenant à un espace d'interpolation réel $X_{\alpha, p} = (H, D(A))_{1-1/\alpha p, p}$.

4. Bien-posé des Équations Non Linéaires :

   • Quasi-linéaire (Théorème 5.2) : Existence et unicité locale (ou globale pour petites données) pour des opérateurs $A(u)$ lipschitziens.
   • Semi-linéaire (Théorème 5.4) : Existence et unicité locale pour des non-linéarités $F(u)$ satisfaisant des conditions de continuité spécifiques (compacité ou lipschitzianité).

---

4. Contributions Clés et Signification

• Différence fondamentale avec l'équation classique : L'article met en évidence une différence surprenante entre l'équation de Schrödinger classique ($\alpha=1$) et fractionnaire. L'équation classique ne possède pas de régularité maximale (car $iA$ ne génère pas de semi-groupe analytique, son spectre étant sur l'axe imaginaire). En revanche, l'équation fractionnaire possède cette propriété pour $\alpha \in (0, 1)$. Cela s'explique par la nature dissipative introduite par la dérivée fractionnaire.
• Nouvelle preuve technique : Le contournement de la nécessité de la monotonie complète des fonctions de Mittag-Leffler pour le cas imaginaire est une avancée technique majeure, élargissant la portée des méthodes d'analyse.
• Cadre général : Les résultats sont établis dans un cadre abstrait (opérateurs auto-adjoints à résolvante compacte), ce qui les rend applicables à une large classe de problèmes physiques (équations sur des domaines bornés, etc.).
• Applications concrètes : L'article démontre la pertinence de ces résultats abstraits en prouvant la bien-posé de modèles physiques complexes incluant des non-linéarités (diffusivité dépendante de la solution, termes de réaction cubiques, etc.).

Conclusion

Cet article fournit une théorie complète de la régularité maximale pour les équations de Schrödinger fractionnaires. En combinant des estimations fines des fonctions de Mittag-Leffler et des outils modernes d'analyse harmonique (théorème de Mikhlin), les auteurs comblent un vide théorique important et ouvrent la voie à l'étude rigoureuse de systèmes quantiques non linéaires avec effets de mémoire. Les résultats suggèrent également des perspectives pour l'étude de problèmes inverses et de contrôlabilité dans des espaces de Banach plus généraux.