[论文解读] On periodic boundary value problem for the Sturm-Liouville operator

A. S. Makin|arXiv (Cornell University)|Jan 18, 2006

Spectral Theory in Mathematical Physics被引用 3

一句话总结

本文研究了具有周期性或反周期性边界条件的Sturm-Liouville算子的特征函数的Riesz基性质。基于其Fourier系数 $ \alpha_n $ 和 $ \beta_n $ 的衰减性与比值，本文建立了对 $ q(x) \in L_1(0,1) $ 的势函数的充分条件，以判断根系是否构成 $ L_2(0,1) $ 中的Riesz基。关键结果是一个二分法：在 $ \alpha_n $ 和 $ \beta_n $ 的特定增长条件下，该系统要么是Riesz基（定理1），要么根本不是基（定理2）。

ABSTRACT

We consider the Sturm-Liouville operator Lu=u''-q(x)u with periodic or antiperiodic boundary conditions. It is shown that depending of Fourier coefficients of the potential q(x) the system of root functions may have or may not have the basis property.

研究动机与目标

• 确定Sturm-Liouville算子的特征函数与关联函数系在 $ L_2(0,1) $ 中构成Riesz基的必要与充分条件。
• 分析当势函数 $ q(x) $ 为复值且可积时，具有周期性或反周期性边界条件的Sturm-Liouville算子的谱性质。
• 刻画使得根系构成Riesz基的势函数 $ q(x) \in L_1(0,1) $ 的集合，并研究该集合在 $ L_1(0,1) $ 中的稠密性。
• 基于 $ q(x) $ 的Fourier系数 $ \alpha_n $ 和 $ \beta_n $ 的渐近行为，建立基与非基性质之间的二分法。

提出的方法

• 定义具有周期性或反周期性边界条件的Sturm-Liouville算子 $ Lu = u'' - q(x)u $。
• 通过其Fourier系数 $ \alpha_n = \int_0^1 q(x) e^{2\pi i n x} dx $ 和 $ \beta_n = \int_0^1 q(x) e^{-2\pi i n x} dx $ 表达势函数 $ q(x) $。
• 对 $ q(x) $ 施加光滑性与周期性条件：$ q \in W_1^m[0,1] $，且对 $ j = 0, \dots, m-1 $，有 $ q^{(j)}(0) = q^{(j)}(1) $。
• 分析 $ \alpha_n $ 与 $ \beta_n $ 的渐近衰减，特别针对偶数或奇数 $ n $，依边界条件情形而定。
• 利用比值 $ |\alpha_n / \beta_n| $ 与衰减率 $ |\alpha_n| > c_0 / n^{m+1} $ 来分类特征函数系的基性质。
• 构造满足定理2条件的势函数显式例子，以展示非基行为。

实验结果

研究问题

• RQ1 在 $ q(x) $ 的Fourier系数 $ \alpha_n $ 与 $ \beta_n $ 满足何种条件下，具有周期性或反周期性边界条件的Sturm-Liouville算子的特征函数系在 $ L_2(0,1) $ 中构成Riesz基？
• RQ2 即使势函数 $ q(x) $ 光滑且周期，其特征函数系是否仍可能不构成基？
• RQ3 $ \alpha_n $ 与 $ \beta_n $ 的衰减速率及其相对大小如何影响根系的基性质？
• RQ4 使得系统构成Riesz基的势函数集合在 $ L_1(0,1) $ 中是否稠密？其补集的拓扑结构如何？
• RQ5 能否构造出显式例子，使得尽管势函数光滑且周期，其特征函数系仍不构成基？

主要发现

• 若对所有充分大的偶数（情形1，周期）或奇数（情形2，反周期）$ n $，有 $ |\alpha_n| > c_0 / n^{m+1} $ 且 $ 0 < c_1 < |\alpha_n / \beta_n| < c_2 $，其中 $ c_0 > 0 $，则特征函数与关联函数系 $ \{u_n(x)\} $ 在 $ L_2(0,1) $ 中构成Riesz基。
• 若存在一列偶数（情形1）或奇数（情形2）指标 $ n_k $，使得 $ |\alpha_{n_k}| > c_0 / n_k^{m+1} $，$ |\beta_{n_k}| > c_0 / n_k^{m+1} $，且 $ |\alpha_{n_k}/\beta_{n_k}| + \left|\beta_{n_k}/\alpha_{n_k}\right| \to \infty $，则系统 $ \{u_n(x)\} $ 在 $ L_2(0,1) $ 中不是基。
• 显式构造的势函数 $ q(x) = \sum_{n=1}^\infty \gamma_n \left( \frac{e^{2\pi i n x}}{n^{\varepsilon_1}} + \frac{e^{-2\pi i n x}}{n^{\varepsilon_2}} \right) $，其中 $ 0 < \varepsilon_1 < \varepsilon_2 < 1 $，且当 $ n = 2^p $（情形1）或 $ n = 2^p + 1 $（情形2）时 $ \gamma_n = 1 $，满足定理2的条件，因此产生非基系统。
• 使得系统构成Riesz基的势函数集合 $ Q $ 在 $ L_1(0,1) $ 中稠密，其补集 $ \bar{Q} $ 同样稠密，表明在 $ L_1(0,1) $ 中，基与非基势函数均具有拓扑稠密性。
• 结果建立了严格的二分法：基的性质关键取决于Fourier系数 $ \alpha_n $ 与 $ \beta_n $ 的相对衰减与增长，尤其是其比值。
• 定理在势函数的谱数据（Fourier系数）层面，完整刻画了Riesz基性质，扩展了经典谱展开结果。