M. van Hoeij
ABSTRACT
Given a second order linear differential equations with coefficients in a field k=C(x), the Kovacic algorithm finds all Liouvillian solutions, that is, solutions that one can write in terms of exponentials, logarithms, integration symbols, algebraic extensions, and combinations thereof. A theorem of Klein states that, in the most interesting cases of the Kovacic algorithm (i.e when the projective differential Galois group is finite), the differential equation must be a pullback (a change of variable) of a standard hypergeometric equation. This provides a way to represent solutions of the differential equation in a more compact way than the format provided by the Kovacic algorithm. Formulas to make Klein's theorem effective were given in [4, 2, 3]. In this paper we will give a simple algorithm based on such formulas. To make the algorithm more easy to implement for various differential fields k, we will give a variation on the earlier formulas, namely we will base the formulas on invariants of the differential Galois group instead of semi-invariants.
- Baldassarri, F; Dwork, B: Differential Equations with Algebraic Solutions, American Journal of Mathematics 101, 1979, p42--76.Google Scholar
Cross Ref
- Berkenbosch, M: Algorithms and Moduli Spaces for Differential Equations PhD dissertation, Rijksuniversiteit Groningen, 2004.Google Scholar
- Berkenbosch, M: Pullbacks for Differential Equations, submittedGoogle Scholar
- Berkenbosch, M; van Hoeij, M; Weil, J-A: Recent Algorithms for Solving Second-Order Differential Equations} summary by Michele Loday-Richaud. INRIA research report #5003. Algorithms seminar, 2001-2002 http://algo.inria.fr/seminars/sem01-02/weil.pdfGoogle Scholar
- Beukers, F; van der Waall, A: Lamé equations with algebraic solutions. J. Differential Equations 197 (2004), no. 1, 1--25Google ScholarCross Ref
- Bronstein, M: Integration of elementary functions. J. Symbolic Comput. 9 (1990), no. 2, 117--173. Google ScholarDigital Library
- Bronstein, M ; Lafaille, S: Solutions of linear ordinary differential equations in terms of special functions. Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation, 23--28, ACM, New York, 2002. Google ScholarDigital Library
- Bronstein, M; Fredet, A: Solving linear ordinary differential equations over C(x,e f(x)dx). Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), 173--179, ACM, New York, 1999. Google ScholarDigital Library
- Bronstein, M; Mulders, T; Weil, J-A: On symmetric powers of differential operators. Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, 156--163, ACM, New York, 1997. Google ScholarDigital Library
- Burger R, van Hoeij M, and Labahn G: Closed Form Solutions of Linear Odes having Elliptic Function Coefficients. International Symposium on Symbolic and Algebraic Computation'04 Proceedings, 58--64, ACM, New York, 2004 Google ScholarDigital Library
- Chalkley, R: Relative invariants for homogeneous linear differential equations, J. Differential Equations 80, 107--153, 1989.Google ScholarCross Ref
- Chan, L; Cheb-Terrab, E.S: Non-liouvillian solutions for second order Linear ODEs. International Symposium on Symbolic and Algebraic Computation'04 Proceedings, 80-86, ACM, New York, 2004 Google ScholarDigital Library
- Hubert, E: Notes on triangular sets and triangulation-decomposition algorithms II: Differential Systems, in Symbolic and Numerical Scientific Computing 2630 p. 40--87 (Ed: Winkler, F. and Langer, U.), Springer Verlag Heidelberg, 2003 Google ScholarDigital Library
- Boulier, F; Hubert, E: diffalg: description, help pages and examples of use Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998. Now at http://www.inria.fr/cafe/Evelyne.Hubert/diffalgGoogle Scholar
- Fakler, W: On second order homogeneous linear differential equations with Liouvillian solutions. Computer algebra (Saint-Louis, 1996). Theoret. Comput. Sci. 187 (1997), no. 1-2, 27--48. Google ScholarDigital Library
- Hendriks, P.A.; van der Put, M: Galois action on solutions of a differential equation. J. Symbolic Comput. 19 (1995), no. 6, 559--576. Google ScholarDigital Library
- van Hoeij, Mark: The Minimum Polynomial of an Algebraic Solution of Abel's problem. Preprint FSU00-02.Google Scholar
- Klein, F: Ueber lineare Differentialgleichungen, Math. Ann. 12 (1877) 167--179.Google ScholarCross Ref
- Kovacic, J.J: An Algorithm for Solving Second Order Linear Differential Equations, Journal of Symbolic Computation 2, 1986, p3--43. Google ScholarDigital Library
- Liţcanu, R: Lamé operators with finite monodromy---a combinatorial approach. J. Differential Equations 207 (2004), no. 1, 93--11Google ScholarCross Ref
- Maier, R.S: Algebraic solutions of the Lam equation, revisited. J. Differential Equations 198 (2004), no. 1, 16--34Google ScholarCross Ref
- van der Put, M: Galois Theory of Differential Equations, Algebraic Groups and Lie Algebras, Journal of symbolic computation 28, 1999, p441--472. Google ScholarDigital Library
- van der Put, M: Singer, M.F: Galois Theory of linear Differential Equations, Grundlehren der mathematischen Wissenschaften, Springer 2003.Google Scholar
- Singer, M.F: Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients Journal of Symbolic Computation, 1991. Google ScholarDigital Library
- Singer, M.F ; Ulmer, F: Liouvillian and algebraic solutions of second and third order linear differential equations. J. Symbolic Comput. 16 (1993), no. 1, 37--73. Google ScholarDigital Library
- Vidunas, R: Algebraic transformations of Gauss hypergeometric functions, preprint (2004 http://arxiv.org/abs/math.CA/0408269Google Scholar
- Ulmer, F ; Weil, J-A Note on Kovacic's algorithm. J. Symbolic Comput. 22 (1996), no. 2, 179--200. Google ScholarDigital Library
Index Terms
- Solving second order linear differential equations with Klein's theorem
Recommendations
Taylor polynomial solutions of second order linear partial differential equations
The purpose of this study is to give a Taylor polynomial approximation for the solution of second order linear partial differential equations with two variables and variable coefficients. For this purpose, Taylor matrix method for the approximate ...
A numerical solution of second-order linear partial differential equations by differential transform
Two-dimensional differential transform provides an effective tool to numerically solve partial differential equations. In this paper, we propose a general numerical solution of second-order linear partial differential equations using two-dimensional ...
Higher order numerical methods for solving fractional differential equations
AbstractIn this paper we introduce higher order numerical methods for solving fractional differential equations. We use two approaches to this problem. The first approach is based on a direct discretisation of the fractional differential operator: we ...
Comments