[论文解读] Null controllability from the exterior of a one-dimensional nonlocal heat equation

Mahamadi Warma, Sebastián Zamorano|arXiv (Cornell University)|Nov 21, 2018

Stability and Controllability of Differential Equations参考文献 41被引用 11

一句话总结

本文建立了在一维非局部热方程在 $(-1,1)$ 上由分数阶拉普拉斯算子 $(-∂_x^2)^s$ 控制时的零可控性，控制集中在外部开集 $ℝ ∓ (-1,1)$ 中。当且仅当 $½ < s < 1$ 时，系统在任意时间 $T > 0$ 内实现零可控性，其依据为谱分析及特征值衰减与边界控制可观测性的 Müntz 条件。

ABSTRACT

We consider the null controllability problem from the exterior for the one dimensional heat equation on the interval $(0,1)$ associated with the fractional Laplace operator $(-\partial_x^2)^s$, where $00$ if and only if $\frac 12

研究动机与目标

• 研究一维非局部热方程在分数阶拉普拉斯算子 $(-\partial_x^2)^s$ 下，是否可通过局域于域 $(-1,1)$ 外部的控制驱动至零。
• 确定分数阶参数 $s \in (0,1)$ 的精确范围，使得从外部实现零可控性成为可能。
• 通过谱分析，建立零可控性与对偶系统可观测性不等式之间的等价性。
• 解决此前未解的开放问题：当 $s \leq 1/2$ 时，外部控制能否实现零可控性。
• 通过表征临界阈值 $s = 1/2$，深化对非局部 PDE 可控性的理解。

提出的方法

• 通过分数阶拉普拉斯算子 $(-\partial_x^2)^s$（定义为奇异积分算子）建立带外部控制的非局部热方程。
• 在 $L^2((0,T);L^2(-1,1))$ 中定义弱解，并引入终态可达集 $\mathcal{R}(u_0,T)$。
• 利用对偶性将零可控性问题转化为涉及非局部法向导数 $\mathcal{N}_s$ 的对偶系统可观测性不等式。
• 应用矩方法，将可观测性不等式简化为两个条件：(1) $\sum_{n=1}^\infty \frac{1}{\lambda_n} < \infty$ 与 (2) $\|\mathcal{N}_s \varphi_n\|_{L^2(\mathcal{O})} \geq \eta > 0$。
• 分析特征值 $\lambda_n \sim \left(\frac{n\pi}{2} - \frac{(2-2s)\pi}{8}\right)^{2s}$ 在 $n \to \infty$ 时的渐近行为。
• 通过与 $p$-级数比较，证明 $\sum \frac{1}{\lambda_n} < \infty$ 当且仅当 $s > \frac{1}{2}$。

实验结果

研究问题

• RQ1 对于哪些 $s \in (0,1)$ 值，非局部热方程在 $(-1,1)$ 上可通过局域于 $\mathcal{O} \subset \mathbb{R} \setminus (-1,1)$ 的外部控制实现零可控性？
• RQ2 为何经典边界控制对分数阶拉普拉斯算子失效，而外部控制如何解决此问题？
• RQ3 分数阶拉普拉斯算子的谱性质在决定可控性中起何种作用？
• RQ4 阈值 $s = \frac{1}{2}$ 是否为零可控性的临界点？当 $s \leq \frac{1}{2}$ 时会发生什么？
• RQ5 特征函数的非局部法向导数 $\mathcal{N}_s$ 在 $L^2(\mathcal{O})$ 中的行为如何？为何其下确界有界性至关重要？

主要发现

• 仅当 $\frac{1}{2} < s < 1$ 时，从外部实现零可控性成立，从而在 $s = \frac{1}{2}$ 处确立了精确的临界阈值。
• 当 $0 < s \leq \frac{1}{2}$ 时，级数 $\sum_{n=1}^\infty \frac{1}{\lambda_n}$ 发散，违反可观测性所必需的 Müntz 条件，因而导致零可控性不成立。
• 特征值渐近公式 $\lambda_n \sim \left(\frac{n\pi}{2} - \frac{(2-2s)\pi}{8}\right)^{2s}$ 表明 $\sum \frac{1}{\lambda_n} < \infty$ 当且仅当 $s > \frac{1}{2}$。
• 对所有 $n$，有均匀下界 $\|\mathcal{N}_s \varphi_n\|_{L^2(\mathcal{O})} \geq \eta > 0$，确保了矩方法中第二个条件成立。
• 由于系统为线性，零可控性等价于轨迹可控性，而精确可控性因可达状态的光滑性而无法实现。
• 结果确认：当 $s > \frac{1}{2}$ 时，外部控制为可控性的必要且充分条件，解决了非局部 PDE 控制理论中的一个关键问题。