The fundamental theorem of calculus in differential rings

Abstract: In this paper, we study the fundamental theorem of calculus and its consequences from an algebraic point of view. For functions with singularities, this leads to a generalized notion of evaluation. We investigate properties of such integro-differential rings and discuss many examples. We also construct corresponding integro-differential operators and provide normal forms via rewrite rules. They are then used to derive several identities and properties in a purely algebraic way, generalizing well-known results from analysis. In identities like shuffle relations for nested integrals and the Taylor formula, additional terms are obtained that take singularities into account. Another focus lies on treating basics of linear ODEs in this framework of integro-differential operators. These operators can have matrix coefficients, which allow to treat systems of arbitrary size in a unified way. In the appendix, using tensor reduction systems, we give the technical details of normal forms and prove them for operators including other functionals besides evaluation.

Mathematics Subject Classification ID

Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Linear ordinary differential equations and systems (34A30) Rings of differential operators (associative algebraic aspects) (16S32) Differential algebra (12H05) Integro-differential operators (47G20)

This page was built for publication: The fundamental theorem of calculus in differential rings

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