Past exam of the fixed point methods for nonlinear partial differential equations course of the University of Oxford / 2008 / 3 / b / Solution

Take the zero-boundary Sobolev space $X=H_0^1(\Omega )$ with norm $\Vert u{\Vert }_X=\Vert \nabla u{\Vert }_2$. The Poincaré inequality makes this equivalent to the usual Sobolev norm. DefineThe weak formulation is $u\in X$ and $⟨A(u),v⟩=⟨f,v⟩$ for every $v\in X$.

In dimension three the Sobolev embedding theorem gives $\Vert u{\Vert }_6\le C_6\Vert u{\Vert }_X$, so $u^3\in L^2$. The Cauchy-Schwarz inequality and Poincaré inequality yieldThus $A(u)\in X^{\ast }$ for every $u$, and $f\in X^{\ast }$. Finallysince $u^2+uw+w^2\ge 0$. Hence $A$ is strongly monotone with constant one in the chosen norm.