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

第三章 特征值问题与特殊函数 3.1 二阶常微分方程的幂级数解法 1. 变系数→常系数 （不是都可以用） 2. 幂级数法 f(x)——Taylor展开 系对其他数学物理偏微分方程进行分离变量，还会出 微分方程．这向我们提出求解带初始条件的线性二阶常微分方程定解问题。 幂级数解法是一个比较普遍的方法，适用范围较 广，可借助于解析函数的理论进行讨论． 定义 3.1.1 常点 奇点 如果方程（3.1.1）的系数函数 2. 常点邻域上的幂级数解定理 定理3.1.1 若方程（3.1.1）的系数 故可以把它表示为此邻域上的泰勒级数. 为了确定级数解（3.1.2）中的系数，具体的做法是以 （3.1.2）代入方程（3.1.1），合并同幂项，令合并后的系数 3.1.2 常点邻域上的幂级数解法 勒让德方程的求解 注明： 即为 故方程的系数 点 故可设勒让德方程具有 因此，由任意常数 可计算出任一系数 将它们代入解的表达式中，得到勒让德方程解的形式 (3.1.7) 是负整数时 所以不妨设 导出这个多项式的表达式 , 取多项式最高次项系数为 3．2 施图姆－刘维尔特征值问题 将（3.1.19）及其导数代入（3.1.18）后，得 化简后写成 要使上式恒成立，必须使得各个 次幂的系数为零， 从而得下列各式： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (3.1.20) (3.1.21) (3.1.22) 由（3.1.20） 得 ；代入（3.1.21），得 ．现暂取 ，代入（3.1.22）得 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (3.1.23) 因为 ，由（3.1.23）知： 都可以用 表示，即 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 由此知（3.1.19）的一般项为 是一个任意常数，令 取一个确定的值，就得（3.1.18） 的一个特解．我们把 取作 这样选取 与后面将介绍的贝塞尔函数的母函数有关 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 运用下列恒等式 使分母简化，从而，使（3.1.19）中一般项的系数变成 （3.1.24） 以（3.1.24）代入（3.1.19）得到贝塞尔方 程（3.1.18）的一个特解 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 用级数的比值判别式（或称达朗贝尔判别法）可以判定 这个级数在整个数轴上收敛．这个无穷级数 所确定的函数，称为 阶第一类贝塞尔函数，记作 (3.1.25） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 至此，就求出了贝塞尔方程的一个特解 另外，当 即取负值时，用同样方法可 得贝塞尔方程（3.1.18）的另一特解 （3.1.26） 比较（3.1.25）与（3.1.26）可见，只需在（3.1.25）的右 端把 换成 ，即可得到（3.1.26）．故不论 是正 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client