拉普拉斯方法

                     

贡献者: spain; DTSIo; addis; phywanso

预备知识 极值,积分换元,高斯积分,渐近展开, Gamma 函数

   在分析数学中,拉普拉斯渐近方法是一种计算含参数积分的渐近展开式的办法。所考察的积分一般具有如下形式:

\begin{equation} L(s)=\int_a^b \mathrm{e} ^{-s\Phi(x)}\psi(x)\, \,\mathrm{d}{x} ~, \end{equation}
其中 $s$ 是正的实参数,考察当 $s\to+\infty$ 时积分的变化趋势。拉普拉斯方法背后的想法很简单:如果函数 $\Phi$ 在某点处达到极小值,那么当 $s$ 充分大时,只有极小值点附近的贡献才比较可观,其余部分相比起来都要小得多。

1. Watson 引理

   拉普拉斯方法基于 Watson 引理。它本身也是很有用的。

引理 1 Watson 引理

   设函数 $\phi:X\to Y$ 在 $\mathbb{R}^+$ 上连续,序列 $\left\{\lambda_n\right\}_0^\infty\left(\lambda_n>0\right)$ 单调递增,且存在 $\delta$ 右邻域 $B_{+}(0,\delta)\;(0<\delta<\pi/2)$,使得

\begin{equation} \phi\left(t\right)\sim\sum_{n=0}^{\infty}{c_nt^{\lambda_n-1}}\quad t\to0~. \end{equation}

   若有常数 $c,m>0$,满足 $\phi\left(t\right) \le me^{ct},t\to+\infty$,则当 $s\to+\infty,z\in{\left\{z:\left|\arg{z}\right|\le\pi/2-\delta\right\}}$ 时,有

\begin{equation} \int_{\mathbb{R}^+} \mathrm{e} ^{-zt}\phi(t) \,\mathrm{d}{t} \sim\sum_{n=0}^{\infty}{c_n}\frac{\Gamma(\lambda_n)}{z^{\lambda_n}} ~. \end{equation}

   证: 由 Laplace 的理论可知, \[ F\left(z\right)=\int_{\mathbb{R}^+}{ \mathrm{e} ^{-zt}\phi\left(t\right)}\, \,\mathrm{d}{t} ~. \] 若函数 $\phi$ 满足定理中提到的三个条件,则 $F(z)$ 变换对于 $\operatorname{Re} z>c$ 是存在的。即:当 $\operatorname{Re} z>c$ 时,积分收敛。注意 式 2 意味着存在正整数 $N$,当 $n>N$ 时,对一切的 $t\in B_{+}(0,\delta)$,总有 \[ \left|\phi\left(t\right)-\sum_{n=0}^{N-1}{c_nt^{\lambda_n-1}}\right|\le Mt^{\lambda_N-1}~, \] 其中 $M>0$ 且为常数。同时 式 3 表明当时,存在正整数 $N$,当 $n>N$ 时,对一切的 $t$,总有 \[ \left|\phi\left(t\right)-\sum_{n=0}^{N-1}{c_nt^{\lambda_n-1}}\right|\le K \mathrm{e} ^{ct}t^{\lambda_N-1}~, \] 其中 $K>0$ 且为常数。于是就有

\begin{align*} \left|\int_{\mathbb{R}^+}{ \mathrm{e} ^{-zt}\phi\left(t\right)}\, \,\mathrm{d}{t} -\sum_{n=0}^{N-1}{c_n\int_ {\mathbb{R}^+}{ \mathrm{e} ^{-zt}t^{\lambda_n-1}}\, \,\mathrm{d}{t} }\right|\\ \le K\int_{\mathbb{R}^+} \mathrm{e} ^{[-\operatorname{Re}z-c]t}t^{\lambda_N-1}\, \,\mathrm{d}{t} ~. \end{align*}

   注意到当 $\operatorname{Re}z>0$ 时 \[ \int_{\mathbb{R}^+}{ \mathrm{e} ^{-zt}t^{\lambda_n-1}}\, \,\mathrm{d}{t} =\frac{1}{z^{\lambda_n}}\int_{\mathbb{R}^+}{ \mathrm{e} ^{-u}u^{\lambda_n-1}}\, \,\mathrm{d}{u} =\frac{\Gamma\left(\lambda_n\right)}{z^{\lambda_n}}~, \] 因此

\begin{align*} \left|F(z)-\sum_{n=0}^{N-1}{c_n\frac{\Gamma\left(\lambda_n\right)}{z^{\lambda_n}}}\right| &\le K {\Gamma(\lambda_{N})\over \operatorname{[Re}z-c]^{\lambda_N}}\nonumber\\ &=K{\Gamma(\lambda_{N})\over |z|^{\lambda_N}}\left(|z|\over \operatorname{Re}z-c\right)^{\lambda_N}\nonumber~. \end{align*}

   由于 $z\in{\left\{z:\left|\arg{z}\right|\le\pi/2-\delta\right\}}$,于是 $\operatorname{Re}z\geq |z|\sin \delta$。这表明当 $\left|z\right|$ 足够大时,$\operatorname{Re}z-c\geqslant1/2|z|\sin \delta$。因此 \[ F\left(z\right)-\sum_{n=0}^{N-1}{c_n\frac{\Gamma\left(\lambda_n\right)}{z^{\lambda_n}}}=O\left(z^{-\lambda_N}\right)~, \] 这就证明了 Watson's 引理。

2. 拉普拉斯方法

   拉普拉斯方法是将 Watson 引理用于式 1 得到的。作出如下假设:

  1. 函数 $\Phi,\psi:X\to Y$ 都是光滑函数。
  2. 函数 $\Phi(x)$ 在积分区间 $I=[a,b]$ 内部仅有一个严格的极小值点 $x_0\in(a,b)$,同时 $\Phi''(x_0)>0$,且 $x_0$ 是整个区间上的最小值点。
  3. 式 1 对于 $s=s_0$ 绝对收敛。
图
图 1:函数 $\Phi(x)$ 示意图

   于是 $\Phi'(x_0)=0$。由泰勒公式可知,存在正数 $\delta>0$,使得对于任意的 $x\in B(x_0,\delta)~,$ \[ \Phi(x)=\Phi(x_0)+\frac{1}{2}\Phi''(x_0)(x-x_0)^2+\varphi(x)(x-x_0)^3~, \]

   其中存在正数 $M>0$,使得函数 $|\varphi|\leq M$。当 $s$ 充分大时,邻域 $B(x_0,\delta)$ 以外的积分的贡献比 $s$ 的任何负幂次衰减得都快:根据假定 2,当 $x\in I\setminus B(x_0,\delta)$ 时,存在正数 $\varepsilon_0>0$ 使得 $\Phi(x)>\Phi(x_0)+\varepsilon_0$,从而邻域 $B(x_0,\delta)$ 之外的积分估计为

\begin{align*} \left|\int\limits_{I\setminus B(x_0,\delta)}\psi(x) \mathrm{e} ^{-s\Phi(x)}\, \,\mathrm{d}{x} \right| &\leq \mathrm{e} ^{-\epsilon_0(s-s_0)}\int_I|\psi(x)| \mathrm{e} ^{-s_0\Phi(x)}\, \,\mathrm{d}{x} \nonumber\\ &\leq \mathrm{e} ^{-s_0\Phi(x_0)-\varepsilon_0s}\int_{I}|\psi(x)|\, \,\mathrm{d}{x} \nonumber~. \end{align*}

   而在邻域 $B(x_0,\delta)$ 内,可作如下换元:$y^2=\Phi(x)-\Phi(x_0)$,即 \[ y=\sqrt{\frac{\Phi''(x_0)}{2}}(x-x_0)\left(1+\frac{2}{\Phi''(x_0)}(x-x_0)\varphi(x)\right)^{1/2}~. \] 令 $\alpha<\beta$ 分别等于 $\pm\sqrt{\Phi(x_0\pm\delta)-\Phi(x_0)}$,又设当 $y\to0$ 时,函数 $\tilde{\psi}$ 有泰勒展开

\begin{equation} \tilde{\psi}(y):=\psi(x(y))\frac{ \,\mathrm{d}{}} { \,\mathrm{d}{x} }[x(y)]\sim c_0+c_1y+\cdots \quad ~ \end{equation}
(这里是进行了拉格朗日反演,显然有 $c_0=\psi(x_0)\sqrt{2/\Phi''(x_0)}$),则当 $s\to+\infty$ $$ \begin{aligned} \int_{B(x_0,\delta)}\psi(x) \mathrm{e} ^{-s\Phi(x)}\, \,\mathrm{d}{x} &= \mathrm{e} ^{-s\Phi(x_0)}\int_{\alpha}^{\beta}\tilde \psi(y) \mathrm{e} ^{-sy^2}\, \,\mathrm{d}{y} \\ &\sim \mathrm{e} ^{-s\Phi(x_0)}\int_{0}^{\varepsilon_0}[\tilde \psi(y)+\tilde \psi(-y)] \mathrm{e} ^{-sy^2}\, \,\mathrm{d}{y} ~. \end{aligned} $$ 应用 Watson 引理,最后终于得到式 1 当 $s\to+\infty$ 时的渐近展开:
\begin{equation} L(s)\sim \mathrm{e} ^{-s\Phi(x_0)}\sum_{n=0}^\infty c_{2n}\Gamma\left(n+\frac{1}{2}\right)s^{-n-1/2}~, \end{equation}
其中 $c_n$ 由式 4 给出。特别地,由于 $\Gamma(1/2)=\sqrt{\pi}$,式 1 渐近公式的首项是 \[ L(s)= \mathrm{e} ^{-s\Phi(x_0)}\left(As^{-1/2}+O(s^{-1/2})\right)~\quad (s\to+\infty)~, \] 其中 \[ A=\sqrt{2\pi}\frac{\psi(x_0)}{(\Phi''(x_0))^{1/2}}~. \]

3. 斯特林公式

   拉普拉斯方法最基本的应用就是导出 $\Gamma$ 函数的斯特林公式(Stirling formula)。按照定义, \[ \Gamma(s+1) =\int_0^\infty x^s \mathrm{e} ^{-x}\, \,\mathrm{d}{x} =e^{(s+1)\log s}\int_0^\infty \mathrm{e} ^{-s(x-\log x)}\, \,\mathrm{d}{x} ~. \] 最后一步换元 $x\mapsto sx$。最后这个积分刚好符合上一小节所要求的三条假设:这里 $\psi(x)\equiv1$,$\Phi(x)=x-\log x$。于是 $x=1$ 是 $\Phi(x)$ 唯一的极小值点,同时也是唯一的最小值点。代入式 5 ,就得到渐近公式 \[ \Gamma(s+1)\sim\sqrt{2\pi s}\left(\frac{s}{ \mathrm{e} }\right)^s\quad (s\to+\infty)~. \] 式 5 还给出了更精细的渐近级数: \[ \Gamma(s+1) =\sqrt{2\pi s}\left({s\over \mathrm{e} }\right)^s \left( 1+{1\over12s}+{1\over288 s^2}+ \cdots \right)\quad (s\to+\infty)~, \] 毫无疑问这是一个可以对大的 $n$ 来近似计算 $n!$ 的公式。


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利