[论文解读] A non-overdetermined inverse problem of finding the potential from the spectral function

А. Г. Рамм|arXiv (Cornell University)|Nov 20, 2000

Numerical methods in inverse problems参考文献 9被引用 4

一句话总结

该论文在所有薛定谔算子 $ L = -\nabla^2 + q(x) $ 的特征值均为单重的假设下，证明了在有界区域 $ D \subset \mathbb{R}^n $（$ n \geq 3 $）中，光滑实值势函数 $ q(x) $ 可由边界 $ S $ 上的谱函数 $ \theta(s,s,\lambda) $ 唯一确定。该结果通过表明边界谱函数数据可唯一重构势函数，解决了非过定的逆问题。

ABSTRACT

Let $D\subset \R^n$, $n\geq 3,$ be a bounded domain with a $C^{\infty}$ boundary $S$, $L=- abla^2+q(x)$ be a selfadjoint operator defined in $H=L^2(D)$ by the Neumann boundary condition, $ heta(x,y,\lambda)$ be its spectral function, $ heta(x,y,\lambda):=\ds\sum_{\lambda_j<\lambda} \phi_j(x)\phi$ where $L\phi_j=\lambda_j\phi_j$, $\phi_{j N}|_S=0,$ $\|\phi_j\|_{L^2(D)}=1$, $j=1,2,...$. The potential $q(x)$ is a real-valued function, $q\in C^\infty(D)$. It is proved that $q(x)$ is uniquely determined by the data $ heta(s,s,\lambda) \forall s\in S$, $\forall \lambda\in \R_+$ if all the eigenvalues of $L$ are simple.

研究动机与目标

• 研究在非过定设置下，从谱数据重构势函数 $ q(x) $ 的逆问题。
• 确定边界 $ S $ 上的谱函数 $ \theta(s,s,\lambda) $ 是否能唯一确定域内的势函数 $ q(x) $。
• 在薛定谔算子的所有特征值均为单重的条件下，建立唯一性结果。
• 为具有诺伊曼边界条件的薛定谔算子的逆谱理论做出贡献。

提出的方法

• 该方法依赖于谱函数 $ \theta(x,y,\lambda) = \sum_{\lambda_j < \lambda} \phi_j(x)\phi_j(y) $，其中 $ \phi_j $ 是满足诺伊曼边界条件的算子 $ L = -\nabla^2 + q(x) $ 的归一化特征函数。
• 分析聚焦于边界上 $ s \in S $、$ \lambda \in \mathbb{R}_+ $ 的对角值 $ \theta(s,s,\lambda) $，作为唯一输入数据。
• 证明利用了所有特征值 $ \lambda_j $ 的单重性，以确保特征函数 $ \phi_j $ 仅在符号上唯一，从而实现谱数据的重构。
• 关键步骤在于证明边界值 $ \theta(s,s,\lambda) $ 包含足够信息，可通过逆谱技术重构势函数 $ q(x) $。

实验结果

研究问题

• RQ1 在边界上，势函数 $ q(x) $ 是否能从谱函数 $ \theta(s,s,\lambda) $ 的边界值唯一恢复？
• RQ2 谱数据的何种条件可确保边界上的谱数据足以唯一重构 $ q(x) $？
• RQ3 特征值的单重性如何影响逆问题的唯一性？
• RQ4 当仅使用边界上的 $ \theta(s,s,\lambda) $ 时，逆问题是否为非过定的？
• RQ5 诺伊曼边界条件在势函数重构唯一性中起到何种作用？

主要发现

• 在 $ L $ 的所有特征值均为单重的假设下，势函数 $ q(x) $ 可由所有 $ s \in S $ 和所有 $ \lambda \in \mathbb{R}_+ $ 的数据 $ \theta(s,s,\lambda) $ 唯一确定。
• 谱函数 $ \theta(x,y,\lambda) $ 在边界上对角线的限制，提供了重构 $ D $ 内部 $ q(x) $ 所需的充分信息。
• 唯一性结果适用于光滑势函数 $ q \in C^\infty(D) $ 以及具有 $ C^\infty $ 边界的区域 $ D \subset \mathbb{R}^n $（$ n \geq 3 $）。
• 诺伊曼边界条件在定义自伴算子 $ L $ 中至关重要，且边界数据 $ \theta(s,s,\lambda) $ 源于满足该条件的特征函数。
• 由于数据集 $ \theta(s,s,\lambda) $ 由 $ s \in S $ 和 $ \lambda \in \mathbb{R}_+ $ 参数化，其自由度与在单重性假设下势函数 $ q(x) $ 的自由度相匹配，从而确保了不过定。
• 该结果表明，尽管边界谱数据 $ \theta(s,s,\lambda) $ 并非完整的谱测度，但仍包含关于势函数的全部信息。