1
$\begingroup$

If $f$ is a $C^1$ function of period $2\pi$ and $f(0)=0$, and $g(x) = f(x)/(e^{ix} -1)$,

then let $C_n$ be the complex fourier coefficients of $f(x)$ and $D_n$ the coefficients of $g(x)$. How can we show that $D_n \to 0$?

ii) And how can we show that $C_n = D_{n-1} - D_n$, so that the series $\sum C_n$ is telescoping.

So, for the first one, I'm thinking of uniform continuity and how to show that $g(x)$ is continuous in it.

  • 0
    $D_n \to 0$ looks like the Riemann-Lebesgue lemma...2012-10-28

1 Answers 1

1

For ii), write $g(x)=f(x)/(\def\eix{\mathrm e^{\mathrm ix}}\eix-1)$ as $f(x)=g(x)(\eix-1)$. Now if you compute the Fourier coefficients on both sides, the factor $\eix$ shifts the coefficients of $g$ by $1$, yielding $C_n=D_{n-1}-D_n$.

For the first question, you can conclude from $C_n=D_{n-1}-D_n$ that $\sum_{k=j}^nC_k=D_j-D_n$ by induction, then let $j\to-\infty$ and $n\to\infty$ to get $\lim_{n\to\infty}(D_{-n}-D_n)=\sum_{k=-\infty}^\infty C_k=f(0)=0$. Contrary to what I wrote in the first version of this answer, that only establishes that the imaginary part of $D_n$, which is odd, goes to $0$. To conclude that all of $D_n$ goes to $0$, either note that $g$ is continuous at $0$ (and thus everywhere), and conclude that $\sum_{k=-\infty}^\infty D_k=g(0)$, so $D_n$ must go to zero for the series to converge; or invoke the Riemann-Lebesgue lemma, as Siminore suggested in a comment under the question.

  • 0
    Alright, I will do that here in a few hours and you can edit it. Thanks2012-10-29