ハイネの和公式

ハイネの和公式（ハイネのわこうしき、Heine's summation formula）はガウスの超幾何定理の q-類似である。ドイツの数学者エドゥアルト・ハイネに因む。ハイネは19世紀中頃に超幾何級数のq-類似の研究を行った。

内容

ガウスの超幾何級数

$_{2}F_{1}\left[{\begin{matrix}a,b\\c\end{matrix}};z\right]=\sum _{n=0}^{\infty }{\frac {(a)_{n}(b)_{n}}{(c)_{n}\;n!}}z^{n}$

に対し、その q-類似は

$_{2}\phi _{1}\left[{\begin{matrix}a,b\\c\end{matrix}};q,z\right]=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}(b;q)_{n}}{(q;q)_{n}(c;q)_{n}}}z^{n}$

で定義される。但し、ポッホハマー記号

$(a)_{n}=a(a+1)\cdots (a+n-1)$

と q-ポッホハマー記号

$(a;q)_{n}={\begin{cases}(1-aq)(1-aq^{2})\cdots (1-aq^{n-1})&(n>0)\\1&(n=0)\end{cases}}$

を用いた。 このとき、次の関係式をハイネの和公式と呼ぶ。

$_{2}\phi _{1}\left[{\begin{matrix}a,b\\c\end{matrix}};q,{\frac {c}{ab}}\right]={\frac {\left({\frac {c}{a}};q\right)_{\infty }\left({\frac {c}{b}};q\right)_{\infty }}{\left(c;q\right)_{\infty }\left({\frac {c}{ab}};q\right)_{\infty }}}\qquad {\biggl (}{\bigl |}{\frac {c}{ab}}{\bigr |}<1{\biggr )}$

これはガウスの超幾何定理

$_{2}F_{1}\left[{\begin{matrix}a,b\\c\end{matrix}};1\right]={\frac {\Gamma (c)\Gamma (c-a-b)}{\Gamma (c-a)\Gamma (c-b)}}\qquad (\Re {a}+\Re {b}<\Re {c},c\not \in \mathbb {Z} \setminus \mathbb {N} )$

の q-類似となっている。

ハイネの和公式は、次のハイネの変換式(Heine's transformation)から導くことができる。

$_{2}\phi _{1}\left[{\begin{matrix}a,b\\c\end{matrix}};q,z\right]={\frac {(b;q)_{\infty }(az;q)_{\infty }}{(c;q)_{\infty }(z;q)_{\infty }}}{_{2}\phi _{1}}\left[{\begin{matrix}{\frac {c}{b}},z\\az\end{matrix}};q,b\right]$

証明

ハイネの変換式はq二項定理から導かれる。

${\begin{aligned}_{2}\phi _{1}\left[{\begin{matrix}a,b\\c\end{matrix}};q,z\right]&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}(b;q)_{n}}{(q;q)_{n}(c;q)_{n}}}z^{n}\\&=\sum _{n=0}^{\infty }{\frac {(a;q)_{n}(b;q)_{\infty }(cq^{n};q)_{\infty }}{(q;q)_{n}(c;q)_{\infty }(bq^{n};q)_{\infty }}}z^{n}\\&={\frac {(b;q)_{\infty }}{(c;q)_{\infty }}}\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}\left({\frac {(cq^{n};q)_{\infty }}{(bq^{n};q)_{\infty }}}\right)z^{n}\\&={\frac {(b;q)_{\infty }}{(c;q)_{\infty }}}\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}\left(\sum _{m=0}^{\infty }{\frac {({\frac {c}{b}};q)_{m}}{(q;q)_{m}}}(bq^{n})^{m}\right)z^{n}\\&={\frac {(b;q)_{\infty }}{(c;q)_{\infty }}}\sum _{m=0}^{\infty }{\frac {({\frac {c}{b}};q)_{m}}{(q;q)_{m}}}\left(\sum _{n=0}^{\infty }{\frac {(a;q)_{n}}{(q;q)_{n}}}(zq^{m})^{n}\right)b^{m}\\&={\frac {(b;q)_{\infty }}{(c;q)_{\infty }}}\sum _{m=0}^{\infty }{\frac {({\frac {c}{b}};q)_{m}}{(q;q)_{m}}}\left({\frac {(azq^{m};q)_{\infty }}{(zq^{m};q)_{\infty }}}\right)b^{n}\\&={\frac {(b;q)_{\infty }}{(c;q)_{\infty }}}\sum _{m=0}^{\infty }{\frac {({\frac {c}{b}};q)_{m}(z;q)_{m}(az;q)_{\infty }}{(q;q)_{m}(az;q)_{m}(z;q)_{\infty }}}\\&={\frac {(b;q)_{\infty }(az;q)_{\infty }}{(c;q)_{\infty }(z;q)_{\infty }}}{_{2}\phi _{1}}\left[{\begin{matrix}{\frac {c}{b}},z\\az\end{matrix}};q,b\right]\\\end{aligned}}$

ハイネの和公式はハイネの変換式に$z={\tfrac {c}{ab}}$を代入することにより得られる。

${\begin{aligned}_{2}\phi _{1}\left[{\begin{matrix}a,b\\c\end{matrix}};q,{\frac {c}{ab}}\right]&={\frac {(b;q)_{\infty }({\frac {c}{b}};q)_{\infty }}{(c;q)_{\infty }({\frac {c}{ab}};q)_{\infty }}}{_{2}\phi _{1}}\left[{\begin{matrix}{\frac {c}{b}},{\frac {c}{ab}}\\{\frac {c}{b}}\end{matrix}};q,b\right]\\&={\frac {(b;q)_{\infty }({\frac {c}{b}};q)_{\infty }}{(c;q)_{\infty }({\frac {c}{ab}};q)_{\infty }}}\left(\sum _{n=0}^{\infty }{\frac {({\frac {c}{b}};q)_{n}({\frac {c}{ab}};q)_{n}}{(q;q)_{n}({\frac {c}{b}};q)_{n}}}b^{n}\right)\\&={\frac {(b;q)_{\infty }({\frac {c}{b}};q)_{\infty }}{(c;q)_{\infty }({\frac {c}{ab}};q)_{\infty }}}\left(\sum _{n=0}^{\infty }{\frac {({\frac {c}{ab}};q)_{n}}{(q;q)_{n}}}b^{n}\right)\\&={\frac {(b;q)_{\infty }({\frac {c}{b}};q)_{\infty }}{(c;q)_{\infty }({\frac {c}{ab}};q)_{\infty }}}\left({\frac {({\frac {c}{a}};q)_{\infty }}{(b;q)_{\infty }}}\right)\\&={\frac {({\frac {c}{a}};q)_{\infty }({\frac {c}{b}};q)_{\infty }}{(c;q)_{\infty }({\frac {c}{ab}};q)_{\infty }}}\\\end{aligned}}$

参考文献

書籍

• Andrews, George E. (1986). q -Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics and Computer Algebra. CBMS. American Mathematical Society. ISBN 978-0821807163