Inverse scattering for the fractional Helmholtz equation with cubic nonlinearity

1. 研究问题 (Problem Statement)

本文研究的是非线性分数阶亥姆霍兹方程的逆散射问题。具体而言，目标是利用远场散射振幅（scattering amplitude）的数据，唯一地恢复出具有紧支集的未知势函数（potential）$Q(x)$。

• 控制方程：
  在三维空间 $\mathbb{R}^3$ 中，考虑如下方程：
  $$(-\Delta)^s u_j - k^{2s} u_j = Q_j(x) |u_j|^2 u_j, \quad j=1, 2$$
  其中：

  • $(-\Delta)^s$ 是分数阶拉普拉斯算子（$s \in (0, 1)$）。
  • $k > 0$ 是波数。
  • $Q_j(x) \in L^\infty(\mathbb{R}^3)$ 是具有紧支集 $\Omega$ 的势函数。
  • 非线性项为三次非线性 $|u|^2 u$。
  • 当 $s=1$ 时，该方程退化为经典的亥姆霍兹方程；当 $k=1, s=1$ 时，退化为 Ginzburg-Landau 方程。

• 散射设定：
  解 $u_j$ 被分解为入射波 $u_j^{in}$ 和散射波 $u_j^{sc}$：
  $$u_j = u_j^{in} + u_j^{sc}$$
  入射波 $u_j^{in}$ 由 Herglotz 波函数给出（平面波叠加），满足齐次方程 $(-\Delta)^s u_j^{in} - k^{2s} u_j^{in} = 0$。
  散射波 $u_j^{sc}$ 满足非齐次方程及 Sommerfeld 辐射条件。

• 逆问题目标：
  已知对于所有波数 $k \in (k_0, \infty)$、入射方向 $\theta \in S^2$ 和观测方向 $\hat{x} \in S^2$，两个不同势函数 $Q_1$ 和 $Q_2$ 产生的散射振幅 $u_1^\infty$ 和 $u_2^\infty$ 完全相同。问：是否能证明 $Q_1 = Q_2$？

2. 方法论 (Methodology)

作者采用了一种基于多频数据和复几何光学解（CGO-like）思想的变分方法，结合分数阶算子的解析性质来证明唯一性。主要步骤如下：

2.1 适定性分析与先验估计

• 存在性与唯一性：引用了 [SZ25] 的结果，证明了在小振幅入射波条件下，该非线性分数阶方程存在唯一解，且解属于特定的 $L^q$ 空间。
• 分数阶预解式估计 (Resolvent Estimates)：利用分数阶拉普拉斯算子的预解式估计和极限吸收原理（Limiting Absorption Principle），建立了散射波 $u^{sc}$ 在 $L^q$ 空间中的范数估计。这对于控制非线性项至关重要。
• 基本解与远场行为：推导了分数阶亥姆霍兹方程基本解 $\Phi_s(x)$ 的渐近行为。证明了当 $|x| \to \infty$ 时，$\Phi_s(x)$ 的行为与经典亥姆霍兹方程的基本解 $\Phi_1(x)$ 相似，仅相差一个与 $k$ 和 $s$ 相关的常数因子。这建立了分数阶散射振幅与经典散射振幅之间的联系。

2.2 散射振幅的积分表示

• 利用基本解的渐近展开，将散射场 $u^{sc}$ 与散射振幅 $u^\infty$ 联系起来。
• 定义了散射振幅的积分表达式：
  $$u^\infty(\hat{x}) = \int_{\mathbb{R}^3} e^{-ik\hat{x}\cdot y} Q(y) |u(y)|^2 u(y) \, dy$$
  这表明散射振幅直接编码了势函数 $Q$ 与非线性解 $u$ 的相互作用信息。

2.3 唯一性证明的核心策略

1. 构造辅助函数：
   定义辅助函数 $w_j$ 满足经典亥姆霍兹方程（$s=1$）：
   $$(\Delta + k^2) w_j = -Q_j |u_j^{sc} + e^{ikx\cdot\theta}|^2 (u_j^{sc} + e^{ikx\cdot\theta})$$
   这里利用了 $u_j = u_j^{in} + u_j^{sc}$ 且 $u_j^{in} = e^{ikx\cdot\theta}$（针对平面波情形）的分解。

2. 利用散射振幅相等条件：
   假设 $u_1^\infty = u_2^\infty$，利用 Rellich 引理和辐射条件，证明 $w_1 - w_2$ 在势函数支集 $\Omega$ 之外为零，即 $w_1 - w_2$ 具有紧支集。

3. 积分恒等式与高频极限：

   • 对 $w_1 - w_2$ 进行分部积分，构造积分恒等式：
     $$\int_{\Omega} e^{i\rho \cdot x} (Q_1 |u_1|^2 u_1 - Q_2 |u_2|^2 u_2) \, dx = 0$$
     其中 $\rho$ 是构造的波矢量。
   • 关键技巧：选择特定的波矢量 $k, \theta$ 使得 $k \to \infty$。利用之前建立的 $L^q$ 估计（特别是 $u^{sc}$ 随 $k$ 衰减的性质），证明积分中涉及散射波 $u^{sc}$ 的高阶非线性项在 $k \to \infty$ 时趋于零。
   • 最终，积分恒等式简化为仅包含势函数 $Q$ 和入射波项的形式，类似于傅里叶变换：
     $$\int_{\Omega} e^{2ix \cdot m} (Q_1 - Q_2) \, dx = 0$$
   • 由于 $m$ 是任意的，根据傅里叶变换的唯一性，得出 $Q_1 = Q_2$。

3. 主要贡献与结果 (Key Contributions & Results)

1. 唯一性定理 (Theorem 1.3)：
   证明了在三维空间中，对于分数阶指数 $s \in (4/5, 3/2)$ 和波数 $k > k_0 > 0$，如果两个紧支集势函数 $Q_1, Q_2$ 产生的全谱散射振幅（随 $k, \hat{x}, \theta$ 变化）相同，则 $Q_1 = Q_2$。这是该领域在非线性分数阶模型下的首个唯一性结果。

2. 分数阶基本解的渐近分析：
   详细推导了分数阶亥姆霍兹方程基本解 $\Phi_s(x)$ 在无穷远处的渐近行为，证明了其与经典情形 ($s=1$) 的等价性（在 $L^2$ 意义下），从而使得经典的逆散射技术可以推广到分数阶情形。

3. 非线性项的处理：
   成功处理了三次非线性项 $|u|^2 u$。通过精细的 Sobolev 嵌入和分数阶预解式估计，证明了在高频极限下，散射波对积分恒等式的贡献可以忽略不计，从而将非线性逆问题转化为线性势函数的恢复问题。

4. 开放问题的提出：
   文章指出了当波数 $k$ 固定（即单频数据，对应 Ginzburg-Landau 方程情形）时的逆散射问题仍然是开放的。这为未来的研究指明了方向。

4. 技术细节与限制 (Technical Details & Limitations)

• 分数阶指数 $s$ 的限制：
  定理要求 $s \in (4/5, 3/2)$。这一限制主要源于：

  1. 分数阶预解式估计（Resolvent Estimates）的适用范围。
  2. Sobolev 嵌入定理的要求（为了保证解 $u$ 和散射波 $u^{sc}$ 具有足够的正则性和可积性，特别是为了证明 $u \in L^6$ 和 $u^{sc}$ 的衰减性）。
     对于 $s$ 的其他值，问题尚未解决。

• 数据维度：
  证明依赖于多频数据（$k$ 变化）和全角度数据（$\hat{x}, \theta$ 变化）。数据维度为 $2d-1$（在 $d=3$ 时为 5 维）。如果固定 $k$，数据维度降为 $2d-2$，此时唯一性尚未证明。

• 小振幅假设：
  解的存在性依赖于入射波振幅较小（$\|g\|_{L^2} \le \epsilon$），这是非线性散射问题中常见的假设，用于保证解的唯一性和收敛性。

5. 意义与影响 (Significance)

• 理论价值：
  该工作将经典的逆散射理论从局部算子（$s=1$）推广到了非局部算子（分数阶 $s \neq 1$），并成功处理了非线性项。这丰富了分数阶偏微分方程的逆问题理论体系。

• 应用前景：
  分数阶亥姆霍兹方程广泛应用于描述具有非局部特性的物理现象，如：

  • 分形介质中的波传播（地质电磁学）。
  • 非局域光子 - 原子相互作用（量子光学）。
  • 分数阶弹性模型。
    该研究为利用散射数据反演这些复杂介质中的非均匀性（势函数）提供了理论依据。

• 方法论启示：
  文章展示了如何结合分数阶算子的谱理论（预解式估计）与经典的逆散射技术（CGO 解、高频渐近分析）来解决非线性逆问题，为后续研究其他类型的分数阶非线性逆问题提供了范本。

总结：这篇论文通过严谨的数学分析，证明了在特定参数范围内，利用多频全角度散射数据可以唯一确定三维空间中具有三次非线性的分数阶亥姆霍兹方程的势函数，是该领域的重要进展。