この計算ツールでできること
このツールは、引数 a の値を連続的に変化させながら、ガンマ関数の逆数 \(\frac{1}{\Gamma(a)}\) の表と折れ線グラフを作成します。数列の開始点、刻み幅、そして生成する点数(行数)を自由に指定可能です。結果は、a と \(\frac{1}{\Gamma(a)}\) を並べた見やすい2列の表と、描画された曲線として表示されます。これは純粋な数学であり、どこで使っても同じ結果が得られます。
使い方
a の初期値(最初の引数)、各行ごとに a へ加算する増分(刻み幅)、そして繰り返し回数(生成する行数)を入力します。たとえば、初期値 = -3、刻み幅 = 0.1、行数 = 101 とすると、\(a = -3, -2.9, -2.8, \ldots, 7.0\) までの数列が得られます。
計算式の解説
ガンマ関数は階乗を一般化したもので、\(\Gamma(n+1) = n!\)、\(\Gamma(1/2) = \sqrt{\pi}\) が成り立ちます。\(\operatorname{Re}(a) > 0\) の範囲では積分 $$\Gamma(a) = \int_{0}^{\infty} t^{a-1} e^{-t} \, dt$$ で定義され、それ以外の値へは漸化式 \(\Gamma(a) = \Gamma(a+1)/a\) と反射公式 \(\Gamma(a)\Gamma(1-a) = \frac{\pi}{\sin(\pi a)}\) によって拡張されます。本ツールでは \(\Gamma(a)\) をランチョス近似(\(g = 7\))で評価し、\(a < 0.5\) では反射公式を用います。出力するのはそのまま $$f(a_k) = \frac{1}{\Gamma(a_k)}, \quad a_k = \text{Start } a + k \cdot \text{Step}, \quad k = 0,1,\dots,\text{Rows}-1$$ です。\(\Gamma(a)\) 自体とは異なり、逆数 \(\frac{1}{\Gamma(a)}\) は極を持たない整関数です。\(\Gamma\) が発散する点(\(a = 0, -1, -2, \ldots\))では、逆数はちょうど 0 になります。
計算例
初期設定での値をいくつか挙げると、\(a = -3\) では \(\frac{1}{\Gamma(-3)} = 0\)(非正整数で、\(\Gamma\) の極)、\(a = -2.5\) では約 \(-1.0579\)、\(a = 0.5\) では \(\frac{1}{\sqrt{\pi}} \approx 0.5642\)、\(a = 1\) と \(a = 2\) はともに 1、\(a = 5\) では \(\frac{1}{24} \approx 0.04167\)、\(a = 7\) では \(\frac{1}{720} \approx 0.001389\) となります。曲線は \(a \approx 1.46\) 付近でピークに達します。ここは \(\Gamma(a)\) が最小値(\(\approx 0.8856\))をとる点で、\(\frac{1}{\Gamma}\) の最大値 \(\approx 1.129\) に対応します。
よくある質問
なぜ \(a = 0\) や負の整数で \(\frac{1}{\Gamma(a)}\) は 0 になるのですか? これらの点で \(\Gamma(a)\) は単純極を持つため、その逆数は 0 になります。本ツールでは非正整数を検出し、ちょうど 0 を返します。
a が非常に大きい場合はどうなりますか? \(\Gamma(a)\) は急激に増大してオーバーフローするため、NaN ではなく \(\frac{1}{\Gamma} = 0\) を返します。
精度はどの程度ですか? ランチョス近似(\(g = 7\))は実数軸全体でおよそ有効数字15桁の精度があり、表計算やグラフ描画には十分すぎるほどです。