"로저스-라마누잔 항등식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
잔글 (찾아 바꾸기 – “<br><math>” 문자열을 “:<math>” 문자열로)
1번째 줄: 1번째 줄:
==이 항목의 스프링노트 원문주소==
 
 
* [[로저스-라마누잔 항등식|로저스-라마누잔 연분수와 항등식]]
 
 
 
 
 
 
 
 
 
==개요==
 
==개요==
  
* 모듈라 성질을 갖는 [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)]] 의 중요한 예
+
* 모듈라 성질을 갖는 [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 의 중요한 예
  
 
 
 
 
16번째 줄: 8번째 줄:
  
 
==로저스-라마누잔 항등식==
 
==로저스-라마누잔 항등식==
 
+
* 다음의 두 항등식을 로저스-라마누잔 항등식이라 부른다
<math>G(q) = \sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} =  
+
:<math>G(q) = \sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} =  
 
  \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty}
 
  \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty}
 
   =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots</math>
 
   =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots</math>
 
+
:<math>H(q) =\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} =  
 <math>H(q) =\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} =  
 
 
  \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty}
 
  \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty}
 
  =1+q^2 +q^3 +q^4+q^5 +2q^6+\cdots</math>
 
  =1+q^2 +q^3 +q^4+q^5 +2q^6+\cdots</math>
  
 
* [[Pochhammer 기호와 캐츠(Kac) 기호|Pochhammer 기호]] 참조 
 
* [[Pochhammer 기호와 캐츠(Kac) 기호|Pochhammer 기호]] 참조 
 
+
:<math>(a;q)_n = \prod_{k=0}^{n-1} (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1})</math>
<math>(a;q)_n = \prod_{k=0}^{n-1} (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1})</math>
 
  
 
* [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 의 틀에서 이해할 수 있다<br>
 
* [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 의 틀에서 이해할 수 있다<br>
38번째 줄: 28번째 줄:
  
 
* 세타함수를 통한 표현
 
* 세타함수를 통한 표현
* <math>G(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+n)/2}</math>:<math>H(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+3n)/2}</math><br>
+
:<math>G(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+n)/2}</math>
*  로저스-라마누잔 함수는 약간의 수정을 통해 modularity를 가짐:<math>q^{-1/60}G(q) = q^{-1/60}\sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {q^{-1/60}}{(q;q^5)_\infty (q^4; q^5)_\infty}</math>:<math>q^{11/60}H(q) =q^{11/60}\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} = q^{11/60}\frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty} </math><br>
+
:<math>H(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+3n)/2}</math><br>
 +
*  로저스-라마누잔 함수는 약간의 수정을 통해 모듈라 성질을 갖게 됨
 +
:<math>q^{-1/60}G(q) = q^{-1/60}\sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {q^{-1/60}}{(q;q^5)_\infty (q^4; q^5)_\infty}</math>
 +
:<math>q^{11/60}H(q) =q^{11/60}\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} = q^{11/60}\frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty} </math><br>
 
* [[데데킨트 에타함수]]가 갖는 modularity와의 유사성:<math>\eta(\tau) = q^{1/24} \prod_{n=1}^{\infty} (1-q^{n})</math><br>
 
* [[데데킨트 에타함수]]가 갖는 modularity와의 유사성:<math>\eta(\tau) = q^{1/24} \prod_{n=1}^{\infty} (1-q^{n})</math><br>
  
160번째 줄: 153번째 줄:
 
 
 
 
  
 
+
  
 
 
==관련기사==
 
 
 
*  네이버 뉴스 검색 (키워드 수정)<br>
 
** [http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=%EB%9D%BC%EB%A7%88%EB%88%84%EC%9E%94 http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=라마누잔]
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
** http://news.search.naver.com/search.naver?where=news&x=0&y=0&sm=tab_hty&query=
 
 
 
 
 
  
 
 
 
 
178번째 줄: 161번째 줄:
 
* [http://bomber0.byus.net/index.php/2008/06/24/673 수학과 대학원생이 되면 좋은점 - 라마누잔 이야기]<br>
 
* [http://bomber0.byus.net/index.php/2008/06/24/673 수학과 대학원생이 되면 좋은점 - 라마누잔 이야기]<br>
 
**  피타고라스의 창, 2008-6-24<br>
 
**  피타고라스의 창, 2008-6-24<br>
* 구글 블로그 검색 [http://blogsearch.google.com/blogsearch?q=%EB%9D%BC%EB%A7%88%EB%88%84%EC%9E%94 http://blogsearch.google.com/blogsearch?q=라마누잔]
 
* 트렌비 블로그 검색 [http://www.trenb.com/search.qst?q=%EB%9D%BC%EB%A7%88%EB%88%84%EC%9E%94 http://www.trenb.com/search.qst?q=라마누잔]
 

2013년 2월 25일 (월) 03:41 판

개요

 

 

로저스-라마누잔 항등식

  • 다음의 두 항등식을 로저스-라마누잔 항등식이라 부른다

\[G(q) = \sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty} =1+ q +q^2 +q^3 +2q^4+2q^5 +3q^6+\cdots\] \[H(q) =\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} = \frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty} =1+q^2 +q^3 +q^4+q^5 +2q^6+\cdots\]

\[(a;q)_n = \prod_{k=0}^{n-1} (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1})\]

 

 

세타함수 표현과 모듈라 성질

  • 세타함수를 통한 표현

\[G(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+n)/2}\] \[H(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+3n)/2}\]

  • 로저스-라마누잔 함수는 약간의 수정을 통해 모듈라 성질을 갖게 됨

\[q^{-1/60}G(q) = q^{-1/60}\sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} = \frac {q^{-1/60}}{(q;q^5)_\infty (q^4; q^5)_\infty}\] \[q^{11/60}H(q) =q^{11/60}\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} = q^{11/60}\frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty} \]

 

 

cusp에서의 변화

  • \(q=e^{-t}\) 으로 두면 \(t\sim 0\) 일 때,\[H(q)=\sum_{n=0}^\infty \frac {q^{n^2+n}} {(q;q)_n} \sim \sqrt\frac{2}{5+\sqrt{5}}\exp(\frac{\pi^2}{15t}+\frac{11t}{60})+o(1)\]\[G(q)=\sum_{n=0}^\infty \frac {q^{n^2}} {(q;q)_n} \sim \sqrt\frac{2}{5-\sqrt{5}}\exp(\frac{\pi^2}{15t}-\frac{t}{60})+o(1)\]
  • [McIntosh1995] 참조
  • 이로부터 다음을 알 수 있다\[t\to 0\] 일 때, \(q=e^{-t}\to 1\) 으로 두면\[\frac{H(1)}{G(1)} = \sqrt{\frac{5-\sqrt{5}}{5+\sqrt{5}}}=\varphi-1=0.618\cdots\]

 

 

로저스-라마누잔 연분수

  • 두 함수의 비는 아래와 같은 연분수 표현을 가진다\[\frac{H(q)}{G(q)} = \cfrac{1}{1+\cfrac{q}{1+\cfrac{q^2}{1+\cfrac{q^3}{1+\cdots}}}}\]
  • 로저스-라마누잔 연분수  항목에서 다루기로 함

 

 

 

재미있는 사실

 

 

관련된 항목들

 

 

매스매티카 파일 및 계산 리소스

 

 

사전형태의 자료

 

 

관련도서

 

 

관련논문

 

  

 

블로그