Positive rational series for reciprocal powers of Catalan's constant and Dirichlet beta values

技术摘要：卡塔兰常数（Catalan's Constant）与狄利克雷贝塔函数（Dirichlet Beta Values）倒数幂的正有理级数

问题陈述
本文研究了构建狄利克雷贝塔函数 $\beta(s)^{-r}$（其中 $r \ge 1$ 为整数）的倒数幂之级数表示法。具体而言，研究对象包括卡塔兰常数 $G = \beta(2)$ 以及 $\beta(s)$ 在奇整数处的取值（这些值与 $\pi$ 的幂相关）。虽然狄利克雷贝塔函数由交错级数定义，其倒数幂可以通过涉及莫比乌斯函数（Möbius function）的狄利克雷级数来表示，但这些经典表示存在两个局限性：其项包含非固定符号模式，且收敛速度为代数级而非几何级。本文的目标是开发具有正有理系数的普通幂级数，并使其表现出几何收敛性，从而为这些常数提供高效的计算工具和新的结构性见解。

方法论
作者采用了一种基于贝塔级数积分表示的变换方法。核心方法论包含三个步骤：

1. 积分表示： 本文利用函数 $F_s(t) = \sum_{k=0}^\infty (-1)^k t^k / (2k+1)^s$，该函数具有涉及伽马函数（Gamma function）的积分表示：
   $$F_s(t) = \frac{1}{\Gamma(s)} \int_0^1 \frac{(-\log x)^{s-1}}{1+tx^2} dx.$$
   该表示对于 $\text{Re}(t) > -1$ 成立。

2. 分式线性代换（Fractional-Linear Substitutions）： 文中应用了两种不同的变量 $t$ 的代换，将单位圆盘映射到解析域：

   • 普通欧拉变换（Ordinary Euler Transformation）： 代换 $t = w/(1-w)$ 将 $w=1/2$ 映射到 $t=1$。这产生了一个对所有实数 $s > 0$ 均有效的级数。
   • 加速变换（Accelerated Transformation）： 代换 $t = 2u/(1-u)$ 将 $u=1/3$ 映射到 $t=1$。这产生了一个对 $s \ge 2$ 均有效的级数。

3. 倒数幂构建： 变换后的函数形式为 $1 - D(z)$，其中 $D(z)$ 是一个具有正系数的幂级数。倒数幂 $(1 - D(z))^{-r}$ 通过广义二项式定理进行展开。这些倒数级数的系数通过以下方式导出：

   • 一个涉及二项式系数和交错和的有限求和公式。
   • 一个正递归关系（定理 4.2），用于高效生成系数。
   • 一个涉及部分指数贝尔多项式（partial exponential Bell polynomials）的组合公式（定理 4.3）。

主要贡献与结果

• 两类正级数： 本文建立了两个用于 $1/\beta(s)^r$ 的级数族：

  • 一个在 $1/2$ 处求值的级数（收敛率为 $1/2$），对 $s > 0$ 有效。
  • 一个在 $1/3$ 处求值的级数（收敛率为 $1/3$），对 $s \ge 2$ 有效。
    这两类级数均具有严格正的系数。当 $s$ 为整数时，所有系数均为有理数。

• 卡塔兰常数 ($G$) 的显式公式： 对于 $s=2$，加速变换为 $1/G^r$ 提供了一个快速收敛的级数。文中提供了基系数 $p_{2,n}$ 和倒数系数 $c_{2,r,n}$ 的显式公式。

  • 示例：$1/G = 1 + \sum_{n=1}^\infty \frac{c_{2,1,n}}{3^n}$，其前几项为 $2/27, 226/18225, \dots$。
  • 本文证明了除初始项 1 之外，每一项都是正有理数，从而确保了部分和是严格的下界。

• $\pi$ 的倒数幂： 通过结合加速变换与已知的奇数贝塔值与 $\pi$ 幂次之间的关系（涉及欧拉数），本文推导出了 $\pi^{-(2m+1)r}$ 的正有理级数。

  • 对于 $\beta(1) = \pi/4$ 的情况，使用了普通欧拉变换（在 $1/2$ 处求值），因为加速变换在 $s=1$ 时无法产生正系数。
  • 这产生了如 $4^r/\pi^r = 1 + \sum_{n=1}^\infty \frac{c_{1,r,n}}{2^n}$ 之类的级数。

• 收敛性与误差分析：

  • 两个族群的精确根收敛率分别确定为 $1/2$ 和 $1/3$。
  • 文中提供了显式的余项估计（定理 4.7），显示了误差的几何衰减。例如，加速级数的误差由正比于 $(2/3)^{N+1}$ 的项界定。
  • 数值比较证实，加速级数的收敛速度显著快于普通欧达级数（例如，在 $N=80$ 时，$1/G$ 的误差对于加速级数约为 $10^{-41}$，而对于普通级数约为 $10^{-27}$）。

• 系数属性： 文中详细说明了系数的结构，表明它们可以通过简单的递归关系 $c_n^{(r)} = \frac{1}{n} \sum_{k=1}^n [n + (r-1)k] d_k c_{n-k}^{(r)}$ 生成。此外，对于整数 $s$，还提供了涉及贝尔多项式和广义调和数的闭式表达式。

意义与主张
本文声称提供了一种系统的方法，用于生成卡塔兰常数及其相关贝塔值倒数幂的正有理级数。不同于以往依赖模形式或超几何恒等式（拉马努金型级数）的方法，本方法属于“欧拉型”，依赖于经典的级数变换和积分表示。

其意义在于：

1. 计算效率： 几何收敛率（$1/2$ 和 $1/3$）以及项的正性使得高精度计算这些常数及其倒数变得高效。
2. 结构清晰度： 有限求和公式和正递归关系的推导，为这些在倒数幂语境下难以表征的系数提供了清晰的代数结构。
3. 有理性： 明确展示了当 $s$ 为整数时系数是有理数，这为这些常数提供了一类新的有理逼近。

作者明确指出，这项工作并不旨在解决 $G$ 或其他开放性算术问题的无理性问题，而是侧重于这些特定级数表示的解析与组合构建。研究结果作为自洽的分析工具呈现，在数值评估方面具有直接应用价值。