[论文解读] Unique determination of potentials and semilinear terms of semilinear elliptic equations from partial Cauchy data

Oleg Imanuvilov, Masahiro Yamamoto|arXiv (Cornell University)|May 20, 2012

Numerical methods in inverse problems参考文献 15被引用 4

一句话总结

该论文针对二维半线性椭圆方程的反问题建立了唯一性结果，证明了无论在任意子边界上的部分柯西数据条件下，势函数 $ q $ 和半线性项 $ f(x,u) $ 均可被唯一确定。该方法结合了复几何光学解、卡尔曼估计和渐近分析，表明 $ q_1 = q_2 $ 且 $ f_1 - f_2 = 0 $ 在由解轨迹所确定的特定区域内成立。

ABSTRACT

For a semilinear elliptic equation, we prove uniqueness results in determining potentials and semilinear terms from partial Cauchy data on an arbitrary subboundary.

研究动机与目标

• 研究从部分柯西数据出发，确定半线性椭圆方程中未知系数的反问题。
• 在半线性项 $ f $ 已知或满足特定正则性与增长条件的前提下，建立线性势函数 $ q $ 的唯一性。
• 在已知势函数 $ q $ 的假设下，证明半线性项 $ f $ 的唯一性。
• 综合 $ q $ 与 $ f $ 的结果，在更强的正则性与增长条件下实现联合唯一性。

提出的方法

• 使用带有指数权函数的复几何光学（CGO）解，构造半线性方程的特殊解。
• 应用卡尔曼估计以控制非线性项存在时解及其梯度的行为。
• 在大参数 $ \tau \to \infty $ 的极限下采用渐近分析，提取系数差异的信息。
• 利用平稳相位方法分析由 CGO 解内积产生的振荡积分。
• 构造一个涉及解差与系数差的泛函 $ \mathfrak{G}(u_1, v) $，并证明其在渐近意义下趋于零。
• 利用迹与边界积分估计处理 $ \widetilde{\Gamma} $ 上的部分柯西数据，特别是在 $ \tau \to \infty $ 的极限下。

实验结果

研究问题

• RQ1 在任意子边界 $ \widetilde{\Gamma} \subset \partial\Omega $ 上的部分柯西数据下，能否唯一确定半线性椭圆方程中的势函数 $ q $？
• RQ2 当势函数 $ q $ 已知时，半线性项 $ f(x,u) $ 在何种条件下可被唯一恢复？
• RQ3 在更强的正则性与增长假设下，是否可能同时从部分柯西数据中恢复 $ q $ 与 $ f(x,u) $？
• RQ4 非线性项 $ f $ 的结构如何影响恢复的唯一性，特别是当 $ u $ 取较大值时？

主要发现

• 若部分柯西数据 $ \mathcal{C}_{q_1,f_1} = \mathcal{C}_{q_2,f_2} $ 相等，且 $ f $ 满足 $ C^{2+\alpha} $ 正则性与标准增长条件，则势函数 $ q $ 在 $ \Omega $ 内唯一确定。
• 当 $ q $ 已知且 $ f \in C^{3+\alpha} $，满足适当的增长与在 $ y=0 $ 处消失条件时，半线性项 $ f $ 在集合 $ \bigcup_{j\in\{1,2\}}\bigcup_{F\in\mathcal{U}_j}\mathcal{O}_F $ 内唯一确定。
• 在对 $ f $ 提出更强的正则性与增长假设时，$ q $ 与 $ f $ 在区域 $ \bigcup_{j\in\{1,2\}}\bigcup_{F\in\mathcal{U}_j}\mathcal{O}_F $ 内实现联合唯一性。
• 该方法表明，由于解在紧致子区域上存在先验 $ L^\infty $ 有界性，$ f $ 无法对任意大的 $ y $ 被恢复，从而限制了唯一性的范围。
• 对泛函内积 $ \mathfrak{G}(u_1, v) $ 的渐近分析导出一个平稳相位公式，可分离出差值 $ q_1 - q_2 $，通过密度性证明 $ q_1 = q_2 $ 在任意内点成立。
• 渐近展开中的边界积分项在 $ o(1/\tau) $ 阶消失，使得可通过振荡积分项在某一点恢复 $ q_1 - q_2 $。