chapt09-幂级数解法、本征值问题(4学时)-课件（PPT-精）.ppt

第九章 幂级数解法 本征值问题 9.1二阶常微分方程的幂级数解法 其中 z为复变数， z0为选定的点，C0, C1 为复数. 说明： 1．方程的常点和奇点概念 如果方程（9.1.1）的系数函数 2. 常点邻域上的幂级数解定理 定理9.1.1 若方程（9.1.1）的系数 故可以把它表示为此邻域上的泰勒级数. 为了确定级数解（9.1.2）中的系数，具体的做法是以 （9.1.2）代入方程（9.1.1），合并同幂项，令合并后的系数 9.1.2常点邻域上的幂级数解法 勒让德方程的求解 注： （参考书上9.1节内容，特别是书上226-228页内容 故方程的系数 因此，由任意常数 可计算出任一系数 将它们代入解的表达式中，得到勒让德方程解的形式 (9.1.7) l 是负整数时 所以不妨设 导出这个多项式的表达式 , 取多项式最高次项系数为 9.2 施图姆－刘维尔本征值问题 由此知（9.1.19）的一般项为 是一个任意常数，令 取一个确定的值，就得（9.1.18） 的一个特解．我们把 取作 这样选取 与后面将介绍的贝塞尔函数的母函数有关。 运用下列恒等式 使分母简化，从而，使（9.1.19）中一般项的系数变成 （9.1.24） 以（9.1.24）代入（9.1.19）得到贝塞尔方程（9.1.18）的一个特解 用级数的比值判别式（或称达朗贝尔判别法）可以判定 这个级数在整个数轴上收敛．这个无穷级数 所确定的函数，称为 阶第一类贝塞尔函数，记作 (9.1.25） 至此，就求出了贝塞尔方程的一个特解 另外，当 即取负值时，用同样方法可得 贝塞尔方程（9.1.18）的另一特解 （9.1.26） 比较（9.1.25）与（9.1.26）可见，只需在（9.1.25）的右 端把 换成 ，即可得到（9.1.26）．故不论 是正 数还是负数，总可以用（9.1.25）统一地表达第一类贝塞尔函数． 讨论： (1)当 不为整数时，例如 为分数阶贝塞尔函数： 等, 当 时， 故这两个特解 与 是线性无关的，由齐次线 性常微分方程的通解构成法知道，（9.1.18）的通解为 （9.1.28） 其中， 为两个任意常数． 根据系数关系，且由达朗贝尔比值法 故级数 和 的收敛范围为 (2)当 为正整数或零时（注:以下推导凡用 即表整数）， 故有 （9.1.27） 称 为整数阶贝塞尔函数．易得 需注意在取整数的情况下， 和 线性相关， 这是因为: 可见正、负 阶贝塞尔函数只相差一个常数因子 这时贝塞尔方程的通解需要求出与之线性无关的另一个特解． 我们定义第二类贝塞尔函数（又称为诺依曼函数）为 是一个特解，它既满足贝塞尔方程，又与 线性无关． 其中， 为欧拉常数． 可以证明是贝塞尔方程的特解， 且与 线性无关的. 综述：（1）当 ，即不取整数时，其贝塞尔方程的 通解可表示为 （2）不论 是否为整数，贝塞尔方程的通解都可 表示为 其中 为任意常数， 为任意实数． 从数学物理偏微分方程分离变量法引出的常微分方程往往还附有边界条件，这些边界条件可以是明确写出来的，也可以是没有写出来的所谓自然边界条件．满足这些边界条件的非零解使得方程的参数取某些特定值．这些特定值叫做本征值（或特征值、或固有值），相应的非零解叫做本征函数（特征函数、固有函数．求本征值和本征函数的问题叫做本征值问题. Chang-Kui Duan, Institute of Modern Physics, CUPT 9.1.1幂级数解法理论概述 用球坐标系和柱坐标系对拉普拉斯方程、波动方程、输运方程进行变量分离，就出现连带勒让德方程、勒让德方程、贝塞尔方程、球贝塞尔方程等特殊函数方程．用其他坐标系对其他数学物理偏微分方程进行分离变量，还会出现各种各样的特殊函数方程．它们大多是二阶线性常 微分方程． 不失一般性，我们讨论复变函数的线性二阶常微分方程 　　　（9.1.1） 这些线性二阶常微分方程常常不能用通常的解法解出，但可用幂级数解法解出． 所谓幂级数解法，就是在某个任意点Z0的邻域上，把待求的解表为系数待定的幂级数，代入方程以逐个确定系数． 幂级数解法是一个比较普遍的方法，适用范围较广，可借助于解析函数的理论进行讨论． 求得的解既然是级数，就有是否收敛以及收敛范围的问题. 尽管幂级数解法较为繁琐，但它可广泛应用于微分方程的求解问题中． 和 在选定的点 的邻域 中是解析的，则点 方程（9.1.1）的常点. 如果选定的点 是 或 的奇点，则点 叫作方程（9.1.1）的奇点． 叫作 和 为点 的邻域 中的解析函数， 则方程在这圆中存在唯一的解析