On the observability of the Schrödinger equation in the torus from open sets

Résumé technique : Observabilité de l'équation de Schrödinger sur le tore à partir d'ensembles ouverts

Énoncé du problème
Cet article examine l'observabilité de l'équation de Schrödinger sur le tore de dimension $d$, $\mathbb{T}^d = \mathbb{R}^d/(2\pi\mathbb{Z})^d$, à partir d'un sous-ensemble ouvert $\omega \subset \mathbb{T}^d$. La question centrale est de savoir si l'énergie globale d'une solution peut être récupérée en surveillant la solution uniquement sur la sous-région $\omega$ au cours d'un intervalle de temps fini $(0, T)$. Les auteurs analysent deux modèles distincts :

1. L'équation de Schrödinger libre ($i\partial_t u - \Delta u = 0$).
2. L'équation de Schrödinger avec un potentiel borné ($i\partial_t u - \Delta u + V(t, x)u = 0$), où $V \in L^\infty$.

L'étude aborde deux régimes spécifiques : des estimations quantitatives pour des temps courts et des ensembles d'observation petits (spécifiquement des produits d'intervalles), et la validité générale de l'observabilité pour tout ensemble ouvert non vide et tout potentiel borné dans toute dimension $d \ge 1$.

Méthodologie
Les démonstrations des deux théorèmes principaux reposent sur une synthèse des techniques de décomposition en clusters et de l'induction mathématique, s'appuyant sur des méthodes introduites par Bourgain [Bou14] et développées ultérieurement par Burq et Zhu [BZ25]. La stratégie diverge légèrement pour les deux résultats principaux :

• Pour l'équation libre (Théorème 1.1) : La preuve est divisée en composantes haute fréquence et basse fréquence.

  • Haute fréquence : Les auteurs exploitent la structure en clusters de l'ensemble $S_N = \{(n, |n|^2) \in \mathbb{Z}^{d+1} : |n| > N\}$. Ils partitionnent cet ensemble en clusters disjoints qui sont spatialement séparés et contenus dans des sous-réseaux affines de dimension inférieure. Un argument d'induction sur la dimension de ces sous-réseaux permet d'obtenir une estimation d'observabilité en haute fréquence.
  • Basse fréquence : Les auteurs établissent une estimation quantitative de continuation unique. Cela est réalisé en réduisant le problème à une estimation d'observabilité pour l'équation de la chaleur via une stratégie quantitative de Lebeau-Robbiano, utilisant les inégalités de Turán-Nazarov et des estimations spectrales.
  • Synthèse : En combinant l'estimation haute fréquence avec la continuation unique basse fréquence, et en quantifiant soigneusement la dépendance par rapport à la mesure de l'ensemble d'observation $|\omega|$ et au temps $T$, ils déduisent l'estimation finale.

• Pour l'équation avec potentiel borné (Théorème 1.2) : L'approche consiste à établir d'abord une inégalité d'observabilité faible, suivie d'un argument de compacité-uniqueness (inspiré de [BLR92]) pour éliminer le terme de reste.

  • Observabilité faible : La solution $u$ est tronquée en temps pour former une fonction $U$ sur $\mathbb{T}^{d+1}$. Les auteurs effectuent une décomposition fréquentielle, isolant les fréquences proches de l'hypersurface $m = |n|^2$. Ils utilisent une décomposition en clusters pour l'ensemble $S'_N = \{(n, m) : |n| > N, |m - |n|^2| \le A\}$ afin de prouver une estimation d'observabilité pour la partie haute fréquence localisée.
  • Élimination du reste : Un argument de compacité-uniqueness est appliqué. Les auteurs montrent que le sous-espace des données initiales produisant une observation nulle sur $\omega \times (0, T)$ est de dimension finie et stable sous l'opérateur $-\Delta + V$. En invoquant la propriété de continuation unique (soit pour des potentiels indépendants du temps, soit supposée pour des potentiels dépendants du temps), ils prouvent que ce sous-espace est trivial, rehaussant ainsi l'inégalité faible en une estimation complète d'observabilité.
  • Traitement direct : Un avantage méthodologique clé noté est que les auteurs traitent directement le potentiel borné $V \in L^\infty$, évitant ainsi la nécessité d'approcher $V$ par des potentiels réguliers, ce qui est une technique courante dans la littérature antérieure.

Contributions et résultats clés

1. Estimation quantitative pour l'équation libre (Théorème 1.1) :
   Les auteurs établissent une estimation quantitative d'observabilité pour l'équation de Schrödinger libre lorsque l'ensemble d'observation $\omega$ est un produit de petits intervalles et que le temps $T$ est court. L'estimation prend la forme :
   $$\|u_0\|_{L^2}^2 \le C \exp\left( \frac{C}{(|\omega|T)^{C'}} \right) \int_0^T \|e^{-it\Delta}u_0\|_{L^2(\omega)}^2 dt$$
   Ce résultat étend les travaux de Tao [Tao21] de la dimension $d=2$ et des petites boules à des dimensions supérieures et à des ensembles produits. Bien que les auteurs reconnaissent que la dépendance de leur constante par rapport à $|\omega|$ et $T$ n'est pas asymptotiquement optimale par rapport à celle de Tao (en raison de l'absence d'un terme $\log \log \epsilon^{-1}$), leur méthode fournit une quantification explicite tant pour la mesure de l'ensemble que pour l'intervalle de temps.

2. Observabilité pour les potentiels bornés (Théorème 1.2) :
   L'article résout une conjecture bien connue dans le domaine en prouvant que l'observabilité vaut pour l'équation de Schrödinger avec un potentiel simplement borné $V \in L^\infty(\mathbb{T}^d)$ dans toute dimension $d \ge 1$, pour tout temps $T > 0$ et tout sous-ensemble ouvert non vide $\omega$.

   • Pour les potentiels indépendants du temps $V(x)$, l'observabilité vaut sans condition.
   • Pour les potentiels dépendants du temps $V(t, x)$, l'observabilité vaut à condition que le potentiel satisfasse une propriété de continuation unique.
     Les auteurs notent que leur méthode ne s'étend pas encore à des ensembles mesurables arbitraires de mesure positive (une conjecture plus forte de Burq et Zhu [BZ25]), bien qu'elle traite les produits d'ensembles mesurables.

Portée et affirmations
L'article affirme résoudre une conjecture de longue date concernant l'observabilité de l'équation de Schrödinger avec des potentiels $L^\infty$ sur le tore dans toutes les dimensions. En évitant l'approximation des potentiels par des fonctions régulières, la méthodologie offre un traitement plus direct des potentiels irréguliers.

Les auteurs positionnent leur travail comme un raffinement des techniques existantes, exploitant spécifiquement la décomposition en clusters de Bourgain pour gérer les complexités géométriques et spectrales du tore. Ils affirment explicitement que, bien que leurs estimations quantitatives pour l'équation libre ne soient pas optimales en termes de dépendance par rapport à $T$ et $|\omega|$ (un problème qu'ils notent avoir reçu une attention limitée dans la littérature sur Schrödinger par rapport à l'équation de la chaleur), les résultats fournissent un cadre unifié pour les équations libres et celles pilotées par un potentiel.

Les résultats ont des applications standard en théorie du contrôle, fournissant spécifiquement des estimations résolvantes pour l'opérateur de Schrödinger stationnaire et des résultats de contrôlabilité via la méthode de l'unicité de Hilbert, bien que les auteurs renvoient la formulation explicite de ces applications à la littérature existante.