 Research
 Open access
 Published:
Asymptotic stability and bifurcations of a perturbed McMillan map
Journal of Inequalities and Applications volumeÂ 2024, ArticleÂ number:Â 87 (2024)
Abstract
This paper presents various bifurcations of the McMillan map under perturbations of its coefficients, such as perioddoubling, pitchfork, and hysteresis bifurcation. The associated existence regions are located. Using the quasiLyapunov 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 Nbody 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
where Î± and Î² are constants. The map possesses the following biquadratic integral:
Here, \(\mathcal{K}\) is a parameter that indicates each invariant curve in a twodimensional 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
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 twoparameter family of finiteorder meromorphic solutions, which is an indicator of integrability in difference equations [10]. In this paper, we consider the following second order difference equation
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
Here, we investigate the asymptotic stability of equilibrium of the perturbed McMillan map (2) by the quasiLyapunov 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 2cycle
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:
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 twodimensional phase plane.
Note that \(\gamma \neq 1\), then a direct computation shows the following relation:
We denote by \(\mathcal{T}=\{(x,y)(1\gamma )x(1y^{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
To obtain the fixed points and 2cycle of the mapping F of (3), we consider the following set of equations:
For simplicity of presentation, we use G to denote the set of solutions of (5), i.e., \(G=\{(x,y)(1\gamma )x(1y^{2})=\alpha +\beta y,(1\gamma )y(1x^{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 2cycle of the mapping F of (3).
Proof
Choose \((x,y)\in G\setminus \mathcal{L}\) such that \(x=y\). Then
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
It turns out that this point \((x,y)\) is a 2cycle 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.

(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 2cycle and an equilibrium point of the mapping F, where the fixed point lies on \(\Gamma : xy=0\).

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

(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 2cycle and two equilibrium points of the mapping F, where the fixed points lie on Î“.

(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 2cycle and three equilibrium points of the mapping F, where the fixed points lie on Î“.

(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 Î“.

(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 Î“.

(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(1y^{2})\beta y\). Substituting it into the second equation of (5) gives the following equality:
It follows that
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 2cycle \(\{(\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
For simplicity of presentation, we define \(g(z)=z^{3}+(\frac{\beta}{1\gamma}1)z+\frac{\alpha}{1\gamma}\) and compute its derivative
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
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 2cycle 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 2cycle 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 2cycle of the mapping F appears. That is, \(L_{2}\) is a perioddoubling 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
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
hold. Here we use the second partials test to determine the extreme values of \(V(x,y)\). The second order partial derivatives are
The determinant of the Hessian is
Now we evaluate the determinant of the Hessian at the stationary point \((l_{32},l_{32})\):
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 2cycle \(\{(\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
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:

(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}\).

(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
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 2cycle \(\{\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})\):
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 2cycle \(\{(\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
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)
Zolkin, T., Nagaitsev, S., Morozov, I.: McMillan map and nonlinear Twiss parameters (2022). arXiv preprint arXiv:2204.12691
Gubser, S.S., Parikh, S., Witaszczyk, P.: Segmented strings and the McMillan map. J. High Energy Phys. 2016, 122 (2016)
Danilov, V., Nagaitsev, S.: Acceleratorfeasible Nbody nonlinear integrable system. Phys. Rev. Spec. Top., Accel. Beams 17(12), 124402 (2014)
Gumowski, I., Mira, C.: Recurrences and Discrete Dynamic Systems. Lecture Notes in Mathematics, vol.Â 809. Springer, Berlin (1980)
Magnus, A.P.: PainlevÃ©type differential equations for the recurrence coefficients of semiclassical orthogonal polynomials. J. Comput. Appl. Math. 57(1â€“2), 215â€“237 (1995)
Fokas, A.S., Grammaticos, B., Ramani, A.: From continuous to discrete PainlevÃ© equations. J. Math. Anal. Appl. 180(2), 342â€“360 (1993)
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)
Periwal, V., Shevitz, D.: Unitarymatrix models as exactly solvable string theories. Phys. Rev. Lett. 64(12), 1326â€“1329 (1990)
Halburd, R.G., Korhonen, R.J.: Existence of finiteorder meromorphic solutions as a detector of integrability in difference equations. Physica D 218(2), 191â€“203 (2006)
Deng, G.F., Geng, F.J.: Global stability and bifurcations of perturbed GumowskiMira difference equation. J. Differ. Equ. Appl. 21(9), 774â€“790 (2015)
Li, S.P., Zhang, W.N.: Bifurcations in a secondorder difference equation from macroeconomics. J. Differ. Equ. Appl. 14(1), 91â€“104 (2008)
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)
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 and Affiliations
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
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
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/.
About this article
Cite this article
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/s13660024031675
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660024031675