Skip to content

定义Definition

Beta 函数:两个端点与归一化积分

Beta function · Euler beta integral · 贝塔函数

定义两参数端点积分,以总量和比例的Jacobian换元证明Beta–Gamma恒等式,并追踪参数范围、递推与有理核积分。

积分 ∫01ta−1(1−t)b−1dt 同时照顾两个端点:a 决定靠近0的质量,b 决定靠近1的质量。Beta函数将这两个独立条件保留在同一个符号里。

形式陈述 ​

对实数 a,b>0,定义

(1)B(a,b)=∫01ta−1(1−t)b−1dt.

这是两端分别取极限的反常积分。因为在零附近 (1−t)b−1 有正的有限极限,在一附近 ta−1 也如此,两个条件准确地是 a>0、b>0;任何一个不满足,正被积函数在对应端发散。

在分数阶积分的复合中,两个核在三角域换序后恰得到 B(β,α);两个正参数分别控制中间变量的两端。其Gamma比消去两次归一化,使 IαIβ=Iα+β。这一阶数恒等式不等于从中途清空历史后的时间重启。

它与Gamma函数满足

(2)B(a,b)=Γ(a)Γ(b)Γ(a+b).

对正实数,分母严格为正。另有

(3)B(a,b)=B(b,a),B(a+1,b)=aa+bB(a,b),B(a,b+1)=ba+bB(a,b).

以下从积分证明等式,避免先把归一化常数写进定义再用它“验证”自己。

直觉

把两个正数 u,v 改写为总量 r=u+v 与比例 t=u/(u+v)。总量可以从0到无穷,比例只能在0与1之间。指数项 e−(u+v) 只依赖总量,幂权则分成一个总量幂和一个比例幂。Gamma积分负责总量,Beta积分负责比例。

双积分证明中的换序和Jacobian ​

非负性使Tonelli定理允许先写

Γ(a)Γ(b)=∫0∞∫0∞ua−1vb−1e−u−vdudv.

令 u=rt,v=r(1−t),则 r>0,0<t<1,且

|det⁡∂(u,v)∂(r,t)|=r.

在 r 有界且远离0、t 远离两个端点的紧矩形上使用多元积分换元,再由非负单调极限扩大到整个区域。所得积分为

∫0∞ra+b−1e−rdr∫01ta−1(1−t)b−1dt=Γ(a+b)B(a,b).

Jacobian的一个 r 不能漏:漏掉它会把总量指数错写成 a+b−2,产生错误的Gamma参数。

对称式由 t↦1−t 得到;两条递推由式(2)和Gamma递推得到。也可以先用 t+(1−t)=1 得到 B(a+1,b)+B(a,b+1)=B(a,b),再以有限截断分部积分建立两者的比例。

例子与边界

整数与半整数都可直接复算 ​

正整数 m,n 给

B(m,n)=(m−1)!(n−1)!(m+n−1)!.

例如 B(2,3)=1/12,直接展开 t(1−t)2 积分也得 1/2−2/3+1/4=1/12。这个检查特别容易发现分母误写成 (m+n)! 的一位偏差。

在 a=b=1/2 时,取 t=sin2⁡θ,并先在内部截断区间换元,得到

B(1/2,1/2)=2∫0π/2dθ=π.

两端虽都无界,面积仍有限;它不是在端点直接访问函数值的闭型求积输入。

把无限区间的有理核变成Beta积分 ​

以 t=x/(1+x) 换元,dt=dx/(1+x)2,得

(4)∫0∞xa−1(1+x)a+bdx=B(a,b)(a,b>0).

例如 ∫0∞x/(1+x)5dx=B(2,3)=1/12。零端约为 x,远端约为 x−4,两个收敛检查与参数 a=2,b=3 一致。

更一般地,p,q,r>0 时

∫0∞xp−1(1+xq)rdx=1qB(pq,r−pq)当且仅当 0<p<qr.

先令 y=xq 再用式(4)。边界 p=qr 的尾部成为 1/x,不能把有极点的Beta表达当有限积分值。

推论与应用

归一化权

wa,b(t)=ta−1(1−t)b−1B(a,b)

积分恰为1。由式(3),它的一次加权积分为 a/(a+b),二次为 a(a+1)/[(a+b)(a+b+1)]。这是两个积分比的结果;若把它解释为随机变量密度,另需概率模型,本页不替代相应分布条目。

复参数也有清楚版本:当 Re⁡a,Re⁡b>0 时仍按实对数定义端点幂,绝对值由实参数Beta积分控制。上述双积分的绝对值积分有限,Fubini定理允许同样换序,得到

Γ(a)Γ(b)=Γ(a+b)B(a,b).

特别取 b=1−a、0<Re⁡a<1,分母对应 Γ(1)=1,可安全写 B(a,1−a)=Γ(a)Γ(1−a)。反射公式将这个特例进一步化成三角函数。

参考资料
  • NIST DLMF,§5.12, Euler’s Beta Integral,式5.12.1、5.12.2、5.12.3:端点积分、三角换元与正半轴表示。
  • Frank Jones,Computational Complex Analysis,2018,Ch.6 §B,印页147–148(PDF第153–154页):Beta积分及二重积分与Gamma关系。该书使用极坐标,本文用总量—比例坐标,并单独核对紧域换元后的极限。
关系图谱10 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系