"Chowla-셀베르그 공식"의 두 판 사이의 차이

2010년 5월 26일 (수) 11:33 판

양의 정부호인 정수 계수이차형식 \(Q(X,Y)=aX^2+bXY+cY^2\) (즉\(a>0\),\(\Delta=b^2-4ac<0\)) 에 대하여 다음과 같은 함수를 정의
\(\zeta_Q(s) =\sum_{(X,Y)\ne (0,0)}\frac{1}{(aX^2+bXY+cy^2)^s}\)

\(d_K\)를 판별식으로 갖는 복소이차수체 \(K\)에 대하여, 디리클레 L-함수는 다음을 만족시킴

\(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|})\)

디리클레 베타함수
\(K=\mathbb{Q}(i)\)
\(\beta'(1)=L_{-4}'(1)=\frac{\pi}{4}(\gamma+\ln 2\pi)-\frac{\pi}{2}\ln(\frac{\Gamma(1/4)}{\Gamma(3/4)})\)
\(K=\mathbb{Q}(\omega)\), \(\omega^2+\omega+1=0\)
\(L_{-3}'(1)=\frac{\pi}{3\sqrt{3}}(\gamma+\ln 2\pi)-\frac{\pi}{\sqrt{3}}\ln(\frac{\Gamma(1/3)}{\Gamma(2/3)})\)

오일러 베타적분에서 얻어진 공식을 이용하자
\(\int_0^1\frac{dx}{\sqrt{1-x^n}}=\frac{1}{n}B(\frac{1}{2},\frac{1}{n})\) (여기서 \(n>0\))

lemniscate 곡선의 길이와 타원적분
\(4\int_0^1\frac{dx}{\sqrt{1-x^4}}=B(\frac{1}{2},\frac{1}{4})=\frac{\Gamma(\frac{1}{2})\Gamma(\frac{1}{4})}{\Gamma(\frac{3}{4})}=\frac{\Gamma(1/4)^2}{\sqrt{2\pi}}=5.24\cdots\)
제1종타원적분 K (complete elliptic integral of the first kind)
\(\int_0^1\frac{dx}{\sqrt{1-x^3}}=\frac{1}{3}B(\frac{1}{2},\frac{1}{3})=\frac{1}{6}B(\frac{1}{3},\frac{1}{6})\)
\(6\int_{0}^{1} \frac{dx}{\sqrt{1-x^3}}=B(\frac{1}{3},\frac{1}{6})=\frac{\Gamma(\frac{1}{3})\Gamma(\frac{1}{6})}{\Gamma(\frac{1}{2})}=\frac{\Gamma(\frac{1}{3})\Gamma(\frac{1}{6})}{\sqrt{\pi}}=8.413\cdots\)

@@ 9번째 줄: / 9번째 줄: @@
 <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">개요</h5>
-* [[#]]<br>
+* [[Epstein 제타함수와 크로네커 극한 공식|Epstein 제타함수]]에 대한 공식과 [[#]]<br>
-*   <br>
+<h5 style="margin: 0px; line-height: 2em;">Epstein 제타함수</h5>
+*   <br> 양의 정부호인 [[정수계수 이변수 이차형식(binary integral quadratic forms)|정수]][[정수계수 이변수 이차형식(binary integral quadratic forms)|계수이차형식]] <math>Q(X,Y)=aX^2+bXY+cY^2</math> (즉<math>a>0</math>,<math>\Delta=b^2-4ac<0</math>) 에 대하여 다음과 같은 함수를 정의<br><math>\zeta_Q(s) =\sum_{(X,Y)\ne (0,0)}\frac{1}{(aX^2+bXY+cy^2)^s}</math><br>