[논문 리뷰] Contributions to the Theory of the Barnes Function

Victor Adamchik|ArXiv.org|2003. 08. 08.

Analytic Number Theory Research참고 문헌 24인용 수 35

한 줄 요약

이 논문은 바르네스 G-함수와 다중 감마 함수에 대한 새로운 적분 표현과 점점 가까워지는 전개를 제시하며, 글레이셔-킨클러의 상수에 대한 고정밀 계산을 가능하게 한다. 글레이셔 상수에 대한 새로운 적분 및 급수 공식을 유도하여 임의 정밀도 평가에 적합한 빠르게 수렴하는 급수를 포함하고 있으며, 제타 함수, 스틸링 수, 바르네스 함수의 특수값과의 연결 고리를 설정한다.

ABSTRACT

This paper presents a family of new integral representations and asymptotic series of the multiple gamma function. The numerical schemes for high-precision computation of the Barnes gamma function and Glaisher's constant are also discussed.

연구 동기 및 목표

• 바르네스 G-함수와 다중 감마 함수에 대한 새로운 적분 표현과 점점 가까워지는 전개를 개발하기 위해.
• 새로운 급수 및 적분 공식을 사용하여 글레이셔-킨클러 상수의 고정밀 수치 계산을 가능하게 하기 위해.
• 바르네스 함수, 히르츠 제타 함수, 글레이셔 상수와 같은 특수 상수 간의 관계를 설정하기 위해.
• 반사 및 클라우젠 함수 항등식을 사용하여 바르네스 G-함수의 해석적 계속성과 함수적 성질을 음의 실수축으로 확장하기 위해.
• 임의 정밀도로 바르네스 함수와 글레이셔 상수를 평가하기 위한 효율적인 계산 알고리즘을 제공하기 위해.

제안 방법

• 헤르미트 적분 공식을 사용하여 s = -1에서 히르츠 제타 함수의 도함수에 대한 새로운 적분 표현을 유도한다.
• 유리수 계수를 가진 ζ(2k+1) - 1에 대한 합산을 통해 log A에 대한 빠르게 수렴하는 급수를 도입하여 고정밀 계산을 가능하게 한다.
• 제타 함수의 적분 표현과 t^λ를 통한 정규화를 사용한 항별 통합을 통해 복잡한 적분을 평가한다.
• 리만 제타 함수의 함수 방정식을 적용하여 글레이셔 상수를 ζ′(2)와 γ로 표현한다.
• 클라우젠 함수의 반사 및 주기성 성질을 활용하여 바르네스 G-함수를 음의 실수 축으로 확장한다.
• 시리즈 log A의 타당성을 검증하기 위해 합을 라플라스 유형 적분으로 변환하고, 감마 함수 및 제타 함수 항등식을 사용하여 λ → 0일 때의 극한을 평가한다.

실험 결과

연구 질문

• RQ1 바르네스 G-함수와 그 로그 도함수에 대해 새로운 적분 및 급수 표현을 도출할 수 있는가?
• RQ2 급수 전개를 통해 글레이셔-킨클러 상수를 임의 정밀도로 계산할 수 있는가?
• RQ3 바르네스 G-함수의 음의 실수축에서의 함수적 및 해석적 성질은 무엇인가?
• RQ4 바르네스 G-함수와 글레이셔 상수는 히르츠 제타 함수 및 리만 제타 함수와 어떻게 관련이 있는가?
• RQ5 바르네스 G-함수의 점점 가까워지는 전개는 적분 항등식을 통해 기존 상수와 어떻게 연결될 수 있는가?

주요 결과

• log A에 대한 새로운 빠르게 수렴하는 급수를 도출: log A = log 2 / 12 + (1/36) Σ (ζ(2k+1) - 1)(28 + 3/(1+k) - 6/(2+k))이며 오차는 O(1/4^N)이며, p자리 정밀도를 확보하기 위해 ⌈p/2 log₂10⌉개의 항이 필요하다.
• 글레이셔-킨클러 상수는 바르네스 G-함수의 1/2에서의 값으로 표현된다: log A = 1/12 + log 2 / 36 - log π / 6 - (2/3) log G(1/2), 여기서 G(1/2)는 식 (32)의 적분으로 계산 가능하다.
• log A에 대한 새로운 적분 표현을 확보: log A = (1 + log(2π))/12 - (1/(2π²)) ∫₀^∞ (x log x)/(e^x - 1) dx.
• 리만 제타 함수의 함수 방정식을 사용하여 글레이셔 상수를 A = exp(γ/12 - ζ′(2)/(2π²)) (2π)^{1/12}로 재기록하였으며, 이는 마스터캔다(Mathematica)의 구현과 일치한다.
• 클라우젠 함수와 sin(πz)를 포함하는 반사 공식을 사용하여 바르네스 G-함수를 음의 실수축으로 해석적으로 계속시켰다.
• 논문은 행렬 M_n의 행렬식 det(M_n) = G(n+1)임을 증명하며, 바르네스 함수와 조합적 행렬식 간의 연결 고리를 설정한다.