二重階乗

数学における階乗類似の組合せ論的函数の一つとして、二重階乗または半階乗  //n//!!}} は、与えられた自然数 n}} に対し、1}} から n}} まで n}} と同じ偶奇性を持つものだけを全て掛けた積を言う。すなわち、 さらに 1=//n// = 0}} のときは、空積と見て 0!! coloneqq}} 1}} と定義する。

この定義に従えば、偶数 n}} に対する二重階乗は で与えられ、また奇数 n}} に対しては で与えられる。例えば 9!! =}} 9 × 7 × 5 × 3 × 1 =}} 945}}である。

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

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

奇数に対する二重階乗のことを奇階乗  と呼ぶこともある。

1. 階乗との関係
---------

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

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

奇数 //n// =}} 2//k// − 1}}  に対する二重階乗は 2//k//}} の //k//}}-順列の言葉で と書くことができる。

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

二重階乗は数え上げ組合せ論などの状況において頻繁に生じるという事実に動機づけられる。例えば奇階乗 //n//!!}} が現れる例としては:

奇数 n}} に対する完全グラフ //K////n//+1}} の完全マッチング。そのようなグラフの任意の一つの頂点 v}} がマッチすることのできる頂点の選び方が n}} 通りで、選んだ残りは頂点数が 2}} 少ない完全グラフの完全マッチング問題に帰着される。例えば 4 =}} //3// + 1}} 頂点 a, b, c, d}} の完全グラフの完全マッチングは , , }} で確かに 3!! =}} 3}} 通りであることが確認できる。
スターリング順列: 同じ数が二つずつの多重集合 1, 1, 2, 2, …, //k//, //k//}} の置換で同じ数の各類はそれより大きい数によってのみ分けられるようにしたもの。で、//k// =}} sfrac と置く。最も大きい k}} は二つとも隣り合うしかなく、それを取り除けば //k// − 1}} を最大元とする順列が残るが、そのできた順列において隣り合う k}} が入れるのは n}} 通りの位置が考えられる。これで再帰的構成が得られたから、スターリング順列の数が二重順列で数えられることは帰納的にわかる。 あるいは同じ数の対の間に入れるのは大きい数だけという制約の代わりに、この多重集合の置換に現れる、同じ数の対のうち最初のほうは、あるきまった順番に並ぶという制約で考えることもできる。そのような順列が定めるのは、順列の 2//k//}} 箇所に関するマッチングであり、したがってふたたび個の順列の総数が二重階乗で数えられることがわかる
ヒープの順序木: //k// + 1}} 個のノードが 0, 1, 2, …, //k//}} でラベル付けられた木で、ルートのラベルが 0}} かつ、ほかのノードのラベルはその親ノードのラベルより大きく、各ノードの子ノードが決まった順になっている。この木のオイラー巡回技法  はスターリング順列を与え、任意のスターリング順列はこの方法で木で表現できる
根なし二分木で sfrac 個のラベル付き葉ノードを持つもの。そのような木の各々は、葉ノードが一つ少ない木から、n}} 本の辺の一つを細分して、新たな頂点を新たな葉ノードの親にすれば作れる。
根付き二分木で sfrac 個のラベル付き葉ノードを持つもの。根なし木の場合と同様だが、細分できる辺の数は偶数で、辺の細分に加えて、二つの子がより小さい木および新たな葉ノードであるような新たな根を加えることにより、葉ノードが一つ少ない木にノードを加えることができるCallan および Dale は同様に二重階乗で数えられる組合せ類をさらにさまざまにリストしている: 例えば、「台形語」、高さでラベル付けられたダイク路、高さでラベル付けられた順序木、"overhang path"、根付き二分木における各ノードに関する最小数付けられた葉ノードの降下列を記述するある種のベクトル、など。これらの対象のいくつかが同数であることを言う全単射による証明は Rubey および Marsh を見よ。

偶二重階乗は超八面体群の元の数を与える。

3. 定義域の延長
---------

3.1. 負の引数
---------

通常の階乗函数は各負の整数の位置に極を持ち、それらの数へ階乗を延長することは妨げられる。しかし奇数の二重階乗は、その漸化式 を逆に解いて と書くことにより、任意の負の奇数に延長することができる。この逆向きの漸化式を用いれば、−1!! =}} 1}}, −3!! =}} −1}}, −5!! =}} sfrac などが計算でき、これ以降の負の奇数に対して、その二重階乗は全て分数である。特に、正の奇数 n}} に対し が言える。

3.2. 複素引数
---------

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

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

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

4. その他の等式
---------

整数 n}} に対して

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

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

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

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

5. 一般化
------

5.1. 多重階乗
---------

定義 1: 二重階乗が階乗の概念を一般化するのと同じ仕方で、整数値多重階乗  あるいは「歩み」となる正整数 α}} を明示して α}}-重階乗、α}}-階乗  函数 は二重階乗を一般化する。//n//!}} が負の整数に対して、および //n//!!}} が負の偶数に対してそれぞれ定義されないことと同じように、//n//!sub は α}} の負の倍数において定義されない。 定義 2: また同様に、α}} の倍数より 1}} 大きい z}} における値が となることに着目してほとんどの実数および複素数に対して定義域を延長できる。ガンマ函数を用いた最後の式はもとと比べて非常に広く定義されるもので、この定義により //z//!sup は負の実軸上にある k}} の負の倍数を除く任意の複素数に対して定義された函数と見なせる。そして「//z// ≡ 1 mod //α//}} なる整数 z}} に対しては 1=//z//!sup を満たす」という意味でこの二つの定義は両立する。

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

6. 参考文献
-------

7. 関連項目
-------

8. 外部リンク
--------