欧拉-马歇罗尼常数

欧拉-马歇罗尼常数 (Euler-Mascheroni Constant)

欧拉-马歇罗尼常数（Euler-Mascheroni constant，通常记作 $\gamma$）是数学分析和数论中一个重要的超越常数，定义为调和级数的部分和与自然对数之差的极限：

该常数由瑞士数学家莱昂哈德·欧拉（Leonhard Euler）于 1734 年首次提出，后由意大利数学家洛伦佐·马歇罗尼（Lorenzo Mascheroni）以符号 $\gamma$ 表示。$\gamma$ 的精确性质——特别是其有理数或无理数身份——至今悬而未决，是数学中最为持久且富有挑战性的未解难题之一。

定义与等价形式

欧拉-马歇罗尼常数的标准定义基于调和数 $H_n = \sum_{k=1}^{n} 1/k$ 与 $\ln n$ 的差值。狄利克雷（Dirichlet）于 1838 年证明了该极限的存在性，其核心依据是 $H_n$ 与 $\ln n$ 的差在 $n$ 增加时单调递减且有下界。

$\gamma$ 的等价定义形式多样，反映了其深刻的数学内涵：

• 积分形式：最经典的积分表达式为 \[ \gamma = \int_{1}^{\infty} \left( \frac{1}{\lfloor x \rfloor} - \frac{1}{x} \right) \, dx \] 该式直观体现了$\gamma$ 作为"理想积分"与"整数步长求和"之间偏差的几何意义。此外，$\gamma$ 还可用狄利克雷积分表示为： \[ \gamma = -\int_{0}^{\infty} e^{-t} \ln t \, dt \]
• Γ函数表示：$\gamma$ 与Γ函数在 $z=1$ 处的导数密切相关： \[ \gamma = -\Gamma'(1) = -\psi(1) \] 其中 $\psi(z) = \Gamma'(z)/\Gamma(z)$ 为双伽马函数（digamma function）。
• 级数形式：$\gamma$ 可表示为多种收敛级数，如 Vacca 级数： \[ \gamma = \sum_{k=2}^{\infty} (-1)^k \frac{\lfloor \log_2 k \rfloor}{k} \]
• Riemann ζ 函数表示：$\gamma$ 出现在 ζ 函数的洛朗展开式中： \[ \zeta(s) = \frac{1}{s-1} + \gamma + \sum_{n=1}^{\infty} \frac{(-1)^n}{n!} \gamma_n (s-1)^n \] 其中 $\gamma_n$ 为Steiltjes常数。

数值特性与计算史

$\gamma$ 的数值计算是数学计算史上的一个经典议题。欧拉本人利用调和级数的前 10 项加上对数校正项，将 $\gamma$ 计算至小数点后 6 位。马歇罗尼在 1790 年计算出 32 位，但后续发现其第 20 位起存在错误。19 世纪，高斯、勒让德等数学家利用更精确的欧拉-麦克劳林求和公式大幅提升了计算精度。

截至 2025 年，$\gamma$ 已被计算至超过 100 万亿位十进制小数。与 $\pi$ 和 $e$ 不同，$\gamma$ 的十进制展开未表现出任何可辨识的模式，但其超越性尚未得到证明。

与数学各分支的深层关联

$\gamma$ 在数学的多个分支中反复出现，往往出人意料：

• 数论：$\gamma$ 与素数分布密切相关。Mertens定理指出： \[ \sum_{p \leq x} \frac{1}{p} = \ln \ln x + M + o(1) \] 其中 $M$ 为Meissel-Mertens常数，与 $\gamma$ 的关系为 $M = \gamma + \sum_{p} [\ln(1-1/p) + 1/p]$，$\gamma$ 本身也出现在素数定理的误差项中。
• 指数积分：$\gamma$ 出现在指数积分函数 $E_1(x) = \int_x^{\infty} e^{-t}/t \, dt$ 在 $x \to 0^+$ 时的展开式中： \[ E_1(x) = -\gamma - \ln x + x - \frac{x^2}{4} + \cdots \]
• 概率论与统计：在极值理论中，$\gamma$ 出现在Gumbel分布的归一化常数中。对数正态分布的期望和方差表达式也涉及 $\gamma$。狄利克雷分布的归一化常数与 $\Gamma$ 函数相关，进而与 $\gamma$ 产生联系。
• 特殊函数：几乎所有重要的特殊函数——Γ函数、ψ函数、ζ函数、指数积分、余弦积分和正弦积分——在奇异点或渐近展开式中均包含 $\gamma$。

经济学中的相关应用

虽然 $\gamma$ 本身并非经济模型的直接参数，但其数学结构在若干经济问题中隐现：

1. 离散-连续模型中的校正：在涉及离散时间求和与连续时间积分的转换中（如最优增长模型的数值求解、OLG模型的校准），$\gamma$ 形式的校正项出现在欧拉-麦克劳林求和公式中，影响数值近似的精度。
2. 增长理论中的对数趋势：在新古典增长模型中，人均产出沿平衡增长路径的对数线性趋势隐含了与 $\gamma$ 渐近展开式相似的结构。当模型包含离散时间的人力资本积累时，$\gamma$ 出现在连续时间近似中。
3. 行为经济学中的双曲贴现：双曲贴现模型涉及调和级数型的时间偏好结构。对未来效用的离散求和与连续积分之间的偏差自然引出类似 $\gamma$ 的校正常数。
4. 福利损失度量：在消费者剩余和生产者剩余的离散近似中，梯形法则的误差项与 $\gamma$ 在欧拉-麦克劳林公式中的角色相呼应——这为从离散数据中估计连续福利度量提供了一种理论校正工具。

数学中的未解难题

$\gamma$ 最引人瞩目的数学问题是其有理数性质迄今未知。尽管 $\gamma$ 被普遍猜测为超越数（因而必然是无理数），但这一猜测既未得到证明，也未被证伪。相比之下，$\pi$ 和 $e$ 的超越性早在 19 世纪就已由 Lindemann 和 Hermite 分别证明；$\gamma$ 被视为超越数论中最突出的开放问题之一。

已知结果是：如果 $\gamma$ 是有理数，其分母必须极其巨大——Apostol 的一个经典结果排除了小分母的可能性。更近期的数值计算和理论分析进一步收紧了可能的分母下界，但尚未触及问题的本质。

此外，欧拉常数与欧拉-马歇罗尼常数之关系问题——即 $\gamma$ 是否可以用 $\pi$ 和 $e$ 的初等组合表示——同样是未解决的。$\gamma$ 出现在大量看似无关的数学语境中，暗示其可能处于一个尚未被充分理解的数学结构网络的核心位置。

结论

欧拉-马歇罗尼常数 $\gamma$ 是数学中最基本却又最神秘的常数之一。它连接了分析学的调和级数、数论的素数分布、特殊函数的渐近行为以及概率论的极值理论。$\gamma$ 的有理性问题是数学中最著名的未解难题之一，其解决不仅将深刻影响数论和分析学，也可能揭示数学中潜在的结构性规律——正如代数数论和超越数论的历史所反复证明的那样，对单个常数的深层理解往往开启整个数学分支的新视野。$\gamma$ 在经济学中的应用虽非主流，但其在离散-连续转换、增长理论和行为模型中的出现，提醒我们数学中最基本的常数往往在最意想不到的地方展现出其深刻的理论价值与实用意义。