由展开定理（仅适用单值函数）.doc

Chapter 8 线性常微分方程的级数解法和某些特殊函数 特 点： 过程繁杂乏味, 结果简单精彩。 问题复杂，思路原始。 想法既笨（非小技巧）又绝顶聪明。 学思路方法，用时查手册、程序。 基本概念及通解结构 二阶线性常微分方程的标准形式 变系数方程，非齐次， 其非齐次项亦称为自由项。 齐次方程 二阶线性常系数齐次微分方程。 对于一般n阶线性齐次常微分方程，可以用算符作用到函数上的形式表示： ， 是各阶微商的线性函数，最高阶为，称为阶线性微分算符。所谓线性，指算符中，仅仅包含的各阶微商（包括零阶）的一次幂项。 方程的常点和正则奇点（常点非常，奇点更奇） 为进行比较普遍的讨论，取方程的宗量为复变量。 方程的通解完全由系数决定。特别是，解的解析性由系数的解析性决定。常点：如果和在点是解析的，则点称为方程的常点。 奇点：如果和中的一个（或两个）在点是不解析，则点称为方程的奇点。 正则奇点：如果点为方程的奇点，但在该点，都是解析的，则点称为方程的正则奇点（有限阶奇点，可解）。 齐次方程的通解结构 定理一（迭加原理）：若和是阶线性微分方程 的两个解，则 也是该方程的解（和是两个任意常数）。 定理二：若和是方程 的两个特解，则和线性无关的充要条件是：它们的朗斯基（Wronski）行列式 不为零。 这条定理是显而易见的，令，并将其微商，便得到方程组 . 当时，有非零的和解，此即表示是线性相关的。反之，当时，只有平凡解：，此即表示是线性无关的（两者比值是的函数）。 Wronski行列式的性质： 反对称性： ii）对数连续性： iii）线性相关性： 如果和为方程的两个线性独立解（称为特解），那么该方程的任何解均可表示为这两个解的线性组合。因此，对于方程来说，是完备系(基本解)，而即为通解。有了通解，再根据定解条件：,,就可以确定常数和. 定理三：若是方程的一个特解，则方程的另一个线性无关的特解为（See Adv. Math.） . [证明] 既然和是方程的解，所以 , (1) . (2) 由于和是线性无关的，因此它们的Wronski行列式不为零，即. ，可得 . 因此， . 此即， . 积分后可得， . 由于 再积分，即得 . 非齐次方程的通解 定理四：若、是方程的两个线性无关解，则相应非齐次方程的一个特解为 ， 其中，. [证明] 设为方程的任一特解，即 . (3) 得， ， 即 . 令，则上式变为， . 作代换，其中 ，得 ，即 ， [利用了]. 所以 . 那么 . 由于 ， 再积分，即得 . 用分步积分改写，即得 [其中，我们利用了]. 常点邻域方程的级数解法 1. 解的存在和唯一性定理：如果和在圆域内是解析的，则在此圆域内，方程存在唯一的、满足定解条件，的解析解. 既然解是唯一存在的，而且是解析的，则可将其设为以常点为展开中心的Taylor series: . 逐项微分,然后带入方程，就可以确定系数{}—这种表示理论的坐标值，那么该幂级数在收敛圆内即为方程的解—级数解,其收敛半径是 2．勒让德方程（Legendre’s equation） ，（为常数）。 阶Legendre’s equation. 物理应用中，取零或正整数，数学上当然还可取其它值。 第一步：考察方程的性质，即判断展开中心点的奇性。 Legendre’s equation的系数，，它们在点都是解析的，即是方程的常点。由上面的定理可知，其解也是解析的，因此，方程的解可展成以为中心的Taylor series. 第二步：把解写成，求出和，代入方程。 , , . 第三步：将方程中同次幂项归并，由其系数和为零得出联系和的递推公式。 Const. … … … … … … … … … … ， 得 ; ， 得 ; ，得 ， 得 … … ，得recurrence relations . 第四步：由递推公式求出偶次幂项的系数与之间以及奇次幂项的系数与之间的关系式，于是便得到偶次幂项级数和奇次幂项级数。 第五步：写出解的最后形式，确定级数的收敛半径 ， 其中， 它们在是收敛的，在是发散的。 3．发散解的处理—Legendre polynomials 可以证明，在即当时，是发散的。 例如， 因此，由Gauss判别法可知，它是发散的[See C3 P5: 当时，收敛；而当时，发散]。 [物理要求有界！问题：能否适当选取,使当取实数值时，的特解在区间上保持有限？答：yes!] 后面我们将看到，Legendre’s eq.中