フーリエ級数（フーリエきゅうすう、英語: Fourier series）とは、複雑な周期関数や周期信号を単純な形の周期性をもつ関数の無限和（級数）によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。

熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の線型結合として考え、解を固有解の和として表すものであった。この重ね合わせがフーリエ級数と呼ばれる。

最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学[1]などの分野で用いられている。
概要

フーリエ級数は、関数に対して定義されるフーリエ係数を用いて

a 0 2 + ∑ k = 1 ∞ ( a k cos ⁡ k x + b k sin ⁡ k x ) {\displaystyle {\frac {a_{0}}{2}}+\sum _{k=1}^{\infty }(a_{k}\cos kx+b_{k}\sin kx)}

の形に表される三角級数のことである。熱方程式を発見したフーリエは、平衡状態における熱方程式に注目し、適当な境界条件の下で二変数のラプラス方程式 ( ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 ) ϕ ( x , y ) = 0 {\displaystyle \left({\partial ^{2} \over \partial x^{2}}+{\partial ^{2} \over \partial y^{2}}\right)\phi (x,y)=0}

に帰着させて解を求めようとした。この時、フーリエは、 ∑ k = 0 ∞ ( − 1 ) k 2 k + 1 cos ⁡ ( ( 2 k + 1 ) x ) = π 4 , ( − π 2 < x < π 2 ) {\displaystyle \sum _{k=0}^{\infty }{(-1)^{k} \over 2k+1}\cos((2k+1)x)={\pi \over 4},\left(-{\pi \over 2}<x<{\pi \over 2}\right)}

という三角級数を見つけている。左辺の三角関数の一つ一つは波打っているにもかかわらず、x に依らない定数に収束しているのである。x = 0 としたときの級数は円周率を求めるグレゴリー級数と同じである。

x の定義域を広げるとこの三角級数は n を整数として ∑ k = 0 ∞ ( − 1 ) k 2 k + 1 cos ⁡ ( ( 2 k + 1 ) x ) = ( − 1 ) n π 4 , ( − π 2 + n π < x < π 2 + n π ) {\displaystyle \sum _{k=0}^{\infty }{(-1)^{k} \over 2k+1}\cos((2k+1)x)=(-1)^{n}{\pi \over 4},\left(-{\pi \over 2}+n\pi <x<{\pi \over 2}+n\pi \right)}

という矩形波になる。このような不連続な関数まで表せることに興味を抱いたフーリエは、さらに三角級数を詳しく調べ、1822年に出版した著書『熱の解析的理論』の中で、全ての関数は三角級数で書けるということを主張した。

微分方程式の解の形として、三角級数を仮定するという方法は、フーリエ以前にもダニエル・ベルヌーイらによって行われていたが、三角級数という特別な形を仮定することによって得られる特殊な解と考えられていた。フーリエの主張は、三角級数は、そのような特別なものではなく、全ての関数が三角級数で表せると大きく出ている。

フーリエの議論は飛躍が多かったため、反論が相次ぎ、この主張は受け入れられなかった。しかし、フーリエの側にだけ非があるわけではなく、当時の数学が、このような関数列の収束性などを扱うには未熟で、フーリエの主張の真偽を判定することは難しかったことも関係している。この後、関数がフーリエ級数で表現できるための条件などを論じるために、実数、関数、収束、積分などの概念などの見直しが行われ、フーリエ級数論は19世紀数学における解析学の厳密化に大きな影響を与えることになった。

またフーリエ級数に始まるフーリエ解析の研究は、フーリエ変換などの手法を産み、画像処理やデータ圧縮、CT、MRIなど現代科学の基礎技術としても発展していった。
定義

f に収束するフーリエ級数が得られるときにf はフーリエ展開できるというが、f に対する形式的なフーリエ級数が収束するのか、収束するとしても本当に f に収束するのかといった複雑な議論が必要で、これはフーリエ級数の収束性問題と呼ばれる。以下ではこれを考えずに形式的に述べることにする。
実数値関数のフーリエ級数

f は、実数 x を変数とする実数値関数で、周期 2π の周期関数であるとする。 a n = 1 π ∫ − π π f ( t ) cos ⁡ n t d t , ( n = 0 , 1 , 2 , 3 , … ) b n = 1 π ∫ − π π f ( t ) sin ⁡ n t d t , ( n = 1 , 2 , 3 , … ) {\displaystyle {\begin{aligned}a_{n}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }f\left(t\right)\cos nt\,dt,\left(n=0,1,2,3,\dots \right)\\b_{n}&={\frac {1}{\pi }}\int _{-\pi }^{\pi }f\left(t\right)\sin nt\,dt,\left(n=1,2,3,\dots \right)\end{aligned}}}

と置き、an を f のフーリエ余弦係数 (Fourier cosine coefficient)、bn を f のフーリエ正弦係数(Fourier sine coefficient) という。これらを用いて書かれた三角級数 a 0 2 + ∑ n = 1 ∞ ( a n cos ⁡ n x + b n sin ⁡ n x ) {\displaystyle {a_{0} \over 2}+\sum _{n=1}^{\infty }\left(a_{n}\cos nx+b_{n}\sin nx\right)}

をフーリエ級数(Fourier series) あるいはフーリエ級数展開（Fourier series expansion）という。余弦項だけの a 0 2 + ∑ n = 1 ∞ a n cos ⁡ n x {\displaystyle {a_{0} \over 2}+\sum _{n=1}^{\infty }a_{n}\cos nx}