ON SOLUTIONS OF LINEAR ORDINARY DIFFERENTIAL-EQUATIONS IN THEIR COEFFICIENT FIELD

被引:21
作者
BRONSTEIN, M
机构
[1] Institut für Wissenschaftliches Rechnen, ETH Zentrum, Zürich
关键词
D O I
10.1016/S0747-7171(08)80106-X
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We describe a rational algorithm for finding the denominator of any solution of a linear ordinary differential equation in its coefficient field. As a consequence, there is now a rational algorithm for finding all such solutions when the coefficients can be built up from the rational functions by finitely many algebraic and primitive adjunctions. This also eliminates one of the computational bottlenecks in algorithms that either factor or search for Liouvillian solutions of such equations with Liouvillian coefficients. © 1992, Academic Press Limited. All rights reserved.
引用
收藏
页码:413 / 439
页数:27
相关论文
共 8 条
[1]  
ABRAMOV SA, 1989, J COMPUTATIONAL MATH, V29, P1611
[2]  
Bronstein M., 1990, Applicable Algebra in Engineering, Communication and Computing, V1, P5, DOI 10.1007/BF01810844
[3]  
Bronstein M., 1991, Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation. ISSAC '91, P241, DOI 10.1145/120694.120731
[4]   INTEGRATION OF ELEMENTARY-FUNCTIONS [J].
BRONSTEIN, M .
JOURNAL OF SYMBOLIC COMPUTATION, 1990, 9 (02) :117-173
[5]   ALGORITHMIC INTEGRATION OF ELEMENTARY TRANSCENDENTAL FUNCTIONS ON AN ALGEBRAIC CURVE [J].
DAVENPORT, JH .
ANNALES DE L INSTITUT FOURIER, 1984, 34 (02) :271-276
[6]  
RISCH R, 1968, SP280100200 SYST DEV
[7]  
Schwarz F., 1989, Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, ISSAC '89, P17, DOI 10.1145/74540.74544
[8]   LIOUVILLIAN SOLUTIONS OF LINEAR-DIFFERENTIAL EQUATIONS WITH LIOUVILLIAN COEFFICIENTS [J].
SINGER, MF .
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 11 (03) :251-273