フーリエ(Fourier、1764-1830)が熱伝導問題の解析の過程で考え出したものです。その基本アイディアは「任意の周期関数は三角関数の和で表される」というものです。フーリエ級数展開(および、フーリエ変換)について詳細に説明しようとすると、それだけで本が1冊書けるほどになってしまいます。そのため、ディジタル信号処理などの工学的な応用に必要になる部分に絞って説明していきたいと思います。周期関数を三角関数を使って級数展開する方法(フーリエ級数展開と呼ばれています)を考案しました。bnを求める方法を導き出したわけです。厳密には「任意の周期関数は三角関数の和で表される」という仮定が正しいかどうかをまず議論する必要がありますが、この議論には少し難しい知識が必要とされます。厳密な議論は後回しにして、とりあえずこの仮定が正しいとした上で話を進めるなら、高校レベルの知識でも十分に理解できます。工学的な応用に用いる限りには厳密な議論は後回しにしても全く差し支えありません。実際、歴史的にも、厳密な議論よりも物理学への応用が先になされ、その後から「任意の周期関数は三角関数の和で表される」という仮定に関する厳密な議論が行なわれました。以上のことから、ここでは厳密な議論は抜きにして(知りたい人は専門書を読んで自分で勉強してもらうものとして)説明していきます。nに対して以下の式が成り立つというものがあります。nの場合にのみ非0となり、その他の場合には必ず0になります。このような性質は三角関数の直交性と呼ばれています。説明を単純化するため、まずは周期2πの関数に絞って説明していきたいと思います。このとき、「基本アイディア」で示した式は以下のようになります。nt)「三角関数の直交性」で示した式から、この両辺を-π~πの範囲で積分すると、a0の項だけが残ります。掛けてから積分するとbmの項だけがのこります。bnをフーリエ係数などといいます。このように、周期関数をフーリエ級数に展開することをフーリエ級数展開といいます。+bnsin2πntT)となる。e-ix2iという関係式があります。この関係式を用いて、先ほどのフーリエ級数展開の式を以下のように書き換えることが出来ます。i2πntT)この式を複素形フーリエ級数展開、係数cnを複素フーリエ係数などと呼びます。(フーリエ級数展開という呼称で複素形の方をさす場合もあります。)複素形では、複素数が出てきてしまう代わりに、式をシンプルに書き表すことが出来ます。bnとの間には、以下のような関係が成り立っています。bn2また、この係数cnを、整数から複素数への写像(離散関数)とみなしてF[n]と書き表すこともあります。i2πntT)以後、特に断りのない限り、f(t)のように()付き表記の関数は連続関数を、f[n]のように[]付き表記の関数は離散関数を表すものとします。フーリエ級数展開の例いくつか、フーリエ級数展開の例を挙げます。以下のような周期関数のフーリエ変換を考えてみましょう。f(t)この周期関数で表されるような信号は(周期πの)矩形波と呼ばれ、下図のような波形を示します。矩形波のフーリエ係数は以下のようになります。(nが偶数)したがって、矩形波のフーリエ級数展開は以下のようになります。実用上は級数を途中までで打ち切って近似式として利用します(フーリエ級数近似)。計算手間が増大します。15の場合のフーリエ級数近似の1周期分のグラフを示します。周期関数で表される信号を(周期πの)鋸(のこぎり)波と呼びます。鋸波のフーリエ係数は以下のようになります。-πcos(nx)ndt=(-1)n+12πしたがって、鋸波のフーリエ級数近似式は以下のようになります。31の場合のフーリエ級数近似の1周期分のグラフを示します。以下の周期関数で表される信号を(周期πの)インパルス列と呼びます。δ関数の性質から、インパルス列の複素形フーリエ係数は全て1となり、フーリエ級数近似式は以下のようになります。31の場合のフーリエ級数近似の1周期分のグラフを示します。まで気兼ねなくご連絡ください。ついて運営者について。