贝塔函数与伽马函数的关系

原创已于 2025-10-06 13:22:42 修改 · 871 阅读

11 ·

CC 4.0 BY-SA版权

文章标签：

#数学分析原理 #鲁丁 #rudin #第八章 #贝塔函数 #伽马函数

于 2025-10-05 17:28:32 首次发布

【定理8.20】

如果 $x > 0$ ，又 $y > 0$ ，那么

$∫01tx−1(1−t)y−1dt=Γ(x)Γ(y)Γ(x+y)\int_{0}^{1}{t^{x - 1}(1 - t)^{y - 1}dt} = \frac{\Gamma(x)\Gamma(y)}{\Gamma(x + y)}$

这个积分是所谓的 $B$ 函数 $B (x, y)$ 。

【证明】

首先 $B (x + 1, y)$ 对应的定积分是存在的，这是因为

$\int_{0}^{1}{t^{x}(1 - t)^{y - 1}dt}$

其中

$t^{x} < 1$

$\int_{0}^{1}{(1 - t)^{y - 1}dt}$

而瑕积分

$∣01=1y\int_{0}^{1}{(1 - t)^{y - 1}dt} = - \frac{(1 - t)^{y}}{y}\left. \ \right|_{0}^{1} = \frac{1}{y}$

同理 $B (x, y + 1)$ 对应的定积分是存在的。

由于

$\int_{0}^{1}{t^{x - 1}(1 - t)^{y - 1}dt} }{= \int_{0}^{1}{t^{x-1}(1 - t)^{y - 1}(t + 1 - t)dt} }{= \int_{0}^{1}{t^{x}(1 - t)^{y - 1}dt} + \int_{0}^{1}{t^{x - 1}(1 - t)^{y}dt} }{= B(x + 1,y) + B(x,y + 1)}$

所以定积分

$∫01tx−1(1−t)y−1dt\int_{0}^{1}{t^{x - 1}(1 - t)^{y - 1}dt}$

存在。

又根据分部积分可知

$\int_{0}^{1}{t^{x}(1 - t)^{y - 1}dt} }{= - \frac{t^{x}(1 - t)^{y}}{y}\left. \ \right|_{0}^{1} + \frac{x}{y}\int_{0}^{1}{t^{x - 1}(1 - t)^{y}dt} }{= \frac{x}{y}B(x,y + 1)}$

所以

$\frac{x}{x + y}B(x,y)$

$\frac{y}{x + y}B(x,y)$

根据递推关系可知

$\frac{x\ldots(x + n - 1)}{(x + y)(x + y + 1)\ldots(x + y + n - 1)}B(x,y)$

而

$B (1, 1) = 1$

所以当 $x$ 为整数时定理成立，此时

$\frac{1}{y}$

$\frac{(n - 1)!}{y(y + 1)\ldots(y + n - 1)}$

下面仅需证明 $0 < x < 1$ 时定理成立即可

固定 $y$ 不变，根据Horlder赫尔德不等式，可知 ${log}{B(x,y)}$ 是关于 $x$ 的凸函数。所以

$log⁡B(n+1,y)−logB(n,y)≤log⁡B(x+n+1,y)−logB(n+1,y)x≤log⁡B(n+2,y)−logB(n+1,y)\log{B(n + 1,y)} - {log}{B(n,y)} \leq \frac{\log{B(x + n + 1,y)} - {log}{B(n + 1,y)}}{x} \leq \log{B(n + 2,y)} - {log}{B(n + 1,y)}$

整理得

$lognn+y≤log⁡B(x+n+1,y)−logB(n+1,y)x≤logn+1n+1+y{log}\frac{n}{n + y} \leq \frac{\log{B(x + n + 1,y)} - {log}{B(n + 1,y)}}{x} \leq {log}\frac{n + 1}{n + 1 + y}$

继续整理得

$\times \left( \frac{n}{n + y} \right)^{x} \leq B(x + n + 1,y) \leq B(n + 1,y) \times \left( \frac{n + 1}{n + 1 + y} \right)^{x}$

所以

$n!y(y+1)…(y+n)×(x+y)(x+y+1)…(x+y+n)x(x+1)…(x+n)×(nn+y)x≤B(x,y)≤n!y(y+1)…(y+n)×(x+y)(x+y+1)…(x+y+n)x(x+1)…(x+n)×(n+1n+1+y)x\frac{n!}{y(y + 1)\ldots(y + n)} \times \frac{(x + y)(x + y + 1)\ldots(x + y + n)}{x(x + 1)\ldots(x + n)} \times \left( \frac{n}{n + y} \right)^{x} \leq B(x,y) \leq \frac{n!}{y(y + 1)\ldots(y + n)} \times \frac{(x + y)(x + y + 1)\ldots(x + y + n)}{x(x + 1)\ldots(x + n)} \times \left( \frac{n + 1}{n + 1 + y} \right)^{x}$

根据

$Γ(x)=lim⁡n→∞n!nxx(x+1)…(x+n)\Gamma(x) = \lim_{n \rightarrow \infty}\frac{n!n^{x}}{x(x + 1)\ldots(x + n)}$

可得

${\lim_{n \rightarrow \infty}{\frac{n!}{y(y + 1)\ldots(y + n)} \times \frac{(x + y)(x + y + 1)\ldots(x + y + n)}{x(x + 1)\ldots(x + n)}} }{= \lim_{n \rightarrow \infty}\frac{\frac{n!n^{x}}{x(x + 1)\ldots(x + n)} \times \frac{n!n^{y}}{y(y + 1)\ldots(y + n)}}{\frac{n!n^{x + y}}{(x + y)(x + y + 1)\ldots(x + y + n)}} }{= \frac{\lim_{n \rightarrow \infty}\frac{n!n^{x}}{x(x + 1)\ldots(x + n)} \times \lim_{n \rightarrow \infty}\frac{n!n^{y}}{y(y + 1)\ldots(y + n)}}{\lim_{n \rightarrow \infty}\frac{n!n^{x + y}}{(x + y)(x + y + 1)\ldots(x + y + n)}} }{= \frac{\Gamma(x)\Gamma(y)}{\Gamma(x + y)}}$

由于

$lim⁡n→∞(nn+y)x=lim⁡n→∞(n+1n+1+y)x=1\lim_{n \rightarrow \infty}\left( \frac{n}{n + y} \right)^{x} = \lim_{n \rightarrow \infty}\left( \frac{n + 1}{n + 1 + y} \right)^{x} = 1$

所以

$\frac{\Gamma(x)\Gamma(y)}{\Gamma(x + y)}$

【备注】

中文版《数学分析原理》中翻译有误，原文应为" ${log}{B(x,y)}$ 对于每个固定的 $y$ 是 $x$ 的凸函数"，翻译版少了 $log⁡\log$ 符号，当然 $B (x, y)$ 对于每个固定的 $y$ 也是 $x$ 的凸函数，这里的凸函数指的都是向下凸的函数（ $y$ 轴负方向）。
此证明方法是对原文利用定理8.19的展开说明，关联贝塔函数和伽马函数的是利用了Horlder赫尔德不等式证明它们都具有 $log⁡\log$ 凸特性。