The Parabolic Mellin Transform: Gamma and Zeta Integral Representations

技术摘要：抛物线梅林变换：伽马与 $\zeta$ 函数的积分表示

问题陈述
本文探讨了通过轮廓积分来表示特殊函数（特别是伽马函数、其倒数以及各种 $\zeta$ 型函数，如 Hurwitz $\zeta$ 函数、黎曼 $\zeta$ 函数和狄利克雷 $\eta$ 函数）的方法。虽然经典的表示法通常依赖于汉克尔轮廓（Hankel contour，一种绕负实轴的钥匙孔轮廓）或拉普拉斯积分（Laplace integral，一种垂直线积分），但这些方法各具局限性。汉克尔轮廓在几何上较为复杂；而对于倒数伽马函数的拉普拉斯积分则依赖于振荡抵消，导致其在定义域的部分区域内仅是条件收敛。作者寻求一种统一的框架，通过具有绝对收敛性的垂直线积分来表达这些函数，利用高斯衰减（Gaussian decay）来简化分析，并为伽马函数和 $\zeta$ 函数提供一套通用的符号体系。

方法论
核心方法论引入了抛物线梅林变换（Parabolic Mellin Transform, PMT），其通过二次变量代换 $u = w^2$ 定义。

1. 定义： 对于定义在映射 $w \mapsto w^2$ 像集上的函数 $f$，PMT 定义为：
   $$P_\sigma[f](z) = \int_{-\infty}^{\infty} w^{2z} f(w^2) \, dt, \quad \text{其中 } w = \sigma + it, \sigma > 0.$$
   在代换 $u = w^2$ 下，垂直线 $\text{Re}(w) = \sigma$ 在 $u$ 平面中映射为顶点位于 $\sigma^2$ 的左开口抛物线轮廓 $C_\sigma$。
2. 高斯阻尼： 该参数化的一个关键特征是指数核 $e^u$ 变为 $e^{w^2} = e^{\sigma^2 - t^2}$。这使得轮廓积分转化为带有高斯阻尼（$e^{-t^2}$）的垂直线积分，从而确保了对所有 $z \in \mathbb{C}$ 的绝对收敛，并允许在积分号下进行全纯性讨论。
3. 轮廓变形： 作者利用柯西定理将抛物线轮廓 $C_\sigma$ 变形为标准的汉克尔轮廓。这确立了 PMT 与经典汉克尔表示之间的等价性，且不会改变所涉及函数的解析延拓性质。
4. 缩放与复合： 该框架利用缩放恒等式（$\alpha^{-s}$）和狄利克雷复合（Dirichlet composition）将高斯变换与狄利克雷级数联系起来，从而将该变换与 $\zeta$ 函数相连。

主要贡献与结果

• 高斯变换 ($G(z)$):
  本文证明了高斯核 $e^u$ 的 PMT 产生了一个全纯函数 $G(z)$，它能表示伽马函数及其在反射参数下的倒数。具体而言，令 $s = z + 1/2$：
  $$G(z) = \frac{\pi}{\Gamma(1-s)} = \Gamma(s)\sin(\pi s).$$
  这提供了经典汉克尔表示法对于 $1/\Gamma(s)$ 的抛物线轮廓形式。与拉普拉斯积分不同，这种表示对于所有 $z$ 都是绝对收敛的。

• $\zeta$ 型积分表示:
  通过将高斯变换与亚纯核 $\frac{e^{au}}{1-e^u}$ 和 $\frac{e^{au}}{1+e^u}$ 相结合，作者推导出了 Hurwitz $\zeta$ 函数 $\zeta(s, a)$、黎曼 $\zeta$ 函数 $\zeta(s)$ 以及狄利克雷 $\eta$ 函数的积分表示。
  基本恒等式为：
  $$R(z, a) = G(z)\zeta(s, a) \quad \text{以及} \quad D(z, a) = G(z)\eta(s, a),$$
  其中 $R$ 和 $D$ 分别是相应核的 PMT。这些恒等式在亚纯意义下成立，$G(z)$ 的零点（位于 $z = 1/2 + n$）对应于 $\zeta$ 函数的极点或可去奇异点。

• 统一的变换字典:
  本文构建了一个“字典”（表 1），将伽马型函数与 $\zeta$ 型函数统一在单一的变换符号之下。该字典包含了在 PMT 框架内进行的缩放、单项式平移、微分和对数平移等操作。

• 临界带问题的重新表述:
  论文展示了如何利用 PMT 坐标（$z = s - 1/2$）对重大猜想进行精确的重新表述：

  • 黎曼假设 (RH): 由于 $G(z)$ 在条带 $|\text{Re}(z)| < 1/2$ 内没有零点，因此 $\zeta(s)$ 的非平凡零点恰好对应于该条带内 $R(z)$ 的零点。因此，RH 等价于断言 $R(z)$ 在 $|\text{Re}(z)| < 1/2$ 内的所有零点都位于虚轴上（$\text{Re}(z) = 0$）。
  • 林德洛夫假设 (Lindelöf Hypothesis): 该假设被重新表述为抛物线积分 $R(i\tau)$ 的增长条件。具体而言，由于 $|G(i\tau)| \sim \sqrt{\pi} e^{\pi|\tau|/2}$，林德洛夫假设等价于 $R(i\tau) = O_\epsilon(e^{\pi|\tau|/2}(1+|\tau|)^\epsilon)$。

意义与主张
作者明确指出，PMT 并未 提供伽马函数或 $\zeta$ 函数的新解析延拓，也没有产生新的无零区域或改进的增长界限。相反，其意义在于重组与统一：

1. 参数化： 它通过抛物线参数化（$u=w^2$）表达了经典的汉克尔型积分，从而将其转化为带有高斯阻尼的垂直线积分。
2. 收敛性： 它用绝对收敛的高斯阻尼积分取代了条件收敛的振荡积分（如拉普拉斯公式）。
3. 统一性： 它为伽马型恒等式和 $\zeta$ 型恒等式提供了一个共同的归一化因子（$G(z)$），将临界带中心置于零点，并简化了用于比较这些函数的符号。
4. 等价性： 它提供了关于抛物线轮廓积分的零点和增长性的等价重新表述，从而分离出显式的指数因子，以便专注于剩余的积分行为。

论文得出结论，PMT 作为一个“变换字典”，有助于在单一的解析符号体系下，对伽马型归一化、$\zeta$ 型核以及临界线增长进行比较。