불완전 감마 함수
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
불완전 감마 함수는 감마 함수의 변형으로, 상부 불완전 감마 함수와 하부 불완전 감마 함수로 나뉜다. 이 함수들은 복소수 매개변수 s와 실수 x를 사용하여 정의되며, 적분 형태로 표현된다. 불완전 감마 함수는 급수 전개, 연분수 전개, 다른 특수 함수와의 관계 등을 통해 계산할 수 있으며, 정규화 감마 함수와 같은 관련 함수를 정의하는 데 사용된다. 확률론, 통계학 등 다양한 분야에서 활용되며, 소프트웨어적으로도 구현되어 있다.
더 읽어볼만한 페이지
- 연분수 - 펠 방정식
펠 방정식은 제곱수가 아닌 양의 정수 n에 대해 꼴로 표현되는 디오판토스 방정식이며, 이차 수체에서 노름이 1인 원소를 찾는 문제로 해석되고, 자명한 해 외에 항상 정수해를 가지며, 해는 연분수 전개를 통해 구할 수 있고, 무리 제곱근의 유리 근삿값과 관련되어 고대부터 연구되었다. - 연분수 - 파데 근사
파데 근사는 함수의 도함수 값이 일치하도록 유리 함수로 근사하는 방법으로, 발산 급수 재합산, 특이점 분석 등에 응용되며 다점 파데 근사 등으로 일반화될 수 있다. - 감마 함수 및 관련 함수 - 감마 분포
감마 분포는 형상 모수와 척도 모수로 정의되는 연속 확률 분포로, 확률 밀도 함수가 감마 함수로 표현되며, 베이즈 통계학에서 켤레 사전 분포로 활용되고, 형상 모수가 양의 정수일 때는 얼랑 분포를 나타낸다. - 감마 함수 및 관련 함수 - 베타 함수
베타 함수는 실수부가 0보다 큰 복소수 x, y에 대해 정의되는 특수 함수로, 감마 함수와 함께 오일러 적분으로도 불리며 이항 계수의 일반화로 여겨지고, 대칭성을 가지며 감마 함수와 밀접한 관계를 갖고, 다양한 분야에서 응용되고 불완전 베타 함수 등으로 일반화된다. - 특수 함수 - 람베르트 W 함수
람베르트 W 함수는 we^w = z를 만족하는 w를 찾는 람베르트 이름을 딴 역함수 관계를 가지며, 여러 분야에서 지수 함수 방정식을 푸는 데 응용되는 무한히 많은 가지를 가진 함수이다. - 특수 함수 - 감마 함수
감마 함수는 양의 실수부를 갖는 복소수 z에 대해 오일러 적분으로 정의되고 해석적 연속을 통해 복소평면 전체로 확장된 팩토리얼 함수의 일반화로서, 수학, 물리학, 공학 등 다양한 분야에서 활용되며 여러 표현과 성질을 가진다.
불완전 감마 함수 | |
---|---|
개요 | |
함수 종류 | 특수 함수 |
정의 | 감마 함수의 일반화 |
기호 | γ(s, x), Γ(s, x) |
변수 | s (복소수) x (복소수) |
다른 이름 | 부분 감마 함수, 르장드르 적분 |
정의 | |
불완전 감마 함수 (lower) | γ(s, x) = ∫₀ˣ t^(s-1)e^(-t) dt |
불완전 감마 함수 (upper) | Γ(s, x) = ∫ₓ^∞ t^(s-1)e^(-t) dt |
관계 | Γ(s) = γ(s, x) + Γ(s, x) |
성질 | |
s가 정수일 때 (lower) | γ(n, x) = (n-1)! * (1 - e^(-x) * Σ(x^i / i!), i = 0부터 n-1까지) |
s가 정수일 때 (upper) | Γ(n, x) = (n-1)! * e^(-x) * Σ(x^i / i!, i = 0부터 n-1까지) |
관련 함수 | |
관련 함수 | 감마 함수, 지수 적분 함수, 오차 함수 |
2. 정의
불완전 감마 함수에는 감마 함수의 적분 구간 [0, ∞]을 둘로 나누어 정의되는 두 종류가 있다.
- '''제1종 불완전 감마 함수'''
- '''제2종 불완전 감마 함수'''
0 이상의 실수 ''x''와 실수부가 양수인 복소수 ''a''에 대해 정의된다.[1]
2. 1. 하부 불완전 감마 함수
lower incomplete gamma function영어는 다음과 같이 정의된다.:
여기서 ''s''는 복소수 매개변수이며, ''s''의 실수부는 양수이다.
2. 2. 상부 불완전 감마 함수
'''상부 불완전 감마 함수'''(上部不完全Γ函數, upper incomplete gamma function영어)는 다음과 같이 정의된다.:
여기서 는 복소수 매개변수이며, 의 실수부는 양수이다.[1]
또는 에 대한 정칙 함수 확장은 다음과 같이 주어진다.[1]
:
점 에서 우변이 존재하는 경우, 가 다가 함수이므로, 에도 동일하게 적용되지만, 주값을 제한하면 의 단일 값의 주 분기가 생성된다.
일 때 상부 불완전 감마 함수에 대한 극한 함수는 다음과 같다.[9]
:
이는 지수 적분 로도 알려져 있다.[10]
점화 관계를 통해, 양의 정수 에 대한 의 값은 이 결과로부터 파생될 수 있다.[11]
:
따라서 상부 불완전 감마 함수는 모든 와 에 대해 와 모두에 대해 존재하고 정칙 함수임이 입증된다.
는 다음과 같은 성질을 갖는다.
- 고정된 양의 정수 에 대해 에서 전체 함수이다.
- 고정된 가 0이 아니고 양의 정수가 아닌 경우, 에서 다가 정칙 함수이며, 에서 분기점을 갖는다.
- 가 양의 실수부를 갖고 일 때 와 같다 (일 때의 극한). 그러나 이는 해석적 연속이 아닌 연속 확장이다 (실수 에 대해서는 성립하지 않는다).
- 각 분기에서 고정된 에 대해 에서 전체 함수이다.
3. 성질
다음은 불완전 감마 함수의 성질이다.
:
3. 1. 감마 함수와의 관계
감마 함수의 정의에 따라 다음이 성립한다.:
부분적분을 이용하면 다음과 같은 식을 얻을 수 있다.
:
:
부분 적분법에 의해 다음의 점화 관계를 얻을 수 있다.
:
:
일반 감마 함수는 다음과 같이 정의되므로
:
다음이 성립한다.
:
:
또한, 불완전 감마 함수의 정의식에 부분 적분을 사용하면
:
라는 관계가 성립한다는 것을 알 수 있다.
게다가, 다음과 같은 식이 성립한다.
:
여기서,
3. 2. 점화 관계
부분 적분을 이용하면 다음과 같은 점화 관계를 얻을 수 있다.[1]:
:
3. 3. 극한
일반 감마 함수는 다음과 같이 정의된다.:
따라서 다음이 성립한다.
:
:
또한, 다음 식이 성립한다.
:
여기서,
3. 4. 복소수 값으로의 확장
아래 불완전 감마 함수와 위 불완전 감마 함수는 실수 양수 s와 x에 대해 위에서 정의된 바와 같이, 복소수 x와 s의 거의 모든 조합에 대해 정의된, x와 s 모두에 대한 정칙 함수로 전개될 수 있다.[1] 복소 해석은 실수 불완전 감마 함수의 성질이 정칙 대응물로 어떻게 확장되는지를 보여준다.3. 5. 특수 값
3. 6. 점근적 거동
- 일 때, 이다.
- 일 때, 이다.
- 일 때, 이다.
4. 미분
불완전 감마 함수는 다음과 같이 미분할 수 있다.[23]
- 에 대한 미분은 #x에 대한 미분을 참고하라.
- 에 대한 미분은 #s에 대한 미분을 참고하라.
여기서 함수 는 메이어 G-함수의 특수한 경우이며, 모든 연속적인 도함수를 표현하는 데 사용될 수 있다.
4. 1. x에 대한 미분
:[23]4. 2. s에 대한 미분
[23],
여기서 는 메이어 G-함수의 특수한 경우이다.
5. 계산 및 활용
불완전 감마 함수는 급수 전개, 연분수 전개 등 다양한 방법을 통해 계산하고 활용할 수 있다.
가우스의 연분수는 실제 수치 값을 계산하는 데 유용하다.[16] 하부 불완전 감마 함수 $\gamma(s, z)$와 상부 불완전 감마 함수 $\Gamma(s, z)$는 다음과 같은 연분수 전개를 갖는다.
:
(단, $s$가 음의 정수가 아닌 경우, 모든 복소수 $z$에 대해 수렴한다.)
:
:
정규화된 감마 함수는 다음과 같이 정의된다.
:
$P(s,x)$는 모양 모수 $s$와 척도 모수 1을 갖는 감마 확률 변수의 누적 분포 함수이다.[17][18] $s$가 정수일 때, $Q(s+1, \lambda)$는 푸아송 확률 변수의 누적 분포 함수와 관련된다.
불완전 감마 함수는 Mathematica, Maple, MATLAB, R 등 다양한 컴퓨터 대수 시스템과 엑셀, 파이썬 라이브러리 등에서 구현되어 제공된다.
5. 1. 급수 전개
아래 감마 함수는 다음과 같은 거듭제곱 급수 전개를 사용하여 평가할 수 있다.[15]:
여기서 는 포흐아머 기호이다.
또 다른 전개식은 다음과 같다.
:
여기서 M은 쿠머의 합류형 초기하 함수이다.
5. 2. 연분수 전개
가우스의 연분수는 실제 수치 값을 계산하는데 유용한 전개를 제공한다[16]:이 연분수는 $s$가 음의 정수가 아닌 경우, 모든 복소수 $z$에 대해 수렴한다.
상부 불완전 감마 함수는 다음과 같은 연분수를 갖는다[16]:
5. 3. 다른 함수와의 관계
z영어의 실수부가 양수일 때,:
여기서 는 무한한 수렴 반경을 갖는다.
합류 이상 함수를 이용하여 쿠머(Kummer)의 항등식을 적용하면 다음과 같다.
:
실제 수치 값을 계산하기 위해, 가우스의 연분수는 유용한 전개를 제공한다.
:
이 연분수는 s영어가 음의 정수가 아닌 경우에만 모든 복소수 z영어에 대해 수렴한다.
상부 감마 함수는 다음과 같은 연분수를 갖는다.[16]
:
:
5. 4. 정규화 감마 함수
정규화된 감마 함수는 다음과 같이 정의된다.:
는 감마 확률 변수의 누적 분포 함수로, 모양 모수 와 척도 모수 1을 갖는다.[17][18]
가 정수일 때, 는 푸아송 확률 변수의 누적 분포 함수이다. 만약 가 확률 변수라면, 다음이 성립한다.
:
이 공식은 반복적인 부분 적분을 통해 유도될 수 있다.
안정 계수 분포의 맥락에서, 매개변수는 레비의 안정성 매개변수 의 역수로 간주될 수 있다.
:
여기서 는 모양 의 표준 안정 계수 분포이다.
와 는 scipy에서 `gammainc` 및 `gammaincc`로 구현된다.[17][18]
5. 5. 소프트웨어 구현
불완전 감마 함수는 Mathematica, Maple, MATLAB, R 등 다양한 컴퓨터 대수 시스템에서 사용할 수 있다. 엑셀에서는 감마 함수와 감마 분포 함수를 조합하여 계산할 수 있다.- 하부 불완전 함수: `= EXP(GAMMALN(s))*GAMMA.DIST(x,s,1,TRUE)`
- 상부 불완전 함수: `= EXP(GAMMALN(s))*(1-GAMMA.DIST(x,s,1,TRUE))`
이는 감마 분포의 누적 분포 함수의 정의에서 따른다.
파이썬에서는 Scipy 라이브러리가 불완전 감마 함수의 구현을 제공하지만, 첫 번째 인수에 음수 값은 지원하지 않는다. mpmath 라이브러리의 함수는 모든 복소수 인수를 지원한다.
참조
[1]
웹사이트
DLMF: §8.2 Definitions and Basic Properties ‣ Incomplete Gamma Functions ‣ Chapter 8 Incomplete Gamma and Related Functions
https://dlmf.nist.go[...]
[2]
웹사이트
DLMF: §8.8 Recurrence Relations and Derivatives ‣ Incomplete Gamma Functions ‣ Chapter 8 Incomplete Gamma and Related Functions
https://dlmf.nist.go[...]
[3]
student handout
Complex Analysis
http://www.math.wash[...]
University of Washington
2011-04-23
[4]
웹사이트
DLMF: §8.7 Series Expansions ‣ Incomplete Gamma Functions ‣ Chapter 8 Incomplete Gamma and Related Functions
https://dlmf.nist.go[...]
[5]
웹사이트
Hartogs' Theorem: separate analyticity implies joint
https://www-users.cs[...]
2023-12-21
[6]
웹사이트
Riemann Surfaces
http://math.berkeley[...]
2023-12-21
[7]
웹사이트
DLMF: §5.2 Definitions ‣ Properties ‣ Chapter 5 Gamma Function
https://dlmf.nist.go[...]
[8]
웹사이트
DLMF: §4.4 Special Values and Limits ‣ Logarithm, Exponential, Powers ‣ Chapter 4 Elementary Functions
https://dlmf.nist.go[...]
[9]
문서
see last eq.
[10]
웹사이트
DLMF: §8.4 Special Values ‣ Incomplete Gamma Functions ‣ Chapter 8 Incomplete Gamma and Related Functions
https://dlmf.nist.go[...]
[11]
웹사이트
DLMF: 8.4 Special Values
http://dlmf.nist.gov[...]
[12]
문서
Incomplete Gamma Function
https://mathworld.wo[...]
[13]
서적
Advanced Mathematical Methods for Scientists and Engineers
Springer
1978
[14]
웹사이트
DLMF: §8.11 Asymptotic Approximations and Expansions ‣ Incomplete Gamma Functions ‣ Chapter 8 Incomplete Gamma and Related Functions
https://dlmf.nist.go[...]
[15]
웹사이트
DLMF: §8.11 Asymptotic Approximations and Expansions ‣ Incomplete Gamma Functions ‣ Chapter 8 Incomplete Gamma and Related Functions
https://dlmf.nist.go[...]
[16]
문서
p. 263, 6.5.31
http://www.math.sfu.[...]
[17]
웹사이트
scipy.special.gammainc — SciPy v1.11.4 Manual
https://docs.scipy.o[...]
[18]
웹사이트
scipy.special.gammaincc — SciPy v1.11.4 Manual
https://docs.scipy.o[...]
[19]
간행물
Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions
https://doi.org/10.1[...]
[20]
논문
The generalized integro-exponential function
[21]
arXiv
Numerical Evaluation of the Oscillatory Integral over exp(i*pi*x)*x^(1/x) between 1 and infinity
[22]
간행물
Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions
http://www.springerl[...]
[23]
간행물
Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions
http://www.springerl[...]
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com