フーリエ級数の収束

フーリエ級数の収束（フーリエきゅうすうのしゅうそく）は純粋数学における調和解析の分野で研究される問題である。フーリエ級数は一般には収束するとは限らず、収束するための条件が存在する。
収束性の判断には各点収束、一様収束、絶対収束、Lp空間|L p 空間、総和法、チェザロ和の知識を要する。

**前提**
区間 math|0, 2π で可積分な f を考える。f のフーリエ係数 (Fourier coefficient)  は以下のように定められる。

関数 f とそのフーリエ級数の関係は通常次のように記述される。

ここで ∼ は和がある意味で関数を表現することを意味する。より慎重な議論を要する場合には、部分和を以下のように定義する：

このとき気になるであろう問題は次の事である：
*関数 SN(f;t) は f へ、またどの意味で収束するだろうか？　
*収束を保証する f の条件は何だろうか？
この記事ではこれらの問に関する議論を主として扱う。
先を続ける前にディリクレ核 (Dirichlet kernel) について説明しておく。フーリエ係数  の公式を部分和  に対して適用すると、最終的に

という関係が得られる。ここで ∗ は巡回畳み込みを意味し、DN は以下に示すディリクレ核である：

ディリクレ核は正値ではなく 、実際そのノルムは発散する。

この性質はフーリエ級数の収束に関する議論で極めて重要な役割を果たす。L 1(T) 上の Dn のノルムは、C(T) 空間の周期的連続関数に作用する Dn 畳み込み作用素のノルムと一致し、また C(T) 上の線型汎関数 ƒ → (Snƒ)(0) のノルムに一致する。従って、この C(T) 上の線型汎関数の族は n → ∞ としたときに収束しない。

**フーリエ係数の大きさ**
応用においてフーリエ係数の大きさを知ることがしばしば重要になる。
関数 f が絶対連続であるなら、関数 f のみに依存する定数 K について、以下の関係が成り立つ。

がBounded variationであるなら、以下の関係が成り立つ。

なら以下の関係が成り立つ。

かつ  が  のModulus of continuityを持つならdate=February 2011、

が成り立つ。従って、f は α-Hölder conditionである（リプシッツ連続も参照）。


**各点収束するための条件**
正弦波（下）を基底とした重ね合わせによって作られたノコギリ波（上）；基底となる正弦波の波長 λ/k はノコギリ波の波長 λ より短い（k は 1 より大きい整数）。すべての基底はノコギリ波と同じ点に節を持つが、原理的にすべての基底は余計に節をつくってしまう。ノコギリ波の振動現象はギブズ現象と呼ばれている。

**その点で左微分と右微分を持つ場合**
点 x_0 を与えたとき、その点で関数のフーリエ級数が収束する十分条件については次がよく知られている；
f が周期 2 の区分的に C1 級の可積分関数であり、点x_0での左微分と右微分を持つとする。このときfのフーリエ級数は

に収束する（ここで ）。
つまりたとえ跳躍不連続点であっても、関数がそこで左微分と右微分を持つ場合、そのフーリエ級数はそこでの左極限値と右極限値のちょうど中間に収束する（ギブズ現象も参照）。

**ヘルダー条件**
ディリクレ＝ディニ条件 (Dirichlet–Dini criterion) 
が 2π-周期的であり、局所可積分かつ次の条件
:
を満たすなら、(Snƒ)(x0) は ℓ に収束する。
このことは、任意のヘルダー条件を満たす関数 f は、そのフーリエ級数が至るところで ƒ(x) に収束することを示している。
ヘルダー条件を満たすなら、そのフーリエ級数は一様収束することも知られている。

**その他**
 f が有界変動関数の場合、そのフーリエ級数は至るところで収束する（Dini testを参照）。- f が連続でそのフーリエ級数が絶対総和可能の場合、フーリエ級数は一様収束する。
フーリエ級数が各点収束しても一様収束しないような連続関数が存在する。
連続関数fのフーリエ級数が収束するならその極限関数Sはfに等しい。これはフーリエ級数の部分和のチェザロ平均がSに収束することとフェイェールの定理による。
しかしながら、連続関数のフーリエ級数が各点収束する必要はない。そのことは最も簡単には、L1(T) のディリクレ核が収束しないことと、バナフ＝シュタインハウスのUniform boundedness principleを用いることで証明できる。これはベールの範疇定理を使った典型的な存在証明であり、証明は非構成的である。このことは、与えられた x に対してフーリエ級数が収束するような連続関数の族について、その族が円上の連続関数がなすバナッハ空間において第一類であることを示す。
従って各点収束するフーリエ級数はある意味で非典型的 であり、多くの連続関数のフーリエ級数は与えられた点について収束しない。しかしながらCarleson's theoremによって、与えられた連続関数のフーリエ級数がほとんど至るところで収束することが示されている。

**一様収束するための条件**
次はDunham Jacksonによって最初に示された。
かつ  はModulus of continuity ω を持つとすると（また ω は非減少的であるとする）、フーリエ級数の部分和は元の関数に次のような早さで収束する。

ここで K は f にも p にも N にも依存しない定数である。
この定理は、例えば f が α-ヘルダー条件を満たす場合、

で押さえられることを示す。f が 2π 周期的であり math|0, 2π で絶対連続ならば、関数 f のフーリエ級数は f に一様収束する。ただし絶対収束するとは限らない。

**絶対収束するための条件**
関数 f が絶対収束するフーリエ級数を持つ場合、

この条件が成り立つ限り、 がすべての t について絶対収束すること、また  がひとつの t について絶対収束するだけであってもこの条件が成り立つことは明らかである。
すなわち、ある 1 点でそれが絶対収束するならば、すべての点で絶対収束する。言い換えれば、絶対収束性はどこ で部分和が絶対収束するかを問題としない。
フーリエ級数が絶対収束するすべての関数の族はバナッハ代数である（この代数における乗法は、単純な関数の積である）。また、これはノーバート・ウィーナーに因んでWiener algebraと呼ばれる。ウィーナーは f が絶対収束するフーリエ級数を持ち、かつそれがゼロにならない場合に 1/f が絶対収束するフーリエ級数を持つことを証明した。オリジナルのウィーナーの定理の証明は異なっており、バナッハ代数の性質を利用してそれを単純化したのはイズライル・ゲルファントである。最終的に短い初等的な証明を与えたのはDonald J. Newmanであり1975年の事である。
がα > 1/2 について α-ヘルダークラスに属するならば、
ヘルダー条件における定数 、α のみに依存する定数  について、


が成り立つ。また  はクレイン代数におけるノルムである。条件にあった 1/2 が基本的な役割を果たしていることに注意する。1/2 ヘルダー関数はウィーナー代数に属さないのである。またこの定理は、よく知られている α-ヘルダー関数のフーリエ係数の大きさの上限、 を改良することはできず、このときフーリエ級数は総和可能ではない。
が有界変動関数でありかつある α > 0 について α-ヘルダークラスに属するなら、関数 f はウィーナー代数に属する。

**ほとんど至る所収束**
連続関数のフーリエ級数がほとんど (数学)至る所収束するかという問題は、1920年代にニコライ・ルージンによって提起された。 この問題は1966年にレンナルト・カルレソンによって肯定的に解決された。 Carleson's theoremとして知られるようになった彼の結果は、L^2における任意の関数のフーリエ展開はほとんど至る所収束するというものである。 その後、label=リチャード・ハントがLp（1p 空間
*フーリエ変換
*フーリエ級数
*ディリクレ核
*畳み込み
*発散級数
*チェザロ和
*各点収束
*絶対収束
*一様収束
*概収束