フーリエ級数（フーリエきゅうすう、"Fourier series"）とは、複雑な周期関数や周期信号を、単純な形の周期性をもつ関数の（無限の）和によって表す方法である。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の和として考え、解を固有解の和として表すものであった。この重ね合わせがフーリエ級数と呼ばれる。最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学などの分野で用いられている。フーリエ級数は、関数に対して定義されるフーリエ係数を用いての形に表される三角級数のことである。熱方程式を発見したフーリエは、平衡状態における熱方程式に注目し、適当な境界条件の下で二変数のラプラス方程式に帰着させて解を求めようとした。この時、フーリエは、という三角級数を見つけている。左辺の三角関数の一つ一つは波打っているにもかかわらず、"x" に依らない定数に収束しているのである。"x" の定義域を広げるとこの三角級数は "n" を整数としてという矩形波になる。このような不連続な関数まで表せることに興味を抱いたフーリエは、さらに三角級数を詳しく調べ、1822年に出版した著書『熱の解析的理論』の中で、全ての関数は三角級数で書けるということを主張した。微分方程式の解の形として、三角級数を仮定するという方法は、フーリエ以前にもダニエル・ベルヌーイらによって行われていたが、三角級数という特別な形を仮定することによって得られる特殊な解と考えられていた。フーリエの主張は、三角級数は、そのような特別なものではなく、全ての関数が三角級数で表せると大きく出ている。フーリエの議論は飛躍が多かったため、反論が相次ぎ、この主張は受け入れられなかった。しかし、フーリエの側にだけ非があるわけではなく、当時の数学が、このような関数列の収束性などを扱うには未熟で、フーリエの主張の真偽を判定することは難しかったことも関係している。この後、関数がフーリエ級数で表現できるための条件などを論じるために、実数、関数、収束、積分などの概念などの見直しが行われ、フーリエ級数論は19世紀数学における解析学の厳密化に大きな影響を与えることになった。またフーリエ級数に始まるフーリエ解析の研究は、フーリエ変換などの手法を産み、画像処理やデータ圧縮、CT、MRIなど現代科学の基礎技術としても発展していった。以下で述べる定義は形式的なもので、実際には "f"("x") を用いた積分が存在するのかということと、"f"("x") から得られたフーリエ級数が、本当に "f"("x") に収束するのかといった事が問題になり、それらを解決するためには "f"("x") に二乗可積分などの制約が課される。積分にはルベーグ積分が用いられる。 "f"("x") に収束するフーリエ級数が得られる場合、 "f"("x") はフーリエ展開できるという。"f"("x") は、実数 "x" を変数とする実数値関数で、周期 2π の周期関数とする。と置き、"a" を "f" のフーリエ余弦係数 ("Fourier cosine coefficient")、"b" を "f" のフーリエ正弦係数("Fourier sine coefficient") という。これらを用いて書かれた三角級数をフーリエ級数("Fourier series") あるいはフーリエ級数展開（"Fourier series expansion"）という。余弦項だけのを、フーリエ余弦級数といい、正弦項だけのを、フーリエ正弦級数という。オイラーの公式を用いると、複素型のフーリエ級数を得ることができる。 "f"("x") も複素数値に取ることができを、 "f" のフーリエ係数("Fourier coefficient")といい、これを用いて書かれた多項式を、 "m" 次のフーリエ多項式("Fourier polynomial")という。この "m" を +∞ にした極限をフーリエ級数という。左辺はの意味ではないことに注意しなければならない。以上に述べたフーリエ級数は、周期 2π の周期関数 "f"("x") に対する定義だが、 "x" = (π/"L") "y" という変数変換により、周期 2"L" の周期関数 "g"("y") = "f"((π/"L")"y") の −"L" ≤ "y" ≤ "L" という区間での定義に変換でき、この形で扱われることも少なくない。"f"("x") が二乗可積分関数ならば、パーセバルの等式("Parseval's equality")

出典:wikipedia