## If the fourier transformed of f is odd, is f odd?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $f\in L^1(R)$ such that $F(f)$ is odd, where $F$ is the Fourier transform. Can I then say that $f$ is odd?

If $F(f)$ is odd, then

$\int \cos(x\xi) f(x) dx = 0 \:\:\forall \xi\in R$

Can I deduce from it that $f$ is odd?

-

## 3 Answers

Write $f^-(x)=f(-x)$ etc. Then $F(f^-)=F(f)^-$. If $F(f)$ is odd then $$0=F(f)+F(f)^-=F(f+f^-).$$ The only $L^1$ function with zero Fourier transform is $0$ so that $f+f^-=0$, that is, $f$ is odd.

-

Great! Thanks... – Nicolò Apr 1 2010 at 9:21

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Yes. Using tempered distributions it's immediately obvious, since $f = C \mathcal{F}^3 (\mathcal{F} f)$ for a constant $C$, and $\mathcal{F}$ maps odd distributions into odd distributions.

The missing details of the proof are just simple exercises in distributions.

Distribution theory is very useful for Fourier transform questions like this, since Fourier inversion works perfectly.

-

Look at $L^2$ first: In $L^2$ the FT is diagonalizable. The space of odd functions $\in L^2$ is the direct sum `$Eig(\mathcal{F},+i)\oplus Eig(\mathcal{F},-i)$ of the eigenspaces of $\mathcal{F}$ with respect to the eigenvalues $+i$ and $-i$. Because eigenspace are mapped into themselves, $\mathcal{F}$ maps odd functions to odd functions.

In particular this is true for all $f\in L^1\cap L^2$ and by continuity it is true for all $f\in L^1$. (In fact an analogue statement is true for all tempered distributions.)

EDIT: Oh, I just saw that you asked for the other direction. Using the same argument you can show that $\mathcal{F}f$ odd $\implies f=\mathcal{F}^3(\mathcal{F}f)$ odd is true for all $f\in L^2$. This time I'm not quite sure if it is possible to extend this from $L^1\cap L^2$ to $L^1$, but maybe the result for $L^1\cap L^2$ is useful for you too.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 33, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9204843044281006, "perplexity_flag": "head"}