11

Let $f$ satisfies $$|f(x+u) - f(x)|\leq L|u|^{\alpha}$$

for some constants $L$ and $\alpha$. If $\alpha = 1$ then $f$ is called Lipschitz continuous, and if $0 < \alpha < 1$ then $f$ is Hölder continuous. Show that if $f$ is $2\pi$-periodic and Lipschitz or Hölder continuous, then its Fourier series converges to $f(x)$ for each $x$.

Willie Wong
  • 73,139
lio Al
  • 211

2 Answers2

8

Let $$ D_N(t)=\frac{1}{2\,\pi}\,\frac{\sin(N+1/2)t}{\sin(t/2)} $$ be the Dirichlet kernel, and let $$ S_N(f;x)=\sum_{k=-N}^N\hat f(k)e^{ikx}=\int_{-\pi}^{\pi}D_N(t)f(x-t)\,dt $$ be the $N$-th partial sum of the Fourier series of $f$. Then, for all $x\in[-\pi,\pi]$ $$ S_N(f,x)-f(x)=\int_{-\pi}^{\pi}D_N(t)(f(x-t)-f(x))\,dt=\int_{-\pi}^{\pi}\sin\frac{(2\,N+1)t}{2}h(t)\,dt $$ where $$ h(t)=\frac{f(x-t)-f(x)}{\sin(t/2)}\;. $$ Since $f$ is Hölder continuous of order $\alpha$, it follows that $|h(t)|\le Ct^{-1+\alpha}$ for some constant $C>0$. In particular, $h$ is integrable on $[-\pi,\pi]$. The proof is finished applying the Riemann-Lebesgue lemma.

It should be noted that your problem is a particular case of Dini's convergence criterion.

6

A classical theorem says that if $f\in Lip(\alpha)$, for some $\alpha$ with $\alpha>1/2$, then the Fourier series of $f$ belongs to the Wiener algebra (that is $\sum|\hat{f}(n)|< \infty$).

The proof can be found in Katznelson's book An Introduction to Harmonic Analysis. See also Hölder Condition, Convergence of Fourier series and Wiener algebra.