数学物理方程-第三章分离变量法2.docVIP

第三章 贝塞尔函数 对两个自变量的情形，在第二章中比较系统地介绍了分离变量法的基本思想以及求解偏微分方程定解问题的主要步骤. 本章讨论多于两个自变量的情形，其求解过程和两个自变量情形基本相同，区别仅在于特征值问题的求解要用到一类特殊函数—贝塞尔（Bessel）函数. 本章前两节围绕一类特征值问题的求解，比较系统地介绍二阶常微分方程的幂级数解法，以及Bessel函数的一些基本性质. 第三节介绍多于两个自变量情形的分离变量法. §3 SKIPIF 1 0 1 二阶线性常微分方程的幂级数解法 3.1.1 常系数线性方程的基解组 在高等数学中，同学们已学过常微分方程的一些求解方法. 对于常系数线性常微分方程，只要求出特征方程的根，就很容易写出齐次方程的基解组，由此可得齐次方程通解表达式. 例1.1 求解下列齐次微分方程 (1) SKIPIF 1 0 . (2) SKIPIF 1 0 . (3) SKIPIF 1 0 . 解 (1) 特征方程为 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 ， 特征根为 SKIPIF 1 0 故基解组为 SKIPIF 1 0 . （2）特征方程为 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 ， 特征根为 SKIPIF 1 0 ，是一对共轭复数，基解组为 SKIPIF 1 0 ， 这两个解为复值函数. 为得到实值函数的基解组，利用齐次微分方程解的线性性质得 SKIPIF 1 0 ， SKIPIF 1 0 ， 这两个实值函数 SKIPIF 1 0 也是方程（2）的解,由此得方程（2）的基解组为 SKIPIF 1 0 . （3）特征方程为 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 ， 特征根为 SKIPIF 1 0 ，即 SKIPIF 1 0 是二重特征根. 此时，由特征根 SKIPIF 1 0 只能写出微分方程（3）的一个解为 SKIPIF 1 0 .为求方程（3）另一个与解 SKIPIF 1 0 线性无关的解， 要用到求解微分方程的摄动方法 SKIPIF 1 0 ，即 SKIPIF 1 0 ，考虑齐次方程 SKIPIF 1 0 ， （1.1） （1.1）称为方程（3）的摄动方程. 易得（1.1）的特征根为 SKIPIF 1 0 , 由此可得（1.1）的基解组为 SKIPIF 1 0 . 利用齐次微分方程解的线性性质可得： SKIPIF 1 0 ， SKIPIF 1 0 ， （1.2） 仍是（1.1）的解. 当 SKIPIF 1 0 趋于零时，方程（1.1）趋向于（3）中的方程. 可以证明 SKIPIF 1 0 ，（1.1）的解关于参数 SKIPIF 1 0 是连续的，即当 SKIPIF 1 0 趋于零时，（1.2）中的 SKIPIF 1 0 也趋向于（3）中方程的一个解. 利用罗比塔法则可得 SKIPIF 1 0 ， 此即微分方程（3）的另一个与解 SKIPIF 1 0 线性无关的解. 因此方程（3）的基解组为 SKIPIF 1 0 . 例1.2 求解下列齐次微分方程 (1) SKIPIF 1 0 . (2) SKIPIF 1 0 . （3） SKIPIF 1 0 . 解 （1）特征方程为