2025-11-19T15:31:14.140320

Monotonicity and local uniqueness for an isotropic nonlocal elliptic equation

Lin

We extend monotonicity-based inversion methods to an inverse coefficient problem for the isotropic nonlocal elliptic equation \[ (-\nabla \cdot Ï\nabla)^s u = 0 \quad \text{in } Î©\subset \mathbb{R}^n, \] where $0 < s < 1$, $n \geq 3$, and $Î©$ is a bounded open set. We establish a monotonicity relation between the leading coefficient $Ï$ and the (partial) exterior Dirichlet-to-Neumann (DN) map. Our main result shows that a monotonicity ordering of the coefficients implies a corresponding ordering of the DN maps. Furthermore, we construct localized potentials for the nonlocal equation, which yield a local uniqueness result for the fractional inverse problem.

academic

Monotonicity and local uniqueness for an isotropic nonlocal elliptic equation

基本信息

论文ID: 2510.10408
标题: Monotonicity and local uniqueness for an isotropic nonlocal elliptic equation
作者: Yi-Hsuan Lin
分类: math.AP (Analysis of PDEs)
发表时间: 2025年10月12日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.10408

摘要

本文将基于单调性的反演方法扩展到各向同性非局部椭圆方程的反系数问题： $(-\nabla \cdot \sigma\nabla)^s u = 0 \quad \text{在 } \Omega\subset \mathbb{R}^n \text{ 中}$ 其中 $0 < s < 1$ ， $n \geq 3$ ， $\Omega$ 是有界开集。文章建立了主导系数 $\sigma$ 与（部分）外部 Dirichlet-to-Neumann (DN) 映射之间的单调性关系。主要结果表明，系数的单调性排序蕴含DN映射的相应排序。此外，构造了非局部方程的局部化势，从而得到分数阶反问题的局部唯一性结果。

研究背景与动机

要解决的问题：本文研究分数阶椭圆方程的反系数问题，特别是如何从边界测量（DN映射）中恢复内部的主导系数 $\sigma$ 。
问题的重要性：
- 非局部算子在异常随机扩散、长程相互作用等物理现象中自然出现
- 分数阶Laplacian算子 $(-\Delta)^s$ 描述具有跳跃特征的非标准布朗运动
- 相比经典局部问题，非局部反问题可能更易处理，具有独特的延拓性质和Runge逼近性质
现有方法局限性：
- 对于主导系数的单调性关系研究较少
- 缺乏系统的局部唯一性理论
- 传统的局部方法不能直接应用于非局部情形
研究动机：结合单调性方法与局部化势的构造，为分数阶Calderón问题提供新的理论工具。

核心贡献

建立单调性关系：证明了主导系数的排序蕴含DN映射的相应排序： $\sigma_1 \geq \sigma_2$ 在 $\Omega$ 中 $\Rightarrow$ $\Lambda_{\sigma_1} \geq \Lambda_{\sigma_2}$
构造局部化势：为非局部方程构造了满足特定性质的局部化势函数
局部唯一性定理：证明了在连通区域上的局部唯一性结果（定理1.1）
技术创新：利用Caffarelli-Silvestre扩展问题将非局部问题转化为局部问题进行分析

方法详解

任务定义

考虑外部值问题： $\begin{cases} (-\nabla \cdot \sigma\nabla)^s u = 0 & \text{在 } \Omega \text{ 中} \\ u = f & \text{在 } \Omega^e \text{ 中} \end{cases}$

其中 $\sigma$ 满足条件： $0 < \lambda \leq \sigma(x) \leq \lambda^{-1} \text{ 对 } x \in \Omega, \quad \sigma = 1 \text{ 在 } \Omega^e$

DN映射定义为： $\Lambda_\sigma : \tilde{H}^s(W) \to H^{-s}(W), \quad f \mapsto (-\nabla \cdot \sigma\nabla)^s u^f|_W$

核心技术方法

1. Caffarelli-Silvestre扩展

将非局部问题转化为扩展问题： $\begin{cases} \nabla_{x,y} \cdot (y^{1-2s}\tilde{\sigma}\nabla_{x,y}\tilde{u}) = 0 & \text{在 } \mathbb{R}^{n+1}_+ \text{ 中} \\ \tilde{u}(x,0) = u(x) & \text{在 } \mathbb{R}^n \text{ 上} \end{cases}$

其中 $\tilde{\sigma}(x) = \begin{pmatrix} \sigma(x)I_n & 0 \\ 0 & 1 \end{pmatrix}$

2. 单调性关系证明

通过双线性形式分析，得到关键不等式： $\int_{\Omega \times (0,\infty)} y^{1-2s}(\sigma_1 - \sigma_2)|\nabla\tilde{u}^f_2|^2 dx dy \leq d_s \langle(\Lambda_{\sigma_1} - \Lambda_{\sigma_2})f, f\rangle$

3. 局部化势构造

利用Runge逼近性质，构造满足以下条件的函数：

$\nabla v|_D \equiv 0$ （在指定区域梯度为零）
$\nabla v|_B \not\equiv 0$ （在目标区域梯度非零）

技术创新点

扩展问题方法：巧妙利用Caffarelli-Silvestre扩展将非局部算子的分析转化为加权Sobolev空间中的局部分析
单调性估计：建立了两个不同形式的单调性不等式（3.1）和（3.2），为不同应用提供灵活性
局部化构造：通过对偶论证和截断函数技术，系统构造了所需的局部化势

实验设置

本文为纯理论研究，不涉及数值实验。主要通过严格的数学证明验证理论结果的正确性。

理论验证方法

引理3.1：通过扩展问题的双线性形式建立单调性关系
定理4.1：利用Runge逼近性质证明局部化势的存在性
定理1.1：结合单调性关系和局部化势证明局部唯一性

主要理论结果

单调性关系（引理3.1）

对于满足条件的系数 $\sigma_1, \sigma_2$ ，有： $\int_{\Omega \times (0,\infty)} y^{1-2s}(\sigma_1 - \sigma_2)|\nabla\tilde{u}^f_1|^2 dx dy \leq d_s \langle(\Lambda_{\sigma_1} - \Lambda_{\sigma_2})f, f\rangle \leq \int_{\Omega \times (0,\infty)} y^{1-2s}(\sigma_1 - \sigma_2)|\nabla\tilde{u}^f_2|^2 dx dy$