[論文レビュー] Generalized backscattering and the Lax-Phillips transform

Richard Melrose, Günther Uhlmann|ArXiv.org|Dec 27, 2007

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

ひとこと要約

本稿では、$ \mathrm{Id} - S $ が可逆であるような直交変換 $ S $ を用いて定義される一般化されたバックスキャッタリング変換が、奇数次元における-compactly supportedなポテンシャルのソボレフ空間上に、整関数的で、グローバルにフレドホルム的で、インデックスがゼロの写像を定めることが確立されている。主な結果は、この写像が一般のポテンシャルの集合の近傍で局所同型写像であることであり、逆スキャッタリング問題における構造的安定性と一般の一意性を示唆している。

ABSTRACT

Using the free-space translation representation (modified Radon transform) of Lax and Phillips in odd dimensions, it is shown that the generalized backscattering transform (so outgoing angle $ω=Sθ$ in terms of the incoming angle with $S$ orthogonal and $\Id-S$ invertible) may be further restricted to give an entire, globally Fredholm, operator on appropriate Sobolev spaces of potentials with compact support. As a corollary we show that the modified backscattering map is a local isomorphism near elements of a generic set of potentials.

研究の動機と目的

• 直交変換 $ S $ で $ \mathrm{Id} - S $ が可逆であるような条件を満たすものとして、Lax-Phillipsの時間に依存するスキャッタリング枠組みを一般化されたバックスキャッタリング設定へ拡張すること。
• 奇数次元ユークリッド空間における一般化されたバックスキャッタリング変換の正則性およびグローバルな性質を分析すること。
• 修正されたバックスキャッタリング写像が、$ \dot{H}^{(n+1)/2}(B(\rho)) $ 上で、グローバルにフレドホルム的で、整関数的かつインデックスがゼロの非線形作用素であることを確立すること。
• 写像が一般のポテンシャルの近傍で局所同型写像であることを証明し、逆バックスキャッタリング問題における一般の一意性を示すこと。
• 修正されたラドン変換とソボレフ空間の推定値を用いて、逆スキャッタリングのための厳密な解析的枠組みを提供すること。

提案手法

• $ n $ 次元の波動方程式の問題を、ポテンシャルに依存する低次の項を伴う1次元問題に還元するために、Lax-Phillipsの自由空間移動表現（修正されたラドン変換）を用いる。
• 散乱振幅に逆フーリエ＝ラプラス変換を適用し、散乱核 $ \kappa_V(s, \omega, \theta) $ を得た後、$ \omega = S\theta $ に制限する。
• 線形作用素 $ L_S $ を導入し、$ V = 0 $ における線形化の一般化逆作用素として定義し、修正されたバックスキャッタリング写像 $ L_S(\kappa_V(s, S\theta, \theta)) $ を定義する。
• ソボレフ空間の推定値とラドン変換のプランシュレルの定理を用いて、散乱核およびその微分の正則性を制御する。
• フーリエ解析と畳み込みの有界性を用いた反復推定により、ボーン級数の $ j $ 階微項が $ \|\kappa_j\|_{H^{5/2}} \leq C^{1+j} \|V\|_{H^{(n+1)/2}} $ を満たすことを示し、収束性と連続性を保証する。
• ソボレフ空間における陰関数定理を適用し、バックスキャッタリング写像の微分が同型写像のコンパクトな摂動として扱えることを分析し、一般のポテンシャルの近傍で局所同型写像であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 直交変換 $ S $ で $ \mathrm{Id} - S $ が可逆であるような一般化されたバックスキャッタリング変換が、コンパクトに台を持つポテンシャルのソボレフ空間上にグローバルにフレドホルム的写像として拡張可能か。
• RQ2 修正されたバックスキャッタリング写像が、$ \dot{H}^{(n+1)/2}(B(\rho)) $ 上で整関数的で、インデックスがゼロで、グローバルにフレドホルム的であるか。
• RQ3 バックスキャッタリング写像が一般のポテンシャルの集合の近傍で局所同型写像を示すか。これにより、構造的安定性と一般の一意性が保証されるか。
• RQ4 ソボレフ正則性推定値と修正されたラドン変換が、非線形散乱写像をどのように制御するか。
• RQ5 バックスキャッタリング写像の線形化およびその可逆性が、局所同型写像の性質を確立するために果たす役割は何か。

主な発見

• 一般化されたバックスキャッタリング写像 $ V \mapsto L_S(\kappa_V(s, S\theta, \theta)) $ は、$ \dot{H}^{(n+1)/2}(B(\rho)) $ 上で整関数的で、グローバルにフレドホルム的で、インデックスがゼロの写像である。これにより、コンパクト摂動の下での適切な定式化と可逆性が保証される。
• 写像は一般のポテンシャルの集合の近傍で局所同型写像であり、例外的な集合 $ G(\rho) $ は少なくとも2次元の余次元を持つ。これは、逆問題における一般の一意性を示唆している。
• 任意の $ V $ におけるバックスキャッタリング写像の微分は、単位作用素のコンパクトな摂動である。これにより、フレドホルム性および小刻みな摂動に対する安定性が保証される。
• ソボレフ推定により、ボーン級数の $ j $ 階微項が $ \|\kappa_j\|_{H^{5/2}} \leq C^{1+j} \|V\|_{H^{(n+1)/2}} $ を満たすことが示され、必要な位相における解析的性および収束性が確認される。
• 写像の $ V = 0 $ における線形化は、その閉じた像上への同型写像であり、その一般化逆作用素 $ L_S $ は $ \dot{H}^2 $ から $ \dot{H}^{(n+1)/2} $ への有界作用素である。
• 結果はすべての奇数次元 $ n \geq 3 $ に対して成り立ち、$ V $ のソボレフ指数を増加させることでより高い正則性に拡張可能であり、これにより写像内の微分の正則性が向上する。