 Solution

On the zero-boundary Sobolev space $H_0^1(U)$, the associated bilinear form isThe homogeneous Dirichlet boundary condition removes the boundary term, so $(Lu,v{)}_{L^2}=B[u,v]$ for sufficiently regular $u$ and $v\in H_0^1$.

Formal self-adjointness means that $L$ equals its formal adjoint, or equivalently $(L\varphi ,\chi )=(\varphi ,L\chi )$ for compactly supported smooth functions. HereWith the symmetric real principal coefficients in the question, $L=L^{\ast }$ is equivalent to $b=0$. It makes $B$ a symmetric bilinear form.

For the assertions in part (b), positivity must mean strict Dirichlet positivity:This is the positive-definite operator convention. The weaker positive semidefinite operator convention $B[u,u]\ge 0$ does not suffice: $L=-\Delta -{\lambda }_1$ has zero energy on a first Dirichlet eigenfunction. Under strict positivity, the compactness argument in part (b)(i) gives a uniform lower bound as well.