1. Introduction
Chaotic intermittency is an interesting phenomenon observed in dynamical systems, characterized by a distinctive alternation between chaotic and laminar or regular behaviors. During the laminar phases, which may also be referred to as pseudo-equilibrium regions or pseudo-periodic solutions, the solution of the system moves close to the previous stable solution. In contrast, the bursts that occur during the chaotic phases signify a transition to irregular patterns. This duality highlights the complex nature of dynamical systems and the intricate balance between regular and chaotic behavior within their evolution. Understanding these dynamics is crucial for analyzing a wide range of complex systems, whether they are of natural or human origin [
1]. Intermittency is a route that leads to chaos and has been found in physics, engineering, astronomy, chemistry, medicine, neurosciences, economics, biology, and genetics [
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23]. A more detailed description of chaotic intermittency could lead to a better understanding of these phenomena. Consequently, this area of research has the potential to provide significant benefits across various fields. Additionally, accurately describing chaotic intermittency is crucial for systems that have incomplete or unknown equations.
About 45 years ago, chaotic intermittency was classified into three distinct types, referred to as I, II, and III [
9,
24]. This classification depends on the bifurcation that gives rise to the intermittency. This bifurcation occurs when the eigenvalues of the system’s Jacobian matrix—evaluated in the local solution—depart from the unit circle. Type I intermittency is characterized by an eigenvalue exiting the unit circle through +1, while type II involves two complex conjugated eigenvalues leaving the unit circle. Finally, type III is defined by an eigenvalue leaving the unit circle through −1 [
25,
26,
27]. Subsequent research introduced additional types of chaotic intermittency, including on-off, eyelet, ring, in-out, type X, and type V (see [
27,
28] and references there).
One-dimensional maps, commonly referred to as Poincaré maps, offer an alternative for investigating chaotic intermittency. Two essential elements characterize these maps: a specific local map, which establishes the intermittency type, and a reinjection mechanism returning the trajectories from the chaotic dynamics to the regular phase. The core of this process is encapsulated in the reinjection probability density function (RPD). The RPD quantifies the probability of trajectories re-entering the laminar zone around an unstable or disappearing fixed point. When paired with the local map, the RPD function provides profound insights into the dynamical characteristics of the system. Determining the RPD function correctly is paramount for a comprehensive understanding of chaotic intermittency. However, extracting the RPD from experimental or numerical data can be quite challenging due to the vast amounts of data and the inherent statistical fluctuations. Various strategies have emerged for calculating the RPD function. Traditionally, the classical framework for chaotic intermittency has relied on the assumption of uniform reinjection within the laminar interval. Recently, two innovative methodologies have been developed to more accurately derive the RPD function. The first, the
M function methodology, introduces a generalized power law for the RPD and has demonstrated remarkable accuracy for a wide range of one-dimensional maps exhibiting type I, II, III, and V intermittencies. This approach not only integrates the classical approximation but also accommodates uniform reinjection as a specific instance. The second methodology, known as the continuity technique, employs the Perron–Frobenius operator to effectively compute the reinjection probability density function. Like the
M function methodology, the continuity technique has been validated across various maps displaying different types of intermittency. To gain deeper insights into the phenomenon of intermittency, it is also essential to consider other statistical functions, such as the probability density of laminar lengths,
, the average laminar length,
, and the characteristic relation
. These functions, however, are contingent on the RPD. Furthermore, the RPD and the related statistical functions that characterize chaotic intermittency are influenced by external noise and the lower boundary of reinjection (LBR). Remarkably, the
M function methodology has been further refined to encompass both of these crucial aspects [
27,
28].
However, these previous studies only consider one-dimensional maps. In this paper, we are interested in analyzing chaotic intermittency in two-dimensional maps, more specifically, we analyze the characteristic relation, the dependence of the average laminar length,
, with the control parameter
for type I intermittency. To carry out this task, we study a 2D map introduced in [
29], which exhibits type I intermittency. The researchers provided a comprehensive description of the structure of the reinjection channel and the trajectory within it, resulting in the establishment of scaling relations based on the trajectory.
The main objective of this paper is to investigate the phenomenon of chaotic intermittency. In addition, it includes a partial analysis of specific attractors within the system. However, this study does not aim to provide a comprehensive description of the system’s attractors, and the methodology employed is not particularly well-suited for uncovering hidden chaotic attractors [
30].
This study focuses on the dynamics of the system, examining the basins of attraction for different attractors, analyzing various trajectories within the channel, and calculating the exponents of the characteristic relation. The findings presented in this research serve as a preliminary exploration of the potential for extending the new theory of chaotic intermittency [
27,
28] to high-dimensional maps. This article is a revised and expanded version of a paper entitled “Intermitencia en un mapa bidimensional”, which was presented at XXXIX Congreso Argentino de Mecánica Computacional, Concordia, Argentina in November 2023 [
31].
This paper is organized as follows: In
Section 2, we introduce the two-dimensional map and analyze the dynamics of the system. We describe the fixed points and assess their stability, followed by the presentation of bifurcation diagrams along with an explanation of the attraction basins.
Section 3 explores the type I intermittency observed in the two-dimensional map. We illustrate this intermittency for various values of the control parameters, which correspond to different trajectories related to 14 cycles and 10 cycles. Finally,
Section 4 summarizes the main conclusions and discusses perspectives for future research.
2. Two-Dimensional System
A general map in
d-dimensions can be written as
where
is a finite-dimensional vector, being
the
d-dimensional Euclidean space, and
d is an integer number verifying
.
In a two-dimensional vector space defined by the pair
, the equation
represents a diagonal hyper-surface (DHS) [
29]. In type I intermittency, the DHS surface, along with the local map, establishes a channel that allows the system to enter a laminar phase as the trajectory passes through it. The function of the DHS surface in two-dimensional maps is similar to that of the bisector line in one-dimensional maps.
In this paper, we analyze the two-dimensional map,
, proposed by [
29]:
where
and
are control parameters, and the vector
.
We perform a classical analysis of the dynamics of the system for a fixed value of . In this analysis, the dynamics are determined by the parameter . We calculate the fixed points and assess their stability, and we also generate bifurcation diagrams and basins of attraction for the system’s attractors.
The fixed points of the system are all pairs
such that
and
. The stability of these points is determined by the dynamic behavior in their vicinity. Some points can attract nearby trajectories, while others can repel them, and some may act as centers for periodic trajectories. The stability of fixed points can be analyzed by considering the eigenvalues of the Jacobian matrix.
Evaluating the stability of a system’s solutions requires a comprehensive understanding of the system dynamics. The eigenvalues of the Jacobian matrix are critical in determining the stability of the fixed points, as they provide important information about the system’s response to perturbations. These eigenvalues exist within the complex plane, and a fixed point is classified as hyperbolic if no eigenvalue is located on the unit circle.
The stability condition indicates that if at least one eigenvalue lies outside the unit circle, the fixed point is unstable, whereas it is considered stable if all eigenvalues are within the unit circle. If at least one eigenvalue of the fixed point is on the unit circle, the fixed point is categorized as non-hyperbolic, for which the stability condition based on the eigenvalues of the Jacobian matrix is insufficient.
Bifurcation diagrams illustrate the behavior of dynamical systems, showing the solutions and their stability within the state-control space. In these diagrams, stable solutions are represented as stable branches, while unstable solutions are depicted as unstable branches. Generally, a branch of solutions will either commence, terminate, or change its stability at a bifurcation point [
25].
Each attractor of the system, , possesses its basin or domain of attraction, which is the domain that includes all the initial conditions such as .
As a first step to determine the dynamics behavior, we start with the calculation of the fixed points of the map
, given by Equations (
2). The fixed points have been calculated using analytic methods. For
, they are:
where
.
Once the control parameter
is established, the fixed points of the system depend only on the other control parameter,
.
Figure 1 and
Figure 2 show the evolution of the fixed points with
. From the figures, we can observe that the fixed point
does not depend on
.
To generate a bifurcation diagram, we start by iterating the system from chosen initial values, denoted as . This iterative process continues until we arrive at a solution that characterizes the system’s behavior. Once this is achieved, we repeat the iteration process using various values of the control parameter .
Figure 3 presents a bifurcation diagram consisting of two superimposed plots: one in blue and the other in red. The blue plot illustrates the stationary solutions derived from initial conditions where
, with each value of
held constant. This plot resembles a one-dimensional bifurcation diagram that follows the logistic equation, as the system described in Equations (
2) is decoupled, functioning as two separate one-dimensional logistic maps.
In contrast, the red plot represents results from random initial conditions
) in the interval
for each value of
. This curve exhibits its first bifurcation around
, indicating a period-doubling bifurcation. The blue curve’s first bifurcation, however, occurs at
, as depicted in
Figure 3. Each bifurcation corresponds to an eigenvalue departing from the unit circle through
, resulting in a period-doubling bifurcation. Fixed points on the upper branches are unstable, while those on the lower branches remain stable until
for the blue plot and
for the red diagram. Fixed points on the lower branches become unstable or vanish beyond these values of
.
The provided figures indicate a significant correlation between the initial conditions and the observed attractors. Consequently, each bifurcation diagram exhibits distinct basins of attraction. This information will be essential for developing a comprehensive understanding of the system’s behavior and gaining insights into its dynamics.
As examples, we indicate some periodic points corresponding to different values of
that belong to solutions of periods 2, 4, 8, and 16, as shown in [
32].
Fixing the parameter at and increasing , with equal initial conditions yields 2, 4, 8, and 16 period solutions for values of 0.7, 0.79, 0.816, 0.8166.
With the fixed points are , , with : , , , ; for : , , , , , , , ; and finally for : , , , , , , , , , , , , , , , .
If the initial conditions are now different , then we have two bifurcation regions, the first going into a 2-period solution before an explosive bifurcation takes place, then at , a new period-doubling bifurcation starts, and it shows solutions of period 2, 4, 8, and 16 for 0.73, 0.81, 0.815, and 0.817.
For the fixed points are: and ; for : , , , ; when : , , , , , , , ; and finally for : , , , , , , , , , , , , , , , ;
The same analysis is performed for but only for , showing period 2, 4, and 8 solutions for with fixed points and ; , , , ; , , , , , , , ; and , , , , , .
To explain the bifurcations displayed by bifurcation diagrams, we compute the stability of the fixed points for the maps
and
. In
Figure 4, we observe the progression of the fixed points for
as the control parameter
is modified.
The two eigenvalues of the Jacobian matrix for the fixed point (
), given by the yellow curve in
Figure 1 and light blue one in
Figure 4, exit the unit circle for different values of
: one for
and another for
. The first eigenvalue has a strong influence on generating the red bifurcation diagram of
Figure 3. However, the blue bifurcation diagram starts in the instability produced by the second eigenvalue. Also, in
Figure 4, we can observe the instability and generation of new fixed points shown by red and blue curves.
On the other hand,
Figure 5,
Figure 6,
Figure 7 and
Figure 8 displays the vector field in the
plane together with the fixed points of map
that appear as
grows.
Figure 5 shows the vector field for
. In this figure, we can see that there are only two fixed points which are shown in
Figure 1 as blue and yellow lines. One fixed point is at
, and it is unstable, with the other one being stable at approximately
. As we move to
Figure 6, with an
value
, we observe the bifurcation occurring at point
and two more fixed points appearing. These two fixed points are saddle points, they attract alongside a direction and repel alongside the other.
Figure 7 shows two new fixed points corresponding to the bifurcation shown in the violet solution of
Figure 4. Finally, in
Figure 8 (
), the directional field shows the appearance of a pair of fixed points that correspond to the ones shown in pink and yellow in
Figure 4, which are saddle points with one eigenvalue inside the unit circle and the other outside of it.
Figure 9 shows the bifurcation diagram used in [
29]. From the figure, we see that for values of
and
, the map presents a more complex behavior than those observed in the directional field (see
Figure 5,
Figure 6,
Figure 7 and
Figure 8). There is a set of fixed points that meet the condition
, these fixed points correspond to the blue diagram shown in
Figure 3, because solutions with
decouple the system and transform it into two independent logistic maps (see blue diagram in
Figure 3).
Figure 9 is only feasible if the initial conditions of the iterative process for each
are deliberately selected. For an
lower to
, the initial conditions must verify
. On the other hand, for an
greater than
, the initial conditions have to satisfy
.
Figure 10 shows the bifurcation diagrams for
x obtained for different initial conditions in the iterative process. The upper figure displays the diagram built with initial conditions
for every
, while the lower one was obtained only using
as initial condition for every
.
Figure 11 displays the relations between the variables
x and
y for the bifurcation diagrams of
Figure 10. The left figure was calculated with initial conditions
for
. The right figure was obtained using
as initial condition for
.
For
greater than approximately
, the basin of attraction for the attractor depicted in the upper
Figure 10 becomes nearly non-existent. Additionally, once
exceeds approximately
, the logistic attractor can be deemed a stable solution. This is achieved when the iterative processes are initiated on the bisector line in the
plane, specifically on points where
.
3. Type I Intermittency
In this section, we examine three cases where type I intermittency occurs. We adhere to the criteria established by [
29] to define type I intermittency for a two-dimensional map.
Figure 12 and
Figure 13 present the regions of interest in the bifurcation diagrams, showing the period-14 solution at
and a period-10 solution at
, both with
. With
, a chaotic solution is shown for
near a period-14 solution.
The bifurcation diagram presented in
Figure 12 shows a period-14 solution that occurs at approximately
with
. The period-14 solution is placed between chaotic solutions for both lower and higher values of
, indicating the potential presence of intermittency. Therefore, examining the
map is particularly interesting in this context.
The solution for the map
, characterized by the parameter
, is shown in
Figure 14. As we analyze the dynamics of the system, we can observe that the trajectory initially follows one branch of the attractor for a certain duration. Subsequently, it transitions to the alternate branch, and this pattern continues in a cyclic fashion, occurring a total of fourteen times. This repetitive switching between branches culminates in the formation of a limit cycle solution.
When we examine the trajectory in the two-dimensional state space
, it delineates a closed curve, as shown in
Figure 15. This closed curve is indicative of the periodic nature of the oscillations within the system, demonstrating how the state variables evolve over time in a limit cycle.
To gain a better understanding of the behavior of the solution, it is useful to analyze the map of
versus
for
. In
Figure 16, we observe that the plateaus shown in
Figure 14 are the result of the system solution approaching the bisector line
. This proximity of the map to the bisector line causes the trajectory to stay close for several iterations before being rapidly expelled and transported to a new region near the bisector line. Each time the trajectory approaches the line
, a narrow channel forms, resembling the behavior seen in type I intermittency in one-dimensional maps. In [
29], this behavior is classified as type I intermittency, and a law for the mean or average laminar length is derived and compared with the results found for one-dimensional systems using the classic theory of chaotic intermittency.
The laminar length, in the context of intermittency, refers to the duration of the laminar phase. This duration is measured in iterations for discrete-time systems. For one-dimensional maps experiencing type I intermittency, the laminar length is a function of the distance between the map and the bisector line, known as the channel. The average laminar length depends on the control parameter
in the following way [
27]:
where
is the average laminar length. In these systems, the value of
is directly related to the distance between the map and the bisector line. This distance determines the width of the channel, which causes the trajectory to pass more slowly. In this region, the laminar flow characteristics of the intermittency phenomenon are defined.
The map showed a separation concerning the bisector line when the control parameter, defined as , was modified. The critical value of at which intermittency is said to start and the limit cycle is found is known as .
The laminar or regular interval is defined as the stages of evolution in which the trajectory did not significantly change position. These stages are understood as the
plateaus in
Figure 14. However, unlike in one-dimensional maps, the laminar region in two-dimensional maps is not connected. It consists of very confined domains through which the system rapidly jumps, generating a structure of multiple channels.
Figure 17 shows the influence of the control parameter
on the distance between the map
and the bisector. Note that as
grows, the distance between
and the bisector also increases.
To measure how many iterations the trajectory needs to pass through each channel, we define the relative error function of the variable
x as follows:
When the changes in the variable are small,
, it is detected that the trajectory is in a laminar region-iterating within one of the fourteen channels. Laminar intervals are defined by a relative error that is less than a certain fixed threshold.
Figure 18 shows the temporal evolution of the solution
and the relative error function given by Equation (
9).
The total number of iterations needed to complete the limit cycle was calculated by excluding the transition iterations between laminar regions, as they are insignificant when compared with others. The results obtained are presented in
Figure 19. It shows the same slope as that achieved in [
29].
To verify the previous results, we study two other cases. The first one uses
and
. A period-10 solution in
Figure 12 lies near a chaotic region which may indicate intermittency behavior as well as the period-14 solution in the same figure.
Figure 20 shows the change in laminar phase duration as the control parameter
is modified. As
grows (
moves away
) the average laminar length decreases.
To determine the laminar or regular region, we use a second method. We define the distance between the map and the DHS surface. To determine this distance, we must find the minimum distance
d from a 4th dimensional point
to a hyper-surface determined by DHS:
. So, we must find a point of the hyper-surface
(because it satisfies the hyper-surface constraint) whose distance is the minimum to our point
. The 4th-dimensional Euclidean distance between the points will be
minimizing the expression taking its derivatives with respect to
and
and equating them to zero, we obtain that
Figure 21 shows the temporal evolution of the variables
and
, along with the distance to the DHS surface calculated using Equation (
10).
The numerical results for the characteristic relations are presented in
Figure 22. This figure illustrates the relationship between the average or mean laminar length and the control parameter. The blue points represent the numerical results, while the red line is derived from Equation (
8). It is noteworthy that there is good agreement between the numerical findings and the theoretical predictions.
Finally, we analyze the following case:
and
(see
Figure 13). To determine the laminar interval, we employed the distance between the map and the DHS surface given by Equation (
8). The results for the average laminar length are shown in
Figure 23.
For the three analyzed cases, we numerically confirm the validity of Equation (
8) for the two-dimensional map studied in this investigation. This equation indicates that the same scaling behavior of the laminar length as a function of the control parameter observed in one-dimensional maps is also applicable for the map given by Equation (
2).