フーリエ級数の収束

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

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

前提 区間 で可積分な を考える。 のフーリエ係数 は以下のように定められる。

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

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

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

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

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

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

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

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

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

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

かつ が の連続率を持つなら、

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

各点収束するための条件

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

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

f が周期 2 の可積分関数で、点 での左微分と右微分を持つとする。このときのフーリエ級数は

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

ヘルダー条件

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

を満たすなら、 は に収束する。

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

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

連続関数における発散の具体例 連続関数のフーリエ級数が点 0 で発散する具体的な例を構成することができる。例えば、すべての に対して次のように定義される偶関数かつ -周期関数 を考えるTeschl Example 8.6 or ：

この関数は一様に収束する項の和であるため連続である。この関数のフーリエ係数 を詳細に解析すると、 におけるフーリエ級数の部分和は、 番目の「波」においておおよそ の大きさに達し、 で有界ではないことが示される。

その他

が有界変動関数の場合、そのフーリエ級数は至るところで収束する（ディリクレ条件 (フーリエ級数)）。 が連続でそのフーリエ級数が絶対総和可能の場合、フーリエ級数は一様収束する。

フーリエ級数が各点収束しても一様収束しないような連続関数が存在するAntoni Zygmund, Trigonometric Series, vol. 1, Chapter 8, Theorem 1.13, p. 300 参照。。

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

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

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

かつ は連続率 を持つとすると（また は非減少的であるとする）、フーリエ級数の部分和は元の関数に次のような早さで収束するJackson (1930), p21ff.。

ここで は にも にも にも依存しない定数である。

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

で押さえられることを示す。 が 周期的であり で絶対連続ならば、関数 のフーリエ級数は に一様収束する。ただし絶対収束するとは限らないStromberg (1981), Exercise 6 (d) on p. 519 and Exercise 7 (c) on p. 520.。

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

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

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

が について -ヘルダークラスに属するならば、 ヘルダー条件における定数 、 のみに依存する定数 について、

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

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

ほとんど至る所収束 連続関数のフーリエ級数がほとんど (数学)至る所収束するかという問題は、1920年代にニコライ・ルージンによって提起された。 この問題は1966年にレンナルト・カルレソンによって肯定的に解決された。 として知られるようになった彼の結果は、L^2における任意の関数のフーリエ展開はほとんど至る所収束するというものである。 その後、がLp（1<p<∞） のFourier 級数はほとんど至るところで収束することを示した (1967)。

これとは逆に、アンドレイ・コルモゴロフは、19歳の学生のとき、最初の科学的研究で、L^1においてフーリエ級数がほとんど至る所発散する関数の例を構成した（後に、全ての点で発散するように改良された(1926)）。

Jean-Pierre KahaneとYitzhak Katznelsonは、測度0の任意の集合Nに対して、ƒのフーリエ級数がNの上で収束しないような連続関数ƒが存在することを証明した。

ノルム収束 リース＝フィッシャーの定理によれば、 が二乗可積分（）であれば、フーリエ級数の部分和 は ノルムに関して に収束する。すなわち、 が成り立つ。逆もまた真であり、この極限が 0 であれば は に属さなければならない。

より一般に、 においては、 ならば は ノルムで に収束するTeschl, Theorem 8.4。しかし、 および の場合にはこの収束は一般には成立しないY. Katznelson, Chapter 2。

総和可能性 通常の意味で収束しない級数であっても、チェザロ平均などの総和法を用いることで、より良い収束性を得られる場合がある。部分和の平均（フェイェール和）を以下のように定義する：

この はフェイェール核 との畳み込み として表される。ディリクレ核と異なり、フェイェール核は正値核（）である。フェイェールの定理は、連続関数 に対してこの部分和の列が に一様収束することを述べている。これにより、以下の優れた性質が導かれる：

が点 で連続であれば、 のフーリエ級数は において に総和可能である。 任意の可積分関数 に対して、 は ノルムで に収束する。 ギブズ現象が発生しない。

増大度 ディリクレ核の ノルムの増大度は対数的である：

この評価は、前述の結果の定量的バージョンを導く。任意の連続関数 と任意の点 に対して、 が成り立つ。一方で、 より遅い任意の増大度 に対して、 となるような連続関数 が存在する。

多次元 2次元以上の多次元におけるフーリエ級数の収束を考える場合、部分和の定義（総和の順序）を指定する必要がある。

正方形部分和: 円形部分和:

これら二つの定義の差は著しい。例えば、正方形部分和に対応するディリクレ核のノルムは のオーダーであるが、円形部分和の場合は のオーダーとなる。1次元で成立する多くの結果が多次元では未解決、あるいは偽となる。特に、円形部分和におけるカルレソンの定理の対応物は、現在も未解決の問題である。正方形部分和（およびより一般的な多角形部分和）については、1970年頃にチャールズ・フェフェマンによって、ほとんど至る所収束することが確立された。

脚注

参考文献

教科書 . . 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–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 (1923), 324–328. Andrey Kolmogorov, Une série de Fourier–Lebesgue divergente partout, C. R. Acad. Sci. Paris 183 (1926), 1327–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–157. Richard A. Hunt, On the convergence of Fourier series, Orthogonal Expansions and their Continuous Analogues (Proc. Conf., Edwardsville, Ill., 1967), 235–255. Southern Illinois Univ. Press, Carbondale, Ill. Charles Louis Fefferman, Pointwise convergence of Fourier series, Ann. of Math. 98 (1973), 551–571. Michael Lacey and Christoph Thiele, A proof of boundedness of the Carleson operator, Math. Res. Lett. 7:4 (2000), 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-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 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–265. Jean-Pierre Kahane and Yitzhak Katznelson, Sur les ensembles de divergence des séries trigonométriques, Studia Math. 26 (1966), 305–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–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 divergence result discussed above. A simpler proof that gives only log log n can be found in Kahane's book.

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