[理学]第五章常微分方程的级数解和特殊函数.ppt

例. 半奇数阶贝塞尔函数和球贝塞尔函数 半奇数阶Bessel方程 其线性无关解为： 半奇数阶Bessel函数，可以用初等函数表示： Tips: 球贝塞尔函数定义为： n-1(x) 和 n0(x) j-1(x)和 j0(x) 虚宗量贝塞尔函数 称为虚宗量贝塞尔方程. 取初始条件： 可得虚宗量贝塞尔函数 Im(x) 和 I－ m(x) * 若 1. p (z), q (z) 均在圆盘 内解析;(常点) 定理5.1 (解唯一性定理) 对二阶线性齐次常微分方程： 第五章 常微分方程的级数解和特殊函数 §5.1 常点邻域方程的级数解 勒让德多项式和厄米多项式 则方程有唯一的解 , 且 在圆盘内单值解析。 (*) 一.常点邻域方程级数解的理论基础 2. 方程的解满足“初始”条件： 第一步 设其解形式为 代入方程，可得系数之间的递推关系。 且该递推关系应为比例关系 (因方程齐次)。 常点邻域方程的级数解的求解思路 (略) 在 z0 点邻域 求解方程， 第二步 结合“初始”条件，确定待定系数，给出方程的解。 Tips: 常微分方程的阶数决定了所需初始条件的个数。 二.勒让德方程的求解 在 x= 0 的邻域求解 l 阶勒让德方程： 解：令 则 上式恒成立, 则 的系数恒为0 代入勒让德方程，并比较 的系数， 因为 x 为 0 的邻域内的 任意点， 得展开系数的比例递推公式： 特别的， 若给定 a0 和 a1 (初始条件) ，则 利用递推公式，则可得各阶系数： 因此，方程的通解为： 其中 收敛半径： 收敛区域： 三. 勒让德多项式 考虑边界点 , 为使得 有限 l 为奇数2n+1 时, y1(x)被截断, 函数为多项式形式。 同样, l 为偶数2n 时, y0(x) 变为多项式。取a1=0 再取“初始”条件a0=0, 则与l 奇偶性不同的项均为0： 总之, l 为整数时, 方程在[-1,1]存在有界非零解. 解中最高幂次为 l, 且只有与 l 奇偶性相同的幂次。 若给定 l 次幂的系数 al为 则由递推公式反向递推得到各阶系数。 (“初始”条件) 称整数l, 是勒让德方程满足条件“ y |x=±1值有限” 的 本征值, 相应的解称为勒让德方程的本征解。 由数学归纳法可证： 由此，得 勒让德多项式： 比例递推公式： 常点邻域常微分方程的级数解 “初始”条件 a0, a1 各阶系数ak 级数解： 边界条件: 值有限 ①本征值: l 为整数, ②“初始”条件, 使 “初始”条件: 本征解: 勒让德方程 求解流程图 0~4阶勒让德多项式 1. 由图中可见： l 阶的勒让德多项式, 最高幂次为 l , 共有 l 个零点. 四. 勒让德多项式 的性质 2. 勒让德多项式的零点分布 Pl(x)共 l -1 个零点, 且与Pl(x)的零点交错分布. x 的幂、多项式可用勒让德多项式来表示： 勒让德多项式为 定义在[-1,1]上的 正交多项式 See：第 9 章 勒让德多项式级数表达式： 勒让德多项式的微分表达式(Rodrigues)： 勒让德多项式的积分表达式(Schl?fli)： 其中c为包围点z =x 的任一围线。 令积分式中， 得Laplace表达式： 令 x = cos θ ， 若 z0 是 p(z) 不高于一阶的极点, 且z0是 q(z)不高于二阶的极点 (称 z0 为正则奇点)， 则方程在 z0 的去心邻域 内，至少存在一个形如 的广义幂级数解。其中s为某个常数，a0 ≠ 0。 定理5.2 (解存在性定理) 二阶线性齐次常微分方程： §5.2 正则奇点邻域方程的级数解 贝塞尔、诺依曼函数 一.正则奇点邻域方程级数解的理论基础 (*) 二.贝塞尔方程的求解 在 x= 0 的去心邻域求解 m 阶贝塞尔方程： 解：令 则 代入方程，并比较同次幂的系数： (a0 ≠ 0) 指标方程： … 因此，2m 为整数时，可能有 k±2m = 0。 将 代入 递推公式: 递推公式化为 a1 = = 0 ? 1. 若 2 m 非整数, 对正整数 k , 有 k±2m≠0