On the Well-posedness of Magnetic Schrödinger Equations with Unbounded Potentials

1. Problématique et Contexte

L'article s'intéresse à la bonne position globale (well-posedness) du problème de Cauchy pour l'équation de Schrödinger magnétique avec des potentiels électromagnétiques non bornés. L'équation étudiée est :
$$i\partial_t u(t, y) = (H_A + V(t))u(t, y), \quad u(0) = u_0$$
où $H_A$ est le laplacien magnétique associé au potentiel vectoriel $A$ et $V(t)$ est un potentiel scalaire électrique dépendant du temps.

Les défis principaux abordés sont :

• Potentiels non bornés : Les auteurs considèrent des potentiels magnétiques $A$ à croissance au plus linéaire et des potentiels électriques $V$ à croissance au plus quadratique.
• Limites des espaces classiques : Les résultats antérieurs sur la bien-posedness pour des potentiels non bornés sont principalement établis dans des espaces $L^2$ pondérés (espaces de Sobolev). Cependant, pour $p \neq 2$, le groupe de Schrödinger non magnétique $e^{-it\Delta}$ n'est pas borné sur $L^p$, ce qui rend l'analyse dans ces espaces classique impossible.
• Gauge et champ magnétique : La dépendance intrinsèque par rapport au champ magnétique $B = dA$ plutôt qu'au potentiel $A$ (qui dépend du choix de jauge) est un aspect crucial pour la cohérence géométrique.

2. Méthodologie

La stratégie de preuve repose sur une perspective de l'espace des phases (phase space perspective) et l'utilisation d'outils d'analyse microlocale adaptés au contexte magnétique.

A. Opérateurs Pseudo-différentiels Magnétiques (Magnetic ΨDO)

Les auteurs utilisent le calcul pseudo-différentiel magnétique développé par Iftimie, Măntoiu et Purice. Au lieu de traiter le potentiel magnétique comme une perturbation, il est intégré dans l'opérateur via une quantification de Weyl magnétique :
$$\text{Op}_A(h)u(y) = (2\pi)^{-d} \int_{\mathbb{R}^{2d}} e^{i(y-y')\cdot\eta} e^{-i\phi_A(y',y)} h\left(\frac{y+y'}{2}, \eta\right) u(y') dy' d\eta$$
Le terme de phase $e^{-i\phi_A(y',y)}$ (où $\phi_A$ est l'intégrale du potentiel le long du segment reliant $y'$ à $y$) assure la covariance de jauge. L'opérateur magnétique $H_A + V$ est ainsi représenté comme un $\text{Op}_A(h)$ avec un symbole $h$ simple ($|\eta|^2 + V$), évitant la complexité des symboles usuels dépendant de $A$.

B. Espaces de Modulation Magnétiques ($M^p_A$)

Pour contourner les limitations des espaces $L^p$, les auteurs introduisent les espaces de modulation magnétiques $M^p_A(\mathbb{R}^d)$.

• Ces espaces sont définis via la transformée en paquets d'ondes magnétiques (magnetic wavepacket transform) $T^A_\lambda$, qui projette une distribution de l'espace de configuration vers l'espace des phases $\mathbb{R}^{2d}$.
• La norme est définie par $\|u\|_{M^p_A} = \|T^A_\lambda u\|_{L^p(\mathbb{R}^{2d})}$.
• Propriété clé : Pour $p=2$, $M^2_A \cong L^2$. Pour $A \equiv 0$, on retrouve les espaces de modulation classiques $M^p$. Ces espaces sont intrinsèquement liés au champ magnétique $B$ et sont indépendants du choix de jauge de $A$.

C. Approximation par le flot hamiltonien magnétique

L'idée centrale est d'approximer l'évolution quantique $u_0 \mapsto u(t)$ par une évolution classique dans l'espace des phases, gouvernée par un flot hamiltonien magnétique $\chi_B(h)$.

• Le flot est défini par les équations de Hamilton modifiées par le champ magnétique $B$ (via le crochet de Poisson magnétique).
• Les auteurs construisent un paramétrix (solution approchée) en superposant des paquets d'ondes magnétiques transportés le long de ce flot classique.
• L'erreur d'approximation est contrôlée en utilisant des estimées de décroissance hors-diagonale des noyaux intégraux dans l'espace des phases.

3. Résultats Principaux

Sous des hypothèses de régularité et de décroissance sur le champ magnétique $B$ (composantes bornées avec dérivées à décroissance polynomiale) et de croissance sur les potentiels, les auteurs établissent les résultats suivants :

Théorème de bien-posedness globale (Théorème 1.5)

Pour $1 \le p \le \infty$ et une donnée initiale $u_0 \in M^{2,p}_A(\mathbb{R}^d)$, le problème de Cauchy associé à l'opérateur généralisé $\text{Op}_A(h)$ admet une solution forte unique $u$ telle que :
$$u \in W^{1,1}([0, T], M^p_A(\mathbb{R}^d)) \quad \text{et} \quad u(t) \in M^{2,p}_A(\mathbb{R}^d) \quad \forall t \in [0, T].$$
De plus, une estimation de stabilité est obtenue :
$$\|u(t)\|_{M^{2,p}_A} \le C_{T,h,B} \|u_0\|_{M^{2,p}_A}.$$

Extension aux potentiels dépendants du temps (Théorème 1.7)

Les résultats sont généralisés au cas où le champ magnétique $B(t)$ et le potentiel vectoriel $A(t)$ dépendent du temps. La solution existe et est unique dans des espaces de modulation adaptés au temps $M^p_{A(t)}$.

Cas particuliers et généralisations

• Récupération des résultats classiques : Lorsque $A \equiv 0$, les résultats redonnent la bien-posedness connue pour l'équation de Schrödinger non magnétique avec potentiel électrique non borné dans les espaces de modulation classiques.
• Termes sources : Un corollaire établit la bien-posedness pour l'équation avec un terme source $f(t,y) \in L^1([0,T], M^{s,p}_A)$.

4. Contributions Clés et Signification

1. Nouveaux espaces fonctionnels : L'introduction et l'étude des espaces de modulation magnétiques $M^p_A$ et de leurs versions pondérées $M^{m,p}_A$ constituent une avancée majeure. Ces espaces fournissent le cadre naturel pour l'analyse des équations de Schrödinger magnétiques avec potentiels non bornés, comblant le vide laissé par l'incapacité des espaces $L^p$ classiques ($p \neq 2$) à supporter le groupe d'évolution.
2. Méthode de l'espace des phases : L'approche par transformée en paquets d'ondes magnétiques permet de relier directement l'évolution quantique au flot classique magnétique. Cette méthode traite les potentiels non bornés de manière naturelle en les intégrant dans la géométrie de l'opérateur plutôt que comme perturbations, ce qui évite les problèmes de convergence liés aux potentiels croissants.
3. Indépendance de jauge : La formulation des résultats en termes de champ magnétique $B$ (et non de potentiel $A$) garantit que les espaces $M^p_A$ et les estimées sont physiquement pertinents et indépendants du choix de jauge.
4. Généralité des potentiels : Le cadre couvre des potentiels électriques à croissance quadratique et des potentiels magnétiques à croissance linéaire, des cas où les méthodes traditionnelles échouent souvent ou nécessitent des hypothèses de régularité très fortes.

En résumé, cet article établit un cadre robuste et géométrique pour l'analyse des équations de Schrödinger magnétiques avec potentiels non bornés, en combinant la théorie des opérateurs pseudo-différentiels magnétiques avec la théorie des espaces de modulation, offrant ainsi des résultats de bien-posedness globaux pour une large classe de données initiales.