Wsrtjtyk

The graph of the bump function (x,y)∈R2↦Ψ(r),{displaystyle (x,y)in mathbf {R} ^{2}mapsto Psi (r),} where r=(x2+y2)12,Ψ(r)=e−11−r2⋅1{|r|<1}exp{displaystyle r=(x^{2}+y^{2})^{frac {1}{2}},Psi (r)=e^{-{frac {1}{1-r^{2}}}}cdot mathbf {1} _{{|r|<1}}exp }.

In mathematics, a bump function is a function f:Rn→R{displaystyle f:mathbf {R} ^{n}rightarrow mathbf {R} } on a Euclidean space Rn{displaystyle mathbf {R} ^{n}} which is both smooth (in the sense of having continuous derivatives of all orders) and compactly supported. These are also called test functions. The space of all bump functions on Rn{displaystyle mathbf {R} ^{n}} is denoted C0∞(Rn){displaystyle C_{0}^{infty }(mathbf {R} ^{n})} or Cc∞(Rn){displaystyle C_{c}^{infty }(mathbf {R} ^{n})}. The dual space of this space endowed with a suitable topology is the space of distributions.

Examples

The function Ψ:R→R{displaystyle Psi :mathbf {R} rightarrow mathbf {R} } given by

Ψ(x)={exp⁡(−11−x2) for x∈(−1,1)0 otherwise{displaystyle Psi (x)={begin{cases}exp left(-{frac {1}{1-x^{2}}}right)&{mbox{ for }}xin (-1,1)\0&{mbox{ otherwise}}end{cases}}}

is an example of a bump function in one dimension. It is clear from the construction that this function has compact support, since a function of the real line has compact support if and only if it has bounded and closed support. The proof of smoothness follows along the same lines as for the related function discussed in the Non-analytic smooth function article. This function can be interpreted as the Gaussian function exp⁡(−y2){displaystyle exp(-y^{2})} scaled to fit into the unit disc: the substitution y2=1/(1−x2){displaystyle y^{2}=1/(1-x^{2})} corresponds to sending x=±1{displaystyle x=pm 1} to y=∞{displaystyle y=infty }.

A simple example of a bump function in n{displaystyle n} variables is obtained by taking the product of n{displaystyle n} copies of the above bump function in one variable, so

Φ(x1,x2,…,xn)=Ψ(x1)Ψ(x2)⋯Ψ(xn).{displaystyle Phi (x_{1},x_{2},dots ,x_{n})=Psi (x_{1})Psi (x_{2})cdots Psi (x_{n}).}

Existence of bump functions

An illustration of the sets in the construction.

It is possible to construct bump functions "to specifications". Stated formally, if K{displaystyle K} is an arbitrary compact set in n{displaystyle n} dimensions and U{displaystyle U} is an open set containing K{displaystyle K}, there exists a bump function ϕ{displaystyle phi } which is 1{displaystyle 1} on K{displaystyle K} and 0{displaystyle 0} outside of U{displaystyle U}. Since U{displaystyle U} can be taken to be a very small neighborhood of K{displaystyle K}, this amounts to being able to construct a function that is 1{displaystyle 1} on K{displaystyle K} and falls off rapidly to 0{displaystyle 0} outside of K{displaystyle K}, while still being smooth.

The construction proceeds as follows. One considers a compact neighborhood V{displaystyle V} of K contained in U{displaystyle U}, so K⊆V∘⊆V⊆U{displaystyle Ksubseteq V^{circ }subseteq Vsubseteq U}. The characteristic function χV{displaystyle chi _{V}} of V{displaystyle V} will be equal to 1{displaystyle 1} on V{displaystyle V} and 0{displaystyle 0} outside of V{displaystyle V}, so in particular, it will be 1{displaystyle 1} on K{displaystyle K} and 0{displaystyle 0} outside of U{displaystyle U}. This function is not smooth however. The key idea is to smooth χV{displaystyle chi _{V}} a bit, by taking the convolution of χV{displaystyle chi _{V}} with a mollifier. The latter is just a bump function with a very small support and whose integral is 1{displaystyle 1}. Such a mollifier can be obtained, for example, by taking the bump function Φ{displaystyle Phi } from the previous section and performing appropriate scalings.

Properties and uses

While bump functions are smooth, they cannot be analytic unless they vanish identically. This is a simple consequence of the identity theorem. Bump functions are often used as mollifiers, as smooth cutoff functions, and to form smooth partitions of unity. They are the most common class of test functions used in analysis. The space of bump functions is closed under many operations. For instance, the sum, product, or convolution of two bump functions is again a bump function, and any differential operator with smooth coefficients, when applied to a bump function, will produce another bump function.

The Fourier transform of a bump function is a (real) analytic function, and it can be extended to the whole complex plane: hence it cannot be compactly supported unless it is zero, since the only entire analytic bump function is the zero function (see Paley–Wiener theorem). Because the bump function is infinitely differentiable, its Fourier transform must decay faster than any finite power of 1/k{displaystyle 1/k} for a large angular frequency |k|{displaystyle |k|}.^[1] The Fourier transform of the particular bump function

Ψ(x)=e−11−x21{|x|<1}{displaystyle Psi (x)=e^{-{frac {1}{1-x^{2}}}}mathbf {1} _{{|x|<1}}}

from above can be analyzed by a saddle-point method, and decays asymptotically as

|k|−34e−|k|{displaystyle |k|^{-{frac {3}{4}}}e^{-{sqrt {|k|}}}}

for large |k|{displaystyle |k|}.^[2]

See also

• Laplacian of the indicator


• Non-analytic smooth function


• Schwartz space

References