Perspectives on the arithmetic nature of the ratios $ζ(2n + 1)/π^{2n+1}$ and $β(2n)/π^{2n}$

技术摘要：关于比值 $\zeta(2n + 1)/\pi^{2n+1}$ 与 $\beta(2n)/\pi^{2n}$ 之算术性质的视角

问题陈述
本文探讨了关于黎曼 Zeta 函数在奇数点 $\zeta(2n+1)$ 以及狄利克雷 Beta 函数在偶数点 $\beta(2n)$ 处的算术性质这一长期悬而未决的开放问题。虽然欧拉已经建立了 $\zeta(2n)$ 和 $\beta(2n+1)$ 关于 $\pi$ 的幂次的有理倍数的显式公式，但对于 $\zeta(2n+1)$ 或 $\beta(2n)$ 则不存在此类闭合形式表达式。核心问题在于比值 $\zeta(2n+1)/\pi^{2n+1}$ 和 $\beta(2n)/\pi^{2n}$ 是否为有理数。作者指出，尽管进行了多次尝试，但尚未发现有理系数，且启发式证据表明这些比值是无理数，尽管严格的证明仍然难以实现。

研究方法
本研究依赖于推导并分析这些值的特定积分表示。研究方法通过以下步骤进行：

1. 积分推导： 作者利用包含对数核（$\ln \ln(1/x)$）和多重对数函数（$\text{Li}_s$）的 Malmsten 型积分来表达目标比值。关键的起点包括由 Blagouchine 和 Adamchik 计算的积分，这些积分已被推广到更高阶。
2. 变换与约简： 通过变量代换（例如 $x \to \tan u$）和分部积分法，作者将定义在 $(0, 1)$ 上的积分转化为涉及三角函数和 $\ln(\tan x)$ 的定义在 $(0, \pi/4)$ 上的积分。
3. 线性代数框架： 本文利用高斯消元法处理这些积分方程组。通过建立形式为 $\int_0^{\pi/4} \frac{\sin(4nx)}{\ln(\tan x)} dx$ 与 $\int_0^{\pi/4} \frac{\cos((4n-2)x)}{\ln(\tan x)} dx$ 的积分之间的线性关系，作者证明了这些积分可以表示为 $\zeta(2p+1)/\pi^{2p}$ 和 $\beta(2p)/\pi^{2p-1}$ 的有限线性组合，且其系数为有理数。
4. 轮廓积分： 通过在复平面上使用轮廓积分技术，特别是分析涉及 $\text{sech}^n z$ 和 $\sinh((2k+1)z)/z$ 的函数的留数，为这些积分的结构提供了理论依据。
5. 形式化证明： 命题 2.1 和 2.2 通过利用 Dirichlet $\eta$ 函数的性质和 $\beta$ 函数的泛函方程，提供了将特定多重对数积分与 Zeta 及 Beta 比值联系起来的正式推导。

主要贡献与结果

• 统一的积分表示： 本文呈现了一张综合积分表，这些积分求值为 $\zeta(2p+1)/\pi^{2p}$ 和 $\beta(2p)/\pi^{2p-1}$ 的线性组合。其中包括：
  • 涉及双曲函数的 $(0, \infty)$ 上的积分：$\int_0^\infty \frac{\sinh((2k+1)x)}{x \cosh^n x} dx$。
  • 涉及多重对数和双对数的 $(0, 1)$ 上的积分：$\int_0^1 \frac{\text{Li}_{-2n-1}(-x^2)}{x} \ln \ln(1/x) dx$ 以及 $\int_0^1 \frac{\text{Im}[\text{Li}_{-2n}(ix)]}{x} \ln \ln(1/x) dx$。
  • $(0, \pi/4)$ 上的三角积分：$\int_0^{\pi/4} \frac{\sin(4nx)}{\ln(\tan x)} dx$。
• 显式系数： 作者推导出了这些线性组合的显式有理系数。例如，论文展示了 $\int_0^{\pi/4} \frac{\sin(4x)}{\ln(\tan x)} dx = -7\zeta(3)/\pi^2$，并提供了涉及 $\zeta(3), \zeta(5), \zeta(7)$ 等的高阶展开式，如 $\sin(8x), \sin(12x)$ 等。
• 多项式形式化： 论文证明了 $\zeta(2n+1)/\pi^{2n}$ 和 $\beta(2n)/\pi^{2n-1}$ 可以分别表示为形式为 $\int_0^1 \frac{x P_n(x)}{\text{arctanh}(x)} dx$ 和 $\int_0^1 \frac{x P_n(x)}{\sqrt{1-x^2}\text{arctanh}(x)} dx$ 的积分，其中 $P_n(x)$ 是具有有理系数的特定多项式。
• 关于线性无关性的猜想： 主要结果是提出了一个将这些比值的无理性与 $\pi$ 在由这些积分组成的集合上相对于有理数域 ($\mathbb{Q}$) 的线性无关性联系起来的猜想。具体而言，本文假设如果 $\pi$ 不在这些积分序列的 $\mathbb{Q}$-线性扩张中，那么 $\zeta(2n+1)/\pi^{2n+1}$ 和 $\beta(2n)/\pi^{2n}$ 就是无理数。

意义与主张
本文声称通过收集导致相同数值的各种解析框架，提供了一个“统一的视角”。其意义在于：

1. 问题的重新表述： 它将焦点从寻找显式有理系数（这已被证明是徒劳的）转向证明 $\pi$ 与特定积分集之间的线性无关性。
2. 结构性洞察： 通过识别出多样化的积分（双曲、三角、多重对数）最终都简化为相同的 Zeta 和 Beta 比值的线性组合，本文暗示了深层的底层结构模式。
3. 通往无理性的路径： 作者认为，证明猜想 $\pi \notin \text{Span}_{\mathbb{Q}}\{I_1, I_2, \dots\}$ 将立即意味着 $\zeta(2n+1)/\pi^{2n+1}$ 和 $\beta(2n)/\pi^{2n}$ 的无理性。

局限性与谦逊态度
作者明确承认了当前工作的局限性：

• 严谨性： 命题 2.1 和 2.2 中的证明在特定步骤上被指出缺乏完全的数学严谨性，特别是在求和与积分的交换以及处理发散级数的正则化版本方面。作者指出，严谨地推导系数需要参考资料 [10] 中更详细的工作。
• 启发式性质： 本文承认，寻找有理系数的不可能性目前仅由“启发式方法和深度暴力计算”支持，而非强有力的证明。
• 猜想状态： 关于无理性的核心主张仍然取决于所提出的线性无关性猜想的真实性。本文并不声称已经证明了这些比值的无理性，而是提供了一个尝试解决该问题的新框架。
• 傅里叶级数恒等式： 最后一部分展示了一个从傅里叶级数导出的形式恒等式，用以支持该猜想，但作者明确指出用于推导该恒等式的收敛论证存在“弱点且缺乏严谨性”。

综上所述，本文作为一种分析工具的汇编，并提出了一种应对奇数 Zeta 值和偶数 Beta 值无理性问题的新策略，将其问题框架化为 $\pi$ 与一类特定积分之间的线性无关性问题。