费曼积分法——积分符号内取微分(3)
By 苏剑林 | 2012-06-23 | 51501位读者 |由于自行车之旅的原因,这篇文章被搁置了一个星期,其实应该在一个星期前就把它写好的。这篇文章继续讲讲费曼积分法的一些例子。读者或许可以从这些不同类型的例子中,发现它应用的基本方向和方法,从而提升对它的认识。
例子2:
$$\int_0^{\infty} \frac{\sin x}{x}dx$$
这也是一种比较常见的类型,它的形式为$\int \frac{f(x)}{x}dx$,对于这种形式,我们的第一感觉就是将其改写成参数形式$\int \frac{f(ax)}{x}dx$,这样的目的很简单,就是把分母给消去了,与$\int \frac{x}{f(x)}dx$的求积思想是一致的。但是深入一点研究就会发现,纵使这样能够消去分母,使得第一次积分变得简单,但是到了第二次积分的时候,我们发现,它又会变回$\int \frac{f(x)}{x}dx$的积分,使我们不能继续进行下去,因此这个取参数的方法大多数情况下都是不行的。
有一个神奇的方法,让我们将其变换成:
$$\begin{aligned}G(a)=\int_0^{\infty} e^{-ax}\frac{\sin x}{x}dx \\ f(x,a)=e^{-ax}\frac{\sin x}{x}\end{aligned}$$
这样我们在原来的基础上增加了一块$e^{-ax}$,其作用也是让我们把分母给消去了,因为
$$\frac{\partial f(x,a)}{\partial a}=-e^{-ax} \sin x$$
所以
$$\begin{aligned}G'(a)=\int_0^{\infty} -e^{-ax} \sin x dx \\ =\frac{1}{a^2+1} e^{-ax}(a \sin x+\cos x)|_0^{\infty} \\ =-\frac{1}{a^2+1}\end{aligned}$$
(指数函数《积分表》)
最后得到
$$G(a)=-\int \frac{1}{a^2+1} da=-arctan a +C$$
当$a\to \infty$时,$f(x,a)=0$,$G(a)=0$,得到$C=\frac{\pi}{2}$。最终的结果是
$$\int_0^{\infty} e^{-ax}\frac{\sin x}{x}dx=-arctan a+\frac{\pi}{2}$$
所以
$$\int_0^{\infty} \frac{\sin x}{x}dx=G(0)=\frac{\pi}{2}$$
例子3:
在费曼所看的《高等微积分》中,有一个很典型的例子,它的求解过程结合了微分方程的知识。
已知$\int_0^{\infty} e^{-x^2}dx=\frac{\sqrt{\pi}}{2}$,求积分:$u=\int_0^{\infty} e^{-x^2-\frac{a^2}{x^2}}dx$
这个积分已经给出了参数a,我们不妨直接对该参数求导,看看会发生什么?
$$\begin{aligned}\frac{du}{da}=\int_0^{\infty} \frac{\partial (e^{-x^2-\frac{a^2}{x^2}})}{\partial a}dx \\ =2\int_0^{\infty} e^{-x^2-\frac{a^2}{x^2}}d(\frac{a}{x})\end{aligned}$$
令$t=\frac{a}{x}$,则变成了
$$\int_0^{\infty} e^{-x^2-\frac{a^2}{x^2}}d(\frac{a}{x})=-\int_0^{\infty} e^{-t^2-\frac{a^2}{t^2}}dt$$
这个积分的形式和所求积分的形式完全一样,因为变量的符号(x,t)只是一个记号,积分本身和变量的符号无关,因此我们有把握地说
$$\int_0^{\infty} e^{-t^2-\frac{a^2}{t^2}}dt=u$$
总的来说:$\frac{du}{da}=-2u$
解得:$u=C \times e^{-2a}$,利用给出的已知条件,可以确定常数$C=\frac{\sqrt{\pi}}{2}$,所以
$$\int_0^{\infty} e^{-x^2-\frac{a^2}{x^2}}dx=\frac{\sqrt{\pi}}{2} \times e^{-2a}$$
小结
费曼积分法的变换形式多种多样,捉摸不定,需要在实际应用中敢想、敢试,而且时常需要“灵光一现”,才能妙笔生花!也许正是它的这种灵活性,因此通常有意想不到的惊喜等着我们,或者正是这个原因,费曼对它情有独钟。
转载到请包括本文地址:https://kexue.fm/archives/1629
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Jun. 23, 2012). 《费曼积分法——积分符号内取微分(3) 》[Blog post]. Retrieved from https://kexue.fm/archives/1629
@online{kexuefm-1629,
title={费曼积分法——积分符号内取微分(3)},
author={苏剑林},
year={2012},
month={Jun},
url={\url{https://kexue.fm/archives/1629}},
}
December 18th, 2012
有个地方少了个负号,有个地方却多了个负号,LZ可以检查一下
谢谢你的指出,已经修改了部分,不知道修改完了没有?
下次请明确指出哪些地方,方便我修改,谢谢
December 18th, 2012
这么看来难点变成了构造G(a)啊
March 12th, 2022
费曼积分法非常奇特,对某些积分的计算有奇效。
这个积分 $\int_0^\infty e^{-x^2-\frac{s^2}{x^2}}dx$ ,以前用复变围道积分才解决,没想到含参积分法会如此简便。
其实本文求积分$\int_0^\infty\frac{\sin x}{x}dx$的方法,也是拉普拉斯变换法。
由$\mathcal L[\sin x]=-\frac{d}{ds}\mathcal[\frac{\sin x}{x}]$可得
$$\mathcal L[\frac{\sin x}{x}]=-\int\mathcal L[\sin x]ds+C$$
也就是
$$
\int_0^\infty\frac{\sin x}xe^{-sx}dx=
-\int ds\int_0^\infty\sin xe^{-sx}dx+C=
-\int\frac{ds}{s^2+1}+C=
-\arctan s+C
$$
再根据 $\lim_{s\rightarrow x}\mathcal L[\sin x]=0$ 可知 $C=\frac\pi2$,所以
$$\mathcal L[\sin x](0)=\int_0^\infty\frac{\sin x}{x}dx=\frac\pi2$$
感谢指点。