Weak Dirichlet problem for the massive Laplacian

For a bounded open $U\subset {\mathbb{R}}^n$, $m^2>0$, and $f\in L^2(U)$, there is a unique $u\in H_0^1(U)$ such thatfor every $v\in H_0^1(U)$.