二重階乗

数学における階乗類似の組合せ論的函数の一つとして、二重階乗（にじゅうかいじょう、）または半階乗 (semifactorial) は、与えられた自然数に対し、からまでと同じ偶奇性を持つものだけを全て掛けた積を言う。すなわち、

さらにのときは、空積と見てと定義する。

この定義に従えば、偶数に対する二重階乗はで与えられ、また奇数に対してはで与えられる。例えばである。

+ 二重階乗の例

二重階乗を階乗函数の二回反復と混同してはならない、両者は全く異なる値をとる。

(二重階乗記法を用いたおそらく最初の出版物) は、二重階乗はもともとウォリス積の導出において生じるある種の三角積分の表示を簡単にするために導入されたと述べる。二重階乗は超球の体積の式にも現れ、また数え上げ組合せ論において多くの応用を持つ。

奇数に対する二重階乗のことを奇階乗 (odd factorial) と呼ぶこともある例えば , 。

階乗との関係二重階乗は通常の階乗の半分の因子しか含まないから、その値は階乗の平方根程度からそう大きくなることはないし、明らかに階乗函数の二回反復と比べればはるかに小さい。

偶数 () の二重階乗は階乗を用いてと表すことができ、また奇数 () の二重階乗はとなる。この式では最初の分母はに等しく、それが分子の余計な偶数因子を打ち消す。

奇数 () に対する二重階乗はの -順列の言葉でと書くことができる。

数え上げ組合せ論における応用

二重階乗は数え上げ組合せ論などの状況において頻繁に生じるという事実に動機づけられる。例えば奇階乗が現れる例としては: 奇数に対する完全グラフの完全マッチング。そのようなグラフの任意の一つの頂点がマッチすることのできる頂点の選び方が通りで、選んだ残りは頂点数が少ない完全グラフの完全マッチング問題に帰着される。例えば頂点の完全グラフの完全マッチングはで確かに通りであることが確認できる。 : 同じ数が二つずつの多重集合の置換（重複度まで込めてすべての元を一回ずつ用いる順列）で同じ数の各類はそれより大きい数によってのみ分けられるようにしたもの。で、と置く。最も大きいは二つとも隣り合うしかなく、それを取り除けばを最大元とする順列が残るが、そのできた順列において隣り合うが入れるのは通りの位置が考えられる。これで再帰的構成が得られたから、スターリング順列の数が二重順列で数えられることは帰納的にわかる。あるいは同じ数の対の間に入れるのは大きい数だけという制約の代わりに、この多重集合の置換に現れる、同じ数の対のうち最初のほうは、あるきまった順番に並ぶという制約で考えることもできる。そのような順列が定めるのは、順列の箇所に関するマッチングであり、したがってふたたび個の順列の総数が二重階乗で数えられることがわかるヒープの順序木: 個のノードがでラベル付けられた木で、ルートのラベルがかつ、ほかのノードのラベルはその親ノードのラベルより大きく、各ノードの子ノードが決まった順になっている。この木の (Euler tour) はスターリング順列を与え、任意のスターリング順列はこの方法で木で表現できるで個のラベル付き葉ノードを持つもの。そのような木の各々は、葉ノードが一つ少ない木から、本の辺の一つを細分して、新たな頂点を新たな葉ノードの親にすれば作れる。で個のラベル付き葉ノードを持つもの。根なし木の場合と同様だが、細分できる辺の数は偶数で、辺の細分に加えて、二つの子がより小さい木および新たな葉ノードであるような新たな根を加えることにより、葉ノードが一つ少ない木にノードを加えることができる

およびは同様に二重階乗で数えられるをさらにさまざまにリストしている: 例えば、「台形語」（"trapezoidal word": 奇数を含む複数の位取りの底を持つ記数法に属する数の体系）、高さでラベル付けられた、高さでラベル付けられた順序木、"overhang path"、根付き二分木における各ノードに関する最小数付けられた葉ノードの降下列を記述するある種のベクトル、など。これらの対象のいくつかが同数であることを言う（双射法）はおよびを見よ。

偶二重階乗は（超立方体の符号付き対称性または置換の群）の元の数を与える。

定義域の延長負の引数通常の階乗函数は（ガンマ函数に拡張して）各負の整数の位置に極を持ち、それらの数へ階乗を延長することは妨げられる。しかし奇数の二重階乗は、その漸化式を逆に解いてと書くことにより、任意の負の奇数に延長することができる。この逆向きの漸化式を用いれば、, , などが計算でき、これ以降の（絶対値がより大きい）負の奇数に対して、その二重階乗は全て分数である。特に、正の奇数に対しが言える。

複素引数

偶数引数に対する二重階乗の先述の定義はさておいて、が正の奇数のときの値がと書けることに着目して、奇階乗の定義域をほとんどの実数または複素数に対して延長することができる。

この関係式に従えば、が非負偶数値をとるときのの値はと再定義されることになる。この意味でのの値はである。

式を見ればが負の偶数を除く任意の複素数に対して定義されることが分かる。またこれを定義として、半径の -次元超球の体積はと表せる。

その他の等式整数に対してウォリス積分は

奇階乗の複素変数への延長を用いた場合には、

二重階乗はより複雑な三角多項式の積分の評価にも利用できる。

奇数の二重階乗とガンマ函数は等式で関係する。

ほかに奇数の二重階乗を含む等式として:

一般化多重階乗

定義 1 二重階乗が（一重の）階乗の概念を一般化するのと同じ仕方で、整数値多重階乗 (multiple factorial, multifactorial) あるいは「歩み」となる正整数を明示して -重階乗、-階乗 (-factorial) 函数は二重階乗を一般化する。が負の整数に対して、およびが負の偶数に対してそれぞれ定義されないことと同じように、はの負の倍数において定義されない。

定義 2 また同様に、の倍数より大きいにおける値がとなることに着目してほとんどの実数および複素数に対して定義域を延長できる。

ガンマ函数を用いた最後の式はもとと比べて非常に広く定義されるもので、この定義によりは負の実軸上にあるの負の倍数を除く任意の複素数に対して定義された函数と見なせる。そして「なる整数に対してはを満たす」という意味でこの二つの定義は両立する。

がほとんどの複素数に対して延長できることに加え、も任意の正実数値としてこの定義は意味を為す。さらに言えば、のとき、定義される函数はパイ函数である。またのときは、奇階乗の複素変数への拡張に一致する。

参考文献

Źródło i licencja