Solution
= Solution
The constant function $v=1$ is an admissible $H^1(U)$ test for the <Neumann Poisson problem>. Its <weak gradient> is zero, so the weak identity immediately gives
$$
\boxed{\int_Uf\,dx=0.}
$$
This is necessary, and the preceding Hilbert-space construction proves sufficiency for $f\in L^2(U)$. It is the balance condition corresponding to zero total boundary flux.