[论文解读] Spectral functions of the simplest even order ordinary differential operator

Anton A. Lunyov|arXiv (Cornell University)|Oct 2, 2013

Spectral Theory in Mathematical Physics参考文献 2被引用 5

一句话总结

本文通过边界三元组和威爾-特奇馬什函数，推导出最小对称微分算子 $ A = (-1)^n \frac{d^{2n}}{dx^{2n}} $ 在 $ L^2(0,\infty) $ 上的弗里德里希斯与克雷因扩张的谱函数的显式表达式。研究建立了特征矩阵与谱函数的闭式公式，其形式涉及范德蒙德型行列式及 $ -\lambda $ 的复根，为这两种典型自伴扩张提供了完整的谱刻画。

ABSTRACT

We consider the minimal differential operator A generated in $L^2(0,\infty)$ by the differential expression $l(y) = (-1)^n y^{(2n)}$. Using the technique of boundary triplets and the corresponding Weyl functions, we find explicit form of the characteristic matrix and the corresponding spectral function for the Friedrichs and Krein extensions of the operator A.

研究动机与目标

• 确定由 $ (-1)^n y^{(2n)} $ 在 $ L^2(0,\infty) $ 上生成的最小对称算子的弗里德里希斯与克雷因扩张的谱函数。
• 应用边界三元组与威爾-特奇馬什函数的现代框架，比经典方法更高效地推导这些谱函数。
• 为这些扩张的特征矩阵与谱函数提供显式、闭式表达式。
• 通过 $ x=0 $ 处导数的形式，阐明定义弗里德里希斯与克雷因扩张的边界条件。
• 建立一个涉及 $ C_k $ 系数与三角函数的非平凡恒等式，提示其背后存在更深层的代数结构。

提出的方法

• 利用具有相等亏数指标的对称算子的边界三元组理论 $ \Pi = \{\mathcal{H}, \Gamma_0, \Gamma_1\} $。
• 依赖于边界三元组的威爾-特奇馬什函数 $ M(\lambda) $ 与相应自伴扩张的特征矩阵一致的事实。
• 通过在 $ x=0 $ 处具有特定渐近行为的齐次方程 $ l(y) = 0 $ 的解，构造最小算子 $ A $ 的边界三元组。
• 利用基本解系 $ \{y_j(x,\lambda)\} $ 及其威爾-特奇馬什解，定义边界映射 $ \Gamma_0, \Gamma_1 $。
• 应用史蒂尔杰斯反演公式，通过 $ y \downarrow 0 $ 时威爾-特奇馬什函数 $ M(\lambda) $ 的虚部恢复谱函数 $ \sigma(t) $。
• 运用复分析与根式提取：$ \sqrt[2n]{-\lambda} = r^{1/2n} e^{i(\varphi - \pi)/(2n)} $，其中 $ \lambda = re^{i\varphi} $，$ 0 < \varphi < \pi $。

实验结果

研究问题

• RQ1 弗里德里希斯扩张的算子 $ A = (-1)^n \frac{d^{2n}}{dx^{2n}} $ 在 $ L^2(0,\infty) $ 上的谱函数的显式形式是什么？
• RQ2 克雷因扩张如何通过边界条件表征，其谱函数如何推导？
• RQ3 这些扩张的威爾-特奇馬什函数与谱函数之间的关系是什么？如何通过边界三元组技术计算？
• RQ4 能否从谱数据中推导出涉及系数 $ C_k $ 与三角函数的非平凡恒等式？
• RQ5 谱函数在 $ t \geq 0 $ 范围内的幂律行为与支集有何差异？

主要发现

• 弗里德里希斯扩张的谱函数 $ \sigma_F(t) $ 是一个矩阵值函数，其元素与 $ t^{(2n+1+j+k)/(2n)} $ 成比例，通过系数 $ C_j $ 与三角函数项显式定义。
• 弗里德里希斯扩张的特征矩阵为 $ M_F(\lambda) = \left( \frac{-C_j C_k}{\sin((j+k+1)\alpha)} \left( \sqrt[2n]{-\lambda} \right)^{j+k+1} \right)_{j,k=0}^{n-1} $，其中 $ \alpha = \pi/(2n) $。
• 克雷因扩张由边界条件 $ y^{(n)}(0) = \cdots = y^{(2n-1)}(0) = 0 $ 表征，其特征矩阵为 $ M_K(\lambda) = \left( \frac{-C_j C_k}{\sin((j+k+1)\alpha)} \left( \frac{-1}{\sqrt[2n]{-\lambda}} \right)^{j+k+1} \right)_{j,k=0}^{n-1} $。
• 克雷因扩张的谱函数 $ \sigma_K(t) $ 在 $ t \geq 0 $ 时为 $ \frac{2n}{\pi} \left( (-1)^{j+k} \frac{C_j C_k}{2n-1-j-k} t^{(2n-1-j-k)/(2n)} \right)_{j,k=0}^{n-1} $，其余为零。
• 本文推导出一个非平凡恒等式：$ \sum_{p=0}^{n-1} \frac{(-1)^{p+k} C_j C_p^2 C_k}{\sin((j+p+1)\alpha)\sin((p+k+1)\alpha)} = \delta_{jk} $，提示谱表示中的正交性。
• 通过史蒂尔杰斯反演公式证明谱函数是良定义的，其收敛性由 $ M_K(x+iy) $ 虚部的衰减速率 $ |x|^{-1 + 1/(2n)} $ 保证。