1 基本概念
1.1 二階微分方程式の一般形
自己共役型二階微分方程式は、一般に2階の常微分方程式 \[ (p(x) y')'+q(x)y=\lambda\, w(x) y \] のような形で表されることが多い。ここで \(p,q,w\) は区間上の係数関数で、\(y\) は未知関数、\(\lambda\) はスペクトルパラメータとして解釈される。厳密な定式化では、方程式を単に形式的に書くのではなく、適切な関数空間上で微分作用素に意味を与え、境界条件と組として扱う。
この枠組みには、係数が十分な滑らかさをもち、また \(p\) や重み \(w\) が適切な符号条件を満たす場合が含まれる。結果として、固有値問題や境界値問題において、解の存在性、固有関数の直交性、スペクトル展開などの整理された理論が成立する。
1.2 自己共役（エルミート性）の意味
1.2.1 内積と微分作用素の対称性
自己共役性は、ヒルベルト空間上の作用素に対して定義される性質である。典型例として、重み \(w(x)\) を用いた内積 \[ \langle f,g\rangle=\int_a^b f(x)\overline{g(x)}\, w(x)\,dx \] を考える。微分作用素 \(L\) がこの内積に関して対称（対称性）であるとは、適切な関数の範囲で \[ \langle Lf,g\rangle=\langle f,Lg\rangle \] が成り立つことを指す。二階の微分作用素では、部分積分により成立条件が境界項に還元されるため、境界条件が対称性の成否を決める中心要素になる。
対称性は「自己共役の必要条件」として現れるが、それだけでは不十分なことがある。自己共役性は、対称作用素がその定義域を適切に拡張したときに一致する（余分な境界自由度が残らない）という、より強い条件として理解される。
1.2.2 閉包・領域（ドメイン）と自己共役性
微分作用素は、無限に滑らかな関数全体などの上で定義してもよいが、一般には任意の定義域で自己共役性は保証されない。自己共役性の核心は「作用素の閉包」や「作用素の領域（ドメイン）」を適切に選ぶ点にある。
対称作用素 \(L\) は通常、ある初期定義域から始めて閉包を取り、さらに自己共役拡張が一意に決まる場合がある。自己共役拡張の存在や個数は、境界点での自由度（たとえば極限でのふるまい）に依存し、最終的にスペクトルが実数になり、固有関数が基底的な役割を果たすようになる。従って自己共役型二階方程式を扱う際には、形式的な対称性だけでなく、どの境界条件がどのドメインを確定するのかを明確にする必要がある。
1.3 ライプニッツ条件と基本性質の位置づけ
自己共役性の議論では、一般に境界点における振る舞いを分類するための判定条件が用いられる。その代表がライプニッツ条件で、端点での解空間の可積分性や成長の度合いを通して、自己共役拡張の可能性が整理される。
この条件の考え方により、ある端点が「境界条件が1個で足りる状況」なのか、「条件を選ばないと複数の自由度が残る状況」なのかが区別される。結果として、固有値問題の設定において、境界条件の数が適切に選ばれたときにスペクトル理論が安定に働く理由が説明できる。ライプニッツ条件は、解の正則性や直交性の議論の下支えとして位置づけられる。
2 自己共役型の代表的な枠組み
2.1 ストゥルム＝リウヴィル型への整理
自己共役型の代表的枠組みはストゥルム＝リウヴィル（Sturm–Liouville）理論である。二階微分方程式を \[ (p(x)y')'+q(x)y+\lambda w(x)y=0 \] の形に整理し、重み関数 \(w\) による内積を導入することで、微分作用素をヒルベルト空間上の（しばしば非有界の）作用素として扱えるようになる。
この整理により、境界条件の選択が作用素の自己共役性を決め、以後の固有値の実性、固有関数の直交性、スペクトル分解の存在が系統立って扱える。形式的には対称であっても、端点での積分可能性や境界項が適切に消えることが必要であり、その確認がストゥルム＝リウヴィル枠組みでは自然な形で組み込まれる。
2.2 有限区間・半無限区間での設定
2.2.1 端点での境界条件の一般形
区間が有限 \([a,b]\) の場合、端点ごとに境界条件を課す必要があることが多い。代表的にはラジン型の境界条件 \[ \alpha y(a)+\beta p(a)y'(a)=0,\quad \gamma y(b)+\delta p(b)y'(b)=0 \] のように、値と導関数の線形結合で与えられる。係数 \(\alpha,\beta,\gamma,\delta\) の選び方により、自己共役性やスペクトルの性質が左右される。
一方、半無限区間や無限遠点を扱う場合は、境界条件が「端点での線形拘束」として表現できる場合もあるが、しばしば可積分性や減衰の要請として現れる。いずれの場合も、境界項の消失が対称性から自己共役性へ至る鍵である。
2.2.2 重み関数と両立条件
重み関数 \(w(x)\) は内積の定義に直結し、さらにスペクトルパラメータの意味（たとえば物理量のスケーリング）にも影響する。典型的には \(w(x)\) がほぼ至る所で符号を保つ（正に近い）設定が扱いやすい。
両立条件とは、方程式が定義する作用素と、境界条件および関数空間が整合することを意味する。具体的には、候補となる解が内積の意味で許容され、かつ作用素の適用後も同じ空間に留まるように、係数の正則性と境界での振る舞いが噛み合う必要がある。これが満たされると、スペクトル展開の正当化や解析的操作（部分積分、評価不等式など）が成立しやすくなる。
2.3 作用素の標準形（形式的自己共役から実自己共役へ）
形式的に対称な微分作用素は、境界条件の選び方や定義域の固定次第で、自己共役として実現できることがある。標準形の変換は、方程式の係数を変数変換・スケーリングで整え、重みと導関数項の扱いを簡潔にすることで進める。
実自己共役への移行では、候補作用素に対し閉包を取り、さらに自己共役拡張が一意か複数かを判定する。複数の場合には境界条件がパラメータ化されることがあり、どの拡張を選ぶかがスペクトル（固有値の並び）を変える。ただし自己共役拡張が適切に選ばれれば、固有値は実数となり、時間発展問題や境界値問題の解の安定性に繋がる性質が保証される。
3 境界条件とスペクトル理論
3.1 固有値問題としての定式化
3.1.1 実固有値性と直交性
自己共役型の設定では、固有値問題 \[ L y=\lambda y \] が適切な内積の下で考えられる。自己共役性が成立すると、スペクトルの位置が制御され、固有値が実数になることが中心結果として得られる。
また異なる固有値に属する固有関数は互いに直交する。直交性は、固有方程式を用いた計算と、境界条件により対称性で生じる境界項が相殺されることから導かれる。これにより、以後の展開係数の計算が内積を用いて一意に定まる。
3.1.2 固有関数の規格直交化
固有関数の直交性が確立されると、正規化により規格直交系を作ることができる。離散固有値の場合は、各固有関数のノルム（内積から得られる長さ）で割って正規化し、必要に応じて位相（複素数の場合）を調整する。
規格直交化は、スペクトル展開を実際に計算可能にする。特に初期値問題や境界値問題で解を固有関数の線形結合として表すとき、係数は内積を使った公式で求まる。連続スペクトルが関与する場合には、一般化固有関数の扱いが必要になり、規格化の形式が離散の場合と変わる。
3.2 スペクトル分解・展開
3.2.1 離散スペクトルと連続スペクトル
スペクトルは必ずしも純粋に離散とは限らない。区間の種類（有限か無限か）、係数の漸近挙動、境界条件の性質によって、固有値の集合が離散部分と連続部分を含む形に分類される。
離散スペクトルはノルムにおける固有ベクトルとして現れ、固有関数は完全性の一部を担う。連続スペクトルでは、スペクトル表示が積分形の展開となることがあり、一般化された意味で固有関数を用いる。自己共役性はこの混在にも対応できるため、スペクトル分解の一般論が適用可能になる。
3.2.2 グリーン関数による表現
境界値問題 \[ (L-\lambda)u=f \] の解を、グリーン関数 \(G(x,\xi)\) を用いて \[ u(x)=\int_a^b G(x,\xi) f(\xi)\,d\xi \] のように表す方法がある。自己共役型では、グリーン関数が対称性を満たしやすく、またスペクトルパラメータに関する極の構造が固有値と結びつく。
さらに、グリーン関数は固有関数展開からも構成できる。離散固有値がある場合には項の和として、連続成分があるときは積分成分として現れる。これにより、応答関数の解析（たとえば特異性や分解能）を固有値問題の情報に還元できる。
3.3 変分原理との関係
変分原理は、自己共役作用素のスペクトルを評価する強力な枠組みである。典型的にはレイリー商 \[ R[y]=\frac{\langle y, L y\rangle}{\langle y,y\rangle} \] を用い、最小値や停留値が下端の固有値や固有関数に対応するという形で理論が述べられる。
この原理は、固有値の存在と順序付けを理解することに役立ち、さらに境界条件が変分問題の許容空間を決めるため、自己共役性と整合的な形で結びつく。結果として、最小エネルギー原理のような直観的解釈が可能になり、固有値の推定や数値計算の設計にも波及する。
4 解法と応用
4.1 方程式の変形（標準形・正規形への変換）
実際の解析では、係数が与えられた形のまま扱うよりも、変数変換とスケーリングにより標準形に整えることが多い。代表的には、独立変数の再パラメータ化により、導関数項と重みの相互関係を単純化する。
また、正規形（たとえばワルシャルド変換などの類型）へ変換すると、見通しの良い形で解の局所挙動や近似が扱えるようになる。自己共役性に関わる内積構造も変換後に追跡し、最終的な結論が元の問題に矛盾しないことを確認するのが重要である。
4.2 固有関数展開による初期値・境界値問題
4.2.1 熱方程式型への対応
自己共役型作用素 \(L\) を用いて熱方程式型の時間発展 \[ \partial_t u(t,x)= - L u(t,x) \] を考えると、解は固有関数展開 \[ u(t,x)=\sum_n c_n e^{-\lambda_n t}\phi_n(x) \] のような形に整理される（離散成分の場合）。自己共役性により固有値が実数であるため、指数項の減衰が物理的に整合し、安定性の議論が明確になる。
初期条件は係数 \(c_n\) に反映され、内積に基づく内積射影で決定される。無限次元での完全性が満たされる範囲では、展開が時間全域で解を表す根拠が与えられる。
4.2.2 振動（波動）型への対応
振動型では時間発展が \[ \partial_t^2 u(t,x)+ L u(t,x)=0 \] の形で現れることが多い。固有関数 \(\phi_n\) に対して空間部分を展開すると、各モードは \[ \ddot{a}_n(t)+\lambda_n a_n(t)=0 \] を満たし、\(\lambda_n>0\) の場合は調和振動として表れる。ここでも自己共役性はスペクトルが実数であることを保証し、振動数や減衰（別形式を含む）の解釈が一貫する。
境界条件の選択は、固有値の値と固有モードの形に直接影響するため、波形の特徴（節の配置や周波数分布）を決める要因となる。
4.3 数値計算の基本方針
4.3.1 固有値計算と安定性の考え方
数値計算では、作用素を離散化して近似固有値問題へ落とし込む。自己共役型に対応するように離散化を設計することが重要で、一般に「近似作用素が（離散内積に関して）自己共役的である」ことが数値安定性に繋がる。
有限要素法やスペクトル法では、変分原理と整合する形で弱形式を立て、対称性を保持するように組み立てる。固有値の収束性や誤差評価は、近似空間の性質と境界条件の実装の仕方に依存するため、設計段階で自己共役性の要点を反映させるのが基本方針となる。
4.3.2 境界条件の実装に関する注意
境界条件は単に端点の値を置き換える操作ではなく、差分・有限要素などの離散化において正しい「弱形式上の拘束」として入れる必要がある。誤った実装は、自己共役性を壊し、固有値が複素化したり、固有関数の直交性が崩れたりする原因になる。
特に端点でのラジン型条件では、導関数の離散近似と係数の整合が重要になる。さらに無限区間側の条件を数値計算で扱う際には、打ち切り（トランケーション）と境界仮定の影響を評価し、計算領域の拡大で結果が安定化するかを確認するのが実務上の注意点である。