감마 함수 (Gamma Function)

한 줄 정의: 계승(팩토리얼)을 실수와 복소수 범위로 확장한 특수함수입니다.

쉽게 풀면

팩토리얼은 원래 자연수에서만 정의되는데, 감마 함수는 이를 부드러운 곡선으로 이어 실수와 복소수까지 확장한 함수입니다. 자연수 n에 대해 감마 함수 값은 (n-1) 팩토리얼과 같습니다. 정의는 지수함수와 거듭제곱을 곱해 0부터 무한대까지 적분한 형태로 주어집니다.

왜 중요한가

감마분포, 카이제곱분포, t분포 등 통계학 주요 분포의 정규화 상수가 모두 감마 함수로 표현되며, 다차원 구의 부피 공식이나 조합론의 근사식에도 등장합니다. 수식을 닫힌 형태로 정리할 때 반드시 필요한 표준 도구입니다.

논문에서는 이렇게 쓰입니다

"해당 분포의 정규화 상수는 감마 함수를 이용하여 닫힌 형태로 표현된다."

조금 더 깊게 보면

핵심 성질은 재귀식으로, 감마 함수에 x+1을 넣은 값이 x에 감마 함수 값을 곱한 것과 같다는 관계입니다. 이것이 팩토리얼의 성질을 그대로 물려받게 해 줍니다. 1/2에서의 값이 원주율의 제곱근과 같다는 사실은 정규분포의 정규화와 직결됩니다. 0과 음의 정수에서 극점을 가지며, 해석적 연속을 통해 그 지점을 제외한 복소평면 전체로 확장됩니다. 큰 값에서의 근사는 스털링 근사로 주어집니다.

주의할 점

인덱스가 한 칸 밀려 있어 자연수 n에서 값이 n 팩토리얼이 아니라 (n-1) 팩토리얼이라는 점을 자주 혼동합니다. 또 감마분포는 이 함수를 정규화에 사용하는 확률분포일 뿐 함수 자체와 같은 개념이 아닙니다.