[論文レビュー] The Calderón problem and normal forms

Mikko Salo|arXiv (Cornell University)|Feb 7, 2017

Numerical methods in inverse problems参考文献 16被引用数 4

ひとこと要約

この論文は、非等方的 Calderón 問題におけるDirichlet-to-Neumannデータが、極限Carleman重みから生じる二重特徴的葉（bicharacteristic leaves）という多様体上でのポテンシャル $ q $ の積分を、微局所解析と特異点の伝播を用いて特定することを確立している。主な貢献は、逆問題を二重特徴的葉変換の逆転に還元することであり、geodesic X-ray変換を用いた積み上げ多様体の場合の完全回復結果が証明されている。

ABSTRACT

We outline an approach to the inverse problem of Calderón that highlights the role of microlocal normal forms and propagation of singularities and extends a number of earlier results also in the anisotropic case. The main result states that from the boundary measurements it is possible to recover integrals of the unknown coefficient over certain two-dimensional manifolds called good bicharacteristic leaves. This reduces the Calderón problem into solving a linear integral geometry problem (inversion of a bicharacteristic leaf transform).

研究の動機と目的

• 微分同相不変性の問題を回避するため、低次の項の定式化により、Calderón 問題を非等方的状況に拡張すること。
• シュレーディンガー方程式の解の特異点を支配するコタングェントバンドル内の幾何的構造を特定すること。
• 境界測定値が、良い二重特徴的葉上でのポテンシャル $ q $ の積分を一意に決定することを示すこと。
• 逆問題を線形積分幾何学問題に還元すること—具体的には、二重特徴的葉変換の逆転を求める。

提案手法

• 半古典的微局所解析と極限Carleman重み（LCWs）の理論を用い、変換されたラプラシアン $ P_{\rho} = e^{\rho/h}(-h^2\Delta_g)e^{-\rho/h} $ を分析する。
• 微局所正規形を適用し、複素的関数的関数を用いて、複素的関数的関数に変換された二重特徴的葉に沿った特異点の伝播を可能にする。
• コタングェントバンドル内の葉のコンact部分集合の近傍で正則関数を用いて、良い二重特徴的葉上に集中する準モードを構成する。
• 半古典的極限 $ h \to 0 $ における波フロント集合と漸近解析を用い、境界測定値と葉の空間的射影上での積分を関連付ける。
• 曲線を構成することで、積み上げ多様体上でのgeodesic X-ray変換の可逆性を示し、Calderón 問題をgeodesic X-ray変換の可逆性に還元する。
• すべての最大geodesic上での積分が消えることから、ポテンシャルがほとんど everywhere でゼロであることが導かれ、積み上げ多様体の場合の一意性が証明される。

実験結果

リサーチクエスチョン

• RQ1 非等方的 Calderón 問題における境界測定値が、ポテンシャル $ q $ を一意に特定できるか。その情報はどのような幾何的構造に符号化されているか。
• RQ2 二重特徴的葉—コタングェントバンドル内の2次元多様体—は、シュレーディンガー作用素における特異点の伝播にどのような役割を果たすか。
• RQ3 特定の二重特徴的葉上に集中する準モードを構成するための条件は何か。これにより、$ q $ の葉上での積分の回復が可能になる。
• RQ4 二重特徴的葉変換は可逆か。その可逆性は、Calderón 問題における一意性を示唆するか。
• RQ5 逆問題は線形積分幾何学問題に還元可能か。この還元を保証する幾何的仮定は何か。

主な発見

• Dirichlet-to-Neumannデータ $ C_{g,q} $ は、コタングェントバンドル内すべての良い二重特徴的葉上での $ q $ の積分を一意に特定する。
• Calderón 問題は、二重特徴的葉変換の逆転に還元され、これは線形積分幾何学問題である。
• 積み上げ多様体 $ M_1 \times M_2 $ の場合、$ q $ のgeodesic X-ray変換はすべての最大geodesic上で消えるため、$ q \equiv 0 $ almost everywhere であることが示される。
• 積み上げ多様体上でのX-ray変換の可逆性は、$ q $ の引き戻しの2次元Radon変換が恒等的にゼロであることから確立される。
• 二重特徴的葉のコンパクト部分集合上に波フロント集合を有する準モードの構成により、解の微局所的構造が確認され、積分の回復が可能になる。
• この結果は、二重特徴的葉にトポロジカルかつ非捕獲的条件が成り立つ場合に成立し、適切な準モードの存在を保証する。