区間 で定義された関数 は,それがどんな関数であっても(区間外では,周期 の周期関数とみなして),三角関数 の重ね合わせで表すことができる。
フーリエ係数とフーリエ級数展開
- 区間 で定義された関数 は,それがどんな関数であっても…
- (区間外では,周期 の周期関数とみなして)
- 三角関数 の重ね合わせて表すことができる!
つまり,以下のように書けるということ。
ここで, をフーリエ係数と呼び,このような表示を関数 のフーリエ級数展開という。
ある関数 のフーリエ級数展開を求めよ,という問題は,つまり, をうまく表すようにフーリエ係数 を求めよ,ということになる。先に答えを書いておくと…
以下は,なんでこうなるかという話。まず,フーリエ係数を求めるときに使うのが「三角関数の直交性」という性質である。
基本ベクトルの直交性を例え話に
3次元ベクトルは一般に のように,基本ベクトル と成分 で書けるのであった。
この基本ベクトルは大きさが で互いに直交している。
と書くと,この正規直交性は以下のように書ける。
ここで, はクロネッカーのデルタと呼ばれる記号で, と が等しいときに ,そうでないときは を与える。このことは,つまり直交していることを表しているんだと理解してください。
さらに,ベクトルの成分を のように書き換えると,
であり,この両辺に を内積としてかけてやると,
つまり,成分 が以下のような内積によって求められる。
三角関数の「直交性」
コサイン同士
これを以下のように読む:コサインは自分自身との(内積に相当する)積分が,それ以外(との内積に相当する積分)はゼロ。
サインとコサイン
これを以下のように読む:サインとコサインとの(内積に相当する)積分はゼロ。
サイン同士
これを以下のように読む:サインは自分自身との(内積に相当する)積分が,それ以外(との内積に相当する積分)はゼロ。
かたや基本ベクトルは3次元ベクトルの内積,かたや三角関数は区間 の積分ではあるが,同じもの同士の場合は値を持ち,それ以外の場合はゼロという意味で「直交性」ということが理解できる,と思いますがどうでしょう?
三角関数の直交性を利用してフーリエ係数を求める
の式の両辺に を「かける」と…
同様に,
フーリエ級数展開のまとめ
以上をまとめると次のようになる。以後はこれを公式として使って,フーリエ級数展開を行ってください。
以上の関係を3次元ベクトルの以下の関係と比べて類似性を味わってみるのも興味深い。
フーリエ展開する関数 がちょうど に,フーリエ級数の がちょうど基本ベクトル の役割を,フーリエ係数 がベクトルの成分 の役割を担っていることがわかるでしょう。