# Asymptotic stability and bifurcations of a perturbed McMillan map

## Abstract

This paper presents various bifurcations of the McMillan map under perturbations of its coefficients, such as period-doubling, pitchfork, and hysteresis bifurcation. The associated existence regions are located. Using the quasi-Lyapunov function method, the existence of asymptotically stable fixed point is also demonstrated.

## 1 Introduction

McMillan first introduced a symplectic map to describe the motion of a particle through a periodically repeated focusing system containing lumped nonlinear impulses [1]. McMillan map is not only a model of accelerator lattice, but is at the core of general symplectic dynamics of the plane. Zolkin et al. considered the McMillan sextupole and octupole integrable mappings and provided complete description of all stable trajectories including parametrization of invariant curves [2]; the second one is sometimes referred to as canonical McMillan map. Both of them are the natural extensions of the optical function formalism used in accelerator physics. Gubser et al. obtained new analytic solutions describing motions of closed segmented strings in $$AdS_{3}$$ in terms of elliptic functions, which exactly solve instances of the McMillan map [3]. Danilov et al. deduced a generalization of the McMillan map to N-body nonlinear integrable system, which can be realized in particle accelerators [4]. The McMillan map exhibits plentiful dynamical behaviors such as bifurcations, asymptotic stability, and various kinds of chaotic attractors depending on the choice of its coefficients [5]. The standard form of the McMillan map is a rational integrable mapping of the form

$$H(x,y)=(y,-x+\frac{\alpha +\beta y}{1-y^{2}}),$$

where Î± and Î² are constants. The map possesses the following biquadratic integral:

$$x^{2}y^{2}-(x^{2}+y^{2})+\beta xy+\alpha (x+y)=\mathcal{K}.$$

Here, $$\mathcal{K}$$ is a parameter that indicates each invariant curve in a two-dimensional phase plane.

The McMillan map is also known as the autonomous discrete PainlevÃ© II equation. Discrete versions of the PainlevÃ© equations occur frequently in problems in mathematical physics. For example, the discrete PainlevÃ© I equation has been obtained in the theory of orthogonal polynomials [6]. The BÃ¤cklund transformation of the continuous PainlevÃ© IV equation led to corresponding discrete PainlevÃ© IV equation [7]. Similarity reduction [8] of the modified KdV equation led to the discrete PainlevÃ© II equation given by

$$x_{n+2}=-x_{n}+\frac{a+\zeta _{n+1} x_{n+1}}{1-x^{2}_{n+1}}.$$
(1)

This map also has been found from unitary matrix models of quantum gravity [9]. When $$\zeta _{n+1}$$ is a constant and not a function of variable n, (1) is referred to as the autonomous discrete PainlevÃ© II equation. It admits a two-parameter family of finite-order meromorphic solutions, which is an indicator of integrability in difference equations [10]. In this paper, we consider the following second order difference equation

$$x_{n+2}=\gamma x_{n}+\frac{\alpha +\beta x_{n+1}}{1-x^{2}_{n+1}},$$
(2)

where $$-1<\gamma <1$$ or $$-3<\gamma <-1$$, $$\alpha \geq 0$$, and Î² is a real number. Recurrence (2) is precisely the McMillan map for $$\gamma =-1$$. Recurrence (2) can be expressed equivalently by the planar mapping

$$F(x,y)=(y,\gamma x+\frac{\alpha +\beta y}{1-y^{2}}).$$
(3)

Here, we investigate the asymptotic stability of equilibrium of the perturbed McMillan map (2) by the quasi-Lyapunov function method (see [11]). The bifurcation and asymptotic stability of equilibrium of difference equations are considered in numerous papers (see [11â€“14] and the references cited therein). For example, Merino proved the global attractivity of a difference equation via Lyapunov function method (see [14]).

## 2 Lyapunov function, equilibria, and 2-cycle

Many researchers [2â€“4] studied various properties of solutions of rational integrable maps using the parametrization of the invariant curves. Similarly, to investigate the asymptotic stability for the mapping F of (3), we introduce a function V as follows:

$$V(x,y)=x^{2}y^{2}-x^{2}-y^{2}+\frac{2\beta}{1-\gamma}xy+ \frac{2\alpha}{1-\gamma}(x+y),$$
(4)

where $$-1<\gamma <1$$ or $$-3<\gamma <-1$$, $$\alpha \geq 0$$, and Î² is a real number. It is obvious that $$V(x,y)=\mathcal{K}$$ is the biquadratic integral of the mapping H for $$\gamma =-1$$. Now we present some propositions of the function $$V(x,y)$$ in a two-dimensional phase plane.

Note that $$\gamma \neq -1$$, then a direct computation shows the following relation:

$$\textstyle\begin{array}{l@{\quad}l} &V(x,y)-V(F(x,y))=V(x, y)-V(y, \gamma x+ \frac{\alpha +\beta y}{1-y^{2}}) \\ &=y^{2}[x^{2}-(\gamma x+\frac{\alpha +\beta y}{1-y^{2}})^{2}]-x^{2}+( \gamma x+\frac{\alpha +\beta y}{1-y^{2}})^{2}+\frac{2\beta}{1-\gamma}y[x-( \gamma x+\frac{\alpha +\beta y}{1-y^{2}})]\\ &\quad +\frac{2\alpha}{1-\gamma}[x-( \gamma x+\frac{\alpha +\beta y}{1-y^{2}})] \\ &=(x-\gamma x-\frac{\alpha +\beta y}{1-y^{2}})[ \frac{1+\gamma}{1-\gamma}(\alpha +\beta y)-(1+\gamma )x(1-y^{2})] \\ &=\frac{1+\gamma}{(1-\gamma )(y^{2}-1)}[(1-\gamma )x(1-y^{2})-( \alpha +\beta y)]^{2}. \end{array}$$

We denote by $$\mathcal{T}=\{(x,y)|(1-\gamma )x(1-y^{2})=\alpha +\beta y, (x^{2}-1)(y^{2}-1) \neq 0\}$$, then the equalities $$V(x,y)=V(F(x,y))$$ and $$F(x,y)=(y,x)$$ hold for $$(x,y)\in \mathcal{T}$$. Now we consider the set $$\mathcal{T}$$. For each point $$(x,y) \in \mathcal{T}$$, we have

$$\textstyle\begin{array}{l@{\quad}l} &V(x,y)-V(F^{2}(x,y))=V(x,y)-V(F(y,x))=V(x, y)-V(x, \gamma y+ \frac{\alpha +\beta x}{1-x^{2}}) \\ &=x^{2}[y^{2}-(\gamma y+\frac{\alpha +\beta x}{1-x^{2}})^{2}]-y^{2}+( \gamma y+\frac{\alpha +\beta x}{1-x^{2}})^{2}+\frac{2\beta}{1-\gamma}x[y-( \gamma y+\frac{\alpha +\beta x}{1-x^{2}})]\\ &\quad +\frac{2\alpha}{1-\gamma}[y-( \gamma y+\frac{\alpha +\beta x}{1-x^{2}})] \\ &=\frac{1+\gamma}{(1-\gamma )(x^{2}-1)}[(1-\gamma )y(1-x^{2})-( \alpha +\beta x)]^{2}. \end{array}$$

To obtain the fixed points and 2-cycle of the mapping F of (3), we consider the following set of equations:

$$\left \{ \textstyle\begin{array}{l@{\quad}l} (1-\gamma )x(1-y^{2})=\alpha +\beta y,& \\ (1-\gamma )y(1-x^{2})=\alpha +\beta x.& \end{array}\displaystyle \right .$$
(5)

For simplicity of presentation, we use G to denote the set of solutions of (5), i.e., $$G=\{(x,y)|(1-\gamma )x(1-y^{2})=\alpha +\beta y,(1-\gamma )y(1-x^{2})= \alpha +\beta x\}$$. It follows that inequality $$V(F(x,y))\neq V(x,y)$$ or $$V(F^{2}(x,y))\neq V(x,y)$$ holds for each $$(x,y) \in \mathbb{R}^{2} \setminus \{G\cup \mathcal{L}\}$$, where $$\mathcal{L}$$ denotes the set $$\{(x,y)|(x^{2}-1)(y^{2}-1)=0\}$$.

### Proposition 1

Let $$(x,y)$$ be a point of the set $$G\setminus \mathcal{L}$$. Then this point $$(x,y)$$ is a fixed point or 2-cycle of the mapping F of (3).

### Proof

Choose $$(x,y)\in G\setminus \mathcal{L}$$ such that $$x=y$$. Then

$$F(x,y)=(y,\gamma x+\frac{\alpha +\beta y}{1-y^{2}})=(y,x)=(x,y).$$

That is, this point $$(x,y)$$ is a fixed point of the mapping F. Now we consider each $$(x,y)\in G\setminus \mathcal{L}$$ with $$x\neq y$$. It follows that $$F(x,y)=(y,x)\neq (x,y)$$ and

$$F^{2}(x,y)=F(y,\gamma x+\frac{\alpha +\beta y}{1-y^{2}})=F(y,x)=(x, \gamma y+\frac{\alpha +\beta x}{1-x^{2}})=(x,y).$$

It turns out that this point $$(x,y)$$ is a 2-cycle of F. This completes the proof.â€ƒâ–¡

Next we find the elements of the set $$G\setminus \mathcal{L}$$ and their existence regions (see Fig.Â 1).

### Theorem 2

Suppose that $$-3<\gamma <-1$$ or $$-1<\gamma <1$$, $$\alpha \geq 0$$, and $$\beta \in \mathbb{R}$$. Then the following statements are true.

1. (i)

If $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}<(\frac{\alpha}{1-\gamma})^{2}$$, $$\beta \neq \alpha$$, or $$(\alpha ,\beta )=(0,1-\gamma )$$, then there exist a 2-cycle and an equilibrium point of the mapping F, where the fixed point lies on $$\Gamma : x-y=0$$.

2. (ii)

If $$\frac{1}{4}(1-\gamma )<\beta = \alpha$$, then the set $$G\setminus \mathcal{L}$$ is empty.

3. (iii)

If $$0<\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}=( \frac{\alpha}{1-\gamma})^{2}$$, $$\alpha \neq \frac{1}{4}(1-\gamma )$$, and $$\alpha \neq 2(1-\gamma )$$, then there exist a 2-cycle and two equilibrium points of the mapping F, where the fixed points lie on Î“.

4. (iv)

If $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, $$4(\frac{\beta}{1-\gamma}+1)>-(\frac{\alpha}{1-\gamma})^{2}$$, and $$\beta \neq \pm \alpha$$, then there exist a 2-cycle and three equilibrium points of the mapping F, where the fixed points lie on Î“.

5. (v)

If $$(\frac{\alpha}{1-\gamma},\frac{\beta}{1-\gamma}) \in \{ (0,0), ( \frac{1}{4},\frac{1}{4}), (2,-2)\}$$, then the mapping F has a unique fixed point, which lies on Î“.

6. (vi)

If $$0<-\beta = \alpha$$, $$\alpha \neq 2(1-\gamma )$$ or $$0<\beta = \alpha <\frac{1}{4}(1-\gamma )$$, then there exist two equilibrium points of the mapping F, which lie on Î“.

7. (vii)

If $$4(\frac{\beta}{1-\gamma}+1)\leq -(\frac{\alpha}{1-\gamma})^{2}$$ and $$(\frac{\alpha}{1-\gamma},\frac{\beta}{1-\gamma})\neq (2,-2)$$, then there exist three fixed points of the mapping F, which lie on Î“.

### Proof

Let us first consider the solutions of system (5). Using the first equation in (5), we get $$\alpha =(1-\gamma )x(1-y^{2})-\beta y$$. Substituting it into the second equation of (5) gives the following equality:

$$(1-\gamma )(y-x^{2}y-x+xy^{2})=\beta (x-y).$$

It follows that

$$(x-y)[(1-\gamma )(1+xy)+\beta ]=0.$$

Consequently, the solutions of (5) satisfy at least one of the equalities $$x=y$$ and $$xy=-1-\frac{\beta}{1-\gamma}$$.

Now we consider the case $$xy=-1-\frac{\beta}{1-\gamma}$$. Using this equality to eliminate Î² from the first equation in (5) gives $$x+y=\frac{\alpha}{1-\gamma}$$. If $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$, then there are two distinct real roots $$\lambda _{1}$$ and $$\lambda _{2}$$ of the quadratic equation $$X^{2}-\frac{\alpha}{1-\gamma}X-(1+\frac{\beta}{1-\gamma})=0$$. Therefore $$(\lambda _{1},\lambda _{2})$$ and $$(\lambda _{2},\lambda _{1})$$ are the solutions of the set of equations (5). Note that the point $$(\lambda _{1},\lambda _{2})$$ is precisely an element of the set $$\mathcal{L}$$ for $$\beta =\pm \alpha$$. PropositionÂ 1 tells us that there exists a 2-cycle $$\{(\lambda _{1},\lambda _{2}), (\lambda _{2},\lambda _{1})\}$$ of the mapping F for $$\beta \neq \pm \alpha$$ and $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$. If $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)=0$$, then there exists a repeated real root Î» for the equation $$X^{2}-\frac{\alpha}{1-\gamma}X-(1+\frac{\beta}{1-\gamma})=0$$. Using PropositionÂ 1, we obtain that $$(\lambda ,\lambda )$$ is a fixed point of the mapping F for $$4(\frac{\beta}{1-\gamma}+1)=(\frac{\alpha}{1-\gamma})^{2}$$ and $$(\frac{\alpha}{1-\gamma},\frac{\beta}{1-\gamma})\neq (2,-2)$$. If $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)<0$$, then there is no real solution $$(x,y)$$ of system (5) that satisfies $$xy=-1-\frac{\beta}{1-\gamma}$$.

Next we study the case $$x=y$$. Substituting it into the first equation in (5) gives the cubic equation

$$z^{3}+(\frac{\beta}{1-\gamma}-1)z+\frac{\alpha}{1-\gamma}=0.$$
(6)

For simplicity of presentation, we define $$g(z)=z^{3}+(\frac{\beta}{1-\gamma}-1)z+\frac{\alpha}{1-\gamma}$$ and compute its derivative

$$g'(z)=3z^{2}+(\frac{\beta}{1-\gamma}-1).$$

If $$\frac{\beta}{1-\gamma}-1\geq 0$$, then $$g'(z)\geq 0$$. Therefore, we obtain that the cubic equation (6) has a unique real root $$z^{*}$$ for $$\frac{\beta}{1-\gamma}-1\geq 0$$. Notice that the equation $$g(z)=0$$ has a solution âˆ’1 for $$\beta =\alpha$$. Therefore, the mapping F has a unique fixed point for $$\beta \neq \alpha$$ and $$\frac{\beta}{1-\gamma}-1\geq 0$$, whereas the set $$G\setminus \mathcal{L}$$ is empty for $$\frac{1-\gamma}{4}< \beta =\alpha$$. If $$\frac{\beta}{1-\gamma}-1<0$$, then the equation $$g'(z)=0$$ has two distinct real roots $$\tilde{z}_{1}=\sqrt{\frac{1}{3}(1-\frac{\beta}{1-\gamma})}$$ and $$\tilde{z}_{2}=-\sqrt{\frac{1}{3}(1-\frac{\beta}{1-\gamma})}$$. It is easy to show that the equation $$g(z)=0$$ has a unique real root for $$g(\tilde{z}_{1})>0$$ and $$\frac{\beta}{1-\gamma}-1<0$$. That is, there exists a unique fixed point $$(l_{1},l_{1})$$ of the mapping F for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}<(\frac{\alpha}{1-\gamma})^{2}$$, $$\beta \neq \alpha$$ and $$\frac{\beta}{1-\gamma}-1<0$$. Moreover, we deduce that $$l_{1}<-2\sqrt{\frac{1}{3}(1-\frac{\beta}{1-\gamma})}$$. However, the set $$G\setminus \mathcal{L}$$ is empty for $$\frac{1}{4}(1-\gamma )< \beta =\alpha <1-\gamma$$. If $$g(\tilde{z}_{1})=0$$ and $$\frac{\beta}{1-\gamma}-1<0$$, then the equation $$g(z)=0$$ has two distinct real roots $$l_{21}=\tilde{z}_{1}$$ and $$l_{22}=-2\sqrt{\frac{1}{3}(1-\frac{\beta}{1-\gamma})}$$. Therefore, the mapping F has two fixed points for $$0<\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}=( \frac{\alpha}{1-\gamma})^{2}$$, $$\alpha \neq \frac{1}{4}(1-\gamma )$$ and $$\alpha \neq 2(1-\gamma )$$. Finally, we consider the subcase $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$. This means that $$\frac{\beta}{1-\gamma}-1<0$$, $$g(\tilde{z}_{1})<0$$, and $$g(\tilde{z}_{2})>0$$. It turns out that the equation $$g(z)=0$$ has three distinct real roots $$l_{31}$$, $$l_{32}$$, and $$l_{33}$$ such that

\begin{aligned} -2\sqrt{\frac{1}{3}(1-\frac{\beta}{1-\gamma})}&< l_{33}< -\sqrt{ \frac{1}{3}(1-\frac{\beta}{1-\gamma})}< l_{32}< \sqrt{\frac{1}{3}(1- \frac{\beta}{1-\gamma})}\\ &< l_{31}< 2\sqrt{\frac{1}{3}(1- \frac{\beta}{1-\gamma})}. \end{aligned}
(7)

Note that the equation $$g(z)=0$$ has a solution 1 for $$\beta =-\alpha$$. Therefore, the mapping F has three fixed points for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$ and $$\beta \neq \pm \alpha$$. Nevertheless, for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$ and $$0<\beta =\alpha <\frac{1-\gamma}{4}$$, the mapping F has two fixed points. Similarly, there exist two fixed points of F for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$ and $$0>\beta =-\alpha >-2(1-\gamma )$$.

Since equation (6) has a triple root 0 when $$\alpha =0$$ and $$\beta =1-\gamma$$, we obtain that there exist a 2-cycle and an equilibrium point of the mapping F for $$(\alpha ,\beta )=(0,1-\gamma )$$. It is easy to show that the mapping F has a unique fixed point for $$(\frac{\alpha}{1-\gamma},\frac{\beta}{1-\gamma}) \in \{ (0,0), ( \frac{1}{4},\frac{1}{4}), (2,-2)\}$$. The above results are summarized in TheoremÂ 2.â€ƒâ–¡

Bifurcations of fixed points and 2-cycle are summarized in Fig.Â 1. The seven associated existence regions are also marked on the parameter plane. TheoremÂ 2 shows that a pitchfork bifurcation occurs when $$\frac{\beta}{1-\gamma}$$ passes through the point 1 along the line $$\frac{\alpha}{1-\gamma}=0$$. When $$\frac{\beta}{1-\gamma}$$ increasingly crosses $$L_{2}$$, a 2-cycle of the mapping F appears. That is, $$L_{2}$$ is a period-doubling bifurcation curve. A complete hysteresis bifurcation arises as the parameter $$\frac{\beta}{1-\gamma}$$ is increased along the curve $$\frac{1}{2}(\frac{\beta}{1-\gamma})^{2}=\frac{\alpha}{1-\gamma}- \frac{1}{4}$$ in the range from âˆ’2 to $$\frac{1}{2}$$. For parameters $$\gamma =-1$$, $$\alpha =0$$, and $$-2\leq \beta \leq 2$$, the corresponding constant level sets $$V(x,y)=\mathcal{K}$$ of the mapping F are provided in Fig.Â 5 by Zolkin et al. in [2].

## 3 Asymptotic stability of the perturbed McMillan map

In this section we employ the Lyapunov function $$V(x,y)$$ in (4) to study the asymptotic stability of the solutions of equation (2). We first find the local extreme values of $$V(x,y)$$. Notice that $$V(x,y)$$ has continuous higher partial derivatives in $$\mathbb{R}^{2}$$. Taking partial derivatives and setting them equal to 0 gives

$$\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{\partial V}{\partial x}=2xy^{2}-2x+\frac{2\beta}{1-\gamma}y+ \frac{2\alpha}{1-\gamma}=0,& \\ \frac{\partial V}{\partial y}=2x^{2}y-2y+\frac{2\beta}{1-\gamma}x+ \frac{2\alpha}{1-\gamma}=0.& \end{array}\displaystyle \right .$$
(8)

It is no difficult to see that this system of equations is equivalent to (5). That is, the fixed points and periodic solution of the mapping F are the stationary points of $$V(x,y)$$. If $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, then there exist three different solutions $$(l_{31},l_{31})$$, $$(l_{32},l_{32})$$, and $$(l_{33},l_{33})$$ for system (5) such that relations (7) and $$g(\tilde{z}_{1})<0$$ hold. Note that we have $$g(\frac{1}{2}\frac{\alpha}{1-\gamma})=\frac{1}{2} \frac{\alpha}{1-\gamma}[(\frac{1}{2}\frac{\alpha}{1-\gamma})^{2}+ \frac{\beta}{1-\gamma}+1]\geq 0$$ for $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$. Therefore, for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$ and $$\frac{\beta}{1-\gamma}>-2$$, we have $$\frac{1}{2}\frac{\alpha}{1-\gamma}\leq l_{32}<\tilde{z}_{1}=\sqrt{ \frac{1}{3}(1-\frac{\beta}{1-\gamma})}$$. That is, in this case the relations

$$-(\frac{\beta}{1-\gamma}+1)< (\frac{1}{2}\frac{\alpha}{1-\gamma})^{2} \leq l_{32}^{2}< \frac{1}{3}(1-\frac{\beta}{1-\gamma})$$

hold. Here we use the second partials test to determine the extreme values of $$V(x,y)$$. The second order partial derivatives are

$$A=\frac{\partial ^{2} V}{\partial x^{2}}=2y^{2}-2, \, \, \, \, C= \frac{\partial ^{2} V}{\partial y^{2}}=2x^{2}-2, \ \text{and} \ B=\frac{\partial ^{2} V}{\partial x\partial y}=4xy+ \frac{2\beta}{1-\gamma}.$$

The determinant of the Hessian is

\begin{aligned} AC-B^{2}&=4\bigg[(x^{2}-1)(y^{2}-1)-(2xy+\frac{\beta}{1-\gamma})^{2} \bigg]\\ &=4\bigg[1-x^{2}-y^{2}-3x^{2}y^{2}-\frac{4\beta}{1-\gamma}xy-( \frac{\beta}{1-\gamma})^{2} \bigg]. \end{aligned}

Now we evaluate the determinant of the Hessian at the stationary point $$(l_{32},l_{32})$$:

$$(AC-B^{2})\big|_{(l_{32},l_{32})}=-4\big(3l_{32}^{2}-1+ \frac{\beta}{1-\gamma}\big)\big(1+\frac{\beta}{1-\gamma}+l_{32}^{2} \big)>0.$$

It is easy to see that the relations $$l_{32}^{2}<\tilde{z}_{1}^{2}=\frac{1}{3}(1-\frac{\beta}{1-\gamma})<1$$ hold for $$-2<\frac{\beta}{1-\gamma}<1$$. Then we obtain $$A\mid _{(l_{32},l_{32})}=\frac{\partial ^{2} V}{\partial x^{2}}\mid _{(l_{32},l_{32})}=2l_{32}^{2}-2<0$$. Hence the function V attains a local maximum value at $$(l_{32},l_{32})$$ for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$, and $$-2<\frac{\beta}{1-\gamma}<1$$. Note that there exists a 2-cycle $$\{(\lambda _{1},\lambda _{2}), (\lambda _{2},\lambda _{1})\}$$ of system (5) for $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$, where $$\lambda _{1}=\frac{1}{2}\frac{\alpha}{1-\gamma}-\sqrt{(\frac{1}{2} \frac{\alpha}{1-\gamma})^{2}+1+\frac{\beta}{1-\gamma}} \ \text{and} \ \lambda _{2}=\frac{1}{2}\frac{\alpha}{1-\gamma}+\sqrt{(\frac{1}{2} \frac{\alpha}{1-\gamma})^{2}+1+\frac{\beta}{1-\gamma}}$$. It can easily be checked that the relations $$V(\tilde{z}_{1},\tilde{z}_{1})\geq V(-\sqrt{\frac{1}{3}(1- \frac{\beta}{1-\gamma})},-\sqrt{\frac{1}{3}(1-\frac{\beta}{1-\gamma})} \ )$$ and $$V(\frac{1}{2}\frac{\alpha}{1-\gamma},\frac{1}{2} \frac{\alpha}{1-\gamma})>V(\lambda _{1},\lambda _{2})$$ hold for $$\frac{\alpha}{1-\gamma}\geq 0$$ and $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$. We define the set $$D=\{(x,y)|V(x,y)>\mathcal{K}_{pm}\}$$, where

$$\mathcal{K}_{pm}=\left \{ \textstyle\begin{array}{l@{\quad}l} V(\tilde{z}_{1},\tilde{z}_{1}), & \alpha =0 \ \text{and} \ 0\leq \beta < 1-\gamma , \\ \max \{V(\frac{1}{2}\frac{\alpha}{1-\gamma},\frac{1}{2} \frac{\alpha}{1-\gamma}), V(\tilde{z}_{1},\tilde{z}_{1}) \}, & \alpha >0 \ \text{and} \ \beta \geq -\alpha , \\ \max \{V(\lambda _{1},\lambda _{2}), V(\tilde{z}_{1},\tilde{z}_{1}) \}, & 0\leq \alpha < -\beta . \end{array}\displaystyle \right .$$

It is easy to verify that there exists a fixed point $$(l_{32},l_{32})\in D$$ of the mapping F for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$ and $$-2<\frac{\beta}{1-\gamma}<1$$. In fact, D is a union of disjoint sets, we denote DÌ‚ as a simple connected subset of D such that $$(l_{32},l_{32})\in \hat{D}$$. According to the definition of set D, it follows that $$\hat{D}\subset \{(x,y)| x^{2}<1, y^{2}<1\}$$. Note that $$V(l_{32},l_{32})$$ is a unique local maximum value in DÌ‚. Then $$V(l_{32},l_{32})$$ is the maximum value in DÌ‚. Obviously, if $$\gamma =-1$$, then $$V(F(x,y))=V(x,y)$$ for every point $$(x,y)\in \hat{D}$$. That is, in this case the level curve $$V(x,y)=\mathcal{K}$$ is an invariant of F. Therefore, every invariant curve $$V(x,y)=\mathcal{K}$$ of F is a topological circle surrounding the equilibrium $$(l_{32},l_{32})$$ for $$\gamma =-1$$ and $$\mathcal{K}_{pm}<\mathcal{K}<V(l_{32},l_{32})$$.

### Theorem 3

Suppose that $$\alpha \geq 0$$, $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$, and $$-2<\frac{\beta}{1-\gamma}<1$$. Then the following statements are true:

1. (i)

If $$-1<\gamma <1$$, then the equilibrium point $$l_{32}$$ of equation (2) is stable and attracts every solution of equation (2) with the initial values $$(x_{0}, x_{1}) \in \hat{D}$$.

2. (ii)

The equilibrium point $$l_{32}$$ of equation (2) is unstable for $$-3<\gamma <-1$$.

### Proof

Let $$\{x_{n}\}_{n=0}^{\infty}$$ be the solution of equation (2) with proper initial values $$x_{0}$$ and $$x_{1}$$, then it is simple to show that $$F(x_{n},x_{n+1})=(x_{n+1},x_{n+2})$$ for all $$n\geq 0$$. Therefore, it suffices to study the behavior of sequence $$\{F^{n}(x_{0}, x_{1})\}_{n=1}^{\infty}$$ starting from each point $$(x_{0}, x_{1})\in \hat{D}$$. Recall that there exists a fixed point $$(l_{32},l_{32})$$ of the mapping F for $$\frac{4}{27}(1-\frac{\beta}{1-\gamma})^{3}>(\frac{\alpha}{1-\gamma})^{2}$$, $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$, and $$-2<\frac{\beta}{1-\gamma}<1$$. Meanwhile, $$V(l_{32},l_{32})$$ is the strict maximum of V in DÌ‚.

We first consider the case $$-1<\gamma <1$$. It follows from $$-1<\gamma <1$$ that we deduce $$\frac{1+\gamma}{1-\gamma}>0$$. Using the fact that $$\hat{D}\subset \{(x,y)| x^{2}<1, y^{2}<1\}$$, we obtain that the inequality $$V(F^{2}(x,y))>V(x,y)$$ holds for each $$(x,y) \in \hat{D} \setminus \{(l_{32},l_{32})\}$$. Then the sequence $$\{V(F^{2n}(x_{0}, x_{1}))\}_{n=1}^{\infty}$$ is increasing and bounded starting from each point $$(x_{0}, x_{1})\in \hat{D}$$. It turns out that $$\lim \limits _{n\rightarrow \infty}V(F^{2n}(x_{0}, x_{1}))=\tilde{k}$$. We first show that $$\tilde{k}=V(l_{32},l_{32})$$. If not, there would exist an initial point $$(\tilde{x}_{0},\tilde{x}_{1})\in \hat{D}$$ such that $$\lim \limits _{n\rightarrow \infty}V(F^{2n}(\tilde{x}_{0},\tilde{x}_{1}))= \tilde{k}< V(l_{32},l_{32})$$. Defining $$E=\{(x,y)| V(F^{2}(x_{0},x_{1}))\leq V(x, y) \leq \tilde{k}, (x,y) \in \hat{D}\}$$ and noting DÌ‚ as a simple connected set, we obtain that E is a compact closed and bounded set. Notice that the sequence $$\{F^{2n}(\tilde{x}_{0}, \tilde{x}_{1})\}_{n=1}^{\infty}$$ is contained in E. It follows that there exists a subsequence $$\{F^{2n_{l}}(\tilde{x}_{0},\tilde{x}_{1})\}_{l=1}^{\infty}$$ such that $$\lim \limits _{l\rightarrow \infty}F^{2n_{l}}(\tilde{x}_{0}, \tilde{x}_{1})=(\tilde{x},\tilde{y})$$ and $$(\tilde{x},\tilde{y})\in E$$. It is clear that $$(\tilde{x},\tilde{y})\neq (l_{32},l_{32})$$ as $$\tilde{k}< V(l_{32},l_{32})$$. Because V and F are continuous functions in DÌ‚, it follows that $$V(\tilde{x},\tilde{y})=\lim \limits _{l\rightarrow \infty}V(F^{2n_{l}}( \tilde{x}_{0},\tilde{x}_{1}))=\lim \limits _{n\rightarrow \infty}V(F^{2n}( \tilde{x}_{0},\tilde{x}_{1}))=\tilde{k}$$. Next we consider another subsequence $$\{F^{2}(F^{2n_{l}}(\tilde{x}_{0},\tilde{x}_{1}))\}_{l=1}^{\infty}$$ of $$\{F^{2n}(\tilde{x}_{0}, \tilde{x}_{1})\}_{n=1}^{\infty}$$. Note that $$\lim \limits _{l\rightarrow \infty}V(F^{2}(F^{2n_{l}}(\tilde{x}_{0}, \tilde{x}_{1})))=\lim \limits _{n\rightarrow \infty}V(F^{2n}( \tilde{x}_{0}, \tilde{x}_{1}))=\tilde{k}$$ and $$V(F^{2}(x,y))>V(x,y)$$ for $$(x,y) \in \hat{D} \setminus \{(l_{32},l_{32})\}$$, we obtain

$$\tilde{k}=\lim \limits _{l\rightarrow \infty}V(F^{2}(F^{2n_{l}}( \tilde{x}_{0},\tilde{x}_{1})))=V(F^{2}\lim \limits _{l\rightarrow \infty}(F^{2n_{l}}(\tilde{x}_{0},\tilde{x}_{1})))=V(F^{2}(\tilde{x}, \tilde{y}))>V(\tilde{x},\tilde{y})=\tilde{k}.$$

This leads to a contradiction. Thus we conclude that the relation $$\lim \limits _{n\rightarrow \infty}V(F^{2n}(x_{0},x_{1}))=V(l_{32},l_{32})$$ holds for $$(x_{0},x_{1})\in \hat{D}$$. According to the fact that $$V(l_{32},l_{32})$$ is the strict maximum of V in DÌ‚, it follows that $$\lim \limits _{n\rightarrow \infty}F^{2n}(x_{0},x_{1})=(l_{32},l_{32})$$ for each $$(x_{0},x_{1})\in \hat{D}$$. Similarly, we obtain that the fixed point $$(l_{32},l_{32})$$ attracts every sequence $$\{F^{2n+1}(x_{0},x_{1})\}_{n=1}^{\infty}$$ with initial point $$(x_{0},x_{1})\in \hat{D}$$. Consequently, we infer that the equilibrium point $$l_{32}$$ of equation (2) attracts every solution of equation (2) with the initial values $$(x_{0}, x_{1}) \in \hat{D}$$.

Finally, we consider the case $$-3<\gamma <-1$$. It is apparent from $$-3<\gamma <-1$$ that we obtain $$\frac{1+\gamma}{1-\gamma}<0$$. From the fact that $$\hat{D}\subset \{(x,y)| x^{2}<1, y^{2}<1\}$$, it follows that the inequality $$V(F^{2}(x,y))< V(x,y)$$ holds for each $$(x,y) \in \hat{D} \setminus \{(l_{32},l_{32})\}$$. Note that $$V(l_{32},l_{32})$$ is the strict maximum of V in DÌ‚. Thus we are led to the conclusion that the equilibrium point $$l_{32}$$ of equation (2) is unstable for $$-3<\gamma <-1$$. The proof is completed.â€ƒâ–¡

### Remark 4

Recall that there exists a 2-cycle $$\{\lambda _{1},\lambda _{2}\}$$ of equation (2) for $$(\frac{\alpha}{1-\gamma})^{2}+4(\frac{\beta}{1-\gamma}+1)>0$$. In this case we compute the determinant of Hessian of $$V(x,y)$$ at $$(\lambda _{1},\lambda _{2})$$:

$$\Big( \frac{\partial ^{2} V}{\partial x^{2}} \frac{\partial ^{2} V}{\partial y^{2}}-\big( \frac{\partial ^{2} V}{\partial x\partial y}\big)^{2}\Big)\Big|_{( \lambda _{1},\lambda _{2})} =-4\big[(\frac{\alpha}{1-\gamma})^{2}+4( \frac{\beta}{1-\gamma}+1)\big]< 0.$$

It follows that $$V(\lambda _{1},\lambda _{2})$$ is not an extreme value of function $$V(x,y)$$. Similarly, we also deduce that $$V(\lambda _{2},\lambda _{1})$$ is not an extreme value of V. In fact, the 2-cycle $$\{(\lambda _{1},\lambda _{2}), (\lambda _{2},\lambda _{1})\}$$ of the mapping F possesses both stable and unstable manifolds.

## Data Availability

No datasets were generated or analysed during the current study.

## References

1. McMillan, E.M.: A problem in the stability of periodic systems. In: Topics in Modern Physics, pp.Â 219â€“244. Colorado Assoc. Univ. Press, Boulder (1971)

2. Zolkin, T., Nagaitsev, S., Morozov, I.: McMillan map and nonlinear Twiss parameters (2022). arXiv preprint arXiv:2204.12691

3. Gubser, S.S., Parikh, S., Witaszczyk, P.: Segmented strings and the McMillan map. J. High Energy Phys. 2016, 122 (2016)

4. Danilov, V., Nagaitsev, S.: Accelerator-feasible N-body nonlinear integrable system. Phys. Rev. Spec. Top., Accel. Beams 17(12), 124402 (2014)

5. Gumowski, I., Mira, C.: Recurrences and Discrete Dynamic Systems. Lecture Notes in Mathematics, vol.Â 809. Springer, Berlin (1980)

6. Magnus, A.P.: PainlevÃ©-type differential equations for the recurrence coefficients of semi-classical orthogonal polynomials. J. Comput. Appl. Math. 57(1â€“2), 215â€“237 (1995)

7. Fokas, A.S., Grammaticos, B., Ramani, A.: From continuous to discrete PainlevÃ© equations. J. Math. Anal. Appl. 180(2), 342â€“360 (1993)

8. Nijhoff, F.W., Papageorgiou, V.G.: Similarity reductions of integrable lattices and discrete analogues of the PainlevÃ© II equation. Phys. Lett. A 153(6â€“7), 337â€“344 (1991)

9. Periwal, V., Shevitz, D.: Unitary-matrix models as exactly solvable string theories. Phys. Rev. Lett. 64(12), 1326â€“1329 (1990)

10. Halburd, R.G., Korhonen, R.J.: Existence of finite-order meromorphic solutions as a detector of integrability in difference equations. Physica D 218(2), 191â€“203 (2006)

11. Deng, G.F., Geng, F.J.: Global stability and bifurcations of perturbed Gumowski-Mira difference equation. J. Differ. Equ. Appl. 21(9), 774â€“790 (2015)

12. Li, S.P., Zhang, W.N.: Bifurcations in a second-order difference equation from macroeconomics. J. Differ. Equ. Appl. 14(1), 91â€“104 (2008)

13. Deng, G.F., Lu, Q.Y., Qian, L.L.: Global behavior of a generalized Lyness difference equation under linear perturbation. Appl. Math. Lett. 99, 1â€“6 (2020)

14. Merino, O.: Global attractivity of the equilibrium of a difference equation: an elementary proof assisted by computer algebra system. J. Differ. Equ. Appl. 17(1), 34â€“41 (2011)

## Funding

This work was supported by Xulun Scholar Program of Shanghai Lixin University of Accounting and Finance in China.

## Author information

Authors

### Contributions

Lili Qian contributed to the conception of the study; Qiuying Lu contributed significantly to analysis and manuscript preparation; Guifeng Deng performed the data analyses and wrote the manuscript.

### Corresponding author

Correspondence to Guifeng Deng.

## Ethics declarations

### Competing interests

The authors declare no competing interests.

### Publisherâ€™s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the articleâ€™s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the articleâ€™s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

Qian, L., Lu, Q. & Deng, G. Asymptotic stability and bifurcations of a perturbed McMillan map. J Inequal Appl 2024, 87 (2024). https://doi.org/10.1186/s13660-024-03167-5