フーリエ級数

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

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

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

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

の形に表される三角級数のことである。熱方程式を発見したフーリエは、平衡状態における熱方程式に注目し、適当な境界条件の下で二変数のラプラス方程式
: \left({\partial^2 \over \partial x^2 } + {\partial^2 \over \partial y^2 }\right)\phi(x,y) = 0 
に帰着させて解を求めようとした。この時、フーリエは、
:\sum_{k=0}^\infty {(-1)^k \over 2k+1}\cos((2k+1)x)  = {\pi \over 4} , \left(-{\pi \over 2} 
という三角級数を見つけている。左辺の三角関数の一つ一つは波打っているにもかかわらず、*x* に依らない定数に収束しているのである。
:*x*  0 としたときの級数は円周率を求めるグレゴリー級数と同じである。

*x* の定義域を広げるとこの三角級数は *n* を整数として
:\sum_{k=0}^\infty {(-1)^k \over 2k+1}\cos((2k+1)x) = (-1)^n {\pi \over 4},  \left(-{\pi \over 2}+n\pi 
という矩形波になる。このような不連続な関数まで表せることに興味を抱いたフーリエは、さらに三角級数を詳しく調べ、1822年に出版した著書『熱の解析的理論』の中で、全ての関数は三角級数で書けるということを主張した。

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

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

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

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

### フーリエ係数
n \in \Z を離散変数とし、周期 T \in \R^+ で周期的な複素連続時間信号 f(t) のc_n は次式で定義される：

:c_n
= F[n]
= \frac{1}{T} \int_{0}^{T} f(t) e^{-i n \omega_0 t} dt, \quad \omega_0 = \frac{2 \pi}{T}
\omega_0 は基本角周波数と解釈される。

### フーリエ級数
フーリエ係数を用いて書かれた多項式
:
\sum_{n=-m}^m c_n e^{i n \omega_0 x}

を、 次の**フーリエ多項式** (*Fourier polynomial*) という。この  を  にした極限
:
\sum_{n=-\infty}^{\infty} c_n e^{i n \omega_0 x} 
= \lim_{m\to +\infty} \sum_{n=-m}^m c_n e^{i n \omega_0 x}


を**フーリエ級数**という。左辺は
:
\sum_{n=-\infty}^{\infty} c_n e^{i n \omega_0 x} 
= \lim_{k,m\to +\infty} \sum_{n=-k}^m c_n e^{i n \omega_0 x}

の意味では**ない**ことに注意しなければならない。

### 実フーリエ級数
実数値関数に限定したフーリエ級数は以下で定義される。

 は、実数  を変数とする実数値関数で、周期  の周期関数であるとする。
:
\begin{align} 
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{align}

と置き、 を  の**フーリエ余弦係数** (*Fourier cosine coefficient*)、 を  の**フーリエ正弦係数**(*Fourier sine coefficient*) という。
これらを用いて書かれた三角級数
:
{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 \over 2} + \sum_{n=1}^{\infty} a_n \cos nx

を、**フーリエ余弦級数**といい、正弦項だけの
:
\sum_{n=1}^{\infty} b_n \sin nx

を、**フーリエ正弦級数**という。
:フーリエ係数を定める積分区間  に制限して  をみたときに  がフーリエ級数で表される偶関数なら、そのフーリエ級数は余弦級数となり、*f*(*x*) がフーリエ級数で表される奇関数なら、そのフーリエ級数は正弦級数となる。
以上に述べた実フーリエ級数は、周期  の周期関数  に対する定義だが、 という変数変換により、周期  の周期関数  の  という区間での定義に変換でき、この形で扱われることも少なくない。
:\begin{align} 
a_n &= {1 \over L} \int_{-L}^L g\left(s\right) \cos\left(\frac{n \pi s}{L} \right) ds, \left(n = 0,1,2,3,\dots \right) \\
b_n &= \frac{1}{L} \int_{-L}^L g\left(s\right) \sin\left(\frac{n \pi s}{L} \right) ds, \left(n = 1,2,3,\dots \right) \\
g(y) &= \frac{a_0}{2} + \sum_{n=1}^{\infty} \left(a_n \cos\left(\frac{n\pi y}{L}\right) + b_n \sin\left(\frac{n \pi y}{L}\right)\right)
\end{align}

## パーセバルの等式

関数  が二乗可積分ならば、以下の等式が成り立つ：
: {1 \over \pi}\int_{-\pi}^{\pi} |f(t)|^2 dt = , \cos x, \sin x, \cos 2x, \sin 2x, \cos 3x, \sin 3x,\ldots \right\}
は正規直交関数列となり、これは *L*2(&minus;&pi;, &pi;) の正規直交基底になっている。
: \begin{align} a_n &= \langle f(x), \cos nx \rangle \\
b_n &= \langle f(x), \sin nx \rangle \end{align} 
という計算によって、それぞれ、フーリエ級数の cos *nx*, sin *nx* の係数のみを抜き出すことができる。

また、任意の自然数 *m* について
: \begin{align} \langle f(x), \cos mx \rangle &= 0 \\
\langle f(x), \sin mx \rangle &= 0 \end{align} 
が成り立てば、 *f*(*x*) = 0 となるため、この直交関数列は完備関数列でもあり、この内積によって、 *L*2(&minus;&pi;, &pi;) は、ヒルベルト空間になる。

複素型のフーリエ級数の場合も、整数 *m*, *n* に対して
: \langle e^{imx}, e^{inx} \rangle = 2\pi\delta_{mn} 
という直交関係がなりたち、{*e**imx*} は完備関数列になる。

### ヒルベルト空間とフーリエ級数
ヒルベルト空間 *X* と、その正規直交系 {*e**k*} を考える。 *x* &isin; *X* に対して、その内積 \langle x, e_k\rangle のことを**フーリエ係数**という。この時、**ベッセルの不等式**
: \|x \|_{2}^{2} \ge \sum_k \left|\langle x,e_k \rangle \right|^2 
が成り立つ。

さらに {*e**k*} が *X* の基底となっていれば、三角級数のときと同様に級数
: \sum_k \langle x,e_k \rangle e_k = 
  \left\langle x,e_1 \right\rangle e_1 +  \left\langle x,e_2 \right\rangle e_2 + \cdots

が考えられ、これも同じように**フーリエ級数**という。この級数が、元の *x* に等しいとき、フーリエ展開できるという。そしてこの時、**プランシュレルの等式**
: \|x \|_2^2 = \sum_k \left|\langle x,e_k \rangle \right|^2 
が成り立つ。

ヒルベルト空間 *X* について、
* 任意の *x* &isin; *X* がフーリエ展開できること
* 任意の *x* &isin; *X* に対し、プランシュレルの等式が成り立つこと
* {*e**k*} が *X* の正規直交基底であること
の 3つは互いに同値な条件である。

## 主な周期関数のフーリエ級数
主な周期関数のフーリエ級数を示す。
*関数 f(x) は、期間 0  で定義されるものとする。
*a_0, a_n, b_n はそれぞれ、直流成分、フーリエ余弦係数、フーリエ正弦係数である。

## 出典



## 参考文献
* 
* 

## 関連文献
* 

## 関連項目
* 解析学
* フーリエ変換
* フーリエ級数の収束
* ギブズ現象
* FM音源
* 高調波