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

Small-time approximate controllability of the logarithmic Schrödinger equation

基本信息

  • 论文ID: 2510.14461
  • 标题: Small-time approximate controllability of the logarithmic Schrödinger equation
  • 作者: Karine Beauchard, Rémi Carles, Eugenio Pozzoli
  • 分类: math.AP (数学分析), math-ph (数学物理), math.MP (数学物理), math.OC (最优控制), quant-ph (量子物理)
  • 发表时间: 2025年10月16日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2510.14461

摘要

本文考虑在Td\mathbb{T}^d或Rd\mathbb{R}^d上具有对数非线性和双线性控制的Schrödinger方程，证明了其小时间全局L2L^2-近似可控性。证明方法是将第一和第三作者在线性情况下引入的方法扩展到非线性框架：结合相位和梯度流的小时间可控性。由于非线性的存在，所需的估计比线性情况更难建立。本文的证明受到WKB分析的启发。这是首个关于具有双线性控制的非线性Schrödinger方程的（小时间）全局近似可控性结果。

研究背景与动机

问题背景

  1. 量子控制理论: 双线性控制的Schrödinger偏微分方程的数学控制理论在过去二十年中得到了巨大发展，其理论问题源于量子控制在物理学和化学（如吸收光谱学）以及计算机科学（如量子计算）中的应用。
  2. 精确可控性的拓扑障碍: 在线性情况下，由于可达集在S∩HS \cap H中内部为空，系统不是精确可控的。这种拓扑障碍在具有多项式非线性的Schrödinger方程中仍然存在。
  3. 小时间可控性的物理意义: 小时间可控性具有特别相关的物理意义，因为量子系统一旦构建，在衰减前（如通过自发光子发射）具有很短的寿命，在最短时间内控制它们的能力是物理学中的一个开放挑战。

研究动机

  1. 突破现有限制: 现有的线性Schrödinger方程可以实现大时间近似可控性，但小时间可控性存在障碍。
  2. 非线性优势: 对数Schrödinger方程相比多项式非线性具有优势：在任意空间维数的L2L^2中直接适定，解相对于初始条件全局Lipschitz连续。
  3. 填补理论空白: 这是首个关于具有双线性控制的非线性Schrödinger方程的小时间全局近似可控性结果。

核心贡献

  1. 首次证明非线性Schrödinger方程的小时间全局近似可控性: 对于具有对数非线性和双线性控制的系统，这是该领域的突破性结果。
  2. 方法论创新: 将线性情况下的控制方法成功扩展到非线性框架，结合相位和梯度流的小时间可控性。
  3. 技术突破: 使用受WKB分析启发的估计方法处理非线性带来的技术困难。
  4. 完整的理论框架: 建立了包括适定性理论、表示公式、相位控制和流控制的完整理论体系。
  5. 负面结果: 证明了某些系统不具有可控性，为理论提供了边界条件。

方法详解

任务定义

考虑如下形式的对数Schrödinger方程：

\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.$$ 其中$M$是$\mathbb{R}^d$或光滑连通无边界黎曼流形，$V, W_1, \ldots, W_m$是实值势函数，$u_1, \ldots, u_m$是分段常数控制函数。 ### 主要系统 论文研究两个具体系统： **系统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$$ **系统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$$ ### 核心策略 证明策略基于以下准则： 1. **小时间近似可达映射** ($L^2$-STAR maps): 描述可以在任意小时间内通过系统轨迹达到的状态 2. **相位的小时间可控性** (STC of phases): 对任意初始条件$\psi_0 \in S$和相位$\varphi \in L^2(M,\mathbb{R})$，可以在任意小时间内近似达到状态$e^{i\varphi}\psi_0$ 3. **梯度流的小时间可控性** (STC of flows): 对梯度向量场流的可控性 ### 技术创新点 #### 1. Eikonal方程的应用 对于至多线性的$\varphi \in C^{\infty}(M,\mathbb{R})$，考虑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. 表示公式 通过时间重标度$\xi(s,x) := \psi(\tau s, x)$，得到表示公式： $$\psi(\tau s; 0, \psi_0 e^{i\varphi/\tau}) = a(s,\cdot)e^{i\phi(s,\cdot)/\tau}$$ 其中$a$满足特定的演化方程。 #### 3. 对数非线性的特殊性质 关键引理（Lemma 2.1）：对于$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$$ 这个估计是处理对数非线性的核心工具。 ## 实验设置 ### 理论验证框架 论文主要是理论工作，通过以下方式验证结果： 1. **适定性证明**: 证明Cauchy问题在$L^2(M)$中的适定性 2. **收敛性分析**: 证明各种近似的收敛性 3. **Trotter-Kato公式**: 在非线性情况下建立分裂方法的收敛性 ### 主要定理 **定理1.4**: 设$d \in \mathbb{N}^*$，$\lambda \in \mathbb{R}$。如果$V \in L^{\infty}(\mathbb{T}^d,\mathbb{R})$，则系统(1.3)是小时间$L^2$-近似可控的。 **定理1.5**: 设$d \in \mathbb{N}^*$，$\lambda \in \mathbb{R}$。如果$V$满足至多二次条件，则系统(1.5)是小时间$L^2$-近似可控的。 ## 实验结果 ### 正面结果 1. **小时间可控性**: 成功证明了两个主要系统的小时间$L^2$-近似可控性 2. **相位控制**: 证明了相位的小时间可控性（定理3.1） 3. **流控制**: 建立了梯度向量场流的小时间可控性 ### 负面结果 **定理1.6**提供了重要的负面结果： 1. 对于二次势$V(x) = \alpha|x|^2 + \beta \cdot x + \gamma$，系统(1.8)不是（大时间）$L^2$-近似可控的 2. 对于满足至多二次条件的$V$，系统(1.7)不是小时间$L^2$-近似可控的 ### 关键估计 论文建立了多个重要的估计： - 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}$ - 收敛率估计：在各种近似中建立了具体的收敛率 ## 相关工作 ### 精确可控性 - Ball, Marsden, Slemrod的开创性工作表明线性情况下的拓扑障碍 - 一维区间上的精确可控性结果（Beauchard, Coron等） - 多项式非线性情况下的拓扑障碍持续存在 ### 近似可控性 - 离散谱情况下的多种方法：Galerkin近似、周期控制律、绝热近似、Lyapunov稳定化 - 其他PDE的大时间近似可控性结果 ### 小时间可控性 - 之前仅有线性方程的小时间可控性结果 - Beauchard-Pozzoli的线性情况下的突破性工作 - Agrachev-Sarychev饱和论证在各种PDE中的应用 ## 结论与讨论 ### 主要结论 1. 首次证明了具有对数非线性和双线性控制的Schrödinger方程的小时间全局$L^2$-近似可控性 2. 成功将线性情况下的控制方法扩展到非线性框架 3. 建立了完整的理论框架，包括适定性、表示公式和控制策略 ### 局限性 1. **方法限制**: 证明方法特定于对数非线性，不能直接推广到其他类型的非线性 2. **技术要求**: 需要势函数满足特定的正则性条件（有界或至多二次增长） 3. **控制形式**: 限制于特定形式的双线性控制 ### 未来方向 1. **扩展到其他非线性**: 研究是否可以将方法推广到其他类型的非线性 2. **更一般的势函数**: 考虑更一般的势函数类 3. **精确可控性**: 研究对数Schrödinger方程的精确可控性问题 4. **数值实现**: 开发基于理论结果的数值控制算法 ## 深度评价 ### 优点 1. **理论突破**: 这是该领域的首个结果，具有开创性意义 2. **方法创新**: 成功将WKB分析技术应用于控制理论，技术路线新颖 3. **完整性**: 提供了从适定性到控制策略的完整理论框架 4. **平衡性**: 既有正面结果也有负面结果，为理论提供了完整的图景 ### 不足 1. **应用范围**: 结果特定于对数非线性，推广性有限 2. **构造性**: 证明是存在性的，没有提供具体的控制构造算法 3. **数值验证**: 缺乏数值实验来验证理论结果的实用性 ### 影响力 1. **学术价值**: 为非线性量子控制理论开辟了新方向 2. **技术贡献**: 建立的技术方法可能适用于其他非线性PDE控制问题 3. **物理意义**: 为量子系统的快速控制提供了理论基础 ### 适用场景 1. **量子光学**: 具有对数饱和非线性的光学系统 2. **玻色-爱因斯坦凝聚**: 某些类型的BEC系统 3. **量子力学**: 具有对数非线性的量子系统建模 ## 参考文献 论文引用了71篇相关文献，涵盖了控制理论、偏微分方程、量子力学和数值分析等多个领域的重要工作，特别是： - Ball, Marsden, Slemrod关于双线性系统可控性的开创性工作 - Beauchard等人在Schrödinger方程控制方面的系列工作 - Carles等人在对数Schrödinger方程适定性方面的研究 - Agrachev, Sarychev在饱和论证方面的贡献 --- 这篇论文代表了非线性量子控制理论的重要进展，通过巧妙结合WKB分析和控制理论技术，解决了一个具有挑战性的数学物理问题，为该领域的进一步发展奠定了基础。