Symbolic integration of hyperexponential 1-forms

by   Thierry Combot, et al.

Let H be a hyperexponential function in n variables x=(x_1,…,x_n) with coefficients in a field 𝕂, [𝕂:β„š] <∞, and Ο‰ a rational differential 1-form. Assume that HΟ‰ is closed and H transcendental. We prove using Schanuel conjecture that there exist a univariate function f and multivariate rational functions F,R such that ∫ HΟ‰= f(F(x))+H(x)R(x). We present an algorithm to compute this decomposition. This allows us to present an algorithm to construct a basis of the cohomology of differential 1-forms with coefficients in H𝕂[x,1/(SD)] for a given H, D being the denominator of dH/H and Sβˆˆπ•‚[x] a square free polynomial. As an application, we generalize a result of Singer on differential equations on the plane: whenever it admits a Liouvillian first integral I but no Darbouxian first integral, our algorithm gives a rational variable change linearising the system.


page 1

page 2

page 3

page 4

βˆ™ 02/04/2018

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients

It is well known that for a first order system of linear difference equa...
βˆ™ 01/17/2021

Telescopers for differential forms with one parameter

Telescopers for a function are linear differential (resp. difference) op...
βˆ™ 05/18/2022

Symbolic-Numeric Factorization of Differential Operators

We present a symbolic-numeric Las Vegas algorithm for factoring Fuchsian...
βˆ™ 06/16/2020

Computing Igusa's local zeta function of univariates in deterministic polynomial-time

Igusa's local zeta function Z_f,p(s) is the generating function that cou...
βˆ™ 10/26/2015

Multiple binomial sums

Multiple binomial sums form a large class of multi-indexed sequences, cl...
βˆ™ 04/20/2020

An Efficient Method for Computing Liouvillian First Integrals of Planar Polynomial Vector Fields

Here we present an efficient method to compute Darboux polynomials for p...
βˆ™ 10/20/2017

Univariate Contraction and Multivariate Desingularization of Ore Ideals

Ore operators with polynomial coefficients form a common algebraic abstr...

Please sign up or login with your details

Forgot password? Click here to reset