9
現代数学解説
文献あり

超幾何数列の基礎1:閉形式

715
1
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{bs}[0]{\boldsymbol} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathcal{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\mathcal{L}} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 このシリーズでは超幾何数列という対象の基本事項についてまとめていきます。
 内容としては"A=B"という書籍の第II章から要点を抜き出してまとめていくので、より詳しい話が知りたい人は同書などを参照してください。ちなみに"A=B"は 公式のpdf が公開されているので誰でも閲覧することができます。

定義

hypergeometric term

 $0$でない数列$A(n)$超幾何数列であるとは、その階比
$$\frac{A(n+1)}{A(n)}$$
$n$についての有理関数となることを言う。

 隣り合う項の比が一定であるような数列、つまり等比数列のことを時に幾何数列(geometric sequence)と言うことがあり、超幾何数列(hypergeometric sequence)はその一般化として考えられた概念となります。
 超幾何数列はその階比を
$$\frac{A(n+1)}{A(n)}=\frac{(a_1+n)\cdots(a_p+n)}{(b_1+n)\cdots(b_q+n)}z$$
と因数分解すると、その一般項はポッホハマー記号
$$(x)_n =\l\{\begin{array}{ll} x(x+1)\cdots(x+n-1)\quad&(n\geq0)\\ \dis\frac1{(x-1)\cdots(x+n)}&(n<0) \end{array}\r.$$
を用いて
$$A(n)=A(0)\frac{(a_1)_n\cdots(a_p)_n}{(b_1)_n\cdots(b_q)_n}z^n$$
と表せます($a_j$$b_j$の値によっては$0$除算が発生することもありますが、あまり気にしないこととします)。

呼称について

 hypergeometric "sequence"はしばしばhypergeometric "term"と呼ばれますが、それはこのように超幾何級数
$${}_pF_q\l(\begin{matrix} a_1,\ldots,a_p\\ b_1,\ldots,b_q \end{matrix};z\r) =\sum^\infty_{n=0}\frac{(a_1)_n\cdots(a_p)_n}{(b_1)_n\cdots(b_q)_n}\frac{z^n}{n!}$$
$n$項目($n$-th term)として現れる数列であることを由来としています。
 また呼称としてはhypergeometric "term"の方が一般的であり、直訳するなら超幾何"項"と言うのが適当ですが、個人的な好みによりこのシリーズでは超幾何"数列"という呼称を採用することにしています。

閉形式

 我々が超幾何数列を考える上で関心が高いのはその総和、例えば
$$S(n)=\sum^{n-1}_{k=0}A(k)$$
などが"閉じた形"に表せるか、ということにあります。
 次回以降の記事でこのような問題を考えていくために、今回の記事ではまず"閉じた形"とは具体的にどのような表示のことを指すのか、そして与えられた数列が"閉じた形"に表せるかどうかはどのように判別できるのか、ということについて解説していきます。

定義

 超幾何数列全体のなす集合を$\H$$\H$によって生成される線形空間を$\L(\H)$とおく。

ちょっと細かい話

 $0$でない数列$A(n)$が体$K$上の超幾何数列であるとは、その階比が
$$\frac{A(n+1)}{A(n)}\in K(n)$$
を満たすことを言う。
 また$K$上の超幾何数列全体のなす集合を$\H_K$$\H$によって生成される$K$-線形空間を$\L(\H_K)$とおく。このとき$\L(\H_K)$$K(n)$-線形空間ともみなせることに注意する。

closed form

 数列$f(n)$閉形式であるとは$f(n)\in\L(\H)$であること、つまりある超幾何数列$A_1(n),\ldots,A_r(n)$が存在して
$$f(n)=\sum^r_{k=1}A_k(n)$$
と表せることを言う。

 例えば幾何数列の部分和
$$\sum^{n-1}_{k=0}z^n=\frac{z^n-1}{z-1}$$
は二つの超幾何数列
$$\frac{z^n}{z-1},\quad-\frac1{z-1}$$
の和として表せているので、これは閉形式となります。

相似関係

 まず超幾何数列の和を考える上で重要となる相似という関係について紹介しておきましょう。

similar

 超幾何数列$A(n),B(n)$相似であるとはその比$A(n)/B(n)$$n$についての有理関数として表せることを言い、そのことを$A(n)\sim B(n)$と表す。これによって定まる$\H$の二項関係$\sim$は同値関係をなす。

 超幾何数列$A(n),B(n)$に対し、$A(n)+B(n)$が超幾何数列または$0$であることと$A(n)\sim B(n)$であることは同値である。

証明

 $A(n)+B(n)=0$のときは明らか。いま$A(n)+B(n)\neq0$とし
$$R_A(n)=\frac{A(n+1)}{A(n)},\quad R_B(n)=\frac{B(n+1)}{B(n)},\quad R_{A/B}(n)=\frac{A(n)}{B(n)},\quad R_{A+B}(n)=\frac{A(n+1)+B(n+1)}{A(n)+B(n)}$$
とおく。このとき$R_{A/B}(n)$が有理関数であることと$R_{A+B}(n)$が有理関数であることは同値となることを示せばよい。
 そのことは
$$R_{A+B}(n)=\frac{R_A(n)R_{A/B}(n)+R_B(n)}{R_{A/B}(n)+1}$$
およびこれを$R_{A/B}(n)$について整理することで
$$R_{A/B}(n)=-\frac{R_{A+B}(n)-R_B(n)}{R_{A+B}(n)-R_A(n)}$$
が成り立つことに注意するとわかる。

 超幾何数列$A_1(n),\ldots,A_r(n)$
$$\sum^r_{k=1}A_k(n)=0$$
を満たすとき、ある$i\neq j$に対し$A_i(n)\sim A_j(n)$が成り立つ。

証明

 $r$についての数学的帰納法によって示す。$r=2$のときは明らか。
 いま
$$R_k(n)=\frac{A_k(n+1)}{A_k(n)}$$
とおくと命題の仮定より
$$\sum^r_{k=1}A_k(n+1)=\sum^r_{k=1}R_k(n)A_k(n)=0$$
および
$$R_r(n)\sum^r_{k=1}A_k(n)=0$$
が成り立つのでこの差を取ることで
$$\sum^{r-1}_{k=1}(R_r(n)-R_k(n))A_k(n)=0$$
が得られる。
 このときある$k$に対して$R_r(n)-R_k(n)=0$であれば
$$\frac{A_r(n+1)}{A_k(n+1)}=\frac{A_r(n)}{A_k(n)}$$
つまり$A_r(n)/A_k(n)$は定数となるので$A_r(n)\sim A_k(n)$が成り立つ。
 また全ての$k$に対して$R_r(n)-R_k(n)\neq0$であれば、帰納法の仮定よりある$i\neq j$に対して
$$(R_r(n)-R_i(n))A_i(n)\sim(R_r(n)-R_j(n))A_j(n)$$
が成り立ち、$R_r(n)-R_k(n)$は有理関数であることから$A_i(n)\sim A_j(n)$がわかる。

 $0$でない任意の$f(n)\in\L(\H)$に対し、ある互いに相似でない超幾何数列$A_1(n),\ldots,A_r(n)$が存在して
$$f(n)=\sum^r_{k=1}A_k(n)$$
が成り立つ。またこのような表示は一意的である。

証明

 $\L(\H)$の定義から$f(n)$はある超幾何数列$B_1(n),\ldots,B_r(n)$を用いて
$$f(n)=\sum^r_{k=1}B_k(n)$$
と表せる。このときある$i\neq j$に対し$B_i(n)\sim B_j(n)$であればこれは再び超幾何数列(または$0$)となるので一項にまとめることができ、このように項をまとめていくことで主張のような表示が得られる。
 いま二通りの表示
$$f(n)=\sum^r_{k=1}A_k(n)=\sum^{r'}_{k=1}A'_k(n)$$
が得られたとき、適当に順番を入れ替え相似なもの同士をまとめることで
$$\sum^s_{k=t}(A_k(n)-A'_k(n))+\sum^r_{k=s}A_k(n)-\sum^{r'}_{j=s}A'_k(n)=0$$
は互いに相似でない超幾何数列の和となる。したがって命題2よりこの左辺は空和、つまり
$$A_k(n)=A_k(n)\qquad(k=1,2,\ldots)$$
でなければならないことがわかる。

 この命題から互いに相似でない超幾何数列は$K(n)$-線形独立となることに注意しましょう(ただし$K(n)$は有理関数体としました)。

閉形式と漸化式

 では与えられた数列$f(n)$$\L(\H)$に属すかどうかを判別する方法について解説していきましょう。
 結論から言うとこの問題は$f(n)$の満たす漸化式を調べることで解決されます。

P-recursive

 数列$f(n)$P-再帰的であるとは$f(n)$が多項式係数の線形漸化式を満たす、つまりある多項式$p_0(n),\ldots,p_I(n)\quad(p_I(n)\neq0)$が存在して
$$\sum^I_{i=0}p_i(n)f(n+i)=0$$
が成り立つことを言う。

 ちなみに定数係数の線形漸化式を満たすことはC-再帰的であると言い、このPやCは多項式(Polynomial)や定数(Constant)の頭文字を取っています。

 任意の$f(n)\in\L(\H)$はP-再帰的である。

 明らかに各$A(n)\in\H$はP-再帰的であるので次の主張を示せばよい。

 P-再帰的な数列$f(n),g(n)$に対し$f(n)+g(n)$もP-再帰的となる。

 この事実については昔に こんな記事 を書いたことがあります。一応その記事と同じ証明を下においておきます。

証明

 $f,g$がそれぞれ漸化式
$$\sum^r_{k=0}p_k(n)f(n+k)=\sum^s_{k=0}q_k(n)g(n+k)=0$$
を満たすとする。このとき
$$h(n)=f(n)+g(n),\quad t=r+s$$
とし
$$h(n+k)\qquad(0\leq k\leq t)$$
を縦に並べたベクトルを$\g$
$$f(n+i),\ g(n+j)\qquad(0\leq i< r,\ 0\leq j< s)$$
を適当に整列させて縦に並べたベクトルを$\G$とおく。
 このとき$f,g$の漸化式を用いることである有理関数を係数に持つ$(t+1)\times t$行列$P(n)$が存在して
$$\g=P(n)\G$$
と表せ、$P(n)$サイズからある多項式係数の$t+1$次元横ベクトル$\bs r(n)$が存在して
$$\bs r(n)P(n)=0$$
が成り立つので$h(n)$は漸化式
$$\bs r(n)\g=\sum^t_{k=0}r_k(n)h(n+k)=0$$
を満たすことがわかる。

 $f(n)\in\L(\H)$が漸化式
$$\sum^I_{i=0}p_i(n)f(n+i)=0$$
を満たすとき、命題3のような分解
$$f(n)=\sum^r_{k=1}A_k(n)$$
における各因子$A_k(n)$も漸化式
$$\sum^I_{i=0}p_i(n)A_k(n+i)=0$$
を満たす。

証明

$$\frac{A_k(n+i)}{A_k(n)}$$
は有理関数となることに注意するとある有理関数$R_k(n)$が存在して
$$\sum^I_{i=0}p_i(n)A_k(n+i)=R_k(n)A_k(n)$$
と表せる。このとき
$$\sum^I_{i=0}p_i(n)f(n+i)=\sum^r_{k=1}R_k(n)A_k(n)=0$$
が成り立つので、命題3より$A_1(n),\ldots,A_r(n)$$\C(n)$-線形独立であったことに注意すると各$k$に対し$R_k(n)=0$つまり
$$\sum^I_{i=0}p_i(n)A_k(n+i)=0$$
となることがわかる。

 $r\leq I$が成り立つ。

証明

 一般に$I$項間線形漸化式
$$\sum^I_{i=0}p_i(n)f(n+i)=0\qquad(p_I(n)\neq0)$$
の解空間は高々$I$次元となるので$A_1(n),\ldots,A_r(n)$が線形独立であることから$r\leq I$となることがわかる。

まとめ

 上で紹介した事実をまとめると数列$f(n)$が閉形式に表せるか否かは次のようなステップによって判別することができます。

  1. $f(n)$が満たす多項式係数の線形漸化式を求める。
  2. $f(n)$と同じ漸化式を満たす超幾何数列を全て求める。
  3. $f(n)$がそれらの線型結合として表せるかを調べる。

 ステップ1については一般的な方法があるわけではありませんが、 第二回の記事 第四回の記事 で扱うような特定の対象を考える場合は$f(n)$が満たす漸化式を求めるアルゴリズムが確立されています。
 ステップ2については一般的な方法、つまり与えられた漸化式に対してそれを満たす超幾何数列を網羅的に求めるアルゴリズムが確立されています。詳しい方法については 第三回の記事 にて解説していきます。
 ステップ3については線形漸化式の一般論から連続する$I$個の値、例えば$n=0,1,\ldots,I-1$に対して
$$f(n)=\sum^r_{k=1}c_kA_k(n)$$
が成り立つような線型結合$c_0,\ldots,c_r$の取り方が存在すれば一般の$n$に対してもこれが成り立つことがわかり、逆にそのような線型結合の取り方が存在しなければ$f(n)$は閉形式に表せないことになります。

参考文献

[1]
M. Petkivšek, H. Wilf, D. Zeilberger, A=B, 1997
投稿日:313
更新日:418

この記事を高評価した人

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

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

バッジはありません。

投稿者

子葉
子葉
967
214978
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

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