ガンマ関数
Γ
(
z
)
{\displaystyle \Gamma (z)}
に対し、その対数微分
ψ
(
z
)
=
d
d
z
ln
Γ
(
z
)
=
Γ
′
(
z
)
Γ
(
z
)
{\displaystyle \psi (z)={\dfrac {\mathrm {d} }{\mathrm {d} z}}\ln {\Gamma (z)}={\frac {\Gamma '(z)}{\Gamma (z)}}}
をディガンマ関数 と呼ぶ。
ディガンマ関数は、
z
=
0
,
−
1
,
−
2
,
…
(
z
∈
Z
∖
Z
+
)
{\displaystyle z=0,-1,-2,\ldots (z\in \mathbb {Z} \setminus \mathbb {Z} ^{+})}
で一位の極 をもち,それらの点を除く全複素平面 では解析的 になる。
基本的性質
編集
ガンマ関数のワイエルシュトラスの無限乗積表示
1
Γ
(
z
)
=
lim
n
→
∞
z
(
z
+
1
)
⋯
(
z
+
n
)
n
z
n
!
{\displaystyle {\frac {1}{\Gamma (z)}}=\lim _{n\to \infty }{\frac {z(z+1)\cdots (z+n)}{n^{z}n!}}}
を対数微分することで、ディガンマ関数における
ψ
(
z
)
=
lim
n
→
∞
{
ln
n
−
1
z
−
∑
k
=
1
n
1
z
+
k
}
{\displaystyle \psi (z)=\lim _{n\to \infty }\left\{\ln {n}-{\frac {1}{z}}-\sum _{k=1}^{n}{\frac {1}{z+k}}\right\}}
という表示を得る。特に
z
=
1
{\displaystyle z=1}
とすれば、次の特殊値
ψ
(
1
)
=
lim
n
→
∞
{
ln
n
−
∑
k
=
1
n
1
k
}
=
−
γ
{\displaystyle \psi (1)=\lim _{n\to \infty }\left\{\ln {n}-\sum _{k=1}^{n}{\frac {1}{k}}\right\}=-\gamma }
を得る。但し、
γ
=
0.5772
…
{\displaystyle \gamma =0.5772\ldots }
はオイラーの定数 である。
また、ディガンマ関数は次の漸化式 を満たす。
ψ
(
z
+
1
)
=
ψ
(
z
)
+
1
z
{\displaystyle \psi (z+1)=\psi (z)+{\frac {1}{z}}}
この関係式から、一般に
ψ
(
z
+
n
)
=
ψ
(
z
)
+
∑
k
=
1
n
1
z
+
k
−
1
{\displaystyle \psi (z+n)=\psi (z)+\sum _{k=1}^{n}{\frac {1}{z+k-1}}}
であり、特に
z
=
1
{\displaystyle z=1}
とすれば、特殊値
ψ
(
n
+
1
)
=
−
γ
+
∑
k
=
1
n
1
k
{\displaystyle \psi (n+1)=-\gamma +\sum _{k=1}^{n}{\frac {1}{k}}}
が得られる。
級数表示
編集
ディガンマ関数とその導関数 は
z
≠
0
,
−
1
,
−
2
,
−
3
,
…
(
z
∈
C
∖
{
0
,
Z
−
}
)
{\displaystyle z\neq 0,-1,-2,-3,\ldots (z\in \mathbb {C} \setminus \{0,\mathbb {Z} ^{-}\})}
で次の級数 表示を持つ。
ψ
(
z
)
=
−
γ
−
∑
n
=
0
∞
(
1
z
+
n
−
1
n
+
1
)
=
−
γ
+
∑
n
=
0
∞
z
−
1
(
n
+
1
)
(
z
+
n
)
{\displaystyle \psi (z)=-\gamma -\sum _{n=0}^{\infty }{\biggl (}{\frac {1}{z+n}}-{\frac {1}{n+1}}{\biggr )}=-\gamma +\sum _{n=0}^{\infty }{\frac {z-1}{(n+1)(z+n)}}}
ψ
(
k
)
(
z
)
=
(
−
1
)
k
+
1
k
!
∑
n
=
0
∞
1
(
z
+
n
)
k
+
1
{\displaystyle \psi ^{(k)}(z)=(-1)^{k+1}k\,!\sum _{n=0}^{\infty }{\frac {1}{(z+n)^{k+1}}}}
これらの級数は、ガンマ関数のワイエルシュトラスの無限乗積表示
1
Γ
(
z
)
=
z
e
γ
z
∏
n
=
1
∞
(
1
+
z
n
)
e
−
z
/
n
{\displaystyle {\frac {1}{\Gamma (z)}}=ze^{\gamma z}\prod _{n=1}^{\infty }{\biggl (}1+{\frac {z}{n}}{\biggr )}e^{-z/n}}
の対数微分から導かれるものである、
また、
z
=
0
{\displaystyle z=0}
でのテイラー展開 により、
|
z
|
<
1
{\displaystyle |\,z\,|<1}
の領域で次のように級数表示される。
ψ
(
z
+
1
)
=
−
γ
+
∑
n
=
2
∞
(
−
1
)
n
ζ
(
n
)
z
n
−
1
{\displaystyle \psi (z+1)=-\gamma +\sum _{n=2}^{\infty }(-1)^{n}\zeta (n)z^{n-1}}
ただし、
ζ
(
n
)
{\displaystyle \zeta (n)}
はリーマンゼータ関数 を表す。
積分表示
編集
相反公式
編集
ガンマ関数の相反公式に対し、対数微分をとることで次の関係式が導かれる。
ψ
(
1
−
z
)
−
ψ
(
z
)
=
π
cot
(
π
z
)
{\displaystyle \psi (1-z)-\psi (z)=\pi \operatorname {cot} (\pi z)}
但し、
cot
(
π
z
)
{\displaystyle \cot(\pi z)}
は余接関数 を表す。
漸近展開
編集
z
→
∞
(
|
arg
z
|
<
π
)
{\displaystyle z\to \infty \,(|\arg z|<\pi )}
のとき、ディガンマ関数は次の漸近展開 をもつ。
ψ
(
z
)
∼
ln
z
−
1
2
z
−
∑
n
=
1
∞
B
2
n
2
n
z
2
n
=
ln
z
−
1
2
z
−
1
12
z
2
+
1
120
z
4
−
1
252
z
6
+
⋯
{\displaystyle {\begin{aligned}\psi (z)&\sim \ln {z}-{\frac {1}{2z}}-\sum _{n=1}^{\infty }{\frac {B_{2n}}{2nz^{2n}}}\\&=\ln {z}-{\frac {1}{2z}}-{\frac {1}{12z^{2}}}+{\frac {1}{120z^{4}}}-{\frac {1}{252z^{6}}}+\cdots \end{aligned}}}
但し、
B
2
n
{\displaystyle B_{2n}}
はベルヌーイ数 である。
^ Abramowitz & Stegun 1965, p. 258, 6.3. Psi (Digamma) Function.
参考文献
編集
関連項目
編集