定理 14.8 :设幂级数 ∑ n = 0 ∞ a n x n \begin{aligned}\sum_{n=0}^{\infty} a_{n} x^{n}\end{aligned} n=0∑∞anxn 在收敛区间 ( − R , R ) (-R, R) (−R,R) 上的和函数为 f f f, 若 x x x 为 ( − R , R ) (-R, R) (−R,R) 上任意一点, 则
- (i) f f f 在点 x x x 可导, 且
f ′ ( x ) = ∑ n = 1 ∞ n a n x n − 1 ; f^{\prime}(x)=\sum_{n=1}^{\infty} n a_{n} x^{n-1} ; f′(x)=n=1∑∞nanxn−1; - (ii) f f f 在 0 与 x x x 之间的这个区间上可积,且
∫ 0 x f ( t ) d t = ∑ n = 0 ∞ a n n + 1 x n + 1 . \int_{0}^{x} f(t) \mathrm{d} t=\sum_{n=0}^{\infty} \frac{a_{n}}{n+1} x^{n+1} . ∫0xf(t)dt=n=0∑∞n+1anxn+1.
定理 14.8 指出幂级数在收敛区间内可逐项求导与逐项求积.
推论 2:记 f f f 为幂级数 (2) 在点 x = 0 x=0 x=0 某邻域上的和函数, 则幂级数 (2)的系数与 f f f在 x = 0 x=0 x=0 处的各阶导数有如下关系:
a 0 = f ( 0 ) , a n = f ( n ) ( 0 ) n ! ( n = 1 , 2 , ⋯ ) . a_{0}=f(0), \quad a_{n}=\frac{f^{(n)}(0)}{n !}(n=1,2, \cdots) . a0=f(0),an=n!f(n)(0)(n=1,2,⋯).
这个推论还表明, 若幂级数 (2) 在 ( − R , R ) (-R, R) (−R,R) 上有和函数 f f f, 则幂级数 (2) 由 f f f 在点 x = 0 x=0 x=0 处的各阶导数所惟一确定.
在讨论幂级数的运算之前, 先说明两个幂级数
∑ n = 0 ∞ a n x n = a 0 + a 1 x + ⋯ + a n x n + ⋯ \begin{array}{l} \sum_{n=0}^{\infty} a_{n} x^{n}=a_{0}+a_{1} x+\cdots+a_{n} x^{n}+\cdots \\ \end{array} ∑n=0∞anxn=a0+a1x+⋯+anxn+⋯
与
∑ n = 0 ∞ b n x n = b 0 + b 1 x + ⋯ + b n x n + ⋯ \begin{array}{l} \sum_{n=0}^{\infty} b_{n} x^{n}=b_{0}+b_{1} x+\cdots+b_{n} x^{n}+\cdots \end{array}