The initial-to-final-state inverse problem with critically-singular potentials

这是一份关于论文《具有临界奇异势的初态到终态逆问题》（The Initial-to-Final-State Inverse Problem with Critically-Singular Potentials）的详细技术总结。

1. 研究问题 (Problem Statement)

本文研究的是薛定谔方程（Schrödinger equation）的逆问题。具体而言，考虑高维空间 $\mathbb{R}^n$ 中时间无关势函数 $V(x)$ 的薛定谔方程：
$$\begin{cases} i\partial_t u = -\Delta u + V u, & (t, x) \in (0, T) \times \mathbb{R}^n, \\ u(0, x) = f(x), & x \in \mathbb{R}^n. \end{cases}$$
核心问题：给定从初始状态 $f \in L^2(\mathbb{R}^n)$ 到固定时刻 $T$ 的终态 $u(T, \cdot)$ 的演化映射（即初态到终态映射，Initial-to-Final-State Map）$U_T$，该映射是否唯一确定了哈密顿量 $H = -\Delta + V$ 中的势函数 $V$？

背景与挑战：

• 此前关于时间相关势函数的唯一性结果（如 Caro 和 Ruiz 的工作）通常要求势函数在无穷远处具有超指数衰减（super-exponential decay），即使允许局部 $L^q$ 型奇异性。
• 对于时间无关势函数，之前的工作（如 [10]）虽然放宽了衰减条件（仅需超线性衰减），但仍要求势函数有界或具有多项式衰减。
• 本文目标：在时间无关的设定下，进一步放宽对势函数 $V$ 的衰减和正则性要求。允许 $V$ 在无穷远处仅满足 $L^1$ 可积性（即 $L^1$ 型衰减），并允许 $V$ 在有限测度集上具有 $L^q$ 型奇异性（临界奇异势）。

2. 主要结果 (Main Results)

定理 1.1 (唯一性定理)：
设 $V_1, V_2$ 为时间无关势函数，且满足 $V_j \in L^1(\mathbb{R}^n) \cap L^q(\mathbb{R}^n)$，其中：

• 当 $n=2$ 时，$q > 1$；
• 当 $n \ge 3$ 时，$q \ge n/2$。

若对应的初态到终态映射相等（$U_T^1 = U_T^2$），则势函数相等（$V_1 = V_2$ 几乎处处成立）。

关键突破：

• 将势函数的衰减条件从超指数/多项式衰减放宽至仅 $L^1$ 可积。
• 处理了临界奇异势（Critical Singular Potentials），即 $q = n/2$ 的情况（当 $n \ge 3$）。这是之前标准方法难以处理的“端点”情况。

3. 方法论与关键技术 (Methodology & Key Techniques)

证明过程主要分为三个步骤：构建特殊解、扩展正交关系、利用傅里叶变换恢复势函数。

3.1 构建定态解 (Construction of Stationary States)

为了从映射中提取 $V_1 - V_2$ 的信息，作者需要测试正交关系。由于物理解（$C([0, T]; L^2)$）不足以提取点态信息，作者构造了定态解（Stationary States）：
$$\psi(t, x) = e^{-i\lambda^2 t} (e^{-i\lambda \omega \cdot x} + w_{\text{cor}}(x))$$
其中 $e^{-i\lambda \omega \cdot x}$ 是自由薛定谔方程的平面波解，$w_{\text{cor}}$ 是修正项。

• 非端点情况 ($q > n/2$)：利用经典的 Kenig-Ruiz-Sogge (KRS) 预解式估计，证明算子 $Id - P_\lambda \circ V$ 在 $L^p$ 空间上是可逆的（通过 Neumann 级数），从而构造出修正项 $w_{\text{cor}}$。
• 临界端点情况 ($q = n/2, n \ge 3$)：这是本文的核心创新点。标准的 KRS 估计在 $q=n/2$ 时无法提供能量参数 $\lambda$ 的衰减因子，导致无法直接证明算子的小性。
  • 创新方法：作者引入了一组新的 Banach 空间尺度 ($X_\lambda$ 和 $X^*_\lambda$)，结合了 $L^{q'_n}$ 和 $L^{p'_n}$ 空间。
  • 通过精细的估计，证明了在临界情况下，算子 $P_\lambda \circ V$ 的范数随 $\lambda \to \infty$ 趋于 0，从而使得 Neumann 级数收敛，成功构造了临界奇异势下的定态解。

3.2 扩展 Alessandrini 型正交关系 (Extension of Orthogonality Relation)

通常的逆问题证明依赖于 Alessandrini 恒等式。对于物理解 $u, v$，有：
$$\int_\Sigma (V_1 - V_2) u v = 0$$
然而，构造的定态解 $\psi$ 不属于 $C([0, T]; L^2)$，不能直接代入。

• 技术难点：需要将正交关系从物理解扩展到定态解。
• 解决方案：作者利用分部积分公式（Integration by Parts identities）和逼近论证。通过引入截断函数和磨光算子，证明了即使对于 $L^p$ 类解，只要满足特定的边界条件（如 $u(0)=u(T)=0$），正交关系依然成立。这允许将定态解代入正交公式。

3.3 恢复势函数 (Recovery of the Potential)

利用扩展后的正交关系：
$$\int_\Sigma (V_1 - V_2) \psi_1 \psi_2 = 0$$
其中 $\psi_1, \psi_2$ 分别对应 $V_1, V_2$ 的定态解。

• 通过选取特定的频率 $\lambda$ 和方向 $\omega_1, \omega_2$（使得 $\lambda(\omega_1 - \omega_2) = \xi$），将积分转化为 $V_1 - V_2$ 的傅里叶变换 $\widehat{V_1 - V_2}(\xi)$ 加上误差项。
• 利用修正项 $w_{\text{cor}}$ 的衰减估计（在非端点情况下为 $O(\lambda^{-\alpha})$，在端点情况下为 $O(\lambda^{-1/(n+1)})$），证明当 $\lambda \to \infty$ 时，误差项趋于 0。
• 由此得出 $\widehat{V_1 - V_2}(\xi) = 0$ 对所有 $\xi$ 成立，进而 $V_1 = V_2$。

4. 与现有工作的对比 (Comparison with Previous Work)

特征	时间相关势函数 (Caro & Ruiz 等)	时间无关势函数 (本文)
衰减要求	超指数衰减 (Super-exponential decay)	$L^1$ 可积 (仅 $L^1$ decay)
奇异性	允许局部 $L^q$ 奇异性	允许 $L^q$ 奇异性，包含临界情况 $q=n/2$
解的构造	复几何光学解 (CGO)，含复指数增长项	定态解 (Stationary States)，纯振荡项 $e^{-i\lambda^2 t}$
核心工具	强衰减假设控制 CGO 修正项	改进的 KRS 预解式估计 + 新 Banach 空间
主要限制	需强衰减以抵消 CGO 解的增长	仅依赖时间无关性带来的振荡特性

关键区别：时间无关性使得解的主项是纯振荡的（模为 1），不需要像时间相关情况那样使用复指数增长项（Complex Geometrical Optics），从而避免了对势函数在无穷远处强衰减的依赖。

5. 意义与贡献 (Significance & Contributions)

1. 理论突破：解决了时间无关薛定谔方程逆问题中势函数正则性和衰减条件的长期限制。证明了即使势函数在无穷远处仅具有 $L^1$ 衰减且存在临界奇异性，初态到终态映射依然唯一确定势函数。
2. 技术革新：
   • 针对临界奇异势 ($q=n/2$) 提出了新的 Banach 空间构造和预解式估计，克服了经典 KRS 估计在端点失效的困难。
   • 成功将正交关系从物理解空间扩展到包含奇异势的定态解空间，展示了分部积分技术在处理非标准解空间时的灵活性。
3. 应用前景：该结果深化了对量子系统逆问题的理解，表明在更广泛的物理模型（包含强奇异性或长程弱衰减势）中，通过观测演化过程可以唯一重构系统参数。

总结

这篇文章通过精细的泛函分析工具（特别是改进的预解式估计和新的函数空间构造），在时间无关的框架下，极大地放宽了逆问题中势函数的假设条件，证明了在 $L^1 \cap L^q$ ($q \ge n/2$) 类势函数下的唯一性，是量子逆问题领域的重要进展。