[论文解读] Reconstruction of energy-dependent Sturm-Liouville equations from two spectra

Nataliya Pronska|arXiv (Cornell University)|May 21, 2012

Spectral Theory in Mathematical Physics参考文献 23被引用 4

一句话总结

本文提出了一种构造性算法，通过将问题约化为具有特殊势能的狄拉克算子的逆谱分析，实现了从两个谱（狄利克雷边界条件和混合边界条件）重构能量依赖的史图尔姆-刘易乌伊勒算子。关键贡献在于在最小光滑性假设下（包括分布和奇异势能）证明了重构的存在性与唯一性。

ABSTRACT

In this paper we study the inverse spectral problem of reconstructing energy-dependent Sturm-Liouville equations from two spectra. We give a reconstruction algorithm and establish existence and uniqueness of reconstruction. Our approach essentially exploits the connection between the spectral problems under study and those for Dirac operators of a special form.

研究动机与目标

• 在势能的正则性假设最小化的前提下，求解从两个给定谱重构能量依赖的史图尔姆-刘易乌伊勒方程的逆谱问题。
• 对于满足 $ p \in L_2(0,1) $ 和 $ q \in W_2^{-1}(0,1) $ 的能量依赖的史图尔姆-刘易乌伊勒算子，包括狄拉克函数等奇异性，建立重构的存在性与唯一性。
• 开发一种构造性算法，从狄利克雷和混合边界条件下问题的谱中恢复势能 $ p $ 及其原函数 $ r $。
• 通过将二次算子束与具有 $ h $-平移 AKNS 型势能的狄拉克算子联系起来，扩展二次算子束的逆谱理论。
• 提供一个适用于更广泛类别的逆问题的框架，涉及谱数据如谱和归一化常数或霍赫施塔特–利伯曼型混合数据。

提出的方法

• 将能量依赖的史图尔姆-刘易乌伊勒问题约化为一个二次算子束，并通过谱变换技术将其与具有特殊形式的狄拉克算子关联。
• 构造一个变换算子，将具有 $ h $-平移 AKNS 形式的势能 $ Q $ 的狄拉克算子与一个典型狄拉克算子联系起来，同时保持谱数据不变。
• 利用狄拉克算子的逆谱理论，从给定的谱 $ \bm{\mu} $ 和 $ \bm{\lambda} \cup \{\mu_*\} $（其中 $ \mu_* = (\mu_0 + \mu_1)/2 $）重构势能 $ Q $。
• 通过关系式 $ p = (p_{22} + p_{11})/2 $，$ r = -p_{12} - \int_x^1 (p_{12}^2 - p_{11}p_{22}) \, dx $，将重构后的狄拉克势能 $ Q $ 映射回原始的史图尔姆-刘易乌伊勒参数 $ p $ 和 $ r $。
• 建立具有势能 $ P $ 和 $ Q $ 的狄拉克算子之间的等谱性，并利用等谱集 $ \operatorname{Iso}(Q) $ 的唯一性，唯一地恢复 $ P $。
• 利用谱的近乎交错性质确保算子束的双曲性，从而验证逆方法所要求的假设。

实验结果

研究问题

• RQ1 在对 $ p $ 和 $ q $ 的光滑性假设最小化的前提下，能量依赖的史图尔姆-刘易乌伊勒算子能否从两个谱唯一重构？
• RQ2 此类算子的逆谱问题如何约化为具有特殊势能的狄拉克算子的等价问题？
• RQ3 何种谱条件可确保在分布势能和奇异性存在的情况下，重构的存在性与唯一性？
• RQ4 是否存在一种构造性算法，可从狄利克雷和混合边界条件下两个给定谱中恢复势能 $ p $ 及其原函数 $ r $？
• RQ5 该方法能否扩展至涉及不同谱数据（如谱和归一化常数）的其他逆问题？

主要发现

• 对于满足 $ p \in L_2(0,1) $ 和 $ q \in W_2^{-1}(0,1) $ 的能量依赖的史图尔姆-刘易乌伊勒方程，其逆谱问题可从两个谱（狄利克雷和混合边界条件）唯一求解。
• 通过将问题转化为具有 $ h $-平移 AKNS 型势能的狄拉克算子的逆谱问题，构建了完整的重构算法。
• 通过构造一个势能 $ Q \in \mathcal{Q}_h $，使得谱 $ \bm{\mu} $ 和 $ \bm{\lambda} \cup \{\mu_*\} $ 由相应的狄拉克算子实现，从而确立了解的存在性。
• 唯一性源于等谱集 $ \operatorname{Iso}(Q) $ 的唯一性，且 $ P \in \mathcal{P}_{\mu_*} \cap \operatorname{Iso}(Q) $ 由谱数据唯一确定。
• 该方法适用于具有奇异性（如狄拉克函数和类库仑奇异性）的势能，将先前结果推广至更广泛的分布类。
• 重构过程是算法化的：给定两个交错的谱，可通过从狄拉克势能 $ P $ 导出的显式公式计算 $ p $ 和 $ r $。