Having said that, to get an energy estimate we need some refined estimates in weighted Sobolev spaces with the extension δ and for alternatives to the auxiliary Neumann difficulty for that Poisson equation—these are definitely demonstrated in Chaps. ten and 11. Utility efficiency and