1 ストゥルム＝リウヴィル問題の定式化
1.1 基本形（2階の線形微分作用素）
ストゥルム＝リウヴィル理論は、区間 \( (a,b) \) 上の2階の線形微分作用素 \[ L[y]=-\frac{d}{dx}\!\left(p(x)\frac{dy}{dx}\right)+q(x)y \] を中核として、方程式 \(L[y]=\lambda w(x)y\) の形の境界値問題を研究する枠組みである。ここで \(\lambda\) は固有値、\(y\) は固有関数、\(p,q,w\) は係数関数である。理論の目的は、固有値の集合と対応する固有関数の体系が、適切な仮定の下でどのような構造（存在性、正規直交性、展開可能性）を持つかを整理する点にある。
作用素 \(L\) は、単に方程式の“解法”の道具にとどまらず、重み \(w\) を伴う内積構造のもとで自己共役な作用素として振る舞うように設計される。その結果、スペクトルの性質が幾何学的・解析学的に安定化し、境界条件の選び方とも整合的な理論が得られる。
1.2 重み関数・係数の役割
重み関数 \(w(x)\) は、固有値問題を“適切な測度”により正しく位置づけるための要である。内積を \[ \langle f,g\rangle=\int_a^b f(x)\overline{g(x)}\,w(x)\,dx \] の形で定義する場合、\(w\) は固有関数の直交性や正規化、さらにフーリエ型展開の収束解釈に直接影響する。通常、\(w(x)\) はほぼ至る所で正である（少なくとも測度的に有意な区間で符号が安定している）と仮定される。
係数 \(p(x)\) は微分項の“形”を決め、特に \(p>0\) の仮定により楕円型の安定性が導かれる。係数 \(q(x)\) はポテンシャル的な寄与を担い、スペクトルの下端（有界性）や固有値の符号の傾向を左右する。これらの係数の滑らかさ・局所可積分性などの技術的仮定は、解析の成立条件（自己共役化、境界項の消滅、積分の意味づけ）を確保する。
1.3 境界条件の種類
境界条件は、固有値問題のスペクトルを決める要素であり、自己共役性を損なわない形で与えることが重要である。代表的には、端点 \(x=a,b\) における線形な条件が扱われる。一般には \[ \alpha\,y(a)+\beta\,p(a)y'(a)=0,\qquad \gamma\,y(b)+\delta\,p(b)y'(b)=0 \] のように書けるが、端点の性質（正則端点か特異端点か）により詳細は変わる。
ここでは、基本的な3類型に分けて整理する。
1.3.1 固定端型（ディリクレ型）
固定端型（ディリクレ型）は、端点で関数値を指定する条件である。例えば \[ y(a)=0,\qquad y(b)=0 \] の形が典型である。このとき境界項は、部分積分により生成される項が消える方向に働きやすく、自己共役性の確保がしやすい。物理的には固定された膜や弦の端点など、変位がゼロになる状況に対応づけられることが多い。
1.3.2 自由端型（ノイマン型）
自由端型（ノイマン型）は、端点で導関数（あるいは \(p y'\)）を指定する条件である。例えば \[ (p y')(a)=0,\qquad (p y')(b)=0 \] が典型である。こちらも境界項の打ち消しと整合する形になり、固有関数の振る舞いが端点で“傾き”ではなく“流れ”や“勾配”により決まる。例として、自由端の振動や、フラックスがゼロに保たれる拡散モデルの境界が挙げられる。
1.3.3 混合型（ロビン型）
混合型（ロビン型）は、関数値と導関数（または \(p y'\)）の線形結合を一定にする条件である。例えば \[ \alpha\,y(a)+\beta\,(p y')(a)=0,\qquad \gamma\,y(b)+\delta\,(p y')(b)=0 \] のように与える。物理では、熱の放散（周囲との交換）やバネ結合のように、端点で局所的な関係が成り立つ状況に対応しやすい。解析上は、パラメータの組によりスペクトルの性格（固有値の増加率、下端の扱い）に差が出るため、一般論の中で整合的に扱う必要がある。
2 固有値・固有関数の基礎性質
2.1 固有値の実在性
適切な仮定の下で、方程式 \(L[y]=\lambda w y\) と境界条件を同時に満たす \(y\) が存在するなら、その \(\lambda\) は固有値として実在する。ストゥルム＝リウヴィル問題では、とくに自己共役化された作用素としての見方を通じて、固有値が実数になることが示されるのが基本的特徴である。
直観的には、重みつき内積に基づくエネルギー評価から \[ \lambda=\frac{\langle y, L[y]\rangle}{\langle y, y\rangle} \] のような比が意味を持ち、分子・分母が適切な符号制御を受けることで実数性が保証される。さらに、固有値は通常離散的に無限個現れ、端点の型や係数の振る舞いがその分布に反映される。
2.2 固有関数の直交性
2.2.1 重み付き内積
固有関数 \(\{y_n\}\) の直交性は、通常の \(L^2\) 内積ではなく、重み \(w\) を含む内積で定義される。すなわち、異なる固有値 \(\lambda_m\neq \lambda_n\) に対応する固有関数は \[ \int_a^b y_m(x)\,y_n(x)\,w(x)\,dx=0 \] を満たす。ここで複素値を許す一般化も可能で、その場合は共役を用いて内積を定義する。
2.2.2 直交性の導出の考え方
導出は、2つの固有方程式をそれぞれ他方に掛けて引き算し、積分することで行う。具体的には \[ L[y_m]=\lambda_m w y_m,\qquad L[y_n]=\lambda_n w y_n \] に対して、それぞれ \(y_n\) と \(y_m\) を掛けた式を比較し、部分積分により現れる境界項が境界条件により消えるように設定する。境界項が消えれば、残差は \((\lambda_m-\lambda_n)\) に比例する量となり、\(\lambda_m\neq\lambda_n\) なら内積がゼロになる。
この枠組みの要点は、自己共役性の“積分表現”が直交性として現れることである。境界条件の選び方は、この境界項の消滅条件と密接に結びついている。
2.3 固有関数の正規直交化
直交性が得られた後、各固有関数を正規化して正規直交系にする。重み付き内積に関するノルム \[
| \|y_n\|^2=\int_a^b | y_n(x) | ^2\,w(x)\,dx |
|---|
\]
| が有限であれば、\(u_n=y_n/\|y_n\|\) と置いて |
|---|
\[ \langle u_m,u_n\rangle=\delta_{mn} \] が成立する。これにより、係数の算出が内積を用いて単純化され、展開の議論（次章）が計算可能になる。
また、固有空間の次元が1でない場合（後述する重複固有値の議論）には、同一固有値に属する関数群の中で適切な基底を選び、グラム・シュミット過程などにより正規直交化できる。
2.4 固有値の単純性・重複の扱い
多くの典型状況では、境界条件の組や係数の性質により、固有値は単純（固有空間の次元が1）になることが多い。ただし理論の実装では、“単純性がいつ成立するか”を厳密に確かめる必要がある。一般に、固有値の重複がある場合でも、直交性の主張は重み付き内積のもとで適切に基底選択すれば維持される。
固有値が重複しているとき、同じ固有値に属する固有関数の族は線形独立な複数本を含み、展開係数はその基底に依存して定まる。したがって、表現定理の側では“固有関数が成す部分空間の直交基底”として整理し、基底の取り替えが係数に与える影響も合わせて理解するのが自然である。
3 表現定理と固有関数展開
3.1 固有関数展開（フーリエ型展開）
ストゥルム＝リウヴィル系では、（条件を満たす）関数 \(f\) を固有関数の級数として表すことが目標となる。単純な離散スペクトルの場合、固有関数正規直交系 \(\{u_n\}\) に対し \[ f(x)\sim \sum_{n=1}^\infty c_n u_n(x),\qquad c_n=\langle f,u_n\rangle \] のような形が基本である。これはフーリエ級数に似るが、基底が三角関数ではなく、境界条件と係数によって決まる固有関数である点が本質的な違いである。
展開が成立するためには、関数 \(f\) のクラス（可積分性、滑らかさ、重み付き空間での性質）と、固有関数系の“完全性”が必要となる。したがって次節のように、完全性と収束の意味づけが中核になる。
3.2 完全性と収束の意味
完全性は、固有関数系が（適切な関数空間の）意味で広がっていることを保証する性質である。具体的には、固有関数の線形結合のなす部分空間が、内積に関するノルムでどれだけのものを近似できるかが問われる。
収束にはいくつかの層があり、内積空間での \(L^2\) ノルム収束、より強い点ごとの収束（ただし条件が厳しくなる）、あるいは弱収束・分布としての収束などがあり得る。ストゥルム＝リウヴィル理論では、自己共役作用素に関するスペクトル定理へ接続することで、収束の種類と必要な仮定を整理できる。
加えて、固有関数展開の“どの空間で”成り立つかは、重み \(w\) によって変わる。重み付き内積に適合する関数空間で議論することで、解析の一貫性が保たれる。
3.3 内積空間としての見方
固有関数の体系は、単なる解集合ではなく、重みつき内積により定まるヒルベルト空間の中で整理される。ここでの重要概念は、作用素 \(L\) を十分な領域（ドメイン）に制限したうえで自己共役とみなし、そのスペクトルが基底展開と対応する点にある。
この観点に立つと、固有関数が成す集合は、スペクトル分解の“原子”であり、一般関数はそれらへの射影の和として理解される。境界条件は作用素の領域を決めるため、同時にスペクトル分解の形も規定する。
3.4 ライプニッツ空間・ソボレフ空間との関係
固有関数展開は \(L^2\) レベルの議論にとどまらず、より滑らかな（あるいはより弱い）関数空間へ拡張して解釈される。特に、微分可能性や境界での挙動を管理する枠として、ライプニッツ空間（とくに正則性の分類）やソボレフ空間が重要になる。
典型的には、変分問題やエネルギー汎関数に基づいて、作用素 \(L\) の二次形式に有限な関数はソボレフ空間のある次数に属する、という対応が得られる。さらに、固有値の増大が固有関数の滑らかさと結びつくことで、展開の収束速度や部分和の誤差評価が補強される。境界条件の種類に応じて、ソボレフ空間の“境界トレース”に関する条件が選ばれる点も特徴である。
4 スペクトル論と境界値問題への応用
4.1 離散スペクトルと連続スペクトル
境界値問題を与える区間や端点の性質により、スペクトルは離散（固有値が点の集合として並ぶ）または連続成分を含む場合がある。有限区間で適切な境界条件を課すと離散スペクトルになることが多い。一方で、半無限区間や特異端点を含む場合には、連続スペクトルが登場し得る。
離散成分は固有関数による級数展開に対応し、連続成分は積分型のスペクトル分解へつながる。結果として、一般解は“固有関数の和”だけでなく“連続スペクトルに対する重積分”を含む表現を取り得る。
4.2 グリーン関数の構成
グリーン関数は、境界条件を満たす線形微分作用素の“逆作用”を核として表す関数である。ストゥルム＝リウヴィル型の問題では、グリーン関数 \(G(x,\xi)\) を \[ L_x[G(x,\xi)]=\delta(x-\xi) \] かつ境界条件を \(x\) 変数について課す形で定義し、境界値問題の強制項 \(f\) に対する解 \(y\) を \[ y(x)=\int_a^b G(x,\xi)\,f(\xi)\,d\xi \] のように表す。
自己共役性が整えば、グリーン関数は固有関数展開により構成できる。典型的には離散スペクトルの場合、固有関数の比を和として積み上げる形になり、解析と計算が同時に可能になる。グリーン関数の対称性（適切な変換のもとでの \(x\) と \(\xi\) の対称性）も自己共役性の反映として現れる。
4.3 初期値・境界値問題への適用（変数分離）
変数分離は、偏微分方程式（PDE）の時間発展問題を、空間方向の境界値問題へ落とし込む手法である。例えば拡散や振動のようなモデルでは、空間部分がストゥルム＝リウヴィル作用素の固有問題を満たす形に分解され、時間依存は固有値に応じた常微分方程式へ帰着する。
具体的には、解を \[ u(t,x)=\sum_n T_n(t) u_n(x) \] のように固有関数で展開し、係数 \(T_n(t)\) を固有値 \(\lambda_n\) で決まる方程式に従わせると、境界条件は固有関数側で自動的に満たされる。すると初期条件は固有関数展開の係数により決まるため、PDEの解は空間スペクトルと時間の応答関数の組として与えられる。
この枠組みの利点は、線形性がある場合にモードごとの独立性が成立し、安定性や減衰率が固有値の符号・増大に直接結びつくことにある。
4.4 典型的な応用（振動・拡散・定常場）
ストゥルム＝リウヴィル理論は、振動・拡散・定常場など、境界条件を含む線形モデルの“基本部品”として現れる。
振動では、端点条件により固有モードが決まり、固有周波数（固有値から定まる）が系の応答を支配する。直交性はモード間の独立性を反映し、外力がある場合の応答は固有関数展開の係数で表される。
拡散では、時間発展が固有値に対する指数減衰（減衰率）として表れやすく、低次モードが支配的になる長時間挙動の解析に適している。グリーン関数の構成は、強制項や境界入力がある場合の応答評価に直接つながる。
定常場では、時間変数を消して境界値問題の解を求める段階で、グリーン関数や固有展開が有効になる。さらに応答の空間的な形は固有関数により規定され、パラメータ変化に対する挙動はスペクトルの変化として追跡できる。これらの応用では、理論が示す直交性・完全性・スペクトル分解が、計算可能性と解釈の一貫性を支えている。