スツルム＝リウヴィル理論

スツルム＝リウヴィル理論は、固有値が実数かつ離散的であり、固有関数が完全な直交基底を形成する2階線形境界値問題のクラスを解析する。

Definition

スツルム＝リウヴィル問題は、与えられた境界条件を満たす非自明な解を持つような、方程式 -(p y')' + q y = λ w y のパラメータの値を求める問題である。許容されるパラメータは固有値であり、対応する解は固有関数である。

Scope

このトピックでは、自己共役スツルム＝リウヴィル形式、正則問題と特異問題、固有値の実数性と順序付け、固有関数の振動と相互配置、重みに関する直交性、およびフーリエ級数を一般化し、古典的な直交多項式と特殊関数を生み出す固有関数展開について扱う。

Core questions

• 与えられた境界値問題の固有値と固有関数は何か？
• 固有値が実数であり、固有関数が直交するのはなぜか？
• n番目の固有関数はいくつのゼロを持ち、それらはどのように分布しているか？
• 任意の関数はいつ固有関数で展開できるか？

Key theories

正則スツルム＝リウヴィル問題のスペクトル定理

正則な自己共役スツルム＝リウヴィル問題は、無限に多くの実固有値を持ち、それらは無限大に増加する。固有関数は重みに関して直交し、展開のための完全な基底を形成する。

スツルムの振動定理と比較定理

n番目の固有値に属する固有関数は、ちょうどn個の内部ゼロを持ち、スツルムの比較定理は関連する方程式の解のゼロを関連付ける。

固有関数展開

固有関数は完全な直交系を形成するため、適切な関数はそれらの級数として展開され、フーリエ級数を一般化し、偏微分方程式の変数分離法の基礎となる。

Clinical relevance

スツルム＝リウヴィル問題は、熱方程式、波動方程式、シュレーディンガー方程式に変数分離法が適用される場合に常に発生し、その固有関数は自然な振動モードと量子状態である。この理論はまた、応用数学全体で用いられる古典的な直交多項式も生成する。

History

スツルムとリウヴィルは、1836年から1837年頃の一連の論文でこの理論を発展させ、境界値問題における固有値と固有関数の定性的な振る舞いを確立した。ワイルは20世紀初頭にこれを特異問題に拡張し、ヒルベルト空間上の作用素のスペクトル理論と結びつけた。

Key figures

• Jacques Charles Francois Sturm
• Joseph Liouville
• Hermann Weyl
• David Hilbert

Seminal works

• zettl2010
• courant1953

Frequently asked questions

スツルム＝リウヴィル理論はフーリエ級数をどのように一般化するか？

フーリエ級数の正弦関数と余弦関数は、区間上の最も単純なスツルム＝リウヴィル問題の固有関数である。より一般的な係数と重みは、ルジャンドル関数、エルミート関数、ベッセル関数などの他の完全な直交族を生成し、それぞれ独自の展開を持つ。

固有値が実数であることが保証されるのはなぜか？

適切な境界条件を持つ自己共役形式で記述された場合、スツルム＝リウヴィル作用素は重み付き内積に関して対称である。対称作用素は、対称行列と同様に、実固有値と直交固有関数を持つ。