On the numerical solution of involutive ordinary differential systems

IMA Journal of Numerical Analysis

Volumn 20, Issue 4, 2000, Pages 561-599

  Tuomela, Jukka ^a   Arponen, Teijo ^b  

^a UNIVERSITY OF EASTERN FINLAND   (Finland)

^b AALTO UNIVERSITY   (Finland)

Author keywords

Differential algebraic equations; Formal theory of partial differential equations; Jet spaces; Overdetermined differential equations

Indexed keywords

NUMERICAL METHODS;

DIFFERENTIAL ALGEBRAIC EQUATIONS; DIFFERENTIAL SYSTEMS; FORMAL THEORY; INTEGRAL MANIFOLD; NUMERICAL SOLUTION; SUB MANIFOLDS;

DIFFERENTIAL EQUATIONS;

EID: 0034288185     PISSN: 02724979     EISSN: None     Source Type: Journal    
DOI: 10.1093/imanum/20.4.561     Document Type: Article

References (65)

1. ALEKSEEVSKIJ, D. V., VINOGRADOV, A. M., & LYCHAGIN, V. V. 1991 Basic ideas and concepts of differential geometry. Geometry I (Encyclopaedia of Mathematical Sciences 28). (R. V. Gamkrelidze ed). Berlin: Springer.
2. ALLGOWER, E. & GEORG, K. 1990 Numerical Continuation Methods (Springer Series in Computational Mathematics 13), Berlin: Springer.
3. ARNOLD, V. 1983 Geometrical Methods in the Theory of Ordinary Differential Equations (Grundlehren 250). Berlin: Springer.
4. ARNOLD, V. I., GUSSEIN-ZADE, S. M., & VARCHENKO, A. N. 1985 Singularities of Differentiable Maps I. Basel: Birkhäuser.
5. ARNOLD, V. I. & ILYASHENKO, YU. S. 1988 Ordinary differential equations. Dynamical Systems I (Encyclopaedia of Mathematical Sciences, vol. 1) (D. V. Anosov & V. I. Arnold eds). Berlin: Springer, pp. 1-148.
6. ARPONEN, T. & TUOMELA, J. 1996 On the numerical solution of involutive ordinary differential systems: numerical results. Research Report A370, Helsinki University of Technology.
7. BERZ, M., BISCHOF, C., CORLISS, G., & GRIEWANK, A. (eds). 1996 Computational Differentiation. Philadelphia: SIAM.
8. BOULIER, F., LAZARD, D., OLLIVIER, F., & PETITOT, M. 1995 Representation for the radical of a finitely generated differential ideal. Proc. ISSAC 1995, ACM.
9. BRENAN, K., CAMPBELL, S., & PETZOLD, L. 1989 Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations. Amsterdam: North-Holland.
10. CARRÀ FERRO, G. 1987 Gröbner bases and differential algebra. Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (Lecture Notes in Computer Science 356). (L. Huguet & A. Poli eds). Berlin: Springer, pp. 129-140.
11. CROUCH, P. & GROSSMAN, R. 1993 Numerical integration of ordinary differential equations on manifolds. Nonlinear Sci. 3, 1-33.
12. DARA, L. 1975 Singularités génériques des équations différentielles multiformes. Bol. Soc. Bras. Mat. 6, 95-128.
13. DO CARMO, M. 1992 Riemannian Geometry. Basel: Birkhäuser.
14. DUDNIKOV, P. I. & SAMBORSKI, S. N. 1996 Linear overdetermined systems of partial differential equations. Partial Differential Equations VIII (Encyclopaedia of Mathematical Sciences 65). (M. A. Shubin ed). Berlin: Springer, pp. 1-86.
15. EHRESMANN, C. 1951 Les prolongements d'une variété différentielle I: calcul des jets, prolongement principal. C. R. Acad. Sci. Paris 233, 598-600.
16. GOLDSCHMIDT, H. 1967 Integrability criteria for systems of non-linear partial differential equations. J. Diff. Geom. 1, 269-307.
17. HAIRER, E., LUBICH, C., & ROCHE, M. 1989 The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods (Lecture Notes in Mathematics, vol. 1409). Berlin: Springer.
18. HAIRER, E. & WANNER, G. 1991 Solving Ordinary Differential Equations II, Stiff and DifferentialAlgebraic Problems (Springer Series in Computational Mathematics 14). Berlin: Springer.
19. ISERLES, A. 1996 Beyond the classical theory of computational ordinary differential equations. State of the Art in Numerical Analysis. (I. S. Duff & G. A. Watson eds). Oxford: Oxford University Press.
20. ISERLES, A. 1997 Numerical methods on (and off) manifolds. Foundations of Computational Mathematics. (F. Cucker ed). Berlin: Springer, pp. 180-189.
21. ISERLES, A. & NØRSETT, S. 1999 On the solution of linear differential equations in Lie groups. Geometric Integration: Numerical Solution of Differential Equations on Manifolds, vol. 357 of Philosophical Transactions of the Royal Society A. (C. J. Budd & A. Iserles eds). London Mathematical Society, pp. 983-1020.
22. KORVOLA, T. 1997 On the formal integrability of differential algebraic systems. Research Report A381, Helsinki University of Technology.
23. KRASILSHCHIK, I. S., LYCHAGIN, V. V., & VINOGRADOV, A. M. 1986 Geometry of jet spaces and nonlinear partial differential equations. Advanced Studies in Contemporary Mathematics. vol. 1, Gordon & Breach.
24. KUMPERA, A. & SPENCER, D. 1972 Lie Equations General Theory (Annals of Mathematics studies 73). Princeton, NJ: Princeton University Press.
25. KURANISHI, M. 1967 Lectures on Involutive Systems of Partial Differential Equations. Publicaçōes da Sociedade de Matemática de São Paulo.
26. LEIMKUHLER, B. & SKEEL, R. 1994 Symplectic numerical integrators in constrained Hamiltonian systems. J. Comput. Phys. 112, 117-125.
27. LE VEY, G. 1994 Differential-algebraic equations: a new look at the index. Research Report 808, IRISA.
28. LE VEY, G. 1998 Some remarks on solvability and various indices for implicit differential equations. Numer. Algor. 19, 127-145.
29. LYCHAGIN, V. V. (ed). 1995 The Interplay between Differential Geometry and Differential Equations. Am. Math. Soc. Translations, vol. 167, American Mathematical Society.
30. MACUTAN, Y. O. & THOMAS, G. 1998 Theory of formal integrability and DAEs: effective computations. Numer. Algor. 19, 147-157.
31. MANSFIELD, E. 1991 Differential Gröbner bases, PhD Thesis, University of Sydney.
32. MÄRZ, R. 1992 Numerical methods for differential-algebraic equations. Acta Numer. 1, 141-198.
33. MUNTHE-KAAS, H. 1995 Lie-Butcher theory for Runge-Kutta methods. BIT 35, 572-587.
34. MUNTHE-KAAS, H. 1999 High order Runge-Kutta methods on manifolds. Appl. Numer. Math. 29, 115-127.
35. MUNTHE-KAAS, H. & ZANNA, A. 1997 Numerical integration of differential equations on homogeneous manifolds. Foundations of Computational Mathematics. (F. Cucker ed). Berlin: Springer, pp. 305-315.
36. OLVER, P. J. 1995 Equivalence, Invariants, and Symmetry. Cambridge: Cambridge University Press.
37. PIIRILA, O.-P. & TUOMELA, J. 1993 Differential-algebraic systems and formal integrability. Research Report A326, Helsinki University of Technology, Institute of Mathematics.
38. POMMARET, J. F. 1978 Systems of Partial Differential Equations and Lie Pseudogroups (Mathematics and its Applications 14). Gordon and Breach.
39. POMMARET, J. F. 1983 Differential Galois Theory (Mathematics and its Applications 15). Gordon and Breach.
40. POMMARET, J. F. 1988 Lie Pseudogroups and Mechanics (Mathematics and its Applications 16). Gordon and Breach.
41. POMMARET, J. F. 1994 Partial Differential Equations and Group Theory. Dordrecht: Kluwer.
42. RABIER, P. & RHEINBOLDT, W. 1991 A general existence and uniqueness theory for implicit differential-algebraic equations. Diff. Int. Eqns. 4, 563-582.
43. RABIER, P. & RHEINBOLDT, W. 1994 A geometric treatment of implicit differential-algebraic equations. J. Diff. Eqns. 109, 110-146.
44. RANGARAJAN, G. 1996 Symplectic completion of symplectic jets. J. Math. Phys. 37, 4514-4542.
45. REICH, S. 1991 On an existence and uniqueness theory for nonlinear differential-algebraic equations. Circuits, Systems Signal Proc. 10, 343-359.
46. RHEINBOLDT, W. 1984 Differential-algebraic systems as differential equations on manifolds. Math. Comput. 43, 473-482.
47. RIQUIER, C. 1910 Les Systèmes d'Équations aux Dérivées Partielles. Paris: Gauthier-Villars.
48. SAUNDERS, D. 1989 The Geometry of Jet Bundles (London Math. Soc. Lecture Note Series 142). Cambridge: Cambridge University Press.
49. SANZ SERNA, J. M. & CALVO, M. P. 1994 Numerical Hamiltonian Problems. London: Chapman & Hall.
50. SEILER, W. M. 1995 Involution and constrained dynamics II: the Faddeev-Jackiw approach. J. Phys. A Math. Gen. 28, 7315-7331.
51. SEILER, W. M. 1999 Indices and solvability for general systems of differential equations. To appear. Computer Algebra in Scientific Computing, CASC 99 Munich, (V. G. Ghanza, E. W. Mayr, E. V. Vorozthsov eds.) Berlin:Springer, pp. 365-385.
52. SEILER, W. M. & TUCKER, R. W. 1995 Involution and constrained dynamics I: the dirac approach. J. Phys. A Math. Gen. 28, 4431-4451.
53. SPENCER, D. 1969 Overdetermined systems of linear partial differential equations. Bull. Am. Math. Soc. 75, 179-239.
54. SPIVAK, M. 1979 A Comprehensive Introduction to Differential Geometry vol. 1-5. 2nd edn., Publish or Perish.
55. TARKHANOV, N. 1995 Complexes of Differential Operators. Dordrecht: Kluwer.
56. THOMAS, G. 1997 Contributions théoriques et algorithmiques à l'étude des équations différentielles-algébriques. PhD Thesis, Institut National Polytechnique de Grenoble.
57. TUOMELA, J. 1996 On the numerical solution of involutive ordinary differential systems. Research Report A363, Helsinki University of Technology.
58. TUOMELA, J. 1997 On singular points of quasilinear differential and differential-algebraic equations. BIT 37, 966-975.
59. TUOMELA, J. 1998 On the resolution of singularities of ordinary differential systems. Numer. Algor. 19, 247-259.
60. TUOMELA, J. & ARPONEN, T. On the numerical solution of involutive ordinary differential systems 2: higher order methods, submitted to BIT.
61. VERSHIK, A. M. & GERSHKOVICH, V. YA. 1994 Nonholonomic dynamical systems, geometry of distributions and variational problems. Dynamical Systems VII (Encyclopaedia of Mathematical Sciences 16). (V. I. Arnold & S. P. Novikov eds). Berlin: Springer, pp. 1-81.
62. VINOGRADOV, A. M. 1981 Math. Rev. 81f: 58046.
63. WOLFRAM, S. 1991 Mathematica: A System for Doing Mathematics by Computer. 2nd edn., Reading, MA: Addison-Wesley.
64. ZANNA, A. 1998 Lie group methods for isospectral flows. PhD Thesis, University of Cambridge.
65. ZANNA, A. & MUNTHE-KAAS, H. 1997 Iterated commutators, Lie's reduction method and ordinary differential equations on matrix Lie groups. Foundations of Computational Mathematics. (F. Cucker ed). Berlin: Springer, pp. 434-441.