Zeta 函数的洛朗展开

历史背景与问题提出

19 世纪中叶，黎曼在研究素数分布问题时引入了 Zeta 函数 （其中 ），并证明了其在全复平面的解析延拓性，仅在 处留下一个留数为 1 的简单极点。1885 年，荷兰数学家 Thomas Stieltjes 首次系统研究了 在 附近的展开行为，发现展开式中除主项 外，其余系数构成了一系列新的常数，后世称之为 Stieltjes 常数 。这些常数的研究至今仍是数论中的核心课题，例如 即为著名的欧拉 - 马歇罗尼常数 ，而高阶常数 的算术性质与超越性问题尚未完全解决。

洛朗展开的定义与基本形式

在复分析中，洛朗级数是泰勒级数的推广，适用于函数在孤立奇点附近的展开。对于 ，其在 处的洛朗展开式可表示为：

其中， 称为 Stieltjes 常数，其定义为展开式中 项的系数与 的乘积。该展开式的收敛域为 ，覆盖了除 外的整个复平面。

展开式的推导方法

方法一：积分表示与分部积分法

考虑 的积分表示（对 成立）：

通过变量替换 ，可将积分分解为奇异部分与正则部分。对奇异部分 展开为幂级数并逐项积分，结合 在 附近的泰勒展开 ，可分离出主项 。对正则部分 ，在 处直接展开为泰勒级数，最终合并得到洛朗展开式。

方法二：欧拉 - 麦克劳林求和公式

欧拉 - 麦克劳林公式提供了级数与积分的联系：对于函数 ，有

取 ，当 时，对 有 。其中 ，而后续项构成关于 的幂级数，通过比较系数可直接得到 Stieltjes 常数的表达式。

方法三：Stieltjes 常数的极限定义

Stieltjes 常数 可通过以下极限定义：

该定义直接揭示了 与调和级数的对数修正项之间的关系。例如，当 时，上式退化为欧拉常数的经典定义 ，其中 为调和数。

Stieltjes 常数的性质与计算

解析延拓与导数关系

洛朗展开式两侧对 求导 次后令 ，可得 Stieltjes 常数与 导数的关系：

该式表明 是 在 处正则部分的 阶导数与 的乘积。

特殊值与渐近行为

特殊值包括 （欧拉常数），以及 （一阶 Stieltjes 常数），而对于大 ， 呈现复杂的振荡行为，其绝对值随 增长，但具体渐近公式尚未完全明确。

数值计算方法

Stieltjes 常数的数值计算依赖于高精度级数或积分表示。例如，利用展开式

可通过数值积分计算 。对于高阶常数，需结合加速收敛技术（如 Wynn-ε 算法）以提高精度。

应用与推广

数论中的应用

Stieltjes 常数在素数定理的余项估计中扮演关键角色。例如，素数计数函数 的渐近展开式为

其中 为对数积分函数，而 的出现即源于 的洛朗展开。

多维推广：多重 Zeta 函数的洛朗展开

多重 Zeta 函数 在整数点 处的洛朗展开可推广单变量情形，其系数涉及多重 Stieltjes 常数 。例如，当 且 时，展开式包含交叉项 ，其中 为伯努利数。

结论与展望

Zeta 函数的洛朗展开不仅是复分析技巧的典范，更通过 Stieltjes 常数构建了分析学与数论的交叉桥梁。尽管已有大量研究，高阶 Stieltjes 常数的算术性质（如超越性）、多重 Zeta 函数展开的系统性理论，以及量子场论中的应用（如费曼图计算）仍是未来值得探索的方向。正如黎曼 Zeta 函数本身连接了素数分布与复平面的零点，其洛朗展开的每一项都可能蕴含着尚未被揭示的数学奥秘，这些常数究竟是偶然的数值巧合，还是某种深层数学结构的外在表现，这一问题将持续激发研究者的好奇心。