Sobolev norm (source code)

= Sobolev norm
{c}
{title2=$\|u\|_{W^{k,p}(D)}$}

For $1\leq p<\infty$, an inhomogeneous <Sobolev space> <norm> is $\|u\|_{W^{k,p}(D)}=(\sum_{|\alpha|\leq k}\|D^\alpha u\|_{L^p(D)}^p)^{1/p}$, using <weak derivatives>. In particular, $\|u\|_{H^1(D)}^2=\int_D(|u|^2+|\nabla u|^2)$. The <gradient> seminorm alone defines a different completion, the <Dirichlet energy space>, unless a suitable <Poincare inequality> makes the two norms equivalent on the chosen zero-boundary space.