Telescopers for differential forms with one parameter
Abstract
Telescopers for a function are linear differential (resp. difference) operators annihilated by the definite integral (resp. definite sum) of this function. They play a key role in Wilf-Zeilberger theory and algorithms for computing them have been extensively studied in the past thirty years. In this paper, we introduce the notion of telescopers for differential forms with -finite function coefficients. These telescopers appear in several areas of mathematics, for instance parametrized differential Galois theory and mirror symmetry. We give a sufficient and necessary condition for the existence of telescopers for a differential form and describe a method to compute them if they exist. Algorithms for verifying this condition are also given.
Cite
@article{arxiv.2101.06576,
title = {Telescopers for differential forms with one parameter},
author = {Shaoshi Chen and Ruyong Feng and Ziming Li and Michael F. Singer and Stephen Watt},
journal= {arXiv preprint arXiv:2101.06576},
year = {2021}
}
Comments
26 pages