階乗冪

数学、とくに離散数学の各分野における階乗冪（かいじょうべき、 は、冪乗によく似た演算だが、階乗のように因子が 1 ずつずれていく。階乗冪には下降階乗冪 ("falling factorial") と上昇階乗冪 ("rising factorial") とがある。また、両方向へずらしながら積をとる類似の概念に、中心階乗冪 ("central" "factorial") がある。
階乗冪は冪あるいは冪函数の類似であり、特殊函数論あるいは組合せ論に広く応用を持つ。
定義.
以下、 は必ずしも自然数でない実または複素数数値の変数（あるいはより一般の環の元でもよい）とし、 は自然数とする。
これらは何れも、底 を変数と見れば を不定元とする整数係数多項式となることに注意する。展開の係数はスターリング数で与えられる（後述）。またこれら底 を変数とする階乗冪は様々な意味で冪函数に相当する。
記法について.
また、自然数 に対して
と書くことができる。ここで感嘆符 "!" は階乗を表す。
実または複素「冪」.
 および が負の整数でないとき、階乗の代わりにその補間函数であるガンマ函数を用いれば階乗冪の指数 は任意の実数（あるいは複素数）とすることができる。具体的には次のようになる。
特に上記二式の右辺の式は "x" が負の整数の場合に特に有効である。
ふたつの実数 および について、 と が負の整数でないとき、定数 を底とし、指数 を変数とする階乗冪 は（階乗冪を冪の類似と見做すならば）指数函数の類似である。
組合せ論的解釈.
 は自然数とする。-元の集合から -部分集合を選び出す -順列の総数は下降階乗冪 である。同じく -組合せの総数は二項係数であったから
なる関係式を得る。これは
とも書ける。
性質.
計算規則.
空積の規約により
と定める。ただし、 が の場合には の -乗（これもまた空積である）の扱いに準じる（定義しないとするか、しばしば と定める）。
下降階乗冪と上昇階乗冪の間に関係
が成り立つ。
多項式基底と変換係数.
上昇階乗冪 および下降階乗冪 はそれぞれ、 を変数とする多項式とみるとき多項式環の基底になる。標準基底 との基底変換は以下のように与えられる:
ただし、formula_14 は第一種スターリング数、formula_15
二項型の関係式.
上昇（または下降）階乗冪全体の成す多項式列は二項型である。即ち
あるいはこれらをまとめて
が成り立つ。上昇階乗冪に対するものは、と呼ばれる。
結合係数.
下降階乗冪は多項式環の基底を成す。これは下降階乗冪の線型結合同士の積が再び下降階乗冪の線型結合となることを意味し、それは以下を確かめれば十分である:
右辺に現れる各項の係数
をこの積における結合定数 (connection coefficient) と総称する。この定数は組合せ論的に、-元集合と -元集合の非交和から選んだ -組合せの総数と解釈することができる。
指数法則.
指数法則に似た次の法則が下降階乗冪、上昇階乗冪に成り立つ。
これを用いて、負数の下降階乗冪、上昇階乗冪を定義することもできる。
また、次のような関係もある
和の公式.
以下 は自然数とし、第 -項が の上昇 -乗であるような数列の和を考える。上昇階乗冪とその逆数は、和の公式が次のような形で書くことができる。双方の公式とも、畳み込み級数となることを利用すれば導出できる。
微分.
変数 の下降 -乗の微分は、
である。ただし、formula_26は調和数である。
また変数 の上昇 -乗の微分は、
である。ただし、formula_28はディガンマ関数である。
逆に、自然数 の下降 -乗の冪指数 を変数とする微分は、
自然数 の上昇 -乗の冪指数 に関する微分は、
となる。
陰計算との関係.
下降階乗冪の全体および上昇階乗冪の全体はそれぞれ多項式列を成す。下降階乗冪は多項式を前進差分作用素 を用いた公式（ニュートン級数展開）
（微分積分学におけるテイラーの定理と形の上で類似）で表すときに現れる。この公式やほかの様々なところで、微分積分学における冪函数 に当たる役割を、和分差分学において下降階乗冪 が果たす。例えば
と
との類似対応に注意せよ。同様の関係は、不定和分に関しても述べられるし、上昇階乗冪と後退差分を用いても得られる。
このような類似性の研究は陰計算 (umbral calculus) と呼ばれる。階乗冪を含めた上記のような関係を記述する一般論は、二項型多項式列およびシェファー列の理論に含まれる（階乗冪は二項型シェファー列である）。同様に階乗冪の母函数は陰冪数 (umbral exponential) を勘案して
で与えられる。
一般化.
下降階乗冪を一般化するものとして、函数 に対しその減少算術整数列上で評価した値の積を
と書く。ここで は公差、 は因子の数を示す。同様に上昇階乗冪の一般化は
で与えられる。この記法の下で上昇階乗冪は であり下降階乗冪は である。