0
$\begingroup$

Let be $f:\mathbb{R}\rightarrow \mathbb{C}$. This $\operatorname{Re} \int_a^b {{e^{ - i\theta }}f(x)dx = } \int_a^b {\operatorname{Re} ({e^{ - i\theta }}f(x))dx}$

is True? Why?

  • 0
    mmmm understand2012-10-29

1 Answers 1

1

Let $f:X\rightarrow \mathbb{C}$ be any complex valued function on a domain where integration makes sense. We can break up $f$ into $f_r$ which is real valued and $f_i$ which is real valued, so that $f=f_r+if_i$. Then $\int f dx = \int (f_r+if_i) dx = \int f_r dx +i \int f_i dx.$ $\int f_r dx$ and $\int f_i dx$ should both be real since their integrands are, and so it shouldn't matter whether you apply the $Re$ operator before or after the integration.

The only missing step is proving that if $f$ is integrable, so are $Re(f)$ and $Im(f)$. I'm afraid I don't have a proof for that, though I doubt it would be false.