2025-11-10T02:42:53.705347

Small-time approximate controllability of the logarithmic Schr\''dinger equation

Beauchard, Carles, Pozzoli

We consider Schr{Ã¶}dinger equations with logarithmic nonlinearity and bilinear controls, posed on $\mathbb{T}^d$ or $\mathbb{R}^d$. We prove their small-time global $L^2$-approximate controllability. The proof consists in extending to this nonlinear framework the approach introduced by the first and third authors in \cite{beauchard-pozzoli2} to control the linear equation: it combines the small-time controllability of phases and gradient flows. Due to the nonlinearity, the required estimates are more difficult to establish than in the linear case. The proof here is inspired by WKB analysis. This is the first result of (small-time) global approximate controllability, for nonlinear Schr{Ã¶}dinger equations, with bilinear controls.

academic

Contrôlabilité approchée en petit temps de l'équation de Schrödinger logarithmique

Informations fondamentales

ID de l'article: 2510.14461
Titre: Contrôlabilité approchée en petit temps de l'équation de Schrödinger logarithmique
Auteurs: Karine Beauchard, Rémi Carles, Eugenio Pozzoli
Classification: math.AP (Analyse mathématique), math-ph (Physique mathématique), math.MP (Physique mathématique), math.OC (Contrôle optimal), quant-ph (Physique quantique)
Date de publication: 16 octobre 2025 (prépublication arXiv)
Lien de l'article: https://arxiv.org/abs/2510.14461

Résumé

Cet article considère l'équation de Schrödinger avec non-linéarité logarithmique et contrôle bilinéaire sur $\mathbb{T}^d$ ou $\mathbb{R}^d$ , et démontre sa contrôlabilité approchée globale en $L^2$ en petit temps. La méthode de preuve étend l'approche introduite par le premier et le troisième auteur dans le cas linéaire au cadre non-linéaire : combinaison de la contrôlabilité en petit temps de la phase et du flot de gradient. En raison de la présence de la non-linéarité, les estimations requises sont plus difficiles à établir que dans le cas linéaire. La preuve s'inspire de l'analyse WKB. Il s'agit du premier résultat de contrôlabilité approchée globale (en petit temps) pour une équation de Schrödinger non-linéaire avec contrôle bilinéaire.

Contexte et motivation de la recherche

Contexte du problème

Théorie du contrôle quantique: La théorie mathématique du contrôle des équations aux dérivées partielles de Schrödinger avec contrôle bilinéaire a connu un développement considérable au cours des deux dernières décennies, ses enjeux théoriques provenant d'applications du contrôle quantique en physique et chimie (comme la spectroscopie d'absorption) ainsi qu'en informatique (comme le calcul quantique).
Obstacles topologiques à la contrôlabilité exacte: Dans le cas linéaire, en raison du fait que l'ensemble accessible a un intérieur vide dans $S \cap H$ , le système n'est pas exactement contrôlable. Cet obstacle topologique persiste pour les équations de Schrödinger avec non-linéarité polynomiale.
Signification physique de la contrôlabilité en petit temps: La contrôlabilité en petit temps revêt une signification physique particulièrement pertinente, car les systèmes quantiques, une fois construits, ont une durée de vie très courte avant décohérence (par exemple par émission spontanée de photons), et la capacité à les contrôler dans les délais les plus brefs constitue un défi ouvert en physique.

Motivation de la recherche

Dépasser les limitations existantes: Les équations de Schrödinger linéaires existantes peuvent réaliser une contrôlabilité approchée en grand temps, mais la contrôlabilité en petit temps présente des obstacles.
Avantages de la non-linéarité: L'équation de Schrödinger logarithmique présente des avantages par rapport à la non-linéarité polynomiale : bien posée directement en $L^2$ pour toute dimension spatiale, les solutions sont globalement Lipschitz continues par rapport à la condition initiale.
Combler un vide théorique: Il s'agit du premier résultat de contrôlabilité approchée globale en petit temps pour une équation de Schrödinger non-linéaire avec contrôle bilinéaire.

Contributions principales

Première preuve de contrôlabilité approchée globale en petit temps pour une équation de Schrödinger non-linéaire: Pour le système avec non-linéarité logarithmique et contrôle bilinéaire, il s'agit d'un résultat révolutionnaire dans le domaine.
Innovation méthodologique: Extension réussie des méthodes de contrôle du cas linéaire au cadre non-linéaire, combinant la contrôlabilité en petit temps de la phase et du flot de gradient.
Percée technique: Utilisation d'estimations inspirées par l'analyse WKB pour traiter les difficultés techniques introduites par la non-linéarité.
Cadre théorique complet: Établissement d'un système théorique complet incluant la théorie de bien-posé, les formules de représentation, le contrôle de phase et le contrôle de flot.
Résultats négatifs: Démonstration que certains systèmes ne possèdent pas la contrôlabilité, fournissant des conditions limites à la théorie.

Détails de la méthode

Définition du problème

Considérons l'équation de Schrödinger logarithmique de la forme suivante :

\begin{aligned} &\left(i\partial_t + \frac{1}{2}\Delta - V\right)\psi(t,x) = \lambda\psi \log|\psi|^2(t,x) + \sum_{j=1}^m u_j(t)W_j(x)\psi(t,x)\\ &\psi(0,\cdot) = \psi_0 \end{aligned} \right.$$ où $M$ est $\mathbb{R}^d$ ou une variété riemannienne lisse, connexe et sans bord, $V, W_1, \ldots, W_m$ sont des fonctions potentielles réelles, et $u_1, \ldots, u_m$ sont des fonctions de contrôle constantes par morceaux. ### Systèmes principaux L'article étudie deux systèmes concrets : **Système 1** ($M = \mathbb{T}^d$): $$\left(i\partial_t + \frac{1}{2}\Delta - V\right)\psi = \lambda\psi \log|\psi|^2 + \sum_{j=1}^d (u_{2j-1}(t)\sin + u_{2j}(t)\cos)\langle b_j, x\rangle)\psi$$ **Système 2** ($M = \mathbb{R}^d$): $$\left(i\partial_t + \frac{1}{2}\Delta - V\right)\psi = \lambda\psi \log|\psi|^2 + \left(\sum_{j=1}^d u_j(t)x_j + u_{d+1}(t)e^{-|x|^2/2}\right)\psi$$ ### Stratégie fondamentale La stratégie de preuve repose sur les critères suivants : 1. **Applications de petits temps approximativement accessibles** (applications STAR en $L^2$): Décrivant les états qui peuvent être atteints par les trajectoires du système en un temps arbitrairement petit 2. **Contrôlabilité en petit temps de la phase** (STC des phases): Pour toute condition initiale $\psi_0 \in S$ et phase $\varphi \in L^2(M,\mathbb{R})$, on peut approximativement atteindre l'état $e^{i\varphi}\psi_0$ en un temps arbitrairement petit 3. **Contrôlabilité en petit temps des flots** (STC des flots): Contrôlabilité des flots de champs de vecteurs gradient ### Points d'innovation technique #### 1. Application de l'équation eikonale Pour $\varphi \in C^{\infty}(M,\mathbb{R})$ au plus linéaire, considérons l'équation eikonale : $$\left\{ \begin{aligned} &\partial_s\phi(s,x) + \frac{1}{2}|\nabla\phi(s,x)|^2 = 0\\ &\phi(0,\cdot) = \varphi \end{aligned} \right.$$ #### 2. Formule de représentation Par changement d'échelle temporelle $\xi(s,x) := \psi(\tau s, x)$, on obtient la formule de représentation : $$\psi(\tau s; 0, \psi_0 e^{i\varphi/\tau}) = a(s,\cdot)e^{i\phi(s,\cdot)/\tau}$$ où $a$ satisfait une équation d'évolution spécifique. #### 3. Propriétés particulières de la non-linéarité logarithmique Lemme clé (Lemme 2.1): Pour $z_1, z_2 \in \mathbb{C}$, $$\left|\text{Im}\left((z_2-z_1)(z_2\log|z_2|^2 - z_1\log|z_1|^2)\right)\right| \leq 2|z_1-z_2|^2$$ Cette estimation est l'outil central pour traiter la non-linéarité logarithmique. ## Configuration expérimentale ### Cadre de vérification théorique L'article est principalement un travail théorique, dont les résultats sont vérifiés par : 1. **Preuves de bien-posé**: Démonstration du bien-posé du problème de Cauchy en $L^2(M)$ 2. **Analyse de convergence**: Preuve de la convergence de diverses approximations 3. **Formule de Trotter-Kato**: Établissement de la convergence des méthodes de splitting dans le cas non-linéaire ### Théorèmes principaux **Théorème 1.4**: Soit $d \in \mathbb{N}^*$, $\lambda \in \mathbb{R}$. Si $V \in L^{\infty}(\mathbb{T}^d,\mathbb{R})$, alors le système (1.3) est approximativement contrôlable en petit temps en $L^2$. **Théorème 1.5**: Soit $d \in \mathbb{N}^*$, $\lambda \in \mathbb{R}$. Si $V$ satisfait une condition au plus quadratique, alors le système (1.5) est approximativement contrôlable en petit temps en $L^2$. ## Résultats expérimentaux ### Résultats positifs 1. **Contrôlabilité en petit temps**: Preuve réussie de la contrôlabilité approchée en petit temps en $L^2$ pour les deux systèmes principaux 2. **Contrôle de phase**: Démonstration de la contrôlabilité en petit temps de la phase (Théorème 3.1) 3. **Contrôle de flot**: Établissement de la contrôlabilité en petit temps des flots de champs de vecteurs gradient ### Résultats négatifs Le **Théorème 1.6** fournit d'importants résultats négatifs : 1. Pour un potentiel quadratique $V(x) = \alpha|x|^2 + \beta \cdot x + \gamma$, le système (1.8) n'est pas approximativement contrôlable (en grand temps) en $L^2$ 2. Pour $V$ satisfaisant une condition au plus quadratique, le système (1.7) n'est pas approximativement contrôlable en petit temps en $L^2$ ### Estimations clés L'article établit plusieurs estimations importantes : - Continuité Lipschitz : $\|\psi(t;u,\psi_0) - \psi(t;u,\tilde{\psi}_0)\|_{L^2} \leq e^{2|\lambda|t}\|\psi_0 - \tilde{\psi}_0\|_{L^2}$ - Estimations de taux de convergence : Établissement de taux de convergence concrets dans diverses approximations ## Travaux connexes ### Contrôlabilité exacte - Travaux fondateurs de Ball, Marsden, Slemrod montrant les obstacles topologiques dans le cas linéaire - Résultats de contrôlabilité exacte sur un intervalle unidimensionnel (Beauchard, Coron, etc.) - Persistance des obstacles topologiques dans le cas de non-linéarité polynomiale ### Contrôlabilité approchée - Diverses méthodes dans le cas de spectre discret : approximation de Galerkin, lois de contrôle périodiques, approximation adiabatique, stabilisation de Lyapunov - Résultats de contrôlabilité approchée en grand temps pour d'autres EDP ### Contrôlabilité en petit temps - Résultats antérieurs uniquement pour les équations linéaires - Travail révolutionnaire de Beauchard-Pozzoli dans le cas linéaire - Application de l'argument de saturation d'Agrachev-Sarychev à diverses EDP ## Conclusion et discussion ### Conclusions principales 1. Première preuve de la contrôlabilité approchée globale en petit temps en $L^2$ pour l'équation de Schrödinger avec non-linéarité logarithmique et contrôle bilinéaire 2. Extension réussie des méthodes de contrôle du cas linéaire au cadre non-linéaire 3. Établissement d'un cadre théorique complet incluant le bien-posé, les formules de représentation et les stratégies de contrôle ### Limitations 1. **Limitations de la méthode**: La méthode de preuve est spécifique à la non-linéarité logarithmique et ne peut pas être directement généralisée à d'autres types de non-linéarité 2. **Exigences techniques**: Nécessite que les fonctions potentielles satisfassent des conditions de régularité spécifiques (bornées ou à croissance au plus quadratique) 3. **Forme du contrôle**: Limitation à des formes spécifiques de contrôle bilinéaire ### Directions futures 1. **Extension à d'autres non-linéarités**: Étudier si la méthode peut être généralisée à d'autres types de non-linéarité 2. **Potentiels plus généraux**: Considérer des classes de fonctions potentielles plus générales 3. **Contrôlabilité exacte**: Étudier le problème de la contrôlabilité exacte pour l'équation de Schrödinger logarithmique 4. **Implémentation numérique**: Développer des algorithmes de contrôle numérique basés sur les résultats théoriques ## Évaluation approfondie ### Points forts 1. **Percée théorique**: Premier résultat dans le domaine, d'une importance fondatrice 2. **Innovation méthodologique**: Application réussie des techniques d'analyse WKB à la théorie du contrôle, approche technique novatrice 3. **Complétude**: Fourniture d'un cadre théorique complet allant du bien-posé à la stratégie de contrôle 4. **Équilibre**: Présence à la fois de résultats positifs et négatifs, fournissant une image théorique complète ### Insuffisances 1. **Portée d'application**: Les résultats sont spécifiques à la non-linéarité logarithmique, généralisation limitée 2. **Constructivité**: La preuve est d'existence, sans fourniture d'algorithme de construction de contrôle explicite 3. **Vérification numérique**: Absence d'expériences numériques pour vérifier l'applicabilité pratique des résultats théoriques ### Impact 1. **Valeur académique**: Ouverture d'une nouvelle direction pour la théorie du contrôle quantique non-linéaire 2. **Contribution technique**: Les méthodes techniques établies pourraient s'appliquer à d'autres problèmes de contrôle d'EDP non-linéaires 3. **Signification physique**: Fourniture d'une base théorique pour le contrôle rapide des systèmes quantiques ### Scénarios d'application 1. **Optique quantique**: Systèmes optiques avec non-linéarité de saturation logarithmique 2. **Condensats de Bose-Einstein**: Certains types de systèmes BEC 3. **Mécanique quantique**: Modélisation de systèmes quantiques avec non-linéarité logarithmique ## Références L'article cite 71 références connexes, couvrant les domaines importants de la théorie du contrôle, des équations aux dérivées partielles, de la mécanique quantique et de l'analyse numérique, en particulier : - Travaux fondateurs de Ball, Marsden, Slemrod sur la contrôlabilité des systèmes bilinéaires - Série de travaux de Beauchard et al. sur le contrôle des équations de Schrödinger - Recherches de Carles et al. sur le bien-posé de l'équation de Schrödinger logarithmique - Contributions d'Agrachev et Sarychev sur l'argument de saturation --- Cet article représente un progrès important dans la théorie du contrôle quantique non-linéaire. En combinant habilement l'analyse WKB et les techniques de théorie du contrôle, il résout un problème mathématique-physique difficile et pose les fondations pour le développement ultérieur du domaine.