Construction of Solutions with Extraordinary Gradient Amplification and Localization for Schrödinger Equations

Titre : Construction de solutions avec amplification et localisation extraordinaires du gradient pour les équations de Schrödinger

Auteurs : Huaian Diao, Xieling Fan, Hongyu Liu.

---

1. Problématique

L'article s'intéresse à la construction de solutions pour des équations de Schrödinger (linéaires et non linéaires) en dimensions 2 et 3, capables de présenter un phénomène d'amplification de gradient extraordinaire et localisée.

Le problème central consiste à déterminer s'il est possible de concevoir des données initiales et/ou aux limites (pour le cas borné) ou des données initiales (pour le cas de l'espace entier) telles que, sur un intervalle de temps fini $[0, T]$, le gradient spatial de la solution dépasse une amplitude arbitrairement grande $M$ dans de très petits voisinages de points prédéfinis à l'extérieur du support des coefficients anisotropes ou des non-linéarités.

Contrairement aux phénomènes classiques de "blow-up" (formation de singularités) où la régularité de la solution est perdue, ou à la localisation d'Anderson qui repose sur le désordre aléatoire, ce travail vise à créer une concentration de gradient déterministe, contrôlée et réversible, tout en maintenant la régularité globale de la solution (pas de perte de régularité).

2. Méthodologie

La stratégie de preuve repose sur une approche constructive combinant l'analyse spectrale, les problèmes de transmission intérieure et l'approximation par des fonctions de Herglotz.

A. Cadre Mathématique

Les auteurs considèrent deux modèles principaux :

1. Équation linéaire (1.2) : Sur un domaine borné $\Omega$ avec une sous-domaine $D \subset \subset \Omega$ contenant les coefficients anisotropes $A_1$.
2. Équation non linéaire (1.3) : Sur l'espace entier $\mathbb{R}^d$, avec un terme non linéaire polynomial $N(U)$ et des coefficients supportés dans $D$.

B. Construction de la fonction auxiliaire ($u_0$)

Le cœur de la méthode réside dans la construction d'une fonction auxiliaire $u_0(x,t)$ qui sert de base pour les données d'entrée.

1. Fonctions de transmission : Les auteurs résolvent un problème de transmission intérieure sur des boules $B_{r_0}(y_i)$ situées à l'extérieur de $D$, mais proches de points cibles $x_i \in \partial D$. Ils utilisent des fonctions propres de transmission (basées sur les fonctions de Bessel et les harmoniques sphériques) qui possèdent un gradient très élevé sur la frontière de ces boules tout en restant petites à l'intérieur de $D$.
2. Approximation de Herglotz : Grâce au théorème de densité des fonctions de Herglotz (fonctions de la forme $Hg(x) = \int g(\theta)e^{i\omega x\cdot\theta}d\theta$), ils approchent ces fonctions de transmission par des fonctions de Herglotz $Hg$. Cela permet de définir des données initiales et aux limites lisses ($C^\infty$).
3. Paramétrisation : La fonction $u_0$ est définie comme $u_0(x,t) = Hg(x)e^{-it}$. Elle satisfait l'équation de Schrödinger libre.

C. Stratégie de perturbation

La solution finale $u$ (ou $U$) est décomposée en :
$$u = u_0 + U$$
où $U$ est la solution d'un problème auxiliaire avec des conditions initiales nulles et un terme source $F$ (ou $F_2$) dérivé de la différence entre l'opérateur complet et l'opérateur libre appliqué à $u_0$.

• Cas linéaire : Utilisation de la méthode de Galerkin et d'estimations d'énergie pour prouver l'existence et l'unicité de $U$, avec des estimations de régularité $H^3$.
• Cas non linéaire : Utilisation d'un théorème du point fixe de Banach dans un espace de Banach approprié pour établir l'existence locale (et étendue à tout $T$ grâce au choix des paramètres) de la solution.

D. Équilibrage des paramètres

Les paramètres clés ($r_0$ : rayon des boules, $\varepsilon$ : erreur d'approximation, $m$ : ordre des modes de Bessel) sont choisis en fonction de l'amplitude cible $M$.

• $r_0$ est choisi très petit (de l'ordre de $1/M$).
• $\varepsilon$ est choisi très petit pour garantir que le terme de perturbation $U$ reste négligeable par rapport à $u_0$ dans les zones d'amplification.
• $m$ est choisi grand pour maximiser l'amplitude du gradient de $u_0$.

3. Résultats Principaux

Les théorèmes 1.1 (linéaire) et 1.2 (non linéaire) établissent les résultats suivants :

1. Amplification de Gradient Localisée : Pour tout $M > 0$ arbitrairement grand et tout ensemble fini de points $\{x_1, \dots, x_n\} \subset \partial D$, il existe des données lisses telles que le gradient de la solution dépasse $M$ dans des voisinages $B_{3r_0}(x_i) \setminus D$ pour presque tout $t \in [0, T]$.
2. Régularité Préservée : La solution reste dans l'espace $L^\infty([0, T]; H^3_{loc})$, ce qui implique une régularité $C^{1, 1/2}$ (par injection de Sobolev). Le gradient est donc bien défini au sens classique, même s'il est très grand.
3. Ratio d'Amplification : Le rapport entre la norme $C^{1, 1/2}$ locale de la solution à l'extérieur de $D$ (près des points cibles) et la norme à l'intérieur de $D$ est borné inférieurement par $M/2$.
4. Concentration Quantitative : La mesure de l'ensemble où le gradient dépasse $M$ décroît comme $O(M^{-d})$ lorsque $M \to \infty$. Cela signifie que plus l'amplification est forte, plus la région où elle se produit est petite.
5. Validité Temporelle : Contrairement aux solutions non linéaires qui peuvent exploser en temps fini, ces solutions existent sur n'importe quel intervalle de temps fini $[0, T]$ prédéfini.

4. Contributions Clés

• Première construction systématique : C'est la première étude à construire explicitement des solutions avec amplification de gradient localisée pour des équations de Schrödinger, tant linéaires que non linéaires, de manière déterministe.
• Mécanisme sans perte de régularité : Contrairement aux singularités classiques, le gradient devient grand sans que la solution ne perde sa régularité $C^1$.
• Lien avec le principe d'incertitude : Les résultats offrent une manifestation déterministe du compromis entre localisation spatiale et amplitude, en résonance avec le principe d'incertitude de Heisenberg (bien que formulé ici dans l'espace physique plutôt que fréquentiel global).
• Généralisation de la localisation d'Anderson : Le papier propose une version "sur mesure" et déterministe de la localisation, réalisable par conception de l'entrée, plutôt que par désordre aléatoire.

5. Signification et Impact

Ce travail a des implications importantes tant en mathématiques appliquées qu'en physique théorique :

• Physique Quantique et Diffusion : Les résultats fournissent un analogue déterministe des phénomènes de localisation observés dans la diffusion quantique et la localisation d'Anderson. Cela suggère que des effets de focalisation extrême peuvent être induits par un contrôle précis des conditions aux limites ou initiales, sans nécessiter de milieux désordonnés.
• Optique Non Linéaire et Condensats de Bose-Einstein : La capacité à générer des gradients spatiaux extrêmement élevés dans des régions microscopiques tout en maintenant la stabilité de la solution pourrait avoir des applications dans la conception de dispositifs optiques ou de pièges à atomes où des effets non linéaires locaux sont souhaités.
• Théorie des Équations aux Dérivées Partielles (EDP) : Le papier enrichit la théorie des équations de Schrödinger en démontrant que la dynamique dispersif peut être "trompée" ou exploitée pour créer des concentrations d'énergie localisées sans singularité, ouvrant la voie à de nouvelles études sur le contrôle et l'inversibilité de ces systèmes.

En résumé, ce papier démontre que l'on peut "sculpter" la solution d'une équation de Schrödinger pour créer des points de gradient extrême et ultra-localisés de manière contrôlée, offrant un nouveau paradigme pour la compréhension de la concentration d'énergie dans les systèmes dispersifs.