English

Telescopers for differential forms with one parameter

Symbolic Computation 2021-01-20 v2

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 DD-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

R2 v1 2026-06-23T22:14:12.252Z