Algorithms for Symmetric Differential Systems

Foundations of Computational Mathematics

Volumn 1, Issue 4, 2001, Pages 335-383

  Mansfield, Elizabeth L ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

PARTIAL DIFFERENTIAL EQUATIONS;

DIFFERENTIAL ALGEBRAS; DIFFERENTIAL INVARIANTS; DIFFERENTIAL SYSTEMS; HAMILTON SYSTEM; INTERMEDIATE STAGE; LIE GROUP ACTIONS; REDUCTION PROCESS; SYSTEMS OF PARTIAL DIFFERENTIAL EQUATIONS;

LIE GROUPS;

EID: 0042461645     PISSN: 16153375     EISSN: 16153383     Source Type: Journal    
DOI: 10.1007/s002080010014     Document Type: Article

References (42)

1. M. J. Ablowitz and P. A. Clarkson, Solitons, Nonlinear Evolution Equations and Inverse Scattering, London Mathematical Society Lecture Notes in Mathematics, Vol. 149, Cambridge University Press, Cambridge, 1991.
2. T. Becker and V. Weispfenning, Gröbner Bases, Graduate Texts in Mathematics, Vol. 141, Springer-Verlag, New York, 1993.
3. F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Representation for the radical of a finitely generated differential ideal, in Proc. ISSAC '95 (A. Levelt, ed.), ACM Press, New York, 1995.
4. B. Buchberger, Applications of Gröbner bases in non-linear computational geometry, in Mathematical Aspects of Scientific Software (J. R. Rice, ed.), IMA Volumes in Mathematics and its Applications, Vol. 14, Springer-Verlag, New York, 1988, pp. 52-80.
5. G. Carrà-Ferro, Groebner bases and differential algebra, in Proceedings AAECC (L. Huguet and A. Poli, eds.), Lecture Notes in Computer Science, Vol. 356. Springer-Verlag, Berlin, 1989, pp. 129-140.
6. P. A. Clarkson and P. J. Olver, Symmetry and the Chazy equation, J. Differential Equations 124 (1996), 225-246.
7. C. B. Collins, Complex potential equations I, Math. Proc. Cambridge Philos. Soc. 80 (1976), 165-187.
8. C. M. Cosgrove, private communication, 1991.
9. R. Courant and D. Hilbert, Methods of Mathematical Physics, Interscience, Wiley, New York, 1962.
10. D. Cox, J. Little and D. O'Shea, Ideals, Varieties and Algorithms, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1992.
11. M. Fels and P. J. Olver, Moving coframes I, Acta Appl. Math. 51 (1998), 161-213.
12. M. Fels and P. J. Olver, Moving coframes II, Acta Appl. Math. 55 (1999), 127-208.
13. W. I. Fushchich and I. A. Yegorchenko, Second-order differential invariants of the rotation group O(n) and of its extensions: E(n). P(1, n), G(1, n), Acta Appl. Math. 28 (1992), 69-92.
14. W. I. Fushchich, R. Z. Zhdanov and I. A. Yegorchenko, On the reduction of the nonlinear multidimensional wave equations and compatibility of the d'Alembert-Hamilton system, J. Math. Anal. Appl. 161 (1991), 352-360.
15. K. Gatermann and F. Guyard, Gröbner bases, invariant theory and equivariant dynamics, J. Symbolic Comput. 28 (1999), 275-302.
16. K. O. Geddes, S. R. Czapor and G. Labahn, Algorithms for Computer Algebra, Kluwer Academic, Boston, 1992.
17. D. Hartley and R. W. Tucker, A constructive implementation of the Cartan-Kahler theory of exterior differential systems, J. Symbolic Comput. 12 (1991), 655-667
18. A. K. Head, LIE, a PC program for LIE analysis of differential equations, Comput. Phys. Comm. 96 (1996), 311-313.
19. E. Hubert, Factorisation free decomposition algorithms in differential algebra, J. Symbolic Comput. 29 (2000), 641-662.
20. N. H. Ibragimov (ed.), CRC Handbook of Lie Group Analysis of Differential Equations, Vols. I-III, CRC Press, Boca Raton, FL, 1995.
21. I. G. Lisle, Equivalence Transformations for Classes of Differential Equations, PhD Thesis, University of British Columbia, 1992.
22. E. L. Mansfield and P. A. Clarkson, Applications of the differential algebra package diffgrob2 to classical symmetries of differential equations, J. Symbolic Comput. 23 (1997), 517-533.
23. E. L. Mansfield and E. D. Fackerell, Differential Gröbner bases, Preprint 92/108, Macquarie University (1992).
24. E. L. Mansfield, G. J. Reid and P. A. Clarkson, Nonclassical reductions of a 3 + 1 cubic nonlinear Schrödinger system, Comput. Phys. Comm. 115 (1998), 460-488.
25. E. L. Mansfield, diffgrob2: A symbolic algebra package for analyzing systems of PDE using MAPLE, Preprint M94/4, Exeter University, 1994.
26. E. L. Mansfield, The differential algebra package diffgrob2, MapleTech 3 (1996), 33-37.
27. E. L. Mansfield, Computer algebra for the classification problem, in Modern Group Analysis VII (N. H. Ibragimov, K. R. Naqvi and E. Straume, eds.), Mars, Trondheim, 1999, pp. 211-217.
28. M. B. Monagan et al., Maple Programming Guide, Springer-Verlag, New York, 1996. MAPLE and MAPLE V are registered trademarks of Waterloo Maple Inc.
29. P. J. Olver, Classical Invariant Theory, London Mathematical Society Student Texts, Vol. 44, Cambridge University Press, Cambridge, 1999.
30. P. J. Olver, Equivalence, Invariants and Symmetry, Cambridge University Press, Cambridge, 1995.
31. P. J. Olver, Applications of Lie Groups to Differential Equations, 2nd ed., Springer-Verlag, New York, 1993.
32. P. J. Olver, private communication, 1998.
33. L. V. Ovsiannikov, Group Analysis of Differential Equations (Transl. W.F. Ames), Academic Press, New York, 1982.
34. 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, European J. Appl. Math. 2 (1991), 293-318.
35. G. J. Reid, A. D. Wittkopf and A. Boulton, Reduction of systems of nonlinear partial differential equations to simplified involutive forms, European J. Appl. Math. 7 (1996), 604-635.
36. J. F. Ritt, Differential Algebra, Dover, New York, 1950.
37. C. J. Rust and G. J. Reid, Rankings of partial derivatives, in Proc. ISSAC '97 (W. Küchlin, ed.), ACM Press, New York, 1997, pp. 9-16.
38. J. Schü, W. M. Seiler and J. Calmet, Algorithmic methods for Lie pseudogroups, in Proc. Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics (N. Ibragimov, M. Torrisi and A. Valenti, eds.), Kluwer Academic, Dordrecht, 1993.
39. W. M. Seiler, Applying AXIOM to partial differential equations, Preprint, Universität Karlsruhe, 1995.
40. A. M. Tresse, Sur les invariants différentiels des groupes continue de transformation, Acta Math. 18 (1894), 1-88. (1992) 61-86.
41. K. T. Vu, Computer Algebra and Symmetry: The Package Desolv, PhD Thesis, Monash University, 1998.
42. D. Zwillinger, Handbook of Differential Equations, 2nd ed., Academic Press, Boston, 1992.