감마 함수

위키백과, 우리 모두의 백과사전.
(감마함수에서 넘어옴)
이동: 둘러보기, 검색
실수축 위에서 감마 함수의 그래프

수학에서, 감마 함수(Γ函數, 영어: gamma function)는 계승 함수의 해석적 연속이다. 계승과는

와 같은 관계를 갖는다. 기호는 그리스 대문자 감마(Γ)이다.

정의[편집]

복소평면에서의 감마 함수

감마 함수는 다음과 같이 여러 가지로 정의할 수 있으며, 이들은 모두 동치임을 보일 수 있다.

오일러 적분[편집]

감마 함수는 다음과 같은 적분으로 정의된다. 이 적분을 오일러 적분이라고 한다.

오일러 적분은 상반평면 인 영역에서 절대수렴한다. 여기에 해석적 연속을 사용해 이 함수의 정의역을 위의 단순극을 제외한 전 복소평면으로 확장할 수 있다. 이 확장된 함수를 감마 함수라 부른다.

오일러 극한[편집]

이 정의는 오일러의 이름을 따 오일러 극한 형태라고도 불리기도 한다.

바이어슈트라스 무한곱[편집]

여기서 γ는 오일러-마스케로니 상수이다. 이 정의는 카를 바이어슈트라스의 이름을 따 바이어슈트라스 무한곱 형태라고도 불리기도 한다.

계승의 일반화에서 주의점[편집]

만약 감마함수를 자연수 에 대해

을 만족하는 함수로 정의하면 감마 함수는 유일하지 않다. 예를 들어

또한 위 성질을 만족함을 확인할 수 있다. 감마 함수는 이중 유일하게 가 양의 실수축상에서 볼록함수이다.

성질[편집]

감마 함수는 정의역에서 정칙 함수이다. 즉, 다음이 성립한다.

특이점[편집]

감마 함수의 절댓값을 나타낸 그림. 양이 아닌 정수에서 극점을 갖는 것을 볼 수 있다.

감마 함수는 복소평면에서 유리형 함수이며, 양이 아닌 정수 에서 단순극을 가진다. 단순극 에서 유수의 값은 이다.[1] 감마 함수는 영점을 갖지 않는다. 즉, 그 역수 전해석 함수이다.

함수 방정식[편집]

감마 함수는 다음과 같은 함수 방정식을 만족시킨다.

두 번째 공식은 오일러 반사 공식(영어: Euler’s reflection formula)이라고 불린다.

곱의 정리

특히, 이 정리의 특수한 경우로 다음과 같은 두 배 공식을 유도할 수 있다.

미분과 적분[편집]

감마 함수의 미분은 다음과 같이 폴리감마 함수 ψ0(z)로 주어진다.

특별히, 양수 m에서의 감마 함수의 미분은 아래와 같이 오일러-마스케로니 상수 γ를 사용해 나타낼 수 있다.

일반적으로, 감마 함수의 n차 미분은 다음과 같다.

감마 함수의 극, z가 음수인 경우에서의 유수의 값은 다음과 같다.

특별한 값[편집]

반정수에서 감마 함수는 다음과 같다. 음이 아닌 정수 n에 대하여,

이 공식들은 로부터 수학적 귀납법으로 유도할 수 있다.

몇몇 경우의 감마 함수의 값은 다음과 같다.

응용[편집]

감마 함수는 확률 분포를 비롯한 여러 확률통계, 조합론, 그 외 여러 공학 분야들에서 유용하게 사용된다.

초구의 부피[편집]

반지름이 차원 초구의 부피는 다음과 같이 주어진다.

감마분포[편집]

감마 함수의 피적분 함수를 감마 함수의 적분값으로 나눈 함수를 실수의 양수축에서 적분을 하면 1이 된다. 따라서 이를 이용해 새로운 분포를 정의할 수 있다. 이 분포를 감마분포라 하고, 그 확률 밀도 함수 는 다음과 같다.

여기서 는 감마 함수의 매개 변수로 양수이다.

참고 문헌[편집]

  1. George Allen, and Unwin, Ltd., The Universal Encyclopedia of Mathematics. United States of America, New American Library, Simon and Schuster, Inc., 1964. (Foreword by James R. Newman)

바깥 고리[편집]

같이 보기[편집]