Symbolic integration of hyperexponential 1-forms

DOI10.1145/3326229.3326245MaRDI QIDQ5120480zbMATH OpenOpenAlexWikidataFDO

Authors Thierry Combot

Publication date 10 September 2020

Published in Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.09029

zbMATH Keywords

symbolic integrationfunction decompositionHermite reduction

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonlinear ordinary differential equations and systems (34A34) Differential algebra (12H05)

Abstract: Let $H$ be a hyperexponential function in $n$ variables $x=(x_1,dots,x_n)$ with coefficients in a field $mathbbK$, $[mathbbK:mathbbQ]<infty$, and $omega$ a rational differential $1$-form. Assume that $Homega$ 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 $intHomega=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 $HmathbbK[x,1/(SD)]$ for a given $H$, $D$ being the denominator of $dH/H$ and $SinmathbbK[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.

Recommendations

• The Risch Differential Equation Problem
• Differential rational normal forms and a reduction algorithm for hyperexponential func
• scientific article; zbMATH DE number 3921969
• Resultant-free computation of indefinite hyperexponential integrals
• Symbolic integration. I: Transcendental functions

Cited in

(1)

• Symbolic integration on planar differential foliations

This page was built for publication: Symbolic integration of hyperexponential 1-forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5120480)