다이감마 함수(digamma function)

수학노트
http://bomber0.myid.net/ (토론)님의 2010년 2월 27일 (토) 09:48 판
둘러보기로 가기 검색하러 가기
이 항목의 스프링노트 원문주소

 

 

개요
  • 감마함수의 로그미분으로 정의

\(\psi(x) =\frac{d}{dx} \ln{\Gamma(x)}= \frac{\Gamma'(x)}{\Gamma(x)}\)

 

 

차분방정식과의 관계

\(\psi(x + 1) = \psi(x) + \frac{1}{x}\)

 

반사공식
  • 감마함수의 반사공식
    \(\Gamma(1-z) \; \Gamma(z) = {\pi \over \sin{(\pi z)}} \,\!\)
  • 위의 식을 로그미분하여 다음을 얻는다

\(\psi(1 - x) - \psi(x) = \pi\,\!\cot{ \left ( \pi x \right ) }\)

여기서 \(x\)를 \(-x\)로 두면 다음을 얻는다

\(\psi(1 + x) = \psi(-x) -\pi\,\!\cot{ \left ( \pi x \right ) }\)

 

 

덧셈공식
  • 이항 덧셈공식
    \(\psi(2x)=\psi(x)+\psi(x+{1\over2})+\ln 2\)

(증명)

감마함수의 곱셈공식 

\(2^{2z}\Gamma(z) \; \Gamma\left(z + \frac{1}{2}\right) = 2\sqrt{\pi}\;\Gamma(2z)\)

로그를 취하면

\((2\ln 2)x+\ln \Gamma(x) +\ln \Gamma\left(x + \frac{1}{2}\right) = \ln 2\sqrt{\pi}+\ln \Gamma(2x)\)

미분하면,

\(\psi(2x)=\psi(x)+\psi(x+{1\over2})+\ln 2\) ■

 

 

 

가우스의 Digamma 정리

\(\psi\left(\frac{m}{k}\right) = -\gamma -\ln(2k) -\frac{\pi}{2}\cot\left(\frac{m\pi}{k}\right) +2\sum_{n=1}^{\lceil (k-1)/2\rceil} \cos\left(\frac{2\pi nm}{k} \right) \ln\left(\sin\left(\frac{n\pi}{k}\right)\right)\)

\(\psi\left(1-\frac{m}{k}\right) = -\gamma -\ln(2k) +\frac{\pi}{2}\cot\left(\frac{m\pi}{k}\right) +2\sum_{n=1}^{\lceil (k-1)/2\rceil} \cos\left(\frac{2\pi nm}{k} \right) \ln\left(\sin\left(\frac{n\pi}{k}\right)\right)\)

 

 

 

special values

\(\psi(1) = -\gamma\,\!\)

\(\psi\left(\frac{1}{2}\right) = -2\ln{2} - \gamma\)

\(\psi\left(\frac{1}{3}\right) = -\frac{\pi}{2\sqrt{3}} -\frac{3}{2}\ln{3} - \gamma\)

\(\psi\left(\frac{1}{4}\right) = -\frac{\pi}{2} - 3\ln{2} - \gamma\)

\(\psi\left(\frac{1}{6}\right) = -\frac{\pi}{2}\sqrt{3} -2\ln{2} -\frac{3}{2}\ln(3) - \gamma\)

\(\psi\left(\frac{1}{8}\right) = -\frac{\pi}{2} - 4\ln{2} - \frac{1}{\sqrt{2}} \left\{\pi + \ln(2 + \sqrt{2}) - \ln(2 - \sqrt{2})\right\} - \gamma\)

 

 

 

 

 

재미있는 사실

 

 

 

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서

 

 

관련기사

 

 

블로그