反伽玛函数
Γ
−
1
(
x
)
{\displaystyle \Gamma ^{-1}(x)}
的
函数图形 反伽玛函数
Γ
−
1
(
x
)
{\displaystyle \Gamma ^{-1}(x)}
在
复数域 的
色相环复变函数图形
反伽玛函数
Γ
−
1
(
x
)
{\displaystyle \Gamma ^{-1}(x)}
(反Γ函数,Inverse gamma function)是伽玛函数 (Γ函数)的反函数 。
换句话说,如果反Γ函数以
Γ
−
1
(
x
)
=
y
{\textstyle \Gamma ^{-1}(x)=y}
的形式表示,则其满足
Γ
(
y
)
=
x
{\textstyle \Gamma (y)=x}
。
例如24的反伽玛函数值 为5,
Γ
−
1
(
24
)
=
5
{\displaystyle \Gamma ^{-1}(24)=5}
,因为5代到伽玛函数为24[ 1] 。
一般而言,反伽玛函数是指定义域 在实数 区间
[
β
,
+
∞
)
{\displaystyle \left[\beta ,+\infty \right)}
上且图形在实数区间
[
α
,
+
∞
)
{\displaystyle \left[\alpha ,+\infty \right)}
上的主分支,其中
β
=
0.8856031
…
{\displaystyle \beta =0.8856031\ldots }
[ 2] 是伽玛函数在正实轴 上的最小值、
α
=
Γ
−
1
(
β
)
=
1.4616321
…
{\displaystyle \alpha =\Gamma ^{-1}(\beta )=1.4616321\ldots }
[ 3] 是能使
Γ
(
x
)
{\displaystyle \Gamma (x)}
最小的
x
{\displaystyle x}
值[ 4] 。
反伽玛函数可以透过伽玛函数和阶乘 的关系来定义反阶乘 ,即阶乘的反函数。
限制在
[
α
,
+
∞
)
{\displaystyle \left[\alpha ,+\infty \right)}
区间的反伽玛函数称为伽玛函数的主逆函数(principal inverse function),可以表示为
Γ
−
1
(
x
)
{\displaystyle \Gamma ^{-1}(x)}
。
在不同分支上的伽玛函数也可以定义出反伽玛函数,在第n个分支上的反伽玛函数可以表示为
Γ
n
−
1
(
z
)
{\displaystyle \Gamma _{n}^{-1}(z)}
。
直接将伽玛函数取反函数将成为多值函数 ,因此通常会将反伽玛函数限制在特定区间上的反函数
由于反伽玛函数是伽玛函数的反函数 ,因此最简单的情况下可以表示为:
Γ
(
Γ
−
1
(
x
)
)
=
x
{\displaystyle \Gamma (\Gamma ^{-1}(x))=x}
更进一步的,反伽玛函数可以用如下积分 表达式来定义:[ 5]
Γ
−
1
(
x
)
=
a
+
b
x
+
∫
−
∞
Γ
(
α
)
(
1
x
−
t
−
t
t
2
−
1
)
d
μ
(
t
)
{\displaystyle \Gamma ^{-1}(x)=a+bx+\int _{-\infty }^{\Gamma (\alpha )}\left({\frac {1}{x-t}}-{\frac {t}{t^{2}-1}}\right)d\mu (t)}
其中
∫
−
∞
Γ
(
α
)
(
1
t
2
+
1
)
d
μ
(
t
)
<
∞
{\displaystyle \int _{-\infty }^{\Gamma \left(\alpha \right)}\left({\frac {1}{t^{2}+1}}\right)d\mu (t)<\infty }
、a和b为满足
b
≧
0
{\displaystyle b\geqq 0}
的实数 、
μ
(
t
)
{\displaystyle \mu (t)}
为博雷尔测度 。
不同分支的反伽玛函数
反伽玛函数的分支可以透过先计算
Γ
−
1
(
x
)
{\displaystyle \Gamma ^{-1}(x)}
在分支点
α
{\displaystyle \alpha }
附近的泰勒级数 ,接著截断级数并求其反函数来得到更好的近似值。
例如,可以写出关于反伽玛函数的二次近似[ 6] ;
Γ
−
1
(
x
)
≈
α
+
2
(
x
−
Γ
(
α
)
)
Ψ
(
1
,
α
)
Γ
(
α
)
.
{\displaystyle \Gamma ^{-1}\left(x\right)\approx \alpha +{\sqrt {\frac {2\left(x-\Gamma \left(\alpha \right)\right)}{\Psi \left(1,\ \alpha \right)\Gamma \left(\alpha \right)}}}.}
反伽玛函数也有如下的渐近分析 形式:[ 7]
Γ
−
1
(
x
)
∼
1
2
+
ln
(
x
2
π
)
W
0
(
e
−
1
ln
(
x
2
π
)
)
{\displaystyle \Gamma ^{-1}(x)\sim {\frac {1}{2}}+{\frac {\ln \left({\frac {x}{\sqrt {2\pi }}}\right)}{W_{0}\left(e^{-1}\ln \left({\frac {x}{\sqrt {2\pi }}}\right)\right)}}}
其中
W
0
(
x
)
{\displaystyle W_{0}(x)}
是朗伯W函数 。这个公式是利用史特灵公式 求逆得到的,因此也可以展开为渐近级数。
要计算反伽玛函数的级数展开可以先计算倒数伽玛函数
1
Γ
(
x
)
{\displaystyle {\frac {1}{\Gamma (x)}}}
在负整数极点附近的级数展开,然后再求级数的逆。
令
z
=
1
x
{\displaystyle z={\frac {1}{x}}}
可以得到第
n
{\displaystyle n}
个分支的反伽玛函数
Γ
n
−
1
(
z
)
{\displaystyle \Gamma _{n}^{-1}(z)}
,其中
n
≥
0
{\displaystyle n\geq 0}
。[ 8]
Γ
n
−
1
(
z
)
=
−
n
+
(
−
1
)
n
n
!
z
+
ψ
(
0
)
(
n
+
1
)
(
n
!
z
)
2
+
(
−
1
)
n
(
π
2
+
9
ψ
(
0
)
(
n
+
1
)
2
−
3
ψ
(
1
)
(
n
+
1
)
)
6
(
n
!
z
)
3
+
O
(
1
z
4
)
{\displaystyle \Gamma _{n}^{-1}(z)=-n+{\frac {\left(-1\right)^{n}}{n!z}}+{\frac {\psi ^{(0)}\left(n+1\right)}{\left(n!z\right)^{2}}}+{\frac {\left(-1\right)^{n}\left(\pi ^{2}+9\psi ^{(0)}\left(n+1\right)^{2}-3\psi ^{(1)}\left(n+1\right)\right)}{6\left(n!z\right)^{3}}}+O\left({\frac {1}{z^{4}}}\right)}
其中,
ψ
(
n
)
(
x
)
{\displaystyle \psi ^{(n)}(x)}
是多伽玛函数 。
反阶乘的复变函数图形
反阶乘是阶乘 的反函数 ,有时记为Factorial-1 或ArcFactorial[ 9] ,其函数值 可以透过反伽玛函数 或解伽玛函数方程来得到[ 10] 。
例如120的反阶乘为5,因为
5
!
=
120
{\displaystyle 5!=120}
。
目前反阶乘的数学表达方式学界尚无共识。[ 注 1]
反伽玛函数与反阶乘的关系为:
Γ
−
1
(
n
)
=
A
r
c
F
a
c
t
o
r
i
a
l
(
z
)
+
1
{\displaystyle \Gamma ^{-1}(n)=\mathrm {ArcFactorial} (z)+1}
这是由于:
z
!
=
Γ
(
z
+
1
)
{\displaystyle z!=\Gamma (z+1)}
反阶乘可以定义为:
(
A
r
c
F
a
c
t
o
r
i
a
l
(
z
)
)
!
=
z
{\displaystyle (\mathrm {ArcFactorial} (z))!=z}
条件是
A
r
c
F
a
c
t
o
r
i
a
l
(
z
)
{\displaystyle \mathrm {ArcFactorial} (z)}
在复平面上是全纯的,并且沿著实轴的一部分进行切割,从正参数阶乘的最小值开始,延伸到
−
∞
{\displaystyle -\infty }
。
在分支点
z
=
μ
0
{\displaystyle z=\mu _{0}}
附近的反阶乘可以展开为;
A
r
c
F
a
c
t
o
r
i
a
l
(
z
)
=
ν
0
+
∑
n
=
1
N
−
1
d
n
⋅
(
log
(
z
/
μ
0
)
)
n
/
2
{\displaystyle \mathrm {ArcFactorial} (z)=\nu _{0}+\sum _{n=1}^{N-1}d_{n}\cdot {\Big (}\log(z/\mu _{0}){\Big )}^{n/2}}
由于阶乘与伽玛函数之间的关联,反阶乘也可以透过反伽玛函数近似公式来估计:
A
r
c
F
a
c
t
o
r
i
a
l
(
z
)
≈
−
1
+
α
+
2
(
x
−
Γ
(
α
)
)
Ψ
(
1
,
α
)
Γ
(
α
)
.
{\displaystyle \mathrm {ArcFactorial} \left(z\right)\approx -1+\alpha +{\sqrt {\frac {2\left(x-\Gamma \left(\alpha \right)\right)}{\Psi \left(1,\ \alpha \right)\Gamma \left(\alpha \right)}}}.}
因此,反阶乘也可以写成如下的渐近分析 形式:[ 7]
A
r
c
F
a
c
t
o
r
i
a
l
(
x
)
∼
ln
(
x
2
π
)
W
0
(
e
−
1
ln
(
x
2
π
)
)
−
1
2
{\displaystyle \mathrm {ArcFactorial} \left(x\right)\sim {\frac {\ln \left({\frac {x}{\sqrt {2\pi }}}\right)}{W_{0}\left(e^{-1}\ln \left({\frac {x}{\sqrt {2\pi }}}\right)\right)}}-{\frac {1}{2}}}
其中
W
0
(
x
)
{\displaystyle W_{0}(x)}
是朗伯W函数 。
^ Borwein, Jonathan M.; Corless, Robert M. Gamma and Factorial in the Monthly. The American Mathematical Monthly. 2017, 125 (5): 400–424. JSTOR 48663320 . S2CID 119324101 . arXiv:1703.05349 . doi:10.1080/00029890.2018.1420983 .
^ A030171
^ A030169
^ Uchiyama, Mitsuru. The principal inverse of the gamma function . Proceedings of the American Mathematical Society. April 2012, 140 (4): 1347 [20 March 2023] . JSTOR 41505586 . S2CID 85549521 . doi:10.1090/S0002-9939-2011-11023-2 . (原始内容存档 于2023-03-20).
^ Pedersen, Henrik. " Inverses of gamma functions" . Constructive Approximation. 9 September 2013, 7 (2): 251–267 [2023-08-21 ] . S2CID 253898042 . arXiv:1309.2167 . doi:10.1007/s00365-014-9239-1 . (原始内容存档 于2023-05-24).
^ Corless, Robert M.; Amenyou, Folitse Komla; Jeffrey, David. Properties and Computation of the Functional Inverse of Gamma. 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). 2017: 65. ISBN 978-1-5386-2626-9 . S2CID 53287687 . doi:10.1109/SYNASC.2017.00020 .
^ 7.0 7.1 Amenyou, Folitse Komla; Jeffrey, David. "Properties and Computation of the inverse of the Gamma Function" (学位论文): 28. 2018 [2023-08-23 ] . (原始内容存档 于2022-05-09).
^ Couto, Ana Carolina Camargos; Jeffrey, David; Corless, Robert. The Inverse Gamma Function and its Numerical Evaluation . Maple Conference Proceedings. November 2020. Section 8 [2023-08-23 ] . (原始内容存档 于2023-05-16).
^ Kouznetsov, Dmitrii and Trappmann, Henryk. Superfunctions and sqrt of factorial. Moscow University Physics Bulletin. 2010-03, 65 : 6–12. doi:10.3103/S0027134910010029 .
^ InverseFactorial . resources.wolframcloud.com. [2023-08-21 ] . (原始内容存档 于2023-08-21).