[23Z]We formally indicate with D the operation ”computing of the derivative”. Given a polynomial p(x)
(which has constants coefficients ai∈ℂ) we formally construct the linear operator
which transforms a function f:ℝ→ℂ of class Cn+k into the function p(D)f, class at least Ck, defined pointwise by