[論文レビュー] Global Uniqueness for an Inverse Stochastic Hyperbolic Equation with Three Unknowns

Qi Lü, Xu Zhang|arXiv (Cornell University)|Jul 17, 2011

Numerical methods in inverse problems参考文献 7被引用数 3

ひとこと要約

本稿では、確率的双曲型方程式に対する新しいグローバル・カルレマン推定式を導出し、3つの未知数—確率的力の強度 $ g $、初期変位 $ z_0 $、初期速度 $ z_1 $—のグローバル一意性を確立する。主な結果は、境界上でのフラックスがゼロで、終端時刻での変位がゼロであるならば、ほとんど確実に $ g = 0 $、$ z_0 = 0 $、$ z_1 = 0 $ であることを示しており、適切な幾何的・正則性条件の下で逆問題が一意に解けることを保証する。

ABSTRACT

This paper is addressed to an inverse stochastic hyperbolic equation with three unknowns, i.e., a source term, an initial displacement and an initial velocity. The global uniqueness is proved by a new global Carleman estimate for the stochastic hyperbolic equation. It is found that both the formulation of stochastic inverse problems and the tools to solve them differ considerably from their deterministic counterpart.

研究の動機と目的

• 確率的双曲型逆問題における3つの未知数—確率的力の強度 $ g $、初期変位 $ z_0 $、初期速度 $ z_1 $—のグローバル一意性を扱う。
• 未知数が部分境界観測 $ \partial z/\partial\nu|_{(0,T)\times\Gamma_0} $ および終端変位 $ z(T) $ から一意に特定可能となる条件を確立する。
• 特に、乗法的ノイズを伴う双曲型方程式に特化したツールを開発することで、決定論的と確率的逆問題のギャップを埋める。
• 境界フラックスと終端状態がゼロであるならば、すべての未知数がほとんど確実に消えることを証明し、グローバル一意性を保証する。

提案手法

• 乗法的ノイズを伴う確率的双曲型方程式に対して、問題の確率的性質に適合した新しいグローバル・カルレマン推定式を導出する。
• 重み関数 $ \theta $ とパrameter $ \lambda $ を用いた、確率過程 $ z $、その時間微分 $ z_t $、および空間勾配を含む重み付きエネルギー恒等式を導入する。
• 伊藤の公式を重み付きエネルギー恒等式に適用し、$ dz_t $、$ (b^{ij}z_{x_i})_{x_j} $、およびノイズ項 $ (b_4 z + g)dB(t) $ を含む確率積分恒等式を導出する。
• 境界条件 $ z = 0 $ を $ \Sigma $ 上で用いることで、境界積分項を簡略化し、法線微分 $ \partial z/\partial\nu $ を分離する。
• 確率的微分方程式の構造とカルレマン推定式を用いて、$ \lambda^3 z^2 $、$ \lambda |\nabla z|^2 $、$ \lambda z_t^2 $、および $ g^2 $ を含む重み付きエネルギーの下界を確立する。
• カルレマン推定式と境界フラックスと終端状態がゼロであるという仮定を組み合わせることで、すべての未知数がほとんど確実にゼロであることを導出する。

実験結果

リサーチクエスチョン

• RQ1 確率的双曲型系において、部分境界観測と終端状態データから、確率的力の強度 $ g $、初期変位 $ z_0 $、初期速度 $ z_1 $ が一意に特定可能か？
• RQ2 境界の部分集合 $ \Gamma_0 \subset \Gamma $ で法線微分 $ \partial z/\partial\nu $ がゼロであり、終端状態 $ z(T) = 0 $ であるならば、すべての3つの未知数がほとんど確実にゼロになるか？
• RQ3 特に、乗法的ノイズ項 $ g dB(t) $ を有する確率的双曲型方程式の性質が、決定論的場合と比較して逆問題の一意性にどのように影響を与えるか？
• RQ4 確率的逆問題を扱うために必要な新たな解析的ツールは何か？それらは古典的手法とどのように異なるか？
• RQ5 境界および終端データに基づいて、解およびその微分を制御できるように、確率的双曲型方程式に対してグローバル・カルレマン推定式を構築可能か？

主な発見

• 逆確率的双曲型問題のグローバル一意性が確立された：$ \partial z/\partial\nu = 0 $ が $ (0,T) \times \Gamma_0 $ 上で、かつ $ z(T) = 0 $ が $ G $ 上でほとんど確実に成り立つならば、$ g = 0 $、$ z_0 = 0 $、$ z_1 = 0 $ が $ G $ 上でほとんど確実に成り立つ。
• 確率的双曲型方程式に対する新しいグローバル・カルレマン推定式が導出された。この推定式は、境界および終端データに基づいて、$ z_t $、$ \nabla z $、$ z $ の重み付き $ L^2 $-ノルム、およびノイズ強度 $ g $ を制御する。
• 適切に選ばれた重み関数 $ \theta $、大きなパrameter $ \lambda $、および確率的伊藤の公式を用いて推定式を構築し、$ \lambda^3 z^2 $、$ \lambda |\nabla z|^2 $、$ \lambda z_t^2 $、$ g^2 $ を含む下界を得た。
• 境界上でのディリクレ条件 $ z = 0 $ により、境界積分項が簡略化され、法線微分 $ \partial z/\partial\nu $ が分離可能となり、エネルギー推定式に利用可能となった。
• 境界フラックスと終端状態がゼロであることから、$ \mathbb{E} \int_G \theta^2 (\lambda |z_1|^2 + \lambda |\nabla z_0|^2 + \lambda^3 |z_0|^2) dx = 0 $ が導かれる。これより、$ z_0 = z_1 = 0 $ がほとんど確実に成り立つ。
• 項 $ \mathbb{E} \int_Q (T-t) \theta^2 g^2 dx dt = 0 $ により、$ g = 0 $ がほとんど確実に $ Q $ 上で成り立つことが示され、グローバル一意性の証明が完了した。