디리클레 L-함수와 수학의 상수들

수학노트
http://bomber0.myid.net/ (토론)님의 2010년 4월 1일 (목) 18:56 판
둘러보기로 가기 검색하러 가기

디리클레 베타함수는 복소 이차 수체 \(\mathbb{Q}(\sqrt{-1})\)의 연구에 중요한 역할을 하는 함수로 다음과 같이 정의된다.

\(\beta(s) =L_{-4}(s)= \sum_{n=0}^\infty \frac{(-1)^n} {(2n+1)^s} =\frac{1}{1^s} - \frac{1}{3^s} + \frac{1}{5^s} - \frac{1}{7^s} + \cdots \)

 

리만제타함수와 비슷한 종류의 함수로, 좀더 정확히는 \(\mathbb{Q}(\sqrt{-1})\)에 대한  데데킨트 제타함수 의 인자로 등장하며, 디리클레 L-함수의 한 예이다. 정수에서의 리만제타함수의 값을 구하는 문제가 수학적으로 흥미로운만큼 같은 질문을 디리클레 베타함수에 대해 할 수 있을 것이다.

 

이 문제에 대해 고민하게 되면, 여러 중요한 수학의 상수들(mathematical constants)과 만날 수 있으므로, 소개를 해볼까 한다.

 

\(s=1\)인 경우의 값은 일반적으로 디리클레 class number 공식 을 사용하여 구할 수 있는데, 라이프니츠 급수

\(\beta(1)=1 \,-\, \frac{1}{3} \,+\, \frac{1}{5} \,-\, \frac{1}{7} \,+\, \frac{1}{9} \,-\, \cdots \;=\; \frac{\pi}{4}=0.785398163\cdots\)

를 얻게 된다.

 

\(s=2\)인 경우는

\(\beta(2) = \frac{1}{1^2} - \frac{1}{3^2} + \frac{1}{5^2} - \frac{1}{7^2} + \cdots \!=0.915965594\cdots\)

를 얻게 되는데, 이를 카탈란 상수 라 부른다. 초등함수의 정적분의 값들을 표현하는데 종종 등장하는 상수이다.

 

\(s=3\)인 경우

 

  •  
  • 오일러상수, 감마
    \(L_{d_K}'(1)=\frac{2\pi h_K(\gamma+\ln 2\pi)}{w_K \cdot \sqrt{|d_K|}}-\frac{\pi}{\sqrt{|d_K|}}\sum_{(a,d_K)=1}\chi(a)\log\Gamma (\frac{a}{|d_K|})\)
    \(L_{-4}'(1)=\frac{\pi}{4}(\gamma+\ln 2\pi)-\frac{\pi}{2}\ln(\frac{\Gamma(1/4)}{\Gamma(3/4)})\)