1

Rogers-Ramanujan型の等式その1, Heineの和公式

129
0
$$\newcommand{bk}[0]{\boldsymbol{k}} \newcommand{bl}[0]{\boldsymbol{l}} \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{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}} $$

ここでは, Heineの和公式
\begin{align} \sum_{0\leq n}\frac{(a,b;q)_n}{(c,q;q)_n}\left(\frac{c}{ab}\right)^n&=\frac{(c/a,c/b;q)_{\infty}}{(c,c/ab;q)_{\infty}} \end{align}
を用いて色々なRogers-Ramanujan型の級数の等式を示す.

まず, Heineの和公式において, $b\mapsto \infty$とすると以下を得る.

以下の等式が成り立つ.
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{\frac{n^2-n}2}(a;q)_n}{(c,q;q)_n}\left(\frac ca\right)^n&=\frac{(c/a;q)_{\infty}}{(c;q)_{\infty}} \end{align}

まず定理1において, $a=q, c=q^{\frac 32}$とすると,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{\frac{n^2}2}}{(q^{\frac 32};q)_n}&=\frac{(q^{\frac 12};q)_{\infty}}{(q^{\frac 32};q)_{\infty}}=1-q^{\frac 12} \end{align}
となる. 両辺に$1-q^\frac 12$を掛けて$q\mapsto q^2$とすると,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2}}{(q;q^2)_{n+1}}&=1 \end{align}

次に, 定理1において, $a=q,c=-q$とすると,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2-n}2}}{(-q;q)_n}&=\frac{(-1;q)_{\infty}}{(-q;q)_{\infty}}=2 \end{align}
を得る.

\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2}}{(q;q^2)_{n+1}}&=1\\ \sum_{0\leq n}\frac{q^{\frac{n^2-n}2}}{(-q;q)_n}&=2 \end{align}

を得る. 次に, 定理1において, $a=q^{\frac 12},c=q$とすると,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{\frac{n^2}2}(q^{\frac 12};q)_n}{(q;q)_n^2}&=\frac{(q^{\frac 12};q)_{\infty}}{(q;q)_{\infty}} \end{align}

を得る. $q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2}(q;q^2)_n}{(q^2;q^2)_n^2}&=\frac{(q;q^2)_{\infty}}{(q^2;q^2)_{\infty}} \end{align}
を得る. 次に, 定理1において, $a=q^{\frac 12},c=-q$とすると,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2}2}(q^{\frac 12};q)_n}{(q^2;q^2)_n}&=\frac{(-q^{\frac 12};q)_{\infty}}{(-q;q)_{\infty}} \end{align}
を得る. $q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{q^{n^2}(q;q^2)_n}{(q^4;q^4)_n}&=\frac{(-q;q^2)_{\infty}}{(-q^2;q^2)_{\infty}} \end{align}
を得る. 次に, 定理1において, $a=-q^{\frac 12},c=q$とすると,

\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2}2}(-q^{\frac 12};q)_n}{(q;q)_n^2}&=\frac{(-q^\frac 12;q)_{\infty}}{(q;q)_{\infty}} \end{align}

$q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{q^{n^2}(-q;q^2)_n}{(q^2;q^2)_n^2}&=\frac{(-q;q^2)_{\infty}}{(q^2;q^2)_{\infty}} \end{align}

を得る. 次に, 定理1において, $a=-q^{\frac 12},c=-q$とすると,

\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{\frac{n^2}2}(-q^{\frac 12};q)_n}{(q^2;q^2)_n}&=\frac{(q^\frac 12;q)_{\infty}}{(-q;q)_{\infty}} \end{align}

$q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2}(-q;q^2)_n}{(q^4;q^4)_n}&=\frac{(q;q^2)_{\infty}}{(-q^2;q^2)_{\infty}} \end{align}
を得る.

\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2}(q;q^2)_n}{(q^2;q^2)_n^2}&=\frac{(q;q^2)_{\infty}}{(q^2;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{q^{n^2}(q;q^2)_n}{(q^4;q^4)_n}&=\frac{(-q;q^2)_{\infty}}{(-q^2;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{q^{n^2}(-q;q^2)_n}{(q^2;q^2)_n^2}&=\frac{(-q;q^2)_{\infty}}{(q^2;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{(-1)^nq^{n^2}(-q;q^2)_n}{(q^4;q^4)_n}&=\frac{(q;q^2)_{\infty}}{(-q^2;q^2)_{\infty}} \end{align}

次に, 定理1において, $a=q^{\frac 12},c=-q^{\frac 12}$とすると,

\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2-n}2}(q^{\frac 12};q)_n}{(-q^{\frac 12},q;q)_n}&=\frac{(-1;q)_{\infty}}{(-q^{\frac 12};q)_{\infty}}=\frac{2(-q;q)_{\infty}}{(-q^{\frac 12};q)_{\infty}} \end{align}
$q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{q^{n^2-n}(q;q^2)_n}{(-q,q^2;q^2)_n}&=\frac{2(-q^2;q^2)_{\infty}}{(-q;q^2)_{\infty}} \end{align}
を得る. また, 定理1において, $a=q^{\frac 12},c=-q^\frac 32$とすると,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2+n}2}(q^{\frac 12};q)_n}{(-q^{\frac32},q;q)_n}&=\frac{(-q;q)_{\infty}}{(-q^{\frac 32};q)_{\infty}} \end{align}
両辺を$1+q^{\frac 12}$で割って$q\mapsto q^2$とすると,
\begin{align} \sum_{0\leq n}\frac{q^{n^2+n}(q;q^2)_n}{(q^2;q^2)_n(-q;q^2)_{n+1}}&=\frac{(-q^2;q^2)_{\infty}}{(-q;q^2)_{\infty}} \end{align}

\begin{align} \sum_{0\leq n}\frac{q^{n^2-n}(q;q^2)_n}{(-q,q^2;q^2)_n}&=\frac{2(-q^2;q^2)_{\infty}}{(-q;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{q^{n^2+n}(q;q^2)_n}{(q^2;q^2)_n(-q;q^2)_{n+1}}&=\frac{(-q^2;q^2)_{\infty}}{(-q;q^2)_{\infty}} \end{align}

次に定理1において, $a=-1,c=q$として,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2+n}2}(-1;q)_n}{(q;q)_n^2}&=\frac{(-q;q)_{\infty}}{(q;q)_{\infty}} \end{align}
を得る. 次に定理1において, $a=-q,c=q$として,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2-n}2}(-q;q)_n}{(q;q)_n^2}&=\frac{(-1;q)_{\infty}}{(q;q)_{\infty}}=\frac{2(-q;q)_{\infty}}{(q;q)_{\infty}} \end{align}
を得る.

\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2+n}2}(-1;q)_n}{(q;q)_n^2}&=\frac{(-q;q)_{\infty}}{(q;q)_{\infty}}\\ \sum_{0\leq n}\frac{q^{\frac{n^2-n}2}(-q;q)_n}{(q;q)_n^2}&=\frac{2(-q;q)_{\infty}}{(q;q)_{\infty}} \end{align}

次に定理1において, $a=-1,c=q^{\frac 12}$として,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2}2}(-1;q)_n}{(q^{\frac 12};q^{\frac 12})_{2n}}&=\frac{(-q^{\frac 12};q)_{\infty}}{(q^{\frac 12};q)_{\infty}} \end{align}
$q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{q^{n^2}(-1;q^2)_n}{(q;q)_{2n}}&=\frac{(-q;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}
を得る. 次に定理1において, $a=-q,c=q^{\frac 32}$として,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2}2}(-q;q)_n}{(q^{\frac 32},q;q)_{n}}&=\frac{(-q^{\frac 12};q)_{\infty}}{(q^{\frac 32};q)_{\infty}} \end{align}
両辺を$1-q^{\frac 12}$で割って, $q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{q^{n^2}(-q^2;q^2)_n}{(q;q)_{2n+1}}&=\frac{(-q;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}
を得る.

\begin{align} \sum_{0\leq n}\frac{q^{n^2}(-1;q^2)_n}{(q;q)_{2n}}&=\frac{(-q;q^2)_{\infty}}{(q;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{q^{n^2}(-q^2;q^2)_n}{(q;q)_{2n+1}}&=\frac{(-q;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}とすると

次に定理1において, $a=-q^{\frac 12},c=q^{\frac 12}$とすると,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2-n}2}(-q^{\frac 12};q)_n}{(q^{\frac 12};q^{\frac 12})_{2n}}&=\frac{(-1;q)_{\infty}}{(q^{\frac 12};q)_{\infty}}=\frac{2(-q;q)_{\infty}}{(q^{\frac 12};q)_{\infty}} \end{align}
$q\mapsto q^2$として,
\begin{align} \sum_{0\leq n}\frac{q^{n^2-n}(-q;q^2)_n}{(q;q)_{2n}}&=\frac{2(-q^2;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}
を得る. 次に定理1において, $a=-q^{\frac 12},c=q^{\frac 32}$とすると,
\begin{align} \sum_{0\leq n}\frac{q^{\frac{n^2+n}2}(-q^{\frac 12};q)_n}{(q^{\frac 32},q;q)_n}&=\frac{(-q;q)_{\infty}}{(q^{\frac 32};q)_{\infty}} \end{align}
両辺を$1-q^{\frac 12}$で割って, $q\mapsto q^2$として,
\begin{align} \sum_{\leq n}\frac{q^{n^2+n}(-q;q^2)_n}{(q;q)_{2n+1}}&=\frac{(-q^2;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}
を得る.

\begin{align} \sum_{0\leq n}\frac{q^{n^2-n}(-q;q^2)_n}{(q;q)_{2n}}&=\frac{2(-q^2;q^2)_{\infty}}{(q;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{q^{n^2+n}(-q;q^2)_n}{(q;q)_{2n+1}}&=\frac{(-q^2;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}

次に定理1において, $a=q^{\frac 12},c=q^{\frac 32}$とすると,
\begin{align} (1-q^{\frac 12})\sum_{0\leq n}\frac{(-1)^nq^{\frac{n^2+n}2}}{(1-q^{n+\frac 12})(q;q)_n}&=\frac{(q;q)_{\infty}}{(q^{\frac 32};q)_{\infty}} \end{align}
両辺を$1-q^{\frac 12}$で割って$q\mapsto q^2$とすると,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2+n}}{(1-q^{2n+1})(q^2;q^2)_n}&=\frac{(q^2;q^2)_{\infty}}{(q;q^2)_{\infty}} \end{align}

次に定理1において, $a=-q^{\frac 12},c=-q^{\frac 32}$とすると,
\begin{align} (1+q^{\frac 12})\sum_{0\leq n}\frac{(-1)^nq^{\frac{n^2+n}2}}{(1+q^{n+\frac 12})(q;q)_n}&=\frac{(q;q)_{\infty}}{(-q^{\frac 32};q)_{\infty}} \end{align}
両辺を$1+q^{\frac 12}$で割って$q\mapsto q^2$とすると,
\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2+n}}{(1+q^{2n+1})(q^2;q^2)_n}&=\frac{(q^2;q^2)_{\infty}}{(-q;q^2)_{\infty}} \end{align}
を得る.

\begin{align} \sum_{0\leq n}\frac{(-1)^nq^{n^2+n}}{(1-q^{2n+1})(q^2;q^2)_n}&=\frac{(q^2;q^2)_{\infty}}{(q;q^2)_{\infty}}\\ \sum_{0\leq n}\frac{(-1)^nq^{n^2+n}}{(1+q^{2n+1})(q^2;q^2)_n}&=\frac{(q^2;q^2)_{\infty}}{(-q;q^2)_{\infty}} \end{align}

投稿日:72
更新日:72
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

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