数学物理与方法21 .pptVIP

第九章 常微分方程的级数解法 二阶线性齐次常微分方程： 在常点邻域可以将y展开为泰勒级数求解。 勒让德方程的级数解：勒让德多项式 第九章 常微分方程的级数解法 $9.3 正则奇点邻域上的级数解法 当p(z)或者q(z)在z0点发散时，z0点为方程的奇点。 当z0点为方程奇点时，其解的形式为洛朗级数或者是多值函 数，难以使用逐项比较的方法得出通项公式。 只有当两个线性独立解的负幂项均为有限个时（极点型）， 才能采用类似办法求解。 第九章 常微分方程的级数解法 当z0点为p(z)的不高于一阶的奇点，且z0点为q(z)的不高于 二阶的奇点时，z0点被称为该微分方程的正则奇点。 正则奇点邻域方程级数解的形式为： 或 第九章 常微分方程的级数解法 s1、s2称为正则解的指标(a0、b0不为0)，为判定方程 的两个根，且s1s2 。 当s1-s2为非整数时，第二个解一定没有对数项。 当s1与s2相等时，第二个解一定含有对数项。 第九章 常微分方程的级数解法 证：为简化起见，将奇点移至0点。将 代入 第九章 常微分方程的级数解法 得： 最低次项均为s-2次项，有： 第九章 常微分方程的级数解法 即 当s1-s2为非整数时，得出的两个解一定线性独立。否则，两 个解可能不是线性独立的，另一个线性独立解将带有对数项。 第九章 常微分方程的级数解法 例：求贝塞尔方程的级数解： 解： 其判定方程为 第九章 常微分方程的级数解法 区分2v为整数和非整数两种情况。(v=0有解析解) 1、v不是整数或半整数。 第九章 常微分方程的级数解法 得到递推公式： 可知所有奇数项均为0： 第九章 常微分方程的级数解法 先取s=v，有： 取 以利简化(v不是整数)，有： 第九章 常微分方程的级数解法 得到贝塞尔方程的第一个解： 第九章 常微分方程的级数解法 解的收敛性： Jv(x)在整个复平面收敛。 第九章 常微分方程的级数解法 再取s=-v， 取 ，有 第九章 常微分方程的级数解法 得到-v阶的贝塞尔函数： 其收敛半径 第九章 常微分方程的级数解法 此时贝塞尔方程的通解为： 或取第二个解为诺依曼函数： 通解亦可写为： 第九章 常微分方程的级数解法 2、v是半整数（半奇数），以1/2为例： 按照上面方法求出的 仍然是微分方程的解，而第二 个线性独立的解未必是 。 化简，有 第九章 常微分方程的级数解法 第九章 常微分方程的级数解法 第二个解的一般形式为： 代入微分方程 ，有： 第九章 常微分方程的级数解法 比较 项的系数可知A=0，因此第二个解中不含有对数项。 b-0.5、b0.5均任意，其中b2k+0.5部分和J0.5线性相关，略去。 第九章 常微分方程的级数解法 因此 取 ，有： 第九章 常微分方程的级数解法 对于其他半整数情况类似，有： 其通解为 第九章 常微分方程的级数解法 3、v为整数： +m阶的形式不变： 对于-m阶的贝塞尔函数有：(-m阶的?函数为无穷大) 第九章 常微分方程的级数解法 此时另一个线性独立解应取诺依曼函数Nm(x)。 通解取为 诺依曼函数的表达式较复杂，曲线可见图11-3。贝塞尔函数 可见图11-1。 在x=0处，仅J0、Jv、Jm收敛。 第九章 常微分方程的级数解法 v阶虚宗量贝塞尔方程： 取 ，得 第九章 常微分方程的级数解法 略去复系数，取 同样有： 通解为： 第九章 常微分方程的级数解法 整数m阶虚宗量贝塞尔方程： -m阶解同样带有对数项，见柱函数章。