フーリエ級数展開の公式と意味
が周期 の「まともな」関数なら
ただし,
フーリエ展開の意味,係数の導出,応用例として に収束する有名な級数の話を解説します。
フーリエ級数展開とは
フーリエ級数展開の条件
フーリエ係数の導出
具体例
フーリエ級数展開とは
〜やりたいこと〜
与えられた周期 の関数を,周期 (の約数もOK)の三角関数(サインとコサイン)の和で表現したいという話です。
〜なぜ が登場するのか〜
の周期は であり, を満たします。 も同様です。そこで,これらの「 ズラしてもとに戻る単純な関数の無限和」で「 ズラしてもとに戻る関数 」を表現します。
特に, の周期が の場合,使う三角関数は とシンプルな形になります。
フーリエ級数展開の条件
冒頭では「まともな」関数と述べてぼかしました。やばい関数だとフーリエ級数展開できませんが, 応用上登場する関数はだいたいフーリエ級数展開できるのでそんなに気にしなくてOKです。
例えば が連続かつ導関数も連続なら問題なしです。 や に不連続点がちょいちょいあっても問題なし(不連続点以外で各点収束)です。
フーリエ級数展開できるための詳しい条件については専門書を参照して下さい。
フーリエ係数の導出
フーリエ係数 の形がなぜ冒頭の式で表されるのか説明します。三角関数の積分にある程度慣れている必要があります。
(係数の導出)
〜 について〜
の両辺を から まで積分すると(右辺の周期関数の積分が全て になるので),
つまり,
〜 ()について〜
の両辺に をかけて から まで積分すると, (→注1)
より
〜 について〜
同じように両辺に をかけて から まで積分するとOK。
注1:三角関数の直交性という積分公式を用いています。→三角関数の積の積分と直交性
この公式により右辺の各項の積分はほとんど になり, だけが生き残ります。
注2:なお,積分と無限和の順序交換が可能であることを仮定しています。この部分が厳密ではありませんが,フーリエ係数の形の意味を見るには十分でしょう。
なお,フーリエ展開には複素指数関数を用いた表現もあります。→複素数型のフーリエ級数展開とその導出
具体例
を周期 の関数になるように拡張した関数 のフーリエ級数展開を求めよ。
フーリエ係数を求める。周期性に注意すると から までの積分値は から までの積分値と等しいことが分かる。
,瞬間部分積分を用いて計算すると
であり,被積分関数は奇関数なので
つまり,
ちなみにこの式に を代入すると
となり,有名な級数 を得ます。→バーゼル問題の初等的な証明
フーリエ展開を使えば他にもいろいろな級数が導出できます!