Sturm-Liouville Theory
$\quad\\$
本征值问题
$\quad\\$
二阶实系数常微分方程
$$y’’+a(x)y’+b(x)y+\lambda c(x)y=0$$
乘上系数$\displaystyle e^{\int a(x)\dd x}$化为
$$\frac{\dd}{\dd x}\left[A(x)\frac{\dd y}{\dd x}\right]+B(x)y+\lambda C(x)y=0$$
对其在区间$[a,b]$上施加齐次边界条件,构成
$\quad\\$
本征值与本征函数性质
$\quad\\$
使得方程有解的实数$\{\lambda_n\}\; n\in \mathbb{N}\;$称为本征值,线性独立的$\{y_n\}$称为其对应的本征函数,对于复的本征函数,易知其共轭也为本征函数,取其共轭与自身相加,总可以得到实的本征函数,其满足如下性质
$$\displaystyle\int _a^b y_m y_n C(x) \dd x=0\qquad m\neq n$$
证:$$\frac{\dd}{\dd x}\left[Ay_m’\right]+By_m+\lambda_m Cy_m=0\quad \unicode{10112}\\
\frac{\dd}{\dd x}\left[Ay_n’\right]+By_n+\lambda_n Cy_n=0\quad \unicode{10113}\\
\int_a^b (\unicode{10112}y_n-\unicode{10113}y_m)\dd x=0\overset{齐次边界条件}{\Rightarrow} (\lambda_m-\lambda_n)\int _a^b y_m y_n C(x) \dd x=0$$