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

For $u,w\in X$, the forcing terms cancel, givingThe scalar function $s\mapsto s^7$ is strictly increasing on all of $\mathbb{R}$, so the second integrand is nonnegative. For the first one, use the quartic gradient monotonicity inequality. Put $d=\xi -\eta$ and $m=(\xi +\eta )/2$ for real vectors $\xi ,\eta$. Expanding givesConsequentlyThe last strict inequality uses the Poincaré inequality: if the weak gradient of $u-w\in W_0^{1,4}(\Omega )$ vanishes, then $u=w$. This proves that $A$ is a strictly monotone operator.