That’s cheating. This is a baby problem, where we already know the answer. The motivation for this is a somewhat more complicated problem, where we don’t know the answer. The version of this I am trying to solve (another baby problem…) is here
As I understand it, the old fenics had the capability to introduce additional constraints into the PDE, which fenicsx apparently doesn’t allow. Is there some workaround for this which doesn’t rely on already knowing what the solution in the null space looks like?