<学術雑誌論文>
ON PARAMETER LOCI OF THE HENON FAMILY
作成者 | |
---|---|
本文言語 | |
出版者 | |
発行日 | |
収録物名 | |
巻 | |
号 | |
開始ページ | |
終了ページ | |
出版タイプ | |
アクセス権 | |
関連DOI | |
概要 | The purpose of the current article is to investigate the dynamics of the Henon family fa,b : (x, y) → (x2 - a - by, x), where (a, b) ∈ R x Rx is the parameter [H]. We are interested in certain geometr...ic and topological structures of two loci of parameters (a, b) ∈ R x Rx for which fa,b share common dynamical properties; one is the hyperbolic horseshoe locus where the restriction of fa,b to its non-wandering set is hyperbolic and topologically conjugate to the full shift with two symbols, and the other is the maximal entropy locus where the topological entropy of fa,b attains the maximal value log 2 among all Henon maps. The main result of this paper states that these two loci are characterized by the graph of a real analytic function from the b-axis to the a-axis of the parameter space R x Rx, which extends in full generality the previous result of Bedford and Smillie [BS2] for |b| < 0.06. As consequences of this result, we show that (i) the two loci are both connected and simply connected in {b > 0} and in {b < 0}, (ii) the closure of the hyperbolic horseshoe locus coincides with the maximal entropy locus, (iii) the boundaries of both loci are identical and piecewise analytic with two analytic pieces. Among others, the consequence (i) indicates a weak form of monotonicity of the topological entropy as a function of the parameter (a, b) → htop(fa,b) at its maximal value. The proof consists of theoretical and computational parts. In the theoretical part we extend both the dynamical and the parameter spaces over C, investigate their complex dynamical and complex analytic properties, and reduce them to obtain the conclusion over R as in [BS2]. One of our new ingredients is to employ a exible family of "boxes" in C2 which is intrinsically two-dimensional and works for all values of b. In the computational part we use interval arithmetic together with some numerical algorithms such as set-oriented computations and the interval Krawczyk method to verify certain numerical criteria which imply analytic, combinatorial and dynamical consequences.続きを見る |
詳細
PISSN | |
---|---|
EISSN | |
レコードID | |
登録日 | 2020.12.18 |
更新日 | 2020.12.18 |