Having said that, to obtain an energy estimate we need some refined estimates in weighted Sobolev spaces for the extension δ and for solutions to the auxiliary Neumann difficulty for the Poisson equation—these are definitely proven in Chaps. ten and eleven. Set-amount programs are the