[論文レビュー] Global uniqueness from partial Cauchy data in two dimensions

Oleg Imanuvilov, Günther Uhlmann+1 more|ArXiv.org|Oct 13, 2008

Numerical methods in inverse problems参考文献 29被引用数 20

ひとこと要約

本稿は、2次元において境界の任意の開部分集合で測定された部分的初期値データから、シュレーディンガー方程式における複素数値ポテンシャルのグローバル一意性を確立する。特異的重み関数を用いたカルレマン推定式を用いて、複素幾何学的光線解（CGO解）を構築し、任意の空でない境界の開部分集合における初期値データの一致が、ポテンシャルの同一性を意味することを証明する。これはカルレマンの問題を2次元における部分的データに拡張するものである。

ABSTRACT

We prove for a two dimensional bounded domain that the Cauchy data for the Schroedinger equation measured on an arbitrary open subset of the boundary determines uniquely the potential. This implies, for the conductivity equation, that if we measure the current fluxes at the boundary on an arbitrary open subset of the boundary produced by voltage potentials supported in the same subset, we can determine uniquely the conductivity. We use Carleman estimates with degenerate weight functions to construct appropriate complex geometrical optics solutions to prove the results.

研究の動機と目的

• 2次元において、境界の任意の開部分集合で測定された部分的初期値データから、シュレーディンガー方程式における複素数値ポテンシャルを回復する逆問題のグローバル一意性を確立すること。
• 測定を境界の全領域ではなく部分集合に制限した場合に、カルレマンの逆導電率問題を拡張すること。
• 境界の部分集合におけるディリクレ・トゥ・ノイマン写像が、障害物や穴が存在する場合を含めて、導電率またはポテンシャルを一意に特定することを証明すること。
• 部分的データ問題に適した複素幾何学的光線解を構築するために、特異的重み関数を用いたカルレマン推定式を開発・適用すること。

提案手法

• 著者たちは、特異的重み関数を用いたカルレマン推定式を用いて、シュレーディンガー方程式に対する複素幾何学的光線（CGO）解を構築する。
• 開部分集合 $\widetilde{\Gamma} \subset \partial\Omega$ における初期値データの集合を定義し、補集合 $\Gamma_0$ ではディリクレデータが消えるものとする。
• 2つのポテンシャル $q_1$ と $q_2$ に対して、部分的初期値データ集合が等しいと仮定し、解の差に関する方程式系を導出し、部分積分およびエネルギー推定を適用する。
• 鍵となるステップは、重み関数 $\varphi$ と位相 $\Phi$ を選ぶことで、関連するベクトル場 $\psi = \nabla\Phi$ がコーシー・リーマン方程式を満たし、境界付近での成長が制御可能になるようにすることである。
• カルレマン推定式における境界項の構造を用いて、解の差の $L^2$-ノルムを分離し、パrameter $\tau \to \infty$ の極限でそのノルムが消えることを示す。
• 境界項 $\partial_{\vec{\tau}}(AB - BA)$ が $\Gamma_0$ で正であるように重み関数を適切に選ぶことで、境界積分を制御し、解の差が消えることを結論づけ、$q_1 = q_2$ を得る。

実験結果

リサーチクエスチョン

• RQ1 2次元において、境界の任意の開部分集合で測定された部分的初期値データから、シュレーディンガー方程式のポテンシャルが一意に特定可能か？
• RQ2 境界の部分集合におけるディリクレ・トゥ・ノイマン写像は、導電率方程式において導電率を一意に特定可能か？
• RQ3 測定が境界の真の部分集合に制限される場合に、2次元におけるカルレマン問題のグローバル一意性を確立できるか？
• RQ4 カルレマン推定式における特異的重み関数は、部分的データ問題のCGO解の構築において果たす役割は何か？
• RQ5 部分的データの存在下で、カルレマン推定式における境界積分項をどのように制御すれば、一意性を保証できるか？

主な発見

• 定理1.1は、任意の開部分集合 $\widetilde{\Gamma} \subset \partial\Omega$ における部分的初期値データ集合 $\mathcal{C}_{q_1}$ と $\mathcal{C}_{q_2}$ が等しいならば、$\Omega$ 内でポテンシャル $q_1$ と $q_2$ が同一であることを示している。
• 系1.1は、2次元において $C^{3+\alpha}$ スムーズな導電率に対して、部分集合 $\widetilde{\Gamma}$ におけるディリクレ・トゥ・ノイマン写像が導電率 $\gamma$ を一意に特定できることを示している。
• 系1.2は、領域に障害物 $D$ が存在する場合にも、開部分集合 $V \subset \partial\Omega$ における部分的初期値データがポテンシャル $q$ を一意に特定できることを示している。
• 系1.3は、$C^{3+\alpha}$ の正則性のもとで、障害物が存在する場合でも、部分集合 $V$ におけるディリクレ・トゥ・ノイマン写像が導電率 $\gamma$ を一意に特定できることを確認している。
• 証明は、特異的重み関数を用いたカルレマン推定式によるCGO解の構築に依拠しており、主要な推定式は、部分的データ仮定のもとで消える境界積分を介して、解の差の $L^2$-ノルムを制御する。
• 境界項 $\partial_{\vec{\tau}}(AB - BA)$ は、適切な重み関数の選択により $\Gamma_0$ で正に保たれ、これが一意性の議論において不可欠である。