"아이젠슈타인 급수(Eisenstein series)"의 두 판 사이의 차이
둘러보기로 가기
검색하러 가기
이 항목의 스프링노트 원문주소==
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “<h5>” 문자열을 “==” 문자열로) |
Pythagoras0 (토론 | 기여) 잔글 (찾아 바꾸기 – “</h5>” 문자열을 “==” 문자열로) |
||
| 1번째 줄: | 1번째 줄: | ||
| − | <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 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%;">이 항목의 스프링노트 원문주소== |
* [[#]] | * [[#]] | ||
| 7번째 줄: | 7번째 줄: | ||
| − | ==개요 | + | ==개요== |
* 직접적인 방식으로 만들 수 있는 모듈라 형식의 예 | * 직접적인 방식으로 만들 수 있는 모듈라 형식의 예 | ||
| 17번째 줄: | 17번째 줄: | ||
| − | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">정의 | + | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">정의== |
* <math>k>1</math>인 정수에 대하여, 아이젠슈타인급수는 다음과 같이 정의되며 weight 2k인 모듈라 형식이 된다 <br><math>G_{2k}(\tau) = \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}</math><br> 만약 이 정의에서 반드시 짝수가 아닌 정수 <math>k>1</math>에 대해 <math>G_k</math>를 같은 방식으로 정의했다면, k가 홀수인 경우는 <math>G_k=0</math>가 됨.<br> <math>m+n\tau</math>와 <math>-m-n\tau</math> 가 서로 상쇄<br> | * <math>k>1</math>인 정수에 대하여, 아이젠슈타인급수는 다음과 같이 정의되며 weight 2k인 모듈라 형식이 된다 <br><math>G_{2k}(\tau) = \sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{2k}}</math><br> 만약 이 정의에서 반드시 짝수가 아닌 정수 <math>k>1</math>에 대해 <math>G_k</math>를 같은 방식으로 정의했다면, k가 홀수인 경우는 <math>G_k=0</math>가 됨.<br> <math>m+n\tau</math>와 <math>-m-n\tau</math> 가 서로 상쇄<br> | ||
| 29번째 줄: | 29번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">예 | + | <h5 style="margin: 0px; line-height: 2em;">예== |
<math>G_4(\tau)=\frac{\pi^4}{45} \left[ 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n} \right]</math> | <math>G_4(\tau)=\frac{\pi^4}{45} \left[ 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n} \right]</math> | ||
| 39번째 줄: | 39번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">모듈라 성질 | + | <h5 style="margin: 0px; line-height: 2em;">모듈라 성질== |
<math>G_{2k} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2k} G_{2k}(\tau)</math> | <math>G_{2k} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2k} G_{2k}(\tau)</math> | ||
| 47번째 줄: | 47번째 줄: | ||
| − | <h5 style="margin: 0px 0px 0px 2px; line-height: 2em;">푸리에 전개의 유도 | + | <h5 style="margin: 0px 0px 0px 2px; line-height: 2em;">푸리에 전개의 유도== |
모듈라 형식이 되기 위해서는 cusp에서의 growth 조건 즉, <math>\tau=i\infty</math>에서의 푸리에 전개가 필요하며 이는 다음과 같이 주어짐 | 모듈라 형식이 되기 위해서는 cusp에서의 growth 조건 즉, <math>\tau=i\infty</math>에서의 푸리에 전개가 필요하며 이는 다음과 같이 주어짐 | ||
| 85번째 줄: | 85번째 줄: | ||
| − | <h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px;">정규 아이젠슈타인급수 | + | <h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px;">정규 아이젠슈타인급수== |
* 상수항이 1이 되도록, 상수를 곱해서 얻어짐<br> | * 상수항이 1이 되도록, 상수를 곱해서 얻어짐<br> | ||
| 99번째 줄: | 99번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">많이 사용되는 다른 표현 | + | <h5 style="margin: 0px; line-height: 2em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">많이 사용되는 다른 표현== |
<math>g_2(\tau) = 60G_4=60\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}</math> | <math>g_2(\tau) = 60G_4=60\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}</math> | ||
| 109번째 줄: | 109번째 줄: | ||
| − | <h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px;">weight 2 아이젠슈타인 급수 | + | <h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px;">weight 2 아이젠슈타인 급수== |
* <math>k=1</math>인 경우의 아이젠슈타인급수는 위에서 얻은 푸리에 급수를 이용하여 정의<br><math>G_{2}(\tau) = \zeta(2) \left(1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n} \right)</math><br> | * <math>k=1</math>인 경우의 아이젠슈타인급수는 위에서 얻은 푸리에 급수를 이용하여 정의<br><math>G_{2}(\tau) = \zeta(2) \left(1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n} \right)</math><br> | ||
| 117번째 줄: | 117번째 줄: | ||
| − | ==모듈라 성질 | + | ==모듈라 성질== |
<math>G_{2} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2} G_{2}(\tau)-\pi i c(c\tau+d)</math> | <math>G_{2} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2} G_{2}(\tau)-\pi i c(c\tau+d)</math> | ||
| 127번째 줄: | 127번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">non-holomorphic 모듈라 형식 | + | <h5 style="margin: 0px; line-height: 2em;">non-holomorphic 모듈라 형식== |
* <math>\tau = x+ iy</math>, <math>y > 0 </math>에 대하여 다음과 정의된 함수는 모듈라 성질을 가짐<br><math>G^{*}_{2}(\tau) = G_{2}(\tau)-\frac{\pi}{2y}</math><br><math>E^{*}_{2}(\tau) = E_{2}(\tau)-\frac{3}{\pi y}</math><br> | * <math>\tau = x+ iy</math>, <math>y > 0 </math>에 대하여 다음과 정의된 함수는 모듈라 성질을 가짐<br><math>G^{*}_{2}(\tau) = G_{2}(\tau)-\frac{\pi}{2y}</math><br><math>E^{*}_{2}(\tau) = E_{2}(\tau)-\frac{3}{\pi y}</math><br> | ||
| 136번째 줄: | 136번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">special values | + | <h5 style="margin: 0px; line-height: 2em;">special values== |
<math>E_2(i)=\frac{3}{\pi}</math> | <math>E_2(i)=\frac{3}{\pi}</math> | ||
| 156번째 줄: | 156번째 줄: | ||
| − | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">역사 | + | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">역사== |
* [[수학사연표 (역사)|수학사연표]] | * [[수학사연표 (역사)|수학사연표]] | ||
| 164번째 줄: | 164번째 줄: | ||
| − | <h5 style="margin: 0px 0px 0px 2px; line-height: 2em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">상위 주제 | + | <h5 style="margin: 0px 0px 0px 2px; line-height: 2em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">상위 주제== |
* [[모듈라 형식(modular forms)]]<br> | * [[모듈라 형식(modular forms)]]<br> | ||
| 174번째 줄: | 174번째 줄: | ||
| − | <h5 style="margin: 0px; line-height: 2em;">관련된 항목들 | + | <h5 style="margin: 0px; line-height: 2em;">관련된 항목들== |
* [[데데킨트 에타함수]]<br> | * [[데데킨트 에타함수]]<br> | ||
| 185번째 줄: | 185번째 줄: | ||
| − | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련도서 | + | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련도서== |
* Tomio Kubota, Elementary Theory of Eisenstein Series<br> | * Tomio Kubota, Elementary Theory of Eisenstein Series<br> | ||
| 193번째 줄: | 193번째 줄: | ||
| − | <h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px;">관련논문 | + | <h5 style="line-height: 2em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px;">관련논문== |
* [http://dx.doi.org/10.1070/SM1996v187n09ABEH000158 Modular functions and transcendence questions]<br> | * [http://dx.doi.org/10.1070/SM1996v187n09ABEH000158 Modular functions and transcendence questions]<br> | ||
| 202번째 줄: | 202번째 줄: | ||
| − | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">사전형태의 참고자료 | + | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">사전형태의 참고자료== |
* [http://ko.wikipedia.org/wiki/%EC%95%84%EC%9D%B4%EC%A0%A0%EC%8A%88%ED%83%80%EC%9D%B8 http://ko.wikipedia.org/wiki/아이젠슈타인] | * [http://ko.wikipedia.org/wiki/%EC%95%84%EC%9D%B4%EC%A0%A0%EC%8A%88%ED%83%80%EC%9D%B8 http://ko.wikipedia.org/wiki/아이젠슈타인] | ||
| 213번째 줄: | 213번째 줄: | ||
| − | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">블로그 | + | <h5 style="line-height: 3.428em; margin-top: 0px; margin-right: 0px; margin-bottom: 0px; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">블로그== |
* 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=eisenstein+series | * 구글 블로그 검색 http://blogsearch.google.com/blogsearch?q=eisenstein+series | ||
* 트렌비 블로그 검색 http://www.trenb.com/search.qst?q= | * 트렌비 블로그 검색 http://www.trenb.com/search.qst?q= | ||
2012년 11월 1일 (목) 12:55 판
이 항목의 스프링노트 원문주소==
개요
- 직접적인 방식으로 만들 수 있는 모듈라 형식의 예
- 푸리에 계수가 자연수의 약수의 합을 통해 표현됨
- 모듈라 형식의 이론을 통해 이차형식의 세타함수의 계수와 아이젠슈타인 급수의 푸리에 계수를 비교하는 것이 가능해지므로, 이차형식의 연구에 중요하게 사용
정의==
- \(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\) 가 서로 상쇄
- \(k=1\) 인 경우는 급수가 절대수렴하지 않아 따로 취급. 아래에서 별도로 서술함.
- 다음과 같이 정규화시킨 아이젠슈타인급수도 많이 사용됨
\(E_{2}(\tau) = 1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n}\)
\(E_4(\tau)= 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n}\)
\(E_6(\tau)=1- 504\sum_{n=1}^\infty \sigma_5(n) q^{n}\)
예==
\(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} \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_{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}\)
정규 아이젠슈타인급수==
- 상수항이 1이 되도록, 상수를 곱해서 얻어짐
\(E_{2k}(\tau)=\frac{G_{2k}(\tau)}{2\zeta (2k)}= 1+\frac {2}{\zeta(1-2k)}\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)\)
\(E_4(\tau)= 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n}\)
\(E_6(\tau)=1- 504\sum_{n=1}^\infty \sigma_5(n) q^{n}\)
많이 사용되는 다른 표현==
\(g_2(\tau) = 60G_4=60\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}\)
\(g_3(\tau) = 140G_6=140\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{6}}\)
weight 2 아이젠슈타인 급수==
- \(k=1\)인 경우의 아이젠슈타인급수는 위에서 얻은 푸리에 급수를 이용하여 정의
\(G_{2}(\tau) = \zeta(2) \left(1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n} \right)\)
- 원래의 정의와 비슷하게 쓰려면 절대수렴하지 않는 급수 다음과 같이 덧셈의 순서를 따름
\(G_{2}(\tau) = \frac{1}{2}\sum_{n\neq 0} \frac{1}{n^2}+\frac{1}{2}\sum_{m\neq0}\sum_{n\in\mathbb{Z}} \frac{1}{(m\tau+n)^{2}}\)
- 정규 아이젠슈타인 급수
\(E_{2}(\tau) = 1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n}\)
모듈라 성질
\(G_{2} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2} G_{2}(\tau)-\pi i c(c\tau+d)\)
non-holomorphic 모듈라 형식==
- \(\tau = x+ iy\), \(y > 0 \)에 대하여 다음과 정의된 함수는 모듈라 성질을 가짐
\(G^{*}_{2}(\tau) = G_{2}(\tau)-\frac{\pi}{2y}\)
\(E^{*}_{2}(\tau) = E_{2}(\tau)-\frac{3}{\pi y}\)
- 모듈라 성질을 얻는대신 복소해석적 성질을 잃게 됨
special values==
\(E_2(i)=\frac{3}{\pi}\)
\(E_4(i)=12\eta(i)^8=\frac{3\Gamma(\frac{1}{4})^8}{64 \pi ^{6}}\)
\(E_6(i)=0\)
\(E_4(\frac {-1+\sqrt{-3}}{2})=0\)
\(E_6(\frac {-1+\sqrt{-3}}{2})=\)
- 데데킨트 에타함수에서 얻은 결과를 이용
\(\eta(i)=\frac{\Gamma(\frac{1}{4})}{2 \pi ^{3/4}}\)
역사==
상위 주제==
관련된 항목들==
관련도서==
- Tomio Kubota, Elementary Theory of Eisenstein Series
관련논문==
- Modular functions and transcendence questions
- Yu V Nesterenko 1996 Sb. Math. 187 1319-1348
사전형태의 참고자료==
블로그==
- \(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\) 가 서로 상쇄 - \(k=1\) 인 경우는 급수가 절대수렴하지 않아 따로 취급. 아래에서 별도로 서술함.
- 다음과 같이 정규화시킨 아이젠슈타인급수도 많이 사용됨
\(E_{2}(\tau) = 1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n}\)
\(E_4(\tau)= 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n}\)
\(E_6(\tau)=1- 504\sum_{n=1}^\infty \sigma_5(n) q^{n}\)
예== \(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} \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_{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}\)
정규 아이젠슈타인급수==
- 상수항이 1이 되도록, 상수를 곱해서 얻어짐
\(E_{2k}(\tau)=\frac{G_{2k}(\tau)}{2\zeta (2k)}= 1+\frac {2}{\zeta(1-2k)}\sum_{n=1}^{\infty} \sigma_{2k-1}(n)q^{n} \right)\)
\(E_4(\tau)= 1+ 240\sum_{n=1}^\infty \sigma_3(n) q^{n}\)
\(E_6(\tau)=1- 504\sum_{n=1}^\infty \sigma_5(n) q^{n}\)
많이 사용되는 다른 표현== \(g_2(\tau) = 60G_4=60\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{4}}\) \(g_3(\tau) = 140G_6=140\sum_{ (m,n) \neq (0,0)} \frac{1}{(m+n\tau )^{6}}\)
weight 2 아이젠슈타인 급수==
- \(k=1\)인 경우의 아이젠슈타인급수는 위에서 얻은 푸리에 급수를 이용하여 정의
\(G_{2}(\tau) = \zeta(2) \left(1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n} \right)\)
- 원래의 정의와 비슷하게 쓰려면 절대수렴하지 않는 급수 다음과 같이 덧셈의 순서를 따름
\(G_{2}(\tau) = \frac{1}{2}\sum_{n\neq 0} \frac{1}{n^2}+\frac{1}{2}\sum_{m\neq0}\sum_{n\in\mathbb{Z}} \frac{1}{(m\tau+n)^{2}}\)
- 정규 아이젠슈타인 급수
\(E_{2}(\tau) = 1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n}\)
\(G_{2}(\tau) = \zeta(2) \left(1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n} \right)\)
\(G_{2}(\tau) = \frac{1}{2}\sum_{n\neq 0} \frac{1}{n^2}+\frac{1}{2}\sum_{m\neq0}\sum_{n\in\mathbb{Z}} \frac{1}{(m\tau+n)^{2}}\)
\(E_{2}(\tau) = 1-24\sum_{n=1}^{\infty} \sigma_{1}(n)q^{n}\)
모듈라 성질
\(G_{2} \left( \frac{ a\tau +b}{ c\tau + d} \right) = (c\tau +d)^{2} G_{2}(\tau)-\pi i c(c\tau+d)\)
non-holomorphic 모듈라 형식==
- \(\tau = x+ iy\), \(y > 0 \)에 대하여 다음과 정의된 함수는 모듈라 성질을 가짐
\(G^{*}_{2}(\tau) = G_{2}(\tau)-\frac{\pi}{2y}\)
\(E^{*}_{2}(\tau) = E_{2}(\tau)-\frac{3}{\pi y}\)
- 모듈라 성질을 얻는대신 복소해석적 성질을 잃게 됨
\(G^{*}_{2}(\tau) = G_{2}(\tau)-\frac{\pi}{2y}\)
\(E^{*}_{2}(\tau) = E_{2}(\tau)-\frac{3}{\pi y}\)
special values==
\(E_2(i)=\frac{3}{\pi}\)
\(E_4(i)=12\eta(i)^8=\frac{3\Gamma(\frac{1}{4})^8}{64 \pi ^{6}}\)
\(E_6(i)=0\)
\(E_4(\frac {-1+\sqrt{-3}}{2})=0\)
\(E_6(\frac {-1+\sqrt{-3}}{2})=\)
- 데데킨트 에타함수에서 얻은 결과를 이용
\(\eta(i)=\frac{\Gamma(\frac{1}{4})}{2 \pi ^{3/4}}\)
\(\eta(i)=\frac{\Gamma(\frac{1}{4})}{2 \pi ^{3/4}}\)
역사==
상위 주제==
관련된 항목들==
관련도서==
- Tomio Kubota, Elementary Theory of Eisenstein Series
관련논문==
- Modular functions and transcendence questions
- Yu V Nesterenko 1996 Sb. Math. 187 1319-1348
- Yu V Nesterenko 1996 Sb. Math. 187 1319-1348