电子科技大学《电磁场数学方法》第9章 二阶常微分方程级数解法.pptVIP

取 v 阶贝塞尔方程的通解 得到v 阶诺依曼函数 （2） 半奇数阶 v＝l+1/2 时贝塞尔方程的解 特例: 1/2 阶贝塞尔方程 在 x0 = 0 的领域内求解 l+1/2阶贝塞尔方程 x0 = 0 为方程的正则奇点 判定方程的两个根： s1 = v1 = 1/2 s2 = v2 = -1/2 s1 - s2 ＝ 2 v = 1 为整数 对应于判定方程较大根的级数解： 判定方程两根之差 第二个特解： ?阶贝塞尔方程的通解： ?阶贝塞尔函数 尽管判定方程两根之差为1，但常数 A =0，第二个特解中不出现对数函数 s1 = l +1/2 一般的半奇数 (l+1/2) 阶贝塞尔方程： 两根之差 l+?阶贝塞尔方程的通解： s2 = -(l+1/2) s1 – s2= 2l +1 为正整数 （3） 整数 v = m 阶贝塞尔方程 在 x0 = 0 的邻域上求解整数m阶贝塞尔方程 m为自然数 s1 = m 两根之差 s2 = -m s1 – s2= 2m为零或正整数 对应于判定方程大根的级数解： 其中： 对应于判定方程小根的级数解： 线性相关，不能作为第二个独立的特解 实际采用的第二个特解是诺依曼函数表达 整数阶贝塞尔函数的通解 而不是： （4） x = 0 处的自然边界条件 因此：如果所研究的区域中包含 x = 0 在内， 排除： 保留： 贝塞尔方程，不论阶数是否为整数，在x=0具有自然边界条件 四、虚宗量贝塞尔方程 柱坐标系下对拉普拉斯方程分离变量得到虚宗量贝塞尔方程 v 阶虚宗量贝塞尔方程 (v不等于整数、半奇数) 变量代换 得到v 阶贝塞尔方程 两个线性独立解： 得到虚宗量贝塞尔函数(实函数)： v 阶虚宗量贝塞尔方程的通解： 均为正项级数，除 x = 0 外恒不为零 m阶虚宗量贝塞尔方程 (m为整数) 第一个特解： m阶虚宗量贝塞尔函数 均为正项级数，除 x = 0 外恒不为零 由于 Im(x) 为正项级数(除 x = 0 外)，因此如果在圆柱坐标系下求解拉氏问题时，当圆柱侧面为齐次边界条件，就只能够取μ≥0，而不能取μ＜0。这是因为μ＜0 引出虚宗量方程，其解恒不为零(除非x = 0)。 数学物理方程与特殊函数 第九章 第九章 二阶常微分方程的级数解法 概述 常点邻域上的级数解法 正则奇点邻域上的级数解法 本章小结 一、概述 分离变量法 直角坐标系、平面极坐标 本征函数是三角函数 实际 正交曲面坐标系 （球坐标系和柱坐标系） 拉普拉斯方程的分离变量 拉普拉斯方程 球坐标（r，? , ?） 球坐标系 连带勒让德方程 m = 0 l 阶勒让德方程 ……. 柱坐标（?，?，z） 贝塞尔方程 柱坐标系 拉普拉斯方程 求解线性二阶常微分方程 （带初始条件） 级数解法： 在某个任选点的领域上，把待求的解表达为系数待定的级数，代入方程，逐个确定系数。 是否收敛 （1） x: 复变数； p(x), q(x) y(x):复变函数 收敛范围 方程的常点和奇点 方程（1）的系数 p ( x ) , q ( x ) 均在某点 x0 的邻域内解析， 称 x0 为方程的常点。 x0是系数 p(x) , q(x) 的孤立奇点，称 x0 为方程的奇点。 正则奇点 x0是 p(x) 不超过一阶的极点 , 又是 q(x) 的不超过二阶的孤立奇点; 称 x0 为方程的正则奇点。否则为非正则奇点。 常点 奇点 二、常点邻域上的级数解法 定理 如果方程 的系数 p (x) , q (x) 在点 x0的邻域 内解析，则方程在这圆内存在唯一的解析的解 y (x)，满足初始条件 表示成泰勒级数的形式 （C0 , C1为任意复常数） a0 , a1 , …ak , …待定系数 以l 阶勒让德方程为例进行分析 将解的级数形式代入方程，合并同幂次项； 令合并后的各系数分别找零，找出系数之间的递推关系； 用已知的初值确定系数，从而求得级数解 系数的确定 勒让德方程的级数解 即 在 x0 = 0 的邻域上求解l 阶勒让德方程 方程的系数 在 x0 = 0: p( x0 ) = 0, q( x0 ) = l (l+1) , 在 x0 = 0解析 ? x0 = 0 是方程的常点 定理 于是 代入l 阶勒让德方程 合并同幂次的项列表…… ……… ……… 得到l 阶勒让德方程解： x = cos? ,? 0? ? ? ? 性质： 奇偶性： y0为偶函数，y1为奇函数； 收敛性： 收敛半径为 1 级数解在 x = ±1 的收敛性 已证明：级数解y0和y1各自在 x = ±1 发散（l 不为整数时） 因此：形如