正弦级数和余弦级数
By 苏剑林 | 2014-12-03 | 51192位读者 |在数学分析的级数理论中,有一类常见的题目,其中涉及到
$$\cos\theta+\cos 2\theta+\dots+\cos n\theta\tag{1}$$
和
$$\sin\theta+\sin 2\theta+\dots+\sin n\theta\tag{2}$$
之类的正弦或者余弦级数的求和,主要是证明该和式有界。而为了证明这一点,通常是把和式的通项求出来。当然,该级数在物理中也有重要作用,它表示$n$个相同振子的合振幅。在我们的数学分析教材中,通常是将级数乘上一项$\sin\frac{\theta}{2}$,然后利用积化和差公式完成。诚然,如果仅限在实数范围内考虑,这有可能是唯一的推导技巧的。但是这样推导的运算过程本身不简单,而且也不利于记忆,在大二的时候我就为此感到很痛苦。前几天在看费曼的书的时候,想到了一种利用复数的推导技巧。很奇怪,这个技巧是如此简单——写出来显得这篇文章都有点水了——可是我以前居然一直没留意到!看来功力尚浅,需多多修炼呀。
有时候,一次性计算更多的东西,往往比单一计算一部分更加快捷,让我们同时来考虑$(1)$和$(2)$,我们计算
$$\cos\theta+\cos 2\theta+\dots+\cos n\theta+i\left(\sin\theta+\sin 2\theta+\dots+\sin n\theta\right)$$
利用欧拉公式,上式也就是
$$e^{i\theta}+e^{2i\theta}+\dots+e^{ni\theta}$$
这只是等比级数求和!易得
$$e^{i\theta}\left(\frac{e^{ni\theta}-1}{e^{i\theta}-1}\right)=e^{(n+1)i\theta /2}\left( \frac{e^{ni\theta /2} - e^{ - n i\theta /2}}{e^{i\theta /2} - e^{ - i\theta /2}} \right)$$
括号里的结果也就是
$$\frac{\sin\frac{n\theta}{2}}{\sin\frac{\theta}{2}}$$
所以总的结果也就是
$$\left(\cos\frac{(n+1)\theta}{2}+i\sin\frac{(n+1)\theta}{2}\right)\frac{\sin\frac{n\theta}{2}}{\sin\frac{\theta}{2}}$$
根据实部和虚部相等的原则,就有
$$\cos\theta+\cos 2\theta+\dots+\cos n\theta=\cos\frac{(n+1)\theta}{2}\frac{\sin\frac{n\theta}{2}}{\sin\frac{\theta}{2}}$$
和
$$\sin\theta+\sin 2\theta+\dots+\sin n\theta=\sin\frac{(n+1)\theta}{2}\frac{\sin\frac{n\theta}{2}}{\sin\frac{\theta}{2}}$$
整个过程多么简洁,几乎一气呵成。里边也不是什么精湛神秘的技巧,所以特别奇怪,怎么我现在才注意到?
类似地,也可以得出
$$\cos(\omega+\theta)+\cos(\omega+2\theta)+\dots+\cos (\omega+n\theta)$$
的求和公式(仅仅是多乘了一个相位因子~~)
转载到请包括本文地址:https://spaces.ac.cn/archives/3101
更详细的转载事宜请参考:《科学空间FAQ》
如果您还有什么疑惑或建议,欢迎在下方评论区继续讨论。
如果您觉得本文还不错,欢迎分享/打赏本文。打赏并非要从中获得收益,而是希望知道科学空间获得了多少读者的真心关注。当然,如果你无视它,也不会影响你的阅读。再次表示欢迎和感谢!
如果您需要引用本文,请参考:
苏剑林. (Dec. 03, 2014). 《正弦级数和余弦级数 》[Blog post]. Retrieved from https://spaces.ac.cn/archives/3101
@online{kexuefm-3101,
title={正弦级数和余弦级数},
author={苏剑林},
year={2014},
month={Dec},
url={\url{https://spaces.ac.cn/archives/3101}},
}
December 23rd, 2014
这其实是咱物理组上周的考题...结果我也是开了复数才做出来的
^_^谢谢捧场~这是比较常规的习题,在数学分析中的级数收敛判别时经常出现,实数内的技巧是都每项乘以$\sin\frac{\theta}{2}$,然后积化和差,然后相邻两项就可以相消了。
July 16th, 2015
我在偏微分方程书上见过这种技巧,站长能自己想到很不错!!
October 22nd, 2016
这我早知道了 …… 傅里叶级数可以推导出的