10.7.6 Solving Differential Equations with Series (级数解微分方程)¶

使用幂级数方法求解常微分方程，特别是无法用初等方法求解的方程

定义¶

级数解微分方程是一种用幂级数方法求解常微分方程的技术。基本思想是假设微分方程的解可以表示为幂级数形式 $y = \sum_{n=0}^{\infty} a_n x^n$，通过将该级数及其导数代入原微分方程，比较同次项的系数，建立递推关系式，从而逐项确定级数的系数。这种方法特别适用于求解那些无法用初等方法（如分离变量法、积分因子法等）求解的微分方程，例如 Legendre 方程、Bessel 方程等。级数解的收敛域由方程的奇点决定，通常在奇点周围的某个区间内收敛。

核心公式¶

$["$y = \sum_{n=0}^{\infty} a_n x^n$", "$y' = \sum_{n=1}^{\infty} n a_n x^{n-1}$", "$y'' = \sum_{n=2}^{\infty} n(n-1) a_n x^{n-2}$", "递推关系式：通过比较 $P(x)y'' + Q(x)y' + R(x)y = 0$ 中同次项系数得到 $a_{n+2} = -\frac{n(n+1)a_n + \text{其他项}}{(n+2)(n+1)}$", "收敛半径：$R = \frac{1}{\limsup_{n \to \infty} \sqrt[n]{|a_n|}}$"]$

易错点¶

⚠️ ["混淆级数求导规则：忘记对 $y = \sum_{n=0}^{\infty} a_n x^n$ 求导时，$y'$ 的首项应从 $n=1$ 开始，$y''$ 的首项应从 $n=2$ 开始，导致系数比较时出错", "递推关系建立错误：在比较同次项系数时，没有正确地将所有含有 $x^n$ 的项合并，或者遗漏了某些项的贡献", "忽视初始条件：求出递推关系后，没有利用初始条件 $y(0)$ 和 $y'(0)$ 来确定 $a_0$ 和 $a_1$，导致最终解不完整或不正确", "收敛域判断不当：求出级数解后，没有确定其收敛半径，或者误认为级数在整个实数域上收敛，忽视了微分方程奇点对收敛域的限制"]