フーリエ級数の収束

**[[フーリエ級数]]の[[極限#数列の収束|収束]]**（フーリエきゅうすうのしゅうそく）は純粋数学における調和解析の分野で研究される問題である。フーリエ級数は一般には収束するとは限らず、収束するための条件が存在する。

収束性の判断には各点収束、一様収束、絶対収束、空間、総和法、チェザロ和の知識を要する。

## 前提
区間  で可積分な  を考える。 の**フーリエ係数**  \widehat{f}(n) は以下のように定められる。

:\widehat{f}(n)=\frac{1}{2\pi}\int_0^{2\pi}f(t)e^{-int}\,dt, \quad n \in \mathbf{Z}.

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

:f\sim \sum_n \widehat{f}(n)e^{int}.

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

:S_N(f;t)=\sum_{n=-N}^N \widehat{f}(n)e^{int}.

このとき気になるであろう問題は次の事である：
*関数  は  へ、またどの意味で収束するだろうか？　
*収束を保証する  の条件は何だろうか？
この記事ではこれらの問に関する議論を主として扱う。

先を続ける前に**[[ディリクレ核]]**  について説明しておく。フーリエ係数 \widehat{f}(n) の公式を部分和  に対して適用すると、最終的に

:S_N(f)=f * D_N\,

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

:D_n(t)=\frac{\sin((n+\frac{1}{2})t)}{\sin(t/2)}.

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

:\int |D_n(t)|\,dt \to \infty 

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

## フーリエ係数の大きさ
応用においてフーリエ係数の大きさを知ることがしばしば重要になる。
関数  が絶対連続であるなら、関数  のみに依存する定数  について、以下の関係が成り立つ。
:\left|\widehat f(n)\right|\le {K \over |n|}.

 がであるなら、以下の関係が成り立つ。
:\left|\widehat f(n)\right|\le {{\rm var}(f)\over 2\pi|n|}.

 なら以下の関係が成り立つ。
:\left|\widehat{f}(n)\right|\le {\| f^{(p)}\|_{L_1}\over |n|^p}.

 かつ  が  のを持つなら、
:\left|\widehat{f}(n)\right|\le {\omega(2\pi/n)\over |n|^p} 

が成り立つ。従って、 は -である（リプシッツ連続も参照）。
:\left|\widehat{f}(n)\right|\le {K\over |n|^\alpha}.

## 各点収束するための条件

### その点で左微分と右微分を持つ場合

点  を与えたとき、その点で関数のフーリエ級数が収束する十分条件については次がよく知られている；

*f* が周期 2 の区分的に ''C''<sup>1</sup> 級の可積分関数であり、点での左微分と右微分を持つとする。このときのフーリエ級数は
:\frac{1}{2}\left(f(x_0-0)+f(x_0+0)\right)
に収束する（ここで ）。

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

### ヘルダー条件

**ディリクレ＝ディニ条件**  
 が -周期的であり、局所可積分かつ次の条件
::\int_0^{\pi} \Bigl| \frac{f(x_0 + t) + f(x_0 - t)}2 - \ell \Bigr| \, \frac{\mathrm{d}t }{t} 
:を満たすなら、 は  に収束する。

このことは、任意のヘルダー条件を満たす関数  は、そのフーリエ級数が至るところで  に収束することを示している。

ヘルダー条件を満たすなら、そのフーリエ級数は一様収束することも知られている。

### その他

*  が有界変動関数の場合、そのフーリエ級数は至るところで収束する（を参照）。
*  が連続でそのフーリエ級数が絶対総和可能の場合、フーリエ級数は一様収束する。

フーリエ級数が各点収束しても一様収束しないような連続関数が存在する。

連続関数fのフーリエ級数が収束するならその極限関数Sはfに等しい。これはフーリエ級数の部分和のチェザロ平均がSに収束することとフェイェールの定理による。

しかしながら、連続関数のフーリエ級数が各点収束する必要はない。そのことは最も簡単には、 のディリクレ核が収束しないことと、バナフ＝シュタインハウスのを用いることで証明できる。これはベールの範疇定理を使った典型的な存在証明であり、証明は非構成的である。このことは、与えられた  に対してフーリエ級数が収束するような連続関数の族について、その族が円上の連続関数がなすバナッハ空間において第一類であることを示す。
従って各点収束するフーリエ級数はある意味で*非典型的* であり、多くの連続関数のフーリエ級数は与えられた点について収束しない。しかしながらによって、与えられた連続関数のフーリエ級数がほとんど至るところで収束することが示されている。

## 一様収束するための条件
次はによって最初に示された。

 かつ  は  を持つとすると（また  は非減少的であるとする）、フーリエ級数の部分和は元の関数に次のような早さで収束する。
:|f(x)-(S_Nf)(x)|\le K {\ln N \over N^p}\omega(2\pi/N).
ここで  は  にも  にも  にも依存しない定数である。

この定理は、例えば  が -ヘルダー条件を満たす場合、

:|f(x)-(S_Nf)(x)|\le K {\ln N\over N^\alpha}

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

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

:\|f\|_A:=\sum_{n=-\infty}^\infty |\widehat{f}(n)|

この条件が成り立つ限り、 がすべての  について絶対収束すること、また  がひとつの  について絶対収束するだけであってもこの条件が成り立つことは明らかである。
すなわち、ある 1 点でそれが絶対収束するならば、すべての点で絶対収束する。言い換えれば、絶対収束性は*どこ* で部分和が絶対収束するかを問題としない。

フーリエ級数が絶対収束するすべての関数の族はバナッハ代数である（この代数における乗法は、単純な関数の積である）。また、これはノーバート・ウィーナーに因んでと呼ばれる。ウィーナーは  が絶対収束するフーリエ級数を持ち、かつそれがゼロにならない場合に  が絶対収束するフーリエ級数を持つことを証明した。オリジナルのウィーナーの定理の証明は異なっており、バナッハ代数の性質を利用してそれを単純化したのはイズライル・ゲルファントである。最終的に短い初等的な証明を与えたのはであり1975年の事である。

 が について -ヘルダークラスに属するならば、
ヘルダー条件における定数 、 のみに依存する定数  について、
:\|f\|_A\le c_\alpha \|f\|_{{\rm Lip}_\alpha},
:\|f\|_K:=\sum_{n=-\infty}^{+\infty} |n| |\widehat{f}(n)|^2\le  c_\alpha \|f\|^2_=\infty.

It is not known whether this example is best possible. The only bound from the other direction known is log *n*.

## 多次元

Upon examining the equivalent problem in more than one dimension, it is necessary to specify the precise order of summation one uses. For example, in two dimensions, one may define

:S_N(f;t_1,t_2)=\sum_{|n_1|\leq N,|n_2|\leq N}\widehat{f}(n_1,n_2)e^{i(n_1 t_1+n_2 t_2)}

which are known as "square partial sums". Replacing the sum above with

:\sum_{n_1^2+n_2^2\leq N^2}

lead to "circular partial sums". The difference between these two definitions is quite notable. For example, the norm of the corresponding Dirichlet kernel for square partial sums is of the order of \log^2 N while for circular partial sums it is of the order of \sqrt{N}.

Many of the results true for one dimension are wrong or unknown in multiple dimensions. In particular, the equivalent of Carleson's theorem is still open for circular partial sums. Almost everywhere convergence of "square partial sums" (as well as more general polygonal partial sums) in multiple dimensions was established around 1970 by Charles Fefferman.
-->

## 脚注

## 参考文献

### 教科書
*.
*. Authorized translation by Margaret F. Mullins.
* With a foreword by Robert A. Fefferman. Cambridge Mathematical Library. 
* Yitzhak Katznelson, *An introduction to harmonic analysis*, Third edition. Cambridge University Press, Cambridge, 2004. ISBN 0-521-54359-2
* Karl R. Stromberg, "Introduction to classical analysis", Wadsworth International Group, 1981. ISBN 0-534-98012-0
:*The Katznelson book is the one using the most modern terminology and style of the three. The original publishing dates are: Zygmund in 1935, Bari in 1961 and Katznelson in 1968. Zygmund's book was greatly expanded in its second publishing in 1959, however.*

### 論文
* Paul du Bois-Reymond, *Ueber die Fourierschen Reihen*, Nachr. Kön. Ges. Wiss. Göttingen **21** (1873), 571&ndash;582.
:This is the first proof that the Fourier series of a continuous function might diverge. In German
* Andrey Kolmogorov, *Une série de Fourier&ndash;Lebesgue divergente presque partout*, Fundamenta math. **4** (1923), 324&ndash;328.
* Andrey Kolmogorov, *Une série de Fourier&ndash;Lebesgue divergente partout*, C. R. Acad. Sci. Paris **183** (1926), 1327&ndash;1328
:The first is a construction of an integrable function whose Fourier series diverges almost everywhere. The second is a strengthening to divergence everywhere. In French.
* Lennart Carleson, *On convergence and growth of partial sums of Fourier series*, Acta Math. **116** (1966) 135&ndash;157.
* Richard A. Hunt, *On the convergence of Fourier series*, Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Edwardsville, Ill., 1967), 235&ndash;255. Southern Illinois Univ. Press, Carbondale, Ill.
* Charles Louis Fefferman, *Pointwise convergence of Fourier series*, Ann. of Math. **98** (1973), 551&ndash;571.
* Michael Lacey and Christoph Thiele, *A proof of boundedness of the Carleson operator*, Math. Res. Lett. **7:4** (2000), 361&ndash;370.
* Ole G. Jørsboe and Leif Mejlbro, *The Carleson&ndash;Hunt theorem on Fourier series*. Lecture Notes in Mathematics 911, Springer-Verlag, Berlin-New York, 1982. ISBN 3-540-11198-0
:This is the original paper of Carleson, where he proves that the Fourier expansion of any continuous function converges almost everywhere; the paper of Hunt where he generalizes it to L^p spaces; two attempts at simplifying the proof; and a book that gives a self contained exposition of it.
* Dunham Jackson, *Fourier Series and Orthogonal Polynomials*, 1963
* D. J. Newman,  *A simple proof of Wiener's 1/f theorem*,  Proc. Amer. Math. Soc.  **48**  (1975), 264&ndash;265.
* Jean-Pierre Kahane and Yitzhak Katznelson, *Sur les ensembles de divergence des séries trigonométriques*, Studia Math. **26** (1966), 305&ndash;306
:In this paper the authors show that for any set of zero measure there exists a continuous function on the circle whose Fourier series diverges on that set. In French.
* Sergei Vladimirovich Konyagin, *On divergence of trigonometric Fourier series everywhere*, C. R. Acad. Sci. Paris **329** (1999), 693&ndash;697.
* Jean-Pierre Kahane, *Some random series of functions*, second edition. Cambridge University Press, 1993. ISBN 0-521-45602-9
:The Konyagin paper proves the \sqrt{\log n} divergence result discussed above. A simpler proof that gives only log&nbsp;log&nbsp;*n* can be found in Kahane's book.

## 関連項目
*空間
*フーリエ変換
*フーリエ級数
*ディリクレ核
*畳み込み
*発散級数
*チェザロ和
*各点収束
*絶対収束
*一様収束
*概収束