Open Access
This article is

- freely available
- re-usable

*Condens. Matter*
**2020**,
*5*(1),
1;
https://doi.org/10.3390/condmat5010001

Article

Uniform Hyperbolicity of a Scattering Map with Lorentzian Potential

Department of Physics, Tokyo Metropolitan University, Minami-Osawa, Hachioji, Tokyo 192-0397, Japan

^{*}

Author to whom correspondence should be addressed.

Received: 15 December 2019 / Accepted: 27 December 2019 / Published: 30 December 2019

## Abstract

**:**

We show that a two-dimensional area-preserving map with Lorentzian potential is a topological horseshoe and uniformly hyperbolic in a certain parameter region. In particular, we closely examine the so-called sector condition, which is known to be a sufficient condition leading to the uniformly hyperbolicity of the system. The map will be suitable for testing the fractal Weyl law as it is ideally chaotic yet free from any discontinuities which necessarily invokes a serious effect in quantum mechanics such as diffraction or nonclassical effects. In addition, the map satisfies a reasonable physical boundary condition at infinity, thus it can be a good model describing the ionization process of atoms and molecules.

Keywords:

periodically kicked system; Lorentzian potential; topological horseshoe; uniformly hyperbolicity; sector condition; fractal Weyl law## 1. Introduction

The periodically kicked one-degree-of-freedom system has been playing and still plays significant roles in the study of chaos in classical and quantum systems. The discovery of quantum suppression of classical chaos was made by properly formulating quantum mechanics of the classical kicked system [1], and then it invoked an unexpected formal link between the eigenfunction equation of the kicked system and the Anderson model in the condensed matter field [2]. The kicked system has been further applied to explore experimental manifestations of chaos in atomic and molecular systems, especially ionization of the hydrogen atom in an external electronic field [3]. It was actually realized based the optical lattice in the cold atom system [4].

A great advantage of the kicked system is that one can easily design the classical phase space and realize various types of phase space ranging from completely integrable to mixed ones by choosing potential functions appropriately. The most often used version would be the so-called Chirikov–Taylor standard map, for which signatures of classical dynamics have been extensively studied [5,6]. It is well known that when the kicking strength is small enough Kolmogorov–Arnold–Moser (KAM) curves predominate the phase space, and the motion around KAM curves becomes sticky. After the breakdown of KAM curves, Poincaré Birkhoff chains and cantori appear as well and the topology of phase space becomes enormously complex in general.

As the kicking strength gets large, those regular components, remnants of complete integrability, gradually disappear. It is eventually observed that the phase space is almost covered by chaotic orbits. However, even after considerable efforts were made, rigorous results on the signature of generic situations are limited and it is not yet clear whether or not the system becomes ideally chaotic, more precisely uniformly hyperbolic when the kicking strength is large enough. Although it is possible to prove the existence of “chaotic orbits” in a large but finite kicking strength region [7], meaning that the orbits which are conjugate to symbolic dynamics defined in the infinity limit of the kicking strength survive, it does not necessarily mean that all the orbits are chaotic. Therefore the standard map is particularly suitable for studying the KAM scenario, the transition from completely integrable (zero kicking strength) to mixed dynamics, thus has been taken as a good toy model realizing mixed phase space, but the connection to ideally chaotic situations is not yet obvious.

On the other hand, there exist maps for which ideally chaotic situations are actually realized. A certain class of area-preserving the maps defined on the torus ${\mathbb{T}}^{2}$, the so-called torus automorphism, satisfies the uniform hyperbolicity. A well known example is the Arnold cat map, and it keeps uniform hyperbolicity because of the structural stability [8]. Another paradigm achieving uniform hyperbolicity is the map defined on the plane ${\mathbb{R}}^{2}$ and the most standard and extensively studied one is the Hénon family. The Hénon map is known to be the simplest polynomial diffeomorphism exhibiting chaos. This fact owes to the classification theorem of Friedland and Milnor [9]. In a certain parameter regime, the horseshoe is realized and the uniform hyperbolidity was proved to hold [10], and later it has been shown to be true until when the first tangency between stable and unstable manifolds happens [11].

Such systems are better suited to examine classical and quantum signatures of ideally chaotic situations and been often taken to be toy models for such a purpose. However, as torus automorphisms with uniform hyperbolicity do not have an integrable limit in their parameter spaces, so the connection to the KAM scenario is not clear enough. As for the area-preserving Hénon map, the behavior around infinity is somewhat unphysical because the potential function is given as a cubic function. Therefore, once orbits are scattered from a scattering region, they are accelerated and diverges superexponentially to infinity. A complete ideal horseshoe can be formed in the Hénon map but the boundary condition would be physically improper.

It is, therefore, desirable to find a map which has a natural integrable limit, possibly achieved by taking the zero kicking strength limit, and at the same time can become uniformly hyperbolic over a certain parameter space, yet satisfying a physically feasible boundary condition. In this paper, we show that a scattering map whose potential shape is given by the Lorentzian function has a parameter region, in which it meets such requirements. Herein, we use an essentially the same technique applied to the map with another types of potentials including the Gaussian function [12], but some details depend on the specific form of potential functions.

We remark that there is a strong motivation to seek a uniformly hyperbolic scattering map with analytic potential. As argued in [12], if the map contains a discontinuity, it necessarily invokes a serious effect in the corresponding quantum mechanics such as diffraction or nonclassical effects. As a result, if one performs a test to verify the so-called fractal Weyl law, which concerns the crudest quantum-to-classical correspondence in scattering systems, and a counterpart of the Weyl law in the bounded system, such nonclassical effects are difficult to be handled and should better be avoided because it makes it difficult to develop semiclassical arguments. The fractal Weyl law claims that the number of long-lived resonance states should grow as a power law whose exponent is related to the fractal dimension of the classical repeller [13]. As was illustrated in [12] that projective openings or strong absorbing potentials make the separation of resonance eigenvalues from the continuum almost impossible, which raises a doubt that the obtained spectra are well-qualified for the purpose. For this very reason, uniformly hyperbolic scattering maps with analytic potential are strongly sought.

The outline of the paper is as follows. In Section 2, we provide the scattering map analyzed in this paper, and show numerical evidence suggesting that the map can be a topological horseshoe and uniformly hyperbolic. In Section 3, we first present some pieces of numerical evidence illustrating that the map exhibits the horseshoe if the perturbation strength is large enough, and then provide a sufficient condition leading to the topological horseshoe. In Section 4, we show that the system has a filtration property, meaning that the non-wandering set of the system is confined in a certain finite domain. In Section 5, we present a sufficient condition for the system to be uniformly hyperbolic. We here apply the sector condition, which is known to be a sufficient for uniform hyperbolicity, in order to check the uniform hyperbolicity of the system. In Section 6, we closely examine under which conditions the sector condition holds. In Section 7, we make a comment on the optimality of our estimate and also mention a possible generalization.

## 2. Scattering Map

The Hamiltonian of the periodically kicked one-degree-of-freedom system is given by
where $V\left(q\right)$ is a potential function controlling the dynamics. Here, unlike the standard map or similar types of maps defined on cylindrical or toric phase space, we consider the map defined on the plane ${\mathbb{R}}^{2}$, which provides scattering dynamics in general.

$$\begin{array}{c}\hfill H(q,p;t)=\frac{{p}^{2}}{2}+V\left(q\right)\sum _{n\in \mathbb{Z}}\delta (t-n),\end{array}$$

Since we want to set a physically feasible scattering system, the kicking potential $V\left(q\right)$ should tend to zero sufficiently fast as $\left|q\right|$ goes to infinity,
resulting in the free motion in the asymptotic region. A simple choice meeting such a condition would be to take the Gaussian as a potential function. In the attractive Gaussian case, Jensen indeed used it to investigate quantum effects on scattering processes [14,15], and the system can be experimentally approximated by a Gaussian laser beam action of cold atoms. Fishman and coworkers have also studied classical and quantum aspects in mixed regime have also been studied [16]. The repulsive Gaussian case has been also used to study quantum tunneling effects in terms of complex semiclassical theory [17,18].

$$\begin{array}{c}\hfill \underset{q\to \pm \infty}{lim}V\left(q\right)=0,\end{array}$$

The classical dynamics of periodically kicked systems can be reduced to discrete dynamics via stroboscopic phase-space section. They are obtained by integrating Hamilton’s equations of motion over one period in time. Following the work in [12], we here adopt a two-dimensional area-preserving map in a symmetrized version:

$$\begin{array}{c}\hfill U:\left(\begin{array}{c}{q}_{n+1}\\ {p}_{n+1}\end{array}\right)=\left(\begin{array}{c}{\displaystyle {q}_{n}+{p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)}\\ {\displaystyle {p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)-\frac{1}{2}{V}^{\prime}\left({q}_{n+1}\right)}\end{array}\right).\end{array}$$

Here, we take the potential function (also see Figure 1),
with Lorentzian functions

$$\begin{array}{c}\hfill V\left(q\right)=-\kappa \left\{{f}_{1}\left(q\right)-\epsilon \left({f}_{2}(q-{q}_{b})+{f}_{2}(q+{q}_{b})\right)\right\},\end{array}$$

$$\begin{array}{c}\hfill {f}_{1}\left(q\right)=\frac{1}{1+4{q}^{2}},\end{array}$$

$$\begin{array}{c}\hfill {f}_{2}\left(q\right)=\frac{1}{1+{q}^{2}}.\end{array}$$

In the following, $\kappa >0$ is assumed, and the parameter $\epsilon $ is expressed in terms of other parameters ${q}_{b}$ and ${q}_{f}$ as

$$\begin{array}{c}\hfill \epsilon =\frac{{f}_{1}^{\prime}\left({q}_{f}\right)}{{f}_{2}^{\prime}({q}_{f}-{q}_{b})+{f}_{2}^{\prime}({q}_{f}+{q}_{b})}.\end{array}$$

The parameter ${q}_{b}$ represents the amount of the shift of two superposed potential functions ${f}_{1}\left(q\right)$ and ${f}_{2}\left(q\right)$, and $\pm {q}_{f}$ denote the positions where the potential function $V\left(q\right)$ takes extremum values, i.e.,

$$\begin{array}{c}\hfill {V}^{\prime}\left({q}_{f}\right)=-\kappa \left\{{f}_{1}^{\prime}\left({q}_{f}\right)-\u03f5\left({f}_{2}^{\prime}({q}_{f}-{q}_{b})+{f}_{2}^{\prime}({q}_{f}-{q}_{b})\right)\right\}=0.\end{array}$$

The potential function $V\left(q\right)$ is thus specified by three parameters: $\kappa ,{q}_{b}$, and ${q}_{f}$.

Throughout the following argument we fix
which leads to

$$\begin{array}{c}\hfill {q}_{b}=1.0,{q}_{f}=1.5,\end{array}$$

$$\begin{array}{c}\hfill \epsilon \approx 0.1632\cdots .\end{array}$$

We will explore the region for $\kappa $, in which the system is a topological horseshoe and uniformly hyperbolic as well. As will be mentioned in the concluding section, it would be desirable to investigate the whole parameter space including ${q}_{b}$ and ${q}_{f}$, and numerical observations show the existence of parameter regions, in which the horseshoe and hyperbolicity are realized in wider range of $({q}_{b},{q}_{f})$ including the one specified above. Therefore, although we fix the parameters ${q}_{b}$ and ${q}_{f}$ in the subsequent analysis, it does not necessarily mean that the horseshoe and hyperbolicity would not be achieved at other parameter values. However, it is too elaborate to develop analytical arguments and provide a rigorous proof for the case including the ${q}_{b}$ and ${q}_{f}$, so we here concentrate on a specific parameter set. Stable and unstable manifolds for ${q}_{b}=1.0$ and ${q}_{f}=1.5$ are illustrated in Figure 2.

## 3. Horseshoe Condition

In this section, we will show that the map (3) can be a topological horseshoe in a certain parameter region. To this end, let us consider the following four line segments:
and introduce the region R, whose boundaries are formed by the curves ${l}_{2},{l}_{3},U\left({l}_{1}\right)$ and $U\left({l}_{4}\right)$. The inverse image of R is enclosed by the curves ${l}_{1},{l}_{4},{U}^{-1}\left({l}_{2}\right)$ and ${U}^{-1}\left({l}_{3}\right)$ (see Figure 3). The boundary curves for R and ${U}^{-1}\left(R\right)$ are expressed as
where

$$\begin{array}{ccc}\hfill {l}_{1}& :=& \left\{(q,p)\right|q=-{q}_{f},0<p<2{q}_{f}\},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {l}_{2}& :=& \left\{(q,p)\right|q={q}_{f},0<p<2{q}_{f}\},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {l}_{3}& :=& \left\{(q,p)\right|q=-{q}_{f},-2{q}_{f}<p<0\},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill {l}_{4}& :=& \left\{(q,p)\right|q={q}_{f},-2{q}_{f}<p<0\},\hfill \end{array}$$

$$\begin{array}{c}U\left({l}_{1}\right):=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p=F\left(q\right)\},\hfill \end{array}$$

$$\begin{array}{c}{U}^{-1}\left({l}_{2}\right):=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p=-F\left(q\right)+2{q}_{f}\},\hfill \end{array}$$

$$\begin{array}{c}{U}^{-1}\left({l}_{3}\right):=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p=-F\left(q\right)\},\hfill \end{array}$$

$$\begin{array}{c}U\left({l}_{4}\right):=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p=F\left(q\right)-2{q}_{f}\},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill F\left(q\right)& =& q+{q}_{f}-\frac{1}{2}{V}^{\prime}\left(q\right)\hfill \\ \hfill & =& q+{q}_{f}-\kappa \left\{\frac{4q}{{(1+4{q}^{2})}^{2}}-\epsilon \left(\frac{q-{q}_{b}}{{(1+{(q-{q}_{b})}^{2})}^{2}}+\frac{q+{q}_{b}}{{(1+{(q+{q}_{b})}^{2})}^{2}}\right)\right\}.\hfill \end{array}$$

For the region R introduced above, if $\kappa $ is sufficiently large, the numerical observation reveals that the intersection between R and its forward iteration $U\left(R\right)$ is composed of three disjointed regions:
where

$$\begin{array}{c}\hfill R\cap U\left(R\right)={\mathcal{X}}_{1}\cup {\mathcal{Y}}_{1}\cup {\mathcal{Z}}_{1},\end{array}$$

$$\begin{array}{c}\hfill {\mathcal{X}}_{1}\cap {\mathcal{Y}}_{1}=\varnothing ,{\mathcal{Y}}_{1}\cap {\mathcal{Z}}_{1}=\varnothing ,{\mathcal{Z}}_{1}\cap {\mathcal{X}}_{1}=\varnothing ,\end{array}$$

In a similar way, the backward iteration yields
where

$$\begin{array}{c}\hfill R\cap {U}^{-1}\left(R\right)={\mathcal{X}}_{0}\cup {\mathcal{Y}}_{0}\cup {\mathcal{Z}}_{0}.\end{array}$$

$$\begin{array}{c}\hfill {\mathcal{X}}_{0}\cap {\mathcal{Y}}_{0}=\varnothing ,{\mathcal{Y}}_{0}\cap {\mathcal{Z}}_{0}=\varnothing ,{\mathcal{Z}}_{0}\cap {\mathcal{X}}_{0}=\varnothing .\end{array}$$

As displayed in Figure 4 and Figure 5, the twice-folded horseshoe is created under the iteration, unlike the standard once-folded one, and hence the existence of the black region in the figures could be a sufficient condition for the horseshoe.

As shown in Figure 6, if $U\left({l}_{1}\right)$ and ${U}^{-1}\left({l}_{3}\right)$ intersect transversally at two points in the interval $0<q<{q}_{f}$, the horseshoe is realized. If such a situation happens, it is needless to say that $U\left({l}_{4}\right)$ and ${U}^{-1}\left({l}_{2}\right)$ intersect transversally in the interval $-{q}_{f}<q<0$ as well. Because of the symmetry with respect to the q-axis, one can say that this situation is equivalently achieved if the curve $U\left({l}_{1}\right)$ intersects the q-axis transversally at two distinct points in the interval $0<q<{q}_{f}$. Since $F\left(0\right)={q}_{f}>0,F\left({q}_{f}\right)=2{q}_{f}>0$, if
is satisfied, then $U\left({l}_{1}\right)$ and ${U}^{-1}\left({l}_{3}\right)$, $U\left({l}_{4}\right)$ and ${U}^{-1}\left({l}_{2}\right)$ as well, have intersections, yielding the shaded regions as illustrated in Figure 4, which results in a topological horseshoe. As a sufficient condition to bring such a situation, we obtain the following.

$$\begin{array}{c}\hfill \underset{0<q<{q}_{f}}{min}F\left(q\right)<0,\end{array}$$

**Proposition**

**1.**

If κ satisfies the condition
then$\Lambda =\bigcap _{n\in \mathbb{Z}}{U}^{n}\left(R\right)$is a topological horseshoe.

$$\begin{array}{c}\hfill \kappa \ge \frac{{\displaystyle 2{q}_{f}}}{{\displaystyle \frac{3\sqrt{3}}{8}-{c}_{1}\epsilon}},\end{array}$$

**Proof.**

First note that the function $(q-{q}_{b})/{(1+{(q-{q}_{b})}^{2})}^{2}$ takes the maximum value $3\sqrt{3}/16$ at $q={q}_{b}+1/\sqrt{3}$, and the minimum value $-3\sqrt{3}/16$ at $q={q}_{b}-1/\sqrt{3}$. As ${q}_{b}>1/\sqrt{3}$, the function $(q+{q}_{b})/{(1+{(q+{q}_{b})}^{2})}^{2}$ monotonically decreases for $q>0$. In addition, $(q+{q}_{b})/{(1+{(q+{q}_{b})}^{2})}^{2}<{q}_{b}/{(1+{q}_{b}^{2})}^{2}$ holds, which leads to an upper bound for $F\left(q\right)$

$$\begin{array}{c}\hfill F\left(q\right)<2{q}_{f}-\kappa \frac{4q}{{(1+4{q}^{2})}^{2}}+\kappa \epsilon \left(\frac{3\sqrt{3}}{16}+\frac{{q}_{b}}{1+{q}_{b}^{2}}\right).\end{array}$$

Similarly, the function $-4q/{(1+4{q}^{2})}^{2}$ takes the minimum value $q=1/2\sqrt{3}$ at $q=1/2\sqrt{3}$ and this also attains the minimum value for $0<q<{q}_{f}$ since $1/2\sqrt{3}<{q}_{f}$. Then, we have

$$\begin{array}{c}\hfill \underset{0<q<{q}_{f}}{min}F\left(q\right)<2{q}_{f}-\frac{3\sqrt{3}}{8}\kappa +\kappa \epsilon {c}_{1}.\end{array}$$

Here, ${c}_{1}$ denotes a constant

$$\begin{array}{c}\hfill {c}_{1}:=\left(\frac{3\sqrt{3}}{16}+\frac{{q}_{b}}{1+{q}_{b}^{2}}\right).\end{array}$$

Therefore, as a sufficient condition for
we obtain the inequality

$$\begin{array}{c}\hfill \underset{0<q<{q}_{f}}{min}F\left(q\right)<0,\end{array}$$

$$\begin{array}{c}\hfill 2{q}_{f}-\frac{3\sqrt{3}}{8}\kappa +\kappa \epsilon {c}_{1}\le 0.\end{array}$$

By explicitly evaluating
we reach the desired inequality (24) □.

$$\begin{array}{c}\hfill \epsilon \approx 0.1632\cdots <\frac{3\sqrt{3}}{8{c}_{1}}\approx 1.1300\cdots ,\end{array}$$

## 4. Non-Wandering Set and the Filtration Property

To show that the non-wandering set $\Omega \left(U\right)$ of the system is uniformly hyperbolic, here we prove that the non-wandering set $\Omega \left(U\right)$ is a subset of $R\cap {U}^{-1}\left(R\right)$ by showing that the complement of $R\cap {U}^{-1}\left(R\right)$ is wandering. To this end, we introduce the following regions,

$$\begin{array}{c}{\mathcal{O}}^{+}=\left\{(q,p)\right|q>{q}_{f},p>0\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{O}}^{-}=\left\{(q,p)\right|q<-{q}_{f},p<0\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{I}}^{+}=\left\{(q,p)\right|q>{q}_{f},p<0\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{I}}^{-}=\left\{(q,p)\right|q<-{q}_{f},p>0\}.\hfill \end{array}$$

As shown in [12], these regions have the following properties.

**Lemma**

**1.**

If the condition,
is fulfilled, which automatically implies${V}^{\prime}\left(q\right)>0$for$q<-{q}_{f}$because of the symmetry of the potential function, then we have

$$\begin{array}{c}\hfill {V}^{\prime}\left(q\right)<0\mathrm{for}q{q}_{f},\end{array}$$

**(a)**- $U\left({\mathcal{O}}^{+}\right)\subset {\mathcal{O}}^{+}$ and $U\left({\mathcal{O}}^{-}\right)\subset {\mathcal{O}}^{-}$.
**(b)**- ${q}_{n}\in {\mathcal{O}}^{+}$ is strictly increasing, and ${q}_{n}\in {\mathcal{O}}^{-}$ is strictly decreasing under forward iteration of the map U.
**(c)**- ${U}^{-1}\left({\mathcal{I}}^{+}\right)\subset {\mathcal{I}}^{+}$ and ${U}^{-1}\left({\mathcal{I}}^{-}\right)\subset {\mathcal{I}}^{-}$.
**(d)**- ${q}_{n}\in {\mathcal{I}}^{+}$ is strictly increasing, and ${q}_{n}\in {\mathcal{I}}^{-}$ is strictly decreasing under backward iteration of the map U.

**Proof.**

From the condition (35), $({q}_{n},{p}_{n})\in {\mathcal{O}}^{+}$ satisfies
and
which implies $({q}_{n+1},{p}_{n+1})\in {\mathcal{O}}^{+}$. Using the symmetry, the statements for ${\mathcal{O}}^{-},{\mathcal{I}}^{+}$ and ${\mathcal{I}}^{-}$ immediately follow. □

$$\begin{array}{c}\hfill {q}_{n+1}={q}_{n}+{p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)>{q}_{n}+{p}_{n}>{q}_{n}>{q}_{f},\end{array}$$

$$\begin{array}{c}\hfill {p}_{n+1}={p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)-\frac{1}{2}{V}^{\prime}\left({q}_{n+1}\right)>{p}_{n}>0,\end{array}$$

**Remark.**

Next, we consider the behavior of the internal region $\left\{(q,p)\right|-{q}_{f}<q<{q}_{f}\}$ under the iteration. To this end, we focus on the forward and backward image of the complement of $R\cap {U}^{-1}\left(R\right)$, respectively. As shown in Figure 7, we introduce subsets (${\mathcal{C}}_{1}^{\pm},{\mathcal{C}}_{2})$ as the forward image of the complement of $R\cap {U}^{-1}\left(R\right)$:

$$\begin{array}{c}{\mathcal{C}}_{1}^{+}=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p>-F\left(q\right)+2{q}_{f}\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{C}}_{1}^{-}=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p<-F\left(q\right)\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{C}}_{2}={U}^{-1}\left(R\right)\backslash (R\cap {U}^{-1}\left(R\right)).\hfill \end{array}$$

As ${\mathcal{C}}_{2}\subset {U}^{-1}\left(R\right)$, $U\left({\mathcal{C}}_{2}\right)\subset R$ holds, thus $U\left({\mathcal{C}}_{2}\right)\subset (R\cap {U}^{-1}\left(R\right))\cup {\mathcal{C}}_{1}^{+}\cup {\mathcal{C}}_{1}^{-}$ follows. As for ${\mathcal{C}}_{1}^{\pm}$, we have the following lemma. The same proof is given in our forthcoming paper [19], but we explicitly state this to make the paper self-contained.

**Lemma**

**2.**

If the condition (35) is satisfied, then

$$\begin{array}{c}\hfill U\left({\mathcal{C}}_{1}^{+}\right)\subset {\mathcal{O}}^{+}andU\left({\mathcal{C}}_{1}^{-}\right)\subset {\mathcal{O}}^{-}.\end{array}$$

**Proof.**

For $({q}_{n},{p}_{n})\in {\mathcal{C}}_{1}^{+}$, we have

$$\begin{array}{c}\hfill {q}_{n+1}={q}_{n}+{p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)>{q}_{f}.\end{array}$$

Combining this with the condition (35), we can show that

$$\begin{array}{ccc}\hfill {p}_{n+1}& =& {p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)-\frac{1}{2}{V}^{\prime}\left({q}_{n+1}\right)\hfill \\ & & -{q}_{n}+{q}_{f}-\frac{1}{2}{V}^{\prime}\left({q}_{n+1}\right)\hfill \\ & & -\frac{1}{2}{V}^{\prime}\left({q}_{n+1}\right)0.\hfill \end{array}$$

This implies $({q}_{n+1},{p}_{n+1})\in {\mathcal{O}}^{+}$. One similarly shows that $U\left({\mathcal{C}}_{1}^{-}\right)\subset {\mathcal{O}}^{-}$. □

In a similar way, Figure 8 illustrates subsets (${\mathcal{D}}_{1}^{\pm},{\mathcal{D}}_{2}$), which are introduced as the backward image of the complement of $R\cap {U}^{-1}\left(R\right)$:

$$\begin{array}{c}{\mathcal{D}}_{1}^{+}=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p>F\left(q\right)\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{D}}_{1}^{-}=\left\{(q,p)\right|-{q}_{f}<q<{q}_{f},p<F\left(q\right)-2{q}_{f}\},\hfill \end{array}$$

$$\begin{array}{c}{\mathcal{D}}_{2}=R\backslash (R\backslash {U}^{-1}\left(R\right)).\hfill \end{array}$$

As ${\mathcal{D}}_{2}\subset R$, ${U}^{-1}\left({\mathcal{D}}_{2}\right)\subset {U}^{-1}\left(R\right)$ holds, ${U}^{-1}\left({\mathcal{D}}_{2}\right)\subset (R\cap {U}^{-1}\left(R\right))\cup {\mathcal{D}}_{1}^{+}\cup {\mathcal{D}}_{1}^{-}$ follows. As for ${\mathcal{D}}_{1}^{\pm}$, we have the lemma:

**Lemma**

**3.**

If the condition (35) is satisfied, then

$$\begin{array}{c}\hfill {U}^{-1}\left({\mathcal{D}}_{1}^{+}\right)\subset {\mathcal{I}}^{-}and{U}^{-1}\left({\mathcal{D}}_{1}^{-}\right)\subset {\mathcal{I}}^{+}.\end{array}$$

**Proof.**

For $({q}_{n},{p}_{n})\in {\mathcal{D}}_{1}^{+}$, we have

$$\begin{array}{c}\hfill {q}_{n-1}={q}_{n}-{p}_{n}-\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)<-{q}_{f}.\end{array}$$

Combining this with the condition (35), this leads to

$$\begin{array}{ccc}\hfill {p}_{n-1}& =& {p}_{n}+\frac{1}{2}{V}^{\prime}\left({q}_{n}\right)+\frac{1}{2}{V}^{\prime}\left({q}_{n-1}\right)\hfill \\ & & {q}_{n}+{q}_{f}+\frac{1}{2}{V}^{\prime}\left({q}_{n-1}\right)0.\hfill \end{array}$$

This implies $({q}_{n-1},{p}_{n-1})\in {\mathcal{I}}^{-}$. One similarly show that ${U}^{-1}\left({\mathcal{D}}_{1}^{-}\right)\subset {\mathcal{I}}^{+}$. □

Considering the behavior of the complement of $R\cap {U}^{-1}\left(R\right)$ under forward/backward iterations of U, we arrive at the following.

**Proposition**

**2.**

If the condition (35) is satisfied, $\Omega \left(U\right)\subset R\cap {U}^{-1}\left(R\right)$ holds.

**Proof.**

From the lemmas (1), (2), and (3), we can say that the complement of the set $R\cap {U}^{-1}\left(R\right)$ is wandering. □

As numerically confirmed in Figure 9, heteroclinic points associated with stable and unstable manifolds for fixed points are actually contained in the region $R\cap {U}^{-1}\left(R\right)$.

## 5. Sector Condition

We first give the definition for the uniform hyperbolicity and also provide a sufficient condition for the system to be uniformly hyperbolic.

**Definition**

**1.**

The diffeomorphism U defined on a manifold M said to be uniformly hyperbolic if for any $x\in M$ the associated tangent space is decomposed into stable and unstable spaces as ${T}_{x}M={E}^{s}\left(x\right)\u2a01{E}^{u}\left(x\right)$, and for any $n\in \mathbb{N}$ there exist constants $C>0$ and $\lambda \in (0,1)$ such that
holds.

$$\begin{array}{c}\hfill \parallel D{U}^{n}\left(\nu \right)\parallel \le C{\lambda}^{n}\parallel \nu \parallel for\nu \in {E}^{s}\left(x\right)and\parallel D{U}^{-n}\left(\nu \right)\parallel \le C{\lambda}^{n}\parallel \nu \parallel for\nu \in {E}^{u}\left(x\right)\end{array}$$

As is well known, so-called the sector condition provides a sufficient condition for the uniform hyperbolicity [20]. The sector condition is formulated as having the sector bundles
with a certain $\lambda >1$.

$$\begin{array}{c}{S}_{\lambda}^{+}=\left\{(\xi ,\eta )\right|\left|\xi \right|\ge \lambda \left|\eta \right|\},\hfill \end{array}$$

$$\begin{array}{c}{S}_{\lambda}^{-}=\left\{(\xi ,\eta )\right|\lambda \left|\eta \right|\le \left|\xi \right|\},\hfill \end{array}$$

Here, we first show the Jacobians $JU$ for the map U and $J{U}^{-1}$ for the inverse map ${U}^{-1}$:
where

$$\begin{array}{ccc}\hfill J{U}_{({q}_{n},{p}_{n})}& =& \left(\begin{array}{cc}\frac{{\displaystyle \partial {q}_{n+1}}}{{\displaystyle \partial {q}_{n}}}& \frac{{\displaystyle \partial {q}_{n+1}}}{{\displaystyle \partial {p}_{n}}}\\ \frac{{\displaystyle \partial {p}_{n+1}}}{{\displaystyle \partial {q}_{n}}}& \frac{{\displaystyle \partial {p}_{n+1}}}{{\displaystyle \partial {p}_{n}}}\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}1-\frac{1}{2}{V}^{\u2033}\left({q}_{n}\right)& 1\\ -\frac{1}{2}{V}^{\u2033}\left({q}_{n}\right)-\frac{1}{2}{V}^{\u2033}\left({q}_{n+1}\right)(1-\frac{1}{2}{V}^{\u2033}\left({q}_{n}\right))& -\frac{1}{2}{V}^{\u2033}\left({q}_{n+1}\right)\end{array}\right)\hfill \\ & =& \left(\begin{array}{cc}\alpha \left({q}_{n}\right)& 1\\ \alpha \left({q}_{n}\right)\alpha \left({q}_{n+1}\right)-1& \alpha \left({q}_{n+1}\right)\end{array}\right),\hfill \end{array}$$

$$\begin{array}{ccc}\hfill J{U}_{({q}_{n+1},{p}_{n+1})}^{-1}& =& \left(\begin{array}{cc}\alpha \left({q}_{n+1}\right)& -1\\ 1-\alpha \left({q}_{n}\right)\alpha \left({q}_{n+1}\right)& \alpha \left({q}_{n}\right)\end{array}\right),\hfill \end{array}$$

$$\begin{array}{ccc}\hfill \alpha \left(q\right)& :=& 1-\frac{1}{2}{V}^{\u2033}\left(q\right)\hfill \\ \hfill & =& 1+\kappa \left\{\frac{4(12{q}^{2}-1)}{{(1+4{q}^{2})}^{3}}-\epsilon \left(\frac{3{(q-{q}_{b})}^{2}-1}{{(1+{(q-{q}_{b})}^{2})}^{3}}+\frac{3{(q+{q}_{b})}^{2}-1}{{(1+{(q+{q}_{b})}^{2})}^{3}}\right)\right\}.\hfill \end{array}$$

Below, we drop the subscript $({q}_{n},{p}_{n})$ if there is no confusion.

For the Hénon map, the sector condition can simply be written in terms of the original tangent space variables $(\xi ,\eta )$ [10], but for the present map verifying the sector condition for the original tangent space is not straightforward. Therefore, we transform the original tangent space $(\xi ,\eta )$ into $({\xi}^{\prime},{\eta}^{\prime})$ via the transformation
which yields the Jacobian $JU$ as
and the Jabocian $J{U}^{-1}$ for the inverse map as

$$\begin{array}{c}\hfill T=\left(\begin{array}{cc}1& 1\\ 1-\alpha \left({q}_{n}\right)\alpha \left({q}_{n+1}\right)+\alpha \left({q}_{n+1}\right)& \alpha \left({q}_{n}\right)-1\end{array}\right),\end{array}$$

$$\begin{array}{ccc}\hfill J{U}^{\prime}& =& T\left(JU\right){T}^{-1}\hfill \\ & =& \left(\begin{array}{cc}\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)& -1\\ 1& 0\end{array}\right),\hfill \end{array}$$

$$\begin{array}{ccc}\hfill J{U}^{\prime -1}& =& T\left(J{U}^{-1}\right){T}^{-1}\hfill \\ & =& \left(\begin{array}{cc}0& 1\\ -1& \alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)\end{array}\right).\hfill \end{array}$$

To show the sector condition presented below, we prepare the following lemma.

**Lemma**

**4.**

For some $\lambda >1$ if
is satisfied, then

$$\begin{array}{c}\hfill |\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)|\ge 2\lambda \end{array}$$

(a) for any vector $({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})\in {S}_{\lambda}^{\prime +}$, the vector $({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})=J{U}^{\prime}({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})$ satisfies $|{\xi}_{n+1}^{\prime}|>\lambda |{\xi}_{n}^{\prime}|$.

(b) for any vector $({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})\in {S}_{\lambda}^{\prime -}$, the vector $({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})=J{U}^{\prime -1}({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})$ satisfies $|{\eta}_{n}^{\prime}|>\lambda |{\eta}_{n+1}^{\prime}|$.

Here the sector bundles are defined as

$$\begin{array}{ccc}\hfill {S}_{\lambda}^{\prime +}& =& \left\{({\xi}^{\prime},{\eta}^{\prime})\right|\left|{\xi}^{\prime}\right|\ge \lambda \left|{\eta}^{\prime}\right|\},\hfill \\ \hfill {S}_{\lambda}^{\prime -}& =& \left\{({\xi}^{\prime},{\eta}^{\prime})\right|\lambda \left|{\xi}^{\prime}\right|\le \left|{\eta}^{\prime}\right|\}.\hfill \end{array}$$

**Proof.**

For (a), as
we have

$$\begin{array}{ccc}\hfill \left(\begin{array}{c}{\xi}_{n+1}^{\prime}\\ {\eta}_{n+1}^{\prime}\end{array}\right)& =& J{U}^{\prime}\left(\begin{array}{c}{\xi}_{n}^{\prime}\\ {\eta}_{n}^{\prime}\end{array}\right)\hfill \\ & =& \left(\begin{array}{c}(\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)){\xi}_{n}^{\prime}-{\eta}_{n}^{\prime}\\ {\xi}_{n}^{\prime}\end{array}\right),\hfill \end{array}$$

$$\begin{array}{ccc}\hfill |{\xi}_{n+1}^{\prime}|& =& |(\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)){\xi}_{n}^{\prime}-{\eta}_{n}^{\prime}|\hfill \\ & \ge & |\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)\left|\right|{\xi}_{n}^{\prime}|-|{\eta}_{n}^{\prime}|\hfill \\ & \ge & |\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)\left|\right|{\xi}_{n}^{\prime}|-\frac{1}{\lambda}\left|{\xi}_{n}^{\prime}\right|\hfill \\ & & |\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)\left|\right|{\xi}_{n}^{\prime}|-\lambda |{\xi}_{n}^{\prime}|\hfill \\ & \ge & \lambda |{\xi}_{n}^{\prime}|.\hfill \end{array}$$

We have used (58) to show the last inequality. We can show (b) in a similar way. □

Using this lemma, we can easily see that the condition (58) provides the sector condition:

**Proposition**

**3.**

Suppose that, for $\lambda >1$, $\alpha \left({q}_{n}\right),\alpha \left({q}_{n+1}\right)$ satisfy
then,

$$\begin{array}{c}\hfill |\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)|\ge 2\lambda ,\end{array}$$

(a) for any vector $({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})\in {S}_{\lambda}^{\prime +}$, the vector $({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})=J{U}^{\prime}({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})\in {S}_{\lambda}^{\prime +}$ and $|({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})|\ge \lambda |({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})|$ hold.

(b) for any vector $({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})\in {S}_{\lambda}^{\prime -}$, the vector $({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})=J{U}^{\prime -1}({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})\in {S}_{\lambda}^{\prime -}$ and $|({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})|\ge \lambda |({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})|$ hold.

**Proof.**

For (a), using Lemma 4 and (60), we have

$$\begin{array}{ccc}\hfill |{\xi}_{n+1}^{\prime}|& >& \lambda |{\xi}_{n}^{\prime}|\hfill \\ & =& \lambda |{\eta}_{n+1}^{\prime}|.\hfill \end{array}$$

This implies $({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})\in {S}_{\lambda}^{\prime +}$. In addition, since $|{\xi}_{n}^{\prime}|\ge \lambda |{\eta}_{n}^{\prime}|$, we have

$$\begin{array}{ccc}\hfill |{\eta}_{n+1}^{\prime}|& =& |{\xi}_{n}^{\prime}|\hfill \\ & \ge & \lambda |{\eta}_{n}^{\prime}|.\hfill \end{array}$$

This leads, together with Lemma 4, to $|({\xi}_{n+1}^{\prime},{\eta}_{n+1}^{\prime})|\ge \lambda |({\xi}_{n}^{\prime},{\eta}_{n}^{\prime})|$. We can show (b) in a similar manner. □

## 6. Sufficient Condition for the Sector Condition

#### 6.1. Numerical Observation for the Sector Condition

Now we seek in which situations the condition (58) is satisfied. Before going to develop analytical arguments, we present some numerical observations demonstrating how the region where the condition (58) is satisfied behaves. As observed in Figure 10, there exist regions not satisfying the condition (58) in the $R\cap {U}^{-1}\left(R\right)$. Therefore, we are not able to expect the uniform hyperbolicity in the whole $R\cap {U}^{-1}\left(R\right)$ region. On the other hand, Figure 11 implies that the uniform hyperbolicity holds in $R\cap {U}^{-1}\left(R\right)\cap {U}^{-2}\left(R\right)$. To push this idea, herein we introduce more proper domains that make it possible to write down explicit conditions for the uniform hyperbolicity because the boundary curves for $R\cap {U}^{-1}\left(R\right)\cap {U}^{-2}\left(R\right)$ are not analytically tractable.

#### 6.2. Preliminary for the Division of the Phase Space

Instead of considering the uniform hyperbolicity for the domain $R\cap {U}^{-1}\left(R\right)\cap {U}^{-2}\left(R\right)$, we here show that the region, which contains the domain $R\cap {U}^{-1}\left(R\right)\cap {U}^{-2}\left(R\right)$ and can more easily be accessed, satisfies the condition (58). To specify such a region, we introduce the following function,
which provides an upper bound of $F\left(q\right)$ (see Figure 12). Using the inequality valid for $q>0$,
we can show that the following holds,

$$\begin{array}{c}\hfill L\left(q\right):=\kappa q\left(\frac{100\sqrt{5}}{27}q-4\right)+2{q}_{f}+\kappa \epsilon {c}_{1},\end{array}$$

$$\begin{array}{c}\hfill -\frac{4}{{(1+4{q}^{2})}^{2}}<\frac{100\sqrt{5}}{27}q-4,\end{array}$$

$$\begin{array}{c}\hfill 2{q}_{f}-\frac{3\sqrt{3}}{8}\kappa +\kappa \epsilon {c}_{1}<L\left(q\right).\end{array}$$

Together with the upper bound for $F\left(q\right)$, it is easy to see that the relation
holds. Here, ${\omega}_{1}$ and ${\omega}_{2}$ are the solutions of the following quadratic equation $L\left(q\right)=0$ (see Figure 13),
where

$$\begin{array}{c}\hfill F\left(q\right)<L\left(q\right)\end{array}$$

$$\begin{array}{c}\hfill {\omega}_{1}={c}_{2}-\sqrt{{{c}_{2}}^{2}-\frac{1}{2}{c}_{2}{c}_{1}\epsilon -{c}_{2}{q}_{f}\frac{1}{\kappa}},\end{array}$$

$$\begin{array}{c}\hfill {\omega}_{2}={c}_{2}+\sqrt{{{c}_{2}}^{2}-\frac{1}{2}{c}_{2}{c}_{1}\epsilon -{c}_{2}{q}_{f}\frac{1}{\kappa}},\end{array}$$

$$\begin{array}{c}\hfill {c}_{2}:=\frac{27}{50\sqrt{5}}.\end{array}$$

Here, we introduce the notation for the discriminant as

$$\begin{array}{c}\hfill \Delta (\kappa ,{q}_{b},{q}_{f}):={{c}_{2}}^{2}-\frac{1}{2}{c}_{2}{c}_{1}\epsilon -{c}_{2}{q}_{f}\frac{1}{\kappa}.\end{array}$$

So that ${\omega}_{1}$ and ${\omega}_{2}$ are both real, the condition
must be satisfied.

$$\begin{array}{c}\hfill \kappa >\frac{2{q}_{f}}{{\displaystyle 2{c}_{2}-{c}_{1}\epsilon}}\end{array}$$

#### 6.3. Division of the Phase Space

To find sufficient conditions leading to the condition (58), we first divide the phase space into three subregions (see Figure 14):

$$\begin{array}{ccc}\hfill \overline{\mathcal{X}}& =& \left\{(q,p)\right|-{q}_{f}<q<-{\omega}_{2}\},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill \overline{\mathcal{Y}}& =& \left\{(q,p)\right|-{\omega}_{1}<q<{\omega}_{1}\},\hfill \end{array}$$

$$\begin{array}{ccc}\hfill \overline{\mathcal{Z}}& =& \left\{(q,p)\right|{\omega}_{2}<q<{q}_{f}\}.\hfill \end{array}$$

In the following, we will examine a region which contains the non-wandering set of the map U and find the parameter regions in which the condition (58) holds. First note that $R\cap {U}^{-1}\left(R\right)\subset \overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}}$ trivially holds because of the definition for ${\omega}_{1}$ and ${\omega}_{2}$. Combined with the Proposition 2, this immediately leads to $U(\Omega \left(U\right))=\Omega \left(U\right)\subset \overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}}$. As the non-wandering set $\Omega \left(U\right)$ is an invariant set, $U(\Omega \left(U\right))=\Omega \left(U\right)\subset \overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}}$ holds. Therefore, we have $\Omega \left(U\right)\subset (\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})\cap {U}^{-1}(\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})$. Consequently, we can say that if the set $(\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})\cap {U}^{-1}(\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})$ satisfies the sector condition (58), then the non-wandering set $\Omega \left(U\right)$ also satisfies it, implying that $\Omega \left(U\right)$ is uniformly hyperbolic. In subsequent arguments, as illustrated in Figure 15, we will explore the parameter regions in which the points
satisfy the sector condition (58).

$$\begin{array}{c}\hfill ({q}_{n},{p}_{n})\in {U}^{-1}(\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})\cap (\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})\end{array}$$

#### 6.4. Sufficient Conditions for the Sector Condition

We now analyze the following three situations and ask the condition leading to the sector condition (58).

**(Case 1)**${q}_{n},{q}_{n+1}\in \overline{\mathcal{Y}}$.

**(Case 2)**${q}_{n},{q}_{n+1}\in \overline{\mathcal{X}}\cup \overline{\mathcal{Z}}$.

**(Case 3)**${q}_{n}\in \overline{\mathcal{X}}\cup \overline{\mathcal{Z}}$ and ${q}_{n+1}\in \overline{\mathcal{Y}}$, or ${q}_{n}\in \overline{\mathcal{Y}}$ and ${q}_{n+1}\in \overline{\mathcal{X}}\cup \overline{\mathcal{Z}}$.

Note that these are all possible patterns that can occur. Due to the symmetry of the function $\alpha \left(q\right)$ with respect to the p-axis, it is sufficient to consider the condition only for the right half of phase space, that is, the region $q>0$ in $\overline{\mathcal{Y}}$ and $\overline{\mathcal{Z}}$.

#### 6.4.1. Case 1

We here consider the case where $({q}_{n},{p}_{n})$ and $({q}_{n+1},{p}_{n+1})\in \overline{\mathcal{Y}}$. Since $-1\le (3{q}^{2}-1)/{(1+{q}^{2})}^{3}\le 1/4$ holds, we have
where

$$\begin{array}{c}\hfill \alpha \left(q\right)\le {\beta}_{1}\left(q\right),\end{array}$$

$$\begin{array}{c}\hfill {\beta}_{1}\left(q\right):=1+\kappa \frac{4(12{q}^{2}-1)}{{(1+4{q}^{2})}^{3}}+2\kappa \epsilon .\end{array}$$

Note that
and the function ${\beta}_{1}\left(q\right)$ has extrema at $q=0,\pm 1/2$. But since $0<{\omega}_{1}<1/2$, ${\beta}_{1}\left(q\right)$ monotonically increases in the region $\overline{\mathcal{Y}}$, ${\beta}_{1}\left(q\right)$ becomes maximal at $q={\omega}_{1}$. Therefore, if ${\beta}_{1}\left({\omega}_{1}\right)<-1$, then $\left|\alpha \right(q\left)\right|>1$ follows. This immediately leads to the condition (58). The condition ${\beta}_{1}\left({\omega}_{1}\right)<-1$ is explicitly written as

$$\begin{array}{c}\hfill \frac{d{\beta}_{1}\left(q\right)}{dq}=\kappa \frac{192q(1-4{q}^{2})}{{(1+4{q}^{2})}^{4}},\end{array}$$

$$\begin{array}{c}\hfill 2+\kappa \frac{4(12{{\omega}_{1}}^{2}-1)}{{(1+4{{\omega}_{1}}^{2})}^{3}}+2\kappa \epsilon <0.\end{array}$$

#### 6.4.2. Case 2

Next, we consider the case when both $({q}_{n},{p}_{n})$ and $({q}_{n+1},{p}_{n+1})\in \overline{\mathcal{Z}}$. As $1\le {q}_{b}$, the function $(3{(q+{q}_{b})}^{2}-1)/{(1+{(q+{q}_{b})}^{2})}^{3}$ monotonically decreases for $q>0$. Combining the fact that $-1\le (3{(q-{q}_{b})}^{2}-1)/{(1+{(q-{q}_{b})}^{2})}^{3}\le 1/4$ holds, we can show that
where

$$\begin{array}{c}\hfill \alpha \left(q\right)>{\beta}_{2}\left(q\right),\end{array}$$

$$\begin{array}{c}\hfill {\beta}_{2}\left(q\right):=1+\kappa \frac{4(12{q}^{2}-1)}{{(1+4{q}^{2})}^{3}}-\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\kappa \epsilon .\end{array}$$

Note that
and ${c}_{2}<{\omega}_{2}<2{c}_{2}$ with $2{c}_{2}\approx 0.4829\cdots $, it is easy to show that ${\beta}_{2}\left(q\right)$ is an increasing function in the interval ${\omega}_{2}<q<1/2$, while it decreases in the rest of the interval $1/2<q<{q}_{f}$. Therefore if ${\beta}_{2}\left({\omega}_{2}\right)>1$ and ${\beta}_{2}\left({q}_{f}\right)>1$ are satisfied, $\alpha \left(q\right)>{\beta}_{2}\left(q\right)>1$ holds, which leads to the condition (58). A concrete expression for the condition ${\beta}_{2}\left({\omega}_{2}\right)>1$ is written as
and the condition ${\beta}_{2}\left({q}_{f}\right)>1$ is expressed as

$$\begin{array}{c}\hfill \frac{d{\beta}_{2}\left(q\right)}{dq}=\kappa \frac{192q(1-4{q}^{2})}{{(1+4{q}^{2})}^{4}},\end{array}$$

$$\begin{array}{c}\hfill \kappa \frac{4(12{{\omega}_{2}}^{2}-1)}{{(1+4{{\omega}_{2}}^{2})}^{3}}-\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\kappa \epsilon >0,\end{array}$$

$$\begin{array}{c}\hfill \kappa \frac{4(12{{q}_{f}}^{2}-1)}{{(1+4{{q}_{f}}^{2})}^{3}}-\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\kappa \epsilon >0.\end{array}$$

For an explicit value $({q}_{b},{q}_{f})=(1.0,1.5)$, we have
which implies that the condition (85) holds for $\kappa >0$.

$$\begin{array}{c}\hfill \frac{4(12{{q}_{f}}^{2}-1)}{{(1+4{{q}_{f}}^{2})}^{3}}-\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\epsilon \approx 0.0223\cdots >0,\end{array}$$

#### 6.4.3. Case 3

Suppose here that $({q}_{n},{p}_{n})\in \overline{\mathcal{Z}}$ and $({q}_{n+1},{p}_{n+1})\in \overline{\mathcal{Y}}$. Because of the inequality (77), we have

$$\begin{array}{c}\hfill \alpha \left({q}_{0}\right)<\underset{0<q<{q}_{f}}{max}{\beta}_{1}\left(q\right)={\beta}_{1}(1/2)=1+\kappa +2\kappa \epsilon .\end{array}$$

On the other hand, if ${\beta}_{1}\left({q}_{n+1}\right)<-2-{\beta}_{1}(1/2)$ holds, then $\alpha \left({q}_{n+1}\right)<-2-{\beta}_{1}(1/2)$ follows due to the inequality (77), which then leads to the condition $\alpha \left({q}_{n}\right)+\alpha \left({q}_{n+1}\right)<-2$. Note that $0<{\omega}_{1}<1/2$, so ${\beta}_{1}\left({q}_{n+1}\right)$ monotonically increases for $({q}_{n+1},{p}_{n+1})\in \overline{\mathcal{Y}}$. Therefore, if ${\beta}_{1}\left({\omega}_{1}\right)<-2-{\beta}_{1}(1/2)$, then the inequality ${\beta}_{1}\left({q}_{n+1}\right)<-2-{\beta}_{1}(1/2)$ holds for $({q}_{n+1},{p}_{n+1})\in \overline{\mathcal{Y}}$. Therefore, the condition ${\beta}_{1}\left({\omega}_{1}\right)<-2-{\beta}_{1}(1/2)$ is a sufficient condition for (58). We can write this condition explicitly as

$$\begin{array}{c}\hfill 4+\kappa \frac{4(12{{\omega}_{1}}^{2}-1)}{{(1+4{{\omega}_{1}}^{2})}^{3}}+\kappa +4\kappa \epsilon <0.\end{array}$$

Obviously, because
the condition (80) is automatically satisfied if the condition (87) is satisfied, so it turns out that the condition (80) becomes redundant. As a result, we can say that if the conditions (84), (85), and (87) hold, the sector condition (58) is satisfied.

$$\begin{array}{c}\hfill {\beta}_{1}(1/2)=1+\kappa +2\kappa \epsilon >0,\end{array}$$

#### 6.5. The Condition for Case 2

The condition (84) is rewritten as

$$\begin{array}{c}\hfill \kappa \frac{4(12{{\omega}_{2}}^{2}-1)}{{(1+4{{\omega}_{2}}^{2})}^{3}}-\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\kappa \epsilon >0.\end{array}$$

Here, we use our initial assumption $\kappa >0$. As $0<{c}_{2}<{\omega}_{2}<2{c}_{2}$, we have ${(1+4{{\omega}_{2}}^{2})}^{-3}>{\left(1+4{\left(2{c}_{2}\right)}^{2}\right)}^{-3}$, so in order to show the inequality (89), it is sufficient to show

$$\begin{array}{c}\hfill \kappa \frac{4(12{{\omega}_{2}}^{2}-1)}{{\displaystyle {\left(1+{4\left(2{c}_{2}\right)}^{2}\right)}^{3}}}-\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\kappa \epsilon >0.\end{array}$$

This can be explicitly written as

$$\begin{array}{c}\hfill {c}_{2}^{2}+2{c}_{2}\sqrt{\Delta (\kappa ,{q}_{b},{q}_{f})}+\Delta (\kappa ,{q}_{b},{q}_{f})>\frac{1}{12}+\epsilon \frac{{\left(1+16{c}_{2}^{2}\right)}^{3}}{48}\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right).\end{array}$$

The condition ensuring that ${\omega}_{1}$ and ${\omega}_{2}$ are both real, we have ${c}_{2}>\sqrt{\Delta}$, which leads to

$$\begin{array}{c}\hfill {c}_{2}\sqrt{\Delta}>\Delta .\end{array}$$

Therefore the left-hand side of the inequality (91) is larger than ${c}_{2}^{2}+3\Delta $. By replacing the left-hand side of (91) by ${c}_{2}^{2}+3\Delta $, an explicit condition for $\kappa $ is then obtained as

$$\begin{array}{c}\hfill \kappa >\frac{{\displaystyle 12{c}_{2}{q}_{f}}}{{\displaystyle 16{c}_{2}^{2}-\frac{1}{3}-\epsilon \left(6{c}_{1}{c}_{2}+\frac{{\left(1+16{c}_{2}^{2}\right)}^{3}}{12}\left(\frac{1}{4}+\frac{3{q}_{b}^{2}-1}{{(1+{q}_{b}^{2})}^{3}}\right)\right)}}.\end{array}$$

#### 6.6. The Condition for Case 3

As $0<{\omega}_{1}<{c}_{2}$, we have $(12{{\omega}_{1}}^{2}-1)<0$ and ${(1+4{{\omega}_{1}}^{2})}^{-3}>{\left(1+4{{c}_{2}}^{2}\right)}^{-3}$. Therefore the condition (87) is fulfilled if
is satisfied. Recall that

$$\begin{array}{c}\hfill \kappa \left(\frac{4(12{{\omega}_{1}}^{2}-1)}{{\left(1+4{c}_{2}^{2}\right)}^{3}}+1+4\u03f5\right)+4<0\end{array}$$

$$\begin{array}{c}\hfill {{\omega}_{1}}^{2}={c}_{2}^{2}-2{c}_{2}\sqrt{\Delta (\kappa ,{q}_{b},{q}_{f})}+\Delta (\kappa ,{q}_{b},{q}_{f}).\end{array}$$

Using the inequality (92), we obtain

$$\begin{array}{ccc}\hfill {{\omega}_{1}}^{2}& <& {c}_{2}^{2}-\Delta \hfill \\ & =& \frac{1}{2}{c}_{2}{c}_{1}\epsilon +2{c}_{2}{q}_{f}\frac{1}{\kappa}.\hfill \end{array}$$

Introducing
and using (95), we have

$$\begin{array}{c}\hfill \delta \left(\kappa \right):=\frac{{\displaystyle 4\left(12\left(\frac{1}{2}{c}_{2}{c}_{1}\epsilon +2{c}_{2}{q}_{f}\frac{1}{\kappa}\right)-1\right)}}{{\left(1+4{c}_{2}^{2}\right)}^{3}}+1+4\u03f5,\end{array}$$

$$\begin{array}{c}\hfill \frac{4(12{{\omega}_{1}}^{2}-1)}{{\left(1+4{c}_{2}^{2}\right)}^{3}}+1+4\epsilon <\delta \left(\kappa \right).\end{array}$$

Therefore if $\kappa \delta \left(\kappa \right)+4<0$, the inequality (94) holds true. This can be rewritten for the condition for $\kappa $ as

$$\begin{array}{c}\hfill \kappa >\frac{{\left(1+4{c}_{2}^{2}\right)}^{3}+12{c}_{2}{q}_{f}}{{\displaystyle 1-\frac{1}{4}{\left(1+4{c}_{2}^{2}\right)}^{3}-\epsilon \left(6{c}_{1}{c}_{2}+{\left(1+4{c}_{2}^{2}\right)}^{3}\right)}}\end{array}$$

Summarizing, if the following inequalities are satisfied, the sector condition (58) holds.

$$\begin{array}{c}\hfill \kappa >\frac{{\left(1+4{c}_{2}^{2}\right)}^{3}+12{c}_{2}{q}_{f}}{{\displaystyle 1-\frac{1}{4}{\left(1+4{c}_{2}^{2}\right)}^{3}-\epsilon \left(6{c}_{1}{c}_{2}+{\left(1+4{c}_{2}^{2}\right)}^{3}\right)}}\approx 69.9923\cdots .\end{array}$$

## 7. Conclusions

In this paper, we have provided a sufficient condition for the topological horseshoe and uniform hyperbolicity for the 2-dimensional area-preserving map in which the potential function is expressed by Lorentzian functions.

The proposed model could be an ideal model to explore several open problems in physics. As we mentioned in introduction, our scattering system well fits to the test of the fractal Weyl law conjecture. The resonances have been computed using a well-established numerical scheme such as the complex scaling method [12]. Note that resonances are sensitive to analytic property of the potential function, so one has to prepare well-controlled systems to see Planck constant’s dependence of resonances [12].

The scattering map proposed here can be used to investigate another fundamental problem in physics. Quantum tunneling in non-integrable systems has extensively been studied for the past decades [21], but the issue is still controversial because the role of chaos in phase space is not clear enough especially when one focuses on the nature of tunneling in the energy domain. Our scattering map exhibits mixed phase space when $\kappa $ is small, so it provides a good testing ground for the study of dynamical tunneling in terms of the complex semiclassical method [22,23]. In particular, the imaginary part of resonances of the scattering system is expected to represent the tunneling probability if one prepares the classical phase space in a proper way. In that situation, we have a chance to apply the complex semiclassical calculation to obtain the imaginary part of resonances while phase space for closed systems is too complicated to perform such an analysis.

Note that the condition for the parameter $\kappa $ is far from optimal. As illustrated in Figure 16, numerical calculations for stable and unstable manifolds show that the topological horseshoe and uniform hyperbolicity are achieved when $\kappa \gtrsim 1.8$ while the estimation made above predicts $\kappa \gtrsim 70.0$.

Throughout this paper, we have fixed the parameter values for ${q}_{b}$ and ${q}_{f}$ and derived a condition only for $\kappa $, in which the topological horseshoe and uniform hyperbolicity hold. However, it would be interesting to examine the whole parameter regions including ${q}_{b}$ and ${q}_{f}$.

Another extension could be made by by putting a parameter $\tau $ as

$$\begin{array}{c}\hfill {f}_{1}(q;\tau )\equiv \frac{1}{1+\tau {q}^{2}}.\end{array}$$

In the case studied in this paper, we have taken $\tau =4$. However, for $\tau =1$, a numerical computation strongly suggests that the system is no more uniformly hyperbolic if the same parameter set $({q}_{b},{q}_{f})$ is chosen, implying that the nature of dynamics in not necessarily monotonic and simple in the whole parameter space.

## Author Contributions

Writing—original draft, H.Y., R.K. and A.S. All authors have read and agreed to the published version of the manuscript.

## Funding

This research was funded by Japan Society for the Promotion of Science, grant number 17K05583.

## Acknowledgments

The authors are grateful to Zin Arai for his valuable comments. This work has been supported by JSPS KAKENHI Grant Numbers 17K05583.

## Conflicts of Interest

The authors declare no conflict of interest.

## References

- Casati, G.; Chirikov, B.V.; Izraelev, F.M.; Ford, J. Stochastic behavior of a quantum pendulum under a periodic perturbation. Stoch. Behav. Class. Quantum Hamiltonian Syst.
**1979**, 93, 334–352. [Google Scholar] - Fishman, S.; Grempel, D.R.; Prange, R.E. Chaos, quantum recurrences, and Anderson localization. Phys. Rev. Lett.
**1982**, 49, 509. [Google Scholar] [CrossRef] - Casati, G.; Chirikov, B.V.; Shepelyansky, D.L.; Guarneri, I. Relevance of classical chaos in quantum mechanics: The hydrogen atom in a monochromatic field. Phys. Rep.
**1987**, 154, 77–123. [Google Scholar] [CrossRef] - Moore, F.L.; Robinson, J.C.; Bharucha, C.F.; Sundaram, B.; Raizen, M.G. Atom optics realization of the quantum δ-kicked rotor. Phys. Rev. Lett
**1995**, 75, 4598. [Google Scholar] [CrossRef] [PubMed] - Chirikov, B.V. A universal instability of many dimensional oscillator systems. Phys. Rep.
**1979**, 52, 263–379. [Google Scholar] [CrossRef] - Meiss, J.D. Symplectic maps, variational principles, and transport. Rev. Mod. Phys.
**1992**, 64, 795. [Google Scholar] [CrossRef] - Aubry, S. Anti-integrablility in dynamical and variational problems. Physica D
**1995**, 86, 284–296. [Google Scholar] [CrossRef] - Basilio De Matos, M.; Ozorio De Almeida, A.M. Quantization of Anosov maps. Ann. Phys.
**1995**, 237, 46–65. [Google Scholar] - Friedland, S.; Milnor, S. Dynamical properties of plane polynomial automorphisms. Ergod. Theory Dyn. Syst.
**1989**, 9, 67–99. [Google Scholar] [CrossRef] - Devaney, R.; Nitecki, Z. Shift automorphisms in the Hénon mapping. Commun. Math. Phys.
**1979**, 67, 137–146. [Google Scholar] [CrossRef] - Bedford, E.; Smillie, J. Real polynomial diffeomorphisms with maximal entropy: Tangencies. Ann. Math.
**2004**, 16, 1–26. [Google Scholar] [CrossRef] - Mertig, N.; Shudo, A. Open quantum maps from complex scaling of kicked scattering systems. Phys. Rev. E
**2018**, 97, 042216. [Google Scholar] [CrossRef] [PubMed] - Sjöstrand, J. Geometric bounds on the density of resonances for semiclassical problems. Duke Math. J.
**1990**, 60, 1–57. [Google Scholar] [CrossRef] - Jensen, J.H. Quantum corrections for chaotic scattering. Phys. Rev. A
**1992**, 45, 8530. [Google Scholar] [CrossRef] [PubMed] - Jensen, J.H. Accuracy of the semiclassical approximation for chaotic scattering. Phys. Rev. E
**1995**, 51, 1576. [Google Scholar] [CrossRef] [PubMed] - Krivolapov, S.; Fishman, S.; Ott, E.; Antonsen, M. Quantum chaos of a mixed open system of kicked cold atoms. Phys. Rev. E
**2011**, 83, 016204. [Google Scholar] [CrossRef] [PubMed] - Onishi, T.; Shudo, A.; Ikeda, K.S.; Takahashi, K. Tunneling mechanism due to chaos in a complex phase space. Phys. Rev. E
**2001**, 64, 025501. [Google Scholar] [CrossRef] [PubMed] - Onishi, T.; Shudo, A.; Ikeda, K.S.; Takahashi, K. Semiclassical study on tunneling processes via complex-domain chaos. Phys. Rev. E
**2003**, 68, 056211. [Google Scholar] [CrossRef] [PubMed] - Yoshino, H.; Mertig, N.; Shudo, A. Uniform hyperbolicity of a class of scattering maps. Nonlinearity
**2019**. submitted for publication. [Google Scholar] - Katok, A.; Hasselblatt, B. Introduction to the Modern Theory of Dynamical Systems; Cambridge University Press: Cambridge, UK, 1995. [Google Scholar]
- Keshavamurthy, S.; Schlagheck, P. Dynamical Tunnneling: Theory and Experiment; CRC Press: Boca Raton, FL, USA, 1995. [Google Scholar]
- Shudo, A.; Ikeda, K.S. Complex classical trajectories and chaotic tunneling. Phys. Rev. Lett.
**1995**, 74, 682. [Google Scholar] [CrossRef] [PubMed] - Shudo, A.; Ikeda, K.S. Complex Semiclassical Approach to Chaotic Tunneling; CRC Press: Boca Raton, FL, USA, 2011; pp. 139–176. [Google Scholar]

**Figure 1.**The potential function $V\left(q\right)$ with $({q}_{b},{q}_{f},\kappa )=(1.0,1.5,3.0)$. The central valley and two side hills are formed by the function ${f}_{1}\left(q\right)$ and ${f}_{2}(q\pm {q}_{b})$, respectively.

**Figure 2.**Stable (red) and unstable (blue) manifolds associated with the fixed points (green dots). The set of parameters is chosen as $({q}_{b},{q}_{f},\kappa )=(1.0,1.5,3.0)$.

**Figure 3.**The region R and its boundaries $U\left({l}_{1}\right),{l}_{2},{l}_{3},{U}^{-1}\left({l}_{4}\right)$ (black curves). The set of parameters is given as $({q}_{b},{q}_{f},\kappa )=(1.0,1.5,3.0)$.

**Figure 4.**(

**a**) The region R (gray) and (

**b**) its image (gray). The intersection $R\cap U\left(R\right)$ is composed of three disjointed regions ${\mathcal{X}}_{1},{\mathcal{Y}}_{1}$, and ${\mathcal{Z}}_{1}$. The regions R and $U\left(R\right)$ are schematically displayed in panels (

**c**,

**d**). (

**c**,

**d**) The square represents the region R, and the upper left and lower right corners (black dots) correspond to the fixed points.

**Figure 5.**(

**a**) The region R (gray) and (

**b**) its inverse image(gray). The intersection $R\cap {U}^{-1}\left(R\right)$ is composed of three disjointed regions ${\mathcal{X}}_{0},{\mathcal{Y}}_{0}$, and ${\mathcal{Z}}_{0}$. The region R and ${U}^{-1}\left(R\right)$ are schematically displayed in panels (

**c**,

**d**). (

**c**,

**d**) The square represents the region R, and the upper left and lower right corners (black dots) correspond to the fixed points.

**Figure 6.**The boundary curves for the region R (black curves) and its inverse image ${U}^{-1}\left(R\right)$ (black dashed curves). The curves $U\left({l}_{1}\right)$ and ${U}^{-1}\left({l}_{3}\right)$ are specifically shown in cyan and orange, respectively. The horseshoe is realized if the intersection points (red dots) exist.

**Figure 7.**The set $R\cap {U}^{-1}\left(R\right)$ (gray) and the decomposition of its complement. The region ${\mathcal{C}}_{1}^{+}$ (resp. ${\mathcal{C}}_{1}^{-}$) is mapped to the region ${\mathcal{O}}^{+}$ (resp. ${\mathcal{O}}^{-}$) under forward iteration. The region ${\mathcal{C}}_{2}$ is mapped to the region $(R\cap {U}^{-1}\left(R\right))\cup {\mathcal{C}}_{1}^{+}\cup {\mathcal{C}}_{1}^{-}$ under forward iteration, meaning that the points contained in the set ${\mathcal{C}}_{2}$ either stay in $R\cap {U}^{-1}\left(R\right)$ or go out to ${\mathcal{O}}^{\pm}$ under more than one-step forward iteration.

**Figure 8.**The set $R\cap {U}^{-1}\left(R\right)$ (gray) and the decomposition of its complement. The region ${\mathcal{D}}_{1}^{+}$ (resp. ${\mathcal{D}}_{1}^{-}$) is mapped to the region ${\mathcal{I}}^{+}$ (resp. ${\mathcal{I}}^{-}$) under backward iteration. The region ${\mathcal{D}}_{2}$ is mapped to the region $(R\cap {U}^{-1}\left(R\right))\cup {\mathcal{D}}_{1}^{+}\cup {\mathcal{D}}_{1}^{-}$ under backward iteration, meaning that the points contained in the set ${\mathcal{D}}_{2}$ either stay in $R\cap {U}^{-1}\left(R\right)$ or go out to ${\mathcal{I}}^{\pm}$ under more than one-step backward iteration.

**Figure 9.**The regions R (black cuve) and its inverse image ${U}^{-1}\left(R\right)$ (black dashed curve). The set of parameters is chosen as $({q}_{b},{q}_{f},\kappa )=(1.0,1.5,3.0)$.

**Figure 10.**The region satisfying (dark gray) and not satisfying (light gray) the condition (58). Notice that there exist regions not satisfying the condition (58) in $R\cap {U}^{-1}\left(R\right)$, in which the non-wandering set is contained. The set of parameters is chosen as $({q}_{b},{q}_{f},\kappa )=(1.0,1.5,3.0)$.

**Figure 12.**The boundary of the region R (black) and the function $L\left(q\right)$ (blue) for $\kappa =10.0$.

**Figure 13.**The zeros ${\omega}_{1},{\omega}_{2}$ of the function $L\left(q\right)$ for $\kappa =10.0$ are illustrated. The black curve represents the boundary of R.

**Figure 14.**Three disjointed regions $\overline{\mathcal{X}},\overline{\mathcal{Y}}$ and $\overline{\mathcal{Z}}$ (gray). The boundaries are specified by the lines $q=\pm {q}_{f},\pm {\omega}_{1},$ and $\pm {\omega}_{2}$.

**Figure 15.**The region ${U}^{-1}(\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})\cap (\overline{\mathcal{X}}\cup \overline{\mathcal{Y}}\cup \overline{\mathcal{Z}})$ (gray). The solid and broken curves show the boundaries of R and ${U}^{-1}\left(R\right)$, respectively.

**Figure 16.**Stable (red) and unstable (blue) manifold associated with fixed points (green dots). The set of parameters is chosen as $({q}_{b},{q}_{f},\kappa )=(1.0,1.5,1.8)$.

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).