Statement

Let χCc(Rn)\chi\in C_c^\infty(\mathbb R^n), aRna\in\mathbb R^n, and δ>0\delta>0. Set χa,δ(x)=χ((xa)/δ)\chi_{a,\delta}(x)=\chi((x-a)/\delta). Then

αχa,δ(x)=δα(αχ)((xa)/δ),αχa,δ=δααχ.\partial^\alpha\chi_{a,\delta}(x) =\delta^{-|\alpha|}(\partial^\alpha\chi)((x-a)/\delta), \qquad \|\partial^\alpha\chi_{a,\delta}\|_\infty =\delta^{-|\alpha|}\|\partial^\alpha\chi\|_\infty.

Thus the support shrinks with δ\delta, while derivatives grow with inverse powers of δ\delta. The identity follows by repeated use of the .

Anisotropic scaling

For positive widths δ1,,δn\delta_1,\ldots,\delta_n, replacing the argument by ((xiai)/δi)i((x_i-a_i)/\delta_i)_i gives the factor iδiαi\prod_i\delta_i^{-\alpha_i}. Different directions can therefore incur different derivative costs.

Product errors

The records exactly which derivatives strike the cutoff when differentiating χa,δf\chi_{a,\delta}f. These terms are supported in its transition region when at least one derivative strikes a cutoff that is constant on its plateau and outside its support.