Dirichlet inner product ($(f,g{)}_{\nabla }$)

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