[论文解读] Sturm-Liouville problems with a boundary condition depending bilinearly on an eigenparameter

Yagub N. Aliyev, Narmin N. Aliyeva|arXiv (Cornell University)|Mar 16, 2026

Spectral Theory in Mathematical Physics被引用 0

一句话总结

本文分析在区间 (0,1) 上的 Sturm-Liouville 边值问题，其中一个边界条件中存在双线性特征值参数依赖；给出本征函数的显式内积与范数，并在 Lp 空间中建立根函数系的极小性与基性质。

ABSTRACT

This paper studies a Sturm--Liouville boundary value problem in which one of the boundary conditions depends bilinearly on the spectral parameter. The differential equation is considered on the interval $(0,1)$ with a classical boundary condition at one endpoint and an eigenparameter--dependent boundary condition at the other. Explicit formulas for the inner products and norms of eigenfunctions are obtained. These relations make it possible to analyze the structure of the system of root functions and the corresponding biorthogonal system. Using these results, the minimality of the system of root functions in $L_2(0,1)$ is established. Furthermore, the basis properties of the system of root functions in the spaces $L_p(0,1)$, $1

研究动机与目标

• 在 (0,1) 上给出一个依赖于特征值的双线性边界条件的 Sturm-Liouville 问题的动机与形式化；
• 推导本征函数及相关函数的内积和范数的显式表达式；
• 分析根函数系及其双正交伴函数的结构；
• 在 L2(0,1) 中建立根系统的极小性，并在 1<p<∞ 的 Lp(0,1) 中研究基性质；
• 给出根函数系统成为基的必要充分条件；
• 讨论包括多重特征值与临界值 −d/c 的特殊情形。

提出的方法

• 利用拉格朗日恒等式将本征函数的内积与边值处的边界量联系起来，避免特征函数方法；
• 对于 λ_n, λ_m ≠ −d/c 的情形以及 λ_n = −d/c 的情形，显式计算 (y_n, y_m)，得到公式 (2.4)–(2.5) 与推论 (2.9)；
• 在简单特征值和多重特征值情形下推导范数关系（2.13）–(2.15)，并定义量 B_n（2.16）以区分简单实特征值；
• 构造并使用一阶与二阶相关函数 y_{k+1}, y_{k+2}，给出明确的递推关系及内积（3.1）–(4.6)；
• 构建特殊相关函数 y_{k+1}*, y_{k+1}# 与 y_{k+2}*, y_{k+2}#，以获得明确的必要充分基条件（第 5–6 节）；
• 定义并使用辅助记号 A(y_n), A(y_{k+1}), A(y_{k+2})（第 7 节）以表达实部简单和高重多谱情形下的基准则。

实验结果

研究问题

• RQ1 在带有边界处双线性特征参数依赖的 Sturm-Liouville 问题中，本征函数与相关函数的内积与范数的显式表达式为何？
• RQ2 这些表达式如何影响根函数系及其在 L2(0,1) 与 1<p<∞ 的 Lp(0,1) 中的双正交系统结构？
• RQ3 在何种条件下根函数系在 L2(0,1) 中具有极小性，何时在 Lp(0,1) 中形成基？
• RQ4 特征值的重数和临界谱值 λ = −d/c 对基性质有何影响，是否能在谱的对称性上建立结论？

主要发现

• 本征函数满足显式内积公式：(y_n, y_m) = −(ad − bc) y_n(1) overline{y_m(1)} / [(cλ_n + d)(c overline{λ_m} + d)]，大部分情形；当 λ_n = −d/c 时有第二种形式。
• 本征函数的范数给出显式表达，对简单特征值与多重特征值分别有不同的表达式，且在 λ_n = −d/c 时有特殊处理。
• 相关函数 y_{k+1} 与 y_{k+2} 给出明确关系且叉积非零，使得构造特殊相关函数 y_{k+1}*, y_{k+1}#, y_{k+2}*, y_{k+2}# 成为可能，以满足基条件。
• 在 L2(0,1) 中建立了极小性结果，并指出 λ_k ≠ −d/c 与 λ_k = −d/c 情况之间的对称性，简化了不使用出口空间方法的思路。
• 给出当根函数系统在 Lp(0,1) 中形成基的必要充分条件，覆盖多重特征值与临界谱值的情形。
• 两类示例说明理论框架与结果。