I termini che danno fastidio dovrebbero essere [latex:3fvrhryu]&#40;D_{x_i}u&#41;^2[/latex:3fvrhryu] perché a priori stanno solo in [latex:3fvrhryu]L^1[/latex:3fvrhryu], ma il fatto che [latex:3fvrhryu]\Omega[/latex:3fvrhryu] sia decente dovrebbe dirci ad esempio che [latex:3fvrhryu]D_{x_i}u \in L^6[/latex:3fvrhryu]? Di conseguenza avremmo che [latex:3fvrhryu]&#40;D_{x_i}u&#41;^2 \in L^3[/latex:3fvrhryu] e dunque in [latex:3fvrhryu]L^2[/latex:3fvrhryu] perché l'insieme ha misura finita. Una volta che otteniamo [latex:3fvrhryu]u \in H^4[/latex:3fvrhryu] dovrebbe essere tutto in discesa?