[論文レビュー] Recovering a Potential from Cauchy Data via Complex Geometrical Optics Solutions

Hoài-Minh Nguyên, Daniel Spirn|arXiv (Cornell University)|Mar 10, 2014

Numerical methods in inverse problems参考文献 21被引用数 7

ひとこと要約

この論文は、標準的ソボレフ空間における複素幾何学的オプティクス（CGO）解を用いて、コーシーデータからポテンシャル $ q $ を回復する際の新しい一意性結果を確立する。高階の関数空間を用いずに、$ W^{2,d/2} $ 現象における一意性の新しい証明を提供するとともに、3次元において $ 3/2 < s < 2 $ の $ W^{s,3/s} $ 传导度についても新たな結果を提示する。これは、精密化された推定とソボレフ不等式を用いて、先行研究を拡張したものである。

ABSTRACT

This paper is devoted to the problem of recovering a potential $q$ in a domain in $\mathbb{R}^d$ for $d \geq 3$ from the Dirichlet to Neumann map. This problem is related to the inverse Calderón conductivity problem via the Liouville transformation. It is known from the work of Haberman and Tataru [11] and Nachman and Lavine [17] that uniqueness holds for the class of conductivities of one derivative and the class of $W^{2,d/2}$ conductivities respectively. The proof of Haberman and Tataru is based on the construction of complex geometrical optics (CGO) solutions initially suggested by Sylvester and Uhlmann [22], in functional spaces introduced by Bourgain [2]. The proof of the second result, in the work of Ferreira et al. [10], is based on the construction of CGO solutions via Carleman estimates. The main goal of the paper is to understand whether or not an approach which is based on the construction of CGO solutions in the spirit of Sylvester and Uhlmann and involves only standard Sobolev spaces can be used to obtain these results. In fact, we are able to obtain a new proof of uniqueness for the Calderón problem for 1) a slightly different class as the one in [11], and for 2) the class of $W^{2,d/2}$ conductivities. The proof of statement 1) is based on a new estimate for CGO solutions and some averaging estimates in the same spirit as in [11]. The proof of statement 2) is on the one hand based on a generalized Sobolev inequality due to Kenig et al. [14] and on another hand, only involves standard estimates for CGO solutions [22]. We are also able to prove the uniqueness of a potential for 3) the class of $W^{s, 3/s}$ ($\supsetneqq W^{2, 3/2}$) conductivities with $3/2 &lt; s &lt; 2$ in three dimensions. As far as we know, statement 3) is new.

研究の動機と目的

• 標準的ソボレフ空間における古典的複素幾何学的オプティクス（CGO）法が、コーシー・データからポテンシャル $ q $ を回復できるかどうかを特定すること。
• 重み付き空間やカールマン推定に依存せず、標準的CGO推定のみを用いて、$ W^{2,d/2} $ 传导度クラスにおけるカルデロン問題の不変性を示す新しい証明を提供すること。
• 3次元において、$ 3/2 < s < 2 $ の $ W^{s,3/s} $ 传导度クラスへの一意性の拡張を図ること。
• リウヴィル変換を介して、逆ポテンシャル問題と逆カルデロン伝導度問題との間の関係を確立すること。
• 重み付き空間やカールマン推定に依存するのを避ける代わりに、平均化とソボレフ型不等式を用いることで、既存の結果を改善すること。

提案手法

• スシュリーディンガー方程式 $ \Delta v - qv = 0 $ に対するCGO解を、シルベストルとウルマンの方法を $ L^p $ 空間およびソボレフ空間に適応して構築する。
• ハバーマンとタタールのアイデアにインspiredされた平均化技術を用いて、低正則性ポテンシャルを扱うためのCGO解に対する新しい推定を採用する。
• ケニッグ、ポンス、ヴァルガスによる一般化されたソボレフ不等式を用いて、周波数空間におけるポテンシャルの $ L^2 $ ノルムを制御する。
• リウヴィル変換を用いて、ポテンシャル回復問題を伝導度に関する逆カルデロン問題に関連付ける。
• ホルダーの不等式と畳み込み推定を用いて、ポテンシャルのフーリエ変換の $ L^2 $ ノルムを制御する。
• 調和関数と爆発列を用いた背理法による境界決定法を用いて、境界上での伝導度の点ごとの等価性 $ \gamma_1 = \gamma_2 $ 几乎 everywhere on $ \partial\Omega $ を確立する。

実験結果

リサーチクエスチョン

• RQ1 標準的ソボレフ空間における古典的CGO法を用いて、$ q \in L^{d/2} $ であるポテンシャルをコーシー・データから回復できるか？
• RQ2 重み付き空間やカールマン推定に依存せずに、$ W^{2,d/2} $ クラスにおけるカルデロン問題の不変性を証明することは可能か？
• RQ3 CGO解を用いた $ L^2 $-ベースの推定において、ポテンシャル回復の一意性が成立する最良の正則性クラスは何か？
• RQ4 CGOアプローチを、3次元において $ 3/2 < s < 2 $ の $ W^{s,3/s} $ 伝導度に拡張できるか？
• RQ5 平均化とソボレフ不等式の使用が、逆ポテンシャル問題における一意性の正則性閾値をどのように改善するか？

主な発見

• この論文は、標準的ソボレフ空間推定とCGO解のみを用いて、$ W^{2,d/2} $ 伝導度クラスにおけるカルデオン問題の不変性を示す新しい証明を提供する。
• 3次元において、$ 3/2 < s < 2 $ の $ W^{s,3/s} $ 伝導度クラスに対する新しい一意性結果を確立する。これは、このクラスにおける最初の結果である。
• $ W^{2,d/2} $ の場合の証明は、一般化されたソボレフ不等式と標準的CGO推定に依存しており、重み付き空間やカールマン推定を必要としない。
• ハバーマンとタタールの研究の精神に則った平均化アプローチを可能にする、CGO解に対する新しい推定が導出された。
• 境界決定結果は、調和関数と爆発列を用いた背理法により証明され、$ \partial\Omega $ 上で $ \gamma_1 = \gamma_2 $ 几乎 everywhere であることが示された。
• 著者らは、ラヴィンとナッハマンの $ L^{d/2} $ 結果が、ハバーマンとタタールの $ W^{1,\infty} $ 結果によって包含されないことを確認し、逆も同様であることを示した。これにより、本研究の独自性が強調された。