Dirichlet Series and Asymptotics for Generalized Legendre Factorials

以下是基于 Brian Diaz 和 Pascal Normanyo 的论文《Dirichlet Series and Asymptotics for Generalized Legendre Factorials》（广义勒让德阶乘的狄利克雷级数与渐近性）的详细技术总结：

1. 研究问题 (Problem)

本文旨在解决广义阶乘函数（Generalized Factorial Functions）的渐近行为分析问题。

• 背景：经典的勒让德公式（Legendre formula）描述了阶乘 $n!$ 的 $p$-进赋值：$v_p(n!) = \sum_{k \ge 0} \lfloor n/p^k \rfloor$。这一公式在代数数论和 Dedekind 整环上的广义阶乘研究中至关重要。
• 挑战：Bhargava 等人之前研究了 Dedekind 整环上的广义阶乘，但关于其渐近行为（特别是斯特林公式的推广）的解析解释尚不完全。之前的工作（如文献 [1]）主要通过分析类切比雪夫函数（Chebyshev-like functions）的结构来研究，缺乏一个统一的解析框架。
• 核心目标：建立一个基于**狄利克雷级数（Dirichlet series）**的解析框架，以概念化地解释并推导由勒让德型估值公式定义的广义阶乘 $n!_{K,f}$ 的渐近展开式，特别是其主项和误差项。

2. 方法论 (Methodology)

作者采用了解析数论中的经典工具，结合代数数论结构，主要步骤如下：

1. 定义广义阶乘与增量函数：

   • 设 $K$ 为数域，$S$ 为有限素理想集，$f$ 为定义在 $K \setminus S$ 素理想上的正整数值函数。
   • 定义广义阶乘 $n!_{K,f}$ 的赋值：$v_p(n!_{K,f}) = \sum_{k \ge 0} \lfloor \frac{n}{f(p)N(p)^k} \rfloor$。
   • 引入增量函数 $B_{K,f,S}(n) = \log \left( \frac{n!_{K,f}}{(n-1)!_{K,f}} \right)$，其求和函数 $S_{K,f,S}(x) = \sum_{n \le x} B_{K,f,S}(n)$ 决定了阶乘的增长。

2. 构建狄利克雷级数：

   • 证明增量函数 $B_{K,f,S}(n)$ 具有自然的狄利克雷级数表示：
     $$D_{K,f,S}(s) = \sum_{n \ge 1} \frac{B_{K,f,S}(n)}{n^s} = \zeta(s) \sum_{p \notin S} \frac{\log N(p)}{f(p)^s (1 - N(p)^{-s})}$$
   • 该级数被分解为 $\zeta(s)$ 与一个辅助函数 $H_{K,f,S}(s)$ 的乘积。

3. 与 Dedekind Zeta 函数的对数导数建立联系：

   • 假设 $f(p)$ 满足渐近条件 $f(p) = c N(p) + O(N(p)^{1-\delta})$。
   • 利用这一条件，将 $H_{K,f,S}(s)$ 与 Dedekind Zeta 函数 $\zeta_{K,S}(s)$ 的对数导数 $-\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s)$ 进行比较。
   • 证明 $D_{K,f,S}(s)$ 可以分解为：
     $$D_{K,f,S}(s) = \zeta(s) \left[ c^{-s} \left( -\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s) \right) + J_{K,f,S}(s) \right]$$
     其中 $J_{K,f,S}(s)$ 在包含 $s=1$ 的半平面内是全纯的。

4. 极点分析与留数计算：

   • 分析 $s=1$ 处的奇点结构：$\zeta(s)$ 有一阶极点，$-\frac{\zeta'_{K,S}}{\zeta_{K,S}}(s)$ 也有一阶极点。两者的乘积导致 $D_{K,f,S}(s)$ 在 $s=1$ 处具有二阶极点（double pole）。
   • 计算 $D_{K,f,S}(s) \frac{x^s}{s}$ 在 $s=1$ 处的留数，从而确定渐近展开的主项。

5. 佩龙公式与围道移位 (Perron's Formula & Contour Shifting)：

   • 应用截断的佩龙公式将求和函数 $S_{K,f,S}(x)$ 表示为复平面上的积分。
   • 利用 Dedekind Zeta 函数的无零区域（zero-free region）将积分围道向左移位。
   • 通过估计移位后的积分余项，得到误差项的界。

3. 主要结果 (Key Results)

定理 1.1 (主定理)：
设 $K$ 为数域，$S$ 为有限素理想集，$f$ 满足 $f(p) = c N(p) + O(N(p)^{1-\delta})$。定义广义阶乘及其求和函数 $S_{K,f,S}(x)$。则当 $x \to \infty$ 时：

$$S_{K,f,S}(x) = \frac{1}{c} x \log x + C_{K,f,S} x + O\left( x e^{-c_1 \sqrt{\log x}} \right)$$

• 主项：$\frac{1}{c} x \log x$。
• 次项：$C_{K,f,S} x$，其中常数 $C_{K,f,S}$ 依赖于 $K, f, S$。
• 误差项：$O(x e^{-c_1 \sqrt{\log x}})$，这是一个非常强的误差界（优于多项式对数误差）。
• 例外项：如果 Dedekind Zeta 函数 $\zeta_K(s)$ 存在异常实零点 $\beta_K \in (0, 1)$，则会出现额外的项 $C^*_K x^{\beta_K}$。

推论 7.2 (对 Bhargava 问题的回答)：
对于作为 $\mathbb{Z}$-代数有限生成的 Dedekind 整环 $D$，其广义阶乘 $\log n!_{D,S}$ 满足类似的斯特林型渐近公式：
$$\log n!_{D,S} = a_{D,S} n \log n + C_{D,S} n + O(n e^{-c_1 \sqrt{\log n}})$$
这部分回答了 Bhargava [6] 关于广义阶乘斯特林公式的问题。

4. 关键贡献 (Key Contributions)

1. 解析框架的建立：首次为勒让德型广义阶乘提供了一个统一的狄利克雷级数解析框架，将组合计数问题转化为复分析中的极点分析问题。
2. 极点结构的揭示：明确指出了广义阶乘增量函数的狄利克雷级数在 $s=1$ 处具有二阶极点，这直接解释了渐近展开式中 $x \log x$ 项的来源（一阶极点通常对应 $x$ 项，二阶对应 $x \log x$）。
3. 误差项的优化：通过利用 Dedekind Zeta 函数的无零区域和围道移位技术，获得了指数级衰减的误差项 $O(x e^{-c \sqrt{\log x}})$，比之前基于初等方法或较弱解析方法得到的结果更精确。
4. 统一性：该方法自然地适用于 $S$-整数环（Rings of $S$-integers），并涵盖了经典阶乘、Bhargava 阶乘以及文献 [1] 中研究的特定阶乘作为特例。

5. 意义 (Significance)

• 理论深度：该工作将代数数论中的算术结构（素理想分布、范数）与解析数论中的渐近分析（狄利克雷级数、留数定理）紧密结合，为理解 Dedekind 整环上的组合对象提供了更深刻的解析解释。
• 解决开放问题：直接回应了 Bhargava 关于广义阶乘斯特林公式的疑问，证明了此类阶乘确实遵循类似于经典斯特林公式的对数线性增长规律，并给出了具体的系数和误差估计。
• 方法论推广：所采用的“构造增量函数的狄利克雷级数 $\to$ 关联 Zeta 函数 $\to$ 围道移位”的方法，为研究其他由算术序列定义的广义阶乘或计数函数提供了通用的技术路线。

总结而言，这篇论文通过引入狄利克雷级数工具，成功地将广义勒让德阶乘的渐近行为问题转化为复平面上的极点分析问题，不仅给出了精确的渐近公式，还极大地优化了误差估计，是该领域解析数论方法应用的重要进展。