[论文解读] The Sturm--Liouville problem with singular potential and the extrema of the first eigenvalue

E. S. Karulina, А. А. Vladimirov|arXiv (Cornell University)|Jun 22, 2012

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

一句话总结

本文研究了在 $ L_1[0,1] $ 或推广至 $ W_2^{-1}[0,1] $ 的势函数下，具有狄拉克函数的奇异Sturm-Liouville问题的第一特征值的极值。在积分约束 $ \int_0^1 q\,dx = \pm 1 $ 下，推导出第一特征值的下确界和上确界的精确表达式，证明极值在特定势函数（包括狄拉克函数和分段常数函数）处达到，方法基于谱分析与变分法。

ABSTRACT

On the basis of the theory of Sturm--Liouville problem with distribution coefficients we get the infima and suprema of the first eigenvalue of the problem $-y" + (q-λ) y=0, y'(0) -k_0^2 y(0) = y'(1) + k_1^2 y(1) = 0$, where $q$ belongs to the set of constant-sign summable functions on $[0,1]$ such that $\int_0^1 q dx=\pm 1$.

研究动机与目标

• 确定在 $ L_1[0,1] $ 中奇异势函数且推广至 $ W_2^{-1}[0,1] $ 的Sturm-Liouville问题的第一特征值的下确界与上确界。
• 在约束 $ \int_0^1 q\,dx = \pm 1 $ 下，刻画达到这些极值的势函数，包括狄拉克函数。
• 通过包含非可 summable 势函数并证明在扩展函数空间中极值可达到，推广先前关于特征值极值问题的结果。
• 基于边界参数 $ k_0^2 $ 和 $ k_1^2 $，对极值特征值进行完整分类。

提出的方法

• 分析采用谱理论与变分法，研究Sturm-Liouville问题 $ -y'' + qy = \lambda y $ 在罗宾型边界条件下的第一特征值 $ \lambda_1(q) $。
• 作者将势函数类从 $ L_1[0,1] $ 扩展至 $ W_2^{-1}[0,1] $，该空间包含狄拉克函数 $ \delta_\zeta $，从而能够研究非可 summable 势函数。
• 关键方程涉及特征值条件 $ 1 - \alpha_\mu - \beta_\mu = \mu^{-1} $，其中 $ \alpha_\mu $ 和 $ \beta_\mu $ 通过 $ k_0^2/\sqrt{\mu} $ 和 $ k_1^2/\sqrt{\mu} $ 的反正切函数定义。
• 利用两区间特征值问题的连续正解的存在性，作为与 $ \delta_\zeta $ 势函数相关的极值特征值的判据。
• 该方法依赖于分析函数 $ F(\mu, \zeta) $，其刻画在 $ \zeta $ 处的跳跃条件，并确定何时存在 $ \zeta \in (0,1) $ 使得 $ F(\mu, \zeta) = -1 $。
• 通过分析特征值 $ \mu_0(\zeta) $ 和 $ \mu_1(\zeta) $ 的渐近性与单调性，确定跳跃问题存在连续正解的条件。

实验结果

研究问题

• RQ1 当 $ q \in L_1[0,1] $ 且 $ \int_0^1 q\,dx = 1 $ 时，Sturm-Liouville 问题的第一特征值的精确下确界与上确界为何？
• RQ2 当允许 $ q $ 为狄拉克函数或其他奇异分布时，$ \int_0^1 q\,dx = -1 $ 条件下第一特征值的精确下确界与上确界为何？
• RQ3 在何种 $ k_0^2 $ 与 $ k_1^2 $ 条件下，极值特征值在狄拉克函数 $ \delta_\zeta $ 处达到，又在何种条件下在分段常数势函数处达到？
• RQ4 当负势函数的第一特征值下确界在 $ \delta_0 $、$ \delta_1 $ 或 $ \delta_{1/2} $ 处达到时，其条件为何，且如何依赖于边界参数？
• RQ5 何种条件可保证跳跃问题 (12)–(13) 存在连续正解，该解刻画了负势函数的极值特征值？

主要发现

• 在 $ \int_0^1 q\,dx = 1 $ 条件下，第一特征值的上确界 $ M_1^+ $ 是方程 $ 1 - \alpha_\mu - \beta_\mu = \mu^{-1} $ 的唯一解，且在分段常数势函数 $ q^* $ 处达到，其中 $ q^* = M_1^+ $ 在区间 $ [\alpha_{M_1^+}, 1 - \beta_{M_1^+}] $ 上，其余位置为零。
• 在 $ \int_0^1 q\,dx = -1 $ 条件下，上确界 $ M_1^- $ 依赖于 $ k_0^2 $ 与 $ k_1^2 $：若 $ k_0^2 + k_1^2 \leq 1 $，则 $ M_1^- = k_0^2 + k_1^2 - 1 $，在结合 $ -k_0^2\delta_0 - k_1^2\delta_1 $ 与常数的势函数处达到。
• 若 $ k_1^2 - k_0^2 \geq 1 $，则 $ M_1^- $ 为边界条件修改后问题的第一特征值，且在 $ q^* = -\delta_1 $ 处达到。
• 在 $ \int_0^1 q\,dx = 1 $ 条件下，下确界 $ m_1^+ $ 为边界条件 $ y'(0) - k_0^2 y(0) = 0 $、$ y'(1) + (k_1^2 + 1)y(1) = 0 $ 对应问题的第一特征值，且在 $ q^* = \delta_1 $ 处达到。
• 在 $ \int_0^1 q\,dx = -1 $ 条件下，下确界 $ m_1^- $ 为 $ \lambda_1(-\delta_\zeta) $，当跳跃问题 (12)–(13) 存在连续正解时成立，该条件在 $ k_0^2 > 1/2 $ 或 $ k_0^2 = k_1^2 = 1/2 $ 时满足；否则 $ m_1^- = \lambda_1(-\delta_0) $。
• 当 $ k_0^2 = k_1^2 = 1/2 $ 时，$ m_1^- = -1/4 $，在任意 $ \zeta \in [0,1] $ 处由 $ q^* = -\delta_\zeta $ 达到，且该值对所有 $ \zeta $ 恒定。