nach oben

Erschienen in:

2016 | OriginalPaper | Buchkapitel

2. Seminumerical Algorithms for Computing Invariant Manifolds of Vector Fields at Fixed Points

verfasst von : Àlex Haro, Josep-Maria Mondelo

Erschienen in: The Parameterization Method for Invariant Manifolds

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

This chapter discusses computational aspects of invariant manifolds of vector fields at fixed points. It is focused on algorithms and implementations, since the theory is well established in many classical textbooks and in the foundational papers of the parameterization method. Special emphasis is given to the computation of semi-local expansions of invariant manifolds, for which algorithms are provided, based on the algebraic manipulation of power series and novel Automatic Differentiation techniques. The chapter illustrates the methodology with three detailed examples, which are: the 2D stable manifold of the origin of the Lorenz system, the 4D center manifold of a collinear point of the Restricted Three-Body Problem, and a 6D partial normal form in the same problem that allows the generation of Conley’s transit and non-transit trajectories associated to any object of the center manifold.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel An Overview of the Parameterization Method for Invariant Manifolds

Nächstes Kapitel The Parameterization Method for Quasi-Periodic Systems: From Rigorous Results to Validated Numerics

We have used Brent’s method in order to save coding. The use of Newton’s method would reduce computing time by requiring less iterations.

The performance can be improved through the use of Taylor methods, that are built on automatic differentiation techniques. See, e.g., [Sim01, ABBR12, JZ05].

The value given is in double precision as obtained from the DE406 JPL ephemeris file [Sta98].

AAA+97.

D. V. Anosov, S. Kh. Aranson, V. I. Arnold, I. U. Bronshtein, Yu. S. Il’yashenko, and V. Z. Grines, Ordinary differential equations and smooth dynamical systems, Springer-Verlag New York, Inc., New York, NY, USA, 1997.

ABBR12.

A. Abad, R. Barrio, F. Blesa, and M. Rodríguez, Algorithm 924: Tides, a Taylor series integrator for differential equations, ACM Trans. Math. Softw. 39 (2012), no. 1, 5:1–5:28.

AG03.

E. L. Allgower and K. Georg, Introduction to numerical continuation methods, Classics in Applied Mathematics, vol. 45, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2003, Reprint of the 1990 edition Springer-Verlag, Berlin;.

Arn83.

V. I. Arnold, Geometrical methods in the theory of ordinary differential equations, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Science], vol. 250, Springer-Verlag, New York, 1983, Translated from the Russian by Joseph Szücs, Translation edited by Mark Levi.

Arn88.

V. I. Arnold, Geometrical methods in the theory of ordinary differential equations, second ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 250, Springer-Verlag, New York, 1988, Translated from the Russian by Joseph Szücs [József M. Szűcs].

AUT.

AUTODIFF: Community Portal for Automatic Differentiation. Accessed March 14, 2016, http://www.autodiff.org.

Bar06.

R. Barrio, Sensitivity analysis of ODEs/DAEs using the Taylor series method, SIAM J. Sci. Comput. 27 (2006), no. 6, 1929–1947 (electronic).

BCD+02.

W.-J. Beyn, A. Champneys, E. Doedel, W. Govaerts, Y.A. Kuznetsov, and B. Sandstede, Numerical continuation, and computation of normal forms, Handbook of dynamical systems, Vol. 2, North-Holland, Amsterdam, 2002, pp. 149–219.

BCG93.

C. Bischof, G. Corliss, and A. Griewank, Structured second- and higher-order derivatives through univariate Taylor series, Optim. Methods Software 2 (1993), 211–232.

Ber91.

M. Berz, Algorithms for higher derivatives in many variables with applications to beam physics, Automatic differentiation of algorithms (Breckenridge, CO, 1991), SIAM, Philadelphia, PA, 1991, pp. 147–156.

BHK05.

F. Blomquist, W. Hofschuster, and W. Krämer, Real and complex Taylor arithmetic in c-xsc, Preprint, 2005.

Bis08.

F. Biscani, Design and implementation of a modern algebraic manipulator for Celestial Mechanics, Ph.D. thesis, Dipartimento di Astronomia, Università di Padova, 2008.

BK78.

R. P. Brent and H. T. Kung, Fast algorithms for manipulating formal power series, J. Assoc. Comput. Mach. 25 (1978), no. 4, 581–595.

BK98.

W.-J. Beyn and W. Kleß, Numerical Taylor expansions of invariant manifolds in large dynamical systems, Numer. Math. 80 (1998), no. 1, 1–38.

Bod07.

M. Bodrato, Towards optimal Toom-Cook multiplication for univariate and multivariate polynomials in characteristic 2 and 0, WAIFI 2007 proceedings (C. Carlet and B. Sunar, eds.), LNCS, vol. 4547, Springer, June 2007, pp. 116–133.

CDD+91.

S. Coffey, A. Deprit, E. Deprit, L. Healy, and B. R. Miller, A toolbox for nonlinear dynamics, Computer aided proofs in analysis. (Cincinnati, OH, 1989) (Kenneth R. Meyer and Dieter S. Schmidt, eds.), IMA Vol. Math. Appl., vol. 28, Springer-Verlag, New York, 1991, pp. 97–115.

CdS01.

A. Cannas da Silva, Lectures on symplectic geometry, Lecture Notes in Mathematics, vol. 1764, Springer-Verlag, Berlin, 2001.

CFdlL03a.

X. Cabré, E. Fontich, and R. de la Llave, The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces, Indiana Univ. Math. J. 52 (2003), no. 2, 283–328.

CFdlL03b.

M. J. Capiński, The parameterization method for invariant manifolds. II. Regularity with respect to parameters, Indiana Univ. Math. J. 52 (2003), no. 2, 329–360.

CFdlL05.

M. J. Capiński, The parameterization method for invariant manifolds. III. Overview and applications, J. Differential Equations 218 (2005), no. 2, 444–515.

CM08.

E. Canalias and J. Masdemont, Computing natural transfers between Sun-Earth and Earth-Moon Lissajous libration point orbits, Acta Astronautica 63 (2008), no. 1–4, 238–248.

Coin3D.

Coin3D: 3D Graphics Toolkit. Accessed March 14, 2016, http://www.coin3d.org/.

Con68.

C. C. Conley, Low energy transit orbits in the restricted three-body problem, SIAM J. Appl. Math. 16 (1968), 732–746.

Coo66.

S. A. Cook, On the minimum computation time of functions, Ph.D. thesis, Department of Mathematics, Harvard University, 1966.

DB03.

W.-H. Du and W.-J. Beyn, The numerical approximation of center manifolds in Hamiltonian systems, J. Math. Anal. Appl. 288 (2003), no. 1, 28–46.MathSciNetCrossRefMATH

DH97.

M. Dellnitz and A. Hohmann, A subdivision algorithm for the computation of unstable manifolds and global attractors, Numer. Math. 75 (1997), no. 3, 293–317.

DKO06.

E. Doedel, B. Krauskopf, and H. M. Osinga, Global bifurcations of the Lorenz manifold, Nonlinearity 19 (2006), no. 12, 2947–2972.

FJ10.

A. Farrés and À. Jorba, On the high order approximation of the centre manifold for odes, Discrete Contin. Dyn. Syst. Ser. B 14 (2010), no. 3, 977–1000.

GG78.

G. Giorgilli and L. Galgani, Formal integrals for an autonomous hamiltonian system near an equilibrium point, Cel. Mech. 17 (1978), 267–280.

Gio79.

A. Giorgilli, A computer program for integrals of motion, Comp. Phys. Comm. 16 (1979), 331–343.

GJMS91.

G. Gómez, À. Jorba, J. Masdemont, and C. Simó, Study refinement of semi-analytical halo orbit theory, Tech. report, European Space Agency, 1991.

GJSM01a.

G. Gómez, À. Jorba, C. Simó, and J. Masdemont, Dynamics and mission design near libration point orbits - volume III: Advanced methods for collinear points, World Scientific Monograph Series in Mathematics, vol. 4, World Scientific Publishing Co. Inc., River Edge, NJ, 2001. Reprint of ESA Report Study Refinement of Semi-Analytical Halo Orbit Theory, 1991.

GJU96.

A. Griewank, D. Juedes, and J. Utke, Algorithm 755: ADOL-C: A package for the automatic differentiation of algorithms written in C/C++, ACM Transactions on Mathematical Software 22 (1996), no. 2, 131–167.

GKL+04.

G. Gómez, W. S. Koon, M. W. Lo, J. E. Marsden, J. Masdemont, and S. D. Ross, Connecting orbits and invariant manifolds in the spatial restricted three-body problem, Nonlinearity 17 (2004), no. 5, 1571–1606.

GKMR05.

F. Gabern, W. S. Koon, J. E. Marsden, and S. D. Ross, Theory and computation of non-RRKM lifetime distributions and rates in chemical systems with three or more degrees of freedom, Phys. D 211 (2005), no. 3–4, 391–406.

GL06.

M. Gastineau and J. Laskar, Development of trip: Fast sparse multivariate polynomial multiplication using burst tries, International Conference on Computational Science (2), 2006, pp. 446–453.

GLMS01.

G. Gómez, J. Llibre, R. Martínez, and C. Simó, Dynamics and mission design near libration points. Vol. I, World Scientific Monograph Series in Mathematics, vol. 2, World Scientific Publishing Co. Inc., River Edge, NJ, 2001, Fundamentals: the case of collinear libration points, With a foreword by Walter Flury.

GM00.

J. Guckenheimer and B. Meloon, Computing periodic orbits and their bifurcations with automatic differentiation, SIAM J. Sci. Comput. 22 (2000), no. 3, 951–985 (electronic).

GPH09.

P. Gomis-Porqueras and A. Haro, A geometric description of a macroeconomic model with a center manifold, J. Econom. Dynam. Control 33 (2009), no. 6, 1217–1235.

Gri00.

A. Griewank, Evaluating derivatives, Frontiers in Applied Mathematics, vol. 19, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2000, Principles and techniques of algorithmic differentiation.

GUW00.

A. Griewank, J. Utke, and A. Walther, Evaluating higher derivative tensors by forward propagation of univariate Taylor series, Math. Comp. 69 (2000), no. 231, 1117–1130.

GV04.

J. Guckenheimer and A. Vladimirsky, A fast method for approximating invariant manifolds, SIAM Journal of Applied Dynamical Systems 3 (2004), 2004.

GW08.

A. Griewank and A. Walther, Evaluating derivatives, second ed., Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2008, Principles and techniques of algorithmic differentiation.

Had01.

J. Hadamard, Sur l’itération et les solutions asymptotiques des équations différentielles., S. M. F. Bull. 29 (1901), 224–228 (French).

Har99.

J. K. Hale, Center and center-(un)stable manifolds of elliptic-hyperbolic fixed points of 4D-symplectic maps. An example: the Froeschlé map, Hamiltonian systems with three or more degrees of freedom (S’Agaró, 1995), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., vol. 533, Kluwer Acad. Publ., Dordrecht, 1999, pp. 403–407.

Har08.

J. K. Hale, Automatic differentiation tools in computational dynamical systems, 2008, Lectures in the Advanced School on Specific Algebraic Manipulators (Barcelona, September 12–15, 2007).

Har11.

J. K. Hale, Automatic differentiation tools in computational dynamical systems: invariant manifolds and normal forms of vector fields at fixed points, 2011, Lectures in the IMA New directions short course Invariant Objects in Dynamical Systems and their Applications (Minnesota, June 20-July 1, 2011).

Hen05.

M. E. Henderson, Computing invariant manifolds by integrating fat trajectories, SIAM J. Appl. Dyn. Syst. 4 (2005), no. 4, 832–882 (electronic).

HMV12.

A. Haro, J. M. Mondelo, and B. F. Villac, Dynamical characterization of 1:1 resonance crossing trajectories at Vesta, Paper AAS 12–131, 22nd AAS/AIAA Space Flight Mechanics Meeting, January 29 - February 2, Charleston, South Carolina, USA, 2012.

JdlL.

A. Jorba and R. de la Llave, Regularity properties of center manifolds and applications, manuscript.

JM99.

À. Jorba and J. Masdemont, Dynamics in the center manifold of the collinear points of the restricted three body problem, Phys. D 132 (1999), no. 1–2, 189–213.

Jor99.

À. Jorba, A methodology for the numerical computation of normal forms, centre manifolds and first integrals of Hamiltonian systems, Experiment. Math. 8 (1999), no. 2, 155–195.

JZ05.

À. Jorba and M. Zou, A software package for the numerical integration of ODEs by means of high-order Taylor methods, Experiment. Math. 14 (2005), no. 1, 99–117.

Ked80.

G. Kedem, Automatic differentiation of computer programs, ACM Trans. Math. Software 6 (1980), no. 2, 150–165.

Kel67.

A. Kelley, The stable, center-stable, center, center-unstable, unstable manifolds, J. Differential Equations 3 (1967), 546–570.

KLMR00.

W. S. Koon, M. W. Lo, J. E. Marsden, and S. D. Ross, Heteroclinic connections between periodic orbits and resonance transitions in celestial mechanics, Chaos 10 (2000), no. 2, 427–469.

KM05.

Yu. A. Kuznetsov and H. G. E. Meijer, Numerical normal forms for codim 2 bifurcations of fixed points with at most two critical eigenvalues, SIAM J. Sci. Comput. 26 (2005), no. 6, 1932–1954 (electronic).

Knu97.

D. E. Knuth, The art of computer programming. Vol. 2: Seminumerical algorithms, third revised ed., Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont, 1997.

KO62.

A. Karatsuba and Yu Ofman, Multiplication of many-digital numbers by automatic computers, Dokl. Akad. Nauk SSSR 145 (1962), 293–294, Translation in Physics-Doklady, 7 (1963), 595–596.

KO98.

B. Krauskopf and H. M. Osinga, Globalizing two-dimensional unstable manifolds of maps, Internat. J. Bifur. Chaos Appl. Sci. Engrg. 8 (1998), no. 3, 483–503.

KOD+05.

B. Krauskopf, H. M. Osinga, E. Doedel, M. E. Henderson, J. Guckenheimer, A. Vladimirsky, M. Dellnitz, and O. Junge, A survey of methods for computing (un)stable manifolds of vector fields, Internat. J. Bifur. Chaos Appl. Sci. Engrg. 15 (2005), no. 3, 763–791.

Lo02.

M. W. Lo, The Interplanetary Superhighway and the origins program, 2002 IEEE Aerospace Conference Proceedings, Vols 1–7, 2002, pp. 3543–3562.

Lor63.

E. N. Lorenz, Deterministic nonperiodic flow, Journal of the Atmospheric Sciences 20 (1963), no. 2, 130–141.

MB03.

K. Makino and M. Berz, Taylor models and other validated functional inclusion methods, Int. J. Pure Appl. Math. 4 (2003), no. 4, 379–456.

MJL10.

J. D. Mireles James and H. Lomelí, Computation of heteroclinic arcs with application to the volume preserving Hénon family, SIAM J. Appl. Dyn. Syst. 9 (2010), no. 3, 919–953.

Moo79.

R. E. Moore, Methods and applications of interval analysis, SIAM Studies in Applied Mathematics, vol. 2, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, Pa., 1979.

Mos65.

R. E. Moore, On the volume elements on a manifold, Trans. Amer. Math. Soc. 120 (1965), 286–294.

MS98.

D. McDuff and D. Salamon, Introduction to symplectic topology, second ed., Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, New York, 1998.

Mur03.

J. Murdock, Normal forms and unfoldings for local dynamical systems, Springer Monographs in Mathematics, Springer-Verlag, New York, 2003.

Nei95.

R. D. Neidinger, Computing multivariable Taylor series to arbitrary order, SIGAPL APL Quote Quad 25 (1995), no. 4, 134–144.

Nei05.

R. D. Neidinger, Directions for computing truncated multivariate Taylor series, Math. Comp. 74 (2005), no. 249, 321–340 (electronic).

Nei10.

R. D. Neidinger, Introduction to automatic differentiation and matlab object-oriented programming, SIAM Review 52 (2010), no. 3, 545–563.

Per29.

O. Perron, Über Stabilität und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen, Math. Z. 29 (1929), no. 1, 129–160.

PL06.

J. S. Parker and M. W. Lo, Shoot the moon 3D, Advances in the Astronautical Sciences 123 (2006), 2067–2086.

Ral83.

L. B. Rall, Differentiation and generation of Taylor coefficients in pascal-sc, A new approach to scientific computation. Proceedings of the symposium held at the IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y., August 3, 1982 (New York) (U.W. Kulisch and W.L. Miranker, eds.), Notes and Reports in Computer Science and Applied Mathematics, vol. 7, Academic Press Inc. [Harcourt Brace Jovanovich Publishers], 1983, pp. xv+384.

Rom70.

A. Rom, Mechanized algebraic operations (mao), Celestial mechanics 1 (1970), no. 3–4, 301–319 (English).

Sch05.

É. Schost, Multivariate power series multiplication, ISSAC’05, ACM, New York, 2005, pp. 293–300 (electronic).

Sim90.

C. Simó, On the Analytical and Numerical Approximation of Invariant Manifolds, Modern Methods in Celestial Mechanics, Comptes Rendus de la 13ieme Ecole Printemps d’Astrophysique de Goutelas (France), 24–29 Avril, 1989. Edited by Daniel Benest and Claude Froeschlé. Gif-sur-Yvette: Editions Frontieres, 1990., p.285 (1990), 285–330.

Sim96.

M. B. Sevryuk, Effective computations in Hamiltonian dynamics, Mécanique céleste, SMF Journ. Annu., vol. 1996, Soc. Math. France, Paris, 1996, p. 23.

Sim98.

M. B. Sevryuk, Effective computations in celestial mechanics and astrodynamics, Modern methods of analytical mechanics and their applications (Udine, 1997), CISM Courses and Lectures, vol. 387, Springer, Vienna, 1998, pp. 55–102.

Sim01.

M. B. Sevryuk, Global dynamics and fast indicators, Global analysis of dynamical systems, Inst. Phys., Bristol, 2001, pp. 373–389.

Sim10.

M. B. Sevryuk, On the role of dynamical systems in celestial mechanics. Accessed March 14, 2016, http://www.maia.ub.es/dsg/2010/1004simo.ps.gz.

SM71.

C. L. Siegel and J. K. Moser, Lectures on Celestial Mechanics, Springer-Verlag, New York, 1971, Translation by C. I. Kalme, Die Grundlehren der mathematischen Wissenschaften, Band 187.

Spa82.

C. Sparrow, The Lorenz equations: bifurcations, chaos, and strange attractors, Applied Mathematical Sciences, vol. 41, Springer-Verlag, New York-Berlin, 1982.

SS71.

A. Schönhage and V. Strassen, Schnelle Multiplikation grosser Zahlen, Computing (Arch. Elektron. Rechnen) 7 (1971), 281–292.

Sta98.

E. M. Standish, JPL planetary and lunar ephemerides, DE405/LE405, Tech. Report IOM 312.F.98–048, Jet Propultion Laboratory, 1998.

Sze67.

V. Szebehely, Theory of orbits. the Restricted Problem of Three Bodies, Academic Press, 1967.

Too63.

A. L. Toom, The complexity of a scheme of functional elements simulating the multiplication of integers, Dokl. Akad. Nauk SSSR 150 (1963), 496–498.

UJP+02.

T. Uzer, C. Jaffé, J. Palacián, P. Yanguas, and S. Wiggins, The geometry of reaction dynamics, Nonlinearity 15 (2002), no. 4, 957–992.

vdH02.

J. van der Hoeven, Relax, but don’t be too lazy, J. Symbolic Comput. 34 (2002), no. 6, 479–542.

vdH04.

J. B. van den Berg, J. D. Mireles James, J.-P. Lessard, and K., The truncated Fourier transform and applications, ISSAC 2004, ACM, New York, 2004, pp. 290–296.

Wei77.

A. Weinstein, Lectures on symplectic manifolds, CBMS Regional Conf. Ser. in Math., vol. 29, Amer. Math. Soc., Providence, 1977.

Wit11.

A. Wittig, Rigorous high-precision enclosures of fixed points and their invariant manifolds, Ph.D. thesis, Department of Physics and Astronomy, Michigan State University, 2011.

Titel: Seminumerical Algorithms for Computing Invariant Manifolds of Vector Fields at Fixed Points
verfasst von: Àlex Haro
Josep-Maria Mondelo
Verlag: Springer International Publishing
Buch: The Parameterization Method for Invariant Manifolds
Print ISBN: 978-3-319-29660-9

Electronic ISBN: 978-3-319-29662-3

Copyright-Jahr: 2016
DOI: https://doi.org/10.1007/978-3-319-29662-3_2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner