伽玛函数

✍ dations ◷ 2025-04-03 17:09:06 #伽玛函数
在数学中, Γ {displaystyle Gamma ,} 函数,也叫做伽玛函数(Gamma函数),是阶乘函数在实数与复数域上的扩展。如果 n {displaystyle n} 为正整数,则:对于实数部分为正的复数 z {displaystyle z} ,伽玛函数定义为:此定义可以用解析延拓原理,拓展到除去非正整数的整个复数域上。在概率论中常见此函数,在组合数学中也常见。Γ {displaystyle Gamma ,} 函数可以通过欧拉(Euler)第二类积分定义:对复数 z {displaystyle z,} ,我们要求 R e ( z ) > 0 {displaystyle mathrm {Re} (z)>0} 。Γ {displaystyle Gamma } 函数还可以通过对 e − t {displaystyle mathrm {e} ^{-t},} 做泰勒展开,解析延拓到整个复平面: Γ ( z ) = ∫ 1 ∞ t z − 1 e t d t + ∑ n = 0 ∞ ( − 1 ) n n ! 1 n + z {displaystyle Gamma (z)=int _{1}^{infty }{frac {t^{z-1}}{mathrm {e} ^{t}}}{rm {d}}t+sum _{n=0}^{infty }{frac {(-1)^{n}}{n!}}{frac {1}{n+z}}}这样定义的 Γ {displaystyle Gamma } 函数在全平面除了 z = 0 , − 1 , − 2 , … {displaystyle z=0,-1,-2,ldots } 以外的地方解析。Γ {displaystyle Gamma } 函数也可以用无穷乘积的方式表示:这说明 Γ ( z ) {displaystyle Gamma (z)} 是亚纯函数,而 1 Γ ( z ) {displaystyle {frac {1}{Gamma (z)}}} 是全纯函数Γ {displaystyle Gamma ,} 函数可以用无穷乘积表示:其中 γ {displaystyle gamma ,} 是欧拉-马歇罗尼常数。⟹ Γ ( α ) λ α = ∫ 0 ∞ x α − 1 e − λ x d x {displaystyle implies {frac {Gamma left(alpha right)}{lambda ^{alpha }}}=int _{0}^{infty }x^{alpha -1}mathrm {e} ^{-lambda x}{rm {d}}x}Γ {displaystyle Gamma ,} 函数的递推公式为: Γ ( x + 1 ) = x Γ ( x ) {displaystyle Gamma (x+1)=xGamma (x)} ,对于正整数 n {displaystyle n,} ,有可以说 Γ {displaystyle Gamma ,} 函数是阶乘的推广。Γ ( n + 1 ) = ∫ 0 ∞ e − x x n + 1 − 1 d x = ∫ 0 ∞ e − x x n d x {displaystyle Gamma (n+1)=int _{0}^{infty }mathrm {e} ^{-x}x^{n+1-1}mathrm {d} x=int _{0}^{infty }mathrm {e} ^{-x}x^{n}{rm {d}}x}我们用分部积分法来计算这个积分:∫ 0 ∞ e − x x n d x = [ − x n e x ] 0 ∞ + n ∫ 0 ∞ e − x x n − 1 d x {displaystyle int _{0}^{infty }mathrm {e} ^{-x}x^{n}mathrm {d} x=left_{0}^{infty }+nint _{0}^{infty }mathrm {e} ^{-x}x^{n-1}{rm {d}}x}当 x = 0 {displaystyle x=0,} 时, − 0 n e 0 = 0 1 = 0 {displaystyle {tfrac {-0^{n}}{mathrm {e} ^{0}}}={tfrac {0}{1}}=0} 。当 x {displaystyle x,} 趋于无穷大时,根据洛必达法则,有:lim x → ∞ − x n e x = lim x → ∞ − n ! ⋅ 0 e x = 0 {displaystyle lim _{xrightarrow infty }{frac {-x^{n}}{mathrm {e} ^{x}}}=lim _{xrightarrow infty }{frac {-n!cdot 0}{mathrm {e} ^{x}}}=0} 。因此第一项 [ − x n e x ] 0 ∞ {displaystyle left_{0}^{infty }} 变成了零,所以:Γ ( n + 1 ) = n ∫ 0 ∞ x n − 1 e x d x {displaystyle Gamma (n+1)=nint _{0}^{infty }{frac {x^{n-1}}{mathrm {e} ^{x}}}{rm {d}}x}等式的右面正好是 n Γ ( n ) {displaystyle nGamma (n),} 。因此,递推公式为:此式可用来协助计算t分布概率密度函数、卡方分布概率密度函数、F分布概率密度函数等的累计概率。对任何实数α斯特灵公式能用以估计 Γ ( z ) {displaystyle Gamma (z)} 函数的增长速度。公式为:其中e约等于2.718281828459。对任何复数z,满足 Re(z) > 0,有于是,对任何正整数 m其中γ是欧拉-马歇罗尼常量。注意到在 Γ {displaystyle Gamma } 函数的积分定义中若取 z {displaystyle z,} 为实部大于零之复数、则积分存在,而且在右半复平面上定义一个全纯函数。利用函数方程并注意到函数 sin ⁡ ( π z ) {displaystyle sin(pi z),} 在整个复平面上有解析延拓,我们可以在 R e ( z ) < 1 {displaystyle mathrm {Re} (z)<1} 时设从而将 Γ {displaystyle Gamma ,} 函数延拓为整个复平面上的亚纯函数,它在 z = 0 , − 1 , − 2 , − 3 ⋯ {displaystyle z=0,-1,-2,-3cdots } 有单极点,留数为许多编程语言或表格软件有提供Γ函数或对数的Γ函数,例如EXCEL。而对数的Γ函数还要再取一次自然指数才能获得Γ函数值。例如在EXCEL中,可使用GAMMALN函数,再用EXP,即可求得任意实数的伽玛函数的值。而在没有提供Γ函数的程序环境中,也能够过泰勒级数或斯特灵公式等方式来近似,例如Robert H. Windschitl在2002年提出的方法,其在十进制可获得有效数字八位数的精确度,已足以填满单精度浮点数的二进制有效数字24位:

相关

  • 封套封套(法语:enveloppe,英语:envelope,葡萄牙语:envelope,德语:Umschlag,西班牙语:sobre),是一种包装工具,通常都是压平的。制造信封的材料有很多种,最常见的是纸张,其次还有纸版、塑胶、牛皮
  • 广谱抗生素抗细菌药(英语:antibacterial)也称为“抗细菌剂”,是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下,抗细菌药也可简称为“抗菌药”,包括抗生素(英语:antibiotic) 由微
  • 美国化学学会美国化学学会(英语:American Chemical Society,简称为ACS)是一个化学领域的专业组织。1876年于美国纽约大学成立,现有157,000位来自化学与化工界各个分支的会员,总部位于华盛顿哥
  • 脑桥脑桥(拉丁语: Pons)是人和两足动物小脑腹面的特有构造。脑桥在延髓的上方和小脑前方,它位于延髓与中脑的大脑脚之间,前后缘有横沟为界;外形呈白色弓状的横隆凸;内部有大量的横走的
  • 卡拉胶卡拉胶(Carrageenan,CAS 9000-07-1),又称鹿角菜胶、角叉菜胶、爱尔兰苔菜胶,是从海洋红藻(包括角叉菜属、麒麟菜属、杉藻属及沙菜属等)提取的多糖的统称,是多种物质的混合物,有ι(Iot
  • 酸性酸(有时用“HA”表示)的传统定义是当溶解在水中时,溶液中氢离子的浓度大于纯水中氢离子浓度的化合物。换句话说,酸性溶液的pH值小于水的pH值(25℃时为水的pH值是7)。酸一般呈酸味,
  • 犹太教末世论犹太教末世论与犹太教的弥赛亚、来生、复活等观念密切相关。末世论通常是指关于世界历史上最后一个事件以及人类最终命运的神学或哲学学说。希伯来词语Mashiach(或作Moshiach
  • 红十字与红新月会国际红十字与红新月运动(法语:Le Mouvement Croix-Rouge et Croissant-Rouge;英语:International Red Cross and Red Crescent Movement;德语:Internationle Rotkreuz- und Rothal
  • 曾祖父母曾祖父母(英语:Great grandparents)是祖父的父亲母亲;又称爷爷的父亲母亲。自己则分别是曾祖父母的曾孙子或曾孙女。在北方地区习惯称呼曾祖父称为“太爷爷”,曾祖母为“太奶奶”
  • 反社会人格反社会人格障碍(英语:Antisocial personality disorder,缩写为ASPD) 是人格障碍的一种,在《精神疾病诊断与统计手册》中归类于第二轴发育障碍/人格异常类别B,必须超过18岁才能够被