Statement

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

∂αχa,δ(x)=δ−∣α∣(∂αχ)((x−a)/δ),∥∂αχ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 ((xi−ai)/δ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.