[论文解读] The inverse problem for perturbed harmonic oscillator on the half-line

Dmitry Chelkak, Evgeny Korotyaev|ArXiv.org|Aug 29, 2005

Spectral Theory in Mathematical Physics参考文献 13被引用 3

一句话总结

本文解决了半直线上带狄利克雷边界条件的扰动谐振子的逆谱问题，证明了谱数据——包括特征值和一组修正的范数常数——唯一确定了势函数 $ q \in \mathbf{H}_+ $。关键贡献在于引入了变换坐标 $ \{r_{2n+1}\} \in \ell^{2}_{3/4} $，作为势函数空间的独立实解析坐标，从而实现了对允许谱数据的完整刻画。

ABSTRACT

We consider the perturbed harmonic oscillator $T_Dψ=-ψ''+x^2ψ+q(x)ψ$, $ψ(0)=0$ in $L^2(R_+)$, where $q\in H_+=\{q', xq\in L^2(R_+)\}$ is a real-valued potential. We prove that the mapping $q\mapsto{ m spectral data}={ m \{eigenvalues of\}T_D{ m \}}\oplus{ m \{norming constants\}}$ is one-to-one and onto. The complete characterization of the set of spectral data which corresponds to $q\in H_+$ is given. Moreover, we solve the similar inverse problem for the family of boundary conditions $ψ'(0)=b ψ(0)$, $b\in R$.

研究动机与目标

• 求解半直线上带狄利克雷边界条件 $ \psi(0) = 0 $ 的扰动谐振子算子 $ T_D = -\psi'' + x^2\psi + q(x)\psi $ 的逆问题。
• 刻画属于类 $ \mathbf{H}_+ = \{ q : q', xq \in L^2(\mathbb{R}_+) \} $ 的势函数所对应的谱数据集合——包括特征值和范数常数。
• 在 $ \mathbf{H}_+ $ 与谱数据之间建立一一对应且满射的映射，包括引入范数常数的新型变换以确保其独立性与可积性。
• 将逆谱理论推广至罗宾型边界条件族 $ \psi'(0) = b\psi(0) $，$ b \in \mathbb{R} $ 的情形。

提出的方法

• 通过将原始 $ \{s_{2n+1}\} $ 变换为一组修正的范数常数 $ \{r_{2n+1}\} $，确保其属于 $ \ell^{2}_{3/4} $。
• 利用未扰动谐振子的特征函数与特征值的渐近分析，推导出以 $ q $ 的傅里叶系数表示的摄动展开式。
• 采用谱映射方法，将 $ \{\mu_{2n+1}(q)\} $、$ q(0) $ 和 $ \{r_{2n+1}(q)\} $ 视为势函数空间中的独立坐标。
• 建立 $ \mathbf{H}_+ $ 与乘积空间 $ \mathcal{S}_D \times \mathbb{R} \times \ell^{2}_{3/4} $ 之间的实解析微同胚，确保双射性与光滑性。
• 通过 $ L^2 $-范数估计与特征函数乘积的渐近衰减性，严格证明摄动展开中关键双重和的收敛性。
• 将逆问题推广至族 $ \{T_b\}_{b \in \mathbb{R}} $，推导出 $ b $ 关于谱数据的显式表达式（定理 2.5）。

实验结果

研究问题

• RQ1 能否从狄利克雷特征值和范数常数唯一重构势函数 $ q \in \mathbf{H}_+ $？
• RQ2 对于 $ q \in \mathbf{H}_+ $，谱数据（包括特征值和附加数据）的完整刻画是什么？
• RQ3 如何重新定义范数常数，使其成为势函数空间中的独立坐标？
• RQ4 从 $ \mathbf{H}_+ $ 到谱数据的逆谱映射是否为实解析微同胚？
• RQ5 逆问题能否推广至完整的罗宾型边界条件族 $ \psi'(0) = b\psi(0) $，若能，$ b $ 如何由谱数据确定？

主要发现

• 映射 $ q \mapsto \{\text{算子 } T_D \text{ 的特征值}\} \cup \{\text{范数常数}\} $ 对于 $ q \in \mathbf{H}_+ $ 是一一对应且满射的。
• 标准范数常数 $ \{s_{2n+1}\} $ 由于缺乏独立性与可积性，不适合作为坐标系；因此引入了一组变换后的 $ \{r_{2n+1}\} $。
• 变换后的坐标 $ \{r_{2n+1}\} $ 属于 $ \ell^{2}_{3/4} $，确保其行为良好且与特征值无关。
• 谱映射 $ q \mapsto \left(\{\mu_{2n+1}(q)\}, q(0), \{r_{2n+1}(q)\}\right) $ 是 $ \mathbf{H}_+ $ 与 $ \mathcal{S}_D \times \mathbb{R} \times \ell^{2}_{3/4} $ 之间的实解析微同胚。
• 解决了族 $ \{T_b\}_{b \in \mathbb{R}} $ 的逆问题，给出了 $ b $ 关于谱数据的显式公式（定理 2.5）。
• 关键双重和 $ S_k \to 0 $ 当 $ k \to \infty $ 的收敛性得到严格证明，这对摄动分析与谱映射至关重要。