View source for Carleson's theorem

{{Short description|1966 result in mathematical analysis}}
{{Distinguish|Carlson's theorem}}
'''Carleson's theorem''' is a fundamental result in [[mathematical analysis]] establishing the [[pointwise]] ([[Lebesgue measure|Lebesgue]]) [[almost everywhere convergence]] of [[Fourier series]] of [[Lp space|{{math|''L''<sup>2</sup>}} functions]], proved by {{harvs|txt|authorlink=Lennart Carleson|first=Lennart |last=Carleson|year= 1966}}.  The name is also often used to refer to the extension of the result by {{harvs|txt|authorlink=Richard Hunt (mathematician)|first=Richard|last= Hunt|year=1968}} to {{math|''L''<sup>''p''</sup>}} functions for {{math|''p'' ∈ {{open-closed|1, ∞}}}} (also known as the ''Carleson&ndash;Hunt theorem'') and the analogous results for pointwise almost everywhere convergence of [[Fourier integral]]s, which can be shown to be equivalent by transference methods.

==Statement of the theorem==
The result, as extended by Hunt, can be formally stated as follows:

{{block indent | em = 1.5 | text = Let {{math|''f''}} be an {{math|''L''<sup>''p''</sup>}} [[periodic function]] for some {{math|''p'' &isin; {{open-closed|1, ∞}}}}, with [[Fourier coefficient]]s <math>\hat{f}(n)</math>.  Then <math display="block">\lim_{N \to \infty} \sum_{|n| \leq N} \hat{f}(n) e^{inx} = f(x)</math> for almost every&nbsp;{{mvar|x}}.}}

The analogous result for Fourier integrals is:

{{block indent | em = 1.5 | text = Let {{math|''f'' &isin; ''L''<sup>''p''</sup>('''R''')}} for some {{math|''p'' &isin; {{open-closed|1, 2}}}} have [[Fourier transform]] <math>\hat{f}(\xi)</math>.  Then <math display="block">\lim_{R \to \infty} \int_{|\xi| \leq R} \hat{f}(\xi) e^{2 \pi i x \xi} \, d\xi = f(x)</math> for [[almost every]] {{math|''x'' &isin; '''R'''}}.}}

==History==
A fundamental question about Fourier series, asked by Fourier himself at the beginning of the 19th century, is whether the Fourier series of a continuous function converges [[pointwise convergence|pointwise]] to the function.

By strengthening the continuity assumption slightly one can easily show that the Fourier series converges everywhere. For example, if a function has [[bounded variation]] then its Fourier series converges everywhere to the local average of the function. In particular, if a function is continuously differentiable then its Fourier series converges to it everywhere. This was proven by Dirichlet, who expressed his belief that he would soon be able to extend his result to cover all continuous functions. Another way to obtain convergence everywhere is to change the summation method. For example, [[Fejér's theorem]] shows that if one replaces ordinary summation by [[Cesàro summation]] then the Fourier series of any continuous function converges uniformly to the function. Further, it is easy to show that the Fourier series of any {{math|''L''<sup>2</sup>}} function converges to it in {{math|''L''<sup>2</sup>}} norm.

After Dirichlet's result, several experts, including Dirichlet, Riemann, Weierstrass and Dedekind,  stated their belief  that the Fourier series of any continuous function would converge everywhere. This was disproved by [[Paul du Bois-Reymond]], who showed in 1876 that there is  [[Uniform boundedness theorem#Example: pointwise convergence of Fourier series|a continuous function whose Fourier series diverges at one point]].

The almost-everywhere convergence of Fourier series for {{math|''L''<sup>2</sup>}} functions was postulated by {{harvs|txt|authorlink=Nikolai Nikolaevich Luzin|first=N. N.|last=Luzin|year=1915}}, and the problem was  known as ''Luzin's conjecture'' (up until its proof by {{harvtxt|Carleson|1966}}). {{harvtxt|Kolmogorov|1923}} showed that the analogue of Carleson's result for {{math|''L''<sup>1</sup>}} is false by finding such a function whose Fourier series diverges almost everywhere (improved slightly in 1926 to diverging everywhere). Before Carleson's result, the best known estimate for the partial sums {{math|''s''<sub>''n''</sub>}} of the Fourier series of a function in {{math|''L''<sup>''p''</sup>}} was
<math display="block"> s_n(x)=o( \log (n)^{1/p})\text{ almost everywhere}. </math>
In other words, the function {{math|''s<sub>n</sub>(x)''}} can still grow to infinity at any given point ''x'' as one takes more and more terms of the Fourier series into account, though the growth must be quite slow (slower than the logarithm of {{math|''n''}} to a small power). This result was
proved by Kolmogorov–Seliverstov–Plessner for {{math|1=''p'' = 2}}, by [[G. H. Hardy]] for {{math|1=''p'' = 1}}, and by Littlewood–Paley for {{math|''p'' > 1}} {{harv|Zygmund|2002}}. This result had not been improved for several decades, leading some experts to suspect that it was the best possible and that Luzin's conjecture was false. Kolmogorov's counterexample in {{math|''L''<sup>1</sup>}} was unbounded in any interval, but it was thought to be only a matter of time before a continuous counterexample was found. Carleson said in an interview with {{harvtxt|Raussen|Skau|2007}} that he started by trying to find a continuous counterexample and at one point thought he had a method that would construct one, but realized eventually that his approach could not work. He then tried instead to prove Luzin's conjecture since the failure of his counterexample convinced him that it was probably true.

Carleson's original proof is exceptionally hard to read, and although several authors have simplified the argument there are still no easy proofs of his theorem.
Expositions of the original paper {{harvtxt|Carleson|1966}} include {{harvtxt|Kahane|1995}}, {{harvtxt|Mozzochi|1971}}, {{harvtxt|Jørsboe|Mejlbro|1982}}, and {{harvtxt|Arias de Reyna|2002}}.
{{harvs|txt|authorlink=Charles  Fefferman|last=Fefferman|first=Charles|year=1973}} published a new proof of Hunt's extension which proceeded by bounding a [[maximal operator]]. This, in turn, inspired a much simplified proof of the ''L''<sup>2</sup> result by {{harvs|txt|first1=Michael |last1=Lacey|author1-link=Michael Lacey (mathematician)|first2=Christoph|last2= Thiele|year=2000}}, explained in more detail in {{harvtxt|Lacey|2004}}. The books {{harvtxt|Fremlin|2003}} and {{harvtxt|Grafakos|2014}} also give  proofs of Carleson's theorem.

{{harvtxt|Katznelson|1966}} showed that for any set of measure 0 there is a continuous periodic function whose Fourier series diverges at all points of the set (and possibly elsewhere). When combined with  Carleson's theorem this shows that there is a continuous function whose Fourier series diverges at all points of a given set of reals if and only if the set has measure 0.

The extension of Carleson's theorem  to {{math|''L''<sup>''p''</sup>}} for {{math|''p'' > 1}} was stated to be a "rather obvious" extension of the case {{math|1=''p'' = 2}} in Carleson's paper, and was proved by {{harvtxt|Hunt|1968}}. Carleson's  result was improved further by
{{harvtxt|Sjölin|1971}} to the space {{math|''L''log<sub>+</sub>(''L'')log<sub>+</sub>log<sub>+</sub>(''L'')}} and by {{harvtxt|Antonov|1996}} to  the space {{math|''L''log<sub>+</sub>(''L'')log<sub>+</sub>log<sub>+</sub>log<sub>+</sub>(''L'')}}. (Here {{math|log<sub>+</sub>(''L'')}} is {{math|log(''L'')}} if {{math|''L'' > 1}} and {{math|0}} otherwise, and if {{math|''φ''}} is a function then {{math|''φ''(''L'')}} stands for the space of functions {{math|''f''}} such that {{math|''φ''({{abs|''f''(''x'')}})}} is integrable.)

{{harvtxt|Konyagin|2000}} improved Kolmogorov's counterexample by finding  functions with everywhere-divergent Fourier series in a space slightly larger than {{math|''L''log<sub>+</sub>(''L'')<sup>1/2</sup>}}.
One can ask if there is in some sense a largest natural space of functions whose Fourier series converge almost everywhere. The simplest candidate for such a space that is consistent with the results of Antonov and Konyagin is {{math|''L''log<sub>+</sub>(''L'')}}.

The extension of Carleson's theorem to Fourier series and integrals in several variables is made more complicated as there are many different ways in which one can sum the coefficients; for example, one can sum over increasing balls, or increasing rectangles.  Convergence of rectangular partial sums (and indeed general polygonal partial sums) follows from the one-dimensional case, but the spherical summation problem is still open for {{math|''L''<sup>2</sup>}}.

==The Carleson operator==
The Carleson operator {{math|''C''}} is the non-linear operator defined by
<math display="block"> Cf(x) = \sup_N\left|\int_{-N}^N \hat f(y)e^{2\pi i xy} \, dy\right|</math>

It is relatively easy to show that the Carleson&ndash;Hunt theorem follows from the [[bounded operator|boundedness]] of the Carleson operator from {{math|''L''<sup>''p''</sup>('''R''')}} to itself  for {{math|1 < ''p'' < ∞}}.
However, proving that it is bounded is difficult, and this was actually what Carleson proved.

==See also==
*[[Convergence of Fourier series]]

==References==
*{{Citation | last1=Antonov | first1=N. Yu. | mr=1407066 | year=1996 | journal=East Journal on Approximations | volume=2 | issue=2 | title=Convergence of Fourier series | pages=187–196}}
*{{Citation | last1=Arias de Reyna | first1=Juan | title=Pointwise convergence of Fourier series | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-43270-8 | doi=10.1007/b83346 | mr=1906800 | year=2002 | volume=1785}}
*{{Citation | last1=Carleson | first1=Lennart | title=On convergence and growth of partial sums of Fourier series | doi=10.1007/BF02392815 | mr=0199631 | year=1966 | journal=[[Acta Mathematica]] | volume=116 | issue=1 | pages=135–157| doi-access=free }}
*{{Citation | doi=10.2307/1970917 | last1=Fefferman | first1=Charles | author1-link=Charles Fefferman | title=Pointwise convergence of Fourier series | mr=0340926 | year=1973 | journal=[[Annals of Mathematics]] |series=Second Series | volume=98 | pages=551–571 | issue=3| jstor=1970917 }}
*{{Citation | last1=Fremlin | first1=David H. | title=Measure theory | url=http://www.essex.ac.uk/maths/people/fremlin/mt.htm | publisher=Torres Fremlin, Colchester | isbn=978-0-9538129-2-9 | mr=2462280 | year=2003 | volume=2 | access-date=2010-09-09 | archive-url=https://web.archive.org/web/20101101220236/http://www.essex.ac.uk/maths/people/fremlin/mt.htm# | archive-date=2010-11-01 | url-status=dead }}
<!-- *{{cite book | last1=Grafakos | first1=Loukas | title=Classical Fourier analysis | publisher=[[Springer-Verlag]] | location=New York | edition=Third | series=Graduate Texts in Mathematics | isbn=978-1-4939-1193-6 | doi=10.1007/978-1-4939-1194-3 | mr=3243734 | year=2014 | volume=249}} -->
*{{cite book | last1=Grafakos | first1=Loukas | title=Modern Fourier analysis | publisher=[[Springer-Verlag]] | location=New York | edition=Third | series=Graduate Texts in Mathematics | isbn=978-1-4939-1229-2 | doi=10.1007/978-1-4939-1230-8 | mr=3243741 | year=2014 | volume=250}}
*{{Citation | last1=Hunt | first1=Richard A. | title=Orthogonal Expansions and their Continuous Analogues Proc. Conf., Edwardsville, Ill., 1967 | publisher=Southern Illinois Univ. Press | location=Carbondale, Ill. | mr=0238019 | year=1968 | chapter=On the convergence of Fourier series | pages=235–255}}
*{{Citation | last1=Jørsboe | first1=Ole G. | last2=Mejlbro | first2=Leif | title=The Carleson-Hunt theorem on Fourier series | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-11198-6 | doi=10.1007/BFb0094072 | mr=653477 | year=1982 | volume=911}}
*{{Citation | last1=Kahane | first1=Jean-Pierre | author1-link=Jean-Pierre Kahane | title=Séminaire Bourbaki | publisher=[[Société Mathématique de France]] | location=Paris | mr=1610981 | year=1995 | volume=9 | chapter=Sommes partielles des séries de Fourier (d'après L. Carleson) | chapter-url=http://www.numdam.org/item?id=SB_1964-1966__9__491_0 | pages=491–507}}
*{{Citation | last1=Katznelson | first1=Yitzhak | title=Sur les ensembles de divergence des séries trigonométriques | url=http://matwbn.icm.edu.pl/tresc.php?wyd=2&tom=26 | mr=0199632 | year=1966 | journal= Studia Mathematica | volume=26 | issue=3 | pages=301–304| doi=10.4064/sm-26-3-305-306 | doi-access=free }}
*{{Citation | last1=Kolmogorov | first1=Andrey Nikolaevich | author1-link=Andrey Nikolaevich Kolmogorov | title= Une série de Fourier–Lebesgue divergente presque partout | url=https://eudml.org/doc/213617 | year=1923 | journal=Fundamenta Mathematicae | volume=4 | pages= 324–328| doi=10.4064/fm-4-1-324-328 | doi-access=free }}
*{{Citation | last1=Konyagin | first1=S. V. | title=On the divergence everywhere of trigonometric Fourier series | mr=1753494 | year=2000 | journal=Rossiĭskaya Akademiya Nauk. Matematicheskii Sbornik | volume=191 | issue=1 | pages=103–126 | doi=10.1070/sm2000v191n01abeh000449| bibcode=2000SbMat.191...97K | s2cid=250745433 }}
*{{Citation | last1=Lacey | first1=Michael T. | title=Carleson's theorem: proof, complements, variations | arxiv=math/0307008 | mr=2091007 | year=2004 | journal=Publicacions Matemàtiques | volume=48 | issue=2 | pages=251–307 | doi=10.5565/publmat_48204_01| s2cid=16121272 }}
*{{Citation|last1=Lacey |first1=Michael |last2=Thiele |first2=Christoph |title=A proof of boundedness of the Carleson operator |mr=1783613 |year=2000 |journal=Mathematical Research Letters |volume=7 |issue=4 |pages=361–370 |doi=10.4310/mrl.2000.v7.n4.a1 |doi-access=free }}
*{{citation|first=N.N. |last=Luzin|title=The integral and trigonometric series (In Russian)|place= Moscow-Leningrad  |year=1915}} (Thesis; also: Collected Works, Vol. 1, Moscow, 1953, pp.&nbsp;48–212)
*{{Citation | last1=Mozzochi | first1=Charles J. | title=On the pointwise convergence of Fourier series | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Lecture Notes in Mathematics, Vol. 199 | doi=10.1007/BFb0061167 | mr=0445205 | year=1971 | volume=199| isbn=978-3-540-05475-7 }} "This monograph is a detailed and essentially self-contained treatment of the work of Carleson and Hunt."
*{{Citation | last1=Raussen | first1=Martin | last2=Skau | first2=Christian | title=Interview with Abel Prize recipient Lennart Carleson | url=https://www.ams.org/notices/200702/comm-carleson.pdf  | mr=2285126 | year=2007 | journal=[[Notices of the American Mathematical Society]] | volume=54 | issue=2 | pages=223–229}}
*{{Citation | last1=Sjölin | first1=Per | title=Convergence almost everywhere of certain singular integrals and multiple Fourier series | doi=10.1007/BF02383638 | mr=0336222 | year=1971 | journal=Arkiv för Matematik  | volume=9 | issue=1–2 | pages=65–90| bibcode=1971ArM.....9...65S | doi-access=free }}
*{{eom|title=Carleson theorem|first=S.A. |last=Telyakovskii}}
*{{Citation | last1=Zygmund | first1=A. | title=Trigonometric Series. Vol. I, II | orig-year=1935 | title-link=Trigonometric Series | publisher=[[Cambridge University Press]] | edition=3rd | series=Cambridge Mathematical Library | isbn=978-0-521-89053-3 | mr=1963498 | year=2002}}

[[Category:Theorems in Fourier analysis]]