Family 075Real and complex analysisLeanNot yet digested
The Fourier-convergence conjecture
Proves that the ordinary symmetric Fourier partial sums of every complex-valued function in converge almost everywhere along the full sequence. This resolves the classical sufficiency conjecture at the scale.
Manuscripts in this family · 1
Almost-everywhere Fourier convergence in L log L
Sep 23, 2026·paper.pdfLean
We prove that the ordinary symmetric Fourier partial sums of every complex-valued function in on the circle converge almost everywhere to the function along the full sequence. This establishes the classical sufficiency conjecture.