|
특수함수 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. 개요
불완전 베타 함수(Incompete beta function)은 다음 적분을 의미한다.3변수 함수이다.[math(\displaystyle \Beta\left ( a,b,c \right )=\int_{0}^{a}{x}^{b-1}\left ( 1-x \right )^{c-1} \mathrm{d}x)]
베타 함수는 불완전 베타 함수에서 [math(\displaystyle a=1)]인 경우이다.
2. 무한급수 표현
우선 포흐하머 기호에 대해서 알아보자.이 함수를 무한급수로 표현할 때 등장하는 식은 하강 계승이다.
따라서
[math(\displaystyle \left ( a \right )_{b}=\frac{\Gamma\left ( a+b \right )}{\Gamma\left ( a \right )})]이다.
[math(\displaystyle \Beta\left ( a,b,c \right )={a}^{b}\sum_{n=0}^{\infty}\frac{{a}^{n}\frac{\Gamma\left ( 1-b+n \right )}{\Gamma\left ( 1-b \right )}}{n!\left ( b+n \right )})]
[math(\displaystyle \Beta\left ( a,b,c \right )=\frac{{a}^{b}}{\Gamma\left ( 1-b \right )}\sum_{n=0}^{\infty}\frac{{a}^{n}\Gamma\left ( n+1-b \right )}{n!\left ( b+n \right )})]
단 위 식은 a의 절댓값이 1 이하일 때만 수렴하는 것으로 보인다.
3. 활용
3.1. x^5의 0에서 5까지 곡선의 길이를 다르게 표현하기
우선 위 함수의 도함수는 의문의 여지 없이 [math(\displaystyle 5{x}^{4})]이다.따라서 우리는 [math(\displaystyle \int_{0}^{5} \sqrt{1+25{x}^{8}}\,\mathrm{d}x)]를 구해줘야 한다.
[math(\displaystyle \int_{0}^{5}\sqrt{1+25{x}^{8}}\,\mathrm{d}x)]
[math(\displaystyle x={e}^{\frac{-i \pi}{8}}t=g\left ( t \right ))]
[math(\displaystyle \frac{\mathrm{d}t}{\mathrm{d}x}={e}^{\frac{i \pi}{8}})]
[math(\displaystyle {e}^{\frac{-i \pi}{8}}\int_{0}^{5{e}^{-\frac{i \pi}{8}}}\sqrt{1-25{t}^{8}}\,\mathrm{d}t)]
[math(\displaystyle {25}{t}^{8}=z)]
[math(\displaystyle {t}^{8}=\frac{z}{25})]
[math(\displaystyle t=\sqrt[8]{\frac{z}{25}})]
[math(\displaystyle \frac{dt}{dz}={8}^{-1}{5}^{-\frac{1}{4}}{t}^{-\frac{7}{8}})]
[math(\displaystyle {8}^{-1}{5}^{-\frac{1}{4}}{e}^{-\frac{i \pi}{8}}\int_{0}^{-25\times{5}^{8}}\left ( 1-t \right )^{\frac{1}{2}}{t}^{-\frac{7}{8}}\,\mathrm{d}t)]
[math(\displaystyle {8}^{-1}{5}^{-\frac{1}{4}}{e}^{-\frac{i \pi}{8}}\Beta\left ( -25\times{5}^{8},\frac{1}{8},\frac{3}{2} \right ))]
값은 대략 3125.673 정도이다.