MHB Proving Uniqueness of Fourier Coefficients for Continuous Periodic Functions

Markov2
Messages
149
Reaction score
0
Let $f:\mathbb R\to\mathbb R$ be a continuous function of period $2\pi.$ Prove that if $\displaystyle\int_0^{2\pi}f(x)\cos(nx)\,dx=0$ for $n=0,1,\ldots$ and $\displaystyle\int_0^{2\pi}f(x)\sin(nx)\,dx=0$ for $n=1,2,\ldots,$ then $f(x)=0$ for all $x\in\mathbb R.$

I know this has to do with the uniqueness of the Fourier coefficients, but I don't know how to solve it.
Thanks!
 
Physics news on Phys.org
Markov said:
Let $f:\mathbb R\to\mathbb R$ be a continuous function of period $2\pi.$ Prove that if $\displaystyle\int_0^{2\pi}f(x)\cos(nx)\,dx=0$ for $n=0,1,\ldots$ and $\displaystyle\int_0^{2\pi}f(x)\sin(nx)\,dx=0$ for $n=1,2,\ldots,$ then $f(x)=0$ for all $x\in\mathbb R.$

I know this has to do with the uniqueness of the Fourier coefficients, but I don't know how to solve it.
Thanks!

Sounds an awful lot like the Riemann-Lebesgue Lemma. Are the tools of Lebesgue integration available to you?
 
Markov said:
Let $f:\mathbb R\to\mathbb R$ be a continuous function of period $2\pi.$ Prove that if $\displaystyle\int_0^{2\pi}f(x)\cos(nx)\,dx=0$ for $n=0,1,\ldots$ and $\displaystyle\int_0^{2\pi}f(x)\sin(nx)\,dx=0$ for $n=1,2,\ldots,$ then $f(x)=0$ for all $x\in\mathbb R.$

I know this has to do with the uniqueness of the Fourier coefficients, but I don't know how to solve it.
Thanks!
This requires some fairly heavy machinery. One method is to use Fejér's theorem, which says that $f$ is the uniform limit of the Cesàro sums $s_n(f)$ of its Fourier series. If all the Fourier coefficients of $f$ are zero then $s_n(f)=0$ for all $n$, and hence $f=0.$
 
I posted this question on math-stackexchange but apparently I asked something stupid and I was downvoted. I still don't have an answer to my question so I hope someone in here can help me or at least explain me why I am asking something stupid. I started studying Complex Analysis and came upon the following theorem which is a direct consequence of the Cauchy-Goursat theorem: Let ##f:D\to\mathbb{C}## be an anlytic function over a simply connected region ##D##. If ##a## and ##z## are part of...