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

Choose the real zero-trace Sobolev spaceThe Poincaré inequality makes this an equivalent Sobolev norm. Since the dimension is five, the Sobolev conjugate exponent is $4^{\ast }=5\cdot 4/(5-4)=20$. The Sobolev embedding theorem gives $X\hookrightarrow L^{20}(\Omega )$ continuously. Boundedness of $\Omega$ and Lp inclusion on a finite measure space then give $X\hookrightarrow L^8(\Omega )$ continuously, say $\Vert u{\Vert }_8\le C_8\Vert u{\Vert }_X$.

For $f\in Y$, the weak formulation isThe zero Dirichlet boundary condition is imposed through the Sobolev trace. Hölder's inequality verifies every term:Thus $|\nabla u{|}^2\nabla u\in L^{4/3}(\Omega ;{\mathbb{R}}^5)$, while $u^7\in L^{8/7}(\Omega )$, and all three pairings are finite bounded linear functionals in $v$. The choice $Y=L^{8/7}(\Omega )$ is sufficient; it is not intended to be the largest possible space of data.

For the spaces in part (b)(i) and fixed $f\in Y$, define $A:X\to X^{\ast }$ byFor each $u$, this is a linear functional in $v$, and the estimates in part (b)(i) showHence $A(u)$ belongs to the continuous dual space $X^{\ast }$, and $A$ sends bounded sets to bounded sets. The weak formulation is exactlyThe forcing term is included in $A$ so that its right side is zero, as requested.

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.