Multiple integral representations of the Catalan's constant

技術的概要：カタラン定数の多重積分表現

問題提起
交代級数 $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)^2}$ で定義されるカタラン定数（$G \approx 0.915965$）は、数多くの既知の積分表現および級数表現を持つ基本的な数学定数である。既存の文献（例：[1], [7], [9]）は、そのような公式の広範なリストを編纂しているが、本論文は $G$ に対する新たな積分表現を導出することを目的としている。具体的には、著者は累積分布関数（CDF）の性質とレフの超越関数を利用し、$r \geq 2$ 次元の二重積分、単積分、および一般の多重積分を含む新たな形式を確立しようとする。

方法論
本論文は、部分積分と級数総和に基づく構成論的解析的アプローチを採用している。中核的な方法論は以下の手順に依存している：

1. CDF による基礎構築：著者は、右連続かつ単調非減少であり、境界条件（$\lim_{x\to-\infty} G_i(x)=0$, $\lim_{x\to\infty} G_i(x)=1$）を満たし、対称性 $G_i(x) = 1 - G_i(-x)$ を有する関数のクラス $G_i: \mathbb{R} \to [0, 1]$ を定義する。これらの条件は、これらの関数の導関数が偶関数であることを意味し、これは積分中に奇数次の項を消去する上で決定的な性質である。
2. 二重積分の導出：変数のべき乗の積をこれらの関数に対して積分し、部分積分を適用することで、著者は一般的な二重積分恒等式を導出する。得られた級数を交互符号で総和することで、$G$ の定義に至る。
3. 単積分への拡張：特定の補助関数を導入することで、二重積分の定式化を単積分表現に還元する。
4. 多重積分への一般化：このアプローチを $r$ 次元に一般化する。著者は、$r$ 次元積分から生じる級数の和を表すために、レフの超越関数 $\Phi(z, s, a) = \sum_{k=0}^{\infty} \frac{z^k}{(k+a)^s}$ を利用する。

主要な貢献と結果

• 定理 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 を用いた 6 つの例示的例を提供する。

• 定理 2（単積分表現）：二重積分の結果に伴い、著者は新たな単積分表現を導出する：
  $$G = \int_{-1}^{1} G(x) \frac{\tan^{-1} x}{x} \, dx$$
  ここで、$G(x)$ は定理 1 の条件を満たす。これにより、コーシー CDF や arcsin 分布を含む特定の新たな公式が得られる。

• 定理 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$ に対する多様な積分公式を生成できることを実証している。この研究は、[1] や [7] などの編纂物を参照しつつ、任意の次元でそれらを生成するための体系的な手法を導入することで、$G$ の既知の公式カタログを拡張するものである。本論文はこれらの定数の新たな応用を提案するものではなく、数学的導出と異なる積分形式間の構造的関係に焦点を当てている。