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

Controllabilità approssimata in tempo piccolo dell'equazione di Schrödinger logaritmica

Informazioni Fondamentali

  • ID Articolo: 2510.14461
  • Titolo: Small-time approximate controllability of the logarithmic Schrödinger equation
  • Autori: Karine Beauchard, Rémi Carles, Eugenio Pozzoli
  • Classificazione: math.AP (Analisi Matematica), math-ph (Fisica Matematica), math.MP (Fisica Matematica), math.OC (Controllo Ottimale), quant-ph (Fisica Quantistica)
  • Data di Pubblicazione: 16 ottobre 2025 (preprint arXiv)
  • Link dell'Articolo: https://arxiv.org/abs/2510.14461

Riassunto

Questo articolo considera l'equazione di Schrödinger con non linearità logaritmica e controllo bilineare su Td\mathbb{T}^d o Rd\mathbb{R}^d, dimostrando la controllabilità approssimata globale in L2L^2 in tempo piccolo. Il metodo di dimostrazione estende l'approccio introdotto dal primo e terzo autore nel caso lineare al quadro non lineare: combinando la controllabilità in tempo piccolo della fase e del flusso del gradiente. A causa della presenza della non linearità, le stime richieste sono più difficili da stabilire rispetto al caso lineare. La dimostrazione è ispirata dall'analisi WKB. Questo è il primo risultato di controllabilità approssimata globale (in tempo piccolo) per un'equazione di Schrödinger non lineare con controllo bilineare.

Contesto di Ricerca e Motivazione

Sfondo del Problema

  1. Teoria del Controllo Quantistico: La teoria matematica del controllo per equazioni di Schrödinger con controllo bilineare ha subito uno sviluppo enorme negli ultimi venti anni, con problemi teorici che derivano da applicazioni del controllo quantistico in fisica e chimica (come la spettroscopia di assorbimento) e in informatica (come il calcolo quantistico).
  2. Ostacoli Topologici alla Controllabilità Esatta: Nel caso lineare, il sistema non è esattamente controllabile poiché l'insieme raggiungibile ha interno vuoto in S∩HS \cap H. Questo ostacolo topologico persiste nelle equazioni di Schrödinger con non linearità polinomiale.
  3. Significato Fisico della Controllabilità in Tempo Piccolo: La controllabilità in tempo piccolo ha un significato fisico particolarmente rilevante, poiché i sistemi quantistici, una volta costruiti, hanno una vita molto breve prima del decadimento (ad esempio attraverso l'emissione spontanea di fotoni), e la capacità di controllarli nel tempo più breve possibile è una sfida aperta in fisica.

Motivazione della Ricerca

  1. Superare i Limiti Esistenti: Le equazioni di Schrödinger lineari esistenti possono raggiungere controllabilità approssimata in tempo grande, ma la controllabilità in tempo piccolo presenta ostacoli.
  2. Vantaggi della Non Linearità: L'equazione di Schrödinger logaritmica ha vantaggi rispetto alla non linearità polinomiale: è direttamente ben posta in L2L^2 in qualsiasi dimensione spaziale, e la soluzione è globalmente Lipschitz continua rispetto alla condizione iniziale.
  3. Colmare un Vuoto Teorico: Questo è il primo risultato di controllabilità approssimata globale in tempo piccolo per un'equazione di Schrödinger non lineare con controllo bilineare.

Contributi Fondamentali

  1. Prima Dimostrazione della Controllabilità Approssimata Globale in Tempo Piccolo per Equazioni di Schrödinger Non Lineari: Per sistemi con non linearità logaritmica e controllo bilineare, questo è un risultato rivoluzionario nel campo.
  2. Innovazione Metodologica: Estensione riuscita dei metodi di controllo dal caso lineare al quadro non lineare, combinando la controllabilità in tempo piccolo della fase e del flusso del gradiente.
  3. Avanzamento Tecnico: Utilizzo di stime ispirate dall'analisi WKB per affrontare le difficoltà tecniche introdotte dalla non linearità.
  4. Quadro Teorico Completo: Stabilimento di un sistema teorico completo che include la teoria della buona posizione, formule di rappresentazione, controllo della fase e controllo del flusso.
  5. Risultati Negativi: Dimostrazione che certi sistemi non possiedono controllabilità, fornendo condizioni al contorno per la teoria.

Dettagli del Metodo

Definizione del Problema

Si consideri l'equazione di Schrödinger logaritmica della forma:

\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.$$ dove $M$ è $\mathbb{R}^d$ o una varietà Riemanniana liscia, connessa e senza bordo, $V, W_1, \ldots, W_m$ sono funzioni potenziale a valori reali, e $u_1, \ldots, u_m$ sono funzioni di controllo costanti a tratti. ### Sistemi Principali L'articolo studia due sistemi concreti: **Sistema 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$$ **Sistema 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$$ ### Strategia Fondamentale La strategia di dimostrazione si basa sui seguenti criteri: 1. **Mappe Raggiungibili Approssimate in Tempo Piccolo** ($L^2$-STAR maps): Descrivono gli stati che possono essere raggiunti attraverso le traiettorie del sistema in tempo arbitrariamente piccolo 2. **Controllabilità in Tempo Piccolo della Fase** (STC of phases): Per qualsiasi condizione iniziale $\psi_0 \in S$ e fase $\varphi \in L^2(M,\mathbb{R})$, è possibile approssimare lo stato $e^{i\varphi}\psi_0$ in tempo arbitrariamente piccolo 3. **Controllabilità in Tempo Piccolo dei Flussi** (STC of flows): Controllabilità dei flussi di campi vettoriali gradiente ### Punti di Innovazione Tecnica #### 1. Applicazione dell'Equazione Eikonal Per $\varphi \in C^{\infty}(M,\mathbb{R})$ al più lineare, si consideri l'equazione eikonal: $$\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. Formula di Rappresentazione Attraverso il riscalamento temporale $\xi(s,x) := \psi(\tau s, x)$, si ottiene la formula di rappresentazione: $$\psi(\tau s; 0, \psi_0 e^{i\varphi/\tau}) = a(s,\cdot)e^{i\phi(s,\cdot)/\tau}$$ dove $a$ soddisfa una specifica equazione di evoluzione. #### 3. Proprietà Speciali della Non Linearità Logaritmica Lemma Chiave (Lemma 2.1): Per $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$$ Questa stima è lo strumento centrale per affrontare la non linearità logaritmica. ## Configurazione Sperimentale ### Quadro di Verifica Teorica L'articolo è principalmente un lavoro teorico, con verifica dei risultati attraverso: 1. **Dimostrazione della Buona Posizione**: Dimostrazione della buona posizione del problema di Cauchy in $L^2(M)$ 2. **Analisi di Convergenza**: Dimostrazione della convergenza di varie approssimazioni 3. **Formula di Trotter-Kato**: Stabilimento della convergenza del metodo di splitting nel caso non lineare ### Teoremi Principali **Teorema 1.4**: Sia $d \in \mathbb{N}^*$, $\lambda \in \mathbb{R}$. Se $V \in L^{\infty}(\mathbb{T}^d,\mathbb{R})$, allora il sistema (1.3) è controllabile approssimatamente in tempo piccolo in $L^2$. **Teorema 1.5**: Sia $d \in \mathbb{N}^*$, $\lambda \in \mathbb{R}$. Se $V$ soddisfa una condizione al più quadratica, allora il sistema (1.5) è controllabile approssimatamente in tempo piccolo in $L^2$. ## Risultati Sperimentali ### Risultati Positivi 1. **Controllabilità in Tempo Piccolo**: Dimostrazione riuscita della controllabilità approssimata globale in $L^2$ in tempo piccolo per i due sistemi principali 2. **Controllo della Fase**: Dimostrazione della controllabilità in tempo piccolo della fase (Teorema 3.1) 3. **Controllo del Flusso**: Stabilimento della controllabilità in tempo piccolo dei flussi di campi vettoriali gradiente ### Risultati Negativi Il **Teorema 1.6** fornisce importanti risultati negativi: 1. Per il potenziale quadratico $V(x) = \alpha|x|^2 + \beta \cdot x + \gamma$, il sistema (1.8) non è controllabile approssimatamente in $L^2$ (in tempo grande) 2. Per $V$ che soddisfa una condizione al più quadratica, il sistema (1.7) non è controllabile approssimatamente in tempo piccolo in $L^2$ ### Stime Chiave L'articolo stabilisce diverse stime importanti: - 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}$ - Stime del Tasso di Convergenza: Stabilimento di tassi di convergenza concreti in varie approssimazioni ## Lavori Correlati ### Controllabilità Esatta - Lavoro fondamentale di Ball, Marsden, Slemrod che mostra gli ostacoli topologici nel caso lineare - Risultati di controllabilità esatta su intervalli unidimensionali (Beauchard, Coron, ecc.) - Persistenza degli ostacoli topologici nel caso di non linearità polinomiale ### Controllabilità Approssimata - Vari metodi nel caso di spettro discreto: approssimazione di Galerkin, leggi di controllo periodiche, approssimazione adiabatica, stabilizzazione di Lyapunov - Risultati di controllabilità approssimata in tempo grande per altre PDE ### Controllabilità in Tempo Piccolo - Precedentemente solo risultati di controllabilità in tempo piccolo per equazioni lineari - Lavoro rivoluzionario di Beauchard-Pozzoli nel caso lineare - Applicazione dell'argomento di saturazione di Agrachev-Sarychev in varie PDE ## Conclusioni e Discussione ### Conclusioni Principali 1. Prima dimostrazione della controllabilità approssimata globale in $L^2$ in tempo piccolo per l'equazione di Schrödinger con non linearità logaritmica e controllo bilineare 2. Estensione riuscita dei metodi di controllo dal caso lineare al quadro non lineare 3. Stabilimento di un quadro teorico completo, includente buona posizione, formule di rappresentazione e strategie di controllo ### Limitazioni 1. **Limitazioni del Metodo**: Il metodo di dimostrazione è specifico per la non linearità logaritmica e non può essere direttamente generalizzato ad altri tipi di non linearità 2. **Requisiti Tecnici**: Richiede che le funzioni potenziale soddisfino specifiche condizioni di regolarità (limitate o con crescita al più quadratica) 3. **Forma di Controllo**: Limitato a forme specifiche di controllo bilineare ### Direzioni Future 1. **Estensione ad Altre Non Linearità**: Ricerca sulla possibilità di generalizzare il metodo ad altri tipi di non linearità 2. **Funzioni Potenziale Più Generali**: Considerazione di classi più generali di funzioni potenziale 3. **Controllabilità Esatta**: Studio della controllabilità esatta per l'equazione di Schrödinger logaritmica 4. **Implementazione Numerica**: Sviluppo di algoritmi di controllo numerico basati sui risultati teorici ## Valutazione Approfondita ### Punti di Forza 1. **Avanzamento Teorico**: Questo è il primo risultato nel campo, con significato rivoluzionario 2. **Innovazione Metodologica**: Applicazione riuscita delle tecniche di analisi WKB alla teoria del controllo, con approccio tecnico innovativo 3. **Completezza**: Fornisce un quadro teorico completo dalla buona posizione alla strategia di controllo 4. **Equilibrio**: Presenta sia risultati positivi che negativi, fornendo un quadro teorico completo ### Insufficienze 1. **Portata Applicativa**: I risultati sono specifici per la non linearità logaritmica, con generalizzabilità limitata 2. **Costruttività**: La dimostrazione è di esistenza, senza fornire algoritmi di costruzione di controllo concreti 3. **Verifica Numerica**: Mancanza di esperimenti numerici per verificare l'utilità pratica dei risultati teorici ### Impatto 1. **Valore Accademico**: Apre nuove direzioni nella teoria del controllo quantistico non lineare 2. **Contributo Tecnico**: I metodi tecnici stabiliti potrebbero essere applicabili a problemi di controllo di altre PDE non lineari 3. **Significato Fisico**: Fornisce fondamenti teorici per il controllo rapido di sistemi quantistici ### Scenari Applicabili 1. **Ottica Quantistica**: Sistemi ottici con non linearità di saturazione logaritmica 2. **Condensati di Bose-Einstein**: Certi tipi di sistemi BEC 3. **Meccanica Quantistica**: Modellazione di sistemi quantistici con non linearità logaritmica ## Riferimenti Bibliografici L'articolo cita 71 riferimenti correlati, coprendo importanti lavori in teoria del controllo, equazioni alle derivate parziali, meccanica quantistica e analisi numerica, in particolare: - Lavoro fondamentale di Ball, Marsden, Slemrod sulla controllabilità di sistemi bilineari - Serie di lavori di Beauchard e collaboratori sul controllo di equazioni di Schrödinger - Ricerca di Carles e collaboratori sulla buona posizione dell'equazione di Schrödinger logaritmica - Contributi di Agrachev, Sarychev sull'argomento di saturazione --- Questo articolo rappresenta un importante progresso nella teoria del controllo quantistico non lineare, risolvendo un problema matematico-fisico impegnativo attraverso la combinazione ingegnosa di analisi WKB e tecniche di teoria del controllo, gettando le basi per ulteriori sviluppi nel campo.