[논문 리뷰] On the expansion of the Kummer function in terms of incomplete Gamma functions

Carlo Morosi, Livio Pizzocchero|ArXiv.org|2003. 04. 17.

Mathematical functions and polynomials참고 문헌 4인용 수 4

한 줄 요약

이 논문은 Kummer의 역행하중함수 $ M(\alpha,\beta,x) $ 를 재매arameter화된 형태 $ N(\alpha,\delta,x) $ 를 통해 비완전 감마 함수의 급수 전개로 제시한다. 잘린 오차에 대한 날카운 분석적 경계를 유도하여 균일 수렴성을 증명하고, 몇 개의 항만으로도 높은 정확도를 얻을 수 있음을 보여준다. 이 방법을 통해 지수함수와 유리함수를 포함한 기본 함수들만을 사용하여 매우 정확한 상한 및 하한 근사치를 구성할 수 있으며, 전체 정의역에서 상대 오차가 0.0074 이하이다.

ABSTRACT

The expansion of Kummer's hypergeometric function as a series of incomplete Gamma functions is discussed, for real values of the parameters and of the variable. The error performed approximating the Kummer function with a finite sum of Gammas is evaluated analytically. Bounds for it are derived, both pointwisely and uniformly in the variable; these characterize the convergence rate of the series, both pointwisely and in appropriate sup norms. The same analysis shows that finite sums of very few Gammas are sufficiently close to the Kummer function. The combination of these results with the known approximation methods for the incomplete Gammas allows to construct upper and lower approximants for the Kummer function using only exponentials, real powers and rational functions. Illustrative examples are provided.

연구 동기 및 목표

• 비완전 감마 함수의 급수 전개에 대한 쿠머 함수의 수렴성과 오차 행동을 분석하는 것.
• 변수 $ x \in [0,\infty) $ 에서 이 급수의 잘린 오차에 대한 점별 및 균일한 분석적 상한 및 하한을 도출하는 것.
• 지수함수, 실수 거듭제곱, 유리함수만을 사용하여 쿠머 함수의 매우 정확한 근사치를 구성하는 것 — 비완전 감마 함수의 알려진 근사치와 급수를 조합함으로써.
• 유한한 수의 비완전 감마 함수 항만으로도 전체 음이 아닌 실수선에서 뛰어난 근사치를 제공할 수 있음을 보여주는 것, 특히 큰 $ x $ 에서 특히 그렇다.

제안 방법

• 쿠머 함수를 $ N(\alpha,\delta,x) = \int_0^1 t^{\alpha-1}(1-t)^\delta e^{-xt} dt $ 로 재매개변수화함으로써 적분 표현을 단순화한다.
• 함수 $ (1-t)^\delta $ 를 테일러 급수로 전개하고 항별로 적분하여 $ N(\alpha,\delta,x) = \sum_{k=0}^\infty \frac{(-\delta)_k}{k!} \frac{\gamma(\alpha+k,x)}{x^{\alpha+k}} $ 라는 급수를 도출한다. 여기서 $ \gamma $ 는 하부 비완전 감마 함수를 나타낸다.
• 형태 $ \int_0^1 \psi(t) e^{-xt} dt $ 의 적분을 유한한 수의 비완전 감마 함수로 경계하는 워튼의 보조정리의 변형을 개발하여 $ N(\alpha,\delta,x) $ 에 대한 상한 및 하한을 제공한다.
• 이 경계들이 $ N(\alpha,\delta,x) $ 에 적용되어 잘린 급수의 엄밀한 오차 추정치를 점별 및 최대노름 기준으로 도출한다.
• 비정수 $ \alpha $ 에 대해서는 비완전 감마 함수를 알려진 패딩 타입 또는 유리 근사치로 대체함으로써 정확도를 유지하면서 기본 함수의 구조를 유지한다.
• 최종 근사치는 $ x=0 $ 근처의 고차수 테일러 전개와 큰 $ x $ 에 대한 점근 전개를 매칭시켜 전역 정확도를 확보한다.

실험 결과

연구 질문

• RQ1 비완전 감마 함수의 급수 전개로 표현된 쿠머 함수의 잘린 오차에 대해 엄밀한 경계를 얻을 수 있는가?
• RQ2 이 급수의 수렴 속도는 $ x \in [0,\infty) $ 전역에서 점별 및 균일하게 어떻게 되는가?
• RQ3 비완전 감마 함수의 유한한 합이 전체 정의역에서 쿠머 함수에 대해 매우 정확한 근사치를 제공할 수 있는가?
• RQ4 이 급수에 포함된 비완전 감마 함수를 정확도를 크게 떨어뜨리지 않고 기본 함수로 대체할 수 있는가?

주요 결과

• 비완전 감마 함수의 급수 전개 $ N(\alpha,\delta,x) $ 는 $ [0,\infty) $ 에서 균일 수렴하며, 단지 점별 수렴이 아니라는 점.
• $ \alpha = \frac{1}{2}, \delta = \frac{3}{2} $ 인 경우, 최종 근사치의 상대 오차는 0.0074 이하이며, 최대값은 $ x \approx 2.41 $ 근처에서 도달한다.
• $ \alpha = 2, \delta = -\frac{1}{2} $ 인 경우, 최종 근사치의 상대 오차는 0.20 이하이며, 최대값은 $ x \approx 1.57 $ 근처에서 발생한다.
• $ x \to \infty $ 일 때 상대 오차는 단조 감소하여 0으로 수렴함으로써 점근적 일致성을 보인다.
• 심지어 급수에 5개의 항만 사용하더라도 $ x \geq 3 $ 에서 상대 오차가 0.005 이하, $ x \geq 1 $ 에서는 0.016 이하에 이를 수 있다.
• 이 방법을 통해 지수함수, 실수 거듭제곱, 유리함수만을 사용하여 상한 및 하한을 구성할 수 있으며, 이 경계들은 전체 정의역에서 진짜 함수와 높은 정밀도로 일치한다.