| 특수함수 Special Functions | ||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px; word-break: keep-all" | <colbgcolor=#383B3D><colcolor=#fff> 적분 | 오차함수(error function)(가우스 함수 · 가우스 적분 함수) · 베타 함수(불완전 베타 함수) · 감마 함수(불완전 감마 함수 · 로그 감마 함수) · 타원 적분 · 야코비 타원 함수 · 지수 적분 함수 · 로그 적분 함수 · 삼각 적분 함수 · 쌍곡선 적분 함수 · 프레넬 적분 함수 · 구데르만 함수 |
| 미분방정식 | 르장드르 함수[math(^\ast)] (구면 조화 함수) · 베셀 함수 · 에르미트 함수 · 라게르 함수 · 에어리 함수 | |
| 역함수 | 브링 근호 · 람베르트 W 함수 · 역삼각함수 | |
| 급수 | 제타 함수 · 후르비츠 제타 함수 · 세타 함수 · 초기하함수 · 폴리로그함수 · 폴리감마 함수 · 바이어슈트라스 타원 함수 | |
| 정수론 | 소수 계량 함수 · 소인수 계량 함수 · 뫼비우스 함수 · 최대공약수 · 최소공배수 · 약수 함수 · 오일러 피 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 바쁜 비버 함수 | |
| 기타 | 헤비사이드 계단함수 · 부호 함수 · 테트레이션(무한 지수 탑 함수) · 지시함수 · 바닥함수 / 천장함수 · 허수지수함수 · 혹 함수 | |
| [math(^\ast)] 특수함수가 아니라 특정 조건을 만족시키는 다항함수이지만, 편의상 이곳에 기술했다. | ||
1. 정의
incomplete gamma function불완전 감마 함수는 다음과 같이 정의된다.
[math(\displaystyle \Gamma( a,\,x ):=\int_{x}^{\infty}t^{a-1}e^{-t}\,{\rm d}t)]
감마 함수는 위 식에서 [math(x=0)]인 경우에 해당한다. 불완전이라는 이름이 붙은 이유는 적분 구간이 감마 함수보다 좁으므로 '불완전'하기 때문이다. 비초등함수로 분류되긴 하지만 [math(a)]가 [math(a>1)]인 정수인 경우에는 유한 개의 초등함수의 결합으로 표현이 가능하다.
이 함수와 관련하여 '하부 불완전 감마 함수'가 있는데 다음과 같이 정의된다.
[math(\displaystyle \gamma ( a,\,x ):=\int_{0}^{x}t^{a-1}e^{-t}{\rm d}t)]
2. 도함수
[math(\dfrac{\partial}{\partial x}\Gamma ( a,\,x)=-x^{a-1}e^{-x})]
3. 응용
이 함수의 정의를 이용하여 여러 함수의 역도함수를 구해볼 수 있다.| 예 1 [math(\displaystyle \int \frac{e^{x}}{x}\,{\rm d}x)]를 구하시오. |
[math(x=-t)]로 치환하면, [math({\rm d}x=-{\rm d}t)]이므로 적분은 아래와 같이 바뀐다.
[math(\displaystyle -\int \frac{e^{-t}}{t}\,{\rm d}t)]
이는 위 정의에서 [math(a=0)], [math(x=t)]를 대입한 꼴이므로
[math(\displaystyle -\int \frac{e^{-t}}{t}\,{\rm d}t=-\Gamma(0,\,t) )]
이상에서 역도함수는 적분 상수 [math(\sf{const.})]를 도입하여
[math(\displaystyle \int \frac{e^{x}}{x}\,{\rm d}x=-\Gamma(0,\,-x)+\sf{const.})]
한편, [math({rm Ei}(x)equiv - Gamma ( 0,,-x ))]로 정의한다.
| 예 2 [math(\displaystyle \int \frac{1}{\ln{x}}\,{\rm d}x)]를 구하시오. |
[math(\ln{x}=t)]로 치환하면, [math({\rm d}x=e^{t}\,{\rm d}t)]이므로 적분은 아래와 같이 바뀐다.
[math(\displaystyle \int \frac{e^{t}}{t}\,{\rm d}t)]
이는 예 1에서 보았던 꼴이므로
[math(\displaystyle \int \frac{1}{\ln{x}}\,{\rm d}x=-\Gamma(0,\,-\ln{x})+\sf{const.})]
마찬가지로, [math({rm li}(x)equiv -Gamma(0,,-ln{x}))]로 정의한다.
| 예 3 [math(\displaystyle \int e^{-x^{2}}\,{\rm d}x)]를 구하시오. |
[math(\ln{x}=\sqrt{t})]로 치환하면
[math(\displaystyle{\rm d}x=\frac{{\rm d}t}{2\sqrt{t}})]
이므로 적분은 아래와 같이 바뀐다.
[math(\displaystyle \int \frac{e^{-t}}{2\sqrt{t}}\,{\rm d}t=\left(-\frac{1}{2}\right) \cdot\left( -\int t^{1/2-1}e^{t}\,{\rm d}t\right) )]
위 정의에서 [math(a=1/2)]인 경우가 위 적분식과 동일하므로
[math(\displaystyle \int \frac{e^{-t}}{2\sqrt{t}}\,{\rm d}t=-\frac{1}{2}\Gamma\biggl(\frac{1}{2},\,t \biggr))]
이상에서 역도함수는 적분 상수 [math(\sf{const.})]를 도입하여
[math(\displaystyle \int e^{-x^{2}}\,{\rm d}x=-\frac{1}{2}\Gamma\biggl(\frac{1}{2},\,x^{2} \biggr)+\sf{const.})]
한편,
로 정의할 수 있는데, 위 둘과는 다르게 곱해지는 상수가 다르다.[1]
4. 기타
푸아송 분포의 누적 분포 함수에도 불완전 감마 함수가 등장한다.5. 관련 문서
[1] 정확히는 위 계산식에 [math({2}/{\sqrt{\pi}})]를 곱한 것이다.