We propose a rigorous computational method to prove the uniform hyperbolicity of discrete dynamical systems. Applying the method to the real Hénon family, we prove the existence of many regions of hyperbolic parameters in the parameter plane of the family.
No takes yet. Share an insight, caveat, or question.
Zin Arai (2007) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: