北邮_通信工程_数理方程_讲义_第三章.pptVIP

高尔基 在应用分离变量法求解数学物理问题时，我们需要求解二阶常微分方程的本征值问题，但在上一章中涉及的是两个自变量的偏微分方程，分离变量后得到的常微分方程是二阶线性常系数常微分方程（或可化为常系数的常微分方程，如Euler方程）。 或 而且可以证明，上述罗朗级数 中一定有无穷多项负 幂项。 证明过程从略。 则可知 （1） 其中参数 称为Bessel方程的阶 数.将方程（3.4.1）改写成 是方程的正则奇点。 现在我们用级数法求解另一个 重要的特殊函数方程----- Bessel方程 （2） 由定理2，其级数解的形式为 这两个函数已经是Taylor级数 的形式了，即展开式的系数 方程的系数为 （*） 将级数解代入Bessel方程（1），比较x零次幂系数，得 （3） 它的两个根分别是 两根 由此可见，指标方程两根之差 取决于方程的参数 ，它将决 比较 各幂次的系数有 之差是 定方程两个线性无关解的形式 相应地，级数形式的的Bessel方 程是 （4） 其中第一式即为指标方程，由 第三式得系数递推公式 下面，我们根据指标方程两 根之差的不同情况，分别讨论 Bessel方程的解。 （5） （6） 1 整数、半整数时的解 不是整数或半整数时， 就不为整数。这时， 先求 ，将 代入系数的 . 当 两个线性无关的解取 递推公式（6）中，可得 （7） 可见，待定系数 将可以依次 表示出来；类似地， 可用 表示出来，但由方 时有 ，故 为了用 表示 ，由式（4） 类推，用 方程（5）第二式，当 有 将以上等式的左右两边分别相 乘，消去相同因子，立即可得 这样就得到了相应于根 的一个特解 . 若将 取为 , 并运用恒等式 将分母简化，这时 可以判定这个级数在整个数轴上收敛。这个无穷级数所确定的函数 ，称为 阶第一类Bessel函数 ，记作 （8） 其中 是 函数，它也是一 显然，当 （整数）时，有 一种特殊函数，它具有性质 类似地，对应于 , 另一个 线性无关的解为 与 通常，也将 取为 这样，便得到 比较式（8）、（9）可见，只要在式（8）的右端把 换成 即得式（9） 因此， 阶第一类 Bessel函数 （9） 可以用式 （8）统一 表示第一类Bessel函数。 当 不为整数、半整数时， 为任意常数。若将它 和 线性无关， 于是非整阶、 非半整阶的Bessel方程的通解 就是 和 的线性组合 其中 们取为 则得到Bessel方程的一个特解 与 线性无关， 称为第二类Bessel函数， 显然 因此Bessel方程的通解也可写成 或称Neumann函数。用Maple 求解Bessel方程（3.4.1），得到 的就是这个结果： ode:=x^2*diff(y(x),x$2) +x*diff(y(x),x)+(x^2- mu^2)*y(x)=0; dsolve(ode); 当方程（3.4.1）中的参数为整 数时，即 时，指标 ，方程 故正整数阶的Bessel函数为 . 方程的两根之差为整数 （3.4.1）的一个特解可取 由于当 为正整数时，有 * 制作：武进牛塘中学 王强 周晓春 蒋华菊 在进一步的讨论中，比如在极坐标、柱坐标系及球坐标系下用分离变量法求解数学物理定解问题时，会遇到更一般的，即二阶线性变系数常微分方程的本征值问题。为此，我们在这一章中讨论形如  (3.1.1)的方程的解法，并给出相应本征值问题的一些共性。 可以证明，方程（3.1.1）系数 以确定方程解的解析性质。为 了用复变函数的方法讨论方程 （3.1.1）及其解的解析性质， 有时需要将x延拓到复数域（仍 用x表示）。 的解析性质完全可 如果 在 点解析，则 称为方（3.1.1）的常点； 如果在 点 有一个 称为方程 不是解析的，则 （3.1.1）的奇点。下面分别讨论方程（3.1.1）在常点邻域及在奇点邻域内的解。 (3.1.2) 3.1 二阶常微分方程的级数解法 3.1.1常点邻域内的级数解法 定理1（Cauchy定理）设问题为 其中 在 内