1
$\begingroup$

this may sound like a dumb question but are fourier coefficients always symmetric?

ie $\hat{f}(n) = \hat{f}(-n)$?

  • 1
    You should consider the Fourier coefficients of $e^{ix}$, for example.2011-04-01

3 Answers 3

4

Consider $f(x)=e^{ix}$, or polynomials in this $f$.

  • 0
    ok i guess i have another dumb question: if i take the derivative of $e^{inx}$, do i get $ine^{inx}$ or $ne^{inx}$2011-04-01
  • 1
    @jack: The chain rule still applies to complex valued functions, and it's easy to show that the derivative of $x\mapsto inx$ is $in$.2011-04-01
  • 0
    so i guess it should be $ine^{inx}$, is that right?2011-04-01
  • 0
    Yes.${}{}{}{}{}$2011-04-01
4

The answer is no, as Jonas Meyer pointed out. However, if $f$ is a real-valued function, then the real parts of the Fourier coefficients will be symmetric, and the imaginary parts antisymmetric:

$\operatorname{Re}(\hat{f}(n))=\operatorname{Re}(\hat{f}(-n))$

$\operatorname{Im}(\hat{f}(n))=-\operatorname{Im}(\hat{f}(-n))$

  • 0
    Hence for real, even functions equality holds. The equality also holds for some complex functions.2011-04-01
0

You might like to consider the difference: $$\hat{f}(n)-\hat{f}(-n)=\frac{1}{2\pi}\int_{-\pi}^\pi f(t)e^{-int}dt-\frac{1}{2\pi}\int_{-\pi}^\pi f(t)e^{int}dt=\frac{1}{2\pi}\int_{-\pi}^\pi f(t)(e^{-int}-e^{int})dt$$ Next, note from the Euler equations that $e^{-int}-e^{int}=-2i\cdot \sin(nt)$.

Hence $\hat{f}(n)=\hat{f}(-n)$ (for some $n$) means that $f$ is orthogonal to (or rather, that $f$ is annihilated by) the function $t\mapsto\sin(nt)$ (for some $n$).