数学 Wiki
登録
Advertisement

自然数 n の階乗(かいじょう、英: factorialn! は、1 から n までのすべての自然数のである。例えば、

である、

空積の規約のもと 0! = 1 と定義する[1]

階乗は数学の様々な場面に出現するが、特に組合せ論代数学解析学などが著しい。階乗の最も基本的な出自は n-個の相異なる対象を一列に並べる方法(対象の置換)の総数が n!-通りであるという事実である。この事実は少なくとも12世紀にはインドの学者によって知られていた[2]。ファビアン・ステッドマンは1677年にチェンジリンキングへの応用として階乗を記述した[* 1]。再帰的な手法による記述の後、Stedman は(独自の言葉を用いて)階乗に関しての記述を与えている:

Now the nature of these methods is such, that the changes on one number comprehends [includes] the changes on all lesser numbers, ... insomuch that a compleat Peal of changes on one number seemeth to be formed by uniting of the compleat Peals on all lesser numbers into one entire body;[4]

エクスクラメーションマーク(!)を用いた、この "n!" という表記は1808年にChristian Krampによって発明された[5]

階乗数 オンライン整数列大辞典の数列 A000142
0! 1
1! 1
2! 2
3! 6
4! 24
5! 120
6! 720
7! 5 040
8! 40 320
9! 362 880
10! 3 628 800
11! 39 916 800
12! 479 001 600
13! 6 227 020 800
14! 87 178 291 200
15! 1 307 674 368 000
16! 20 922 789 888 000
17! 355 687 428 096 000
18! 6 402 373 705 728 000
19! 121 645 100 408 832 000
20! 2 432 902 008 176 640 000

この階乗の定義は、最も重要な性質を残したまま、非整数を引数とする函数に拡張することができる。そうすれば解析学における著しい手法などの進んだ数学を利用できるようになる。

定義[]

いくつか同値な条件により定義することが可能である。

  • 再帰的な定義
  • 微分に関する冪の微分法則を用いた定義[6]

上記の何れの定義においても、

となることが織り込み済みである(最初の定義では「 0 項の積は 1 と定める」という規約によって)。このように定義することの理由は:

  1. 零個の対象の置換は(「何もしない」という)ちょうど一通りであること。
  2. n > 0 のとき有効な漸化式 (n + 1)! = n! × (n + 1), が n = 0 の場合にも延長できること。
  3. 指数函数などの冪級数としての表示
    など多くの公式が短く表せるようになること。
  4. 組合せ論における多くの等式が任意のサイズに適用して意味を持つこと。例えば零個の元を空集合から選ぶ方法の総数は
    であり、一般に n-元集合から n-個全ての元を選び出す方法の総数は
    と書ける。

など様々に挙げることができる。

より進んだ数学においては、引数を非整数として階乗函数を定義することもできる(後述)。そういった一般化された定義のもとでの階乗は関数電卓や、MapleMathematica などの数学ソフトウェアで利用できる。

組合せ論[]

階乗を含む公式は数学の多くの分野に現れるけれども、階乗のおおもとの出自は組合せ論にある。相異なる n-個の対象の順列k-順列)の総数は n!-通りである。

階乗はしばしば「順番を無視する」という事実を反映するものとして分母に現れる。古典的な例としては n-個の元から k-個の元を選ぶ組合せk-組合せ)の総数が挙げられる。このような組合せは順列から得ることができる。実際、k-順列の総数

において、順番のみが違う(k-組合せでは違いが無視される)k-順列が k!-通りずつ存在するから、k-組合せの総数は

となる。この数は、二項冪 (1 + X)n における Xk の係数となることから、二項係数 とも呼ばれる。

代数学に現れる階乗にはいくつも理由があるが、既述の如く二項展開の係数として現れたり、ある種の演算の対称化 において置換による平均化を行うなど、組合せ論的な理由で現れるものもある。

微分積分学においても階乗は例えばテイラー級数の分母として現れるが、これは冪函数 xnn-階導函数が n! であることを補正する定数である。確率論でも階乗は用いられる。

階乗は数式操作にも有効である。例えば nk-順列の総数を

と書けば、(この数値を計算することを考えれば効率が悪くなるが)二項係数の対称性

を見るには都合がよい。

数論における階乗[]

階乗は数論にも多くの応用を持つ。特に n!n 以下の全ての素数で整除されねばならない。このことの帰結として、n (> 5)合成数となる必要十分条件

が満たされることである。より強い結果としてウィルソンの定理

p が素数であるための必要十分条件であることを述べる。

ルジャンドルの公式n! の素因数分解に現れる p の重複度が

であることを示す。これは

と書いてもよい。ただし、sp(n)np 進展開の係数の和である。

n の階乗自身が素数となる n2 のみである。しかし階乗素数と呼ばれる n! ± 1 の形の素数は無数に存在する。

1! より大きな階乗は全て偶数である(これらは明らかに因数 2 を持ち、2 の倍数である)。同様に、5! より後の階乗は 10 の倍数(25 を因数に持つ)であり、十進展開の末尾に0が並ぶ。

ブロカールの問題[]

ブロカールの問題とは、

を満たすn、mは存在するか、という問題である。現在、これを満たす(n, m)の組[* 2]

(4,5), (5,11), (7,71)

しか見つかっていない。ABC予想が真であれば、解は有限個しかないことが、Marius Overholtにより示されている。

階乗の解析学[]

ガンマ関数[]

Gamma

y=Γ(x)

Gamma abs

Γ(x+iy)の絶対値
(グラフ中「re」はxに相当、「im」はyに相当)

数学においてガンマ関数(ガンマかんすう、英: Gamma function)とは、階乗の概念を一般化した特殊関数。 互いに同値となるいくつかの定義が存在するが、1729年、数学者オイラーが階乗の一般化として、最初に導入した。

定義[]

実部が正となる複素数について、次の積分で定義される関数

をガンマ関数と呼ぶ[7]。この積分は、ルシャンドルの定義にしたがって、第二種オイラー積分とも呼ばれる。元は階乗の一般化としてオイラーが得たもので、という記号は、ルジャンドルが用いたものである。それ以前はなどと表記していた(ただし)。

一般の複素数については、解析接続もしくは次の無限乗積で定義される。

基本的性質[]

ガンマ関数は、階乗複素数への拡張としてオイラーによって考案されたものであり、自然数について

が成立する。 実際、オイラー積分による定義から


であり、自然数についてが成り立つ。従って、ガンマ関数は階乗の定義域を複素平面に拡張したものといえる。そのような関数は無数に存在するが、正の実軸上で対数凸である解析関数という条件を付ければ、それは一意に定まりガンマ関数に他ならない(→ボーア・モレルップの定理)。右半平面においてオイラー積分で定義されたガンマ関数は全平面に有理型解析接続する。ガンマ関数は零点を持たず、原点と負の整数に一位の極を持つ。その留数は、

である。また、非整数でのガンマ関数の値のうちでおそらく最も有名なのは、ガウス積分になる以下の場合であろう。

これより、自然数について

が成立することがわかる。ここで !! は二重階乗を表す。この性質を利用して高次元の体積と表面積を求めることができる。また、

定義の整合性[]

定義の積分表示と乗積表示が一致することを示す。

とすればであるからである。

の置換により

を除く部分をとして


これにより

を得る。故に

である。

ワイエルシュトラスの乗積表示[]

オイラーの乗積表示からオイラーの定数を括り出すと、

ワイエルシュトラスの乗積表示が得られる。ワイエルシュトラスはガンマ関数が負の整数にを持つことを嫌って逆数を用いた。ガンマ関数の逆数は複素平面全体で正則である。

ハンケルの積分表示[]

ガンマ関数は次の周回積分で表される[8]。積分経路は正の無限大から実軸の上側に沿って原点に至り、原点を正の向きに回り、実軸の下側に沿って無限大に戻るものとする。但し、その偏角はとする。

これをハンケルの積分表示と呼ぶ。このハンケルの積分表示は、積分経路を適当に変形し、数値積分でガンマ関数の値を求めるために使われることがある[9]

ハンケルの積分表示の導出[]

極座標表示を用いると、実軸の上側に沿う部分はからまで、原点を回る部分はからまで、実軸の下側に沿う部分はからまでとなる。

とするとであるから

である。しかし、左辺の被積分関数はが有界であるかぎり正則であるから、左辺は複素平面全体に解析接続する。従って、

である。とすれば、同様にして

を得る。また、相半公式により、

を得る。

相半公式[]

次の恒等式をオイラーの相半公式(reflection formula)という。

この恒等式はオイラーの乗積表示から得られる。

この分母は正弦関数の無限乗積展開であるから、

である。反射公式にを代入すれば

となり

を得る。

乗法公式[]

次の恒等式をガウスの乗法公式(multiplication formula)という。

この証明を示す。両辺の比をとすると


故に、任意に大きな自然数についてが成立する。スターリングの公式により

途中で

を適用した。

であり、故に

が成立する。

微分方程式[]

を変数とする多項式に対し、

の形で表される微分方程式を代数的微分方程式という。ガンマ関数はいかなる代数的微分方程式も満たさないことが知られている。ヘルダーが1887年に最初に証明を与えた後 [10]、ムーア[11]、オストロフスキー[12] [13]、バーンズ[14]、ハウスドルフ[15]により、別証明や一般化がなされた。

いくつかの具体的な値[]










A073005
A068466
A175380
A175379
A220086
A203142.
A186706
A220610
[16]
[17]

不完全ガンマ関数[]

数学において、不完全ガンマ関数(ふかんぜん-かんすう incomplete gamma function)あるいは、ルジャンドルの不完全ガンマ関数は、ガンマ関数の一般化の一つ。ガンマ関数は定積分を用いて定義されるが、不完全ガンマ関数は不定積分を用いて定義される。

定義[]

不完全ガンマ関数には2種類あり、ガンマ関数の積分区間[0,∞]を2つに分けて以下のように定義される。

0以上の実数 x と、 実部が正の複素数 a に対し

第1種不完全ガンマ関数
第2種不完全ガンマ関数

性質[]

ガンマ関数の定義は

であるから、

となる。

また、不完全ガンマ関数の定義式に部分積分を用いることで


という関係が成り立つことも分かる。

さらに、以下のような式が成り立つ。





ここで、

  • Ei : 指数積分
  • erf : 誤差関数
  • erfc :相補誤差関数で、erfc(x) = 1 − erf(x)

であるとする。

微分法[]

MeijerのG関数から[18]:

ポリガンマ関数[]

Polygamma function

実数x に対するψ(n)(x)の挙動。 オレンジがディガンマ関数、黄色がトリガンマ関数、緑がテトラガンマ関数、赤がペンタガンマ関数、青がヘキサガンマ関数に対応する。

Complex Polygamma 0

複素平面上でのディガンマ関数ψ(z)

Complex Polygamma 1

複素平面上でのトリガンマ関数ψ(1)(z)

Complex Polygamma 2

複素平面上でのテトラガンマ関数ψ(2)(z)

Complex Polygamma 3

複素平面上でのペンタガンマ関数ψ(3)(z)

数学において、ポリガンマ関数(ぽりがんまかんすう、英: polygamma function)とはガンマ関数対数微分による導関数として定義される特殊関数ディガンマ関数トリガンマ関数はポリガンマ関数の一種である。

定義[]

ガンマ関数Γ(z )に対し、その対数微分

で、定義される関数をポリガンマ関数と呼ぶ。

ψ(z ), ψ(1)(z ), ψ(2)(z ), ψ(3)(z )、 ψ(4)(z )は、それぞれディ-、トリ-、テトラ-、ペンタ-、ヘキサ-ガンマ関数と呼ばれる。

ポリガンマ関数ψ(n)(z )はz =0,-1,-2,……でn+1位のをもち,それらの点を除く全複素平面では解析的になる。

漸化式[]

ポリガンマ関数は次の漸化式を満たす。

級数表示[]

ポリガンマ関数はz ≠0, -1, -2, -3...で次の級数表示を持つ。

また、z =0でのテイラー展開により、|z |<1の領域で次のように表される。

但し、γ =0.5772...はオイラーの定数ζ(n )はリーマンゼータ関数を表す。

積分表示[]

Rez >0のとき、ポリガンマ関数は次の積分表示を持つ。

相反公式[]

ガンマ関数の相反公式に対し、対数微分をとることで次の関係式が導かれる。

但し、cot πz余接関数を表す。

漸近展開[]

z →∞ (|argz | < π)のとき、ポリガンマ関数は次の漸近展開をもつ。

但し、B2kベルヌーイ数である。

特殊値[]

ポリガンマ関数は、m=1において、次の値をとる。

ポリガンマ関数は、m≧2の正の整数において、次の値をとる。

但し、γ はオイラーの定数、Hm-1調和数を表す。

また、以下の等式が成り立つ。

階乗の逆数和[]

階乗の逆数の総和は収斂級数

を与える(ネイピア数を参照)。この和は無理数となるけれども、階乗に適当な正整数を掛けて和が有理数となるようにすることができる:

この級数の値が 1 となることを見るには、その部分和が 1 − 1/(n+2)! であることを確認すればよい。したがって、階乗数の全体は無理列を成さない[19]

階乗の増大度[]

n が増えるにつれて、階乗 n!n を変数とする任意の多項式函数あるいは指数函数よりも早く増加する(ただし、二重指数関数 よりは遅い)。

n! の近似式の多くは自然対数

に基づく。もっとも単純に得られる log(n!) の近似値を評価する式は、上記の式と以下の積分:

によって与えられる。積分を評価すれば

を得る。これは、ランダウの記号を用いれば log(n!) のオーダーは Θ(n log n) であることを言っているのであり、この結果はソートアルゴリズム計算量を測るのに重要な役割を果たす。さて上記の log(n!) の評価から

がわかる。実用上はより弱い結果だがより評価のしやすいものを用いることもある。上記の式から簡単な評価をしてみると、任意の n に対して (n/3)n < n! であり、また n ≥ 6 のとき n! < (n/2)n であることなどが分かる。

大きな n に対して n! をもっとましに評価するにはスターリングの公式

を利用する。実は任意の n に対し

であることが証明できる[要出典]

log(n!) の別な近似はシュリニヴァーサ・ラマヌジャンにより

と与えられている[20]。この近似の誤差は、スターリングの公式の次の誤差項 112n よりも小さい。

スターリングの近似[]

Stirling's Approximation Small

(ln n!) と (n ln nn) は n が増大するにつれて近づいていく

スターリングの近似(英: Stirling's approximation)またはスターリングの公式(英: Stirling's formula)は、階乗、或いはガンマ関数の漸近近似である。数学者ジェイムズ・スターリングに因む。

応用上よく使われる形の公式は、ランダウの記号を用いて、

である。O(log(n)) における次の項は (1/2)log(2πn) である。よって公式のより正確な形は

である。これは漸近公式であり、スターリングの近似は

という性質を持つ。

n! の漸近近似よりもむしろ上下からの評価が必要なことがある。任意の正の整数 n に対して、

が成り立ち、従って任意の n ≥ 1 に対して比 は常に A019727 A001113 の間にある。

ガンマ関数 は正の整数 n に対して を満たす。スターリングの近似はガンマ関数に対しても考えることができ

が成り立つ。これは

を意味する。但し、 に近づくにつれ近似の誤差が大きくなる(極限の収束が遅くなる)ため、応用上は反射公式などを用いて 程度に制限することが多い。

導出[]

初等的な方法による導出[]

スターリングの公式の導出を厳密にするためにはオイラーの和公式、或いは鞍点法など複素解析の技法を用いる必要があるが、多少の無理を許せば初等的に導くことも可能である。先ず、階乗の対数を積分で近似する。

然し、

などという誤差があるから、定数項と誤差をまとめて log c とし、c の値は後に求める。

両辺の真数を取ると

となり

であるから

を得る。ウォリス積を変形して

これを代入すると

を得る。

精度を改善するために

とすると

となる。然し

であるから

となるはずである。再び対数を用いる。

これを左辺に代入すると

となり、両辺の係数を比較して α=1/12,β=1/288,γ=-130/51840 を得る。結局、

を得る。

オイラーの和公式による導出[]

オイラーの乗積表示によるガンマ関数の定義の対数をとり

オイラーの和公式を適用すれば

となる。右辺の定数を集めて

とすれば

となり、この主要部をガンマ関数の反射公式に代入してとすれば




となるが

であるから

を得る。剰余項については

として

である。故に

を得る。最初の数項を書き下せば

とやり、指数関数のテイラー展開により

となる。

鞍点法による導出[]

スターリングの公式は鞍点法の好適例とされることが多いが、実際に複素平面全体(負の実数を除く)で漸近近似が成立することを鞍点法によって示すのは困難であるから、ここではを正の実数に限定する。ガンマ関数の置換により

となるが、が十分に大きければの附近が支配的であるから

という近似が許され、ガウス積分により

を得る。として、近似の誤差は




であり

であるから

を得る。これは

を示すに十分である。但し、実際の誤差はであるが、それを鞍点法で示すのは困難である。

収束の速度と誤差見積もり[]

より正確に記すと、次のようになる。

ここで

スターリングの公式は以下の級数(スターリング級数)の近似(初項で打ち切ったもの)である。

としたとき、省かれた級数はその最初の項とそれ以降が相殺するように漸近していく。これは漸近展開の一例である。

以下のような階乗の対数の漸近展開も「スターリング級数」と呼ぶ。

この場合、誤差は打ち切った級数の初項と同じ符号で同程度の大きさであることが知られている。

ガンマ関数に対するスターリングの公式[]

すべての正の整数に対して、

が成り立つ。ここで Γ はガンマ関数を表す。

しかしながら、π関数 は、階乗とは異なり、より広く、正でない整数を除いてすべての複素数に対して定義される。それにもかかわらず、スターリングの公式をなお適用することができる。Re(z) > 0 であれば

部分積分を繰り返すことで次が得られる

ここで Bnn 番目のベルヌーイ数である。(無限和は収束しないので、この公式は漸近展開にすぎないことに注意する。)公式はεを正数として |arg(z)| < π−ε であるときに絶対値の十分大きい z に対して成り立つ。最初の m 項が使われるとき誤差項は である。対応する近似は

のように書ける。この漸近展開のより進んだ応用は Re(z) が定数の複素変数 z に対してである。例えば直線 1/4 + it 上でリーマン・ジーゲルテータ関数の Im(z) において適用されたスターリングの公式を見よ。

ビネーの公式[]

スターリングの公式は収束しない級数を伴うので解析的に扱いづらいが、収束しない級数を収束する積分に換えたものとしてビネーの(第二)公式がある。

ビネーの公式は、スターリングの級数を形式的に(収束条件を無視して)操作することによっても導かれるが、厳密には対数ガンマ関数の導関数にアベル・プラナの和公式を適用して得られる。

ならは右半平面において正則であるからプラナの和公式により

積分して

ならは有界であるから

である。 スターリングの公式と比較して積分定数を求め

真数に直して

を得る。なお、ビネーの公式を元にして部分積分を繰り返すとスターリングの級数が得られる。

収束級数形式のスターリングの公式[]

トーマス・ベイズの John Canton への書簡が1763年に王立協会により公表されている。それによると、スターリングの公式は収束級数ではないとされていた[2]

スターリングの公式の収束級数形式を得るには以下を評価する。

1つの方法として、階乗冪の逆数の収束級数を使う方法がある。 としたとき、次のようになる。

ここで

である。以上から次のようなスターリング級数が得られる。

これは、 のとき収束する。

計算機向けの変形[]

ガンマ関数の(関数電卓などの)計算機向けの近似として次の式がある。

これは、次と同等である。

これらはスターリングの公式を組み替えて、その結果生じる冪級数と双曲線正弦関数のテイラー展開の間の合致を観察することで得られる。この近似は z の実数部が 8 以上のとき、小数点以下 8 桁を超える精度を持つ。2002年、Robert H. Windschitl がリソースの制限された計算機(電卓など)でのそれなりの正確性を持った近似としてこれを示した(参考文献の 'Toth' 参照)。

Gergő Nemes は 2007年にほぼ同程度の結果を与える近似式を提案した。こちらはより単純である。

これは、次と同等である。

歴史[]

この公式を最初に発見したのはアブラーム・ド・モアブルで、次のような形式だった。

スターリングの貢献は定数が であることを示したことである。より正確な形式は Jacques Binet が見出した。

スターリングの近似の「一次」バージョン は、マックス・プランクが1901年の黒体放射の論文で使用した。これは多量の光子や振動子についての黒体放射エネルギーの方程式にリンクしている。この近似は量子論でよく使われ、例えばピーター・デバイとルイ・ド・ブロイも使っている。アルベルト・アインシュタインとサティエンドラ・ボースは違う方式を採用した。非常に大きな n について確率分布をグラフに描画してみると、両者はほぼ平行になる。

連続変数への補間[]

ガンマ函数とパイ函数[]

Generalized factorial function

階乗函数は負の整数を除く任意の実数に対するものに一般化することができる。例えば * 0! = 1! = 1, * (−1/2)! = π, * (1/2)! = π/2.

負の整数を除けば、階乗函数は非整数の値に対しても定義することができるが、そのためには解析学の道具立てが必要である。そのように階乗の値を「補間」して得られるものの一つがガンマ函数 Γ(z) である(ただし引数が 1 だけずれる)。これは負の整数を除く任意の複素数 z に対して定義される。z の実部が正である場合には

で与えられる。ガンマ函数と階乗との関係は、任意の自然数 n に対して

が成り立つことである。オイラーのもともとの定義式は

である。ガウスの導入した別表記として、負でない実数 z に対するパイ函数 Π(z)

を満たす。ガンマ函数との関係は

である。

が成り立つことを思えば、こちらのほうが階乗を補完した函数としては適していると言えるかもしれない。さてパイ函数は階乗が満たすのと同じ漸化式

を、しかし定義される限り任意の複素数 z に対して満たす。事実としてはこれはもう漸化式ではなくて函数等式と見るべきものであるが。この函数等式をガンマ函数に関するものに書き換えれば

となる。階乗を延長したものがパイ函数なのだから、定義可能な任意の複素数 z に対して

と定めることは可能である。これらの補間函数を用いて半整数における階乗の値をさだめるならば、例えば

が成り立ち、さらに自然数 n ∈ N に対して

が得られる。例えば

同様に n ∈ N に対して

が成り立ち、例えば

パイ函数が殆ど全ての複素数値に対して定義される階乗の延長として唯一のものであるかは確かなことではない、それは定義される限り解析的としても同じことである。しかし、ふつうはこれが階乗の複素函数への最も自然な延長であるものと考える。例えば、ボーア・モレルップの定理はガンマ函数が Γ(1) = 1 かつ函数等式 Γ(n + 1) = nΓ(n) を満足する、ガウス平面の全域で有理型かつ実軸の正の部分で対数凸となるような唯一の函数であることを述べる。同様の主張はパイ函数に関しても、函数等式 Π(n) = nΠ(n − 1) に関して述べられる。

そうは言うものの、解析的函数論の意味で恐らくより簡明な、階乗の値を補間する複素函数は存在する。例えばアダマールの「ガンマ」函数[21]はガンマ函数とは異なり整函数になる[22]

オイラーはまた非整数の階乗に対する近似無限乗積

についても考察している。これは上記のガンマ函数に関する公式と同じものと見做すことができる。しかしこの公式は収束が遅く、実用的な意味でパイ函数やガンマ函数の値を計算することに利用することはできない。

ガウス平面上での挙動[]

Factorial05

複素変数に対する階乗の絶対値と偏角を、単位長さ間隔で −3 ≤ x ≤ 3, −2 ≤ y ≤ 2 の範囲で描いた等高線。太くなぞった等高線は φ = ±π である。

複素変数の階乗の値をガンマ函数による表現を通して評価することができる。絶対値 ρ と偏角 φ を用いて

と書けば、絶対値一定曲線 ρ = (定数) と偏角一定曲線 φ = (定数) を等値線として格子を描くことができる。一定間隔で引いた等値線の間にさらに細かく等値線を引けば、それが補間で得られる値である。極である負の整数においては絶対値と偏角が定義できず、またその周辺で等値線は密になる。

展開の係数の最初の方
n gn 近似値
0 1 1
1 −γ −0.5772156649
2 0.9890559955
3 −0.9074790760
γオイラー・マスケローニ定数ζリーマンゼータ函数である。

|z| < 1 に対してはテイラー展開

が利用できる。この展開のより多くの項は、Sageのような計算機代数システムで計算できる。

階乗の近似[]

展開の係数 an[23]
n an
0 112
1 130
2 53210
3 195371
4 2299922737
5 2994452319733142
6 10953524100948264275462

大きな値に対する階乗の値の近似をディガンマ函数の積分を通じて連分数表示を用いて記述できる。この方法はスティルチェスによる[24]もので、z! = exp(P(z)) と書けば P(z)

で、スティルチェスはこの第一項 p(z) の連分数展開

を与えた。

さて、任意の複素数 z ≠ 0 に対して log(z!) = P(z) あるいは log(Γ(z + 1)) = P(z) とするのは誤りであり[要出典]、実際には実軸の近くの特定の範囲の z でしか成り立たない(一方 |ℑ(Γ(z + 1))| < π である。引数の実部は大きいほど、虚部はより小さくなければならない。しかし逆の関係式 z! = exp(P(z)) は原点を除くガウス平面の全域で有効である。ただし実軸の負の部分では収束性は弱くなる[要出典](特異点の周辺ではどのような近似もよい収束性を得ることが難しい)。一方、|ℑ(z)| > 2 または ℜ(z) > 2 の範囲では上記の六つの係数は ​double​ 精度の複素数に対してその階乗の近似値を得るのに十分である。より高い精度でより多くの係数を計算するには rational QD-scheme (H. Rutishauser's QD algorithm)[25]を用いる。

負の整数に対する拡張不能性[]

関係式 n! = n × (n − 1)! を使えばある整数に対する階乗をそれより「小さい」整数の階乗から計算できる。この関係式を逆に使えば、「大きい」整数に対して与えられた階乗から

と計算することも可能である。しかし注意すべきは、これでは負の整数に関する階乗を計算することはできないということである(この式に従って (−1)! を計算するには零除算が必要となりこれ以下の負の整数における階乗の値の計算は不可能となる)。このことはガンマ函数においても同じことで、ガンマ函数は負の整数を除くガウス平面の全域において定義できるにも拘らず、負の整数における値だけは定義することができない。

一般化[]

多重指数記法[]

多重指数に対し階乗は、

と定義できる。これは例えば、多変数関数の展開に使われる。

デデキント環への拡張[]

マンジュル・バルガヴァは階乗を一般のデデキント環上で定義し、いくつかの古典的な問題を解決するために用いた[26]。それらの階乗は整数ではなく、イデアルとなる。

階乗に類似する概念[]

二重階乗の例
(-9)!! = 1105
(-7)!! = −115
(-5)!! = 13
(-3)!! = −1
(-1)!! = 1
0!! = 1
1!! = 1
2!! = 2
3!! = 3
4!! = 8
5!! = 15
6!! = 48
7!! = 105
8!! = 384
9!! = 945
10!! = 3840
11!! = 10395
12!! = 46080
13!! = 135135
14!! = 645120
15!! = 2027025
16!! = 10321920
17!! = 34459425
18!! = 185794560
19!! = 654729075
20!! = 3715891200

二重階乗[]

階乗の類似として、二重階乗 n!! は自然数 n に対し一つ飛ばしに積を取る。二重階乗 n!! は階乗 n! の二回反復合成 (n!)! とは異なる。

奇数 n = 1, 3, 5, 7, … に対する二重階乗の最初の方の値は

1, 3, 15, 105, 945, 10395, 135135, …, オンライン整数列大辞典の数列 A001147

偶数 n = 0, 2, 4, 6, 8, … に対する二重階乗の値の最初の方は

1, 2, 8, 48, 384, 3840, 46080, 645120, … オンライン整数列大辞典の数列 A000165

で与えられる。

負の奇数にも拡張される( )。また、複素数値への拡張として、以下が知られている[27]

多重階乗[]

より一般に多重階乗 (multifactorial) は、連続した整数の積である通常の階乗 n!、一つ飛ばしの積である二重階乗 n!!、二つ飛ばしの積である三重階乗 n!!! または n!3、三つ飛ばしの四重階乗 n!!!! または n!4 などを総称して言う。一般の k-重階乗 n!k は正整数 n に関して帰納的に

と定義できる。

これとは異なる多重階乗の定義として

とするものもある。

階乗冪[]

nk-順列の総数 nkn から始めて上から k 個の連続する整数の積を取るある意味で不完全な階乗と呼べる階乗の類似物であった。これを下降階乗冪と呼ぶ。その反対に n から始めて下から k 個の連続する整数の積をとったもの nk上昇階乗冪といい、これら二つを総称して階乗冪と呼ぶ。ただし一般に整数 n ではなく実数 x を変数として考えることが多い。

明らかに自然数 n に対して

また実数 x ≠ 0 に対して

だが x = 0 のときは定義されない。

素数階乗[]

素数階乗 (Primorial) n# は最初の n-個の素数の総乗

である[28]オンライン整数列大辞典の数列 A002110

これは、素数が無限に存在するという命題の証明に用いられることがある。

superfactorial (1)[]

Clifford Pickover 版の超階乗superfactorial)は、階乗を入れ子に拡張したものである。ドル記号$を用いて書かれる。

nが3以上になると、非常に大きい値になる。

これとは異なる種類の超階乗 (superfactorial) の定義がある(次節参照)。

superfactorial (2)[]

ニール・スローンとサイモン・プラウフは、スーパー階乗superfactorial)をThe Encyclopedia of Integer Sequences (N.J.A. Sloane 1995) の中で定義した。例として、4のスーパー階乗は次のようになる。

一般的にスーパー階乗は下の式で定義される。

次のような定義もある。

最初のいくつかの値は、次のようになる[29]

1, 1, 2, 12, 288, 34560, 24883200, 125411328000, ……

スーパー階乗は、複素数値にも拡張できる。その結果はバーンズのG関数と呼ばれる。定義は次のようになる。

自然数に対しては、以下が成り立っている。

hyperfactorial[]

ハイパー階乗hyperfactorial)は、以下で定義される。

これはとても大きくなっていく。最初のいくつかの値はつぎの通りである[30]

1, 4, 108, 27648, 86400000, ……

ハイパー階乗は定義域を複素数にまで拡張できる。それはK函数と呼ばれ、以下で定義される。

自然数nに対し、次が成り立つ。

exponential factorial[]

exponential factorial [* 3] n!(感嘆符は右肩に添字として書く)は

で与えられる。つまり、自然数 n に対して

であり、最初の5つの値は次のようになる。

0! = 1, 1! = 1, 2! = 2, 3! = 9, 4! = 262144, ……オンライン整数列大辞典の数列 A049384

5! の値は十進展開で183231桁にも及ぶきわめて大きな自然数であり、これ以降も非常に大きくなる。 全ての自然数のexponential factorialの逆数の総和は、

となる。この数は、超越数であり、リウヴィル数である[32]

また、高次exponential factorialが定義される。例として、二次exponential factorialは、

となる。一般の m-次 exponential factorial は、

で与えられる。ただし、n, m は自然数である。

脚注[]

注釈[]

  1. Graham & Knuth Patashnik, p. 111
  2. Biggs, pp. 109−136
  3. Stedman 1677, pp. 6–9
  4. Stedman 1677, p. 8
  5. Higgins, p. 12
  6. http://ocw.mit.edu/courses/mathematics/18-01-single-variable-calculus-fall-2006/lecture-notes/lec4.pdf
  7. Wolfram mathworld: Gamma Function
  8. Springer Online Reference Works: Gamma-function
  9. Schmelzer & Trefethen (2007), Computing the Gamma function using contour integrals and rational approximations
  10. Otto Ludwig Hölder, "Über die Eigenschaft der Gammafunction keiner algebraischen Differentialgleichung zu genügen," Math. Ann., 28, (1887) pp. 1–13.
  11. Eliakim Hastings Moore, "Concerning transcendentally transcendental functions," Math. Ann., 48 (1897), pp. 49–74.
  12. A. Ostrowski, "Neuer Beweis der Hölderschen Satzes, dass die Gammafunktion keiner algebraischen Differntialgleichung genügt." Math. Ann. 79 (1919), pp. 286–288.
  13. A. Ostrowski, "Zum Hölderschen Satz über Γ(x). Math. Ann. 94 (1925), pp. 248–251.
  14. E. W. Barnes, "The theory of the Gamma function," Messenger of Math. 29 (1900), pp. 64–128.
  15. F. Hausdorff, "Zum Hölderschen Satz über Γ(x)," Math. Ann. 94 (1925), pp. 244–247.
  16. Raimundas Vidūnas, Expessions for Values of the Gamma Function
  17. Weisstein, Eric W., "Gamma Function" - MathWorld.(英語)
  18. K.O. Geddes, M.L. Glasser, R.A. Moore and T.C. Scott, Evaluation of Classes of Definite Integrals Involving Elementary Functions via Differentiation of Special Functions, AAECC (Applicable Algebra in Engineering, Communication and Computing), vol. 1, (1990), pp. 149-165, [1]
  19. Guy 2004, p. 346
  20. Ramanujan 1988, p. 339
  21. Hadamard 1894
  22. Peter Luschny, Hadamard versus Euler - Who found the better Gamma function?.
  23. Digital Library of Mathematical Functions, http://dlmf.nist.gov/5.10
  24. Hadamard 1894
  25. Peter Luschny, On Stieltjes' Continued Fraction for the Gamma Function..
  26. The Factorial Function and Generalizations
  27. Weisstein, Eric W., "Double Factorial" - MathWorld.(英語)
  28. Weisstein, Eric W., "Primorial" - MathWorld.(英語)
  29. オンライン整数列大辞典の数列 A000178
  30. オンライン整数列大辞典の数列 A002109
  31. 巨大数研究 Wiki 指数階乗
  32. Sondow, Jonathan, "Exponential Factorial" - MathWorld.(英語)
  1. The publisher is given as "W.S." who may have been William Smith, possibly acting as agent for the Society of College Youths, to which society the "Dedicatory" is addressed.[3]
  2. このような(n, m)を、ブラウン数 (英: Brown numbers) と呼ぶ。
  3. 中国語: 阶幂(階冪)、指数階乗[31]

出典[]


参考文献[]

  • ドナルド・E・クヌース、ロナルド・L・グレアム・オーレン・パタシュニク 『コンピュータの数学』 有澤誠・ほか訳、共立出版、1993年8月。ISBN 4-320-02668-3 : 原著 Graham, Ronald L.; Knuth, Donald E.; Patashnik, Oren (1988), Concrete Mathematics]], Addison-Wesley, Reading MA, ISBN 0-201-14236-8 
  • Keith B. Oldham他 『関数事典(CD-ROM付)』 河村哲也監訳、朝倉書店、2013年12月、ISBN 978-4-254-11136-1
  • Biggs, N. L. (1979), The roots of combinatorics, Historia Math. 6 
  • Stedman, Fabian (1677), Campanalogia, London 
  • Higgins, Peter (2008), Number Story: From Counting to Cryptography, New York: Copernicus, ISBN 978-1-84800-000-1 
  • Guy, Richard K. (2004), “E24 Irrationality sequences”, Unsolved problems in number theory (3rd ed.), Springer-Verlag, ISBN 0-387-20860-7, Zbl 1058.11001, http://books.google.com/books?id=1AP2CEGxTkgC&pg=PA346 
  • Ramanujan, Srinivasa (1988), The lost notebook and other unpublished papers, Springer Berlin, ISBN 3-540-18726-X 
  • Hadamard, M. J. (1894) (French), Sur L’Expression Du Produit 1·2·3· · · · ·(n−1) Par Une Fonction Entière, OEuvres de Jacques Hadamard, Centre National de la Recherche Scientifiques, Paris, 1968, http://www.luschny.de/math/factorial/hadamard/HadamardFactorial.pdf 
  • Abramowitz, M. and Stegun, I., Handbook of Mathematical Functions, http://www.math.hkbu.edu.hk/support/aands/toc.htm
  • Paris, R. B., and Kaminsky, D., Asymptotics and the Mellin-Barnes Integrals, Cambridge University Press, 2001
  • Whittaker, E. T., and Watson, G. N., A Course in Modern Analysis, fourth edition, Cambridge University Press, 1963. ISBN 0-521-58807-3
  • Toth, V. T. Programmable Calculators: Calculators and the Gamma Function. http://www.rskey.org/gamma.htm, modified 2006
  • Elic W. Weisstein, Stirling's Approximation at MathWorld
  • Stirling's approximation at PlanetMath
  • テンプレート:仮リンクガンマ関数入門上野健爾 訳・解説、日本評論社〈はじめよう数学6〉、2002年10月25日ISBN 4-535-60846-6
  • 小松勇作特殊函数』 朝倉書店〈近代数学講座5〉、2004年3月15日、復刊。ISBN 978-4-254-11655-7
  • 寺沢寛一自然科学者のための数学概論』 岩波書店、1983年5月18日、増訂版。ISBN 978-4-00-005480-5
  • Milton Abramowitz; Irene A. Stegun, ed (1965-06-01). Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables. Dover Books on Mathematics. Dover Publications. ISBN 0-486-61272-4. 
  • E. T. Whittaker; G. N. Watson (1996-09-13) [1927]. A Course of Modern Analysis. Cambridge Mathematical Library (4th ed.). Cambridge University Press. ISBN 0-521-58807-3. 
  • M. Abramowitz and I. A. Stegun, eds. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. New York: Dover, 1972. (See Chapter 6.)
  • G. Arfken and H. Weber. Mathematical Methods for Physicists. Harcourt/Academic Press, 2000. (See Chapter 10.)
  • W. H. Press, B. P. Flannery, S. A. Teukolsky, and W. T. Vetterling. Numerical Recipes in C. Cambridge, UK: Cambridge University Press, 1988. (See Section 6.2.)
  • Milton Abramowitz and Irene A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover (1965) ISBN 978-0486612720
  • E. T. Whittaker and G. N. Watson, A Course of Modern Analysis. Cambridge University Press (1927; reprinted 1996) ISBN 978-0521588072
  • George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists, Academic Press; ジョージ.ブラウン・アルフケン、ハンス.J・ウェーバー (著)、 権平健一郎神原武志小山直人 (翻訳) 『基礎物理数学第4版Vol.3 特殊関数』 講談社 (2001) ISBN 978-4061539792


関連項目[]

  • 巨大数
  • 総乗
  • 三角数: 階乗の加法的な対応物
  • 関数一覧
  • 特殊関数
  • 複素解析
  • ベータ関数
  • リーマンゼータ関数
  • 分数階微積分学


外部リンク[]

Advertisement