🔢 mathematics

From a Windowed Square Wave to the Hyperbolic Tangent, Even Zeta Values, and Dirichlet L-Values

本文通过在时域和频域内对一个窗口化延迟周期方波进行求值，提出了双曲正切函数的米塔格-莱夫勒（Mittag-Leffler）展开式、欧拉多项式的傅里叶级数、偶数理查德森（zeta）函数以及特定狄利克雷（Dirichlet）L-函数的精确值的统一初等推导。

原作者： Peter Bevelacqua

发布于 2026-07-20

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Peter Bevelacqua

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

想象一下，你正在听收音机，它只能听到两样东西：正在播放的音乐本身（“时域”）以及构成这段音乐的具体频率组合（“频域”）。在信号处理的世界里，这仅仅是观察同一声波的两种不同方式。如果你知道时域中声音的总“量”，你就可以计算出频域中完全相同的量，反之亦然。这有点像称重一袋苹果：你可以一个一个数苹果，也可以一次性称出整袋的总重。如果你的秤很精确，两种方法得到的结果应该是一样的。

现在，想象你有一个非常特殊的、断断续续的声波——一个“方波”，它像灯开关一样在开与关之间瞬间跳变。数学家们长期以来一直痴迷于将这些波分解为组成频率的过程。他们发现，这些波中隐藏着数学中最美丽也最神秘的数字，比如所有分数平方之和（其结果等于 $\pi$ 的某个特定倍数）。大问题在于，我们如何利用简单的、日常的数学方法来找到这些隐藏的数字，而不至于迷失在复杂、可怕的公式之中？

这篇论文采用了一种巧妙且近乎戏谑的方法来解决这个谜题。作者彼得·J·贝韦拉库拉（Peter J. Bevelacqua）决定对一个方波进行“加窗”处理。把“窗”想象成不是一块玻璃，而是一个随着距离中心越远就变得越暗的聚光灯。他将这个断断续续的方波乘以一个呈指数级衰减的信号，就像声音在空旷的大厅中逐渐消逝一样。这个“窗”完成了两件神奇的事情：它让信号在时域中的总能量变得易于计算，同时又平滑了频域中混乱的数学运算，使得那些无穷级数能够真正收敛到一个确定的答案。

通过用两种方式计算这个加窗波的总“能量”——一次是通过在时域中累加各个部分，另一次是通过在频域中累加频率——作者强迫这两个答案相等。当他令它们相等时，一个强大的恒等式便由此诞生。这个单一的恒等式是一把万能钥匙。通过简单地调整他的“聚光灯”设置（改变衰减速度或波形的延迟），他就能开启一个装满著名数学结果的宝库。

首先，他展示了这种方法如何自然地引出双曲正切函数（hyperbolic tangent function）的公式，这种函数的形状看起来像是一个被拉长的 S 型曲线。接着，通过关闭衰减效应，他推导出了“三角波”的傅里叶级数，这有助于解释著名的“巴塞尔问题”（即 $1/n^2$ 的求和）。但乐趣并未止步于此。作者还攀登了一架“积分阶梯”。这是一种形象的说法，意指他将得到的结果进行积分（类似于寻找曲线下的面积），并重复这一过程。每当他爬上一级台阶，他就会发现新的著名数学常数值。

通过为他的波选择特定的“延迟”，他发现了狄利克雷贝塔函数（Dirichlet beta function）在 3 处的值，该值等于 $\pi^3/32$ 。他还找到了与模 6 和模 8 相关的其他复数级数的值。最后，通过继续这个爬阶梯的过程，他证明了这种统一的方法可以生成任何偶数次幂 $k$ 下的 $\zeta(2k)$ （即 $1/n^{2k}$ 的求和）的值。这篇论文不仅找到了这些数字，还展示了它们是如何源自同一个源头，通过简单的积分和极限推导出来的，而无需使用复杂的复分析工具。这是一条从一个简单的加窗信号到一些最深奥的数学常数的、统一且优雅的路径。

技术摘要：从窗函数化的方波到双曲正切、偶数理查特 $\zeta$ 值以及狄利克雷 $L$ 函数值

问题陈述
本文旨在推导经典的数学常数与级数展开，具体包括双曲正切函数的米塔格-莱夫勒（Mittag-Leffler）部分分式展开、第一类欧拉多项式的傅里叶展开、巴塞尔和 $\zeta(2)$ 以及更高阶的偶数 $\zeta$ 值 $\zeta(2k)$ 。虽然这些结果是广为人知的，且已有多种证明方法（通常依赖于复分析、帕塞瓦尔定理或 $L^2$ 理论），但作者寻求一种统一且初等的推导方式。核心挑战在于如何在不调用高级数学工具的情况下，从一个连贯的计算中生成这些多样化的结果。

方法论
核心方法论是对一个在时域和频域中同时进行分析的“窗函数化”信号进行研究。

信号构建： 作者定义了一个经过参数 $d$ 延迟的零均值周期方波 $s(t)$ 。该波形与一个衰减符号函数 $\text{sgn}(a, t) = \text{sgn}(t)e^{-a|t|}$ （其中 $a > 0$ 为衰减率）相乘，得到乘积 $p(a, d, t)$ ，作为窗函数化的信号。
双重评估： 该乘积的总积分（等价于傅里叶变换在频率 $f=0$ $f = 0$ 处的值）通过两种方式计算：
- 频域： 将方波的傅里叶变换与衰减符号函数的变换相结合。窗函数在此起到了至关重要的作用：它将谱项的衰减从 $1/n$ 提升至 $1/n^2$ ，从而确保所得级数绝对收敛。这使得作者能够进行严谨的逐项积分，并应用控制收敛定理，而无需依赖 $L^2$ 理论。
- 时域： 利用方波在周期区间内的奇对称性以及几何级数求和，直接在时域内通过初等微积分计算积分。
等价性与特化： 通过令时域与频域的结果相等，得到一个涉及奇数项余弦级数的两参数恒等式（定理 1）。通过对参数 $a$ （衰减率）和 $d$ （延迟）进行特化处理，并进行逐项积分，作者推导出了后续结果。

主要贡献与结果
本文建立了一个由单一恒等式衍生出的“结果阶梯”：

定理 1： 一个关于奇整数的二参数余弦恒等式， $\sum \frac{\cos(2\pi nd)}{n^2 + 4z^2/\pi^2} = \frac{\sinh(z(1-4d))}{\cosh z}$ ，其中 $z = a/4$ 。
推论 2（双曲正切）： 通过令延迟 $d=0$ ，作者在不使用复分析的情况下恢复了 $\tanh(z)$ 的米塔格-莱夫勒部分分式展开。
推论 3（欧拉多项式与巴塞尔和）： 通过令衰减率 $a \to 0$ （移除窗函数），该恒等式给出了第一类欧拉多项式 $E_1(2d)$ 的傅里叶展开。在这一极限下令 $d=0$ ，即可恢复巴塞尔和 $\sum_{n \text{ odd}} 1/n^2 = \pi^2/8$ ，这直接蕴含了 $\zeta(2) = \pi^2/6$ 。
攀爬积分阶梯： 作者展示了通过对定理 1 进行逐项积分，可以产生一个带有额外 $1/n$ $1/ n$ 因子的正弦级数。
- 推论 4 & 5： 对定理 1 关于 $d$ 进行积分可得到正弦级数。取 $z \to 0$ 的极限可得到 $\sum \frac{\sin(2\pi nd)}{n^3}$ 的闭合形式表达式。
- 推论 6（狄利克雷 $L$ 值）： 在特定延迟（ $d=1/4, 1/6, 1/8$ ）下评估该正弦级数，可得到狄利克雷贝塔值 $\beta(3)$ 以及与模数为 6 和 8 的奇特征相关的狄利克雷 $L$ 函数值。
- 推论 7 & 定理 8（高阶 $\zeta$ 值）： 进一步积分会回到余弦级数。在第四阶余弦级数中令 $d=0$ 可得到 $\sum_{n \text{ odd}} 1/n^4 = \pi^4/96$ ，从而得出 $\zeta(4) = \pi^4/90$ 。论文最后通过归纳证明（定理 8）表明，这一过程可以通过递归多项式序列 $Q_m(d)$ 扩展到所有的 $\zeta(2k)$ （对于所有 $k \ge 1$ ）。

意义与主张
论文声称，尽管所获得的每一个单独结果都是已知的，但其路径是新颖的。其意义在于将这些迥异的结果统一在一个单一的“窗函数化信号”框架之下。

初等性质： 推导过程仅依赖于初等积分、经典的逐点收敛性、部分和的一致有界性以及麦克劳林展开。它明确避开了帕塞瓦尔定理和傅里叶级数的 $L^2$ 理论。
收敛性： 衰减符号窗被强调为关键的技术手段，它确保了所有相关级数的绝对收敛，从而为交换极限与积分的操作提供了严谨的辩护。
局限性： 作者谦逊地指出，虽然该方法可以生成 $\beta(3)$ 及其他奇数阶 $L$ 值，但无法生成 $\zeta(3)$ （阿佩里常数）。这是因为该方法产生的正弦级数其系数是交替的或取决于 $d$ ，而 $\zeta(3)$ 需要所有正系数（ $+1$ ）之和，这无法通过 $\sin(2\pi nd)$ 项来实现。

总而言之，本文展示了一条从窗函数化方波出发，通往理查特 $\zeta$ 函数在偶数整数处的基本值以及特定狄利克雷 $L$ 函数值的统一、初等且严谨的路径，证明了这些结果都是同一个底层恒等式的不同侧面。

类似论文