[论文解读] Observability Inequalities and Measurable Sets

Jone Apraiz, Luis Escauriaza+2 more|arXiv (Cornell University)|Feb 22, 2012

Stability and Controllability of Differential Equations参考文献 35被引用 12

一句话总结

本论文建立了在有界Lipschitz且局部星形区域上热方程的可观测性不等式，证明了当在时空域的任意正测度可测子集或具有正曲面测度的边界上进行观测时，解可以被估计。关键贡献在于将Lebeau-Robbiano谱不等式推广至此类区域，并从任意可测集推导出可观测性，从而在控制理论中实现应用，包括零可控性和时间最优控制。

ABSTRACT

This paper presents two observability inequalities for the heat equation over $Ω imes(0,T)$. In the first one, the observation is from a subset of positive measure in $Ω imes(0,T)$, while in the second, the observation is from a subset of positive surface measure in $\partialΩ imes(0,T)$. It also proves the Lebeau-Robbiano spectral inequality when $Ω$ is a bounded Lipschitz and locally star-shaped domain. Some applications for the above-mentioned observability inequalities are provided.

研究动机与目标

• 证明当观测集为 $\Omega \times (0,T)$ 中任意正测度可测子集时，热方程的可观测性不等式。
• 建立 $\partial\Omega \times (0,T)$ 中具有正曲面测度的子集上的边界可观测性不等式。
• 证明有界Lipschitz且局部星形区域上的Lebeau-Robbiano谱不等式，该不等式支撑主要结果。
• 将现有可观测性结果从开集推广至任意可测集，增强其在控制理论中的适用性。
• 通过可测观测集提供零可控性和时间最优控制的定量估计。

提出的方法

• 以Lebeau-Robbiano谱不等式作为基础假设，随后证明其在局部星形有界Lipschitz区域上成立。
• 应用实解析函数在可测集上的小量传播估计，借鉴Vessella的工作。
• 采用带指数衰减权重 $\gamma(t) = e^{-A/t}$ 的叠缩级数论证，关联不同时刻的解范数。
• 基于时间集 $E \subset (0,T)$ 中的密度点构造时间序列 $\{l_m\}$，确保每个区间内与 $E$ 有足够重叠。
• 使用Carleman型估计和频率函数技术控制解在时间上的增长，尤其在存在可测观测集的情况下。
• 应用谱投影 $\mathcal{E}_\lambda$ 及其正交补，将解分解并利用观测估计其 $L^2$ 范数。

实验结果

研究问题

• RQ1 当观测集为 $\Omega \times (0,T)$ 中任意正测度可测子集时，能否建立热方程的可观测性不等式？
• RQ2 当观测取自 $\partial\Omega \times (0,T)$ 中具有正曲面测度的子集时，边界可观测性是否成立？
• RQ3 Lebeau-Robbiano谱不等式是否适用于有界Lipschitz且局部星形的区域？
• RQ4 可观测性不等式中的常数如何依赖于观测集的几何结构和测度？
• RQ5 这些不等式对零可控性和时间最优控制等控制理论问题有何影响？

主要发现

• Lebeau-Robbiano谱不等式在有界Lipschitz且局部星形区域上成立，常数依赖于区域的几何结构和参数 $R \leq 1$。
• 证明了对任意满足 $|\mathcal{D}| > 0$ 的可测集 $\mathcal{D} \subset \Omega \times (0,T)$，存在可观测性不等式：$\|u(T)\|_{L^2(\Omega)} \leq N \int_{\mathcal{D}} |u(x,t)| \, dx dt$。
• 建立了对任意满足正曲面测度的可测子集 $\mathcal{J} \subset \partial\Omega \times (0,T)$ 的边界可观测性不等式，得到 $\|u(T)\|_{L^2(\Omega)} \leq N \int_{\mathcal{J}} \left|\frac{\partial u}{\partial \nu}\right| \, d\sigma dt$。
• 可观测性估计中的常数 $B$ 依赖于时间集 $E$ 和观测集 $\mathcal{D}$ 的结构，反映了可测集的复杂性。
• 证明给出了一个定量估计：$\|e^{T\Delta}f\|_{L^2(\Omega)} \leq N e^{zA} \int_{\mathcal{D} \cap (\Omega \times [l,l_1])} |e^{t\Delta}f(x)| \, dx dt$，其中 $A$ 依赖于区域、$R$ 和 $|\mathcal{D}|/T|B_R|$。
• 该结果意味着在 dyadic 时间区间上解范数存在一致有界性：$\sup_{m \geq 0} \sup_{l_{m+1} \leq t \leq l_m} e^{-z^{m+1}A} \|e^{t\Delta}f\|_{L^2(\Omega)} \leq N \int_{\mathcal{D} \cap (\Omega \times [l,l_1])} |e^{t\Delta}f(x)| \, dx dt$。