Solving linear ordinary differential systems in hyperexponential extensions
Résumé
Let F be a differential field generated from the rational func- tions over some constant field by one hyperexponential ex- tension. We present an algorithm to compute the solutions in Fn of systems of n first-order linear ODEs. Solutions in F of a scalar ODE of higher order can be determined by an algorithm of Bronstein and Fredet. Our approach avoids reduction to the scalar case. We also give examples to show how this can be applied to integration.