Stefanie Hittmeyer, B. Krauskopf, H. Osinga, Katsutoshi Shinohara
{"title":"Boxing-in of a blender in a Hénon-like family","authors":"Stefanie Hittmeyer, B. Krauskopf, H. Osinga, Katsutoshi Shinohara","doi":"10.3389/fams.2023.1086240","DOIUrl":null,"url":null,"abstract":"Introduction The extension of the Smale horseshoe construction for diffeomorphisms in the plane to those in spaces of at least dimension three may result in a hyperbolic invariant set referred to as a blender. The defining property of a blender is that it has a stable or unstable invariant manifold that appears to have a dimension larger than expected. In this study, we consider a Hénon-like family in ℝ3, which is the only explicitly given example of a system known to feature a blender in a certain range of a parameter (corresponding to an expansion or contraction rate). More specifically, as part of its hyperbolic set, this family has a pair of saddle fixed points with one-dimensional stable or unstable manifolds. When there is a blender, the closure of these manifolds cannot be avoided by one-dimensional curves coming from an appropriate direction. This property has been checked for the Hénon-like family by the method of computing extremely long pieces of global one-dimensional manifolds to determine the parameter range over which a blender exists. Methods In this study, we take the complimentary and local point of view of constructing an actual three-dimensional box (a parallelopiped) that acts as an outer cover of the hyperbolic set. The successive forward or backward images of this box form a nested sequence of sub-boxes that contains the hyperbolic set, as well as its respective local invariant manifold. Results This constitutes a three-dimensional horseshoe that, in contrast to the idealized affine construction, is quite general and features sub-boxes with curved edges. The initial box is defined in a parameter-dependent way, and this allows us to characterize properties of the hyperbolic set intuitively. Discussion In particular, we trace relevant edges of sub-boxes as a function of the parameter to provide additional geometric insight into when the hyperbolic set may or may not be a blender.","PeriodicalId":36662,"journal":{"name":"Frontiers in Applied Mathematics and Statistics","volume":" ","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2023-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Frontiers in Applied Mathematics and Statistics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3389/fams.2023.1086240","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 1
Abstract
Introduction The extension of the Smale horseshoe construction for diffeomorphisms in the plane to those in spaces of at least dimension three may result in a hyperbolic invariant set referred to as a blender. The defining property of a blender is that it has a stable or unstable invariant manifold that appears to have a dimension larger than expected. In this study, we consider a Hénon-like family in ℝ3, which is the only explicitly given example of a system known to feature a blender in a certain range of a parameter (corresponding to an expansion or contraction rate). More specifically, as part of its hyperbolic set, this family has a pair of saddle fixed points with one-dimensional stable or unstable manifolds. When there is a blender, the closure of these manifolds cannot be avoided by one-dimensional curves coming from an appropriate direction. This property has been checked for the Hénon-like family by the method of computing extremely long pieces of global one-dimensional manifolds to determine the parameter range over which a blender exists. Methods In this study, we take the complimentary and local point of view of constructing an actual three-dimensional box (a parallelopiped) that acts as an outer cover of the hyperbolic set. The successive forward or backward images of this box form a nested sequence of sub-boxes that contains the hyperbolic set, as well as its respective local invariant manifold. Results This constitutes a three-dimensional horseshoe that, in contrast to the idealized affine construction, is quite general and features sub-boxes with curved edges. The initial box is defined in a parameter-dependent way, and this allows us to characterize properties of the hyperbolic set intuitively. Discussion In particular, we trace relevant edges of sub-boxes as a function of the parameter to provide additional geometric insight into when the hyperbolic set may or may not be a blender.