Zeta Archive: 佩龙公式

佩龙公式

历史背景

19 世纪末至 20 世纪初，解析数论面临的核心挑战是如何将离散算术函数与连续复分析工具连接起来。1859 年黎曼发表关于素数分布的开创性论文后，数学家们意识到狄利克雷级数的解析性质蕴含着数论函数的深刻信息。正是在这一背景下，德国数学家奥斯卡・佩龙（Oskar Perron）于 1907 年在研究连分数理论时首次系统提出了这一积分表示公式，其原始形式虽未直接针对数论问题，但很快被发现是连接狄利克雷级数与算术函数和的关键工具。

佩龙公式的核心意义在于提供了离散 - 连续对偶性的严格数学表述：它将数论中离散的求和运算（如素数计数函数）转化为复平面上的积分运算，从而允许应用柯西留数定理、围道积分等复分析方法研究数论问题。这种转换在素数定理的证明中展现出决定性作用，通过将切比雪夫 ψ 函数表示为黎曼 ζ 函数的积分形式，数学家得以将素数分布问题转化为对 ζ 函数零点分布的研究。

严格定义与数学表述

基本形式

设为算术函数，其狄利克雷级数生成函数为：

其中为复变量，级数在半平面（为收敛横坐标）内收敛。佩龙公式建立了该级数与部分和函数之间的积分表示关系。

标准佩龙公式（非实效形式）表述为：

其中求和符号上的撇号表示当为正整数时，末项需取半值（即），积分理解为柯西主值。

带余项的实用形式

在实际计算中，无穷积分需截断为有限积分，此时带余项的佩龙公式更为有用。严格表述：

定理（带余项的佩龙公式）：

设的收敛横坐标为，存在递增函数及使得且（）。对任意，，当，，，时：

若非整数：

若为整数：

其中为离最近的整数，，常数仅与相关。

这一形式的关键价值在于明确给出了截断误差估计，使数值计算和理论分析成为可能。特别地，当取时，余项趋于零，即可恢复无穷积分形式。

推导过程

佩龙公式的严格推导需要结合狄利克雷级数与梅林变换的性质，以下分四步给出完整证明：

1. 阶跃函数表示

引入 Heaviside 单位阶跃函数：

则算术函数部分和可表示为：

这一表示将有限求和转化为无穷求和，虽引入了大量零项，但为积分变换创造了条件。

2. 狄利克雷级数与积分的交换

考虑的 Mellin 变换：

交换积分与求和（需验证一致收敛性，由狄利克雷级数收敛条件保证），对每个，积分区域为，故：

代入得：

即得到生成函数与和函数的积分关系：

3. Mellin 逆变换

根据 Mellin 变换的反演公式，若，则：

对应用逆变换，注意到，则：

这就完成了基本形式的推导。

4. 余项估计（有限积分情形）

实际应用中需将无穷积分截断为的有限积分，余项估计基于复分析中的约当引理和被积函数衰减性。以非整数为例，积分误差主要来自三部分：

垂直积分路径两端的贡献（部分）
被积函数在积分路径右侧可能的奇点（由的解析性质决定）
附近整数点的跳跃间断贡献

通过构造包含积分路径的矩形围道，应用留数定理可将误差表示为等显式形式。

核心应用

素数定理证明中的关键步骤

佩龙公式在解析数论中最著名的应用是素数定理的严格证明。考虑切比雪夫函数：

其中为曼戈尔特函数（当时，否则为）。

$若（为素数，）其他情况$

其生成函数为黎曼函数的对数导数：

应用佩龙公式得：

通过围道积分将积分线移至左半平面，留数贡献来自（主项）和函数零点（余项），最终得到显式表达式：

其中遍历函数非平凡零点。

这一公式直接表明：若所有非平凡零点满足（即黎曼猜想的弱形式），则，进而推出素数定理。

一般方法

佩龙公式的应用通常遵循以下步骤：

识别数论函数：确定目标和函数（如，等）
构建生成函数：找到对应的狄利克雷级数（通常需证明解析开拓性质）
应用佩龙公式：选择合适的积分路径（实部）和截断参数
围道变形与留数计算：将积分线移至左半平面，计算被积函数奇点的留数贡献
余项估计：利用函数增长性、衰减性控制积分误差项
提取渐近主项：分析留数贡献得到和函数的渐近公式

例如在高斯圆问题（求圆内整点个数）中，通过将（表示表为两平方和的方法数）的生成函数代入佩龙公式，可将整点计数转化为对该乘积函数的围道积分。

推广与现代发展

L-Perron 公式：解析延拓与连续性改进

标准佩龙公式的结果在整数点处存在跳跃间断（源于 Heaviside 函数的定义）。柯兰（2021）提出的改进形式通过引入包含所有极点的半圆形围道，得到了解析的求和函数：

其中围道包含生成函数的所有极点。该函数满足，且在整个复平面解析。例如对常函数，，完美消除了标准公式在整数点的修正项。

计算复杂性优化

原始佩龙公式的余项估计中包含项，实际计算需平衡与的选取。Improved Perron's Formula 通过拆分求和区域、引入非负不减控制函数，将余项改进为：

当取时，余项可优化至，显著提升了数值稳定性。