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

수학노트
둘러보기로 가기 검색하러 가기
29번째 줄: 29번째 줄:
 
<math>\mathfrak{f}_1(2\tau)\mathfrak{f}_2(\tau)=\sqrt2</math>
 
<math>\mathfrak{f}_1(2\tau)\mathfrak{f}_2(\tau)=\sqrt2</math>
  
−
<math>f(\tau)f_1(\tau)f_2(\tau)=\sqrt2</math>
+
<math>\mathfrak{f}(\tau)\mathfrak{f}_1(\tau)\mathfrak{f}_2(\tau)=\sqrt2</math>
  
−
<math>f(\tau)^8=f_1(\tau)^8+f_2(\tau)^8</math>
+
<math>\mathfrak{f}(\tau)^8=\mathfrak{f}_1(\tau)^8+\mathfrak{f}_2(\tau)^8</math>
  
 
 
 
 
41번째 줄: 41번째 줄:
 
<h5 style="margin: 0px; line-height: 2em;">모듈라 성질</h5>
 
<h5 style="margin: 0px; line-height: 2em;">모듈라 성질</h5>
  
−
<math>f(\tau+1)=\zeta_{48}^{-1}f_1(\tau)</math>
+
<math>\mathfrak{f}(\tau+1)=\zeta_{48}^{-1}\mathfrak{f}_1(\tau)</math>
  
−
<math>f_1(\tau+1)=\zeta_{48}^{-1}f(\tau)</math>
+
<math>\mathfrak{f}_1(\tau+1)=\zeta_{48}^{-1}\mathfrak{f}(\tau)</math>
  
−
<math>f_2(\tau+1)=\zeta_{24}f_2(\tau)</math>
+
<math>\mathfrak{f}_2(\tau+1)=\zeta_{24}\mathfrak{f}_2(\tau)</math>
  
−
<math>f(-\frac{1}{\tau})=f(\tau)</math>
+
<math>\mathfrak{f}(-\frac{1}{\tau})=\mathfrak{f}(\tau)</math>
  
−
<math>f_1(-\frac{1}{\tau})=f_2(\tau)</math>
+
<math>\mathfrak{f}_1(-\frac{1}{\tau})=\mathfrak{f}_2(\tau)</math>
  
−
<math>f_2(-\frac{1}{\tau})=f_1(\tau)</math>
+
<math>\mathfrak{f}_2(-\frac{1}{\tau})=\mathfrak{f}_1(\tau)</math>
 +
 
 +
 
 +
 
 +
 
 +
 
 +
<h5>j-invariant 와의 관계</h5>
  
 
 
 
 
66번째 줄: 72번째 줄:
  
 
* [[q-초기하급수(q-hypergeometric series) (통합됨)|q-초기하급수(q-hypergeometric series)]] 의 공식<br><math>\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</math><br><math>z=q^{1/2}</math> 인 경우<br><math>\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)} </math><br><math>\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})} </math><br><math>z=q</math> 인 경우<br><math>\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)}</math><br>
 
* [[q-초기하급수(q-hypergeometric series) (통합됨)|q-초기하급수(q-hypergeometric series)]] 의 공식<br><math>\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</math><br><math>z=q^{1/2}</math> 인 경우<br><math>\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)} </math><br><math>\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})} </math><br><math>z=q</math> 인 경우<br><math>\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)}</math><br>
−
*  위의 결과로부터 다음을 얻을 수 있다<br><math>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})}</math><br><math>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)}</math><br>
+
*  위의 결과로부터 다음을 얻을 수 있다<br><math>\mathfrak{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})}</math><br><math>\mathfrak{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)}</math><br>
  
 
 
 
 

2009년 10월 24일 (토) 18:32 판

이 항목의 스프링노트 원문주소

 

 

간단한 소개
  • 베버의 class invariant 라는 이름으로 잘 알려져 있음
  • 베버는 Schläfli 함수로 부름
  • class field theory에서 중요한 역할을 함

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

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

\(\mathfrak{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})\) 는 데데킨트 에타함수

 

 

항등식

\(\mathfrak{f}_1(2\tau)\mathfrak{f}_2(\tau)=\sqrt2\)

\(\mathfrak{f}(\tau)\mathfrak{f}_1(\tau)\mathfrak{f}_2(\tau)=\sqrt2\)

\(\mathfrak{f}(\tau)^8=\mathfrak{f}_1(\tau)^8+\mathfrak{f}_2(\tau)^8\)

 

 

 

모듈라 성질

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

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

\(\mathfrak{f}_2(\tau+1)=\zeta_{24}\mathfrak{f}_2(\tau)\)

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

\(\mathfrak{f}_1(-\frac{1}{\tau})=\mathfrak{f}_2(\tau)\)

\(\mathfrak{f}_2(-\frac{1}{\tau})=\mathfrak{f}_1(\tau)\)

 

 

j-invariant 와의 관계

 

 

 

 

 

q-초기하급수와의 관계
  • 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)}\)
  • 위의 결과로부터 다음을 얻을 수 있다
    \(\mathfrak{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})}\)
    \(\mathfrak{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)}\)

 

 

재미있는 사실

 

 

 

역사

 

 

메모

 

 

관련된 항목들

 

 

수학용어번역

 

 

사전 형태의 자료

 

 

관련논문

 

 

관련도서 및 추천도서

 

 

관련기사

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=베버(Weber)_모듈라_함수&oldid=10707"