In a book from differential equations I found the following theorem, without proof and references:

Let functions $f, g: R \rightarrow R$ be continuous and $2\pi$-periodic and let $m\in N$. Assume that $$\frac{a_0}{2}+\sum_{n=1}^\infty (a_n \cos nx+b_n \sin nx),$$ $$\frac{A_0}{2}+\sum_{n=1}^\infty (A_n \cos nx+B_n \sin nx)$$ be Fourier series of $f$ and $g$ respectively, not neceserilly convergent to $f$ and $g$.

Assume that $a_0=0$ and $$(\frac{A_0}{2})^{(m)}+\sum_{n=1}^k (A_n \cos nx+B_n \sin nx)^{(m)}=\frac{a_0}{2}+\sum_{n=1}^k (a_n \cos nx+b_n \sin nx)$$ for all $x \in R$, $k\in N$. Then $g$ is of class $C^m$ and $g^{(m)}=f$.

Maybe proof of references of this theorem.

  • $\begingroup$ This is basically a version of the Sobolev embedding theorem; I would suggest looking up that theorem in a decent functional analysis or PDE textbook. $\endgroup$ – Paul Siegel May 9 '12 at 17:33
  • 1
    $\begingroup$ I think it will be simpler using complex series. Thanks to the equation, you can find a relationship between the Fourier coefficients of $f$ and $g$, which will show that $g$ is of class $C^m$. Conclude using the uniqueness of Fourier coefficients. $\endgroup$ – Davide Giraudo May 9 '12 at 17:36

We can rewrite the Fourier series as $f(x)\sim\sum_{n\in \Bbb Z}c_ne^{inx}$ and $g(x)\sim\sum_{n\in \Bbb Z}d_ne^{inx}$. We have $n^mi^md_n=c_n$ for all $n$, which proves that the Fourier coefficients of $g$ decay fast enough in order to ensure us that $g$ as a $m$-th derivative. Indeed, we have a condition on the decay the Fourier coefficients of a periodic function which can be seen by integration by parts.

Since $g^{(m)}$ and $f$ has the same Fourier coefficient and are continuous, they are equal.


Your Answer

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.