Sobolev algebra (source code)

= Sobolev algebra
{c}

On a sufficiently regular domain in $\mathbb R^n$, $H^s$ is a Banach algebra when $s>n/2$:
$$
\|uv\|_{H^s}\leq C\|u\|_{H^s}\|v\|_{H^s}.
$$