[论文解读] Unexpected quadratic behaviors for the small-time local null controllability of scalar-input parabolic equations

Karine Beauchard, Frédéric Marbach|arXiv (Cornell University)|Dec 28, 2017

Stability and Controllability of Differential Equations参考文献 43被引用 17

一句话总结

本文分析了在线性化失效的平衡点附近，标量输入抛物方程的小时间局部零可控性。它识别出两种新型无限维二次行为：通过分数阶负Sobolev范数的连续障碍族，以及通过二次展开意外恢复小时间局部零可控性——表明可利用 $ H^{-s} $-正则控制恢复无限多个方向，这一现象在有限维情况下不可能实现。

ABSTRACT

We consider scalar-input control systems in the vicinity of an equilibrium, at which the linearized systems are not controllable. For finite dimensional control systems, the authors recently classified the possible quadratic behaviors. Quadratic terms introduce coercive drifts in the dynamics, quantified by integer negative Sobolev norms, which are linked to Lie brackets and which prevent smooth small-time local controllability for the full nonlinear system. In the context of nonlinear parabolic equations, we prove that the same obstructions persist. More importantly, we prove that two new behaviors occur, which are impossible in finite dimension. First, there exists a continuous family of quadratic obstructions quantified by fractional negative Sobolev norms or by weighted variations of them. Second, and more strikingly, small-time local null controllability can sometimes be recovered from the quadratic expansion. We also construct a system for which an infinite number of directions are recovered using a quadratic expansion. As in the finite dimensional case, the relation between the regularity of the controls and the strength of the possible quadratic obstructions plays a key role in our analysis.

研究动机与目标

• 分析当线性化系统不可控时，标量输入抛物方程的小时间局部零可控性。
• 将有限维二次可控性分类推广至无限维抛物系统。
• 识别并表征无限维设置下特有的新二次行为，特别是涉及分数阶Sobolev范数的行为。
• 研究尽管存在线性障碍，是否可通过二阶动力学恢复小时间局部零可控性。
• 确定控制正则性（如 $ H^{-s} $, $ W^{-n, ho} $）在促成或阻碍可控性中的作用。

提出的方法

• 分析由带Neumann边界条件的标量热方程控制的非线性抛物控制系统的二阶展开。
• 通过特征函数 $ \rho_k(x) = \frac{1}{\sqrt{\pi}} \sqrt{2} \cos(kx) $ 进行谱分解，将系统投影为一列ODE。
• 应用傅里叶分析和分数阶Sobolev范数 $ \|f\|_{H^{-s}(\mathbb{R})} $ 来表征控制正则性及其对二次漂移的影响。
• 引入负Sobolev范数的加权变体，以在无限维中建模连续的二次障碍族。
• 采用平坦化方法，并通过具有紧支集傅里叶变换的控制函数迭代构造，实现零可控性。
• 在 $ s \in (0, \frac{1}{2}) $ 范围内建立 $ H^{-s} $ 范数下的统一控制代价估计，表明在更强范数下代价会发散。

实验结果

研究问题

• RQ1 当线性化系统不可控时，是否可在抛物系统中恢复小时间局部零可控性？
• RQ2 在无限维抛物系统中，哪些新型二次行为出现，而这些行为在有限维对应物中不存在？
• RQ3 控制的分数阶负Sobolev范数如何影响二次障碍的存在性与强度？
• RQ4 是否可能通过二次展开恢复无限多个丢失的可控方向？
• RQ5 在存在二次漂移的情况下，实现小时间统一控制代价估计所需的最小控制正则性是什么？

主要发现

• 识别出两种新型无限维二次行为：由分数阶负Sobolev范数或其加权变体量化的连续障碍族。
• 即使线性化系统不可控，仍可通过二次展开恢复小时间局部零可控性——这与有限维情形的预期相反。
• 构造了一个显式例子，其中使用 $ H^{-s} $-正则控制（$ s \in (0, \frac{1}{2}) $）恢复了无限多个方向，实现了小时间内的统一控制代价。
• 当在 $ W^{-n, p} $ 范数下测量时，控制代价以 $ T^{-n - m + \frac{1}{p}} $ 的形式发散，但在 $ H^{-s} $ 范数下（$ s \in (0, \frac{1}{2}) $）保持有界。
• 仅当在 $ H^{-s} $ 范数下（$ s \in (0, \frac{1}{2}) $）测量时，控制代价在小时间内才保持统一，而在 $ W^{-n+1, \infty} $ 范数下则不然，表明正则性存在一个精确的临界阈值。
• 系统在控制正则性与二次障碍强度之间表现出非平凡的相互作用，其中 $ H^{-s} $ 范数可实现恢复，而更强范数则失败。