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) 의 성질과 레르흐 초월 함수를 활용하여, 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 와 아크사인 분포를 포함하는 구체적인 새로운 공식을 도출합니다.

• 정리 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$의 경우, 피적분 함수는 $x(3) = (x_1 x_2 x_3)^2$인 유리 함수 $\frac{1 - x(3)}{(1 + x(3))^2}$를 포함합니다.
  • 더 높은 차원 ($r=4, 5, 6, 10$) 에서는 피적분 함수가 레르흐 함수의 전개에서 유도된 계수를 포함하는 다항식 유리 함수로 제시됩니다. 예를 들어, $r=10$의 경우 $a_1 = -6552$ 및 $a_2 = 331612$와 같은 계수를 가진 다항식이 포함됩니다.

의의 및 주장
본 논문은 카탈란 상수의 "여러 새로운 적분 표현"을 제공한다고 주장합니다. 그 의의는 누적 분포 함수와 레르흐 초월 함수를 포함하는 단일 이론적 체계 하에 이러한 표현들을 통합하는 데 있습니다. 저자들은 서로 다른 유효한 CDF 를 선택함으로써, 단순한 이중 적분부터 다항식 유리 핵을 가진 복잡한 고차원 적분에 이르기까지 $G$에 대한 다양한 적분 공식을 생성할 수 있음을 보여줍니다. 이 작업은 임의의 차원에서 이를 생성하는 체계적인 방법을 도입함으로써 $G$에 대한 기존 공식 목록 ( [1] 및 [7] 과 같은 집합을 참조) 을 확장합니다. 본 논문은 이러한 상수에 대한 새로운 응용을 제안하지는 않지만, 수학적 유도 및 서로 다른 적분 형태 간의 구조적 관계에 초점을 맞춥니다.