"베버(Weber) 모듈라 함수"의 두 판 사이의 차이

2009년 10월 24일 (토) 12:40 판

\(f(\tau)=\frac{e^{-\frac{\pi i}{24}}\eta(\frac{\tau+1}{2})}{\eta(\tau)}=q^{-1/48} \prod_{n=1}^{\infty} (1+q^{n-\frac{1}{2}})\)

\(f_1(\tau)=\frac{\eta(\frac{\tau}{2})}{\eta(\tau)}=q^{-1/48} \prod_{n=1}^{\infty} (1-q^{n-\frac{1}{2}})\)

\(f_2(\tau)=\sqrt{2}\frac{\eta(2\tau)}{\eta(\tau)}=\sqrt{2}q^{1/24} \prod_{n=1}^{\infty} (1+q^{n})\)

여기서 \(\eta(\tau) = q^{1/24} \prod_{n=1}^{\infty} (1-q^{n})\) 는 데데킨트 에타함수

\(f(\tau)f_1(\tau)f_2(\tau)=\sqrt2\)

\(f_1(2\tau)f_2(\tau)=\sqrt2\)

\(f(\tau+1)=\zeta_{48}^{-1}f_1(\tau)\)

\(f_1(\tau+1)=\zeta_{48}^{-1}f(\tau)\)

\(f_2(\tau+1)=\zeta_{24}f_2(\tau)\)

\(f(-\frac{1}{\tau})=f(\tau)\)

\(f_1(-\frac{1}{\tau})=f_2(\tau)\)

\(f_2(-\frac{1}{\tau})=f_1(\tau)\)

q-초기하급수(q-hypergeometric series) 의 공식
\(\prod_{n=0}^{\infty}(1+zq^n)=\sum_{n\geq 0}\frac{q^{n(n-1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)} z^n\)
\(z=q^{1/2}\) 인 경우
\(\prod_{n=1}^{\infty} (1+q^{n-\frac{1}{2}})=\sum_{n\geq 0}\frac{q^{n(n-1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)} (q^{1/2})^n=\sum_{n\geq 0}\frac{q^{n^2/2}}{(1-q)(1-q^2)\cdots(1-q^n)} \)
\(\prod_{n=1}^{\infty} (1+q^{2n-1})=\sum_{n\geq 0}\frac{q^{n^2}}{(1-q^2)(1-q^4)\cdots(1-q^{2n})} \)
\(z=q\) 인 경우
\(\prod_{n=1}^{\infty} (1+q^{n})=\sum_{n\geq 0}\frac{q^{n(n-1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)}q^n=\sum_{n\geq 0}\frac{q^{n(n+1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)}\)
위의 결과로부터 다음을 얻을 수 있다
\(f(2\tau)=q^{-1/24}\prod_{n=1}^{\infty} (1+q^{2n-1})=q^{-1/24}\sum_{n\geq 0}\frac{q^{n^2}}{(1-q^2)(1-q^4)\cdots(1-q^{2n})}\)
\(f_2(\tau)=\sqrt{2}\frac{\eta(2\tau)}{\eta(\tau)}=\sqrt{2}q^{1/24} \prod_{n=1}^{\infty} (1+q^{n})=\sqrt{2}q^{1/24}\sum_{n\geq 0}\frac{q^{n(n+1)/2}}{(1-q)(1-q^2)\cdots(1-q^n)}\)

@@ 7번째 줄: / 7번째 줄: @@
 <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>
-*  베버의 class invariant 라는 이름으로 더 잘 알려져 있음<br>
+*  베버의 class invariant 라는 이름으로 잘 알려져 있음<br>
+*  베버는 Schläfli 함수로 부름<br>
 *  class field theory에서 중요한 역할을 함<br>
@@ 128번째 줄: / 129번째 줄: @@
 <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>
+* [http://jtnb.cedram.org/item?id=JTNB_2002__14_1_325_0 Weber's class invariants revisited]<br>
+** [http://jtnb.cedram.org/item?id=JTNB_2002__14_1_325_0 ]Reinhard Schertz, Journal de théorie des nombres de Bordeaux, 14 no. 1 (2002), p. 325-343
 * [http://www.ams.org/mcom/1997-66-220/S0025-5718-97-00854-5/ On The Singular Values Of Weber Modular Functions]<br>
-** Noriko Yui ,  Don Zagier, 1997
+** Noriko Yui ,  Don Zagier, Math. Comp. 66 (1997), 1645-1662
 * http://www.jstor.org/action/doBasicSearch?Query=