问题

$\Gamma$-函数的定义是:

当 $x>0$ 时,

\[\Gamma(x)=\int_{0}^{+\infty}t^{x-1}e^{-t}dt\]

证明该积分当 $x>0$ 时收敛.

若不限定 $x$, 则称上式右端的积分为第二类欧拉积分.令 $t=s^2$, 则 $\Gamma$-函数又可表示为

\[\Gamma(x)=2\int_{0}^{+\infty}s^{2x-1}e^{-s^2}ds\]

请证明 $\Gamma$-函数的下列性质.

1. $\Gamma(1)=1$
2. $\Gamma(x+1)=x\Gamma(x)$, $\forall\ x > 0$.
3. $\Gamma(x)\Gamma(y)=\Gamma(x+y)B(x,y)$, 其中 $B(x,y)$ 是指 Beta 函数 B-函数(也称为第一类欧拉积分). 这个关系式也记为
   \[B(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(x+y)}\]
   有些书上称之为欧拉定理.
4. $\Gamma$-函数定义域可扩充到不含负整数的负数域上. 希望能继续满足递推公式 2. 例如, 对 $-1 < x < 0$, 定义
   \[\Gamma(x)=\frac{\Gamma(x+1)}{x},\]
   这里 $x+1 > 0$, 因此定义合理. 类似的, 因为 $\Gamma(x)$ 在 $(-1,0)$ 上已定以好, 所以对 $-2 < x < -1$, 仍可使用上式来定义 $\Gamma(x)$. 这样一直定义下去, $\Gamma(x)$ 就在 $\{x<0\mid x\not\in\mathbb{Z}^{-}\}$ 上定义好了.
   证明:
   \[\lim_{x\rightarrow 0}\Gamma(x)=+\infty\]
   由此, 可得
   \[\lim_{x\rightarrow -n}\Gamma(x)=+\infty,\quad\forall\ n=1,2,3,\ldots\]
5. 当 $x\in(0,1)$ 时,
   \[\Gamma(x)\Gamma(1-x)=\frac{\pi}{\sin(\pi x)}.\]
   这个称为余元公式. 事实上, 上式对于任意非整数的 $x$ 都成立. 例如对于 $x\in (-1,0)$, 有
   \[
   \begin{split}
   \Gamma(x)\Gamma(1-x)&=\frac{\Gamma(x+1)}{x}\Gamma(-x+1)=\frac{\Gamma(x+1)}{x}\cdot(-x)\Gamma(-x)=-\Gamma(x+1)\Gamma(-x)\\
   &=-\Gamma(-x)\Gamma(1-(-x))=-\frac{\pi}{\sin(\pi(-x))}\\
   &=\frac{\pi}{\sin(\pi x)}
   \end{split}
   \]
6. 证明 $\Gamma(x)$ 在 $(0,+\infty)$ 上是光滑的. 即有各阶连续导函数.
7. 
   \[\sqrt{\pi}\Gamma(2z)=2^{2z-1}\Gamma(z)\Gamma(z+\frac{1}{2}).\]
8. 
   \[\frac{\Gamma(n+\frac{1}{2})}{\sqrt{\pi}\Gamma(n+1)}=\frac{(2n-1)!!}{(2n)!!}.\]
9. 根据 (7) 和 (8), 推出
   \[(2n)!!\Gamma(2n)=(2n-1)!!\cdot 2^{2n-1}\Gamma(n+1)\Gamma(n).\]

References

杨奇林 编著 《数学物理方程与特殊函数》(第2版) 附录A.
Б.П. 吉米多维奇 (Б.П. ДЕМИДОВИЧ) 数学分析习题集题解(五)