Resolvent representation for regular differential ideals

Applicable Algebra in Engineering, Communications and Computing

Volumn 13, Issue 5, 2003, Pages 395-425

  Cluzeau, Thomas ^a   Hubert, Evelyne ^b  

^a UNIVERSITY OF LIMOGES   (France)

^b INRIA   (France)

Author keywords

Computer algebra; Cyclic vector; Differential algebra; Differential primitive element; Resolvent

Indexed keywords

ALGORITHMS; LINEAR EQUATIONS; PARTIAL DIFFERENTIAL EQUATIONS; POLES AND ZEROS; POLYNOMIALS; THEOREM PROVING; VECTORS;

COMPUTER ALGEBRA; CYCLIC VECTOR; DIFFERENTIAL ALGEBRA; DIFFERENTIAL PRIMITIVE ELEMENT; RESOLVENT REPRESENTATION;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 0037331777     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00200-002-0110-4     Document Type: Article

References (44)

1. Adjamagbo, K., Rigal, L.: Sur les vecteurs cycliques et les éléments primitifs différentiels. In: Lois d'Algèbres et Variétés Algèbriques (Colmar 1991), pp. 117-133. Hermann, Paris. 1996
2. Alonso, M.-E., Becker, E., Roy, M-F., Wörmann, T.: Zeros multiplicities and idempotents for zero-dimensional systems. In: Algorithms in Algebraic Geometry and Applications (Santander 1994), pp. 1-15, Birkhäuser, Basel, 1996
3. Aubry, P., Lazard, D., Moreno-Maza, M.: On the theories of triangular sets. Journal of Symbolic Computation, 28(1-2), 105-124 (1999)
4. Barkatou, M.A.: An algorithm for computing a companion block diagonal form for a system of linear differential equations. AAECC, 4(3), 185-195 (2000)
5. Becker, E., Marinari, M., Mora, T., Traverso, C.: The shape of the shape lemma. In: ISSAC'94, pp. 129-133, ACM Press, 1994
6. Birkhoff, G.D.: Formal theory of irregular linear difference equations. Acta Mathematica, 54, 205-246 (1930)
7. Boulier, F., Hubert, E.: Diffalg, a MAPLE package. Description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada. 1998. Now accessible on http://www-sop.inria.fr/cafe/Evelyne.Hubert/web-diffalg
8. Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: A.H.M. Levelt (ed) ISSAC'95, pp. 158-166, ACM Press, New York, 1995
9. Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Computing representations for radicals of finitely generated differential ideals. Technical Report IT-306, LIFL, 1997. Revised version available at http://www.lifl.fr/~boulier
10. Boulier, F., Lemaire, F.: Computing canonical representatives of regular differential ideals. In: C. Traverso (ed) ISSAC, pp. 38-47. ACM-SIGSAM, ACM, 2000
11. Bouziane, D., Kandri Rody, A., Maârouf, H.: Unmixed-dimensional decomposition of a finitely generated perfect differential ideal. Journal of Symbolic Computation, 31(6):631-649 (2001)
12. Garra Ferro, G.: Gröbner bases and differentialalgebra. In: AAECC, volume 356 of Lecture Notes in Computer Science. Berlin: Springer, 1987
13. Chou, S-C., Gao, X-S.: Automated reasonning in differential geometry and mechanics using the characteristic set method. Part I. An improved version of Ritt-Wu's decomposition algorithm. Journal of Automated Reasonning, 10, 161-172 (1993)
14. Churchill, R. C., Kovacic, J.J.: Cyclic Vectors. In: L. Guo and W.F Keigher, P.J. Cassidy and W.Y. Sit (eds), Differential Algebra and Related Topics. World Scientific, 2000. Proceedings of the international workshop at Rutgers University at Newark, USA 2-3 November 2000
15. Cluzeau, T., Hubert, E.: Resolvent representation for regular differential ideals. Technical Report RR-4200, INRIA Sophia Antipolis, 2001. http://www.inria.fr/rrrt/rr-4200.html
16. Cope, F.T.: Formal solution of irregular linear differential equations. Part II. American Journal of Mathematics, 58, 130-146 (1956)
17. Gao, X-S., Chou, S-C.: On the theory of resolvents and its applications. Systems Science and Mathematical Sciences, 12, 17-30 (1999)
18. Gianni, P., Mora, T.: Algebraic solution of systems of polynomial equations using Gröbner bases. In: Applied Algebra Algorithms and Error Correcting Codes. AAECC-5, Vol. 356 of Lecture Notes in Computer Science, pp. 247-257. Springer, 1989
19. Giusti, M., Heintz, J.: Algorithmes-disons rapides-pour la décomposition d'une variété algébrique en composantes irréductibles et équidimensionnelles. In: Effective methods in algebraic geometry (Castiglioncello 1990), pp. 169-194. Birkhäuser Boston, Boston, MA, 1991
20. Giusti, M., Heintz, J.: La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial. In: Computational Algebraic Geometry and Commutative Algebra (Cortona 1991), pp. 216-256. Cambridge: Cambridge University Press
21. Giusti, M., Lecerf, G.I., Salvy, B.: A Gröbner free alternative for polynomial system solving. Journal of Complexity, 17(1), 154-211 (2001)
22. Hubert, E.: Essential components of an algebraic differential equation. Journal of Symbolic Computation, 28(4-5), 657-680 (1999)
23. Hubert, E.: Factorisation free decomposition algorithms in differential algebra. Journal of Symbolic Computation, 29(4-5), 641-662 (2000)
24. Hubert, E.: Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. In: F. Winkler (ed) Symbolic and Numerical Scientific Computations. Springer, to appear
25. Hubert, E.: Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems. In: F. Winkler (ed) Symbolic and Numerical Scientific Computations. Springer, to appear
26. Kalkbrener, M.: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. Journal of Symbolic Computation, 15(2), 143-167 (1993)
27. Katz, N.M.: A simple algorithm for cyclic vectors. Amer. J. Math. 109(1), 65-70 (1987)
28. Kolchin, E.R.: Differential Algebra and Algebraic Groups, volume 54 of Pure and Applied Mathematics. Academic Press, New York-London, 1973
29. Lazard, D.: Solving zero dimensional algebraic systems. Journal of Symbolic Computation, 15, 117-132 (1992)
30. Mansfield, E.: Differential Gröbner Bases. PhD thesis, University of Sydney, 1991
31. Morrison, S.: The differential ideal [P]: M∞. Journal of Symbolic Computation, 28(4-5), 631-656 (1999)
32. Ollivier, F.: Standard bases of differential ideals. In: Applied algebra, algebraic algorithms and error-correcting codes (Tokyo, 1990), pp. 304-321. Springer, Berlin. 1991
33. Reid, G.J., Wittkopf,A.D., Boulton,A.: Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Eur. J. Appl. Math. 7, 604-635 (1996)
34. Riquier, C.: Les systèmes d'équations aux dérivées partielles. Gauthier-Villars, Paris, 1910
35. Ritt, J.F.: Differential Algebra, volume XXXIII of Colloquium publications. American Mathematical Society, 1950. Reprinted by Dover Publications, Inc (1966) Available at http://www.ams.org/online_bks/coll33
36. Rosenfeld, A.: Specializations in differential algebra. Transaction of the American Mathematical Society, 90, 394-407 (1959)
37. Rouillier, F.: Solving zero-dimensional systems through the rational univariate representation. AAECC, 9(5), 433-461 (1999)
38. Rust, C.: Rankings of derivatives for elimination algorithms and formal solvability of analytic partial differential equations. PhD thesis, University of Chicago, Illinois, 1998
39. Sadik, B.: A bound for the order of characteristic set elements of an ordinary prime differential ideal and some applications. AAECC, 10(3), 251-268 (2000)
40. Schost, E.: Sur la résolution des systèmes polynomiaux à paramètres. PhD thesis, École polytechnique, 2000
41. Seidenberg, A.: Some basic theorems in differential algebra (characteristic p arbitrary). Transaction of the American Mathematical Society, 73, 174-190 (1952)
42. Wang, D.: An elimination method for differential polynomial systems. I. Systems Science and Mathematical Sciences, 9(3), 216-228, (1996)
43. Wu, W-T.: On the foundation of algebraic differential geometry. Systems Science and Mathematical Sciences, 2(4), 289-312 (1989)
44. Zariski, O., Samuel, P.: Commutative algebra. Vol. 1, Springer-Verlag, New York, 1975. With the cooperation of I. S. Cohen, Corrected reprinting of the 1958 edition, Graduate Texts in Mathematics, No. 28