幂级数解法.docVIP

线性微分方程的幂级数解法 常系数齐次线性微分方程可以用代数的方法进行求解，然而，对于变系数线性微分方程来说，由于方程的系数是自变量的函数，就不能用代数的方法求解。微积分学的知识告诉我们，在满足某一些条件下，可以用幂级数表示一个函数，由此自然想到能否用幂级数表示微分方程的解呢？本章以二阶方程为例，讨论线性微分方程的幂级数解法。 考虑变系数线性微分方程 其中均为的解析函数。 如果系数函数中含有公因子，那么可把其削去，考虑原方程的同解方程即可。因此，不妨假设系数函数没有公因子。下面分两种情况考虑方程的初值问题解的存在唯一性。 ，则由的解析性，在的某一邻域内。此时，可把方程改写成如下形式 其中在的某一邻域内是解析函数。 考虑方程的初值条件 则初值问题的解是存在且唯一的。此时，称为方程的一个常点。 ，由于中不含有公因子，则和中至少有一个不等于零。因此，在和中至少有一个为。此时，无法确定初值问题的解是存在且唯一的。在这一种情况下称为方程的一个奇点。 本章主要以 勒让德方程和贝塞耳方程为例分别讨论了微分方程在常点邻域内的幂级数解法以及在奇点邻域内的广义幂级数解法。 5.1幂级数的相关知识 定义 每一项都是幂函数的函数项级数称为幂级数，它的一般形式是 其中称为幂级数的系数。 下面，列举幂级数解法中常用的知识点。 令，则称为幂级数的次部分和函数序列。若在点收敛，称幂级数在点是收敛的；否则，称幂级数在点发散。 显然，幂级数在点总是收敛的；而且，由正项级数的比值判别法，可以构造出形如的幂级数，使它在处是收敛的；同样，也可以构造出形如的在处是发散的幂级数。 如果级数 在点处是收敛的，则称幂级数在点处是绝对收敛的。由柯西收敛原理，如果幂级数在点处是绝对收敛的，那么它在点处必定是收敛的。但是，反之结论不一定成立。然而，若由比值判别法或根值法得到幂级数在点处是发散的，那么幂级数在点处也是发散的。 检验幂级数的绝对收敛性和发散性常用比值判别法或根值法： 对于固定的，若 或 那么 当时，幂级数在点处是绝对收敛的； 当时，幂级数在点处是发散的； 当时，幂级数在点处可能收敛也可能发散。 由根值判别法，对于幂级数，存在一个非负常数， 使得：当时，幂级数在点处是绝对收敛的；当时，幂级数在点处是发散的。即此时，幂级数的收敛区间为，而与有可能在的收敛范围内，也有可能不在。此时，称为幂级数的收敛半径。 对于幂级数的收敛半径，要注意 当时，幂级数的收敛范围内只有一点； 当时，幂级数在整个实数集上收敛。 如果幂级数在点处是收敛的，那么它必在内是绝对收敛的；如果幂级数在点处是发散的，则它必在也是发散的。 设幂级数的收敛半径为，令 则以下结论成立： 幂级数是函数的泰勒级数，其中； 在收敛区间内，幂级数可以逐项积分和微分。即：对内任意一点，有 以及 并且逐项积分和逐项求导后的幂级数，收敛半径仍为。 设级数 的收敛半径分别为和，则 其中 即, 则。 习题5.1 1 确定下列幂级数的收敛半径。 2 确定下列函数在处的泰勒级数，及其收敛半径。 3 利用逐项求导或逐项积分，求下列级数的和函数。 5.2幂级数解法 本节主要讨论微分方程在常点邻域内的幂级数解法。当为方程的常点时，下面的结论成立。 定理5.1 若为方程的常点，则 微分方程可以改写成微分方程，且系数函数 和 都是解析的。 微分方程有收敛的幂级数解 其中是两个任意的常数，而随而定。 一般来说，寻找方程的幂级数解的方法如下：假设方程有如下形式的解 将形式地代入微分方程后，得到一个形式上的恒等式，通过比较该恒等式中关于的同次幂的系数，就可以把幂级数中的系数依次唯一的确定出来，从而得到微分方程的“形式幂级数解”，此时还易知，该形式上的幂级数解是唯一的。由定理5.1，收敛的幂级数解也是微分方程的形式幂级数解。根据形式幂级数解的唯一性，形式幂级数解就是收敛的幂级数解。因此，形式幂级数解是收敛的。 例5.1 求解方程 解 易知为原方程的一个常点。令 是原方程的一个形式幂级数解，则