2
現代数学解説
文献あり

Bressoudの反転公式

94
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}} $$

$a$に関するBailey対$(\alpha_n,\beta_n)$
\begin{align} \beta_n=\sum_{k=0}^n\frac{\alpha_k}{(q;q)_{n-k}(aq;q)_{n+k}} \end{align}
を満たすものとして定義される. それは
\begin{align} \alpha_n=\frac{1-aq^{2n}}{1-a}\sum_{k=0}^n\frac{(a;q)_{n+k}(-1)^{n-k}q^{\binom{n-k}2}}{(q;q)_{n-k}}\beta_k \end{align}
を満たすことと同値であることを 前の記事 で示した. 無限次行列$(A_{n,k})_{n,k\geq 0}$$n< k$のとき$A_{n,k}=0$であるとき三角行列という. 任意の$0\leq m\leq n$に対して
\begin{align} \sum_{m\leq k\leq n}A_{n,k}B_{k,m}&=\delta_{n,m} \end{align}
が成り立つとき, $(B_{n,k})_{n,k\geq 0}$$(A_{n,k})_{n,k\geq 0}$の逆行列であるという. 上のBailey対に関する反転公式は
\begin{align} A_{n,k}&=\frac 1{(q;q)_{n-k}(aq;q)_{n+k}}\\ B_{n,k}&=\frac{1-aq^{2n}}{1-a}\frac{(a;q)_{n+k}(-1)^{n-k}q^{\binom{n-k}2}}{(q;q)_{n-k}} \end{align}
がそれぞれ逆行列の関係にあることを意味している. それを一般化したのが次のBressoudの反転公式である.

Bressoud(1983)

$0\leq n,k$に対して,
\begin{align} D_{n,k}(a,b):=\frac{1-aq^{2k}}{1-a}\frac{(b;q)_{n+k}(b/a;q)_{n-k}}{(aq;q)_{n+k}(q;q)_{n-k}}\left(\frac ba\right)^k \end{align}
とする. このとき$(D_{n,k}(a,b))_{n,k\geq 0}$の逆行列は$(D_{n,k}(b,a))_{n,k\geq 0}$によって与えられる.

$0\leq m\leq n$とする.
\begin{align} &\sum_{m\leq k\leq n}D_{n,k}(a,b)D_{k,m}(b,a)\\ &=\sum_{k=m}^n\frac{1-aq^{2k}}{1-a}\frac{(b;q)_{n+k}(b/a;q)_{n-k}}{(aq;q)_{n+k}(q;q)_{n-k}}\left(\frac ba\right)^k\frac{1-bq^{2m}}{1-b}\frac{(a;q)_{k+m}(a/b;q)_{k-m}}{(bq;q)_{k+m}(q;q)_{k-m}}\left(\frac ab\right)^m\\ &=\frac{1-bq^{2m}}{1-b}\sum_{k=0}^{n-m}\frac{1-aq^{2k+2m}}{1-a}\frac{(b;q)_{n+m+k}(b/a;q)_{n-m-k}}{(aq;q)_{n+m+k}(q;q)_{n-m-k}}\left(\frac ba\right)^{k}\frac{(a;q)_{k+2m}(a/b;q)_{k}}{(bq;q)_{k+2m}(q;q)_{k}}\\ &=\frac{1-aq^{2m}}{1-a}\frac{1-bq^{2m}}{1-b}\frac{(b;q)_{n+m}(b/a;q)_{n-m}(a;q)_{2m}}{(aq;q)_{n+m}(q;q)_{n-m}(bq;q)_{2m}}\sum_{k=0}^{n-m}\frac{1-aq^{2k+2m}}{1-aq^{2m}}\frac{(bq^{n+m},q^{m-n},aq^{2m},a/b;q)_k}{(aq^{n+m+1},aq^{1+m-n}/b,bq^{2m+1},q;q)_k}q^k \end{align}
ここで, Rogersの${}_6\phi_5$和公式 より, Kroneckerのデルタを用いて
\begin{align} \sum_{k=0}^{n-m}\frac{1-aq^{2k+2m}}{1-aq^{2m}}\frac{(bq^{n+m},q^{m-n},aq^{2m},a/b;q)_k}{(aq^{n+m+1},aq^{1+m-n}/b,bq^{2m+1},q;q)_k}q^k&=\frac{(aq^{2m+1},q^{m-n+1};q)_{n-m}}{(aq^{1+m-n}/b,bq^{2m+1};q)_{n-m}}\\ &=\delta_{n,m} \end{align}
と表されるからこれを代入して定理を得る.

定理を言い換えると
\begin{align} \frac{1-a}{1-aq^{2k}}D_{n,k}(a,b)\left(\frac ab\right)^k&=\frac{(b;q)_{n+k}(b/a;q)_{n-k}}{(aq;q)_{n+k}(q;q)_{n-k}} \end{align}
\begin{align} \frac{1-aq^{2n}}{1-a}D_{n,k}(b,a)\left(\frac{b}{a}\right)^n=\frac{1-aq^{2n}}{1-a}\frac{1-bq^{2k}}{1-b}\frac{(a;q)_{n+k}(a/b;q)_{n-k}}{(bq;q)_{n+k}(q;q)_{n-k}}\left(\frac ba\right)^{n-k} \end{align}
は逆行列の関係にあることが分かる. 特に$b\to 0$とすると$a$に関するBailey対の反転公式を得る. 一般に,
\begin{align} \beta_n&=\sum_{k=0}^n\frac{(b;q)_{n+k}(b/a;q)_{n-k}}{(aq;q)_{n+k}(q;q)_{n-k}}\alpha_k\\ &=\frac{(b,b/a;q)_n}{(aq,q;q)_n}\sum_{k=0}^n\frac{(q^{-n},bq^n;q)_k}{(aq^{1-n}/b,aq^{n+1};q)_k}\left(\frac{aq}b\right)^k\alpha_k \end{align}
によって関係する数列の組$(\alpha_n,\beta_n)$はWP-Bailey対と呼ばれている.

参考文献

[1]
D. M. Bressoud, A Matrix Inverse, Proceedings of the American Mathematical Society, 1983, 446-448
投稿日:9日前
更新日:5日前
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。

投稿者

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

コメント

他の人のコメント

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