Basic Properties of the Sublevel Sets of a Penalty
lemmaAnalysisPDElem:penalty-open-set-basic-euclidean-2026aA penalty is bounded below; each strict sublevel set is a bounded open set whose closure is compact and lies in the closed sublevel set, and the penalty equals the level on its boundary.
In the setting of Second-Order Equations on Euclidean Open Sets, let be a natural number, let be open and let be a penalty on . For write , and write and .
Then the following hold.
1. (Lower bound)¶ There is with for every .
2. (Sublevel sets)¶ For every the set is open and bounded, is compact, and ; in particular .
3. (Boundary)¶ For every and every one has and .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.