Factorization of second-order linear differential equations and Liouville-Neumann expansions

Inspired by the factorization method used in Ronveaux (2003) [1], we introduce a quasi-factorization technique for second-order linear differential equations that brings together three rather diverse subjects of the field of differential equations: factorization of differential equations, Liouville-Neumann approximation, and the Frobenius theory. The factorization of a linear differential equation is a theoretical tool used to solve the equation exactly, although its range of applicability is quite reduced. On the other hand, the Liouville-Neumann algorithm is a practical tool that approximates a solution of the equation, it is based on a certain integral equation equivalent to the differential equation and its range of applicability is extraordinarily large. In this paper we combine both procedures. We use the ideas of the factorization to find families of integral equations equivalent to the differential equation. From those families of integral equations we propose new Liouville-Neumann algorithms that approximate the solutions of the equation. The method is valid for either regular or regular singular equations. We discuss the convergence properties of the algorithms and illustrate them with examples of special functions. These families of integral equations are parameterized by a certain regular function, so they constitute indeed a function-parametric family of integral equations. A special choice of that function corresponds with a factorization of the differential equation. In this respect, other choices of that function may be considered as quasi-factorizations of the differential equation. The quasi-factorization technique lets us find also a relation between the Liouville-Neumann expansion and the theory of Frobenius and shows that the Liouville-Neumann method may be viewed as a generalization of the theory of Frobenius.

[1]  Pierpaolo Natalini,et al.  FACTORIZATION OF DIFFERENTIAL OPERATORS FOR SOME SPECIAL FUNCTIONS , 2003 .

[2]  Jerald J. Kovacic,et al.  An Algorithm for Solving Second Order Linear Homogeneous Differential Equations , 1986, J. Symb. Comput..

[3]  David Corwin.  Galois Theory , 2009 .

[4]  Serguei P. Tsarev,et al.  An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator , 1996, ISSAC '96.

[5]  A. Polyanin,et al.  Handbook of Exact Solutions for Ordinary Differential Equations , 1995 .

[6]  Primitivo B. Acosta Hum.  La teor´õa de Morales-Ramis y el algoritmo de Kovacic , 2006 .

[7]  V. Hutson.  Integral Equations , 1967, Nature.

[8]  Fritz Schwarz,et al.  A factorization algorithm for linear ordinary differential equations , 1989, ISSAC '89.

[9]  P. Mikusinski,et al.  Introduction to Hilbert spaces with applications , 1990 .

[10]  W. Robin,et al.  Operator factorization and the solution of second-order linear ordinary differential equations , 2007 .

[11]  Mark van Hoeij,et al.  Factorization of Differential Operators with Rational Functions Coefficients , 1997, J. Symb. Comput..

[12]  Andy R. Magid,et al.  Lectures on differential Galois theory , 1994 .

[13]  Matthew He,et al.  Differential equation of Appell polynomials via the factorization method , 2002 .

[14]  André Ronveaux,et al.  Factorization of some confluent Heun's differential equations , 2007, Appl. Math. Comput..

[15]  José L. López,et al.  Variation of parameters and solutions of composite products of linear differential equations , 2010 .

[16]  Acosta Humánez,et al.  La teoría de Morales-Ramis y el algoritmo de Kovacic , 2006 .

[17]  Manuel Bronstein,et al.  An improved algorithm for factoring linear ordinary differential operators , 1994, ISSAC '94.

[18]  André Ronveaux,et al.  Factorization of the Heun's differential operator , 2003, Applied Mathematics and Computation.

[19]  José L. López.  The Liouville–Neumann expansion at a regular singular point , 2009 .

[20]  Wolfram Koepf,et al.  Factorization of fourth-order differential equations for perturbed classical orthogonal polynomials , 2004 .

[21]  N. Temme.  Special Functions: An Introduction to the Classical Functions of Mathematical Physics , 1996 .

[22]  M Berkovich Lev,et al.  METHOD OF FACTORIZATION OF ORDINARY DIFFERENTIAL OPERATORS AND SOME OF ITS APPLICATIONS , 2007 .

[23]  Irene A. Stegun,et al.  Handbook of Mathematical Functions. , 1966 .