Poisson convergence on expanding balls in a homogeneous Sobolev space
ID: poisson-convergence-on-expanding-balls-in-a-homogeneous-sobolev-space
In three dimensions let have compact support. Let solve and extend it by zero. There is a unique with for all . Indeed Holder inequality and the homogeneous Sobolev inequality make the right side a continuous linear functional in the gradient norm, and the Riesz representation theorem applies to this Hilbert space.
The weak formulation says that is the orthogonal projection of onto the closed subspace consisting of zero extensions of . These subspaces increase with and their union contains every test function, which is dense by the definition of the homogeneous Sobolev space. The best-approximation property of orthogonal projection therefore gives . The homogeneous Sobolev inequality also gives . This convergence does not generally extend to the inhomogeneous Sobolev space , as the spherical mean of a Poisson solution outside its source shows for a source of nonzero total mass.
New to topics? Read the docs here!