 Research
 Open Access
 Published:
Intertwined phenomenon of a kind of dynamical systems
Advances in Difference Equationsvolume 2013, Article number: 265 (2013)
Abstract
In this article, one kind of the dynamical system which has a near saddle point is investigated. An equivalent condition for the existence of intertwined attractors of the planar dynamical systems and the related results are given.
MSC:34C35, 54H20.
1 Introduction
In the investigation of the stability of dynamical systems, one of very important topics is to determine the topological structure of the basin of attraction for an attractor (see [1–7] and [8]). For a nonlinear dynamical system, it is an interesting phenomenon to have intertwined attraction basins. It is a problem related to determine the geometrical structure of basins for variant attractors when the dynamical system happens to have multiple attractors. The investigations of basin boundary of attraction began by Birkhoff [1]. If it happens that different basins of attraction have mutual boundaries, the basin boundaries can be more complicated (see [9, 10]). In [11], the authors discuss the Wada property of basins of attraction. The lakes of Wada continuum can be a common basin boundary for three attracting fixed points. A more complex case is Handel’s construction in [12], which shows that extremely complicated sets (pseudocircle, a pathological set that is hereditarily indecomposable) can be the cofrontier of disjoint basins. Later, some examples with intermingled basins were established in [13] for discrete dynamical systems. As to a dynamical system given by a vector field, the situation could also be intricate. For example, in [14], the author gives a definition of intertwined basins of attractors. Then in [15], the authors introduce a new general definition of intertwined basins of attraction, and present the condition of existence of smoothly intertwined basins, and in this case, there exist inaccessible points on the basin boundary. Along the mutual boundary of intertwined basins, variant basins of attraction become narrower and narrower, meanwhile they intertwine together. So, to some extent, it leads to the sensitive dependence on initial conditions, which is the central assumption in the investigation of chaos. For the case of planar flows, the situation is simpler. Recently, several authors discussed the property of intertwined basins of attraction (see [5–7, 14, 15]). Those definitions of intertwined basins were used to characterize a kind of intertwined attractors. That is, a saddle point connecting two distinct attractors played an important role in occurrence of intertwined basins of attraction that they investigated. In the plane systems, the authors only studied the systems which had a saddle point O and two attractors ${A}_{1}$ and ${A}_{2}$. To our best knowledge, we do not find the intertwining phenomenon of other dynamical systems that have been investigated. We shall introduce the definition of near saddle point, consider one kind of dynamical system which has a near saddle point, investigate the intertwining phenomenon of this kind of dynamical system, and give some conditions to guarantee the existence of intertwined attractors of the dynamical systems on the plane and get some related results. We give a plane graph to characterize the intertwining property of basins of attraction of the dynamical systems. The example in [5] is a special case of the dynamical system that we investigate.
The novelty of this paper is to study the intertwined attractor basins of the system which has a near saddle point connecting two distinct attractors. The rest of the paper is organized as follows. In Section 2, we fix some notations and definitions. In Section 3, we give the main results about intertwining phenomenon, and present an equivalent condition for existence of intertwined attractors of the dynamical systems.
2 Preliminaries
In this section, first of all, we recall some basic notions. Let X be a twodimensional Euclidean space with a metric d, on which there is a flow $\pi :X\times R\to X$ defined by the vector field
Where $V(x)$ is continuous, and assume that solutions of arbitrary initial value problems are unique. For $A\subset X$ and $I\subset R$, we denote $AI=\{\pi (p,t)p\in A,t\in I\}$ for brevity, in particular, $pt=\pi (p,t)$. A set A is invariant under the flow π if $AR=A$ holds. In particular, for a point $p\in M$, the orbit pR is an invariant set. Throughout the paper for $A\subset X$, $\overline{A}$ and ∂A denote the closure and boundary of A, respectively. The set $B(p,r)=\{xd(x,p)<r\}$ denotes a ball with p the center and r the radius. A space M is locally arcwise connected at a point $x\in M$ if for any neighborhood U of x, there exists an arcwise connected open set V such that $x\in V\subset U$, and M is locally arcwise connected if it is locally arcwise connected at each point in M. Recall that each component of an open set in a locally arcwise connected space is open. In the literature, several different concepts of an attractor and related definitions are used by different authors. To avoid confusion, here we fix the following definition.
Definition 2.1 The ωlimit set $\omega (p)$ (or positive limit set $\omega (p)$) of p (or of the orbit pR) is defined to be the set ${\bigcap}_{t\ge 0}\overline{p[t,+\mathrm{\infty})}$, equivalently $q\in \omega (p)$ means that there is a sequence $\{{t}_{n}\}$ with ${t}_{n}\to +\mathrm{\infty}$ such that $p{t}_{n}\to q$ as $n\to +\mathrm{\infty}$.
Similarly, we define the αlimit set $\alpha (p)$ (or negative limit set $\alpha (p)$) of p by reversing the direction of time.
Definition 2.2 If A (⊂X) is an attractor, its basin of attraction $B(A)$ is defined to be the set of initial points p such that $\omega (p)\subset A$, i.e., $d(pt,A)\to 0$ ($t\to +\mathrm{\infty}$), where $d(pt,A)=inf\{d(pt,a)a\in A\}$, d is the ordinary metric on the space X, and, with no confusion, we also use it for the distance between a point and a set.
From the definition of the basin of attraction $B(A)$, it can be shown that the basin $B(A)$ is an open set (see [[16], Chapter 5]).
Definition 2.3 The point p is said to be a near saddle point if there exist at least two orbits xt and yt, whose negative limit sets $\alpha (x)$ and $\alpha (y)$ are the single point set $\{p\}$, beside the curve $xt\cup yt\cup \{p\}$, there respectively exist at least two orbits ${x}_{i}t$, ${y}_{i}t$, $i=1,2$, whose positive limit sets $\omega ({x}_{i})$ and $\omega ({y}_{i})$ also are $\{p\}$.
Figure 1 is a phase portrait of a near saddle point p.
Remark 2.1 If there only exist orbits ${x}_{1}t$ and ${y}_{1}t$ beside the curve $xt\cup yt\cup \{p\}$, then the point P becomes a saddle point.
To end this section, we give the general definition of intertwined basins of attractors, which is presented in [15] and used to prove our main result.
Definition 2.4 Let B be an open subset of X, a point $p\in \partial B$ is accessible from B, provided that there is an arc ς in $B\cup \{p\}$ with an end p such that $\varsigma \setminus \{p\}\subset B$, otherwise, $p\in \partial B$ is inaccessible from B.
Remark Easy examples show that the local disconnectedness of B at $p\in \partial B$ does not imply that p is inaccessible from B, e.g., B is the region surrounded by the Warsaw circle. Conversely, if p is inaccessible from B, then $B\cap N(p,\epsilon )$ has an infinite number of components for a small $\epsilon >0$.
Definition 2.5 Let ${\{{B}_{i}\}}_{i=1}^{n}$ ($n\ge 2$) be pairwise disjoint open sets in X. We say that ${\{{B}_{i}\}}_{i=1}^{n}$ has an intertwining property at a point $p\in {\bigcap}_{i=1}^{n}\partial {B}_{i}$, provided:

(1)
p is inaccessible from ${\{{B}_{i}\}}_{i=1}^{n}$;

(2)
for each arc ς in ${\{{B}_{i}\}}_{i=1}^{n}$ from p to a point $x\in {B}_{i}$ for some $i\in \{1,2,\dots ,n\}$, then $\varsigma \cap {B}_{j}=\mathrm{\varnothing}$ holds for every $j\in \{1,2,\dots ,n\}$.
Remark 2.2 We note that from the definition above, beside p, the basins $B({A}_{1})$ and $B({A}_{2})$ approach to p alternately, meanwhile they become narrower and narrower. By the continuity of dependence on initial conditions, we can say that the basins $B({A}_{1})$ and $B({A}_{2})$ intertwine together beside p. In [5, 6, 14] and [15], the existence of a saddle point with its two branches of unstable manifold approaching different attractors plays an essential role in occurrence of intertwined basins of attraction. In the next section, we study the phenomenon of intertwining attractors of a new kind of dynamical system.
3 Main results
To be simpler, in this section, we consider that the flow π defined by system (2.1) has a near saddle point O and two attractors ${A}_{1}$ and ${A}_{2}$, where ${A}_{1}$ and ${A}_{2}$ need not be equilibria in system (2.1). Let $B({A}_{1})$ and $B({A}_{2})$ be respectively the basins of ${A}_{1}$ and ${A}_{2}$, ${A}_{1}\cap {A}_{2}=\mathrm{\varnothing}$. Denote by ${W}_{1}^{s}(O)$ and ${W}_{2}^{s}(O)$ the orbits whose negative limit sets also are the single point set $\{p\}$ besides the orbits whose positive limit sets also are the single point set $\{p\}$ and the set O, respectively. For example, in Figure 1, the orbits ${x}_{i}$ and ${y}_{i}$, $i=1,2$. Similarly, ${W}_{1}^{u}(O)$ and ${W}_{2}^{u}(O)$ respectively denote the orbits whose positive limit sets also are the single point set $\{p\}$ besides ${W}_{1}^{s}(O)$ and ${W}_{2}^{s}(O)$ and the set O such that the orbits xt and yt in Figure 1.
Theorem 3.1 Assume that system (2.1) has a near saddle point O, and ${W}_{1}^{u}(O)\subset B({A}_{1})$, ${W}_{2}^{u}(O)\subset B({A}_{2})$. Then system (2.1) has the intertwining property if the αlimit set $\alpha (q)$ of $q\in \partial {W}_{1}^{s}(O)\setminus \{O\}$ (or $\partial {W}_{2}^{s}(O)\setminus \{O\}$) is at least two common points.
Proof First of all, let ${X}^{\ast}=X\cup \{\mathrm{\infty}\}$ denote the onepoint compactification of X. Then we extend the dynamical system π on X to a dynamical system ${\pi}^{\ast}$ on ${X}^{\ast}$, where ${\pi}^{\ast}$ is given by ${\pi}^{\ast}(x,t)=\pi (x,t)$ for $x\in X$, $t\in R$, and ${\pi}^{\ast}(\mathrm{\infty},t)=\mathrm{\infty}$ for all $t\in R$. Hence the negative limit set $\alpha (q)$ of $q\in {W}^{s}(O)\setminus \{O\}$ is a compact and connected set in X from Theorem 3.6 in [16]. By assumptions, the αlimit set $\alpha (q)$ of $q\in \partial {W}_{1}^{s}(O)\setminus \{O\}$ is at least two common points. So $\alpha (q)$ contains uncountable points. By the connectedness of αlimit set $\alpha (q)$, there is a connected component containing uncountable points in $\alpha (q)$. Furthermore, there at least exists an arc S connecting two points in this connected component. Otherwise, if we arbitrarily choose two distinct points ${p}_{1}$ and ${p}_{2}$ in the connected component, there exists a δ (>0, sufficiently small) such that $B({p}_{1},\delta )$ and $B({p}_{2},\delta )$ are relatively compact sets, that is, $\overline{B({p}_{2},\delta )}$ is compact, and there is no point of $\alpha (q)$ on $\partial B({p}_{1},\delta )$ and $\partial B({p}_{2},\delta )$, which respectively are the boundaries of $B({p}_{1},\delta )$ and $B({p}_{2},\delta )$. Since ${p}_{1}$ and ${p}_{2}$ in $\alpha (q)$, there exist sequences ${\{{t}_{n}^{\prime}\}}_{n=1}^{\mathrm{\infty}}$ and ${\{{t}_{n}^{\prime \prime}\}}_{n=1}^{\mathrm{\infty}}$ such that $q{t}_{n}^{\prime}\in B({p}_{1},\delta )$ and $q{t}_{n}^{\prime \prime}\in B({p}_{2},\delta )$. Now, choose a sequence $\{{\tau}_{n}\}$ (${t}_{n}^{\prime}<{\tau}_{n}<{t}_{n}^{\prime \prime}$) such that $q{\tau}_{n}$ in $\partial B({p}_{1},\delta )$. By the compactness of $\overline{B({p}_{1},\delta )}$, $\partial B({p}_{1},\delta )$ is compact, so $\{q{\tau}_{n}\}$ has a convergence subsequence $\{q{\tau}_{n}^{\prime}\}$ whose convergence point in $\partial B({p}_{1},\delta )$. That is, there exists a point in $\alpha (q)\cap \partial B({p}_{1},\delta )$, which is a contradiction. Hence there exists an arc S containing in some connected component of $\alpha (q)$, and $S\subset \partial (B({A}_{1})\cup B({A}_{2}))$. Now, we arbitrarily choose one arc ς with one end point $p\in S$ and the other end point ${q}_{1}{t}_{1}\in B({A}_{1})$ (${t}_{1}={t}_{1}(\varsigma )<0$). Hence by the continuous dependence on initial conditions, we can assert that all the orbits cross ς in the same direction beside the point p when ς is sufficiently small. Then the negative semiorbit ${q}_{1}{R}^{}$ crosses ς successively at ${\{{t}_{i}\}}_{i=1}^{+\mathrm{\infty}}$ with $0>{t}_{1}>{t}_{2}>\cdots $ (${t}_{i}\to \mathrm{\infty}$ as $i\to \mathrm{\infty}$) and ${q}_{1}{t}_{i}$ tends monotonously to p along ς (see [[10], Chapter 7]). Since p is in the common limit set of ${W}^{s}(O)\setminus \{O\}$, there exists a point ${q}_{2}{\theta}_{1}\in B({A}_{2})$ such that ${q}_{2}{\theta}_{1}\in \varsigma $, negative semiorbit ${q}_{2}{R}^{}$ crosses ς successively at ${\theta}_{i}$ with $0>{\theta}_{1}>{\theta}_{2}>\cdots $ (${\theta}_{i}\to \mathrm{\infty}$ as $i\to \mathrm{\infty}$) and ${q}_{2}{\theta}_{i}$ tends monotonously to p along ς. Thus it follows that (1) in Definition 2.5 is true. On the other hand, obviously, one branch of the set ${W}^{u}(O)\setminus \{O\}$ lies in $B({A}_{1})$, and the other in $B({A}_{2})$. Thus $B({A}_{1})$ and $B({A}_{2})$ are respectively open neighborhoods of two branches of ${W}^{u}(O)\setminus \{O\}$. For any $\epsilon >0$, $q{R}^{}$ crosses $D(p,\epsilon /2)\subset D(p,\epsilon )$ for $q\in \partial {W}_{1}^{s}(O)\setminus \{O\}$. Choose ${q}_{3}$, ${q}_{4}$ on two boundaries of ${W}_{1}^{s}(O)\setminus (\{O\}\cup \alpha (q))$ with $q\in \overline{{W}_{1}^{s}(O)}$. Let $\theta =max\{{t}_{i}\}$ where ${t}_{i}$ is the first time that ${q}_{i}{R}^{}$ crosses $D(p,\epsilon /2)$, $i=3,4$. Consider the diffeomorphism $F=\pi (\ast ,1):X\to X$. By the inclination lemma in [2], it is easy to see that both ${F}^{n}(D(p,\epsilon ))\cap B({A}_{1})\ne \mathrm{\varnothing}$ and ${F}^{n}(D(p,\epsilon ))\cap B({A}_{2})\ne \mathrm{\varnothing}$ hold for a sufficiently large n. Hence we obtain that $\pi (D(p\theta ,\epsilon ),n)\cap B({A}_{1})\ne \mathrm{\varnothing}$ and $\pi (D(p\theta ,\epsilon ),n)\cap B({A}_{1})\ne \mathrm{\varnothing}$. Thus it follows that (2) in Definition 2.5 is true, so we are done. Theorem 3.1 is completed. □
Remark 3.1 In applications of Theorem 3.1 above, we need to determine the location of the set ${W}^{s}(O)$. From the proof of Theorem 3.1, $\alpha (q)$ may be either bounded or unbounded, and also $\alpha (q)$ may have equilibria (see [4]). Of course, $\alpha (q)$ can be a closed orbit in [6].
Theorem 3.2 Assume that system (2.1) has a near saddle point O, ${W}_{1}^{u}(O)\subset B({A}_{1})$, ${W}_{2}^{u}(O)\subset B({A}_{2})$. There exist no equilibria in $X\setminus {A}_{1}\cup {A}_{2}\cup \{O\}$ if system (2.1) has the intertwining property if and only if the αlimit set $\alpha (q)$ of $q\in \partial {W}_{1}^{s}(O)\setminus \{O\}$ (or $\partial {W}_{2}^{s}(O)\setminus \{O\}$) is at least two common points.
Proof From Theorem 3.1, the sufficiency is shown. For the necessity, similarly to the proof of Theorem 3 in [15], we have the αlimit set $\alpha (q)$ of $q\in {W}_{1}^{s}(O)\setminus \{O\}$ or $q\in {W}_{2}^{s}(O)\setminus \{O\}$ is at least two common points. In fact, if system (2.1) has the intertwining property at the point p, which is a regular point since there exist no equilibria in $X\setminus {A}_{1}\cup {A}_{2}\cup \{O\}$, then the orbit pR is contained in $\alpha (q)$. Hence the αlimit set $\alpha (q)$ of $q\in \partial {W}_{1}^{s}(O)\setminus \{O\}$ (or $\partial {W}_{2}^{s}(O)\setminus \{O\}$) is at least two common points. The theorem is completed. □
Figure 2 is a phase portrait of a planar system satisfying the conditions of Theorem 3.2. Clearly, there exist two attractors ${A}_{1}$ and ${A}_{2}$, which are asymptotically stable equilibria. Their basins $B({A}_{1})$ and $B({A}_{2})$ are separated by the stable manifold of the saddle point O. The periodic orbit L also lies in the common boundary of those basins, and each point in L is inaccessible from ${A}_{1}$ and ${A}_{2}$. Hence, by Definition 2.5, $B({A}_{1})$ and $B({A}_{2})$ are intertwined basins of attraction.
References
 1.
Birkhoff G: Sur quelques courbes fermées remarquable. Bull. Soc. Math. Fr. 1932, 60: 1–26.
 2.
Palis J, de Melo W: Geometric Theory of Dynamical Systems: An Introduction. Springer, New York; 1982.
 3.
Dugundji J: Topology. Allyn & Bacon, Boston; 1966.
 4.
Hartman P: Ordinary Differential Equations. 2nd edition. Birkhäuser, Boston; 1985.
 5.
Ding C: Intertwined basins of attraction for flows on a smooth manifold. Publ. Math. (Debr.) 2005, 67: 1–7.
 6.
Ding C: Intertwined basins of attraction generated by the stable manifold of a saddle point. Appl. Math. Comput. 2004, 153: 779–783. 10.1016/S00963003(03)006751
 7.
Li G, Ding C, Chen M: Intertwined basins of attraction of dynamical systems. Appl. Math. Comput. 2009, 148: 101–120.
 8.
Ding C: Intertwined basins of attraction. Int. J. Bifurc. Chaos 2012, 22: 930–934.
 9.
Grebogi C, Ott E, Yorke J: Basin boundary metamorphoses: changes in accessible boundary orbits. Physica D 1987, 24: 243–262. 10.1016/01672789(87)900789
 10.
McDonald S, Grebogi C, Ott E, Yorke J: Fractal basin boundaries. Physica D 1985, 17: 125–153. 10.1016/01672789(85)900016
 11.
Kennedy J, Yorke J: Basins of Wada. Physica D 1991, 51: 213–225. 10.1016/01672789(91)90234Z
 12.
Handel M:A pathological area preserving ${C}^{\mathrm{\infty}}$ diffeomorphism of the plane. Proc. Am. Math. Soc. 1982, 86: 163–168.
 13.
Alexander J, Hunt B, Kan I, Yorke J: Intermingled basins for the triangle map. Ergod. Theory Dyn. Syst. 1996, 16: 651–662.
 14.
Ding C: On the intertwined basins of attraction for planar flows. Appl. Math. Comput. 2004, 148: 801–805. 10.1016/S00963003(02)009372
 15.
Ding C: Intertwined basins of attraction in planar systems. Int. J. Bifurc. Chaos 2009, 19: 2377–2381. 10.1142/S0218127409024141
 16.
Bhatia NP, Szego G: Stability Theory of Dynamical Systems. Springer, Berlin; 1970.
Acknowledgements
The authors wish to thank the anonymous referee for his/her valuable suggestions to this paper. This work was supported by the National Natural Science Foundation of China under Grant 61201430, the China Postdoctoral Science Foundation and Shandong Province Postdoctoral Innovation Foundation.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
GL performed all the steps of proof in this research and also wrote the paper. MC suggested many good ideas that made this paper possible and helped to draft the first manuscript. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 flow
 basin of attraction
 intertwined