Multiple integral representations of the Catalan's constant

技术摘要：卡塔兰常数的多重积分表示

问题陈述
卡塔兰常数（$G \approx 0.915965$）定义为交错级数 $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^2}$，是一个具有众多已知积分和级数表示的基本数学常数。虽然现有文献（例如 [1]、[7]、[9]）汇编了此类公式的详尽列表，但本文旨在推导 $G$ 的新型积分表示。具体而言，作者试图利用累积分布函数（CDF）和勒尔赫超几何函数（Lerch transcendent function）的性质，建立涉及二重积分、单重积分以及维度 $r \geq 2$ 的一般多重积分的新形式。

方法论
本文采用基于分部积分和级数求和的构造性分析方法。核心方法论依赖于以下步骤：

1. 基于累积分布函数（CDF）的基础：作者定义了一类函数 $G_i: \mathbb{R} \to [0, 1]$，它们右连续、单调非减，满足边界条件（$\lim_{x\to-\infty} G_i(x)=0$，$\lim_{x\to\infty} G_i(x)=1$），并具有对称性 $G_i(x) = 1 - G_i(-x)$。这些条件意味着这些函数的导数是偶函数，这一性质对于在积分过程中消除奇次项至关重要。
2. 二重积分的推导：通过将变量的幂次乘积与这些函数相乘并进行积分，应用分部积分法，作者推导出了一个通用的二重积分恒等式。对所得级数进行交错求和，从而定义了 $G$。
3. 向单重积分的扩展：引入一个特定的辅助函数，将二重积分公式简化为单重积分表示。
4. 向多重积分的推广：该方法被推广到 $r$ 维。作者利用勒尔赫超几何函数 $\Phi(z, s, a) = \sum_{k=0}^{\infty} \frac{z^k}{(k+a)^s}$ 来表达由 $r$ 维积分产生的级数之和。

主要贡献与结果

• 定理 1（二重积分表示）：本文确立了对于任意 $a > 0$ 以及满足所述条件的函数 $G_1, G_2$：
  $$G = \int_{-a}^{a} \int_{-1/a}^{1/a} \frac{G_1(x_1)G_2(x_2)}{1 + x_1^2 x_2^2} \, dx_1 dx_2$$
  该结果推广了已知公式，例如经典的 $\int_0^1 \int_0^1 \frac{dx dy}{1+x^2y^2} = G$。作者提供了六个使用不同 CDF 的说明性示例，包括拉德马赫分布（Rademacher distribution）、双曲正割分布、标准正态分布（通过误差函数）以及柯西分布。

• 定理 2（单重积分表示）：作为二重积分结果的一个推论，作者推导出了一个新颖的单重积分表示：
  $$G = \int_{-1}^{1} G(x) \frac{\tan^{-1} x}{x} \, dx$$
  其中 $G(x)$ 满足定理 1 的条件。这得出了具体的新公式，例如涉及柯西 CDF 和反正弦分布的公式。

• 定理 3（多重积分表示）：本文提出了针对维度 $r \geq 1$ 的一般公式：
  $$G = 2^{r-2} \int_{-a_1}^{a_1} \cdots \int_{-a_r}^{a_r} \Phi\left(-\prod_{i=1}^r x_i^2, 2-r, \frac{1}{2}\right) \prod_{i=1}^r G_i(x_i) \, d\mathbf{x}$$
  其中 $a_r = (\prod_{i=1}^{r-1} a_i)^{-1}$。当 $r=2$ 时，该式简化为定理 1；当 $r=1$ 时，简化为定理 2。

• 显式高维示例：作者利用拉德马赫分布（其中当 $x \in [-1, 1]$ 时 $G_i(x) = 1/2$）提供了维度 $r=3$ 至 $r=10$ 的显式被积函数。

  • 对于 $r=3$，被积函数涉及有理函数 $\frac{1 - x(3)}{(1 + x(3))^2}$，其中 $x(3) = (x_1 x_2 x_3)^2$。
  • 对于更高维度（$r=4, 5, 6, 10$），被积函数被表示为多项式有理函数，其系数源自勒尔赫函数的展开。例如，$r=10$ 的情况涉及一个多项式，其系数包括 $a_1 = -6552$ 和 $a_2 = 331612$ 等。

意义与主张
本文声称提供了卡塔兰常数的“几种新型积分表示”。其意义在于将这些表示统一在一个涉及累积分布函数和勒尔赫超几何函数的单一理论框架下。作者证明，通过选择不同的有效 CDF，可以生成各种各样的 $G$ 积分公式，从简单的二重积分到具有多项式有理核的复杂高维积分。这项工作通过引入一种在任意维度中系统生成这些公式的方法，扩展了已知的 $G$ 公式目录（参考汇编如 [1] 和 [7]）。本文并未提出这些常数的新应用，而是专注于数学推导以及不同积分形式之间的结构关系。