Numerical analysis of constrained Hamiltonian systems and the formal theory of differential equations

Mathematics and Computers in Simulation

Volumn 45, Issue 5-6, 1998, Pages 561-576

  Seiler, Werner M ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Constrained Hamiltonian systems; Differential algebraic equations; Dirac algorithm; Formal integrability; Formal theory of differential equations; Index; Involution; Numerical integration

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; EQUATIONS OF MOTION; FORMAL LOGIC; INTEGRATION; NUMERICAL ANALYSIS;

DIRAC ALGORITHM; FORMAL THEORY; HAMILTONIAN SYSTEMS;

DIFFERENTIAL EQUATIONS;

EID: 0032024775     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0378-4754(97)00129-8     Document Type: Article

References (49)

1. V.I. Arnold, Geometrische Methoden in der Theorie der gewöhnlichen Differentialgleichungen, Birkhäuser, Basel, 1987.
2. T. Arponen, J. Tuomela, On the numerical solution of involutive ordinary differential systems: Numerical results, Research Report A370, Helsinki University of Technology, Institute of Mathematics, 1996.
3. U.M. Ascher, H. Chin, S. Reich, Stabilization of DAEs and invariant manifolds, Num. Math. 67 (1994) 131-149.
4. K.E. Brenan, S.L. Campbell, L.R. Petzold, Numerical solution of initial-value problems in differential-algebraic equations, North-Holland, Amsterdam, 1989.
5. S.L. Campbell, Least square competions for nonlinear differential algebraic equations, Num. Math. 65 (1993) 77-94.
6. S.L. Campbell, C.W. Gear, The index of general nonlinear DAEs, Num. Math. 72 (1995) 173-196.
7. S.L. Campbell, E. Griepentrog, Solvability of general differential algebraic equations, SIAM J. Sci. Comp. 16 (1995) 257-270.
8. S.L. Campbell, R. Hollenbeck, Automatic differentiation and implicit differential equations, in: M. Berz, C. Bischof, G. Corliss, A. Griewank (Eds.), Proc. Second Int. Workshop Computational Differentiation, SIAM, Philadelphia, 1996, pp. 215-227.
9. S.L. Campbell, W. Marszalek, The index of an infinite dimensional implicit system, Math. Model. Systems, to appear.
10. S.L. Campbell, E. Moore, Constraint preserving integrators for general nonlinear higher index DAEs, Num. Math. 69 (1995) 383-399.
11. E. Cartan, Les Systèmes Différentielles Extérieurs et leurs Applications Géométriques, Hermann, Paris, 1945.
12. D.J. Dichmann, J.H. Maddocks, An impetus-striction simulation of the dynamics of an elastica, J. Nonlin. Sci. 6 (1996) 271-292.
13. P.A.M. Dirac, Generalized Hamiltonian dynamics, Can. J. Math. 2 (1950) 129-148.
14. P.A.M. Dirac, Generalized Hamiltonian dynamics, Proc. Roy. Soc. A 246 (1958) 326-332.
15. E. Hairer, C. Lubich, M. Roche, The numerical solution of differential-algebraic equations by Runge-Kutta methods, Lecture Notes in Mathematics 1409, Springer, Berlin, 1989.
16. E. Hairer, G. Wanner, Solving ordinary differential equations II, Springer, Berlin, 1991.
17. D. Hartley, R.W. Tucker, A constructive implementation of the Cartan-Kähler theory of exterior differential systems, J. Symb. Com. 12 (1991) 655-667.
18. D. Hartley, R.W. Tucker, P.A. Tuckey, Constrained dynamics and exterior differential systems, J. Phys. A 24 (1991) 5253-5265.
19. M. Henneaux, C. Teitelboim, Quantization of gauge systems, Princeton University Press, Princeton, 1992.
20. E. Hubert, The general solution of an ordinary differential equation, in: Y.N. Lakshman (Ed.), Proc. ISSAC'96, ACM, New York, 1996, pp. 189-195.
21. M. Janet, Sur les Systèmes d'Equations aux Dérivées Partielles, J. Math. Pure Appl. 3 (1920) 65-151.
22. L.O. Jay, Symplectic partitioned Runge-Kutta methods for constrained Hamiltonian systems, SIAM J. Num. Anal. 33 (1996) 368-387.
23. P. Kunkel, V. Mehrmann, Canonical forms for linear differential-algebraic equations with variable coefficients, J. Comp. Appl. Math. 56 (1994) 225-251.
24. P. Kunkel, V. Mehrmann, A new look at pencils of matrix valued functions, Lin. Alg. Appl. 212/213 (1994) 215-248.
25. G. Le Vey, Differential algebraic equations: A new look at the index, Rapport de Recherche 2239, INRIA Rennes, 1994.
26. B.J. Leimkuhler, S. Reich, Symplectic integration of constrained Hamiltonian systems, Math. Comp. 63 (1994) 589-605.
27. E. Mansfield, Differential Gröbner bases, Ph.D. thesis, Macquarie University, Sydney, 1991.
28. G. Mendella, G. Marmo, W.M. Tulczyjew, Integrability of implicit differential equations, J. Phys. A 28 (1995) 149-163.
29. O.-P. Piirilä, J. Tuomela, Differential-algebraic systems and formal integrability, Research Report A326, Helsinki University of Technology, Institute of Mathematics, 1993.
30. J.F. Pommaret, Systems of partial differential equations and Lie pseudogroups, Gordon and Breach, London, 1978.
31. M.P. Quéré, G. Villard, An algorithm for the reduction of linear DAE, in: A.H.M. Levelt (Ed.), Proc. ISSAC'95, ACM Press, New York, 1995, pp. 223-231.
32. P.J. Rabier, W.C. Rheinboldt, A geometric treatment of implicit differential algebraic equations, J. Diff. Eq. 109 (1994) 110-146.
33. S. Reich, On an existence and uniqueness theory for nonlinear differential-algebraic equations, Circ. Sys. Sig. Proc. 10 (1991) 343-359.
34. S. Reich, Symplectic integration of constrained Hamiltonian systems by composition methods, SIAM J. Num. Anal. 33 (1996) 475-491.
35. 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 solutions, Eur. J. Appl. Math. 2 (1991) 293-318.
36. J.M. Sanz-Serna, M.P. Calvo, Numerical Hamiltonian problems, Applied Mathematics and Mathematical Computation 7, Chapman & Hall, London, 1994.
37. D.J. Saunders, The geometry of jet bundles, London Mathematical Society Lecture Notes Series 142, Cambridge University Press, Cambridge, 1989.
38. J. Schü, W.M. Seiler, J. Calmet, 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, Kluwer Academic Publishers, Dordrecht, 1993, pp. 337-344.
39. W.M. Seiler, Applying AXIOM to partial differential equations, Internal Report 95-17, Fakultät für Informatik, Universität Karlsruhe, 1995.
40. W.M. Seiler, Involution and constrained dynamics II: The Faddeev-Jackiw approach, J. Phys. A 28 (1995) 7315-7331.
41. W.M. Seiler, Numerical integration of constrained Hamiltonian systems using Dirac brackets, Math. Comp. to appear (1998).
42. W.M. Seiler, R.W. Tucker, Involution and constrained dynamics I: The Dirac approach, J. Phys. A 28 (1995) 4431-4451.
43. B. Simeon, MBSPACK - numerical integration software for constrained mechanical motion, Surv. Math. Ind. 5 (1995) 169-202.
44. E.C.G. Sudarshan, N. Mukunda, Classical dynamics: A modern perspective, Wiley, 1974.
45. K. Sundermeyer, Constrained dynamics, Lecture Notes in Physics 169, Springer, New York, 1982.
46. A. Szatkowski, Geometric characterization of singular differential algebraic equations, Int. J. Sys. Sci. 23 (1992) 167-186.
47. Ph. Tombal, A. Moussiaux, MACSYMA computation of the Dirac-Bergmann algorithm for Hamiltonian systems with constraints, J. Symb. Comp. 1 (1985) 419-421.
48. J. Tuomela, On singular points of quasilinear differential and differential-algebraic equations, Research Report A369, Helsinki University of Technology, Institute of Mathematics, 1996.
49. J. Tuomela, On the numerical solution of involutive ordinary differential systems, Research Report A363, Helsinki University of Technology, Institute of Mathematics, 1996.