幂级数原函数的定义区间与导数等价性证明及方法问询

开发者阿泽

2026-5-19

嘿，你的思路完全正确！我们完全可以通过部分和来构造这个原函数幂级数，而且证明$F'(x)=f(x)$的核心就是从多项式部分和的导数性质出发，再结合一致收敛的定理过渡到无穷级数的场景。下面一步步拆解给你看：

问题解答

1. 构造原函数幂级数的可行性

完全没问题！具体操作就是你想的那样：

先写出$f(x)$的部分和序列：$S_N(x) = \sum_{n=0}^{N} a_n x^n$，这是个多项式，在$(-R,R)$上肯定可导且存在原函数。
对每个$S_N(x)$，取常数项为0的原函数：$F_N(x) = \sum_{n=0}^{N} \frac{a_n x^{n+1}}{n+1}$——也就是把部分和的每一项除以$n+1$再乘以$x$，这个构造非常合理。
当$N \to \infty$时，$F_N(x)$的极限就是目标函数$F(x)$，只要这个极限在$(-R,R)$上处处存在，$F(x)$就有定义。

我们用绝对收敛判别法来验证：

任取$x \in (-R,R)$，找一个正数$r$满足$|x| < r < R$（因为$R$是$f(x)$的收敛半径，所以$f(x)$在$x=r$处收敛）。
由于$\sum_{n=0}^{\infty} a_n r^n$收敛，根据收敛级数的必要条件，$\lim_{n \to \infty} |a_n r^n| = 0$，因此存在常数$M > 0$，使得对所有$n$都有$|a_n r^n| \leq M$。
估计$F(x)$的通项绝对值：
$$\left| \frac{a_n x^{n+1}}{n+1} \right| = |a_n| \cdot \frac{|x|^{n+1}}{n+1} \leq \frac{M}{r^n} \cdot \frac{|x|^{n+1}}{n+1} = M \cdot |x| \cdot \left( \frac{|x|}{r} \right)^n \cdot \frac{1}{n+1}$$
因为$\frac{|x|}{r} < 1$，等比级数$\sum_{n=0}^{\infty} \left( \frac{|x|}{r} \right)^{n$收敛，而$\frac{1}{n+1}$始终小于1，所以由比较判别法，$\sum_{n=0}}{\infty} \left| \frac{a_n x^{n+1}}{n+1} \right|$收敛，即$F(x)$的幂级数在$(-R,R)$上绝对收敛，因此$F(x)$在$(-R,R)$上处处有定义。

这里不用直接用还没学的“级数反微分”，而是从部分和的导数过渡，核心用到一致收敛的逐项求导定理：

首先，对每个部分和$F_N(x)$求导：
$$F_N'(x) = \sum_{n=0}^{N} \frac{a_n (n+1) x^n}{n+1} = \sum_{n=0}^{N} a_n x^n = S_N(x)$$
这是多项式求导，完全成立，没有任何问题。
接下来，取$(-R,R)$内任意闭区间$[a,b]$，证明$S_N(x)$在$[a,b]$上一致收敛到$f(x)$：
取$r$满足$\max(|a|,|b|) < r < R$，同样由$f(x)$在$x=r$处收敛，存在$M>0$使得$|a_n r^n| \leq M$。对所有$x \in [a,b]$，有$|a_n x^n| \leq |a_n r^n| \leq M$，而$\sum_{n=0}^{\infty} M \cdot \left( \frac{|x|}{r} \right)^n$是收敛的等比级数，根据魏尔斯特拉斯M判别法，$S_N(x)$在$[a,b]$上一致收敛到$f(x)$。
最后应用逐项求导定理：
若函数序列${F_N(x)}$在$[a,b]$上收敛到$F(x)$，${F_N'(x)}$在$[a,b]$上一致收敛到$g(x)$，且每个$F_N'(x)$连续，则$F(x)$在$[a,b]$上可导，且$F'(x)=g(x)$。
这里$g(x)=f(x)$，所以在$[a,b]$上$F'(x)=f(x)$。由于$[a,b]$是$(-R,R)$内任意闭区间，因此在整个$(-R,R)$上$F'(x)=f(x)$。

内容的提问来源于stack exchange，提问作者Sam