在数理方程、概率论等学科经常遇到以下的含参变量的积分
,
它们依次为第一类和第二类欧拉(Euler 1707~1783 瑞士数学家)积分,或依次称为贝塔(Bata)函数和伽马(Gamma)函数,这一节主要讨论这两个函数的若干性质。
11.3.1 伽马函数
显然,我们应首先考虑伽马函数
(3.1)
的收敛问题。式(3.1)右端的积分不仅是一个无穷积分,而且当时,还是被积函数的一个瑕点。为此我们把它拆成两个积分。
和
注意到是以为瑕点的瑕积分,且注意到
而在时是收敛的,所以也收敛()。又因为,有
所以,,当时,有
这说明积分
对于都是收敛的,总之当,积分和同时收敛,所以积分
在收敛,从而伽马函数在有定义。
在任何上一致收敛。事实上,。
对,,而收敛,由判别法,关于在一致收敛。
对,,而收敛,由判别法,关于在一致收敛。
由的任意性及连续概念的局部性知,伽马函数在是连续的。
下面还可以进一步证明伽马函数的可微性,即当时各阶导数都存在,并且可由在积分号下求导得到,即
(3.2)
事实上采用证明连续性时同样的方法,可证瑕积分
与无穷积分
关于在上一致收敛,这里且为任意正数。从而再由定理2.5和定理2.9推知式(3.2)成立。
当时,利用分部积分公式,有
即伽马函数有递推关系
(3.3)
反复运用式(3.3),得
(3.4)
公式(3.3)、(3.4)可用于逐步减小自变量的值,直到它不超过1;即伽马函数对任意的自变量值的计算,都可化为对的值的计算。
在式(3.4)中,取,并注意
就得到
这个式子说明伽马函数是阶乘的推广。这就是说,把本来只对自然数有意义的函数推广到对一切正数都有意义了。
11.3.2 贝塔函数
对于贝塔函数
(3.5)
采用上一小节同样方法,可证明在区域连续。
如果在式(3.5)的右端积分中作替换,我们有
即 (3.6)
这说明贝塔函数关于具有对称性。
贝塔函数还有如下递推公式
(3.7)
事实上,由分部积分
移项解出,便得到所要证明的式(3.7)。
如果在式(3.5)中作替换,则得
(3.8)
反复运用公式(3.7),有
从而
可见
从上式可看到贝塔函数与伽马函数之间的联系,但上述等式仅限于取非负的整数方能成立,限制公式的应用价值,我们当然希望把它能够推广到和 的整个定义范围内,这正是下一节讨论的内容。
11.3.3 贝塔函数与伽马函数之间的联系
定理3.1 设,则
(3.9)
证: 在积分
中作代换,则有
所以
(3.10)
其中为正方形。作半径分别为和,圆心在原点的圆域和(图3.1),则由于式(3.10)中积分的被积函数为非负的,所以有
但在积分
中作极坐标替换,得
(利用式(3.8))
(这里)
所以
同理,可求
从而根据式(3.11),有
代入式(3.10),得
即
式(3.9)得证。
例 3.2 证明
证: 由于
作替换,有
又当时,,当时,,所以
例3.3 利用等式 证明
证: 由贝塔函数与伽马函数的关系式(3.9)及例3.1,有
例 3.4 利用欧拉积分计算积分
解: 令,有
, ,
并且当时;当时。从而
=
=
=
=
=
相关推荐
计算一个函数每隔一个时间间隔的伽马函数值和贝塔函数值
看prml一书的时候,讲到gamma与beta函数,还有gamma与beta分布,不太理解,看这个文档帮助很大
伽玛函数(Gamma函数),也叫欧拉第二积分,是阶乘函数在实数与复数上扩展的一类函数。该函数在分析学、概率论...与之有密切联系的函数是贝塔函数,也叫第一类欧拉积分。可以用来快速计算同伽马函数形式相类似的积分。
与之有密切联系的函数是贝塔函数,也叫第一类欧拉积分,可以用来快速计算同伽马函数形式相类似的积分。 伽马函数的意义: 在z∈N+时,Γ(z)=(z-1)!(z!=1*2*3*...*z) 在z∈R+时: 伽马函数的推导: 证明Γ(z+1)=zΓ...
贝塔函数。 psi 功能。 具有复杂参数的 psi 函数。 不完全伽马函数。 不完整的 beta 函数。 勒让德多项式第二类勒让德函数相关勒让德多项式第一类和第二类贝塞尔函数第一类和第二类贝塞尔函数的零点拉姆达函数第一...
提出了根据一阶矩、二阶矩,拟合贝塔函数和对数伽马函数,进行大型复杂系统可靠性快速评定方法;并且编制了相应C++计算程序,解决了大型复杂系统可靠性评定问题。所提出的方法,便于工程应用,对于大型复杂系统可靠性评定...
文章目录术语前言整数浮点数抽取字节洗牌排列贝塔分布二项分布卡方分布狄利克雷分布指数分布F分布伽玛分布几何分布耿贝尔分布超几何分布拉普拉斯分布(双指数分布)逻辑斯谛分布正态分布(高斯分布)对数正态分布...
TFA_Hilbert)提取功率(高伽马和贝塔) 运行排列统计以选择“响应通道”(在刺激开始后检测到功率变化的通道)(PARAMS + Statistics) 运行排列统计来比较条件(PARAMS + Statistics) PARAMS 脚本收集执行预处理...
Matlab 脚本使用 Nedler 和 Mead Simplex 算法查找用户定义函数的极值。 必须首先使用特定名称将函数定义为... * 问题的维数* 起点向量* 阿尔法、贝塔、伽马* 增量* 拉姆达* eps1,eps2 脚本中还提供了参数的推荐值。
该文件包含使用两种方法生成随机变量的各种函数:逆方法和接受拒绝方法。 包括来自以下分布的随机变量: 连续均匀分布; 指数分布; 标准正态分布; 泊松分布; 广义帕累托分布; 伯努利分布; 二项分布; 贝塔分布;...