フーリエ級数のソースを表示

[[Image:Fourier Series.svg|thumb|right|200px|[[方形波]](青線)とフーリエ級数による近似(赤線)。最初の4項まで。]]
'''フーリエ級数'''（フーリエきゅうすう、{{lang-en|Fourier series}}）とは、複雑な[[周期関数]]や周期信号を単純な形の周期性をもつ関数の無限和（[[級数]]）によって表したものである。フーリエ級数は、フランスの数学者[[ジョゼフ・フーリエ]]によって[[金属]]板の中での[[熱伝導]]に関する研究の中で導入された。

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

最初の動機は熱伝導方程式を解くことであったが、数学や物理の他の問題にも同様のテクニックが使えることが分かり様々な分野に応用されている。
フーリエ級数は、[[電気工学]]、[[振動]]の解析、[[音響学]]、[[光学]]、[[信号処理]]、[[量子力学]]および[[経済学]]<ref>{{cite book |first=Marc |last=Nerlove |first2=David M. |last2=Grether |first3=Jose L. |last3=Carvalho |year=1995 |title=Analysis of Economic Time Series. Economic Theory, Econometrics, and Mathematical Economics |location= |publisher=Elsevier |isbn=0125157517 }}</ref>などの分野で用いられている。

== 概要 ==
フーリエ級数は、関数に対して定義されるフーリエ係数を用いて
{{Indent|<math>\frac{a_0}{2} + \sum_{k=1}^\infty (a_k\cos kx+b_k\sin kx)</math>}}
の形に表される三角級数のことである。[[熱方程式]]を発見した[[ジョゼフ・フーリエ|フーリエ]]は、[[熱力学的平衡|平衡状態]]における熱方程式に注目し、適当な境界条件の下で二変数の[[ラプラス方程式]]
:<math> \left({\partial^2 \over \partial x^2 } + {\partial^2 \over \partial y^2 }\right)\phi(x,y) = 0 </math>
に帰着させて解を求めようとした。この時、フーリエは、
:<math>\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)</math>
という三角級数を見つけている。左辺の三角関数の一つ一つは波打っているにもかかわらず、''x'' に依らない定数に収束しているのである。
:''x'' <nowiki>=</nowiki> 0 としたときの級数は[[円周率]]を求める[[ジェームス・グレゴリー#グレゴリー級数|グレゴリー級数]]と同じである。

''x'' の定義域を広げるとこの三角級数は ''n'' を整数として
:<math>\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)</math>
という[[矩形波]]になる。このような不連続な関数まで表せることに興味を抱いたフーリエは、さらに三角級数を詳しく調べ、[[1822年]]に出版した著書『熱の解析的理論』の中で、全ての関数は三角級数で書けるということを主張した。

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

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

またフーリエ級数に始まる[[フーリエ解析]]の研究は、[[フーリエ変換]]などの手法を産み、[[画像処理]]や[[データ圧縮]]、[[コンピュータ断層撮影|CT]]、[[核磁気共鳴画像法|MRI]]など現代科学の基礎技術としても発展していった。

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

=== フーリエ係数 ===
<math>n \in \Z</math> を離散変数とし、周期 <math>T \in \R^+</math> で[[周期的]]な[[複素関数|複素]][[連続時間信号]] <math>f(t)</math> の{{読み仮名|'''フーリエ係数'''|フーリエけいすう|{{lang-en-short|[[w::Fourier coefficient|Fourier coefficient]]}}}}<math>c_n</math> は次式で定義される<ref name=":0">{{Ilq|フーリエ級数展開の定義式 ... 周期関数 x(t)の周期を T とすると；<math>\omega_0 = \frac{2 \pi}{T}</math>
 ... ここで、<math>\omega_0</math> は基本角周波数 ... <math>c_n = \frac{1}{T} \int_{0}^{T} x(t) e^{-j n \omega_0 t} dt</math>}}p.1 より引用。{{Cite journal|author=Hima|year=2013|date=2013-03-22|title=基礎からの周波数分析（3）－「フーリエ級数展開（その 2）」|url=https://www.onosokki.co.jp/HP-WK/eMM_back/emm128.pdf|journal=ONO SOKKI -- info channel|issue=128|pages=1-10|publisher=小野測器}}</ref>：

:<math>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}</math>
<math>\omega_0</math> は基本[[角周波数]]と解釈される<ref name=":0" />。

=== フーリエ級数 ===
フーリエ係数を用いて書かれた多項式
:<math>
\sum_{n=-m}^m c_n e^{i n \omega_0 x}
</math>
を、{{mvar|m}} 次の'''フーリエ多項式''' (''Fourier polynomial'') という。この {{mvar|m}} を {{math|+&infin;}} にした極限
:<math>
\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}

</math>
を'''フーリエ級数'''という。左辺は
:<math>
\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}
</math>
の意味では'''ない'''ことに注意しなければならない。

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

{{mvar|f}} は、[[実数]] {{mvar|x}} を[[変数 (数学)|変数]]とする実数値関数で、[[周期]] {{math|2&pi;}} の[[周期関数]]であるとする。
:<math>
\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}
</math>
と置き、{{math|''a''<sub>''n''</sub>}} を {{mvar|f}} の'''フーリエ余弦係数''' (''Fourier cosine coefficient'')、{{math|''b''<sub>''n''</sub>}} を {{mvar|f}} の'''フーリエ正弦係数'''(''Fourier sine coefficient'') という。
これらを用いて書かれた三角級数
:<math>
{a_0 \over 2} + \sum_{n=1}^{\infty} \left(a_n \cos nx + b_n \sin nx \right)
</math>
を'''フーリエ級数'''(''Fourier series'') あるいは'''フーリエ級数展開'''（''Fourier series expansion''）という。余弦項だけの
:<math>
{a_0 \over 2} + \sum_{n=1}^{\infty} a_n \cos nx
</math>
を、'''フーリエ余弦級数'''といい、正弦項だけの
:<math>
\sum_{n=1}^{\infty} b_n \sin nx
</math>
を、'''フーリエ正弦級数'''という。
:フーリエ係数を定める積分区間 {{math|&minus;&pi; &lt; ''x'' &lt; &pi;}} に制限して {{mvar|f}} をみたときに {{mvar|f}} がフーリエ級数で表される[[偶関数と奇関数|偶関数]]なら、そのフーリエ級数は余弦級数となり、''f''(''x'') がフーリエ級数で表される[[偶関数と奇関数|奇関数]]なら、そのフーリエ級数は正弦級数となる。
以上に述べた実フーリエ級数は、周期 {{math|2&pi;}} の周期関数 {{mvar|f}} に対する定義だが、{{math|1=''x'' = (&pi;/''L'') ''y''}} という変数変換により、周期 {{math|2''L''}} の周期関数 {{math|1=''g''(''y'') = ''f''((&pi;/''L'')''y'')}} の {{math|&minus;''L'' &le; ''y'' &le; ''L''}} という区間での定義に変換でき、この形で扱われることも少なくない。
:<math>\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}</math>

== パーセバルの等式 ==
{{main|パーセバルの定理|パーセヴァルの等式}}
関数 {{math|''f''(''x'')}} が[[二乗可積分]]ならば、以下の等式が成り立つ：
:<math> {1 \over \pi}\int_{-\pi}^{\pi} |f(t)|^2 dt = {{a_0}^2 \over 2} + \sum_{n=1}^\infty ( {a_n}^2 + {b_n}^2 ) = 2 \sum_{n=-\infty}^{\infty} |c_n|^2.</math>
この式は[[パーセヴァルの等式]]と呼ばれる。

== フーリエ級数の例 ==
=== {{math|1=''f''(''x'') = ''x''}} ===
[[周期関数]]でない関数を周期関数へ拡張し、そのフーリエ級数を扱うことも多い。区間 {{math|(&minus;&pi;, &pi;)}} で定義される関数として次のような例を考える：
:<math>f(x) = x \quad (-\pi < x < \pi).</math>
この関数 {{mvar|f}} を使って以下の[[周期関数]] {{mvar|h}} を定義できる：
:<math>\begin{align}
h(x) &= f(x) & (-\pi < x < \pi), \\
h(x+2\pi) &= h(x) & (\text{otherwise}). \\
\end{align}
</math>
この関数 {{mvar|h}} は {{math|..., &minus;&pi;, &pi;, 3&pi;, ...}} で[[定義]]されない点に注意する。仮に定義したとして、例えば点 {{math|&pi;}} 上では[[片側極限|左極限]] {{math|''h''(&pi; &minus; 0)}} と右極限 {{math|''h''(&pi; + 0)}} が一致せず、これらの点において、値をどのように定義しても {{mvar|h}} は[[連続 (数学)|不連続]]となる。

以降、記号を粗雑に使い、特に断りのない限り、{{mvar|h}} の意味で {{mvar|f}} を用いることにする。

{{mvar|f}} が区分的に[[連続微分可能]]である場合、不連続点でフーリエ級数の収束値は左右からの極限の平均を取るという性質がある。定義した周期関数がフーリエ級数と一致することを求めるなら、{{math|1=''x'' = &pi;}} での値は左右極限の平均値として定義すべきである：
:<math>f(\pi) := \frac{f(\pi - 0)+ f(\pi + 0)}{2}.</math>
特に今回の場合、{{math|1=''f''(&pi;) = 0}} となる。

元の関数は[[奇関数]]なので、{{mvar|f}} に対するフーリエ級数は正弦級数となる：
:<math>f(x) = 2\sum_{n=1}^{\infty} (-1)^{n-1} \frac{\sin nx}{n}. </math>

上記より {{math|''f''({{sfrac|&pi;|2}})}} について、以下の等式が得られる：
:<math>\frac{\pi}{2} = 2\sum_{k=0}^{\infty} \left(\frac{1}{4k + 1} - \frac{1}{4k + 3}\right).</math>
これは[[ライプニッツの公式]]として知られる。

また、[[パーセバルの等式]]より次の関係が得られる：
:<math>\frac{1}{\pi}\int_{-\pi}^{\pi} |f(x)|^2 dx = {2 \over 3} \pi^2 = 4 \sum^{\infin}_{n=1} \frac{1}{n^2}.</math>
最右辺の級数は[[リーマンゼータ関数|ゼータ関数]]の特殊値 [[バーゼル問題|{{math|&zeta;(2)}}]] に一致する。

=== {{math|1=''f''(''x'') = ''x''<sup>2</sup>}} ===

前節と同様に関数 {{mvar|f}} として以下を与える：
:<math>f(x) = x^2 \quad (-\pi \le x \le \pi).</math>
この場合、周期関数としての {{mvar|f}} は元となる関数の定義域の境界 {{math|&minus;&pi;}} および {{math|&pi;}} 上で連続となる。

元の関数は[[偶関数]]なので、{{mvar|f}} のフーリエ級数は余弦級数のみで表される：
:<math>f(x) = {\pi^2 \over 3} + 4 \sum_{n=1}^{\infty} (-1)^n {\cos nx \over n^2}.</math>

{{Indent|1=（{{math|''x''<sup>2</sup>}} を微分して 2 で割ると {{mvar|x}} になるのと同じように、この右辺の級数を微分して 2 で割ると、前節の {{math|1=''f''(''x'') = ''x''}} のフーリエ級数になる。一般に関数 {{mvar|f}} に対する導関数のフーリエ級数とフーリエ級数の微分は一致しないが、{{mvar|f}} のフーリエ級数の微分が[[一様収束]]するなら、導関数 {{math|''f''&prime;}} のフーリエ級数に一致する。）}}

さらに、この級数は {{math|''f''(&pi;)}} について以下のように整理できる：
:<math>\frac{\pi^2}{6} = \sum^{\infin}_{n=1} \frac{1}{n^2}.</math>
ここでも {{math|&zeta;(2)}} が現れる。

== 直交性 ==
=== 三角級数の直交性 ===
フーリエ級数のようなものが考えられる背景には、関数の[[直交関数列|直交性]]がある。 (&minus;&pi;, &pi;) 上で定義された[[二乗可積分関数]]の空間 ''L''<sup>2</sup>(&minus;&pi;, &pi;) を考える。 ''f''(''x''), ''g''(''x'') &isin; ''L''<sup>2</sup>(&minus;&pi;, &pi;) に対して、[[内積]]
:<math> \left\langle f(x),g(x) \right\rangle := {1 \over \pi} \int_{-\pi}^{\pi} f(x) g(x)^* dx</math>
:''g''(''x'')<sup>*</sup> は ''g''(''x'') の[[複素共役]]であり、実数値のときは、''g''(''x'') と等しい
を定義すると、[[自然数]] ''m'', ''n'' &ge; 1 に対し
:<math>\begin{align}
\langle \cos mx, \cos nx \rangle &= \delta_{mn}\\
\langle \sin mx, \sin nx \rangle &= \delta_{mn}\\
\langle \cos mx, \sin nx \rangle &= 0\\
\langle 1, 1 \rangle &= 2\\
\langle 1, \cos mx \rangle &= 0\\
\langle 1, \sin mx \rangle &= 0
\end{align}</math>
ただし、&delta;<sub>''mn''</sub> は[[クロネッカーのデルタ]]で、内積の中に用いられている 1 というのは、''x'' に依らずに 1 を値にとる[[定数関数]]の事とする。

このような関係から
:<math>\left\{\frac{1}{\sqrt{2}}, \cos x, \sin x, \cos 2x, \sin 2x, \cos 3x, \sin 3x,\ldots \right\}</math>
は[[直交関数列|正規直交関数列]]となり、これは ''L''<sup>2</sup>(&minus;&pi;, &pi;) の[[計量ベクトル空間|正規直交基底]]になっている。
:<math> \begin{align} a_n &= \langle f(x), \cos nx \rangle \\
b_n &= \langle f(x), \sin nx \rangle \end{align} </math>
という計算によって、それぞれ、フーリエ級数の cos ''nx'', sin ''nx'' の係数のみを抜き出すことができる。

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

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

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

さらに {''e''<sub>''k''</sub>} が ''X'' の基底となっていれば、三角級数のときと同様に級数
:<math> \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
</math>
が考えられ、これも同じように'''フーリエ級数'''という。この級数が、元の ''x'' に等しいとき、フーリエ展開できるという。そしてこの時、'''プランシュレルの等式'''
:<math> \|x \|_2^2 = \sum_k \left|\langle x,e_k \rangle \right|^2 </math>
が成り立つ。

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

== 主な周期関数のフーリエ級数 ==
主な周期関数のフーリエ級数を示す。
*関数 <math>f(x)</math> は、期間 <math>0 < x \le T </math> で定義されるものとする。
*<math>a_0, a_n, b_n</math> はそれぞれ、直流成分、フーリエ余弦係数、フーリエ正弦係数である。
{| class="wikitable"
|-
! 時間領域<br /><math>f(x)</math>
! 波形
! 周波数領域<br /><math>\begin{align}& a_0 \\ & a_n \quad \text{for } n \ge 1 \\ & b_n \quad \text{for } n \ge 1\end{align}</math>
! 備考
! 出典
|-
|<math>f(x)=A \left| \sin\left(\frac{2\pi}{T}x\right)\right| \quad \text{for } 0 \le x < T</math>
|[[File:PlotRectifiedSineSignal.svg|250px|center]]
|<math>\begin{align}
a_0 = & \frac{4A}{\pi}\\
a_n = & \begin{cases}
        \frac{-4A}{\pi}\frac{1}{n^2-1} & \quad n \text{ even} \\
        0 & \quad n \text{ odd}
        \end{cases}\\
b_n = & 0\\
\end{align}</math>
|正弦波の全波整流波形
|<ref name=Papula>{{cite book | last=Papula|first= Lothar| title=Mathematische Formelsammlung: für Ingenieure und Naturwissenschaftler| publisher=Vieweg+Teubner Verlag | year=2009 | isbn=978-3834807571|lang=de|trans-title=Mathematical Functions for Engineers and Physicists }}</ref>{{rp|p. 193}}
|-
|<math>f(x)=\begin{cases}
A \sin\left(\frac{2\pi}{T}x\right) & \quad \text{for } 0 \le x < T/2 \\
0 & \quad \text{for } T/2 \le x < T\\
\end{cases}
</math>
|[[File:PlotHalfRectifiedSineSignal.svg|250px|center]]
|<math>\begin{align}
a_0 = & \frac{2A}{\pi}\\
a_n = & \begin{cases}
        \frac{-2A}{\pi}\frac{1}{1-n^2} & \quad n \text{ even} \\
        0 & \quad n \text{ odd}
        \end{cases}\\
b_n = & \begin{cases}
        \frac{A}{2} & \quad n=1 \\
        0 & \quad n > 1
        \end{cases}\\
\end{align}</math>
|正弦波の半波整流波形
|<ref name=Papula/>{{rp|p. 193}}
|-
|<math>f(x)=\begin{cases}
A & \quad \text{for } 0 \le x < D \cdot T \\
0 & \quad \text{for } D \cdot T \le x < T\\
\end{cases}
</math>
|[[File:PlotRectangleSignal.svg|250px|center]]
|<math>\begin{align}
a_0 = & 2AD\\
a_n = & \frac{A}{n \pi} \sin \left( 2 \pi n D \right)\\
b_n = & \frac{2A}{n \pi} \left( \sin \left( \pi n D \right) \right) ^2\\
\end{align}</math>
| <math>0 \le D \le 1</math><br/>デューティ比 <math>D</math> の矩形波
|
|-
|<math>f(x)=\frac{Ax}{T} \quad \text{for } 0 \le x < T</math>
|[[File:PlotSawtooth1Signal.svg|250px|center]]
|<math>\begin{align}
a_0 = & A\\
a_n = & 0\\
b_n = & \frac{-A}{n \pi}\\
\end{align}</math>
| ノコギリ波（増）
|<ref name=Papula/>{{rp|p. 192}}
|-
|<math>f(x)=A-\frac{Ax}{T} \quad \text{for } 0 \le x < T</math>
|[[File:PlotSawtooth2Signal.svg|250px|center]]
|<math>\begin{align}
a_0 = & A\\
a_n = & 0\\
b_n = & \frac{A}{n \pi}\\
\end{align}</math>
| ノコギリ波（減）
|<ref name=Papula/>{{rp|p. 192}}
|-
|<math>f(x)=\frac{4A}{T^2}\left( x-\frac{T}{2} \right)^2 \quad \text{for } 0 \le x < T</math>
|[[File:PlotParabolaSignal.svg|250px|center]]
|<math>\begin{align}
a_0 = & \frac{2A}{3}\\
a_n = & \frac{4A}{\pi^2 n^2}\\
b_n = & 0\\
\end{align}</math>
| 
|<ref name=Papula/>{{rp|p. 193}}
|}

== 出典 ==
{{脚注ヘルプ}}
<references />

== 参考文献 ==
* {{cite book|和書|author=A.N. コルモゴロフ|coauthors=S.V. フォミーン|translator=山崎三郎・柴岡泰光|title=函数解析の基礎|volume=下|publisher=[[岩波書店]]|year=1979|id=ISBN 4000051679}}
* {{MathWorld| urlname= FourierSeries | title= Fourier Series}}

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

{{Normdaten}}
{{DEFAULTSORT:ふうりえきゆうすう}}
[[Category:フーリエ解析]]
[[Category:線型代数学]]
[[Category:ジョゼフ・フーリエ]]
[[Category:人名を冠した数式]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]