[論文レビュー] Reconstruction of a source domain from the Cauchy data: II. Three dimensional case

Masaru Ikehata|arXiv (Cornell University)|Jul 12, 2021

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

ひとこと要約

本稿は、固定波数におけるヘルムホルツ方程式に従う三次元逆源および障害問題に、エンクロージャー法を拡張する。複素数幾何学的オプティクス解と振動積分を用いたフレームワークを確立し、錐特異性を有する源領域の支持を再構成する。四面体型および円錐型特異性に対して、重要な複素係数の非消滅性を証明する。主な貢献は、単一のコーシー境界データから源領域の幾何構造と強度を明示的に再構成する公式を確立したことである。波数および源の正則性に関する条件下で有効である。

ABSTRACT

This paper is concerned with reconstruction issue of some typical inverse problems and consists of three parts. First a framework of the enclosure method for an inverse source problem governed by the Helmholtz equation at a fixed wave number in three dimensions is introduced. It is based on the nonvanishing of the coefficient of the leading profile of an oscillatory integral over a domain having a conical singularity. Second an explicit formula of the coefficient for a domain having a circular cone singularity and its implication under the framework are given. Third, an application under the framework to an inverse obstacle problem governed by an inhomogeneous Helmholtz equation at a fixed wave number in three dimensions is given.

研究の動機と目的

• 固定波数における三次元ヘルムホルツ方程式の逆源および障害問題を、単一のコーシー境界データのみを用いて取り扱う。
• エンクロージャー法に基づくフレームワークを構築し、未知の源領域の幾何学的および物理的情報を抽出する。
• 振動積分から生じる複素係数の非消滅性を証明する。これは再構成に不可欠である。
• 幾何的および正則性の仮定の下で、支持関数および源強度の明示的再構成公式を確立する。
• 従来の2次元結果を、特に四面体型または円錐型特異性を有する領域について三次元に拡張する。

提案手法

• 波数 $ k $ が固定された状態で、$ v \sim e^{x \cdot z} $ の形をとる複素数幾何学的オプティクス（CGO）解を用い、$ z = \tau(\omega + i\vartheta) $ かつ $ \tau \to \infty $ として、源領域を走査する。
• 振動積分 $ \int_D \rho(x) e^{\tau x \cdot (\omega + i\vartheta)} dx $ の漸近的挙動を $ \tau \to \infty $ のとき分析し、主要項の係数を特定する。
• 頂点 $ p $、底面 $ Q $ を持つ錐領域上での振動積分の主要プロファイルを特徴付ける複素定数 $ C(p,\omega)(\delta, Q, \vartheta) $ を導入する。
• 三次元における四面体型錐領域に対して、$ C(p,\omega)(\delta, Q, \vartheta) $ が非ゼロであることを証明し、データから同定可能であることを保証する。
• 指標関数およびその導関数を用いて、源領域の支持関数 $ h_D(\omega) $ および積 $ \tilde{\rho}(p(\omega)) u(p(\omega)) V(\theta) $ の明示的再構成公式を導出する。
• 非同次ヘルムホルツ方程式にこのフレームワークを適用し、境界上のコーシー境界データから源領域および源強度を再構成可能にする。

実験結果

リサーチクエスチョン

• RQ1 固定波数における三次元ヘルムホルツ方程式に従う逆源問題に対して、エンクロージャー法を2次元から三次元にどのように拡張できるか。
• RQ2 三次元における錐領域上での振動積分の漸近展開における主要係数の非消滅を保証する条件は何か。
• RQ3 円錐型特異性を有する源領域の支持関数を、単一のコーシー境界データからどのように再構成できるか。
• RQ4 指標関数およびその導関数を用いて、源強度および幾何構造の明示的公式をどのように導出できるか。
• RQ5 波数 $ k $ が源領域およびその性質の再構成可能性にどのように影響するか。

主な発見

• 四面体型錐領域に対して、振動積分の主要プロファイルを支配する複素係数 $ C(p,\omega)(\delta, Q, \vartheta) $ は、任意の三次元四面体型錐に対して非ゼロである。
• 指標関数 $ I_{\omega,\vartheta} $ を用いた極限 $ \lim_{\tau \to ∞} \frac{I'_{\omega,\vartheta_j}(\tau)}{I_{\omega,\vartheta_j}(\tau)} $ を通じて、支持関数 $ h_D(\omega) = p(\omega) \cdot \omega $ の明示的再構成公式が導出される。
• 源強度、解の値、立体角を組み合わせた積 $ \tilde{\rho}(p(\omega)) u(p(\omega)) V(\theta) $ は、式 (4.7)、(4.8)、(4.9) を用いてコーシー境界データから再構成可能である。
• 波数 $ \omega \approx n $（頂点における法線ベクトル）の条件下で、関数 $ I(\omega, \vartheta) $ が定数であることは、$ \omega = n $ であることに同値であり、法線方向の特定が可能になる。
• 小さな $ k $ の下で、源領域内における $ |u(x)| $ の明示的下界が導出され、再構成に必要な条件 $ |u(p(\omega))| > 0 $ が満たされることを保証する。
• 適切な仮定の下で、$ \tilde{\rho}(p(\omega)) $ が実数であれば、複素解 $ u(p(\omega)) $ の位相は $ 2\pi $ を法として回復可能であり、源強度の完全な再構成が可能になる。