Additive normal forms and integration of differential fractions. (November 2016)

• Record Type: Journal Article
• Authors: Boulier, François; Lemaire, François; Lallemand, Joseph; Regensburger, Georg; Rosenkranz, Markus
• Is Part Of: Journal of symbolic computation. Volume 77(2016)
• Page Start: 16
• Page End: 38
• Publication Date: 2016-11
• Subjects: Differential algebra -- Differential fraction -- Integration; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2016.01.002
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: This paper presents two new normal forms for fractions of differential polynomials, as well as algorithms for computing them. The first normal form allows to write a fraction as the derivative of a fraction plus a nonintegrable part. The second normal form is an extension of the first one, involving iterated differentiations. The main difficulty in this paper consists in defining normal forms which are linear operations over the field of constants, a property which was missing in our previous works. Our normal forms do not require fractions to be converted into polynomials, a key feature for further problems such as integrating differential fractions, and more generally solving differential equations.