数学分析(十九)-含参量积分3-欧拉积分2：B函数【B(p,q)=∫₀¹x^{p-1}(1-x)^{q-1}dx；p＞0,q＞0】

含参量积分
$$\begin{array}{rl}\Gamma (s)& ={\int }_0^{+\infty }{x}^{s-1}{\mathrm{e}}^{-x}\mathrm{d}x,s>0,(1)\\ \mathrm{B}(p,q)& ={\int }_0^1{x}^{p-1}(1-x{)}^{q-1}\mathrm{d}x,p>0,q>0(2)\end{array}$$

在应用中经常出现, 它们统称为欧拉积分, 其中前者又称为伽马 (Gamma) 函数(或写作 $\Gamma$ 函数), 后者称为贝塔 (Beta) 函数 (或写作 $\mathrm{B}$函数). 下面我们分别讨论这两个函数的性质.

---

B 函数 (2) 当 $p<1$ 时, 是以 $x=0$ 为㻓点的无界函数反常积分; 当 $q<1$时, 是以 $x=1$为㻓点的无界函数反常积分. 应用柯西判别法可证得当$p>0,q>0$ 时这两个无界函数反常积分都收敛,所以函数 $\mathrm{B}(p,q)$的定义域为 $p>0,q>0$.

虽然 $\mathrm{B}(p,q)$ 是含两个参量的含参量积分,但与含单参数的含参量积分一样,相应的一致收敛性的定义、判别和性质是完全相同的. 应用这些结论,我们可得以下 $\mathrm{B}(p$, $q)$ 的性质.

1、$\mathrm{B}(p,q)$ 在定义域 $p>0,q>0$ 内连续

由于对任何 $p_0>0,q_0>0$ 成立不等式

$$x^{p-1}(1-x{)}^{q-1}⩽x^{p_0-1}(1-x{)}^{q_0-1},p⩾$$