Is there a continuous function $f: \mathbb{T} \rightarrow \mathbb{R}$ such that $\lim_{n\rightarrow\infty} |S_{n}f(0)| = 1$?

54 Views Asked by At

Problem

Is there a continuous function $f: \mathbb{T} \rightarrow \mathbb{R}$ such that $\lim_{n\rightarrow\infty} |S_{n}f(0)| = 1$?

Relevant Definitions

The Dirichlet Kernel, $D_{n}$, is defined as:

$D_{n}(x)=\sum_{k=-n}^{n}e^{ikx}$

and the partial sums, $S_{n}$, as

$(S_{n}f)(x)= (D_{n}*f)(x)=\int_{-\pi}^{\pi}D_{n}(x-y)f(y)dy$

and $\mathbb{T}=[-\pi,\pi]$

Actual Question

I dont know how to start to proof this type of statement. I've tried coming up with an example but can't. I've also tried assuming that such functions exists and tried to find a contradiction using the continuous property and also failed.

If someone could tell me if such a function exists or not it would help immensly!

1

There are 1 best solutions below

2
On BEST ANSWER

Here is a $90\%$ hint.

Observe that $$(D_n*f)(0)=\int_{-\pi}^{\pi}D_n(-y)f(y)\,dy=\sum_{|k|\leq n}\hat{f}(k)$$

Now, choose a nice continuous function whose Fourier series converges to some non-zero number, and you are almost done.