0
$\begingroup$

It is defined that:

\begin{align} O(\omega)&=\frac{1}{\sqrt{2\pi}}\int O(t)e^{-i\omega t} \mathrm{d}t \tag{1} \\ O^{\dagger}(\omega)&=\frac{1}{\sqrt{2\pi}}\int O^{\dagger}(t)e^{-i\omega t} \mathrm{d}t \tag{2} \end{align} If I directly take the hermitian conjugate of equation (1) then I get: \begin{equation} O^{\dagger}(\omega)=\frac{1}{\sqrt{2\pi}}\int O^{\dagger}(t)e^{i\omega t} \mathrm{d}t \end{equation} This result is different from equation (2). Why?

$\endgroup$
10
  • 1
    $\begingroup$ well, the obvious comment: where did Eq. 1 and Eq.2 come from? did you make them up? $\endgroup$ May 14, 2016 at 9:03
  • $\begingroup$ yes. Do you think it is not correct? If it is not correct, then how we transform an operator from the time domain to the frequency domain? :) $\endgroup$
    – Mr. an
    May 14, 2016 at 9:06
  • 1
    $\begingroup$ (1) and (2) are certainly not consistent. They cant be both true, as you correcly pointed out $\endgroup$ May 14, 2016 at 9:08
  • 1
    $\begingroup$ How about the third equation you wrote? It is consistent with Eq. 1 :P $\endgroup$ May 14, 2016 at 9:14
  • 1
    $\begingroup$ This is not a question about physics, and it belongs on Mathematics. $\endgroup$
    – Danu
    May 14, 2016 at 9:57

1 Answer 1

1
$\begingroup$

The Fourier transform of the conjugate of a function is indeed not equal to the conjugate of the Fourier transform. Complex conjugation and Fourier transformation do not commute.

You essentially proved this, maybe it's clearer if we use a less ambiguous notation. Let $$ \hat{f}(\omega)=\frac{1}{\sqrt{2\pi}}\int_\mathbb{R} f(x) \mathrm{e}^{-i \omega x}\mathrm{d}x $$ $$ \hat{\overline{f}}(\omega)=\frac{1}{\sqrt{2\pi}}\int_\mathbb{R} \overline{f(x)} \mathrm{e}^{-i \omega x}\mathrm{d}x $$ As you point out, taking the conjugate of the first we obtain $$ \overline{\hat{f}(\omega)}=\frac{1}{\sqrt{2\pi}}\int_\mathbb{R} \overline{f(x)} \mathrm{e}^{i \omega x}\mathrm{d}x =\hat{\overline{f}}(-\omega) \ . $$

This is not so surprising if you think for example that the FT of a real function is not in general real.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .