Differential elimination - Completion algorithms for DAE and PDAE

Studies in Applied Mathematics

Volumn 106, Issue 1, 2001, Pages 1-45

  Reid, Gregory J ^a   Lin, Ping ^b   Wittkopf, Allan D ^c  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

^b NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^c SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATION THEORY; ORDINARY DIFFERENTIAL EQUATIONS;

COMPLETION ALGORITHMS; CONTROL FLUIDS; DIFFERENTIAL/ALGEBRAIC EQUATIONS; EXISTENCE AND UNIQUENESS THEOREM; FLUID-DYNAMICS; INCOMPRESSIBLE FLUID; MULTI-BODY; ORDINARY EQUATIONS; PARTIAL DIFFERENTIAL-ALGEBRAIC EQUATIONS; SPACECRAFT CONTROL;

NAVIER STOKES EQUATIONS;

EID: 0039842239     PISSN: 00222526     EISSN: None     Source Type: Journal    
DOI: 10.1111/1467-9590.00159     Document Type: Article

References (52)

1. P. J. RABIER and W. C. RHEINBOLDT, A general existence and uniqueness theory for implicit equations, Diff. Integral Eq. 4:563-582 (1991).
2. A. TRESSE, Sur les invariants différentiels des groupes continus de transformations, Acta Math. 18:1-88 (1894).
3. C. RIQUIER, Les Systèmes d'Équations aux Dérivées Partielles, Gauthier-Villars, Paris, 1910.
4. E. CARTAN, Les Systèmes Différentiels Extérieurs et leurs Applications Géométriques, Hermann, Paris, 1946.
5. H. GOLDSCHMIDT, Integrability criteria for systems of partial differential equations, J. Diff. Geom. 1:269-307 (1967).
6. R. L. BRYANT, S. S. CHERN, R. B. GARDNER, H. L. GOLDSCHMIDT, and P. A. GRIFFITHS, Exterior Differential Systems, Mathematical Sciences Research Institute Publications, vol. 18, Springer, New York, 1991.
7. W. HEREMAN, Review of symbolic software for the computation of Lie symmetries of differential equations, Euromath Bull. 1:45-79 (1994).
8. G. J. REID, A. D. WITTKOPF, and A. BOULTON, Reduction of systems of nonlinear partial differential equations to simplified involutive forms, Eur. J. Appl. Math. 7:604-635 (1996).
9. G. J. REID and A. D. WITTKOPF, The long guide to the Standard Form package. Programs and documentation available by anonymous ftp at www.cecm.sfu.ca/∼reid.
10. F. BOULIER, D. LAZARD, F. OLLIVIER, and M. PETITOT, Representation for the Radical of a Finitely Generated Differential Ideal, Proc. ISSAC, pp. 158-166, ACM Press, New York, 1995.
11. G. CARRà-FERRO, Gröbner bases and differential algebra, Lecture Notes Comp. Sci. 356:128-140 (1987).
12. E. MANSFIELD, Differential Gröbner bases, Ph.D. Thesis, University of Sydney, 1991.
13. W. M. SEILER, Analysis and application of the formal theory of partial differential equations, Ph.D. thesis, Lancaster University, Lancaster, UK, 1994.
14. G. J. REID, A. D. WITTKOPF, and A. BOULTON, Reduction of systems of nonlinear partial differential equations to simplified involutive forms. Institute of Applied Mathematics Rep. 1994-14, Univ. of British Columbia.
15. G. THOMAS, Symbolic Computation of the Index of Quasilinear Differential-Algebraic Equations, Proc. ISSAC, pp. 196-203, ACM Press, New York, 1996.
16. G. THOMAS, Contributions théoretiqucs et algorithmiques à l'étude des equations différentielles-algébraiques. Approche par le calcul formel. Ph.D. thesis, Institut National Polytechnique de Grenoble, 1997.
17. C. W. GEAR, Differential algebraic equations, indices, and integral algebraic equations, SIAM J. Num. Anal. 27:1527-1534 (1990).
18. C. W. GEAR and L. PETZOLD, ODE methods for the solution of differential/algebraic systems, SlAM J. Num. Anal. 21:716-728 (1984).
19. S. REICH, Beitrag zur Theorie der Algebrodifferentialgleichungen, Ph.D. dissertation in Engineering, T. U. Dresden, 1989.
20. P. J. RABIER and W. C. RHEINBOLDT. A geometric treatment of implicit differential-algebraic equations, J. Diff. Eq. 109:110-146 (1994).
21. S. E. MATTSSON and G. SÖDERLIND, Index reduction in differential-algebraic equations using dummy derivatives, SIAM J. Sci. Comp. 14:677-692 (1993).
22. M. P. QUÉRÉ and G. VILLARD, An Algorithm for the Reduction of Linear DAE, Proc. ISSAC, pp. 223-231, ACM Press, New York, 1995.
23. C. EHRESMANN, Les connexions infinitésimales dans un espace fibré différentiable, Colloque de topologie (espaces fibrés) pp. 29-55, Bruxelles, 1950.
24. M. KURANISHI, On E. Cartan's prolongation theorem of exterior differential systems, Am. J. Math. 79:1-47 (1957).
25. D. SPENCER, Overdetermined systems of linear differential equations, Bull. A.M.S. 75:179-239 (1969).
26. J. F. POMMARET, Systems of Partial Differential Equations and Lie Pseudogroups, Gordon and Breach Science Publishers, Inc., New York, 1978.
27. E. KÄHLER, Einführung in die Theorie der Systeme von Differentialgleichungen, B. G. Teubner, Leipzig, 1934.
28. H. LEWY, An example of a smooth linear partial differential equation without solution, Ann. Math. 66:155-158 (1957).
29. P. LIN, A sequential regularization method for time-dependent incompressible Navier-Stokes equations, SIAM J. Num. Anal. 34:1051-1071 (1997).
30. W. M. SEILER and R. W. TUCKER, Involution and constrained dynamics I: The Dirac approach, Phys. A. 28:4431-4451 (1995).
31. W. M. SEILER, Involution and constrained dynamics II: The Faddecv-Jackiw approach, J. Phys. A. 28:7315-7331 (1995).
32. P. A. M. DIRAC, Generalized Hamiltonian mechanics, Proc. Roy. Soc. A. 246:326-332 (1958).
33. D. J. SAUNDERS, The Geometry of Jet Bundles, Lecture Notes Series 142, Cambridge University Press, Cambridge, UK, 1989.
34. P. J. OLVER, Application of Lie Groups to Differential Equations, Springer, New York, 1986.
35. E. HUBERT, The General Solution of an Ordinary Differential Equation, Proc. ISSAC, pp. 189-195, ACM Press, New York, 1996.
36. E. MANSFIELD, A simple criterion for involutivity, J. London Math. Soc. 2:323-345 (1996).
37. T. BECKER and V. WEISPFENNING, Gröbner Bases: A Computational Approach to Commutative Algebra, Springer, New York, 1993.
38. P. GIANNI, B. TRAGER, and G. ZACHARIAS, Gröbner bases and primary decomposition of polynomial ideals, in Computational Aspects of Commutative Algebra, (L. Robbiano, Ed.) pp. 15-33, Academic Press, San Diego, 1989.
39. E. BECKER and R. NEUHAUS, Computation of real radicals of polynomial ideals, in Computational Algebraic Geometry, Progress in Mathematics, vol. 109, (F. Eyssette and A. Galligo, Eds.) pp. 1-20, Birkhäuser, Boston, 1993.
40. A. GALLIGO and N. VOROBJOV, Complexity of finding irreducible components of a semialgebraic set, J. Complexity 11:174-193 (1995).
41. M.-F. ROY and N. VOROBJOV, Computing the Complexification of a Semialgebraic Sets, Proc. ISSAC, pp. 26-34, ACM Press, New York, 1996.
42. C. RUST, Rankings of Derivatives for Elimination Algorithms and Formal Solvability of Analytic Partial Differential Equations, Ph.D. thesis, University of Chicago, (1998).
43. J. SCHÜ, W. M. SEILER, and J. CALMET, Algorithmic methods for Lie pseudogroups, in Modern Group Analysis: Analytical and Computational Methods in Mathematical Phyxics, Proceedings of the International Workshop Acireale, pp. 337-344, Kluwer Academic, Dordrecht, 1993.
44. J. F. RITT, Differential Algebra, Colloquium Publications. Vol. XXXIII, American Mathematics Society, New York, 1950.
45. W. T. WU, Basic principles of mechanical theorem proving in elementary geometries, J. Syst. Sci. and Math. Sci. 4:207-235 (1984).
46. D. WANG, Characteristic sets and zero structures of polynomial sets. Preprint, RISC-LINZ (1989).
47. P. GIANNI, B. TRAGER, and G. ZACHARIAS, Gröbner bases and primary decomposition of polynomial ideals, J. Symb. Comput. 6:149-166 (1988).
48. D. EISENBUD, C. HUNEKE, and W. VASCONCELOS, Direct methods for primary decomposition, Invent. Math. 110:210-235 (1992).
49. K. KEVORKIAN and J. COLE, Perturbation Methods in Applied Mathematics, Springer, New York, 1981.
50. E. HAIRER, Ch. LUBICH, and M. ROCHE, The numerical solution of differential-algebraic systems by Runge-Kutta methods. Lecture Notes in Math, vol. 1409, Springer, New York. 1989.
51. E. HAIRER and G. WANNER. Solving Ordinary Differential Equations 11, Springer, New York, 1991.
52. G. J. REID, Algorithms for reducing a system of PDEs to standard form, determining the dimension of its solution space and calculating its Taylor series solution. Euro. J. Appl. Math. 2:293-318 (1991).