2011년 12월 15일 목요일

다이감마 함수(Digamma Function)

[경고] 아래 글을 읽지 않고 "다이감마 함수"를 보면 바보로 느껴질 수 있습니다.
1. 감마 함수


식 (1)에 있는 다이감마 함수(digamma function)감마 함수(gamma function)미분법(differentiation)과 관련되어 있다.

                       (1)

여기서 $\Gamma'(x)$는 다음처럼 $\Gamma(x)$를 $x$에 대해 미분한 함수이다.

                       (2)

식 (1)이 다이감마라 불리는 이유는 함수를 표기할 때 그리스 문자 다이감마(digamma) $\digamma$를 쓰기 때문이다.[$\digamma$를 보면 감마(gamma) $\Gamma$와 매우 닮아있다. 이 부분이 두번째 감마라는 의미인 다이감마로 불리는 이유이다.] 식 (1) 정의에서 조금 이상한 면은 로그  함수(logarithmic function)를 취한 부분이다. 이는 감마 함수가 계승(階乘, factorial)의 일반화이기 때문에 $x$가 커짐에 따라 함수값이 너무 빨리 커지는 문제를 보상하기 위함이다. 그래서, 다이감마 함수를 연구할 때는 식 (3)에 있는 감마 함수무한 곱(infinite product) 표현식을 이용하면 편리하다.  

                      (3)

식 (3)에 로그 함수를 취하면 다음을 얻는다[1].

                      (4)

식 (4)의 무한 급수(infinite series) 수렴성은 극한 비교 판정(limit comparison test)을 이용하면 쉽게 증명할 수 있다[1].

                             (5)

                             (6)

여기서 극한값을 구하기 위해 로피탈의 규칙(L'Hôpital's rule)을 사용한다. 식 (6)에서 극한값이 유한하고 무한 급수 $1/k^2$는 수렴하기 때문에 극한 비교 판정에 의해 식 (4)의 무한 급수는 항상 수렴한다.

[그림 1] 복소 영역의 다이감마 함수(출처: wikipedia.org)


   1. 기본(basics)   

[조화 급수(harmonic series)와 다이감마 함수]

                       (1.1)

[증명]
다음의 감마 함수 특성을 미분하면 식 (1.1)이 얻어진다.

                      (1.2)

                      (1.3)
______________________________

[무한 급수 표현식]

                      (1.4)

[증명]
식 (3)을 미분하면 다음을 얻는다.

              (1.5)

식 (1.5)에 다음의 오일러–마스케로니 상수(Euler–Mascheroni constant)를 대입하면 식 (1.4)가 증명된다.

                      (1.6)
______________________________


   2. 특정값(specific value)과 극한(limit)   

[$\psi(1)$]

                      (2.1)

[증명]
식 (1.4)에 $x$ = $0$을 대입하면 식 (2.1)이 얻어진다.
______________________________

[$\psi(n+1)$]

                      (2.2)

여기서 $n$은 정수이다.

[증명]
식 (1.1)과 (2.1)을 종합하면 쉽게 증명할 수 있다.
______________________________

식 (2.2)를 잘 보면 $n$이 커짐에 따라 다이감마 함수는 로그 함수에 근접한다.[∵ 식 (2.2)에 식 (1.6)을 대입하면 쉽게 알 수 있다.]


[참고문헌]
[1] W. F. Hammond, About the Gamma Function, University at Albany, 1995.

댓글 6개 :

  1. 항상 좋은 강의 잘 보고 참조하고있습니다.한가지 여쭙고 싶은것은 식 2)의적분을 시행한뒤 x=1 을 대입하면 음의 감마상수가 나오는데 적분유도과정이 알고 싶습니다, 혹 식2는 정상적으로 적분이 유도가 안되나요?

    답글삭제
    답글
    1. 식 (2)는 최종 결과가 적분인데요, 어떤 적분을 말씀하시나요?

      삭제
  2. 다이감마(1)이 음의 오일러 마스케로니 상수값이 나오는데 식 2)의 x값에 1 을 넣고 e**(-t)lnt를0에서 무한대까지 적분하면 그렇게 나와야되는데 그 실제 적분수행과정이 알고싶습니다 부분적분으로 해보니 음의 조화급수는 나오는데 무한적분이라 lnt는 잘 확인이 안되는데 적분이되는지 궁금합니다

    답글삭제
  3. 아,다이감마{1 }의값을 계산할때 분모감마{1}은 값이 1 이나오니 식 2의 감마 미분값에 x=1 을 대입해서 적분을 풀면 다이감마{1}의값이 나오게 되는데 그 식2의 적분을 수행했을때 음의 감마상수가 나오는지 궁금합니다.책에보면 다이감마함수의 가우스적분표현식이 있기는한데 위의 적분을 수행해도 다이감마 값을 찾을수 있지 않나 싶습니다.

    답글삭제
    답글
    1. 그렇게 찾기는 어려울 겁니다. 식 (2.1)로 증명하는 게 통상적인 방법입니다.

      식 (2)를 적분해도 다시 특수 함수인 지수 적분(exponential integral)이 나오기 때문에 도움이 되지 않을 거구요.

      삭제
  4. 아네 그렇군요, 너무 감사합니다♡♡♡

    답글삭제

욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.