フーリエ級数

フーリエ級数は、周期関数を正弦関数と余弦関数の和として展開し、その基本周波数に分解する。そして、級数が関数を再構成する条件が中心的な問いとなる。

Definition

フーリエ級数とは、周期関数を無限個の正弦関数と余弦関数、または複素指数関数の組み合わせとして表現したものであり、その係数は関数とそれらの基本振動との積を積分することによって決定される。

Scope

このトピックでは、周期関数のフーリエ係数、部分和とそのディリクレ核、点ごとの収束と一様収束の基準、跳びにおけるギブズ現象、平均収束とパーセバルの等式、チェザロ平均やアーベル平均などの可算性方法とフェイエール核、二乗可積分関数における三角関数の系の完全性について扱う。

Core questions

• 周期関数のフーリエ係数はどのように計算されるのか？
• フーリエ級数はいつ、どのような意味で関数に収束するのか？
• 部分和が収束しない場合でも、可算性方法が収束を回復させるのはなぜか？
• 三角関数系が二乗可積分関数の完全正規直交基底を形成するのはなぜか？

Key theories

平均二乗収束とパーセバルの等式

二乗可積分な周期関数のフーリエ級数は、平均二乗の意味でその関数に収束し、係数の二乗和は関数の二乗ノルムに等しくなる。これは三角関数系が完全正規直交基底であることを示している。

フェイエールの定理

連続な周期関数のフーリエ級数の部分和のチェザロ平均は、その関数に一様収束する。これにより、部分和自体が収束しない場合でも、平均化によって収束が回復する。

Clinical relevance

フーリエ級数は、周期信号のスペクトル解析の基礎であり、音響学、振動解析、電気工学、および変数分離による熱方程式や波動方程式の解法に用いられる。これらの分野では、状態を周波数モードに分解することで方程式が解けるようになる。

History

フーリエは1822年の熱理論において三角関数展開を導入し、その一般性を主張したが、これは数十年にわたる厳密な検証を促した。ディリクレは1829年に最初の厳密な収束定理を与え、フェイエールの1900年の可算性に関する結果は、連続関数に対する収束を明確にした。

Key figures

• Joseph Fourier
• Lejeune Dirichlet
• Lipot Fejer

Seminal works

• stein2003fourier
• katznelson2004

Frequently asked questions

フーリエ級数は常にその関数に収束するのか？

一般に点ごとに収束するとは限らない。連続関数であっても、ある点ではフーリエ級数が発散することがあるが、二乗可積分関数に対しては常に平均二乗の意味で収束し、可算性方法を用いることで連続関数に対して一様収束が回復する。

ギブズ現象とは何か？

跳び不連続点の近くでは、フーリエ級数の部分和が関数を一定の割合でオーバーシュートし、このオーバーシュートは項数を増やしても消滅しない。これは跳びにおける点ごとの収束の人工的な現象である。