[论文解读] Trace formulae for Schrodinger operators on metric graphs with applications to recovering matching conditions

Yulia Yu. Ershova, Alexander V. Kiselev|arXiv (Cornell University)|Mar 29, 2014

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

一句话总结

本文推导了具有δ型匹配条件的有限紧致度量图上薛定谔算子的迹公式，利用Weyl-Titchmarsh M函数的渐近展开。研究证明，若两个此类算子具有相同的谱（计入重数），则其耦合常数必须相等——从而实现了从谱数据唯一恢复匹配条件的结果。

ABSTRACT

The paper is a continuation of the study started in \cite{Yorzh1}. Schrodinger operators on finite compact metric graphs are considered under the assumption that the matching conditions at the graph vertices are of $δ$ type. Either an infinite series of trace formulae (provided that edge potentials are infinitely smooth) or a finite number of such formulae (in the cases of $L_1$ and $C^M$ edge potentials) are obtained which link together two different quantum graphs under the assumption that their spectra coincide. Applications are given to the problem of recovering matching conditions for a quantum graph based on its spectrum.

研究动机与目标

• 解决从谱数据唯一恢复量子图上匹配条件的逆谱问题。
• 将先前关于图拉普拉斯算子的结果推广至具有一般边势的薛定谔算子。
• 建立当两个薛定谔算子在相同图上谱相同时的迹公式。
• 研究边势光滑性对可获得的迹公式数量的影响。
• 在δ型匹配条件下，证明谱等价下耦合常数的唯一性。

提出的方法

• 利用度量图上薛定谔算子的边界三元组理论及广义Weyl-Titchmarsh M函数。
• 在负无穷远处推导M函数的渐近展开，对C^M或L1势函数，可捕获至M阶的谱信息。
• 通过令两个具有相同谱的算子的M函数行列式对数展开相等，构造迹公式。
• 依赖于M函数渐近展开的前两项与边势无关，从而将耦合常数的依赖关系分离出来。
• 将该方法应用于δ型和δ′-型匹配条件，后者以类似方式处理。
• 通过令行列式比值对数展开中系数为零，推导出迹恒等式。

实验结果

研究问题

• RQ1 当边势不一定光滑时，能否为具有δ型匹配条件的度量图上薛定谔算子推导出迹公式？
• RQ2 边势的光滑性如何影响可获得的、连接两个谱相同的算子的迹公式的数量？
• RQ3 能否从有限度量图上薛定谔算子的谱中唯一恢复顶点处的耦合常数？
• RQ4 M函数的渐近行为在多大程度上能独立于边势编码匹配条件的信息？
• RQ5 基于边界三元组和M函数渐近分析的方法能否推广至δ′-型匹配条件，并获得类似的唯一性结果？

主要发现

• 对于无限次光滑的边势，推导出无限多个迹公式，当两个薛定谔算子在相同图上谱相同时，这些公式建立其联系。
• 对于L1或C^M边势，仅存在有限个迹公式，且其数量随势函数光滑度的提高而增加。
• 第一个迹公式（s=1）简化为按耦合常数加权的顶点度数之和，与图拉普拉斯算子的结果一致。
• 当所有顶点的耦合常数相等时，谱相等意味着耦合常数相等：若σ(A_α̃) = σ(A_α)，则α̃ = α。
• 即使两个算子的边势不同，该结果仍然成立，因为M函数前两项渐近展开与势无关。
• 对δ′-型匹配条件也建立了类似的唯一性结果，表明在相同假设下，谱相等意味着耦合常数相等。