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

수학노트
둘러보기로 가기 검색하러 가기
3번째 줄: 3번째 줄:
 
* 모듈라 성질을 갖는 [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 의 중요한 예
 
* 모듈라 성질을 갖는 [[Q-초기하급수(q-hypergeometric series)와 양자미적분학(q-calculus)|q-초기하급수(q-hypergeometric series)]] 의 중요한 예
  
−
 
+
  
−
 
+
  
−
==로저스-라마누잔 항등식==
+
==로저스-라마누잔 항등식==
 
* 다음의 두 항등식을 로저스-라마누잔 항등식이라 부른다
 
* 다음의 두 항등식을 로저스-라마누잔 항등식이라 부른다
 
:<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} =  
16번째 줄: 16번째 줄:
 
  =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)]] 의 틀에서 이해할 수 있다
  
−
 
+
  
−
 
+
  
 
==세타함수 표현과 모듈라 성질==
 
==세타함수 표현과 모듈라 성질==
29번째 줄: 29번째 줄:
 
* 세타함수를 통한 표현
 
* 세타함수를 통한 표현
 
:<math>G(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+n)/2}</math>
 
:<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>H(q)=\frac{1}{(q)_{\infty}}\sum_{n\in \mathbb{Z}}(-1)^n q^{(5n^2+3n)/2}</math>
−
*  로저스-라마누잔 함수는 약간의 수정을 통해 모듈라 성질을 갖게 됨
+
*  로저스-라마누잔 함수는 약간의 수정을 통해 모듈라 성질을 갖게 됨
 
:<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^{-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} = \frac {q^{11/60}}{(q^2;q^5)_\infty (q^3; 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} = \frac {q^{11/60}}{(q^2;q^5)_\infty (q^3; q^5)_\infty} </math>
53번째 줄: 53번째 줄:
  
 
$$
 
$$
−
f(-\frac{1}{\tau})=\frac{2}{\sqrt{5}}
+
f(-\frac{1}{\tau})
 +
=
 +
\frac{2}{\sqrt{5}}
 
\left(
 
\left(
 
\begin{array}{cc}
 
\begin{array}{cc}
59번째 줄: 61번째 줄:
 
  \sin \left(\frac{\pi }{5}\right) & -\sin \left(\frac{2 \pi }{5}\right) \\
 
  \sin \left(\frac{\pi }{5}\right) & -\sin \left(\frac{2 \pi }{5}\right) \\
 
\end{array}
 
\end{array}
−
\right)f(\tau)  
+
\right)f(\tau)
 +
=
 +
\left(
 +
\begin{array}{cc}
 +
\sqrt{\frac{2}{5-\sqrt{5}}} & \sqrt{\frac{2}{5+\sqrt{5}}} \\
 +
\sqrt{\frac{2}{5+\sqrt{5}}} & -\sqrt{\frac{2}{5-\sqrt{5}}} \\
 +
\end{array}
 +
\right)f(\tau)
 
$$
 
$$
  
−
* [[데데킨트 에타함수]]가 갖는 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>
  
−
 
+
  
−
 
+
  
 
==cusp에서의 변화==
 
==cusp에서의 변화==
  
−
* <math>q=e^{-t}</math> 으로 두면 <math>t\sim 0</math> 일 때,:<math>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)</math>:<math>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)</math><br>
+
* <math>q=e^{-t}</math> 으로 두면 <math>t\sim 0</math> 일 때,
−
* '''[McIntosh1995]''' 참조<br>
+
:<math>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)</math>
−
* 이로부터 다음을 알 수 있다:<math>t\to 0</math> 일 때, <math>q=e^{-t}\to 1</math> 으로 두면:<math>\frac{H(1)}{G(1)} = \sqrt{\frac{5-\sqrt{5}}{5+\sqrt{5}}}=\varphi-1=0.618\cdots</math><br>
+
:<math>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)</math>
−
 
+
* '''[McIntosh1995]''' 참조
−
 
+
* 이로부터 <math>t\to 0</math> 일 때, <math>q=e^{-t}\to 1</math> 으로 다음이 성립함을 알 수 있다
 +
:<math>\frac{H(1)}{G(1)} = \sqrt{\frac{5-\sqrt{5}}{5+\sqrt{5}}}=\varphi-1=0.618\cdots</math>
 +
  
−
 
+
  
 
==로저스-라마누잔 연분수==
 
==로저스-라마누잔 연분수==
  
−
*  두 함수의 비는 아래와 같은 연분수 표현을 가진다:<math>\frac{H(q)}{G(q)} = \cfrac{1}{1+\cfrac{q}{1+\cfrac{q^2}{1+\cfrac{q^3}{1+\cdots}}}}</math><br>
+
*  두 함수의 비는 아래와 같은 연분수 표현을 가진다
−
* [[로저스-라마누잔 연분수]]  항목에서 다루기로 함
+
:<math>\frac{H(q)}{G(q)} = \cfrac{1}{1+\cfrac{q}{1+\cfrac{q^2}{1+\cfrac{q^3}{1+\cdots}}}}</math>
 +
* [[로저스-라마누잔 연분수]] 항목에서 다루기로 함
  
−
 
+
  
−
 
+
  
−
 
+
  
 
==재미있는 사실==
 
==재미있는 사실==
94번째 줄: 106번째 줄:
 
* http://mathoverflow.net/questions/29117/what-is-the-relationship-between-modular-forms-and-the-rogers-ramanujan-identitie
 
* http://mathoverflow.net/questions/29117/what-is-the-relationship-between-modular-forms-and-the-rogers-ramanujan-identitie
  
−
 
+
  
−
 
+
  
 
==관련된 항목들==
 
==관련된 항목들==
107번째 줄: 119번째 줄:
 
* [[연분수와 유리수 근사|연분수]]
 
* [[연분수와 유리수 근사|연분수]]
  
−
 
+
  
−
 
+
  
 
==매스매티카 파일 및 계산 리소스==
 
==매스매티카 파일 및 계산 리소스==
  
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxNmQ3NGMzZWMtZTg4OC00NjBlLTljNmUtOGExYjkyYjA3NDkx&sort=name&layout=list&num=50
 
* https://docs.google.com/leaf?id=0B8XXo8Tve1cxNmQ3NGMzZWMtZTg4OC00NjBlLTljNmUtOGExYjkyYjA3NDkx&sort=name&layout=list&num=50
−
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]<br>
+
* [http://www.research.att.com/%7Enjas/sequences/index.html The On-Line Encyclopedia of Integer Sequences]
 
** [http://oeis.org/A003114 A003114] Number of partitions of n into parts 5k+1 or 5k+4
 
** [http://oeis.org/A003114 A003114] Number of partitions of n into parts 5k+1 or 5k+4
−
** [http://oeis.org/A003106 A003106]         Number of partitions of n into parts 5k+2 or 5k+3.
+
** [http://oeis.org/A003106 A003106]         Number of partitions of n into parts 5k+2 or 5k+3.
  
−
 
+
  
 
==사전형태의 자료==
 
==사전형태의 자료==
128번째 줄: 140번째 줄:
 
* [http://en.wikipedia.org/wiki/Gauss%27s_continued_fraction http://en.wikipedia.org/wiki/Gauss's_continued_fraction]
 
* [http://en.wikipedia.org/wiki/Gauss%27s_continued_fraction http://en.wikipedia.org/wiki/Gauss's_continued_fraction]
  
−
 
+
  
−
 
+
  
 
==관련도서==
 
==관련도서==
  
−
* [http://www.amazon.com/Number-Theory-Spirit-Ramanujan-Berndt/dp/0821841785 Number Theory in the Spirit of Ramanujan]<br>
+
* [http://www.amazon.com/Number-Theory-Spirit-Ramanujan-Berndt/dp/0821841785 Number Theory in the Spirit of Ramanujan]
 
** Bruce C. Berndt
 
** Bruce C. Berndt
  
−
 
+
  
−
 
+
  
 
==관련논문==
 
==관련논문==
  
−
* [http://dx.doi.org/10.1155/2009/941920 Probabilities as Values of Modular Forms and Continued Fractions]<br>
+
* [http://dx.doi.org/10.1155/2009/941920 Probabilities as Values of Modular Forms and Continued Fractions]
 
** Riad Masri and Ken Ono, 2009
 
** Riad Masri and Ken Ono, 2009
−
* [http://www.ams.org/bull/2005-42-02/S0273-0979-05-01047-5/home.html#References Continued fractions and modular functions]<br>
+
* [http://www.ams.org/bull/2005-42-02/S0273-0979-05-01047-5/home.html#References Continued fractions and modular functions]
−
** W. Duke, Bull. Amer. Math. Soc. 42 (2005), 137-162
+
** W. Duke, Bull. Amer. Math. Soc. 42 (2005), 137-162
−
* [http://arxiv.org/abs/math/0309201 Ramanujan's "Lost Notebook" and the Virasoro Algebra]<br>
+
* [http://arxiv.org/abs/math/0309201 Ramanujan's "Lost Notebook" and the Virasoro Algebra]
 
** Antun Milas, Commun.Math.Phys. 251 (2004) 567-588
 
** Antun Milas, Commun.Math.Phys. 251 (2004) 567-588
−
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5875 Ramanujan’s formulas for the explicit evaluation of the Rogers–Ramanujan continued fraction and theta-functions]<br>
+
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5875 Ramanujan’s formulas for the explicit evaluation of the Rogers–Ramanujan continued fraction and theta-functions]
−
** Soon-Yi Kang, ACTA ARITHMETICA XC.1 (1999)
+
** Soon-Yi Kang, ACTA ARITHMETICA XC.1 (1999)
−
* [http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=AFEE1CBFE5553E6717E8292B3F080D00?doi=10.1.1.39.4015&rep=rep1&type=pdf Ramanujan's Class Invariants With Applications To The Values Of q-Continued Fractions And Theta-Functions]<br>
+
* [http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=AFEE1CBFE5553E6717E8292B3F080D00?doi=10.1.1.39.4015&rep=rep1&type=pdf Ramanujan's Class Invariants With Applications To The Values Of q-Continued Fractions And Theta-Functions]
−
** Bruce C. Berndt ,  Heng Huat Chan ,  Liang-Cheng Zhang, 1997
+
** Bruce C. Berndt , Heng Huat Chan , Liang-Cheng Zhang, 1997
−
* [http://www.digizeitschriften.de/index.php?id=loader&tx_jkDigiTools_pi1%5BIDDOC%5D=503543 Explicit evaluations of the Rogers-Ramanujan continued fraction.]<br>
+
* [http://www.digizeitschriften.de/index.php?id=loader&tx_jkDigiTools_pi1%5BIDDOC%5D=503543 Explicit evaluations of the Rogers-Ramanujan continued fraction.]
−
** Berndt, B.C,Chan, H.H.,Zhang, L.-C., Journal für die reine und angewandte Mathematik 480, 1996
+
** Berndt, B.C,Chan, H.H.,Zhang, L.-C., Journal für die reine und angewandte Mathematik 480, 1996
−
* '''[McIntosh1995]'''[http://jlms.oxfordjournals.org/cgi/content/abstract/51/1/120 Some Asymptotic Formulae for q-Hypergeometric Series]<br>
+
* '''[McIntosh1995]'''[http://jlms.oxfordjournals.org/cgi/content/abstract/51/1/120 Some Asymptotic Formulae for q-Hypergeometric Series]
 
** Richard J. McIntosh, Journal of the London Mathematical Society 1995 51(1):120-136
 
** Richard J. McIntosh, Journal of the London Mathematical Society 1995 51(1):120-136
  
−
* [http://www.jstor.org/stable/2325145 A Motivated Proof of the Rogers-Ramanujan Identities]<br>
+
* [http://www.jstor.org/stable/2325145 A Motivated Proof of the Rogers-Ramanujan Identities]
−
** George E. Andrews and R. J. Baxter, <cite style="line-height: 2em;">The American Mathematical Monthly</cite>, Vol. 96, No. 5 (May, 1989), pp. 401-409
+
** George E. Andrews and R. J. Baxter, <cite style="line-height: 2em;">The American Mathematical Monthly</cite>, Vol. 96, No. 5 (May, 1989), pp. 401-409
  
−
*  Watson, G. N.<br>
+
*  Watson, G. N.
 
** [http://www.google.com/url?sa=t&ct=res&cd=1&url=http%3A%2F%2Fjlms.oxfordjournals.org%2Fcgi%2Freprint%2Fs1-4%2F3%2F231&ei=JY1hSLWRLpSY8gSI7JSiBQ&usg=AFQjCNElhd9FwCl3m3Qcb3hW7j87K1P5FQ&sig2=4OhMIB56amm8h4EOGNSk6g Theorems Stated by Ramanujan (IX): Two Continued Fractions.], 1929
 
** [http://www.google.com/url?sa=t&ct=res&cd=1&url=http%3A%2F%2Fjlms.oxfordjournals.org%2Fcgi%2Freprint%2Fs1-4%2F3%2F231&ei=JY1hSLWRLpSY8gSI7JSiBQ&usg=AFQjCNElhd9FwCl3m3Qcb3hW7j87K1P5FQ&sig2=4OhMIB56amm8h4EOGNSk6g Theorems Stated by Ramanujan (IX): Two Continued Fractions.], 1929
 
** [http://www.google.com/url?sa=t&ct=res&cd=1&url=http%3A%2F%2Fjlms.oxfordjournals.org%2Fcgi%2Freprint%2Fs1-4%2F13%2F39&ei=HY5hSNa6E5ym8ASu_biqBQ&usg=AFQjCNGfZ9Hu3vXz6bawkdnRZ2UU6jDUPA&sig2=dEC2KNSntm2J6L5GwTii3A Theorems Stated by Ramanujan (VII): Theorems on a Continued Fraction.], 1929
 
** [http://www.google.com/url?sa=t&ct=res&cd=1&url=http%3A%2F%2Fjlms.oxfordjournals.org%2Fcgi%2Freprint%2Fs1-4%2F13%2F39&ei=HY5hSNa6E5ym8ASu_biqBQ&usg=AFQjCNGfZ9Hu3vXz6bawkdnRZ2UU6jDUPA&sig2=dEC2KNSntm2J6L5GwTii3A Theorems Stated by Ramanujan (VII): Theorems on a Continued Fraction.], 1929
  
−
 
+
  
−
  
+
 
  
−
 
+
  
 
==블로그==
 
==블로그==
  
−
* [http://bomber0.byus.net/index.php/2008/06/24/673 수학과 대학원생이 되면 좋은점 - 라마누잔 이야기]<br>
+
* [http://bomber0.byus.net/index.php/2008/06/24/673 수학과 대학원생이 되면 좋은점 - 라마누잔 이야기]
−
**  피타고라스의 창, 2008-6-24<br>
+
**  피타고라스의 창, 2008-6-24
 
[[분류:q-급수]]
 
[[분류:q-급수]]

2013년 7월 23일 (화) 06:14 판

개요



로저스-라마누잔 항등식

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

\[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} = \frac {q^{11/60}}{(q^2;q^5)_\infty (q^3; q^5)_\infty} \]

  • 모듈라 변환

$$f(\tau)=\left( \begin{array}{c} q^{-1/60}G(q) \\ q^{11/60} H(q) \\ \end{array} \right) $$ 로 두면, 다음이 성립한다 $$ f(\tau+1)= \left( \begin{array}{cc} \zeta_{60}^{-1} & 0 \\ 0 & \zeta_{60}^{11} \\ \end{array} \right)f(\tau) $$

$$ f(-\frac{1}{\tau}) = \frac{2}{\sqrt{5}} \left( \begin{array}{cc} \sin \left(\frac{2 \pi }{5}\right) & \sin \left(\frac{\pi }{5}\right) \\ \sin \left(\frac{\pi }{5}\right) & -\sin \left(\frac{2 \pi }{5}\right) \\ \end{array} \right)f(\tau) = \left( \begin{array}{cc} \sqrt{\frac{2}{5-\sqrt{5}}} & \sqrt{\frac{2}{5+\sqrt{5}}} \\ \sqrt{\frac{2}{5+\sqrt{5}}} & -\sqrt{\frac{2}{5-\sqrt{5}}} \\ \end{array} \right)f(\tau) $$



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}}}}\]




재미있는 사실



관련된 항목들



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


사전형태의 자료



관련도서



관련논문




블로그

원본 주소 "https://wiki.mathnt.net/index.php?title=로저스-라마누잔_항등식&oldid=28194"