Necessary conditions for the convergence of Lebesgue-Fourier series (Q1280302)

Let \(f\) be a \(2\pi\)-periodic Lebesgue integrable function on \((-\pi, \pi)\). The main theorem asserts that a necessary condition for the convergence of the Fourier series of \(f\) at the point \(x\) is that \[ \lim_{t \to 0+}{1\over t}\int_0^{\pi}{1\over 2}(f(x+u)+f(x-u))du \] exists. Another necessary condition, too complex to be easily quoted here, is obtained, as well. The two conditions are shown to be independent in the sense that neither of them implies the other.