감마함수

이 항목의 스프링노트 원문주소

• 감마함수

 

 

개요

• 팩토리얼 함수의 정의역을 복소수로 확장하기 위해 등장한 함수이다.
• 라그랑주(Lagrange)가 이 함수를 나타내기 위해 처음으로 그리스 대문자 감마(Γ)를 사용하였으며, 그 이후로 정식 표기로 굳어짐.
• 자연수에 대해 팩토리얼과 같은 값을 가지면서 s > 0 일때 logΓ(s) 가 convex 하게 하는 유일한 함수이다.
• 다음과 같은 중요한 성질을 갖는다
  \(\Gamma(s+1) =s\Gamma(s)\)
  \(\Gamma(1-z) \; \Gamma(z) = {\pi \over \sin{(\pi z)}} \,\!\)
  \(\Gamma(z) \; \Gamma\left(z + \frac{1}{m}\right) \; \Gamma\left(z + \frac{2}{m}\right) \cdots \Gamma\left(z + \frac{m-1}{m}\right) = (2 \pi)^{(m-1)/2} \; m^{1/2 - mz} \; \Gamma(mz)\)
  
• 대수다양체의 periods 를 표현하는데 등장하며, \(s\)가 유리수일때의 감마함수의 값이 초월수인지, 그리고 그 값들 사이의 대수적 관계에 대한 문제는 중요 미해결 문제

 

 

정의

• 실수부가 \(\Re s>0\)인 복소수 \(s>0\)에 대하여 다음과 같이 정의
  \(\Gamma(s) = \int_0^\infty e^{-t} t^{s} \frac{dt}{t}\)
  
• \(\Gamma(s+1) =s\Gamma(s)\)
• 자연수 \(n\)에 대하여 \(\Gamma(n)=(n-1)!\)

 

 

해석적확장

• 해석적확장(analytic continuation)
• \(\Gamma(s+1) =s\Gamma(s)\)를 이용하여, 복소평면전체에서 정의된 meromorphic 함수로 이해가능
• \(s=0,-1,-2\cdots\)에서 폴(pole)을 가진다

 

 

함수의 그래프

• \(-4<s<4\)의 범위에서 다음과 같은 그래프를 가짐
  [/pages/3197800/attachments/3140461 gamma.jpg]
  
• \(s>0\)일 때, \(\ln \Gamma(s)\)의 그래프
  [/pages/3197800/attachments/3140463 logofgamma.jpg]
  

 

 

 

무한곱표현

\(\Gamma(z) &= \frac{e^{-\gamma z}}{z} \prod_{n=1}^\infty \left(1 + \frac{z}{n}\right)^{-1} e^{z/n}\)

 

 

반사공식

• \(\Gamma(1-z) \; \Gamma(z) = {\pi \over \sin{(\pi z)}} \,\!\)
• \(\Gamma\left(\frac{1}{2}\right)=\sqrt{\pi}\)
• 일반적으로 
  \(\Gamma(n+\frac{1}{2})=(\frac{1}{2})_n\sqrt{\pi}\)
  (증명)
  

\(\Gamma(n+\frac{1}{2})=\Gamma(\frac{2n+1}{2})=(\frac{2n-1}{2})\Gamma(\frac{2n-1}{2})=(\frac{2n-1}{2})(\frac{2n-3}{2})\Gamma(\frac{2n-3}{2})=(\frac{2n-1}{2})\cdots(\frac{1}{2})\Gamma(\frac{1}{2})=\frac{1}{2}\cdot\frac{3}{2}\cdot\frac{2n-1}{2}\sqrt{\pi}=(\frac{1}{2})_n\sqrt{\pi}\)

 

 

곱셈공식

• 이항
  \(\Gamma(z) \; \Gamma\left(z + \frac{1}{2}\right) = 2^{\frac{1}{2}-2z} \; \sqrt{2\pi} \; \Gamma(2z) \,\!\)
  \(2^{2z}\Gamma(z) \; \Gamma\left(z + \frac{1}{2}\right) = 2\sqrt{\pi}\;\Gamma(2z)\)
  
• 일반화
  \(\Gamma(z) \; \Gamma\left(z + \frac{1}{m}\right) \; \Gamma\left(z + \frac{2}{m}\right) \cdots \Gamma\left(z + \frac{m-1}{m}\right) = (2 \pi)^{(m-1)/2} \; m^{1/2 - mz} \; \Gamma(mz)\)
  

 

 

 

 

 

Digamma  함수

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

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

• 자세한 사실은 Digamma 함수 항목 참조.

 

 

오일러 베타적분

\(B(x,y)=\dfrac{\Gamma(x)\,\Gamma(y)}{\Gamma(x+y)}\)

• 오일러 베타적분 항목 참조

 

 

감마함수와 초월수

• 감마함수의 유리수에서의 값이 초월수인지의 문제.
• 다음 경우가 초월수 임이 알려져 있다
  \(\Gamma(\frac{1}{3})\), \(\Gamma(\frac{2}{3})\), \(\Gamma(\frac{1}{4})\), \(\Gamma(\frac{3}{4})\), \(\Gamma(\frac{1}{6})\), \(\Gamma(\frac{5}{6})\)
  
• 미해결 문제. 다음은 초월수인가?
  \(\Gamma(\frac{1}{5})\)
  
• 무리수와 초월수 항목 참조

 

 

 

 

관련된 다른 주제들

• 파이가 아니라 2파이다?
• 정규분포의 확률밀도함수는 어떻게 얻어지는가?
• 가우시안 적분
• 스털링 공식
• 리만제타함수와 리만가설
• 베타적분

 

 

사전자료

• http://ko.wikipedia.org/wiki/감마함수
• http://en.wikipedia.org/wiki/gamma_function
• [1]http://en.wikipedia.org/wiki/Particular_values_of_the_Gamma_function
• http://en.wikipedia.org/wiki/Bohr–Mollerup_theorem
• http://mathworld.wolfram.com/BinetsLogGammaFormulas.html

 

 

관련도서

• The Gamma Function
  
  • Emil Artin
• 도서내검색
  
  • http://books.google.com/books?q=
  • http://book.daum.net/search/contentSearch.do?query=
• 도서검색
  
  • http://www.amazon.com/s/ref=nb_ss_gw?url=search-alias%3Dstripbooks&field-keywords=
  • http://book.daum.net/search/mainSearch.do?query=

 

 

관련논문

• Algebraic independence of the values of elliptic function at algebraic points
  
  • G. Chudnovsky, Inventiones Mathematicae, Volume 61, Number 3 / 1980년 10월
    

 

 

블로그

• 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=감마함수
• 트렌비 블로그 검색 http://www.trenb.com/search.qst?q=

 

 

이미지 검색

• http://commons.wikimedia.org/w/index.php?title=Special%3ASearch&search=
• http://images.google.com/images?q=gamma+function