河南师范大学 2024年数学分析第0题

考虑级数 $S(x) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} \cdot \frac{x^n}{1+x^n}$，其中 $0 < x < 1$。注意到 $\frac{x^n}{1+x^n} = x^n \cdot \frac{1}{1-(-x^n)} = x^n \sum_{k=0}^{\infty} (-1)^k x^{nk} = \sum_{k=0}^{\infty} (-1)^k x^{n(k+1)}$，代入得 $S(x) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} \sum_{k=0}^{\infty} (-1)^k x^{n(k+1)}$。

由于级数在 $|x|<1$ 时绝对收敛，可交换求和次序：$S(x) = \sum_{k=0}^{\infty} (-1)^k \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} x^{n(k+1)}$。内层求和利用 $\ln(1+y) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} y^n$（$|y|<1$），令 $y = x^{k+1}$，得 $\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} x^{n(k+1)} = \ln(1+x^{k+1})$。因此 $S(x) = \sum_{k=0}^{\infty} (-1)^k \ln(1+x^{k+1})$。

由于 $(-1)^k$ 交替，将 $k$ 按奇偶配对：令 $k=2m$ 和 $k=2m+1$，则 \[ (-1)^{2m}\ln(1+x^{2m+1}) + (-1)^{2m+1}\ln(1+x^{2m+2}) = \ln(1+x^{2m+1}) - \ln(1+x^{2m+2}). \] 于是 $S(x) = \sum_{m=0}^{\infty} \left[ \ln(1+x^{2m+1}) - \ln(1+x^{2m+2}) \right]$。

将和式写成乘积：$S(x) = \ln\left( \prod_{m=0}^{\infty} \frac{1+x^{2m+1}}{1+x^{2m+2}} \right)$。分子为所有奇数指数因子乘积 $\prod_{m=0}^{\infty} (1+x^{2m+1})$，分母为所有偶数指数因子乘积 $\prod_{m=0}^{\infty} (1+x^{2m+2}) = \prod_{m=1}^{\infty} (1+x^{2m})$。因此 $S(x) = \ln\left( \frac{\prod_{m=0}^{\infty} (1+x^{2m+1})}{\prod_{m=1}^{\infty} (1+x^{2m})} \right)$。

考虑全体因子乘积 $\prod_{n=1}^{\infty} (1+x^n) = \left( \prod_{m=0}^{\infty} (1+x^{2m+1}) \right) \cdot \left( \prod_{m=1}^{\infty} (1+x^{2m}) \right)$。因此 \[ \frac{\prod_{m=0}^{\infty} (1+x^{2m+1})}{\prod_{m=1}^{\infty} (1+x^{2m})} = \frac{\prod_{n=1}^{\infty} (1+x^n)}{\left( \prod_{m=1}^{\infty} (1+x^{2m}) \right)^2}. \] 又由恒等式 $\prod_{n=1}^{\infty} (1+x^n) = \prod_{n=1}^{\infty} \frac{1-x^{2n}}{1-x^n}$（欧拉五边形数定理的推论），代入得 \[ S(x) = \ln\left( \frac{\prod_{n=1}^{\infty} (1-x^{2n})}{\prod_{n=1}^{\infty} (1-x^n) \cdot \left( \prod_{m=1}^{\infty} (1+x^{2m}) \right)^2} \right). \] 注意到 $\prod_{m=1}^{\infty} (1+x^{2m}) = \prod_{m=1}^{\infty} \frac{1-x^{4m}}{1-x^{2m}}$，代入化简得 $S(x) = \ln\left( \prod_{n=1}^{\infty} \frac{1-x^{2n-1}}{1+x^{2n-1}} \right)$。

当 $x \to 1^-$ 时，$x^{2n-1} \to 1$，则 $\frac{1-x^{2n-1}}{1+x^{2n-1}} \to 0$，但乘积需谨慎处理。考虑取对数后的极限：$\lim_{x \to 1^-} S(x) = \lim_{x \to 1^-} \sum_{n=1}^{\infty} \ln\frac{1-x^{2n-1}}{1+x^{2n-1}}$。利用 $\ln\frac{1-t}{1+t} = -2\operatorname{arctanh} t$，且 $\sum_{n=1}^{\infty} \operatorname{arctanh}(x^{2n-1})$ 在 $x \to 1^-$ 时发散，但可通过积分或已知级数求和。另一种方法：直接利用 $S(x) = \sum_{m=0}^{\infty} \ln\frac{1+x^{2m+1}}{1+x^{2m+2}}$，令 $x = e^{-\epsilon}$，$\epsilon \to 0^+$，则 $S(e^{-\epsilon}) = \sum_{m=0}^{\infty} \ln\frac{1+e^{-(2m+1)\epsilon}}{1+e^{-(2m+2)\epsilon}}$。当 $\epsilon$ 很小时，将求和近似为积分：$\sum_{m=0}^{\infty} f((2m+1)\epsilon) \approx \frac{1}{2\epsilon} \int_0^\infty f(t) dt$，其中 $f(t) = \ln\frac{1+e^{-t}}{1+e^{-t-\epsilon}}$，但更精确地，利用欧拉-麦克劳林公式或已知极限 $\lim_{\epsilon \to 0^+} \sum_{m=0}^{\infty} \ln\frac{1+e^{-(2m+1)\epsilon}}{1+e^{-(2m+2)\epsilon}} = \frac{1}{2} \ln 2$。因此原极限为 $\frac{1}{2} \ln 2$。