Laplace equation with Robin b.c. - weak solution, proof of coercivity

The equation: $$-\Delta u=f\ \ \mathrm{in}\ \Omega,\ f\in L^2(\Omega)\\ \frac{\partial u}{\partial n}+u=g\ \ \mathrm{on}\ \partial\Omega,\ g\in L^2(\Omega)$$

Now to the weak formulation: $$\int_\Omega\nabla u\nabla v+\int_{\partial\Omega}uv=\int_\Omega fv+\int_{\partial\Omega}gv\ \ \forall v\in H^1(\Omega)$$ So I need to prove following:

• functional $F(v)=\int_\Omega fv+\int_{\partial\Omega}gv$ is bounded - trivial
• bilinear form $a(u,v)=\int_\Omega\nabla u\nabla v+\int_{\partial\Omega}uv$ is bounded (this I believe follows directly from the trace theorem) and coercive

But how do I prove it is coercive? i.e.: $$a(v,v)\geq\alpha\|v\|_1^2$$

• The coercivity of $a$ is proved here. – Pedro Jan 2 '17 at 23:44