Wallis公式及其应用

今天我要讲的主要内容是什么是Wallis公式，以及它的推导过程。然后讲述Wallis公式的两个重要应用，即推导

Stirling公式和求解Euler-Poisson积分。一次在一个机器学习群里面看到讨论这个公式，借此机会总结一下。

Contens

1. 什么是Wallis公式

    2. Wallis公式的推导过程

    3. 利用Wallis公式推导Stirling公式

    4. 利用Wallis公式求解Euler-Poisson积分

1. 什么是Wallis公式

   Wallis公式是关于圆周率的无穷乘积的公式，公式内容如下

其中，开方后还可以写成

2. Wallis公式的推导过程

  
Wallis公式的推导采用对在区间内的积分完成，令

用部分积分法得到如下推导过程

进一步得到

所以继续得到

所以最终得到

由的单调性可知

即得到

由两边夹挤准则得到

这样就推导出了Wallis公式。

3. 利用Wallis公式推导Stirling公式

   斯特林公式如下

  

   接下来利用Wallis公式来推导斯特林公式。

借助函数的图像面积，通常有三种求法，分别是积分法，内接梯形分割法，外切梯形分割法。实

际上最准确的是第一种，后面两种都有一定误差。

对于积分法求面积有

对于内接梯形分割法有

很容易知道，令，很容易证明为有界递增序列，则

接下来令，则有极限，设

则根据Wallis公式得到

进一步化简得到

所以最终得到

带入原式得到斯特林公式

4. 利用Wallis公式求解Euler-Poisson积分

   在上面，我通过Wallis公式完美地推导了斯特林公式，接下来继续看Wallis公式的另一个应用，即求解

   Euler-Poisson积分。

Euler-Poisson积分是无限区间上的非正常积分

它在概率论等数学分支以及其它自然科学中都有重要应用，由于它的被积函数的原函数不能用初等函数表示，

因此不能用牛顿-莱布尼兹公式求它的值。现在我就用上面学到的Wallis公式来求解。

借助函数在时取得最大值1，因此对于任何，都有，从

而得到和，所以

对任意自然数都有

由于

那么，我们又知道

即得到不等式为

同时取平方后得到

   由Wallis公式可以推出，在的情况下，两边都是以为极限，由两边夹挤准则得到

时间： 2024-10-10 22:47:33

Wallis公式及其应用的相关文章

一个形式较精细的Strling公式的证明

近日整理书稿,在整理至Strling公式处时,发现当时数学老师所讲的是形式比较精细的一种: Strling公式:\(n!=\sqrt{2\pi n}\left(\dfrac{n}{\mathrm{e}}\right)^n\mathrm{e}^{\frac{\theta_n}{12n}},\)其中\(\theta_n\in\left(\dfrac{n}{n+1},1\right)\)是一个与\(n\)有关的变量. 这相当于是利用Euler-Maclaurin求和公式所能得到的最精确形式的Strli

主题模型TopicModel：LDA中的数学模型

http://blog.csdn.net/pipisorry/article/details/42672935 了解LDA需要明白如下数学原理: 一个函数:gamma函数 四个分布:二项分布.多项分布.beta分布.Dirichlet分布 一个概念和一个理念:共轭先验和贝叶斯框架 两个模型:pLSA.LDA(文档-主题,主题-词语) 一个采样:Gibbs采样 估计未知参数所采用的不同思想:频率学派.贝叶斯学派 皮皮Blog gamma函数 Gamma函数 Γ(x)=∫∞0tx?1e?tdt 通过

一道极限题

证明: $$\lim_{n\to+\infty}\cos^{n}\left(\frac{1}{x}\right)dx=0$$ 证明:作变量替换 $u=\frac{1}{x}$, 则有\begin{align*}\int_{1}^{\infty}\left|\frac{\cos^{n}u}{u^{2}}\right| du&=\int_{1}^{\frac{\pi}{2}}\left|\frac{\cos^{n}u}{u^{2}}\right| du+\sum_{k=0}^{\infty}\int

LDA-math-神奇的Gamma函数

http://cos.name/2013/01/lda-math-gamma-function/ 1. 神奇的Gamma函数1.1 Gamma 函数诞生记学高等数学的时候,我们都学习过如下一个长相有点奇特的Gamma函数 Γ(x)=∫∞0tx−1e−tdt 通过分部积分的方法,可以推导出这个函数有如下的递归性质 Γ(x+1)=xΓ(x) 于是很容易证明,Γ(x) 函数可以当成是阶乘在实数集上的延拓,具有如下性质 Γ(n)=(n−1)! 学习了Gamma 函数之后,多年以来我一直有两个疑问: 这个

组合数学知识要点

排列与组合 加法法则与乘法法则 基础思想:分类计数使用加法,分步计数使用乘法 Cayley定理 \(n\)个有标号顶点的树的个数为\(n^{n-2}\) 证明:定义一个消去序列,序列与树一一对应(略). 排列与组合 \(n\)元\(r\)排列:\(\frac{n!}{(n-r)!}\) \(n\)元\(r\)组合:组合数(naive) \(n\)元\(r\)可重排列:\(n^r\)(naive) \(n\)元\(r\)可重组合:\(\binom{n+r-1}{r}\) 多重集\(S=\{(a_1

关于Euler-Poisson积分的几种解法

来源:https://www.cnblogs.com/Renascence-5/p/5432211.html 方法1:因为积分值只与被积函数和积分域有关,与积分变量无关,所以\[I^{2}=\left ( \int_{0}^{\infty }e^{-x^{2}}\mathrm{d}x \right )^{2}=\int_{0}^{\infty }e^{-x^{2}}\mathrm{d}x~~\cdot \int_{0}^{\infty }e^{-y^{2}}\mathrm{d}y=\int_{0

用python实现计算1-2*((60-30+(-40/5)*(9-2*5/3+7/3*99/4*2998+10*568/14))-(-4*3)/(16-3*2))类似的公式计算

作业需求: 开发一个简单的python计算器 1.实现加减乘除及拓号优先级解析 2.用户输入 1 - 2 * ( (60-30 +(-40/5) * (9-2*5/3 + 7 /3*99/4*2998 +10 * 568/14 )) - (-4*3)/ (16-3*2) )等类似公式后,必须自己解析里面的(),+,-,*,/符号和公式(不能调用eval等类似功能偷懒实现),运算后得出结果,结果必须与真实的计算器所得出的结果一致 上图是实现的逻辑思路图,下面是对上图的分析: 整体的思想就是先匹配最

去除MathType内联公式后自动生成的空格

使用MathType公式编辑器在Microsoft Word 2016 中输入的内联公式后会自动产生一个空格,每次都需要手动删除.以下是解决办法,不再需要每次输入公式以后都要点键盘上的backspace去删空格. 1. 打开注册表: 开始-运行-regedit 2. 找到 HKEY_CURRENT_USER\Software\Design Science\DSMT6\WordCommands\ 3. 在该目录里增加字符串NoSpaceAfterInline,并将值设置为1. 退出注册表,运行of

latex:公式环境

1.单行公式环境 equation 单行公式环境equation可将一个公式,不管多长都可排版为一行,并给出一个序号.而由系统提供的displaymath环境等效于公式宏包提供的equation*环境. equation和displaymath都只能用于编排单行公式,期间,换行命令无效,而换段命令为非法,它将造成编译终端,引发系统给出错误信息. 代码: \begin{equation} f(x)=3x^{2}+6(x-2)-1 \end{equation} 2.1 使用align共十足环境将公式