1
$\begingroup$

The Fourier transform gives a map of the Schwartz space to itself which turns out to be a linear homeomorphism of period 4.

However, when the domain is extended to $L^1(\mathbb{R})$, the situation is not as clean. The Fourier transform gives a bounded linear map $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$. If $\mathcal{F}(f)$ happens to be in $L^1(\mathbb{R})$, the inverse Fourier transform can be applied to $\mathcal{F}(f)$, which yields a continuous function that is equal to $f$ almost everywhere (everywhere if $f$ was continuous).

Thus, if we restrict $\mathcal{F}$ to $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$ (that is, $L^1$ functions which are also in the image of $\mathcal{F}$), it seems that the Fourier transform turns out to be a linear bijection of period 4 from $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$ to itself.

Is there anything else that can be said about this these functions, about this map, or about this subset $\mathcal{F}(L^1(\mathbb{R})) \cap L^1(\mathbb{R})$?

A similar question was asked a while back, about the image $\mathcal{F}(L^1(\mathbb{R}))$. For simplicity I used $\mathbb{R}$ as the domain, but of course I'm curious about the case for $\mathbb{R^n}$ as well.

$\endgroup$
3
  • 3
    $\begingroup$ In recent years this thing has been called the Lebesgue-Fourier algebra of ${\mathbb R}$ (because it's the intersection of $L^1({\mathbb R})$ with the Fourier algebra $A({\mathbb R})\cong L^1(\widehat{\mathbb R})$). I'm not sure what you're hoping to say about such functions. Of course, since they are $C_0$ and integrable, they belong to every $L^p$ $\endgroup$
    – Yemon Choi
    Commented Feb 17, 2016 at 20:35
  • 3
    $\begingroup$ Also, why the "descriptive-set-theory" tag? $\endgroup$
    – Yemon Choi
    Commented Feb 17, 2016 at 20:36
  • $\begingroup$ I'm not sure, I was wondering if there is anything else that characterizes them.The post I linked to included that tag, I suppose it can be removed. $\endgroup$ Commented Feb 17, 2016 at 20:39

0

You must log in to answer this question.