"데데킨트 에타함수"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
32번째 줄: 32번째 줄:
 
* <math>h,k</math>는 서로 소인 자연수<br>
 
* <math>h,k</math>는 서로 소인 자연수<br>
 
* <math>y>0</math>가 매우 작을 때<br><math>\sqrt{y}\exp({\frac{\pi}{12k^2y}})\eta(\frac{h}{k}+iy)\sim \frac{\exp\left(\pi i (\frac{h}{12k}-s(h,k)\right)}{\sqrt{k}}</math><br><math>s(h,k)</math>는 [[데데킨트 합]]<br>
 
* <math>y>0</math>가 매우 작을 때<br><math>\sqrt{y}\exp({\frac{\pi}{12k^2y}})\eta(\frac{h}{k}+iy)\sim \frac{\exp\left(\pi i (\frac{h}{12k}-s(h,k)\right)}{\sqrt{k}}</math><br><math>s(h,k)</math>는 [[데데킨트 합]]<br>
−
* <math>q=e^{-\epsilon}</math> 으로 두면 <math>\epsilon\sim 0</math> 일 때,<br><math>\prod_{n=1}^\infty \frac {1}{1-q^n} \sim \exp(\frac{\pi^2}{6\epsilon})=\exp(\frac{(2\pi)^2}{24\epsilon})</math> 을 얻는다<br>
+
 
 +
<math>q=e^{-\epsilon}</math> 즉, <math>y=\frac{\epsilon}{2\pi}</math> 으로 두면 <math>\epsilon\sim 0</math> 일 때,
 +
 
 +
* <math>q^{1/24}\prod_{n=1}^\infty (1-q^n) \sim \exp(-\frac{\pi^2}{6\epsilon})=\exp(-\frac{(2\pi)^2}{24\epsilon})</math> 을 얻는다<br>
 +
 
 +
 
 +
 
 +
(정리)
 +
 
 +
<math>q\to 1</math> 일 때,
  
 
 
 
 
 +
 +
 
 +
 +
(증명)
 +
 +
<math>F(q)= \prod_{n=1}^\infty \frac {1}{1-q^n}</math>
 +
 +
<math>\log F(q)= \sum_{n=1}^\infty \log \frac {1}{1-q^n} \right =\sum_{m=1,n=1}^{\infty}\frac{q^{mn}}{m}=\sum_{m=1}\frac{q^m}{m(1-q^m)}</math>
 +
 +
<math>1-q^m=(1-q)(1+q+\cdots+q^{m-1})</math>  와 <math>0<q<1</math> 을 이용하면,
 +
 +
<math>mq^{m-1}(1-x)<1-q^m<m(1-q)</math> 이다. 따라서,
 +
 +
<math>\frac{1}{1-q}\sum_{m=1}^{\infty}\frac{q^m}{m^2}< \sum_{n=1}^\infty \log \frac {1}{1-q^n} <\frac{1}{1-q}\sum_{m=1}^{\infty}\frac{q}{m^2}</math>
 +
 +
q가 1에 가까워질 때, 
 +
 +
<math>\sum_{m=1}^{\infty}\frac{q^m}{m^2}\to \frac{\pi^2}{6}</math>,  <math>\sum_{m=1}^{\infty}\frac{q}{m^2}\to \frac{\pi^2}{6}</math>
 +
 +
이므로,
 +
 +
<math>F(q)= \prod_{n=1}^\infty \frac {1}{1-q^n} \sim \exp(\frac{\pi^2}{6(1-q)})</math>
 +
 +
■
  
 
 
 
 

2010년 3월 14일 (일) 17:17 판

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

 

 

개요

 

 

모듈라 성질
  • (정리)
    \(\eta(\tau+1) =e^{\frac{\pi {\rm{i}}}{12}}\eta(\tau)\)
    \(\eta(-\frac{1}{\tau}) =\sqrt{\frac{\tau}{i}}\eta(\tau)=\sqrt{-i\tau}\eta({\tau})\)
    여기서 \(-\frac{\pi}{4}<\arg \sqrt{-i\tau}<\frac{\pi}{4}\) 이 되도록 선택
  • 더 일반적으로, \(ad-bc=1\), \(c>0\)인 정수 a,b,c,d에 대하여 다음이 성립한다.
    \(\eta \left( \frac {a\tau+b} {c\tau+d}\right) =\epsilon(a,b,c,d) \{-i\left(c\tau+d\right)\}^{1/2}\eta(\tau)\)
    여기서,
    \(\epsilon(a,b,c,d)=\exp\{\pi i \left(\frac{a+d}{12c}+s(-d,c)\right)\}\)
    \(s(h,k)\)는 데데킨트 합

 

 

유리수점(cusp) 근처에서의 변화
  • \(h,k\)는 서로 소인 자연수
  • \(y>0\)가 매우 작을 때
    \(\sqrt{y}\exp({\frac{\pi}{12k^2y}})\eta(\frac{h}{k}+iy)\sim \frac{\exp\left(\pi i (\frac{h}{12k}-s(h,k)\right)}{\sqrt{k}}\)
    \(s(h,k)\)는 데데킨트 합

\(q=e^{-\epsilon}\) 즉, \(y=\frac{\epsilon}{2\pi}\) 으로 두면 \(\epsilon\sim 0\) 일 때,

  • \(q^{1/24}\prod_{n=1}^\infty (1-q^n) \sim \exp(-\frac{\pi^2}{6\epsilon})=\exp(-\frac{(2\pi)^2}{24\epsilon})\) 을 얻는다

 

(정리)

\(q\to 1\) 일 때,

 

 

(증명)

\(F(q)= \prod_{n=1}^\infty \frac {1}{1-q^n}\)

\(\log F(q)= \sum_{n=1}^\infty \log \frac {1}{1-q^n} \right =\sum_{m=1,n=1}^{\infty}\frac{q^{mn}}{m}=\sum_{m=1}\frac{q^m}{m(1-q^m)}\)

\(1-q^m=(1-q)(1+q+\cdots+q^{m-1})\)  와 \(0<q<1\) 을 이용하면,

\(mq^{m-1}(1-x)<1-q^m<m(1-q)\) 이다. 따라서,

\(\frac{1}{1-q}\sum_{m=1}^{\infty}\frac{q^m}{m^2}< \sum_{n=1}^\infty \log \frac {1}{1-q^n} <\frac{1}{1-q}\sum_{m=1}^{\infty}\frac{q}{m^2}\)

q가 1에 가까워질 때, 

\(\sum_{m=1}^{\infty}\frac{q^m}{m^2}\to \frac{\pi^2}{6}\),  \(\sum_{m=1}^{\infty}\frac{q}{m^2}\to \frac{\pi^2}{6}\)

이므로,

\(F(q)= \prod_{n=1}^\infty \frac {1}{1-q^n} \sim \exp(\frac{\pi^2}{6(1-q)})\)

■

 

 

세타함수 형태의 표현

 

 

판별식함수

\(\Delta(\tau)=\eta(\tau)^{24}= q\prod_{n>0}(1-q^n)^{24}=q-24q+252q^2+\cdots\)

 

 

special values

\(\eta(i)=\frac{\Gamma(\frac{1}{4})}{2 \pi ^{3/4}}\)

\(\eta(2i)=\frac{\Gamma \left(\frac{1}{4}\right)}{2^{11/8} \pi ^{3/4}}\)

\(\eta(\frac{i}{2})=\frac{\Gamma \left(\frac{1}{4}\right)}{2^{7/8} \pi ^{3/4}}\)

 

 

재미있는 사실

 

 

관련된 항목들

 

 

사전 형태의 자료

 

 

관련도서

 

 

관련논문

 

 

블로그
원본 주소 "https://wiki.mathnt.net/index.php?title=데데킨트_에타함수&oldid=6972"