[论文解读] On the norming constants of the Sturm-Liouville problem

Tigran Harutyunyan, Avetik Pahlevanyan|arXiv (Cornell University)|Aug 19, 2016

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

一句话总结

本文推导了可 summable 位势的 Sturm-Liouville 问题的范数常数的新渐近公式，通过引入边界条件的光滑依赖性，改进了先前的结果。主要贡献在于对范数常数 $ a_n $ 和 $ b_n $ 给出了精确的渐近展开，包含 $ O(1/n^2) $ 余项，并证明了相关谱函数的绝对连续性，从而确立了边界条件变化下谱数据的新正则性性质。

ABSTRACT

We derive new asymptotic formulae for the norming constants of Sturm-Liouville problem with summable potentials, which generalize and make more precise previously known formulae. Moreover, our formulae take into account the smooth dependence of norming constants on boundary conditions. We also find some new properties of the remainder terms of asymptotics.

研究动机与目标

• 推导可 summable 位势的 Sturm-Liouville 问题范数常数的改进渐近展开。
• 分析范数常数对边界条件 $ \alpha $ 和 $ \beta $ 的光滑依赖性，此前尚未系统研究过。
• 建立谱数据的新正则性性质，特别是由谱系数导出的函数的绝对连续性。
• 通过包含高阶项和精确余项估计，改进并推广先前已知的渐近公式。

提出的方法

• 利用位势 $ q \in L^1_{\mathbb{R}}[0,\pi] $ 的 Sturm-Liouville 方程解的行为，推导特征函数和范数常数的渐近展开。
• 引入量 $ \ae_n(q,\alpha,\beta) = -\frac{1}{2}\int_0^\pi (\pi - t)q(t)\sin[2(n + \delta_n)\tau]dt $ 作为范数常数展开中的关键项。
• 使用傅里叶级数技术分析谱函数 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $，证明其在 $ (0, 2\pi) $ 上的绝对连续性。
• 应用 $ \delta_n(\alpha,\beta) $ 的渐近展开，包括 $ \delta_n = \frac{\cot\beta - \cot\alpha}{\pi n} + O(1/n^2) $，以控制其对边界条件的依赖性。
• 使用基于 $ L^2 $ 的估计和余项 $ r_n, \tilde{r}_n, p_n, \tilde{p}_n $ 的 $ O(1/n^2) $ 有界性，确保在 $ \alpha, \beta $ 和 $ q $ 从有界 $ L^1 $ 集中的一致收敛性。
• 通过将谱函数分解为 $ l_1, l_2, l_3 $，利用 $ \tilde{\sigma} \in AC[0,2\pi] $ 的傅里叶系数衰减估计，证明 $ k(x) $ 的绝对连续性。

实验结果

研究问题

• RQ1 当 $ q \in L^1_{\mathbb{R}}[0,\pi] $ 时，Sturm-Liouville 问题的范数常数如何对边界条件 $ \alpha $ 和 $ \beta $ 光滑依赖，尤其是？
• RQ2 特征函数 $ \varphi_n $ 和 $ \psi_n $ 的 $ L^2 $-范数的精确渐近行为是什么？是否可以显式捕捉高阶项？
• RQ3 能否证明谱函数 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ 在 $ (0, 2\pi) $ 上的绝对连续性？
• RQ4 范数常数渐近展开中余项的最优衰减速率是什么？是否能在 $ \alpha, \beta $ 和 $ q $ 上一致有界？

主要发现

• 范数常数 $ a_n(q,\alpha,\beta) $ 的渐近公式包含主导项 $ \frac{\pi}{2} $，一个与 $ \frac{\ae_n}{n + \delta_n} $ 成比例的修正项，以及一个余项 $ r_n = O(1/n^2) $，在 $ \alpha, \beta \in [0,\pi] $ 和 $ q \in BL^1_{\mathbb{R}}[0,\pi] $ 上一致成立。
• 类似地，$ b_n(q,\alpha,\beta) $ 也具有相同的 $ O(1/n^2) $ 余项渐近展开，分别显式捕捉了对 $ \sin^2\beta $ 和 $ \cos^2\beta $ 的依赖性。
• 函数 $ k(x) = \sum_{n=2}^\infty \frac{\ae_n}{n + \delta_n} \cos[(n + \delta_n)x] $ 在 $ (0, 2\pi) $ 上是绝对连续的，这是在边界条件变化下谱数据的新正则性结果。
• 当 $ \alpha, \beta \in (0,\pi) $ 时，$ k_2(x) $ 分解为 $ l_1, l_2, l_3 $，所有分量均属于 $ AC[0,2\pi] $，其依据是 $ \tilde{\sigma} \in AC[0,2\pi] $ 及其傅里叶系数的 $ O(1/n) $ 衰减。
• 在特殊情形 $ \alpha = \pi, \beta = 0 $ 时，函数 $ k_2(x) $ 退化为一个绝对连续函数的傅里叶余弦级数，从而确认 $ k \in AC(0,2\pi) $。
• 余项 $ r_n, \tilde{r}_n, p_n, \tilde{p}_n $ 全部有界于 $ O(1/n^2) $，优于早期估计，并确保在边界条件和位势上的统一收敛性。