第八章 线性常微分方程的级数解法和某些特殊函数.ppt

第八章 第八章 线性常微分方程的级数解法和某些特殊函数 P148 §8.1 常点邻域方程的级数解 勒让德方程 1常点邻域方程的级数解 2勒让德方程 1常点邻域方程的级数解 2勒让德方程 §8.2 正则奇点邻域方程的级数解 柱贝塞尔方程 P153 思考与讨论题 1.何谓方程的常点？在常点邻域方程的幂级数解有怎样的形式？ 2.二阶线性齐次常微分方程在常点邻域的幂级数解法的主要步骤有哪些？其中要注意的要点是哪些？ 作业：p175：8.1 1 、 3 ，8.2 ﹡§8.3 高斯方程和库默尔方程 P167 §8.4 非齐次方程的通解 P172 思考与讨论题 1.何谓方程的正则奇点？何谓判定方程？二阶线性齐次常微分方程在常点邻域的幂级数解有怎样的形式？ 2.在正则奇点邻域上用幂级数解法求解二阶线性齐次常微分方程的主要步骤有哪些？其中要注意的要点是哪些？ 作业：p175：8.3 1 、 3 ，8.5 1 、 3 * 基本内容:常点和正则奇点邻域上的幂级数解法;勒让德 多项式、贝塞尔函数等特殊函数;非齐次方程 的通解. 本章难点:正则奇点邻域上的幂级数解法. 本章既是本课程下篇的基础,也是学习近代物理的基础, 所以学好本章具有重要意义. 方程的一般形式 定解条件： 8.1 （8.2） 为应用解析函数理论设p z 、q z 、y z 是分别由p x 、q x 、y x 唯一确定的复变函数.为了书写方便变量仍记作x. 1 方程的常点： 在 是解析的，则 2 解的存在和唯一性定理：设函数 在 则 8.1 存在唯一的满足条件 8.2 的解析函数 3 求解步骤： b 将 、 、 在 并比较 x-x0 的同幂项系数，给出系数 ak 的递推公式； 称为方程的常点。 内是解析的， . ； c 运用系数递推公式，将系数确定至两个积分常数； 上的幂级数展开式代入方程， d 讨论. 确定x0为方程常点，设 [在第十二章“球坐标系下的分离变数法”中，勒让德多项式和球函 数要用此处结果，在那里 取值待定、而 1 同一般形式比较 , 均在 上解析，故 是方程的常点 x0 0. 2 设 将以上诸式代入勒让德方程，得 ↓ 的系数： … ∴ 3 定系数： 4 讨论：解在 上是绝对且一致收敛的，在物理上需要考虑 处的收敛问题，P151具体论证了y0 x 在x 1发散 所以,要求 有限值,是数学问题有物理意义的必然要求. ， y0 x 退化为l 2n次多项式, y1 x 仍发散舍去； ： 多项式, y0 x 仍发散舍去. 总之,l 整数：方程的两个特解中有一个退化为l次多项式 l阶勒让德多项式 ,另一个发散级数解舍去. . y1 x 退化为l 2n+1次 5 阶勒让德多项式 ∵ ∴ 上式中k 1,2,…, 若选取 则使得yl 1 1,此时yl x 称为l阶勒让德多项式 由上式易得， 、 、 、 注:本征值问题 本 征 值： 本征函数： [Pl x 的表达式在第十二章中要用] 、… 1.正则奇点邻域方程的级数解 4.柱贝塞尔方程 m 0或整数的情况 2. 柱贝塞尔方程 和正整数的情况 3. 柱贝塞尔方程 m 半整数的情况 1正则奇点邻域方程的级数解 （1） （2） 当 1 与 3 总是线性无关的 2 在正则奇点邻域上方程幂级数独立解 或 （3） 1 方程的奇点x0:是p x 高于一阶或q x 高于二阶的极点. 正则奇点x0: Fuchs富克斯定理 是p x 不高于一阶的极点或q x 的不高于二阶的极点. 在奇点x0邻域上运用级数解法是不方便的,故本课程只研究正则 奇点邻域上的幂级数解. 3 指标方程 p-1是p x 在 上展开式中的负一次幂项系数 上展开式中的负二次幂项系数 a 判定x0为正则奇点 代入方程→各幂次系数为零→ c s1-s2 非整数，取系数递推公式中s s1、s2分别给出y1、y2； 若s1-s2 整数，仍取系数递推公式中s s1、s2分别给出y1、y2， d 必要的讨论. 4 求解步骤： b 将 若二者线性相关，则另取 代入方程从头开始； q-2是q x 在 2 柱贝塞尔方程 和正整数的情况 在柱坐标系、球坐标系中求解定解问题时将遇到 在区域 上解析，显然x0 0是 的单极点，q x 的二阶极点，所以x0 0是方程的正则奇点； 1 2 设 而 ∴ —系数递推公式 ， k 1,2,… c0任意，s1 m,s2 -m, s1-s2 2m≠0或正整数 2 给出 如下 [其中利用了 取 则 —m阶贝塞尔函数； 给出第二个特解：— -m阶贝塞尔函数 类似取 a 若m是非整数与非半整数时， 与 线性独立，通解 b m阶贝塞尔函数 中m的对任何实数都适用，只是 与