The Julia set of Hénon maps (Q818557)

Let \(H:\mathbb{C}^2\longrightarrow \mathbb{C}^2\) be a (complex) Hénon mapping of the form \(H=H_1\circ\cdots\circ H_n\), where \(n\geq 1\), \(H_i(z,w)=(P_i(z)+a_iw,b_iz)\) in which \(P_i\) is a polynomial of degree at least \(2\) and \(a_i\), \(b_i\) are nonzero complex constants. Associated to each Hénon mapping there is a natural invariant measure \(\mu\) with compact support \(J^*\). There is also a natural notion of the Julia set \(J\). Main theorem in this paper is that if a complex Hénon mapping \(H\) is hyperbolic on \(J^*\), and if \(H\) is not volume preserving, then \(J=J^*\). It was proved by \textit{E. Bedford} and \textit{J. Smillie} [Invent. Math. 103, 69--99 (1991; Zbl 0721.58037)] that if \(H\) is uniformly hyperbolic when restricted to \(J\), then \(J=J^*\).