ラマヌジャンの和公式(ラマヌジャンのわこうしき、Ramanujan's summation formula)は、q超幾何級数
の和を与える公式である[1]。
![{\displaystyle {_{1}\psi _{1}}\left[{\begin{matrix}a\\b\end{matrix}};q,z\right]=\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}={\frac {(az;q)_{\infty }(q;q)_{\infty }\left({\frac {q}{az}};q\right)_{\infty }\left({\frac {b}{a}};q\right)_{\infty }}{(z;q)_{\infty }(b;q)_{\infty }\left({\frac {b}{az}};q\right)_{\infty }\left({\frac {q}{a}};q\right)_{\infty }}}\qquad (|q|<1,|b/a|<|z|<1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa121d6e0785b1ee269b86c59cc1ed4c7ac7dd14)
証明
ラマヌジャンの和公式はq二項定理から導かれる。
が負の整数であれば
![{\displaystyle {\frac {1}{(q;q)_{n}}}={\frac {1}{\displaystyle \prod _{k=n}^{-1}{\frac {1}{(1-q^{1+k})}}}}=\prod _{k=n}^{-1}(1-q^{1+k})=0\qquad (-n\in \mathbb {N} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/951ea7909cbe8d576d70b97e95896cda885e8f66)
であるから、q二項定理は
![{\displaystyle {\frac {(az;q)_{\infty }}{(z;q)_{\infty }}}=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}z^{n}=\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}z^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aad80111f383506a0d47730ba2bb5eb983def6d3)
と書ける。
を任意の正の整数として
![{\displaystyle {\begin{aligned}{\frac {(az;q)_{\infty }}{(z;q)_{\infty }}}&=\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}z^{n}\\&=\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n+k}}{(q;q)_{n+k}}}z^{n+k}\\&={\frac {(a;q)_{k}}{(q;q)_{k}}}z^{k}\sum _{n=-\infty }^{\infty }{\frac {(aq^{k};q)_{n}}{(q^{1+k};q)_{n}}}z^{n}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feddd74587bec5e7ca88139793bd9a9ef8797bd8)
であるから
![{\displaystyle {\begin{aligned}\sum _{n=-\infty }^{\infty }{\frac {(aq^{k};q)_{n}}{(q^{1+k};q)_{n}}}z^{n}&={\frac {(az;q)_{\infty }(q;q)_{k}}{(z;q)_{\infty }(a;q)_{k}}}z^{-k}\\&={\frac {(az;q)_{k}(aq^{k}z;q)_{\infty }(q;q)_{k}}{(z;q)_{\infty }(a;q)_{k}}}z^{-k}\\&={\frac {(az;q)_{k}(aq^{k}z;q)_{\infty }(q;q)_{\infty }}{(z;q)_{\infty }(a;q)_{k}(q^{1+k};q)_{\infty }}}z^{-k}\\&={\frac {(aq^{k}z;q)_{\infty }(q;q)_{\infty }(aq^{k}q^{-k}z;q)_{k}}{(z;q)_{\infty }(q^{1+k};q)_{\infty }(aq^{k}q^{-k};q)_{k}}}z^{-k}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbc4ee272ddbb6a15d069bc4db86ec2b9d7bdfe5)
である。
を
と書き、qポッホハマー記号の変換式
![{\displaystyle \left(aq^{-n};q\right)_{n}=\left(-{\frac {a}{q}}\right)^{n}q^{-n(n-1)/2}\left({\frac {q}{a}};q\right)_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f31bf79e9dfe2c57e7c2a2e36967b02a039e8dc)
により
![{\displaystyle {\begin{aligned}\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(q^{1+k};q)_{n}}}z^{n}&={\frac {(az;q)_{\infty }(q;q)_{\infty }(aq^{-k}z;q)_{k}}{(z;q)_{\infty }(q^{1+k};q)_{\infty }(aq^{-k};q)_{k}}}z^{-k}\\&={\frac {(az;q)_{\infty }(q;q)_{\infty }\left({\frac {q}{az}};q\right)_{k}}{(z;q)_{\infty }(q^{1+k};q)_{\infty }\left({\frac {q}{a}};q\right)_{k}}}\\&={\frac {(az;q)_{\infty }(q;q)_{\infty }\left({\frac {q}{az}};q\right)_{\infty }\left({\frac {q^{1+k}}{a}};q\right)_{\infty }}{(z;q)_{\infty }(q^{1+k};q)_{\infty }\left({\frac {q^{1+k}}{az}};q\right)_{\infty }\left({\frac {q}{a}};q\right)_{\infty }}}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac9dc642661d25aed7345435f2004441f608fb57)
となり、
を
と書き、
![{\displaystyle {\begin{aligned}\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}&={\frac {(az;q)_{\infty }(q;q)_{\infty }\left({\frac {q}{az}};q\right)_{\infty }\left({\frac {b}{a}};q\right)_{\infty }}{(z;q)_{\infty }(b;q)_{\infty }\left({\frac {b}{az}};q\right)_{\infty }\left({\frac {q}{a}};q\right)_{\infty }}}\qquad (b=q^{k},k\in \mathbb {N} )\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17bc56e83ab121d09bba8b9112020f579fe3844b)
となる。さて、左辺は
![{\displaystyle {\begin{aligned}\sum _{n=-\infty }^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}+\sum _{n=1}^{\infty }{\frac {(a;q)_{-n}}{(b;q)_{-n}}}z^{-n}\\&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}+\sum _{n=1}^{\infty }{\frac {(bq^{-n};q)_{n}}{(aq^{-n};q)_{n}}}z^{-n}\\&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(b;q)_{n}}}z^{n}+\sum _{n=1}^{\infty }{\frac {\left({\frac {q}{b}};q\right)_{n}}{\left({\frac {q}{a}};q\right)_{n}}}\left({\frac {b}{az}}\right)^{n}\\\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf7942a7d4c2adf9a92c43f618c1d38ccbe4a2f5)
であるから、
で収束する。従って、両辺とも
の関数として考えれば
で正則であり、
で両辺が一致するから一致の定理により大局的にも一致する。
出典
- ^ Kim (2006), Transformations of Ramanujan's Summation Formula and its Application
関連項目