[논문 리뷰] More accurate approximations for the Gamma function

Gergő Nemes|arXiv (Cornell University)|2010. 03. 31.

Mathematical functions and polynomials참고 문헌 11인용 수 24

한 줄 요약

이 논문은 고스퍼의 공식에 영감을 받은 급수 변환과 중심 이항계수의 점근 전개를 이용하여 감마 함수에 대한 새로운 점근 근사법을 제안한다. 이는 이동된 변수의 짝수 거듭제곱만을 포함하는 새로운 전개를 유도하며, 특히 짝수 차수 근사에서 뛰어난 정확도를 보이며, 수치 실험에서 스타링어, 라플라스, 라마누잔, 모르티시의 공식들을 능가한다.

ABSTRACT

A series transformation idea inspired by a formula of R. W. Gosper and some asymptotic expansions for the central binomial coefficients leads us to new accurate approximations for the Gamma function.

연구 동기 및 목표

• 큰 양의 정수에 대해 감마 함수의 더 정확한 점근 근사법을 개발하기 위해.
• 스타링어와 라플라스의 공식처럼 수렴 속도가 느리거나 정밀도가 떨어지는 기존 근사법의 한계를 해결하기 위해.
• 중심 이항계수 전개의 구조를 활용하여 이동된 변수의 제곱수만을 포함하는 새로운 급수 형태를 도출하기 위해.
• 고스퍼의 근사법을 고차수 점근 급수로 변환하여 계수를 제어함으로써 수치적 효율성과 정확도를 향상시키기 위해.
• 점차적으로 더 정확한 근사법을 얻을 수 있도록 계수의 순서를 체계적으로 계산하는 방법을 제공하기 위해.

제안 방법

• 스타링어 공식의 표준적인 x를 (x + 1/6)로 대체하여 初기 정확도를 향상시키는 고스퍼의 근사법에 기반한 급수 변환을 활용한다.
• 중앙 이항계수의 점근 전개를 (n + 1/4)의 거듭제곱으로 적용하여, 이동된 변수의 제곱수만 포함하는 새로운 급수 형태를 유도한다.
• Γ(x+1) ~ x^x e^{-x} √(2π(x + 1/6)) × Σ g_n / (x + v_n)^{2n} 형태의 새로운 점근 전개를 유도하며, 여기서 g_n과 v_n는 재귀적으로 결정된다.
• 스털링 급수의 계수 a_n과 새로운 계수 g_n, v_n 사이의 재귀 관계 (2.6)를 이항 전개와 점근적 매칭을 통해 수립한다.
• 점근 급수 전개의 유일성을 이용하여, 유도된 형태가 x → ∞ 일 때 진짜 감마 함수의 행동과 점차적으로 일치함을 보장한다.
• 다양한 x 값에서 정확한 소수 자릿수의 근사 오차를 계산하고 기존 공식들과 비교하여 수치적으로 방법을 검증한다.

실험 결과

연구 질문

• RQ1 이동된 변수 (x + 1/6)의 제곱수만 포함하는 새로운 감마 함수 점근 전개를 구성할 수 있는가? 이는 수렴 속도와 정확도 향상에 기여하는가?
• RQ2 고스퍼의 근사법을 체계적으로 고차수 점근 급수로 발전시켜, 더 나은 수치 성능을 위한 제어된 계수를 얻을 수 있는가?
• RQ3 큰 x에 대해 새로운 전개가 스타링어, 라플라스, 라마누잔, 모르티시의 공식들보다 정확한 소수 자릿수의 수를 능가하는가?
• RQ4 감마 함수와 점근적으로 동일한 행동을 보이기 위해 새로운 급수의 계수 g_n과 v_n를 지배하는 재귀 관계는 무엇인가?
• RQ5 특히 짝수 차수 근사에서 라마누잔 공식보다 더 높은 정확도를 달성할 수 있는가?

주요 결과

• 새로운 점근 전개 (2.5)는 스타링어, 라플라스, 라마누잔, 모르티시의 공식들보다 더 높은 정확도를 보이며, 특히 짝수 차수 근사에서 두각을 나타낸다.
• x = 100일 때, 새로운 공식은 8차수에서 19.2개의 정확한 소수 자릿수를 제공하며, 라마누잔의 19.5와 모르티시의 19.4를 초월한다.
• x = 1000일 때, 새로운 방법은 8차수에서 27.2개의 정확한 소수 자릿수를 달성하며, 라마누잔의 27.5와 모르티시의 27.2를 초월한다.
• 재귀 관계 (2.6)는 g_n과 v_n의 계수를 성공적으로 생성하며, n=5일 때 v_n은 약 0.249958로 수렴함을 보여 정체성을 유지함을 시사한다.
• 오직 짝수 차수 항만 포함하는 특수 급수 (2.5)는 x=1000일 때 10차수에서 38.5개의 정확한 소수 자릿수를 제공하며, 뛰어난 수렴 성질을 보여준다.
• 수치 결과는 새로운 공식이 홀수 및 짝수 차수 근사 모두에서 기존 방법을 일관되게 능가하며, 특히 고차수 항에서 뚜렷한 우월성을 보임을 보여준다.