[科普中国]-不完全Γ函数

在数学中，上****不完全Γ函数和下不完全Γ函数是Γ函数的推广。

定义上不完全Γ函数和下不完全Γ函数的定义分别如下：

通过解析延拓可以将定义域拓展到C×C（除去可数个奇点外），详见下文。

记号如无特别说明，在本文中，以x表示非负实数，以z表示任意复数。

基本性质在上面定义的约束条件下，通过分部积分，可以计算得递归关系：

以及反过来：

因为正常的 函数定义为：

故有：

以及

解析延拓下不完全伽玛函数解析延拓的方法

在最原始的定义式中，积分是沿着实轴进行的，故要求在γ(s,z) 中，

运用上一小节里面的关系式，可以用下式来进行解析延拓：

由比值审敛法可知，右边的级数的收敛半径是无穷大。

由魏尔斯特拉斯原理，下式中的函数，有时记作 ，是关于s和z的整函数。

因此下面的分解式

的确给出了下不完全伽玛函数的一个解析延拓。其中前两个因子给出了下不完全伽玛函数的奇点（即z=0 或s为非正整数），而后面的因子则给出了下不完全伽玛函数的零点。

多值性

下不完全伽玛函数的多值性来自于因子z的多值性。如无特别说明，本文限制z的辐角绝对值小于 π。

积分表达式

在选定了z的单值分支之后，下不完全伽玛函数的积分定义式可以自然地拓展到z为任意复数的情形，只是此时该积分应该理解为复平面上的路径积分，且积分路径需避开单值分支间的割线。需注意的是此时仍然要求s的实部大于 0，否则积分不收敛。

z→∞ 时的极限

s为正实数的情形，有定义式有：

s为复数且不为非正整数的情形，可以证明：

后面的条件相当于要求z的实部为正值且辐角取主值。

总结

根据上面的讨论，下不完全伽玛函数有下列性质：

当s为正整数时是z的整函数；

当s不是整数时是z的多值全纯函数，z=0 是其枝点；

对于确定的z，指定主分支后，下不完全伽玛函数是s的亚纯函数，非正整数是其一阶极点。

上不完全伽玛函数解析延拓的方法

当z为正实数，s为实部大于 0 的复数时，有定义显然有：

由于伽玛函数和下不完全伽玛函数关于s,z都至少是亚纯函数，上式可以自然地作解析延拓，并以此作为上不完全伽玛函数的定义。下不完全伽玛函数的多值性自然地导致上不完全伽玛函数的多值性，下面的讨论基于主分支。

进一步地，由黎曼可去奇点原理，由于等号右边在s取非正整数时的邻域内有界，故作为s的函数，非正整数是上不完全伽玛函数的可去奇点，可以通过对等号右边取极限来定义非正整数时上不完全伽玛函数的值。下面以s=0 为例来说明这种极限过程，其它情况可以类推得到。1

事实上，在下不完全伽玛函数的积分表达式中，将指数函数用其泰勒展开式代换，得到：

即

上式实际上给出了γ(s,z) 的一个级数表示，给定s后，由比值审敛法知上式的收敛半径为无穷大。下面的讨论将x换成z（z≠0）。

上式等号右边第二项当s=0 时有良好的定义，第一项在s→0 时的极限存在，故等号右边于s→0 时的极限存在，并可以用它来定义等号左边的值。

另一方面，由伽玛函数的魏尔斯特拉斯无穷乘积表示有：

γ是欧拉-马歇罗尼常数。于是，可以定义

这样就证明了s=0 的确是上不完全伽玛函数的可去奇点。

总结

上不完全伽玛函数的其它解析性质可以由下不完全伽玛函数和（完全）伽玛函数的解析性质得到。结果如下：

当s是正整数时，是z的整函数；

当s不是整数时，是z的多值全纯函数，z=0 是其枝点；

选定单值分支后，对z≠0，是s的整函数；

当s的实部大于零且z=0 时，等于（完全）伽玛函数 Γ(s)；

注意最后一条对一般的s并不成立。特别地，当s为负实数且不为整数时，Γ(s) 是实数，而 Γ(s,0) 没有定义。

特殊值

下面一组关系式都能够由积分表达式直接得出，其中第三、四式中的函数是指数积分，第五、六式中的函数分别是余误差函数和误差函数：2

导函数由不完全伽玛函数的积分表达式显然有：

尽管积分表达式为保证收敛性要加上s的实部大于零的限制，但上式并没有这种限制。这可以通过s的实部大于零时的对应表达式两边作解析延拓证明。

另一方面，不完全伽玛函数对s的偏导数是MeijerG-函数的特例，事实上，定义

则有：

更一般地：

式中 (m-1)n是下降阶乘幂的 Pochhammer 记号。

事实上

利用上式和Mellin 变换的性质，并作解析延拓，就可以得到上不完全伽玛函数对参变量的高阶偏导数的表达式。

本词条内容贡献者为:

胡建平 - 副教授 - 西北工业大学