收敛半径是一个 非负的实数或无穷大,它定义了幂级数收敛的区域和发散的区域之间的分界线。具体来说,收敛半径 \( R \) 是满足以下条件的数:
1. 当 \( |z - a| < R \) 时,幂级数收敛。
2. 当 \( |z - a| > R \) 时,幂级数发散。
3. 在 \( |z - a| = R \) 的收敛圆上,幂级数的敛散性是不确定的,即对某些 \( z \) 可能收敛,而对其他一些 \( z \) 可能发散。
收敛半径可以通过不同的方法来计算,包括达朗贝尔审敛法、根值审敛法(如柯西-阿达马公式)等。这些方法都基于幂级数的系数和它们的比值来推导收敛半径。
计算方法
达朗贝尔审敛法
如果幂级数的通项为 \( a_n (z - a)^n \),则收敛半径 \( R \) 可以通过以下极限求得:
\[
R = \frac{1}{\limsup_{n \to \infty} \sqrt[n]{|a_n|}}
\]
其中,\(\limsup\) 表示上极限。
根值审敛法(柯西-阿达马公式)
如果幂级数的通项为 \( a_n (z - a)^n \),则收敛半径 \( R \) 可以通过以下极限求得:
\[
R = \frac{1}{\limsup_{n \to \infty} \sqrt[n]{|a_n|}}
\]
其中,\(\limsup\) 表示上极限。
比值审敛法
计算幂级数相邻两项系数的比值的极限:
\[
L = \lim_{n \to \infty} \left| \frac{a_{n+1}}{a_n} \right|
\]
如果 \( L \) 存在且 \( L < 1 \),则收敛半径 \( R = \frac{1}{L} \)。
如果 \( L = 1 \),则需要进一步分析。
如果 \( L = 0 \) 或 \( L \) 不存在,则幂级数对所有 \( z \) 都收敛,此时收敛半径 \( R = +\infty \)。
应用举例
例如,对于幂级数 \( \sum_{n=0}^{\infty} \frac{x^n}{n!} \),其收敛半径可以通过比值审敛法求得:
\[
L = \lim_{n \to \infty} \left| \frac{\frac{1}{(n+1)!}}{\frac{1}{n!}} \right| = \lim_{n \to \infty} \frac{n!}{n+1!} = 0
\]
由于 \( L = 0 \),该幂级数对所有 \( x \) 都收敛,因此收敛半径 \( R = +\infty \)。
总结
收敛半径是幂级数分析中的一个重要概念,它决定了幂级数在复平面上的收敛区域。通过不同的审敛方法,可以准确地计算出幂级数的收敛半径,从而确定其适用范围。