ディガンマ関数

ディガンマ関数

ディガンマ関数（digamma function）は、ガンマ関数の対数を微分したもので、数学の領域で特に重要な特殊関数です。英語では「digamma function」または「psi function」と呼ばれます。

定義と基本性質

ディガンマ関数 $ψ(z)は、ガンマ関数Γ(z)の対数を微分することで定義されます。

$$
ψ(z) = rac{d}{dz} ext{ln} ig(Γ(z)ig) = rac{Γ'(z)}{Γ(z)}
$$

この関数は、特定の点（z = 0, -1, -2, ...）を除く全ての複素数において解析的です。

特徴

ディガンマ関数は以下の特性を持っています：

• - 一位の極を有し、特定の整数点で発生します。
• - 全複素平面では解析的であり、連続的に広がります。

基本的な性質

ディガンマ関数は、ガンマ関数の無限乗積表示に基づく性質から、ログ微分を通して再定義されます。具体的には、以下のような形で表示されます：

$$
ψ(z) = ext{lim}_{n o ext{∞}} igg\{ ext{ln}(n) - igg( ext{sum}_{k=0}^{n} rac{1}{z+k}igg) igg\
$$

特に、z = 1 の場合には、次の特殊値を得ることができます。

$$ψ(1) = -γ$$

ここで、γはオイラーの定数で、約0.5772です。さらに、以下の漸化式も満たしています。

$$ψ(z + 1) = ψ(z) + rac{1}{z}$$

一般的には、次のような形が成り立ちます：

$$ψ(z + n) = ψ(z) + ext{sum}_{k=1}^{n} rac{1}{z + k - 1}$$

級数表示

ディガンマ関数およびその導関数は、z が特定の値を除く場合に、無限級数として表現できます。以下の式で、z に対して定義される級数表示が得られます。

$$
ψ(z) = -γ - ext{sum}_{n=0}^{ ext{∞}} igg( rac{1}{z+n} - rac{1}{n+1} igg)
$$

また、ディガンマ関数のテイラー展開も、z=0 の周りに展開され、特定の領域において有効です。

積分表示

ディガンマ関数は、より深い分析のために様々な積分表示を持ちます。たとえば、次のように表されます：

$$
ψ(z) = ext{int}_{0}^{ ext{∞}} igg( e^{-s} - rac{1}{(1+s)^{z}} igg) rac{ds}{s}
$$

この積分形式は、特に数値計算においても有用です。さらに、ディガンマ関数同士の差に関する関係も興味深いものがあります。

相反公式と漸近展開

ディガンマ関数は、ガンマ関数の相反公式に基づいて、次の関係を持っています。
$$
ψ(1 - z) - ψ(z) = π ext{cot}(πz)
$$

これはzの値に関して関数の対称性を示しています。また、zが無限大に近づくとき、ディガンマ関数は漸近展開を持ち、次のように表されます：

$$
ψ(z)  ext{∼} ext{ln}(z) - rac{1}{2z} - ext{sum}_{n=1}^{ ext{∞}} rac{B_{2n}}{2nz^{2n}}
$$

ここで、$B_{2n}$はベルヌーイ数を表します。

特殊値

ディガンマ関数の数値は、整数や半整数に対しても興味深い値を取ります。 たとえば、正の整数nに対して、次の式が成り立ちます。

$$ψ(n) = -γ + ext{sum}_{k=1}^{n-1} rac{1}{k}$$

これは調和数と関連しています。正の半整数の場合も、計算可能で非常にバランスの取れた表現を持っています。

これらの性質を元に、ディガンマ関数は数学や統計学、物理学において重要な役割を果たします。理解を深めることで、様々な応用が期待されます。

もう一度検索