Solving second order linear differential equations with Klein's theorem

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.

REFERENCES

• 1: Baldassarri, F; Dwork, B: Differential Equations with Algebraic Solutions, American Journal of Mathematics 101, 1979, p42--76.
• 2: Berkenbosch, M: Algorithms and Moduli Spaces for Differential Equations PhD dissertation, Rijksuniversiteit Groningen, 2004.
• 3: Berkenbosch, M: Pullbacks for Differential Equations, submitted
• 4: 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.pdf
• 5: Beukers, F; van der Waall, A: Lamé equations with algebraic solutions. J. Differential Equations 197 (2004), no. 1, 1--25
• 6: Manuel Bronstein, Integration of elementary functions, Journal of Symbolic Computation, v.9 n.2, p.117-173, Feb. 1990 [doi>10.1016/S0747-7171(08)80027-2]
• 7: Manuel Bronstein , Sébastien Lafaille, Solutions of linear ordinary differential equations in terms of special functions, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.23-28, July 07-10, 2002, Lille, France [doi>10.1145/780506.780510]
• 8: Manuel Bronstein , Anne Fredet, Solving linear ordinary differential equations over C (x, e^{∫ f(x)dx}), Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.173-179, July 28-31, 1999, Vancouver, British Columbia, Canada [doi>10.1145/309831.309903]
• 9: Manuel Bronstein , Thom Mulders , Jacques-Arthur Weil, On symmetric powers of differential operators, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.156-163, July 21-23, 1997, Kihei, Maui, Hawaii, United States [doi>10.1145/258726.258771]
• 10: Reinhold Burger , George Labahn , Mark van Hoeij, Closed form solutions of linear odes having elliptic function coefficients, Proceedings of the 2004 international symposium on Symbolic and algebraic computation, p.58-64, July 04-07, 2004, Santander, Spain [doi>10.1145/1005285.1005296]
• 11: Chalkley, R: Relative invariants for homogeneous linear differential equations, J. Differential Equations 80, 107--153, 1989.
• 12: L. Chan , E. S. Cheb-Terrab, Non-liouvillian solutions for second order Linear ODEs, Proceedings of the 2004 international symposium on Symbolic and algebraic computation, p.80-86, July 04-07, 2004, Santander, Spain [doi>10.1145/1005285.1005299]
• 13: 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
• 14: 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/diffalg
• 15: Winfried Fakler, On second order homogeneous linear differential equations with Liouvillian solutions, Theoretical Computer Science, v.187 n.1-2, p.27-48, Nov. 15, 1997 [doi>10.1016/S0304-3975(97)00055-8]
• 16: Peter A. Hendriks , Marius van der Put, Galois action on solutions of a differential equation, Journal of Symbolic Computation, v.19 n.6, p.559-576, June 1995 [doi>10.1006/jsco.1995.1032]
• 17: van Hoeij, Mark: The Minimum Polynomial of an Algebraic Solution of Abel's problem. Preprint FSU00-02.
• 18: Klein, F: Ueber lineare Differentialgleichungen, Math. Ann. 12 (1877) 167--179.
• 19: Jerald J. Kovacic, An algorithm for solving second order linear homogeneous differential equations, Journal of Symbolic Computation, v.2 n.1, p.3-43, March 1986 [doi>10.1006/jsco.1998.0266]
• 20: Liţcanu, R: Lamé operators with finite monodromy---a combinatorial approach. J. Differential Equations 207 (2004), no. 1, 93--11
• 21: Maier, R.S: Algebraic solutions of the Lam equation, revisited. J. Differential Equations 198 (2004), no. 1, 16--34
• 22: Marius van der Put, Galois theory of differential equations, algebraic groups and Lie algebras, Journal of Symbolic Computation, v.28 n.4-5, p.441-472, Oct./Nov. 1999 [doi>10.1006/jsco.1999.0310]
• 23: van der Put, M: Singer, M.F: Galois Theory of linear Differential Equations, Grundlehren der mathematischen Wissenschaften, Springer 2003.
• 24: Michael F. Singer, Liouvillian solutions of linear differential equations with Liouvillian coefficients, Journal of Symbolic Computation, v.11 n.3, p.251-273, March 1991 [doi>10.1016/S0747-7171(08)80048-X]
• 25: Michael F. Singer , Felix Ulmer, Liouvillian and algebraic solutions of second and third order linear differential equations, Journal of Symbolic Computation, v.16 n.1, p.37-73, July 1993 [doi>10.1006/jsco.1993.1033]
• 26: Vidunas, R: Algebraic transformations of Gauss hypergeometric functions, preprint (2004 http://arxiv.org/abs/math.CA/0408269
• 27: Felix Ulmer , Jacques-Arthur Weil, Note on Kovacic's algorithm, Journal of Symbolic Computation, v.22 n.2, p.179-200, August 1996 [doi>10.1006/jsco.1996.0047]

INDEX TERMS

Primary Classification:
  G. Mathematics of Computing
  G.4 MATHEMATICAL SOFTWARE
      Subjects: Algorithm design and analysis

General Terms:
Algorithms