[論文レビュー] The fractional Calder\'on problem

Mikko Salo|arXiv (Cornell University)|Nov 16, 2017

Numerical methods in inverse problems参考文献 27被引用数 5

ひとこと要約

本稿では、分数級カーラーの問題の一意性と安定性を確立し、有界な領域 $ \Omega \subset \mathbb{R}^n $ 内の未知のポテンシャル $ q $ が、分数級シュレーディンガー方程式 $ ((-\Delta)^s + q)u = 0 $ の解の外部測定値から、外部ディリクレ・トゥ・ノイマン写像を用いて一意に再構成可能であることを証明する。主な結果は、カファレッリ＝シルベスターの拡張とキャーレマン推定を用いた非局所的特徴化と近似性の性質に依存している。

ABSTRACT

We review recent progress in the fractional Calder\\'on problem, where one tries to determine an unknown coefficient in a fractional Schr\\"odinger equation from exterior measurements of solutions. This equation enjoys remarkable uniqueness and approximation properties, which turn out to yield strong results in related inverse problems.

研究の動機と目的

• 分数級シュレーディンガー方程式の外部測定値からの逆問題の一意性を確立すること。
• 分数級ラプラシアンが新たな解析的特徴を導入する $ 0 < s < 1 $ の非局所的設定に、古典的カーラーの問題を拡張すること。
• 外部領域の任意の、おそらく非連結な部分集合における測定値が、$ q \in L^\infty(\Omega) $ を一意に決定できることを証明すること。
• ポテンシャルの事前境界のもとで、逆問題の安定性を定量化し、対数的安定性推定を確立すること。
• 構成的再構成法を開発し、非等方的および非線形変種の分数級方程式への結果の拡張を図ること。

提案手法

• 非局所的分数級シュレーディンガー方程式を $ \mathbb{R}^{n+1}_+ $ 内の退化した局所的楕円型問題に変換するため、カファレッリ＝シルベスターの拡張を用いる。
• 境界項を含むキャーレマン推定を適用し、拡張された調和拡張の定量的特徴化を導出する。
• ボールの鎖による小刻みの伝播と三つの球の不等式を用い、外部測定値から内部領域への小刻みの伝播を実現する。
• 局所化されたトレース不等式およびホルダーとソボレフ埋め込みを用い、内部 $ L^2 $-ノルムで境界ノルムを制御する。
• 双対性と関数解析的手法を用い、外部制御を用いた $ L^2(\Omega) $ 内の解の定量的近似定理を導出する。
• 退化方程式に関連する重み付き $ A_2 $-ソボレフ空間の構造を活用し、正則性と安定性を確立する。

実験結果

リサーチクエスチョン

• RQ1 外部領域における分数級シュレーディンガー方程式の解の測定値から、$ q \in L^\infty(\Omega) $ が一意に特定可能か？
• RQ2 分数級カーラーの問題では、外部領域の任意の、おそらく非連結な部分集合における測定値でも一意性が保たれるか？
• RQ3 逆問題の安定性は何か？ また、ポテンシャルに事前境界がある場合、対数的安定性推定を確立できるか？
• RQ4 解の近似性質は定量的に評価可能か？ そして、制御可能性や再構成とどのように関連するか？
• RQ5 結果は非等方的作用素および非線形方程式へ拡張可能か？

主な発見

• 分数級カーラーの問題において一意性が成立：任意のコンパクト台付き外部データ $ f \in C_c^\infty(W_1) $ に対して、外部ディリクレ・トゥ・ノイマン写像が可測集合 $ W_2 \subset \Omega_e $ 上で一致するならば、$ \Omega $ 内で $ q_1 = q_2 $ である。
• 一意性結果はすべての次元 $ n \geq 1 $ で成立する。これは、古典的カーラーの問題とは異なり、$ n=2 $ と $ n \geq 3 $ で別々に取り扱う必要がないことを意味する。
• 逆問題は対数的安定性を有する：事前境界 $ \|q_j\|_{W^{\delta, n/(2s)}} \leq M $ の下で、差 $ \|q_1 - q_2\|_{L^{n/(2s)}(\Omega)} $ は、DN写像の差の対数的連続性関数によって上界で抑えられる。
• 安定性推定は最適であることが示され、[RS17d] で確認されたように、ハダマールの意味で問題が極めて不安定であることが裏付けられる。
• 定量的近似定理が確立された：任意の $ v \in L^2(\Omega) $ と $ \varepsilon > 0 $ に対して、解 $ u $ が $ \|u|_\Omega - v\|_{L^2(\Omega)} \leq \varepsilon $ を満たすような制御 $ f \in H^s(\Omega_e) $ が存在し、制御の大きさがデータで推定可能である。
• 結果は $ L^{n/(2s)}(\Omega) $ や $ W^{-s, n/s}(\Omega) $ の低正則性ポテンシャル、滑らかで一様楕円型な係数 $ A $ を持つ非等方的作用素 $ (-\mathrm{div}(A\nabla \cdot))^{s} + q $、および非線形方程式 $ (-\Delta)^s u + q(x,u) = 0 $ へも拡張可能である。