階乗冪

数学、とくに離散数学の各分野における階乗冪（かいじょうべき、テンプレート:Lang-en-short は、冪乗によく似た演算だが、階乗のように因子が 1 ずつずれていく。階乗冪には下降階乗冪 (falling factorial) と上昇階乗冪 (rising factorial) とがある。また、両方向へずらしながら積をとる類似の概念に、中心階乗冪 (central factorial) がある。

階乗冪は冪あるいは冪函数の類似であり、特殊函数論あるいは組合せ論に広く応用を持つ。 テンプレート:上付き文字テンプレート:下付き文字

定義

以下、テンプレート:Mvar は必ずしも自然数でない実または複素数数値の変数（あるいはより一般の環の元でもよい）とし、テンプレート:Mvar は自然数とする。

上昇階乗冪

テンプレート:Mvar を底とする上昇 テンプレート:Mvar-乗とは

$x(x+1)(x+2)\cdots (x+n-1)=\prod _{k=1}^n(x+k-1)$

なる テンプレート:Mvar-項の積を言う。

下降階乗冪

テンプレート:Mvar を底とする下降 テンプレート:Mvar-乗とは

$x(x-1)(x-2)\cdots (x-n+1)=\prod _{k=1}^n(x-k+1)$

なる テンプレート:Mvar-項の積を言う。

これらは何れも、底 テンプレート:Mvar を変数と見れば テンプレート:Mvar を不定元とする整数係数多項式となることに注意する。展開の係数はスターリング数で与えられる（後述）。またこれら底 テンプレート:Mvar を変数とする階乗冪は様々な意味で冪函数に相当する。

記法について

• 特殊函数論でしばしば用いられるポッホハマー記号は、下降階乗冪を テンプレート:Math で、上昇階乗冪を テンプレート:Math あるいは テンプレート:Math で表す。また、テンプレート:Math と書くこともある。
• テンプレート:Harvtxt による、組合せ論でしばしば用いられる記号法では テンプレート:Math が下降階乗冪、テンプレート:Math が上昇階乗冪を表す。
• 組合せ論における テンプレート:Mvar-順列の総数 テンプレート:Math は下降階乗冪（テンプレート:Mvar の下降 テンプレート:Mvar-乗）である。

$(x{)}_n=(x{)}_n^{-}=x^{\underset{\_}{n}}=\prod _{k=1}^n(x-k+1),$

$(x{)}^{(n)}=(x{)}_n^{+}=x^{\bar{n}}=\prod _{k=1}^n(x+k-1).$

また、自然数 テンプレート:Mvar に対して

$(n{)}_k=n^{\underset{\_}{k}}={}_n{P}_k=\frac{n!}{(n-k)!},$

$n^{(k)}=n^{\bar{k}}=\frac{(n+k-1)!}{(n-1)!}$

と書くことができる。ここで感嘆符 "!" は階乗を表す。

実または複素「冪」

テンプレート:Mvar および テンプレート:Math が負の整数でないとき、階乗の代わりにその補間函数であるガンマ函数を用いれば階乗冪の指数 テンプレート:Mvar は任意の実数（あるいは複素数）とすることができる。具体的には次のようになる。 テンプレート:Indent テンプレート:Indent 特に上記二式の右辺の式は x が負の整数の場合に特に有効である。

ふたつの実数 テンプレート:Mvar および テンプレート:Mvar について、テンプレート:Mvar と テンプレート:Math が負の整数でないとき、定数 テンプレート:Mvar を底とし、指数 テンプレート:Mvar を変数とする階乗冪 テンプレート:Math は（階乗冪を冪の類似と見做すならば）指数函数の類似である。

組合せ論的解釈

テンプレート:Mvar は自然数とする。テンプレート:Mvar-元の集合から テンプレート:Mvar-部分集合を選び出す テンプレート:Mvar-順列の総数は下降階乗冪 テンプレート:Math である。同じく テンプレート:Mvar-組合せの総数は二項係数であったから

$(\genfrac{}{}{0ex}{}{n}{k})=\frac{n^{\underset{\_}{k}}}{k!}$

なる関係式を得る。これは

$(\genfrac{}{}{0ex}{}{n+k-1}{k})=\frac{n^{\bar{k}}}{k!}$

とも書ける。

性質

計算規則

空積の規約により

$x^{\underset{\_}{0}}=x^{\bar{0}}=1$

と定める。ただし、テンプレート:Math が テンプレート:Math の場合には [[0^0|テンプレート:Math の テンプレート:Math-乗]]（これもまた空積である）の扱いに準じる（定義しないとするか、しばしば テンプレート:Math と定める）。

下降階乗冪と上昇階乗冪の間に関係

$x^{\underset{\_}{n}}=(-1{)}^n(-x{)}^{\bar{n}},$

$x^{\bar{n}}=(-1{)}^n(-x{)}^{\underset{\_}{n}}$

が成り立つ。

多項式基底と変換係数

テンプレート:Main 上昇階乗冪 テンプレート:Math および下降階乗冪テンプレート:Math はそれぞれ、テンプレート:Mvar を変数とする多項式とみるとき多項式環の基底になる。標準基底 テンプレート:Math との基底変換は以下のように与えられる:

$x^{\underset{\_}{n}}=\sum _{k=0}^n(-1{)}^{n+k}\left[\genfrac{}{}{0ex}{}{n}{k}\right]x^k,$

$x^n=\sum _{k=0}^n\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}{x}^{\underset{\_}{k}}.$

ただし、$\left[\genfrac{}{}{0ex}{}{n}{k}\right]$ は第一種スターリング数、$\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}$ は第二種スターリング数である。

同様に、上昇階乗冪と通常の冪には次の関係がある。

$x^{\bar{n}}=\sum _{k=0}^n\left[\genfrac{}{}{0ex}{}{n}{k}\right]x^k,$

$x^n=\sum _{k=0}^n(-1{)}^{n+k}\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}{x}^{\bar{k}}.$

二項型の関係式

テンプレート:Main 上昇（または下降）階乗冪全体の成す多項式列は二項型である。即ち

$(a+b{)}^{\underset{\_}{n}}=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})a^{\underset{\_}{k}}{b}^{\underset{\_}{n-k}},$

$(a+b{)}^{\bar{n}}=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{k})a^{\bar{k}}{b}^{\overline{n-k}}$

あるいはこれらをまとめて

$(a+b{)}_n^{\pm }=\sum _{k=0}^n(\genfrac{}{}{0ex}{}{n}{j})(a{)}_k^{\pm }(b{)}_{n-k}^{\pm }$

が成り立つ。上昇階乗冪に対するものは、テンプレート:仮リンクと呼ばれる。

結合係数

テンプレート:Main 下降階乗冪は多項式環の基底を成す。これは下降階乗冪の線型結合同士の積が再び下降階乗冪の線型結合となることを意味し、それは以下を確かめれば十分である:

$x^{\underset{\_}{m}}{x}^{\underset{\_}{n}}=\sum _{k=0}^m(\genfrac{}{}{0ex}{}{m}{k})(\genfrac{}{}{0ex}{}{n}{k})k!x^{\underset{\_}{m+n-k}}.$

右辺に現れる各項の係数

$(\genfrac{}{}{0ex}{}{m}{k})(\genfrac{}{}{0ex}{}{n}{k})k!$

をこの積における結合定数 (connection coefficient) と総称する。この定数は組合せ論的に、テンプレート:Mvar-元集合と テンプレート:Mvar-元集合の非交和から選んだ テンプレート:Mvar-組合せの総数と解釈することができる。

指数法則

指数法則に似た次の法則が下降階乗冪、上昇階乗冪に成り立つ。

$\begin{array}{cc}{x}^{\underset{\_}{m+n}}& =x^{\underset{\_}{m}}(x-m{)}^{\underset{\_}{n}}\\ x^{\overline{m+n}}& =x^{\bar{m}}(x+m{)}^{\bar{n}}\end{array}(\text{or }(x{)}_{m+n}^{\mp }=(x{)}_m^{\mp }(x\mp m{)}_n)$

これを用いて、負数の下降階乗冪、上昇階乗冪を定義することもできる。

また、次のような関係もある

$\frac{x^{\bar{n}}}{x^{\bar{m}}}=\{\begin{array}{cc}(x+m{)}^{\overline{n-m}}& (n>m),\\ \frac{1}{(x+m{)}^{\overline{m-n}}}& (m>n)\end{array}$

和の公式

以下 テンプレート:Mvar は自然数とし、第 テンプレート:Mvar-項が テンプレート:Mvar の上昇 テンプレート:Mvar-乗であるような数列の和を考える。上昇階乗冪とその逆数は、和の公式が次のような形で書くことができる。双方の公式とも、畳み込み級数となることを利用すれば導出できる。

$\begin{array}{cc}& \sum _{k=1}^n{k}^{\bar{m}}=\frac{n^{\overline{m+1}}}{m+1},\\ & \sum _{k=1}^n\frac{1}{k^{\overline{m+1}}}=\frac{1}{m}(\frac{1}{m!}-\frac{1}{(n+1{)}^{\bar{m}}}).\end{array}$

微分

変数 テンプレート:Mvar の下降 テンプレート:Mvar-乗の微分は、

$\frac{d}{dx}{x}^{\underset{\_}{n}}=x^{\underset{\_}{n}}(H_x-H_{x-n})$

である。ただし、$H_x$は調和数である。

また変数 テンプレート:Mvar の上昇 テンプレート:Mvar-乗の微分は、

$\frac{d}{dx}{x}^{\bar{n}}=x^{\bar{n}}(\psi (x+n)-\psi (x))$

である。ただし、$\psi (x)$はディガンマ関数である。

逆に、自然数 テンプレート:Mvar の下降 テンプレート:Mvar-乗の冪指数 テンプレート:Mvar を変数とする微分は、

$\frac{d}{dx}{n}^{\underset{\_}{x}}=n^{\underset{\_}{x}}\psi (n-x+1),$

自然数 テンプレート:Mvar の上昇 テンプレート:Mvar-乗の冪指数 テンプレート:Mvar に関する微分は、

$\frac{d}{dx}{n}^{\bar{x}}=n^{\bar{x}}\psi (n+x)$

となる。

陰計算との関係

テンプレート:Seealso 下降階乗冪の全体および上昇階乗冪の全体はそれぞれ多項式列を成す。下降階乗冪は多項式を前進差分作用素 テンプレート:Math を用いた公式（ニュートン級数展開）

$f(x)=\sum _{k=0}^{\mathrm{\infty }}\frac{{\mathrm{\Delta }}^k[f](a)}{k!}{(x-a)}^{\underset{\_}{k}}=\sum _{k=0}^{\mathrm{\infty }}(\genfrac{}{}{0ex}{}{x-a}{k}){\mathrm{\Delta }}^k[f](a)$

（微分積分学におけるテイラーの定理と形の上で類似）で表すときに現れる。この公式やほかの様々なところで、微分積分学における冪函数 テンプレート:Math に当たる役割を、和分差分学において下降階乗冪 テンプレート:Math が果たす。例えば

$\mathrm{\Delta }{x}^{\underset{\_}{k}}=k{x}^{\underset{\_}{k-1}}$

と

$D{x}^k=k{x}^{k-1}(D=d/dx)$

との類似対応に注意せよ。同様の関係は、不定和分に関しても述べられるし、上昇階乗冪と後退差分を用いても得られる。

このような類似性の研究は陰計算 (umbral calculus) と呼ばれる。階乗冪を含めた上記のような関係を記述する一般論は、二項型多項式列およびシェファー列の理論に含まれる（階乗冪は二項型シェファー列である）。同様に階乗冪の母函数は陰冪数 (umbral exponential) を勘案して

$\sum _{n=0}^{\mathrm{\infty }}{x}^{\underset{\_}{n}}\frac{t^n}{n!}=(1+t{)}^x,(\mathrm{\Delta }(1+t{)}^x=t(1+t{)}^x)$

で与えられる。

一般化

下降階乗冪を一般化するものとして、函数 テンプレート:Mvar に対しその減少算術整数列上で評価した値の積を

$[f(x){]}^{k/-h}=f(x)\cdot f(x-h)\cdot f(x-2h)\cdots f(x-(k-1)h)$

と書く。ここで テンプレート:Math は公差、テンプレート:Math は因子の数を示す。同様に上昇階乗冪の一般化は

$[f(x){]}^{k/h}=f(x)\cdot f(x+h)\cdot f(x+2h)\cdots f(x+(k-1)h)$

で与えられる。この記法の下で上昇階乗冪は テンプレート:Math であり下降階乗冪は テンプレート:Math である。

参考文献

• テンプレート:Cite book ; 原著: テンプレート:Citation
• Keith B. Oldham他 『関数事典（CD-ROM付）』 河村哲也監訳、朝倉書店、2013年12月、ISBN 978-4-254-11136-1。

関連項目

• q階乗冪（qポッホハマー記号）
• δ階乗冪

外部リンク

• テンプレート:MathWorld
• テンプレート:MathWorld
• テンプレート:PlanetMath