Skip to main content
SpringerLink
Log in

Numerical integration of ordinary differential equations on manifolds

  • Published:
Journal of Nonlinear Science Aims and scope Submit manuscript

Summary

This paper is concerned with the problem of developing numerical integration algorithms for differential equations that, when viewed as equations in some Euclidean space, naturally evolve on some embedded submanifold. It is desired to construct algorithms whose iterates also evolve on the same manifold. These algorithms can therefore be viewed as integrating ordinary differential equations on manifolds. The basic method “decouples” the computation of flows on the submanifold from the numerical integration process. It is shown that two classes of single-step and multistep algorithms can be posed and analyzed theoretically, using the concept of “freezing” the coefficients of differential operators obtained from the defining vector field. Explicit third-order algorithms are derived, with additional equations augmenting those of their classical counterparts, obtained from “obstructions” defined by nonvanishing Lie brackets.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Austin, P. S. Krishnaprasad, and L.-S. Wang, Symplectic and Almost Poisson Integration of Rigid Body Systems,Proceedings of the 1991 International Conference on Computational Engineering Science, ed. S. Atluvi, Melbourne, Australia, August, (1991).

  2. J. C. Butcher, An Order Bound for Runge-Kutta Methods,SIAM J. Numerical Analysis, Vol. 12, pp. 304–315, (1975).

    Article  MATH  MathSciNet  Google Scholar 

  3. J. C. Butcher,The Numerical Analysis of Ordinary Differential Equations, John Wiley, (1986).

  4. P. Channell, Symplectic Integration for Particles in Electric and Magnetic Fields, (Accelerator Theory Note, No. AT-6: ATN-86-5). Los Alamos National Laboratory, (1986).

  5. P. Channell, and C. Scovel, Symplectic Integration of Hamiltonian Systems, submitted toNonlinearity, June, 1988.

  6. A. Chorin, T. J. R. Hughes, J. E. Marsden, and M. McCracken, Product Formulas and Numerical Algorithms,Comm. Pure and Appl. Math., Vol. 31, pp. 205–256, (1978).

    MATH  MathSciNet  Google Scholar 

  7. P. E. Crouch, Spacecraft Altitude Control and Stabilization: Application of Geometric Control to Rigid Body Models,IEEE Transactions on Automatic Control, Vol. AC-29, pp. 321–331, (1986).

    MathSciNet  Google Scholar 

  8. P. E. Crouch, and R. L. Grossman, The Explicit Computation of Integration Algorithms and First Integrals for Ordinary Differential Equations with Polynomial Coefficients Using Trees,Proceedings of the 1992 International Symposium of Algebraic and Symbolic Computation, ACM, (1992).

  9. P. Crouch, R. Grossman, and R. G. Larson, Computations Involving Differential Operators and Their Actions on Functions,Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ACM, (1991).

  10. P. Crouch, R. Grossman, and R. Larson, Trees, Bialgebras, and Intrinsic Numerical Integrators, (Laboratory for Advanced Computing Technical Report, # LAC90-R23). University of Illinois at Chicago, May, (1990).

  11. R. de Vogelaere, Methods of Integration which Preserve the Contact Transformation Property of the Hamiltonian Equations, Department of Mathematics, University of Notre Dame Report Vol. 4.

  12. A. Deprit, Canonical Transformations Depending upon a Small Parameter,Celestial Mechanics, Vol. 1, pp. 1–31, (1969).

    MATH  Google Scholar 

  13. A. J. Dragt, and J. M. Finn, Lie Series and Invariant Functions for Analytic Symplectic Maps,J. Math. Physics, Vol. 17, pp. 2215–2227, (1976).

    Article  MATH  MathSciNet  Google Scholar 

  14. K. Feng, The Symplectic Methods for Computation of Hamiltonian Systems,Springer Lecture Notes in Numerical Methods for P.D.E.'s, (1987).

  15. C. W. Gear, Simultaneous numerical solution of differential-algebraic equations,IEEE Transactions on Circuit Theory, Vol. 18, pp. 89–95, (1971).

    Article  Google Scholar 

  16. Ge-Zhong, and J. Marsden, Lie-Poisson Hamiltonian-Jacobi Theory and Lie-Poisson Integrations,Phys. Lett. A., Vol. 133, pp. 134–139, (1988).

    Article  MathSciNet  Google Scholar 

  17. R. Grossman, and R. Larson, The Symbolic Computation of Derivations Using Labeled Trees,J. Sympolic Computation, to appear.

  18. E. Hairer, C. Lubich, and M. Roche,The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods, Springer-Verlag, Berlin, (1989).

    MATH  Google Scholar 

  19. E. Hairer, S. P. Norsett, and G. Wanner,Solving Ordinary Differential Equations I: Nonstiff Problems, Springer-Verlag, Berlin, (1987).

    MATH  Google Scholar 

  20. E. Isaacson, and H. B. Keller,Analysis of Numerical Methods, Wiley, (1966).

  21. A. J. Krener and R. Hermann, “Nonlinear Observability and Controllability,” IEEETransactions on Automatic Control A.C.-22, pp. 728–740, (1977).

  22. G. Meyer, On the Use of Euler's Theorem on Rotations for the Synthesis of Attitude Control Systems, (NASA Technical Note, NASA TN.D-3643). Ames Research Center, Moffet Field, California, (1966).

    Google Scholar 

  23. L. R. Petzold, Order Results for Implicit Runge-Kutta Methods Applied to Differential/Algebraic Systems,SIAM Journal of Numerical Analysis, Vol. 23, pp. 837–852, (1986).

    Article  MATH  MathSciNet  Google Scholar 

  24. W. C. Rheinboldt, Differential-Algebraic Systems as Differential Equations on Manifolds,Mathematics of Computation, Vol. 43, pp. 473–482, (1984).

    Article  MATH  MathSciNet  Google Scholar 

  25. R. Ruth, A Canonical Integration Technique,IEEE Transactions on Nuclear Science, Vol. 30, p. 2669, (1983).

    Article  Google Scholar 

  26. J. M. Sanz-Serra, Runge-Kutta Schemes for Hamiltonian Systems,Bit, Vol. 28, pp. 877–883, (1988).

    Article  MathSciNet  Google Scholar 

  27. C. Scovel, Symplectic Numerical Integration of Hamiltonian Systems,Proceedings of the MSRI Workshop on the Geometry of Hamiltonian Systems, to appear.

  28. F. Silva Leite, and J. Vitoria, Generalization of the De Moivre Formulas for Quaternions and Octonions,Estudos de Matematica in the Honour of Luis de Albequerque, Universidade de Coimbra, pp. 121–133, (1991).

  29. F. Silva Leite, C. Simoes, and J. Vitoria, Hypercomplex Numbers and Rotations, Universidade Do Minho, 4–8, Vol. 3, pp. 636–643, (1987).

    MathSciNet  Google Scholar 

  30. Dao-Liu Wang, “Symplectic Difference Schemes for Hamiltonian Systems on Poisson Manifolds,” Academia Senica, Computing Center, Beijing, China, (1988).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for Systems Science and Engineering, Arizona State University, 85287-7606, Tempe, AZ, USA

    P. E. Crouch

  2. Laboratory for Advanced Computing, University of Illinois at Chicago, 60680, Chicago, IL, USA

    R. Grossman

Authors
  1. P. E. Crouch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Grossman
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Communicated by Paul Channell

Rights and permissions

Reprints and permissions

About this article

Cite this article

Crouch, P.E., Grossman, R. Numerical integration of ordinary differential equations on manifolds. J Nonlinear Sci 3, 1–33 (1993). https://doi.org/10.1007/BF02429858

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02429858

Key words

AMS Subject Classifications

Search

Navigation