R eferences
[Arn63] V. I. Arnol
0d. Proof of a theorem of A. N. Kolmogorov on the preservation of conditionally periodic motions under a small perturbation of the Hamil- tonian. Uspehi Mat. Nauk, 18(5 (113)):13–40, 1963.
[BMS76] N. N. Bogoljubov, Ju. A. Mitropoliskii, and A. M. Samo˘ılenko. Methods of accelerated convergence in nonlinear mechanics. Hindustan Publishing Corp., Delhi; Springer-Verlag, Berlin-New York, 1976. Translated from the Russian by V. Kumar and edited by I. N. Sneddon.
[CCCdlL15] Renato Calleja, Alessandra Celletti, Livia Corsi, and Rafael de la Llave. Re- sponse solutions for quasi-periodically forced, dissipative wave equations.
2015.
[CCdlL15] Renato Calleja, Alessandra Celletti, and Rafael de la LLave. Whitney reg- ularity, monogenic dependence of solutions in kam theory: An a-posteriori approach. 2015.
[CF80] A. Casal and M. Freedman. A Poincar´e-Lindstedt approach to bifurcation problems for di ↵ erential-delay equations. IEEE Trans. Automat. Control, 25(5):967–973, 1980.
[CFdlL03] Xavier Cabr´e, Ernest Fontich, and Rafael de la Llave. The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant sub- spaces. Indiana Univ. Math. J., 52(2):283–328, 2003.
[CFdlL05] Xavier Cabr´e, Ernest Fontich, and Rafael de la Llave. The parameterization method for invariant manifolds. III. Overview and applications. J. Di ↵ eren- tial Equations, 218(2):444–515, 2005.
[dlL01] Rafael de la Llave. A tutorial on KAM theory. In Smooth ergodic theory and its applications (Seattle, WA, 1999), volume 69 of Proc. Sympos. Pure Math., pages 175–292. Amer. Math. Soc., Providence, RI, 2001.
[dlLO99] R. de la Llave and R. Obaya. Regularity of the composition operator in spaces of H¨older functions. Discrete Contin. Dynam. Systems, 5(1):157–184, 1999.
[Fay02] Bassam R. Fayad. Weak mixing for reparameterized linear flows on the torus.
Ergodic Theory Dynam. Systems, 22(1):187–201, 2002.
[FB76] V. ¯I. Fodˇcuk and M. S. Borte˘ı. Quasiperiodic solutions of functional- di ↵ erential equations. Ukrain. Mat. ˇZ., 28(3):352–365, 429, 1976.
[Fen77] Neil Fenichel. Asymptotic stability with rate conditions. II. Indiana Univ.
Math. J., 26(1):81–93, 1977.
[Fen74] Neil Fenichel. Asymptotic stability with rate conditions. Indiana Univ. Math.
J., 23:1109–1137, 1973 / 74.
[HCF
+15] Alex Haro, Marta Canadell, Jordi-Lluıs Figueras, Alejandro Luque, and Josep Maria Mondelo. The parameterization method for invariant manifolds:
from theory to e ↵ ective computations. 2015.
[HCHS14] D.A. Humphries, A.R.and Bernucci, Renato Calleja, N. Homayounfar, and M. Snarski. Periodic solutions of a singularly perturbed delay di↵erential equation with two state-dependent delays. 2014.
[HdlL15] Xiaolong He and Rafael de la Llave. Construction of quasi-periodic solu- tions of state-dependent delay di ↵ erential equations by the parameterization method i: finite di↵erentiable, hyperbolic case. 2015.
[HDMU12] A. R. Humphries, O. A. DeMasi, F. M. G. Magpantay, and F. Upham. Dy- namics of a delay di ↵ erential equation with multiple state-dependent delays.
Discrete Contin. Dyn. Syst., 32(8):2701–2727, 2012.
CiAP in Nonlinear Dynamics Introduction and the method of radii polynomials
INVARIANT MANIFOLDS FOR PERIODIC ORBITS 165
[15] C. Sim´ o, On the analytical and numerical approximation of invariant manifolds, in Les M´ethodes Mod- ernes de la Mec´ anique C´eleste, Editions Frontieres, Gif-sur-Yvette, France, 1990, pp. 285–329.
[16] G. G´ omez, J. Llibre, and J. Masdemont, Homoclinic and heteroclinic solutions in the restricted three-body problem, Celestial Mech. Dynam. Astronon., 44 (1988), pp. 239–259.
[17] J. Llibre, R. Mart´ınez, and C. Sim´ o, Tranversality of the invariant manifolds associated to the Lya- punov family of periodic orbits near L
2in the restricted three-body problem, J. Differential Equations, 58 (1985), pp. 104–156.
[18] M. E. Johnson, M. S. Jolly, and I. G. Kevrekidis, Two-dimensional invariant manifolds and global bifurcations: Some approximation and visualization studies, Numer. Algorithms, 14 (1997), pp. 125–
140.
[19] B. Krauskopf and H. Osinga, Two-dimensional global manifolds of vector fields, Chaos, 9 (1999), pp. 768–774.
[20] B. Krauskopf and H. M. Osinga, Computing geodesic level sets on global (un)stable manifolds of vector fields, SIAM J. Appl. Dyn. Syst., 2 (2003), pp. 546–569.
[21] M. Dellnitz and A. Hohmann, A subdivision algorithm for the computation of unstable manifolds and global attractors, Numer. Math., 75 (1997), pp. 293–317.
[22] T. Sahai and A. Vladimirsky, Numerical methods for approximating invariant manifolds of delayed systems, SIAM J. Appl. Dyn. Syst., 8 (2009), pp. 1116–1135.
[23] J. Guckenheimer and A. Vladimirsky, A fast method for approximating invariant manifolds, SIAM J. Appl. Dyn. Syst., 3 (2004), pp. 232–260.
[24] J. K. Wr´ obel and R. H. Goodman, High-order adaptive method for computing two-dimensional in- variant manifolds of three-dimensional maps, Commun. Nonlinear Sci. Numer. Simul., 18 (2013), pp. 1734–1745.
[25] R. H. Goodman and J. K. Wr´ obel, High-order bisection method for computing invariant manifolds of two-dimensional maps, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 21 (2011), pp. 2017–2042.
[26] B. Krauskopf, H. M. Osinga, E. J. 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), pp. 763–791.
[27] H. M. Osinga, Nonorientable manifolds in three-dimensional vector fields, Internat. J. Bifur. Chaos Appl.
Sci. Engrg., 13 (2003), pp. 553–570.
[28] P. Aguirre, E. J. Doedel, B. Krauskopf, and H. M. Osinga, Investigating the consequences of global bifurcations for two-dimensional invariant manifolds of vector fields, Discrete Contin. Dynam.
Systems, 29 (2011), pp. 1309–1344.
[29] E. J. Doedel, B. Krauskopf, and H. M. Osinga, Global invariant manifolds in the transition to preturbulence in the Lorenz system, Indag. Math. (N.S.), 22 (2011), pp. 222–240.
[30] W. Tucker, Robust normal forms for saddles of analytic vector fields, Nonlinearity, 17 (2004), pp. 1965–
1983.
[31] T. Johnson and W. Tucker, A note on the convergence of parametrised non-resonant invariant man- ifolds, Qual. Theory Dyn. Syst., 10 (2011), pp. 107–121.
[32] W. Tucker, The Lorenz attractor exists, C. R. Acad. Sci. Paris S´er. I Math., 328 (1999), pp. 1197–1202.
[33] M. J. Capi´ nski and P. Rold´ an, Existence of a center manifold in a practical domain around L
1in the restricted three-body problem, SIAM J. Appl. Dyn. Syst., 11 (2012), pp. 285–318.
[34] A. Jorba and J. Villanueva, ` Numerical computation of normal forms around some periodic orbits of the restricted three-body problem, Phys. D, 114 (1998), pp. 197–229.
[35] F. Gabern, ` A. Jorba, and U. Locatelli, On the construction of the Kolmogorov normal form for the Trojan asteroids, Nonlinearity, 18 (2005), pp. 1705–1734.
[36] A. Jorba and J. Masdemont, ` Dynamics in the center manifold of the collinear points of the restricted three body problem, Phys. D, 132 (1999), pp. 189–213.
[37] E. Canalias, A. Delshams, J. J. Masdemont, and P. Rold´ an, The scattering map in the planar restricted three body problem, Celestial Mech. Dynam. Astronom., 95 (2006), pp. 155–171.
[38] A. Delshams, J. Masdemont, and P. Rold´ an, Computing the scattering map in the spatial Hill’s problem, Discrete Contin. Dynam. Systems Ser. B, 10 (2008), pp. 455–483.
[39] A. Haro and R. de la Llave, ` A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Numerical algorithms, Discrete Contin. Dynam. Systems Ser.
B, 6 (2006), pp. 1261–1300.
166 R. CASTELLI, J.-P. LESSARD, AND J. D. MIRELES JAMES
[40] A. Haro and R. de la Llave, A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: Rigorous results, J. Differential Equations, 228 (2006), pp. 530–579.
[41] E. Fontich, R. de la Llave, and Y. Sire, A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems, Electron. Res. An- nounc. Amer. Math. Sci., 16 (2009), pp. 9–22.
[42] R. Calleja and R. de la Llave, Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps, Nonlinearity, 22 (2009), pp. 1311–1336.
[43] R. Calleja and R. de la Llave, A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification, Nonlinearity, 23 (2010), pp. 2029–2058.
[44] Proceedings CEDYA 2013. Parameterization method for computing quasi-periodic reducible normally hy- perbolic invariant tori, in Advances in Differential Equations and Aplications, SEMA-SIMAI Series 4, Springer, Berlin, 2013, pp. 85–94.
[45] M. Canadell and A. Haro, A Newton-like Method for Computing Normally Hyperbolic Invariant Tori, manuscript.
[46] R. de la Llave and J. D. Mireles James, Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps, Discrete Contin. Dynam. Systems, 32 (2012), pp. 4321–4360.
[47] J. D. Mireles James and H. Lomel´ı , Computation of heteroclinic arcs with application to the volume preserving H´enon family, SIAM J. Appl. Dyn. Syst., 9 (2010), pp. 919–953.
[48] J. D. Mireles James, Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations, J. Nonlinear Sci., 23 (2013), pp. 585–615.
[49] A. M. Fox and J. D. Meiss, Efficient Computation of Invariant Tori in Volume-Preserving Maps, preprint, arXiv:1309.7226, 2013.
[50] R. de la Llave, A. Gonz´ alez, ` A. Jorba, and J. Villanueva, KAM theory without action-angle variables, Nonlinearity, 18 (2005), pp. 855–895.
[51] R. de la Llave, A tutorial on KAM theory, in Smooth Ergodic Theory and its Applications (Seattle, WA, 1999), Proc. Sympos. Pure Math. 69, AMS, Providence, RI, 2001, pp. 175–292.
[52] T. Blass and R. de la Llave, Kam theory for volume-preserving maps, submitted.
[53] R. C. Calleja, A. Celletti, and R. de la Llave, A KAM theory for conformally symplectic systems:
Efficient algorithms and their validation, J. Differential Equations, 255 (2013), pp. 978–1049.
[54] E. J. Doedel and M. J. Friedman, Numerical computation of heteroclinic orbits, J. Comput. Appl.
Math., 26 (1989), pp. 155–170.
[55] E. J. Doedel, B. W. Kooi, G. A. K. van Voorn, and Yu. A. Kuznetsov, Continuation of connecting orbits in 3D-ODEs. I. Point-to-cycle connections, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 18 (2008), pp. 1889–1903.
[56] E. J. Doedel, B. W. Kooi, G. A. K. Van Voorn, and Yu. A. Kuznetsov, Continuation of connecting orbits in 3D-ODEs. II. Cycle-to-cycle connections, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 19 (2009), pp. 159–169.
[57] E. Canalias and J. J. Masdemont, Homoclinic and heteroclinic transfer trajectories between planar Lyapunov orbits in the sun-earth and earth-moon systems, Discrete Contin. Dynam. Systems, 14 (2006), pp. 261–279.
[58] L. Arona and J. J. Masdemont, Computation of heteroclinic orbits between normally hyperbolic in- variant 3-spheres foliated by 2-dimensional invariant tori in Hill’s problem, Discrete Contin. Dynam.
Systems Suppl., 2007, pp. 64–74.
[59] E. M. Alessi, G. G´ omez, and J. J. Masdemont, Leaving the Moon by means of invariant manifolds of libration point orbits, Commun. Nonlinear Sci. Numer. Simul., 14 (2009), pp. 4153–4167.
[60] W.-J. Beyn, The numerical computation of connecting orbits in dynamical systems, IMA J. Numer.
Anal., 10 (1990), pp. 379–405.
[61] E. J. Doedel, M. J. Friedman, and A. C. Monteiro, On locating connecting orbits, Appl. Math.
Comput., 65 (1994), pp. 231–239.
[62] B. Krauskopf and T. Rieß, A Lin’s method approach to finding and continuing heteroclinic connections involving periodic orbits, Nonlinearity, 21 (2008), pp. 1655–1690.
[63] J. Knobloch and T. Rieß, Lin’s method for heteroclinic chains involving periodic orbits, Nonlinearity,
23 (2010), pp. 23–54.
CiAP in Nonlinear Dynamics Introduction and the method of radii polynomials
equations with smooth nonlinearities. SIAM J. Numer. Anal., 51(6):2957–2983, 2013.
[20] A. De Carvalho, M. Lyubich, and M. Martens. Renormalization in the H´enon family. I. Universality but non-rigidity. J. Stat. Phys., 121(5-6):611–669, 2005.
[21] R. de la Llave and J. D. Mireles James. Connecting orbits for compact infinite dimensional maps:
computer assisted proofs of existence. SIAM J. Appl. Dyn. Syst., 15(2):1268–1323, 2016.
[22] Rafael de la Llave, Jordi-Llu´ıs Figueras, Marcio Gameiro, and Jean-Philippe Lessard. Theoretical results on the numerical computation and a-posteriori verification of invariant objects of evolution equations. In preparation., 2014.
[23] Rafael de la Llave, Arturo Olvera, and Nikola P. Petrov. Combination laws for scaling exponents and relation to the geometry of renormalization operators: the principle of approximate combination of scaling exponents. J. Stat. Phys., 143(5):889–920, 2011.
[24] Jayme De Luca, A. R. Humphries, and Savio B. Rodrigues. Finite element boundary value integration of Wheeler-Feynman electrodynamics. J. Comput. Appl. Math., 236(13):3319–3337, 2012.
[25] B. Derrida, A. Gervois, and Y. Pomeau. Iteration of endomorphisms on the real axis and representation of numbers. Ann. Inst. H. Poincar´e Sect. A (N.S.), 29(3):305–356, 1978.
[26] E. J. Doedel, B. W. Kooi, G. A. K. van Voorn, and Yu. A. Kuznetsov. Continuation of connecting orbits in 3D-ODEs. I. Point-to-cycle connections. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 18(7):1889–
1903, 2008.
[27] E. J. Doedel, B. W. Kooi, G. A. K. Van Voorn, and Yu. A. Kuznetsov. Continuation of connecting orbits in 3D-ODEs. II. Cycle-to-cycle connections. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 19(1):159–169, 2009.
[28] Eusebius J. Doedel and Mark J. Friedman. Numerical computation of heteroclinic orbits. J. Comput.
Appl. Math., 26(1-2):155–170, 1989. Continuation techniques and bifurcation problems.
[29] Rodney D. Driver. A two-body problem of classical electrodynamics: the one-dimensional case. Ann.
Physics, 21:122–142, 1963.
[30] J.-P. Eckmann, H. Koch, and P. Wittwer. A computer-assisted proof of universality for area-preserving maps. Mem. Amer. Math. Soc., 47(289):vi+122, 1984.
[31] Jean-Pierre Eckmann and Peter Wittwer. A complete proof of the Feigenbaum conjectures. J. Statist.
Phys., 46(3-4):455–475, 1987.
[32] H. Epstein. New proofs of the existence of the Feigenbaum functions. Comm. Math. Phys., 106(3):395–
426, 1986.
[33] Mitchell J. Feigenbaum. Quantitative universality for a class of nonlinear transformations. J. Statist.
Phys., 19(1):25–52, 1978.
[34] Mitchell J. Feigenbaum. The universal metric properties of nonlinear transformations. J. Statist. Phys., 21(6):669–706, 1979.
[35] Jordi-Llu´ı s Figueras, Marcio Gameiro, Jean-Philippe Lessard, and Rafael de la Llave. A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations.
SIAM J. Appl. Dyn. Syst., 16(2):1070–1088, 2017.
17
References Cited
[1] Sigurd Angenent and Robertus van der Vorst. A superquadratic indefinite elliptic system and its Morse-Conley-Floer homology. Math. Z., 231(2):203–248, 1999.
[2] A. Apte, A. Wurm, and P. J. Morrison. Renormalization and destruction of 1/
2tori in the standard notwist map. Chaos, 13(2):421–433, 2003.
[3] Gianni Arioli and Hans Koch. The critical renormalization fixed point for commuting pairs of area- preserving maps. Comm. Math. Phys., 295(2):415–429, 2010.
[4] W.-J. Beyn. The numerical computation of connecting orbits in dynamical systems. IMA J. Numer.
Anal., 10(3):379–405, 1990.
[5] Carlo Boldrighini, Dong Li, and Yakov G. Sinai. Complex singular solutions of the 3-d Navier-Stokes equations and related real solutions. J. Stat. Phys., 167(1):1–13, 2017.
[6] Raoul Bott. Morse theory indomitable. Inst. Hautes ´ Etudes Sci. Publ. Math., (68):99–114 (1989), 1988.
[7] Maxime Breden, Jean-Philippe Lessard, and Jason D. Mireles James. Computation of maximal local (un)stable manifold patches by the parameterization method. Indag. Math. (N.S.), 27(1):340–367, 2016.
[8] Jaime Burgos Garc´ı a, J.P. Lessard, and J. D. Mireles James. Spatial periodic orbits in the equilateral circular restricted four body problem: computer assisted proofs of existence. (submitted to Celestial Mechanics and Dynamical Astronomy), 2018.
[9] X. Cabr´e, 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(2):283–328, 2003.
[10] X. Cabr´e, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. II.
Regularity with respect to parameters. Indiana Univ. Math. J., 52(2):329–360, 2003.
[11] X. Cabr´e, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. III.
Overview and applications. J. Di↵erential Equations, 218(2):444–515, 2005.
[12] R. C. Calleja, A. R. Humphries, and B. Krauskopf. Resonance phenomena in a scalar delay di↵erential equation with two state-dependent delays. SIAM J. Appl. Dyn. Syst., 16(3):1474–1513, 2017.
[13] Maciej J. Capi´ nski and J. D. Mireles James. Validated computation of heteroclinic sets. SIAM J.
Appl. Dyn. Syst., 16(1):375–409, 2017.
[14] Roberto Castelli, Marcio Gameiro, and Jean-Philippe Lessard. Rigorous numerics for ill-posed PDEs:
periodic orbits in the Boussinesq equation. Arch. Ration. Mech. Anal., 228(1):129–157, 2018.
[15] Roberto Castelli, Jean-Philippe Lessard, and J. D. Mireles James. Parameterization of invariant manifolds for periodic orbits i: Efficient numerics via the floquet normal form. SIAM Journal on Applied Dynamical Systems, 14(1):132–167, 2015.
[16] Roberto Castelli, Jean-Philippe Lessard, and Jason D. Mireles James. Analytic enclosure of the fun- damental matrix solution. Appl. Math., 60(6):617–636, 2015.
[17] Roberto Castelli, J.P. Lessard, and J. D. Mireles James. Parameterization of invariant manifolds for periodic orbits (ii): a-posteriori analysis and computer assisted error bounds. Journal of Dynamics and Di↵erential Equations, (available online):1–57, 2017.
16
[36] American Association for the Advancement of Science. Describing and measuring undergraduates stem teaching practices. http://ccliconference.org/files/2013/11/Measuring-STEM-Teaching-Practices.pdf, (2012).
[37] Mark J. Friedman and Eusebius J. Doedel. Numerical computation and continuation of invariant manifolds connecting fixed points. SIAM J. Numer. Anal., 28(3):789–808, 1991.
[38] Mark J. Friedman and Eusebius J. Doedel. Computational methods for global analysis of homoclinic and heteroclinic orbits: a case study. J. Dynam. Di↵erential Equations, 5(1):37–57, 1993.
[39] Denis Gaidashev. On the scaling ratios for Siegel disks. Comm. Math. Phys., 333(2):931–957, 2015.
[40] Denis G. Gaidashev. Period doubling renormalization for area-preserving maps and mild computer assistance in contraction mapping principle. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 21(11):3217–
3230, 2011.
[41] Marcio Gameiro and Jean-Philippe Lessard. A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE. SIAM J. Appl. Dyn. Syst., 16(1):687–
728, 2017.
[42] A. I. Go´cberg, Ya. G. Sina˘ı, and K. M. Khanin. Universal properties of sequences of period-tripling bifurcations. Uspekhi Mat. Nauk, 38(1(229)):159–160, 1983.
[43] Jorge Gonzalez and J. D. Mireles James. High-order parameterization of stable/unstable manifolds for long periodic orbits of maps. SIAM Journal on Applied Dynamical Systems, 16(3):1748–1795, 2017.
https://doi.org/10.1137/16M1090041.
[44] Chris M. Groothedde and J. D. Mireles James. Parameterization method for unstable manifolds of delay di↵erential equations. Journal of Computational Dynamics, pages 1–52, (First online September 2017). doi:10.3934/jcd.2017002.
[45] ` A. Haro and R. de la Llave. A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms. Discrete Contin. Dyn. Syst. Ser. B, 6(6):1261–1300 (electronic), 2006.
[46] A. Haro and R. de la Llave. A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results. J. Di↵erential Equations, 228(2):530–579, 2006.
[47] A. Haro and R. de la Llave. A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: explorations and mechanisms for the breakdown of hyperbolicity.
SIAM J. Appl. Dyn. Syst., 6(1):142–207 (electronic), 2007.
[48] Ferenc Hartung, Tibor Krisztin, Hans-Otto Walther, and Jianhong Wu. Functional di↵erential equa- tions with state-dependent delays: theory and applications. In Handbook of di↵erential equations:
ordinary di↵erential equations. Vol. III, Handb. Di↵er. Equ., pages 435–545. Elsevier/North-Holland, Amsterdam, 2006.
[49] Xiaolong He and Rafael de la Llave. Construction of quasi-periodic solutions of state-dependent delay di↵erential equations by the parameterization method II: Analytic case. J. Di↵erential Equations, 261(3):2068–2108, 2016.
[50] Xiaolong He and Rafael de la Llave. Construction of quasi-periodic solutions of state-dependent delay di↵erential equations by the parameterization method I: Finitely di↵erentiable, hyperbolic case. J.
Dynam. Di↵erential Equations, 29(4):1503–1517, 2017.
[51] Je↵rey T. Hoag and R. D. Driver. A delayed-advanced model for the electrodynamics two-body problem. Nonlinear Anal., 15(2):165–184, 1990.
18
37
28. Jaime Burgos-Garcia and Abimael Bengochea. Horseshoe orbits in the restricted four-body problem. Astrophys. Space Sci., 362(11):Paper No. 212, 14, 2017.
29. Jaime Burgos-Garc´ı a, J.P. Lessard, and J. D. Mireles James. Spatial periodic orbits in the equaliteral circular restricted four body problem: computer assisted proofs of existence. (Submitted), 2018.
30. Jaime Burgos-Garc´ı a. Families of periodic orbits in the planar Hill’s four-body problem. Astrophys. Space Sci., 361(11):Paper No. 353, 21, 2016.
31. Jaime Burgos-Garc´ı a and Marian Gidea. Hill’s approximation in a restricted four-body problem. Celestial Mech.
Dynam. Astronom., 122(2):117–141, 2015.
32. Martha Alvarez-Ram´ı rez, Joaqu´ı n Delgado, and Claudio Vidal. Global regularization of a restricted four-body problem. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 24(7):1450092, 15, 2014.
33. Marian Gidea and Melissa Burgos. Chaotic transfers in three- and four-body systems. Phys. A, 328(3-4):360–366, 2003.
34. M. Alvarez-Ram´ı rez and E. Barrab´es. Transport orbits in an equilateral restricted four-body problem. Celestial Mech.
Dynam. Astronom., 121(2):191–210, 2015.
35. Xuhua Cheng and Zhikun She. Study on chaotic behavior of the restricted four-body problem with an equilateral triangle configuration. Internat. J. Bifur. Chaos Appl. Sci. Engrg., 27(2):1750026, 12, 2017.
36. Zhikun She and Xuhua Cheng. The existence of a Smale horseshoe in a planar circular restricted four-body problem.
Celestial Mech. Dynam. Astronom., 118(2):115–127, 2014.
37. Zhikun She, Xuhua Cheng, and Cuiping Li. The existence of transversal homoclinic orbits in a planar circular restricted four-body problem. Celestial Mech. Dynam. Astronom., 115(3):299–309, 2013.
38. Martha Alvarez-Ram´ı rez, A. Garc´a, J.F. Palaci´an, and P. Yanguas. Oscillatory motions in restricted n-body problems.
Journal of Di↵erential Equations, 265:779–803, 2018.
39. Jaime Burgos-Garc´ı a and Joaqu´ı n Delgado. On the “blue sky catastrophe” termination in the restricted four-body problem. Celestial Mech. Dynam. Astronom., 117(2):113–136, 2013.
40. Shane Kepley and J. D. Mireles James. Chaotic motions in the restricted four body problem via devaney’s saddle-focus homoclinic tangle theorem. (Submitted), 2017.
41. X. Cabr´e, 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(2):283–328, 2003.
42. X. Cabr´e, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. II. Regularity with respect to parameters. Indiana Univ. Math. J., 52(2):329–360, 2003.
43. X. Cabr´e, E. Fontich, and R. de la Llave. The parameterization method for invariant manifolds. III. Overview and applications. J. Di↵erential Equations, 218(2):444–515, 2005.
44. Shane Kepley, William D. Kalies, and J. D. Mireles James. Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds. (Submitted), pages 1–41, 2017.
45. Eusebius J. Doedel and Mark J. Friedman. Numerical computation of heteroclinic orbits. J. Comput. Appl. Math., 26(1-2):155–170, 1989. Continuation techniques and bifurcation problems.
46. E. J. Doedel, M. J. Friedman, and B. I. Kunin. Successive continuation for locating connecting orbits. Numer.
Algorithms, 14(1-3):103–124, 1997. Dynamical numerical analysis (Atlanta, GA, 1995).
47. A. R. Champneys, Yu. A. Kuznetsov, and B. Sandstede. A numerical toolbox for homoclinic bifurcation analysis.
Internat. J. Bifur. Chaos Appl. Sci. Engrg., 6(5):867–887, 1996.
48. `Alex Haro, Marta Canadell, Jordi-Llu´ı s Figueras, Alejandro Luque, and Josep-Maria Mondelo. The parameterization method for invariant manifolds, volume 195 of Applied Mathematical Sciences. Springer, [Cham], 2016. From rigorous results to e↵ective computations.
49. Jean-Philippe Lessard, J. D. Mireles James, and Julian Ransford. Automatic di↵erentiation for Fourier series and the radii polynomial approach. (To Appear in Physica D).
50. Eugene Rabe. Determination and survey of periodic Trojan orbits in the restricted problem of three bodies. Astronom.
J., 66:500–513, 1961.
51. Rafael de la Llave and Jason D. Mireles James. Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps. Discrete Contin. Dyn. Syst., 32(12):4321–4360, 2012.
52. J. B. Van den Berg, J. D. Mireles James, and Christian Reinhardt. Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra. Journal of Nonlinear Science, 26:1055–1095, 2016.
53. S.M. Rump. INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999. http://www.ti3.tu-harburg.de/rump/.
54. A. N. Baltagiannis and K. E. Papadakis. Families of periodic orbits in the restricted four-body problem. Astrophysics and Space Sciencs, 336:357–367, 2011.
30
67. Donald E. Knuth. The art of computer programming. Vol. 2. Addison-Wesley Publishing Co., Reading, Mass., second edition, 1981. Seminumerical algorithms, Addison-Wesley Series in Computer Science and Information Processing.
68. ` Alex Haro, Marta Canadell, Jordi-Llu´ı s Figueras, Alejandro Luque, and Josep-Maria Mondelo. The parameterization method for invariant manifolds, volume 195 of Applied Mathematical Sciences. Springer, [Cham], 2016. From rigorous results to e↵ective compu- tations.
69. Jan Bouwe van den Berg, Maxime Breden, Jean-Philippe Lessard, and Maxime Murray.
Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof. J. Di↵erential Equations, 264(5):3086–3130, 2018.
70. Jacques-Alexandre Sepulchre and Robert S. MacKay. Localized oscillations in conservative or dissipative networks of weakly coupled autonomous oscillators. Nonlinearity, 10(3):679–
713, 1997.
71. F. J. Mu˜ noz Almaraz, J. Gal´ an, and E. Freire. Numerical continuation of periodic orbits in symmetric Hamiltonian systems. In International Conference on Di↵erential Equations, Vol. 1, 2 (Berlin, 1999), pages 919–921. World Sci. Publ., River Edge, NJ, 2000.
72. S.M. Rump. INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Develop- ments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999. http://www.ti3.tu-harburg.de/rump/.
73. E. J. Doedel, V. A. Romanov, R. C. Pa↵enroth, H. B. Keller, D. J. Dichmann, J. Gal´ an- Vioque, and A. Vanderbauwhede. Elemental periodic orbits associated with the libration points in the circular restricted 3-body problem. Internat. J. Bifur. Chaos Appl. Sci.
Engrg., 17(8):2625–2677, 2007.
74. R. C. Calleja, E. J. Doedel, A. R. Humphries, A. Lemus-Rodr´ı guez, and E. B. Oldeman.
Boundary-value problem formulations for computing invariant manifolds and connecting orbits in the circular restricted three body problem. Celestial Mech. Dynam. Astronom., 114(1-2):77–106, 2012.
15. Carlos Sim´ o. Relative equilibrium solutions in the four-body problem. Celestial Mech., 18(2):165–184, 1978.
16. Martha ´ Alvarez-Ram´ırez and Claudio Vidal. Dynamical aspects of an equilateral restricted four-body problem. Math. Probl. Eng., pages Art. ID 181360, 23, 2009.
17. Eduardo S. G. Leandro. On the central configurations of the planar restricted four-body problem. J. Di↵erential Equations, 226(1):323–351, 2006.
18. Jean F. Barros and Eduardo S. G. Leandro. The set of degenerate central configurations in the planar restricted four-body problem. SIAM J. Math. Anal., 43(2):634–661, 2011.
19. Jean F. Barros and Eduardo S. G. Leandro. Bifurcations and enumeration of classes of relative equilibria in the planar restricted four-body problem. SIAM J. Math. Anal., 46(2):1185–1203, 2014.
20. Jaime Burgos-Garc´ıa. Families of periodic orbits in the planar Hill’s four-body problem.
Astrophys. Space Sci., 361(11):Paper No. 353, 21, 2016.
21. Jaime Burgos-Garcia and Abimael Bengochea. Horseshoe orbits in the restricted four-body problem. Astrophys. Space Sci., 362(11):Paper No. 212, 14, 2017.
22. Jaime Burgos-Garc´ıa and Joaqu´ın Delgado. Periodic orbits in the restricted four–body problem with two equal masses. Astrophysics and Space Sciences, 345(2):247–263, 2013.
23. K. E. Papadakis. Families of asymmetric periodic solutions in the restricted four-body problem. Astrophys. Space Sci., 361(12):Paper No. 377, 15, 2016.
24. A. N. Baltagiannis and K. E. Papadakis. Families of periodic orbits in the restricted four-body problems. Astrophysical Space Science, 366:357–367, 2011.
25. K. E. Papadakis. Families of three-dimensional periodic solutions in the circular restricted four-body problem. Astrophys. Space Sci., 361(4):Paper No. 129, 14, 2016.
26. Allan Hungria, Jean-Philippe Lessard, and Jason D. Mireles-James. Rigorous numerics for analytic solutions of di↵erential equations: the radii polynomial approach. Math. Comp., 85(299):1427–1459, 2016.
27. Jean-Philippe Lessard, J. D. Mireles James, and Julian Ransford. Automatic di↵erentia- tion for Fourier series and the radii polynomial approach. Phys. D, 334:174–186, 2016.
28. J. B. Van den Berg and Ray Sheombarsing. Rigorous numerics for odes using chebyshev series and domain decomposition. (Submitted), pages 1–32, 2016.
29. J.P. Lessard. Computing discrete convolutions with verified accuracy via banach algebras and the ↵t. Applications of Mathematics, 2018.
30. J. Burgos-Garc´ıa. Orbitas periodicas en el problema restringido de cuatro cuerpos. ´ PhD thesis, UAM-I, 2013.
31. Ariadna Farr´ es and ` Angel Jorba. On the high order approximation of the centre manifold for ODEs. Discrete Contin. Dyn. Syst. Ser. B, 14(3):977–1000, 2010.
32. H. B. Keller. Lectures on numerical methods in bifurcation problems, volume 79 of Tata Institute of Fundamental Research Lectures on Mathematics and Physics. Published for the Tata Institute of Fundamental Research, Bombay, 1987. With notes by A. K. Nan- dakumaran and Mythily Ramaswamy.
33. F. J. Mu˜ noz Almaraz, E. Freire, J. Gal´ an, E. Doedel, and A. Vanderbauwhede. Continu- ation of periodic orbits in conservative and Hamiltonian systems. Phys. D, 181(1-2):1–38, 2003.
34. M. H´ enon. Vertical stability of periodic orbits in the restricted problem. i. equal masses.
Astronomy and Astrophysics, 28:415–426, 1973.
35. Warwick Tucker. Validated numerics. Princeton University Press, Princeton, NJ, 2011. A short introduction to rigorous computations.
36. J.-P. Eckmann, H. Koch, and P. Wittwer. A computer-assisted proof of universality for area-preserving maps. Mem. Amer. Math. Soc., 47(289):vi+122, 1984.
37. Jan Bouwe van den Berg and Jean-Philippe Lessard. Rigorous numerics in dynamics.
Notices of the American Mathematical Society, 62(9):1057–1061, 2015.
38. Hans Koch, Alain Schenkel, and Peter Wittwer. Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev., 38(4):565–604, 1996.
39. Maciej J. Capi´ nski and Pablo Rold´ an. Existence of a center manifold in a practical domain around L
1in the restricted three-body problem. SIAM J. Appl. Dyn. Syst., 11(1):285–318, 2012.
40. Maciej J. Capi´ nski and Anna Wasieczko-Zajac. Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem. Topol. Methods Nonlinear Anal., 46(1):363–399, 2015.
41. Shane Kepley and J. D. Mireles James. Chaotic motions in the restricted four body problem via devaney’s saddle-focus homoclinic tangle theorem. (Submitted) https://arxiv.org/abs/1711.06932, pages 1–67, 2017.
PARAMETERIZATION METHOD FOR DDES 49
[44] G. Kiss and J.-P. Lessard, Rapidly and slowly oscillating periodic oscillations of a delayed van der pol oscillator, (submitted).
[45] D. E. Knuth, The art of computer programming. Vol. 2, Addison-Wesley, Reading, MA, 1998, Seminumerical algorithms, Third edition [of MR0286318].
[46] B. Krauskopf, H. Osinga, E. Doedel, M. Henderson, J. Guckenheimer, A. Vladimirsky, M. Dellnitz and O. Junge, A survey of methods for computing (un)stable manifolds of vector fields, Int.J. Bifurcation & Chaos, 15 (2005), 763–791.
[47] B. Krauskopf and K. Green, Computing unstable manifolds of periodic orbits in delay di↵er- ential equations, J. Comput. Phys., 186 (2003), 230–249, URL http://dx.doi.org.ezproxy.
fau.edu/10.1016/S0021-9991(03)00050-0.
[48] J.-P. Lessard, Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright’s equation, J. Di↵erential Equations, 248 (2010), 992–1016, URL http://dx.doi.
org.ezproxy.fau.edu/10.1016/j.jde.2009.11.008.
[49] J.-P. Lessard, Delay di↵erential equations and continuation, Lecture notes for the AMS short course on rigorous numerics in dynamics.
[50] J.-P. Lessard, J. D. Mireles James and C. Reinhardt, Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields, J. Dynam. Di↵erential Equa- tions, 26 (2014), 267–313, URL http://dx.doi.org/10.1007/s10884-014-9367-0.
[51] J. Lessard, J. D. Mireles James and J. Ransford, Automatic di↵erentiation for fourier series and the radii polynomial approach, (To appear in Physica D).
[52] X. Li and R. de la Llave, Construction of quasi-periodic solutions of delay di↵erential equations via kam techniques, Journal of Di↵erential Equations, 822–865.
[53] J. Mireles-James and K. Mischaikow, Rigorous a-posteriori computation of (un)stable mani- folds and connecting orbits for analytic maps., SIAM Journal on Applied Dynamical Systems, 12 (2013), 957–1006.
[54] J. D. Mireles James, Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits, Com- mun. Nonlinear Sci. Numer. Simul., 22 (2015), 1102–1133, URL http://dx.doi.org.
ezproxy.fau.edu/10.1016/j.cnsns.2014.08.010.
[55] J. D. Mireles James, Fourier-taylor approximation of unstable manifolds for compact maps: Numerical implementation and computer assisted error bounds, Foundations of Computational Mathematics (2016). URL https://link.springer.com/article/10.1007/
s10208-016-9325-9
[56] J. D. Mireles James and H. Lomel´ı, Computation of heteroclinic arcs with application to the volume preserving H´ enon family, SIAM J. Appl. Dyn. Syst., 9 (2010), 919–953, URL http://dx.doi.org.ezproxy.fau.edu/10.1137/090776329.
[57] A. Neumaier and T. Rage, Rigorous chaos verification in discrete dynamical systems, Phys.
D, 67 (1993), 327–346, URL http://dx.doi.org/10.1016/0167-2789(93)90169-2.
[58] R. D. Nussbaum, Periodic solutions of analytic functional di↵erential equations are analytic, Michigan Math. J., 20 (1973), 249–255.
[59] N. H. Packard, J. P. Crutchfield, D. Farmer and R. Shaw, Geometry from a time series, Physical Review Letters, 45 (1980), 712–716.
[60] C. Reinhardt and J. M. James, Fourier-taylor parameterization of unstable manifolds for parabolic partial di↵erential equations: Formalism, implementation, and rigorous validation, (submitted). URL https://arxiv.org/abs/1601.00307.
[61] C. Reinhardt, J. B. Van den Berg and J. D. Mireles James, Computing (un)stable mani- folds with validated error bounds: non-resonant and resonant spectra, Journal of Nonlinear Science, 26 (2016), 1055–1095.
[62] D. Roose, T. Luzyanina, K. Engelborghs and W. Michiels, Software for stability and bifurca- tion analysis of delay di↵erential equations and applications to stabilization, in Advances in time-delay systems, vol. 38 of Lect. Notes Comput. Sci. Eng., Springer, Berlin, 2004, 167–181, URL http://dx.doi.org.ezproxy.fau.edu/10.1007/978-3-642-18482-6_12.
[63] T. Sahai and A. Vladimirsky, Numerical methods for approximating invariant manifolds of delayed systems, SIAM J. Appl. Dyn. Syst., 8 (2009), 1116–1135, URL http://dx.doi.org.
ezproxy.fau.edu/10.1137/080718772.
[64] G. Samaey, K. Engelborghs and D. Roose, Numerical computation of connecting orbits in delay di↵erential equations, Numer. Algorithms, 30 (2002), 335–352, URL http://dx.doi.
org.ezproxy.fau.edu/10.1023/A:1020102317544.
In document
Computer assisted proofs Nonlinear Dynamics
(página 94-97)