Calderón's inverse problem via Vekua theory

技術要約：Vekua理論によるカルデロンの逆問題

問題設定
本研究は、リプシッツ境界を持つ有界領域 $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) におけるカルデロンの逆導電率問題に取り組むものである。目的は、非消滅的な導電率関数 $\sigma \in W^{1,\infty}(\Omega)$ を、ディリクレ・ネーマン写像（DtN写像）$\Lambda_\sigma$ から復元することである。DtN写像は、導電方程式 $\text{div}(\sigma \nabla u_0) = 0$ の解 $u_0$ の境界値によって定義され、具体的には、ディリクレ・データ $\phi_0$ をノイマン・データ $\sigma \nabla u_0 \cdot \eta$ へと写すものである。中心となる問いは、写像 $\sigma \mapsto \Lambda_\sigma$ が単射的であるか、すなわち、$\Lambda_f = \Lambda_g$ ならば $\Omega$ 内で $f = g$ が成り立つかどうかである。

手法
本論文は、Vekua方程式の解空間を解析するために、クリフォード解析の枠組みを採用している。その手法は、以下のステップに従って進行する：

1. クリフォード解析とVekua方程式： 著者らは実クリフォード代数 $Cl_{0,n}$ とモイシル・テオドレス（Moisil-Teodorescu）作用素 $D$ を利用する。著者らは、一般化されたVekua方程式 $Dw = \alpha w$（およびその共役型）を研究する。ここで、$\alpha$ は導電率に関連しており、$\alpha = \nabla f / f$ である（ただし $f$ は導電率）。
2. ホッジ分解： 先行研究 [16] に基づき、本論文は一般化されたVekua空間のためのホッジ分解を利用する。これは、ヒルベルト空間 $L^2(\Omega, Cl_{0,n})$ を、Vekua方程式の解の空間と、特定のテオドレス変換を含む作用素の像との間の直交分解として確立するものである。
3. 積分表現公式： コアとなる技術的貢献は、一般化されたボレル・ポンペイ（Borel-Pompeiu）および部分コーシー積分公式の導出である。これらの公式は、Vekua解のスカラー部分を、関連する作用素（$D - M_{\alpha}C$ および $D - \alpha C$）の基本解に関する境界積分に関連付ける。
4. シュレディンガー方程式および導電方程式への接続： 本論文は、メインのVekua作用素とシュレディンガー作用素 $-\Delta + q$（ここで $q = \Delta f / f$）との間の因数分解の接続を確立している。これにより、Vekua解のスカラー部分は導電方程式を満たすようになる。
5. 複素幾何学的光学（CGO）解： 一意性の証明のために、著者らは（Pöivärinta, Panchenko, および Uhlmann [26] による）$W^{1,\infty}$ の導電率に対するCGO解の構成を適応させている。これらの解は $u = e^{x \cdot \zeta}(f^{-1} + \psi)$ という形式を持ち、ここで $\psi$ は重み付きソボレフ空間において減衰する。

主要な貢献と結果

• Vekua解の積分公式： 本論文は、Vekua解のスカラー部分をその境界値から復元する積分表現公式（定理2、系3）を導出している。これらの公式は、古典的なコーシー公式をクリフォード設定へと一般化し、導電率およびシュレディンガー方程式に関連するDtN写像を明示的に組み込んでいる。
• 一般化されたグリーン・Vekua恒等式： 命題12は、ポテンシャルの差（$\Delta g/g - \Delta f/f$）と、関連するシュレディンガー方程式の解の差を関連付ける一般化された恒等式を提示している。この恒等式は、境界測定と導電率の内部特性との間の架け橋として機能する。
• $W^{2,\infty}$ および $W^{1,\infty}$ 導電率の一意性：
  • $W^{2,\infty}(\Omega)$ の導電率については、$\Lambda_f = \Lambda_g$ ならばポテンシャル $\Delta f/f$ と $\Delta g/g$ が等しくなり、境界の正則性（補題11）から $f=g$ が導かれることを示すことで、一意性の代替証明を提供している。
  • より一般的なリプシッツ導電率（$W^{1,\infty}(\Omega)$）の場合、著者らは、DtN写像が領域内の導電方程式の解を一意に決定することを証明している（命題14）。
• 主要定理（定理1）： 本論文は、$n \geq 3$ において、$f, g \in W^{1,\infty}(\Omega)$ がゼロから離れた（bounded away from zero）導電率であり、かつ $\Lambda_f = \Lambda_g$ であるならば、$f = g$ が $\Omega$ 内で成り立つことを証明している。この証明は、積分公式から導かれる解の同値性と、$|\zeta| \to \infty$ におけるCGO解のアスンプティック（漸近的）挙動に基づいている。

意義と主張
本論文は、Vekua理論をクリフォード解析の中で用いることで、カルデロン問題の一意性に対する代替的な視点を提供すると主張している。従来の、リウヴィル変換によるシュレディンガー方程式への単純な還元のみに依存するのではなく、著者らは、Vekua解の積分表現公式がいかに直接的に一意性を証明するための必要な恒等式をもたらすかを実証している。

著者らは、自らの手法が以下を提供するとしている：

1. $W^{2,\infty}$ および $W^{1,\infty}$ の導電率に対する既知の一意性結果の代替的な証明。
2. 異方性マクスウェル方程式などの関連する逆問題に適応可能な枠組み。
3. 外部領域における複素幾何学的解に関する既存の識別可能性の結果を補完する、$H^1(\Omega)$ における解の一意な拡張が境界測定によって決定されることのデモンストレーション。

本研究は、逆問題およびクリフォード解析の数学的枠組みを超えた新しい実験的応用や将来の拡張を提案するものではなく、理論的な厳密さと、逆導電率問題のための解析的手法の開発に焦点を維持している。