[论文解读] Recovering Differential Operators with Nonseparated Boundary Conditions in the Central Symmetric Case

Vjacheslav Yurko|arXiv (Cornell University)|Jan 13, 2016

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

一句话总结

本文解决了在 [0, π] 上具有非分离边界条件的 Sturm-Liouville 算子的逆谱问题，且在中心对称条件下，其中势函数 q(x) 满足 q(x) = q(π−x)。本文提供了可解性的必要与充分条件，并构建了从谱数据（包括特征值和辅助序列 η）重构 q、a 和 b 的算法。主要贡献在于对对称情况下谱的完整表征以及重构的唯一性，将先前结果推广至非分离条件，并提高了可验证性。

ABSTRACT

Inverse spectral problems for Sturm-Liouville operators on a finite interval with non-separated boundary conditions are studied in the central symmetric case, when the potential is symmetric with respect to the middle of the interval. We discuss statements of the problems, provide algorithms for their solutions along with necessary and sufficient conditions for the solvability of the inverse problems considered.

研究动机与目标

• 解决具有非分离边界条件的 Sturm-Liouville 算子的逆谱问题，此类问题比分离情况更复杂。
• 研究中心对称情形，其中势函数满足 q(x) = q(π−x)，从而减少所需的谱信息。
• 为在该对称性下的逆问题可解性提供必要与充分条件。
• 从谱数据出发，构建势函数与边界参数的显式重构算法。
• 将现有关于周期型与 Dirichlet 型问题的结果推广至在对称性下的非分离边界条件。

提出的方法

• 使用 Sturm-Liouville 方程 y'' + q(x)y = λy 的基本解 C(x,λ)、S(x,λ) 和 ψ(x,λ)。
• 通过阶为 1/2 的整函数，定义特征函数 Δ(λ)、p(λ) 和 p⁺(λ)，以将谱数据与势函数关联。
• 引入 η 序列以编码边界条件的信息，尤其针对非分离情形。
• 利用谱数据（特征值 μₙ 和 ηₙ）重构 L₂′(0,π) 中的势函数 q(x) 与参数 a、b。
• 通过 Wronskian 结构与特征值的渐近行为，推导出可解性的必要与充分条件。
• 采用共形映射与谱间隙分析，验证重构的完备性与唯一性。

实验结果

研究问题

• RQ1 在中心对称条件下，是否可以求解具有非分离边界条件的 Sturm-Liouville 算子的逆谱问题？
• RQ2 在对称情形下，哪些谱数据足以唯一重构势函数与边界参数？
• RQ3 特征值与间隙的渐近性质如何约束逆问题的可解性？
• RQ4 η 序列在表征谱与确保唯一性方面起什么作用？
• RQ5 能否为非分离条件形式化出可验证的可解性必要与充分条件？

主要发现

• 非分离边值问题的特征值 μₙ 满足 μₙ = n² + π⁻¹(h + (−1)ⁿ⁺¹4b) + κₙ，其中 {κₙ} ∈ l₂，且 h = 4a + ∫₀^π q(t)dt。
• 谱的特征函数 r(λ) 由特征值唯一确定，表达式为 r(λ) = π(λ−μ₀)∏ₙ=1^∞ (μₙ−λ)/n²。
• η 序列定义为 ηₙ = sign(|θ′(π,νₙ)| − |b|)，属于 J′，且对所有 n > N 有 ηₙ = 1，从而保证稳定性与唯一性。
• 逆问题可解性的必要与充分条件由渐近行为 (26) 与谱间隙上 |r(λ)| 的最大值条件 (28) 给出。
• 从谱数据 μₙ 与 ηₙ 可唯一确定势函数 q(x) ∈ L₂′(0,π) 与参数 a、b。
• 该方法仅使用谱与 η 序列即可实现势函数与边界参数的完整重构，从而在对称情形下降低了数据需求。