Math 2.0

Harmonic analysis on Euclidean spaces Convergence of Fourier series Counterexample

Kolmogorov's everywhere divergent Fourier series

Builds on Lp spaceFourier seriesFourier coefficientConvergence of Fourier series

Counterexample

Let 𝕋=ℝ/2πℤ\mathbb{T} = \R / 2\pi\Z and let L1(𝕋)L^1(\mathbb{T}) be the space of integrable 2π2\pi-periodic functions. For f∈L1(𝕋)f \in L^1(\mathbb{T}) let SNf(x)=∑∣k∣≤Nf^(k)eikxS_N f(x) = \sum_{\abs{k} \le N} \hat f(k) e^{ikx} be the partial sums of its Fourier series, where f^(k)\hat f(k) are the Fourier coefficients. Kolmogorov constructed a function f∈L1(𝕋)f \in L^1(\mathbb{T}) such that the sequence SNf(x)S_N f(x) diverges for every x∈ℝx \in \R. So integrability alone gives no convergence of the Fourier series at any point.

Remarks

Kolmogorov first gave, in 1923, an integrable function whose Fourier series diverges almost everywhere, and in 1926 one whose Fourier series diverges everywhere. The construction adds up a series of carefully chosen trigonometric polynomials. Each has small L1L^1 norm, but some of its partial sums are very large on most of the circle. The coefficients f^(k)\hat f(k) still tend to 00, by the Riemann–Lebesgue lemma, so the divergence is not caused by large terms. The example shows that Carleson's theorem and Hunt's extension, which give convergence almost everywhere for f∈Lp(𝕋)f \in L^p(\mathbb{T}) with 1<p<∞1 < p < \infty, have no analogue for p=1p = 1.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convergence of Fourier series concept
  2. Fourier coefficient concept
  3. Fourier series concept
  4. Lp space concept
  5. Kolmogorov's everywhere divergent Fourier series counterexample

Further reading

  1. Web https://en.wikipedia.org/wiki/Convergence_of_Fourier_series
About this page
Tag25V2MHPHZ7
URIm2://25V2MHPHZ7
Kindcounterexample
WritingW0 stub
MSC42A20, 42A16
UsesLp space, Fourier series, Fourier coefficient, Convergence of Fourier series

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)
  • edge refutes or not_instance_of out (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.