Telescopers for differential forms with one parameter

by   Shaoshi Chen, et al.

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.


page 1

page 2

page 3

page 4


Symbolic integration of hyperexponential 1-forms

Let H be a hyperexponential function in n variables x=(x_1,…,x_n) with c...

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions

Hermite reduction is a classical algorithmic tool in symbolic integratio...

Power Functions over Finite Fields with Low c-Differential Uniformity

Perfect nonlinear (PN) functions have important applications in cryptogr...

On the differential spectrum of a class of power functions over finite fields

Differential uniformity is a significant concept in cryptography as it q...

Tropical Differential Groebner Basis

In this paper, the tropical differential Gröbner basis is studied, which...

Constructions and Applications of Perfect Difference Matrices and Perfect Difference Families

Perfect difference families (PDFs for short) are important both in theor...

Ψec: A Local Spectral Exterior Calculus

We introduce Ψec, a local spectral exterior calculus that provides a dis...