On the generalized inverse tangent integral and Catalan's constant

기술적 요약: 일반화된 역탄젠트 적분과 카탈란 상수에 관하여

문제 제기
본 논문은 역탄젠트 적분 $Ti_2(y) = \int_0^y \frac{\arctan(x)}{x} dx$ 의 분석적 구조와 $y=1$ 에서의 특수한 값인 카탈란 상수 $G$ 를 도출하는 문제를 다룬다. $Ti_2$ 와 디로그arithm 의 허수부 사이의 연결은 잘 확립되어 있으나, 저자는 아크탄젠트 유형의 적분과 다로그arithm 구조, 푸리에 유형 전개, 그리고 Hurwitz 제타 함수를 연결하는 새로운 항등식들을 개발하고자 한다. 주요 목표는 일반화된 역탄젠트 적분을 기본항, 디로그arithm, 그리고 보정항의 무한급수로 구성된 명시적 공식을 통해 체계적으로 분해하는 프레임워크를 확립하는 것이다.

방법론
본 논문은 생성함수 관점과 복소해석학 및 고전적 특수함수 이론을 결합하여 접근한다. 방법론은 두 가지 주요 접근법으로 나뉜다:

1. 조절 가능한 끝점을 갖는 보조 적분: 저자는 두 매개변수 보조 적분 $I(a, b) = \int_0^b \arctan\left(\frac{a + \cos \beta}{\sin \beta}\right) d\beta$ 를 도입한다. 이 적분의 매개변수 $a$ 에 대한 편미분을 분석하고, 디로그arithm 의 실수부로 구성된 함수의 미분과 비교함으로써 $I(a, b)$ 와 $Li_2$ 를 연결하는 항등식을 확립한다. 이를 통해 $Ti_2(a)$ 를 $Li_2(1+ia)$ 의 허수부와 관련된 허용 조건에 의해 결정되는 "조절 가능한" 끝점 $b(a)$ 를 통해 표현할 수 있게 된다.

2. 오일러 곱을 통한 스펙트럼/모드 전개: 두 번째 접근법은 사인 함수에 대한 오일러의 무한곱 공식을 이용하여 코탄젠트 함수의 부분분수 전개를 유도한다. 이를 역탄젠트 적분의 피적분 함수에 적용함으로써, 저자는 적분을 주된 쌍곡선 항과 코탄젠트의 극점에 의해 인덱스된 보정항들의 무한급수로 분해한다. 이 방법은 $\cot(\alpha + ix)$ 를 포함하는 복소 인자의 항별 미분과 적분에 의존한다.

주요 기여 및 결과

• 정리 1 (조절 가능한 끝점을 갖는 역탄젠트 적분): 본 논문은 $a > 0$ 인 $Ti_2(a)$ 를 보조 적분 $I(a, b)$ 와 기본 로그항으로 표현하는 공식을 확립한다. 구체적으로, $a$ 의 허용 가능한 집합에 대해 $(0, \pi)$ 에 속하는 유일한 $b$ 가 존재하여 다음이 성립함을 증명한다:
  $$Ti_2(a) = \arctan(a)\ln(a) + I(a, b) - \frac{\pi b}{2} + \frac{b^2}{2} - \frac{\pi}{4}\ln(a^2+1)$$
  이 항등식은 역탄젠트 적분을 디로그arithm 조합의 실수부와 허수부 사이에서 균형을 맞춘다.

• 계 1 (카탈란 상수의 평가): 정리 1 을 $a=1$ 로 특수화함으로써 저자는 카탈란 상수 $G$ 에 대한 구체적인 평가를 유도한다. 그 결과는 보조 적분에서 유도된 유일한 매개변수 $b(1)$ 로 $G$ 를 표현한다:
  $$G = \frac{b(1)^2}{4} - \frac{\pi}{4}\ln(2)$$
  여기서 $b(1) = \sqrt{4G + \pi \ln(2)}$ 이다.

• 정리 2 (일반화된 역탄젠트 적분): 본 논문은 일반화된 적분 $\int_0^A \frac{1}{x}\arctan(x/\alpha) dx$ 에 대한 분해 공식을 제시한다. 이 적분은 쌍곡선 역탄젠트 기여분과 표준 역탄젠트 적분들의 무한급수의 합으로 표현된다:
  $$Ti_2\left(\frac{A}{\alpha}\right) = \int_0^A \frac{1}{x}\arctan(\cot(\alpha)\tanh(x)) dx + \sum_{k=1}^\infty \left[ Ti_2\left(\frac{A}{k\pi - \alpha}\right) - Ti_2\left(\frac{A}{k\pi + \alpha}\right) \right]$$

• 계 3 (카탈란의 가족): $A = \alpha = \pi/n$ 으로 설정함으로써 저자는 카탈란 상수에 대한 항등식 군을 생성한다. 특히 $n=2$ 인 경우, 주된 쌍곡선 항이 소멸하여 순수한 급수 표현을 얻는다:
  $$G = \sum_{k=1}^\infty \left[ Ti_2\left(\frac{1}{2k-1}\right) - Ti_2\left(\frac{1}{2k+1}\right) \right]$$

• 계 4 (클라우젠의 축소): 본 논문은 $Ti_2(\tan \theta)$ 를 클라우젠 함수 $Cl_2$ 가 포함된 형태로 축소하여 역탄젠트 적분을 클라우젠 적분과 직접 연결한다:
  $$Ti_2(\tan \theta) = \theta \ln(\tan \theta) + \frac{1}{2}Cl_2(2\theta) + \frac{1}{2}Cl_2(\pi - 2\theta)$$

• 보조정리 1 (카탈란 상수의 표현): 본 논문은 지수적분 $Ei$, 감마 함수$\Gamma$, 그리고 Hurwitz 제타 함수 $\zeta(s, c)$ 를 포함하는 $G$ 의 복소수 표현을 유도한다. 이 표현은 정리 2 의 급수 항들을 멱급수로 전개하고 로그 - 감마 함수에 대한 커머의 푸리에 급수를 활용함으로써 도출된다.

의의
본 논문은 새로운 공식을 단순히 고립시키는 데 그치지 않고, 기본 삼각함수 항등식을 특수함수의 더 깊은 전개와 연결하는 "일관된 분석적 경로"를 입증하는 데에 주된 의의가 있다고 주장한다. 이 연구는 카탈란 상수를 디로그arithm 및 제타 - 함수적 현상에 의해 지배되는 항등식의 더 넓은 영역 안에 위치시킨다. 특히 생성함수 메커니즘을 사용하여 아크탄젠트 적분에서 디로그arithm 표현으로 전환하는 방법론은 특수함수 이론에서 직교다항식 전개와 유사한 구조적 교량으로 제시된다. 그 결과들은 적분량을 주된 항과 구조화된 무한급수로 체계적으로 분해하여 $Ti_2$ 와 $G$ 의 분석적 속성에 대한 새로운 관점을 제공한다.