ここでは，Saalschuetzの和公式
$$
\F32{a,b,-n}{c,1+a+b-c-n}1=\frac{(c-a, c-b)_n}{(c,c-a-b)_n}
$$
の$q$類似である$q$-Saalschuetzの和公式を示す．

&&&prop $q$-Saalschuetzの和公式
\begin{align}
\Q32{a,b,q^{-n}}{c,abq^{1-n}/c}{q}&=\frac{(c/a,c/b;q)_n}{(c,c/ab;q)_n}
\end{align}
&&&
&&&prf
Heineの変換公式
$$
\p21\hgs{a,b}{c}{q;x}=\frac{(abx/c;q)_{\infty}}{(x;q)_{\infty}}\p21\hgs{c/a,c/b}{c}{q;\frac{abx}c}
$$
の両辺の$z^n$の係数を比較して，
\begin{align}
\frac{(a,b;q)_n}{(c,q;q)_n}
&=\sum_{k=0}^n\frac{(c/a,c/b;q)_k}{(c,q;q)_k}\L(\frac c{ab}\R)\frac{(ab/c;q)_{n-k}}{(q;q)_{n-k}}\\
&=\frac{(ab/c;q)_n}{(q;q)_n}\sum_{k=0}^n\frac{(c/a,c/b,q^{-n})_k}{(c,cq^{1-n}/ab,q;q)_k}q^k
\end{align}
となるので，$a, b$をそれぞれ$c/a, c/b$に置き換えることで主張を得る．
&&&
一般化として，[Non-terminating $q$-Saalschuetzの和公式](https://mathlog.info/articles/7BOghPo1vSQ2Bv4lkspK)

\begin{align}
\Q32{a,b,c}{d,e}{q}&=\frac{(q/d,e/a,e/b,e/c;q)_{\infty}}{(aq/d,bq/d,cq/d,e;q)_{\infty}}-\frac{(q/d,a,b,c,eq/d;q)_{\infty}}{(d/q,aq/d,bq/d,cq/d,e;q)_{\infty}}\Q32{aq/d,bq/d,cq/d}{q^2/d,eq/d}q
\end{align}

がある．これは$q$-Saalschuetzの和公式同様，$abcq=de$のときに成立する．また，$q$-Saalschuetzの和公式において$n\to\infty$とすることによってHeineの和公式
$$
\Q21{a,b}{c}{q;\frac c{ab}}=\frac{(c/a,c/b;q)_{\infty}}{(c,c/ab;q)_{\infty}}
$$
を得ることができる．つまり古典的な場合において，Saalschuetzの和公式はGaussの和公式を含む．

また，$a\mapsto aq/bc, b\mapsto aq^n, c\mapsto aq/b$という置換により次の系を得る．

&&&cor
$$
\Q32{aq/bc, aq^n, q^{-n}}{aq/b, aq/c}q=\frac{(b,c;q)_n}{(aq/b, aq/c;q)_n}\L(\frac{aq}{bc}\R)^n
$$
&&&

これの古典的な場合が
$$
\F32{1+a-b-c, a+n, -n}{1+a-b, 1+a-c}1=\frac{(b,c)_n}{(1+a-b, 1+a-c)_n}
$$
であり，$a=b=c=\frac12$とすることで，
$$
\beta_n^2=\F32{-n, n+\frac12, \frac12}{1,1}1
$$
のようなものを得ることができる．

q-Saalschuetzの和公式の証明

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント