[論文レビュー] The Calderón problem for the fractional Schrödinger equation

Tuhin Ghosh, Mikko Salo+1 more|arXiv (Cornell University)|Sep 29, 2016

Numerical methods in inverse problems被引用数 7

ひとこと要約

本稿は、外部測定から分数シュレーディンガー方程式のポテンシャルを復元する逆問題におけるグローバル一意性を確立し、任意の外部領域の開部分集合におけるディリクレ・トゥ・ノイマン写像が、次元 $n \geq 2$ において、$\Omega$ 内のポテンシャルを一意に特定することを証明している。この結果は、解の強力な近似性質を用いることで、非局所的な分数的設定における古典的カルデロン問題を拡張したものである。

ABSTRACT

We show global uniqueness in an inverse problem for the fractional Schrödinger equation: an unknown potential in a bounded domain is uniquely determined by exterior measurements of solutions. We also show global uniqueness in the partial data problem where the measurements are taken in arbitrary open, possibly disjoint, subsets of the exterior. The results apply in any dimension $\geq 2$ and are based on a strong approximation property of the fractional equation that extends earlier work. This special feature of the nonlocal equation renders the analysis of related inverse problems radically different from the traditional Calderón problem.

研究の動機と目的

• 有界なポテンシャルを伴う分数的シュレーディンガー方程式における逆問題のグローバル一意性を確立すること。
• 外部領域の任意の開集合、あるいは離散的な部分集合において測定が得られる部分データ問題を解明すること。
• 分数的ラプラシアンが根本的に異なる解析的性質を導入する非局所的分数的設定に、古典的カルデロン問題を拡張すること。
• 任意の外部領域の開集合におけるディリクレ・トゥ・ノイマン写像が、$\Omega$ 内のポテンシャル $q$ を一意に決定することを証明すること。
• 分数的方程式の非局所性が、局所的ケースに存在しない強力な近似性質を可能にすることを示すこと。

提案手法

• 有界領域 $\Omega \subset \mathbb{R}^n$（$n \geq 2$）における分数的シュレーディンガー方程式 $((-\Delta)^s + q)u = 0$ を形式化する。ここで $0 < s < 1$ である。
• 分数的ディリクレ問題に関連する双線形形式を用いて、ディリクレ・トゥ・ノイマン（DN）写像 $\Lambda_q$ を定義し、外部データ $f \in H^s(\Omega_e)$ を非局所的ノイマン境界痕跡へ写像する。
• 分数的方程式の解が有界な外部データを持つ場合に、適切な関数空間において稠密であることを示す、解の強力な近似性質を用いる。
• Fréchet空間におけるハーン＝バナッハの定理と双対性の議論を用いて、一意性問題を、ある集合上でデータが消える非局所方程式の可解性問題に還元する。
• 分数的ラプラシアンの特徴的な連続性の性質を活用し、ある開集合上で解が消えるならば、その解は恒等的にゼロであることを結論づけ、結果としてポテンシャルの一意性を導く。
• 分数的作用素によって誘導される関数空間間の同相写像を用いて、外部領域から内部領域への収束性および稠密性の結果を移行する。

実験結果

リサーチクエスチョン

• RQ1 分数的シュレーディンガー方程式におけるポテンシャル $q$ は、ディリクレ・トゥ・ノイマン写像の外部測定から一意に復元可能か？
• RQ2 外部領域の離散的な開集合で測定が得られる部分データ問題において、分数的シュレーディンガー方程式は一意な解を持つのか？
• RQ3 分数的ラプラシアンの非局所性は、古典的局所的ケースと比較して、逆問題の可解性および一意性にどのように影響を与えるか？
• RQ4 解の強力な近似性質が、非局所逆問題における一意性の証明において果たす役割は何か？
• RQ5 外部領域の任意の開集合におけるディリクレ・トゥ・ノイマン写像は、境界全体にわたらないデータや空間的に分離されたデータであっても、ポテンシャルを一意に決定可能か？

主な発見

• 任意の外部領域の開部分集合 $W_2 \subset \Omega_e$ におけるディリクレ・トゥ・ノイマン写像 $\Lambda_q$ は、分数的シュレーディンガー方程式におけるポテンシャル $q \in L^\infty(\Omega)$ を一意に特定する。
• 測定が外部領域の離散的な開集合 $W_1, W_2 \subset \Omega_e$ で得られる場合でもグローバル一意性が成立し、非局所設定における部分データ問題が解決される。
• 証明は、外部データがコンパクトにサポートを持つ解が、$\overline{\Omega}$ 上の滑らかな関数空間において稠密であるという強力な近似性質に依存している。
• 分数的ラプラシアンの非局所性が、最小限の外部データからの $q$ の復元を可能にする、特徴的な連続性の性質を提供する。
• 結果はすべての次元 $n \geq 2$ で成立し、局所的シュレーディンガー方程式の既存結果を一般化する。
• 本手法により、境界全体にわたらないデータや空間的に分離されたデータであっても、外部領域の任意の開集合におけるDN写像がポテンシャルを一意に決定することが示された。