1

Heineの和公式の二重類似

39
0
$$\newcommand{bk}[0]{\boldsymbol{k}} \newcommand{bl}[0]{\boldsymbol{l}} \newcommand{BQ}[5]{{}_{#1}\psi_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{calA}[0]{\mathcal{A}} \newcommand{calS}[0]{\mathcal{S}} \newcommand{CC}[0]{\mathbb{C}} \newcommand{F}[5]{{}_{#1}F_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{inv}[0]{\mathrm{inv}} \newcommand{maj}[0]{\mathrm{maj}} \newcommand{ol}[0]{\overline} \newcommand{Q}[5]{{}_{#1}\phi_{#2}\left[\begin{matrix}#3\\#4\end{matrix};#5\right]} \newcommand{QQ}[0]{\mathbb{Q}} \newcommand{ZZ}[0]{\mathbb{Z}} $$

前回の記事で, Vandermondeの恒等式の二重類似
\begin{align} \sum_{0\leq n}\frac{(c,-N)_n}{(a,b)_{n+1}}\sum_{k=0}^n\frac{(a,b)_k}{k!(c)_k}&=\frac{N!(1+a+b-c)_N}{(a,b)_{N+1}} \end{align}
を部分分数分解を用いて示した. 今回はまずその方法を$q$類似に拡張することによって, $q$-Vandermondeの和公式の二重類似を示す.

\begin{align} \sum_{0\leq n}\frac{(c,q^{-N};q)_n}{(a,b;q)_{n+1}}\left(\frac{abq^{N+1}}{c}\right)^n\sum_{k=0}^n\frac{(a,b;q)_k}{(c,q;q)_k}\left(\frac{c}{ab}\right)^k&=\frac{(q,abq/c;q)_N}{(a,b;q)_{N+1}} \end{align}

$k\leq n$が整数のとき,
\begin{align} \frac{(a;q)_k}{(a;q)_{n+1}}a^{n-k}&=\sum_{j=k}^n\frac{(-1)^jq^{\binom{j+1}2}}{1-aq^j}\frac{(q^{-j};q)_k}{(q;q)_j(q;q)_{n-j}}q^{j(k-n)} \end{align}
が成り立つ.

\begin{align} \frac{(a;q)_k}{(a;q)_{n+1}}a^{n-k}&=a^{n-k}\prod_{j=k}^n\frac{1}{1-aq^j}\\ &=\sum_{j=k}^n\frac{c_j}{1-aq^j} \end{align}
と部分分数分解したときの係数は
\begin{align} c_j&=\lim_{a\to q^{-j}} a^{n-k}\prod_{\substack{k\leq i\leq n\\i\neq j}}\frac 1{1-aq^i}\\ &=q^{j(k-n)}\prod_{\substack{k\leq i\leq n\\i\neq j}}\frac 1{1-q^{i-j}}\\ &=q^{j(k-n)}\frac{(q^{-j};q)_k}{(q;q)_{n-j}(q^{-j};q)_j}\\ &=q^{j(k-n)}\frac{(q^{-j};q)_k}{(q;q)_{n-j}(q;q)_j}(-1)^jq^{\binom{j+1}2} \end{align}
となる.

定理1の証明

補題2より,
\begin{align} &\sum_{0\leq n}\frac{(c,q^{-N};q)_n}{(a,b;q)_{n+1}}\left(\frac{abq^{N+1}}{c}\right)^n\sum_{k=0}^n\frac{(a,b;q)_k}{(c,q;q)_k}\left(\frac{c}{ab}\right)^k\\ &=\sum_{0\leq n}\frac{(c,q^{-N};q)_n}{(b;q)_{n+1}}\left(\frac{bq^{N+1}}{c}\right)^n\sum_{k=0}^n\frac{(b;q)_k}{(c,q;q)_k}\left(\frac{c}{b}\right)^k\sum_{j=k}^n\frac{(-1)^jq^{\binom{j+1}2}}{1-aq^j}\frac{(q^{-j};q)_k}{(q;q)_j(q;q)_{n-j}}q^{j(k-n)}\\ &=\sum_{0\leq j}\frac{(-1)^jq^{\binom{j+1}2}}{(1-aq^j)(q;q)_j}\left(\sum_{0\leq n}\frac{(c,q^{-N};q)_n}{(b;q)_{n+1}(q;q)_{n-j}}\left(\frac{bq^{N-j+1}}{c}\right)^n\right)\left(\sum_{0\leq k}\frac{(b,q^{-j};q)_k}{(c,q;q)_k}\left(\frac{cq^j}{b}\right)^k\right) \end{align}
ここで, それぞれ$q$-Vandermondeの和公式より,
\begin{align} \sum_{0\leq n}\frac{(c,q^{-N};q)_n}{(b;q)_{n+1}(q;q)_{n-j}}\left(\frac{bq^{N-j+1}}{c}\right)^n&=\frac{(c,q^{-N};q)_j}{(b;q)_{j+1}}\left(\frac{bq^{N-j+1}}{c}\right)^j\sum_{0\leq n}\frac{(cq^j,q^{j-N};q)_n}{(bq^{j+1},q;q)_{n}}\left(\frac{bq^{N-j+1}}{c}\right)^n\\ &=\frac{(c,q^{-N};q)_j}{(b;q)_{j+1}}\left(\frac{bq^{N-j+1}}{c}\right)^j\frac{(bq/c;q)_{N-j}}{(bq^{j+1};q)_{N-j}}\\ &=\frac{(bq/c;q)_N}{(b;q)_{N+1}}\left(-1\right)^jq^{-\binom j2}\frac{(c,q^{-N};q)_j}{(cq^{-N}/b;q)_j}\\ \sum_{0\leq k}\frac{(b,q^{-j};q)_k}{(c,q;q)_k}\left(\frac{cq^j}{b}\right)^k&=\frac{(c/b;q)_j}{(c;q)_j} \end{align}
であるから, これを代入すると,
\begin{align} &\sum_{0\leq j}\frac{(-1)^jq^{\binom{j+1}2}}{(1-aq^j)(q;q)_j}\left(\sum_{0\leq n}\frac{(c,q^{-N};q)_n}{(b;q)_{n+1}(q;q)_{n-j}}\left(\frac{bq^{N-j+1}}{c}\right)^n\right)\left(\sum_{0\leq k}\frac{(b,q^{-j};q)_k}{(c,q;q)_k}\left(\frac{cq^j}{b}\right)^k\right)\\ &=\frac{(bq/c;q)_N}{(b;q)_{N+1}}\sum_{0\leq j}\frac{q^j}{(1-aq^j)(q;q)_j}\frac{(c/b,q^{-N};q)_j}{(cq^{-N}/b;q)_j}\\ &=\frac{(bq/c;q)_N}{(1-a)(b;q)_{N+1}}\Q32{a,c/b,q^{-N}}{aq,cq^{-N}/b}{q} \end{align}
ここで, $q$-Saalschützの和公式より,
\begin{align} \Q32{a,c/b,q^{-N}}{aq,cq^{-N}/b}{q}&=\frac{(q,abq/c;q)_N}{(aq,bq/c;q)_N} \end{align}
であるからこれを代入して定理を得る.

前の記事 のように, 一致の定理を用いれば, 定理1をnon-terminatingに拡張することができるので, 以下のHeineの和公式の二重類似を得る.

\begin{align} \sum_{0\leq n}\frac{(c,d;q)_n}{(a,b;q)_{n+1}}\left(\frac{abq}{cd}\right)^n\sum_{k=0}^n\frac{(a,b;q)_k}{(c,q;q)_k}\left(\frac{c}{ab}\right)^k&=\frac{(q,abq/c,aq/d,bq/d;q)_{\infty}}{(a,b,q/d,abq/cd;q)_{\infty}} \end{align}

投稿日:24日前
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

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

バッジはありません。

投稿者

Wataru
Wataru
729
49068
超幾何関数, 直交関数, 多重ゼータ値などに興味があります

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中