"아이젠슈타인 급수(Eisenstein series)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
6번째 줄: 6번째 줄:
  
 
*  모듈라 형식이 되기 위해서는 cusp에서의 growth 조건 즉, <math>\tau=i\infty</math>에서의 푸리에 전개가 필요하며 이는 다음과 같이 주어짐<br><math>G_{2k}(\tau) = 2\zeta(2k) \left(1+c_{2k}\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)</math><br><math>c_{2k} = \frac{(2\pi i)^{2k}}{(2k-1)! \zeta(2k)} = \frac {-4k}{B_{2k}} = \frac {2}{\zeta(1-2k)}</math>, <math>\sigma_r(n)=\sum_{d|n}d^r</math><br>
 
*  모듈라 형식이 되기 위해서는 cusp에서의 growth 조건 즉, <math>\tau=i\infty</math>에서의 푸리에 전개가 필요하며 이는 다음과 같이 주어짐<br><math>G_{2k}(\tau) = 2\zeta(2k) \left(1+c_{2k}\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)</math><br><math>c_{2k} = \frac{(2\pi i)^{2k}}{(2k-1)! \zeta(2k)} = \frac {-4k}{B_{2k}} = \frac {2}{\zeta(1-2k)}</math>, <math>\sigma_r(n)=\sum_{d|n}d^r</math><br>
 +
 +
 
 +
 +
 
  
 
 
 
 
23번째 줄: 27번째 줄:
 
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">푸리에 전개의 유도</h5>
 
<h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;">푸리에 전개의 유도</h5>
  
−
<math>G_{4}(\tau) = \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}</math> 인 경우
+
<math>G_{2k}(\tau) = \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}</math>인 경우
  
−
<math> \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}=\sum_{m\neq0} \frac{1}{m^4} +\sum \frac{1}{(m+n\tau )^{4}}</math>
+
<math> \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}=\sum_{m\neq0} \frac{1}{m^{2k}} +\sum \frac{1}{(m+n\tau )^{2k}}</math>
  
−
<math>=\sum_{m\neq0} \frac{1}{m^4} +\sum_{n=1}^{\infty}\sum_{m=-\infty}^{\infty} \frac{1}{(m+n\tau )^{4}}+\frac{1}{(m-n\tau )^{4}}</math>
+
<math>=\sum_{m\neq0} \frac{1}{m^{2k}} +\sum_{n=1}^{\infty}\sum_{m=-\infty}^{\infty} \frac{1}{(m+n\tau )^{2k}}+\frac{1}{(m-n\tau )^{2k}}</math>
  
−
<math>=\sum_{m\neq0} \frac{1}{m^4} +2\sum_{n=1}^{\infty}\sum_{m=-\infty}^{\infty} \frac{1}{(m+n\tau )^{4}}</math>
+
<math>=\sum_{m\neq0} \frac{1}{m^{2k}} +2\sum_{n=1}^{\infty}\sum_{m=-\infty}^{\infty} \frac{1}{(m+n\tau )^{2k}}</math>
  
 
여기서 [[코탄젠트]] 항목에서 얻어진 다음식을 이용하면, 푸리에 급수를 계산할 수 있다.
 
여기서 [[코탄젠트]] 항목에서 얻어진 다음식을 이용하면, 푸리에 급수를 계산할 수 있다.

2009년 7월 3일 (금) 15:10 판

간단한 소개
  • \(k>1\)인 정수에 대하여, weight 2k의 아이젠슈타인급수는 다음과 같이 정의됨.
    \(G_{2k}(\tau) = \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}\)
    만약 이 정의에서 반드시 짝수가 아닌 정수 \(k>1\)에 대해 \(G_k\)를 같은 방식으로 정의했다면, k가 홀수인 경우는  \(G_k=0\)가 됨.
     \(m+n\tau\)와  \(-m-n\tau\) 가 서로 상쇄
  • 모듈라 성질
    \(G_{2k} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2k} G_{2k}(\tau)\)
  • 모듈라 형식이 되기 위해서는 cusp에서의 growth 조건 즉, \(\tau=i\infty\)에서의 푸리에 전개가 필요하며 이는 다음과 같이 주어짐
    \(G_{2k}(\tau) = 2\zeta(2k) \left(1+c_{2k}\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)\)
    \(c_{2k} = \frac{(2\pi i)^{2k}}{(2k-1)! \zeta(2k)} = \frac {-4k}{B_{2k}} = \frac {2}{\zeta(1-2k)}\), \(\sigma_r(n)=\sum_{d|n}d^r\)

 

 

 

 

예

\(G_4(\tau)=\frac{\pi^4}{45} \left[ 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n} \right]\)

\(G_6(\tau)=\frac{2\pi^6}{945} \left[ 1- 504\sum_{n=1}^\infty \sigma_5(n) q^{n} \right]\)

 

 

푸리에 전개의 유도

\(G_{2k}(\tau) = \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}\)인 경우

\( \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}=\sum_{m\neq0} \frac{1}{m^{2k}} +\sum \frac{1}{(m+n\tau )^{2k}}\)

\(=\sum_{m\neq0} \frac{1}{m^{2k}} +\sum_{n=1}^{\infty}\sum_{m=-\infty}^{\infty} \frac{1}{(m+n\tau )^{2k}}+\frac{1}{(m-n\tau )^{2k}}\)

\(=\sum_{m\neq0} \frac{1}{m^{2k}} +2\sum_{n=1}^{\infty}\sum_{m=-\infty}^{\infty} \frac{1}{(m+n\tau )^{2k}}\)

여기서 코탄젠트 항목에서 얻어진 다음식을 이용하면, 푸리에 급수를 계산할 수 있다.

\(\frac{1}{\tau}+\sum_{m\neq0}\frac{1}{\tau+m}-\frac{1}{m} = -\pi i (1+2\sum_{r=1}^{\infty}e^{2\pi i r \tau})\)

여기서 미분을 반복하면, 

\(-\frac{1}{\tau^2}-\sum_{m\neq0}\frac{1}{(\tau+m)^2 }=-\sum_{m}\frac{1}{(\tau+m)^2 }= -(2\pi i)^2 \sum_{r=1}^{\infty}re^{2\pi i r \tau}\)

\(2\sum_{m}\frac{1}{(\tau+m)^3 }= -(2\pi i)^3 \sum_{r=1}^{\infty}r^2e^{2\pi i r \tau}\)

\(-3! \sum_{m}\frac{1}{(\tau+m)^4 }= -(2\pi i)^4 \sum_{r=1}^{\infty}r^3e^{2\pi i r \tau}\)

\(-3! \sum_{m}\frac{1}{(\tau+m)^3 }= -(2\pi i)^4 \sum_{r=1}^{\infty}r^3e^{2\pi i r \tau}\)

 

 

 


 

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 

 

역사

 

많이 나오는 질문과 답변

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들


 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상



원본 주소 "https://wiki.mathnt.net/index.php?title=아이젠슈타인_급수(Eisenstein_series)&oldid=14670"