斯特林公式怎么证明?

斯特灵公式是一条用来取n阶乘近似值的数学公式.一般来说,当n很大的时候,n阶乘的计算量十分大,所以斯特灵公式十分好用.从图中可以看出,即使在n很小的时候,斯特灵公式的取值已经十分准确. 公式为:    从图中看出,对于足够大的整数n,这两个数互为近似值.更加精确地:        或者    

}

f(t)傅里叶变换被定义为

同时,傅里叶变换具有如下一些性质

我们知道伽马函数递推公式

z=it ,那么上式可变换为

现在对上式两边作傅里叶变换

根据傅里叶变换的相关性质,可以得到

为了确定常数 C ,对上式两边作,可得

至此,我们从另一个角度得到了的解析延拓

刚才之所以取 z=it ,是因为如果不这么做,将得到一个周期函数的,这并不是一个有意义的结果,此时该积分只能算是一个
因此,对于伽马函数,当它的自变量为虚数时,它的傅里叶变换有意义

经历一番云雨,最终得到了伽马函数的傅里叶变换


也就是说在正无穷远处指数函数无法抵抗伽马函数发散速度,即无法把伽马函数""下来

所以伽马函数不存在拉普拉斯变换


伽马函数实际是 e^{-t} 的梅林变换

梅林变换以幂函数为核积分变换,可视为双边拉普拉斯变换乘法版本

很显然,伽马函数就是指数函数梅林变换。


狄利克雷级数和梅林变换

因此狄利克雷级数实际上是级数 \sum_{n=1}^{\infty}a_ne^{-nx}梅林变换,可以通过梅林逆变换公式,反解出这个级数

a_n=t^n 时,狄利克雷级数就转换成了多重对数函数

根据等比数列求和公式,我们能得到


1859年,在他的论文《论小于给定数值的素数个数》中定义了该函数

容易证明,当 s 等于正偶数ζ函数可表示为


狄利克雷η函数的定义为


狄利克雷η函数的积分形式

伽马函数也称,是阶乘函数延拓,它被定义为

其中0负整数是它的一阶极点

我们可以得到一个η函数在正偶数上的简便计算公式



接下来就会知道这么做的用意

当然这里需要保证 |x|<1 ,虽然 x=1 不在 f(x)收敛域内,但我们容易证明

到此,我们从另一个角度证明了发散的事实



}

《斯特林公式及其精确化形式》由会员分享,可在线阅读,更多相关《斯特林公式及其精确化形式(21页珍藏版)》请在人人文库网上搜索。

1、韩山师范学院学生毕业论文(2012届)题目(室艾)斯特林公式及其精细化形式(英文)Stirlingformulaanditsexactform班级:诚信声明我声明,所呈交的毕业论文是本人在老师指导下进行的研究工作及取得的研究成果。据我查证,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,我承诺,论文中的所有内容均真实、可信。毕业论文作者签名:签名日期:年月日摘要:本文在蔡聪明教授的基础上猜想出斯特林公式新的探求过程,并改进了一些证明方法。利用计算机的实验数据图,大胆猜想得出斯特林公式的改良式,最后运用传统的数学方法证明它比斯特林公式更加精确,并求出它的误差范围

4、斯特林公式(6)2 .用计算机求斯特林公式的精细化形式(7)2.1 猜想斯特林公式的改良式(7)2.2 构造改良式函数 f(n)(8)2.3 用线性回归求 f(n)(11)2.4 改良式的简单形式(12)3 .改良式的相关证明(12)3.1 n!的相关定理和推论(12)3.2 证明改良式比斯特林公式更好(13)3.3 求改良式的误差及相对误差范围(14)4 .结束语(16)参考文献(17)致谢(18)斯特林公式及其精细化形式斯特林公式在数学分析、数论、概率论及相关领域的各个方面都有重要的应用。DeMoivre 最先得到斯特林公式(1718 年); 接着 JamesStirling 在 1730

5、 年又重新得到它。 后来有一些教授、学者运用数学的推理证明,得到更精确的形式,例如徐利治教授和赵岳清。当然也有少数学者用数学实验来猜想它的改良式, 但他们没有证明它比斯特林公式更精确, 也没有求出它的误差范围。本文通过研究斯特林公式的探求过程,再通过计算机的实验结果,得出它的改良式,并证明它确实比斯特林公式的估值更精确,给出它的误差范围和相对误差范围,并与其它改良式作比较。1 .斯特林公式的探求过程过都是在知道斯特林公式后,给出证明相应的方法,虽然当中有一些是简化证明,但是我们不知道如何“看出”或“猜出”公式的追寻、探索过程。有些令人有“美中不足”的感觉。本文我们就试着来补上这个缺憾,展示一种

6、推测式的猜想过程。这只是其中的一种猜想过程,因为登一座山可以有各种不同的路径,路径越多越美妙(用函数的观点来探求)。n一n一,n,1.1 用n和对 2 对 n!进行估计首先观察 n!=n(n?1)(n?2)321,令函数 f(n)n!(nN),我们知道这是一个增长很快的函数。在高中时,我们学过一个增长很快的指数函数xn!nxf(x)2,但是lim9,故2低估了 n!,在这里我们把指数函数f(x)2变n2形为f(x)ax(a 为一个确定的正整数),但是无论 a 取哪一个确定整数,我们可以n!得到lim/nax_x于是继续追寻,如果将f(x)a变形为f(x)x斯特林公式:n!1,目前有许多文章论述

7、斯特林公式的证明,不(x0) ,显然这个函数的增长会更快。由于f(n)nnn(n 个 n 相乘),显然jm不过也不错, 因为我们找到了一个比 n!更大的估计式 nn,但是因为 nn要远远比 n!大很多,当 n 趋向于正无穷时,它们的差的绝对值太大了。n那么我们如何找一个比n更小的数?现在将函数f(x)xx变形为f(x)xx-,即f(n)n(n 个n相乘),显然个比nn更小的估计式。令ann!n(1)n!如果limnn2nn,那么-就是我们所要的估计公式。,一.、1由算术平均大于等于几何平均定理知事实上可以用数学归纳法证明:考虑(1)式中的数列 an, 我们的目标是探求极限“man。现在就来计算

公式,可得n变形为时,n!J2nnnen。limn么在计算 n!时,斯特林公式的 e 就要用精确值去代入呢?为何不配合 n 值去作一些修正呢?也许用一个由 e 的渐近相等值 E,就能提高斯特林公式的精度。猜想斯特林公式的改良式:n!EnnnJ2n如果这个假设可行,E 值如

12、何求得呢?22.2 构造改良式函数 f(n)由(8)式,可得1n1c(132而n,利用(6)式知(1Cn1ei1n2一)e,可得nCn1,即数列Cn是递减正项数列Cn1由此可知limgL存在,且0Ln将limCnL代入(7)式,可得nL2匚5,从而LV2,即|jmn!inn2nne2,用计算机求斯特林公式的精细化形式虽然我们已经得到了斯特林公式度不够高,于是寻找其改良式。2.1 猜想斯特林公式的改良式2,但是除非 n 足句大,否则在实际运用方面,其精确泰勒公式展开:e112!从上面可以看出:e 和 n!之间有113!n!定的关系。在计算 e 时要使用到足够大的 n,为什10(n0.5)logn

的次方)相等,数值见图 2。3)因为 n 趋近于无限大时,E 值与 e 相等,所以(e 的次方)此次方必定趋近于 1。2.4 (e 的次方)的函数必定可以(1 减掉(n 的函数)的倒数)来表示之。因为随着 n 的增大,

14、就可以满足前面的条件。5)用 f(n)表示(e 的次方)的函数,则1、Eexp(1)(12)f(n)一、1f(n)(13)1InE(13)利用图 2 与(13)式,可得到 f(n)值,如图 3。借助数值回归的方法,求 f(n)。图 1n!之精确值图图 2 精确 E 值与 lnE 值图图 3f(n)值图2.5 用线性回归求 f(n)21)以 n 的一次式线性回归,得f(n)-7.n(14)2相关系数Ra93.15%,由于相关系数不够接近 1,不理想。2)以 n 的二次式线性回归,得f(n)0.3945551

.改良式的相关证明现在已经得到了斯特林公式的改良式,呢?它的误差范围和相对误差范围是多少?3.1n!的相关定理和推论在定理 2 中取 k=3 得到在定理 2 中取 k=2 得到由(20)式和(21)式可得到推论 1。”.3推论 1 当n1时,3.2 证明改良式比斯特林公式更好由 (18)

16、式,可化简为由不等式的基本性质可证明得到:-1、exp(1-)f(n)1、评(1-0?)(17)n!(exo(1但它是否比斯特林公式和其它改良式更好,_3、定理

17、(1nn、2n1n比斯特林公式更好。2)n0.412n23.3 求改良式的误差及相对误差范围由(23)式可知,令当 x2

q,则一,一,11、,7047、一力因此斯特林公式的改良式的误差小于exp(3)(5),相对误差12n360n从以上证明结果,我们可以知道:nn2nn!(28)小于的值,就能将相对误差降到百万分之一以下;4 .结束语1)(exp(117)n0.412n2”作为n!的估计式,它比估计式rnexp(12n360n3720n15)和

}

我要回帖

更多关于 斯托克斯公式的证明 的文章

更多推荐

版权声明:文章内容来源于网络,版权归原作者所有,如有侵权请点击这里与我们联系,我们将及时删除。

点击添加站长微信