[論文レビュー] 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（幾何的制御条件）を移動する観測領域へと拡張する。可観測性が成り立つのは、すべての一般化された双特徴線（光線）が有限時間以内に時間変動する観測領域と交差する場合であり、このような領域は任意に小さいLebesgue測度を持つことができることを示し、運動を用いた効果的なセンサー配置を可能にする。

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）を拡張すること。
• 一般化された双特徴線の伝播を用いて、可観測性を時間変動する領域内での伝播に関して特徴づけること。
• 適切に時間変動する配置により、観測領域の測度が任意に小さくても可観測性が達成可能であることを示すこと。
• 領域の運動速度と波動速度の関係が可観測性に与える影響を分析すること。特に、非自明な算術的依存関係が存在するかを検討すること。

提案手法

• すべての一般化された双特徴線（光線）が有限時間以内に時間変動する観測領域と交差することを要件とする、古典的GCCの適応。
• 波動特異点と正則性の伝播を、圧縮された一般化された双特徴線フローに沿った微局所解析を用いて分析。
• 双対性を用いて可観測性と制御可能性・安定化を関連付け、エネルギー推定と一意継続性の議論を活用。
• 境界での反射や法線に近い屈折を考慮する双特徴線フロー枠組みを導入し、固定領域から時間変動領域への結果の拡張を実現。
• 擬微分作用素と波面集合の解析を用いて、弱収束と微局所欠損測度を特徴づける。
• 球面、円板、正方形における明示的例を通じて条件の妥当性を検証。移動領域は一定速度で平行移動または回転する。

実験結果

リサーチクエスチョン

• RQ1 古典的な幾何的制御条件は、リーマン多様体上の波動方程式に対して、時間変動する観測領域へと拡張可能か？
• RQ2 観測領域の運動にどのような条件を課すと、波動方程式の可観測性が保証されるか？
• RQ3 適切に時間変動する観測領域を用いることで、Lebesgue測度が任意に小さい領域でも可観測性を達成可能か？
• RQ4 移動領域の速度と波動速度の関係が、可観測性特性にどのように影響を与えるか？
• RQ5 領域の周期的または有理数的運動において、可観測性条件に非自明な算術的依存関係が存在するか？

主な発見

• 時間に依存する観測領域に対する幾何的制御条件は、すべての一般化された双特徴線が有限時間以内に移動領域と交差することを要件とする。
• 観測領域の測度が任意に小さくても、適切に時間変動させることで可観測性が達成可能である。
• 単位円板上で速度$v$で移動する領域について、領域の幅がゼロ（$\varepsilon=0$）の場合、$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$）の場合、速度が大きくても有限時間内に可観測性が保証されないことがある。