 Solution

The preceding estimate gives constants $A,B>0$ such that, whenever $\Vert w{\Vert }_{H^2}\le R$,Choose $R>0$ so that $B{R}^2\le 1/2$, and then choose $r>0$ so that $Ar\le R/2$. If $\Vert f{\Vert }_2\le r$, the closed ball $B_R(0)$ is mapped into itself.

For $w,z\in B_R(0)$, factor the cubic gradient nonlinearity asThe same Sobolev embedding theorem and the Holder inequality implyThe elliptic estimate therefore yieldsShrinking $R$ further makes $C^{\prime }{R}^2<1$, so $\Phi$ is a contraction mapping of the closed ball. This ball is complete because $H^2(U)\cap H_0^1(U)$ is a Banach space. The contraction mapping theorem gives a fixed point $u=\Phi (u)$, and its defining equation isThus the nonlinear elliptic boundary value problem has a solution for sufficiently small $\Vert f{\Vert }_2$.