The derivation equation for \(C^k\)-functions: stability and localization (Q476510)

The paper deals with the operator equation, generalizing the Leibniz rule: \[ T(fg)(x)=Tf(x)g(x)+f(x)Tg(x)+S(f,g)(x) \] for \(f,g\in C^k(\mathbb{R})\) (\(k\in\mathbb{N}\)). The perturbation operator \(S\) is assumed to be localized, i.e., \(S(f,g)(x)=B(x,f(x),\dots,f^{(k-1)}(x),g(x),\dots, g^{(k-1)}(x))\) (thus depends only on \(x\) and lower order derivatives at \(x\)) or is of the form \(Af(x)\cdot Ag(x)\). In the first case, assuming additionally that \(T\) annihilates polynomials of order less than \(k\), it is proved that \(T\) must be a multiple of the \(k\)-th derivative: \(Tf=df^{(k)}\). A generalization for \(k=2\) and mappings of \(n\) variables is also given. In the second case, without assuming localizations of \(T\) and \(A\) the possible forms of them are given. The paper is related to the authors' previous ones, in particular in [Lect. Notes Math. 2050, 279--299 (2012; Zbl 1262.39031)].