フーリエ級数の収束

フーリエ級数の収束は純粋数学における調和解析の分野で研究される問題である。フーリエ級数は一般には収束するとは限らず、収束するための条件が存在する。

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

1. 前提
-----

区間 [0, 2π]}} で可積分な f}} を考える。f}} のフーリエ係数 }} は以下のように定められる。

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

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

このとき気になるであろう問題は次の事である：

関数 //SN//}} は f}} へ、またどの意味で収束するだろうか？　
収束を保証する f}} の条件は何だろうか？この記事ではこれらの問に関する議論を主として扱う。

先を続ける前にディリクレ核 }} について説明しておく。フーリエ係数 の公式を部分和 Ssub に対して適用すると、最終的に

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

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

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

2. フーリエ係数の大きさ
-------------

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

f}} が有界変動関数であるなら、以下の関係が成り立つ。

//f// ∈ //C   sup なら以下の関係が成り立つ。//

//f// ∈ //C   sup かつ //f//   sup が ωsub の連続率を持つならdate=February 2011}}、//

が成り立つ。従って、f}} は α}}-ヘルダークラスである。

3. 各点収束するための条件
--------------

3.1. その点で左微分と右微分を持つ場合
---------------------

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

//f// が周期 2 の区分的に //C//1 級の可積分関数であり、点x_0}}での左微分と右微分を持つとする。このときf}}のフーリエ級数は

に収束する。

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

3.2. ヘルダー条件
-----------

ディリクレ＝ディニ条件 }} f}} が 2π}}-周期的であり、局所可積分かつ次の条件

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

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

3.3. その他
--------

f}} が有界変動関数の場合、そのフーリエ級数は至るところで収束する。
f}} が連続でそのフーリエ級数が絶対総和可能の場合、フーリエ級数は一様収束する。フーリエ級数が各点収束しても一様収束しないような連続関数が存在する。

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

4. 一様収束するための条件
--------------

次はダナム・ジャクソンによって最初に示された。

//f// ∈ //C//   sup かつ //f//   sup は連続率 ω}} を持つとすると、フーリエ級数の部分和は元の関数に次のような早さで収束する。

ここで K}} は f}} にも p}} にも N}} にも依存しない定数である。

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

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

5. 絶対収束するための条件
--------------

関数 f}} が絶対収束するフーリエ級数を持つ場合、

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

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

f}} が//α// > 1/2}} について α}}-ヘルダークラスに属するならば、 ヘルダー条件における定数 !!}}//f//   !!}}sub、α}} のみに依存する定数 csub について、

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

f}} が有界変動関数でありかつある //α// > 0}} について α}}-ヘルダークラスに属するなら、関数 f}} はウィーナー代数に属する。

6. 脚注
-----

7. 参考文献
-------

7.1. 教科書
--------

author=Dunham Jackson.
author=Nina K. Bary. Authorized translation by Margaret F. Mullins.
author=Antoni Zygmund 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.//

7.2. 論文
-------

Paul du Bois-Reymond, //Ueber die Fourierschen Reihen//, Nachr. Kön. Ges. Wiss. Göttingen 21 , 571–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–Lebesgue divergente presque partout//, Fundamenta math. 4 , 324–328.
Andrey Kolmogorov, //Une série de Fourier–Lebesgue divergente partout//, C. R. Acad. Sci. Paris 183 , 1327–1328The 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  135–157.
Richard A. Hunt, //On the convergence of Fourier series//, Orthogonal Expansions and their Continuous Analogues , 235–255. Southern Illinois Univ. Press, Carbondale, Ill.
Charles Louis Fefferman, //Pointwise convergence of Fourier series//, Ann. of Math. 98 , 551–571.
Michael Lacey and Christoph Thiele, //A proof of boundedness of the Carleson operator//, Math. Res. Lett. 7:4 , 361–370.
Ole G. Jørsboe and Leif Mejlbro, //The Carleson–Hunt theorem on Fourier series//. Lecture Notes in Mathematics 911, Springer-Verlag, Berlin-New York, 1982. ISBN 3-540-11198-0This 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 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 , 264–265.
Jean-Pierre Kahane and Yitzhak Katznelson, //Sur les ensembles de divergence des séries trigonométriques//, Studia Math. 26 , 305–306In 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 , 693–697.
Jean-Pierre Kahane, //Some random series of functions//, second edition. Cambridge University Press, 1993. ISBN 0-521-45602-9The Konyagin paper proves the divergence result discussed above. A simpler proof that gives only log   log   //n// can be found in Kahane's book.

8. 関連項目
-------

L   p}} 空間
フーリエ変換
フーリエ級数
ディリクレ核
畳み込み
発散級数
チェザロ和
各点収束
絶対収束
一様収束
概収束