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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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).
J. C. Butcher, An Order Bound for Runge-Kutta Methods,SIAM J. Numerical Analysis, Vol. 12, pp. 304–315, (1975).
J. C. Butcher,The Numerical Analysis of Ordinary Differential Equations, John Wiley, (1986).
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).
P. Channell, and C. Scovel, Symplectic Integration of Hamiltonian Systems, submitted toNonlinearity, June, 1988.
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).
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).
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).
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).
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).
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.
A. Deprit, Canonical Transformations Depending upon a Small Parameter,Celestial Mechanics, Vol. 1, pp. 1–31, (1969).
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).
K. Feng, The Symplectic Methods for Computation of Hamiltonian Systems,Springer Lecture Notes in Numerical Methods for P.D.E.'s, (1987).
C. W. Gear, Simultaneous numerical solution of differential-algebraic equations,IEEE Transactions on Circuit Theory, Vol. 18, pp. 89–95, (1971).
Ge-Zhong, and J. Marsden, Lie-Poisson Hamiltonian-Jacobi Theory and Lie-Poisson Integrations,Phys. Lett. A., Vol. 133, pp. 134–139, (1988).
R. Grossman, and R. Larson, The Symbolic Computation of Derivations Using Labeled Trees,J. Sympolic Computation, to appear.
E. Hairer, C. Lubich, and M. Roche,The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods, Springer-Verlag, Berlin, (1989).
E. Hairer, S. P. Norsett, and G. Wanner,Solving Ordinary Differential Equations I: Nonstiff Problems, Springer-Verlag, Berlin, (1987).
E. Isaacson, and H. B. Keller,Analysis of Numerical Methods, Wiley, (1966).
A. J. Krener and R. Hermann, “Nonlinear Observability and Controllability,” IEEETransactions on Automatic Control A.C.-22, pp. 728–740, (1977).
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).
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).
W. C. Rheinboldt, Differential-Algebraic Systems as Differential Equations on Manifolds,Mathematics of Computation, Vol. 43, pp. 473–482, (1984).
R. Ruth, A Canonical Integration Technique,IEEE Transactions on Nuclear Science, Vol. 30, p. 2669, (1983).
J. M. Sanz-Serra, Runge-Kutta Schemes for Hamiltonian Systems,Bit, Vol. 28, pp. 877–883, (1988).
C. Scovel, Symplectic Numerical Integration of Hamiltonian Systems,Proceedings of the MSRI Workshop on the Geometry of Hamiltonian Systems, to appear.
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).
F. Silva Leite, C. Simoes, and J. Vitoria, Hypercomplex Numbers and Rotations, Universidade Do Minho, 4–8, Vol. 3, pp. 636–643, (1987).
Dao-Liu Wang, “Symplectic Difference Schemes for Hamiltonian Systems on Poisson Manifolds,” Academia Senica, Computing Center, Beijing, China, (1988).
Author information
Authors and Affiliations
Additional information
Communicated by Paul Channell
Rights 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
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02429858
Key words
- numerical integration
- manifold
- differential equation flow
- lie algebra
- algorithm
- symbolic computation
- frozen coefficients