Rigidity and stability of the Leibniz and the chain rule

Hermann König ; Vitali Milman

Informatics and Automation, Orthogonal series, approximation theory, and related problems, Tome 280 (2013), pp. 198-214.

Résumé

We study rigidity and stability properties of the Leibniz and chain rule operator equations. We describe which non-degenerate operators $V,T_1,T_2,A\colon C^k(\mathbb R)\to C(\mathbb R)$ satisfy equations of the generalized Leibniz and chain rule type for $f,g\in C^k(\mathbb R)$, namely, $V(f\cdot g)=(T_1f)\cdot g+f\cdot(T_2g)$ for $k=1$, $V(f\cdot g)=(T_1f)\cdot g+f\cdot(T_2g)+(Af)\cdot(Ag)$ for $k=2$, and $V(f\circ g)=(T_1f)\circ g\cdot(T_2g)$ for $k=1$. Moreover, for multiplicative maps $A$, we consider a more general version of the first equation, $V(f\cdot g)=(T_1f)\cdot(Ag)+(Af)\cdot(T_2g)$ for $k=1$. In all these cases, we completely determine all solutions. It turns out that, in any of the equations, the operators $V$, $T_1$ and $T_2$ must be essentially equal. We also consider perturbations of the chain and the Leibniz rule, $T(f\circ g)=Tf\circ g\cdot Tg+B(f\circ g,g)$ and $T(f\cdot g)=Tf\cdot g+f\cdot Tg+B(f,g)$, and show under suitable conditions on $B$ in the first case that $B=0$ and in the second case that the solution is a perturbation of the solution of the standard Leibniz rule equation.

Bibliographie

[1] Aczél J., Lectures on functional equations and their applications, Acad. Press, New York, 1966 | MR | Zbl

[2] Artstein-Avidan S., Faifman D., Milman V., “On multiplicative maps of continuous and smooth functions”, Geometric aspects of functional analysis, Israel seminar 2006–2010, Lect. Notes Math., 2050, Springer, Berlin, 2012, 35–59 | DOI | MR | Zbl

[3] Artstein-Avidan S., König H., Milman V., “The chain rule as a functional equation”, J. Funct. Anal., 259 (2010), 2999–3024 | DOI | MR | Zbl

[4] Kestelman H., “On the functional equation $f(x+y) = f(x) + f(y)$”, Fundam. math., 34 (1947), 144–147 | MR | Zbl

[5] König H., Milman V., “Characterizing the derivative and the entropy function by the Leibniz rule”, J. Funct. Anal., 261 (2011), 1325–1344 | DOI | MR | Zbl

[6] König H., Milman V., “An operator equation generalizing the Leibniz rule for the second derivative”, Geometric aspects of functional analysis, Israel seminar 2006–2010, Lect. Notes Math., 2050, Springer, Berlin, 2012, 279–299 | DOI | MR | Zbl

[7] König H., Milman V., “An operator equation characterizing the Laplacian”, Algebra i analiz, 24:4 (2012), 137–155