Sobolev space (source code)

= Sobolev space
{c}
{wiki}

For real $s$, the $L^2$-based Sobolev space $H^s(\mathbb R^n)$ consists of tempered distributions satisfying
$$
\lVert u\rVert_{H^s}^2
=\int_{\mathbb R^n}(1+|\xi|^2)^s|\widehat u(\xi)|^2\,d\xi<\infty.
$$