An algorithm for solving second order linear homogeneous differential equations. (English) Zbl 0603.68035

Summary: In this paper we present an algorithm for finding a “closed-form” solution of the differential equation \(y''+ay'+by\), where \(a\) and \(b\) are rational functions of a complex variable \(x\), provided a “closed-form” solution exists. The algorithm is so arranged that if no solution is found, then no solution can exist.


68W30 Symbolic computation and algebraic computation
34A05 Explicit solutions, first integrals of ordinary differential equations
Full Text: DOI


[1] Baldassarri, F., On second order linear differential equations with algebraic solutions on algebraic curves, Am. J. Math., 102, 517-535 (1980) · Zbl 0438.34007
[2] Baldassarri, F.; Dwork, B., On second order linear differential equations with algebraic solutions, Am. J. Math., 101, 42-76 (1979) · Zbl 0425.34007
[3] Borel, A., Groupes lin6aires alg briques, Attn. Math., 64, 20-82 (1956)
[4] Burnside, W., (Theory of Groups of Finite Order (1955), Dover: Dover New York) · Zbl 0064.25105
[5] Char, B. W.; Fee, G. J.; Geddes, K. O.; Gonnet, G,H,; Monagan, M. B., A tutorial introduction to MAPLE, J. Symbolic Computation 2 (1986), in press
[6] Kaplansky, I., An Introduction to Differential Algebra (1957), Hermann: Hermann Paris · Zbl 0083.03301
[7] Kolchin, E. R., Differential Algebra and Algebraic Groups (1973), Academic Press: Academic Press New York · Zbl 0264.12102
[8] Pavelle, R.; Wang, P. S., MACSYMA from F to G, J. Symbolic Computation, 1, 69-100 (1985) · Zbl 0573.68007
[9] Saunders, B. D., A11 implementation of Kovaeic’s algorithm for solving second order linear homogeneous differential equations, (Wang, P., Proc. SYMSAC ’81 (1981), ACM: ACM New York), 105-108
[10] Singer, M. F., (Algebraic solutions of nth order linear differential equations. Algebraic solutions of nth order linear differential equations, Proceedings of the I979 Queens University Conference on Number Theory (1979), Queens Papers in Pure and Applied Mathematics), 54
[11] Singer, M. F., Liouvillian solutions ofnth order homogeneous linear differential equations, Ant. J. Math., 103, 661-682 (1981) · Zbl 0477.12026
[12] Singer, M. F., Solving homogeneous linear differential equations in terms of second order linear differential equations, (Amer. J. Math. (1985)), (in press) · Zbl 0564.12022
[13] Smith, C., (A discussion and implementation of Kovacie’s algorithm for ordinary differential equations (1984)), University of Waterloo Computer Science Department Research Report CS-84-35
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.