在数学中,上不完全Γ函数和下不完全Γ函数是Γ函数的推广。
定义
上不完全Γ函数和下不完全Γ函数的定义分别如下:
通过
解析延拓可以将定义域拓展到C×C(除去可数个奇点外),详见下文。
记号
如无特别说明,在本文中,以x表示非负实数,以z表示任意复数。
基本性质
在上面定义的约束条件下,通过分部
积分,可以计算得
递归关系:
以及反过来:
因为正常的函数定义为:
故有:
以及
解析延拓
下不完全伽玛函数
解析延拓的方法
在最原始的定义式中,积分是沿着实轴进行的,故要求在γ(s,z)中,
运用上一小节里面的关系式,可以用下式来进行解析延拓:
由魏尔斯特拉斯原理,下式中的函数,有时记作,是关于s和z的整函数。
因此下面的分解式
的确给出了下不完全伽玛函数的一个解析延拓。其中前两个因子给出了下不完全伽玛函数的奇点(即z=0或s为非正整数),而后面的因子则给出了下不完全伽玛函数的零点。
多值性
下不完全伽玛函数的多值性来自于因子z的多值性。如无特别说明,本文限制z的辐角绝对值小于π。
积分表达式
在选定了z的单值分支之后,下不完全伽玛函数的积分定义式可以自然地拓展到z为任意复数的情形,只是此时该积分应该理解为复平面上的路径积分,且积分路径需避开单值分支间的割线。需注意的是此时仍然要求s的实部大于0,否则积分不收敛。
z→∞时的极限
s为正实数的情形,有定义式有:
s为复数且不为非正整数的情形,可以证明:
后面的条件相当于要求z的实部为正值且辐角取主值。
总结
上不完全伽玛函数
解析延拓的方法
当z为正实数,s为实部大于0的复数时,有定义显然有:
由于伽玛函数和下不完全伽玛函数关于s,z都至少是亚纯函数,上式可以自然地作解析延拓,并以此作为上不完全伽玛函数的定义。下不完全伽玛函数的多值性自然地导致上不完全伽玛函数的多值性,下面的讨论基于主分支。
进一步地,由黎曼可去奇点原理,由于等号右边在s取非正整数时的邻域内有界,故作为s的函数,非正整数是上不完全伽玛函数的可去奇点,可以通过对等号右边取极限来定义非正整数时上不完全伽玛函数的值。下面以s=0为例来说明这种极限过程,其它情况可以类推得到。
事实上,在下不完全伽玛函数的积分表达式中,将指数函数用其泰勒展开式代换,得到:
即
上式实际上给出了γ(s,z)的一个级数表示,给定s后,由比值审敛法知上式的收敛半径为无穷大。下面的讨论将x换成z(z≠0)。
上式等号右边第二项当s=0时有良好的定义,第一项在s→0时的极限存在,故等号右边于s→0时的极限存在,并可以用它来定义等号左边的值。
另一方面,由伽玛函数的魏尔斯特拉斯无穷乘积表示有:
γ是欧拉-马歇罗尼常数。于是,可以定义
这样就证明了s=0的确是上不完全伽玛函数的可去奇点。
总结
上不完全伽玛函数的其它解析性质可以由下不完全伽玛函数和(完全)伽玛函数的解析性质得到。结果如下:
注意最后一条对一般的s并不成立。特别地,当s为负实数且不为整数时,Γ(s)是实数,而Γ(s,0)没有定义。
特殊值
下面一组关系式都能够由积分表达式直接得出,其中第三、四式中的函数是
指数积分,第五、六式中的函数分别是
余误差函数和
误差函数:
导函数
由不完全伽玛函数的积分表达式显然有:
尽管积分表达式为保证收敛性要加上s的实部大于零的限制,但上式并没有这种限制。这可以通过s的实部大于零时的对应表达式两边作解析延拓证明。
另一方面,不完全伽玛函数对s的偏导数是MeijerG-函数的特例,事实上,定义
则有:
更一般地:
式中(m-1)n是下降阶乘幂的Pochhammer记号。
事实上
利用上式和Mellin变换的性质,并作解析延拓,就可以得到上不完全伽玛函数对参变量的高阶偏导数的表达式。