[論文レビュー] Determining the potential in a wave equation without a geometric condition. Extension to the heat equation

Kaïs Ammari, Mourad Choulli+1 more|arXiv (Cornell University)|Sep 30, 2015

Numerical methods in inverse problems参考文献 23被引用数 12

ひとこと要約

本稿では、境界測定値から波動方程式のポテンシャルを回復する逆問題に対して、測定子境界に幾何的条件を課さずに対数的安定性推定を確立する。スペクトル分解とロッビアンによる補間不等式を、古典的な観測不等式の代わりに用いることで、$ \|q_0 - q\|_{L^2} \leq \Psi(\|\widetilde{\mathscr{C}}_q^\tau - \widetilde{\mathscr{C}}_{q_0}^\tau\|) $ の形の安定性が得られ、ここで $ \Psi(\gamma) = |\ln \gamma|^{-1/(8+2n)} + \gamma $ である。この手法は熱方程式へと拡張され、類似の対数的安定性推定が得られる。

ABSTRACT

We prove a logarithmic stability estimate for the inverse problem of determining the potential in a wave equation from boundary measurements obtained by varying the first component of the initial condition. The novelty of the present work is that no geometric condition is imposed to the sub-boundary where the measurements are made. Our results improve those obtained by the first and second authors in [2]. We also show how the analysis for the wave equation can be adapted to an inverse coefficient problem for the heat equation

研究の動機と目的

• 境界測定値から波動方程式のポテンシャルを同定する逆問題に対して、幾何的条件を課さずに対数的安定性推定を確立すること。
• 測定がなされる部分境界に非捕獲性や非凹性などの幾何的条件を必要としないようにすること。
• 波動方程式からの分析を、熱方程式の逆係数問題へと拡張すること。
• 領域の幾何的仮定を一切要しない、ディリクレ・トゥ・ノイマン作用素の差のノルムにのみ依存する安定性結果を提供すること。

提案手法

• 波動作用素のスペクトル分解を用いて、解を固有関数および固有値の形に表現すること。
• 幾何的制約がない領域に対応するため、古典的観測不等式の代わりにロッビアン（2009年）の補間不等式を用いること。
• 低周波数成分を制御するため、補間不等式の形をとるカルレマン型推定を適用すること。
• ソボレフ空間 $ H^1_0(\Omega) $ および $ \mathcal{H} = H^1_0(\Omega) \cap H_\Delta(\Omega) $ におけるエネルギー推定と双対性の議論を用いて安定性推定を導出すること。
• 半群解の解析と境界における法線微分の性質を用いて、熱方程式への手法の適応を図ること。
• 初期データを境界での解の法線微分に写像する作用素 $ \mathcal{N}_q $ を導入し、そのノルムの差を推定することでポテンシャルを回復すること。

実験結果

リサーチクエスチョン

• RQ1 測定子境界 $ \Upsilon \subset \Gamma $ に幾何的条件を課さずに、波動方程式における逆ポテンシャル問題に対して対数的安定性を確立できるか？
• RQ2 幾何的仮定が欠如する状況において、古典的観測不等式をどのように置き換えることで安定性推定を導けるか？
• RQ3 波動方程式に用いられた手法を、熱方程式の逆係数問題へどの程度適応できるか？
• RQ4 幾何的制御がない状況で達成可能な最良の安定性レートは何か、そしてそれは測定作用素のノルム差にどのように依存するか？

主な発見

• 測定子境界 $ \Upsilon \subset \Gamma $ に幾何的条件を課さずに、波動方程式における逆ポテンシャル問題に対して対数的安定性推定が確立され、安定性レートは $ \|q_0 - q\|_{L^2} \leq \Psi(\|\widetilde{\mathscr{C}}_q^\tau - \widetilde{\mathscr{C}}_{q_0}^\tau\|) $ であり、ここで $ \Psi(\gamma) = |\ln \gamma|^{-1/(8+2n)} + \gamma $ である。
• スペクトル分解とロッビアン（2009年）の補間不等式を用いることで、観測性に必要な幾何的条件の代わりに、安定性推定が得られる。
• この手法は熱方程式へと拡張され、類似の対数的安定性推定 $ \|q - q_0\|_{L^2} \leq \Theta(\|\mathcal{N}_q - \mathcal{N}_{q_0}\|) $ が得られ、ここで $ \Theta(\gamma) = |\ln \gamma|^{-1/(1+4n)} + \gamma $ である。
• 安定性推定は、$ L^\infty(\Omega) $ における有界集合内でのポテンシャルに対して一様であり、推定の境界は領域、測定子境界、およびポテンシャルの $ L^\infty $-有界性にのみ依存する。
• 解析はソボレフ空間 $ \mathcal{H} $ および $ \mathcal{H}_0 $ における推定に依拠しており、解の法線微分が $ H^1((0,\tau); L^2(\Upsilon)) $ に属することを保証し、トレース推定とエネルギー推定の適用を可能にする。
• 主な技術的革新は、幾何的制御がない状況で低周波数モードを制御するための補間不等式の使用であり、これにより非捕獲性や非凹性の仮定を必要としない安定性の導出が可能になる。