under condition \(a \in H^2(\Omega ) \cap H^1_0(\Omega )\) .
Condition (6.18) is a compatibility condition
which is necessary for lifting up the regularity of the solution, and is
required also for the parabolic equation for instance (see Theorem 6 in
Chapter 7, Section 1 in Evans [1]}).
