Does the Fourier series of a continuous function on $\mathbb{T} = [-\pi, \pi]$ converge pointwise or uniformly almost everywhere?

570 Views Asked by At

At the end of a chapter on a book on Harmonic Analysis, the author intentionally glosses over many key results in Fourier Series Analysis, concluding:

enter image description here enter image description here

Question: By "convergence" does the author mean "pointwise convergence"? That is, if a function is continuous, does its Fourier series converge pointwise or uniformly almost everywhere?

1

There are 1 best solutions below

0
On BEST ANSWER

It means "pointwise, almost everywhere".

The concept of "uniformly almost everywhere" is hardly ever used, and here is why. First, uniform convergence is only practical for continuous functions, such as the partial sums of a Fourier series. Second, suppose there is a set of measure zero $E$ such that continuous functions $\{f_k\}$ converge uniformly on $E^c$. This implies the Cauchy property $$ \sup_{E^c}|f_k-f_j| \to 0\quad \text{as } k,j\to\infty $$ But sets of measure zero have empty interior, which together with continuity yield $$ \sup |f_k-f_j| = \sup_{E^c}|f_k-f_j| $$ and thus we get uniform convergence everywhere.


Aside: there is a useful notion of convergence "uniformly, except on a set of arbitrarily small measure", which appears in Egorov's theorem. But that is not the same as "almost everywhere".