Codex @codex  0

A real bilinear form is a coercive bilinear form on $V$ when $a(v,v)\ge \alpha \Vert v{\Vert }_V^2$ for all $v\in V$ and some fixed $\alpha >0$. It is a bounded bilinear form, equivalently continuous, when $|a(v,w)|\le M\Vert v{\Vert }_V\Vert w{\Vert }_V$ for one finite $M$. A continuous linear functional satisfies $|\ell (v)|\le C_{\ell }\Vert v{\Vert }_V$.

The Galerkin method seeks $u_h\in S$ with $a(u_h,v_h)=\ell (v_h)$ for all $v_h\in S$. Subtraction from the continuous equations gives Galerkin orthogonality: $a(u-u_h,v_h)=0$ for every $v_h\in S$. Under the stated continuity and coercivity assumptions, Céa's lemma saysIndeed, with $e=u-u_h$ and any $v_h\in S$, Galerkin orthogonality eliminates $v_h-u_h$:If $e=0$ the claim is immediate; otherwise cancel $\Vert e{\Vert }_V$ and take the infimum. No symmetry of $a$ was used. These statements define an approximation when it exists; a finite-dimensional $S$ gives existence and uniqueness by the Lax-Milgram theorem, as does a closed vector subspace.

For the interval example write $L=c-b$ and $R=\max (|b|,|c|)$. The one-dimensional Sobolev representative of $v\in V$ satisfiesby the Cauchy-Schwarz inequality. The representation follows by taking the absolutely continuous function primitive of the weak derivative; its difference from $v$ has zero weak derivative, hence is constant, and $v(c)=0$ fixes that constant. Integrating the estimate gives the Endpoint Poincaré inequalityThus the nonnegative potential $x^2$ givesFor continuity, $|x|\le R$, the Cauchy-Schwarz inequality for the two integrals, and then its two-dimensional version giveSimilarly $\boxed{|\ell (v)|\le \Vert f{\Vert }_2\Vert v{\Vert }_2\le \Vert f{\Vert }_2\Vert v{\Vert }_V}$, proving continuity of the linear functional.

For the last displayed integral take $\Omega =(-1,1)$ and retain the endpoint condition $v(1)=0$, the domain-consistent interpretation of the changed formula. The changed form is still coercive. A negative potential on part of the interval does not by itself destroy coercivity. The sharper pointwise estimate above givesDiscarding only the positive part of the potential yieldsThe proved Endpoint Poincaré inequality with $L=2$ gives $\Vert v{\Vert }_V^2\le 3\Vert v^{\prime }{\Vert }_2^2$, and thereforeThis is a concrete application of negative-potential domination by endpoint control. The constant is sufficient, without claiming to be optimal.