On the Calderón problem with piecewise polynomial anisotropic conductivities and many-flat-face interfaces

技术摘要：分片多项式各向异性电导率下 Calderón 问题的唯一性

问题陈述
本文研究了维度 $n \ge 3$ 的逆电导率问题（Calderón 问题）。其目标是在有界区域 $\Omega \subset \mathbb{R}^n$ 内确定一个对称且一致椭圆的矩阵场 $\sigma(x)$，该矩阵场代表各向异性电导率。该确定过程基于定义在相对开集 $\Sigma \subset \partial \Omega$ 上的局部 Dirichlet-to-Neumann (DN) 映射 $\Lambda_{\Omega, \Sigma}$。

在一般的各向异性情况下，唯一性仅在边界固定微分同胚（规范自由度）的意义下成立，因为通过此类变换相关的不同电导率会产生相同的边界测量值。为了克服这一规范问题，本文施加了特定的结构假设：

1. 已知划分：区域被划分为已知有限个不相交 Lipschitz 单元 $\{D_\alpha\}$ 的集合。
2. 分片多项式结构：在每个单元 $D_\alpha$ 上，电导率 $\sigma$ 是已知次数对称矩阵值多项式 $P_\alpha$ 的限制。
3. 不连续性：电导率允许在单元之间的界面处发生不连续。

逆问题旨在从局部 DN 映射 $\Sigma$ 上唯一地恢复多项式矩阵 $\{P_\alpha\}$ 的系数。

方法论
唯一性的证明依赖于“层剥离”（layer-stripping）论证与单个单元的局部恢复定理相结合。该方法主要分为两个阶段：

1. 局部单元恢复（平坦面确定）：
   本文确立了如果单个单元上的电导率次数至多为 $N$，且 DN 映射在足够多的平坦面上已知，则该多项式是唯一确定的。

   • Schur 形式：边界数据决定了每个平坦界面上的“共法 Schur 形式”（conormal Schur form）。该形式是源自 DN 映射主符号的规范不变量。
   • 多项式传播：由于电导率是多项式，其在平坦面上的 Schur 形式也是多项式。通过多项式的恒等定理，在平坦面上的一个小开补丁上已知 Schur 形式，可以将其扩展到整个支撑超平面。
   • 逐点恢复：在三个支撑超平面以线性无关的共法相交的点处，三个相应的 Schur 形式唯一确定了该点的电导率矩阵。
   • 代数论证：通过要求 Schur 形式在足够数量的泛型平坦面（具体而言是满足关于其交集的泛型条件的 $N+3$ 个面）上保持一致，本文利用整除性论证表明，两个候选多项式电导率之差必须恒等于零。

2. 全局恢复（层剥离与内部扩展）：
   全局唯一性通过根据“可容许平坦面恢复顺序”顺序恢复单元来实现。

   • 可容许性：该顺序要求在每一步中，下一个待恢复的单元能够获得足够的泛型平坦面（无论是外部面还是已恢复单元的内部界面），并且恢复的区域与初始测量边界保持面连通。
   • 内部扩展：一旦恢复了一个单元区域，该区域就作为一个“已知区域”。本文利用 Runge 近似论证（基于唯一延拓性和 Holmgren 定理）来证明，原始边界 $\Sigma$ 上的局部 DN 映射决定了未恢复区域内部界面的局部 DN 映射。
   • 传播：这使得可以将局部恢复定理迭代地应用于序列中的下一个单元，从而将唯一性从边界向内传播。

关键结果

• 定理 1.4（唯一性）：在已知有限平坦 Lipschitz 划分、分片多项式电导率以及存在可容许平坦面恢复顺序的假设下，局部 DN 映射 $\Sigma$ 唯一确定 $\Omega$ 中的电导率 $\sigma$。具体而言，若 $\Lambda_{\Omega, \Sigma}^{\sigma(1)} = \Lambda_{\Omega, \Sigma}^{\sigma(2)}$，则在 $\Omega$ 内处处有 $\sigma(1) = \sigma(2)$。
• 推论 1.5（稳定性）：由于参数空间是有限维的（多项式系数），本文导出了 Hölder 稳定性估计。在可容许参数的紧集上，多项式系数之间的差异受限于 DN 映射差异的 Hölder 次幂。

意义与主张
本文声称提供了一个关于有限维各向异性 Calderón 问题的严格唯一性结果，该问题包含了不连续电导率。其意义在于：

• 克服规范问题：通过结合结构假设（分片多项式）和几何条件（许多平坦面），这项工作消除了通常阻碍各向异性问题唯一性的微分同胚规范。
• 对前人工作的推广：它将现有的关于分片常数电导率的结果推广到了更一般的分片多项式电导率类。
• 几何假设：本文引入了一种特定的几何条件（“可容许平坦面恢复顺序”），涉及平坦面的泛型交集。这一条件类似于其他工作中涉及的曲边界假设，但它是专门为多面体或网格型模型定制的，其中平坦界面是内在属性。
• 稳定性：由于参数空间的有限维特性以及正向映射的解析性，推导出 Hölder 稳定性估计是直接的后果，这为恢复过程的鲁棒性提供了定量度量。

证明策略将“从超平面上的 Schur 形式恢复多项式的代数问题”与“通过 Runge 近似和具有解析系数的椭圆方程的唯一延拓性来传播边界数据的分析问题”分离开来。