An algorithm for solving second order linear homogeneous differential equations

Authors:
Jerald J. Kovacic
Affiliations:
JYACC Inc., 919 Third Avenue, New York, NY 10022, U.S.A.
Venue:
Journal of Symbolic Computation
Year:
1986

Citing 3
Cited 31

MACSYMA from F to G

Journal of Symbolic Computation
A tutorial introduction to Maple

Journal of Symbolic Computation
An implementation of Kovacic's algorithm for solving second order linear homogeneous differential equations

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation

Formal solutions of differential equations

Journal of Symbolic Computation
On Liouvillian solutions of homogeneous linear differential equations

ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Linear ordinary differential equations: breaking through the order 2 barrier

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
Liouvillian solutions of third order linear differential equations: new bounds and necessary conditions

ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
On algebraic solutions of first order Riccatti equation

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
A rationality result for Kovacic's algorithm

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Full partial fraction decomposition of rational functions

ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
The use of the special semi-groups for solving differential equations

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Note on Kovacic's algorithm

ACM SIGSAM Bulletin
Solving linear ordinary differential equations over C (x, e∫ f(x)dx)

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
About the polynomial solutions of homogeneous linear differential equations depending on parameters

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
On Liouvillian solutions of linear differential equations of order 4 and 5

Proceedings of the 2001 international symposium on Symbolic and algebraic computation
The Riccati equation in mathematical finance

Journal of Symbolic Computation
An algorithmic approach to exact power series solutions of second order linear homogeneous differential equations with polynomial coefficients

Applied Mathematics and Computation
Fourth order linear differential equations with imprimitive group

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Liouvillian solutions of third order differential equations

Journal of Symbolic Computation
Polynomial solutions for first order ODEs with constant coefficients

ACM SIGSAM Bulletin
Rational general solutions of algebraic ordinary differential equations

ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Algebraic general solutions of algebraic ordinary differential equations

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Solving second order linear differential equations with Klein's theorem

Proceedings of the 2005 international symposium on Symbolic and algebraic computation
Transformations of some Gauss hypergeometric functions

Journal of Computational and Applied Mathematics - Special issue: Proceedings of the seventh international symposium on Orthogonal polynomials, special functions and applications
On the Euler-Imshenetskii-Darboux transformation of linear second-order equations

Programming and Computing Software
Solving difference equations whose coefficients are not transcendental

Theoretical Computer Science
What Might "Understand a Function" Mean?

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations

Journal of Symbolic Computation
Transformations of some Gauss hypergeometric functions

Journal of Computational and Applied Mathematics - Special issue: Proceedings of the seventh international symposium on Orthogonal polynomials, special functions and applications
A reduced form for linear differential systems and its application to integrability of Hamiltonian systems

Journal of Symbolic Computation
Polynomial general solutions for first order autonomous ODEs

IWMM'04/GIAE'04 Proceedings of the 6th international conference on Computer Algebra and Geometric Algebra with Applications
Computer algebra in nanosciences: modeling electronic states in quantum dots

CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
Examples of the investigation of differential equations with modularized programs

Mathematical and Computer Modelling: An International Journal
Second order differential equations with hypergeometric solutions of degree three

Proceedings of the 38th international symposium on International symposium on symbolic and algebraic computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.