Telescopers for differential forms with one parameter

Autor:	Chen, Shaoshi, Feng, Ruyong, Li, Ziming, Singer, Michael F., Watt, Stephen
Rok vydání:	2021
Předmět:	Computer Science - Symbolic Computation 68W30
Druh dokumentu:	Working Paper
Popis:	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 $D$-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. Comment: 26 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2101.06576 Zobrazit plný text záznamu View this record from Arxiv