[数学]9-二阶常微分方程级数解法_本征值问题.pptVIP

* 令?阶虚宗量贝塞尔函数为实数 ?阶虚宗量贝塞尔方程的通解为 或?阶诺伊曼函数 * 考虑m阶虚宗量贝塞尔方程 (2) 整数m阶虚宗量贝塞尔方程 令 为m阶贝塞尔方程 m阶虚宗量贝塞尔函数为实数 故要寻找另一个独立解 作业： P194 第2题 * §9.4 施图姆-刘维尔(Sturm-Livouville) 本征值问题 （p212）由数学物理偏微分方程的分离变数法引出的常微分方程，往往附有边界条件，这些边界条件有的是明白提出来的，有的却是没有明白提出来的所谓自然的条件。满足这些边界条件的非零解往往不存在，除非方程的参数取某些特定值。这些特定值叫做本征值，相应的非零解叫做本征函数。求本征值和本征函数的问题叫做本征值问题。 常见的本征值问题都归结为施图姆-刘维尔本征值问题。 * Sturm-Livouville 本征值问题 （一） 施图姆—刘维尔本征值问题 Sturm-Livouville 方程 * ① 本征函数： 本征值： ——Legendre 方程的本征值问题 ② * ③ —— Bessel 方程的本征值问题 作变换 方程成为标准 Bessel 方程 ④ 本征函数： 本征值： * ii) 如果端点 x=a and/or x=b是 k(x) 的零点, 则 x=a and/or x=b 是方程 的奇点，在 x=a and/or x=b 处一定存在自然边界条件(有界)！ iii) 如果端点 x=a and x=b满足：k(a)=k(b), y(a)=y(b), y’(a)=y’(b), 则在x=a 和 x=b 有周期性的边界条件。 三大类边界条件:施-刘型方程在不同情况下应与如下几种边界条件构成本征值问题: i) 如果端点 x=a不是 k(x) 的零点，在 x=a 处要附加齐次边界条件： 第一类: y(a)=0; 第二类: y’(a)=0; 第三类: (y+hyn) x=a =0, h0。 * （二）Sturm-Livouville 本征值问题的基本性质 （1） 若k(x),k’(x),q(x) 连续或最多以x=a, x=b为一阶极点，则存在无限多本征值： 相应的本征函数为： 当本征值按上述次序排列时，则在[a,b] 上相应本征函数的零点个数按从少到多的次序排列。 在量子力学中，y1(x) 和?1 称为基态波函数和基态本征值（一般为能量）。 * 例： n=1 n=2 n=3 n=4 * （2）所有本征值 ?n ≥0 （3）相应于不同本征值 ?m, ?n 的本征函数 ym(x), yn(x) 在区间 [a,b]上带权重 ?(x) 正交： （4）本征函数 {y1(x), y2(x),.…} 是完备的.任意连续函数 f(x), 若满足本征函数族的边界条件,则可以唯一展开为收敛级数： 其中： Nn 是 yn(x) 模： * 例： 对应同一本征值 ?=m2，有两个本征函数： 简并问题： 对应于同一个本征值，有两个或两个以上的线性无关的本征函数。 * 本章基本要求： 1．掌握球坐标、柱坐标系中三类方程分离变数的方法，以及分离变数后得到的勒让德方程及贝塞尔方程的形式。 2．了解勒让德方程及贝塞尔方程的级数解法，掌握解的结果。 3．掌握施图姆—刘维尔本征值问题及其性质。 * * 当 x=0, 有限，因此是方程的常点。 因 在 x0=0 的邻域上求解 l 阶 Legendre 方程 在 x=0邻域 |x-0|1内，方程的解具有Taylor 级数形式： 代入 Legendre 方程： (9.2.4) * xk 同次幂合并后，得 即 因此系数递推公式为 (9.2.5) * 因此 Legendre 方程的通解可表示为： 为使用方便，用k-2表示k，有 (9.2.5’) 所有偶次幂的系数均可用 a0推出，所有奇次幂的系数均可用a1推出。反复利用递推公式，得 * 任意给定初始条件a0 和 a1,就可得到一个特解。 y0(z)偶函数(a0=1,a1=0) 和y1(z)奇函数(a0=0,a1=1)是Legendre 方程的两个线性无关的特解。 级数的收敛半径： 因为x=±1是 离x=0 最近的奇点，因此级数的收敛半径 R=1。 * z O x y (r,q,?) q |x|1，级数收敛 |x|1，级数发散 大部分情况级数收敛 收敛还是发散？ 事实上: y0(x) 和 y1(x) 在x=±1是发散的级数（见附录四），而且 l 阶Legendre 方程不存在在x=±1均为有限的