 Dirichlet inner product

On a domain $U\subseteq {\mathbb{R}}^n$, a common normalization of the Dirichlet inner product isThe Poincaré inequality makes its induced seminorm a norm on $H_0^1(U)$.