Chowla-셀베르그 공식

수학노트
둘러보기로 이동 검색으로 이동

개요


엡슈타인 제타함수

<math>\zeta_Q(s) =\sum_{(X,Y)\ne (0,0)}\frac{1}{(aX^2+bXY+cy^2)^s}</math>



제1종 타원적분

<math>\frac{K'}{K}(\frac{1}{\sqrt{2}})= 1 \Rightarrow K(\frac{1}{\sqrt{2}})=\frac{1}{4}B(1/4,1/4)=\frac{\Gamma(\frac{1}{4})^2}{4\sqrt{\pi}}=1.8540746773\cdots</math>
<math>\frac{K'}{K}(\sqrt{2}-1)= \sqrt{2} \Rightarrow K(\sqrt{2}-1)=\frac{\sqrt{\sqrt{2}+1}}{2^{13/4}}B(\frac{1}{8},\frac{3}{8})=\frac{\sqrt{\sqrt{2}+1}\Gamma(\frac{1}{8})\Gamma(\frac{3}{8})}{2^{13/4}\sqrt{\pi}}</math>
<math>\frac{K'}{K}\left(\frac{\sqrt{6}-\sqrt{2}}{4}\right)= \sqrt{3} \Rightarrow K\left(\frac{\sqrt{6}-\sqrt{2}}{4}\right)=\frac{\Gamma(\frac{1}{3})\Gamma(\frac{1}{6})}{4\sqrt[4]{3}\sqrt{\pi}}=1.5981420\cdots</math>
  • lemniscate 곡선의 길이와 타원적분:<math>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</math>
  • 제1종타원적분 K (complete elliptic integral of the first kind):<math>\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})</math>:<math>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</math>



Chowla-셀베르그의 정리

정리

<math>k</math>에 대하여, 다음의 값

<math>i\frac{K'}{K}(k):=i\frac{K(\sqrt{1-k^2})}{K(k)}</math> 이 <math>d_F</math>를 판별식으로 갖는 복소이차수체 <math>F=\mathbb{Q}(\sqrt{d_F})</math>의 원소일 때, 제1종타원적분 K에 대하여 다음이 성립한다
<math>{K}(k)=\lambda\sqrt{\pi}\left(\prod_{m=1}^{|d_F|}\Gamma(\frac{m}{|d_F|})^{\left(\frac{d_F}{m}\right)}\right)^{\frac{w_{F}}{4h_{F}}}</math> 여기서 <math>\lambda</math>는 적당한 대수적수.


특수한 경우

  • 소수 p에 대하여, 복소이차수체 <math>F=\mathbb{Q}(\sqrt{-p})</math>의 class number 가 1인 경우, 제1종타원적분 K에 대하여 다음이 성립한다
<math>\frac{2K(k)}{\pi}=\frac{2^{1/3}(kk')^{-1/6}}{\sqrt{2\pi p}}\left(\prod_{m=1}^{|d_F|}\Gamma(\frac{m}{|d_F|})^{\left(\frac{d_F}{m}\right)}\right)^{w_{F}/4}</math>

여기서 <math>k</math>는 <math>\frac{K'}{K}(k)=\sqrt{p}</math>의 해이고, <math>k'=\sqrt{1-k^2}</math>.

예

  • <math>p=3</math>인 경우
<math>\frac{2K\left(\frac{\sqrt{6}-\sqrt{2}}{4}\right)}{\pi}=\frac{2^{2/3}}{\sqrt{6\pi}}\left(\frac{\Gamma(\frac{1}{3})}{\Gamma(\frac{2}{3})}\right)^{3/2}</math>
  • <math>p=7</math>인 경우
<math>\frac{2K\left(\frac{1}{4} \sqrt{8-3 \sqrt{7}}\right)}{\pi}=\frac{2}{\sqrt{14\pi}}\sqrt{\frac{\Gamma(\frac{1}{7})\Gamma(\frac{2}{7})\Gamma(\frac{4}{7})}{\Gamma(\frac{3}{7})\Gamma(\frac{5}{7})\Gamma(\frac{6}{7})}}</math>


증명의 아이디어

  • 복소 이차 수체 <math>K</math>의 데데킨트 제타함수 <math>\zeta_K(s)</math>의 <math>s=1</math>에서의 행동을 이해하여 얻어진다
  • <math>d_K</math>를 나누지 않는 소수 <math>p</math>에 대하여 <math>\chi(p)=\left(\frac{d_K}{p}\right)</math> 를 만족시키는 준동형사상 <math>\chi \colon(\mathbb{Z}/d_K\mathbb{Z})^\times \to \mathbb C^{\times}</math>
  • 디리클레 L-함수 <math>L(s, \chi)</math>
  • <math>\zeta_K(s)</math>는 다음과 같이 분해된다 (이차 수체의 데데킨트 제타함수 항목 참조)
<math>\zeta_{K}(s)=\zeta(s)L(s,\chi)</math>
  • <math>s=1</math>에서 다음이 성립한다
<math>

\begin{align} \zeta(s)&=\frac{1}{s-1}+\gamma+\cdots \\ L(s,\chi)&=(\frac{2\pi h_K}{w_K \cdot \sqrt{|d_K|}})+\left(\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|})\right)(s-1)+\cdots \end{align} </math>

  • 따라서
<math>

\zeta_{K}(s)=\frac{2 \pi h_K}{(s-1) w_K \sqrt{\left|d_K\right|}}+\frac{4 \pi \gamma h_K+2 \pi \log (2 \pi ) h_K-\pi w_K \sum_{(a,d_K)=1}\chi(a)\log\Gamma (\frac{a}{|d_K|})}{w_K \sqrt{\left|d_K\right|}}+O(s-1)+\cdots </math>

  • 한편, <math>\zeta_K(s)</math>는 부분 데데킨트 제타함수의 합으로 쓰여진다
<math>\zeta_{K}(s)=\sum_{A \in C_K}\zeta_{K}(s,A)</math>
  • <math>K</math>가 복소 이차 수체일 때, <math>\zeta_{K}(s,A)</math>는 엡슈타인 제타함수가 되며, <math>s=1</math>에서의 행동은 크로네커 극한 공식으로 기술할 수 있다
  • 이렇게 두 가지 방법으로 얻어진 <math>\zeta_{K}(s)</math>의 <math>s=1</math>에서의 로랑전개의 상수항을 비교한다

메모



관련된 항목들


매스매티카 파일 및 계산 리소스


사전 형태의 자료


리뷰, 에세이, 강의노트

관련논문

관련도서

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'chowla'}, {'OP': '*'}, {'LOWER': 'selberg'}, {'LEMMA': 'formula'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=Chowla-셀베르그_공식&oldid=52121"