Calderón's inverse problem via Vekua theory

技术摘要：基于 Vekua 理论的 Calderón 反问题

问题陈述
本研究探讨了在具有 Lipschitz 边界的有界区域 $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) 中的 Calderón 反电导率问题。目标是从 Dirichlet-to-Neumann (DtN) 映射 $\Lambda_\sigma$ 中恢复非零电导率函数 $\sigma \in W^{1,\infty}(\Omega)$。DtN 映射由电导率方程 $\text{div}(\sigma \nabla u_0) = 0$ 的解 $u_0$ 的边界值定义，具体而言，它将 Dirichlet 数据 $\phi_0$ 映射为 Neumann 数据 $\sigma \nabla u_0 \cdot \eta$。核心问题在于 $\sigma \mapsto \Lambda_\sigma$ 是否具有单射性，即 $\Lambda_f = \Lambda_g$ 是否意味着 $f = g$ 在 $\Omega$ 内成立。

方法论
本文利用 Clifford 分析框架来分析 Vekua 方程解的空间。其方法论通过以下步骤进行：

1. Clifford 分析与 Vekua 方程： 作者利用实 Clifford 代数 $Cl_{0,n}$ 和 Moisil-Teodorescu 算子 $D$。他们研究广义 Vekua 方程 $Dw = \alpha w$（及其共轭变体），其中 $\alpha$ 与电导率相关。具体而言，对于“主”Vekua 方程，$\alpha = \nabla f / f$，其中 $f$ 是电导率。
2. Hodge 分解： 基于前人的工作 [16]，本文利用广义 Vekua 空间的 Hodge 分解。这建立了 Hilbert 空间 $L^2(\Omega, Cl_{0,n})$ 的正交分解，该空间由 Vekua 方程的解空间以及一个涉及 Teodorescu 变换的特定算子的像组成。
3. 积分表示公式： 一个核心技术贡献是推导了广义 Borel-Pompeiu 和部分 Cauchy 积分公式。这些公式将 Vekua 解的标量部分与涉及相关算子（$D - M_{\alpha}C$ 和 $D - \alpha C$）的基本解的边界积分联系起来。
4. 与 Schrödinger 及电导率方程的联系： 本文建立了一个连接主 Vekua 算子与 Schrödinger 算子 $-\Delta + q$（其中势函数 $q = \Delta f / f$）的因子分解。这使得 Vekua 解的标量部分满足电导率方程。
5. 复几何光学 (CGO) 解： 为了证明唯一性，作者采用了针对 $W^{1,\infty}$ 电导率的 CGO 解构造方法（最初由 Pöivärinta, Panchenko 和 Uhlmann [26] 提出），其形式为 $u = e^{x \cdot \zeta}(f^{-1} + \psi)$，其中 $\psi$ 在加权 Sobolev 空间中衰减。

主要贡献与结果

• Vekua 解的积分公式： 本文推导了能够从 Vekua 解的边界值恢复其标量部分的积分表示公式（定理 2，推论 3）。这些公式将经典的 Cauchy 公式推广到 Clifford 设定，并显式地结合了与电导率方程及 Schrödinger 方程相关的 DtN 映射。
• 广义 Green-Vekua 恒等式： 命题 12 给出了一个广义恒等式，将势函数的差（$\Delta g/g - \Delta f/f$）与相关 Schrödinger 方程解的差联系起来。该恒等式作为边界测量值与电导率内部性质之间的桥梁。
• $W^{2,\infty}$ 与 $W^{1,\infty}$ 电导率的唯一性：
  • 对于 $W^{2,\infty}(\Omega)$ 电导率，本文通过证明若 $\Lambda_f = \Lambda_g$，则势函数 $\Delta f/f$ 与 $\Delta g/g$ 相等，从而在给定边界正则性的条件下推导出 $f=g$（引理 11），提供了一个关于唯一性的替代证明。
  • 对于更一般的 Lipschitz 电导率情况（$W^{1,\infty}(\Omega)$），作者证明了 DtN 映射在域内唯一确定电导率方程的解（命题 14）。
• 主定理 (定理 1)： 本文证明了对于 $n \geq 3$，若 $f, g \in W^{1,\infty}(\Omega)$ 为远离零的电导率且 $\Lambda_f = \Lambda_g$，则 $f = g$ 在 $\Omega$ 内。该证明依赖于由积分公式导出的解的等价性以及 CGO 解在 $|\zeta| \to \infty$ 时的渐近行为。

意义与主张
本文声称通过在 Clifford 分析中使用 Vekua 理论，为 Calderón 问题的唯一性提供了另一种视角。作者并未仅仅依赖于通过 Liouville 变换向 Schrödinger 方程的传统归约，而是展示了如何利用 Vekua 解的积分表示公式直接获得证明唯一性所需的恒等式。

作者指出，其方法提供了：

1. 对已知 $W^{2,\infty}$ 和 $W^{1,\infty}$ 电导率唯一性结果的替代证明。
2. 一个可能适用于相关反问题（如各向异性 Maxwell 方程）的框架。
3. 证明了 $H^1(\Omega)$ 中解的唯一扩张是由边界测量确定的，这补充了关于外部域中复几何光学解的现有可识别性结果。

该工作并未提出新的实验应用或超出反问题数学框架和 Clifford 分析之外的未来扩展，而是保持对理论严谨性和反电导率问题分析工具开发的关注。