[論文レビュー] Uniqueness for the inverse boundary value problem with singular potentials in 2D

Emilia Blåsten, Leo Tzou+1 more|arXiv (Cornell University)|Apr 21, 2017

Numerical methods in inverse problems被引用数 3

ひとこと要約

本稿は、$p > 4/3$ における $L^p(\Omega)$ に属する特異ポテンシャルを有する2次元シュレーディンガー方程式の逆境界値問題におけるグローバル一意性を確立する。位相 $\Phi(z) = (z - z_0)^2$ を持つ複素幾何学的オプティクス解を構成し、共役されたコーシー作用素に対する推敲された推定を用いることで、著者らはディリクレ・トゥ・ノイマン写像がポテンシャルを一意に特定することを証明し、以前の $p > 2$ の結果から臨界的範囲 $p > 4/3$ へと拡張する。主な貢献は、DN写像に基づく新たな $L^p$-正則性の向上であり、これは停留化法を用いてポテンシャル差を同定可能にする。

ABSTRACT

In this paper we consider the inverse boundary value problem for the Schrödinger equation with potential in $L^p$ class, $p>4/3$. We show that the potential is uniquely determined by the boundary measurements.

研究の動機と目的

• 2次元におけるシュレーディンガー方程式の逆境界値問題について、$p > 4/3$ における $L^p(\Omega)$ に属する特異ポテンシャルに対してグローバル一意性を確立すること。
• 以前に知られていた $p > 2$ および $p > 4/3$ の場合に比べ、一意性が成立する $p$ の範囲を拡張し、低可積分性ポテンシャルを有する逆問題理論における空白を埋めること。
• $L^p$ ポテンシャル ($p > 1$) に対して、複素幾何学的オプティクス解を構成可能な、共役されたコーシー作用素に対する新たな推定を確立すること。
• ディリクレ・トゥ・ノイマン写像の知識がポテンシャル差の可積分性を向上させることを示し、$\Lambda_{q_1} = \Lambda_{q_2}$ かつ $3/4 < p < 2$ のとき $q_1 - q_2 \in L^2(\Omega)$ が成り立つことを保証すること。
• アレサンドリーニの恒等式における主要項を支配可能にするために、$L^p$ ポテンシャルの文脈で停留化法の厳密な枠組みを提供する。そのために、アレサンドリーニの恒等式における精密化された推定を導出すること。

提案手法

• 位相 $\Phi(z) = (z - z_0)^2$ を持つ形の複素幾何学的オプティクス解 $e^{i\tau\Phi}f_1$ および $e^{i\tau\overline{\Phi}}f_2$ を、$p > 1$ における $L^p$ ポテンシャルに対して構成すること。
• Neumann級数展開を用いて $f_j(z) = \sum_{m=0}^\infty F_{j,m}(z)$ を定義し、ここで $F_{j,m}$ はポテンシャルおよび共役されたコーシー作用素を含む反復的に定義された作用素である。
• 大きな $\tau$ に対して一様な $L^\infty$ 界 $\|F_{j,m}\|_\infty \leq (C\tau^{-\alpha})^m$ を確立し、$W^{1,2}(X)$ 内での級数の収束を保証すること。
• 関連するベルトラミ型方程式を解くために、共役されたコーシー作用素 $\overline{\partial}^{-1}$ および $\partial^{-1}$ を適用し、これらの作用素が $L^p$ から $W^{1,p}$ への有界性を活用すること。
• $\Lambda_{q_1} = \Lambda_{q_2}$ ならば $q_1 - q_2 \in L^2(\Omega)$ であるという事実を用いて、可積分性を向上させ、アレサンドリーニの恒等式における主要項を支配すること。
• CGO解を代入した結果得られる積分恒等式に対して停留化法を適用し、精密化された推定を用いてポテンシャル差を分離すること。

実験結果

リサーチクエスチョン

• RQ1 2次元において、$p > 4/3$ における $L^p$ ポテンシャルを有するシュレーディンガー方程式の逆境界値問題のグローバル一意性は確立可能か？
• RQ2 位相 $\Phi(z) = (z - z_0)^2$ を持つ複素幾何学的オプティクス法は、$p > 1$ における $L^p(\Omega)$ ポテンシャルへと拡張可能か？
• RQ3 共役されたコーシー作用素が $\tau$ に関して十分な減衰を示すように推定可能か？これにより、$p > 4/3$ における $L^p$ ポテンシャルに対してCGO解の級数が収束することが保証されるか？
• RQ4 ディリクレ・トゥ・ノイマン写像の知識がポテンシャル差の可積分性をどのように向上させるか？この向上は、アレサンドリーニの恒等式における主要項を支配するために利用可能か？
• RQ5 既知の $p > 2$ の範囲とスケール不変な $L^2$-臨界ケース $p = 4/3$ の間のギャップを、2次元逆問題において埋めることは可能か？

主な発見

• 2次元において、$p > 4/3$ における $L^p(\Omega)$ ポテンシャルに対して、ディリクレ・トゥ・ノイマン写像がポテンシャル $q$ を一意に特定することが保証され、以前の $p > 2$ の結果を拡張する。
• 位相 $\Phi(z) = (z - z_0)^2$ を持つ複素幾何学的オプティクス解は、すべての $q \in L^p(\Omega)$ ($p > 1$) に対して存在し、$f_j(z) = \sum_{m=0}^\infty F_{j,m}(z)$ の級数は、大きな $\tau$ に対して $z \in X$ で一様収束する。
• 著者らは、共役されたコーシー作用素に対する新たな推定を確立し、$\|F_{j,m}\|_\infty \leq (C\tau^{-\alpha})^m$（$\alpha > 0$）を満たすことを示し、指数的減衰および級数の収束を保証する。
• $\Lambda_{q_1} = \Lambda_{q_2}$ ならば $3/4 < p < 2$ のとき $q_1 - q_2 \in L^2(\Omega)$ であることが示され、これはアレサンドリーニの恒等式における主要項を支配するために不可欠である。
• 停留化法により、積分恒等式におけるポテンシャル差が明確に分離され、提示された条件下で $q_1 = q_2$ が証明される。
• この結果は、$q \in L^p_{\text{loc}}$ で $p > 4/3$ のとき $u \in H^{2,2}_{\text{loc}}$ に対する一意的拡張性と整合的であり、問題の自然な閾値を示唆している。