A new expansion of the Riemann zeta function

这是一份关于 B. Candelpergher 论文《黎曼$\zeta$函数的新展开式》（A new expansion of the Riemann's zeta function）的详细技术总结。

1. 研究问题 (Problem)

黎曼$\zeta$函数 $\zeta(s)$ 在临界带 $0 < \Re(s) < 1$ 内的性质是数论的核心问题。虽然已有多种多项式展开形式（如基于牛顿插值公式的展开或涉及 Stieltjes 常数的展开），但本文旨在引入一种新的多项式展开，该展开具有以下特征：

• 基函数是一族正交多项式 $P_m(s)$。
• 这些多项式的根全部位于临界线 $\Re(s) = 1/2$ 上。
• 展开系数 $x_m$ 可以表示为欧拉常数 $\gamma$ 和黎曼$\zeta$函数值 $\zeta(2), \zeta(3), \dots, \zeta(m+1)$ 的有理系数线性组合。
• 该展开在临界带内是收敛的。

2. 方法论 (Methodology)

作者结合了拉盖尔多项式（Laguerre polynomials）、**梅林变换（Mellin transform）以及拉马努金求和法（Ramanujan's summation）**来构建理论框架。

2.1 拉马努金求和与发散级数处理

• 背景：为了处理形式上的发散级数求和（如 $\sum n^{-s}$ 在 $\Re(s) \le 1$ 时），作者引入了拉马努金求和法。
• 定义：对于解析函数 $f \in \mathcal{E}$（满足特定增长条件的半平面解析函数空间），拉马努金求和定义为：
  $$\mathcal{R}\sum_{n \ge 1} f(n) = C(f) = \frac{f(1)}{2} + i \int_0^{+\infty} \frac{f(1+it) - f(1-it)}{e^{2\pi t} - 1} dt$$
• 关键性质：对于 $s \neq 1$，有 $\mathcal{R}\sum_{n \ge 1} n^{-s} = \zeta(s) - \frac{1}{s-1}$。这允许作者将 $\zeta(s)$ 的展开与发散级数的正则化求和联系起来。

2.2 多项式序列 $P_m(s)$ 的构造

• 利用拉盖尔多项式 $L_m(x)$ 的生成函数和梅林变换，定义了一族多项式 $P_m(s)$：
  $$\Gamma(s)P_m(s) = 2 \int_0^{+\infty} e^{-x} L_m(2x) x^{s-1} dx$$
• 其生成函数关系为：
  $$z^{-s} = \sum_{m=0}^{+\infty} \frac{1}{1+z} \left(\frac{z-1}{z+1}\right)^m P_m(s)$$
• 通过变量代换 $z=n$（整数），作者试图将 $\sum n^{-s}$ 展开为 $P_m(s)$ 的级数。

2.3 级数交换与收敛性证明

• 作者证明了在临界带 $0 < \Re(s) < 1$ 内，可以将发散级数 $\sum_{n \ge 1}$ 替换为拉马努金求和 $\mathcal{R}\sum_{n \ge 1}$，并交换求和顺序，从而得到收敛的级数展开。
• 利用拉马努金求和的移位公式（Shift formula）和插值函数，显式计算了展开系数。

3. 关键贡献与主要结果 (Key Contributions & Results)

3.1 黎曼$\zeta$函数的多项式展开

在临界带 $0 < \Re(s) < 1$ 内，$\zeta(s)$ 可以展开为：
$$\zeta(s) = \sum_{m=0}^{+\infty} x_m P_m(s)$$
其中系数 $x_m$ 的表达式为：
$$x_m = \gamma + \sum_{k=1}^m \binom{m}{k} (-2)^k \zeta(k+1) + r_m$$
这里 $r_m$ 是仅包含有理数的项：
$$r_m = (-1)^{m+1} + \sum_{k=1}^m \frac{1 + (-1)^{k-1}}{k}$$

• 示例：
  • $x_1 = \gamma - 2\zeta(2) + 3$
  • $x_2 = \gamma - 4\zeta(2) + 4\zeta(3) + 1$

3.2 正交性与根的分布

• 正交性：定义变换后的多项式 $Q_m(t) = \frac{1}{2} P_m(\frac{1}{2} + it)$。作者证明了 $\{Q_m\}_{m \ge 0}$ 构成了加权空间 $L^2(\mathbb{R}, \frac{dt}{\cosh(\pi t)})$ 中的完备正交系。
• 根的分布：作为正交多项式的直接推论，$P_m(s)$ 的所有根都位于临界线 $\Re(s) = 1/2$ 上。这一性质与黎曼猜想的形式高度相关（尽管这里讨论的是多项式的根，而非 $\zeta(s)$ 本身的根）。

3.3 范数恒等式

利用正交展开和拉马努金求和，作者推导出了 $\zeta(s)$ 在临界线上的 $L^2$ 范数恒等式：
$$\frac{1}{2} \int_{-\infty}^{+\infty} \left| \zeta\left(\frac{1}{2} + it\right) \right|^2 \frac{dt}{\cosh(\pi t)} = \log(2\pi) - \gamma - \frac{1}{2}$$
这是一个精确的积分公式，将 $\zeta$ 函数的模平方积分与欧拉常数和 $\log(2\pi)$ 联系起来。

3.4 系数与 $\zeta$ 值的关系

作者建立了系数 $x_m$ 与 $\zeta(k+1)$ 之间的显式联系，并给出了 $\zeta(m+1)$ 的积分表示：
$$\zeta(m+1) = 1 + \frac{1}{m+1} + \frac{1}{2} \int_{-\infty}^{+\infty} \zeta\left(\frac{1}{2} + it\right) \frac{(\frac{1}{2} - it)^m}{m!} \frac{dt}{\cosh(\pi t)}$$

4. 意义与影响 (Significance)

1. 新的解析工具：该论文提供了一种在临界带内研究 $\zeta(s)$ 的新视角，即通过正交多项式展开。这种展开不仅收敛，而且系数具有明确的算术意义（涉及 $\gamma$ 和 $\zeta$ 值）。
2. 临界线根的几何性质：构造的多项式 $P_m(s)$ 的根严格位于 $\Re(s)=1/2$ 上，这为理解黎曼猜想相关的几何结构提供了新的数学对象。
3. 拉马努金求和的应用：文章展示了拉马努金求和法在处理发散级数并转化为收敛解析表达式方面的强大能力，特别是在连接 $\zeta(s)$ 的解析延拓与级数展开方面。
4. 积分恒等式：推导出的 $\zeta(1/2+it)$ 的加权 $L^2$ 范数公式是一个非平凡的结果，可能为研究 $\zeta$ 函数在临界线上的均值性质提供新的途径。

综上所述，Candelpergher 的工作通过引入基于拉盖尔多项式的正交展开，成功地将黎曼$\zeta$函数在临界带内的行为与一系列具有特定算术性质的系数联系起来，并揭示了这些基函数在临界线上的正交性质。