@beoped 님과 @yurizard 님께 자극을 받고 저도 기초적인 수리물리 내용의 포스팅을 도전해보기로 마음먹었습니다. 두 분에 비하면 한참 못 미칠 내용 혹은 이미 중복된 내용을 다룰 수도 있겠지만 애교로 봐주시겠죠? 그동안의 다른 물리학 시리즈와 달리 어쩔 수 없이 수식을 포함해 설명할 수밖에 없고 그렇다고 모든 개념을 풀어 전해드리기에는 내용이 방대합니다. 때문에 수식이 왜 이렇게 표현되고 어떻게 도출되는지 수학적으로 파고드는 것은 일반인 입장에서 글 내용을 더 어렵게 느끼게 만들 것 같더군요. 따라서 해당 수식이 결과론적으로 어떤 의미를 지니는지 어떻게 사용되는지 등에 초점을 맞춰 작성하도록 하겠습니다.
이 느낌표 !를 팩토리얼, 줄여서 팩이라고 읽습니다. 차례곱 혹은 계승이라고도 표현합니다.
팩토리얼에서 n은 원래 자연수에 한정되어 정의하지만 n의 범위를 자연수에서 실수 전체(음수는 제외)로 확장할 수 있는데요. 그 방법은 아래에서 소개하도록 하겠습니다.
감마 함수
감마 함수는 확률 분포를 비롯한 여러 확률과 통계, 조합론, 그 외 여러 공학 분야들에서 유용하게 사용됩니다. 특히 양자역학의 적분 계산에 자주 등장하는데요. 감마함수는 팩토리얼을 이용하여 다음과 같이 정적분으로 정의합니다.
적분은 t로 하지만 분명히 x에 관한 함수임을 유의해야 합니다.
감마함수에 관한 몇 가지 성질을 소개하겠습니다.
자연수에 대한 감마 함수 값은 자주 찾아볼 수 있지만 유리수에 대한 감마 함수 값은 바로 찾아볼 수 없기에 정리해보았습니다. 공학용 계산기로 일일이 두들겨 본 것은 비밀 아닌 비밀입니다.
감마함수는 함수의 정의역을 자연수에서 실수 전체(음수는 제외)로 늘릴 수 있습니다. 즉, 팩토리얼에서 n은 원래 자연수에 한정되어 정의하지만 감마함수를 통해 n의 범위를 자연수에서 실수 전체(음수는 제외)로 확장하는 것이 가능해집니다.
가령, Γ(1) = 1 임에 주목해 봅시다. 제가 무엇을 말하고자 하는지 감이 오시나요? 그렇습니다. Γ(1) = 0! 인데 Γ(1) = 1 이므로 0! = 1 임을 알 수 있습니다. 0! = 1 인 것은 보통 고등학생들이 외우고 있지만 왜 0! = 1 이냐고 물어보면 대답을 하지 못하지요. 고등학교 선생님들께 여쭈어 봐도 친절한 답변을 듣기 힘든데 그 이유는 바로 이 감마 함수를 먼저 설명해 주어야하기 때문입니다. 혹시라도 고등학생 자녀 혹은 동생을 둔 분이 계시다면, 왜 0!이 0이 아니고 1이냐고 묻는다면, 자랑스럽게 0! = Γ(1) = 1 이라서 그렇다고 대답해준다면 멋쟁이가 되실 수 있습니다.
이외에 감마 함수가 이용되는 대표적인 예로 초구의 부피와 감마 분포를 들 수 있습니다. 감마 함수로 초구의 부피를 표현할 수 있고 감마 분포라는 새로운 확률 밀도 함수를 정의할 수 있지요.
n차원의 초구의 부피 Vn은 다음과 같이 나타내집니다.
n에 3을 대입하면 우리가 알고 있는 3차원 구의 부피가 얻어집니다.
이처럼 n차원의 초구의 부피를 감마함수를 통해 바로 표현할 수 있다는 것이 신가하죠?
감마 함수의 피적분 함수를 감마 함수의 적분 값으로 나눈 함수를 실수의 양수 축에서 적분을 하면 1이 되는데요. 따라서 이를 이용해 새로운 분포를 정의할 수 있게 됩니다. 이 분포를 감마 분포라 하고, 그 확률 밀도 함수 f(x)는 다음과 같습니다. 참고로 α, β는 감마 함수의 매개 변수이며 양의 실수가 됩니다. 감마 분포는 지수 분포나 푸아송 분포 등의 매개변수에 대한 켤레 사전 확률 분포이며, 이에 따라 지식 또는 믿음의 정도를 나타내는 양을 해석하는 베이즈 확률론에서 사전 확률 분포로 사용됩니다.
@hunhani입니다.
