Formal differential variables and an abstract chain rule

arXiv2211.04578MaRDI QIDQ6416612FDOQ6416612

Publication date: 8 November 2022

Abstract: One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth and Patashnik's claim that "there's no corresponding chain rule of finite calculus").

This page was built for publication: Formal differential variables and an abstract chain rule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6416612)