Show $\left\lvert\sum_{k=-n}^n \frac{\sin k t }{k}\right\rvert \le \pi + 2$ for all $n$ and $t$, $t \in [0,2\pi]$

319 Views Asked by At

Let $f(t)=(t-\pi)\chi_{(0,2\pi)}$, $t \in [0,2\pi]$, then the partial sum of the Fourier series of $f$ is $$ S_n(t)=- \sum_{0 < |k| \le n} \frac{\sin k t}{k}. $$ Show $|S_n(t)| \le \pi+2$ for all $n$ and $t$.

I know the Fourier series of $f$ converges to $f(t)$ on $(0,2\pi)$, to $-\pi/2$ at $0$, and to $\pi/2$ at $2\pi$.
So there is an $n_0$ past which I can uniformly bound $S_n(t)$ by $\pi+2$.
But I don't know how to handle the term before $n_0$.

I considered writing $$ S_n(t)=\int_0^t \left(\frac{\sin (k+1/2) x}{\sin x/2} - 1 \right)dx $$

But I don't see how to make $\pi+2$ appear.

1

There are 1 best solutions below

3
On BEST ANSWER

I cannot see how to derive a limitation for $\|S_n(x)\|_{\infty}$ from an approximation of the $\mathcal{L}^2$-norm of $S_n(x)$, since it is clear that exist unbounded functions belonging to $\mathcal{L}^2$!

I'd rather say that it is easy to locate the stationary points of $S_n(x)$, since:

$$\frac{d}{dx}\,S_n(x) = \frac{2\cos\left(\frac{n+1}{2}x\right)\sin\left(\frac{n}{2}x\right)}{\sin\left(\frac{x}{2}\right)}=-1+\frac{\sin\left(\frac{2n+1}{2}x\right)}{\sin\left(\frac{x}{2}\right)}$$

Now, it should be not too difficult to prove that the maximum of $S_n(X)$ is reached in the first positive stationary point, i.e. $x=\frac{\pi}{n+1}$.

This gives: $$(\heartsuit)\quad S_n(x)\leq 2\sum_{j=1}^{n}\frac{1}{j}\sin\left(\frac{j\,\pi}{n+1}\right).$$

Now, using $\sin x\leq\frac{4}{\pi^2}x(\pi-x)$ (that holds for any $x\in[0,\pi]$), we have a much stronger inequality:

$$ S_n(x) \leq \frac{4n}{n+1} < 4 < \pi+2. $$

In fact, I think that, regarding the right side of $(\heartsuit)$ as the approximation of an integral, it is also possible to prove that:

$$ |S_n(x)|<2\int_{0}^{\pi}\frac{\sin x}{x}\,dx < \pi + \frac{9}{16}. $$