Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Symbolic integration of hyperexponential 1-forms

Abstract : Summary: "Let H be a hyperexponential function in n variables x=(x1,…,xn) with coefficients in a field K, [K:Q]<∞, 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 HK[x,1/(SD)] for a given H, D being the denominator of dH/H and S∈K[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.''
Type de document :
Communication dans un congrès
Liste complète des métadonnées
Contributeur : Imb - Université de Bourgogne <>
Soumis le : jeudi 6 février 2020 - 11:46:44
Dernière modification le : jeudi 28 janvier 2021 - 10:28:03


  • HAL Id : hal-02468965, version 1


Thierry Combot. Symbolic integration of hyperexponential 1-forms. ISSAC '19: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. ⟨hal-02468965⟩



Consultations de la notice