三角函数幂的定积分
By 苏剑林 | 2013-12-05 | 36226位读者 |最近的我的主要学习是在研究路径积分,在推导路径积分的一种新的变换方法(或者是一个新的视角吧),但是有道坎还是迈不过去,因此blog中也一直更新寥寥。说到积分与微分,这两个本是互逆的东西,但是在复数的统一之下,它们两个去可以相互转化。比如说,薛定谔方程是量子力学的微分形式,而路径积分实际上可以说是量子力学的积分形式,这让我有些想法,是不是任何微分形式的数学都存在一个积分形式的版本呢?如果是,是微分版本优还是积分版本优?
在数学分析中,我们会感觉到求导会比求积分容易很多,求导有现成的公式等等。但是微分有个最大的缺点,它是多分量的,比如,势函数是一个标量,但是微分(求梯度)之后就变成了三分量的矢量(即作用力),多分量事实上是不好处理了,为了处理这类问题,又引入了大量的算符。积分的特点在于它的标量性,也许计算很复杂,但是思想确实容易把握的,我更喜欢积分形式的理论(比如作用量原理、路径积分等。)
说到数学分析中常见而又著名的定积分,不得不提到以下三角函数积分了。
$$\int_0^{\pi/2} \sin^{2n} \theta d\theta$$
不难证明,它也等于
$$\int_0^{\pi/2} \cos^{2n} \theta d\theta$$
有很多方法可以求出这个定积分。教科书上给出的方法是数学归纳法递推的,而我觉得比较简单而又容易记忆的(也就是说如果忘记了也可以很快重新推导一次)方法是利用三角函数的指数形式。只需利用$\cos\theta=\frac{e^{i\theta}+e^{-i\theta}}{2}$,将积分写成
$$\begin{aligned}
\int_0^{\pi/2} \cos^{2n} \theta d\theta &=\int_0^{\pi/2} \left(\frac{e^{i\theta}+e^{-i\theta}}{2}\right)^{2n} d\theta\\
&=\frac{1}{2^{2n}}\int_0^{\pi/2} \left(e^{i\theta}+e^{-i\theta}\right)^{2n} d\theta
\end{aligned}$$
考虑$\left(e^{i\theta}+e^{-i\theta}\right)^{2n}$,它必然是
$$\frac{(2n)!}{(n!)^2}+\sum_{k=-n,k\neq 0}^{n} a_k e^{2ik\theta}$$
的形式(可以写出系数$a_k$的具体形式来,但是这不重要,只需要知道它是实数就好)。并且
$$\int_0^{\pi/2} e^{2ik\theta}d\theta=\left. -i\frac{1}{2k}e^{2ik\theta} \right|_0^{\pi/2}=\frac{[(-1)^{k+1}+1]i}{2k}$$
事实上,也不需要算出它的积分值,只需要确定它是一个纯虚数就行。那么
$$\begin{aligned}\int_0^{\pi/2}\cos^{2n} \theta d\theta &=\frac{1}{2^{2n}}\int_0^{\pi/2} \left[ \frac{(2n)!}{(n!)^2} +\sum_{jk=-n,k\neq 0}^{n} a_k e^{2ik\theta}\right]d\theta\\
&=\frac{1}{2^{2n}}\frac{(2n)!}{(n!)^2}\frac{\pi}{2}+i\sum\limits_{k=-n,k\neq 0}^{n}\frac{[(-1)^{k+1}+1]a_k}{2k}
\end{aligned}$$
不管$a_k$的形式是什么,它求和之后与$i$相乘要得到一个纯虚数。但是左边是一个实数,应该虚数项必须为0。因此
$$\begin{aligned}\int_0^{\pi/2}\cos^{2n} \theta d\theta &=\frac{1}{2^{2n}}\frac{(2n)!}{(n!)^2}\frac{\pi}{2}\\
&=\frac{(2n)!}{(2n!!)^2}\frac{\pi}{2}\end{aligned}$$
不过,要是想用同样的技巧求$\int_0^{\pi/2}\sin^{2n+1}\theta d\theta$和$\int_0^{\pi/2}\cos^{2n+1}\theta d\theta$的话,就不显得简单了。事实上,对于奇数次幂,似乎不存在比较简单而直接的方法。
转载到请包括本文地址:https://spaces.ac.cn/archives/2192
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Dec. 05, 2013). 《三角函数幂的定积分 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/2192
@online{kexuefm-2192,
title={三角函数幂的定积分},
author={苏剑林},
year={2013},
month={Dec},
url={\url{https://spaces.ac.cn/archives/2192}},
}
October 6th, 2015
奇数次幂只需要稍微变形即可。