# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
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.

##### MSC:
 68W30 Symbolic computation and algebraic computation 34A05 Methods of solution of ODE
##### Keywords:
closed-form solution
Full Text:
##### References:
 [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) · Zbl 0070.26104 [4] Burnside, W.: Theory of groups of finite order. (1955) · Zbl 0064.25105 [5] Char, B. W.; Fee, G. J.; Geddes, K. O.; G,h; Gonnet; Monagan, M. B.: A tutorial introduction to Maple. J. symbolic computation 2 (1986) [6] Kaplansky, I.: An introduction to differential algebra. (1957) · Zbl 0083.03301 [7] Kolchin, E. R.: Differential algebra and algebraic groups. (1973) · 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. Proc. SYMSAC ’81, 105-108 (1981) [10] Singer, M. F.: Algebraic solutions of nth order linear differential equations. 54 (1979) [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) · Zbl 0564.12022 [13] Smith, C.: A discussion and implementation of kovacie’s algorithm for ordinary differential equations. (1984)