I am interested in showing that if $g \in L^1(\mathbb{R})$, then the Fourier transform $\mathcal{F}(g)$ is equal to the convolution $f \ast f$ for some $f \in L^2(\mathbb{R})$. If it happens that $\sqrt{g} \in L^1(\mathbb{R})$ also, then by the convolution theorem we have $$\mathcal{F}(g) = \mathcal{F}(\sqrt{g} \cdot \sqrt{g}) = \mathcal{F}(\sqrt{g}) \ast \mathcal{F}(\sqrt{g}),$$ so we take $f = \mathcal{F}(\sqrt{g})$. This suggests we want to approximate $g$ by a sequence of functions $g_n \in L^1$ such that $\sqrt{g_n} \in L^1$. However, is it true that $g_n \to g$ in $L^1$ implies $\sqrt{g_n} \to \sqrt{g}$ in $L^2$?
Asked
Active
Viewed 148 times
1
-
Does this help? – Giuseppe Negro Aug 30 '19 at 06:21
-
$|a^2-b^2|=|2b(a-b)+(b-a)^2|\geq(b-a)^2-2 b^2- (a-b)^2/2$, thus $(a-b)^2\leq 2|a^2-b^2|+4b^2$ – Bananach Aug 30 '19 at 06:33