Androma

Attributions & Verification

Track contributions and verify theorem correctness

Back to Theorem

Statement

Let $s \in \mathbb{R}$, $n \ge 1$, and $u \in H^s(\mathbb{R}^n)$. Then the Fourier transform $\hat{u} \in \mathcal{S}'(\mathbb{R}^n)$ is a regular distribution: there exists a unique $(\hat{u})_{\mathrm{rep}} \in L^1_{\mathrm{loc}}(\mathbb{R}^n)$ such that
\begin{align*} \hat{u} = T_{(\hat{u})_{\mathrm{rep}}}, \end{align*}
where $T_{(\hat{u})_{\mathrm{rep}}}: \mathcal{S}(\mathbb{R}^n) \to \mathbb{C}$ is the regular distribution $T_{(\hat{u})_{\mathrm{rep}}}(\phi) = \int_{\mathbb{R}^n} (\hat{u})_{\mathrm{rep}}(\xi)\,\phi(\xi)\, d\mathcal{L}^n(\xi)$.

paragraph admin

Moreover, the $H^s$ norm admits the integral representation
\begin{align*} \|u\|_{H^s}^2 = \int_{\mathbb{R}^n} (1 + |\xi|^2)^{s}\, |(\hat{u})_{\mathrm{rep}}(\xi)|^2\, d\mathcal{L}^n(\xi). \end{align*}

paragraph admin

The notation $(\hat{u})_{\mathrm{rep}}$ denotes the representative of the distribution $\hat{u}$. This is not a priori the same as $\widehat{u_{\mathrm{rep}}}$ (the Fourier transform of some function representing $u$), since no such function has been constructed at this stage.

paragraph admin

Verification Status

Not Verified

Block Statistics

3 Total Blocks
0 Verified
0% verified

Contributors

admin 3 blocks (0 verified)

Who Can Verify

This theorem has no area tags. Only global reviewers can verify it.

Archie Pennycook Global Reviewer
Max Vassiliev Global Reviewer
Horia Neagu Global Reviewer
강현욱 Global Reviewer
Demo Testing Global Reviewer