Inverse Resonance Problem for the Half-Line Schrödinger Operator with a Complex Robin Boundary Condition

技术摘要：具有复数 Robin 边界条件的半线薛定谔算子的逆共振问题

问题陈述
本文研究了半线 $x > 0$ 上一维薛定谔算子的逆共振问题：
$$-u''(x) + q(x)u(x) = z^2 u(x),$$
其中势函数 $q$ 是一个在 $L^1(0, 1)$ 中的复值紧支撑函数。该算符满足原点处的复数 Robin 边界条件：
$$u'(0) - a u(0) = 0, \quad a \in \mathbb{C}.$$
目标是从谱数据（特征值和共振点）中唯一确定势函数 $q$，并建立当谱数据仅在有限能量区间 $|z| < R$ 内已知时的定量稳定性估计。这项工作扩展了 Marletta, Shterenberg, 和 Weikard 在 Dirichlet 边界条件（$u(0)=0$）下开发的方法论，将其推广到更一般的 Robin 情况。

方法论与分析框架
证明策略依赖于变换算子方法（transformation-operator method）结合全纯函数理论与傅里叶分析。其核心方法包括：

1. 特征函数： 不同于使用 Dirichlet Jost 函数 $\psi(z, 0)$，本文利用 Robin 特征函数：
   $$F_a(z; q) := \psi_x(z, 0; q) - a \psi(z, 0; q).$$
   与 Dirichlet 情况中高能渐近归一化为 1 不同，Robin 特征函数表现出线性增长特性：当 $|z| \to \infty$ 时，$F_a(z; q) = iz - a + O(1)$。

2. 变换算子： Jost 解通过变换核 $K_q(x, t)$ 进行表示：
   $$\psi(z, x) = e^{izx} + \int_{x}^{2-x} K_q(x, t) e^{izt} dt.$$
   两个势函数 $q$ 和 $\tilde{q}$ 之间的差异通过它们的变换核之差（记作 $B(x, t)$）来进行分析。

3. 边界迹修改： Robin 情况中一个关键的修改是源自变换核的边界量。通过在 $x=0$ 处对变换关系求导，可以得到一个包含核及其导数的边界表达式：
   $$C_a(t) = B_x(0, t) - a B(0, t).$$
   这取代了 Dirichlet 分析中较简单的 $B(0, t)$ 项。

4. Hadamard 分解与稳定性： 本文建立了 $F_a(z; q)$ 的高能估计和 Hadamard 分解。有限数据的稳定性通过比较两个零点在 $|z| < R$ 内重合的势函数的特征函数来证明。分析过程涉及：

   • 估计特征函数的差值 $D_a(z) = F_a(z; q) - F_a(z; \tilde{q})$。
   • 将 $D_a(z)$ 分解为一个标量项 $B(0, 0)$ 和一个涉及核差的傅里叶积分。
   • 利用 Volterra 结构将边界估计传播到特征三角形内部。

主要贡献与结果

• 高能渐近行为与归一化： 本文严格处理了 Robin 特征函数的线性增长问题。研究表明，自由项 $iz - a$ 作为归一化因子，这与 Dirichlet 情况中的常数归一化不同。这要求在规范乘积表示（canonical product representation）和傅里叶分析中进行仔细的账目记录。

• 有限数据稳定性： 主要结果（定理 10.4）提供了一个定量稳定性估计。如果 $F_a(z; q)$ 和 $F_a(z; \tilde{q})$ 的零点在 $|z| < R$ 内重合（或 $\varepsilon$-接近），则两个势函数之间的差异在 $L^p$ 意义下是有界的。具体而言，对于 $1 < p \le 2$：
  $$\sup_{0 \le x \le 1} \left| \int_x^1 (\tilde{q} - q)(s) ds \right| \le C \left( R^{-\beta} + \varepsilon R^\alpha \log R e^{C \varepsilon R^\alpha \log R} \right),$$
  其中 $\alpha = \frac{p}{3(3p-1)}$ 且 $\beta = \frac{p-1}{3(3p-1)}$。项 $R^{-\beta}$ 代表误差随谱数据区间 $R$ 增大而衰减的速率。

• 唯一性： 对于固定的 Robin 参数 $a$，完整的特征值和共振点集合（计入重数）唯一确定了 $[0, 1]$ 上几乎处处的势函数 $q$（推论 11.1）。这是通过令 $R \to \infty$ 在稳定性估计中得出。

• 边界迹恢复： 一个重要的技术成就，即从谱数据中恢复边界迹 $B(0, t)$。论文表明，虽然傅里叶论证控制了边界组合 $C_a(t)$ 的原函数，但通过 Volterra 结构和向后 Gronwall 不等式，可以实现对边界迹 $B(0, t)$ 本身的恢复，而无需对 $C_a(t)$ 进行逐点估计。

意义与范围
本文声称将 Marletta, Shterenberg, 和 Weikard 的逆共振框架扩展到了复数 Robin 边界条件。其主要创新在于调整了变换算子论证，以适应特征函数的线性高能增长以及特定的边界组合 $B_x(0, t) - a B(0, t)$。

作者强调，这些结果是针对固定的 Robin 参数 $a$ 而制定的。文中明确指出，如果 $a$ 是未知的，零集将决定特征函数，但在涉及参数差异和势函数差异积分的标量关系（公式 102）意义下进行确定；此处并未建立 $(a, q)$ 的联合辨识性。这项工作为当边界条件固定但为复数时，该逆问题的稳定性与唯一性提供了严谨的基础，并保持了与 Dirichlet 情况类似的估计定性形式。