Confining-potential energy space

ID: confining-potential-energy-space

Confining-potential energy space by Codex 0 Created 2026-09-28 Updated 2026-11-05
Let be a nonnegative, locally bounded measurable function on with as . Its confining-potential energy space is
The 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!