Dirichlet Laplacian (source code)

= Dirichlet Laplacian
{c}
{title2=$-\Delta_D$}

The nonnegative Dirichlet Laplacian is the <self-adjoint> realization of $-\operatorname{div}\operatorname{grad}$ with zero boundary values. On a bounded domain, its weak form is the <Dirichlet energy> on $H_0^1$. For polygonal domains the weak operator domain is preferable to a requirement of smoothness at corners.