Telescopers for differential forms with one parameter

01/17/2021
by   Shaoshi Chen, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/25/2019

Symbolic integration of hyperexponential 1-forms

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

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

Hermite reduction is a classical algorithmic tool in symbolic integratio...
03/29/2020

Power Functions over Finite Fields with Low c-Differential Uniformity

Perfect nonlinear (PN) functions have important applications in cryptogr...
12/08/2020

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

Differential uniformity is a significant concept in cryptography as it q...
04/03/2019

Tropical Differential Groebner Basis

In this paper, the tropical differential Gröbner basis is studied, which...
10/20/2021

Constructions and Applications of Perfect Difference Matrices and Perfect Difference Families

Perfect difference families (PDFs for short) are important both in theor...
11/29/2018

Ψec: A Local Spectral Exterior Calculus

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