베타함수

1. 정의 Definition

베타함수(beta function) B(a, b)는 두 개의 양수 모수 a>0, b>0 에 대하여 다음 정적분으로 정의되는 특수함수다.

피적분함수 t^a−1(1−t)^b−1 은 구간 [0, 1] 에서 적분되며, a, b 가 양수일 때 이 적분은 항상 유한한 값으로 수렴한다. 베타함수는 두 변수에 대해 대칭이어서 B(a, b) = B(b, a) 가 성립한다. 변수치환 t = 1−t 만으로 곧바로 확인된다.

2. 삼각함수 적분 표현 Trigonometric Integral Form

정의식에서 t = sin²θ 로 치환하면, 베타함수는 다음과 같은 삼각함수 적분 형태로도 표현된다.

이 형태는 사인·코사인 거듭제곱의 적분(이른바 월리스 적분)을 베타함수로 환원할 때 유용하며, 여러 적분 공식의 출발점이 된다.

3. 감마함수와의 관계 Relation to the Gamma Function

베타함수의 가장 중요한 성질은 감마함수(gamma function)로 깔끔하게 표현된다는 점이다.

이 관계는 다음과 같이 유도된다. 감마함수의 정의에서 두 적분의 곱을 쓰면

두 번째 적분에서 v = u y 로 치환하고 정리한 뒤, 다시 s = u(1+y) 로 치환하면 다음을 얻는다.

마지막으로 t = (1+y)⁻¹ 로 치환하면 오른쪽 적분이 바로 정의식 (1)의 베타함수가 되어, Γ(a)Γ(b) = Γ(a+b)·B(a, b) 가 성립한다. 이를 정리하면 위의 관계식이 된다.

a 와 b 가 모두 양의 정수인 경우에는, Γ(n) = (n−1)! 을 이용하여 다음과 같이 간단해진다.

4. 불완전 베타함수 The Incomplete Beta Function

적분의 상한을 1 대신 임의의 x (0 ≤ x ≤ 1) 로 바꾼 것을 불완전 베타함수(incomplete beta function)라 한다.

x = 1 이면 완전한 베타함수 B(a, b) 로 되돌아간다. 이를 베타함수로 나눈 값을 정규화 불완전 베타함수(regularized incomplete beta function)라 하며, 다음과 같이 쓴다.

I_x(a, b) 는 x 에 대해 0에서 1까지 증가하는 함수로, 바로 베타분포의 누적분포함수(c.d.f.)가 된다. 불완전 베타함수는 닫힌 형태로 표현되지 않는 경우가 많으나, 급수전개를 통해 계산할 수 있고, 오늘날 대부분의 통계 소프트웨어와 스프레드시트 패키지에 수치 근사 루틴이 내장되어 있다. 수치 계산에 관한 자세한 내용은 Abramowitz & Stegun [1] 및 Press 외 [3] 를 참고하라.

5. 베타분포와의 관계 Link to the Beta Distribution

베타함수는 베타분포(beta distribution)의 정규화 상수로서 자연스럽게 등장한다. 모수 a>0, b>0 인 베타분포의 확률밀도함수는 다음과 같다.

여기서 분모의 B(a, b) 는 밀도함수의 전체 적분이 1이 되도록 하는 정규화 상수다. 정의상 ∫₀¹x^a−1(1−x)^b−1dx = B(a, b) 이므로 이 나눗셈이 정확히 작동한다. 베타분포는 (0, 1) 구간의 비율·확률을 모형화할 때 널리 쓰이며, 그 누적분포함수가 곧 정규화 불완전 베타함수 I_x(a, b) 다. 이런 까닭에 베타함수는 연속 모수분포 계열, 특히 베타분포를 다루는 데 빠질 수 없는 도구다.

참고 및 관련 표제어

부록. 이 글에 나온 용어 (배경지식 보충)

• 베타함수 (beta function) — B(a, b) = ∫₀¹t^a−1(1−t)^b−1dt 로 정의되는 두 변수 특수함수.
• 감마함수 (gamma function) — Γ(a) = ∫₀^∞u^a−1e^−udu; 팩토리얼의 연속 확장.
• 정규화 상수 (normalizing constant) — 밀도함수의 전체 적분이 1이 되도록 나눠 주는 상수.
• 불완전 베타함수 (incomplete beta function) — 적분 상한을 x(≤1)로 둔 베타함수 B(x;a,b).
• 정규화 불완전 베타함수 (regularized incomplete beta function) — I_x(a,b) = B(x;a,b)/B(a,b); 베타분포의 c.d.f.
• 베타분포 (beta distribution) — (0, 1) 위에 정의되며 비율·확률 모형화에 쓰이는 연속분포.
• 대칭성 (symmetry) — B(a,b) = B(b,a) 처럼 두 변수를 바꿔도 값이 같은 성질.
• 월리스 적분 (Wallis integral) — 사인·코사인 거듭제곱의 적분; 베타함수의 삼각함수 표현과 직접 연결.
• 누적분포함수 (c.d.f.) — 확률변수가 어떤 값 이하일 확률을 주는 함수 F(x).

한국보험시장 현황 Korea Market Practice

베타함수(Beta Function)는 베타 분포의 정규화 상수이자 이항 계수·확률 계산에 등장하는 특수함수로, 보험 계리에서 베이지안 추론의 켤레 사전분포(conjugate prior)를 구성하는 데 핵심 역할을 한다. 베타 분포는 [0,1] 범위의 확률 변수(예: 해지율, 손해율, 이항 비율)의 사전분포로 자연스럽게 사용되며, 포아송 사고 건수 모형에서 사고 확률 π의 베이즈 추정치를 해석적으로 도출할 수 있다는 편의성 때문에 신뢰도이론과 결합되어 왔다.

국내 계리 실무에서 베타 분포는 특히 경험 해지율·이탈률 추정에서 활용된다. 베타(α, β) 사전분포에 관측 해지 건수 r과 유지 건수 n-r을 업데이트하면 베타(α+r, β+n-r) 사후분포를 바로 얻는다. 이 접근은 IFRS17 최선추정(BEA) 가정 설정 시 과거 데이터가 적은 신상품이나 소형 계약 집합에서 사전 경험(업계 평균)과 자사 관측을 결합하는 혼합(blending) 기법으로 실용화된다.

베타함수의 불완전 베타함수(incomplete beta function) 형태는 이항 분포의 CDF를 표현하는 데 사용되며, 이는 집단 청구 건수 모형의 신뢰구간 계산에 등장한다. 손해보험에서 대형 사고(CAT) 발생 여부를 이항 확률 모형으로 다룰 때, 파라미터 불확실성을 베타 사전분포로 반영하면 경험 데이터가 적은 저빈도 대형 사고에 대해서도 안정적인 확률 추정이 가능하다.