ABSTRACT
Let a system of linear ordinary differential equations of the first order Y′ = AY be given, where A is n × n matrix over a field F(X), assume that the degree degX(A) < d and the size of any coefficient occurring in A is at most M. The system Y′ = AY is called reducible if it is equivalent (over the field F(X)) to a system Y&prime1 = A1Y1 with a matrix A1 of the form A1 = (A1,1 0) (A2,1 A2,2)
An algorithm is described for testing irreducibility of the system with the running time exp(M(d2n)d2n).
- BBH 88.Beukers, F., Brownawell, D. and Heckman, G., Siegel Normality, Ann. Math. 127 (1988), pp. 279-308.Google ScholarCross Ref
- CG 83.Chistov, A. L. and Grigoriev, D. Yu., Subezponential-lime Solving $ysiems of Algebraic Equations, volumes i and II (1983), Preprints LOMI E-9-83 and E-10-83, Leningrad.Google Scholar
- CL 55.Coddington, E. and Levinson, N., Theory of Ordinary Differeniial Equations, McGraw- Hill, New York (1955).Google Scholar
- Gr 86.Grigoriev, D. 'flu., Computational Complexity in Polynomial Algebra, Proceedings of the International Congress of Mathematicians, volume 2, Berkeley (1986), pp. 1452- 1460.Google Scholar
- Gr 90.Grigoriev, D. Yu., Complexity of Factoring and Calculating the CCD of Linear Differential Operators, J. Symbol. Comput. (1990), to appear. Google ScholarDigital Library
- Ka 57.Kaplanski, I., An Introduction to Differential Algebra, Hermann, Paris (1957).Google Scholar
- La 65.Lang, S., Algebra, Addison-Wesley, Reading (1905).Google Scholar
- Si 81.Singer, M., Liouvillean Solutions of n-th Order Homogeneous Linear Differential Equations, Amer. J. Math. 103 (1981), pp. 661- 682.Google ScholarCross Ref
Index Terms
- Complexity of irreducibility testing for a system of linear ordinary differential equations
Recommendations
Approximate solution of linear ordinary differential equations with variable coefficients
In this paper, a novel, simple yet efficient method is proposed to approximately solve linear ordinary differential equations (ODEs). Emphasis is put on second-order linear ODEs with variable coefficients. First, the ODE to be solved is transformed to ...
System of linear ordinary differential and differential-algebraic equations and pseudo-spectral method
In this paper, first we introduce, briefly, pseudo-spectral method to solve linear Ordinary Differential Equations (ODEs), and then extend it to solve a system of linear ODEs and then Differential-Algebraic Equations (DAEs). Furthermore, because of ...
Linearization techniques for singular initial-value problems of ordinary differential equations
Linearization methods for singular initial-value problems in second-order ordinary differential equations are presented. These methods result in linear constant-coefficients ordinary differential equations which can be integrated analytically, thus ...
Comments