关于周期数论函数对应级数收敛非零性等价条件的证明问询及与$L(1,f)\ne0$等价形式的关联探讨

嘿，这个问题问到点子上了——先帮你把这个结论的证明思路拆解清楚，顺便把背后的狄利克雷L函数关联给你理明白：

首先要明确：你提到的这个级数$S = \sum_{n=1}^\infty \frac{f(n)}{n}$，本质就是狄利克雷L函数在1处的值，也就是$L(1,f)$。所以Livingston论文里的结论，其实等价于：对于非零的周期为q的数论函数$f$，$L(1,f)$收敛且非零，当且仅当$f$的周期和$\sum_{n=1}^q f(n) = 0$。

接下来分两个方向补全证明：

一、必要性：如果级数收敛到非零数，那么周期和必为0 #

假设$\sum_{n=1}^q f(n) = C \neq 0$，我们来分析级数的行为：
把级数按周期q分组，第k个周期对应的项是$\sum_{m=0}^\infty \sum_{n=1}^q \frac{f(n)}{qm + n}$，可以拆成$\sum_{n=1}^q f(n) \sum_{m=0}^\infty \frac{1}{qm + n}$。
而$\sum_{m=0}^\infty \frac{1}{qm + n}$这个级数是发散的——它和调和级数同阶，当N→∞时，$\sum_{m=0}^N \frac{1}{qm +n} \sim \frac{1}{q} \log N$，会趋向无穷大。如果C≠0，整个级数$S$就会发散到±∞，这和“收敛到非零数”的前提矛盾。所以必须有$C=0$，必要性得证。

二、充分性：如果周期和为0，那么级数收敛且非零 #

这部分分两步：先证收敛，再证非零。

1. 收敛性证明 #

令$A(N) = \sum_{n=1}^N f(n)$，因为$f$周期为q且周期和为0，所以$A(N)$是有界的——每完整加一个周期，和就回到之前的水平，所以$|A(N)|$的最大值不会超过前q项部分和的最大值，也就是$|A(N)| \leq \max_{1 \leq k \leq q} |\sum_{n=1}^k f(n)|$，是个固定常数。
而数列${1/n}$是单调递减趋于0的，根据狄利克雷判别法，级数$\sum \frac{f(n)}{n}$必然收敛，这部分其实不算难，很多人卡的是后面的非零性。

2. 非零性证明 #

这里要用到狄利克雷特征的正交展开：任何周期为q的数论函数$f$，都可以分解为模q的狄利克雷特征的线性组合：
$$f(n) = \sum_{\chi \mod q} a_\chi \chi(n)$$
其中系数$a_\chi = \frac{1}{\phi(q)} \sum_{n=1}^q f(n) \overline{\chi(n)}$（$\phi$是欧拉函数，$\chi$遍历模q的所有特征）。

对应到L函数上，就有：
$$L(1,f) = \sum_{\chi \mod q} a_\chi L(1,\chi)$$

现在看周期和的条件：$\sum_{n=1}^q f(n) = q a_{\chi_0}$，这里$\chi_0$是主特征（也就是恒为1的特征，$\chi_0(n)=1$对所有n），因为只有主特征的周期和是q，其他非主特征的周期和都是0。所以当$\sum_{n=1}^q f(n)=0$时，$a_{\chi_0}=0$——也就是说$f$的展开里没有主特征的分量。

接下来的关键结论是：所有非主特征的L(1,χ)都不为0，这是狄利克雷L函数的经典性质（也是狄利克雷证明算术级数素数定理的核心步骤之一）。

现在，因为$f$是非零函数，根据特征的正交性，至少有一个非主特征$\chi$对应的系数$a_\chi \neq 0$（否则所有$a_\chi=0$，f就恒为0，和前提矛盾）。而每个非主特征的$L(1,\chi)≠0$，那这个线性组合会不会被抵消为0？
答案是不会：因为模q的特征构成正交基，$a_\chi$是由$f$唯一确定的系数，假设$L(1,f)=0$，那么$\sum_{\chi \neq \chi_0} a_\chi L(1,\chi)=0$，但结合特征的线性无关性（或者说正交性），只有当所有$a_\chi=0$时这个等式才成立，这就推出$f=0$，和$f$非零的前提矛盾。所以$L(1,f)≠0$，也就是级数收敛到非零数。

补充：q=2的例子验证 #

当q=2时，f(n)=(-1)^{n+1}对应的是模2的非主特征（$\chi(n)=1$如果n为奇数，-1如果n为偶数），此时$L(1,\chi)=1 - 1/2 + 1/3 - 1/4 + ... = \ln2 ≠0$，完全符合结论。

备注：内容来源于stack exchange，提问作者Ali