Confining-potential energy space
ID: confining-potential-energy-space
Let be a nonnegative, locally bounded measurable function on with as . Its confining-potential energy space isThe displayed quantity is a norm even though it omits an explicit L2 norm term. Choose a ball outside which . The weighted term controls outside that ball, and a local Poincaré inequality anchored on a surrounding annulus controls the interior L2 norm by the gradient and that annular mass. Thus the displayed norm is equivalent to the full graph norm containing .
A Cauchy sequence converges in and its weighted values converge in L2 space; an almost-everywhere convergent subsequence identifies the latter limit with . Hence is a Hilbert space. Growth of the potential makes bounded-energy mass tails small, which yields compact embedding of a confining-potential energy space.
New to topics? Read the docs here!