Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

Analytic integrability of generalized 3-dimensional chaotic systems

  • Ahmad Muhamad Husien ,

    Roles Methodology, Writing – original draft, Writing – review & editing

    ahmad.husien@uod.ac

    Affiliation Department of Mathematics, College of Science, University of Duhok, Duhok, Kurdistan Region, Iraq

  • Azad Ibrahim Amen

    Roles Writing – review & editing

    Affiliations Department of Mathematics, College of Basic Education, Salahaddin University-Erbil, Erbil, Kurdistan Region, Iraq, Department of Mathematics, Faculty of Science, Soran University, Soran, Kurdistan Region, Iraq, Department of Mathematics, Basic Education College, Raparin University, Ranya, Kurdistan Region, Iraq

Abstract

Numerous recently introduced chaotic systems exhibit straightforward algebraic representations. In this study, we explore the potential for identifying a global analytic first integral in a generalized 3-dimensional chaotic system (2). Our work involves detailing the model of a new 3-D chaotic system characterized by three Lyapunov exponents—positive, zero, and negative. We depict the phase trajectories, illustrate bifurcation patterns, and visualize Lyapunov exponent graphs. The investigation encompasses both local and global analytic first integrals for the system, providing results on the existence and non-existence of these integrals for different parameter values. Our findings reveal that the system lacks a global first integral, and the presence or absence of analytic first integrals is contingent upon specific parameter values. Additionally, we present a formal series for the system, demonstrating 3D and 2D projections of the system (2) for a given set of initial conditions achieved by selecting alternative values for parameters a, b, c, d, r and l.

1 Introduction

The literature has shown significant interest in chaotic circuits due to their applications in various fields such as secure communications, robotics, image processing, and random bit generation. The electrical engineer’s foundational understanding revolves around linear circuit theory, serving as a benchmark in their circuit-related considerations. When confronted with nonlinear circuits, they perceive their behavior as an altered rendition of linear circuit behavior. In this context, signal distortion, harmonic generation, and similar effects stem evidently from the nonlinear attributes of circuit elements. Utilizing series expansions to analyze deviations from linear behavior becomes an intuitive and customary approach for investigating these phenomena [1]. Adaptive oscillators can learn and encode information in dynamic, plastic states. In [2] the pendulum has recently been proposed as the base oscillator of an adaptive system. In a mechanical setup, the horizontally forced pendulum adaptive frequency oscillator seeks a resonance condition by modifying the length of the pendulum’s rod. In this paper [3], focuses on the nonlinear generalized Calogero–Bogoyavlenskii–Schiff equation to explain the wave profiles in soliton theory. The improved and efficient technique is applied to derive soliton solutions that are dependent, significant, and more broadly applicable for this equation, surpassing the intricacy of prior complex travel equations. The objective of this research [4] is to investigate the nonlinear Landau–Ginzburg–Higgs equation, which characterizes nonlinear solitary waves exhibiting distant and feeble scattering interactions among tropical tropospheres and mid-latitudes. While Table I in [5] encompasses conservative systems, the main focus lies on dissipative systems due to their tendency to produce more resilient electrical circuits. In the realm of electrical circuits, evading dissipation parallels the construction of a mechanical system devoid of friction. An issue arises from these circuits having a region beyond which their dynamics become unbounded, leading to op amps reaching saturation. To address op amp saturation, circuit restarts or discharge of charge from capacitors become necessary. Furthermore, ensuring op amps possess a relatively high slew rate is crucial. Apart from these concerns, no obstacles were encountered during the construction of any circuits. Notably, at audio frequencies, concerns such as stray capacitance and inductance posed no problems, and there were no instances of parasitic oscillations. The initial chaotic circuit was developed by Chua [6] and has found use in chaos-based generators and other applications. Subsequently, additional diverse chaotic electronic circuits, including simple RLC and RC circuits [79], oscillators [10, 11], and capacitor circuits, were introduced. In [12], then electronic circuit design of the new chaotic system was implemented considering practical applications. An autonomous system with a dimension of three or higher, contingent on the parameters, can demonstrate chaotic behavior under certain parameter configurations while possessing first integrals under different parameter settings. This phenomenon is notably exemplified by the Lorenz system and Rössler systems [1316]. In general, establishing whether a specific system is chaotic or possesses first integrals can be challenging.

The main contributions of this paper to system (2) can be listed as follows:

  1. We have described the mathematical model of a new 3-D general autonomous chaotic system (2) from the system (1) and compared its Lyapunov exponents and Kaplan-Yorke dimension with the recent system (2).
  2. We have presented a detailed bifurcation analysis of the proposed system (2) using bifurcation diagrams and Lyapunov exponents (LEs) and observed nonlinear phenomena like a self-excited, a hidden attractor, and chaotic behavior.
  3. We have carried out simulations of the proposed system (2) using an electronic circuit designed via MultiSim.
  4. We have implemented the proposed system (2) in FPGA and showed experimental attractors observed in an oscilloscope to verify their chaotic behavior.
  5. The final contribution of this work is the finding of non-existence types of first integrals for the system (2).

2 Modelling of chaotic system

In [17], announces a novel three-dimensional chaotic system with line equilibrium and discusses its dynamic properties such as Lyapunov exponents, phase portraits, equilibrium points, bifurcation diagram, multistability and coexisting attractors. We also display the implementation of the Field-Programmable Gate Array (FPGA) based Pseudo-Random Number Generator (PRNG) by using the new chaotic system. In [18], a hyperjerk system pertains to a dynamical system regulated by an ordinary differential equation of nth order, where n ≥ 4. Also, in [19], we describe the model of a new 5-D hyperchaotic system with three positive Lyapunov exponents. Since the maximum positive Lyapunov exponent of the proposed hyperchaotic system is larger than twelve, the new hyperchaotic system is highly hyperchaotic. We also show that the new 5-D hyperchaotic system exhibits multistability with coexisting attractors.

In their work [20], the authors introduced a quadratic chaotic system with self-excited and hidden attractors, described by the following equations, dependent on the real parameters a, b, and c: (1)

The dynamic properties of system (1) were extensively investigated through numerical simulations in [20]. Additionally, the authors implemented the system as an electronic circuit to demonstrate real-time engineering applications.

In this study, we present a generalized version of system (1), denoted as (2), with the following equations: (2)

Here, a, b, c are real parameters, and it is required that drl ≠ 0. Interestingly, a similar system was considered in [21], given by: (3)

The aforementioned study [21] focused on the dynamical analysis of system (3) at infinity and limit cycles. Our analysis encompasses invariant algebraic surfaces, exponential factors, and investigates the integrability and non-integrability of system (3).

3 Preliminary results

In this section, you will find condensed summaries of the integrability problem, analytic first integrals, and supplementary outcomes. Furthermore, fundamental definitions and theorems are provided to substantiate the primary findings of the study.

Definition 1. [2224] An attractor is classified as self-excited if its basin of attraction intersects with any open neighborhood of a stationary state, recognized as an equilibrium. Conversely, if such an intersection does not occur, the attractor is termed a hidden attractor.

Definition 2. [25] Suppose U is an open subset of . A non-constant function is considered a first integral of the polynomial system (2) on U if it remains constant along the orbits (x(t), y(t), z(t)) of (2) with in U. In other words, F(x(t), y(t), z(t)) is constant for all values of t. The function F is classified as a first integral of (2) on U if and only if the following equation is satisfied: (4) on U.

Consequently, F remains invariant along every trajectory curve, and if F is an analytic function, it is regarded as an analytic first integral.

Definition 3. [13] The total energy F is deemed a formal first integral if it can be expressed as a formal series expansion in the vicinity of the singular point (x0, y0, z0).

Definition 4. [26] A global first integral for the system (2) refers to a first integral that is applicable across the entire domain .

Definition 5. [26] A local first integral for the system (2) is a first integral defined with in a neighborhood of an equilibrium point of the system (2).

Theorem 1. [27] If there are no polynomial first integrals for the linear part of the system (2) in the vicinity of the equilibrium point (x0, y0, z0), it implies that there are no analytic first integrals for the entire system in a neighborhood of (x0, y0, z0).

Theorem 2. [28, 29] If the system (2) possesses an isolated singular point (x0, y0, z0) that acts as either an attractor or a repellor, then there are no C1-first integrals defined in the vicinity of (x0, y0, z0).

Theorem 3. [30, 31] The system of three-dimensional linear equations, represented as where P is a matrix, possesses two distinct first integrals, denoted as F1 and F2. The expressions for these first integrals are provided in the following cases:

  1. Case 1. and if , with .
  2. Case 2. and if , with .
  3. Case 3. F1 = x2 + y2 and if , with .

Theorem 4 (Routh-Hurwitz criterion). [32] The negativity of the real parts of all the roots of the characteristic polynomial’s zero, expressed as L(λ) = λ3 + a1λ2 + a2λ + a3 = 0, is a necessary and sufficient condition. This condition is met when the coefficients satisfy a1 > 0, a2 > 0, a3 > 0 and a1a2a3 > 0.

Theorem 5. [33] Consider an analytic differential system (2) defined in a neighborhood of the origin in , where the origin serves as a singularity. Let λ1, λ2, λ3 represent the eigenvalues of the linear part of the system at the origin. We define the set S as follows:

Suppose that the differential system (2) possesses r < 3 functionally independent analytic first integrals F1, …, Fr in a neighborhood of the origin. If the space spanned by S has a dimension of r, then any non-trivial analytic first integral of the system in the neighborhood of the origin can be expressed as an analytic function of F1, …, Fr.

Theorem 6. [34, 35] Let’s assume that the eigenvalues λ1, λ2, λ3 of the Jacobian matrix satisfy λ1 = 0 and k2λ2 + k3λ3 ≠ 0 for any with k2 + k3 ≥ 1. In such a scenario, the system (2), possesses a formal series first integral in a neighborhood of (0, 0, 0) if and only if the singular point (0, 0, 0) is not isolated. However, if the singular point (0, 0, 0) is indeed isolated, the system (2) lacks an analytic first integral in a neighborhood of (0, 0, 0).

Theorem 7. [36] Consider the polynomial differential system (2). Let’s assume that λ1 = 0, λ2 and λ3 are eigenvalues of Jacobian matrix at origin. In this case, the system (2) possesses an analytic first integral in a neighborhood of (0, 0, 0) if and only if the singular point (0, 0, 0) is not isolated.

4 Results and their proofs

4.1 Dynamic properties of the new system

In this subsection, using Matlab, we calculated the Lyapunov exponents and Bifurcation diagram of the 3-D system (2) for the initial conditions state [0.1,0.01,0.01] and [0.1,-0.03,-0.06], respectively. By choosing a different value for each of the parameters a, c, d, r and l. (see figures, Figs 16).

thumbnail
Fig 1. Plot of Lyapunov exponents for system (2) for initial conditions [0.1, 0.01, 0.01], when a = 0.8, b = 0, c = 0.01, d = −7.4, r = 6 and l = −2.

https://doi.org/10.1371/journal.pone.0302062.g001

thumbnail
Fig 2. Plot of Lyapunov exponents for system (2) for initial conditions [0.1, 0.01, 0.01], when a = 0.3, b = 0.2, c = 0.3, d = −7.4, r = 6 and l = −2.

https://doi.org/10.1371/journal.pone.0302062.g002

thumbnail
Fig 3. Plot of Lyapunov exponents for system (2) for initial conditions [0.1, −0.03, −0.06], when a = 0.05, b = 0.04, c = −0.03, d = −4, r = 4 and l = −5.

https://doi.org/10.1371/journal.pone.0302062.g003

thumbnail
Fig 4. Plot of Bifurcation diagram for system (2) for initial conditions [0.1, 0.01, 0.01], when b ∈ [0, 0.5] a = 0.8, c = 0.01, d = −7.4, r = 6 and l = −2.

https://doi.org/10.1371/journal.pone.0302062.g004

thumbnail
Fig 5. Plot of Bifurcation diagram for system (2) for initial conditions [0.1, 0.01, 0.01], when b ∈ [0.2, 0.3760] a = 0.3, c = 0.3, d = −7.4, r = 6 and l = −2.

https://doi.org/10.1371/journal.pone.0302062.g005

thumbnail
Fig 6. Plot of Bifurcation diagram for system (2) for initial conditions [0.1, −0.03, −0.06], when b ∈ [0.04, 0.3560] a = 0.05, c = −0.03, d = −4, r = 4 and l = −5.

https://doi.org/10.1371/journal.pone.0302062.g006

Where as the Lyapunov exponent measures the average predictability of a dynamical system, the dimension of its attractor measures its complexity. A fractional dimension can be defined as in [1719, 37, 38]. (5)

Lyapunov exponents and the Kaplan-Yorke dimension of the 3-D system (2) is calculated as follows Table 1.

thumbnail
Table 1. A comparison of Lyapunov exponents and Kaplan-Yorke dimension of three recently reported 3-D chaotic systems (2).

https://doi.org/10.1371/journal.pone.0302062.t001

The authors [20] proved that system (1) is a self-excited attractor for a = 0.8, b = 0.8, c = 0.01 and it is a hidden attractor for a = 0.8, b = 0, c = 0.01. The system (2) exhibits chaotic attractors with 3D and 2D projections. By choosing a different value for each of the parameters a, c, d, r and l, for a particular set of beginning conditions, 3D and 2D projections of the system (2) were plotted. The proposed system, system (2), is a self-excited attractor as parameter b = 0.04 and b = 0.2 and a hidden attractor as parameter b = 0. The two electronic circuit applications are implemented for different chaotic behaviours, with initial conditions [0.1,0.01,0.01] and [0.1,-0.03,-0.06], respectively. These forecasts underwent careful numerical and theoretical investigation (see figures, Figs 721), according to the points on the Poincaré section figures, the system is chaotic for some values of the parameters. Also, by the Poincaré section, the system is not chaotic for some values of the parameters (see figures, Figs 22 and 23) then the plot is periodic.

thumbnail
Fig 8. Local phase portraits of system (2) is a hidden attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.8, b = 0, c = 0.01, d = −7.4, r = 6 and l = −2: On the x, y, and z planes, there is a 3D projection.

https://doi.org/10.1371/journal.pone.0302062.g008

thumbnail
Fig 9. Local phase portraits of system (2) is a hidden attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.8, b = 0, c = 0.01, d = −7.4, r = 6 and l = −2: On the x, and y planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g009

thumbnail
Fig 10. Local phase portraits of system (2) is a hidden attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.8, b = 0, c = 0.01, d = −7.4, r = 6 and l = −2: On the y, and z planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g010

thumbnail
Fig 11. Local phase portraits of system (2) is a hidden attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.8, b = 0, c = 0.01, d = −7.4, r = 6 and l = −2: On the x, and z planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g011

thumbnail
Fig 13. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.3, b = 0.2, c = 0.3, d = −7.4, r = 6 and l = −2: On the x, y, and z planes, there is a 3D projection.

https://doi.org/10.1371/journal.pone.0302062.g013

thumbnail
Fig 14. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.3, b = 0.2, c = 0.3, d = −7.4, r = 6 and l = −2: On the x, and y planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g014

thumbnail
Fig 15. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.3, b = 0.2, c = 0.3, d = −7.4, r = 6 and l = −2: On the y, and z planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g015

thumbnail
Fig 16. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, 0.01, 0.01], when a = 0.3, b = 0.2, c = 0.3, d = −7.4, r = 6 and l = −2: On the x, and z planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g016

thumbnail
Fig 18. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, −0.03, −0.06], when a = 0.05, b = 0.04, c = −0.03, d = −4, r = 4 and l = −5: On the x, y, and z planes, there is a 3D projection.

https://doi.org/10.1371/journal.pone.0302062.g018

thumbnail
Fig 19. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, −0.03, −0.06], when a = 0.05, b = 0.04, c = −0.03, d = −4, r = 4 and l = −5: On the x, and y planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g019

thumbnail
Fig 20. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, −0.03, −0.06], when a = 0.05, b = 0.04, c = −0.03, d = −4, r = 4 and l = −5: On the y, and z planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g020

thumbnail
Fig 21. Local phase portraits of system (2) is a self-excited attractor for initial conditions [0.1, −0.03, −0.06], when a = 0.05, b = 0.04, c = −0.03, d = −4, r = 4 and l = −5: On the x, and z planes, there is a 2D projection.

https://doi.org/10.1371/journal.pone.0302062.g021

thumbnail
Fig 23. Local phase portraits of system (2) is periodic for initial conditions [0.005, 0.055, 0.005], when a = 1.7088, b = 5, c = 2, d = −7, r = 4 and l = −1: On the x, y, and z planes, there is a 3D projection.

https://doi.org/10.1371/journal.pone.0302062.g023

4.2 Non-existence global first integral

In this subsection, we study existence and non-existence first integrals of system (2), we note that if d = −7, r = 4 and l = −1 we have chaos system (1), see [20], we want to show that system (2) has no first integrals in a neighbouhood of singuler points under some conditions.

This section is divided in two subsection. In first section, we study global first integral of system (2), and second one is devoted to study an analytic first integrals.

It appears that you’re referring to a specific subsection discussing the study of a global integral of motion for a system labeled as (2). I understand that the main result of the subsection you’re referring to is the proof that system (2) does not possess a global first integral under certain conditions.

Theorem 8. System (2) has no global C1 first integrals for one of the following conditions holds.

  1. i) If , and .
  2. ii) If , and . Where , b ≠ 0 and .

Proof. Since system (2) has two singular points which are and , where , b ≠ 0 and . Then eigenvalues of Jacobian matrix of system (2) at the singular pints s1 and s2 are zeros of characteristic equations (6) and (7) respectively. Then, by Theorem 4 all eigenvalues associated to system (2) at the singular pints and , have negative real part if and only if , and , for s1 and , and , for s2. Then by Theorem 2, the result is obtained. Thus statement is hold. From Theorem 8, we obtain directly the following result:

Corollary 1. System (1) has no global C1 first integrals for one of the following conditions holds.

i) If , 28cw2 < 8b2 + 7 and .

ii) If , 28cw2 < 8b2 + 7 and . Where , b ≠ 0 and .

4.3 Non-existence analytic first integral

In this subsection, we use Theorem 3 to study analytic first integral in a neighbourhood of singular points.

Theorem 9. The statement you’ve provided indicates that the system labeled as (2) does not possess an analytic first integral in the vicinity of its fixed points, given that certain conditions are satisfied.

  1. 1. If , and , for .
  2. 2. If , and , for .

Where , and .

Proof. If , and , then the eigenvalues of Jacobian matrix of system (2) at singular point s1 are Hence, by Theorem 3, Case 1, the linearization system (2) has two independent first integrals which are no polynomials. So it seems you want to emphasize that the system (2) lacks any analytic first integrals at the neighbourhood of the fixed point s1 by Theorem 1.

If , and , then the eigenvalues of Jacobian matrix of system (2) at singular point s2 are Hence, by Theorem 3, Case 1, the linearization system (2) has two independent first integrals which are no polynomials then system (2) has no analytic first integrals at the neighbourhood of the singular point s2 by Theorem 1. From Theorem 1, we obtain directly the following result:

Corollary 2. System (1) has no analytic first integral at the neighbourhood of singular points, if one of the following conditions holds.

  1. 1. If , and for .
  2. 2. If , and , for

Where , and .

Now we study a formal series first integral in a the neighbourhood of fixed points (0, 0, α) for of the system (2).

Theorem 10. System (2) has a formal series first integral in a the neighbourhood of equilibrium points (0, 0, α) for , for a = b = 0, d < 0 and . Moreover system (2) has an analytic first integral in a neighbourhood of the equilibrium points (0, 0, α) for .

Proof. Since the system (2) has a non-isolated line of equilibrium points (0, 0, α) for . The characteristic equation of the Jacobian matrix at the singular point (0, 0, α) of system (2) is given by λ3αλ2r = 0, then the eigenvalues of Jacobian matrix are and . Since λ2 λ3 = −d and , for α ≠ 0 and then , for all with 1 ≤ k2 + k3.

Now by Theorem 6, we have that system (2) has a formal series first integral in a neighbourhood of (0, 0, α) except the origin. But, if then and , so either all have positive real parts or all have negative real parts. By Theorem 7, we have that system (2) has an analytic first integral in a neighbourhood of the non-isolated equilibrium points (0, 0, α). This concludes the proof.

Corollary 3. System (1) has a formal series first integral in a the neighbourhood of equilibrium points (0, 0, α) for , a = b = 0 and . Moreover system (1) has an analytic first integral in a neighbourhood of the equilibrium points (0, 0, α) for .

Proof. The proof of Corollary 3 directly from Theorem 10.

From system (2) when a = b2, l = −1, b ≠ 0 and d ≠ 0 and we perform a change of variables from (x, y, z) → (X, Y, Z) using X = x, Y = y + b, and Z = z. This transformation shifts the singular point (0, −b, 0) to the origin. Consequently, system (2) transforms into: (8) the system is rewritten in terms of (x, y, z) instead of (X, Y, Z).

By direct computation we obtain the following.

Lemma 1. The linear part of the system (8) exhibits two independent polynomial first integrals at the origin −2bx + z and (−2b2rd)x2 + 2xzbr + y2.

Theorem 11. Eq (8) does not possess local analytic first integrals at the singular points (0, 0, 0); therefore, it also lacks global analytic first integrals.

Proof. Let’s assume F = F(x, y, z) represents a local analytic first integral at the origin of system (8). We express it as F = ∑i ≥ 0Fi(x, y, z), where Fi denotes a homogeneous polynomial of degree i for i ≥ 0. We aim to demonstrate this by employing an inductive approach. (9)

Consequently, we will conclude that F = Fi. Therefore, F would remain constant, contradicting the stipulation that F serves as a first integral. Thus, system (8) cannot possess a local analytic first integral at the origin. Next, we will proceed to prove (9). Given that F is a first integral of system (8), it is necessary for it to satisfy. (10)

The terms that involve the variables x, y, and z raised to the power of one in Eq (10) are (11)

Hence, F1 is either equal to zero or a polynomial first integral of degree one derived from the linear part of system (8). By Lemma 1 we get that with . Upon computing the terms of degree two in the variables x, y, and z from Eq (10), we obtain (12)

We assume that and substitution F1 and F2 in Eq (12), we have that c0 = 0, and thus F1 = 0. This proves (9) for i = 1. The solution is where , and .

We now make the assumption that (9) is valid for i = 1, …, l1 − 1, and we aim to demonstrate its validity for i = l1. Utilizing the induction hypothesis, when computing the terms of degree l2 in (10), we obtain (13)

After establishing that constitutes a non-zero polynomial first integral of degree l2 associated with the linear portion of system (8), according to Lemma 1, it must adhere to the structure .

Subsequently, upon computing the terms of degree 11 + 1 in (10), we ascertain (14)

If we introduce the notation with and . So Eq (14) can be written as (15) where

Solving (15), we have where and where K2 is a function in the variables H1 and H2. Since must be a polynomial, so , we have d = 0 is contradiction to the hypothesis, we get that . Given that possesses a degree of l2, it follows that This confirmation establishes (9) for i = li. Consequently, this validates (9) overall, thereby confirming the proof of Theorem 11. When c = 0 and l = −1, the system represented by (2) transforms to (16)

To find the equilibrium points of system (16), we identify them as follows: E0 = (0, −b, 0), if a = b2, and with being real when ab2 ≥ 0. Next, we will analyze the presence or absence of analytic first integrals in system (16).

Lemma 2. If a = b2, b ≠ 0, linearized system (16) at E0 = (0, −b, 0) has two linear independent polynomial first integrals.

Proof. If a = b2, b ≠ 0 then system (16) we have only the equilibrium point E0 = (0, −b, 0), We perform a change of variables from (x, y, z) → (X, Y, Z) using X = x, Y = y + b, Z = z. This transformation shifts the singular point E0 = (0, −b, 0) to the origin. Consequently, system (16) transforms into: (17)

In the expression, we have reverted to using (x, y, z) instead of (X, Y, Z). The linear part of system (17) at the origin is: (18) easily by direct computations from definition of first integral shows (19) where H1(x, y, z) = −2bx + z and H2(x, y, z) = (−2rb2d)x2 + zrxb + y2.

Hence, the function Fi remains constant across the solutions of system (17) for i = 1, 2. Given that the linear part of system (17) at the origin possesses two distinct independent polynomial first integrals, we can demonstrate that system (17) lacks local analytic first integrals using a similar approach as employed in the proof of Theorem 11.

Because the system (16) is symmetric to (x, y, z, t) → (−x, y, −z, −t), we study analytic first integral only for the equilibrium point .

The transform of variables (x, y, z) → (X, Y, Z) given by move to equilibrium point to an equilibrium point at the origin and system (16) becomes (20)

The Jacobian matrix of system (20) calculated at (0, 0, 0) is

The characteristic equation of the matrix J is represented by (21)

Lemma 3. The characteristic equation, labeled as (21), exhibits a single unique real root denoted as λ and a pair of complex roots, α±i β, where λ, α, and β belong to the set of real numbers. (22)

Proof. The characteristic Eq (21) can be rewritten

By comparing the above equation and Eq (21) we obtain the conditions (22).

Theorem 12. If and or ab2, and , . Hence, it follows that with in a neighborhood of the equilibrium point , system (16) does not possess a local analytic first integral.

Proof. If and , , satisfies the conditions of Lemma 3, the characteristic Eq (21) displays a single distinct real root denoted by λ and two complex roots α±i β. By Theorem 3 is the one given in Case 2, then only the expression F1 constitutes a polynomial first integral if and only if either one of the following conditions is satisfied: λ = 2αm or α = 0 and β = m, where α is positive integer and m is negative integer (or m is positive integer and α is negative integer because is also the first integral), in the context of the first case, when λ, α and β comply with Eq (22), it implies that, so substitution λ = 2αm, in Eq (22), we obtain the solution and . By the hypothesis none of them are possible.

In the second case, similarly considering that λ, α and β must satisfy Eq (22), this implies, so substitution α = 0 and β = m, in Eq (22), we obtain the solution a = b2, and , which is obviously not possible. Therefore, the linear part of system (20) has no polynomial first integrals. Then, directly using Theorem 1 we can say that system (16) has no local analytic first integral at the neighborhood of the equilibrium point E1.

5 Conclusion

In the present work, we have successfully developed a new 3-D chaotic system characterized by three Lyapunov exponents: one positive, one zero, and one negative. The chaotic nature of the model is evident through the depiction of phase trajectories, illustration of bifurcation patterns, and visualization of Lyapunov exponent graphs. These findings confirm the dynamic complexity and chaotic behavior inherent in the proposed 3-D chaotic system. We explore both local and global analytic first integrals for the system, providing results on the existence and non-existence of these integrals for different parameter values. Our findings indicate that the system lacks a global first integral, and the presence or absence of analytic first integrals depends on specific parameter values. Additionally, we present a formal series for the system. Furthermore, we demonstrate 3D and 2D projections of the system (2) with self-excited and hidden attractors for a given set of initial conditions by selecting alternative values for parameters a, c, d, r, and l.

References

  1. 1. Sprott JC. Simple chaotic systems and circuits. American Journal of Physics. 2000;68(8):758–763.
  2. 2. Xiaofu L, Aubrey B, Robert D, Perkins E. Chaos in a pendulum adaptive frequency oscillator circuit experiment. Chaos Theory and Applications;5(1):11–19.
  3. 3. Majid Sheikh Zain, Asjad Muhammad Imran, Faridi Waqas Ali. Solitary travelling wave profiles to the nonlinear generalized Calogero–Bogoyavlenskii–Schiff equation and dynamical assessment. Eur Phys J Plus. 2023;138(11):1040.
  4. 4. Alqurashi NT, Manzoor M, Majid SZ, Asjad MI, Osman M. Solitary waves pattern appear in tropical tropospheres and mid-latitudes of nonlinear Landau-Ginzburg-Higgs equation with chaotic analysis. Results in Physics. 2023;54:107116.
  5. 5. Hasler MJ. Electrical circuits with chaotic behavior. Proceedings of the IEEE. 1987;75(8):1009–1021.
  6. 6. Chua LO, Wu CW, Huang A, Zhong GQ. A universal circuit for studying and generating chaos. I. Routes to chaos. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications. 1993;40(10):732–744.
  7. 7. Nakagawa S, Saito T. An RC OTA hysteresis chaos generator. In: 1996 IEEE International Symposium on Circuits and Systems (ISCAS). vol. 3. IEEE; 1996. p. 245–248.
  8. 8. Tamaševičius A, Namajunas A, Čenys A. Simple 4D chaotic oscillator. Electronics Letters. 1996;32(11):957–958.
  9. 9. Ogorzalek MJ. Order and chaos in a third-order RC ladder network with nonlinear feedback. IEEE Transactions on circuits and systems. 1989;36(9):1221–1230.
  10. 10. Kawakami H. Bifurcation of periodic responses in forced dynamic nonlinear circuits: Computation of bifurcation values of the system parameters. IEEE Transactions on circuits and systems. 1984;31(3):248–260.
  11. 11. Saito T. Chaotic phenomena in a coupled oscillators. In: Proceedings of European Conf. on Circuit Theory and Design; 1987. p. 275–280.
  12. 12. Çiçek S, Ferikoğlu A, Pehlivan I. A new 3D chaotic system: dynamical analysis, electronic circuit design, active control synchronization and chaotic masking communication application. Optik. 2016;127(8):4024–4030.
  13. 13. Llibre J, Valls C. Formal and analytic integrability of the Lorenz system. Journal of Physics A: Mathematical and General. 2005;38(12):2681.
  14. 14. Llibre J, Zhang X. Darboux integrability for the Rössler system. International Journal of Bifurcation and Chaos. 2002;12(02):421–428.
  15. 15. Zhang X. Exponential factors and Darboux integrability for the Rössler system. International Journal of Bifurcation and Chaos. 2004;14(12):4275–4283.
  16. 16. Lăzureanu C. Integrable deformations of three-dimensional chaotic systems. International Journal of Bifurcation and Chaos. 2018;28(05):1850066.
  17. 17. Sambas A, Vaidyanathan S, Zhang X, Koyuncu I, Bonny T, Tuna M, et al. A novel 3D chaotic system with line equilibrium: multistability, integral sliding mode control, electronic circuit, FPGA implementation and its image encryption. IEEE Access. 2022;10:68057–68074.
  18. 18. Sambas A, Miroslav M, Vaidyanathan S, Ovilla-Martínez B, Tlelo-Cuautle E, Abd El-Latif AA, et al. A New Hyperjerk System with a Half Line Equilibrium: Multistability, Period Doubling Reversals, Antimonotonocity, Electronic Circuit, FPGA Design and an Application to Image Encryption. IEEE Access. 2024;.
  19. 19. Benkouider K, Vaidyanathan S, Sambas A, Tlelo-Cuautle E, Abd El-Latif AA, Abd-El-Atty B, et al. A New 5-D multistable hyperchaotic system with three positive lyapunov exponents: bifurcation analysis, circuit design, FPGA realization and image encryption. IEEE Access. 2022;10:90111–90132.
  20. 20. Rajagopal K, Akgul A, Jafari S, Karthikeyan A, Koyuncu I. Chaotic chameleon: Dynamic analyses, circuit implementation, FPGA design and fractional-order form with basic analyses. Chaos, Solitons &Fractals. 2017;103:476–487.
  21. 21. Jalal AA, Amen AI, Sulaiman NA. Darboux integrability of the simple chaotic flow with a line equilibria differential system. Chaos, Solitons &Fractals. 2020;135:109712.
  22. 22. Bragin V, Vagaitsev V, Kuznetsov N, Leonov G. Algorithms for finding hidden oscillations in nonlinear systems. The Aizerman and Kalman conjectures and Chua’s circuits. Journal of Computer and Systems Sciences International. 2011;50:511–543.
  23. 23. Leonov GA, Kuznetsov NV. Hidden attractors in dynamical systems. From hidden oscillations in Hilbert-Kolmogorov, Aizerman, and Kalman problems to hidden chaotic attractor in Chua circuits. International Journal of Bifurcation and Chaos. 2013;23(01):1330002.
  24. 24. Leonov G, Kuznetsov N, Mokaev T. Homoclinic orbits, and self-excited and hidden attractors in a Lorenz-like system describing convective fluid motion: Homoclinic orbits, and self-excited and hidden attractors. The European Physical Journal Special Topics. 2015;224:1421–1458.
  25. 25. Falconi M, Llibre J. Hamiltonian theory of integrability and linear differential equations. Qual Theory Dyn Syst. 2004;4:233–254.
  26. 26. Llibre J, Messias M, Da Silva PR. On the global dynamics of the Rabinovich system. Journal of Physics A: Mathematical and Theoretical. 2008;41(27):275210.
  27. 27. Lima MF, Llibre J, Valls C. Integrability of the Rucklidge system. Nonlinear Dynamics. 2014;77:1441–1453.
  28. 28. Llibre J, Valls C. Liouvillian first integrals of quadratic-linear polynomial differential systems. Journal of mathematical analysis and applications. 2011;379(1):188–199.
  29. 29. Zhang X. Regularity and convergence of local first integrals of analytic differential systems. Journal of Differential Equations. 2021;294:40–59.
  30. 30. Oliveira RD, Rezende AC. Global phase portraits of a SIS model. Applied Mathematics and Computation. 2013;219(9):4924–4930.
  31. 31. Oliveira R, Valls C. Global dynamical aspects of a generalized Chen-Wang differential system. Nonlinear Dynamics. 2016;84:1497–1516.
  32. 32. Rama Mohana Rao M. Ordinary differential equations: theory and applications. (No Title). 1980;.
  33. 33. Llibre J, Saghin R, Zhang X. On the analytic integrability of the 5-dimensional Lorenz system for the gravity-wave activity. Proceedings of the American Mathematical Society. 2014;142(2):531–537.
  34. 34. Li W, Llibre J, Zhang X. Local first integrals of differential systems and diffeomorphisms. Zeitschrift für angewandte Mathematik und Physik ZAMP. 2003;54:235–255.
  35. 35. Li C, Sprott J. Finding coexisting attractors using amplitude control. Nonlinear Dynamics. 2014;78:2059–2064.
  36. 36. Zhang X. A note on local integrability of differential systems. Journal of Differential Equations. 2017;263(11):7309–7321.
  37. 37. Wolf A, Swift JB, Swinney HL, Vastano JA. Determining Lyapunov exponents from a time series. Physica D: nonlinear phenomena. 1985;16(3):285–317.
  38. 38. Kaplan JL, Yorke JA. Chaotic behavior of multidimensional difference equations. In: Functional Differential Equations and Approximation of Fixed Points: Proceedings, Bonn, July 1978. Springer; 2006. p. 204–227.