[论文解读] Controllability of the cubic Schroedinger equation via a low-dimensional source term

Andrey Sarychev|arXiv (Cornell University)|May 9, 2011

Advanced Mathematical Physics ProblemsMathematics参考文献 21被引用 19

一句话总结

本文证明了在环面上的二维非聚焦立方薛定谔方程可通过仅使用四个受控模态的附加源项实现近似可控性以及有限维投影下的可控性。研究证明，仅需控制源项中的四个复指数函数即可实现 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的近似可控性与任意有限维子空间中的可控性，同时表明在有限维控制下，全空间的精确可控性是不可能实现的。

ABSTRACT

We study controllability of $d$-dimensional defocusing cubic Schroedinger equation under periodic boundary conditions. The control is applied additively, via a source term, which is a linear combination of few complex exponentials (modes) with time-variant coefficients - controls. We manage to prove that controlling at most $2^d$ modes one can achieve controllability of the equation in any finite-dimensional projection of the evolution space $H^{s}(\\mathbb{T}^d), \\ s>d/2$, as well as approximate controllability in $H^{s}(\\mathbb{T}^d)$. We also present negative result regarding exact controllability of cubic Schroedinger equation via a finite-dimensional source term.

研究动机与目标

• 研究在周期边界条件下，通过低维源项实现附加控制时，二维非聚焦立方薛定谔方程的可控性。
• 确定仅控制有限个傅里叶模态（具体为四个）是否足以实现有限维投影中的可控性或全索伯列夫空间 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的近似可控性。
• 建立一个否定性结果：当源项具有有限维值域时，全空间 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的精确可控性无法实现。
• 将几何控制理论与李代数方法应用于非线性偏微分方程，将流体动力学中的技术扩展至非线性薛定谔系统。

提出的方法

• 将立方薛定谔方程建模为在索伯列夫空间 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的演化过程，其中 $ \sigma > 0 $，以确保足够的正则性，从而将可控性问题与分析复杂性分离。
• 通过附加源项 $ F(t,x) = \sum_{k \in \hat{\mathcal{K}}} v_k(t) e^{ik \cdot x} $ 实现控制，其中 $ \hat{\mathcal{K}} \subset \mathbb{Z}^2 $ 为一组有限的波矢集合，$ v_k(t) \in L^\infty[0,T] $ 为时变控制系数。
• 分析采用几何控制理论中的李代数方法，聚焦于与受控模态相关的向量场的迭代李括号的张成，以评估可达性。
• 论文使用分划论证和希尔伯特空间中的紧致性准则，证明控制算子的等度连续性，依赖于非线性项的有界性以及自由传播算子 $ e^{-i\tau\Delta} $ 的等距性质。
• 建立了关于控制影响积分的关键估计，通过预解范数 $ \|\cdot\|^{rx} $ 表明，控制输入的 $ L^1 $-范数越小，对状态的净影响也越小，这对证明近似可控性至关重要。
• 采用反证法证明：当控制空间具有有限维值域时，全空间 $ H^{1+\sigma} $ 中的精确可控性不可能实现，其依据是非线性项的结构与控制空间的有限维性。

实验结果

研究问题

• RQ1 是否可通过源项中仅控制四个受控傅里叶模态，实现对二维非聚焦立方薛定谔方程在 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的近似可控性？
• RQ2 仅控制四个模态是否足以在 $ H^{1+\sigma}(\mathbb{T}^2) $ 的任意有限维投影中实现可控性？
• RQ3 该系统中实现近似可控性或有限维投影可控性所需的最少模态数是多少？
• RQ4 能否通过有限维源项实现全空间 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的精确可控性？
• RQ5 非线性项 $ |u|^2 u $ 的结构如何与有限维控制相互作用，从而限制或促进可控性？

主要发现

• 仅通过源项中控制四个模态，即可在任意 $ \sigma > 0 $ 条件下实现 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的近似可控性。
• 通过仅控制四个受控模态，即可在 $ H^{1+\sigma}(\mathbb{T}^2) $ 的任意有限维投影中实现可控性。
• 本文识别出一个通用的四模态控制集合族，足以同时实现近似可控性与有限维投影可控性。
• 当源项具有有限维值域时，无论选择何种受控模态，全空间 $ H^{1+\sigma}(\mathbb{T}^2) $ 中的精确可控性均无法实现。
• 证明依赖于预解范数 $ \|\cdot\|^{rx} $ 和控制算子等度连续性的紧致性论证，表明小的控制输入可导致小的状态变化。
• 非线性项 $ |u|^2 u $ 虽在 $ H^{1+\sigma} $ 中有界，但阻止了控制算子在全空间上为满射，从而阻碍了精确可控性的实现。