Recurrence Relations for $\beta(2k)$ and $\zeta(2k + 1)$

기술 요약: $\beta(2k)$ 및 $\zeta(2k + 1)$에 대한 재귀 관계

문제 정의
본 연구는 쌍곡선 함수와 지수적 감소를 포함하는 특정 부류의 정적분을 조사한다:
$$I_{N, L, T} = \int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^L e^{-Tx} \, dx$$
여기서 $L \in \mathbb{N}$ 이고 $T \in \mathbb{R}_{\ge 0}$ 이다. 주요 목적은 특정 정수 파라미터($T=2l$)에 대해 이 적분들을 평가하여 디리클레 베타 함수 $\beta(2k)$와 리만 제타 함수 $\zeta(2k + 1)$에 대한 재귀 관계를 도출하는 것이다. 부차적인 목표는 이 적분의 $T$-도함수를 분석하여, $1/x$ 인자를 제거함으로써 디감마 함수만을 포함하는 더 단순한 표현을 찾는 것이다.

방법론
본 논문은 적분 표현, 부분 적분, 그리고 선형 대수를 결합한 다단계 해석적 접근 방계를 채택한다:

1. 허위츠 제타 적분 표현: 유도는 허위츠 제타 함수의 차이에 대한 표준 적분 표현으로부터 시작된다:
   $$\zeta\left(s, \frac{T+1}{4}\right) - \zeta\left(s, \frac{T+3}{4}\right) = \frac{2^{2s-1}}{\Gamma(s)} \int_0^\infty x^{s-1} \text{sech}(x) e^{-Tx} \, dx$$
   부분 적분을 $N$번 적용함으로써, 저자들은 적분을 $\text{sech}(x)$와 $\tanh(x)$의 도함수들을 포함하는 형태로 변환한다.

2. 선형 시스템 및 행렬 역행렬:

   • $\frac{\partial^N}{\partial x^N} \text{sech}(x)$와 $\frac{\partial^N}{\partial x^N} \tanh(x)$는 $\text{sech}(x)^k$와 $\tanh(x)$를 포함하는 항들의 유한 합으로 표현된다.
   • 이는 대상 적분(즉, $\frac{\tanh(x)}{x}$를 포함하는 적분)과 허위츠 제타 차이 사이의 선형 시스템을 생성한다.
   • 저자들은 이러한 도함수 전개의 계수에 기초하여 특정 하삼각 행렬($u_{N,k}$ 및 $x_{N,k}$)을 정의한다. 이 행렬들이 가역적임을 증명하고, 그 역행렬($v_{N,k}$ 및 $y_{N,k}$)을 명시적으로 구성한다.
   • 역행렬은 최종 재귀 공식의 핵심인 재귀적으로 정의된 계수 $g_{N,k}$와 $h_{N,k}$를 포함한다.

3. 미분 및 평가:

   • 선형 시스템을 복소 파라미터 $s$에 대해 미분하고 비양의 정수(예: $s = -2N$)에서 평가한다.
   • 이 과정은 $\lim_{z \to 0} \frac{\psi(z)}{\Gamma(z)} = -1$ 성질을 활용하여 특이점(singularity)을 처리하며, 허위츠 제타 도함수 $\zeta'(-n, z)$를 $\beta$ 및 $\zeta$ 함수의 값들로 변환한다.
   • $T=2l$인 경우, 저자들은 허위츠 제타 차이와 디리클레 베타/리만 제타 함수 사이의 기초적인 관계를 활용하여 특정 값 $\beta(2k)$와 $\zeta(2k+1)$을 분리해낸다.

4. 도함수를 위한 대안적 접근법:

   • $1/x$ 인자가 없는 적분($원래 대상의$T$-도함수$)을 위해, 저자들은 $\int_0^\infty \text{sech}(x)^L e^{-Tx} dx$에 대한 2단계 재귀 관계를 도출한다. 이를 통해 허위츠 제타 도함수를 거치지 않고 디감마 함수 $\psi(z)$만을 사용하여 대상 적분을 직접 평가할 수 있다.

주요 기여 및 결과

• 일반 적분 공식 (정리 1.1): 본 논문은 $\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N+1} e^{-Tx} dx$와 $\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N} e^{-Tx} dx$에 대한 명시적인 폐쇄형(closed-form) 표현을 제공한다. 이들은 $T$에 대한 다항식 계수와 재귀적으로 정의된 상수 $g_{N,k}, h_{N,k}$를 포함하는 허위츠 제타 도함수 $\zeta'(-n, z)$의 유한 합으로 표현된다.
• $\beta(2k)$ 및 $\zeta(2k+1)$에 대한 재귀 관계 (따름정리 1.2 & 1.3): $T=2l$ (특히 $l=0$)로 설정함으로써, 저자들은 이 적분들을 $\beta(2k)$와 $\zeta(2k+1)$의 선형 결합으로 나타내는 재귀 관계를 도출한다.
  • $T=0$인 경우, 결과는 다음과 같이 단순화된다:
    $$\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N+1} dx = \binom{2N}{N} \frac{1}{(2N+1)2^{2N}} \sum_{k=0}^N g_{N+1, k+1} 2^{2k+2} (2k+1)! \frac{\beta(2k+2)}{\pi^{2k+1}}$$
    $$\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N} dx = \frac{2^{2N}}{N^2 \binom{2N}{N}} \sum_{k=1}^N h_{N,k} (2-2^{-2k}) (2k)! \frac{\zeta(2k+1)}{\pi^{2k}}$$
• 단순화된 표현 (정리 2.1): 본 논문은 $\int_0^\infty \tanh(x) \text{sech}(x)^L e^{-Tx} dx$ (주요 대상의 $T$-도함수)가 허위츠 제타 도함수를 포함하지 않고 오직 디감마 함수 $\psi(z)$와 $T$의 유리 함수만을 사용하여 표현될 수 있음을 확립한다.
• $(\tanh(x)/x)$의 거듭제곱 적분 (섹션 3): 저자들은 $\int_0^\infty (\frac{\tanh(x)}{x})^N dx$를 재귀적 계수 행렬 $d_N(p, 2k)$를 사용하여 $\zeta(3), \dots, \zeta(2N-1)$의 선형 결합으로 표현한다.
• 적분 표현: 본 연구는 $\beta(2)$ 및 $\zeta(3)$에 대해 알려진 적분 표현(Blagouchine에 의해 발견됨)을 $\log(\log(x))$를 포함하는 고차 $\beta(2N)$ 및 $\zeta(2N+1)$로 일반화한다.

의의 및 주장
본 논문은 쌍곡선 적분을 사용하여 홀수 제타 값과 짝수 베타 값에 대한 재귀 관계를 생성하는 체계적인 방법을 제공한다고 주장한다. 저자는 오일러(Euler)나 라마누잔(Ramanujan)의 기존 문헌들이 이중 제타 함수나 $z^{2m}\cot(z)$의 적분과 같은 "오차 항"을 포함하는 관계를 확립해 왔으나, 여기서 도출된 관계는 대수적인 성격을 띠고 있지만 그 상수 자체는 여전히 신비로운 상태로 남아 있다고 언급한다.

저자는 정리 1.1의 증명에서 제시된 행렬 역행렬 기반의 방법이 더 큰 $L$ 값에 대해 대안적인 직접 증명 전략(예: 알려진 적분 항등식의 반복 미분)보다 "훨씬 더 효율적"이라고 명시적으로 밝힌다. 본 연구는 이 상수들의 무리성이나 초월성을 해결하려는 것이 아니라, 이들을 정적분을 통해 연결하는 새로운 구조적 틀을 제공하는 데 목적이 있다.

한계 및 전망
본 논문은 $\zeta(2k+1)$ 및 $\beta(2k)$의 대수적 성격이 재귀 관계에도 불구하고 여전히 미스터리로 남아 있음을 인정한다. 저자는 행렬 역행렬 방법이 $\int_0^\infty \frac{\tanh(\alpha x)}{x} \text{sech}(\beta x)^L e^{-Tx} dx$와 같은 더 일반적인 형태의 적분으로 확장될 가능성이 있다고 제안하지만, 이는 완성된 결과라기보다 향후 전망으로 제시되었다.