ベクトル空間では,一次独立な基底をつかって,任意のベクトルを表すことができます.関数についても,一次独立な関数の集まりを使えば,ひとつの関数を表すことができるんです( 直交関数系 参照).今回は,この「一次独立な関数の集まり(関数列)」が直交関数系である,三角関数であったときの場合をご紹介します.
この記事では,簡単のために を実関数として話を進めていきます.複素関数について考えるときは,実部と虚部について同じ手順で計算すればいいだけだからです.
まず,思い出してください.直交関数系の「直交関数系から」というセクションで,チラッと見たように,正規直交関数系 とある関数 との相関を取った結果は, を の各元に分解したときにつく係数がでてきてくれるはずです.今,この正規直交関数系が三角関数だった場合での係数を求めてみましょう!
[*] | 正規直交関数系の定義を忘れた方は, 直交関数系 を見てください. |
関数 が周期 を持つとき(すなわち, が成り立つとき), が持つ最大の周期は であるということがいえます.
なので,この関数に関しては, 以上の周期成分を考える必要はありません.だから, を三角関数で表す場合も, より小さい周波数成分を考慮する必要はありません.
ここで,相関を取るのは一定な間隔 ずつ離れている周波数 での波です.この関数に対する,範囲 での,正規直交関数系を使った相関関数を計算するために, と同じように,最大周期 であるような正規直交関数系を用意する必要があります.
まず,用意すべき直交関数系を考えると・・・
この関数列は互いに直交しています.相関を取ってみて,以下で確認しましょう!
[†] | 複素関数の相関を取るとき(関数の内積を求めるとき)は,その値(ノルム)が実数になってほしいので,相手の関数は共役なものを使います.今の場合, の相関を取るのは, の共役である となります. |
さて,上の計算結果からさらに,この関数列を正規直交関数系にするために,関数列に を掛けておく必要があると分かりますね.しかし,このままでは と関数列の相関をとったときに,あまり綺麗な形になりません.ここでは最後に二つの関数の相関を取ったときに での値が になることだけが重要なのですから, と相関を取る関数列を とし,その結果, を に分解したときにつく係数が求められると考えても,本質は何も変わりません.
このことから, と相関を取る関数列を以下のようにしておきましょう!
関数列を用意できましたので,さっそく との相関を取ってみましょう.
[‡] | は に分解されることを考え, ではなくて,その複素共役である で相関を取っていることに注意しましょう. |
相関を取ると, を に分解したときの係数が現れるのでしたね.なので,以下の表現が可能になると考えられます.
さらに,オイラーの公式 を使って, を実部と虚部に分けて考えて見ましょう.
ここで,
とおきますここで,式(3)から, であることを利用すると,,
上のように書くことが出来ます.この式を や について整理すると,
やっと, を三角関数に分解した形にたどり着きました!!
[§] | 実は は の周期 における,平均値となっています.これは,上式を理解するうえで重要なことです.上式を眺めて確認してみてください. |
このように有限の周期を持つ関数 を や の無限級数の形で表すとき,この無限級数を フーリエ級数 といい, や についている係数 , を フーリエ係数 といいます.
さらに, , の前に出てきた は 複素フーリエ係数 という名前がついています.同じく, で表される無限級数の式(2)は 複素フーリエ級数 といいます.
また,関数のフーリエ係数を求めることを フーリエ級数展開 といいます.
ここまでは,ある周期を持った関数について,考えてきました.しかし,世の中,そんな周期関数ばかりなわけがありません.そんな非周期関数については,このフーリエ級数,フーリエ級数展開はどうなってしまうのでしょうか!?
百聞は一見に如かず.実際に,有限だった周期を とすることで,非周期関数の複素フーリエ級数を求めてみましょう.
この式で, を十分に大きくしていくと, はどんどん小さくなって, と書くことができます.
さらにここで,この微小な が となると考えると, も となります.これの意味するところは, を大きくしたことによって,離散的だった周波数変数の間隔 が十分に小さくなり,全ての が連続の周波数変数 とみなせるということです.周波数変数が連続的になるので,級数をとっていた も積分の の形になります.また, が十分に大きいのですから, だった積分の範囲も となります.
なるほど!上の式から, と の極限をとることで,
という式になることが分かります.
そしてそして,,ご存知の方はご存知のはず.式(7-1)こそ, フーリエ変換 の定義 [*] なのです!!式(7-2)はフーリエ逆変換の定義になっています.すなわち,非周期関数のフーリエ級数を無理やり求めようとすると,行き着く先はフーリエ変換になるということです.
[¶] | フーリエ変換の定義には何通りかあります.詳しくは フーリエ変換の第一歩 をご覧ください. |