0
$\begingroup$

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.

$\endgroup$
  • 2
    $\begingroup$ I suspect a typo. Maybe $\frac{i \sin k t}{k}$ ? $\endgroup$ – cactus314 Oct 12 '12 at 19:31
  • $\begingroup$ @johnmangual You are right. Thank you. $\endgroup$ – user14108 Oct 12 '12 at 19:36
  • 1
    $\begingroup$ Have you tried using Parseval's Theorem or Bessel's Inequality? $\endgroup$ – Pragabhava Oct 12 '12 at 19:52
  • $\begingroup$ @Pragabhava I don't see the two functions to which I should apply Parseval theorem. $\endgroup$ – user14108 Oct 12 '12 at 19:58
7
$\begingroup$

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}. $$

| cite | improve this answer | |
$\endgroup$
  • 2
    $\begingroup$ The hardest part is to prove that the first stationary point is the point of maximum, but this can be done by using the inequality $|f(x)-S_n(x)|\leq\frac{1}{n\sin(x/2)}$ - to prove the last point, I used partial summation on the Fourier series of $f-S_n$. $\endgroup$ – Jack D'Aurizio Oct 13 '12 at 14:55
  • $\begingroup$ How do you get the bound on $\sin x$ and the bound on the last integral? $\endgroup$ – user14108 Oct 14 '12 at 15:50
  • 2
    $\begingroup$ The bound on the last integral is given by an explicit computation of $2\operatorname{SinIntegral}(\pi)$, the bound for $\sin x$ is due to the fact that $\frac{\sin x}{x(\pi-x)}$ is concave on $[0,\pi]$ and symmetric wrt to $x=\frac{\pi}{2}$. $\endgroup$ – Jack D'Aurizio Oct 14 '12 at 16:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy