Computational hyperbolicity

Previous Article
On spiral periodic points and saddles for surface diffeomorphisms
DCDS Home
This Issue
Next Article
Large deviations and Aubry-Mather measures supported in nonhyperbolic closed geodesics

July 2011, 29(3): 1175-1189. doi: 10.3934/dcds.2011.29.1175

Computational hyperbolicity

Marcin Mazur ^1, and Jacek Tabor ^2,

1.	Jagiellonian University, Institute of Mathematics, Reymonta 4, 30-059 Kraków
2.	Jagiellonian University, Faculty of Mathematics and Computer Science, Institute of Computer Science, Grota Roweckiego 6, 30-348 Kraków, Poland

Received February 2010 Revised July 2010 Published November 2010

Abstract
Related Papers

Using semihyperbolicity as a basic tool, we provide a general computer assisted method for verifying hyperbolicity of a given set. As a consequence we obtain that the Hénon attractor is hyperbolic for some parameter values.

Keywords: computer assisted proof., semihyperbolicity, Hyperbolicity.

Mathematics Subject Classification: Primary: 37D05, 37D20, Secondary: 37M9.

Citation: Marcin Mazur, Jacek Tabor. Computational hyperbolicity. Discrete and Continuous Dynamical Systems, 2011, 29 (3) : 1175-1189. doi: 10.3934/dcds.2011.29.1175

References:

[1]	A. Al-Nayef, P. Diamond, P. Kloeden, V. Kozyakin and A. Pokrovskii, Bi-shadowing and delay equations, Dynam. Stability Systems, 10 (1996), 121-134.
[2]	A. A. Al-Nayef, P. E. Kloeden and A. V. Pokrovskii, Semi-hyperbolic mappings, condensing operators, and neutral delay equations, J. Differential Equations, 137 (1997), 320-339. doi: 10.1006/jdeq.1997.3262.
[3]	Z. Arai, On Hyperbolic Plateaus of the Hénon Maps, Experiment. Math., 16 (2007), 181-188.
[4]	, Boost ver. 1.35.0, \url{http://www.boost.org}., ().
[5]	R. Sacker and G. Sell, Existence of dichotomies and invariant splittings for linear differential systems. I, J. Differential Equations, 15 (1974), 429-458. doi: 10.1016/0022-0396(74)90067-9.
[6]	M. Davis, R. MacKay and A. Sannami, Markov shifts in the Hénon family, Phys. D, 52 (1991), 171-178. doi: 10.1016/0167-2789(91)90119-T.
[7]	S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka and P. Pilarczyk, Quantitative hyperbolicity estimates in one-dimensional dynamics, Nonlinearity, 21 (2008), 1967-1987. doi: 10.1088/0951-7715/21/9/002.
[8]	R. Devaney and Z. Nitecki, Shift automorphisms in the Hénon mapping, Comm. Math. Phys., 67 (1979), 137-146. doi: 10.1007/BF01221362.
[9]	P. Diamond, P. Kloeden, V. Kozyakin and A. Pokrovskii, Semihyperbolic mappings, J. Nonlinear Sci., 5 (1995), 419-431. doi: 10.1007/BF01212908.
[10]	P. Diamond, P. E. Kloeden, V. S. Kozyakin and A. V. Pokrovskii, "Semi-Hyperbolicity and Bi-Shadowing,'', Manuscript., ().
[11]	Z. Galias and P. Zgliczyński, Infinite-dimensional Krawczyk operator for finding periodic orbits of discrete dynamical systems, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17 (2007), 4261-4272. doi: 10.1142/S0218127407019937.
[12]	S. Hruska, A numerical method for constructing the hyperbolic structure of complex Hénon mappings, Found. Comput. Math., 6 (2006), 427-455. doi: 10.1007/s10208-006-0141-2.
[13]	A. Katok and B. Hasselblatt, "Introduction to the Modern Theory of Dynamical Systems,'' Cambridge University Press, Cambridge, 1995.
[14]	M. Mazur, On some useful conditions on hyperbolicity, Trends in Math., 10 (2008), 57-64.
[15]	M. Mazur, J. Tabor and P. Kościelniak, Semi-hyperbolicity and hyperbolicity, Discrete Contin. Dynam. Syst., 20 (2008), 1029-1038. doi: 10.3934/dcds.2008.20.1029.
[16]	M. Mazur, J. Tabor and K. Stolot, Semi-hyperbolicity implies hyperbolicity in the linear case, Proceedings of the Conference "Topological Methods in Differential Equations and Dynamical Systems'' (Krakow-Przegorzaly, 1996), Univ. Iagell. Acta Math., 36 (1998), 121-126.
[17]	M. Mazur, J. Tabor, T. Kułaga and P. Kościelniak, Computational hyperbolicity group,, \url{http://www.im.uj.edu.pl/MarcinMazur/comphyp}., ().
[18]	K. Mischaikow and M. Mrozek, Chaos in the Lorenz equations: A computer-assisted proof, Bull. Amer. Math. Soc. (N.S.), 32 (1995), 66-72.
[19]	S. Newhouse, Cone-fields, domination, and hyperbolicity, in "Modern Dynamical Systems and Applications,'' Cambridge Univ. Press, Cambridge, (2004), 419-432.
[20]	K. Palmer, "Shadowing in Dynamical Systems. Theory and Applications,'' Kluwer Academic Publishers, Dordrecht, 2000.
[21]	F. Riesz and B. Sz.-Nagy, "Functional Analysis,'' Frederick Ungar Publishing Co., New York, 1955.

show all references

References:

[1]	A. Al-Nayef, P. Diamond, P. Kloeden, V. Kozyakin and A. Pokrovskii, Bi-shadowing and delay equations, Dynam. Stability Systems, 10 (1996), 121-134.
[2]	A. A. Al-Nayef, P. E. Kloeden and A. V. Pokrovskii, Semi-hyperbolic mappings, condensing operators, and neutral delay equations, J. Differential Equations, 137 (1997), 320-339. doi: 10.1006/jdeq.1997.3262.
[3]	Z. Arai, On Hyperbolic Plateaus of the Hénon Maps, Experiment. Math., 16 (2007), 181-188.
[4]	, Boost ver. 1.35.0, \url{http://www.boost.org}., ().
[5]	R. Sacker and G. Sell, Existence of dichotomies and invariant splittings for linear differential systems. I, J. Differential Equations, 15 (1974), 429-458. doi: 10.1016/0022-0396(74)90067-9.
[6]	M. Davis, R. MacKay and A. Sannami, Markov shifts in the Hénon family, Phys. D, 52 (1991), 171-178. doi: 10.1016/0167-2789(91)90119-T.
[7]	S. Day, H. Kokubu, S. Luzzatto, K. Mischaikow, H. Oka and P. Pilarczyk, Quantitative hyperbolicity estimates in one-dimensional dynamics, Nonlinearity, 21 (2008), 1967-1987. doi: 10.1088/0951-7715/21/9/002.
[8]	R. Devaney and Z. Nitecki, Shift automorphisms in the Hénon mapping, Comm. Math. Phys., 67 (1979), 137-146. doi: 10.1007/BF01221362.
[9]	P. Diamond, P. Kloeden, V. Kozyakin and A. Pokrovskii, Semihyperbolic mappings, J. Nonlinear Sci., 5 (1995), 419-431. doi: 10.1007/BF01212908.
[10]	P. Diamond, P. E. Kloeden, V. S. Kozyakin and A. V. Pokrovskii, "Semi-Hyperbolicity and Bi-Shadowing,'', Manuscript., ().
[11]	Z. Galias and P. Zgliczyński, Infinite-dimensional Krawczyk operator for finding periodic orbits of discrete dynamical systems, Internat. J. Bifur. Chaos Appl. Sci. Engrg., 17 (2007), 4261-4272. doi: 10.1142/S0218127407019937.
[12]	S. Hruska, A numerical method for constructing the hyperbolic structure of complex Hénon mappings, Found. Comput. Math., 6 (2006), 427-455. doi: 10.1007/s10208-006-0141-2.
[13]	A. Katok and B. Hasselblatt, "Introduction to the Modern Theory of Dynamical Systems,'' Cambridge University Press, Cambridge, 1995.
[14]	M. Mazur, On some useful conditions on hyperbolicity, Trends in Math., 10 (2008), 57-64.
[15]	M. Mazur, J. Tabor and P. Kościelniak, Semi-hyperbolicity and hyperbolicity, Discrete Contin. Dynam. Syst., 20 (2008), 1029-1038. doi: 10.3934/dcds.2008.20.1029.
[16]	M. Mazur, J. Tabor and K. Stolot, Semi-hyperbolicity implies hyperbolicity in the linear case, Proceedings of the Conference "Topological Methods in Differential Equations and Dynamical Systems'' (Krakow-Przegorzaly, 1996), Univ. Iagell. Acta Math., 36 (1998), 121-126.
[17]	M. Mazur, J. Tabor, T. Kułaga and P. Kościelniak, Computational hyperbolicity group,, \url{http://www.im.uj.edu.pl/MarcinMazur/comphyp}., ().
[18]	K. Mischaikow and M. Mrozek, Chaos in the Lorenz equations: A computer-assisted proof, Bull. Amer. Math. Soc. (N.S.), 32 (1995), 66-72.
[19]	S. Newhouse, Cone-fields, domination, and hyperbolicity, in "Modern Dynamical Systems and Applications,'' Cambridge Univ. Press, Cambridge, (2004), 419-432.
[20]	K. Palmer, "Shadowing in Dynamical Systems. Theory and Applications,'' Kluwer Academic Publishers, Dordrecht, 2000.
[21]	F. Riesz and B. Sz.-Nagy, "Functional Analysis,'' Frederick Ungar Publishing Co., New York, 1955.

[1]	Piotr Zgliczyński. Steady state bifurcations for the Kuramoto-Sivashinsky equation: A computer assisted proof. Journal of Computational Dynamics, 2015, 2 (1) : 95-142. doi: 10.3934/jcd.2015.2.95
[2]	A. Aschwanden, A. Schulze-Halberg, D. Stoffer. Stable periodic solutions for delay equations with positive feedback - a computer-assisted proof. Discrete and Continuous Dynamical Systems, 2006, 14 (4) : 721-736. doi: 10.3934/dcds.2006.14.721
[3]	Chiara Caracciolo, Ugo Locatelli. Computer-assisted estimates for Birkhoff normal forms. Journal of Computational Dynamics, 2020, 7 (2) : 425-460. doi: 10.3934/jcd.2020017
[4]	Maxime Breden, Jean-Philippe Lessard. Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs. Discrete and Continuous Dynamical Systems - B, 2018, 23 (7) : 2825-2858. doi: 10.3934/dcdsb.2018164
[5]	Thomas Wanner. Computer-assisted equilibrium validation for the diblock copolymer model. Discrete and Continuous Dynamical Systems, 2017, 37 (2) : 1075-1107. doi: 10.3934/dcds.2017045
[6]	Maciej J. Capiński, Emmanuel Fleurantin, J. D. Mireles James. Computer assisted proofs of two-dimensional attracting invariant tori for ODEs. Discrete and Continuous Dynamical Systems, 2020, 40 (12) : 6681-6707. doi: 10.3934/dcds.2020162
[7]	István Balázs, Jan Bouwe van den Berg, Julien Courtois, János Dudás, Jean-Philippe Lessard, Anett Vörös-Kiss, JF Williams, Xi Yuan Yin. Computer-assisted proofs for radially symmetric solutions of PDEs. Journal of Computational Dynamics, 2018, 5 (1&2) : 61-80. doi: 10.3934/jcd.2018003
[8]	Lorenzo Valvo, Ugo Locatelli. Hamiltonian control of magnetic field lines: Computer assisted results proving the existence of KAM barriers. Journal of Computational Dynamics, 2022 doi: 10.3934/jcd.2022002
[9]	Marcin Mazur, Jacek Tabor, Piotr Kościelniak. Semi-hyperbolicity and hyperbolicity. Discrete and Continuous Dynamical Systems, 2008, 20 (4) : 1029-1038. doi: 10.3934/dcds.2008.20.1029
[10]	Boris Hasselblatt, Yakov Pesin, Jörg Schmeling. Pointwise hyperbolicity implies uniform hyperbolicity. Discrete and Continuous Dynamical Systems, 2014, 34 (7) : 2819-2827. doi: 10.3934/dcds.2014.34.2819
[11]	Mario Lefebvre. A stochastic model for computer virus propagation. Journal of Dynamics and Games, 2020, 7 (2) : 163-174. doi: 10.3934/jdg.2020010
[12]	Luis Barreira, Claudia Valls. Growth rates and nonuniform hyperbolicity. Discrete and Continuous Dynamical Systems, 2008, 22 (3) : 509-528. doi: 10.3934/dcds.2008.22.509
[13]	Rasul Shafikov, Christian Wolf. Stable sets, hyperbolicity and dimension. Discrete and Continuous Dynamical Systems, 2005, 12 (3) : 403-412. doi: 10.3934/dcds.2005.12.403
[14]	Sergey Kryzhevich, Sergey Tikhomirov. Partial hyperbolicity and central shadowing. Discrete and Continuous Dynamical Systems, 2013, 33 (7) : 2901-2909. doi: 10.3934/dcds.2013.33.2901
[15]	Arno Berger. On finite-time hyperbolicity. Communications on Pure and Applied Analysis, 2011, 10 (3) : 963-981. doi: 10.3934/cpaa.2011.10.963
[16]	Christian Bonatti, Shaobo Gan, Dawei Yang. On the hyperbolicity of homoclinic classes. Discrete and Continuous Dynamical Systems, 2009, 25 (4) : 1143-1162. doi: 10.3934/dcds.2009.25.1143
[17]	Mickaël Kourganoff. Uniform hyperbolicity in nonflat billiards. Discrete and Continuous Dynamical Systems, 2018, 38 (3) : 1145-1160. doi: 10.3934/dcds.2018048
[18]	Michael Hutchings, Frank Morgan, Manuel Ritore and Antonio Ros. Proof of the double bubble conjecture. Electronic Research Announcements, 2000, 6: 45-49.
[19]	John Hubbard, Yulij Ilyashenko. A proof of Kolmogorov's theorem. Discrete and Continuous Dynamical Systems, 2004, 10 (1&2) : 367-385. doi: 10.3934/dcds.2004.10.367
[20]	Benjamin Steinberg, Yuqing Wang, Huaxiong Huang, Robert M. Miura. Spatial Buffering Mechanism: Mathematical Model and Computer Simulations. Mathematical Biosciences & Engineering, 2005, 2 (4) : 675-702. doi: 10.3934/mbe.2005.2.675

2020 Impact Factor: 1.392

Tools

Metrics

Other articles
by authors

on AIMS
Marcin Mazur Jacek Tabor
on Google Scholar
Marcin Mazur Jacek Tabor

[Back to Top]