🔢 数学

On the calculation of an integral introduced by Hubert Delange

本文研究了休伯特·德朗热（Hubert Delange）此前未解的关于约化分数分布的积分问题，通过建立将该问题简化为奇平方自由整数的一般性质，并为 $q=2$ 的情况给出了一个将该积分表示为四重莫比乌斯和与广义戴德金和的特定公式。

原作者： Steven Brown

发布于 2026-10-14✓ Author reviewed ⓘ

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Steven Brown

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在数论这一广袤的领域中，数学家们经常研究整数中隐藏的模式。其中一个最基本的概念是计算有多少数字与给定的整数具有特定的关系。对于任何大于一的正整数，都存在一些比它小的、且除了数字1本身以外与其没有任何公因数的数字。这些特殊的数字被称为“同余数”（totatives）。如果你列出所有一个大整数的同余数，它们并不会随机散布；它们会形成一个特定的、有结构的序列。关于这些数字是如何分布的问题，已经让学者们着迷了一个多世纪，并引发了关于它们是均匀分布还是以意想不到的方式聚集在一起的深入研究。

为了衡量这种分布，研究人员观察这些同余数之间的间隙，以及如果它们是完美间隔时“应该”处于的位置。想象一下在书架上排列一排书；如果它们排列得非常均匀，那么每本书之间的距离应该是完全相同的。在数字的世界里，同余数很少能如此精确地对齐。数学家们已经开发出一种方法，通过将间距的差异进行平方并求和，来计算这种间距的总误差。这种计算产生了一个特定的值或积分，它告诉我们实际分布与完美的、均匀的分布之间有多大的偏差。几十年来，当误差是以一种基本方式测量时，这个计算才被完全理解。然而，当数学家试图用更高的灵敏度来测量误差，即观察间距中更复杂的变体时，问题变得异常困难，公式也始终是一个谜。

这篇论文通过对解决该问题所使用的数学工具进行全新的审视，来应对这一长期的谜团。作者史蒂文·布朗（Steven Brown）首先承认了休伯特·德兰热（Hubert Delange）的一项著名观察，德兰热曾成功解决了该问题的简单版本，但他承认自己无法找到更复杂版本的解法。布朗的工作并没有立即为每种可能的情况提供一个单一、简洁的公式，但它显著缩小了搜索范围。他证明了这一复杂问题可以分解为更小、更易于处理的部分。具体而言，他证明了这些数字的行为仅取决于所研究数字的独特质因数，而忽略了任何重复的因子。这意味着，要理解一个庞大且复杂的数字的模式，你只需要理解一个由不同质因数组成的更简单的数字的模式。

随后，论文聚焦于一个特定且稍显复杂的版本的问题，其中误差是以更高的灵敏度来测量的。对于这个特定情况，作者成功地将整个计算简化为一个单一且困难的求和式。这个求和式涉及一种与数字如何在循环中回绕相关的特定计数，这种概念在数学中被称为模运算（modular arithmetic）。虽然作者目前还无法为这个最终的求和式提供一个简单的闭式公式，但他已成功地将原始的、令人望而生畏的问题转化成了一种更容易研究的新形式。他表明，答案取决于一个包含莫比乌斯函数（Möbius function，一种用于根据质因数过滤数字的工具）和一种与广义戴德金和（generalized Dedekind sums，以其与几何和数论的深厚联系而闻名）相关的求和式的四部分求和。

其研究结果是精确且严谨的。作者证明了对于某些类型的数字，复杂的误差计算实际上为零，这一结果证实了此前关于这些分布对称性的猜想。对于其他情况，他提供了一个详细的公式，将误差与质因数的数量以及同余数的总数联系起来。这项工作本质上是绘制了地形图，表明困难的部分现在已被隔离到一个特定的、定义明确的数学对象中。论文最后建议，未来的研究人员现在可以集中精力于理解这个特定的求和式，或许可以使用不同的数学技术，例如涉及波形模式或直接计数的方法。谜团尚未完全解开，但前进的道路已被清理干净，将一个模糊且压倒性的问题转化为了一个用于进一步探索的具体目标。

技术摘要：关于 Hubert Delange 提出的积分的计算

问题陈述
本文探讨了由 Hubert Delange 在研究约化分数（同余数）相对于等分布数之渐近分布时引入的一类积分的求值问题。该积分定义为：
$\int_0^1 \left( \frac{N(n, t)}{\phi(n)} - t \right)^{2q} dt$
其中 $n > 1$ 且 $q > 0$ 为整数， $\phi$ 为欧拉函数， $N(n, t)$ 计算分母为 $n$ 的约化分数在区间 $]0, t]$ 中的个数。虽然 Delange 成功地计算了 $q=1$ 时的积分（得出一个涉及不同素因子个数 $\omega(n)$ 的公式），但他指出他无法计算 $q > 1$ 时的积分。本文旨在为固定的 $q > 1$ 和任意 $n$ 提供该积分的闭式公式。

方法论
作者通过引入函数 $\nu_n(x)$ 来重构问题，该函数与对除数 $d|n$ 带有莫比乌斯权重的 $x/d$ 的分数部分求和相关。该积分被转化为一个等价形式 $H_k(n)$ ，定义为：
$H_k(n) := \int_0^1 (-\nu_n(nt))^k dt$
其中 $k=2q$ 。该方法通过以下分析步骤进行：

归约为 Franel 积分： 作者将 $H_k(n)$ 表示为周期性伯努利多项式乘积的 $k$ 重莫比乌斯和，即 $F(a_1, \dots, a_k)$ 。
对称性与简化： 文中证明了当 $k$ 为奇数时 $H_k(n) = 0$ 。此外， $H_k(n)$ 的值仅取决于 $n$ 的无平方因子部分（记作 $\text{rad}(n)$ ），且对于奇数 $m$ ， $H_k(2m) = H_k(m)$ 。这使得将一般问题简化为计算奇无平方因子整数 $m$ 的 $H_k(m)$ 。
与同余数和的联系： 定理 2.1 建立了 $H_k(n)$ 与在同余数集 $t(n)$ 上对 $\nu_n(a)$ 的幂次求和之间的直接关系。具体而言， $H_k(n)$ 被表示为关于 $V_{k+1}(n) = \sum_{a \in t(n)} \nu_n(a)^{k+1}$ 的函数。
通过模和进行求值： 对于特定的 $k=4$ （对应 $q=2$ ）的情况，作者利用了针对 Franel 积分的直接方法。这涉及根据参数的最小公倍数对积分区间进行细分，并将积分表示为与广义 Dedekind 和相关的整数值模和 $W_N(E)$ 和 $X_N(A)$ 。

主要贡献与结果

一般性质： 论文证明了 $H_k(n)$ 在 $k$ 为奇数时为零，并且在移除 $n$ 的平方因子后保持不变。
素幂情况： 利用 Faulhaber 公式对幂次和，推导出了 $H_k(p^\alpha)$ 的闭式公式，其中 $p$ 为素数。
针对 $q=2$ ( $k=4$ ) 的归约： 求值 $H_4(n)$ 的问题被归约为计算和 $V_5(n)$ 。虽然文中提到已知 $i \le 3$ 时 $V_i(n)$ 的公式，但明确指出尚未找到 $V_4(n)$ 的公式。然而，通过从命题 3.1 中导出的线性方程组，作者展示了 $V_5(n)$ 依赖于 $V_4(n)$ 。因此，求值 $H_4(m)$ （其中 $m$ 是无平方因子的）被归约为确定四重莫比乌斯和 $W_4(m)$ 的值，该和封装了未知的 $V_4(n)$ 部分。
$H_4(m)$ 的显式公式： 定理 3.1 提供了显式分解：
$H_4(m) = W_4(m) + \frac{1}{60m} \left( \frac{\phi(m)}{m} \right)^3 (2\phi(m) - 5m^2\omega(m))$
其中 $W_4(m)$ 被定义为 4 阶 Franel 积分的四重莫比乌斯和。
Franel 积分公式： 论文为基数 $|A| \le 3$ 的集合 $A$ 提供了辅助和 $X_N(A)$ （决定了 Franel 积分）的闭式公式。因此，它提供了对 2 阶 Franel 积分的完整计算。然而，对于 4 阶（即 $|A|=4$ ），作者指出尚未找到 $X_N(A)$ （或积分本身）的简单闭式公式；4 阶的结果分离出了非初等项 $W_N(E)$ 。

意义与范围
本文并未声称已解决了所有 $q > 1$ 的一般问题。相反，它显著缩小了这一未解问题的范围。作者指出，计算 $q=2$ 时的积分现在等价于求值四重莫比乌斯和 $W_4(m)$ （这与未知的 $V_4(m)$ 内在相关），该和涉及与广义 Dedekind 和相关的整数值模和。

论文以谦逊的态度结束，指出虽然尚未找到 4 阶 Franel 积分（以及 $W_4(m)$ ）的一般闭式解，但问题已归约为特定的算术计算。作者建议未来的工作可以包括将 Parseval 定理应用于周期函数 $\nu_n(nt)^2$ ，使用 Spence 的思想直接计算 $V_4(m)$ ，或者分析和 $W_N$ 的互易律。其主要贡献是将 Delange 的开放问题严谨地归约为这些特定的模和的计算。

类似论文