狄利克雷级数绝对收敛横坐标≠一致收敛横坐标相关技术咨询

嘿，关于狄利克雷级数里绝对收敛横坐标和一致收敛横坐标不相等的问题，咱们可以从基础概念和经典例子入手，把这个差异讲清楚～

首先先回顾下狄利克雷级数的定义：它是形如
$$\sum_{n=1}^{{\infty}\dfrac{a_n}{n}s}$$
的级数，其中${a_n}$是复数列，$s=\sigma+it$是复变量（$\sigma$是$s$的实部，$t$是虚部）。这类级数的收敛性只和$\sigma$有关，会形成收敛半平面$\sigma>\sigma_c$（$\sigma_c$是收敛横坐标），以及绝对收敛半平面$\sigma>\sigma_a$（$\sigma_a$是绝对收敛横坐标）。

核心例子：交错狄利克雷级数 #

最经典的能体现两者差异的例子就是：
$$\sum_{n=1}^{{\infty}\dfrac{(-1)}n}{n^s}$$

咱们来拆解它的收敛特性：

• 绝对收敛横坐标$\sigma_a$：绝对收敛要求$\sum_{n=1}^{{\infty}\left|\dfrac{(-1)}n}{n^{s}\right|=\sum_{n=1}}{\infty}\dfrac{1}{n^{\sigma}}$收敛。而这个级数就是p级数，当$\sigma>1$时收敛，$\sigma\leq1$时发散，所以$\sigma_a=1$。
• 收敛横坐标$\sigma_c$：用狄利克雷判别法分析：当$\sigma>0$时，$\left{\dfrac{1}{n^{s}\right}$对固定的$\sigma$单调递减且趋于0（因为$|1/n}s|=1/n^{{\sigma}\to0$），同时交错项的部分和$\sum_{n=1}}N (-1)^{n$始终有界（绝对值不超过1），因此级数在$\sigma>0$时收敛；当$\sigma\leq0$时，通项$\dfrac{(-1)}n}{n^{s}$的模$1/n}{\sigma}\geq1$，不趋于0，级数发散。所以$\sigma_c=0$。

一致收敛的范围差异 #

接下来看一致收敛的情况：

• 这个级数在任意$\sigma\geq\delta>0$的闭半平面上一致收敛：同样用狄利克雷判别法，部分和$\sum_{n=1}^N (-1)^{n$有界，而$\dfrac{1}{n}s}$在$\sigma\geq\delta$上一致趋于0（因为$|1/n^s|\leq1/n{\delta}$，当$n\to\infty$时，$1/n^{\delta}$对所有$\sigma\geq\delta$一致趋于0）。
• 但它在$\sigma>0$的整个开半平面上不一致收敛，同时绝对收敛只在$\sigma>1$的区域成立。

这里就能明显看到：绝对收敛的“门槛”$\sigma_a=1$，远高于一致收敛（内闭一致收敛）的门槛$\sigma_u=0$（这里$\sigma_u$是内闭一致收敛的横坐标，即最小的$\sigma$使得$\sigma>\sigma_u$时级数内闭一致收敛），两者并不相等。

和幂级数的关键区别 #

对比咱们熟悉的幂级数：幂级数在收敛圆内绝对收敛，且内闭一致收敛，绝对收敛和一致收敛的范围本质上是重合的。但狄利克雷级数不一样，这是因为它的通项结构$\dfrac{a_n}{n^s}$和幂级数的$a_n z^{n$差异很大——狄利克雷级数的通项衰减速度依赖于$s$的实部，而交错的系数（比如例子里的$(-1)}n$）会让级数在绝对收敛之前就具备收敛性，甚至一致收敛性。

最后补充一个通用结论：对于一般的狄利克雷级数，收敛横坐标$\sigma_c$和绝对收敛横坐标$\sigma_a$满足$\sigma_c\leq\sigma_a\leq\sigma_c+1$，咱们这个例子刚好达到了$\sigma_a=\sigma_c+1$的极端情况，是理解两者差异的绝佳范本。

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