감마 함수

실수축 위에서 감마 함수의 그래프

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

감마 함수의 기호는 감마(Γ)라는 그리스 대문자를 사용한다.

양의 정수 n에 대하여 이 성립한다.

정의편집

 
복소평면에서의 감마 함수

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

오일러 적분편집

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

 

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

가우스 극한편집

 

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

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

 

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

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

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

 

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

 

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

성질편집

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

 

특이점편집

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

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

함수 방정식편집

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

 
 

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

곱의 정리
 

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

 

미분과 적분편집

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

 

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

 

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

 

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

 

특별한 값편집

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

 
 

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

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

 
 가우스 상수

응용편집

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

초구의 부피편집

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

 

감마분포편집

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

 

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

큐-감마 함수(q-gamma function)편집

큐-감마 함수는 감마 함수가 큐-아날로그화 된것이다.

 
  구간 예약
 
 
 
  큐-포흐하머 기호 


같이 보기편집

참고 문헌편집

  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)

외부 링크편집