Sturm-Liouville 理论
Sturm-Liouville 理论分析了一类二阶线性边值问题，其特征值是实数且离散的，其特征函数形成一个完备的正交基。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
Sturm-Liouville 问题旨在寻找参数值，使得方程 -(p y')' + q y = λ w y 具有满足给定边界条件的非平凡解；允许的参数是特征值，相应的解是特征函数。
Scope
本主题涵盖自伴 Sturm-Liouville 形式、正则和奇异问题、特征值的实数性和排序、特征函数的振荡和交错、带权正交性，以及推广傅里叶级数并产生经典正交多项式和特殊函数的特征函数展开。
Core questions
- 给定边值问题的特征值和特征函数是什么？
- 为什么特征值是实数且特征函数是正交的？
- 第 n 个特征函数有多少个零点，它们是如何分布的？
- 任意函数何时可以用特征函数展开？
Key theories
- 正则 Sturm-Liouville 问题的谱定理
- 一个正则自伴 Sturm-Liouville 问题有无限多个递增至无穷大的实特征值，其特征函数在带权下是正交的，并构成展开的完备基。
- Sturm 振荡和比较定理
- 属于第 n 个特征值的特征函数恰好有 n 个内部零点，Sturm 比较定理关联了相关方程解的零点。
- 特征函数展开
- 由于特征函数形成一个完备的正交系统，合适的函数可以展开成它们的级数，这推广了傅里叶级数，并构成了偏微分方程分离变量法的基础。
Clinical relevance
Sturm-Liouville 问题出现在将分离变量法应用于热方程、波动方程和薛定谔方程时，其特征函数是自然的振动模式和量子态；该理论还产生了在应用数学中广泛使用的经典正交多项式。
History
Sturm 和 Liouville 在 1836-1837 年左右的一系列论文中发展了该理论，确立了边值问题特征值和特征函数的定性行为。Weyl 在 20 世纪早期将其推广到奇异问题，并将其与希尔伯特空间算子的谱理论联系起来。
Key figures
- Jacques Charles Francois Sturm
- Joseph Liouville
- Hermann Weyl
- David Hilbert
Related topics
Seminal works
- zettl2010
- courant1953
Frequently asked questions
- Sturm-Liouville 理论如何推广傅里叶级数？
- 傅里叶级数的正弦和余弦是区间上最简单的 Sturm-Liouville 问题的特征函数。更一般的系数和权重会产生其他完备正交族，例如 Legendre、Hermite 和 Bessel 函数，它们有自己的展开式。
- 为什么特征值保证是实数？
- 当以自伴形式并带有适当边界条件书写时，Sturm-Liouville 算子相对于带权内积是对称的。对称算子具有实特征值和正交特征函数，就像对称矩阵一样。