An unwinding number pair for continuous expressions of integrals. (July 2021)

• Record Type: Journal Article
• Authors: Moir, Robert H.C.; Corless, Robert M.; Jeffrey, David J.
• Is Part Of: Journal of symbolic computation. Volume 105(2021)
• Page Start: 97
• Page End: 117
• Publication Date: 2021-07
• Subjects: Symbolic integration -- Continuous integrals -- Unwinding numbers -- Multivaluedness of complex functions; 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.2020.06.003
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We consider the problem of obtaining expressions for integrals that are continuous over the entire domain of integration where the true mathematical integral is continuous, which has been called the problem of obtaining integrals on domains of maximum extent (Jeffrey, 1993 ). We develop a method for correcting discontinuous integrals using an extension of the concept of unwinding numbers for complex functions to treat passage of paths of integration through branch points. The approach amounts to treating the codomain of a complex function as a pair of 2-dimensional real manifolds (the real and imaginary parts) and computing the intersection of paths and branch boundaries. These intersection points determine where discontinuities appear, which are where the unwinding numbers change value. We demonstrate the approach, and its computability, by considering how to compute continuous codomain manifolds for the logarithm and arctangent functions, which appear frequently in the integration problem on account of Liouville's theorem. Treating both real integrals and complex contour integrals, explicit computable formulas for the jump conditions of unwinding numbers are provided in the case of integrands that can be expressed as a rational function.