往期目录:TravorLZH:Gamma函数的那些事儿(1)——定义zhuanlan.zhihu.comTravorLZH:Gamma函数的那些事儿(2)——欧拉常数与Digamma函数zhuanlan.zhihu.com
在前两期中,无论我们是在推出Gamma函数不同的定义还是联系Digamma函数与欧拉常数的关系,我们其实都是在做一种美容。
虽然该等式的右侧看起来非常的复杂,但是它是经过对更复杂式子进行简化而得出的精美结论。尽管数学在生活中有很多用处,但这些用处还是无法与数学本身的艺术来媲美。今天作者将通过Gamma函数带着大家领略领略数学之美:
1、利用Gamma函数简化级数
虽然我们求不出一些级数,但是我们可以让它在不同的形式间转化,比如说下面这个:
根据
我们可以对级数进行如下构造:
设
,则
,于是我们得到变换后的级数表达式:
现在我们再用
进行换元,得到:
其中最后一项的求和号与积分号互换位置是通过控制收敛定理(Dominated convergence theorem)得到的。最后我们根据指数函数的麦克劳林展开
,将积分继续简化,得到:
我们最终通过补Gamma函数将一个级数转化为了一个简短的定积分。这还只是Gamma函数的冰山一角。
2、欧拉余元公式(Euler's reflection formula)和高斯积分(Gaussian integral)
这个式子有很多种推导方式,其中包括围道积分。但本篇文章将通过使用Gamma函数的无穷乘积形式来推导。根据Weierstrass的定义,我们有
于是我们将
和
乘在一起,得到:
我们得到这样一个无穷乘积公式,但是我们需要先偏一下题。现在我们来推导一下函数
的Fourier展开(其中
):
其中
对于
时,