A plateau function
The goal of this page is to show the existence, for any compact set , of functions which are non-negative, infinitely differentiable, with compact support, and with a constant positive value in a neighborhood of the set . A construction of such function is presented here:
Let defined piecewise by:
We need to prove that this function is . The following result helps:
If is a polynomial and for , for , then is continuous. The derivative for is of the same form with replaced by , so exists and is equal to zero.
Consider now for any dimension the function defined below. It is non-negative, infinitely differentiable, with compact support, and it satisfies . Notice that the support of is the ball of radius 1 centered at the origin.
|with for any|
We can obtain a similar bump function with support in a ball centered at any location and with radius , by the usual translation and change of scales of the previous function
In the last step we accomplish the last desired property. For this task, we will construct the function by convolution of a bump function with the indicator of a small ball containing the given compact set. This convolution preserves both the “best” integrability and smoothness properties of the functions used to construct it, and so we obtain the desired result:
Let be a compact set, and let and such that . Consider the functions —the indicator function of the ball with radius centered in —and the bump funtcion , with support in the ball of radius centered at the origin. It is then
Notice that, by construction, this function satisfies:
- is non-negative.
- for all .
- if .
- if (in particular, for all )