■制限のある分割から(その31)
q-階乗は
(a;q)n=(1-a)(1-aq)・・・(1-aq^(n-1))=Π(1-aq^k)
なる記号を導入すると
(q;q)n=(1-q)(1-q^2)・・・(1-q^n)=Π(1-q^k)
qを省略して単に(a)n,(q)nと書くことも多い.q=exp(-ε)とすると,q→1(ε→0)の極限で(q)n=n!exp(n)となる.
ロジャーズ・ラマヌジャンの第1恒等式の母関数は
Σq(n)x^n=Π1/(1-x^(5n-4))(1-x^(5n-1)=Σq^(n^2)/(q)n
第2恒等式では
Σq(n)x^n=Π1/(1-x^(5n-3))(1-x^(5n-2)=Σq^(n^2+n)/(q)n
ヤコビの3重積公式を用いると,さらに
Σq^(n^2)/(q)n=1/(q)nΣ(-1)^rq^{(5r^2-r)/2}
Σq^(n^2+n)/(q)n=1/(q)nΣ(-1)^rq^{(5r^2+3r)/2}
と変形できる.
===================================