最后更新: 2025-04-23 06:56 查看: 624 次反馈同步训练

幂级数和函数的性质

## 幂级数的运算与和函数
关于幂级数的运算和性质，我们不加证明地给出以下各定理.
**定理3 (代数运算)**
设幂级数

$$
a_0+a_1 x+a_2 x^2+\cdots+a_n x^n+\cdots, \quad b_0+b_1 x+b_2 x^2+\cdots+b_n x^n+\cdots
$$

的收敛区间分别为 $\left(-R_1, R_1\right)$ 及 $\left(-R_2, R_2\right)$ ，其和函数分别为 $f(x)$ 与 $g(x)$ ，即

$$
\sum_{n=0}^{\infty} a_n x^n=f(x), x \in\left(-R_1, R_1\right), \quad \sum_{n=0}^{\infty} a_n x^n=g(x), x \in\left(-R_2, R_2\right),
$$

设 $R=\min \left\{R_1, R_2\right\}$ ，则在 $(-R, R)$ 上，两个幂级数可以作加法、减法及乘法运算:

$$
\begin{aligned}
& \sum_{n=0}^{\infty} a_n x^n \pm \sum_{n=0}^{\infty} b_n x^n=\sum_{n=0}^{\infty}\left(a_n \pm b_n\right) x^n=f(x) \pm g(x), x \in(-R, R), \\
&\left(\sum_{n=0}^{\infty} a_n x^n\right)\left(\sum_{n=0}^{\infty} b_n x^n\right)=a_0 b_0+\left(a_0 b_1+a_1 b_0\right) x+\left(a_0 b_2+a_1 b_1+a_2 b_0\right) x^2+ \\
& \cdots+\left(a_0 b_n+a_1 b_{n-1}+\cdots+a_n b_0\right) x^n+\cdots, x \in(-R, R) .
\end{aligned}
$$

可以看出，两个幂级数的加减乘运算与两个多项式的相应运算完全相同. 除 了代数运算外，幂级数在收敛域内还可以进行微分和积分运算.

## 定理 4 (和函数的连续性)

设幂级数 $\sum_{n=0}^{\infty} a_n x^n$ 的收敛域为区间 $I$ ，则它的和函 数 $s(x)$ 在收敛域 $I$ 上是连续的.
例如，幂函数 $\sum_{n=0}^{\infty} x^n$ 的收敛域为 $|x|<1$ ，且和函数 $s(x)=\frac{1}{1-x}$ ，即

$$
\frac{1}{1-x}=1+x+x^2+\cdots+x^n+\cdots, x \in(-1,1)
$$

易知和函数 $s(x)=\frac{1}{1-x}$ 在收敛域 $(-1,1)$ 上是连续的.

## 定理 5 (和函数的可导性) 
设幂级数 $\sum_{n=0}^{\infty} a_n x^n$ 的收敛半径为 $R(R>0)$ ，则其和 函数 $s(x)$ 在收敛区间 $(-R, R)$ 内可导，且有逐项求导公式

$$
\left.s^{\prime}(x)=\left(\sum_{n=0}^{\infty} a_n x^n\right)\right)^{\prime}=\sum_{n=0}^{\infty}\left(a_n x^n\right)^{\prime}=\sum_{n=1}^{\infty} n a_n x^{n-1}, x \in(-R, R) .
$$

逐项求导后所得到的幂级数的收玫半径仍为 $R$.
把 (1) 两端逐项求导，得 $\frac{1}{(1-x)^2}=1+2 x+3 x^2+\cdots+n x^{n-1}+\cdots$,
易知右端级数的收敛半径 $R=1$ ，在 $x=\pm 1$ 处级数发散，故收玫域为 $(-1,1)$.

## 定理 6 (和函数的可积性)
设幂级数 $\sum_{n=0}^{\infty} a_n x^n$ 的收玫半径为 $R(R>0)$ ，则其和 函数 $s(x)$ 在收敛区间 $(-R, R)$ 内可积，且有逐项求积公式

$$
\int_0^x s(x) \mathrm{d} x=\int_0^x\left(\sum_{n=0}^{\infty} a_n x^n\right) \mathrm{d} x=\sum_{n=0}^{\infty} \int_0^x a_n x^n \mathrm{~d} x=\sum_{n=0}^{\infty} \frac{a_n}{n+1} x^{n+1}, x \in(-R, R) .
$$

把 (1) 式两端逐项积分，得 $\int_0^x \frac{1}{1-x} \mathrm{~d} x=\int_0^x\left(1+x+x^2+\cdots+x^n+\cdots\right) \mathrm{d} x$ ， 即 $-\ln (1-x)=x+\frac{x^2}{2}+\frac{x^3}{3}+\cdots+\frac{x^{n+1}}{n+1}+\cdots$,
从而级数 $\sum_{n=0}^{\infty} \frac{x^{n+1}}{n+1}$ 的和函数为 $-\ln (1-x)$.

`例`求下列幂级数的收敛域和函数:
$\sum_{n=1}^{\infty} \frac{x^n}{n}$;
 解: $\rho=\lim _{x \rightarrow \infty}\left|\frac{a_{n+1}}{a_n}\right|=\lim _{n \rightarrow \infty} \frac{\frac{1}{(n+1)}}{\frac{1}{n}}=\lim _{n \rightarrow \infty} \frac{n}{n+1}=1$ ，所以 $R=1$.
易知在 $x=-1$ 处，级数收敛；在 $x=1$ 处，级数发散，故级数的收敛域为 $[-1,1)$
设和函数为 $x=-1$ ， 则

$$
S(x)=\sum_{n=1}^{\infty} \frac{x^n}{n}=\sum_{n=1}^{\infty} \int_0^x x^{n-1} \mathrm{~d} x=\int_0^x \sum_{n=1}^{\infty} x^{n-1} \mathrm{~d} x=\int_0^x \frac{1}{1-x} \mathrm{~d} x=-\ln (1-x), x \in[-1,1) .
$$
`例` 求下列幂级数的收敛域和函数: $\sum_{n=1}^{\infty} n x^n$;
解 $\rho=\lim _{n \rightarrow \infty}\left|\frac{a_{n+1}}{a_n}\right|=\lim _{n \rightarrow \infty} \frac{n+1}{n}=1$ ，所以 $R=1$. 当 $x \in(-1,1)$ 时，记

$$
S(x)=\sum_{n=1}^{\infty} n x^n=x \sum_{n=1}^{\infty} n x^{n-1}=x \sum_{n=1}^{\infty}\left(x^n\right)^{\prime}=x\left(\frac{x}{1-x}\right)^{\prime}=x\left(\frac{x}{1-x}\right)^{\prime}=\frac{x}{(1-x)^2}, \quad x \in(-1,1) .
$$

`例`求下列幂级数的收敛域和函数:
 $\sum_{n=1}^{\infty}(-1)^{n-1} \frac{x^n}{n}$ ；

解：题设级数的收敛域为 $(-1,1]$, 设其和函数为 $s(x)$, 即

$$
s(x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\cdots+(-1)^{n-1} \frac{x^n}{n}+\cdots
$$

显然 $s(0)=0$ 且 $s^{\prime}(x)=1-x+x^2+\cdots+(-1)^{n-1} x^{n-1}+\cdots=\frac{1}{1+x}(-1<x<1)$ ，
由积分公式 $\int_0^x s^{\prime}(x) d x=s(x)-s(0)$ ，得 $s(x)=s(0)+\int_0^x s^{\prime}(x) d x=\i

免费注册看余下 50%

非VIP会员每天15篇文章，开通VIP 无限制查看

上一篇：幂级数收敛举例

下一篇：函数展开成幂级数

本文对您是否有用？有用 (0) 无用 (0)