Nonattainment under strict positivity for shifted Poisson fidelity

ID: nonattainment-under-strict-positivity-for-shifted-poisson-fidelity

On a bounded domain, suppose , , and a bounded positivity-preserving operator satisfies . Every strictly positive has : otherwise for all , and continuity gives . Since whenever , every such has positive energy. The constants have zero variation and energy at most . Their excluded zero limit proves nonattainment. Coercivity and bounded-variation compactness cannot by themselves preserve a nonclosed strict-positivity constraint.

New to topics? Read the docs here!