来源:https://www.cnblogs.com/Renascence-5/p/5432211.html
方法1:因为积分值只与被积函数和积分域有关,与积分变量无关,所以
I2=(∫∞0e−x2dx)2=∫∞0e−x2dx ⋅∫∞0e−y2dy=∫∞0∫∞0e−(x2+y2)dxdy
用极坐标系下二重积分的计算法
I=∫π20dθ∫∞0e−r2rdr=π2(−12e−r2)∣∣∣∞0=π4
而 e−r2≥0, 则 I>0. 即
I=∫∞0e−x2dx=√π4=√π2
方法2:因为 (1+x2n)−n 当 n→+∞ 时一致收敛于 e−x2, 利用积分号下取极限,则有
I=∫∞0e−x2dx=∫∞0[limn→∞(1+x2n)−n]dx=limn→∞∫∞0(1+x2n)−ndx
令 x=√nt, 则
I=limn→∞√n∫∞01(1+t2)ndt=√nIn
由于
In−1=∫∞01(1+t2)n−1dt=t(1+t2)n−1∣∣∣∞0+2(n−1)∫∞01(1+t2)dt=2(n−1)In−1−2(n−1)In
所以 In=2n−32n−2In−1, 而 I1=∫∞011+t2dt=π2, 递推得
In=(2n−3)!!(2n−2)!!⋅π2
因此 ∫∞0e−x2dx=limn→∞√n(2n−3)!!(2n−2)!!⋅π2. 根据Wallis公式,有
π2=limn→∞[(2n)!!]2(2n+1)[(2n−1)!!]2=limn→∞[(2n−2)!!]2(2n−1)[(2n−1)!!]2
所以
I=∫∞0e−x2dx=π2limn→∞√n(2n−3)!!(2n−2)!!=π2limn→∞(2n−3)!!√2n−1(2n−2)!!⋅√n2n−1=π2⋅√2π⋅1√2=√π2
方法3:考虑两个含参变量积分
f(x)=(∫x0e−t2dt)2 , g(x)=∫10e−x2(1+u2)1+u2du
利用积分号下微分法,得
f′(x)=2e−x2∫x0e−t2dtg′(x)=∫10∂∂x[e−x2(1+u2)1+u2]du=−2xe−x2∫10e−x2u2du
对后一积分,令xu=t, 则
g′(x)=−2xe−x2∫x0e−t2dt=−f′(x) (x≥0)
于是
f(x)+g(x)=c (x≥0)(1)
由于 f(0)=0,g(0)=π4, 故 c=π4, 即
f(x)+g(x)=π4 (x≥0)
当 u∈[0,1], 有
0≤e−x2(1+u2)1+u2≤e−x2u2≤e−x2 (x≥0)
因此,当 x→∞ 时,函数 e−x2(1+u2)1+u2 关于 u∈[0,1] 一致的趋于0.
limx→∞g(x)=limx→∞∫10e−x2(1+u2)1+u2du=∫10limx→∞e−x2(1+u2)1+u2du=0
从而,由 f(x) 的定义及(1),得
I=∫∞0e−x2dx=√limx→∞f(x)=√limx→∞π4−g(x)=√π4=√π2
方法4:设 f(t)=∫∞0e−tx2dx, 对 f(t) 取拉普拉斯变换,得
L(∫∞0e−tx2dx)=∫∞0∫∞0e−tx2e−stdtdx=∫∞0L(e−tx2)dx=∫∞0dxs+x2=π2√s
再取拉普拉斯逆变换,有 f(t)=∫∞0e−tx2dx=√π2√t, 在上式中,令 t=1, 则
I=f(1)=∫∞0e−x2dx=√π2
方法5:这种利用伽马函数的方法应该是高数中第一次接触的,出现在同济高数上册第五章最后,不过教材中打了星号,所以多数人都不了解,首先我们引入伽马函数的定义
Γ(x)=∫∞0tx−1e−tdt
所以,我们令 x2=t, 有
I=∫∞0e−x2dx=12∫∞0t−12e−tdt=12Γ(12)=√π2
其中 Γ(12)=√π 可利用余元公式求得,这里不做证明.
方法6: 不难证明,函数 (1+t)e−t 在 t=0 时达到它的最大值1.因此当 t≠0 时,(1+t)e−t<1, 令 t=±x2, 即得
(1−x2)ex2<1 , (1+x2)e−x2<1
或
(1−x2)<e−x2<11+x2 (x>0)
假设限定第一个不等式中的 x 在(0,1)内变化,而第二个不等式中 x 则看作是任意的,把上式同 n 次方,有
(1−x2)n<e−nx2 (0<x<1)
e−nx2<1(1+x2)n (x>0)
第一个不等式即从0到1积分,第二个不等式取从0到+∞的积分,得
∫10(1−x2)ndx<∫10e−nx2dx<∫∞0e−nx2dx<∫∞01(1+x2)ndx
在 ∫10(1−x2)ndx 中,令 x=cost, 则
∫10(1−x2)ndx=∫π20sin2n+1tdt=(2n)!!(2n+1)!!
在 ∫∞01(1+x2)ndx 中,令 x=cott, 则
∫∞01(1+x2)ndx=∫π20sin2n−2tdt=(2n−3)!!(2n−2)!!⋅π2
在 ∫∞0e−nx2dx 中,令 x=t√n, 则
∫∞0e−nx2dx=1√n∫∞0e−t2dt=1√nI
综上所述
√n⋅(2n)!!(2n+1)!!<I<√n⋅(2n−3)!!(2n−2)!!⋅π2
取平方得
n2n+1⋅[(2n)!!]2(2n+1)[(2n−1)!!]2<I2<n2n−1⋅[(2n−3)!!]2[(2n−2)!!]2⋅(π2)2
根据Wallis公式
π2=limn→∞[(2n)!!]2(2n+1)[(2n−1)!!]2
不等式两边当 n→∞ 时的极限都是 π4, 所以
I2=π4⇒I=√π2
方法7:当然也可以利用三重积分
8I3=∫∞−∞∫∞−∞∫∞−∞e−x2−y2−z2dxdydz=∫∞−∞∫∞−∞∫∞−∞e−x2−y2−z2dxdydz⇒8I3=4π∫∞0ρ2e−ρ2dρ=2π∫∞0e−ρ2dρ=2π⋅I⇒8I3=2πI⇒I=√π2
方法8:注意到
n!=∫∞0e−n√xdx⟺1n!=∫∞0e−xndx→12!=∫∞0e−x2dx
∫10(1−n√x)mdx=∫10(1−m√x)ndx=1Cnm+n=1Cmm+n=m!n!(m+n)!
所以我们有
π4=∫10√1−x2dx=(12!)2(12+12)!=(12!)2
所以
I=∫∞0e−x2dx=12!=√π4=√π2
方法9:利用
∫∞0e−x2dx=√π∫∞01√πe−x2dx=√πP(X≥0)
其中
X∼N(0,12) , P(X>0)=P(X>E(X))=12
所以
I=∫∞0e−x2dx=√π2
方法10:利用
F(ω)=12π∫+∞−∞exp(−t22)exp(−iωt)dt
所以
F(ω)=1π∫+∞0exp(−t22)cos(ωt)dt
所以我们有
F′(ω)=−ωF(ω)⇒F(ω)=Cexp(−ω22)
由
exp(−x22)=∫+∞−∞F(ω)exp(iωx)dω
可得 C=1√2π. 令 ω=0, 有
F(0)=C=12π∫+∞−∞exp(−t22)dt
所以
√2∫+∞−∞exp(−t2)dt=√2π⇒I=√π2.
鬼斧神工:求n维球的体积 - Renascence_5
原文地址:http://spaces.ac.cn/archives/3154/
原文作者:苏剑林
标准思路
简单来说,n维球体积就是如下n重积分
Vn(r)=∫x21+x22+⋯+x2n≤r2dx1dx2…dxn
用更加几何的思路,我们通过一组平行面(n−1维的平行面)分割,使得n维球分解为一系列近似小柱体,因此,可以得到递推公式
Vn(r)=∫r−rVn−1(√r2−t2)dt
设t=rsinθ1,就有
Vn(r)=r∫π2−π2Vn−1(rcosθ1)cosθ1dθ1
迭代一次就有
Vn(r)=r2∫π2−π2∫π2−π2Vn−2(rcosθ1cosθ2)cosθ1cos2θ2dθ1dθ2
迭代n−1次
Vn(r)=rn−1∫π2−π2…∫π2−π2∫π2−π2V1(rcosθ1cosθ2…cosθn−1)×cosθ1cos2θ2…cosn−1θn−1dθ1dθ2…dθn−1
其中V1(r)=2r,即两倍半径长的线段。从而
Vn(r)=2rn∫π2−π2…∫π2−π2∫π2−π2cos2θ1cos3θ2…cosnθn−1dθ1dθ2…dθn−1
完成这个积分,最终就得到n维球体积的公式,这个积分自然是可以求出来的(只是n−1个一维积分的乘积)。但是这样的步骤太不容易了,为了将其跟伽马函数联系起来,还要做很多工作。总的来说,这是一个不容易记忆、也不怎么漂亮的标准方法。
绝妙思路
有一个利用高斯积分的绝妙技巧,能够帮助我们直接将球体积跟伽马函数联系起来,整个过程堪称鬼斧神工,而且给人“仅此一家,别无分号”的感觉。据说这个技巧为物理系学生所知晓,我是从百读文库看到的,原始来源则是《热力学与统计力学》顾莱纳(德),例5.2 理想气体的熵的统计计算。
这一绝妙的思路,始于我们用两种不同的思路计算高斯积分
G(n)=∫+∞−∞…∫+∞−∞∫+∞−∞exp(−x21−x22−⋯−x2n)dx1dx2…dxn(1)
一方面,将(1)当作n次累次积分,因为我们已经算得
∫+∞−∞exp(−t2)dt=√π
而(1)只不过是这样的n个积分的乘积,因此
G(n)=πn/2(2)
另一方面,将(1)当作n重积分,由于积分变量只是跟径向长度r=√x21+x22+⋯+x2n有关的变量,因此很容易联想到球坐标,在n维空间中,可以称为“超球坐标”,不需要将超球坐标完整写出来,只需要注意到,球内的积分,可以化为先对“球壳”进行积分,然后再对球半径进行积分。
G(n)=∫+∞0dr∫Sn(r)exp(−r2)dSn(3)
这里的Sn(r)是半径为r的n维球体表面(以及表面积,在不至于混淆的情况下,这里不作区分)。但是注意到,被积函数只跟r有关,因此对球表面进行积分,等价于原函数乘以球的表面积而已,因此(2)式的结果为
G(n)=∫+∞0drexp(−r2)Sn(r)(4)
虽然我们不知道n维球的体积和表面积公式,但是我们可以肯定,n维球的体积一定正比于rn,即有
Vn(r)=Vn(1)rn
球的表面积,就是球体积的一阶导数(考虑球壳分割),那么
Sn(r)=nVn(1)rn−1
代入(4),得到
G(n)=nVn(1)∫+∞0rn−1exp(−r2)dr=12nVn(1)∫+∞0(r2)n/2−1exp(−r2)d(r2)=12nVn(1)∫+∞0zn/2−1exp(−z)dz(z=r2)=12nVn(1)Γ(n2)(5)
结合(2)得
πn/2=G(n)=12nVn(1)Γ(n2)
从而
Vn(1)=πn/212nΓ(n2)=πn/2Γ(n2+1)
最后
Vn(r)=πn/2Γ(n2+1)rn
就这样得到了n维球体积公式!!对r求导得到n维球表面积公式
Sn(r)=2πn/2Γ(n2)rn−1
结合前后两个方法,就得到
πn/2Γ(n2+1)=2∫π2−π2…∫π2−π2∫π2−π2cos2θ1cos3θ2…cosnθn−1dθ1dθ2…dθn−1
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 开发者必知的日志记录最佳实践
· SQL Server 2025 AI相关能力初探
· Linux系列:如何用 C#调用 C方法造成内存泄露
· AI与.NET技术实操系列(二):开始使用ML.NET
· 记一次.NET内存居高不下排查解决与启示
· Manus重磅发布:全球首款通用AI代理技术深度解析与实战指南
· 被坑几百块钱后,我竟然真的恢复了删除的微信聊天记录!
· 没有Manus邀请码?试试免邀请码的MGX或者开源的OpenManus吧
· 园子的第一款AI主题卫衣上架——"HELLO! HOW CAN I ASSIST YOU TODAY
· 【自荐】一款简洁、开源的在线白板工具 Drawnix