Let \(G\) be a bounded open set in \(\mathbb {R}^N\) with smooth boundary. State and indicate a proof of Poincaré’s inequality for functions \(u\in H^1_0(G)\). Using the inequality show that \[ \norm {u}_0^2=\int _G \lvert \nabla u\rvert ^2\,dx \] defines a norm equivalent to the \(H^1\) norm. Consider the form \[ a(u,v)=\int _G \nabla u\cdot \overline {\nabla v} +\int _G c(x)\cdot \nabla u\,\overline {v}\,dx, \tag {7} \] where the components of the vector function \(c\) belong to \(L^\infty (G)\).
Provide a condition on the function \(c\) in order that \(a\) is a sesquilinear form satisfying the conditions of the Lax-Milgram theorem. Determine a boundary value problem solved by the Lax-Milgram solution.