フーリエ級数
フーリエ級数(フーリエきゅうすう、Fourier series)とは、複雑な周期関数や周期信号を単純な形の周期性をもつ関数の無限和(級数)によって表したものである。フーリエ級数は、フランスの数学者ジョゼフ・フーリエによって金属板の中での熱伝導に関する研究の中で導入された。
熱伝導方程式は、偏微分方程式として表される。フーリエの研究の前までには、一般的な形での熱伝導方程式の解法は知られておらず、熱源が単純な形である場合、例えば正弦波などの場合の特別な解しかえられていなかった。この特別な解は現在では固有解と呼ばれる。フーリエの発想は、複雑な形をした熱源をサイン波、コサイン波の線型結合として考え、解を固有解の和として表すものであった。
この重ね合わせがフーリエ級数と呼ばれる。
最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。
フーリエ級数は、電気工学、振動の解析、音響学、光学、信号処理、量子力学および経済学などの分野で用いられている。
フーリエ級数は、関数に対して定義されるフーリエ係数を用いて
の形に表される三角級数のことである。熱方程式を発見したフーリエは、平衡状態における熱方程式に注目し、適当な境界条件の下で二変数のラプラス方程式
\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 < {\pi \over 2}\right)
という三角級数を見つけている。左辺の三角関数の一つ一つは波打っているにもかかわらず、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 < x < {\pi \over 2}+n\pi\right)
という矩形波になる。このような不連続な関数まで表せることに興味を抱いたフーリエは、さらに三角級数を詳しく調べ、1822年に出版した著書『熱の解析的理論』の中で、全ての関数は三角級数で書けるということを主張した。
微分方程式の解の形として、三角級数を仮定するという方法は、フーリエ以前にもダニエル・ベルヌーイらによって行われていたが、三角級数という特別な形を仮定することによって得られる特殊な解と考えられていた。フーリエの主張は、三角級数は、そのような特別なものではなく、全ての関数が三角級数で表せると大きく出ている。
フーリエの議論は飛躍が多かったため、反論が相次ぎ、この主張は受け入れられなかった。しかし、フーリエの側にだけ非があるわけではなく、当時の数学が、このような関数列の収束性などを扱うには未熟で、フーリエの主張の真偽を判定することは難しかったことも関係している。この後、関数がフーリエ級数で表現できるための条件などを論じるために、実数、関数、収束、積分などの概念などの見直しが行われ、フーリエ級数論は19世紀数学における解析学の厳密化に大きな影響を与えることになった。
またフーリエ級数に始まるフーリエ解析の研究は、フーリエ変換などの手法を産み、やデータ圧縮、CT、MRIなど現代科学の基礎技術としても発展していった。
f に収束するフーリエ級数が得られるときにf はフーリエ展開できるというが、f に対する形式的なフーリエ級数が収束するのか、収束するとしても本当に f に収束するのかといった複雑な議論が必要で、これはフーリエ級数の収束性問題と呼ばれる。以下ではこれを考えずに形式的に述べることにする。
f は、実数 x を変数とする実数値関数で、周期 2π の周期関数であるとする。
\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}
と置き、an を f のフーリエ余弦係数 (Fourier cosine coefficient)、bn を f のフーリエ正弦係数(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
を、フーリエ正弦級数という。
フーリエ係数を定める積分区間 −π < x < π に制限して f をみたときに f がフーリエ級数で表される偶関数なら、そのフーリエ級数は余弦級数となり、f(x) がフーリエ級数で表される奇関数なら、そのフーリエ級数は正弦級数となる。
オイラーの公式を用いると、複素数型のフーリエ級数を得ることができる。f も複素数値に取ることができ
c_n = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(t) \exp(-int) dt, \left(n = 0,\pm 1,\pm 2,\dots \right)
を、f のフーリエ係数 (Fourier coefficient) といい、これを用いて書かれた多項式
\sum_{n=-m}^m c_n e^{inx}
を、m 次のフーリエ多項式 (Fourier polynomial) という。この m を +∞ にした極限
\sum_{n=-\infty}^{\infty} c_n e^{inx}
= \lim_{m\to +\infty} \sum_{n=-m}^m c_n e^{inx}
をフーリエ級数という。左辺は
\sum_{n=-\infty}^{\infty} c_n e^{inx}
= \lim_{k,m\to +\infty} \sum_{n=-k}^m c_n e^{inx}
の意味ではないことに注意しなければならない。
以上に述べたフーリエ級数は、周期 2π の周期関数 f に対する定義だが、x = (π/L) y という変数変換により、周期 2L の周期関数 g(y) = f((π/L)y) の −L ≤ y ≤ L という区間での定義に変換でき、この形で扱われることも少なくない。
\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) \\
c_n &= \frac{1}{2L} \int_{-L}^L g\left(s \right) \exp\left(-\frac{in\pi s}{L}\right) ds, \left(n = 0,\pm 1,\pm 2,\dots \right) \\
g(y) &= \sum_{n=-\infty}^{\infty} c_n \exp\left(\frac{in\pi y}{L}\right) = \lim_{m\to +\infty} \sum_{n=-m}^m c_n \exp\left(\frac{in\pi y}{L}\right)
\end{align}
関数 f(x) が二乗可積分ならば、以下の等式が成り立つ:
{1 \over \pi}\int_{-\pi}^{\pi} |f(t)|^2 dt = c_n, \cos x, \sin x, \cos 2x, \sin 2x, \cos 3x, \sin 3x,\ldots \right\}
は正規直交関数列となり、これは L2(−π, π) の正規直交基底になっている。
\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 となるため、この直交関数列は完備関数列でもあり、この内積によって、 L2(−π, π) は、ヒルベルト空間になる。
複素型のフーリエ級数の場合も、整数 m, n に対して
\langle e^{imx}, e^{inx} \rangle = 2\pi\delta_{mn}
という直交関係がなりたち、{eimx} は完備関数列になる。
ヒルベルト空間 X と、その正規直交系 {ek} を考える。 x ∈ X に対して、その内積 \langle x, e_k\rangle のことをフーリエ係数という。この時、ベッセルの不等式
\|x \|_{2}^{2} \ge \sum_k \left|\langle x,e_k \rangle \right|^2
が成り立つ。
さらに {ek} が 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 ∈ X がフーリエ展開できること
任意の x ∈ X に対し、プランシュレルの等式が成り立つこと
{ek} が X の正規直交基底であること
の 3つは互いに同値な条件である。
主な周期関数のフーリエ級数を示す。
関数 f(x) は、期間 0 < x \le T  で定義されるものとする。
a_0, a_n, b_n はそれぞれ、直流成分、フーリエ余弦係数、フーリエ正弦係数である。