[論文レビュー] Logarithmic stability in determining a boundary coefficient in an ibvp for the wave equation

Kaïs Ammari, Mourad Choulli|arXiv (Cornell University)|May 27, 2015

Stability and Controllability of Differential Equations参考文献 5被引用数 10

ひとこと要約

本稿は、混合境界条件を満たす正方形領域における波動方程式の境界減衰係数を同定する逆問題に対して、対数的安定性推定を確立する。観測可能性不等式とスペクトル分解を組み合わせることで、未知の境界係数とゼロとの差の $ L^2 $-ノルムが、ディリクレからノイマン写像への測定誤差の対数関数によって制御されることを示した。係数にホルダー連続性および正値制約を課した下で成立する。

ABSTRACT

In [2] we introduced a method combining together an observability inequality and a spectral decomposition to get a logarithmic stability estimate for the inverse problem of determining both the potential and the damping coefficient in a dissipative wave equation from boundary measurements. The present work deals with an adaptation of that method to obtain a logarithmic stability estimate for the inverse problem of determining a boundary damping coefficient from boundary measurements. As in our preceding work, the different boundary measurements are generated by varying one of the initial conditions.

研究の動機と目的

• 波動方程式IBVPにおける境界減衰係数を境界測定から回復する逆問題に対して、対数的安定性を確立すること。
• 従来のポテンシャルおよび減衰係数同定に関する手法を、境界減衰係数のみを対象とする場合に拡張すること。
• 正方形領域という非滑らかな領域を扱う挑戦に直面し、リッチェル型恒等式を用いて適切な観測可能性不等式を証明すること。
• 係数のホルダー連続性および正値制約の下で、測定誤差の関数として再構成誤差を定量的に評価する安定性推定を提供すること。

提案手法

• 非滑らかな正方形領域および混合境界条件を想定した波動方程式の解のスペクトル分解に基づく解析。
• コーナー特異性を扱うためにリッチェル型恒等式を用い、既存の結果を適応することで、正方形領域上での波動方程式に対する観測可能性不等式を確立した。
• 初期データからノイマン境界測定を生成する初期から境界写像 $ \Lambda_a $ を用いて、逆問題を逆源問題に再定式化した。
• 観測可能性不等式と解のスペクトル分解を組み合わせることで、測定誤差の関数として係数のバインドを導出し、安定性推定を導いた。
• 重要なステップとして、係数 $ a $ の $ L^2 $-ノルムを演算子ノルム $ \|\Lambda_a - \Lambda_0\| $ を用いて推定し、測定誤差に対して対数的依存性を導いた。
• 証明は、ホルダー連続関数による乗算作用素が $ H^{1/2} $ 上で有界であることを示す分数階ソボレフノルム推定に基づく。

実験結果

リサーチクエスチョン

• RQ1 境界測定からの境界減衰係数の同定という逆問題に対して、対数的安定性を確立できるか？
• RQ2 正方形領域の非滑らかさが、観測可能性および逆問題の安定性にどのように影響するか？
• RQ3 この逆問題において、再構成誤差が測定誤差にどのように依存するかが最適であるか？
• RQ4 ポテンシャルおよび減衰係数同定に用いられた手法を、境界減衰係数のみを対象とする場合に適応可能か？
• RQ5 安定性を保証するためには、境界係数にどのような正則性および正値制約が必要か？

主な発見

• 本稿は、境界測定からの境界減衰係数 $ a \in \mathcal{A}_{m,M} $ の回復という逆問題に対して、対数的安定性推定を確立した。
• 任意の $ \tau > \tau_0 $ に対して、係数 $ a $ の $ L^2 $-ノルムは次の不等式を満たす：\|a\|_{L^2((0,1))^2} \leq cM\left( \left|\ln(m^{-1}\|\Lambda_a - \Lambda_0\|)\right|^{-1/2} + m^{-1}\|\Lambda_a - \Lambda_0\| \right)，ここで $ c > 0 $ は $ \tau $ のみに依存する定数である。
• 安定性推定は対数的型であり、測定誤差が小さくなるにつれて再構成誤差が緩やかに減少することを示しており、これは重度に不適切な逆問題において一般的な特徴である。
• この結果は、$ a \in C^\alpha([0,1])^2 $ かつ $ \alpha > 1/2 $、$ a_j \geq 0 $、$ m \leq a_j \leq M $ という仮定の下で成り立つ。これにより、係数がゼロから離れており、十分な正則性を持つことが保証される。
• 証明は波動解のスペクトル分解と、正方形領域に対してリッチェル型恒等式を用いて導かれた観測可能性不等式に依存している。
• 著者らは、ホルダー連続関数による乗算が $ H^{1/2}((0,1)) $ 上で有界作用素を定義することを確立した。これは、作用素枠組みの適切な定式化に不可欠である。