待望の(?)よくわかるシリーズ第3弾です.今回はフーリエ級数について解説します.また,第1弾,第2弾はこちら.
フーリエ級数やフーリエ変換は数学のみならず,電気工学,信号処理,音響学,さらには経済学の分野にも応用されるほど,有用な「テクニック」である.しかし,テクニックを理解できていない人は多い気がする.今回は細かいところはざっと飛ばして,フーリエ級数のアイディアなどに絞って解説する.よって数学の厳密なことについては今回はあまり扱わない.詳しいことについては後に挙げる本で勉強してください.また,フーリエ変換,ラプラス変換については次回扱います.
フランスの数学者・物理学者であったフーリエ男爵は熱の伝わり方(熱伝導)に関する研究をしていた.彼は次の熱方程式を発見した.
この方程式を変数分離により解く.まず,この熱方程式の解 とおく.ここで, はそれぞれ のみ, のみの関数である.すぐわかるように,ある定数 (実数)に対して
を得る.この解は,
である.
の場合は面白くないので今は の場合のみを考える.得られた解のうち,境界条件 を満たすものを求める.この境界条件から,
が導かれる.すなわち, より
である.よって, であるか,あるいは,
である.
なるときは となる.このような場合を除いた場合, より
とならなければならない.これは少し書き直すと
となるので,この係数の行列式は
でなければならないが,それは が整数の場合に限る(もしそうでないならば,任意の が解になる).
このとき,任意定数 に対して
である.結局,
が解となる.
ここで, と書き直して,
とおく.当然これらも方程式の解である.また,熱方程式と境界条件の線形性より,解を重ね合わせた
も方程式の解である.
ここで, はどんな数でもいいので, として,
を得る.この級数が収束するかどうかはとりあえず無視しよう.収束すると期待しよう.
最後に初期条件 を考えると,
が成立してなければならない.
フーリエ男爵は任意の周期 の周期関数 に対して, を
と定めれば,初期条件が成立することを明らかにした.こうして方程式が解けたわけである.
すなわち,フーリエ男爵は関数 の級数展開の公式を与えたのである.この級数がフーリエ級数なのである.
オイラーの公式 を思い出せば,先程のフーリエ級数はもっとシンプルにかけるような気がする.級数の表示をもっとシンプルにできれば様々な性質が見えてくるはずだ.
まず を内積空間とする.まあ,よくわからなかったから,「直交」という概念がある,ユークリッド空間の拡張のようなもの,と考えてもよい.内積空間 に含まれる でないベクトルの部分集合 が直交系であるとは,任意の が互いに直交することである.さらに,すべての が を満たすとき,正規直交系という.
すぐわかるように,
は の正規直交系である.ここで, は 上の2乗可積分関数の全体である.すなわち, とは,ルベーグ可測関数 に対し, が 上でルベーグ積分可能であることを表す.
(注)ルベーグ積分については以下などを参照のこと.
この観点から,
は で正規直交系をなすことはすぐわかる.この直交系によるフーリエ級数展開は,先程も見たように,
となる.ただし,
ここで,定数項を変えたのは と同じ形で表すためである.
一方, を用いればこのフーリエ級数展開を書き換えることができる.実際,
である.このとき, の間には次の関係式が成り立つ.
さて次に,フーリエ級数の部分和を考えてみよう.フーリエ級数の部分和を
とおく.ちょこっと計算すればわかるように,この は
と積分表示に直すことができる.ここで,
であり,さらに
が成り立つ.
フーリエ級数を求めるということは気持ちとしては を計算して,これが に等しいと言いたいが, が連続というだけでは,これは成り立たない(さらに は有界変動であるという条件が必要).このように,この はあまり良い「近似」ではないことがわかる.これを解決したのがフェイェールである.
3.フェイェールの部分和
ハンガリーの数学者フェイェールは部分和 の代わりに,そのチェザロ平均
を考えた.これをフェイェールの部分和という.
これは
と積分表示に直せる.ただし,
この は先程の と同様に,
という性質を持つ.
詳細は省くが,この は先程の に比べて「良い」振る舞いをする.このため, が連続かつ周期的であれば,一様に
であることがわかる.
*このフェイェールの部分和はワイエルシュトラスの多項式近似定理の証明に用いられる.
この辺のことをもっと勉強したい場合は,
をお薦めします.
アマゾンのレビューを見ると誤植,誤訳がひどい,とありますが,内容自体はすばらしいものなので,誤植や誤訳を訂正する気持ちで読み進めるのがいいと思います.ちなみに,原著のほうも誤植は多いです.
今日は暑いので,これからカキ氷を食べようと思います.では.