數學女孩1 第九章續寫（傅立葉級數解決巴塞爾問題）

赤雷德發表於2019-04-11

這時，一個男孩向泰朵拉招手。似在詢問是否能過去。

泰朵拉望向米爾嘉，米爾嘉點了點頭。（嗯？）

“中國人。”米爾嘉說。

這時男孩也向我們說了話，“你們好，我是鄭浩，泰朵拉的同班同學，我是來自中國的交換生。”

泰朵拉的臉突然變紅，她看了我一眼。

真可愛。

他拿起了泰朵拉的筆記本。

“sin x=0的解集一定是實數啊。”

“鄭浩……你。”泰朵拉說。

但鄭浩開啟了話癆模式。

話癆？

“我們可以用反證法。

我們假設存在複數a+ib並且a，b∈R，b≠0使得sin（a+ib）=0.
複數的正弦怎麼可能，對啦，尤拉公式。

“我們有尤拉公式 enter image description here 。 ”

“尤拉公式是怎麼回事。”泰朵拉問

我想到之前給泰朵拉講的級數，鄭浩還沒反應過來，我回答了。

“泰朵拉，是這樣的

我們之前不是求出了sin x的冪級數嗎， enter image description here

我們現在對cos x與e^x做同樣的事。”

話還未完，泰朵拉就拿過了筆。…

“學長讓我來。

“係數……cos x微分……e^x微分，嗯

學長是這個嗎？

enter image description here

enter image description here ”

“是的，很好。”

泰朵拉笑了。

“接下來我們把e^x的級數的x替換成ix,就有

enter image description here

我們把不含 i 的放一邊，含 i 的放在另一邊，則可以得到： enter image description here 把級數換成函式就得到了尤拉公式

enter image description here 。 ”

“嗯，知道了謝謝學長。”泰朵拉說。

鄭浩繼續。

“我們知道

sin(a+ib)=sin a*cos ib+sin ib*cos a.

並且

只要將尤拉公式中的x替換成ix，-ix就有

e^i(ix)=e^(-x)=cos(ix)+isin(ix)

e^i(-ix)=e^x=cos(ix)-isin(ix) 解出

sin ix=(e^(-x)-e^x)/(i2)=i(e^x-e^(-x))/2=ish x,

cos ix=(e^x+e^(-x))/2=ch x.

因此，*sin（a+ib）=sin a*ch b+icos a*sh b.* ”

“sh x和ch x是雙曲正弦sinh x和雙曲餘弦cosh x嗎？”泰朵拉看著鄭浩問道。

“是的。沒想到你這也知道。”鄭浩說。

“我在課外書上見過。”

鄭浩繼續。

“我們令sin(a+ib)=0,

所以sin a*ch b+icos a*sh b=0，

即是sin a*ch b=0且icos a*sh b=0，

之前我們有a,b∈R，b≠0;

所以sh b≠0則cos a=0，於是sin a≠0，ch b≠0，故sin a*ch b≠0，與之前in a*ch b=0矛盾。

sin x=0無複數解。 ”

"雖然沒有表明正餘弦的和角公式對複數也成立，你的證明已經很完整了。”米爾嘉說。

我還以為已經嚴謹了，原來還有問題，不過這用復指數就能證明了吧。

"鄭浩原來你數學也這麼好。”泰朵拉像是發現了新世界。

“唉，某人只知道向學長問那會管我。”語畢，泰朵拉臉頰微紅，瞟了我一眼。
“泰朵拉你知道嗎，雖然我們把
enter image description here
叫尤拉公式,但尤拉老師不是第一個證明它的人，尤拉老師在1748年的《無窮小分析引論》首次出現，而羅傑·柯茨在1714年就得到了等價形式

但尤拉老師是使用最多的人，所以叫尤拉公式。不過巴塞爾問題真是尤拉老師第一個廣受讚譽的工作。”
“啊，還能這樣！”泰朵拉感慨道。
“數學史上這樣的事還很多呢。”鄭浩偏頭說道，“對啦，巴塞爾問題我還會其他的證法。”
他又一次開啟了話癆模式。
“我會用到傅立葉級數。”
“什麼是傅立葉級數呀！”泰朵拉站了起來。
“哎呀，我正在講。
“每個以2π為週期的函式f(x)都可以用正弦函式和餘弦函式構成的無窮級數來表示，就是說每個這樣的函式都有
f(x)=”
米爾嘉將雙掌交叉，將雙手支在桌上平靜的說：“1807-1822年，法國數學家傅立葉對它進行了實證物理觀點的基本數學研究，不過他的研究還是以對於分析的基本概念的舊解釋作為基礎的。最後，在1829年，德國數學家狄裡赫雷以近代數學中所要求的嚴謹性，證明了以2a/2π為週期，並且周期函式在有限的區間內,只有有限個和有限個極大值和極小值，就可以展開為一致收斂於它的傅立葉級數。”
“那麼，問題就是求出係數 enter image description here 了。”
“用研究函式最有力的工具之一的微分嗎。”泰朵拉說。
這是我之前告訴她的，真有心，細心。
“可不行歐，泰朵拉。sin x與cos x的微分是迴圈的。
所以微分是求不出係數的。”
“哦。謝謝學長。”泰朵拉有些喪氣。
“不過，”鄭浩說，“研究函式最有力的工具之一的還有，integral，積分。”
“鄭浩！”
“哈！”
“我教你學英語時，你記單詞可沒那麼積極啊。”泰朵拉看起來有些生氣。
“嗯。。。這不一樣啦。”
鄭浩趁機繼續。
“我們注意到
enter image description here

總之就是對正餘弦乘積的（上下限為π和-π）積分為零，而對正弦正弦乘積或餘弦餘弦乘積，只有當頻率相同（也就是x的係數）時積分才為 π。 記住它後面就好辦了。”

“哎呀，積分是什麼我還不知道呢。”泰朵拉突然說。

我又跟她解釋了一下。

鄭浩繼續。

“如此，我們就可以得到
enter image description here

k≠0

這樣係數就求出來啦：

enter image description here ”
“哎呀，看得我頭疼，好複雜。”泰朵拉抱怨道。

我笑了笑，安慰道：“其實也不復雜，它們是對應的，如果你要求cos nx的係數就用f(x)cos kx積分，如果你要求sin nx的係數就用f(x)sin kx積分,最後記住因子 enter image description here 就好了。”

泰朵拉思考了一會兒，點頭道：“謝謝學長。”

“如果用影像來理解就會更加理解。”米爾嘉接過筆，“我們考慮這樣的函式f(x)它在-π到0為-1，0到π為1，以2π為週期。 enter image description here
然後用級數有限項和去逼近它。為了方便，我們只考慮-π到π內的影像。因為這是一個奇函式，所以不用管常數項和餘弦係數。我們經過積分便有

也就是說

這樣
”