불완전 베타 함수 계산기란?
이 도구는 불완전 베타 함수 \(B_{x}(a,b)\)와 이를 정규화한 형태인 정규화 불완전 베타 함수 \(I_{x}(a,b)\)를 계산합니다. 형상 모수 \(a > 0\), \(b > 0\)(실수)와 적분 상한 \(0 \le x \le 1\) 조건에서 동작합니다. 순수 수학 함수이므로 지역이나 국가별 규칙과 무관하게 어디서나 동일하게 적용됩니다. \(I_{x}(a,b)\)는 베타 분포의 누적분포함수(CDF)와 같기 때문에, 스튜던트 t분포, F분포, 이항분포의 꼬리(tail) 확률 계산의 바탕이 됩니다.
사용 방법
두 형상 모수 a와 b(둘 다 0보다 커야 함)와 0에서 1 사이의 적분 상한 x를 입력하세요. 계산기는 대표값으로 \(I_{x}(a,b)\)를 보여주고, 정규화하지 않은 \(B_{x}(a,b)\)와 완전 베타 함수 \(B(a,b)\)도 함께 제공합니다. 배정밀도(double) 연산으로 약 15자리의 유효 숫자까지 신뢰할 수 있습니다.
공식 설명
불완전 베타 함수는 부분 적분 $$B_{x}(a,b) = \int_{0}^{x} t^{\,a-1}(1-t)^{\,b-1}\,dt$$ 로 정의됩니다. 완전 베타 함수는 $$B(a,b) = \frac{\Gamma(a)\,\Gamma(b)}{\Gamma(a+b)}$$ 입니다. 이 둘을 나누면 항상 [0,1] 구간 안에 들어오는 정규화 형태 $$I_{x}(a,b) = \frac{B_{x}(a,b)}{B(a,b)}$$ 를 얻습니다. 본 계산기는 수치적으로 안정적인 연분수(continued fraction)와 로그 감마 함수의 Lanczos 근사를 사용해 \(I_{x}\)를 구한 뒤, \(B_{x} = I_{x} \times B(a,b)\)로 \(B_{x}\)를 복원합니다.
계산 예시
\(a = 1\), \(b = 3\), \(x = 0.4\)라고 합시다. \(a = 1\)이면 피적분 함수가 \((1-t)^{2}\)가 되므로 $$B_{x} = \frac{1 - 0.6^{3}}{3} = \frac{0.784}{3} = 0.26133$$ 입니다. 완전 베타 함수는 \(B(1,3) = \frac{1\cdot 2}{6} = \frac{1}{3}\) 입니다. 따라서 \(I_{x} = \frac{0.26133}{0.33333} = 0.784\) 이며, 이는 항등식 \(I_{0.4}(1,3) = 1 - (1-0.4)^{3} = 0.784\) 와 정확히 일치합니다.
자주 묻는 질문
\(B_{x}\)와 \(I_{x}\)의 차이는 무엇인가요? \(B_{x}\)는 정규화하지 않은 원래의 부분 적분값이고, \(I_{x} = B_{x}/B(a,b)\)는 이를 [0,1] 범위로 정규화한 값입니다.
a와 b는 왜 양수여야 하나요? 감마 함수는 0 이하의 정수에서 극(pole)을 가지며 그렇지 않으면 적분이 발산하기 때문에, \(a > 0\), \(b > 0\) 조건이 반드시 필요합니다.
양 끝점에서는 어떻게 되나요? \(x = 0\)일 때 \(B_{x}\)와 \(I_{x}\)는 모두 0이고, \(x = 1\)일 때 \(I_{x} = 1\), \(B_{x} = B(a,b)\)가 됩니다.
