二阶常微分方程的级数解法.pptVIP

数学物理方法 第九章 二阶常微分方程的级数解法 第九章 二阶常微分方程的级数解法 概述 常点邻域上的级数解法 正则奇点邻域上的级数解法 本章小结 （1） 阶 ? ?整数或半整数（贝塞尔方程的级数解） （2） 阶 ? ＝整数时的解 （3） 阶 ? ＝半整数时的解 阶 ? ?整数或半整数、 ? ＝整数、? ＝半整数 * * 一、概述 分离变量法 直角坐标系、平面极坐标 本征函数是三角函数 实际 正交曲面坐标系 （球坐标系和柱坐标系） 拉普拉斯方程的分离变量 球坐标系 勒让德方程 m = 0 l 阶勒让德方程 拉普拉斯方程 球坐标（r，? , ?） （1） 代入（1） ……… ( 参考 梁 p226-229) 柱坐标（?，?，z） 贝塞尔方程 柱坐标系 拉普拉斯方程 求解线性二阶常微分方程 （带初始条件） 级数解法 收敛问题 方程的常点和奇点 （1） 方程（1）的系数 p ( x ) , q ( x ) 均在某点 x0 的邻域内解析； 称 x0 为方程的常点。 x0是系数 p(x) , q(x) 的孤立奇点；称 x0 为方程的奇点。 正则奇点 x0是 p(x) 不超过一阶的极点 , 又是 q(x) 的不超过二阶的孤立奇点; 称 x0 为方程的正则奇点。否则为非正则奇点。 常点 奇点 x: 复变数； p(x), q(x) y(x):复变函数 二、常点邻域上的级数解法 定理 如果方程 的系数 p (x) , q (x) 在点 x0的邻域 内解析，则方程在这圆内存在唯一的解析的解 y (x)，满足初始条件 表示成泰勒级数的形式 以l 阶勒让德方程为例 系数的确定 （C0 , C1为任意复常数） a0 , a1 , …ak , …待定系数 勒让德方程的级数解 即 在 x0 = 0 的邻域上求解l 阶勒让德方程 方程的系数 在 x0 = 0: p( x0 ) = 0, q( x0 ) = l (l+1) , 在 x0 = 0解析 ? x0 = 0 是方程的常点 定理 于是 代入l 阶勒让德方程 合并同幂次的项列表…… ……… ……… 2 得到l 阶勒让德方程解： 退化性： 实际应用 勒让德方程，附有边界条件：要求 解在 x = ±1 收敛 x = cos? ,? 0? ? ? ? l 参数： l 为非负整数，则当k = l 时, 级数解退化为 l 次多项式； l 阶勒让德多项式 P l ( x ) 性质： 奇偶性： y0为偶函数，y1为奇函数； 收敛性： 收敛半径为 1 勒让德多项式 反用系数递推公式 改写为 ( 参考 梁 p274-276, 徐 p40 ) 可以把其它系数一一推算出来： ………… 将n记为k, 求得l 阶勒让德多项式 的具体表达式为 三、正则奇点邻域上的级数解法 定理 的正则奇点，则在 x0的邻域 内，方程的 两个线性独立解为： 设 x0 是方程 或 s1-s2 ? 整数 s1、s2 ： 判定方程 的根（ s1 s2 ） A, ak , bk, 常系数。 s1-s2＝整数 贝塞尔方程的级数解 即 在 x0 = 0 的邻域上求解? 阶贝塞尔方程 点 x0 = 0： 方程的系数 一阶极点 二阶极点 ? x0 = 0 是方程的正则奇点 判定方程 两个根为： s1＝ ? ，s2 ＝－ ? s1 - s2 ＝ 2 ? 判定方程的两根之差取决于方程中的参数? ，它将决定两个线性独立解的形式。 先不分 s1，s2 代入方程， 方程的解 合并同幂次的项列表…… 通常取 有时取 在 x0 = 0 的邻域上求解整数n 阶贝塞尔方程 s1 - s2 ＝ 2 n 整数 特例 ? ＝1/2 s1 - s2 ＝ 2 ? 整数 在 x0 = 0 的邻域上求解整数1/2 阶贝塞尔方程 贝塞尔函数的递推公式 (教材 梁 p327-329,342 ，参考书 徐 p109－112) （1） （2） （3） （4） (1) 、(2) 求导，得： （3）、（4）相加、减，得： （5） （6） 补充说明： （7） 降阶公式 本 章 小 结 方程的常点和奇点 正则奇点 常点邻域上的级数解 定理 以l 阶勒让德方程为例 系数的确定 合并同幂次的项列表 正则奇点邻域上的级数解法 贝塞尔方程的级数解 定理