[论文解读] Geometric control condition for the wave equation with a time-dependent observation domain

Jérôme Le Rousseau, Gilles Lebeau+2 more|arXiv (Cornell University)|Jul 6, 2016

Stability and Controllability of Differential Equations参考文献 23被引用 56

一句话总结

本文为黎曼流形上的波动方程建立了时间依赖的几何控制条件，将经典的GCC推广至移动观测区域。证明了若所有广义双特征线（射线）在有限时间内与时变观测区域相交，则可观测性成立，并表明此类区域的勒贝格测度可任意小，从而通过运动实现有效的传感器布置。

ABSTRACT

We characterize the observability property (and, by duality, the controllability and the stabilization) of the wave equation on a Riemannian manifold $\\Omega,$ with or without boundary, where the observation (or control) domain is time-varying. We provide a condition ensuring observability, in terms of propagating bicharacteristics. This condition extends the well-known geometric control condition established for fixed observation domains. As one of the consequences, we prove that it is always possible to find a time-dependent observation domain of arbitrarily small measure for which the observability property holds. From a practical point of view, this means that it is possible to reconstruct the solutions of the wave equation with only few sensors (in the Lebesgue measure sense), at the price of moving the sensors in the domain in an adequate way.We provide several illustrating examples, in which the observationdomain is the rigid displacement in $\\Omega$ of a fixed domain, withspeed $v,$ showing that the observability property depends both on $v$and on the wave speed. Despite the apparent simplicity of some of ourexamples, the observability property can depend on nontrivial arithmeticconsiderations.

研究动机与目标

• 将经典的几何控制条件（GCC）推广至黎曼流形上波动方程的时变观测区域。
• 以广义双特征线在移动区域中的传播来刻画可观测性。
• 证明通过适当的时间时变布置，可观测性可在测度任意小的观测区域中实现。
• 分析区域运动速度与波速对可观测性的影响，包括非平凡的算术依赖关系。

提出的方法

• 通过要求所有广义双特征线（射线）在有限时间内与时变观测区域相交，对经典几何控制条件进行适应。
• 利用微局部分析和压缩广义双特征线流上的奇点传播来分析波动奇点与正则性。
• 通过对偶性将可观测性与可控性、稳定性联系起来，利用能量估计和唯一延拓论证。
• 引入一个考虑边界反射与掠射的双特征线流框架，将固定区域的结果推广至时变区域。
• 采用伪微分算子和波前集分析来表征弱极限与微局部缺陷测度。
• 通过球面、圆盘和正方形上的显式例子验证该条件，其中观测区域以恒定速度平移或旋转。

实验结果

研究问题

• RQ1 能否将经典的几何控制条件推广至黎曼流形上波动方程的时变观测区域？
• RQ2 观测区域的运动需满足何种条件，才能确保波动方程的可观测性？
• RQ3 通过在时间上适当地移动观测区域，是否可能在勒贝格测度任意小的条件下实现可观测性？
• RQ4 观测区域的运动速度与波速如何影响可观测性？
• RQ5 当区域作周期性或有理运动时，可观测性条件中是否存在非平凡的算术依赖关系？

主要发现

• 时变观测区域的几何控制条件要求每条广义双特征线在有限时间内与移动区域相交。
• 即使观测区域的勒贝格测度任意小，只要其时间布置得当，仍可实现可观测性。
• 在单位圆盘上，当观测区域以速度 $v$ 平移时，若区域宽度为零，则当 $v \to \infty$ 时可观测性无法一致成立，但若 $v$ 与区域尺寸满足特定算术条件，则可观测性仍可成立。
• 在正方形上，边界移动线段的可观测性条件依赖于线段长度与周长之比，在临界情况下会出现非平凡的算术依赖关系。
• 本文证明了可观测性不等式在常数 $C>0$ 和时间 $T>0$ 下成立，满足 $E_0(u) \leq C \int_0^T \|\partial_t u\|_{L^2(\omega(t))}^2 dt$，从而确保通过移动传感器可完全重构能量。
• 边界可观测性比内部可观测性更敏感，因为边界区域无宽度（如 $\varepsilon=0$）时，即使速度很大，也可能无法实现有限时间内的可观测性。