 Solution

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.