Regularity and non-degeneracy of $\Phi^*[I]$ implies regularity of the fixed boundary $\partial\Omega$

技术摘要：$\Phi^*[I]$ 的正则性与非退化性蕴含固定边界 $\partial\Omega$ 的正则性

问题陈述
本文旨在解决电磁成像分析中出现的一个相容性问题，即当恒等矩阵的推前（push-forward）$\Phi^*[I]$ 具有高阶正则性时，关于区域边界 $\partial\Omega$ 的正则性问题。

在诸如电阻阻抗层析成像（EIT）、亥姆霍兹散射以及传输特征值问题等背景下，形式为 $\Phi^*[A]$ 的介质（其中 $\Phi$ 是将 $\Omega$ 到其自身且固定边界 $\partial\Omega$ 的微分同胚）已知会产生特定的物理行为（例如无散射或相同的边界测量）。文献（特别是 [3] 和 [6]）中的一个已知结果是：如果介质 $A$ 属于 $C^{k+1,\alpha}$ 类，并且满足涉及非散射波梯度的非退化条件，那么边界 $\partial\Omega$ 也必须属于 $C^{k+1,\alpha}$ 类。

作者研究了实现一致性所需的逆向蕴含关系：如果变换后的系数 $\Phi^*[I]$ 在点 $P \in \partial\Omega$ 附近属于 $C^{k+1,\alpha}$ 类，且满足特定的非退化条件，这是否必然意味着 $\partial\Omega$ 在 $P$ 点附近属于 $C^{k+1,\alpha}$ 类？本文旨在证明，变换系数 $\Phi^*[I]$ 的正则性和边界法向量的非退化性足以恢复固定边界 $\partial\Omega$ 的正则性。

方法论
作者结合了雅可比矩阵的代数分析和自由边界问题的椭圆正则性理论。

1. 代数反转（定理 2.5）：
   对于特定的非退化条件（假设 2.4），即存在切向量 $\xi$ 使得 $\xi^T(D\Phi(P) - I)\nu \neq 0$，作者提供了一个初等证明。他们将边界局部表示为图函数 $x_n = \psi(\tilde{x})$。通过分析边界梯度 $\nabla \psi$ 与限制在边界上的 $D\Phi D\Phi^T$（或 $\Phi^*[I]$）各分量之间的关系，他们定义了一个映射 $F$。他们证明了在非退化假设下，该映射的雅可比矩阵是可逆的。因此，若矩阵系数在边界上为 $C^{k,\alpha}$，则边界函数 $\psi$ 的梯度也是 $C^{k,\alpha}$，从而意味着 $\partial\Omega \in C^{k+1,\alpha}$。

2. Hodograph 变换与自由边界分析（定理 2.2）：
   主要的数学挑战在于当非退化条件（假设 2.1）成立但更强的切向条件（假设 2.4）失效时。这种情况发生在法向量 $\nu$ 是 $D\Phi(P)$ 的特征向量且对应特征值不等于 1 时。在这种情况下，定理 2.5 中使用的代数反转方法是不充分的。
   为了处理这种情况，作者利用了 Hodograph 变换。他们定义了一个函数 $v(y) = (\Phi^{-1}(y))_n - y_n$（在二维表示法中）该函数满足以 $\Phi^*[I]$ 为系数的散度形式椭圆方程。

   • 他们导出了关于 Hodograph 映射的逆 $w(z)$ 的非线性边界值问题。
   • 他们在解 $w_0$ 附近对所得的椭圆型 PDE 及相关的斜导数边界条件进行了线性化。
   • 他们证明了线性化算子是一致椭圆的，且边界条件在 Agmon–Douglis–Nirenberg 意义下满足斜导数条件。
   • 通过调用标准的椭圆正则性结果（特别是 [1, 定理 11.2]），他们推导出系数（$\Phi^*[I]$）的正则性可以传递给解 $w$，并进而传递给边界 $\partial\Omega$。

主要贡献与结果

• 主定理（定理 2.2）： 作者证明，若 $\Phi$ 是 $\Omega$ 到其自身的 $C^{1,\alpha}$ 微分同胚且满足 $\Phi|_{\partial\Omega} = \text{id}$，且在点 $P \in \partial\Omega$ 处满足以下条件：

  1. 非退化条件 $(\Phi^*[I](P) - I)\nu \neq 0$ 成立（其中 $\nu$ 为单位法向量）；以及
  2. $\Phi^*[I]$ 在 $P$ 点附近的 $\Omega$ 邻域内属于 $C^{k+1,\alpha}$ 类；
     则边界 $\partial\Omega$ 在 $P$ 点附近属于 $C^{k+1,\alpha}$ 类。

• 推论 2.3： 关于矩阵 $D\Phi D\Phi^T \circ \Phi^{-1}$ 的直接推论，这对于维度 $n \geq 3$ 时等价于主定理。

• 切向非退化性的初等证明（定理 2.5）： 本文确立了如果满足涉及切向量的更强非退化条件，则结果可以通过直接的代数反转论证得出，而无需使用完整的自由边界椭圆正则性理论工具。

• “角点”情况的解决： 作者指出，如果 $\partial\Omega$ 具有角点（即不是 $C^1$ 类），则在该角点处 $D\Phi = I$，这违反了非退化条件。因此，该定理有效地排除了在所述假设下的角点存在。

意义与主张
本文声称提供了一个必要的理论联系，以确保近期关于非散射不均匀体正则性结果的相容性。

具体而言，作者指出他们的结果“自然地补充了近期关于非散射不均匀体的正则性结果”。通过证明 $\Phi^*[I]$ 的正则性和非退化条件蕴含 $\partial\Omega$ 的正则性，本文阐明了为什么某些非散射构型不能存在于具有不规则边界（如角点）的区域上，除非非退化条件失效。这项工作被呈现为一篇针对特定相容性问题进行处理的“注记”，依赖于已有的成熟工具（Hodograph 变换、椭圆正则性）来填补理论理解中的空白。作者并非提出新的应用或未来的实验方向，而是巩固了现有成像与散射理论的数学基础。