3
$\begingroup$

Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}$ and the Fourier transform of $f$, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R $ and $\widehat{|f|} (y) : = \int _ {\mathbb R} |f(x)| e^{-2\pi i x\cdot y} dx ; y \in \mathbb R $.

The Schwartz space, $S(\mathbb R): = \{f\in C^{\infty}(\mathbb R): \sup_{x\in \mathbb R} |x^{\alpha} D^{\beta}f(x)|< \infty , \forall \alpha, \beta \in \mathbb N \cup \{0\} \}$.

Theorem: The Fourier transform is a linear isomorphism $F:S(\mathbb R)\rightarrow S(\mathbb R) \ni f\mapsto \hat {f}$.

My question is: Let $f\in S(\mathbb R)$ such that $|f|\not \in S(\mathbb R)$. Can we expect $\widehat{|f|} \in L^{1} (\mathbb R)$? Or can we produce a counter-example?

Improve this question
$\endgroup$

1 Answer 1

Reset to default
6
$\begingroup$

If f is in S, then |f| is in $H^1$. This is enough to guarantee that its Fourier transform is in $L^1$.

Improve this answer
$\endgroup$
5
  • 1
    $\begingroup$ $g\in H^1\Longleftrightarrow (1+|\xi|^2)^{\frac{1}{2}}\widehat{g}(\xi)\in L^2$. Why does the last condition imply that $\widehat{g}\in L^1$? $\endgroup$
    – Liviu Nicolaescu
    Commented Nov 16, 2013 at 16:28
  • $\begingroup$ Because $(1+\xi ^2)^{-\frac{1}{2} }$ is in $L^2$, and the product of two functions of $L^2$ is in $L^1$. $\endgroup$
    – abx
    Commented Nov 16, 2013 at 16:54
  • $\begingroup$ Let $f\in S(\mathbb R)$ such that $|f|\not \in S(\mathbb R)$; (so $\widehat {|f|} \in L^{2}(\mathbb R)$ by Plancherel theorem). But why $(1+|\xi|^{2})^{\frac {1}{2}}\widehat {|f|} \in \mathbb L^{2}(\mathbb R) ?$ $\endgroup$
    – Inquisitive
    Commented Nov 17, 2013 at 8:20
  • 1
    $\begingroup$ It is more elementary than you think. If f is in S, it is Lipschitz continuous. It is then easy to prove that |f| is also Lipschitz continuous, and therefore in $H^1$. $\endgroup$
    – Michael Renardy
    Commented Nov 17, 2013 at 16:51
  • $\begingroup$ Oops! I forgot that $f$ is a one-variable function. $(1+|\xi|^2)^{-1/2}$ is not in $L^2(\mathbb{R}^n)$ if $n\geq 2$. $\endgroup$
    – Liviu Nicolaescu
    Commented Nov 18, 2013 at 13:10

You must log in to answer this question.

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