Convergence of Fourier series in $\alpha$-Hölder norm.

352 Views Asked by At

For $\alpha\in(0,1]$, define the $\alpha$-Hölder space on the 1-torus $\mathbb{T}:=\mathbb{R}/2\pi\mathbb{Z}$ as the space: $$C^{0,\alpha}(\mathbb{T}):=\{f\in C(\mathbb{T})\ |\ \sup_{s,t\in\mathbb{T}\\s\neq t}\frac{|f(s)-f(t)|}{|s-t|^\alpha}<+\infty\}.$$ Define: $$\|\cdot\|_{C^{0,\alpha}(\mathbb{T})}:C^{0,\alpha}(\mathbb{T})\to[0,+\infty), f\mapsto \|f\|_\infty+\sup_{s,t\in\mathbb{T}\\s\neq t}\frac{|f(s)-f(t)|}{|s-t|^\alpha}.$$ Then $(C^{0,\alpha}(\mathbb{T}),\|\cdot\|_{C^{0,\alpha}(\mathbb{T})})$ is a Banach space.

Define $$\forall n\in\mathbb{Z}, \forall t\in\mathbb{T},e_n(t):=e^{int}$$ and if $f\in L^1(\mathbb{T})$, the Fourier tranform of $f$ will be denoted by $\hat{f}$, i.e. $$\forall n\in\mathbb{Z},\hat{f}(n)=\int_{-\pi}^\pi f(t)e_{-n}(t)\frac{\operatorname{d}t}{2\pi}.$$

I know from the answers to this question that: $$\forall f\in C^{0,\alpha}(\mathbb{T}), \|\sum_{n=-N}^N \hat{f}(n)e_n-f\|_\infty \to0, N\to +\infty$$

While, since $C^{0,1}(\mathbb{T})$ is essentially the Sobolev space $W^{1,\infty}(\mathbb{T})$, I know that: $$\exists f\in C^{0,1}(\mathbb{T}), \|\sum_{n=-N}^N \hat{f}(n)e_n-f\|_{C^{0,1}(\mathbb{T})}\not\to0, N\to+\infty.$$

For which $\alpha\in(0,1)$, is it true that $$\forall f\in C^{0,\alpha}(\mathbb{T}), \|\sum_{n=-N}^N \hat{f}(n)e_n-f\|_{C^{0,\alpha}(\mathbb{T})}\to0, N\to +\infty?$$