Elementary and Liouvillian solutions of linear differential equations (Q1106886)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Elementary and Liouvillian solutions of linear differential equations
scientific article

    Statements

    Elementary and Liouvillian solutions of linear differential equations (English)
    0 references
    1986
    0 references
    Let k be a differential field of characteristic 0. An element of some differential extension of k is said to be Liouvillian (resp. elementary) if it can be reached from k by a finite number of steps each of which is either to take a primitive (resp. to take the logarithm) or to take the exponential or to solve an algebraic equation. Let now \(L(y)=b\) be a linear differential equation with coefficients in k. It is shown that this equation cannot have a nonzero elementary (resp. Liouvillian) solution unless either it has a nonzero solution in k or the homogeneous equation \(L(y)=0\) has a nonzero solution u algebraic over k (resp. such that u'/u is algebraic over k). When k is a finite algebraic extension of \({\mathbb{Q}}(x)\), this result enables the authors to give an algorithm that decides if the equation \(L(y)=b\) has a Liouvillian solution and, if it does, that produces such a solution. The analogous problem for elementary solutions is also examined.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    differential field
    0 references
    linear differential equation
    0 references
    algorithm
    0 references
    Liouvillian solution
    0 references
    0 references
    0 references
    0 references