如何判断函数项级数的和是否有界？附具体级数分析问询

嘿，这个问题问到点子上了！判断函数项级数的和是否有界，得结合级数结构和定义域特性来分析，我给你拆解一下思路，再针对你给出的级数具体说明，最后讲讲证明无界的核心技巧：

常用的方向主要有这几个：

• 魏尔斯特拉斯比较法：如果能找到一个收敛的常数项级数，使得目标区间内级数每一项的绝对值都不超过这个常数项级数的对应项，那函数项级数一致收敛。若各项连续，一致收敛的级数和函数也连续；如果是闭区间，连续函数自然有界；如果是开区间，再验证端点处的极限是否有限，就能判断整个区间的有界性。
• 交错级数的余项估计：如果是满足莱布尼茨条件的交错级数，和的绝对值不会超过第一项的绝对值，这能直接给出一个简单的上界。
• 直接求和后分析：如果能把级数的和用初等函数表示出来（比如等比级数求和），直接分析这个表达式在区间上的有界性即可。

先做个变量替换简化问题：令$t = -x$，因为$x \in (-\infty, -1)$，所以$t \in (1, +\infty)$，原级数转化为：
$$\sum_{n=1}^\infty \frac{(-1)^n n^{-t}}{tn} = \sum_{n=1}^\infty (-1)^n \cdot \frac{1}{n^t \cdot t^n}$$

这是一个满足莱布尼茨条件的交错级数：通项的绝对值$\frac{1}{n^t \cdot t^n}$随$n$增大单调递减趋于0，所以级数收敛。现在看有界性：

• 当$t \to +\infty$（即$x \to -\infty$），第一项是$-\frac{1}{t}$，后续各项的绝对值都小于$\frac{1}{t^2}, \frac{1}{t^3}, ...$，用等比级数估计和的绝对值：$|S(t)| \leq \frac{1}{t} + \frac{1}{t^2} + \frac{1}{t^3} + ... = \frac{1}{t-1}$，当$t\to+\infty$时这个上界趋于0，显然有界。
• 当$t \to 1^+$（即$x \to -1^{-$），级数趋近于$\sum_{n=1}}\infty \frac{(-1)^n}{n}$，这是经典的莱布尼茨级数，和为$-\ln2$，是有限值。
• 对于任意$t>1$，用交错级数余项估计：$|S(t) - (-\frac{1}{t})| \leq \frac{1}{2^t \cdot t^2}$，因此$|S(t)| \leq \frac{1}{t} + \frac{1}{2^t \cdot t^2} < 1 + \frac{1}{2} = 1.5$，整个区间上都有明确的上界。

所以这个级数在$x \in (-\infty, -1)$上的和是有界的。

如果遇到需要证明和无界的情况，常用的方法有这些：

• 找点列趋向无穷：这是最直接的思路——在目标区间内找一列点${x_k}$，当$k\to\infty$时，级数在$x_k$处的和$S(x_k)$趋向于$+\infty$或$-\infty$。比如假设级数是$\sum_{n=1}^\infty \frac{(-1)^n n^x}{|x|n}$在$x \in (-1, 0)$，取点列$x_k = -1 + \frac{1}{k}$，对应的$t_k = 1 - \frac{1}{k}$，此时级数变为$\sum_{n=1}^\infty (-1)^n \cdot \frac{n^{{1-\frac{1}{k}}}{(1-\frac{1}{k})}n}$，当$k\to\infty$时，这个级数的通项绝对值趋向$n$，显然和趋向无穷，就能证明和函数无界。
• 利用部分和的无界性：如果对于任意大的正数$M$，总能找到某个$x$和正整数$N$，使得前$N$项的部分和$S_N(x) > M$，且后续余项的绝对值不足以把$S_N(x)$拉回$M$以下，就能说明和函数无界。
• 结合连续性与端点极限：如果和函数在开区间内连续，且在某个端点处趋向无穷，那根据连续性，函数在区间内必然无界。比如等比级数$\sum_{n=1}^\infty x^{n$的和是$\frac{1}{1-x}$，在$x\to1}-$时趋向无穷，所以在$(-1,1)$内无界。

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