[論文レビュー] Uniqueness of the solution to inverse scattering problem with backscattering data

А. Г. Рамм|arXiv (Cornell University)|Jul 17, 2010

Numerical methods in inverse problems参考文献 9被引用数 8

ひとこと要約

この論文は、3次元逆散乱問題におけるバックスキャッタリングデータを用いた解の一意性を確立し、すべての $ \beta \in S^2 $ および $ k > 0 $ に対して散乱振幅 $ A(-\beta,\beta,k) $ が、実数値で компactsupport であり、十分に滑らかなポテンシャル $ q(x) $ を一意に決定することを証明している。証明は複素関数論、積分方程式の手法、および複素平面上の振動積分の漸近的推定に依拠しており、過剰なデータ集合への一意性結果の拡張がなされている。

ABSTRACT

Let $q(x)$ be real-valued compactly supported sufficiently smooth function. It is proved that the scattering data $A(-β,β,k)$ $\forall β\in S^2$, $\forall k>0,$ determine $q$ uniquely.

研究の動機と目的

• 3次元において、過剰なデータが与えられないバックスキャッタリングデータを用いた逆散乱問題の解の一意性を確立すること。
• すべての方向 $ \beta \in S^2 $ およびすべてのエネルギー $ k > 0 $ に対して測定された散乱振幅 $ A(-\beta,\beta,k) $ が、ポテンシャル $ q(x) $ を一意に決定することを証明すること。
• データと未知数の両方が3つの変数に依存する（過剰なデータではない）状況において、既存の一意性定理を拡張すること。
• 量子力学や医用画像診断に関連する限られたデータを用いた逆散乱問題の厳密な数学的基盤を提供すること。

提案手法

• コンパクトに台を持つポテンシャル $ q(x) \in H_0^\ell(B_a) $、$ \ell > 3 $ を用いたシュレーディンガー方程式の散乱積分方程式の定式化を用いる。
• 散乱パrameter $ k $ を複素化し、$ \kappa + i\eta $ に拡張し、$ \eta = a^{-1}\ln\kappa + O(1) $ とすることで、漸近的挙動を分析する。
• フーリエ変換技術とグリーン関数 $ G(x,y,k) $ を含む振動積分の推定を用いる。
• $ T $ をバナッハ型のボルテラ作用素とする、積分方程式 $ \epsilon = -\int G q v \, dy - T\epsilon $ の反復的解法を用いる。
• 部分積分と停留位相型推定を用いて、$ \|T^2\| = O(1/\sqrt{\gamma}) $、$ \gamma = \kappa^2 + \eta^2 \to \infty $ を示し、ネウマン級数の収束を保証する。
• 再帰関係 $ A(\beta,\alpha,k) = A(-\alpha,-\beta,k) $ を用いて、バックスキャッタリングデータと散乱振幅を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 全方向や全エネルギー範囲が得られない状況において、バックスキャッタリングデータ $ A(-\beta,\beta,k) $ のみでポテンシャル $ q(x) $ を一意に再構成可能か？
• RQ2 データと未知数の両方が3つの変数に依存する3次元におけるバックスキャッタリングデータを用いた逆散乱問題は、過剰なデータではないか？
• RQ3 複素化されたエネルギー $ k = \kappa + i\eta $ の使用が、散乱積分における十分な減衰をもたらし、一意性の証明を可能にするか？
• RQ4 散乱振幅の解析接続と漸近的挙動を用いて、$ q(x) $ を一意に再構成可能か？

主な発見

• すべての $ \beta \in S^2 $ および $ k > 0 $ に対して散乱振幅 $ A(-\beta,\beta,k) $ が、実数値でコンパクトに台を持つ、十分に滑らかなポテンシャル $ q(x) \in H_0^\ell(B_a) $、$ \ell > 3 $ を一意に決定する。
• データが $ k \in (k_0,k_1) $ の小さな区間および $ S_1^2 \subset S^2 $ の小さな立体角に制限されていても、一意性結果は成立する。
• 反復作用素 $ T^2 $ のノルムは $ \|T^2\| = O(1/\sqrt{\gamma}) $ と減少し、$ \gamma = \kappa^2 + \eta^2 \to \infty $ となるため、ネウマン級数の収束が保証される。
• 部分積分と位相関数の減衰に依拠した漸近的解析により、重要な推定 $ \mathcal{J} = o(1/\kappa) $ が確立される。
• 積分方程式における自由項が $ I = o(1/\sqrt{\kappa^2 + \eta^2}) $ を満たし、$ \lim_{\kappa \to \infty} I = 0 $ となることが証明され、一意性に必要な減衰が確認される。
• 本結果により、長年の未解決であった逆散乱理論におけるギャップが埋められ、3次元で過剰なデータがない場合の解の一意性が証明された。