1. Introduction
In this paper, we will study the Jacobi stability of Lü’s circuit system using the geometric tools of the Kosambi–Cartan–Chern theory. To find the Jacobi stability conditions, we will determine all five invariants of KCC theory which express the intrinsic geometric properties of the system, including the deviation curvature tensor which determine the Jacobi stability of the system near equilibrium points.
The Lü’s dynamical system was first proposed by J. Lü and G. Chen in [
1]. This system is a model of a nonlinear electrical circuit, and we want to study it from differential geometry point of view and to point out some of its geometrical and dynamical properties. The original Lü’s system has the following form:
where
a,
b,
c are real parameters and
,
,
. This autonomous system of ordinary differential equations, together with Lorentz’s system [
2] and Chua’s system [
3], was generally accepted then as behaving chaotically [
4,
5]. The general dynamics and heteroclinic orbits of the Lü’s system was also studied by G. Tigan and D. Constantinescu in [
6]. For these reasons, the topic of studying the stability of the Lü’s system is very important both from a theoretical point of view, i.e., mathematically, and from a practical point of view, i.e., technically.
There are a lot of papers that studied the classical (linear or Lyapunov) stability of Lü’s circuit system. In this paper, we will study another kind of stability for Lü’s system, namely
Jacobi stability. The Jacobi stability is a natural generalization of the stability of the geodesic flow on a differentiable manifold equipped with a Riemannian or Finslerian metrics to a manifold without a metric [
7,
8,
9,
10,
11,
12,
13]. The Jacobi stability examines the robustness of a dynamical system defined by a system of second order differential equations (SODEs), where robustness is a measure of insensitivity and adaptation to a change in the system internal parameters and the environment. Jacobi stability analysis of dynamical systems has been recently studied by several authors in [
8,
9,
14,
15], using the Kosambi–Cartan–Chern (KCC) theory [
16,
17,
18]. More precisely, the study of the dynamics of the system is done using the properties of geometric objects associated with the system of second order differential equations derived from the initial first order differential system.
From the mathematical point of view, KCC theory investigates the deviation of neighboring trajectories, which enables one to estimate the perturbation permitted around the steady state solutions of the second order differential equation. This theory started with the study of variation equations (of Jacobi field equations) corresponding to the given geometry on the differentiable manifold, and Jacobi stability was studied initially for geodesics in Riemannian or Finslerian geometry by P.L. Antonelli, R. Ingarden, and M. Matsumoto in [
7,
8,
9]. By deviating the geodesics and using the KCC-covariant derivative, it follows a differential system in variations. Consequently, the second KCC invariant appeared, also called the
deviation curvature tensor. This invariant is essential for establishing the Jacobi stability for geodesics and, generally, for dynamical systems defined by SODEs. In differential geometry, SODEs are also called semi-sprays and starting with a semi-spray, a nonlinear connection can be defined on the manifold and conversely, any nonlinear connection defines a semi-spray. Then, any SODEs define a geometry on the manifold by the associated geometric objects and conversely [
10,
19,
20,
21].
KCC theory originated from the works of D. D. Kosambi [
18], E. Cartan [
16] and S. S. Chern [
17], and hence the abbreviation KCC (Kosambi–Cartan–Chern). This geometric theory has a lot of applications in engineering, physics, chemistry, and biology [
14,
15]. In addition, there are recent developments and applications of KCC theory in gravitation and cosmology [
22,
23,
24]. In [
25], C.G. Boehmer, T. Harko, and S.V. Sabau analyzed Jacobi stability and its relations with the linear Liapunov stability analysis of dynamical systems, and presented a comparative study of these methods in the fields of gravitation and astrophysics. In [
26], they used the geometric tools of KCC theory in order to study the Jacobi stability of Lorentz’s system. Furthermore, [
12,
27,
28] studied Jacobi stability for different versions of Chua’s system.
The purpose of the present paper is to study the stability of the equilibrium points of Lü’s circuit system from the Jacobi stability point of view, using Kosambi–Cartan–Chern geometric theory. Reformulating the system as a set of two second order differential equations, we will investigate the nonlinear dynamics of Lü’s circuit system by determining the five KCC invariants which express the intrinsic geometric properties of the system, including the deviation curvature tensor, which determine the Jacobi stability of the system near equilibrium points. This kind of approach for Lü’s system is for the first time.
In the second section we briefly present Lü’s circuit system and we will point out the equilibria of Lü’s circuit system. In the third section, we review the main notions and tools of the KCC theory in order to analyze the Jacobi stability of Lü’s system. We present the five invariants of the KCC theory and definition of the Jacobi stability. The new obtained results for the Lü’s circuit system will be presented in
Section 3 and
Section 4. Thus, in the fourth section, a reformulation of the Lü’s system as a system of second order differential equations is obtained and the five geometrical invariants are computed. The obtained results on the Jacobi stability of the Lü’s system near the equilibria are presented in
Section 5. More exactly, we will find necessary and sufficient conditions in order to have the Jacobi stability of the system near the equilibrium points. Consequently, for these values of the parameters, it is not possible to have a chaotic behavior for Lü’s circuit system.
Sum over crossed repeated indices is understood.
2. The Circuit System of Lü
If
,
,
and
, then the Lü’s dynamical system proposed by J. Lü and G. Chen in [
1],
has three equilibrium points
,
and
.
Obviously, if , then is the only one equilibrium point.
According to [
6], let us point out that Lü’s system is invariant under the transformation
. That means the orbits of the system are symmetrical with respect to the
z-axis. Therefore, if the system has an orbit
then it has also the orbit
. The orbits
and
are symmetric one to another with respect to the
z-axis.
The Jacobi matrix at an equilibrium point
is
For the trivial equilibrium
we obtain
with eigenvalues
,
,
. Therefore, if
, then the origin
is a saddle point. Otherwise, if
, then
can be a saddle point or an attractor or a repeller, but in this case the origin remains the single equilibrium point.
For the equilibria
, we have
and the equilibria
, we have
According to the Routh–Hurwitz criterion, the characteristic polynomial has all roots in the open left half plane (i.e., or Re , for all i) if and only if , and .
Now, we can remark that it is very difficult to establish the behavior of the system near the equilibrium points because we have a lot of parameters which are involved in computation. However, this system has been studied comprehensively in [
1,
4,
5,
6].
Furthermore, we are interested in the study of the Jacobi stability of Lü’s circuit system.
3. Kosambi–Cartan–Chern Theory and Jacobi Stability
In this section, we will present briefly the basic notions and main results needed from Kosambi–Cartan–Chern (KCC) theory following [
8,
9,
14,
15,
16,
17,
18]. The basic idea in KCC theory is that the second order differential equations (SODEs) which model the dynamical system and geodesic equations in associated Finsler space are topologically equivalent. Since the linear (or Lyapunov) stability is well established for many dynamical systems and also for Chua’s circuit system or any modified version, it would be very useful to study another type of stability, namely called the Jacobi stability. The Jacobi stability is a natural generalization of the stability of the geodesic flow on a differentiable manifold endowed with a metric (Riemannian or Finslerian) to the non-metric setting. KCC theory is a modern geometric approach of the dynamical systems which associates a nonlinear connection and a Berwald type connection to the SODE’s that define the dynamical system. Moreover, for every SODE, the five geometrical invariants will be obtained which determine the dynamics of the system,
—the external force,
—the deviation curvature tensor,
—the torsion tensor,
—the Riemann–Christoffel curvature tensor and
—the Douglas curvature tensor. Fortunately, the Jacobi stability of a dynamical system depends only on the second invariant, namely the deviation curvature tensor.
We now introduce the main ideas of KCC theory [
7,
8,
9,
14,
15]. Let
M be a real, smooth
n-dimensional manifold and let
be its tangent bundle. Usually,
or
M is an open subset of
. Let
be a point in
, where
and
, which means
,
. Consider the following system of second order differential equations in normalized form [
7]
where
are smooth functions defined in a local system of coordinates on
, usually an open neighborhood of some initial conditions
. In fact, the system (
3) is motivated by Euler–Lagrange equations of classical dynamics [
7,
19]
where
is a regular Lagrangian of
and
are the external forces.
Generally, the system (
3) has no geometrical meaning since “accelerations”
or “forces”
is not a
-type tensor under the local coordinates transformation
The system (
3) has a geometrical meaning, and it is called
a semi-spray, if the functions
are changing under the local coordinates transformation (
5) after the rules [
7,
19]
The main idea of KCC theory was to change the second order differential Equation (
3) into an equivalent system (
same solutions), but with geometrical meaning, and then to show that it defines five tensor fields called
geometrical (or
differential)
invariants of KCC theory [
8,
9]. To find the five KCC geometrical invariants of the system (
3) under the local change coordinates (
5), we need to introduce the KCC-covariant differential of a vector field
defined in an open set of
(usually
) as follows [
8,
16,
17,
18].
where
are the coefficients of
a nonlinear connection N on the tangent bundle
associated with the semi-spray (
3).
The contravariant vector field
is called
the first invariant of KCC theory and, from the physical point of view, this invariant plays the role of an external force [
8]. Of course, the terms
has geometrical character since with respect to coordinates transformation (
5), we have
If the functions
are 2-homogeneous with respect to
, i.e.,
, for all
, then
, for all
. Therefore, the first invariant of the KCC theory vanishes if, and only if, the semi-spray is a spray. This always happens for the geodesic spray corresponding to a Riemannian or Finsler manifold [
7,
19].
One of the main goals of Kosambi–Cartan–Chern theory is to study the trajectories which are slightly deviated upon a certain trajectory of (
3). More precisely, we will study the dynamics of the system in variations. According to this purpose, we will vary the trajectories
of (
3) into nearby ones prescribed by
where
is a small parameter and
are the components of a contravariant vector field defined along the trajectories
. After substituting (
9) into (
3) and tacking the limit as
, it will be obtain the following variational equations [
7,
8,
9]:
Using the KCC-covariant derivative from (
7), the previous equations can be written in the following covariant form [
7,
8,
9]:
where the right side
-type tensor
is given by
where
is called
the Berwald connection associated with the nonlinear connection
N (according to [
7,
19]).
If all coefficients of nonlinear connection and Berwald connection are identically zero, then the deviation curvature tensor from (
12) becomes
. Therefore, following [
29] we can introduce the so-called
zero-connection curvature tensor Z given by
For two-dimensional systems, the zero-connection curvature Z corresponds to the Gaussian curvature K of the potential surface , where . When the potential surface is minimal we have .
This tensor
is called
the deviation curvature tensor and represent
the second invariant of KCC theory. The Equation (
10) are called
the deviation equations or
Jacobi equations. The invariant Equation (
11) is called also the
Jacobi equation. In either Riemann or Finsler geometry, when the second order system of equations describes the geodesic motion, then the above equations is exactly the Jacobi field equation corresponding to the given geometry.
In the KCC theory one can also introduce the
third,
fourth and
fifth invariants of the second order system of Equation (
3). These invariants are defined by
From geometrical point of view the third KCC invariant can be interpreted as a torsion tensor. The fourth and fifth KCC invariants and represent the Riemann-Christoffel curvature tensor, and the Douglas tensor, respectively.
It is important to point out that these tensors always exist [
7,
8,
9,
15,
19].
In KCC theory, these
five invariants are the basic mathematical quantities describing the geometrical properties and interpretation of an arbitrary system of second order differential equations [
7,
16,
19].
A basic result of KCC theory comes from P.L. Antonelli [
8]:
Theorem 1 ([
8])
. Two second order differential systems of the type of (3)andcan be locally transformed one into another via changing coordinates transformation (5) if, and only if, the five invariants , , , and are equivalent tensors with , , , and, respectively, .In particular, there are local coordinates on the base manifold M, for which , for all i, if, and only if, all five invariant tensors vanish. In this case, the trajectories of the dynamical systems are straight lines.
The term Jacobi stability within the KCC theory is justified by the fact that when (
3) represents the second order differential equations for the geodesic equations in Riemannian or Finsler geometry, then (
11) is the Jacobi field equation for the geodesic deviation. The Jacobi Equation (
11) of the Finsler manifold
can be written in the scalar form [
11]:
where
is the Jacobi field along the geodesic
,
is the unit normal vector field along the geodesic
and
K is the flag curvature of Finsler space
. The sign of the flag curvature
K affects the geodesic rays: if
, then the geodesics bunch together (are Jacobi stable), and if
, then they disperse (are Jacobi unstable). Consequently, taking account of the equivalence between (
11) and (
16), the results show that a positive (or negative) flag curvature is equivalent to negative (or positive) eigenvalues of the curvature deviation tensor
. We have the well-known result:
Theorem 2 (Bohmer et al., 2012)
. The trajectories of (3) are Jacobi stable if and only if the real parts of the eigenvalues of the deviation tensor are strictly negative everywhere, and Jacobi unstable, otherwise. Next, we will present a rigorous definition of the Jacobi stability for a geodesic on a manifold endowed with an Euclidean, Riemannian, or Finslerian metric or, more generally, for a trajectory
of the dynamical system associated with (
3), following [
12,
13,
14,
15,
25]:
Definition 1. A trajectory of (3) is said to be Jacobi stable if for any , there exists such that holds for all and for all trajectories for which and . We consider the trajectories of (
3) as curves in a Euclidean space
and the norm
is the induced norm by the canonical inner product
on
. Moreover, we will assume that the deviation vector
from (
11) satisfies the initial conditions
and
, where
is the null vector. If we assume that
and
, then for
the trajectories of (
3) brunching together if and only if the real parts of all eigenvalues of
are strictly negative or they dispersing if and only if at least one of the real parts of the eigenvalues of
are positive.
This kind of stability refers to the focusing tendency (in a small neighborhood of
) of the trajectories of (
3) with respect to the variation (
9) that satisfy the conditions
and
.
We remark that the system of second order differential equations or semi-spray (
3) is Jacobi stable if and only if the system in variations (
10) (or in the covariant form (
11)) is Lyapunov (or linear) stable. Therefore, Jacobi stability analysis is based on the study of Lyapunov stability of all trajectories in a region without considering the velocity. This theory, even when derived at an equilibrium point, yields information about the behavior of the trajectories in an open region around this equilibria.
4. SODE Formulation of Lü’s System
Starting with the Lü’s system (
1)
by substituting
from the first equation and to the second equation, we obtain
Form the third equation, by substituting
and taking the derivative of the first equation with respect to time
t, we obtain
If we change the notations of variables as follows
where
, then the last two second order differential equations are equivalent to the following system of SODEs:
or, equivalently,
where
,
.
This system can be written like SODEs from KCC theory.
where
,
and
The zero-connection curvature has the coefficients , , , .
Since
,
,
,
, the nonlinear connection is given by
It follows that the coefficients of the Berwald connection are identically zero with one exception, .
The first invariant of KCC theory
has the components
Since
and following (
12),
we obtain the components of the deviation curvature tensor of the Lü’s circuit system (
18):
Then the trace and the determinant of the deviation curvature matrix
are trace
and det
.
Therefore, following the results from the previous section, we have:
Theorem 3. All roots of the characteristic polynomial of P are negative or have negative real parts (i.e., Jacobi stability) if and only if Taking into account that , , , the results show that the third, fourth and fifth invariants of the Lü’s circuit system are identically zero.
5. Jacobi Stability Analysis of Lü’s Circuit System
Further, we will compute the first two invariants at the equilibrium points of Lü’s system (
1) and we will analyze the Jacobi stability of the system near each equilibria.
If
, then for equlibria
,
,
of the initial Lü’s circuit system (
1) we have the corresponding equilibrium points
,
,
for SODEs (
18).
For
, the first invariant of KCC theory
has the components
and the matrix with the components of the second KCC invariant is
Since and , using Theorem 3 we obtain:
Theorem 4. The trivial equilibria O is Jacobi unstable.
For
the first invariant of KCC theory
has the components
,
and the components of the second KCC invariant are
Theorem 5. is Jacobi stable iff and .
For
the first invariant of KCC theory
has the components
,
and the components of the deviation curvature tensor are
Theorem 6. is Jacobi stable iff and .
Let us remark that
is Jacobi stable if and only if
is Jacobi stable, because, for both equilibrium,
and
In conclusion, we have the result:
Theorem 7. The equilibrium points and are Jacobi stable if and only if are fulfilled simultaneous the following two conditions:
and .
If
, then we have a unique trivial equlibria
for the initial Lü’s circuit system (
1) and the corresponding equilibrium point
for SODEs (
18) is also Jacobi unstable.
Remark 1. In [1], it was shown that if we fix , and parameter b varies, then the Lü’s circuit system has an attractor which is similar to the Lorenz attractor for , the Lü’s system has a transitory shape when , and has an attractor similar to Chen’s attractor when [4]. Moreover, Lü’s system has a rather wide range of parameter values in which the system displaces a chaotic attractor of different shapes. After numerical experience, we can conclude that observable chaos exists in the following ranges at least: , , , , . When , the system converges to a fixed point. Furthermore, when and , there is at least one periodic orbit in the system, as shown in [1]. Taking into account that the Jacobi stability excludes the chaotic behavior, it will be very interesting to make a computational analysis in order to check if the values of the parameters for which the Lü’s circuit system system has a chaotic behavior correspond indeed to the unstable Jacobi conditions. Therefore, using the Jacobi stability it is possible to confirm, or not, the chaotic behavior of the system.
For
and
, we have that
and
Therefore, if and only if 212,154 < b < 627,846, because 212,154 and 627,846.
After some numerical evaluations, for , we obtain , but for , . More that, remains strictly negative for all , and then, for and , , whenever .
In conclusion, we do not have Jacobi stability for , and any , which was as expected.
Let us point out that for , and , i.e., we do not have Jacobi stability in this case. The same situation is also true for the particular case .
If , then and , i.e., we do not have Jacobi stability in this case.
If , then iff and
If , then
If , then
If , then iff
Therefore, we have Jacobi stability at the equilibria and for and . For example, , .
Taking into account , we can conclude that we have Jacobi stability at the equilibria and for and , because .
Finally, we can announce the result:
Theorem 8. For any , we have Jacobi stability for Lü’s system at the equilibria and if and only if and .
In particular, for and we have Jacobi stability at the equilibria and .
For example, for , .
Of course, in this situation, a chaotic behavior is not possible.