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

第三章 特征值问题与特殊函数 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）后，得 化简后写成 要使上式恒成立，必须使得各个 次幂的系数为零， 从而得下列各式： (3.1.20) (3.1.21) (3.1.22) 由（3.1.20） 得 ；代入（3.1.21），得 ．现暂取 ，代入（3.1.22）得 (3.1.23) 因为 ，由（3.1.23）知： 都可以用 表示，即 由此知（3.1.19）的一般项为 是一个任意常数，令 取一个确定的值，就得（3.1.18） 的一个特解．我们把 取作 这样选取 与后面将介绍的贝塞尔函数的母函数有关 运用下列恒等式 使分母简化，从而，使（3.1.19）中一般项的系数变成 （3.1.24） 以（3.1.24）代入（3.1.19）得到贝塞尔方 程（3.1.18）的一个特解 用级数的比值判别式（或称达朗贝尔判别法）可以判定 这个级数在整个数轴上收敛．这个无穷级数 所确定的函数，称为 阶第一类贝塞尔函数，记作 (3.1.25） 至此，就求出了贝塞尔方程的一个特解 另外，当 即取负值时，用同样方法可 得贝塞尔方程（3.1.18）的另一特解 （3.1.26） 比较（3.1.25）与（3.1.26）可见，只需在（3.1.25）的右 端把 换成 ，即可得到（3.1.26）．故不论 是正 数还是负数，总可以用（3.1.25）统一地表达第一类贝 塞尔函数． 讨论： (1)当 不为整数时，例如 为分数阶贝塞尔函数： 等, 当 时， 故这两个特解 与 是线性无关的，由齐次线 性常微分方程的通解构成法知道，（3.1.18）的通解为 （3.1.28） 其中， 为两个任意常数． 根据系数关系，且由达朗贝尔比值法 故级数 和 的收敛范围为 (2)当 为正整数或零时（注:以下推导凡用 即表整数）， 故有 （3.1.27） 称 为整数阶贝塞尔函数．易得 需注意在取整数的情况下， 和 线性相关， 这是因为: 由于 是零或正整数，只要 ，则 是零或负整数，而对于零或负整数的 函数为无穷大，所以上面的级数实际上只从 开始．若令 ，则 从零开始，故 可见正、负 阶贝塞尔函数只相差一个常数因子 这时贝塞尔方程的通解需要求出与之线性无关的另一个特解． 我们定义第二类贝塞尔函数（又称为诺依曼函数）为 是一个特解，它既满足贝塞尔方程，又与 线性无关． 这样我们可以得到 其中， 为欧拉常数． 可以证明这个函数，确实是贝塞尔方程的一个特解， 而且是与 线性无关的（因为当 时， 为有限值，而 为无穷大）． 综述：（1）当 ，即不取整数时，其贝塞尔方程的 通解可表示为 （2）不论 是否为整数，贝塞尔方程的通解都可 表示为 其中 为任意常数， 为任意实数． 从数学物理偏微分方程分离变量法引出的常微分方程往往还附有边界条件，这些边界条件可以是明确写出来的，也可以是没有写出来的所谓自然边界条件．满足这些边界条件的非零解使得方程的参数取某些特定值．这些特定值叫做本征值（或特征值、或固有值），相应的非零解叫做本征函数（特征函数、固有函数．求本征值和本征函数的问题叫做本征值问题. * * 特征方程为 特解 在收敛区域内 收敛半径 解析：若 f(x) 在0点的某个邻域内C∞，且Taylor级数收敛，称 f 在0点解析。 解析函数由局部性质可推