Inverse problems for semilinear elliptic equations with low regularity

技术摘要：低正则性半线性椭圆方程的反问题

问题陈述
本文探讨如下形式的半线性椭圆方程的反边值问题：
$$\Delta u(x) + a(x, u(x)) = 0 \quad \text{在 } \Omega \text{ 内},$$
其中 $\Omega \subset \mathbb{R}^n$（$n \geq 2$）是具有光滑边界的有界区域，$a(x, t)$ 表示非线性项。目标是利用边界测量数据确定非线性项 $a(x, t)$。具体而言，作者研究了能否利用靠近固定解 $w$ 的解的柯西数据集，在 $w$ 的邻域内唯一地恢复 $a(x, t)$。

本文解决的一个主要挑战是非线性项的正则性。以往的结果（如 [JNS23]）要求 $a(x, t)$ 关于 $x$ 为 $C^{1,\alpha}$ 类，关于 $t$ 为 $C^3$ 类。本文旨在将这些正则性假设降低为关于 $x$ 属于 $L^r$ 类（其中 $r > n/2$），关于 $t$ 属于 $C^{1,\alpha}$ 类，同时简化现有的证明。本研究不预先假设狄利克雷问题的适定性；相反，它利用柯西数据集来表述问题，以容纳潜在的障碍。

方法论
该方法依赖于一阶线性化、巴拿赫空间中的隐函数定理以及朗格（Runge）逼近论证的结合。方法论结构如下：

1. 线性化与可解性：方程在固定解 $w$ 附近进行线性化，得到 $\Delta v + qv = 0$，其中 $q(x) = \partial_u a(x, w(x))$。由于 $q \in L^r(\Omega)$ 且 $r > n/2$，标准的狄利克雷问题可能因有限维核 $N_q$ 的存在而不适定。作者构建了边界迹空间的一个子空间 $D_q$ 以修正边界数据，从而确保线性化方程的可解性（命题 2.1）。这取代了在高正则性设置中使用的特征函数法向导数的需求。

2. 解映射：

   • 映射 $S$：构造了一个 $C^1$ 映射 $S(v)$，将非线性方程在 $w$ 附近的解 $u$ 参数化为线性化方程的解 $v$。与以往使用巴拿赫不动点论证 followed by 隐函数定理的工作不同，本文通过单次应用隐函数定理确立了 $S$ 的存在性和 $C^1$ 光滑性（命题 3.1）。
   • 映射 $T$：为了比较两个不同的非线性项 $a_1$ 和 $a_2$，定义了第二个映射 $T_{a_2, w_1}$。该映射将属于 $a_1$ 的线性解 $v$ 映射为 $a_2$ 的解 $u_2$，使得 $u_2$ 与 $S_{a_1, w_1}(v)$ 生成的解具有相同的柯西数据。证明 $T$ 是 $C^1$ 的需要一个唯一延拓论证以及源自四阶方程的特定投影算子（命题 4.1，引理 4.5）。

3. 积分恒等式与唯一性：通过假设柯西数据集的包含关系（$C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$），作者推导出了一个涉及线性化势函数 $\partial_u a_1$ 和 $\partial_u a_2$ 之差的积分恒等式。利用线性薛定谔方程解的乘积的完备性结果（来自 [Cha90; Nac92; DKS13; BTW20]）以及唯一延拓原理，他们证明了非线性项的导数必须在解附近重合。

4. 朗格逼近：为了将非线性项的局部确定扩展到解值的全邻域，采用了朗格逼近论证（第 6 节）。这证明了具有 $L^r$ 势函数的线性化方程的解可以逼近解点邻域内的任意值，从而允许在 $t$ 的一个范围内恢复 $a(x, t)$。

主要贡献与结果

• 降低的正则性假设：主要定理（定理 1.1 和 1.2）确立了非线性项 $a \in L^r(\Omega, C^{1,\alpha}(\mathbb{R}))$（其中 $r > n/2$）的唯一性结果。这改进了 [JNS23] 中关于 $x$ 需为 $C^{1,\alpha}$ 类、关于 $t$ 需为 $C^3$ 类的要求。
• 简化的证明：本文通过直接利用隐函数定理，避免了以往使用的更复杂的不动点论证，为解映射 $S$ 的存在性和光滑性提供了简化的证明。
• 处理线性化中的低正则性：作者引入了子空间 $D_q$ 来处理当势函数 $q$ 仅属于 $L^r$ 时线性化方程的可解性问题，克服了特征函数的法向导数可能不属于低正则性势函数自然迹空间的问题。
• 主要定理：
  • 定理 1.1：如果两个非线性项 $a_1, a_2$ 共享一个公共解 $w$，且它们在 $w$ 附近的解具有相同的柯西数据，则对于 $t$ 靠近 $w(x)$ 的情况，有 $a_1(x, t) = a_2(x, t)$。
  • 定理 1.2：如果 $a_1$ 和 $a_2$ 不一定共享一个解，但它们在 $a_1$ 的某个解 $w_1$ 附近的柯西数据集是相关的，则 $a_1$ 在规范变换 $T_\phi a_2(x, t) = \Delta \phi(x) + a_2(x, t + \phi(x))$ 的意义下被确定，其中 $\phi$ 及其法向导数在边界上为零。
• 线性情形恢复：结果涵盖了线性情形 $a(x, u) = q(x)u$，恢复了 $L^r(\Omega)$ 中的势函数（$r > n/2$，且对于 $n=2,3$ 为 $r \geq 2$）。作者指出，这遗漏了 $n \geq 3$ 时的端点 $r=n/2$ 以及其他文献中针对 $n=2$ 发现的特定 $L^{4/3+\epsilon}$ 结果。

意义与主张
本文声称提供了 [JNS23] 中近期结果的低正则性对应版本，证明了无需空间变量 $x$ 的高阶光滑性，即可从边界测量数据中唯一确定（在规范变换意义下）非线性项。作者强调，他们的方法基于一阶线性化和朗格逼近，避免了通常仅能恢复 $t=0$ 处泰勒级数的高阶线性化技术。

这项工作强调，这些反问题的可达集总是一个开集，这意味着非线性项可以在解的邻域内被确定。作者明确指出，他们并不声称能在 $\Omega \times \mathbb{R}$ 上全局确定 $a(x, t)$，因为若无进一步假设，这通常是不可能的；他们确定的是特定解轨迹邻域内的 $a(x, t)$。这些结果被呈现为对现有反问题框架在正则性上的改进以及证明结构上的简化。