ζ(2)の値を求めたい。
こんにちは.数学科B2です.Fourier級数を用いての値を求めたいと思います.証明等,詳しくは応用数理概論の授業で扱います.
※HTMLの都合上アンドの記号(アンパサンド)を打つとamp;という文字に置き換わってしまっているので,そこは空白と思って読んでください.
- 目標
で特にとした値を求めること.
- 準備
周期関数の定義
とするとき,はを満たすとする.このときの周期はであるという.
Fourier級数の定義
の周期をとする.
が存在するとき,をのFourier係数といい,
と書きこれをのFourier級数という.
Rem.
はそれぞれ偶関数,奇関数だから,が偶関数であれば,が奇関数であればとなります.
例.を周期の関数として全体に拡張した関数をとおく.(はこんなグラフ)
このときは偶関数だから,
ゆえにのFourier級数は以下のようになります.
はで,特にで連続.としたとき,で,が存在します.(この二つを満たすことをは]で区分的に滑らかといいます.)
のFourier級数の部分和,をと定めます.
一般にが周期をもち,]で区分的に滑らかかつが点で連続としたとき,
が成り立ちます.
を周期の関数として全体に拡張した関数をとおけば,これはで区分的に滑らかでこの区間で連続なので,のもとでは
とできます.として,
,すなわち
また,
ゆえ,
Parsevalの等式を利用すればのFourier級数の式からを示すこともできます.
ちなみにの収束性だけは簡単に示せて,(よく使う!)
より簡単な不等式評価で示せます.
数Ⅲ程度の積分を解くだけでゼータ関数の値を求められるってなんか良いですよね!授業受けててめっちゃワクワクしてた記憶があります.
これらの数式の入力にはというのを使っています.は数式だったり化学の記号,またグラフなどが打てるWordと思ってもらえればOKです.理系の人なら習得しておきたい事柄の一つですね.数学畑の人はというのを使えればレポートや研究発表に困ることがないです.おすすめのの本貼っておきますので興味があれば見てみてください.数理科図書館にも何冊か置いてあったはずなので覗いてみてください!
https://www.amazon.co.jp/改訂第8版-LaTeX2ε美文書作成入門-奥村晴彦/dp/4297117126