American Institute of Mathematical Sciences

Advanced
December  2012, 32(12): 4321-4360. doi: 10.3934/dcds.2012.32.4321

Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps

Rafael de la Llave 1, and  Jason D. Mireles James 2,

1. 

School of Mathematics, Georgia Institute of Technology, 686 Cherry St, Atlanta, GA 30332-0160, United States
2. 

Department of Mathematics, Rutgers University, Hill Center for the Mathematical Sciences, 110 Frelinghuysen Rd., Piscataway, NJ 08854-8019, United States

Received  June 2011 Revised  March 2012 Published  August 2012

We prove the existence of certain analytic invariant manifolds associated with fixed points of analytic symplectic and volume preserving diffeomorphisms. The manifolds we discuss are not defined in terms of either forward or backward asymptotic convergence to the fixed point, and are not required to be stable or unstable. Rather, the manifolds we consider are defined as being tangent to certain "mixed-stable" linear invariant subspaces of the differential (i.e linear subspace which are spanned by some combination of stable and unstable eigenvectors). Our method is constructive, but has to face small divisors. The small divisors are overcome via a quadratic convergent scheme which relies heavily on the geometry of the problem as well as assuming some Diophantine properties of the linearization restricted to the invariant subspace. The theorem proved has an a-posteriori format (i.e. given an approximate solution with good condition number, there is one exact solution close by). The method of proof also leads to efficient algorithms.
Keywords: quadratic convergence, Invariant manifolds, KAM theory, volume preserving mappings., symplectic mappings.
Mathematics Subject Classification: Primary: 58F15, 58F17; Secondary: 53C3.
Citation: Rafael de la Llave, Jason D. Mireles James. Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps. Discrete & Continuous Dynamical Systems - A, 2012, 32 (12) : 4321-4360. doi: 10.3934/dcds.2012.32.4321
References:
[1]

A. D. Brjuno, Analytic form of differential equations. I, II,, Trudy Moskov. Mat. Obšč., 25 (1971), 199.   Google Scholar

[2]

Henri Cartan, "Elementary Theory of Analytic Functions of One Or Several Complex Variables,", Dover Publications Inc., (1995).   Google Scholar

[3]

Xavier Cabré, Ernest Fontich and Rafael de la Llave, The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces,, Indiana Univ. Math. J., 52 (2003), 283.  doi: 10.1512/iumj.2003.52.2245.  Google Scholar

[4]

Xavier Cabré, Ernest Fontich and Rafael de la Llave, The parameterization method for invariant manifolds. II. Regularity with respect to parameters,, Indiana Univ. Math. J., 52 (2003), 329.  doi: 10.1512/iumj.2003.52.2407.  Google Scholar

[5]

Xavier Cabré, Ernest Fontich and Rafael de la Llave, The parameterization method for invariant manifolds. III. Overview and applications,, J. Differential Equations, 218 (2005), 444.  doi: 10.1016/j.jde.2004.12.003.  Google Scholar

[6]

Rafael de la Llave, Invariant manifolds associated to nonresonant spectral subspaces,, J. Statist. Phys., 87 (1997), 211.  doi: 10.1007/BF02181486.  Google Scholar

[7]

Rafael de la Llave, A tutorial on KAM theory,, In, 69 (1999), 175.   Google Scholar

[8]

R. de la Llave, Invariant manifolds associated to invariant subspaces without invariant complements: a graph transform approach,, Math. Phys. Electron. J., 9 (2003).   Google Scholar

[9]

R. de la Llave, A. González, À. Jorba and J. Villanueva, KAM theory without action-angle variables,, Nonlinearity, 18 (2005), 855.  doi: 10.1088/0951-7715/18/2/020.  Google Scholar

[10]

Mohamed S. ElBialy, Sub-stable and weak-stable manifolds associated with finitely non-resonant spectral subspaces,, Math. Z., 236 (2001), 717.  doi: 10.1007/PL00004849.  Google Scholar

[11]

Ernest Fontich, Rafael de la Llave and Yannick Sire, A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems,, Electron. Res. Announc. Math. Sci., 16 (2009), 9.   Google Scholar

[12]

Morris W. Hirsch and Charles C. Pugh, Stable manifolds and hyperbolic sets,, In, (1968), 133.   Google Scholar

[13]

L. D. Landau and E. M. Lifschitz, "Course of Theoretical Physics Vol II,", Classical Theory of Fields., ().   Google Scholar

[14]

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

[15]

J. D. Mireles James, Quadratic Volume-Preserving Maps: (Un)Stable Manifolds, Hyperbolic Dynamics. and Vortex Bubble Bifurcations,, (Submitted). www.math.rutgers.edu/ jmireles/papers.html, ().   Google Scholar

[16]

Jürgen Moser, A new technique for the construction of solutions of nonlinear differential equations,, Proc. Nat. Acad. Sci. U.S.A., 47 (1961), 1824.  doi: 10.1073/pnas.47.11.1824.  Google Scholar

[17]

Jürgen Moser, On the volume elements on a manifold,, Trans. Amer. Math. Soc., 120 (1965), 286.  doi: 10.1090/S0002-9947-1965-0182927-5.  Google Scholar

[18]

Jürgen Moser, A rapidly convergent iteration method and non-linear partial differential equations. I,, Ann. Scuola Norm. Sup. Pisa (3), 20 (1966), 265.   Google Scholar

[19]

O. Perron, Über Stabilität und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen,, Mathematische Zeitschrift, 29 (1928), 129.   Google Scholar

[20]

Jürgen Pöschel, On invariant manifolds of complex analytic mappings near fixed points,, Exposition. Math., 4 (1986), 97.   Google Scholar

[21]

Helmut Rüssmann, On optimal estimates for the solutions of linear difference equations on the circle,, In, 14 (1976), 33.   Google Scholar

[22]

Helmut Rüssmann, On the one-dimensional Schrödinger equation with a quasiperiodic potential,, In, 357 (1979), 90.   Google Scholar

[23]

Jan Bouwe van den Berg, Jason D. Mireles-James, Jean-Philippe Lessard and Konstantin Mischaikow, Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation,, SIAM J. Math. Anal., 43 (2011), 1557.  doi: 10.1137/100812008.  Google Scholar

[24]

E. Zehnder, Generalized implicit function theorems with applications to some small divisor problems. I,, Comm. Pure Appl. Math., 28 (1975), 91.  doi: 10.1002/cpa.3160280104.  Google Scholar

show all references

References:
[1]

A. D. Brjuno, Analytic form of differential equations. I, II,, Trudy Moskov. Mat. Obšč., 25 (1971), 199.   Google Scholar

[2]

Henri Cartan, "Elementary Theory of Analytic Functions of One Or Several Complex Variables,", Dover Publications Inc., (1995).   Google Scholar

[3]

Xavier Cabré, Ernest Fontich and Rafael de la Llave, The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces,, Indiana Univ. Math. J., 52 (2003), 283.  doi: 10.1512/iumj.2003.52.2245.  Google Scholar

[4]

Xavier Cabré, Ernest Fontich and Rafael de la Llave, The parameterization method for invariant manifolds. II. Regularity with respect to parameters,, Indiana Univ. Math. J., 52 (2003), 329.  doi: 10.1512/iumj.2003.52.2407.  Google Scholar

[5]

Xavier Cabré, Ernest Fontich and Rafael de la Llave, The parameterization method for invariant manifolds. III. Overview and applications,, J. Differential Equations, 218 (2005), 444.  doi: 10.1016/j.jde.2004.12.003.  Google Scholar

[6]

Rafael de la Llave, Invariant manifolds associated to nonresonant spectral subspaces,, J. Statist. Phys., 87 (1997), 211.  doi: 10.1007/BF02181486.  Google Scholar

[7]

Rafael de la Llave, A tutorial on KAM theory,, In, 69 (1999), 175.   Google Scholar

[8]

R. de la Llave, Invariant manifolds associated to invariant subspaces without invariant complements: a graph transform approach,, Math. Phys. Electron. J., 9 (2003).   Google Scholar

[9]

R. de la Llave, A. González, À. Jorba and J. Villanueva, KAM theory without action-angle variables,, Nonlinearity, 18 (2005), 855.  doi: 10.1088/0951-7715/18/2/020.  Google Scholar

[10]

Mohamed S. ElBialy, Sub-stable and weak-stable manifolds associated with finitely non-resonant spectral subspaces,, Math. Z., 236 (2001), 717.  doi: 10.1007/PL00004849.  Google Scholar

[11]

Ernest Fontich, Rafael de la Llave and Yannick Sire, A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems,, Electron. Res. Announc. Math. Sci., 16 (2009), 9.   Google Scholar

[12]

Morris W. Hirsch and Charles C. Pugh, Stable manifolds and hyperbolic sets,, In, (1968), 133.   Google Scholar

[13]

L. D. Landau and E. M. Lifschitz, "Course of Theoretical Physics Vol II,", Classical Theory of Fields., ().   Google Scholar

[14]

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

[15]

J. D. Mireles James, Quadratic Volume-Preserving Maps: (Un)Stable Manifolds, Hyperbolic Dynamics. and Vortex Bubble Bifurcations,, (Submitted). www.math.rutgers.edu/ jmireles/papers.html, ().   Google Scholar

[16]

Jürgen Moser, A new technique for the construction of solutions of nonlinear differential equations,, Proc. Nat. Acad. Sci. U.S.A., 47 (1961), 1824.  doi: 10.1073/pnas.47.11.1824.  Google Scholar

[17]

Jürgen Moser, On the volume elements on a manifold,, Trans. Amer. Math. Soc., 120 (1965), 286.  doi: 10.1090/S0002-9947-1965-0182927-5.  Google Scholar

[18]

Jürgen Moser, A rapidly convergent iteration method and non-linear partial differential equations. I,, Ann. Scuola Norm. Sup. Pisa (3), 20 (1966), 265.   Google Scholar

[19]

O. Perron, Über Stabilität und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen,, Mathematische Zeitschrift, 29 (1928), 129.   Google Scholar

[20]

Jürgen Pöschel, On invariant manifolds of complex analytic mappings near fixed points,, Exposition. Math., 4 (1986), 97.   Google Scholar

[21]

Helmut Rüssmann, On optimal estimates for the solutions of linear difference equations on the circle,, In, 14 (1976), 33.   Google Scholar

[22]

Helmut Rüssmann, On the one-dimensional Schrödinger equation with a quasiperiodic potential,, In, 357 (1979), 90.   Google Scholar

[23]

Jan Bouwe van den Berg, Jason D. Mireles-James, Jean-Philippe Lessard and Konstantin Mischaikow, Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation,, SIAM J. Math. Anal., 43 (2011), 1557.  doi: 10.1137/100812008.  Google Scholar

[24]

E. Zehnder, Generalized implicit function theorems with applications to some small divisor problems. I,, Comm. Pure Appl. Math., 28 (1975), 91.  doi: 10.1002/cpa.3160280104.  Google Scholar

[1]

Huiyan Xue, Antonella Zanna. Generating functions and volume preserving mappings. Discrete & Continuous Dynamical Systems - A, 2014, 34 (3) : 1229-1249. doi: 10.3934/dcds.2014.34.1229
[2]

Simeon Reich, Alexander J. Zaslavski. Convergence of generic infinite products of homogeneous order-preserving mappings. Discrete & Continuous Dynamical Systems - A, 1999, 5 (4) : 929-945. doi: 10.3934/dcds.1999.5.929
[3]

Peng Huang, Xiong Li, Bin Liu. Invariant curves of smooth quasi-periodic mappings. Discrete & Continuous Dynamical Systems - A, 2018, 38 (1) : 131-154. doi: 10.3934/dcds.2018006
[4]

Vladimir Müller, Aljoša Peperko. Lower spectral radius and spectral mapping theorem for suprema preserving mappings. Discrete & Continuous Dynamical Systems - A, 2018, 38 (8) : 4117-4132. doi: 10.3934/dcds.2018179
[5]

Lianpeng Yang, Xiong Li. Existence of periodically invariant tori on resonant surfaces for twist mappings. Discrete & Continuous Dynamical Systems - A, 2020, 40 (3) : 1389-1409. doi: 10.3934/dcds.2020081
[6]

Jerrold E. Marsden, Alexey Tret'yakov. Factor analysis of nonlinear mappings: p-regularity theory. Communications on Pure & Applied Analysis, 2003, 2 (4) : 425-445. doi: 10.3934/cpaa.2003.2.425
[7]

Fengbo Hang, Fanghua Lin. Topology of Sobolev mappings IV. Discrete & Continuous Dynamical Systems - A, 2005, 13 (5) : 1097-1124. doi: 10.3934/dcds.2005.13.1097
[8]

Jiu Ding, Aihui Zhou. Absolutely continuous invariant measures for piecewise $C^2$ and expanding mappings in higher dimensions. Discrete & Continuous Dynamical Systems - A, 2000, 6 (2) : 451-458. doi: 10.3934/dcds.2000.6.451
[9]

B. S. Lee, Arif Rafiq. Strong convergence of an implicit iteration process for a finite family of Lipschitz $\phi -$uniformly pseudocontractive mappings in Banach spaces. Numerical Algebra, Control & Optimization, 2014, 4 (4) : 287-293. doi: 10.3934/naco.2014.4.287
[10]

Valentin Afraimovich, Maurice Courbage, Lev Glebsky. Directional complexity and entropy for lift mappings. Discrete & Continuous Dynamical Systems - B, 2015, 20 (10) : 3385-3401. doi: 10.3934/dcdsb.2015.20.3385
[11]

Byung-Soo Lee. A convergence theorem of common fixed points of a countably infinite family of asymptotically quasi-$f_i$-expansive mappings in convex metric spaces. Numerical Algebra, Control & Optimization, 2013, 3 (3) : 557-565. doi: 10.3934/naco.2013.3.557
[12]

Jialin Hong, Lijun Miao, Liying Zhang. Convergence analysis of a symplectic semi-discretization for stochastic nls equation with quadratic potential. Discrete & Continuous Dynamical Systems - B, 2019, 24 (8) : 4295-4315. doi: 10.3934/dcdsb.2019120
[13]

Alexei Pokrovskii, Oleg Rasskazov. Structure of index sequences for mappings with an asymptotic derivative. Discrete & Continuous Dynamical Systems - A, 2007, 17 (3) : 653-670. doi: 10.3934/dcds.2007.17.653
[14]

Dariusz Bugajewski, Piotr Kasprzak. On mappings of higher order and their applications to nonlinear equations. Communications on Pure & Applied Analysis, 2012, 11 (2) : 627-647. doi: 10.3934/cpaa.2012.11.627
[15]

Tomas Persson. Typical points and families of expanding interval mappings. Discrete & Continuous Dynamical Systems - A, 2017, 37 (7) : 4019-4034. doi: 10.3934/dcds.2017170
[16]

Jiawei Chen, Guangmin Wang, Xiaoqing Ou, Wenyan Zhang. Continuity of solutions mappings of parametric set optimization problems. Journal of Industrial & Management Optimization, 2020, 16 (1) : 25-36. doi: 10.3934/jimo.2018138
[17]

Salvador Addas-Zanata. Stability for the vertical rotation interval of twist mappings. Discrete & Continuous Dynamical Systems - A, 2006, 14 (4) : 631-642. doi: 10.3934/dcds.2006.14.631
[18]

Mads R. Bisgaard. Mather theory and symplectic rigidity. Journal of Modern Dynamics, 2019, 15: 165-207. doi: 10.3934/jmd.2019018
[19]

Andrea Davini, Maxime Zavidovique. Weak KAM theory for nonregular commuting Hamiltonians. Discrete & Continuous Dynamical Systems - B, 2013, 18 (1) : 57-94. doi: 10.3934/dcdsb.2013.18.57
[20]

J. B. van den Berg, J. D. Mireles James. Parameterization of slow-stable manifolds and their invariant vector bundles: Theory and numerical implementation. Discrete & Continuous Dynamical Systems - A, 2016, 36 (9) : 4637-4664. doi: 10.3934/dcds.2016002

2019 Impact Factor: 1.338

Tools

Metrics

  • PDF downloads (23)
  • HTML views (0)
  • Cited by (11)

Other articles
by authors

[Back to Top]

Copyright © 2020 American Institute of Mathematical Sciences