证明∑ₙ=1^N fⁿ在(-1,1)逐点收敛于g非一致收敛及区间替换探讨

好的，咱们一步步来拆解这个问题，先从逐点收敛的证明入手，再分析不一致收敛的原因，最后聊聊换成闭区间后的变化：

一、在开区间 ( (-1,1) ) 上逐点收敛于 ( g(x) ) #

对于任意固定的 ( x \in (-1,1) )，部分和 ( S_N(x) = \sum_{n=1}^N f^n(x) = \sum_{n=1}^N x^n ) 是**首项为 ( x )、公比为 ( x )**的几何级数。因为 ( |x| < 1 )，根据几何级数的求和公式，这个级数的极限为：
$$
\lim_{N \to \infty} S_N(x) = \frac{x}{1-x} = g(x)
$$
这就说明，对 ( (-1,1) ) 里的每一个点 ( x )，当 ( N \to \infty ) 时，( S_N(x) ) 都能逼近到 ( g(x) )，满足逐点收敛的定义。

二、在开区间 ( (-1,1) ) 上不一致收敛于 ( g(x) ) #

一致收敛的核心要求是：整个区间内的所有点要同步逼近极限函数，也就是对任意 ( \epsilon > 0 )，存在一个足够大的 ( N )，只要 ( n > N )，对所有 ( x \in (-1,1) ) 都有 ( |S_n(x) - g(x)| < \epsilon )。咱们通过分析余项来推翻这个可能性：

首先计算余项：
$$
|g(x) - S_N(x)| = \left| \frac{x}{1-x} - \frac{x(1-x^N)}{1-x} \right| = \frac{|x|^{N+1}}{1-|x|}
$$
现在构造一个序列 ( x_N = 1 - \frac{1}{N+1} )，这个点显然属于 ( (-1,1) )。把它代入余项：
$$
|g(x_N) - S_N(x_N)| = \frac{(1 - \frac{1}{N+1})^{N+1}}{1 - (1 - \frac{1}{N+1})} = (1 - \frac{1}{N+1})^{N+1} \times (N+1)
$$
根据极限知识，( \lim_{k \to \infty} (1 - \frac{1}{k})^k = \frac{1}{e} )，所以当 ( N \to \infty ) 时，上面的余项会趋向 ( \frac{1}{e} \times \infty = \infty )。这意味着：不管 ( N ) 取多大，总能找到 ( x_N \in (-1,1) )，使得余项大于某个固定的 ( \epsilon )（比如 ( \epsilon = 1 )），完全不满足一致收敛的要求，因此序列在 ( (-1,1) ) 上不一致收敛。

三、替换为闭区间 ( [-1,1] ) 的情况 #

把区间换成 ( [-1,1] ) 后，首先看逐点收敛性：

• 当 ( x = 1 ) 时，部分和 ( S_N(1) = \sum_{n=1}^N 1 = N )，当 ( N \to \infty ) 时趋向无穷大，不收敛；
• 当 ( x = -1 ) 时，部分和 ( S_N(-1) = \sum_{n=1}^N (-1)^n )，这个序列在 ( -1 ) 和 ( 0 ) 之间交替震荡，不收敛；
• 只有 ( x \in (-1,1) ) 时，部分和仍然逐点收敛到 ( g(x) )。

因为闭区间的两个端点处序列都不收敛，所以整个部分和序列在 ( [-1,1] ) 上不是逐点收敛的，自然也不存在一致收敛的可能。

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