[논문 리뷰] An Infinite Product for e^gamma via Hypergeometric Formulas for Euler's Constant, gamma

Jonathan Sondow|ArXiv.org|2003. 05. 31.

Advanced Mathematical Identities참고 문헌 3인용 수 7

한 줄 요약

이 논문은 오일러의 상수 $ \gamma $에 대한 무한곱 표현을 제시한다. 이는 초기하함수 항등식과 적분 변환을 통해 유도되며, $ \gamma $의 이중 적분 공식을 활용하여 초기하급수와 연관지어 분석한다. 변환을 적용함으로써 표현을 단순화하고, 중첩된 유리수 항을 증가하는 거듭제곱으로 올린 무한곱 공식을 도출하여 $ e^\gamma $에 대한 새로운 해석적 표현을 제공한다.

ABSTRACT

We derive hypergeometric formulas for Euler's constant, gamma. A "by-product" of Thomae's transformation is an infinite product for e^gamma involving the binomial coefficients. Alternate, non-hypergeometric proofs use a double integral for gamma, the beta integral, and an integral for the digamma function. (I thank P. Sebah, S. Zlobin, and W. Zudilin for valuable suggestions used in the paper.)

연구 동기 및 목표

• 오일러의 상수의 지수인 $ e^\gamma $에 대한 새로운 무한곱 공식 유도.
• 초기하함수와 $ \gamma $의 적분 표현 간의 연결 고리 확립.
• 유도된 곱의 타당성을 입증하기 위해 초기하함수 기반, 디감마함수 기반, 적분 기반의 다수의 증명 제공.
• 고전적 적분 표현을 활용하여 $ \gamma $의 이중 적분 공식에 대한 간결하고 자가 포함된 증명 제공.
• 부분합 기법을 통해 $ \gamma $의 초기하급수 근사의 수렴 속도를 가속화함.

제안 방법

• 정의를 극한으로서의 $ \gamma $를 시리즈로 전환하기 위해 $ \ln n $을 $ \ln(n+1) $로 대체함으로써 항별 통합 가능하게 조정.
• 알려진 급수 전개와 적분 표현을 활용하여 결과 급수를 초기하함수 $ F(1,1,2,2; t) $로 표현.
• 특정 형태의 토마에의 변환(Thomae의 변환의 일종)을 적용하여 초기하함수 표현을 더 간결한 적분 형태로 단순화.
• 디감마함수 $ \psi(t) $와 그 급수 전개를 활용하여 동일한 곱 공식에 대한 더 짧은 증명 경로 확보.
• 치환과 균일 수렴 논증을 통해 핵심 적분 표현을 고전적 적분 $ \gamma = \int_0^1 \frac{1 - u}{\ln u} \, du $로 환원.
• 변수변환 $ v = 1 - xu $, $ x = xy $를 적용하여 이중 적분 공식 (3)과 유도된 곱 간의 등가성을 확립함으로써 두 적분 형태 유사성 입증.

실험 결과

연구 질문

• RQ1 초기하함수와 적분 변환을 활용하여 $ e^\gamma $에 대한 무한곱 표현을 도출할 수 있는가?
• RQ2 이중 적분 공식을 활용하여 $ \gamma $의 새로운 곱 항등식을 유도할 수 있는가?
• RQ3 디감마함수는 $ \gamma $와 관련된 초기하급수를 단순화하는 데 어떤 역할을 하는가?
• RQ4 고전적 적분 $ \gamma = \int_0^1 \frac{1 - u}{\ln u} \, du $와 유도된 무한곱 사이에 직접적인 해석적 연결 고리가 존재하는가?
• RQ5 부분합 또는 항 재정렬 기법을 통해 $ \gamma $의 초기하급수 근사의 수렴 속도를 가속화할 수 있는가?

주요 결과

• 논문은 무한곱 공식 $ e^\gamma = \prod_{n=1}^\infty \left( \frac{n+1}{n} \right)^{\frac{1}{n+1}} \cdot \left( \frac{n}{n+1} \right)^{\frac{1}{n}} $을 확립하며, $ n $번째 항은 $ \left( \frac{(n+1)^{n+1}}{n^n} \right)^{\frac{1}{n(n+1)}} $로 표현되며, 이에 따라 $ e^\gamma \approx 1.7810724179 $로 근사된다.
• 초기하함수 변환을 통해 복잡한 급수 표현을 단순화된 적분 형태로 전환: $ \gamma = \int_1^\infty \frac{1}{t^2} \cdot F\left( \frac{1}{2}, \frac{1}{2}, \frac{3}{2}; \frac{1}{t} \right) \, dt $, 이는 추가 단순화를 가능하게 한다.
• 핵심 적분 $ \gamma = \int_1^\infty \sum_{n=1}^\infty \frac{1}{n!} \cdot \frac{1}{t^n(t+1)^n} \, dt $는 치환과 항별 통합을 통해 고전적 적분 $ \gamma = \int_0^1 \frac{1 - u}{\ln u} \, du $ 와 동치임을 입증.
• 이중 적분 공식 (3)과 유도된 곱 간의 등가성은 변수변환 $ v = 1 - xu $, $ x = xy $를 통해 증명되며, 이는 이중 적분을 곱의 적분 표현으로 매핑한다.
• 디감마함수 $ \psi(t) $와 그 급수 전개의 활용은 동일한 곱 공식에 대한 더 짧은 증명 경로를 제공하며, 다양한 방법 간의 일관성 확인.
• 유도 과정에서 사용된 초기하급수의 수렴은 피적분함수의 균일한 유계성에 의해 보장되며, 항별 통합의 타당성 보장.