[論文レビュー] On the linearized local Calderon problem

David Dos Santos Ferreira, Carlos E. Kenig+2 more|ArXiv.org|May 5, 2009

Numerical methods in inverse problems参考文献 14被引用数 3

ひとこと要約

本稿では、$n \geq 2$ における有界な滑らかな領域 $\Omega \subset \mathbb{R}^n$ に対して、境界の固定された閉部分集合に消失する調和関数の積の集合が、$L^1(\Omega)$ で稠密であることを示している。この結果は、カシワラのウォーターメロン定理とセガル＝バーグマン変換の微局所解析にインspiredされた手法を用いて得られ、線形化局所カルデロン問題における重要な密度問題を解決し、部分データを用いた逆導電率問題およびシュレーディンガーの逆問題における一意性を支持する。

ABSTRACT

In this article, we investigate a density problem coming from the linearization of Calderón's problem with partial data. More precisely, we prove that the set of products of harmonic functions on a bounded smooth domain $Ω$ vanishing on any fixed closed proper subset of the boundary are dense in $L^{1}(Ω)$ in all dimensions $n \geq 2$. This is proved using ideas coming from the proof of Kashiwara's Watermelon theorem.

研究の動機と目的

• 境界の固定された閉部分集合で消失する調和関数の積が、$L^1(\Omega)$ で稠密であるという密度結果を確立すること。これは線形化局所カルデロン問題に不可欠である。
• 次元 $n \geq 3$ における局所カルデロン問題の部分データ問題におけるグローバル同定可能性の未解決問題に取り組むこと。
• 部分境界測定値を用いたシュレーディンガー方程式および走行時間トモグラフィーの逆問題における一意性を示すための基盤的段階を提供すること。
• 微局所的手法、特にセガル＝バーグマン変換と解析的波フロント集合の適用範囲を、逆問題における密度問題へと拡張すること。

提案手法

• $L^\infty$ 関数の解析的波フロント集合を、複素領域における変換の減衰性と関連付けるために、セガル＝バーグマン変換を用いる。
• 微局所解析と劣調和関数の理論を適用し、変換に関連する整関数の成長を制御する。
• カシワラの定理にインspiredされた「ウォーターメロン」幾何的構成を実行する。複素平面上の半円形領域に円板を除いた領域を考察し、局所的な推定を局所化する。
• ハルナックの不等式とホフプの境界補題を用いて、カットと除去された球体を含む領域における調和関数の一様な下界を得る。
• 複素位相および重み関数を用いて、$\Omega$ に台を持つ関数のセガル＝バーグマン変換の指数的減衰推定を導出する。
• 変換から得られる劣調和関数に最大原理を適用し、境界に近い半球内での $f(x) = 0$ を結論づけ、$L^1(\Omega)$ における稠密性を示す。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 2$ に対して、境界の固定された閉部分集合で消失する調和関数の積の集合が、$L^1(\Omega)$ で稠密であるか？
• RQ2 このような積の稠密性が線形化局所カルデロン問題を解消できるか、特に次元 $n \geq 3$ においては？
• RQ3 セガル＝バーグマン変換や解析的波フロント集合といった微局所的手法を、逆問題における稠密性証明にどれほど応用できるか？
• RQ4 この稠密性結果を、部分境界距離データを用いた単純な2次元リーマン多様体上の走行時間トモグラフィーにおける一意性の証明に拡張できるか？
• RQ5 複素平面上の「ウォーターメロン」幾何が、稠密性の証明に寄与するセガル＝バーグマン変換の減衰制御をどのように促進するか？

主な発見

• 任意の $n \geq 2$ に対して、$C^\infty(\overline{\Omega})$ で境界 $\Gamma \subset \partial\Omega$ の固定された閉真部分集合で消失する調和関数の積の集合は、$L^1(\Omega)$ で稠密である。
• 証明は、カットと除去された球体を含む領域におけるセガル＝バーグマン変換と劣調和関数の推定を用いた複素解析的アプローチに依存する。
• ハルナックの不等式とホフプの補題を用いた指数的減衰推定により、境界に近い領域で $f(x) = 0$ であることが結論づけられる。
• 領域 $|x_1| \leq \delta$ における一様な減衰性が示され、$L^\infty$ 関数がその領域で消えることを示し、解析接続により全領域へと拡張される。
• この結果により、このような積の集合が $L^1(\Omega)$ で稠密であることが確認され、線形化局所カルデロン問題における解の一意性の必要条件であることが裏付けられる。
• 微局所解析と複素平面上の幾何的構成を組み合わせることで、部分データ逆問題を扱うための新規な手法が提供される。