北邮数理方程课件 第四章 幂级数解法与本征值问题.docVIP

第四章 二阶线性常微分方程的级数解法 Sturm－Liouville本征值问题 4.2 基础训练 4.2.1 例题分析 例1 在 的邻域内求解常微分方程 解：这是一个常系数微分方程，且，显然为方程的常点，由Cauchy定理，设 则 把以上结果代入方程【因为都已是Taylor级数】，比较系数有 由此得递推公式 及 于是方程的级数解为 或写成 其中为任意常数． 例2在的邻域内，求解方程： 。 解 易知是方程的常点，由Cauchy定理，令,则 (1) (2) (3) (4) 将（1）——（4）代入原方程，比较次幂的系数，得 （5） 由（5）得系数间的递推公式 （6） 由上式得 ， ， ， ， 与使得方程的通解为 例3 在的邻域内求解厄密特方程 (1) 问取哪些值时使解的级数形式退化为多项式？这些多项式当最高次幂项为时即为厄密特多项式. 解 这里。易知是方程（1）的常点。令 (2) 则 (3) (4) (5) 把（3）——（5）代入方程（1）得 即 (6) 由公式（6）得 ， ， ， ， 故 其中 (8) （9） 收敛半径均是无穷大。从级数（8）（9）知：当时，退化为多项式；当时，退化为多项式。最高次幂项为时即为厄密特多项式. 例4 在的邻域内求解拉盖尔方程 的有界解。问取哪些值时使解的级数形式退化为多项式？这些多项式当最高次幂项为 时即为拉盖尔多项式. 解 是和的一阶极点，所以是方程的正则奇点。令 (1) 则有 (2) (3) (4) (5) 将（2）——（5）代入原方程，令最低次幂的系数为零，得指标方程 (6) 令的系数为零得系数递推公式 (7) 当时，由（7）式得 ， ， 于是，原方程的解是 当时该级数退化为多项式, 即为拉盖尔多项式. 例5 在的邻域上求解方程 解 是的一阶极点，是的二阶极点，所以是方程的正则奇点。设 ，代入方程，各同次幂分别集合如下表： 令最低幂项系数为零，得指标方程： 解之得指标数 （1） 在上表中，令项系数为零，得系数递推公式： （2） 当时，由式 若，取整数，则有 ；若，则，于是得一特解 当时，由 同上讨论，有 ， ，得另一特解