An efficient algebraic algorithm for the geometric completion to involution

Applicable Algebra in Engineering, Communications and Computing

Volumn 13, Issue 3, 2002, Pages 163-207

  Hausdorf, Marcus ^a   Seiler, Werner M ^a  

^a UNIVERSITY OF MANNHEIM   (Germany)

Author keywords

Regularity; Cartan Kuranishi theorem; Completion; Involution; Involutive basis; Partial differential equation

Indexed keywords

ALGORITHMS; GEOMETRY; LINEAR SYSTEMS; PARTIAL DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; THEOREM PROVING;

CARTAN-KURANISHI THEOREM; INVOLUTION;

ALGEBRA;

EID: 0036745513     PISSN: 09381279     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002000200099     Document Type: Article

References (59)

1. Adams W. W. Loustaunau P.: An Introduction to Gröbner Bases. Graduate Studies in Mathematics 3, AMS, Providence, 1994
2. Boulier F. Lazard D. Ollivier F. Petitot M.: Representation for the radical of a finitely generated differential ideal. In A.H.M. Levelt (ed) Proc. ISSAC '95, pages 158-166. ACM Press, New York, 1995
3. Bryant R. L. Chern S. S. Gardner R. B. Goldschmidt H. L. Griffiths P.: A. Exterior Differential Systems. Mathematical Sciences Research Institute Publications 18. Springer, New York, 1991
4. Calmet J. Hausdorf M. Seiler W. M.: A constructive introduction to involution. In R. Akerkar (ed) Proc. Int. Symp. Applications of Computer Algebra - ISACA 2000, pages 33-50. Allied Publishers, New Delhi, 2001
5. Carrà Ferro G.: Gröbner bases and differential algebra. In L. Huguet, A. Poli (eds) Proc. AAECC-5, Lecture Notes in Computer Science 350, pages 129-140. Springer, Berlin, 1987
6. Cartan E.: Les Systèmes Différentielles Extérieurs et leurs Applications Géométriques. Hermann, Paris, 1945
7. Dubois-Violette M.: The theory of overdetermined linear systems and its applications to non-linear field equations. J. Geom. Phys. 1, 39-172 (1984)
8. Galligo A.: Some algorithmic questions on ideals of differential operators. In B.F. Caviness (ed) Proc. EUROCAL '85, Vol. 2, Lecture Notes in Computer Science 204, pages 413-421. Springer, Berlin, 1985
9. Gerdt V. P.: Completion of linear differential systems to involution. In V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds) Computer Algebra in Scientific Computing - CASC 1999, pages 115-137. Springer, Berlin, 1999
10. Gerdt V. P.: On the relation between Pommaret and Janet bases. In V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds) Computer Algebra in Scientific Computing - CASC 2000, pages 167-182. Springer, Berlin, 2000
11. Gerdt V. P. Blinkov Yu. A.: Involutive bases of polynomial ideals. Math. Comp. Simul., 45, 519-542 (1998)
12. Gerdt V. P. Blinkov Yu. A.: Minimal involutive bases. Math. Comp. Simul., 45, 543-560 (1998)
13. Gerdt V. P. Blinkov Yu. A. Yanovich D. A.: Construction of Janet bases I: Monomial bases. In V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds) Computer Algebra in Scientific Computing - CASC 2001, pages 233-247. Springer, Berlin, 2001
14. Gerdt V. P. Blinkov Yu. A. Yanovich D. A.: Construction of Janet bases II: Polynomial bases. In V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds) Computer Algebra in Scientific Computing - CASC 2001, pages 249-263. Springer, Berlin, 2001
15. Goldschmidt H. L.: Integrability criteria for systems of non-linear partial differential equations. J. Diff. Geom., 1, 269-307 (1969)
16. Guillemin V. W. Sternberg S.: An algebraic model of transitive differential geometry. Bull. Amer. Math. Soc., 70, 16-47 (1964)
17. Hartley D. H. Tucker R. W.: A constructive implementation of the Cartan-Kähler theory of exterior differential systems. J. Symb. Comp., 12, 655-667 (1991)
18. Hausdorf M.: Geometrisch-Algebraische Vervollständigung Allgemeiner Systeme von Differentialgleichungen. Master's thesis, Fakultät Informatik, Universität Karlsruhe, 2000
19. Hausdorf M. Seiler W. M.: Differential equations in MuPAD I: An object-oriented environment. Internal Report 2000-17, Universität Karlsruhe, Fakultät für Informatik, 2000
20. Hausdorf M. Seiler W. M.: Differential equations in MuPAD II: A completion package. In preparation, 2001
21. Hausdorf M. Seiler W. M.: Perturbation versus differentiation indices. In V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds) Computer Algebra in Scientific Computing - CASC 2001, pages 323-337. Springer, Berlin, 2001
22. Hereman W.: Symbolic software for Lie symmetry analysis. In N.H. Ibragimov (ed) CRC Handbook of Lie Group Analysis of Differential Equations, Volume 3: New Trends in Theoretical Development and Computational Methods, chapter 13. CRC Press, Boca Raton, Florida, 1995
23. Janet M.: Sur les Systèmes d'Équations aux Dérivées Partielles. J. Math. Pure Appl., 3, 65-151 (1920)
24. Janet M.: Leçons sur les Systèmes d'Équations aux Dérivées Partielles. Cahiers Scientifiques, Fascicule IV. Gauthier-Villars, Paris, 1929
25. Kähler E.: Einführung in die Theorie der Systeme von Differentialgleichungen. Teubner, Leipzig, 1934
26. Kolchin E. R.: Differential Algebra and Algebraic Groups. Academic Press, New York, 1973
27. Kondratieva M. V. Levin A. B. Mikhalev A. V. Pankratiev E. V.: Differential and Difference Dimension Polynomials. Mathematics and Its Applications 461. Kluwer, Dordrecht, 1999
28. Lambe L. A. Seiler W. M.: Differential Equations, Spencer Cohomology, and Computing Resolutions. In preparation, 2002
29. Le Vey G.: Some remarks on solvability and various indices for implicit differential equations. Num. Algo., 19, 127-145 (1998)
30. Mansfield E. L.: Differential Gröbner Bases. PhD thesis, Macquarie University, Sydney, 1991
31. Mansfield E. L.: A simple criterion for involutivity. J. London Math. Soc., 54, 323-345 (1996)
32. Mayr E. W. Meyer A. R.: The complexity of the word problems for commutative semi-groups and polynomial ideals. Adv. Math., 46, 305-329 (1982)
33. Méray C. Riquier C.: Sur la convergence des développements des intégrales ordinaires d'un système d'équations différentielles partielles Ann. Sci. Ec. Norm. Sup. 7, 23-88 (1890)
34. Mishra B.: Algorithmic Algebra. Texts and Monographs in Computer Science. Springer, New York, 1993
35. Molino P.: Exterior differential systems and partial differential equations. Lecture notes, Mathematisch Instituut, Universiteit van Amsterdam, 1982
36. Pommaret J. F.: Systems of Partial Differential Equations and Lie Pseudogroups. Gordon & Breach, London, 1978
37. Reid G. J.: Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution. Eur. J. Appl. Math., 2, 293-318 (1991)
38. Reid G. J. Lin P. Wittkopf A. D.: Differential elimination-completion algorithms for DAE and PDAE. Stud. Appl. Math., 106, 1-45 (2001)
39. 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, 635-666 (1996)
40. Riquier C.: Les Systèmes d'Équations aux Derivées Partielles. Gauthier-Villars, Paris 1910
41. Saunders D. J.: The Geometry of Jet Bundles. London Mathematical Society Lecture Notes Series 142. Cambridge University Press, Cambridge, 1989
42. Schü J. Seiler W. M. Calmet J.: Algorithmic methods for Lie pseudogroups. In N. Ibragimov, M. Torrisi, A. Valenti (eds) Proc. Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics, pages 337-344. Klwer, Dordrecht, 1993
43. Seiler W. M.: Analysis and Application of the Formal Theory of Partial Differential Equations. PhD thesis, School of Physics and Materials, Lancaster University, 1994
44. Seiler W. M.: Applying axiom to partial differential equations. Internal Report 95-17, Universität Karlsruhe, Fakultät fü Informatik, 1995
45. Seiler W. M.: Involution and constrained dynamics II: The Faddeev-Jackiw approach. J. Phys. A: Math. Gen., 28, 7315-7331 (1995)
46. Seiler W. M.: Involution and symmetry reductions. Math. Comp. Model., 25, 63-73 (1997)
47. Seiler W. M.: Indices and solvability for general systems of differential equations. In V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds) Computer Algebra in Scientific Computing-CASC 1999, pages 365-385. Springer, Berlin, 1999
48. Seiler W. M.: Involution and constrained dynamics III: Intrinsic degrees of freedom count. Tech. Mech., 20. 137-146 2000
49. Seiler W. M.: Involution - the formal theory of differential equations and its applications in computer algebra and numerical analysis. Habilitation thesis, Dept. of Mathematics, Universität Mannheim, 2001
50. Seiler W. M.: A combinatorial approach to involution and δ-regularity I: Involutive bases in polynomial algebras of solvable type. Preprint Universität Mannheim, 2002
51. Seiler W. M.: A combinatorial approach to involution and δ-regularity II: Structure analysis of polynomial modules with Pommaret bases. Preprint Universität Mannheim, 2002
52. Seiler W. M.: Completion to involution and semi-discretisations. Appl. Num. Math. to appear, 2002
53. Seiler W. M. Tucker R. W.: Involution and constrained dynamics I: The Dirac approach. J. Phys. A: Math. Gen. 28, 4431-4451 (1995)
54. Spencer D. C.: Overdetermined systems of linear partial differential equations. Bull. Amer. Math. Soc., 75, 179-239 (1969)
55. Topunov V. L.: Reducing systems of linear differential equations to a passive form. Acta Appl. Math., 16, 191-206 (1989)
56. Tresse A.: Sur les invariants différentiels des groupes continus de transformations. Acta Math., 18, 1-88 (1894)
57. Tuomela J. Arponen T.: On the numerical solution of involutive ordinary differential systems. IMA J. Num. Anal., 20, 561-599 (2000)
58. Wu W.-T.: A constructive theory of differential algebraic geometry based on works of J.F. Ritt with particular applications to mechanical theorem proving of differential geometries. In G. Chaohao, M. Berger, R.L. Bryant (eds); Differential Geometry and Differential Equations, Lecture Notes in Mathematics 1255, pages 173-189, Shanghai, 1987. Springer, Berlin, 1987
59. Zharkov A. Yu. Blinkov Yu. A.: Involution approach to solving systems of algebraic equations. In G. Jacob, N.E. Oussous, S. Steinberg (eds) Proc. Int. IMACS Symp. Symbolic Computation, pages 11-17, Lille, 1993