It is known that the operator \(A\)  satisfies Assumption I. Indeed, it is self-adjoint and bounded above thanks to Green's formula. Since the embedding \(D(A) \hookrightarrow L^2(\Omega )\)  is compact, \(A\)  has compact resolvent, see [1]}.
Then Theorem REF  yields
