Dirichlet Laplacian