 Solution

Work in the real zero-boundary Sobolev space $X=H_0^1(0,1)$, whose members have square-integrable weak derivatives and zero endpoint trace. Define the bounded bilinear form and linear functionalThe weak formulation is to find $u\in X$ with $a(u,v)=\ell (v)$ for every $v\in X$. Integration by parts recovers the differential equation for a smooth solution; conversely, this identity is the definition of its weak solution.

Use the full $H^1$ norm. The Cauchy-Schwarz inequality gives $|a(u,v)|\le \Vert u{\Vert }_{H^1}\Vert v{\Vert }_{H^1}$ and $|\ell (v)|\le \Vert v{\Vert }_{H^1}/\sqrt{3}$. Also $a(v,v)=\Vert v{\Vert }_{H^1}^2$, so $a$ is a coercive bilinear form with constant one. The Lax-Milgram theorem states that a bounded, coercive bilinear form on a real Hilbert space determines a unique weak solution for every bounded linear functional. It therefore applies here.

The equivalent minimization problem isIf $u$ is the weak solution, symmetry and $a(u,v-u)=\ell (v-u)$ giveThis is positive unless $v=u$, proving a unique global minimizer. Conversely, differentiating $\mathcal{E}(u+tv)$ at $t=0$ gives the weak identity. Thus the unique energy minimizer is exactly the unique weak solution. As a check, the classical representative isIt satisfies both endpoint conditions and $-u^{\prime \prime }+u=x$.