TheoremBase

Existence of a Smooth Plateau Function on Euclidean Space

For a centre x0 and radii r < s there is a smooth function on RqR^q with values in [0,1] that equals 1 on the closed ball of radius r about x0 and vanishes wherever the distance to x0 is at least s. This is the bump-function lemma restated for the current (recursive Ck)C^k) notion of smoothness, which the older lemma does not provide, and without the hypothesis 0 < r; the proof mollifies a continuous plateau function.

Statement

Adopt Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation and fix a dimension qq. Smoothness of a function Rq→R\mathbb{R}^{q}\to\mathbb{R} is that of Smooth Functions on an Open Subset of ℝⁿ on Rq\mathbb{R}^{q}, which is open by claim 1 of Euclidean Space Is Open in Itself. Let x0∈Rqx_{0}\in\mathbb{R}^{q} and let r,sr,s be real numbers with r<sr<s.

Then there exists a smooth χ:Rq→R\chi:\mathbb{R}^{q}\to\mathbb{R} such that 0≤χ(x)≤10\le\chi(x)\le1 for every x∈Rqx\in\mathbb{R}^{q}, χ(x)=1\chi(x)=1 whenever ∥x−x0∥≤r\lVert x-x_{0}\rVert\le r, and χ(x)=0\chi(x)=0 whenever ∥x−x0∥≥s\lVert x-x_{0}\rVert\ge s.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…